arXiv++ Combinatorics

In this work, the author employs the Faà di Bruno formula, identities for the partial Bell polynomials, two combinatorial identities, and the (logarithmically) complete monotonicity of generating functions for several integer sequences, together with the Wronski theorem, to investigate a collection of analytic and combinatorial structures. The study establishes Taylor series expansions for various functions involving the inverse (hyperbolic) tangent function and derives the Maclaurin expansion of the Wilf function, a composite of the inverse tangent, square root, and exponential functions. The coefficients in this expansion are expressed in terms of Stirling numbers of the second kind, and their generating functions, limits, positivity, monotonicity, and logarithmic convexity are analyzed. The paper further presents closed-form formulas for special values of the Gauss hypergeometric function and for certain partial Bell polynomials, along with several infinite series representations of the circular constant and related sequences. An asymptotic rational approximation to the circular constant is recovered, and connections among several integer sequences are established via determinants.

We present a determinantal evaluation formula for the very-well-poised ${}_8Φ_7$ basic hypergeometric Askey-Wilson function in terms of elementary functions. The formula in question is valid for discrete values of the four permutation-symmetric Askey-Wilson parameters; specifically, these consist of all quadruples of parameter values that are given, up to a sign, by powers $q^k$ with $k$ a positive integer or half-integer, in such a way that each of the four types (positive/negative sign, integer/half-integer power) occurs exactly once. The proof hinges on a product formula for an associated Cauchy-type determinant, which is of independent interest and is established here by elementary means using Krattenthaler's `identification of factors' method for determinant evaluations.

Scott and Sokal asked whether every homogeneous polynomial with the half-plane property has a completely monotone negative power. We answer this question affirmatively and prove the Riesz-positivity conjecture of Michałek, Sturmfels, Uhler and Zwiernik, restated by Kozhasov, Michałek and Sturmfels: in $n$ variables, every exponent $α\ge4096n^2$ is admissible, independently of the degree and coefficients. For complete hyperbolic polynomials the Riesz density is strictly log-concave, with relative Gaussian error at most $512n^2/α$ and explicit curvature bounds. We characterize admissible exponents by a common spectral Dirichlet law, prove $n\le m+αm(m-1)$ with its equality case, and obtain the sharp degree-dependent gap $0<α<1/(2(m-1))$ whenever the degree-$m$ polynomial has a nonlinear irreducible factor. A nonnegative fourth-order defect of $-\log p$ vanishes at one point precisely for products of positive integer powers of Euclidean Jordan determinants. We classify the corresponding logarithmic Monge-Amp{è}re equation and answer the question of Etingof, Kazhdan and Polishchuk about polynomial multiplicative Legendre transforms within irreducible complete hyperbolic polynomials; the general question has counterexamples, the Clifford quartics of Kogiso and Sato. The classification extends to reducible polynomials under a boundary-visibility hypothesis, and asymptotic common-power formulas for the Riesz densities force exact Jordan formulas.

The shifted Jack Littlewood-Richardson coefficients generalize the ordinary Jack coefficients and are Laurent polynomials in the Jack parameter $α$. We prove a previously conjectured congruence: coefficients indexed by triples differing by a single box move are congruent modulo the shared $α$-hook at the pivot. We also prove a shifted Macdonald analogue, with a power-of-$t$ twist, and establish that the normalized shifted Macdonald coefficients are Laurent polynomials in $q$ and $t$. The proofs combine coincidences of shifted coordinates with Laurent-preserving shift transforms, and the Macdonald input uses Knop's inversion formula and the integrality of the Bergeron-Garsia-Haiman-Tesler operators. Finally, we realize the Jack and Macdonald congruences as necessary edge conditions on Hilbert schemes of points, in equivariant cohomology and equivariant $K$-theory, respectively. In the Macdonald case a tautological determinant twist accounts for the power-of-$t$ normalization

