arXiv++ Combinatorics

Using the Andrews--Askey integral, we derive a holomorphic extension formula for a Jackson $q$-integral. This formula allows identities established for terminating specializations to be continued to the nonterminating case. Our first application yields two companion binomial-type double-sum formulas. The second formula contains, as special cases, the nonterminating Sears--Carlitz transformation of Gasper and Rahman and Rahman's generating function for the Askey--Wilson polynomials. Applying the same method to the $q$-Chu--Vandermonde and Rogers' ${}_6φ_5$ summations, we obtain two further integral representations for double sums of basic hypergeometric type. A balanced ${}_4φ_3$ specialization of the latter identity is equivalent, via Sears' transformation, to the double-series transformation of Ismail, Rahman, and Suslov.

We study decoding procedures for a family of MDS array codes previously constructed from the Kronecker product of a superregular matrix and a non-singular matrix over a finite field. By exploiting the particular structure of their parity-check matrices, we develop decoding algorithms for different channel models. For the erasure channel, we provide an algorithm capable of recovering any pattern of up to $n-k$ symbol erasures. For the $q$-ary symmetric channel, we investigate the decoding of one and two symbol errors and give explicit procedures for determining their locations and values. We also consider the particular case in which the superregular matrix is a Vandermonde matrix, showing how its additional algebraic structure can be exploited in the decoding process. Explicit examples over different finite fields are provided to illustrate the proposed procedures.

We prove a conjecture of Monical, Tokcan, and Yong that every fixed positive power of the Vandermonde determinant is non-SNP in all sufficiently many variables, where a polynomial is non-SNP if there is a lattice point in its Newton polytope that does not appear with nonzero coefficient. This means our result proves that for every even power $k\geq4$, there is always such a missing lattice monomial in large enough dimensions. The odd case follows from alternation, and the quadratic case was previously known. For every even power $k\geq4$, we exhibit an explicit lattice point in the Newton polytope of $a_{δ_k}^k$ whose coefficient vanishes. The vanishing is obtained from a Dyson constant-term identity, proved using the finite-variable Jack scalar product and Macdonald's specialization formula. The key even-power construction and proof strategy arose from prompting with OpenAI Codex (GPT Sol 5.6 Extra High), a large language model; the complete transcript appears in the appendix. The authors subsequently checked and organized the argument. The accompanying Lean formalization is available at https://github.com/steven-le-thien/vandermonde-snp.

We prove two positivity conjectures proposed by Guo for alternating sums and factorial ratios built from Gaussian coefficients. The first result proves the positivity of the odd $q$-super Catalan numbers \[ C_{m,n}(q)=\frac{[2m+1]![2n]!}{[m+n+1]![m]![n]!}. \] The proof uses the positivity theorem of Warnaar and Zudilin for the usual $q$-super Catalan numbers, together with two recurrences obtained from a double application of the $q$-Chu--Vandermonde summation. The second result proves Guo's conjectural strengthening of his alternating-sum positivity theorem, replacing the exponent coefficient $2r-1$ by every odd coefficient $2b-1$, $1\leq b\leq r$. Its proof combines a $q\mapsto q^{-1}$ reciprocity with a finite deletion recurrence.

Lie algebra $\mathfrak{sl}(2)$ can be realised by vector fields on $\mathbb{R}^1\ni x$ with polynomial coefficients $1$, $-2x$, $-x^2$; their Wronskian determinants yield the Lie bracket. Likewise, the monomials $1$, $\ldots$, $x^k/k!$, $\ldots$, $x^N/N!$ span finite-dimensional strong homotopy (SH) Lie algebras with the Wronskians $\mathbf{1} \wedge \partial_x \wedge \ldots \wedge \partial_x^{N-1}$ as the $N$-ary brackets. Over dimension $d=2$ with $\mathbb{R}^2\ni(x,y)$ and for the generalised complete Wronskian $W^{d=2}_{k=1}=\mathbf{1}\wedge \partial_x \wedge \partial_y$ of differential order $k=1$ as the ternary bracket, the finite-dimensional polynomial SH-Lie algebras are spanned by $\langle 1$, $x$, $y$, $p\rangle$ with $p\in\{x^2$, $xy$, $y^2\}$. We explicitly describe all finite-dimensional polynomial SH-Lie algebras $\Bbbk_k[{\boldsymbol{x}}]\subseteq \mathcal{A} \subseteq \Bbbk[x^1,\ldots,x^d]$ (over $\Bbbk=\mathbb{R}$ or $\mathbb{C}$) with the complete generalised Wronskians $W^{d\geqslant 1}_{k\geqslant 1}$ of order $k$ as $N$-ary bracket: $N=\binom{d+k}{d}$. We obtain a factorisation formula for the generalised Vandermonde determinants which show up in the structure constants of the polynomial algebras $\mathcal{A}$.

