arXiv++ Combinatorics

An $n$ by $n$ skew-symmetric type $(-1,1)$-matrix $K=[k_{i,j}]$ has $1$'s on the main diagonal and $\pm 1$'s elsewhere with $k_{i,j}=-k_{j,i}$. The largest possible determinant of such a matrix $K$ is an interesting problem. The literature is extensive for $n\equiv 0 \mod 4$ (skew-Hadamard matrices), but for $n\equiv 2\mod 4$ there are few results known for this question. In this paper we approach this problem constructing cocyclic matrices over the dihedral group of $2t$ elements, for $t$ odd, which are equivalent to $(-1,1)$-matrices of skew type. Some explicit calculations have been done up to $t=11$. To our knowledge, the upper bounds on the maximal determinant in orders 18 and 22 have been improved.

The pseudodeterminant $\textrm{pdet}(M)$ of a square matrix is the last nonzero coefficient in its characteristic polynomial; for a nonsingular matrix, this is just the determinant. If $\partial$ is a symmetric or skew-symmetric matrix then $\textrm{pdet}(\partial\partial^t)=\textrm{pdet}(\partial)^2$. Whenever $\partial$ is the $k^{th}$ boundary map of a self-dual CW-complex $X$, this linear-algebraic identity implies that the torsion-weighted generating function for cellular $k$-trees in $X$ is a perfect square. In the case that $X$ is an \emph{antipodally} self-dual CW-sphere of odd dimension, the pseudodeterminant of its $k$th cellular boundary map can be interpreted directly as a torsion-weighted generating function both for $k$-trees and for $(k-1)$-trees, complementing the analogous result for even-dimensional spheres given by the second author. The argument relies on the topological fact that any self-dual even-dimensional CW-ball can be oriented so that its middle boundary map is skew-symmetric.

Consideration of a question of E. R. Berlekamp led Carlitz, Roselle, and Scoville to give a combinatorial interpretation of the entries of certain matrices of determinant~1 in terms of lattice paths. Here we generalize this result by refining the matrix entries to be multivariate polynomials, and by determining not only the determinant but also the Smith normal form of these matrices. A priori the Smith form need not exist but its existence follows from the explicit computation. It will be more convenient for us to state our results in terms of partitions rather than lattice paths.

We formulate a natural model of current loops and magnetic monopoles for arbitrary planar graphs, which we call the monopole-dimer model, and express the partition function of this model as a determinant. We then extend the method of Kasteleyn and Temperley-Fisher to calculate the partition function exactly in the case of rectangular grids. This partition function turns out to be a square of the partition function of an emergent monomer-dimer model when the grid sizes are even. We use this formula to calculate the local monopole density, free energy and entropy exactly. Our technique is a novel determinantal formula for the partition function of a model of vertices and loops for arbitrary graphs.

In this paper, I describe the weak limits of the measures associated to the eigenfunctions of the Laplacian on a Quantum graph for a generic metric in terms of the Gauss map of the determinant manifold. I describe also all the limits with minimal support (the "scars").

Previously, self-dual codes have been constructed from weighing matrices, and in particular from conference matrices (skew and symmetric). In this paper, codes constructed from matrices of skew symmetric type whose determinants reach the Ehlich-Wojtas' bound are presented. A necessary and sufficient condition for these codes to be self-dual is given, and examples are provided for lengths up to 52.

Hodge's formula represents the gravitational MHV amplitude as the determinant of a minor of a certain matrix. When expanded, this determinant becomes a sum over weighted trees, which is the form of the MHV formula first obtained by Bern, Dixon, Perelstein, Rozowsky and rediscovered by Nguyen, Spradlin, Volovich and Wen. The gravity MHV amplitude satisfies the Britto, Cachazo, Feng and Witten recursion relation. The main building block of the MHV amplitude, the so-called half-soft function, satisfies a different, Berends-Giele-type recursion relation. We show that all these facts are illustrations to a more general story. We consider a weighted Laplacian for a complete graph of n vertices. The matrix tree theorem states that its diagonal minor determinants are all equal and given by a sum over spanning trees. We show that, for any choice of a cocycle on the graph, the minor determinants satisfy a Berends-Giele as well as Britto-Cachazo-Feng-Witten type recursion relation. Our proofs are purely combinatorial.

We prove that, for $X$, $Y$, $A$ and $B$ matrices with entries in a non-commutative ring such that $[X_{ij},Y_{k\ell}]=-A_{i\ell} B_{kj}$, satisfying suitable commutation relations (in particular, $X$ is a Manin matrix), the following identity holds: $ \mathrm{coldet} X \mathrm{coldet} Y = < 0 | \mathrm{coldet} (a A + X (I-a^{\dagger} B)^{-1} Y) |0 > $. Furthermore, if also $Y$ is a Manin matrix, $ \mathrm{coldet} X \mathrm{coldet} Y =\int \mathcal{D}(ψ, ψ^{\dagger}) \exp [ \sum_{k \geq 0} \frac{1}{k+1} (ψ^{\dagger} A ψ)^{k} (ψ^{\dagger} X B^k Y ψ) ] $. Notations: $ < 0 |$, $| 0 >$, are respectively the bra and the ket of the ground state, $a^{\dagger}$ and $a$ the creation and annihilation operators of a quantum harmonic oscillator, while $ψ^{\dagger}_i$ and $ψ_i$ are Grassmann variables in a Berezin integral. These results should be seen as a generalization of the classical Cauchy-Binet formula, in which $A$ and $B$ are null matrices, and of the non-commutative generalization, the Capelli identity, in which $A$ and $B$ are identity matrices and $[X_{ij},X_{k\ell}]=[Y_{ij},Y_{k\ell}]=0$.

