arXiv++ Combinatorics

The Robinson-Schensted-Knuth correspondence (RSK) is a bijection between nonnegative integer matrices and pairs of Young tableaux. We study it as a linear operator on the coordinate ring of matrices, proving results about its diagonalizability, eigenvalues, trace, and determinant. Our criterion for diagonalizability involves the $ADE$ classification of Dynkin diagrams, as well as the diagram for $E_9$.

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.

This paper studies a non-commutative generalisation of Coxeter friezes due to Berenstein and Retakh. It generalises several earlier results to this situation: A formula for frieze determinants, a $T$-path formula expressing the Laurent phenomenon, and results on gluing friezes together. One of our tools is a non-commutative version of the weak friezes introduced by Canakci and Jorgensen.

We study solutions to the equation $a+b=c$, where $a,b,c$ form a triple of coprime natural numbers. The $abc$ conjecture asserts that, for any $ε>0$, such triples satisfy $\mathrm{rad}(abc) \ge c^{1-ε}$ with finitely many exceptions. In this article we obtain a power-saving bound on the exceptional set of triples. Specifically, we show that there are $O(X^{33/50})$ integer triples $(a,b,c)\in [1,X]^3$, which satisfy $\mathrm{rad}(abc) < c^{1-ε}$. The proof is based on a combination of bounds for the density of integer points on varieties, coming from the determinant method, Thue equations, geometry of numbers, and Fourier analysis.

We show factorization formulas for a class of partition functions of rational six vertex model. First we show factorization formulas for partition functions under triangular boundary. Further, by combining the factorization formulas with the explicit forms of the generalized domain wall boundary partition functions by Belliard-Pimenta-Slavnov, we derive factorization formulas for partition functions under trapezoid boundary which can be viewed as a generalization of triangular boundary. We also discuss an application to emptiness formation probabilities under trapezoid boundary which admit determinant representations.

Two matrices are said to be principal minor equivalent if they have equal corresponding principal minors of all orders. We give a characterization of principal minor equivalence and a deterministic polynomial time algorithm to check if two given matrices are principal minor equivalent. Earlier such results were known for certain special cases like symmetric matrices, skew-symmetric matrices with {0, 1, -1}-entries, and matrices with no cuts (i.e., for any non-trivial partition of the indices, the top right block or the bottom left block must have rank more than 1). As an immediate application, we get an algorithm to check if the determinantal point processes corresponding to two given kernel matrices (not necessarily symmetric) are the same. As another application, we give a deterministic polynomial-time test to check equality of two multivariate polynomials, each computed by a symbolic determinant with a rank 1 constraint on coefficient matrices.

In this paper, our primary goal is to calculate the Hankel determinants for a class of lattice paths, which are distinguished by the step set consisting of \(\{(1,0), (2,0), (k-1,1), (-1,1)\}\), where the parameter \(k\geq 4\). These paths are constrained to return to the $x$-axis and remain above the \(x\)-axis. When calculating for \(k = 4\), the problem essentially reduces to determining the Hankel determinant of \(E(x)\), where \(E(x)\) is defined as \[ E(x) = \frac{a}{E(x)x^2(dx^2 - bx - 1) + cx^2 + bx + 1}. \] Our approach involves employing the Sulanke-Xin continued fraction transform to derive a set of recurrence relations, which in turn yield the desired results. For \(k \geq 5\), we utilize a class of shifted periodic continued fractions as defined by Wang-Xin-Zhai, thereby obtaining the results presented in this paper.

The paper develops elementary linear algebra methods to compute the determinants of the tensor symmetrizations of quadratic and hermitian forms over fields of good characteristic. Explicit results are given for the partitions $(n)$, $(1^n)$, $(2,1^{n-2})$ and $(3,1^{n-3})$ as well as for all partitions of $n\leq 7$. For orthogonal groups these symmetrizations are not irreducible and we continue to find the determinants of their irreducible constituents, the refined symmetrizations, over fields of characteristic 0.

In this paper, we analyze the second moment of the determinant of random symmetric, Wigner, and Hermitian matrices. Using analytic combinatorics techniques, we determine the second moment of the determinant of Hermitian matrices whose entries on the diagonal are i.i.d and whose entries above the diagonal are i.i.d. and have real expected values. Our results extend previous work analyzing the second moment of the determinant of symmetric and Wigner matrices, providing a unified approach for this analysis.

In this paper, we present a novel method to compute the determinant of a link using Fourier-Hadamard transforms of Boolean functions. We also investigate the determinant of centrally symmetric links (a special class of strong achiral links). In particular, we show that the determinant of a centrally symmetric link with an even number of components is equals zero.

We discuss certain matrices associated with Christoffel words, and show that they have a group structure. We compute their determinants and show a relationship between the Zolotareff symbol from number theory.

Let $p$ be a prime and $c,d\in\mathbb{Z}$. Sun introduced the determinant $D_p^-(c,d):=\det[(i^2+cij+dj^2)^{p-2}]_{1<i,j<p-1}$ for $p>3$. In this paper, we confirm three conjectures on $D_p^-(c,d)$ proposed by Zhi-Wei Sun.

