arXiv++ Combinatorics

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.

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.

A rank-$r$ integer matrix $A$ is $Δ$-modular if the determinant of each $r \times r$ submatrix has absolute value at most $Δ$. The class of $1$-modular, or unimodular, matrices is of fundamental significance in both integer programming theory and matroid theory. A 1957 result of Heller shows that the maximum number of nonzero, pairwise non-parallel rows of a rank-$r$ unimodular matrix is ${r + 1 \choose 2}$. We prove that, for each sufficiently large integer $r$, the maximum number of nonzero, pairwise non-parallel rows of a rank-$r$ $2$-modular matrix is ${r + 2 \choose 2} - 2$.

We define a zeta function woth respect to the twisted Grover matrix of a mixed digraph, and present an exponential expression and a determinant expression of this zeta function. As an application, we give a trace formula with respect to the twisted Grover matrix of a mixed digraph.

Recently, Gnutzmann and Smilansky presented a formula for the bond scattering matrix of a graph with respect to a Hermitian matrix. We present another proof for this Gnutzmann and Smilansky's formula by a technique used in the zeta function of a graph. Furthermore, we generalize Gnutzmann and Smilansky's formula to a regular covering of a graph. Finally, we define an $L$-fuction of a graph, and present a determinant expression. As a corollary, we express the generalization of Gnutzmann and Smilansky's formula to a regular covering of a graph by using its $L$-functions.

In this (partly expository) paper we give a short overview about the close relationship between the sequence of Catalan numbers and Hankel determinants from the point of view of orthogonal polynomials and show that an analogous situation exists for more general sequences.

Linear extensions of posets are important objects in enumerative and algebraic combinatorics that are difficult to count in general. Families of posets like Young diagrams of straight shapes and $d$-complete posets have hook-length product formulas to count linear extensions, whereas families like Young diagrams of skew shapes have determinant or positive sum formulas like the Naruse hook-length formula from 2014. In 2020, Garver et. al. gave determinant formulas to count linear extensions of a family of posets called mobile posets that refine $d$-complete posets and border strip skew shapes. We give a Naruse type hook-length formula to count linear extensions of such posets by proving a major index $q$-analogue. We also a inversion index $q$-analogue of the Naruse formula for mobile tree posets.

We use vertex operators to compute irreducible characters of the Iwahori-Hecke algebra of type $A$. Two general formulas are given for the irreducible characters in terms of those of the symmetric groups or the Iwahori-Hecke algebras in lower degrees. Explicit formulas are derived for the irreducible characters labeled by hooks and two-row partitions. Using duality, we also formulate a determinant type Murnaghan-Nakayama formula and give another proof of Ram's combinatorial Murnaghan-Nakayama formula. As applications, we study super-characters of the Iwahori-Hecke algebra as well as the bitrace of the regular representation and provide a simple proof of the Halverson-Luduc-Ram formula.

We prove the nonsingularity of a class of integer matrices V(n,d), namely power-product matrix, for positive integers n and d. Some technical proofs are mainly based on linear algebra and enumerative combinatorics, particularly the generating function method and involution principle. We will show that the matrix V(n,d) is nonsingular for all positive integers n and d, and often with sparse structure. Special attention is given to the computation of the determinant V(2,d) with positive integer d.

The superspace ring $Ω_n$ is a rank $n$ polynomial ring tensor a rank $n$ exterior algebra. Using an extension of the Vandermonde determinant to $Ω_n$, the authors previously defined a family of doubly graded quotients $\mathbb{W}_{n,k}$ of $Ω_n$ which carry an action of the symmetric group $\mathfrak{S}_n$ and satisfy a bigraded version of Poincaré Duality. In this paper, we examine the duality modules $\mathbb{W}_{n,k}$ in greater detail. We describe a monomial basis of $\mathbb{W}_{n,k}$ and give combinatorial formulas for its bigraded Hilbert and Frobenius series. These formulas involve new combinatorial objects called {\em ordered superpartitions}. These are ordered set partitions $(B_1 \mid \cdots \mid B_k)$ of $\{1,\dots,n\}$ in which the non-minimal elements of any block $B_i$ may be barred or unbarred.

We show that for any permutation $w$ that avoids a certain set of 13 patterns of lengths 5 and 6, the Schubert polynomial $\mathfrak S_w$ can be expressed as the determinant of a matrix of elementary symmetric polynomials in a manner similar to the Jacobi-Trudi identity. For such $w$, this determinantal formula is equivalent to a (signed) subtraction-free expansion of $\mathfrak S_w$ in the basis of standard elementary monomials.