Motivated by classification, up to order isomorphism, of some dense subgroups of Euclidean space that are free of minimal rank, we obtain apparently new invariants for an equivalence relation (intermediate between Hermite and Smith) on integer matrices. These then participate in the classification of the dense subgroups. The same equivalence relation has appeared before, in the classification of lattice simplices. We discuss this equivalence relation (called {\it permutation-Hermite}), obtain fairly fine invariants for it, and have density results, and some formulas counting the numbers of equivalence classes for fixed determinant.

We study the tropicalization of the cone of positive semidefinite matrices over the ordered field of real Puiseux series. The tropical PSD matrices form the normal cone of the Newton polytope of the symmetric determinant at the vertex corresponding to the product of diagonal entries. We find generators and defining inequalities of the cone. The PSD tropical quadratic forms are those that induce the trivial subdivision on the standard simplex dilated by two. We also show that the tropical PSD cone is the tropical convex hull of the set of symmetric matrices of tropical rank one and that every tropical PSD matrix can be factored as a tropical product of a matrix and its transpose.

We prove general Cramer type theorems for linear systems over various extensions of the tropical semiring, in which tropical numbers are enriched with an information of multiplicity, sign, or argument. We obtain existence or uniqueness results, which extend or refine earlier results of Gondran and Minoux (1978), Plus (1990), Gaubert (1992), Richter-Gebert, Sturmfels and Theobald (2005) and Izhakian and Rowen (2009). Computational issues are also discussed; in particular, some of our proofs lead to Jacobi and Gauss-Seidel type algorithms to solve linear systems in suitably extended tropical semirings.

The concept of the quantum Pfaffian is rigorously examined and refurbished using the new method of quantum exterior algebras. We derive a complete family of Plücker relations for the quantum linear transformations, and then use them to give an optimal set of relations required for the quantum Pfaffian. We then give the formula between the quantum determinant and the quantum Pfaffian and prove that any quantum determinant can be expressed as a quantum Pfaffian. Finally the quantum hyper-Pfaffian is introduced, and we prove a similar result of expressing quantum determinants in terms of quantum hyper-Pfaffians at modular cases.

We prove a double binomial sum identity which differs from most binomial sum identities in that the summands involve the absolute value function. The identity is of interest because it can be used in proofs of lower bounds for the Hadamard maximal determinant problem. Our proof of the identity uses a two-variable variant of the method of telescoping sums.

A t by n random matrix A is formed by sampling n independent random column vectors, each containing t components. The random Gram matrix of size n, G_n, contains the dot products between all pairs of column vectors in the randomly generated matrix A; that is, G_n = transpose(A) A. The matrix G_n has characteristic roots coinciding with the singular values of A. Furthermore, the sequences det(G_i) and per(G_i) (for i = 0, 1, ..., n) are factors that comprise the expected coefficients of the characteristic and permanental polynomials of G_n. We prove theorems that relate the generating functions and recursions for the traces of matrix powers, expected characteristic coefficients, expected determinants E(det(G_n)), and expected permanents E(per(G_n)) in terms of each other. Using the derived recursions, we exhibit the efficient computation of the expected determinant and expected permanent of a random Gram matrix G_n, formed according to any underlying distribution. These theoretical results may be used both to speed up numerical algorithms and to investigate the numerical properties of the expected characteristic and permanental coefficients of any matrix comprised of independently sampled columns.

A Töplitz determinant whose entries are described by a q-analogue of the Narayana polynomials is evaluated by means of Laurent biorthogonal polynomials which allow of a combinatorial interpretation in terms of Schröder paths. As an application, a new proof is given to the Aztec diamond theorem by Elkies, Kuperberg, Larsen and Propp concerning domino tilings of the Aztec diamonds. The proof is based on the correspondence with non-intersecting Schröder paths developed by Eu and Fu.

We analyse the problem of singularity of graphs for hexagonal grid graphs. We introduce methods for transforming weighted graph, which do not change the determinant of adjacency matrix. We use these methods to calculate the determinant of all hexagonal grid graphs which describe certain hexagon-shaped benzenoid systems. The final result is the explicit formula for the determinant of graphs $H_{k,n}$. From the theorem we draw the conclusion, that all graphs of this kind are non-singular.

Vertex operator realizations of symplectic and orthogonal Schur functions are studied and expanded. New proofs of determinant identities of irreducible characters for the symplectic and orthogonal groups are given. We also give a new proof of the duality between the universal orthogonal and symplectic Schur functions using vertex operators.

Two cycles are referred as disjoint if they have no common edges. In this paper, we will investigate the determinant of the distance matrix of a graph, giving a formula for the determinant of the distance matrix of a bicyclic graph whose two cycles are disjoint, which extends the formula for the determinant of the distance matrix of a tree, as well as that of a unicyclic graph.

The All Minors Matrix Tree Theorem states that the determinant of any submatrix of a matrix whose columns sum to zero can be computed as a sum over certain oriented forests. We offer a particularly short proof of this result, which amounts to comparing Taylor series expansions.

In their study of characters of minimal affinizations of representations of orthogonal and symplectic Lie algebras, Chari and Greenstein conjectured that certain Jacobi-Trudi determinants satisfy an alternating sum formula. In this note, we prove their conjecture and slightly more. The proof relies on some symmetries of the ring of symmetric functions discovered by Koike and Terada. Using results of Hernandez, Mukhin-Young, and Naoi, this implies that the characters of minimal affinizations in types B, C, and D are given by a Jacobi-Trudi determinant.