The principal matroid determinant $E_L$ of a linear space $L \subseteq \mathbb{P}^n$ has been introduced in recent work by Matsubara-Heo and Telen. In this paper, we give the complete factorization of this polynomial into its irreducible components, proving a conjecture of the aforementioned authors. Our methods rely on bounding local multiplicities and an étale-local description of the strata of reciprocal linear spaces developed by Elias, Proudfoot and Wakefield. We also discuss analogous questions for other coordinate-wise powers of linear spaces.

Prescribed positive bidiagonal factorizations of semi-infinite banded matrices reveal spectral, approximation, and integrable structures for arbitrary lower and upper bandwidths. Every cyclic permutation of the factors admits a normalized lower--upper positive factorization. Under suitable degree conditions, factor transfers induce matrix Christoffel transformations, linking the cyclic Darboux orbit to mixed-type Favard theory. Christoffel words determine minimum-height positive refactorizations and the cyclic products that reach them. The associated matrices have two block displacements, reducing to two diagonals for coprime bandwidths. Their finite nonzero spectra lie on a star, and planar networks yield positive radial Stieltjes moment sequences. In the compact radial case star-supported representing measures are characterized by conditions at the origin and negative fractional moments. For coprime bandwidths, a radial moment deformation gives determinant solutions of a sparse Lax hierarchy and synchronizes the cyclic Toda flows. Retaining the prescribed factor order yields matrix continued fractions with explicit Padé-type contact, denominator factorizations, backward evaluation, and error bounds. For bounded nonnegative factors, the convergents are monotone and converge to the least nonnegative solution in the admissible domain. Under the Favard identification, they approximate the mixed-type Weyl matrix. Unbounded factorizations retain the formal approximation; analytic convergence requires a closed realization and stability hypotheses, with an additional identification for measure-defined Weyl matrices. Piñeiro and Jacobi-like systems give applications, including global positive coefficientwise integrable solutions under the stated positivity and AT hypotheses.

We prove a colorful quantitative Helly theorem for volume with the optimal number $2d$ of colors. If every rainbow intersection from $2d$ finite families of convex sets in $\R^d$ has volume at least one, then the intersection of one family has volume at least $d^{-O(d^2)}$. We also prove a colorful quantitative Steinitz theorem for origin-centered ellipsoids of different shapes. The proof uses a common normalization of positive operators and a lift that produces two rainbow bases with large determinants.

We study morphisms from symmetric powers of exterior powers to determinant-twisted endomorphism representations of general linear groups. At the minimal positive determinant twist, we prove vanishing over every field of characteristic different from two: if the exterior degree r >= 3 is odd, the symmetric degree satisfies d >= 3, and the underlying space has dimension rd, then the corresponding equivariant Hom space is zero. The proof uses a block-exchange sign and a universal root-subgroup identity, so it also applies in small odd characteristics without semisimplicity. We then determine the second-twist spaces for trivectors in characteristic zero. In dimension 3m and degree 2m, they are scalar and one-dimensional for m = 2, and zero for m >= 3. Plethystic conjugation reduces the latter vanishing to an elementary weight-support bound for exterior powers of the ten-dimensional space of ternary cubics. Finally, over fields of characteristic zero or odd characteristic, an exact computer-assisted classification in dimension nine gives a one-dimensional scalar Hom space in characteristic five and zero in characteristic zero and in every odd characteristic other than five.

Consider a symmetric function $\mathcal{C}(x,y)$ on $[0,1]\times[0,1]$ which is twice continuously differentiable up to the boundary, and which satisfies $ \mathcal{C}(x,y)=\mathcal{C}(1-x,1-y)$. Let $A^{(n)} = \big(a^{(n)}_{i,j}\, :\, i,j \in [n]\big)$ be the matrix with entries $a^{(n)}_{i,j}\, =\, \exp(-\mathcal{C}(i/n,j/n))$. Soumik Pal conjectured the asymptotics $$\operatorname{perm}\big(A^{(n)}\big)/n!\sim \exp\big(n Λ[\mathcal{C}]\big)/ \sqrt{\mathcal{D}[\mathcal{C}]}$$ as $n \to \infty$ for known functionals that arise naturally in the context of entropy regularized optimal transport. The functional $Λ[\mathcal{C}]$ is the known large deviation rate function, already proved rigorously by Sumit Mukherjee. It is $\int_{0}^1 \int_0^{1} (α(x)+β(y))\, dx\, dy$ where $α(x)+β(y)$ is chosen such that $ρ(x,y) := \exp(-\mathcal{C}(x,y)-α(x)-β(y))$ has uniform marginals. The algebraic term $\mathcal{D}[c]$ is given by Peter McCullagh's formula for doubly stochastic matrices: $\operatorname{det}_F(I+J-T^*T)$, the Fredholm determinant, where $I$ is the identity on $L^2([0,1])$, $Jf(x) \equiv \int_{0}^1 f(z)\, dz$ (for all $x$) and $Tf(x) = \int_0^1 ρ(x,y) f(y)\, dy$. We prove the conjecture for functions $\mathcal C$ that are constant on blocks, exploiting a well-known Ross Pinsky's combinatorial decomposition of permutations in blocks.

