arXiv++ Combinatorics

Operators are induced on fermion and zeon algebras by the action of adjacency matrices and combinatorial Laplacians on the vector spaces spanned by the graph's vertices. Properties of the algebras automatically give information about the graph's spanning trees and vertex coverings by cycles \& matchings. Combining the properties of operators induced on fermions and zeons gives a fermion-zeon convolution that recovers the number of Hamiltonian cycles in an arbitrary graph. The mathematics underlying the graph-theoretic interpretation of these operators is provided by Kirchhoff's theorem and by the seminal works of Goulden and Jackson and Liu, who established formulas for enumeration of Hamiltonian cycles and paths using determinants and permanents of adjacency matrices.

We would desire to have done the calculations of this paper in the measure on nxn matrices that weights uniformly all 0-1 matrices with row and column sum equal to r, other matrices given weight zero. Instead we work with all matrices that are the sum of r independent uniformly weighted permutation matrices, with the hope that the computations we perform give the same result in this measure. We derive the result for limiting expectations lim (1/n)ln(E(perm_m(A) perm_m'(A))) =lim (1/n)ln(E(perm_m(A)))+ +lim (1/n)ln(E(perm_m'(A))) Here the limit is n to infinity, r is fixed, and m and m' are taken as each proportional to n.

We present a deterministic algorithm, which, for any given 0< epsilon < 1 and an nxn real or complex matrix A=(a_{ij}) such that | a_{ij}-1| < 0.19 for all i, j computes the permanent of A within relative error epsilon in n^{O(ln n -ln epsilon)} time. The method can be extended to computing hafnians and multidimensional permanents.

An analytical solution for the posterior estimate in Bayesian tomography of the unknown quantum state of an arbitrary quantum system (with a finite-dimensional Hilbert space) is found. First, we derive the Bayesian estimate for a pure quantum state measured by a set of arbitrary rank-1 POVMs under the uninformative (i.e. the unitary invariant or Haar) prior. The expression for the estimate involves the matrix permanents of the Gram matrices with repeated rows and columns, with the matrix elements being the scalar products of vectors giving the measurement outcomes. Second, an unknown mixed state is treated by the Hilbert-Schmidt purification. In this case, under the uninformative prior for the combined pure state, the posterior estimate of the mixed state of the system is expressed through the matrix $α$-permanents of the Gram matrices of scalar products of vectors giving the measurement outcomes. In the mixed case, there is also a free integer parameter -- the Schmidt number -- which can be used to optimise the Bayesian reconstruction (for instance, in case of Schimdt number being equal to 1, the mixed state estimates reduces to the pure state estimate). We also discuss the perspectives of approximate numerical computation and asymptotic analytical evaluation of the Bayesian estimate using the derived formula.

It is well-known that the evaluation of the permanent of an arbitrary $(-1,1)$-matrix is a formidable problem. Ryser's formula is one of the fastest known general algorithms for computing permanents. In this paper, Ryser's formula has been rewritten for the special case of Sylvester Hadamard matrices by using their cocyclic construction. The rewritten formula presents an important reduction in the number of sets of $r$ distinct rows of the matrix to be considered. However, the algorithm needs a preprocessing part which remains time-consuming in general.

