arXiv++ Combinatorics

We prove the redundancy of a family (the so-called melonic family) of large-$N$ moments in arbitrary tensor models. This reduces the number of independent entries in the positive semidefinite matrices that build the core of the tensor bootstrap (for tensor models there are already several generalizations of the positive semidefinite Toeplitz and Hankel matrices of lattice gauge theory and random matrix bootstrap, respectively). More concretely, we prove that any melonic operator $C$ at large-$N$ has an expectation value that depends on $C$ exclusively through its degree. A similar statement is shown here to hold for the Schwinger-Dyson equations of melonic moments. The strength of our result is also its scope, which is not limited to melonic tensor models.

For a sequence $\mathbf a=(a_0,a_1,\dots)$ we define its dilated Hankel determinant $\ddot{H}_n(\mathbf a)=\det(a_{2i+j})_{0\le i,j\le n-1}$, the minor of the infinite Hankel matrix $(a_{i+j})$ formed from the even-indexed rows and the first $n$ columns. We prove that, for a broad class of sequences, $\ddot{H}_n$ admits a remarkably simple product evaluation. This mirrors the behaviour of the classical Hankel determinant $H_n$, but with two key distinctions: the class of sequences for which such formulas are known is far larger in the classical case; and, whereas $H_n$ enjoys a single universal evaluation -- the Heilermann formula via the Jacobi continued fraction -- no analogous general method exists for the dilated determinant, which is therefore considerably more challenging. Our evaluations instead rest on six methods developed here, four of general scope and two of a more specialised nature. The cases treated include the factorial numbers, the Catalan and central binomial coefficients; the Euler numbers and a one-parameter secant family; the involution numbers; the Springer numbers along with elliptic and derivative deformations; the reciprocal-sine function, whose evaluation rests on a new Catalan determinant proved by condensation; a Bessel analogue of the Euler numbers; and a multiplicative Bessel family. As an application, we settle a conjecture of Chapoton and the author on the roots of the Poupard and Kreweras polynomials.

For a finite group G, we study the higher commuting probabilities, namely the probabilities that r randomly chosen elements of G commute pairwise, together with the corresponding numbers of simultaneous conjugacy classes of commuting r-tuples. We prove an exact dominant asymptotic for the number of homomorphisms from the free abelian group of rank r to G. The exponential base is the maximum order of an abelian subgroup of G, and the leading coefficient is the number of abelian subgroups of that order. As a consequence, the r-th root of the higher commuting probability tends to this maximum abelian-subgroup order divided by the order of G, while the r-th root of the orbit count tends to the maximum abelian-subgroup order itself. We also prove that the associated rank-generating series is rational and has a finite Dirichlet-spectrum expansion supported on abelian subgroup indices. This spectrum yields a finite linear recurrence, a finite-rank Hankel matrix, and an inverse finite-spectrum theorem: the tail of the hierarchy determines the full abelian-index spectrum. For split abelian extensions, we express the dominant base through fixed-subgroup geometry, and for abelian acting quotients, we obtain an exact subgroup-lattice formula. In the cyclic and coprime cases, this gives closed formulas for all spectral coefficients.

We consider the problem of certifying (strict) $k$-sign consistency of a matrix, that is, whether all of its $k$-th order minors share the same (strict) sign. Although this problem is generally of combinatorial complexity, we show that for Hankel matrices it can be significantly simplified: our sufficient condition requires checking only the $k$-th order minors of a reshaped Hankel matrix with $k$ rows. Remarkably, when applied to the Hankel operator, this sufficient condition is also necessary. Comparable results were known only in the setting of (strictly) $k$-positive Hankel matrices and operators, in which all minors of order up to $k$ have the same (strict) sign. More concretely, we derive a formula expressing the $k$-th order minors of Hankel matrices as nonnegative integer linear combinations of $k$-th order minors with consecutive row indices. Our derivation uses Schur polynomial theory to show that the $k$-th order minors of any matrix are nonnegative integer linear combinations of row-consecutive $k$-th order minors, meaning minors formed from distinct columns whose consecutive row indices need not coincide across columns. For Hankel matrices, these minors coincide -- up to sign changes arising from column swaps -- with the usual $k$-th order minors with consecutive row indices. Our main result then follows by showing that the sum of certain signed nonnegative integer coefficients equals the corresponding Littlewood--Richardson coefficients. In our problem, the nonnegativity of these coefficients ensures that negatively signed column permutations are cancelled by positively signed ones. Our results also extend naturally to Toeplitz matrices and operators, and we present a partial analogue for circulant matrices.

Given the rational power series $h(x) = \sum_{i \geq 0} h_i x^i \in \mathbb{C}[[x]]$, the Hankel determinant of order $n$ is defined as $H_n(h(x)) := \det (h_{i+j})_{0 \leq i,j \leq n-1}$. We explore the relationship between the Hankel continued fraction and the generalized Sturm sequence. This connection inspires the development of a novel algorithm for computing the Hankel determinants $\{H_i(h(x))\}_{i=0}^{n-1}$ using $O(n \log^2 n)$ arithmetic operations. We also explore the connection between the generalized Sturm sequences and the signature of Hankel matrices.

