arXiv++ Combinatorics

We prove a conjecture by D. Zeilberger on the determinant of a certain matrix and relate it to a problem of non-existence of 1-cycles in this note.

By the Chinese remainder theorem, the canonical map \[Ψ_n: R[X]/(X^n-1)\to \oplus_{d|n} R[X]/Φ_d(X)\] is an isomorphism when $R$ is a field whose characteristic does not divide $n$ and $Φ_d$ is the $d$th cyclotomic polynomial. When $R$ is the ring $\mathbf{Z}$ of rational integers, this map is injective but not surjective. In this paper, we give an explicit formula for the elementary divisors of the cokernel of $Ψ_n$(when $R=\mathbb{Z}$) using the prime factorisation of $n$. We also give a pictorial algorithm using Young Tableaux that takes $O(n^{3+ε})$ bit operations for any $ε> 0$ to determine a basis of Smith vectors (see Definition 3.1) for the codomain of $Ψ_n$. In general when $R$ is an integral domain, we prove that the determinant of $Ψ: R[X]/(\prod_j f_j) \to \bigoplus_j R[X]/(f_j)$ written with respect to the standard basis is $\prod_{1 \leqslant i < j \leqslant n} \mathcal{R}(f_j, f_i)$, where $f_i$'s are pairwise relatively prime monic polynomials and $\mathcal{R}(f_j, f_i)$ is the resultant of $f_j$ and $f_i$.

We give upper and lower bounds on the determinant of a perturbation of the identity matrix or, more generally, a perturbation of a nonsingular diagonal matrix. The matrices considered are, in general, diagonally dominant. The lower bounds are best possible, and in several cases they are stronger than well-known bounds due to Ostrowski and other authors. If $A = I-E$ is an $n \times n$ matrix and the elements of $E$ are bounded in absolute value by $\varepsilon \le 1/n$, then a lower bound of Ostrowski (1938) is $\det(A) \ge 1-n\varepsilon$. We show that if, in addition, the diagonal elements of $E$ are zero, then a best-possible lower bound is \[\det(A) \ge (1-(n-1)\varepsilon)\,(1+\varepsilon)^{n-1}.\] Corresponding upper bounds are respectively \[\det(A) \le (1 + 2\varepsilon + n\varepsilon^2)^{n/2}\] and \[\det(A) \le (1 + (n-1)\varepsilon^2)^{n/2}.\] The first upper bound is stronger than Ostrowski's bound (for $\varepsilon < 1/n$) $\det(A) \le (1 - n\varepsilon)^{-1}$. The second upper bound generalises Hadamard's inequality, which is the case $\varepsilon = 1$. A necessary and sufficient condition for our upper bounds to be best possible for matrices of order $n$ and all positive $\varepsilon$ is the existence of a skew-Hadamard matrix of order $n$.

The XX0 Heisenberg model on a cyclic chain is considered. The representation of the Bethe wave functions via the Schur functions allows to apply the well-developed theory of the symmetric functions to the calculation of the thermal correlation functions. The determinantal expressions of the form-factors and of the thermal correlation functions are obtained. The q-binomial determinants enable the connection of the form-factors with the generating functions both of boxed plane partitions and of self-avoiding lattice paths. The asymptotical behavior of the thermal correlation functions is studied in the limit of low temperature provided that the characteristic parameters of the system are large enough.

Based on a generalized Newton's identity, we construct a family of symmetric functions which deform the modular Hall-Littlewood functions. We also give a determinant formula for the Macdonald functions.

I conjecture a certain explicit determinant evaluation, whose proof would imply the solution of certain enumeration problem that I have been working on, and that I find interesting. I am pledging \$500 to the OEIS Foundation (in honor of the prover!) for a proof, and \$50 (in honor of the disprover)

Motivated by the recent result of [EJT10] showing that MSO properties are Logspace computable on graphs of bounded tree-width, we consider the complexity of computing the determinant of the adjacency matrix of a bounded tree-width graph and prove that it is L-complete. It is important to notice that the determinant is neither an MSO-property nor counts the number of solutions of an MSO-predicate. We extend this technique to count the number of spanning arborescences and directed Euler tours in bounded tree-width digraphs, and further to counting the number of spanning trees and the number of Euler tours in undirected graphs, all in L. Notice that undirected Euler tours are not known to be MSO-expressible and the corresponding counting problem is in fact #P-hard for general graphs. Counting undirected Euler tours in bounded tree-width graphs was not known to be polynomial time computable till very recently Chebolu et al [CCM13] gave a polynomial time algorithm for this problem (concurrently and independently of this work). Finally, we also show some linear algebraic extensions of the determinant algorithm to show how to compute the charcteristic polynomial and trace of the powers of a bounded tree-width graph in L.

We give a quantum-inspired $O(n^4)$ algorithm computing the Tutte polynomial of a lattice path matroid, where $n$ is the size of the ground set of the matroid. Furthermore, this can be improved to $O(n^2)$ arithmetic operations if we evaluate the Tutte polynomial on a given input, fixing the values of the variables. The best existing algorithm, found in 2004, was $O(n^5)$, and the problem has only been known to be polynomial time since 2003. Conceptually, our algorithm embeds the computation in a determinant using a recently demonstrated equivalence of categories useful for counting problems such as those that appear in simulating quantum systems.

In this note we introduce a determinant and then give its evaluating formula. The determinant turns out to be a generalization of the well-known ballot and Fuss-Catalan numbers, which is believed to be new. The evaluating formula is proved by showing that the determinant coincides with the number of lattice paths with (1,0), (0,1)-steps in the plane that stay below a boundary line of rational slope.

We give a derivation of conductivities in certain classes of graphs based on knowing certain subdeterminants of the response matrix, mainly utilizing the boundary edge and boundary spike formulas given in Curtis' and Morrow's book.

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.