arXiv++ Combinatorics

Using equivariant cohomology theory, Naruse obtained a hook length formula for the number of standard Young tableaux of skew shape $λ/μ$. Morales, Pak and Panova found two $q$-analogues of Naruse's formula respectively by counting semistandard Young tableaux of shape $λ/μ$ and reverse plane partitions of shape $λ/μ$. When $λ$ and $μ$ are both staircase shape partitions, Morales, Pak and Panova conjectured that the generating function of reverse plane partitions of shape $λ/ μ$ can be expressed as a determinant whose entries are related to $q$-analogues of the Euler numbers. The objective of this paper is to prove this conjecture.

The Varchenko determinant is the determinant of a matrix defined from an arrangement of hyperplanes. Varchenko proved that this determinant has a beautiful factorization. It is, however, not possible to use this factorization to compute a Varchenko determinant from a certain level of complexity. Precisely at this point, we provide an explicit formula of this determinant for the hyperplane arrangements associated to the finite Coxeter groups. The intersections of hyperplanes with the chambers of such arrangements have nice properties which play a central role for the calculation of their relating determinants.

We use the \emph{unit-graphs} and the \emph{special unit-digraphs} on matrix rings to show that every $n \times n$ nonzero matrix over $\Bbb F_q$ can be written as a sum of two $\operatorname{SL}_n$-matrices when $n>1$. We compute the eigenvalues of these graphs in terms of Kloosterman sums and study their spectral properties; and prove that if $X$ is a subset of $\operatorname{Mat}_2 (\Bbb F_q)$ with size $|X| > \frac{2 q^3 \sqrt{q}}{q - 1}$, then $X$ contains at least two distinct matrices whose difference has determinant $α$ for any $α\in \Bbb F_q^{\ast}$. Using this result we also prove a sum-product type result: if $A,B,C,D \subseteq \Bbb F_q$ satisfy $\sqrt[4]{|A||B||C||D|}= Ω(q^{0.75})$ as $q \rightarrow \infty$, then $(A - B)(C - D)$ equals all of $\Bbb F_q$. In particular, if $A$ is a subset of $\Bbb F_q$ with cardinality $|A| > \frac{3} {2} q^{\frac{3}{4}}$, then the subset $(A - A) (A - A)$ equals all of $\Bbb F_q$. We also recover a classical result: every element in any finite ring of odd order can be written as the sum of two units.

Just as the definition of factorial Schur functions as a ratio of determinants allows one to show that they satisfy a Jacobi-Trudi-type identity and have an explicit combinatorial realisation in terms of semistandard tableaux, so we offer here definitions of factorial irreducible characters of the classical Lie groups as ratios of determinants that share these two features. These factorial characters are each specified by a partition, $λ=(λ_1,λ_2,\ldots,λ_n)$, and in each case a flagged Jacobi-Trudi identity is derived that expresses the factorial character as a determinant of corresponding factorial characters specified by one-part partitions, $(m)$, for which we supply generating functions. These identities are established by manipulating determinants through the use of certain recurrence relations derived from these generating functions. The transitions to combinatorial realisations of the factorial characters in terms of tableaux are then established by means of non-intersecting lattice path models. The results apply to $gl(n)$, $so(2n+1)$, $sp(2n)$ and $o(2n)$, and are extended to the case of $so(2n)$ by making use of newly defined factorial difference characters.

Restrictions of incidence-preserving path maps produce an oriented hypergraphic All Minors Matrix-tree Theorems for Laplacian and adjacency matrices. The images of these maps produce a locally signed graphic, incidence generalization, of cycle covers and basic figures that correspond to incidence-k-forests. When restricted to bidirected graphs the natural partial ordering of maps results in disjoint signed boolean lattices whose minor calculations correspond to principal order ideals. As an application, (1) the determinant formula of a signed graphic Laplacian is reclaimed and shown to be determined by the maximal positive-circle-free elements, and (2) spanning trees are equivalent to single-element order ideals.

Baur and Marsh computed the determinant of a matrix assembled from the cluster variables in a cluster algebra of type A. In this article we wish to describe two variations. On the one hand, we compute determinants of matrices assembled from the squares of the cluster variables in Baur--Marsh's matrix. One such determinant admits an interpretation as a Cayley--Menger determinant. On the other hand, we wish to present a formula for the determinant of a matrix of cluster variables in a cluster algebra of type D. This cluster algebra is associated with a marked oriented surface. As in Baur--Marsh's setup the matrix is indexed by the marked points of the surface and an entry is given by the cluster variable corresponding to an arc between two marked points. Our formula asserts that the determinant may again be written as a product of cluster variables.

