arXiv++ Combinatorics

We present explicit formulas for total crossing events in the multi-species asymmetric exclusion process ($r$-ASEP) with underlying $U_q(\widehat{\mathfrak{sl}}_{r+1})$ symmetry. In the case of the two-species TASEP these can be derived using an explicit expression for the general transition probability on $\mathbb{Z}$ in terms of a multiple contour integral derived from a nested Bethe ansatz approach. For the general $r$-ASEP we employ a vertex model approach within which the probability of total crossing can be derived from partial symmetrization of an explicit high rank rainbow partition function. In the case of $r$-TASEP, the total crossing probability can be show to reduce to a multiple integral over the product of $r$ determinants. For $2$-TASEP we additionally derive convenient formulas for cumulative total crossing probabilities using Bernoulli-step initial conditions for particles of type 2 and type 1 respectively.

Column expansion identities of determinants give a source of quadratic spanning forest polynomial identities and allow us determine the dimension of the space of certain quadratic spanning forest identities, settling a conjecture of one of us with Vlasev from 2012. Furthermore, we give a combinatorial interpretation of such spanning forest identities via an edge-swapping argument previously developed by one of us in 2019. Quadratic spanning forest polynomials identities are of particular interest because they are useful for quantum field theory calculations in four dimensions.

A tournament is unimodular if the determinant of its skew-adjacency matrix is $1$. In this paper, we give some properties and constructions of unimodular tournaments. A unimodular tournament $T$ with skew-adjacency matrix $S$ is invertible if $S^{-1}$ is the skew-adjacency matrix of a tournament. A spectral characterization of invertible tournaments is given. Lastly, we show that every $n$-tournament can be embedded in a unimodular tournament by adding at most $n - \lfloor\log_2(n)\rfloor$ vertices.

For a fixed integer $t \geq 2$, we consider the irreducible characters of representations of the classical groups of types A, B, C and D, namely $\text{GL}_{tn}, \text{SO}_{2tn+1}, \text{Sp}_{2tn}$ and $\text{O}_{2tn}$, evaluated at elements $ω^k x_i$ for $0 \leq k \leq t-1$ and $1 \leq i \leq n$, where $ω$ is a primitive $t$'th root of unity. The case of $\text{GL}_{tn}$ was considered by D. J. Littlewood (AMS press, 1950) and independently by D. Prasad (Israel J. Math., 2016). In this article, we give a uniform approach for all cases. In this article, we give a uniform approach for all cases. We also look at $\text{GL}_{tn+1}$ where we specialize the elements as before and set the last variable to $1$. In each case, we characterize partitions for which the character value is nonzero in terms of what we call $z$-asymmetric partitions, where $z$ is an integer which depends on the group. Moreover, if the character value is nonzero, we prove that it factorizes into characters of smaller classical groups. The proof uses Cauchy-type determinant formulas for these characters and involves a careful study of the beta sets of partitions. We also give product formulas for general $z$-asymmetric partitions and $z$-asymmetric $t$-cores. Lastly, we show that there are infinitely many $z$-asymmetric $t$-cores for $t \geq z+2$.

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.

Let $M=(m_{ij})$ be a symmetric matrix of order $n$ whose elements lie in an arbitrary field $\mathbb{F}$, and let $G$ be the graph with vertex set $\{1,\ldots,n\}$ such that distinct vertices $i$ and $j$ are adjacent if and only if $m_{ij} \neq 0$. We introduce a dynamic programming algorithm that finds a diagonal matrix that is congruent to $M$. If $G$ is given with a tree decomposition $\mathcal{T}$ of width $k$, then this can be done in time $O(k|\mathcal{T}| + k^2 n)$, where $|\mathcal{T}|$ denotes the number of nodes in $\mathcal{T}$. Among other things, this allows one to compute the determinant, the rank and the inertia of a symmetric matrix in time $O(k|\mathcal{T}| + k^2 n)$.

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.

We view the determinant and permanent as functions on directed weighted graphs and introduce their analogues for the undirected graphs. We prove that the task of computing the undirected determinants as well as permanents for planar graphs, whose vertices have degree at most 4, is \#P-complete. In the case of planar graphs whose vertices have degree at most 3, the computation of the undirected determinant remains \#P-complete while the permanent can be reduced to the FKT algorithm, and therefore is polynomial. The undirected permanent is a Holant problem and its complexity can be deduced from the existing literature. The concept of the undirected determinant is new. Its introduction is motivated by the formal resemblance to the directed determinant, a property that may inspire generalizations of some of the many algorithms which compute the latter. For a sizable class of planar 3-regular graphs, we are able to compute the undirected determinant in polynomial time.

