Related papers: An identity conjectured by Lacasse via the tree fu…
We study tree-to-tree transformations that can be defined in first-order logic or monadic second-order logic. We prove a decomposition theorem, which shows that every transformation can be obtained from prime transformations, such as…
A Fibonacci pair $F_s(w,x)$ of rank $s$ is a pair $s \times s$ nonsingular matrices such that $wx=xw$ and that the entries of $aw^n$ and $axw^m$ are polynomials of Fibonacci or Lucas numbers for some nonzero $a$. We construct identities…
We give a short and elementary proof of a $(q, \mu, \nu)$-deformed Binomial distribution identity arising in the study of the $(q, \mu, \nu)$-Boson process and the $(q, \mu, \nu)$-TASEP. This identity found by Corwin in [4] was a key…
The $\mathrm{A}_2$ Bailey chain of Andrews, Schilling and the author is extended to a four-parameter $\mathrm{A}_2$ Bailey tree. As main application of this tree, we prove the Kanade-Russell conjecture for a three-parameter family of…
In this paper, we investigate applications of the ordinary derivative operator, instead of the $q$-derivative operator, to the theory of $q$-series. As main results, many new summation and transformation formulas are established which are…
We derive a new Fibonacci identity. This single identity subsumes important known identities such as those of Catalan, Ruggles, Halton and others, as well as standard general identities found in the books by Vajda, Koshy and others. We also…
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…
In this article, we prove a new general identity involving the Theta operators introduced by the first author and his collaborators in [D'Adderio, Iraci, Vanden Wyngaerd 2020]. From this result, we can easily deduce several new identities…
We discuss our conjecture for simply laced Lie algebras level two string functions of mark one fundamental weights and prove it for the $SO(2r)$ algebra. To prove our conjecture we introduce $q$-diagrams and examine the diagrammatic…
Some new identities for Schur functions are proved. In particular, we settle in the affirmative a recent conjecture of Ishikawa-Wakayama and solve a problem raised by Bressoud.
The classical matrix-tree theorem relates the determinant of the combinatorial Laplacian on a graph to the number of spanning trees. We generalize this result to Laplacians on one- and two-dimensional vector bundles, giving a combinatorial…
Some applications of a result, which is proved recently, is considered. We first prove three determinantal identities concerning the binomial coefficient and Stirling numbers of the first and the second kind. We also easily obtain the…
This paper introduces a variation on an identity by Bruckman and Good. Using this identity, we are able to derive various well-known sums involving reciprocals of Fibonacci and Lucas numbers, including the case when the indices form an…
An identity is proved connecting two finite sums of inverse tangents. This identity is discretized version of Jacobi's imaginary transformation for the modular angle from the theory of elliptic functions. Some other related identities are…
Capparelli conjectured two modular identities for partitions whose parts satisfy certain gap conditions, where were motivated by the calculation of characters for the standard modules of certain affine Lie algebras and by vertex operator…
The incomplete tribonacci polynomials, denoted by T_n^{(s)}(x), generalize the usual tribonacci polynomials T_n(x) and were introduced in [10], where several algebraic identities were shown. In this paper, we provide a combinatorial…
Ramanujan recorded five interesting q-series identities in a section that is not as systematically arranged as the other chapters of his second notebook. These five identities do not seem to have acquired enough attention. Recently, Dixit…
In this paper we explore how machine learning techniques can be applied to the discovery of efficient mathematical identities. We introduce an attribute grammar framework for representing symbolic expressions. Given a set of grammar rules…
We introduce and study a learning theory which is roughly automatic, that is, it does not require but a minimum of initial programming, and is based on the potential computational phenomenon of self-reference, (i.e. the potential ability of…
After defining in detail the Lambert $W$-function branches, we give a large number of exact identities involving (infinite) symmetric functions of these branches, as well as geometrically convergent series for all the branches. In doing so,…