arXiv++ Combinatorics

In this paper we settle a weak version of a conjecture (i.e. Conjecture 6) by Mills, Robbins and Rumsey in the paper "Self-complementary totally symmetric plane partitions" (J. Combin. Theory Ser. A 42, 277-292). In other words we show that the number of shifted plane partitions invariant under an involution is equal to the number of alternating sign matrices invariant under the vertical flip. We also give a determinantal formula for the general conjecture (Conjecture 6), but this determinant is still hard to evaluate. In this paper we introduce two new classes of domino plane partitions, one has the same cardinality as the set of half-turn symmetric alternating sign matrices and the other has the same cardinality as the set of vertically symmetric alternating sign matrices.

The definition and main properties of the Ihara zeta function for graphs are reviewed, focusing mainly on the case of periodic simple graphs. Moreover, we give a new proof of the associated determinant formula, based on the treatment developed by Stark and Terras for finite graphs.

We characterize genus g canonical curves by the vanishing of combinatorial products of g+1 determinants of Brill-Noether matrices. This also implies the characterization of canonical curves in terms of (g-2)(g-3)/2 theta identities. A remarkable mechanism, based on a basis of H^0(K_C) expressed in terms of Szego kernels, reduces such identities to a simple rank condition for matrices whose entries are logarithmic derivatives of theta functions. Such a basis, together with the Fay trisecant identity, also leads to the solution of the question of expressing the determinant of Brill-Noether matrices in terms of theta functions, without using the problematic Klein-Fay section sigma.

The Tutte equations are ported (or set-pointed) when the equations F(N) = g_e F(N/e) + r_e F(N\e) are omitted for elements e in a distinguished set called ports. Solutions F can distinguish different orientations of the same matroid. A ported extensor with ground set is a decomposible element in the exterior algebra over a vector space with a given basis, called the ground set, containing a distinguished subset called ports. These can represent ported matroids and have analogous dualization, deletion and contraction operations. A ported extensor function is defined using dualization, port element renaming, exterior multiplication, and contraction of non-ports. We prove that this function satisfies a sign-corrected variant of the Tutte equations over exterior algebra. For non-ported unimodular, i.e., regular matroids, our function reduces to the basis generating function and for graphs the Laplacian (or Kirchhoff) determinant. In general, the function value, as an extensor, signifies the space of solutions to Kirchhoff's and Ohm's electricity equations after projection to the variables associated to the ports. Combinatorial interpretation of various determinants (the Plucker coordinates) generalize the matrix tree theorem and forest enumeration expressions for electrical resistance. The corank-nullity polynomial, basis expansions with activities, and a geometric lattice expansion generalize to ported Tutte functions of oriented matroids. The ported Tutte functions are parametrized, which raises the problem of how to generalize known characterizations of parameterized non-ported Tutte functions.

An elliptic $BC_n$ generalization of the classical two parameter Bailey Lemma is proved, and a basic one parameter $BC_n$ Bailey Lemma is obtained as a limiting case. Several summation and transformation formulas associated with the root system $BC_n$ are proved as applications, including a $_6φ_5$ summation formula, a generalized Watson transformation and an unspecialized Rogers--Selberg identity. The last identity is specialized to give an infinite family of multilateral Rogers--Selberg identities. Standard determinant evaluations are then used to compute $B_n$ and $D_n$ generalizations of the Rogers--Ramanujan identities in terms of determinants of theta functions. Starting with the $BC_n$ $_6φ_5$ summation formula, a similar program is followed to prove an infinite family of $D_n$ Euler's Pentagonal Number Theorems.

Graphical condensation is a technique used to prove combinatorial identities among numbers of perfect matchings of plane graphs. Propp and Kuo first applied this technique to prove identities for bipartite graphs. Yan, Yeh, and Zhang later applied graphical condensation to nonbipartite graphs to prove more complex identities. Here we generalize some of the identities of Yan, Yeh, and Zhang. We also describe the latest generalization of graphical condensation in which the number of perfect matchings of a plane graph is expressed as a Pfaffian or a determinant where the entries are also numbers of perfect matchings of subgraphs.