We evaluate a curious determinant, first mentioned by George Andrews in 1980 in the context of descending plane partitions. Our strategy is to combine the famous Desnanot-Jacobi-Dodgson identity with automated proof techniques. More precisely, we follow the holonomic ansatz that was proposed by Doron Zeilberger in 2007. We derive a compact and nice formula for Andrews's determinant, and use it to solve a challenge problem that we posed in a previous paper. By noting that Andrews's determinant is a special case of a two-parameter family of determinants, we find closed forms for several one-parameter subfamilies. The interest in these determinants arises because they count cyclically symmetric rhombus tilings of a hexagon with several triangular holes inside.

Given a graph $G$, the $G$-parking function ideal $M_G$ is an artinian monomial ideal in the polynomial ring $S$ with the property that a linear basis for $S/M_G$ is provided by the set of $G$-parking functions. It follows that the dimension of $S/M_G$ is given by the number of spanning trees of $G$, which by the Matrix Tree Theorem is equal to the determinant of the reduced Laplacian of $G$. The ideals $M_G$ and related algebras were introduced by Postnikov and Shapiro where they studied their Hilbert functions and homological properties. The author and Sanyal showed that a minimal resolution of $M_G$ can be constructed from the graphical hyperplane arrangement associated to $G$, providing a combinatorial interpretation of the Betti numbers. Motivated by constructions in the theory of chip-firing on graphs, we study certain `skeleton' ideals $M_G^{(k)} \subset M_G$ generated by subsets of vertices of $G$ of size at most $k+1$. Here we focus our attention on the case $k=1$, the $1$-skeleton of the $G$-parking functions ideals. We consider standard monomials of $M_G^{(1)}$ and provide a combinatorial interpretation for the dimension of $S/M_G^{(1)}$ in terms of the signless Laplacian for the case $G = K_{n+1}$ is the complete graph. Our main study concerns homological properties of these ideals. We study resolutions of $M_G^{(1)}$ and show that for a certain class of graphs minimal resolution is supported on decompositions of Euclidean space coming from the theory of tropical hyperplane arrangements. This leads to combinatorial interpretations of the Betti numbers of these ideals.

We introduce and study a cyclically invariant polynomial which is an analog of the classical tridiagonal determinant usually called the continuant. We prove that this polynomial can be calculated as the Pfaffian of a skew-symmetric matrix. We consider the corresponding Diophantine equation and prove an analog of a famous result due to Conway and Coxeter. We also observe that Chebyshev polynomials of the first kind arise as Pfaffians.

We consider a primitive distance-regular graph $Γ$ with diameter at least $3$. We use the intersection numbers of $Γ$ to find a positive semidefinite matrix $G$ with integer entries. We show that $G$ has determinant zero if and only if $Γ$ is $Q$-polynomial.

We give an elementary combinatorial proof of Bass's determinant formula for the zeta function of a finite regular graph. This is done by expressing the number of non-backtracking cycles of a given length in terms of Chebychev polynomials in the eigenvalues of the adjacency operator of the graph.

Let $G$ be a simple strongly connected weighted directed graph. Let $\mathcal{G}$ denote the spanning tree graph of $G$. That is, the vertices of $\mathcal{G}$ consist of the directed rooted spanning trees on $G$, and the edges of $\mathcal{G}$ consist of pairs of trees $(t_i, t_j)$ such that $t_j$ can be obtained from $t_i$ by adding the edge from the root of $t_i$ to the root of $t_j$ and deleting the outgoing edge from the root of $t_j$. A formula for the ratio of the sum of the weights of the directed rooted spanning trees on $\mathcal{G}$ to the sum of the weights of the directed rooted spanning trees on $G$ was recently given by Biane and Chapuy. We provide an alternative proof of this formula, which is both simple and combinatorial. The proof involves working with the stochastic zeta function of an irreducible Markov chain. By generalizing the stochastic zeta function we also recover the general result of Biane and Chapuy which gives a formula for the determinant of the Schrödinger matrix on $\mathcal{G}$ corresponding to a given Schrödinger matrix on $G$, in terms of the minors of the latter matrix.

Assume G is a finite abstract simplicial complex with f-vector (v0,v1, ...), and generating function f(x) = sum(k=1 v(k-1) x^k = v0 x + v1 x^2+ v2 x^3 + ..., the Euler characteristic of G can be written as chi(G)=f(0)-f(-1). We study here the functional f1'(0)-f1'(-1), where f1' is the derivative of the generating function f1 of G1. The Barycentric refinement G1 of G is the Whitney complex of the finite simple graph for which the faces of G are the vertices and where two faces are connected if one is a subset of the other. Let L is the connection Laplacian of G, which is L=1+A, where A is the adjacency matrix of the connection graph G', which has the same vertex set than G1 but where two faces are connected they intersect. We have f1'(0)=tr(L) and for the Green function g L^(-1) also f1'(-1)=tr(g) so that eta1(G) = f1'(0)-f1'(-1) is equal to eta(G)=tr(L-L^(-1). The established formula tr(g)=f1'(-1) for the generating function of G1 complements the determinant expression det(L)=det(g)=zeta(-1) for the Bowen-Lanford zeta function zeta(z)=1/det(1-z A) of the connection graph G' of G. We also establish a Gauss-Bonnet formula eta1(G) = sum(x in V(G1) chi(S(x)), where S(x) is the unit sphere of x the graph generated by all vertices in G1 directly connected to x. Finally, we point out that the functional eta0(G) = sum(x in V(G) chi(S(x)) on graphs takes arbitrary small and arbitrary large values on every homotopy type of graphs.

In this paper, we investigate characteristic polynomials of matrices in min-plus algebra. Eigenvalues of min-plus matrices are known to be the minimum roots of the characteristic polynomials based on tropical determinants which are designed from emulating standard determinants. Moreover, minimum roots of characteristic polynomials have a close relationship to graphs associated with min-plus matrices consisting of vertices and directed edges with weights. The literature has yet to focus on the other roots of min-plus characteristic polynomials. Thus, here we consider how to relate the 2nd, 3rd,... minimum roots of min-plus characteristic polynomials to graphical features. We then define new characteristic polynomials of min-plus matrices by considering an analogue of the Faddeev-LeVerrier algorithm that generates the characteristic polynomials of linear matrices. We conclusively show that minimum roots of the proposed characteristic polynomials coincide with min-plus eigenvalues, and observe the other roots as in the study of the already known characteristic polynomials. We also give an example to illustrate the difference between the already known and proposed characteristic polynomials.

We introduce a new combinatorial object, semistandard increasing decomposition tableau and study its relation to a semistandard decomposition tableau introduced by Kraśkiewicz and developed by Lam and Serrano. We also introduce generalized Littlewood--Richardson coefficients for products of Schur's symmetric functions and give combinatorial descriptions in terms of tableau words. The insertion algorithms play central roles for proofs. A new description of shifted Littlewood--Richardson coefficients is given in terms of semistandard increasing decomposition tableaux. We show that a "big" Schur function is expressed as a sum of products of two Schur $P$-functions, and vice versa. As an application, we derive two Giambelli formulae for big Schur functions: one is a determinant and the other is a Pfaffian.

We introduce Schur multiple zeta functions which interpolate both the multiple zeta and multiple zeta-star functions of the Euler-Zagier type combinatorially. We first study their basic properties including a region of absolute convergence and the case where all variables are the same. Then, under an assumption on variables, some determinant formulas coming from theory of Schur functions such as the Jacobi-Trudi, Giambelli and dual Cauchy formula are established with the help of Macdonald's ninth variation of Schur functions. Moreover, we investigate the quasi-symmetric functions corresponding to the Schur multiple zeta functions. We obtain the similar results as above for them and, furthermore, describe the images of them by the antipode of the Hopf algebra of quasi-symmetric functions explicitly. Finally, we establish iterated integral representations of the Schur multiple zeta values of ribbon type, which yield a duality for them in some cases.

A lattice $d$-simplex is the convex hull of $d+1$ affinely independent integer points in ${\mathbb R}^d$. It is called empty if it contains no lattice point apart of its $d+1$ vertices. The classification of empty $3$-simplices is known since 1964 (White), based on the fact that they all have width one. But for dimension $4$ no complete classification is known. Haase and Ziegler (2000) enumerated all empty $4$-simplices up to determinant 1000 and based on their results conjectured that after determinant $179$ all empty $4$-simplices have width one or two. We prove this conjecture as follows: - We show that no empty $4$-simplex of width three or more can have determinant greater than 5058, by combining the recent classification of hollow 3-polytopes (Averkov, Krümpelmann and Weltge, 2017) with general methods from the geometry of numbers. - We continue the computations of Haase and Ziegler up to determinant 7600, and find that no new $4$-simplices of width larger than two arise. In particular, we give the whole list of empty $4$-simplices of width larger than two, which is as computed by Haase and Ziegler: There is a single empty $4$-simplex of width four (of determinant 101), and 178 empty $4$-simplices of width three, with determinants ranging from 41 to 179.

An oriented hypergraph is an oriented incidence structure that generalizes and unifies graph and hypergraph theoretic results by examining its locally signed graphic substructure. In this paper we obtain a combinatorial characterization of the coefficients of the characteristic polynomials of oriented hypergraphic Laplacian and adjacency matrices via a signed hypergraphic generalization of basic figures of graphs. Additionally, we provide bounds on the determinant and permanent of the Laplacian matrix, characterize the oriented hypergraphs in which the upper bound is sharp, and demonstrate that the lower bound is never achieved.

We evaluate determinants of "spiral" matrices, which are matrices in which entries are spiralling from the centre of the matrices towards the outside, with prescribed increments from one entry to the next depending on whether one moves right, up, left, or down along the spiral.

We obtain a common generalization of two types of Sylvester formulas for compound determinants and its Pfaffian analogue. As applications, we give generalizations of the Giambelli identity to skew Schur functions and the Schur identity to Schur's skew $Q$-functions.