arXiv++ Combinatorics

Finite Toeplitz truncation does not, in general, preserve multiplication. For products of $m$ $N\times N$ tridiagonal Toeplitz matrices with symbols $z+z^{-1}+a_h$, we make the two boundary corrections in Widom's product formula for finite sections explicit. The method of images gives two Hankel corrections when $m\le N+2$, a sharp uniform degree bound. For $N\ge m-1$, the ratio of the determinant of the matrix product to the Toeplitz determinant with the product symbol reduces, whenever defined, to a determinant of order $2(m-1)$, which reversal symmetry splits into two determinants of order $m-1$. A rectangular Schur polynomial gives an exact formula for the Toeplitz determinant with the product symbol, including when roots coincide. For symbols nonzero on the unit circle, classical identities for rational symbols give an exact $m\times m$ determinant formula for the ratio, with an explicit confluent form for repeated roots. With $ρ_h$ the zero of $z+z^{-1}+a_h$ in $|z|<1$, the limit is $\prod_{i<j}(1-ρ_iρ_j)^2$ as $N\to\infty$ at fixed $m,a_h$. For rectangular domino tilings, these formulas compare the classical Kasteleyn--Temperley--Fisher product with the banded Toeplitz determinant formed from the product symbol. We obtain the first exponentially small correction at fixed width and relate this comparison to the Toeplitz determinant furnished by the dual Cauchy identity.

We study two $q$-deformations of the continuous interpolation between type $B$ and shifted type $A$ Narayana polynomials, both constructed from the continuous $q$-ultraspherical (Rogers) functional. The first consists of affine moments of ordinary powers. For fixed $0<q<1$ and $-1<β<1$, we prove coefficientwise Hankel total positivity in the polynomial variable by a continuant comparison criterion. We also determine leading continuants, Hankel determinants, and extreme coefficients of arbitrary Hankel minors. The second deformation uses Askey--Wilson basis products and yields a basic-hypergeometric Narayana kernel. We give two independent moment evaluations and prove that its row polynomials have simple negative zeros and are $γ$-positive after palindromic normalization. An Askey--Wilson integral with base $q^2$ gives a continuous-parameter extension and a moment proof of the Krattenthaler--Wachs super $q$-Narayana expansion, including its integrality. An ordinary-power expansion also proves Pan's Touchard identity. For fixed $0<q<1$ and $θ>-1$, we prove total positivity of the kernel triangle by a Jackson $q$-Bessel--Edrei factorization and strict total positivity of its associated square by a discrete moment representation. This gives a simultaneous $(θ,q)$-extension of Wang--Yang's theorems for type $A$ and type $B$ Narayana triangles and squares. We further establish coefficientwise total nonnegativity in $q$ through order two for the endpoint triangles. An exact triangular change of basis links the two deformations and explains their common classical limit.

The partition function $p(n)$ has historically been constrained by recursive series and asymptotic approximations, coupling evaluation to sequential memory bottlenecks. Here we derive three exact, non-recursive closed-form identities for $p(n)$ and $p_k(n)$. Via the Stratified Simplicial Decomposition (SSD) of the Ehrhart partition polytope in the affine $A_{k-1}$ Weyl group, we establish the Rational Structure Theorem and cross-convolution operator $\mathcal{B}_k$, proving $p_k(n)$ is computable in strictly $\mathcal{O}_k(1)$ time. First, the Macroscopic Bernoulli Formula and Absolute Closed-Form Theorem prove that the continuous boundary defect collapses into the topological singularity $+1$, yielding an exact algebraic evaluation of $p(n)$ via generalized Bernoulli polynomials without nearest-integer rounding. Second, the Simplicial-Ehrhart (Kaleidoscopic) Formula and Kaleidoscopic Filter Theorem show that applying $k$-dimensional Weyl reflection coefficients to $p(n)$ annihilates lower-dimensional boundary noise, yielding the exact number of partitions into parts strictly greater than $k$. Third, at $k=n$ around the Weyl barycenter $M = \frac{n(n+5)}{4}$, the Barycentric Pascal Product condenses into a multiplicative closed form, folding via symmetric roots into $\lfloor(n-1)/2\rfloor$ non-geometric biquadratic factors: $$p(n) = \frac{1}{n!(n-1)!} M^{δ_n} \prod_{r=1}^{\lfloor(n-1)/2\rfloor} (M^2 - Ω_{n,r}(n)) + \mathcal{D}_n(n).$$ Cancelling $n!(n-1)!$ via Legendre's formula enables division-free random-access evaluation in $\mathcal{O}(n \log n)$ operations. Finally, we resolve the continuum via Sylvester-Ramanujan waves, establish a Durfee-Ehrhart formulation, reveal the mock modular origin of the cyclotomic tail, and construct a non-recursive Toeplitz-Hessenberg determinant for the prime-counting function $π(x)$.

