Related papers: A Higher-Level Bailey Lemma: Proof and Application

In this note we present a simplified and slightly generalized version of a lemma the authors published in 1987. The lemma as stated here asserts that if the order of a permutation of $n$ elements is greater than $n^{\alpha}$ then some…

Using a theorem proved by Bekka and Driutti, we show that if $\mathfrak{f}$ is a freely generated nilpotent Lie algebra of step-two, then almost every irreducible representation of the corresponding Lie group restricted to some lattice…

In this paper we offer some new identities associated with mock theta functions and establish new Bailey pairs related to indefinite quadratic forms. We believe our proof is instructive use of changing base of Bailey pairs, and offers new…

Lie systems form a class of systems of first-order ordinary differential equations whose general solutions can be described in terms of certain finite families of particular solutions and a set of constants, by means of a particular type of…

We introduce an algebra model to study higher order sum rules for orthogonal polynomials on the unit circle. We build the relation between the algebra model and sum rules, and prove an equivalent expression on the algebra side for the sum…

We obtain an estimate for the cubic Weyl sum which improves the bound obtained from Weyl differencing for short ranges of summation. In particular, we show that for any $\varepsilon>0$ there exists some $\delta>0$ such that for any coprime…

Let $\alpha_m$ and $\beta_n$ be two sequences of real numbers supported on $[M, 2M]$ and $[N, 2N]$ with $M = X^{1/2 - \delta}$ and $N = X^{1/2 + \delta}$. We show that there exists a $\delta_0 > 0$ such that the multiplicative convolution…

This is a written expansion of the talk delivered by the author at the International Conference on Number Theory in Honor of Krishna Alladi for his 60th Birthday, held at the University of Florida, March 17--21, 2016. Here we derive Bailey…

We look at two examples of homotopy Lie algebras (also known as L_{\infty} algebras) in detail from two points of view. We will exhibit the algebraic point of view in which the generalized Jacobi expressions are verified by using degree…

We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…

We obtain the Mellin transforms of the generalized fractional integrals and derivatives that generalize the Riemann-Liouville and the Hadamard fractional integrals and derivatives. We also obtain interesting results, which combine…

We introduce new generalizations of the Gamma and the Beta functions. Their properties are investigated and known results are obtained as particular cases.

In this note we give a short and self-contained proof that, for any $\delta > 0$, $\sum_{x \leq n \leq x+x^\delta} \lambda(n) = o(x^\delta)$ for almost all $x \in [X, 2X]$. We also sketch a proof of a generalization of such a result to…

In the present paper we prove a certain lemma about the structure of "lower level-sets of convolutions", which are sets of the form $\{x \in \Z_N : 1_A*1_A(x) \leq \gamma N\}$ or of the form $\{x \in \Z_N : 1_A*1_A(x) < \gamma N\}$, where…

A classical theorem of Baranyai states that, given integers $2\leq k < n$ such that $k$ divides $n$, one can find a family of ${n-1\choose k-1}$ partitions of $[n]$ into $k$-element subsets such that every subset appears in exactly one…

We prove a new Bailey-type transformation relating WP-Bailey pairs. We then use this transformation to derive a number of new 3- and 4-term transformation formulae between basic hypergeometric series.

A Lie pair is an inclusion $A$ to $L$ of Lie algebroids over the same base manifold. In an earlier work, the third author with Bandiera, Sti\'{e}non, and Xu introduced a canonical $L_{\leqslant 3}$ algebra $\Gamma(\wedge^\bullet A^\vee…

We study new primality tests based on linear recurrent sequences of degree two exploiting a matricial approach. The classical Lucas test arises as a particular case and we see how it can be easily improved. Moreover, this approach shows…

Essentially generalizing Lie's results, we prove that the contact equivalence groupoid of a class of (1+1)-dimensional generalized nonlinear Klein-Gordon equations is the first-order prolongation of its point equivalence groupoid, and then…

It is shown that the non-trivial cocycles on simple Lie algebras may be used to introduce antisymmetric multibrackets which lead to higher-order Lie algebras, the definition of which is given. Their generalised Jacobi identities turn out to…