arXiv++ Combinatorics

We consider the geometric random (GR) graph on the $d-$dimensional torus with the $L_σ$ distance measure ($1 \leq σ\leq \infty$). Our main result is an exact characterization of the probability that a particular labeled cycle exists in this random graph. For $σ= 2$ and $σ= \infty$, we use this characterization to derive a series which evaluates to the cycle probability. We thus obtain an exact formula for the expected number of Hamilton cycles in the random graph (when $σ= \infty$ and $σ= 2$). We also consider the adjacency matrix of the random graph and derive a recurrence relation for the expected values of the elementary symmetric functions evaluated on the eigenvalues (and thus the determinant) of the adjacency matrix, and a recurrence relation for the expected value of the permanent of the adjacency matrix. The cycle probability features prominently in these recurrence relations. We calculate these quantities for geometric random graphs (in the $σ= 2$ and $σ= \infty$ case) with up to $20$ vertices, and compare them with the corresponding quantities for the Erdös-Rényi (ER) random graph with the same edge probabilities. The calculations indicate that the threshold for rapid growth in the number of Hamilton cycles (as well as that for rapid growth in the permanent of the adjacency matrix) in the GR graph is lower than in the ER graph. However, as the number of vertices $n$ increases, the difference between the GR and ER thresholds reduces, and in both cases, the threshold $\sim \log(n)/n$. Also, we observe that the expected determinant can take very large values. This throws some light on the question of the maximal determinant of symmetric $0/1$ matrices.

Given non-negative weights w_S on the k-subsets S of a km-element set V, we consider the sum of the products w_{S_1} ... w_{S_m} for all partitions V = S_1 cup ... cup S_m into pairwise disjoint k-subsets S_i. When the weights w_S are positive and within a constant factor, fixed in advance, of each other, we present a simple polynomial time algorithm to approximate the sum within a polynomial in m factor. In the process, we obtain higher-dimensional versions of the van der Waerden and Bregman-Minc bounds for permanents. We also discuss applications to counting of perfect and nearly perfect matchings in hypergraphs.

Let $\FF$ be a finite field of characteristics different from two. We show that no bijective map transforms permanent into determinant when the cardinality of $\FF$ is sufficiently large. We also give an example of non-bijective map when $\FF$ is arbitrary and an example of a bijective map when $\FF$ is infinite which do transform permanent into determinant. The developed technique allows us to estimate the probability of the permanent and the determinant of matrices over finite fields to have a given value. Our results are also true over finite rings without zero divisors.

Scott considered the determinant of 1/(y-z)^2, with y,z running over two sets X,Y of size n, and determined its specialisation when Y and Z are the roots of y^n-a and z^n-b. We give the same specialisation for the determinant 1/\prod_x(xy-z), where {x} is an arbitrary set of indeterminates. The case of the Gaudin-Izergin-Korepin is for {x}={q,1/q}.

We (1) determine the number of Latin rectangles with 11 columns and each possible number of rows, including the Latin squares of order~11, (2) answer some questions of Alter by showing that the number of reduced Latin squares of order $n$ is divisible by $f!$ where $f$ is a particular integer close to $\frac12n$, (3) provide a formula for the number of Latin squares in terms of permanents of $(+1,-1)$-matrices, (4) find the extremal values for the number of 1-factorisations of $k$-regular bipartite graphs on $2n$ vertices whenever $1\leq k\leq n\leq11$, (5) show that the proportion of Latin squares with a non-trivial symmetry group tends quickly to zero as the order increases.