The determinant of an anti-symmetric matrix $g$ is the square of its Pfaffian, which like the determinant is a polynomial in the entries of $g$. Studies of certain super conformal field theories (of class S) suggested a conjectural generalization of this, predicting that each of a series of other polynomials in the entries of $g$ also admit polynomial square roots. Among other consequences, this conjecture led to a characterization of the local Hitchin image for type D. Several important special cases had been established previously. In this paper we prove the conjecture in full.

Let the join of two graphs be the union of two disjoint graphs connected by $j$ edges in a one-to-one manner. In previous work by Gyurov and Pinzon, which generalized the results of Badura and Rara, the determinant of the adjacency matrix of two $j$-joined graphs was decomposed to sums of determinants of these graphs with vertex deletions or directed graph handles. In this paper, we find the necessary and sufficient properties of a graph $G$ so that for any graph $H$, the determinant of $G$ joined with $H$ and $H$ joined with $G$ is equal to the determinant of $H$. Subsequently, we define a homomorphism from a quotient of graphs with the $j$-join operation to the monoid of integer matrices under multiplication. We demonstrate through examples that this homomorphism allows us to more easily calculate determinants of chains of joined graphs. This generalizes the work done on determinants of grids and cylinders done in various other works.

We use a variety of computational tools to obtain a degree-$\binom{m + n - 2}{m - 1}$ polynomial equation conjecturally satisfied by the top-left entry of the Sinkhorn limit of a positive $m \times n$ matrix. The degree of this equation has a combinatorial interpretation as the number of minors of an $(m - 1) \times (n - 1)$ matrix, and the coefficients involve a determinant formula that reflects new combinatorial structure on sets of minor specifications. The tools we use include Gröbner bases, which produce equations for small matrices; the PSLQ algorithm, which produces equations for larger matrices as part of an interpolation effort that required 1.5 years of CPU time; and ChatGPT o3-mini-high, which identified the signs of the off-diagonal entries in the determinant formula.

We prove an interesting identity for the sum of determinants, which is a generalization of the sum of a geometric progression. The proof is quite long and a number of other identities are proved along the way. Some of the more elementary ones are deferred to another section at the end.

In 2012, Cohen, Dasbach, and Russell presented an algorithm to construct a weighted adjacency matrix for a given knot diagram. In the case of pretzel knots, it is shown that after evaluation, the determinant of the matrix recovers the Jones polynomial. Although the Jones polynomial is known to be #P-hard by Jaeger, Vertigan, and Welsh, this presents a class of knots for which the Jones polynomial can be computed in polynomial time by using the determinant. In this paper, we extend these results by recovering the Jones polynomial as the determinant of a weighted adjacency matrix for certain subfamilies of the braid group. Lastly, we compute the Kauffman polynomial of (2,q) torus knots in polynomial time using the balanced overlaid Tait graphs. This is the first known example of generalizing the methodology of Cohen to a class of quantum invariants which cannot be derived from the HOMFLYPT polynomial.

The web trace theorem of Douglas, Kenyon, Shi expands the twisted Kasteleyn determinant in terms of traces of webs. We generalize this theorem to higher genus surfaces and expand the twisted Kasteleyn matrices corresponding to spin structures on the surface, analogously to the rank-1 case of Cimasoni, Reshetikhin. In the process of the proof, we give an alternate geometric derivation of the planar web trace theorem, relying on the spin geometry of embedded loops and a `racetrack construction' used to immerse loops in the blowup graph on the surface.

Let $T$ be a tournament with $n$ vertices $v_1,\ldots,v_n$. The skew-adjacency matrix of $T$ is the $n\times n$ zero-diagonal matrix $S_T = [s_{ij}]$ in which $s_{ij}=-s_{ji}=1$ if $ v_i $ dominates $ v_j $. We define the determinant $\det(T)$ of $ T $ as the determinant of $ S_T $. It is well-known that $\det(T)=0$ if $n$ is odd and $\det(T)$ is the square of an odd integer if $n$ is even. Let $\mathcal{D}_k$ be the set of tournaments whose all subtournaments have determinant at most $ k^{2} $, where $k$ is a positive odd integer. The necessary and sufficient condition for $T\in \mathcal{D}_1$ or $T\in \mathcal{D}_3$ has been characterized in $2023$. In this paper, we characterize the set $\mathcal{D}_5$, obtain some properties of $\mathcal{D}_k$. Moreover, for any positive odd integer $k$, we give a construction of a tournament $T$ satisfying that $\det(T)=k^2$, and $T\in \mathcal{D}_k\backslash\mathcal{D}_{k-2}$ if $k\geq 3$, which implies $\mathcal{D}_k\backslash\mathcal{D}_{k-2}$ is not an empty set for $k\geq 3$.

Recently there has been several works estimating the number of $n\times n$ matrices with elements from some finite sets $\mathcal X$ of arithmetic interest and of a given determinant. Typically such results are compared with the trivial upper bound $O(X^{n^2-1})$, where $X$ is the cardinality of $\mathcal X$. Here we show that even for arbitrary sets $\mathcal X\subseteq \mathbb R$,some recent results from additive combinatorics enable us to obtain a stronger bound with a power saving.