BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Armin Straub

Armin Straub appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.NTmath.CAmath.COmath-phmath.MPmath.AGmath.GRmath.KTmath.PRSymbolic Computation

Catalog footprint

What is connected

31works
10topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

31 published item(s)

preprint2022arXiv

On congruence schemes for constant terms and their applications

Rowland and Zeilberger devised an approach to algorithmically determine the modulo $p^r$ reductions of values of combinatorial sequences representable as constant terms (building on work of Rowland and Yassawi). The resulting $p$-schemes are systems of recurrences and, depending on their shape, are classified as automatic or linear. We revisit this approach, provide some additional details such as bounding the number of states, and suggest a third natural type of scheme that combines benefits of automatic and linear ones. We illustrate the utility of these "scaling" schemes by confirming and extending a conjecture of Rowland and Yassawi on Motzkin numbers.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A triple integral analog of a multiple zeta value

We establish the triple integral evaluation \[ \int_{1}^{\infty} \int_{0}^{1} \int_{0}^{1} \frac{dz \, dy \, dx}{x(x+y)(x+y+z)} = \frac{5}{24} ζ(3), \] as well as the equivalent polylogarithmic double sum \[ \sum_{k=1}^{\infty} \sum_{j=k}^{\infty} \frac{(-1)^{k-1}}{k^{2}} \, \frac{1}{j \, 2^{j}} = \frac{13}{24} ζ(3). \] This double sum is related to, but less approachable than, similar sums studied by Ramanujan. It is also reminiscent of Euler's formula $ζ(2,1) = ζ(3)$, which is the simplest instance of duality of multiple polylogarithms. We review this duality and apply it to derive a companion identity. We also discuss approaches based on computer algebra. All of our approaches ultimately require the introduction of polylogarithms and nontrivial relations between them. It remains an open challenge to relate the triple integral or the double sum to $ζ(3)$ directly.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Interpolated sequences and critical $L$-values of modular forms

Recently, Zagier expressed an interpolated version of the Apéry numbers for $ζ(3)$ in terms of a critical $L$-value of a modular form of weight 4. We extend this evaluation in two directions. We first prove that interpolations of Zagier's six sporadic sequences are essentially critical $L$-values of modular forms of weight 3. We then establish an infinite family of evaluations between interpolations of leading coefficients of Brown's cellular integrals and critical $L$-values of modular forms of odd weight.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Sequences, modular forms and cellular integrals

It is well-known that the Apéry sequences which arise in the irrationality proofs for $ζ(2)$ and $ζ(3)$ satisfy many intriguing arithmetic properties and are related to the $p$th Fourier coefficients of modular forms. In this paper, we prove that the connection to modular forms persists for sequences associated to Brown's cellular integrals and state a general conjecture concerning supercongruences.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

A modular supercongruence for $_6F_5$: an Apéry-like story

We prove a supercongruence modulo $p^3$ between the $p$th Fourier coefficient of a weight 6 modular form and a truncated ${}_6F_5$-hypergeometric series. Novel ingredients in the proof are the comparison of two rational approximations to $ζ(3)$ to produce non-trivial harmonic sum identities and the reduction of the resulting congruences between harmonic sums via a congruence between the Apéry numbers and another Apéry-like sequence.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Core partitions into distinct parts and an analog of Euler's theorem

A special case of an elegant result due to Anderson proves that the number of $(s,s+1)$-core partitions is finite and is given by the Catalan number $C_s$. Amdeberhan recently conjectured that the number of $(s,s+1)$-core partitions into distinct parts equals the Fibonacci number $F_{s+1}$. We prove this conjecture by enumerating, more generally, $(s,ds-1)$-core partitions into distinct parts. We do this by relating them to certain tuples of nested twin-free sets. As a by-product of our results, we obtain a bijection between partitions into distinct parts and partitions into odd parts, which preserves the perimeter (that is, the largest part plus the number of parts minus $1$). This simple but curious analog of Euler's theorem appears to be missing from the literature on partitions.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Bounds for the logarithm of the Euler gamma function and its derivatives

