arXiv++ Combinatorics

Let $(P,\preceq)$ be a lattice and $f$ a complex-valued function on $P$. We define meet and join matrices on two arbitrary subsets $X$ and $Y$ of $P$ by $(X,Y)_f=(f(x_i\wedge y_j))$ and $[X,Y]_f=(f(x_i\vee x_j))$ respectively. Here we present expressions for the determinant and the inverse of $[X,Y]_f$. Our main goal is to cover the case when $f$ is not semimultiplicative since the formulas presented earlier for $[X,Y]_f$ cannot be applied in this situation. In cases when $f$ is semimultiplicative we obtain several new and known formulas for the determinant and inverse of $(X,Y)_f$ and the usual meet and join matrices $(S)_f$ and $[S]_f$. We also apply these formulas to LCM, MAX, GCD and MIN matrices, which are special cases of join and meet matrices.

Suppose that G is the graph obtained by taking the box product of a path of length n and a path of length m. Let M be the adjacency matrix of G. If n=m, H.M. Rara showed in 1996 that det(M)=0. We extend this result to allow n and m to be any positive integers, and show that, if gcd(n+1,m+1)>1, then det(M)=0; otherwise, if gcd(n+1,m+1)=1, then det(M)=(-1)^(nm/2).

In this investigation of character tables of finite groups we study basic sets and associated representation theoretic data for complementary sets of conjugacy classes. For the symmetric groups we find unexpected properties of characters on restricted sets of conjugacy classes, like beautiful combinatorial determinant formulae for submatrices of the character table and Cartan matrices with respect to basic sets; we observe that similar phenomena occur for the transition matrices between power sum symmetric functions to bounded partitions and the $k$-Schur functions introduced by Lapointe and Morse. Arithmetic properties of the numbers occurring in this context are studied via generating functions.

In this article, we give upper bounds for cyclotomic numbers of order e over a finite field with q elements, where e is a divisor of q-1. In particular, we show that under certain assumptions, cyclotomic numbers are at most $\lceil\frac{k}{2}\rceil$, and the cyclotomic number (0,0) is at most $\lceil\frac{k}{2}\rceil-1$, where k=(q-1)/e. These results are obtained by using a known formula for the determinant of a matrix whose entries are binomial coefficients.

We calculate determinants of weighted sums of reflections and of (nested) commutators of reflections. The results obtained generalize the Kirchhoff's matrix-tree theorem and the matrix-3-hypertree theorem by G.\,Massbaum and A.\,Vaintrob.

I study Hankel determinants of a class of sequences which can be interpreted as generalizations of the Catalan numbers and the central binomial coefficients. They follow a modular pattern with a frequent appearance of zeroes, so that the theory of orthogonal polynomials is not applicable. Even so our theorems and conjectures show some similarity with the relations between Catalan numbers and Fibonacci polynomials or between central binomial coefficients and Lucas polynomials.

We describe immanants as trivial modules of the symmetric group and show that any homogeneous polynomial of degree n on the space of n by n matrices preserved up to scalar by left and right action by diagonal matrices and conjugation by permutation matrices is a linear combination of immanants. we prove that the identity component of the stabilizer of any immanant (except determinant, permanent) is the expected one. We also prove that for n>5 the stabilizer of the immanant of any non-symmetric partition (except determinant and permanent) is again the expected one.

We give an iterative method to realize general Jack functions from Jack functions of rectangular shapes. We first show some cases of Stanley's conjecture on positivity of the Littlewood-Richardson coefficients, and then use this method to give a new realization of Jack functions. We also show in general that vectors of products of Jack vertex operators form a basis of symmetric functions. In particular this gives a new proof of linear independence for the rectangular and marked rectangular Jack vertex operators. Thirdly a generalized Frobenius formula for Jack functions was given and was used to give new evaluation of Dyson integrals and even powers of Vandermonde determinant.

We introduce an associative algebra $\M_k(x)$ whose dimension is the $2k$-th Motzkin number. The algebra $\M_k(x)$ has a basis of "Motzkin diagrams," which are analogous to Brauer and Temperley-Lieb diagrams, and it contains the Temperley-Lieb algebra $\TL_k(x)$ as a subalgebra. We prove that for a particular value of $x$, the algebra $\M_k(x)$ is the centralizer algebra of $\uqsl$ acting on the $k$-fold tensor power of the sum of the 1-dimensional and 2-dimensional irreducible $\uqsl$-modules. We show that $\M_k(x)$ is generated by special diagrams $\ell_i, t_i, r_i \ (1 \le i < k)$ and $p_j \ (1 \le j \le k)$, and that it has a factorization into three subalgebras $\M_k(x) = \RP_k \TL_k(x)\, \LP_k$, all of which have dimensions given by Catalan numbers. We define an action of $\M_k(x)$ on Motzkin paths of rank $r$, and in this way, construct a set of indecomposable modules $\C_k^{(r)}$, $0 \le r \le k$. We prove that $\M_k(x)$ is cellular in the sense of Graham and Lehrer and that the $\C_k^{(r)}$ are the left cell representations. We compute the determinant of the Gram matrix of a bilinear form on $\C_k^{(r)}$ for each $r$ and use these determinants to show that $\M_k(x)$ is semisimple exactly when $x$ is not the root of certain Chebyshev polynomials.

