arXiv++ Combinatorics

Given a set of integers W, the Partition problem determines whether W can be divided into two disjoint subsets with equal sums. We model the Partition problem as a system of polynomial equations, and then investigate the complexity of a Hilbert's Nullstellensatz refutation, or certificate, that a given set of integers is not partitionable. We provide an explicit construction of a minimum-degree certificate, and then demonstrate that the Partition problem is equivalent to the determinant of a carefully constructed matrix called the partition matrix. In particular, we show that the determinant of the partition matrix is a polynomial that factors into an iteration over all possible partitions of W.

We give general lower bounds on the maximal determinant of n by n {+1,-1}-matrices, both with and without the assumption of the Hadamard conjecture. Our bounds improve on earlier results of de Launey and Levin (2010) and, for certain congruence classes of n mod 4, those of Koukouvinos, Mitrouli and Seberry (2000). In an Appendix we give a new proof, using Jacobi's determinant identity, of a result of Szöllősi (2010) on minors of Hadamard matrices.

(DRAFT VERSION) In this article we present a proof of the famous Kirchoff's Matrix-Tree theorem, which relates the number of spanning trees in a connected graph with the cofactors (and eigenvalues) of its combinatorial Laplacian matrix. This is a 165 year old result in graph theory and the proof is conceptually simple. However, the elegance of this result is it connects many apparently unrelated concepts in linear algebra and graph theory. Our motivation behind this work was to make the proof accessible to anyone with beginner\slash intermediate grasp of linear algebra. Therefore in this paper we present proof of every single argument leading to the final result. For example, we prove the elementary properties of determinants, relationship between the roots of characteristic polynomial (that is, eigenvalues) and the minors, the Cauchy-Binet formula, the Laplace expansion of determinant, etc.

Let X be a finite graph. Let E be the number of its edges and d be its degree. Denote by F_1(X) its first spectral density function which counts the number of eigenvalues less or equal to lambda^2 of the associated Laplace operator. We prove the estimate F_1(X)(lambda) - F_1(X)(0) le 2 cdot E cdot d cdot lambda for 0 le lambda < 1. We explain how this gives evidence for conjectures about approximating Fuglede-Kadison determinants and L^2-torsion.

We prove a formula for a characteristic polynomial of an operator expressed as a polynomial of rank 1 operators. The formula uses a discrete analog of path integration and implies a generalization of the Forman-Kenyon's formula [4,6] for a determinant of the graph Laplacian (which, in its turn, implies the famous matrix-tree theorem by Kirchhoff) as well as its level 2 analog, where the summation is performed over triangulated nodal surfaces with boundary.

Expressions involving the product of the permanent with the (n-1)th power of the determinant of a matrix of indeterminates, and of (0,1)-matrices, are shown to be related to two conjectures that extend the Alon-Tarsi Latin square conjecture to odd dimensions. An identity involving an alternating sum of permanents of (0,1)-matrices is obtained.

We give a new proof of a determinant evaluation due to Andrews, which has been used to enumerate cyclically symmetric and descending plane partitions. We also prove some related results, including a q-analogue of Andrews's determinant.

We evaluate a determinant of generalized Fibonacci numbers, thus providing a common generalization of several determinant evaluation results that have previously appeared in the literature, all of them extending Cassini's identity for Fibonacci numbers.

The Capelli identities claim $det(A)det(B) = det(AB+correction)$ for certain matrices with noncommutative entries. They have applications in representation theory and integrable systems. We propose new examples of these identities, constructed according to the following principle. For several known identities for $n$ by $n$ matrices we construct new identity for $2n$ by $2n$ matrices where each element $z$ of the original matrix is substituted by 2x2 matrix of the form $[real(z) ~imag(z); ~ -imag(z) ~ real(z)]$, i.e. we view the original identity as complex valued, while the new identity is its real form (decomplexification). It appears that "decomplexification" affects non-trivially the "correction term". It becomes tridiagonal matrix, in contrast to the diagonal in the classical case. The key result is an extension to the non-commutative setting of the fact that the determinant of the decomplexified matrix is equal to the square module of the determinant of the original matrix (in non-commutative setting the corrections are necessary). The decomplexified Capelli's identities are corollaries of this fact and standard Capelli identities. We also discuss analogs of the Cayley identity; observe that the Capelli determinant coincides with the Duflo image of the standard determinant; give short proof of the Cayley identity via Harish-Chandra's radial part calculation. The main motivation for us is a recent paper by An Huang (arXiv:1102.2657). From our viewpoint his result is a "dequaternionification" of 1 by 1 Capelli identity. Apparently it can be extended to $n$ by $n$ case, but our approach should be somehow modified for this. The paper aims to be accessible and interesting not only for experts. It gives brief review of Capelli identities, applications, their relation with Wick quantization, Duflo map, some open issues, etc.

We derive formulas for the terms in the conjectured asymptotic expansions of the moments, at the central point, of quadratic Dirichlet $L$-functions, $L(1/2,χ_d)$, and also of the $L$-functions associated to quadratic twists of an elliptic curve over $\Q$. In so doing, we are led to study determinants of binomial coefficients of the form $\det (\binom{2k-i-λ_{k-i+1}}{2k-2j})$.