We study the Jacobi-Trudi-type determinant which is conjectured to be the q-character of a certain, in many cases irreducible, finite-dimensional representation of the quantum affine algebra of type C_n. Like the D_n case studied by the authors recently, applying the Gessel-Viennot path method with an additional involution and a deformation of paths, we obtain a positive sum expression over a set of tuples of paths, which is naturally translated into the one over a set of tableaux on a skew diagram.

This paper develops an abstract framework for constructing ``seminormal forms'' for cellular algebras. That is, given a cellular R-algebra A which is equipped with a family of JM-elements we give a general technique for constructing orthogonal bases for A, and for all of its irreducible representations, when the JM-elements separate A. The seminormal forms for A are defined over the field of fractions of R. Significantly, we show that the Gram determinant of each irreducible A-module is equal to a product of certain structure constants coming from the seminormal basis of A. In the non-separated case we use our seminormal forms to give an explicit basis for a block decomposition of A. The appendix, by Marcos Soriano, gives a general construction of a complete set of orthogonal idempotents for an algera starting from a set of elements which act on the algebra in an upper triangular fashion. The appendix shows that constructions with "Jucys-Murphy elements"depend, ultimately, on the Cayley-Hamilton theorem.

Let $s_{ij}$ represent a tranposition in $S_n$. A polynomial $P$ in $\mathbb{Q}[X_n]$ is said to be $m$-quasiinvariant with respect to $S_n$ if $(x_i-x_j)^{2m+1}$ divides $(1-s_{ij})P$ for all $1 \leq i, j \leq n$. We call the ring $m$-quasiinvariants $QI_m[X_n]$. We describe a method for constructing a basis for the quotient $QI_m[X_3]/< e_1, e_2, e_3>$. This leads to the evaluation of certain binomial determinants that are interesting in their own right.

For a single value of $\ell$, let $f(n,\ell)$ denote the number of lattice paths that use the steps $(1,1)$, $(1,-1)$, and $(\ell,0)$, that run from $(0,0)$ to $(n,0)$, and that never run below the horizontal axis. Equivalently, $f(n,\ell)$ satisfies the quadratic functional equation $F(x) = \sum_{n\ge 0}f(n,\ell) x^n = 1+x^{\ell}F(x)+x^2F(x)^2.$ Let $H_n$ denote the $n$ by $n$ Hankel matrix, defined so that $[H_n]_{i,j} = f(i+j-2,\ell)$. Here we investigate the values of such determinants where $\ell = 0,1,2,3$. For $\ell = 0,1,2$ we are able to employ the Gessel-Viennot-Lindström method. For the case $\ell=3$, the sequence of determinants forms a sequence of period 14, namely, $$ (\det(H_n))_{n \ge 1} = (1,1,0,0,-1,-1,-1,-1,-1,0,0,1,1,1,1,1,0,0,-1,-1,-1,...)$$ For this case we are able to use the continued fractions method recently introduced by Gessel and Xin. We also apply this technique to evaluate Hankel determinants for other generating functions satisfying a certain type of quadratic functional equation.

We study the Jacobi-Trudi-type determinant which is conjectured to be the q-character of a certain, in many cases irreducible, finite-dimensional representation of the quantum affine algebra of type D_n. Unlike the A_n and B_n cases, a simple application of the Gessel-Viennot path method does not yield a positive sum expression of the determinant over a set of tuples of paths. However, applying an additional involution and a deformation of paths, we obtain a positive sum expression over a set of tuples of paths, which is naturally translated into the one over a set of tableaux on a skew diagram.

We study Schur Q-polynomials evaluated on a geometric progression, or equivalently q-enumeration of marked shifted tableaux, seeking explicit formulas that remain regular at q=1. We obtain several such expressions as multiple basic hypergeometric series, and as determinants and pfaffians of continuous q-ultraspherical or continuous q-Jacobi polynomials. As special cases, we obtain simple closed formulas for staircase-type partitions.

We derive a Jacobi-Trudi type formula for Jack functions of rectangular shapes. In this formula, we make use of a hyperdeterminant, which is Cayley's simple generalization of the determinant. In addition, after developing the general theory of hyperdeterminants, we give summation formulae for Schur functions involving hyperdeterminants, and evaluate Toeplitz-type hyperdeterminants by using Jack function theory.