This paper studies Zeilberger's two prized constant term identities. For one of the identities, Zeilberger asked for a simple proof that may give rise to a simple proof of Andrews theorem for the number of totally symmetric self complementary plane partitions. We obtain an identity reducing a constant term in $2k$ variables to a constant term in $k$ variables. As applications, Zeilberger's constant terms are converted to single determinants. The result extends for two classes of matrices, the sum of all of whose full rank minors is converted to a single determinant. One of the prized constant term problems is solved, and we give a seemingly new approach to Macdonald's constant term for root system of type BC.

We present a spectral theory of hypergraphs that closely parallels Spectral Graph Theory. A number of recent developments building upon classical work has led to a rich understanding of "hyperdeterminants" of hypermatrices, a.k.a. multidimensional arrays. Hyperdeterminants share many properties with determinants, but the context of multilinear algebra is substantially more complicated than the linear algebra required to address Spectral Graph Theory (i.e., ordinary matrices). Nonetheless, it is possible to define eigenvalues of a hypermatrix via its characteristic polynomial as well as variationally. We apply this notion to the "adjacency hypermatrix" of a uniform hypergraph, and prove a number of natural analogues of basic results in Spectral Graph Theory. Open problems abound, and we present a number of directions for further study.

A compound determinant identity for minors of rectangular matrices is established. As an application, we derive Vandermonde type determinant formulae for classical group characters.

We give a combinatorial interpretation of the determinant of a matrix as a generating function over Brauer diagrams in two different but related ways. The sign of a permutation associated to its number of inversions in the Leibniz formula for the determinant is replaced by the number of crossings in the Brauer diagram. This interpretation naturally explains why the determinant of an even antisymmetric matrix is the square of a Pfaffian.

The classic Cayley identity states that \det(\partial) (\det X)^s = s(s+1)...(s+n-1) (\det X)^{s-1} where X=(x_{ij}) is an n-by-n matrix of indeterminates and \partial=(\partial/\partial x_{ij}) is the corresponding matrix of partial derivatives. In this paper we present straightforward combinatorial proofs of a variety of Cayley-type identities, both old and new. The most powerful of these proofs employ Grassmann algebra (= exterior algebra) and Grassmann-Berezin integration. Among the new identities proven here are a pair of "diagonal-parametrized" Cayley identities, a pair of "Laplacian-parametrized" Cayley identities, and the "product-parametrized" and "border-parametrized" rectangular Cayley identities.

We suggest three applications for the inverses: For the inverse Motzkin matrix we look at Hankel determinants, and counting the paths inside a horizontal band, and for the inverse Schröder matrix we look at the paths inside the same band, but ending on the top side of the band.

In this note we settle two open problems in the theory of permanents by using recent results from other areas of mathematics. Bapat conjectured that certain quotients of permanents, which generalize symmetric function means, are concave. We prove this conjecture by using concavity properties of hyperbolic polynomials. Motivated by problems on random point processes, Shirai and Takahashi raised the problem: Determine all real numbers $α$ for which the $α$-permanent (or $α$-determinant) is nonnegative for all positive semidefinite matrices. We give a complete solution to this problem by using recent results of Scott and Sokal on completely monotone functions. It turns out that the conjectured answer to the problem is false.

The number of spanning trees of a graph $G$ is called the {\em complexity} of $G$ and is denoted $c(G)$. Let C(n) denote the {\em (binary) hypercube} of dimension $n$. A classical result in enumerative combinatorics (based on explicit diagonalization) states that $c(C(n)) = \prod_{k=2}^n (2k)^{n\choose k}$. In this paper we use the explicit block diagonalization methodology to derive formulas for the complexity of two $q$-analogs of C(n), the {\em nonbinary hypercube} $\Cq(n)$, defined for $q\geq 2$, and the {\em vector space analog of the hypercube} $\Cfq(n)$, defined for prime powers $q$. We consider the nonbinary and vector space analogs of the Boolean algebra. We show the existence, in both cases, of a graded Jordan basis (with respect to the up operator) that is orthogonal (with respect to the standard inner product) and we write down explicit formulas for the ratio of the lengths of the successive vectors in the Jordan chains (i.e., the singular values). With respect to (the normalizations of) these bases the Laplacians of $\Cq(n)$ and $\Cfq(n)$ block diagonalize, with quadratically many distinct blocks in the nonbinary case and linearly many distinct blocks in the vector space case, and with each block an explicitly written down real, symmetric, tridiagonal matrix of known multiplicity and size at most $n+1$. In the nonbinary case we further determine the eigenvalues of the blocks, by explicitly writing out the eigenvectors, yielding an explicit formula for $c(\Cq(n))$ (this proof yields new information even in the binary case). In the vector space case we have been unable to determine the eigenvalues of the blocks but we give a useful formula for $c(\Cfq(n))$ involving "small" determinants (of size at most $n$).