We consider differences between $\log Γ(x)$ and truncations of certain classical asymptotic expansions in inverse powers of $x-λ$ whose coefficients are expressed in terms of Bernoulli polynomials $B_n(λ)$, and we obtain conditions under which these differences are strictly completely monotonic. In the symmetric cases $λ=0$ and $λ=1/2$, we recover results of Sonin, Nörlund and Alzer. Also we show how to derive these asymptotic expansions using the functional equation of the logarithmic derivative of the Euler gamma function, the representation of $1/x$ as a difference $F(x+1)-F(x)$, and a backward induction.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Certain Integrals Arising from Ramanujan's Notebooks

In his third notebook, Ramanujan claims that $$ \int_0^\infty \frac{\cos(nx)}{x^2+1} \log x \,\mathrm{d} x + \fracπ{2} \int_0^\infty \frac{\sin(nx)}{x^2+1} \mathrm{d} x = 0. $$ In a following cryptic line, which only became visible in a recent reproduction of Ramanujan's notebooks, Ramanujan indicates that a similar relation exists if $\log x$ were replaced by $\log^2x$ in the first integral and $\log x$ were inserted in the integrand of the second integral. One of the goals of the present paper is to prove this claim by contour integration. We further establish general theorems similarly relating large classes of infinite integrals and illustrate these by several examples.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Densities of short uniform random walks in higher dimensions

We study arithmetic properties of short uniform random walks in arbitrary dimensions, with a focus on explicit (hypergeometric) evaluations of the moment functions and probability densities in the case of up to five steps. Somewhat to our surprise, we are able to provide complete extensions to arbitrary dimensions for most of the central results known in the two-dimensional case.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Divisibility properties of sporadic Apéry-like numbers

In 1982, Gessel showed that the Apéry numbers associated to the irrationality of $ζ(3)$ satisfy Lucas congruences. Our main result is to prove corresponding congruences for all sporadic Apéry-like sequences. In several cases, we are able to employ approaches due to McIntosh, Samol--van Straten and Rowland--Yassawi to establish these congruences. However, for the sequences often labeled $s_{18}$ and $(η)$ we require a finer analysis. As an application, we investigate modulo which numbers these sequences are periodic. In particular, we show that the Almkvist--Zudilin numbers are periodic modulo $8$, a special property which they share with the Apéry numbers. We also investigate primes which do not divide any term of a given Apéry-like sequence.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Congruences for Fishburn numbers modulo prime powers

The Fishburn numbers $ξ(n)$ are defined by the formal power series \[ \sum_{n \geq 0} ξ(n) q^n = \sum_{n \geq 0} \prod_{j = 1}^n (1 - (1 - q)^j). \] Recently, G. Andrews and J. Sellers discovered congruences of the form $ξ(p m + j) \equiv 0$ modulo $p$, valid for all $m \geq 0$. These congruences have then been complemented and generalized to the case of $r$-Fishburn numbers by F. Garvan. In this note, we answer a question of Andrews and Sellers regarding an extension of these congruences to the case of prime powers. We show that, under a certain condition, all these congruences indeed extend to hold modulo prime powers.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Multivariate Apéry numbers and supercongruences of rational functions

One of the many remarkable properties of the Apéry numbers $A (n)$, introduced in Apéry's proof of the irrationality of $ζ(3)$, is that they satisfy the two-term supercongruences \begin{equation*} A (p^r m) \equiv A (p^{r - 1} m) \pmod{p^{3 r}} \end{equation*} for primes $p \geq 5$. Similar congruences are conjectured to hold for all Apéry-like sequences. We provide a fresh perspective on the supercongruences satisfied by the Apéry numbers by showing that they extend to all Taylor coefficients $A (n_1, n_2, n_3, n_4)$ of the rational function \begin{equation*} \frac{1}{(1 - x_1 - x_2) (1 - x_3 - x_4) - x_1 x_2 x_3 x_4} . \end{equation*} The Apéry numbers are the diagonal coefficients of this function, which is simpler than previously known rational functions with this property. Our main result offers analogous results for an infinite family of sequences, indexed by partitions $λ$, which also includes the Franel and Yang--Zudilin numbers as well as the Apéry numbers corresponding to $ζ(2)$. Using the example of the Almkvist--Zudilin numbers, we further indicate evidence of multivariate supercongruences for other Apéry-like sequences.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On a secant Dirichlet series and Eichler integrals of Eisenstein series