An $(α,β)$ Somos-$4$ sequence $S_n$ is defined by the recurrence $S_nS_{n-4}=αS_{n-1}S_{n-3}+βS_{n-2}^2$ ($n\geq 4$), with suitable initial values, where $α$ and $β$ are constant parameters. A widely studied question is the following: When does the Hankel transform of a generating function become an $(α,β)$ Somos-4 sequence? In particular, how can $α$ and $β$ be derived for such a function? A sufficient condition for this problem has been established by Wang and Zhang. In this paper, we obtain the following three main results. (i): We extend the Wang--Zhang sufficient condition by working over the rational function field. Then we combine this result with the Sulanke--Xin quadratic transformation to resolve all of Barry's currently unsolved $(α,β)$ Somos-4 conjectures, which arise in diverse contexts, including generalized Catalan recurrences, Riordan arrays, generalized Bernstein arrays, and elliptic curves. (ii): We show that the odd and even subsequences of an $(α,β)$ Somos-4 sequence are again $(α,β)$ Somos-4 sequences with transformed parameters. This is employed to establish Barry's Hurwitz transform conjecture. (iii): Using the theory of orthogonal polynomials, we prove a Hankel determinant formula and thereby prove a conjecture related to the $(α,β)$ Somos-4 sequence. In addition, we prove some conjectures on formulas for periodic Hankel determinants.

Barry introduced a central transform of integer sequences and proposed four conjectures concerning the Hankel transforms of central transform of four rational families. We prove these four conjectures. The proofs are unified within a common algebraic framework: we interpret the Hankel determinants as Gram determinants and use a basis of shifted monic Chebyshev polynomials to reveal the finite-band structure of the associated Gram matrices.

We introduce the matrix completion discriminant of a graph as the Zariski closure of the set of partial symmetric matrices whose completion fibers fail to meet a rank stratum transversely. A clique-sum formula for the matrix completion discriminant is established for arbitrary graphs, while explicit defining equations for cycles are obtained in terms of iterated resultants. Using these results together with the analysis of $K_4$-minor-free graphs, we prove that for every cycle-completable graph, the discriminant factors into determinant factors from maximal cliques and resultant factors from chordless cycles.

Kemp and Ramgoolam proposed a basis of monomials for a commutative semisimple algebra with generators \(C_1,\ldots, C_L\), constructed from a degeneracy graph which records how the eigenspaces of \( C_1\) are successively split by \( C_2,\ldots, C_L\). They showed that the basis property is equivalent to the non-vanishing of the determinant of the matrix of values of these monomials on the projector basis, and conjectured a factorised formula for this determinant, as a product of powers of eigenvalue differences. We prove this formula for any number of generators. The proof uses graph analogues of Newton polynomials. Their evaluation matrix is not triangular in general, but expanding the rows of the children of each node of the penultimate layer in a Newton basis of their eigenvalues makes it block triangular, with diagonal blocks given by smaller degeneracy graphs in which the final layer is removed. The formula then follows by induction on the number of layers. We show that the exponents in the determinant are overlap volumes of higher-dimensional Young diagrams attached to the nodes of the graph: intervals, ordinary Young diagrams, plane partitions and their higher analogues. Finally, the block triangular structure gives an explicit recursive inversion of the evaluation matrix, expressing the projectors in the monomial basis.

