Related papers: A Higher-Level Bailey Lemma: Proof and Application
For any finitely generated abelian group $Q$, we reduce the problem of classification of $Q$-graded simple Lie algebras over an algebraically closed field of "good" characteristic to the problem of classification of gradings on simple Lie…
We establish a new version of Siegel's lemma over a number field $k$, providing a bound on the maximum of heights of basis vectors of a subspace of $k^N$, $N \geq 2$. In addition to the small-height property, the basis vectors we obtain…
In this paper, we first establish two new Bailey pairs via finding two generalizations of Euler's pentagonal number theorem. Next, we specificize the Bailey lemmas with these two Bailey pairs. As applications, we finally establish some…
Two types of higher order Lie $\ell$-ple systems are introduced in this paper. They are defined by brackets with $\ell > 3$ arguments satisfying certain conditions, and generalize the well known Lie triple systems. One of the…
Szemeredi's regularity lemma is an important tool in graph theory which has applications throughout combinatorics. In this paper we prove an analogue of Szemeredi's regularity lemma in the context of abelian groups and use it to derive some…
Chu has recently shown that the Abel lemma on summations by parts can serve as the underlying relation for Bailey's ${}_6\psi_6$ bilateral summation formula. In other words, the Abel lemma spells out the telescoping nature of the…
Consider a real matrix $\Theta$ consisting of rows $(\theta_{i,1},\ldots,\theta_{i,n})$, for $1\leq i\leq m$. The problem of making the system linear forms $x_{1}\theta_{i,1}+\cdots+x_{n}\theta_{i,n}-y_{i}$ for integers $x_{j},y_{i}$ small…
We prove that all algebraic bases $\beta$ allow an eventually periodic representations of the elements of $\mathbb Q(\beta)$ with a finite alphabet of digits $\mathcal A$. Moreover, the classification of bases allowing that those…
Zalcman's Lemma makes significant applications in normal families, complex dynamics and related problems in complex analysis. In the present paper, we are devoted to generalizing the classical Zalcman's lemma to complex Lie groups by means…
The purpose of this note is to announce the results of our investigation into the role played by the continuous spectrum in the development of the Selberg trace formula vis-\`a-vis a pair $(G,\Gamma)$. For the sake of simplicity, we shall…
We compare, for L a Lie ring over the integers, its lower central series (\gamma_n(L))_{n>0} and its dimension series defined by \delta_n(L):=L\cap \varpi^n(L) in the universal enveloping algebra of L. We show that \gamma_n(L)=\delta_n(L)…
In this paper, we study linear forms \[\lambda = \beta_1\mathrm{e}^{\alpha_1}+\cdots+\beta_m\mathrm{e}^{\alpha_m},\] where $\alpha_i$ and $\beta_i$ are algebraic numbers. An explicit lower bound for the absolute value of $\lambda$ is…
The formal system $\lambda\delta$ is a typed lambda calculus derived from $\Lambda_\infty$, aiming to support the foundations of Mathematics that require an underlying theory of expressions (for example the Minimal Type Theory). The system…
In this paper, I give sufficient conditions for any linear combination in $\mathbb{Q}$ of numbers $\sum_{n=1}^{\infty}\frac{b_{1,n}}{\alpha_{1,n}}$, $\ldots$, $\sum_{n=1}^{\infty}\frac{b_{K,n}}{\alpha_{K,n}}$ to have algebraic degree…
We offer some further applications of some Bailey pairs related to some mock theta functions which were established in a recent study. We discuss and offer some double-sum $q$-series, with new relationships among mock theta functions. We…
A key ingredient in the Taylor-Wiles proof of Fermat last theorem is the classical Ihara's lemma which is used to rise the modularity property between some congruent galoisian representations. In their work on Sato-Tate,…
In the first part of this paper we prove a conjecture of Hikami on the values of the radial limits of a family of $q$-hypergeometric false theta functions. Hikami conjectured that the radial limits are obtained by evaluating a truncated…
In 2018, Stanton proved two types of generalisations of the celebrated Andrews--Gordon and Bressoud identities (in their $q$-series version): one with a similar shape to the original identities, and one involving binomial coefficients. In…
In this work we will study the universal labeling algebra A(Gamma), a related algebra B(Gamma), and their behavior as invariants of layered graphs. We will introduce the notion of an upper vertex-like basis, which allows us to recover…
We give new proofs for certain bilateral basic hypergeometric summation formulas using the symmetries of the corresponding series. In particular, we present a proof for Bailey's $_3\psi_3$ summation formula as an application. We also prove…