Let $p>5$ be an odd prime, put $n=(p-1)/2$, and let $\left(\frac{\cdot}{p}\right)$ be the Legendre symbol. Define $D_p^{\pm}$ to be the following determinants \[ \begin{aligned} D_p^{\pm}&:=\det\left[(i\pm j)\left(\frac{i\pm j}{p}\right) \right]_{1\leq i,j\leq n}. \end{aligned} \] In this article, we give explicit formulas for these determinants modulo $p$ in terms of Bernoulli numbers. As a consequence of Reinhart's recent counterexample to the Ankeny--Artin--Chowla conjecture, we find a prime $p$ such that $D_p^{\pm} \equiv 0 \pmod p$. This gives a negative answer to a question of the Sun.

We reconstruct the generalized hexagon of order $(2,8)$ from an abstract even rank-$26$ lattice of determinant $3$ and minimum $4$, and conversely reconstruct the lattice from the hexagon. Harmonic theta identities determine the $819$ shortest vectors in a non-zero discriminant class and their association scheme, and show that every non-empty positive-norm shell of the lattice and its dual is a spherical $5$-design. In the converse direction, the rank-$26$ idempotent gives the lattice, with saturation proved by a short dual-coset argument. A positive-definite Niemeier construction proves existence and uniqueness of the lattice and hence of the hexagon. The third moment of a projective $3$-design in the Cayley plane reconstructs the traceless Albert product. This upgrades angle-preserving bijections to elements of $F_4(\mathbb R)$ and proves geometric uniqueness of the tight $819$-point projective $5$-design. Finally, line deletion gives a rootless index-four sublattice of $N(A_1^{24})$ with a Golay trio and an oriented gluing. The gluing data form eight root-sign orbits, on which $L_3(2)\cong L_2(7)$ acts as on $\mathbf P^1(\mathbf{F}_7)$; two explicit Golay permutations prove transitivity. This proves uniqueness and gives the automorphism-group order. The group is identified afterward as ${}^3D_4(2):3$, with a central factor $C_2$ for the full lattice group. The reconstruction and deletion arguments parallel the length-$26$ binary code construction.

This paper studies symmetry-induced reductions of scalar recurrence complexity for balanced banded Toeplitz determinants and permanents. Three mechanisms emerge: determinant state and spectral compression, exceptional permanent--determinant conversion, and symmetries of permanent state spaces. For symmetric determinants, straightening reduces the row-column states from $\binom{2m}{m}$ to the Catalan number $C_{m+1}$; primitive symplectic weight compression then leaves $(3^m+1)/2$ distinct autonomous modes. Skew symmetry has a parallel compound/Hodge explanation: the middle exterior representation splits into two Hodge halves of dimension $\binom{2m}{m}/2$, the one-step compound transfer exchanges the halves, and its two-step restriction has $3^{m-1}$ generic ternary modes. Thus the full skew bound is $2\cdot3^{m-1}$. Widom--Hankel arguments prove generic scalar minimality in both symmetry classes, and every even skew Toeplitz determinant admits an explicit half-size square factorization. For the zero-diagonal pentadiagonal support, a Pólya--Kasteleyn signing converts every permanent to a determinant. Among consecutive zero-diagonal two-sided bands, universal entrywise conversion---and separately Toeplitz diagonal-wise conversion---occurs only in the Hessenberg families and this pentadiagonal case. Paired renewal identities recover all restored-diagonal determinant and permanent layers. For permanents, transposition gives the open symmetric bound $(\binom{2m}{m}+2^m)/2$, while cyclic defect-sector pairing gives $(4^m+\binom{2m}{m})/2$. Skew-symmetry forces odd-size vanishing and corresponding even-subsequence bounds. In semibandwidth two the open symmetric bound is generically sharp; higher-semibandwidth permanent minimality is left separate from the symmetry reductions proved here.

