Related papers: A new approach to constant term identities and Sel…
Automatic theorem proving with deep learning methods has attracted attentions recently. In this paper, we construct an automatic proof system for trigonometric identities. We define the normalized form of trigonometric identities, design a…
Building on results by Abouzahra and Lewin, McIntosh, and Kirilov we derive new functional dilogarithm equations and consequent diologarithim ladders. By showing that the ratio of a pair of sextic and cubic integrals equals a rational…
Sylvester's identity is a classical determinantal identity with a straightforward linear algebra proof. We present a new, combinatorial proof of the identity, prove several non-commutative versions, and find a $\beta$-extension that is both…
By using the Wilf-Zeilberger method, we prove a novel finite combinatorial identity related to a bivariate generating function for $\zeta(2+r+2s)$ (an extension of a Bailey-Borwein-Bradley Apery-like formula for even zeta values). Such…
We give a general identity relating Eisenstein series on general linear groups. We do it by constructing an Eisenstein series, attached to a maximal parabolic subgroup and a pair of representations, one cuspidal and the other a character,…
We derive identities for the determinants of matrices whose entries are (rising) powers of (products of) polynomials that satisfy a recurrence relation. In particular, these results cover the cases for Fibonacci polynomials, Lucas…
In the computation of the intersection cohomology of Shimura varieties, or of the $L^2$ cohomology of equal rank locally symmetric spaces, combinatorial identities involving averaged discrete series characters of real reductive groups play…
We extend the theory of local constants to l-adic families of representations of GL_n(F) where F is a p-adic field with l not equal to p. We construct zeta integrals and gamma factors for representations coming from the conjectural "local…
A multi-dimensional bilateral $q$-series extending the $q$-Selberg integral is studied using concepts of truncation, regularization and connection formulae. Following Aomoto's method, which involves regarding the $q$-series as a solution of…
We prove the Sato-Tate conjecture for Hilbert modular forms. More precisely, we prove the natural generalisation of the Sato-Tate conjecture for regular algebraic cuspidal automorphic representations of $\GL_2(\A_F)$, $F$ a totally real…
We study Muttalib--Borodin ensembles --- particular eigenvalue PDFs on the half-line --- with classical weights, i.e. Laguerre, Jacobi or Jacobi prime. We show how the theory of the Selberg integral, involving also Jack and Schur…
The theory of intertwining operators plays an important role in the development of the Langlands program. This, in some sense, is a very sophisticated theory, but the basic question of its singularity, in general, is quite unknown.…
The following natural question arises from Shalom's innovational work (1999, Publ. IHES): "Can we establish an intrinsic criterion to synthesize relative fixed point properties into the whole fixed point property without assuming Bounded…
In this paper, we develop new identities for the inverse tangent integral by connecting it to the dilogarithmic (polylogarithmic) structure and to a carefully designed auxiliary arctangent integral $Ti_2(a)$ with a tunable endpoint. The…
We introduce the Colombeau Quaternio Algebra and study its algebraic structure. We also study the dense ideal, dense in the algebraic sense, of the algebra of Colombeau generalized numbers and use this show the existence of a maximal ting…
We study dynamical systems arising as time-dependent compositions of Pomeau-Manneville-type intermittent maps. We establish central limit theorems for appropriately scaled and centered Birkhoff-like partial sums, with estimates on the rate…
We prove a number of new Rogers-Ramanujan type identities involving double, triple and quadruple sums. They were discovered after an extensive search using Maple. The main idea of proofs is to reduce them to some known identities in the…
We give an elementary proof of the Selberg identity for Kloosterman sums, which only requires the orthogonality of additive characters.
We establish the existence theory of several commonly used finite element (FE) nonlinear fully discrete solutions, and the convergence theory of a linearized iteration. First, it is shown for standard FE, SUPG and edge-averaged method…
Wilf-Zeilberger pairs are fundamental in the algorithmic theory of Wilf and Zeilberger for computer-generated proofs of combinatorial identities. Wilf-Zeilberger forms are their high-dimensional generalizations, which can be used for…