We prove that for every prime power $q$ and every integer $r\geq 3$ there exists a maximum $2$-scattered $\mathbb{F}_q$-subspace of $V(r,q^6)$, that is, a $2r$-dimensional $\mathbb{F}_q$-subspace meeting every $2$-dimensional $\mathbb{F}_{q^6}$-subspace in dimension at most $2$. Since an example in dimension three is known and direct sums preserve the property, it suffices to treat $r=4$ and $r=5$. For $r=4$ we study the subspaces $U_b=\{(x,x^q+bx^{q^5}):\mathrm{Tr}_{q^{12}/q^4}(x)=0\}$ of $\mathbb{F}_{q^{12}}^2$, $b\in\mathbb{F}_{q^{12}}$. We describe the parameters $b$ for which $U_b$ is not maximum $2$-scattered in terms of trace conditions and Dickson determinants, and deduce that at least $\frac{1}{2}q^{12}-q^{11}+O(q^{10})$ parameters work; this number is positive for $q\geq 3$, and a computer search settles $q=2$. For every $r\geq 5$ coprime to $6$ we show that $U_s=\{x+\varepsilon s\,x^{q^r}:x\in\mathbb{F}_{q^{2r}}\}\subseteq\mathbb{F}_{q^{6r}}$ is maximum $2$-scattered for all $\varepsilon\in\mathbb{F}_{q^6}\setminus\mathbb{F}_{q^2}$ and $s\in\mathbb{F}_{q^r}\setminus\mathbb{F}_q$. Consequently, $\mathbb{F}_{q^6}$-linear $[2r,r,4]_{q^6/q}$ MRD codes exist for every $r\geq 3$; for $r$ coprime to $6$, the codes obtained from $U_s$ are equivalent to their duals.

We determine which connected sets of $N$ vertices in the square lattice support the most spanning trees, using all lattice edges between the chosen vertices. Every maximizer minimizes the number of edges joining the set to the rest of the lattice. Its shape is a rectangle with at most two straight strips of vertices removed at opposite corners. For $N\ge18$, the maximizer is unique up to translation, rotation, and reflection: an explicitly determined rectangle with one possibly empty corner strip removed along its longer side. The proof combines comparisons of Laplacian determinants with geometric comparisons of corner deletions. For $N=n^2$, we prove a sharp stability inequality that bounds the symmetric difference from a translated $n\times n$ square in terms of the loss in logarithmic tree count. Thus, nearly optimal tree counts force the vertex set to be close to a square. We also derive an exact product formula and a recurrence for the number of spanning trees in rectangles with a single corner strip removed.

We introduce a determinantal linear process on the space of $1$-forms over a weighted graph endowed with a unitary local system, which we call the determinantal linear spanning forest (DLSF). This process is the analog of the uniform spanning tree in the presence of an arbitrary rank $n$ quenched gauge field in ${\rm U}(n)$ (or ${\rm O}(n)$, ${\rm SO}(n)$, ${\rm SU}(n)$, ${\rm Sp}(n)$), and generalizes the determinantal random cycle-rooted spanning forest which corresponds to the case of ${\rm U}(1)$ and ${\rm SU}(2)$. We describe the support of this process by means of a polymatroid which is described in terms of the circular and bicircular matroids. We also explain how the DLSF relates to the computation of currents in an electrical network in the presence of a gauge field. The partition function of the DLSF is shown to be the determinant of the twisted Laplacian, for which we also give a matrix-tree type theorem that computes its characteristic polynomial. We initiate the study of the twisted Laplacian determinant as a functional on the space of connections, and give a first order expansion of it in a neighborhood of the trivial connection, for which we provide a probabilistic interpretation. We extend the construction to infinite graphs, exhibiting the analogs of the classical wired and free distributions on spanning forests. We give a sufficient geometric condition on the local spectral gap for the existence of a Poincaré inequality as well as the uniqueness of the infinite volume measure, and the exponential decay of correlations. We show that on any recurrent graph, the wired and free DLSF coincide. We construct examples where they do not, for example, unlike in the classical case, on $\mathbb Z^d$ for $d\geq 3$.

We introduce an algebraic model, based on the determinantal expansion of the product of two matrices, to test combinatorial reductions of set functions. Each term of the determinantal expansion is deformed through a monomial factor in d indeterminates, whose exponents define a $\mathbb{Z}^{d}$-valued set function. By combining the Grassmann-Plücker relations for the two matrices, we derive a family of sparse polynomials, whose factorisation properties in a Laurent polynomial ring are studied and related to information-theoretic notions. Under a given genericity condition, we prove the equivalence between combinatorial reductions and determinantal expansions with invertible minor products; specifically, a deformation returns a determinantal expansion if and only if it is induced by a diagonal matrix of units in $\mathbb{C}(\mathbf{t})$ acting as a kernel in the original determinant expression. This characterisation supports the definition of a new method for checking and recovering combinatorial reductions for matroid permutations.