Additive combinatorics asks for lower bounds on sumsets and restricted sumsets over finite fields. Central examples are the Cauchy-Davenport theorem and the Erdős-Heilbronn conjecture. In this note, we develop Das's linear algebraic method and give a new elementary proof of the Alon-Nathanson-Ruzsa theorem for restricted sumsets, which implies the Erdős-Heilbronn conjecture. Compared with the classical polynomial method via Combinatorial Nullstellensatz, our proof uses only basic linear algebra over finite fields, including Vandermonde matrices and solvability of linear systems.

In this paper, we find several determinants expressing the Fibonomial coefficients. We also give the generating functions, Vandermonde identity, and continued fractions about Fibonomial coefficients.

Using results of Fayers on the structure of Specht modules, we prove two different formulae for the determinant of matrices which are obtained by amalgamating the entries of two smaller matrices. In particular, this gives formulae for multivariable Vandermonde determinants as a sum of completely factorising terms, each of which is a Vandermonde determinant in fewer variables. As an application, we deduce an elementary proof of the multiplicativity of the transfinite diameter for products of compact sets.

In this paper, we show combinatorial identities that represent powers of positive integers using multinomial coefficients, which do not come from the multinomial theorem and the multinomial Vandermonde's convolution.

Questions at the intersection of the AdS/CFT correspondence and quantum information theory motivate the study of projectors in sequences of subalgebras of finite-dimensional commutative associative semisimple algebras $\mathcal{A}$, obtained by incrementally adjoining one generator at each step to produce a non-linear generating set for $\mathcal{A}$. We define degeneracy graphs, which are finite layered tree graphs whose nodes represent projectors in the successive subalgebras. Using combinatorial properties of the degeneracy graph, we give a simple formula for constructing a linear basis of $\mathcal{A}$ in terms of monomials in the generators. The nodes can be labelled by formal variables corresponding to the eigenvalues of the generators added at each layer. We prove that the construction is compatible with the required counting of projectors in $\mathcal{A}$, and give explicit constructions of the projectors in terms of the monomials, in the cases of one- and two-layer degeneracy graphs with arbitrary numbers of nodes. More generally, we provide extensive computational evidence for the invertibility of the matrix relating the proposed monomial basis to the projector basis, by evaluating its determinant. In the 1-layer case, this is a Vandermonde determinant. A simple formula for the non-vanishing determinant in the general layer case is conjectured and supported by the computational data. The construction is illustrated with examples including centres of symmetric group algebras and maximally commuting subalgebras generated by JucysMurphy elements. We outline applications of the monomial basis to algorithms for constructing matrix units in non-commutative semisimple algebras, with relevance to orthogonal bases of multi-matrix gauge-invariant operators and to quantum information theory.

