arXiv++ Combinatorics

We give a conjectured evaluation of the determinant of a certain matrix $\tilde{D}(n,k)$. The entries of $\tilde{D}(n,k)$ are either 0 or specializations $\mathfrak{S}_w(1,\dots,1)$ of Schubert polynomials. The conjecture implies that the weak order of the symmetric group $S_n$ has the strong Sperner property. A number of peripheral results and problems are also discussed.

In this paper, we compute the expectation of traces of powers of the hermitian matrix Jacobi process for a large enough but fixed size. To proceed, we first derive the semi-group density of its eigenvalues process as a bilinear series of symmetric Jacobi polynomials. Next, we use the expansion of power sums in the Schur polynomial basis and the integral Cauchy-Binet formula in order to determine the partitions having non zero contributions after integration. It turns out that these are hooks of bounded weight and the sought expectation results from the integral of a product of two Schur functions with respect to a generalized Beta distribution. For special values of the parameters on which the matrix Jacobi process depends, the last integral reduces to the Cauchy determinant and we close the paper with the investigation of the asymptotic behavior of the resulting formula as the matrix size tends to infinity.

In the study of determinant formulas for Schur functions, Hamel and Goulden introduced a class of Giambelli-type matrices with respect to outside decompositions of partition diagrams, which unify the Jacobi-Trudi matrices, the Giambelli matrices and the Lascoux-Pragacz matrices. Stanley determined the Smith normal form of a specialized Jacobi-Trudi matrix. Motivated by Stanley's work, we obtain the Smith normal form of a specialized Giambelli matrix and a specialized Lascoux-Pragacz matrix. Furthermore, we show that, for a given partition, the Smith normal form of any specialized Giambelli-type matrix can be obtained from that of the corresponding specialization of the classical Giambelli matrix by a sequence of stabilization operations.

We give an overview of known results about Hilbert matrices from the point of view of orthogonal polynomials and compute Hankel determinants of harmonic numbers and related topics.

Under binary matrices we mean matrices whose entries take one of two values. In this paper, explicit formulae for calculating the determinant of some type of binary Toeplitz matrices are obtained. Examples of the application of the determinant of binary Toeplitz matrices for the enumeration of even and odd permutations of different types are given.

The (torsion) complexity of a finite edge-weighted graph is defined to be the order of the torsion subgroup of the abelian group presented by its Laplacian matrix. When G is d-periodic (i.e., G has a free action of the rank-d free abelian group by graph automorphisms, with finite quotient) the Mahler measure of its Laplacian determinant polynomial is the growth rate of the complexity of finite quotients of G. Lehmer's question, an open question about the roots of monic integral polynomials, is equivalent to a question about the complexity growth of edge-weighted 1-periodic graphs.

Distance well-defined graphs consist of connected undirected graphs, strongly connected directed graphs and strongly connected mixed graphs. Let $G$ be a distance well-defined graph, and let ${\sf D}(G)$ be the distance matrix of $G$. Graham, Hoffman and Hosoya [3] showed a very attractive theorem, expressing the determinant of ${\sf D}(G)$ explicitly as a function of blocks of $G$. In this paper, we study the inverse of ${\sf D}(G)$ and get an analogous theory, expressing the inverse of ${\sf D}(G)$ through the inverses of distance matrices of blocks of $G$ (see Theorem 3.3) by the theory of Laplacian expressible matrices which was first defined by the first author [9]. A weighted cactoid digraph is a strongly connected directed graph whose blocks are weighted directed cycles. As an application of above theory, we give the determinant and the inverse of the distance matrix of a weighted cactoid digraph, which imply Graham and Pollak's formula and the inverse of the distance matrix of a tree.

We show that the flagged Grothendieck polynomials defined as the generating functions of flagged set-valued tableaux of Knutson-Miller-Yong can be expressed by a Jacobi-Trudi type determinant formula generalizing the work of Hudson-Matsumura. We also introduce the flagged skew Grothendieck polynomials in these two expressions and show that they coincide.