We conjecture that the balanced complete bipartite graph $K_{\lfloor n/2 \rfloor,\lceil n/2 \rceil}$ contains more cycles than any other $n$-vertex triangle-free graph, and we make some progress toward proving this. We give equivalent conditions for cycle-maximal triangle-free graphs; show bounds on the numbers of cycles in graphs depending on numbers of vertices and edges, girth, and homomorphisms to small fixed graphs; and use the bounds to show that among regular graphs, the conjecture holds. We also consider graphs that are close to being regular, with the minimum and maximum degrees differing by at most a positive integer $k$. For $k=1$, we show that any such counterexamples have $n\le 91$ and are not homomorphic to $C_5$; and for any fixed $k$ there exists a finite upper bound on the number of vertices in a counterexample. Finally, we describe an algorithm for efficiently computing the matrix permanent (a #P-complete problem in general) in a special case used by our bounds.

To compute solutions of sparse polynomial systems efficiently we have to exploit the structure of their Newton polytopes. While the application of polyhedral methods naturally excludes solutions with zero components, an irreducible decomposition of a variety is typically understood in affine space, including also those components with zero coordinates. We present a polyhedral method to compute all affine solution sets of a polynomial system. The method enumerates all factors contributing to a generalized permanent. Toric solution sets are recovered as a special case of this enumeration. For sparse systems as adjacent 2-by-2 minors our methods scale much better than the techniques from numerical algebraic geometry.

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.

In this paper, we define four transformations on the classical Catalan triangle $\mathcal{C}=(C_{n,k})_{n\geq k\geq 0}$ with $C_{n,k}=\frac{k+1}{n+1}\binom{2n-k}{n}$. The first three ones are based on the determinant and the forth is utilizing the permanent of a square matrix. It not only produces many known and new identities involving Catalan numbers, but also provides a new viewpoint on combinatorial triangles.

We show that the permanent of a matrix is a linear combination of determinants of block diagonal matrices which are simple functions of the original matrix. To prove this, we first show a more general identity involving α-permanents: for arbitrary complex numbers αand β, we show that the α-permanent of any matrix can be expressed as a linear combination of β-permanents of related matrices. Some other identities for the α-permanent of sums and products of matrices are shown, as well as a relationship between the α-permanent and general immanants. We conclude with a discussion of the computational complexity of the α-permanent and provide some numerical illustrations.

We show that the weight enumerator of any binary linear code is equal to the permanent of a 3-dimensional hypermatrix (3-matrix). We also show that each permanent is a determinant of a 3-matrix. As an application we write the dimer partition function of a finite 3-dimensional cubic lattice as the determinant of the vertex-adjacency 3-matrix of a 2-dimensional simplicial complex which preserves the natural embedding of the cubic lattice.

The main result of this paper is a coefficient formula that sharpens and generalizes Alon and Tarsi's Combinatorial Nullstellensatz, which provides some information about the polynomial map $P|_{\X_1\times...\times\X_n}$ when only incomplete information about the polynomial $P(X_1,...c,X_n)$ is given. In a very general working frame, the grid points $x\in\X_1\times\...b\times\X_n$ which do not vanish under an algebraic solution -- a certain describing polynomial $P(X_1,...c,X_n)$ -- correspond to the explicit solutions of a problem. As a consequence of the coefficient formula, we prove that the existence of an algebraic solution is equivalent to the existence of a nontrivial solution to a problem. By a problem, we mean everything that "owns" both, a set $§$, which may be called the \emph{set of solutions}; and a subset $\St\subseteq§$, the \emph{set of trivial solutions}. We give several examples of how to find algebraic solutions, and how to apply our coefficient formula. These examples are mainly from graph theory and combinatorial number theory, but we also prove several versions of Chevalley and Warning's Theorem, including a generalization of Olson's Theorem, as examples and useful corollaries. We obtain a permanent formula by applying our coefficient formula to the matrix polynomial, which is a generalization of the graph polynomial. This formula is an integrative generalization and sharpening of: 1. Ryser's permanent formula. 2. Alon's Permanent Lemma. 3. Alon and Tarsi's Theorem about orientations and colorings of graphs. Furthermore, in combination with the Vigneron-Ellingham-Goddyn property of planar (n)regular graphs, the formula contains as very special cases: 4. Scheim's formula for the number of edge (n)-colorings of such graphs. 5. Ellingham and Goddyn's partial answer to the list coloring conjecture.

We present a general method for counting and packing Hamilton cycles in dense graphs and oriented graphs, based on permanent estimates. We utilize this approach to prove several extremal results. In particular, we show that every nearly $cn$-regular oriented graph on $n$ vertices with $c>3/8$ contains $(cn/e)^n(1+o(1))^n$ directed Hamilton cycles. This is an extension of a result of Cuckler, who settled an old conjecture of Thomassen about the number of Hamilton cycles in regular tournaments. We also prove that every graph $G$ on $n$ vertices of minimum degree at least $(1/2+\varepsilon)n$ contains at least $(1-\varepsilon)\textrm{reg}_{even}(G)/2$ edge-disjoint Hamilton cycles, where $\reg(G)$ is the maximum \emph{even} degree of a spanning regular subgraph of $G$. This establishes an approximate version of a conjecture of Kühn, Lapinskas and Osthus.

The trees, respectively unicyclic graphs, on $n$ vertices with the smallest Laplacian permanent are studied. In this paper, by edge-grafting transformations, the $n$-vertex trees of given bipartition having the second and third smallest Laplacian permanent are identified. Similarly, the $n$-vertex bipartite unicyclic graphs of given bipartition having the first, second and third smallest Laplacian permanent are characterized. Consequently, the $n$-vertex bipartite unicyclic graphs with the first, second and third smallest Laplacian permanent are determined.

We show conditional lower bounds for well-studied #P-hard problems: (a) The number of satisfying assignments of a 2-CNF formula with n variables cannot be counted in time exp(o(n)), and the same is true for computing the number of all independent sets in an n-vertex graph. (b) The permanent of an n x n matrix with entries 0 and 1 cannot be computed in time exp(o(n)). (c) The Tutte polynomial of an n-vertex multigraph cannot be computed in time exp(o(n)) at most evaluation points (x,y) in the case of multigraphs, and it cannot be computed in time exp(o(n/polylog n)) in the case of simple graphs. Our lower bounds are relative to (variants of) the Exponential Time Hypothesis (ETH), which says that the satisfiability of n-variable 3-CNF formulas cannot be decided in time exp(o(n)). We relax this hypothesis by introducing its counting version #ETH, namely that the satisfying assignments cannot be counted in time exp(o(n)). In order to use #ETH for our lower bounds, we transfer the sparsification lemma for d-CNF formulas to the counting setting.

A determinantal approximation is obtained for the permanent of a doubly stochastic matrix. For moderate-deviation matrix sequences, the asymptotic relative error is of order $O(n^{-1})$.

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.

The research in parallel machine scheduling in combinatorial optimization suggests that the desirable parallel efficiency could be achieved when the jobs are sorted in the non-increasing order of processing times. In this paper, we find that the time spending for computing the permanent of a sparse matrix by hybrid algorithm is strongly correlated to its permanent value. A strategy is introduced to improve a parallel algorithm for sparse permanent. Methods for approximating permanents, which have been studied extensively, are used to approximate the permanent values of sub-matrices to decide the processing order of jobs. This gives an improved load balancing method. Numerical results show that the parallel efficiency is improved remarkably for the permanents of fullerene graphs, which are of great interests in nanoscience.

This survey paper deals with upper and lower bounds on the number of $k$-matchings in regular graphs on $N$ vertices. For the upper bounds we recall the upper matching conjecture which is known to hold for perfect matchings. For the lower bounds we first survey the known results for bipartite graphs, and their continuous versions as the van der Waerden and Tverberg permanent conjectures and its variants. We then discuss non-bipartite graphs. Little is known beyond the recent proof of the Lovász-Plummer conjecture on the exponential growth of perfect matchings in cubic bridgeless graphs. We discuss the problem of the minimum of haffnians on the convex set of matrices, whose extreme points are the adjacency matrices of subgraphs of the complete graph corresponding to perfect matchings. We also consider infinite regular graphs. The analog of $k$-matching is the $p$-monomer entropy, where $p\in [0,1]$ is the density of the number of matchings.

Given an undirected graph $G$, we define a new object $H_G$, called the mp-chart of $G$, in the max-plus algebra. We use it, together with the max-plus permanent, to describe the complexity of graphs. We show how to compute the mean and the variance of $H_G$ in terms of the adjacency matrix of $G$ and we give a central limit theorem for $H_G$. Finally, we show that the mp-chart is easily tractable also for the complement graph.