This work analyzes and compares the asymptotic properties of the covariance matrices of vectors of volume power functionals of random Vietoris-Rips complexes, as the intensity of the underlying homogeneous Poisson point process grows. Several key results are established which, in particular, generalize well-known facts on random graphs. Findings regarding rank, definiteness, determinant, eigenspaces, and related decompositions are presented within three distinct regimes. Moreover, we derive stochastic applications of these algebraic properties, leading to interesting results for vectors of volume power functionals.

We construct a five-parameter quadratic algebraic generating function whose coefficient sequence has prescribed initial Hankel determinants $(λ,m,r,η)$ and whose Hankel transform belongs to the Somos-4 family $A(1,τ)$. The construction starts from a Stieltjes continued fraction whose coefficients are generated by an alternating recurrence compatible with the Somos-4 relation. We derive an explicit quadratic equation for the resulting generating function and give the corresponding coefficient recurrence. A subtle feature of the construction is the nonuniqueness of a coefficient sequence determined solely by its ordinary Hankel transform. To select a canonical representative, we additionally prescribe the shifted Hankel determinants obtained from the same Somos-4 orbit advanced by two indices. This companion condition determines the odd and even Stieltjes coefficients separately and removes the remaining freedom in the continued-fraction representation. We also analyze the two algebraic branches at the origin, where they coalesce, and derive a desingularized recurrence for the coefficients. The resulting construction provides a direct algebraic generating-function realization of a general five-parameter family of Somos-4 Hankel transforms.

We prove the Colomo-Pronko conjecture for alternating sign matrices with a prescribed square of zeros at a corner, for all matrix sizes and freezing parameters. A known multiple-integral formula for the frozen-corner count yields determinant representations built from fixed polynomial kernels. We relate these kernels to the conjectured determinant through an inverse identity for the commutator of a signed Pascal matrix with reversal. In odd dimension, the comparison uses the one-dimensional nullspace and projection along it to eliminate the central coordinate. Combined with the asymptotic analysis of Colomo and Pronko, our result removes the conjectural assumption from their GUE Tracy-Widom fluctuation theorem for the intersection of the frozen boundary with the main diagonal in uniformly random alternating sign matrices. The finite-dimensional algebraic core of the proof has been formalized in Lean 4.

Let $A$ be a zero-dimensional monomial algebra over an algebraically closed field of characteristic zero, that is, a finite-dimensional quotient of a polynomial ring by a monomial ideal. Its automorphism group $G$ is a linear algebraic group, described through the homogeneous nilpotent derivations of $A$. We analyze the structure of $G$ in detail. Its identity component $G^0$ is a semidirect product of its unipotent radical and a reductive subgroup isomorphic to a product of general linear groups, and for each root degree we characterize when the associated derivations give rise to an additive root subgroup, and determine its dimension. Using the Lie brackets of these derivations, we then give an explicit algorithm that produces, out of the minimal monomial generators of the ideal, a family of root subgroups generating $G^0$ together with a maximal torus. Such a family is minimal in the generic case. We also show that the component group $G/G^0$ can be arbitrary: every finite group arises as the component group of the automorphism group of some zero-dimensional monomial algebra. Finally, we apply these results to the algebras $\mathbf{k}[\mathbf{x}]/\mathfrak{m}^d$, showing that the subgroup generated by a maximal torus and the outer root subgroups is exactly the subgroup of automorphisms with constant Jacobian determinant, and we deduce from this a new proof of Anick's theorem on the density of the tame automorphisms of $\mathbf{k}[\mathbf{x}]$.