Four natural boundary statistics and two natural bulk statistics are considered for alternating sign matrices (ASMs). Specifically, these statistics are the positions of the 1's in the first and last rows and columns of an ASM, and the numbers of generalized inversions and -1's in an ASM. Previously-known and related results for the exact enumeration of ASMs with prescribed values of some of these statistics are discussed in detail. A quadratic relation which recursively determines the generating function associated with all six statistics is then obtained. This relation also leads to various new identities satisfied by generating functions associated with fewer than six of the statistics. The derivation of the relation involves combining the Desnanot-Jacobi determinant identity with the Izergin-Korepin formula for the partition function of the six-vertex model with domain-wall boundary conditions.

In this note we prove positivity of Maclaurin coefficients of polynomials written in terms of rising factorials and arbitrary log-concave sequences. These polynomials arise naturally when studying log-concavity of rising factorial series. We propose several conjectures concerning zeros and coefficients of a generalized form of those polynomials. We also consider polynomials whose generating functions are higher order Toeplitz determinants formed by rising factorial series. We make three conjectures about these polynomials. All proposed conjectures are supported by numerical evidence.

We find rational expressions for all minors of the weighted path matrix of a directed graph, generalizing the classical Lindstrom/Gessel-Viennot result for acyclic directed graphs. The formulas are given in terms of certain flows in the graph.

For a real number $t$, let $r_\ell(t)$ be the total weight of all $t$-large Schröder paths of length $\ell$, and $s_\ell(t)$ be the total weight of all $t$-small Schröder paths of length $\ell$. For constants $α, β$, in this article we derive recurrence formulae for the determinats of the Hankel matrices $\det_{1\le i,j\le n} (αr_{i+j-2}(t) +βr_{i+j-1}(t))$, $\det_{1\le i,j\le n} (αr_{i+j-1}(t) +βr_{i+j}(t))$, $\det_{1\le i,j\le n} (αs_{i+j-2}(t) +βs_{i+j-1}(t))$, and $\det_{1\le i,j\le n} (αs_{i+j-1}(t) +βs_{i+j}(t))$ combinatorially via suitable lattice path models.

It was shown recently by the authors that, for any n, there is equality between the distributions of certain triplets of statistics on nxn alternating sign matrices (ASMs) and descending plane partitions (DPPs) with each part at most n. The statistics for an ASM A are the number of generalized inversions in A, the number of -1's in A and the number of 0's to the left of the 1 in the first row of A, and the respective statistics for a DPP D are the number of nonspecial parts in D, the number of special parts in D and the number of n's in D. Here, the result is generalized to include a fourth statistic for each type of object, where this is the number of 0's to the right of the 1 in the last row of an ASM, and the number of (n-1)'s plus the number of rows of length n-1 in a DPP. This generalization is proved using the known equality of the three-statistic generating functions, together with relations which express each four-statistic generating function in terms of its three-statistic counterpart. These relations are obtained by applying the Desnanot-Jacobi identity to determinantal expressions for the generating functions, where the determinants arise from standard methods involving the six-vertex model with domain-wall boundary conditions for ASMs, and nonintersecting lattice paths for DPPs.

A variation of Zeilberger's holonomic ansatz for symbolic determinant evaluations is proposed which is tailored to deal with Pfaffians. The method is also applicable to determinants of skew-symmetric matrices, for which the original approach does not work. As Zeilberger's approach is based on the Laplace expansion (cofactor expansion) of the determinant, we derive our approach from the cofactor expansion of the Pfaffian. To demonstrate the power of our method, we prove, using computer algebra algorithms, some conjectures proposed in the paper "Pfaffian decomposition and a Pfaffian analogue of q-Catalan Hankel determinants" by Ishikawa, Tagawa, and Zeng. A minor summation formula related to partitions and Motzkin paths follows as a corollary.

Since every even power of the Vandermonde determinant is a symmetric polynomial, we want to understand its decomposition in terms of the basis of Schur functions. We investigate several combinatorial properties of the coefficients in the decomposition. In particular, we give recursive formulas for the coefficient of the Schur function $s_{\m}$ in the decomposition of an even power of the Vandermonde determinant in $n + 1$ variables in terms of the coefficient of the Schur function $s_ł$ in the decomposition of the same even power of the Vandermonde determinant in $n$ variables if the Young diagram of $\m$ is obtained from the Young diagram of $ł$ by adding a tetris type shape to the top or to the left. An extended abstract containing the statement of the results presented here appeared in the Proceedings of FPSAC11

In this paper a method for embedding cocyclic submatrices with ``large'' determinants of orders 2t in certain cocyclic Hadamard matrices of orders 4t is described (t an odd integer). If these determinants attain the largest possible value, we are embedding D-optimal designs. Applications to the pivot values that appear when Gaussian Elimination with complete pivoting is performed on these cocyclic Hadamard matrices are studied.

We give new definitions for the determinant over commutative ring $K$, noncommutative ring $\mathbf{K}$, noncommutative ring $\mathcal{K}$ with associative powers, over noncommutative nonassociative ring $\mathfrak{K}$, and study their properties.

A positive definite completion problem pertains to determining whether the unspecified positions of a partial (or incomplete) matrix can be completed in a desired subclass of positive definite matrices. In this paper we study an important and new class of positive definite completion problems where the desired subclasses are the spaces of covariance and inverse-covariance matrices of probabilistic models corresponding to directed acyclic graph models (also known as Bayesian networks). We provide fast procedures that determine whether a partial matrix can be completed in either of these spaces and thereafter proceed to construct the completed matrices. We prove an analog of the positive definite completion result for undirected graphs in the context of directed acyclic graphs, and thus proceed to characterize the class of DAGs which can always be completed. We also proceed to give closed form expressions for the inverse and the determinant of a completed matrix as a function of only the elements of the corresponding partial matrix.