In this paper we give the absolutely new proof of a conjecture of R.F.Scott(1881) on the permanent of a Cauchy matrix $\ls \frac{1}{x_i-y_j} \rs_{1 \leqslant i,j \leqslant n},$ where $x_1, ..., x_n$ and $y_1, ..., y_n$ are the distinct roots of the polynomials $x^n-1$ and $y^n +1,$ respectively. The simple formula is given for the permanent of the Cauchy matrix $A= \ls \frac{1}{x_i-y_j} \rs_{1 \leqslant i,j \leqslant n},$ where $x_1, ..., x_n$ and $y_1, ..., y_n$ are the distinct roots of the polynomials $x^n+a$ and $y^n +b$, respectively: \begin{gather*} \per (A) =\frac{n}{(b-a)^n} \prod_{k=1}^{n-1}[nb-k(b-a)] = =\begin{cases} %\begin{eqnarray} (-1)^{\frac{n-1}{2}} \cfrac{n}{(b-a)^n} \prod\limits_{k=1}^{\frac{n-1}{2}}[-na-k(b-a)][nb-k(b-a)], \mbox{if $n \equiv 1 (\mod 2)$,} \cfrac{n}{2} \cdot \cfrac{n(a+b)}{(b-a)^n} \prod\limits_{k=1}^{\frac{n}{2}-1}[na+k(b-a)][nb+k(a-b)], \mbox{if $n\equiv 0(\mod 2)$}. %\end{eqnarray} \end{cases} \end{gather*} from which the corrected formula of R.F.Scott follows instantly. Proof follows from obtained by the author a formula for the determinant of an arbitrary of the Hadamard degree $m$ of a Cauchy matrix $A$ and Borchard's theorem.

In this paper we give a generalization created by the author of the theory of rook polynomials and permanents of circulants, Toeplits matrices and their submatrices.

Celebrated work of Jerrum, Sinclair, and Vigoda has established that the permanent of a {0,1} matrix can be approximated in randomized polynomial time by using a rapidly mixing Markov chain. A separate strand of the literature has pursued the possibility of an alternate, purely algebraic, polynomial-time approximation scheme. These schemes work by replacing each 1 with a random element of an algebra A, and considering the determinant of the resulting matrix. When A is noncommutative, this determinant can be defined in several ways. We show that for estimators based on the conventional determinant, the critical ratio of the second moment to the square of the first--and therefore the number of trials we need to obtain a good estimate of the permanent--is (1 + O(1/d))^n when A is the algebra of d by d matrices. These results can be extended to group algebras, and semi-simple algebras in general. We also study the symmetrized determinant of Barvinok, showing that the resulting estimator has small variance when d is large enough. However, for constant d--the only case in which an efficient algorithm is known--we show that the critical ratio exceeds 2^{n} / n^{O(d)}. Thus our results do not provide a new polynomial-time approximation scheme for the permanent. Indeed, they suggest that the algebraic approach to approximating the permanent faces significant obstacles. We obtain these results using diagrammatic techniques in which we express matrix products as contractions of tensor products. When these matrices are random, in either the Haar measure or the Gaussian measure, we can evaluate the trace of these products in terms of the cycle structure of a suitably random permutation. In the symmetrized case, our estimates are then derived by a connection with the character theory of the symmetric group.

We point out that a geometric measure of quantum entanglement is related to the matrix permanent when restricted to permutation invariant states. This connection allows us to interpret the permanent as an angle between vectors. By employing a recently introduced permanent inequality by Carlen, Loss and Lieb, we can prove explicit formulas of the geometric measure for permutation invariant basis states in a simple way.

Combinatorial formulas expressing cyclic rook polynomials and cyclic permanents of rectangular matrices in terms of expansions along rows are presented

We study multivariate entire functions and polynomials with non-negative coefficients. A class of {\bf Strongly Log-Concave} entire functions, generalizing {\it Minkowski} volume polynomials, is introduced: an entire function $f$ in $m$ variables is called {\bf Strongly Log-Concave} if the function $(\partial x_1)^{c_1}...(\partial x_m)^{c_m} f$ is either zero or $\log((\partial x_1)^{c_1}...(\partial x_m)^{c_m} f)$ is concave on $R_{+}^{m}$. We start with yet another point of view (via {\it propagation}) on the standard univarite (or homogeneous bivariate) {\bf Newton Inequlities}. We prove analogues of (univariate) {\bf Newton Inequlities} in the (multivariate) {\bf Strongly Log-Concave} case. One of the corollaries of our new Newton(like) inequalities is the fact that the support $supp(f)$ of a {\bf Strongly Log-Concave} entire function $f$ is discretely convex ($D$-convex in our notation). The proofs are based on a natural convex relaxation of the derivatives $Der_{f}(r_1,...,r_m)$ of $f$ at zero and on the lower bounds on $Der_{f}(r_1,...,r_m)$, which generalize the {\bf Van Der Waerden-Falikman-Egorychev} inequality for the permanent of doubly-stochastic matrices. A few open questions are posed in the final section.