Snake graphs and their perfect matchings play a key role in the description of cluster variables of cluster algebras associated to surfaces. In this paper, we introduce triangular snake graphs and establish a bijection between their routes (non-intersecting lattice paths), perfect matchings of their underlying snake graphs, and tilings. As an application, we show that the number of perfect matchings in straight snake graphs can be expressed in terms of determinants of Hankel matrices with Catalan number entries. Moreover, we prove that the number of perfect matchings in snake graphs can be expressed as a sum of products of Fibonacci numbers, and we show how Fibonacci and Pell sequences arise from determinants of matrices with Fibonacci entries.

In this paper, we investigate properties of a symmetric Toeplitz matrix and a Hankel matrix by studying the components of its graph. To this end, we introduce the notion of ``weighted Toeplitz graph" and ``weighted Hankel graph", which are weighted graphs whose adjacency matrix are a symmetric Toeplitz matrix and a Hankel matrix, respectively. By studying the components of a weighted Toeplitz graph, we show that the Frobenius normal form of a symmetric Toeplitz matrix is a direct sum of symmetric irreducible Toeplitz matrices. Similarly, by studying the components of a weighted Hankel matrix, we show that the Frobenius normal form of a Hankel matrix is a direct sum of irreducible Hankel matrices.

A $n$-by-$n$ matrix is called totally positive ($TP$) if all its minors are positive and $TP_k$ if all of its $k$-by-$k$ submatrices are $TP$. For an arbitrary totally positive matrix or $TP_k$ matrix, we investigate if the $r$th compound ($1<r<n$) is in turn $TP$ or $TP_k$, and demonstrate a strong negative resolution in general. Focus is then shifted to Dodgson's algorithm for calculating the determinant of a generic matrix, and we analyze whether the associated condensed matrices are possibly totally positive or $TP_k$. We also show that all condensed matrices associated with a $TP$ Hankel matrix are $TP$.