We develop the basic theory of eigenvalues of $p$-adic random matrices, analogous to the classical theory for random matrices over $\mathbb{R}$ and $\mathbb{C}$. Such eigenvalue statistics were proposed as a model for the zeroes of $p$-adic $L$-functions by Ellenberg-Jain-Venkatesh, who computed the limiting distribution of the number of eigenvalues in a unit disc. We compute the full joint distribution of the $n$ eigenvalues of an $n \times n$ matrix with Haar distribution, obtaining Coulomb gas type formulas as in the archimedean case, with Vandermonde terms leading to eigenvalue repulsion. From these Coulomb gas density functions we derive asymptotics of eigenvalue statistics as $n \to \infty$. These include exact computations, such as a closed form $$ρ(x,y) = 1 - θ_3(-\sqrt{p};||x-y||^2/p)$$ for the limiting pair correlation of eigenvalues in $\mathbb{Z}_p$, and similar results in quadratic extensions. Such formulas yield concrete numerical predictions on zeroes of $p$-adic $L$-functions. For eigenvalues in arbitrary extensions of $\mathbb{Q}_p$ we also give precise estimates on their pair-repulsion and expected number of eigenvalues in each extension. Finally, we compute the asymptotic probability that all eigenvalues lie in $\mathbb{Z}_p$. Our proofs combine results from several distinct areas: $p$-adic orbital integrals, roots of random $p$-adic polynomials, the Sawin-Wood moment method for random modules, and Markov chains associated with measures on integer partitions.

This paper focuses on an integer-valued function $f_A(σ) := \operatorname{tr}(A P_σ)$ defined uniformly from a specific square matrix $A$ of order $n$ and a permutation $σ$ on the symmetric group $S_n$. The main objective of this study is to investigate in detail the algebraic behavior of the Alternating Power Difference (APD), denoted as $APD_m(f_A)$, and its first appearance degree $m_1(f_A)$ for this function $f_A$ across various matrix classes. Specifically, we address special matrices such as shifted $r$-th power lattices, Vandermonde matrices, and circulant matrices, analyzing the phenomenon where the value of $APD_m(A)$ remains zero as $m$ increases until a specific degree (the first appearance phenomenon). In particular, we explore closed-form formulas for the first appearance degree $m_1(A)$ and the first appearance value $APD_{m_1}(A)$, presenting Conjectures that hold across multiple matrix classes. These results suggest a deep relationship between the structure of matrices and the analytical properties of functions on the symmetric group, providing new perspectives in matrix theory and combinatorics.

We study the geometric and algebraic structure of Vandermonde cells, defined as images of the standard probability simplex under the Vandermonde map given by consecutive power sum polynomials. Motivated by their combinatorial equivalence to cyclic polytopes, which are well-known examples of positive geometries and tree amplituhedra, we investigate whether Vandermonde cells admit the structure of positive geometries. We derive explicit parametrizations and algebraic equations for their boundary components, extending known results from the planar case to arbitrary dimensions. By introducing a mild generalization of the notion of positive geometry, allowing singularities within boundary interiors, we show that planar Vandermonde cells naturally fit into this extended framework. Furthermore, we study Vandermonde cells in the setting of Brown-Dupont's mixed Hodge theory formulation of positive geometries, and show that they form a genus zero pair. These results provide a new algebraic and geometric understanding of Vandermonde cells, establishing them as promising examples within the emerging theory of positive geometries.

After a brief review of the key theorems concerning recurrent sequences, we give an explicit computation of the inverse of the Vandermonde matrix. This will then be used to derive sub-exponential decay error terms in the ergodic theorem of Markov chains. Finally, we apply these results to give estimates for the diameters of directed graphs.

Toric codes are error-correcting codes that are derived from toric varieties, which hold a unique correspondence to integral convex polytopes. In this paper, we focus on integral convex polytopes $P \subseteq \mathbb{R}^2$ and the toric codes they define. We begin by studying period-1 polytopes -- polytopes satisfying the property $L(tP)$ = $tL(P)$ for all $t \in \mathbb{Z}^+$, where $tP$ is the $t$-dilate of $P$, and we prove an explicit formula for the minimum distance of toric codes associated to a particular class of period-1 polytopes. We also apply the methods of Little and Schwarz, using Vandermonde matrices, to compute the minimum distance of another class of period-1 polytopes.