For fixed nonnegative integers $m_1,m_2$, let $A_n=(a_{j-i})_{i,j=1}^n$ be the leading $n\times n$ section of a Toeplitz matrix with lower and upper semibandwidths $m_1$ and $m_2$. We give two constructive Laplace-expansion methods for scalar recurrences of $\det A_n$ and $\perm A_n$. The increasing-rows method eliminates a fixed family of boundary cofactors and gives recurrence order at most $d=\binom{m_1+m_2}{m_1}$ for both sequences. The row-column method closes normalized boundary minors recursively and packages them in a sparse transfer matrix. Its reachable states are classified exactly: level $j$ is indexed by a pair of $j$-subsets of $[m_1]$ and $[m_2]$. Hence the transfer dimension is $d$, and we obtain an explicit formula for the number of nonzero transitions. For determinants, the complementary cofactors of the increasing-rows construction are coordinates of the classical compound companion representation. The independently constructed row-column transfer has the Widom characteristic polynomial and is generically similar to the compound transfer. Thus the order $d$ recurrence is generically minimal for the unrestricted fixed-band determinant family. For permanents the same state graph gives the binomial upper bound, without a general minimality claim. The pentadiagonal case recovers Sweet's order-six determinant recurrence and its permanent analogue, while the one-superdiagonal family gives closed scalar recurrences and rational generating functions. Position-dependent band weights preserve the finite state graph but replace the constant transfer by a cocycle. For cyclic determinants, Fourier diagonalization produces all subset products of the symbol roots and a generically minimal annihilator of degree $2^{m_1+m_2}$, corresponding to the passage from one exterior degree to the full exterior algebra.

Galluccio--Loebl and Tesler showed that the perfect-matching polynomial of a graph embedded in an orientable surface of genus $g$ can be written as a linear combination of at most $4^g$ Pfaffians. We show that, in general, exponentially many Pfaffians are necessary. More precisely, for every $g\ge1$, there exists a graph of orientable genus at most $g$ whose perfect-matching polynomial requires at least $(8/3)^g$ Pfaffians in any such linear representation. In particular, for every even integer $n\ge6$, there is a graph on $n$ vertices with Pfaffian number at least $(8/3)^{\lfloor n/6\rfloor}$. Moreover, the lower bound is witnessed even by cubic bipartite matching-covered graphs. We prove this by showing that expressing the permanent of an $n\times n$ matrix of distinct variables as a linear combination of determinants obtained by changing signs of its entries requires exponentially many determinants. As a consequence, we improve a recent linear lower bound on the Pfaffian number due to Junchaya, Miranda, and Lucchesi to an exponential lower bound.

Gao and Xie conjectured that the coefficients of the ordinary, unnormalized inverse Kazhdan-Lusztig polynomial of every matroid are log-concave with no internal zeros. We give counterexamples and prove locality and composition formulas for deletions of projective charts. For every finite field and every nonempty finite set S contained in {2, 3, ...}, these formulas yield simple 3-connected matroids whose negative internal Turán determinants occur exactly at S. Their coefficients are positive and strictly decreasing. The polynomial degree can be prescribed above max S, and all selected Turán ratios can tend to zero simultaneously. The universal first-index inequality remains open.

We introduce and study a scalar $q$-deformation of the cross-ratio on $\mathbb P^1(\mathbb Q)$. Our construction is based on the notion of $q$-deformed rational numbers due to Morier-Genoud and the author. The $q$-cross-ratio is invariant under $\mathrm{PSL}(2,\mathbb{Z})$, while elements of determinant $-1$ of $\mathrm{PGL}(2,\mathbb{Z})$ act by $q\mapsto q^{-1}$. A principal result is its relation to $q$-deformed Coxeter friezes associated with rational polygons. The expansion at $q=e^h$ yields an algebraically independent sequence of modular invariants and relative invariants, although this sequence does not separate modular orbits. We compute the first two nonconstant coefficients of this expansion explicitly.