For a finite triangulation of the plane with faces properly coloured white and black, let A be the abelian group constructed by labelling the vertices with commuting indeterminates and adding relations which say that the labels around each white triangle add to the identity. We show that A has free rank exactly two. Let A* be the torsion subgroup of A, and B* the corresponding group for the black triangles. We show that A* and B* have the same order, and conjecture that they are isomorphic. For each spherical latin trade W, we show there is a unique disjoint mate B such that (W,B) is a connected and separated bitrade. The bitrade (W,B) is associated with a two-colourable planar triangulation and we show that W can be embedded in A*, thereby proving a conjecture due to Cavenagh and Drapal. The proof involves constructing a (0,1) presentation matrix whose permanent and determinant agree up to sign. The Smith Normal Form of this matrix determines A*, so there is an efficient algorithm to construct the embedding. Contrasting with the spherical case, for each genus g>0 we construct a latin trade which is not embeddable in any group and another that is embeddable in a cyclic group. We construct a sequence of spherical latin trades which cannot be embedded in any family of abelian groups whose torsion ranks are bounded. Also, we show that any trade that can be embedded in a finitely generated abelian group can be embedded in a finite abelian group. As a corollary, no trade can be embedded in a free abelian group.

The objective of this paper is to develop a general algebraic theory of supertropical matrix algebra, extending [11]. Our main results are as follows: * The tropical determinant (i.e., permanent) is multiplicative when all the determinants involved are tangible. * There exists an adjoint matrix $\adj{A}$ such that the matrix $A \adj{A}$ behaves much like the identity matrix (times $|A|$). * Every matrix $A$ is a supertropical root of its Hamilton-Cayley polynomial $f_A$. If these roots are distinct, then $A$ is conjugate (in a certain supertropical sense) to a diagonal matrix. * The tropical determinant of a matrix $A$ is a ghost iff the rows of $A$ are tropically dependent, iff the columns of $A$ are tropically dependent. * Every root of $f_A$ is a "supertropical" eigenvalue of $A$ (appropriately defined), and has a tangible supertropical eigenvector.

We show that the permanent of an $n \times n$ matrix with iid Bernoulli entries $\pm 1$ is of magnitude $n^{({1/2}+o(1))n}$ with probability $1-o(1)$. In particular, it is almost surely non-zero.

We present a randomized approximation algorithm for counting contingency tables, mxn non-negative integer matrices with given row sums R=(r_1, ..., r_m) and column sums C=(c_1, ..., c_n). We define smooth margins (R,C) in terms of the typical table and prove that for such margins the algorithm has quasi-polynomial N^{O(ln N)} complexity, where N=r_1+...+r_m=c_1+...+c_n. Various classes of margins are smooth, e.g., when m=O(n), n=O(m) and the ratios between the largest and the smallest row sums as well as between the largest and the smallest column sums are strictly smaller than the golden ratio (1+sqrt{5})/2 = 1.618. The algorithm builds on Monte Carlo integration and sampling algorithms for log-concave densities, the matrix scaling algorithm, the permanent approximation algorithm, and an integral representation for the number of contingency tables.

We give an upper bound on the number of perfect matchings in an undirected simple graph $G$ with an even number of vertices, in terms of the degrees of all the vertices in $G$. This bound is sharp if $G$ is a union of complete bipartite graphs. This bound is a generalization of the upper bound on the number of perfect matchings in bipartite graphs on $n+n$ vertices given by the Bregman-Minc inequality for the permanents of $(0,1)$ matrices.