We consider, for even $s$, the secant Dirichlet series $ψ_s (τ) = \sum_{n = 1}^{\infty} \frac{\sec (πn τ)}{n^s}$, recently introduced and studied by Lal\'ın, Rodrigue and Rogers. In particular, we show, as conjectured and partially proven by Lal\'ın, Rodrigue and Rogers, that the values $ψ_{2 m} ( \sqrt{r})$, with $r > 0$ rational, are rational multiples of $π^{2 m}$. We then put the properties of the secant Dirichlet series into context by showing that they are Eichler integrals of odd weight Eisenstein series of level $4$. This leads us to consider Eichler integrals of general Eisenstein series and to determine their period polynomials. In the level $1$ case, these polynomials were recently shown by Murty, Smyth and Wang to have most of their roots on the unit circle. We provide evidence that this phenomenon extends to the higher level case. This observation complements recent results by Conrey, Farmer and Imamoglu as well as El-Guindy and Raji on zeros of period polynomials of Hecke eigenforms in the level $1$ case. Finally, we briefly revisit results of a similar type in the works of Ramanujan.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On multiple and infinite log-concavity

Following Boros--Moll, a sequence $(a_n)$ is $m$-log-concave if $\mathcal{L}^j (a_n) \geq 0$ for all $j = 0, 1, \ldots, m$. Here, $\mathcal{L}$ is the operator defined by $\mathcal{L} (a_n) = a_n^2 - a_{n - 1} a_{n + 1}$. By a criterion of Craven--Csordas and McNamara--Sagan it is known that a sequence is $\infty$-log-concave if it satisfies the stronger inequality $a_k^2 \geq r a_{k - 1} a_{k + 1}$ for large enough $r$. On the other hand, a recent result of Brändén shows that $\infty$-log-concave sequences include sequences whose generating polynomial has only negative real roots. In this paper, we investigate sequences which are fixed by a power of the operator $\mathcal{L}$ and are therefore $\infty$-log-concave for a very different reason. Surprisingly, we find that sequences fixed by the non-linear operators $\mathcal{L}$ and $\mathcal{L}^2$ are, in fact, characterized by a linear 4-term recurrence. In a final conjectural part, we observe that positive sequences appear to become $\infty$-log-concave if convoluted with themselves a finite number of times.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Positivity of rational functions and their diagonals

The problem to decide whether a given rational function in several variables is positive, in the sense that all its Taylor coefficients are positive, goes back to Szegő as well as Askey and Gasper, who inspired more recent work. It is well known that the diagonal coefficients of rational functions are $D$-finite. This note is motivated by the observation that, for several of the rational functions whose positivity has received special attention, the diagonal terms in fact have arithmetic significance and arise from differential equations that have modular parametrization. In each of these cases, this allows us to conclude that the diagonal is positive. Further inspired by a result of Gillis, Reznick and Zeilberger, we investigate the relation between positivity of a rational function and the positivity of its diagonal.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Special values of trigonometric Dirichlet series and Eichler integrals

We provide a general theorem for evaluating trigonometric Dirichlet series of the form $\sum_{n \geq 1} \frac{f (πn τ)}{n^s}$, where $f$ is an arbitrary product of the elementary trigonometric functions, $τ$ a real quadratic irrationality and $s$ an integer of the appropriate parity. This unifies a number of evaluations considered by many authors, including Lerch, Ramanujan and Berndt. Our approach is based on relating the series to combinations of derivatives of Eichler integrals and polylogarithms.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On gamma quotients and infinite products

Convergent infinite products, indexed by all natural numbers, in which each factor is a rational function of the index, can always be evaluated in terms of finite products of gamma functions. This goes back to Euler. A purpose of this note is to demonstrate the usefulness of this fact through a number of diverse applications involving multiplicative partitions, entries in Ramanujan's notebooks, the Chowla--Selberg formula, and the Thue--Morse sequence. In addition, we propose a numerical method for efficiently evaluating more general infinite series such as the slowly convergent Kepler--Bouwkamp constant.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On lattice sums and Wigner limits