We prove an identity relating the permanent of a rank $2$ matrix and the determinants of its Hadamard powers. When viewed in the right way, the resulting formula looks strikingly similar to an identity of Carlitz and Levine, suggesting the possibility that these are actually special cases of some more general identity (or class of identities) connecting permanents and determinants. The proof combines some basic facts from the theory of symmetric functions with an application of a famous theorem of Binet and Cauchy in linear algebra.

The representation theory of finite groups began with Frobenius's factorization of Dedekind's group determinant. In this paper, we consider the case of the semigroup determinant. The semigroup determinant is nonzero if and only if the complex semigroup algebra is Frobenius, and so our results include applications to the study of Frobenius semigroup algebras. We explicitly factor the semigroup determinant for commutative semigroups and inverse semigroups. We recover the Wilf-Lindström factorization of the semigroup determinant of a meet semilattice and Wood's factorization for a finite commutative chain ring. The former was motivated by combinatorics and the latter by coding theory over finite rings. We prove that the algebra of the multiplicative semigroup of a finite Frobenius ring is Frobenius over any field whose characteristic doesn't divide that of the ring. As a consequence we obtain an easier proof of Kovács's theorem that the algebra of the monoid of matrices over a finite field is a direct product of matrix algebras over group algebras of general linear groups (outside of the characteristic of the finite field).

In this paper we introduce a determinant-like map $det^{S^3}$ and study some of its properties. For this we define a graded vector space $Λ^{S^3}_V$ that has similar properties with the exterior algebra $Λ_V$ and the exterior GSC-operad $Λ^{S^2}_V$ from \cite{sta2}. When $dim(V_2)=2$ we show that $dim_k(Λ^{S^3}_{V_2}[6])=1$ which gives the existence and uniqueness of $det^{S^3}$. We also give an explicit formula for $det^{S^3}$ as a sum over certain $2$-partitions of the complete hypergraph $K_6^3$.

We describe an infinite family of non-Plücker cluster variables inside the double Bruhat cell cluster algebra defined by Berenstein, Fomin, and Zelevinsky. These cluster variables occur in a family of subalgebras of the double Bruhat cell cluster algebra which we call Double Rim Hook (DRH) cluster algebras. We discover that all of the cluster variables are determinants of matrices of special form. We conjecture that all the cluster variables of the double Bruhat-cell cluster algebra have similar determinant form. We notice the resemblance between our staircase diagram and Auslander-Reiten quivers.

Cayley's first hyperdeterminant is a straightforward generalization of determinants for tensors. We prove that nonzero hyperdeterminants imply lower bounds on some types of tensor ranks. This result applies to the slice rank introduced by Tao and more generally to partition ranks introduced by Naslund. As an application, we show upper bounds on some generalizations of colored sum-free sets based on constraints related to order polytopes.

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.

The Cauchy identities play an important role in the theory of symmetric functions. It is known that Cauchy sums for the $q$-Whittaker and the skew Schur polynomials produce the same factorized expressions modulo a $q$-Pochhammer symbol. We consider the sums with restrictions on the length of the first rows for labels of both polynomials and prove an identity which relates them. The proof is based on techniques from integrable probability: we rewrite the identity in terms of two probability measures: the $q$-Whittaker measure and the periodic Schur measure. The relation follows by comparing their Fredholm determinant formulas.

In recent joint work (2021), we introduced a novel multivariate polynomial attached to every metric space - in particular, to every finite simple connected graph $G$ - and showed it has several attractive properties. First, it is multi-affine and real-stable (leading to a hitherto unstudied delta-matroid for each graph $G$). Second, the polynomial specializes to (a transform of) the characteristic polynomial $χ_{D_G}$ of the distance matrix $D_G$; as well as recovers the entire graph, where $χ_{D_G}$ cannot do so. Third, the polynomial encodes the determinants of a family of graphs formed from $G$, called the blowups of $G$. In this short note, we exhibit the applicability of these tools and techniques to other graph-matrices and their characteristic polynomials. As a particular case, we will see that the adjacency characteristic polynomial $χ_{A_G}$ is in fact the shadow of a richer multivariate blowup-polynomial, which is similarly multi-affine and real-stable. Moreover, this polynomial encodes not only the aforementioned three properties, but also yields additional information for specific families of graphs.