Let $p$ be a homogeneous polynomial of degree $n$ in $n$ variables, $p(z_1,...,z_n) = p(Z)$, $Z \in C^{n}$. We call such a polynomial $p$ {\bf H-Stable} if $p(z_1,...,z_n) \neq 0$ provided the real parts $Re(z_i) > 0, 1 \leq i \leq n$. This notion from {\it Control Theory} is closely related to the notion of {\it Hyperbolicity} used intensively in the {\it PDE} theory. The main theorem in this paper states that if $p(x_1,...,x_n)$ is a homogeneous {\bf H-Stable} polynomial of degree $n$ with nonnegative coefficients; $deg_{p}(i)$ is the maximum degree of the variable $x_i$, $C_i = \min(deg_{p}(i),i)$ and $$ Cap(p) = \inf_{x_i > 0, 1 \leq i \leq n} \frac{p(x_1,...,x_n)}{x_1 ... x_n} $$ then the following inequality holds $$ \frac{\partial^n}{\partial x_1... \partial x_n} p(0,...,0) \geq Cap(p) \prod_{2 \leq i \leq n} (\frac{C_i -1}{C_i})^{C_{i}-1}. $$ This inequality is a vast (and unifying) generalization of the Van der Waerden conjecture on the permanents of doubly stochastic matrices as well as the Schrijver-Valiant conjecture on the number of perfect matchings in $k$-regular bipartite graphs. These two famous results correspond to the {\bf H-Stable} polynomials which are products of linear forms. Our proof is relatively simple and ``noncomputational''; it uses just very basic properties of complex numbers and the AM/GM inequality.

Calculating the permanent of a (0,1) matrix is a #P-complete problem but there are some classes of structured matrices for which the permanent is calculable in polynomial time. The most well-known example is the fixed-jump (0,1) circulant matrix which, using algebraic techniques, was shown by Minc to satisfy a constant-coefficient fixed-order recurrence relation. In this note we show how, by interpreting the problem as calculating the number of cycle-covers in a directed circulant graph, it is straightforward to reprove Minc's result using combinatorial methods. This is a two step process: the first step is to show that the cycle-covers of directed circulant graphs can be evaluated using a transfer matrix argument. The second is to show that the associated transfer matrices, while very large, actually have much smaller characteristic polynomials than would a-priori be expected. An important consequence of this new viewpoint is that, in combination with a new recursive decomposition of circulant-graphs, it permits extending Minc's result to calculating the permanent of the much larger class of circulant matrices with non-fixed (but linear) jumps. It also permits us to count other types of structures in circulant graphs, e.g., Hamiltonian Cycles.

The permanent of a square matrix is defined in a way similar to the determinant, but without using signs. The exact computation of the permanent is hard, but there are Monte-Carlo algorithms that can estimate general permanents. Given a planar diagram of a link L with $n$ crossings, we define a 7n by 7n matrix whose permanent equals to the Jones polynomial of L. This result accompanied with recent work of Freedman, Kitaev, Larson and Wang provides a Monte-Carlo algorithm to any decision problem belonging to the class BQP, i.e. such that it can be computed with bounded error in polynomial time using quantum resources.

Let ${\bf K} = (K_1, ..., K_n)$ be an $n$-tuple of convex compact subsets in the Euclidean space $\R^n$, and let $V(\cdot)$ be the Euclidean volume in $\R^n$. The Minkowski polynomial $V_{\bf K}$ is defined as $V_{\bf K}(λ_1, ... ,λ_n) = V(λ_1 K_1 +, ..., + λ_n K_n)$ and the mixed volume $V(K_1, ..., K_n)$ as $$ V(K_1, ..., K_n) = \frac{\partial^n}{\partial λ_1...\partial λ_n} V_{\bf K}(λ_1 K_1 +, ..., + λ_n K_n). $$ Our main result is a poly-time algorithm which approximates $V(K_1, ..., K_n)$ with multiplicative error $e^n$ and with better rates if the affine dimensions of most of the sets $K_i$ are small. Our approach is based on a particular approximation of $\log(V(K_1, ..., K_n))$ by a solution of some convex minimization problem. We prove the mixed volume analogues of the Van der Waerden and Schrijver-Valiant conjectures on the permanent. These results, interesting on their own, allow us to justify the abovementioned approximation by a convex minimization, which is solved using the ellipsoid method and a randomized poly-time time algorithm for the approximation of the volume of a convex set.