arXiv++ Combinatorics

We construct a deterministic approximation algorithm for computing a permanent of a $0,1$ $n$ by $n$ matrix to within a multiplicative factor $(1+ε)^n$, for arbitrary $ε>0$. When the graph underlying the matrix is a constant degree expander our algorithm runs in polynomial time (PTAS). In the general case the running time of the algorithm is $\exp(O(n^{2\over 3}\log^3n))$. For the class of graphs which are constant degree expanders the first result is an improvement over the best known approximation factor $e^n$ obtained in \cite{LinialSamorodnitskyWigderson}. Our results use a recently developed deterministic approximation algorithm for counting partial matchings of a graph Bayati et al., and Jerrum-Vazirani decomposition method.

Let S and T be vectors of positive integers with the same sum. We study the uniform distribution on the space of simple bipartite graphs with degree sequence S in one part and T in the other; equivalently, binary matrices with row sums S and column sums T. In particular, we find precise formulae for the probabilities that a given bipartite graph is edge-disjoint from, a subgraph of, or an induced subgraph of a random graph in the class. We also give similar formulae for the uniform distribution on the set of simple directed graphs with out-degrees S and in-degrees T. In each case, the graphs or digraphs are required to be sufficiently dense, with the degrees varying within certain limits, and the subgraphs are required to be sufficiently sparse. Previous results were restricted to spaces of sparse graphs. Our theorems are based on an enumeration of bipartite graphs avoiding a given set of edges, proved by multidimensional complex integration. As a sample application, we determine the expected permanent of a random binary matrix with row sums S and column sums T.

A recent conjecture of Caputo, Carlen, Lieb, and Loss, and, independently, of the author, states that the maximum of the permanent of a matrix whose rows are unit vectors in l_p is attained either for the identity matrix I or for a constant multiple of the all-1 matrix J. The conjecture is known to be true for p = 1 (I) and for p \ge 2 (J). We prove the conjecture for a subinterval of (1,2), and show the conjectured upper bound to be true within a subexponential factor (in the dimension) for all 1 < p < 2. In fact, for p bounded away from 1, the conjectured upper bound is true within a constant factor. This leads to a mild (subexponential) improvement in deterministic approximation factor for the permanent. We present an efficient deterministic algorithm that approximates the permanent of a nonnegative n\times n matrix within exp{n - O(n/\log n)}.

We provide the Grobner basis and the primary decomposition of the ideals generated by 2 by 2 permanents of Hankel matrices.

Given m positive integers R=(r_i), n positive integers C=(c_j) such that sum r_i = sum c_j =N, and mn non-negative weights W=(w_{ij}), we consider the total weight T=T(R, C; W) of non-negative integer matrices (contingency tables) D=(d_{ij}) with the row sums r_i, column sums c_j, and the weight of D equal to prod w_{ij}^{d_{ij}}. We present a randomized algorithm of a polynomial in N complexity which computes a number T'=T'(R,C; W) such that T' < T < alpha(R, C) T' where alpha(R,C) = min{prod r_i! r_i^{-r_i}, prod c_j! c_j^{-c_j}} N^N/N!. In many cases, ln T' provides an asymptotically accurate estimate of ln T. The idea of the algorithm is to express T as the expectation of the permanent of an N x N random matrix with exponentially distributed entries and approximate the expectation by the integral T' of an efficiently computable log-concave function on R^{mn}. Applications to counting integer flows in graphs are also discussed.