This is to suggest a new approach to the old and open problem of counting the number f_n of Z-singular n x n matrices with entries from {-1,+1}: Comparison of two measures, none of them the uniform measure, one of them closely related to it, the other asymptotically under control by a recent theorem of Bourgain, Vu and Wood. We will define a measure P_chio on the set {-1,0,+1}^([n-1]^2) of all (n-1)x(n-1)-matrices with entries from {-1,0,+1} which (owing to a determinant identity published by M. F. Chio in 1853) is closely related to the uniform measures on {-1,+1}^([n]^2) and {0,1}^([n-1]^2) and at the same time it intriguingly mimics the so-called lazy coin flip distribution P_lcf on {-1,0,+1}^([n-1]^2), with the resemblance fading more and more as the events get smaller. This is relevant in view of a recent theorem of J. Bourgain, V. H. Vu and P. M. Wood (J. Funct. Anal. 258 (2010), 559--603) which proves that if the entries of an n x n matrix whose {-1,0,+1}-entries are governed by P_lcf and fully independent (they are not when governed by P_chio), then an asymptotically optimal bound on the singularity probability over Z can be proved. We will characterize P_chio graph-theoretically and use the characterization to prove that given a B in {-1,0,+1}^([n-1]^2), deciding whether P_chio[B] = P_lcf[B] is equivalent to deciding an evasive graph property, hence the time complexity of this decision is Omega(n^2). Moreover, we will prove k-wise independence properties of P_chio. Many questions suggest themselves that call for further work. In particular, the present paper will close with more constrained equivalent formulations of the conjecture f_n/2^(n^2) ~ (1/2 + o(1))^n.

We prove that if $φ: {\Bbb R}^d \times {\Bbb R}^d \to {\Bbb R}$, $d \ge 2$, is a homogeneous function, smooth away from the origin and having non-zero Monge-Ampere determinant away from the origin, then $$ R^{-d} # \{(n,m) \in {\Bbb Z}^d \times {\Bbb Z}^d: |n|, |m| \leq CR; R \leq φ(n,m) \leq R+δ\} \lesssim \max \{R^{d-2+\frac{2}{d+1}}, R^{d-1} δ\}.$$ This is a variable coefficient version of a result proved by Lettington in \cite{L10}, extending a previous result by Andrews in \cite{A63}, showing that if $B \subset {\Bbb R}^d$, $d \ge 2$, is a symmetric convex body with a sufficiently smooth boundary and non-vanishing Gaussian curvature, then $$ # \{k \in {\mathbb Z}^d: dist(k, R \partial B) \leq δ\} \lesssim \max \{R^{d-2+\frac{2}{d+1}}, R^{d-1} δ\}. (*)$$ Furthermore, we shall see that the same argument yields a non-isotropic analog of $(*)$, one for which the exponent on the right hand side is, in general, sharp, even in the infinitely smooth case. This sheds some light on the nature of the exponents and their connection with the conjecture due to Wolfgang Schmidt on the distribution of lattice points on dilates of smooth convex surfaces in ${\Bbb R}^d$.

We prove a conjecture of Mills, Robbins and Rumsey [Alternating sign matrices and descending plane partitions, J. Combin. Theory Ser. A 34 (1983), 340-359] that, for any n, k, m and p, the number of nxn alternating sign matrices (ASMs) for which the 1 of the first row is in column k+1 and there are exactly m -1's and m+p inversions is equal to the number of descending plane partitions (DPPs) for which each part is at most n and there are exactly k parts equal to n, m special parts and p nonspecial parts. The proof involves expressing the associated generating functions for ASMs and DPPs with fixed n as determinants of nxn matrices, and using elementary transformations to show that these determinants are equal. The determinants themselves are obtained by standard methods: for ASMs this involves using the Izergin-Korepin formula for the partition function of the six-vertex model with domain-wall boundary conditions, together with a bijection between ASMs and configurations of this model, and for DPPs it involves using the Lindstrom-Gessel-Viennot theorem, together with a bijection between DPPs and certain sets of nonintersecting lattice paths.