Wigner limits are given formally as the difference between a lattice sum, associated to a positive definite quadratic form, and a corresponding multiple integral. To define these limits, which arose in work of Wigner on the energy of static electron lattices, in a mathematically rigorous way one commonly truncates the lattice sum and the corresponding integral and takes the limit along expanding hypercubes or other regular geometric shapes. We generalize the known mathematically rigorous two and three dimensional results regarding Wigner limits, as laid down in [Analysis of certain lattice sums, D. Borwein, J. M. Borwein, and R. Shail, 1989], to integer lattices of arbitrary dimension. In doing so, we also resolve a problem posed in Chapter 7 of [Lattice Sums: Then and Now, J. M. Borwein, L. Glasser, R. McPhedran, J. G. Wan, and I. J. Zucker, 2013]. For the sake of clarity, we begin by considering the simpler case of cubic lattice sums first, before treating the case of arbitrary quadratic forms. We also consider limits taken along expanding hyperballs with respect to general norms, and connect with classical topics such as Gauss's circle problem. An appendix is included to recall certain properties of Epstein zeta functions that are either used in the paper or serve to provide perspective.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The Zagier polynomials. Part II: Arithmetic properties of coefficients

The modified Bernoulli numbers \begin{equation*} B_{n}^{*} = \sum_{r=0}^{n} \binom{n+r}{2r} \frac{B_{r}}{n+r}, \quad n > 0 \end{equation*} introduced by D. Zagier in 1998 were recently extended to the polynomial case by replacing $B_{r}$ by the Bernoulli polynomials $B_{r}(x)$. Arithmetic properties of the coefficients of these polynomials are established. In particular, the 2-adic valuation of the modified Bernoulli numbers is determined. A variety of analytic, umbral, and asymptotic methods is used to analyze these polynomials.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A solution of Sun's $520 challenge concerning 520/pi

We prove a Ramanujan-type formula for $520/π$ conjectured by Sun. Our proof begins with a hypergeometric representation of the relevant double series, which relies on a recent generating function for Legendre polynomials by Wan and Zudilin. After showing that appropriate modular parameters can be introduced, we then apply standard techniques, going back to Ramanujan, for establishing series for $1/π$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Densities of short uniform random walks

We study the densities of uniform random walks in the plane. A special focus is on the case of short walks with three or four steps and less completely those with five steps. As one of the main results, we obtain a hypergeometric representation of the density for four steps, which complements the classical elliptic representation in the case of three steps. It appears unrealistic to expect similar results for more than five steps. New results are also presented concerning the moments of uniform random walks and, in particular, their derivatives. Relations with Mahler measures are discussed.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Log-sine evaluations of Mahler measures

We provide evaluations of several recently studied higher and multiple Mahler measures using log-sine integrals. This is complemented with an analysis of generating functions and identities for log-sine integrals which allows the evaluations to be expressed in terms of zeta values or more general polylogarithmic terms. The machinery developed is then applied to evaluation of further families of multiple Mahler measures.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Log-sine evaluations of Mahler measures, II

We continue the analysis of higher and multiple Mahler measures using log-sine integrals as started in "Log-sine evaluations of Mahler measures" and "Special values of generalized log-sine integrals" by two of the authors. This motivates a detailed study of various multiple polylogarithms and worked examples are given. Our techniques enable the reduction of several multiple Mahler measures, and supply an easy proof of two conjectures by Boyd.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Special Values of Generalized Log-sine Integrals

We study generalized log-sine integrals at special values. At $π$ and multiples thereof explicit evaluations are obtained in terms of Nielsen polylogarithms at $\pm1$. For general arguments we present algorithmic evaluations involving Nielsen polylogarithms at related arguments. In particular, we consider log-sine integrals at $π/3$ which evaluate in terms of polylogarithms at the sixth root of unity. An implementation of our results for the computer algebra systems Mathematica and SAGE is provided.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The method of brackets. Part 2: examples and applications

A new heuristic method for the evaluation of definite integrals is presented. This method of brackets has its origin in methods developed for the evaluation of Feynman diagrams. The operational rules are described and the method is illustrated with several examples. The method of brackets reduces the evaluation of a large class of definite integrals to the solution of a linear system of equations.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Wallis-Ramanujan-Schur-Feynman

One of the earliest examples of analytic representations for $π$ is given by an infinite product provided by Wallis in 1655. The modern literature often presents this evaluation based on the integral formula $$ \frac{2}π \int_0^\infty \frac{dx}{(x^2+1)^{n+1}} = \frac{1}{2^{2n}} \binom{2n}{n}. $$ In trying to understand the behavior of this integral when the integrand is replaced by the inverse of a product of distinct quadratic factors, the authors encounter relations to some formulas of Ramanujan, expressions involving Schur functions, and Matsubara sums that have appeared in the context of Feynman diagrams.

0 citations0 reviewsNo code linkedOpen access