Let $p(x_1,...,x_n) = p(X), X \in R^{n}$ be a homogeneous polynomial of degree $n$ in $n$ real variables, $e = (1,1,..,1) \in R^n$ be a vector of all ones . Such polynomial $p$ is called $e$-hyperbolic if for all real vectors $X \in R^{n}$ the univariate polynomial equation $P(te - X) = 0$ has all real roots $λ_{1}(X) \geq ... \geq λ_{n}(X)$ . The number of nonzero roots $|\{i :λ_{i}(X) \neq 0 \}|$ is called $Rank_{p}(X)$ . A $e$-hyperbolic polynomial $p$ is called $POS$-hyperbolic if roots of vectors $X \in R^{n}_{+}$ with nonnegative coordinates are also nonnegative (the orthant $R^{n}_{+}$ belongs to the hyperbolic cone) and $p(e) > 0$ . Below $\{e_1,...,e_n\}$ stands for the canonical orthogonal basis in $R^{n}$. The main results states that if $p(x_1,x_2,...,x_n)$ is a $POS$-hyperbolic (homogeneous) polynomial of degree $n$, $Rank_{p} (e_{i}) = R_i$ and $ p(x_1,x_2,...,x_n) \geq \prod_{1 \leq i \leq n} x_i ; x_i > 0, 1 \leq i \leq n , $ then the following inequality holds $$ \frac{\partial^n}{\partial x_1...\partial x_n} p(0,...,0) \geq \prod_{1 \leq i \leq n} (\frac{G_{i} -1}{G_{i}})^{G_{i} -1} (G_i = \min(R_{i}, n+1-i)) . $$ This theorem is a vast (and unifying) generalization of as the van der Waerden conjecture on the permanents of doubly stochastic matrices as well Schrijver-Valiant conjecture on the number of perfect matchings in $k$-regular bipartite graphs . The paper is (almost) self-contained, most of the proofs can be found in the {\bf Appendices}.

In this paper we discuss minimal primes over permanental ideals of generic matrices. We give a complete list of the minimal primes over ideals of 3 x 3 permanents of a generic matrix, and show that there are monomials in the ideal of maximal permanents of a d x 2d-1 matrix if the characteristic of the ground field is sufficiently large. We also discuss the Alon-Jaeger-Tarsi Conjecture, using our results and techniques to strenthen the previously known results.

Consider a homogeneous polynomial $p(z_1,...,z_n)$ of degree $n$ in $n$ complex variables . Assume that this polynomial satisfies the property : \\ $|p(z_1,...,z_n)| \geq \prod_{1 \leq i \leq n} Re(z_i)$ on the domain $\{(z_1,...,z_n) : Re(z_i) \geq 0, 1 \leq i \leq n \}$ . \\ We prove that $|\frac{\partial^n}{\partial z_1...\partial z_n} p | \geq \frac{n!}{n^n}$ . Our proof is relatively short and self-contained (i.e. we only use basic properties of hyperbolic polynomials). As the van der Waerden conjecture for permanents, proved by D.I. Falikman and G.P. Egorychev, as well Bapat's conjecture for mixed discriminants, proved by the author, are particular cases of this result. We also prove so called "small rank" lower bound (in the permanents context it corresponds to sparse doubly-stochastic matrices, i.e. with small number of non-zero entries in each column). The later lower bound generalizes (with simpler proofs) recent lower bounds by A.Schrijver for the number of perfect matchings of $k$-regular bipartite graphs. We present some important algorithmic applications of the result, including a polynomial time deterministic algorithm approximating the permanent of $n \times n$ nonnegative entry-wise matrices within multiplicative factor $\frac{e^n}{n^m}$ for any fixed positive $m$ .

We represent the number of mxn non-negative integer matrices (contingency tables) with prescribed row sums and column sums as the expected value of the permanent of a non-negative random matrix with exponentially distributed entries. We bound the variance of the obtained estimator, from which it follows that if the row and column sums are bounded by a constant fixed in advance, we get a polynomial time approximation scheme for counting contingency tables. We show that the complete symmetric polynomial of a fixed degree in n variables can be epsilon-approximated coefficient-wise by a sum of powers of O(log n) linear forms, from which it follows that if the row sums (but not necessarily column sums) are bounded by a constant, there is a deterministic approximation algorithm of m^{O(log n)} complexity to compute the logarithmic asymptotic of the number of tables.

R. Redheffer described an $n\times n$ matrix of 0's and 1's the size of whose determinant is connected to the Riemann Hypothesis. We describe the permutations that contribute to its determinant and evaluate its permanent in terms of integer factorizations. We generalize the Redheffer matrix to finite posets that have a 0 element and find the analogous results in the more general situation.

