arXiv++ Combinatorics

For a general curve in positive characteristic, taking the Frobenius pullback induces a generically finite rational map V on the moduli space of rank 2 vector bundles with trivial determinant. Recently, Kondo--Wakabayashi show that the generic degree of V, considered as a function on the characteristic of the base field, is a quasi-polynomial. In this paper, we show that this quasi-polynomial is indeed a polynomial, and we write out this polynomial explicitly.

We give a short, self-contained linear-algebra proof of a bound of Hegedüs [Australasian Journal of Combinatorics, 2026; arXiv:2409.07877]: if all pairwise Hamming distances in a family of subsets of $\{1,\ldots,n\}$ equal a fixed value $λ\ne(n+1)/2$, then the family has at most $n$ members. Our proof uses the same Gram matrix as in Hegedüs's argument, but reads its eigenvalues in place of its determinant, and keys off of a single fact about vectors of equal norm and equal pairwise inner product. That fact applies verbatim over an alphabet of size $q$, where it yields the bound $n(q-1)$ for $λ\ne\bigl((q-1)n+1\bigr)/q$ -- the corrected form of a conjecture of Hegedüs, recently established by Hu, Huang, and Yu [arXiv:2504.07036].

We prove a new combinatorial identity for the determinant of the resistance matrix of a finite graph, which involves counts of spanning trees and forests. This generalizes a result of Graham and Pollak on distances matrices of trees. We make use of Bapat's expression of the resistance matrix determinant as a linear algebraic quantity.

In 2022 Aliniaeifard, Li, and van Willigenburg defined Schur functions in the algebra of symmetric functions in noncommuting variables (NCSym), answering an open question posed by Rosas and Sagan in 2004. These Schur functions are not monomial positive, since they are defined via a noncommutative analogue of the Jacobi-Trudi determinant. We introduce Hall-Littlewood functions ${\bf P}_π({\bf x};t)$ indexed by set partitions $π$ in noncommuting variables ${\bf x}=({\bf x}_1,{\bf x}_2,\ldots)$, and define Schur functions in noncommuting variables to be ${\bf s}_π({\bf x})={\bf P}_π({\bf x};0)$. We prove that the set of Hall-Littlewood functions $\{{\bf P}_π({\bf x};t)\}$ for all set partitions $π$ of $[n]$ forms a $\mathbb{Q}[t]$-basis of NCSym of homogeneous degree $n$, and that this basis is invariant under any permutation acting on set partitions. These Hall-Littlewood functions in NCSym map to classical Hall-Littlewood functions under commutation, up to a scalar factor. We also show that the Hall-Littlewood functions ${\bf P}_π({\bf x};t)$ naturally refine the lifted Hall-Littlewood functions in NCSym. Specifically, the Schur functions ${\bf s}_π({\bf x})$ are monomial positive and refine the lifted Schur function introduced by Rosas and Sagan. Moreover, we introduce a star product of two polynomials in NCSym and develop the star-multiplication rule for a lifted and a non-lifted Hall-Littlewood functions in NCSym. This rule is a noncommutative analogue of the product rule for two Hall-Littlewood functions and, in particular, of the Littlewood-Richardson rule. Finally, our approach extends to the algebra of quasisymmetric functions in noncommuting variables (NCQSym) indexed by set compositions.

Let $G$ be a finite connected weighted graph and let $R$ be its effective-resistance matrix. For every nonempty vertex set $S$, we factor the cofactor sum and determinant of the principal resistance submatrix $R[S]$ into an enumerative term and a boundary potential-theoretic term. If $τ(G)$ is the weighted spanning tree enumerator and $κ_G(S)$ is the weighted enumerator of $S$-rooted spanning forests, then \[ \cof R[S]=(-2)^{|S|-1}κ_G(S)/τ(G). \] After Kron reduction to $S$, with reduced Laplacian $K=L^S$, $Q=K^+$, and $q=\diag(Q)$, the remaining normalized factor is \[ \det R[S]/\cof R[S] =\frac{2}{|S|}\tr Q+\frac12 q^{\mathsf T}Kq. \] The cofactor factor is a principal specialization of known resistance-minor identities; the contribution here is the boundary/Kron-reduction factorization and local radius calculus. Equivalently, the normalized factor is the maximum of $u^{\mathsf T}R[S]u$ over all $u\in\R^S$ satisfying $\one^{\mathsf T}u=1$. This optimization viewpoint yields monotonicity under enlargement of $S$, an exact one-point update formula, and a support criterion for equality. Small star examples show that the resulting set function is neither submodular nor supermodular in general.

We study Euler characteristics of scaled toric varieties arising from second hypersimplices. In algebraic statistics, these are closely connected to maximum likelihood (ML) degrees of toric models. We establish a correspondence between delta-matroids and the non-vanishing factors of the principal $A$-determinant, providing an explicit connection between delta-matroid theory and algebraic statistics. Using this framework, we show that a conjectured minimum ML degree is realizable by a suitable embedding of the variety. Furthermore, for second hypersimplices up to order six, we prove that this value is minimal among all embeddings, as conjectured by Clarke et al. (2024).