We give a hyperpfaffian formulation for correlation functions in $β$-ensembles of $M \times M$ random matrices when $β= L^2$ is an even square integer. More specifically, to the $m$th correlation function $R_m : \R^m \rightarrow [0, \infty)$ we associate the $L$-vector valued function $ω_m : \R^m \rightarrow Λ^L \R^{L(M-m)}$ such that $R_m(\mathbf y)$ is given by the Vandermonde determinant in $y_1, \ldots, y_M$ times the hyperpfaffian of $ω_m.$ The partition function of the ensemble was previously shown to be the hyperpfaffian of a {\it Gram} $L$-form $ω$ in $Λ^L \R^{LM},$ and we demonstrate the relationship between $ω_m(\mathbf y)$ and $ω$, both having coefficients built from integrals of Wronskians of monic polynomials. Assuming the existence of families of polynomials sympathetic with the weight of the ensemble, we may construct $ω(\mathbf y)$ so it is very sparse (relative to the expected ${L(M-m) \choose L}$ coefficients of a general $L$-vector). These generalize skew-orthogonal polynomials arising in the well-understood $β= 4$ situation. Finally we explore the situation in the circular $β= L^2$ ensembles. Here the monomials give a prototype, and we give explicit formulas for (the circular versions of) $ω$ and $ω_m.$ We use our hyperpfaffian framework to produce exact formulas for the two point function when $β= 16$ for small values $M.$ Along the way we will record hyperpfaffian evaluations using known values of partition functions of $β$-ensembles.

We construct an explicit vector space basis in terms of bivariate Vandermonde determinants for the alternating component of the diagonal coinvariant ring $DR_n$, answering a question of Stump. As a Corollary, we recover the combinatorial formula of the $q,t$-Catalan numbers. Moreover, we construct a decomposition of an $m$-Dyck path into an $m$-tuple of Dyck paths such that the area sequence and bounce sequence of the $m$-Dyck path is entrywise the sum of the area sequences and bounce sequences of the Dyck paths in the tuple.

We first observe a mysterious similarity between the braid arrangement and the arrangement of all hyperplanes in a vector space over the finite field $\mathbb{F}_q$. These two arrangements are defined by the determinants of the Vandermonde and the Moore matrix, respectively. These two matrices are transformed to each other by replacing a natural number $n$ with $q^n$ ($q$-deformation). In this paper, we introduce the notion of ``$q$-deformation of graphical arrangements'' as certain subarrangements of the arrangement of all hyperplanes over $\mathbb{F}_q$. This new class of arrangements extends the relationship between the Vandermonde and Moore matrices to graphical arrangements. We show that many invariants of the ``$q$-deformation'' behave as ``$q$-deformation'' of invariants of the graphical arrangements. Such invariants include the characteristic (chromatic) polynomial, the Stirling number of the second kind, freeness, exponents, basis of logarithmic vector fields, etc.

We consider polynomials of the form $\operatorname{h}_m(y_1^{[\varkappa_1]},\ldots,y_n^{[\varkappa_n]})$, where $\operatorname{h}_m$ is the complete homogeneous polynomial of degree $m$ and $y_j^{[\varkappa_j]}$ denotes $y_j$ repeated $\varkappa_j$ times. Using the decomposition of the generating function into partial fractions we represent such polynomials in the form \[ \operatorname{h}_m(y_1^{[\varkappa_1]},\ldots,y_n^{[\varkappa_n]}) =\sum_{j=1}^n \sum_{r=1}^{\varkappa_j} \binom{r+m-1}{r-1} A_{y,\varkappa,j,r} y_j^m, \] where $A_{y,\varkappa,j,r}$ are some coefficients that do not depend on $m$. We also provide an alternative proof using the inverse of the confluent Vandermonde matrix.

We study nonnegative and sums of squares symmetric (and even symmetric) functions of fixed degree. We can think of these as limit cones of symmetric nonnegative polynomials and symmetric sums of squares of fixed degree as the number of variables goes to infinity. We compare these cones, including finding explicit examples of nonnegative polynomials which are not sums of squares for any sufficiently large number of variables, and compute the tropicalizations of their dual cones in the even symmetric case. We find that the tropicalization of the dual cones is naturally understood in terms of the overlooked superdominance order on partitions. The power sum symmetric functions obey this same partial order (analogously to how term-normalized power sums obey the dominance order).