For any integer $k\geq 1,$ define $L_k: \mathbb{R}^\mathbb{N}\to \mathbb{R}^\mathbb{N}$ by $(a_n)_{n\in\mathbb{N}}\mapsto (a'_n)_{n\in\mathbb{N}}$ where $a'_n=\det(a_{n+i+j})_{i,j=0}^{k-1}$. Previously, Zhu showed that $L_k$ preserves the Stieltjes moment (SM) property of sequences (Proc. Am. Math. Soc., 2019). The proof used the characterization of SM sequences in terms of positive semidefinite Hankel matrices. In this note, we give another proof by viewing SM sequences as weighted enumerations of closed walks on $\mathbb{N}$. Our proof is essentially a double-counting argument that views a $k$-tuple of non-crossing Dyck paths as a single closed walk on some bipartite subgraph of $\mathbb{N}^k.$

Given three nonnegative integers $p,q,r$ and a finite field $F$, how many Hankel matrices $\left( x_{i+j}\right) _{0\leq i\leq p,\ 0\leq j\leq q}$ over $F$ have rank $\leq r$ ? This question is classical, and the answer ($q^{2r}$ when $r\leq\min\left\{ p,q\right\} $) has been obtained independently by various authors using different tools (Daykin, Elkies, Garcia Armas, Ghorpade and Ram). In this note, we study a refinement of this result: We show that if we fix the first $k$ of the entries $x_{0},x_{1},\ldots,x_{k-1}$ for some $k\leq r\leq\min\left\{ p,q\right\} $, then the number of ways to choose the remaining $p+q-k+1$ entries $x_{k},x_{k+1},\ldots,x_{p+q}$ such that the resulting Hankel matrix $\left( x_{i+j}\right) _{0\leq i\leq p,\ 0\leq j\leq q}$ has rank $\leq r$ is $q^{2r-k}$. This is exactly the answer that one would expect if the first $k$ entries had no effect on the rank, but of course the situation is not this simple. The refined result generalizes (and provides an alternative proof of) a result by Anzis, Chen, Gao, Kim, Li and Patrias on evaluations of Jacobi-Trudi determinants over finite fields.

We calculate the Hankel determinants of sequences of Bernoulli polynomials. This corresponding Hankel matrix comes from statistically estimating the variance in nonparametric regression. Besides its entries' natural and deep connection with Bernoulli polynomials, a special case of the matrix can be constructed from a corresponding Vandermonde matrix. As a result, instead of asymptotic analysis, we give a direct proof of calculating an entry of its inverse.

The Hankel matrix of type B Narayana polynomials was proved to be totally positive by Wang and Zhu, and independently by Sokal. Pan and Zeng raised the problem of giving a planar network proof of this result. In this paper, we present such a proof by constructing a planar network allowing negative weights, applying the Lindström-Gessel-Viennot lemma and establishing an involution on the set of nonintersecting families of directed paths.

In this paper we give some sufficient conditions for the nonnegativity of immanants of square submatrices of Catalan-Stieltjes matrices and their corresponding Hankel matrices. To obtain these sufficient conditions, we construct new planar networks with a recursive nature for Catalan-Stieltjes matrices. As applications, we provide a unified way to produce inequalities for many combinatorial polynomials, such as the Eulerian polynomials, Schröder polynomials and Narayana polynomials.

We introduce the "moment rank" and "unitary rank" of numerical sequences, close relatives of linear-recursive order. We show that both parameters can be characterized by a broad set of criteria involving moments of measures, types of recurrence relations, Hankel matrix factorizations, Waring rank, analytic properties of generating functions, and algebraic properties of polynomial ideals. In the process, we solve the "complex finite-atomic" and "integral finite-atomic" moment problems: which sequences arise as the moments of a finite-atomic complex-/integer-valued measures on $\mathbb{C}$?

Log-concavity and almost log-convexity of the cycle index polynomials were proved by Bender and Canfield [J. Combin. Theory Ser. A 74 (1996)]. Schirmacher [J. Combin. Theory Ser. A 85 (1999)] extended them to $q$-log-concavity and almost $q$-log-convexity. Motivated by these, we consider the stronger properties total positivity from the Toeplitz matrix and Hankel matrix. By using exponential Riordan array methods, we give some criteria for total positivity of the triangular matrix of coefficients of the generalized cycle index polynomials, the Toeplitz matrix and Hankel matrix of the polynomial sequence in terms of the exponential formula, the logarithmic formula and the fractional formula, respectively. Finally, we apply our criteria to some triangular arrays satisfying some recurrence relations, including Bessel triangles of two kinds and their generalizations, the Lah triangle and its generalization, the idempotent triangle and some triangles related to binomial coefficients, rook polynomials and Laguerre polynomials. We not only get total positivity of these lower-triangles, and $q$-Stieltjes moment properties and $3$-$q$-log-convexity of their row-generating functions, but also prove that their triangular convolutions preserve Stieltjes moment property. In particular, we solve a conjecture of Sokal on $q$-Stieltjes moment property of rook polynomials.

We prove that the inverse of the Hankel matrix of the reciprocals of the Catalan numbers has integer entries. We generalize the result to an infinite family of generalized Catalan numbers. The Hankel matrices that we consider are associated with orthogonal polynomials that are variants of Jacobi polynomials. Our proofs use these polynomials and computer algebra based on Wilf-Zeilberger theory.

We develop a new algorithm to compute determinants of all possible Hankel matrices made up from a given finite length sequence over a finite field. Our algorithm fits within the dynamic programming paradigm by exploiting new recursive relations on the determinants of Hankel matrices together with new observations concerning the distribution of zero determinants among the possible matrix sizes allowed by the length of the original sequence. The algorithm can be used to isolate \emph{very} efficiently linear shift feedback registers hidden in strings with random prefix and random postfix for instance and, therefore, recovering the shortest generating vector. Our new mathematical identities can be used also in any other situations involving determinants of Hankel matrices. We also implement a parallel version of our algorithm. We compare our results empirically with the trivial algorithm which consists of computing determinants for each possible Hankel matrices made up from a given finite length sequence. Our new accelerated approach on a single processor is faster than the trivial algorithm on 160 processors for input sequences of length 16384 for instance.

We evaluate Hankel determinants of matrices in which the entries are generating functions for paths consisting of up-steps, down-steps and level steps with a fixed starting point but variable end point. By specialisation, these determinant evaluations have numerous corollaries. In particular, one consequence is that the Hankel determinant of Motzkin prefix numbers equals 1, regardless of the size of the Hankel matrix.

The goal of this paper is to introduce and study noncommutative Catalan numbers $C_n$ which belong to the free Laurent polynomial algebra in $n$ generators. Our noncommutative numbers admit interesting (commutative and noncommutative) specializations, one of them related to Garsia-Haiman $(q,t)$-versions, another -- to solving noncommutative quadratic equations. We also establish total positivity of the corresponding (noncommutative) Hankel matrices $H_m$ and introduce accompanying noncommutative binomial coefficients.

Smith normal form evaluations found by Bessenrodt and Stanley for some Hankel matrices of q-Catalan numbers are proven in two ways. One argument generalizes the Bessenrodt-Stanley results for the Smith normal form of a certain multivariate matrix that refines one studied by Berlekamp, Carlitz, Roselle, and Scoville. The second argument, which uses orthogonal polynomials, generalizes to a number of other Hankel matrices, Toeplitz matrices, and Gram matrices. It gives new results for q-Catalan numbers, q-Motzkin numbers, q-Schröder numbers, q-Stirling numbers, q-matching numbers, q-factorials, q-double factorials, as well as generating functions for permutations with eight statistics.