We give an exact finite-dimensional Perron--Frobenius realization of the dominant zero of the Nekrasov--Okounkov polynomials $\nop _n(z)$. For a normalized positive sequence $h=(h(n))_{n\ge 1}$ with $h(1)=1$, define $\pol _0^h(z)=1$ and, for $n\ge 1$, \[ \pol _n^h(z)=\frac{z}{h(n)}\sum_{k=1}^n σ(k)\pol _{n-k}^h(z),\] where $σ(k)$ denotes the sum of divisors of $k$. The Nekrasov--Okounkov polynomials are obtained from the specialization $h(n)=n$ by the shift $\nop _n(z)=\pol _n^h(z+1)$. We derive a Hessenberg determinant representation for $\pol _n^h(z)$. After separating the trivial zero at the origin, the remaining zeros of $\pol _n^h(-z)$ are identified with the eigenvalues of an explicit $(n-1)\times(n-1)$ nonnegative matrix $M_n^h$. We prove that $M_n^h$ is primitive and apply Perron--Frobenius theory to show that $\pol _n^h(z)$ has a unique zero of maximal modulus; this zero is real, negative, and simple. As a consequence, the same property holds for the Nekrasov--Okounkov polynomials. We also prove strict monotonicity of the associated spectral radii.

In this paper, we introduce and prove a set of rank recurrence relations for $q$-Whittaker and Macdonald operators. We also derive an explicit expression for the $k$-th power of the $q$-Whittaker operators in terms of the $q$-deformed binomial probability distribution, and we express the rank recurrence relations for the Macdonald operators in terms of the Cauchy determinant.

Building upon the algebraic framework of trace monoids introduced by Giscard and Rochet, we establish a new determinant formula for the Ihara zeta functions of certain digraphs. We present our results through two main theorems. First, at the algebraic level, we show a general determinant formula expressed by a Cayley determinant over the hike monoid ring, which provides a unifying perspective on several known determinant expressions. Second, by evaluating the lengths of hikes through a natural ring homomorphism, we prove that the reciprocal of the Ihara zeta function can be explicitly expressed as a determinant whose dimension is equal to the number of simple cycles of the line digraph without backtrack.

We study exact uniform sampling of permutations of length $n$ whose longest increasing subsequence (LIS) has prescribed length $k$. For $k \in Θ(n)$, we give a direct rejection sampler whose expected running time is $O(n\log\log n)$ in the word-RAM model. The sampler uses an expanded proposal space consisting of permutations together with a specified increasing subsequence, and accepts exactly those proposals whose specified subsequence is the leftmost LIS. For arbitrary $1\le k\le n$, we give an exact sampler based on the Robinson--Schensted correspondence. The algorithm samples the corresponding Plancherel-conditioned shape by computing exact completion counts via determinant identities, and then samples two uniform tableaux of that shape. The direct implementation runs in $\tilde O(n^4k^5)$ expected time. We then show that the same sampler can be implemented in expected $\tilde O(n^3k^4)$ time by evaluating a determinant oracle through Hankel moment matrices.

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}$.

This paper considers the properties of Tribonacci numbers on identities, matrices, and determinants. In the first front part, we obtain several symmetric identities of Tribonacci numbers by a matrix-based approach and binomial inversion technique. In the core section of the latter half, we present a determinant representation of Tribonacci numbers in a slightly modified Toeplitz--Hessenberg form derived from Bell polynomials.

This paper studies generalized Pólya conversion problems for the $q$-permanent \[ \operatorname{P}_q(A)=\sum_{σ\in S_n} q^{\ell(σ)} a_{1,σ(1)} \cdots a_{n,σ(n)}, \] where $q\in\mathbb{C}^*$ and $\ell(σ)$ is the permutation length. We show that for $n\geq 3$ and $q\neq \pm1$, the $q$-permanent is not linearly convertible to the determinant or the permanent, and we completely classify and give a geometric interpretation of the special case $n=2$. Focusing on Schur multiplier transformations, we characterize the space of Schur multiplier preservers. For $|q|\neq1$, the preserver exponents is a $(2n-2)$-dimensional vector space consisting of additive matrices satisfying a discrete Monge relation. In contrast, for $q$ on the unit circle, the solution space becomes a countable union of affine lattices. For lower Hessenberg matrices, we prove that the rigidity phenomenon disappears, yielding an explicit determinantal reduction of the $q$-permanent and an $O(n^3)$ evaluation algorithm. The central results of this paper establish sharp rigidity thresholds governing permutational symmetries and mixed conversion identities. First, we classify permutational converter exponents and show that, for $n\geq4$, the admissible symmetries are precisely the elements of the dihedral group. Second, we solve a mixed conversion problem that expresses the $q$-permanent as a linear combination of the determinant and the permanent, and prove that the corresponding solution space is nonempty if and only if $n\leq4$, in which case it decomposes into finitely many affine components modeled on the preserver exponent space. This mixed formulation yields a direct algebraic characterization of the $q$-permanent's zero locus for $n \le 4$ via a generalized Pólya identity.