The Laplacian matrix of a graph $G$ is $L(G)=D(G)-A(G)$, where $A(G)$ is the adjacency matrix and $D(G)$ is the diagonal matrix of vertex degrees. According to the Matrix-Tree Theorem, the number of spanning trees in $G$ is equal to any cofactor of an entry of $L(G)$. A rooted forest is a union of disjoint rooted trees. We consider the matrix $W(G)=I+L(G)$ and prove that the $(i,j)$-cofactor of $W(G)$ is equal to the number of spanning rooted forests of $G$, in which the vertices $i$ and $j$ belong to the same tree rooted at $i$. The determinant of $W(G)$ equals the total number of spanning rooted forests, therefore the $(i,j)$-entry of the matrix $W^{-1}(G)$ can be considered as a measure of relative ''forest-accessibility'' of vertex $i$ from $j$ (or $j$ from $i$). These results follow from somewhat more general theorems we prove, which concern weighted multigraphs. The analogous theorems for (multi)digraphs are also established. These results provide a graph-theoretic interpretation for the adjugate to the Laplacian characteristic matrix.

In this paper we prove that two quantities relating to the length of permutations defined on trees are independent of the structures of trees. We also find that these results are closely related to the results obtained by Graham and Pollak (Bell System Tech. J. 50(1971) 2495--2519) and by Bapat, Kirkland, and Neumann (Linear Alg. Appl. 401(2005) 193--209).

We present the implementation of an algorithm for graph isomorphism testing, based on ideas about number of walks (of sufficiently large length) between vertices. The algorithm is expanded for strongly regular graphs (SRG-s) by testing the local complements and values of determinants of their adjacency matrices. All known non-isomorphic SRG-s (with no more than 64 vertices) are distinguishable by this method.

Let $C(n,p)$ be the set of $p$-compositions of an integer $n$, i.e., the set of $p$-tuples $\bmα=(α_1,...,α_p)$ of nonnegative integers such that $α_1+...+α_p=n$, and $\mathbf{x}=(x_1,...,x_p)$ a vector of indeterminates. For $\bmα$ and ${\bmβ}$ two $p$-compositions of $n$, define $(\mathbf{x}+\bmα)^{\bmβ} = (x_1+α_1)^{β_1}... x_p+α_p)^{β_p}$. In this paper we prove an explicit formula for the determinant $\det_{\bmα,{\bmβ}\in C(n,p)}((\mathbf{x}+\bmα)^{\bmβ})$. In the case $x_1=...=x_p$ the formula gives a proof of a conjecture by C.~Krattenthaler.

We derive determinant expressions for the partition functions of spin-k/2 vertex models on a finite square lattice with domain wall boundary conditions.

A classical question for a Toeplitz matrix with given symbol is to compute asymptotics for the determinants of its reductions to finite rank. One can also consider how those asymptotics are affected when shifting an initial set of rows and columns (or, equivalently, asymptotics of their minors). Bump and Diaconis (Toeplitz minors, J. Combin. Theory Ser. A, 97 (2002), pp. 252--271) obtained a formula for such shifts involving Laguerre polynomials and sums over symmetric groups. They also showed how the Heine identity extends for such minors, which makes this question relevant to Random Matrix Theory. Independently, Tracy and Widom (On the limit of some Toeplitz-like determinants, SIAM J. Matrix Anal. Appl., 23 (2002), pp. 1194--1196) used the Wiener-Hopf factorization to express those shifts in terms of products of infinite matrices. We show directly why those two expressions are equal and uncover some structure in both formulas that was unknown to their authors. We introduce a mysterious differential operator on symmetric functions that is very similar to vertex operators. We show that the Bump-Diaconis-Tracy- Widom identity is a differentiated version of the classical Jacobi-Trudi identity.

Let $K$ denote a field, and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*: V \to V$ that satisfy (i), (ii) below: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a {\em Leonard pair} on $V$. In this paper we investigate the commutator $AA^*-A^*A$. Our results are as follows. First assume the dimension of $V$ is even. We show $AA^*-A^*A$ is invertible and display several attractive formulae for the determinant. Next assume the dimension of $V$ is odd. We show that the null space of $AA^*-A^*A$ has dimension 1. We display a nonzero vector in this null space. We express this vector as a sum of eigenvectors for $A$ and as a sum of eigenvectors for $A^*$.