We study a class of determinant inequalities that are closely related to Sidorenko's famous conjecture (Also conjectured by Erd\H os and Simonovits in a different form). Our results can also be interpreted as entropy inequalities for Gaussian Markov random fields (GMRF). We call a GMRF on a finite graph $G$ homogeneous if the marginal distributions on the edges are all identical. We show that if $G$ satisfies Sidorenko's conjecture then the differential entropy of any homogeneous GMRF on $G$ is at least $|E(G)|$ times the edge entropy plus $|V(G)|-2|E(G)|$ times the point entropy. We also prove this inequality in a large class of graphs for which Sidorenko's conjecture is not verified including the so-called Möbius ladder: $K_{5,5}\setminus C_{10}$. The connection between Sidorenko's conjecture and GMRF's is established via a large deviation principle on high dimensional spheres combined with graph limit theory.

Let $λ$ be a partition with no more than $n$ parts. Let $β$ be a weakly increasing $n$-tuple with entries from $\{ 1, ... , n \}$. The flagged Schur function in the variables $x_1, ... , x_n$ that is indexed by $λ$ and $β$ has been defined to be the sum of the content weight monomials for the semistandard Young tableaux of shape $λ$ whose values are row-wise bounded by the entries of $β$. Gessel and Viennot gave a determinant expression for the flagged Schur function indexed by $λ$ and $β$; this could be done since the pair $(λ, β)$ satisfied their "nonpermutable" condition for the sequence of terminals of an $n$-tuple of lattice paths that they used to model the tableaux. We generalize flagged Schur functions by dropping the requirement that $β$ be weakly increasing. Then for each $λ$ we give a condition on the entries of $β$ for the pair $(λ, β)$ to be nonpermutable that is both necessary and sufficient. When the parts of $λ$ are not distinct there will be multiple row bound $n$-tuples $β$ that will produce the same set of tableaux. We accordingly group the bounding $β$ into equivalence classes and identify the most efficient $β$ in each class for the determinant computation. We recently showed that many other sets of objects that are indexed by $n$ and $λ$ are enumerated by the number of these efficient $n$-tuples. We called these counts "parabolic Catalan numbers". It is noted that the $GL(n)$ Demazure characters (key polynomials) indexed by 312-avoiding permutations can also be expressed with these determinants.

In this paper, we prove determinant formulas for the $K$-theory classes of the structure sheaves of degeneracy loci classes associated to vexillary permutations in type $A$. As a consequence we obtain determinant formulas for Lascoux-Schützenberger's double Grothendieck polynomials associated to vexillary permutations. Furthermore, we generalize the determinant formula to algebraic cobordism.

Given an abstract simplicial complex G, the connection graph G' of G has as vertex set the faces of the complex and connects two if they intersect. If A is the adjacency matrix of that connection graph, we prove that the Fredholm characteristic det(1+A) takes values in {-1,1} and is equal to the Fermi characteristic, which is the product of the w(x), where w(x)=(-1)^dim(x). The Fredholm characteristic is a special value of the Bowen-Lanford zeta function and has various combinatorial interpretations. The unimodularity theorem proven here shows that it is a cousin of the Euler characteristic as the later is the sum of the w(x). Unimodularity implies that the matrix 1+A has an inverse which takes integer values. Experiments suggest the conjecture that the range of the Green function values, the union of the entries of the inverse of 1+A form a combinatorial invariant of the simplicial complex and do not change under Barycentric or edge refinements.

We give an algebraic proof of the determinant formulas for factorial Grothendieck polynomials obtained by Hudson--Ikeda--Matsumura--Naruse and by Hudson--Matsumura.

The generalized Lax conjecture asserts that each hyperbolicity cone is a linear slice of the cone of positive semidefinite matrices. We prove the conjecture for a multivariate generalization of the matching polynomial. This is further extended (albeit in a weaker sense) to a multivariate version of the independence polynomial for simplicial graphs. As an application we give a new proof of the conjecture for elementary symmetric polynomials (originally due to Brändén). Finally we consider a hyperbolic convolution of determinant polynomials generalizing an identity of Godsil and Gutman.