We study the determinant of the pxp circulant matrix whose first row is (1,-x,0,...,0,-y,0,...,0), the -y being in position q+1. The coefficients of this polynomial are integers that count certain classes of permutations. We show that all of the permutations that contribute to a fixed monomial x^ry^s have the same sign, and we determine that sign. We prove that a monomial x^ry^s appears if and only if p divides r+sq. Finally, we show that the size of the largest coefficient of the monomials that appear grows exponentially with p. We do this by proving that the permanent of the circulant whose first row is (1,1,0,...,0,1,0,...,0) is the sum of the absolute values of the coefficients of the monomials in the original determinant.

This article could be called "theme and variations" on Cantor's celebrated diagonal argument. Given a square nxn tableau T=(a_i^j) on a finite alphabet A, let L be the set of its row-words. The permanent Perm(T) is the set of words a_{π(1)}^1 a_{π(2)}^2 ...a_{π(n)}^n, where πruns through the set of permutations of n elements. Cantorian tableaux are those for which Perm(T)\cap L=\emptyset. Let s=s(n) be the cardinality of A. We show in particular that for large n, if s(n) <(1-ε) n/log n then most of the tableaux are non-Cantorian, whereas if s(n) >(1+ε) n/log n then most of the tableaux are Cantorian. We conclude our article by the study of infinite tableaux. Consider for example the infinite tableaux whose rows are the binary expansions of the real algebraic numbers in the unit interval. We show that the permanent of this tableau contains exactly the set of binary expansions of all the transcendental numbers in the unit interval.

Immanants are polynomial functions of n by n matrices attached to irreducible characters of the symmetric group S_n, or equivalently to Young diagrams of size n. Immanants include determinants and permanents as extreme cases. Valiant proved that computation of permanents is a complete problem in his algebraic model of NP theory, i.e., it is VNP-complete. We prove that computation of immanants is VNP-complete if the immanants are attached to a family of diagrams whose separation is $Ω(n^δ)$ for some $δ>0$. We define the separation of a diagram to be the largest number of overhanging boxes contained in a single row. Our theorem proves a conjecture of Buergisser for a large variety of families, and in particular we recover with new proofs his VNP-completeness results for hooks and rectangles.

Let A=(a_(ij)) be the generic n by n circulant matrix given by a_(ij)=x_(i+j), with subscripts on x interpreted mod n. Define d(n) (resp. p(n)) to be the number of terms in the determinant (resp. permanent) of A. The function p(n) is well-known and has several combinatorial interpretations. The function d(n), on the other hand, has not been studied previously. We show that when n is a prime power, d(n)=p(n). The proof uses symmetric functions.

A polynomial P in n complex variables is said to have the "half-plane property" (or Hurwitz property) if it is nonvanishing whenever all the variables lie in the open right half-plane. Such polynomials arise in combinatorics, reliability theory, electrical circuit theory and statistical mechanics. A particularly important case is when the polynomial is homogeneous and multiaffine: then it is the (weighted) generating polynomial of an r-uniform set system. We prove that the support (set of nonzero coefficients) of a homogeneous multiaffine polynomial with the half-plane property is necessarily the set of bases of a matroid. Conversely, we ask: For which matroids M does the basis generating polynomial P_{B(M)} have the half-plane property? Not all matroids have the half-plane property, but we find large classes that do: all sixth-root-of-unity matroids, and a subclass of transversal (or cotransversal) matroids that we call "nice". Furthermore, the class of matroids with the half-plane property is closed under minors, duality, direct sums, 2-sums, series and parallel connection, full-rank matroid union, and some special cases of principal truncation, principal extension, principal cotruncation and principal coextension. Our positive results depend on two distinct (and apparently unrelated) methods for constructing polynomials with the half-plane property: a determinant construction (exploiting "energy" arguments), and a permanent construction (exploiting the Heilmann-Lieb theorem on matching polynomials). We conclude with a list of open questions.