Let $G$ be a simple connected graph on $n$ vertices, and let $λ_1(G),λ_2(G),\ldots,λ_n(G)$ be the eigenvalues of its adjacency matrix $A(G)$. For $p>0$, define the $p$-energy of $G$ by $\mathcal E_p(G)=\sum_{i=1}^n |λ_i(G)|^p$. We prove that, for every real number $p\ge 2$ and every simple connected graph $G$ on $n$ vertices, $$ \mathcal E_p(G)\ge \mathcal E_p(P_n), $$ where $P_n$ denotes the path on $n$ vertices. Moreover, for each fixed $p>2$, equality holds if and only if $G\cong P_n$. Together with the previously known star-minimality results, this completes the solution of two questions of Nikiforov. The proof combines two different comparison principles. For $2<p<4$, we use a bipartite reduction, a Mellin representation of fractional powers, and a determinant comparison involving matching generating polynomials and tree shifts. For $p\ge4$, we prove a second-order stop-loss comparison for the squared singular values of bipartite graphs. This comparison is established by rank-one spectral-shift estimates, deletion-minimal counterexamples, and a finite certified analysis of the terminal sparse-sun configurations. As applications, we obtain sharp path-minimality results for positive $p$-energies in several cases, and for Laplacian and signless Laplacian power sums and related indices.

We investigate the multicritical scaling limit of the shifted Schur measures. Under an appropriate scaling limit and specific conditions on the continuous parameters, we explicitly determine the limit shape of strict partitions distributed according to the shifted Schur measure. We then show that, under a multicritical condition, the edge scaling limit of the correlation function converges to a determinant of the higher-order Airy kernel. This rigorously demonstrates a transition from a Pfaffian point process to a determinantal distribution in the scaling limit.

The $q$-analogue of an integer $m$ is given by $[m]_q=(1-q^m)/(1-q)$. Let $a$ be an integer, and let $n$ be a positive odd integer. Via discrete Fourier transforms, we establish the following two identities: $$\det\left[\left[\left\lfloor\frac{aj-(a+1)k}n\right\rfloor\right]_q\right]_{1\leqslant j,k\leqslant n}=-\left(\frac{a(a+1)}n\right)q^{(1-3n)/2}$$ and $$\det\left[\left[\left\lceil\frac{(a+1)j-ak}n\right\rceil\right]_q\right]_{1\leqslant j,k\leqslant n}=\left(\frac{a(a+1)}n\right)q^{(n-1)/2},$$ where $(\frac{\cdot}n)$ denotes the Jacobi symbol.

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.

The Cullis' determinant is a generalization of the ordinary determinant for rectangular matrices. It is defined as the alternating sum of maximal minors of given matrix. In this paper we express the Cullis' determinant of a matrix $X$ as the Pfaffian of the matrix obtained from $X$ by matrix multiplication and transposition. Relying on this result, we present an efficient polynomial-time algorithm for calculating the Cullis' determinant of given matrix.

We develop the ARE method (Action-Rectification-Expansion), a structural framework for the organization of Leibniz terms in determinants through cyclic group actions and orbital decompositions. The symmetric group S_n is partitioned into (n-1)! disjoint orbits of size n under right composition by the cyclic group C_n. Each orbit admits a canonical representative and generates a family of determinant terms related by cyclic rotation. We prove explicit sign laws for orbital rotations, establish a rectification theorem transforming orbital polylines into parallel-line configurations through a single block permutation, and characterize companion orbitals through dihedral symmetries. The framework yields an exact reorganization of the Leibniz expansion preserving all n! terms while exposing hidden geometric and combinatorial structure. We further prove an impossibility theorem showing that no fixed-width direct extension of the classical Sarrus rule can capture all determinant terms for n >= 4. The method provides three equivalent visualizations: polylines, parallel rectified lines, and total-line representations. Deterministic orbital generation algorithms and computational verification against standard determinant methods are also presented. Although the approach does not reduce factorial complexity, it provides a systematic geometric and algebraic interpretation of determinant structure extending the conceptual spirit of Sarrus to arbitrary dimension.

The alternated composition of $N=2p$ differential operators $ w_j(x)\,\partial_x^p$ of strict order $p$ on the line $\mathbb{R}\ni x$ is again a differential operator of strict order $p$; its coefficient is the constant $\mathrm{const}(p)$, depending only on the arity $N$, times the Wronskian determinant of the originally taken coefficients $w_1$, $\ldots$, $w_N$. The case $p=1$ of the Lie bracket for two vector fields fixes $\mathrm{const}(1)=1$. When $p=2$, finding $\mathrm{const}(2)=2$ is easy; we obtain $\mathrm{const}(3)=90$. The problem is to know $\mathrm{const}(p\geqslant 4)$. We express the formula of $\mathrm{const}(p)$ in terms of the sum with signs over the much smaller set of 'late-growing' permutations, thus reaching the exact values $c(p=4)= 586\,656$, $c(p=5)\approx 1.9\cdot 10^{12}$, and $c(p=6)\approx 7.9\cdot 10^{21}$; the positive integer sequence $\mathrm{const}(p)$ seems to be new.