We extend combinatorial summation (CoS) of connected Feynman diagrams to Hubbard mod- els with flavor-dependent propagators and counterterm shifts. The construction combines an interaction-occupancy mask with labels for the open fermion cycle, allowing equivalent endpoint his- tories to be accumulated while retaining the flavor and sublattice information needed by subsequent contractions. In the flavor-dependent version, denoted symmetry-broken CoS (SB-CoS), normal heads carry the cycle flavor and counterterm heads inherit the flavor at their interaction partner. We prove the correctness of the resulting recurrence and introduce terminal readouts that return all nonempty interaction-subset values from a shared circuit, as required by a many-configuration Markov-chain sampler. For three flavors, a second formulation uses determinant polynomials and a local interaction tensor, with connected coefficients extracted by subset recursion or Fourier interpo- lation and a support sieve. Applications to the two-spin honeycomb and three-flavor square-lattice Hubbard models illustrate the treatment of sublattice structure and non-uniform reference shifts.

To bridge the gap between worst-case and heuristic analyses of lattice enumeration, we study the sizes of (unpruned) enumeration trees on $n$-dimensional Haar-random lattices. Writing $n^{cn+o(n)}$ for the tree size at the shortest vector radius, we investigate the asymptotic scaling of $c$, and which bases minimize it. For quasi-HKZ bases, we rigorously analyze the random-lattice HKZ geometry and establish $c=1/(2e)\approx 0.1839$. This matches the worst-case enumeration exponent of Hanrot-Stehlé and confirms earlier predictions for the geometry of HKZ bases on random lattices. Searching beyond quasi-HKZ bases, we prove that with high probability, the minimum achievable tree size exponent $c$ over all bases of a random lattice satisfies: \begin{align} 0.1464 \approx \frac{2-\sqrt{2}}{4}\leq c<0.1474. \end{align} For the lower bound, we use Kim's mean-value formula for nested chains of primitive sublattices to rule out bases with small prefix determinants. This strengthens the earlier Rankin-based heuristic lower bound exponent $c \geq 1/8$, discussed by Nguyen and Hanrot-Stehlé, and rules out the existence of random-lattice bases with trees as small as predicted by the geometric series assumption. For the upper bound, we show that with high probability a dense primitive half-rank sublattice exists with determinant at most $n^{n/8 + o(n)}$. Combining dual HKZ on this sublattice with HKZ on its quotient gives a basis with $c \leq 1/(4\sqrt{e}) \approx 0.1516$. Recursively splitting each half lowers the upper bound below $0.1474$, and under a natural heuristic assumption we prove that the lower bound is tight. Combined with the collision search of Feng-Gao-Liu, our two-block construction gives a polynomial-space algorithm solving the closest vector problem with preprocessing (CVPP) on random lattices in query time $n^{0.0892 n + o(n)}$ for arbitrary targets.

In this paper, our purpose is to find some techniques to identify inhomogeneous Kazhdan-Lusztig ideals. A set of generators of a Kazhdan-Lusztig ideal corresponds to some minors in some southwest submatrices inside some ambient matrix. We have defined a notion called a path inside a square matrix as a tool to work with determinants of the above mentioned minors. Using paths, we derive necessary and sufficient conditions for when such minors are inhomogeneous, singular, non-singular, and when there is divisibility between two terms of two such distinct minors. As a conclusion, we first provide an algorithm through which we can identify some sufficient conditions for a Kazhdan-Lusztig ideal to be inhomogeneous (by utilizing all the above mentioned results). Secondly, we provide certain sufficient conditions for a Kazhdan-Lusztig ideal to be standard homogeneous, and then we also prove that under certain assumptions, these conditions are also necessary for a Kazhdan-Lusztig ideal to be standard homogeneous.

Let $q$ be a power of an odd prime $p$. We prove the MDS conjecture over $\mathbb F_q$ in every dimension $k$ satisfying \[ 2\leqslant k\leqslant B(p,q) \quad\text{or}\quad q+2-B(p,q)\leqslant k\leqslant q, \qquad B(p,q)=\left\lfloor\frac{(p-2)q+6p-10}{2p-3}\right\rfloor. \] For fixed $p$, the first interval is linear in $q$; together with duality, the theorem covers an asymptotic proportion $1-1/(2p-3)$ of all dimensions. The proof rests on a vanishing theorem for determinant relations over an arbitrary field of characteristic $p>0$. It yields full row rank for Chowdhury's matrices over a larger range of arc sizes. In particular, at $|G|=2k-3+n$ it proves Chowdhury's full-row-rank conjecture without the $q$-dependent restriction. Specialization to $\mathbb F_q$, together with the Ball--Lavrauw construction, gives the stated MDS range. We also prove that, for every odd prime power $q$, every normal rational curve in $\mathrm{PG}(N,q)$ is complete for $2\leqslant N\leqslant q-2$, and every projective Reed--Solomon code of length $q+1$ and dimension $2\leqslant k\leqslant q-2$ has covering radius $q-k$.