For each $α\in \{0,1,-1 \}$, we count diagonally and antidiagonally symmetric alternating sign matrices (DASASMs) of fixed odd order with a maximal number of $α$'s along the diagonal and the antidiagonal, as well as DASASMs of fixed odd order with a minimal number of $0$'s along the diagonal and the antidiagonal. In these enumerations, we encounter product formulas that have previously appeared in plane partition or alternating sign matrix counting, namely for the number of all alternating sign matrices, the number of cyclically symmetric plane partitions in a given box, and the number of vertically and horizontally symmetric ASMs. We also prove several refinements. For instance, in the case of DASASMs with a maximal number of $-1$'s along the diagonal and the antidiagonal, these considerations lead naturally to the definition of alternating sign triangles. These are new objects that are equinumerous with ASMs, and we are able to prove a two parameter refinement of this fact, involving the number of $-1$'s and the inversion number on the ASM side. To prove our results, we extend techniques to deal with triangular six-vertex configurations that have recently successfully been applied to settle Robbins' conjecture on the number of all DASASMs of odd order. Importantly, we use a general solution of the reflection equation to prove the symmetry of the partition function in the spectral parameters. In all of our cases, we derive determinant or Pfaffian formulas for the partition functions, which we then specialize in order to obtain the product formulas for the various classes of extreme odd DASASMs under consideration.

In this paper, we work toward answering the following question: given a uniformly random algebra homomorphism from the ring of symmetric functions over the integers to a finite field $\mathbb{F}_q$, what is the probability that the Schur function $s_λ$ maps to zero? We show that this probability is always at least $1/q$ and is asymptotically $1/q$. Moreover, we give a complete classification of all shapes that can achieve probability $1/q$. In addition, we identify certain families of shapes where the corresponding Schur functions being sent to zero are independent events, and we look into the probability that a Schur functions is mapped to nonzero values in $\mathbb{F}_q$.

We consider an inverse problem for Schrödinger operators on connected equilateral graphs with standard matching conditions. We calculate the spectral determinant and prove that the asymptotic distribution of a subset of its zeros can be described by the roots of a polynomial. We verify that one of the roots is equal to the mean value of the potential and apply it to prove an Ambarzumian type result, i.e., if a specific part of the spectrum is the same as in the case of zero potential, then the potential has to be zero.

This note provides formula for determinant and inverse of r-circulant matrices with general sequences of third order. In other words, the study combines many papers in the literature.

In this paper we confirm several conjectures of Z.-W. Sun on Hankel-type determinants for some combinatorial sequences including Franel numbers, Domb numbers and Apéry numbers. For any nonnegative integer $n$, define \begin{gather*}f_n:=\sum_{k=0}^n\binom nk^3,\ D_n:=\sum_{k=0}^n\binom nk^2\binom{2k}k\binom{2(n-k)}{n-k}, b_n:=\sum_{k=0}^n\binom nk^2\binom{n+k}k,\ A_n:=\sum_{k=0}^n\binom nk^2\binom{n+k}k^2. \end{gather*} For $n=0,1,2,\ldots$, we show that $6^{-n}|f_{i+j}|_{0\leq i,j\leq n}$ and $12^{-n}|D_{i+j}|_{0\le i,j\le n}$ are positive odd integers, and $10^{-n}|b_{i+j}|_{0\leq i,j\leq n}$ and $24^{-n}|A_{i+j}|_{0\leq i,j\leq n}$ are always integers.

Motivated by classic tree algorithms, in 1995 we designed a bottom-up $O(n)$ algorithm to compute the determinant of a tree's adjacency matrix $A$. In 2010 an $O(n)$ algorithm was found for constructing a diagonal matrix congruent to $A + xI_n$, $x \in \mathbb{R}$, enabling one to easily count the number of eigenvalues in any interval. A variation of the algorithm allows Laplacian eigenvalues in trees to be counted. We conjecture that for any tree $T$ of order $n \geq 2$, at least half of its Laplacian eigenvalues are less than $\bar{d} = 2 - \frac{2}{n}$, its average vertex degree.