To every finite metric space $X$, including all connected unweighted graphs with the minimum edge-distance metric, we attach an invariant that we call its blowup-polynomial $p_X(\{ n_x : x \in X \})$. This is obtained from the blowup $X[{\bf n}]$ - which contains $n_x$ copies of each point $x$ - by computing the determinant of the distance matrix of $X[{\bf n}]$ and removing an exponential factor. We prove that as a function of the sizes $n_x$, $p_X({\bf n})$ is a polynomial, is multi-affine, and is real-stable. This naturally associates a hitherto unstudied delta-matroid to each metric space $X$; we produce another novel delta-matroid for each tree, which interestingly does not generalize to all graphs. We next specialize to the case of $X = G$ a connected unweighted graph - so $p_G$ is "partially symmetric" in $\{ n_v : v \in V(G) \}$ - and show three further results: (a) We show that the polynomial $p_G$ is indeed a graph invariant, in that $p_G$ and its symmetries recover the graph $G$ and its isometries, respectively. (b) We show that the univariate specialization $u_G(x) := p_G(x,\dots,x)$ is a transform of the characteristic polynomial of the distance matrix $D_G$; this connects the blowup-polynomial of $G$ to the well-studied "distance spectrum" of $G$. (c) We obtain a novel characterization of complete multipartite graphs, as precisely those for which the "homogenization at $-1$" of $p_G({\bf n})$ is real-stable (equivalently, Lorentzian, or strongly/completely log-concave), if and only if the normalization of $p_G(-{\bf n})$ is strongly Rayleigh.

In 2004 Rosas and Sagan asked whether there was a way to define a basis in the algebra of symmetric functions in noncommuting variables, NCSym, having properties analogous to the classical Schur functions. This was because they had constructed a partial such set that was not a basis. We answer their question by defining Schur functions in noncommuting variables using a noncommutative analogue of the Jacobi-Trudi determinant. Our Schur functions in NCSym map to classical Schur functions under commutation, and a subset of them indexed by set partitions forms a basis for NCSym. Amongst other properties, Schur functions in NCSym also satisfy a noncommutative analogue of the product rule for classical Schur functions in terms of skew Schur functions. We also show how Schur functions in NCSym are related to Specht modules, and naturally refine the Rosas-Sagan Schur functions. Moreover, by generalizing Rosas-Sagan Schur functions to skew Schur functions in the natural way, we prove noncommutative analogues of the Littlewood-Richardson rule and coproduct rule for them. Finally, we relate our functions to noncommutative symmetric functions by proving a subset of our functions are natural extensions of noncommutative ribbon Schur functions, and immaculate functions indexed by integer partitions.

We present and prove closed form expressions for some families of binomial determinants with signed Kronecker deltas that are located along an arbitrary diagonal in the corresponding matrix. They count cyclically symmetric rhombus tilings of hexagonal regions with triangular holes. We extend a previous systematic study of these families, where the locations of the Kronecker deltas depended on an additional parameter, to families with negative Kronecker deltas. By adapting Zeilberger's holonomic ansatz to make it work for our problems, we can take full advantage of computer algebra tools for symbolic summation. This, together with the combinatorial interpretation, allows us to realize some new determinantal relationships. From there, we are able to resolve all remaining open conjectures related to these determinants, including one from 2005 due to Lascoux and Krattenthaler.

We study integer-valued matrices with bounded determinants. Such matrices appear in the theory of integer programs (IP) with bounded determinants. For example, Artmann et al. showed that an IP can be solved in strongly polynomial time if the constraint matrix is bimodular, that is, the determinants are bounded in absolute value by two. Determinants are also used to bound the $\ell_1$-distance between IP solutions and solutions of its linear relaxation. One of the first works to quantify the complexity of IPs with bounded determinants was that of Heller, who identified the maximum number of differing columns in a totally unimodular matrix. Each extension of Heller's bound to general determinants has been super-polynomial in the determinants or the number of equations. We provide the first column bound that is polynomial in both values. For integer programs with box constraints, our result gives the first $\ell_1$-distance bound that is polynomial in the determinants and the number of equations. Our result can also be used to derive a bound on the height of Graver basis elements that is polynomial in the determinants and the number of equations. Furthermore, we show a tight bound on the number of differing columns in a bimodular matrix; this is the first tight bound since Heller. Our analysis reveals combinatorial properties of bimodular IPs that may be of independent interest.