A Deza graph is a regular graph in which the number of common neighbours of two distinct vertices takes at most two values, regardless of adjacency. Its children are the graphs on the same vertex set in which adjacency is determined by these two common-neighbour counts. A Deza graph is called strongly Deza if both children are strongly regular. We construct an infinite family of edge-regular strongly Deza graphs using non-degenerate quadratic forms over the field with five elements. For every odd dimension greater than three and each of the two determinant square classes, we obtain a graph on the projective points represented by vectors of norm one. Its children are complementary strongly regular graphs with the parameters of the corresponding orthogonality graph on non-isotropic points and its complement. We determine the parameters by counting solutions to systems involving the associated bilinear form. These counts also yield symmetric association schemes over finite fields of odd characteristic. Further constructions include Deza graphs in dimension four, orthogonality graphs in odd dimensions, unions of relations in even dimensions over the field with nine elements, and an odd-dimensional family over the field with thirteen elements. We also give low-dimensional examples, including one whose children are a triangular graph and its complement.

The Hadamard maximal determinant problem seeks an $n\times n$ matrix $X$ with entries in $\{\pm 1\}$, which maximizes the determinant $\vert \det X \vert$ for a given order $n \in \mathbb{N}$. We report matrices attaining new record determinants for orders $n\equiv 3\pmod{4}$ between $103$ and $119$, as well as $n=51$. We provide a proof of optimality within a specific family of circulant--block constructions for $X$. For these orders, we recast the Hadamard problem as a sequence reconstruction problem from a pair of periodic autocorrelation functions, subject to certain arithmetic conditions. We describe several learning--based strategies for reconstruction and provide a comparison with classical simulated annealing--style approaches as a benchmark.

We study two Riordan arrays associated with the Motzkin-prefix sequence (\href{https://oeis.org/A005773}{OEIS A005773}). By connecting their production matrices through a simple boundary factorization, we obtain a period-three transformation on Motzkin endpoint distributions and exact formulas for paths by final height modulo~$3$. In addition, a unified factorization for the shifted Hankel matrices leads directly to explicit closed forms for the third and fourth Hankel determinants, $Δ_n^{(3)}$ and~$Δ_n^{(4)}$.

We prove two arithmetic nonexistence conditions for tight spherical $5$-designs in dimension $(2m+1)^2-2$. Let $m$ be a positive even integer satisfying $ν_2(m(m+1))\leq5$, where $ν_p(a)$ denotes the exponent of the prime $p$ in the positive integer $a$. We show that such a design does not exist if either (i) $m\equiv1\pmod3$ and $ν_p(m(m+1))\leq1$ for every prime $p\geq7$ with $p\equiv3\pmod4$, or (ii) $m\equiv0\pmod3$, $ν_3(m(m+1))=1$, and $ν_p(m(m+1))\leq1$ for every prime $p\geq5$ with $p\not\equiv1\pmod{12}$. Together, these conditions recover the corresponding nonexistence results of Bannai, Munemasa, and Venkov and of Nebe and Venkov, and exclude parameters not covered by either earlier result, including $m=16,40,88,96,100$. The proofs use lattice theory to constrain the discriminant groups of the associated lattices, and derive contradictions through Gauss sums and determinant congruences.

We study linear codes whose coordinates are the ordinary edges and self-loops of complete undirected graphs; a node erasure removes all coordinates incident with a failed vertex. The construction results are binary. For triple-node erasures, we extend the published cyclic construction by allowing a suitable cyclic check slope to depend on the prime graph length. An explicit determinant test proves that one of three fixed slope choices works at infinitely many prime lengths, unconditionally, and gives redundancy $3n-2$, one bit above the graph Singleton bound. We also give Singleton-optimal triple-node codes at $n=6,8,10,12$, together with a general ordinary-edge framework that isolates the remaining loop-completion problem. When $2$ is primitive modulo an odd prime $n$, a binary multi-slope construction corrects every $ρ$-node erasure for $2\leqρ<n$, with redundancy $ρn-(ρ-1)$ in the range $2\leqρ\leq(n+1)/2$. Returning to arbitrary prime powers, we derive exact generating transforms and inclusion--exclusion formulas for node-metric ball volumes, fixed-radius asymptotics, and packing, existence, and covering bounds. Finally, for the complementary clique-erasure metric, we obtain an exact weight enumerator and a Singleton-optimal node--clique duality.