Related papers: On a linear form for Catalan's constant
Kato's second representation theorem is generalized to solvable sesquilinear forms. These forms need not be non-negative nor symmetric. The representation considered holds for a subclass of solvable forms (called hyper-solvable), precisely…
Let $n$ be an odd positive integer. In this short elementary note, we slightly extend Macdonald's identity for $\mathfrak{sl}_{n}$ into a two-variables identity in the spirit of Jacobi forms. The peculiarity of this work lies in its proof…
We establish a real version of Turrittin's result on polynomial and formal normal forms of linear systems of ODEs with meromorphic coefficients. Both the normal forms or the transformations used have only real coefficients. In order to…
We study multivariable (bilateral) basic hypergeometric series associated with (type $A$) Macdonald polynomials. We derive several transformation and summation properties for such series including analogues of Heine's ${}_2\phi_1$…
D. Bailey and R. E. Crandall recently formulated a "Hypothesis A", which provides a general principle to explain the (conjectured) normality of constants like pi or log 2 and other related numbers, to base 2 or other integer bases. This…
A generalized Catalan matrix $(a_{n,k})_{n,k\ge 0}$ is generated by two seed sequences $\mathbf{s}=(s_0,s_1,\ldots)$ and $\mathbf{t}=(t_1,t_2,\ldots)$ together with a recurrence relation. By taking $s_\ell=2\ell+1$ and $t_\ell=\ell^2$ we…
According to Abel's lemma and the method of linear combinations, we establish numerous contiguous relations of $_3\phi_2$-series, which can be regarded as q-analogues of the contiguous relations of $_3F_2$-series due to Krattenthaler and…
In pointed braided fusion categories knowing the self-symmetry braiding of simples is theoretically enough to reconstruct the associator and braiding on the entire category (up to twisting by a braided monoidal auto-equivalence). We address…
The densities of small linear structures (such as arithmetic progressions) in subsets of Abelian groups can be expressed as certain analytic averages involving linear forms. Higher-order Fourier analysis examines such averages by…
By using the Newton interpolation formula, we generalize the recent identities on the Catalan triangle obtained by Miana and Romero as well as those of Chen and Chu. We further study divisibility properties of sums of products of binomial…
We give a combinatorial extension of the classical inequalities of Maclaurin about symmetric functions of several variables. We discuss two problems - one analytical and another combinatorial - and show that they are in some sense…
Following Lang and Trotter we describe a probabilistic model that predicts the distribution of primes $p$ with given Frobenius traces at $p$ for two fixed elliptic curves over $\mathbb{Q}$. In addition, we propose explicit Euler product…
We consider the Jacobi matrix generated by a balanced measure of hyperbolic polynomial map. The conjecture of Bellissard says that this matrix should have an extremely strong periodicity property. We show how this conjecture is related to a…
We extend our previous result on the behavior of the quadratic part of a complex points of a small $\mathcal{C}^{2}$-perturbation of a real $4$-manifold embedded in a complex $3$-manifold. We describe the change of the structure of a normal…
We prove the following conjecture of Zeilberger. Denoting by $C_n$ the Catalan number, define inductively $A_n$ by $(-1)^{n-1}A_n=C_n+\sum_{j=1}^{n-1} (-1)^{j} \binom{2n-1}{2j-1} A_j \,C_{n-j}$ and $a_n=2A_n/C_n$. Then $a_n$ (hence $A_n$)…
This paper presents simple, syntactic strong normalization proofs for the simply-typed lambda-calculus and the polymorphic lambda-calculus (system F) with the full set of logical connectives, and all the permutative reductions. The…
The Baker-Campbell-Hausdorff formula was recently resummed exactly in one variable, and left as a power series in the other (Moodie and Long 2021 J. Phys. A: Math. Theor. 54 015208). The coefficients of the power series were provided as a…
In the basic representation of $U_q(\hat{sl}(2))$ realized via the algebra of symmetric functions we compare the canonical basis with the basis of Macdonald polynomials with $q=t^2$. We show that the Macdonald polynomials are invariant with…
We prove a short general theorem which immediately implies some classical results of Hasse, Guillera and Sondow, Paolo Amore, and also Alzer and Richards. At the end we obtain a new representation for the Euler constant gamma. The theorem…
The monodromy of the $\mfsl(2)$ Casimir connection is considered. It is shown that the trace of the monodromy operator over the appropriate space of flat sections gives rise to the Jacobi theta constant and to the partial Appell-Lerch sums.