We introduce a new notion of the determinant, called symmetrized determinant, for a square matrix with the entries in an associative algebra $Å$. The monomial expansion of the symmetrized determinant is obtained from the standard expansion of the commutative determinant by averaging the products of entries of the matrix in all possible orders. We show that for any fixed finite-dimensional associative algebra $Å$, the symmetrized determinant of an $n\times n$ matrix with the entries in $Å$ can be computed in polynomial in $n$ time (the degree of the polynomial is linear in the dimension of $Å$). Then, for every associative algebra $Å$ endowed with a scalar product and unbiased probability measure, we construct a randomized polynomial time algorithm to estimate the permanent of non-negative matrices. We conjecture that if $Å=\Mat(d, {\Bbb R})$ is the algebra of $d\times d$ real matrices endowed with the standard scalar product and Gaussian measure, the algorithm approximates the permanent of a non-negative $n \times n$ matrix within $O(γ_d^n)$ factor, where $\lim_{d \longrightarrow +\infty} γ_d=1$. Finally, we provide some informal arguments why the conjecture might be true.

We develop general methods to obtain fast (polynomial time) estimates of the cardinality of a combinatorially defined set via solving some randomly generated optimization problems on the set. Geometrically, we estimate the cardinality of a subset of the Boolean cube via the average distance from a point in the cube to the subset. As an application, we present a new randomized polynomial time algorithm which approximates the permanent of a 0-1 matrix by solving a small number of Assignment problems.

Let $x_1,x_2,...,x_n$ be the zeroes of a polynomial P(x) of degree n and $y_1,y_2,...,y_m$ be the zeroes of another polynomial Q(y) of degree m. Our object of study is the permanent $\per(1/(x_i-y_j))_{1\le i\le n, 1\le j\le m}$, here named "Scott-type" permanent, the case of $P(x)=x^n-1$ and $Q(y)=y^n+1$ having been considered by R. F. Scott. We present an efficient approach to determining explicit evaluations of Scott-type permanents, based on generalizations of classical theorems by Cauchy and Borchardt, and of a recent theorem by Lascoux. This continues and extends the work initiated by the first author ("Généralisation de l'identité de Scott sur les permanents," to appear in Linear Algebra Appl.). Our approach enables us to provide numerous closed form evaluations of Scott-type permanents for special choices of the polynomials P(x) and Q(y), including generalizations of all the results from the above mentioned paper and of Scott's permanent itself. For example, we prove that if $P(x)=x^n-1$ and $Q(y)=y^{2n}+y^n+1$ then the corresponding Scott-type permanent is equal to $(-1)^{n+1}n!$.

Given a 0-1 square matrix A, when can some of the 1's be changed to -1's in such a way that the permanent of A equals the determinant of the modified matrix? When does a real square matrix have the property that every real matrix with the same sign pattern (that is, the corresponding entries either have the same sign or are both zero) is nonsingular? When is a hypergraph with n vertices and n hyperedges minimally nonbipartite? When does a bipartite graph have a "Pfaffian orientation"? Given a digraph, does it have no directed circuit of even length? Given a digraph, does it have a subdivision with no even directed circuit? It is known that all of the above problems are equivalent. We prove a structural characterization of the feasible instances, which implies a polynomial-time algorithm to solve all of the above problems. The structural characterization says, roughly speaking, that a bipartite graph has a Pfaffian orientation if and only if it can be obtained by piecing together (in a specified way) planar bipartite graphs and one sporadic nonplanar bipartite graph.

We extend the planar Pfaffian formalism for the evaluation of the Ising partition function to lattices of high topological genus g. The 3D Ising model on a cubic lattice, where g is proportional to the number of sites, is discussed in detail. The expansion of the partition function is given in terms of 2^{2 g} Pfaffians classified by the oriented homology cycles of the lattice, i.e. by its spin-structures. Correct counting is guaranteed by a signature term which depends on the topological intersection of the oriented cycles through a simple bilinear formula. The role of a gauge symmetry arising in the above expansion is discussed. The same formalism can be applied to the counting problem of perfect matchings over general lattices and provides a determinant expansion of the permanent of 0-1 matrices.