arXiv++ Combinatorics

Continuing the computations of the previous paper,[1], we calculate another approximation to the expectation value of the product of two permanents in the ensemble of 0-1 n x n matrices with like row and column sums equal r uniformly weighted. Here we consider the Bernoulli random matrix ensemble where each entry independently has a probability p=r/n of being one, otherwise zero. We denote the expectations of the approximation ensemble of [1] by E, and the expectations of the present approximation ensemble, the Bernoulli random matrix ensemble, by E*. One has for these lim_{r to infinity}( lim_{n to infinity} (1/n) ln(E(perm_m(A))) -lim_{n to infinity} (1/n) ln(E*(perm_m(A))) ) = 0 and lim_{n to infinity} (1/n) ln(E(perm_m(A)perm_m'(A))) = lim_{n to infinity} (1/n) ln(E(perm_m(A))) + lim_{n to infinity} (1/n) ln(E(perm_m'(A))) Here and in all such formulas the subscripts m,m' are assumed proportional to n. It seems likely to us that lim_{r to infinity}( lim_{n to infinity} (1/n) ln(E*(perm_m(A)perm_m'(A))) - lim_{n to infinity} (1/n) ln(E*(perm_m(A))) + - lim_{n to infinity} (1/n) ln(E*(perm_m'(A))) ) = 0 We believe: "E gives us the `correct' expectations in these equations, and E* is only `correct' in the r to infinity limit."

We study the combinatorics of tropical hyperplane arrangements, and their relationship to (classical) hyperplane face monoids. We show that the refinement operation on the faces of a tropical hyperplane arrangement, introduced by Ardila and Develin in their definition of a tropical oriented matroid, induces an action of the hyperplane face monoid of the classical braid arrangement on the arrangement, and hence on a number of interesting related structures. Along the way, we introduce a new characterization of the types (in the sense of Develin and Sturmfels) of points with respect to a tropical hyperplane arrangement, in terms of partial bijections which attain permanents of submatrices of a matrix which naturally encodes the arrangement.

Björklund and Husfeldt developed a randomized polynomial time algorithm to solve the shortest two disjoint paths problem. Their algorithm is based on computation of permanents modulo 4 and the isolation lemma. In this paper, we consider the following generalization of the shortest two disjoint paths problem, and develop a similar algebraic algorithm. The shortest perfect $(A+B)$-path packing problem is: given an undirected graph $G$ and two disjoint node subsets $A,B$ with even cardinalities, find a shortest $|A|/2+|B|/2$ disjoint paths whose ends are both in $A$ or both in $B$. Besides its NP-hardness, we prove that this problem can be solved in randomized polynomial time if $|A|+|B|$ is fixed. Our algorithm basically follows the framework of Björklund and Husfeldt but uses a new technique: computation of hafnian modulo $2^k$ combined with Gallai's reduction from $T$-paths to matchings. We also generalize our technique for solving other path packing problems, and discuss its limitation.

We prove that the logarithm of the permanent of an nxn real matrix A and the logarithm of the hafnian of a 2nx2n real symmetric matrix A can be approximated within an additive error 1 > epsilon > 0 by a polynomial p in the entries of A of degree O(ln n - ln epsilon) provided the entries a_ij of A satisfy delta < a_ij < 1 for an arbitrarily small delta > 0, fixed in advance. Moreover, the polynomial p can be computed in n^{O(ln n - ln epsilon)} time. We also improve bounds for approximating ln per A, ln haf A and logarithms of multi-dimensional permanents for complex matrices and tensors A.

We prove that in the geometric complexity theory program the vanishing of rectangular Kronecker coefficients cannot be used to prove superpolynomial determinantal complexity lower bounds for the permanent polynomial. Moreover, we prove the positivity of rectangular Kronecker coefficients for a large class of partitions where the side lengths of the rectangle are at least quadratic in the length of the partition. We also compare rectangular Kronecker coefficients with their corresponding plethysm coefficients, which leads to a new lower bound for rectangular Kronecker coefficients. Moreover, we prove that the saturation of the rectangular Kronecker semigroup is trivial, we show that the rectangular Kronecker positivity stretching factor is 2 for a long first row, and we completely classify the positivity of rectangular limit Kronecker coefficients that were introduced by Manivel in 2011.

The principal permanent rank characteristic sequence is a binary sequence $r_0 r_1 \ldots r_n$ where $r_k = 1$ if there exists a principal square submatrix of size $k$ with nonzero permanent and $r_k = 0$ otherwise, and $r_0 = 1$ if there is a zero diagonal entry. A characterization is provided for all principal permanent rank sequences obtainable by the family of nonnegative matrices as well as the family of nonnegative symmetric matrices. Constructions for all realizable sequences are provided. Results for skew-symmetric matrices are also included.

A total weighting of a graph $G$ is a mapping $f$ which assigns to each element $z \in V(G) \cup E(G)$ a real number $f(z)$ as its weight. The vertex sum of $v$ with respect to $f$ is $φ_f(v)=\sum_{e \in E(v)}f(e)+f(v)$. A total weighting is proper if $φ_f(u) \ne φ_f(v)$ for any edge $uv$ of $G$. A $(k,k')$-list assignment is a mapping $L$ which assigns to each vertex $v$ a set $L(v)$ of $k$ permissible weights, and assigns to each edge $e$ a set $L(e)$ of $k'$ permissible weights. We say $G$ is $(k,k')$-choosable if for any $(k,k')$-list assignment $L$, there is a proper total weighting $f$ of $G$ with $f(z) \in L(z)$ for each $z \in V(G) \cup E(G)$. It was conjectured in [T. Wong and X. Zhu, Total weight choosability of graphs, J. Graph Theory 66 (2011), 198-212] that every graph is $(2,2)$-choosable and every graph with no isolated edge is $(1,3)$-choosable. A promising tool in the study of these conjectures is Combinatorial Nullstellensatz. This approach leads to conjectures on the permanent indices of matrices $A_G$ and $B_G$ associated to a graph $G$. In this paper, we establish a method that reduces the study of permanent of matrices associated to a graph $G$ to the study of permanent of matrices associated to induced subgraphs of $G$. Using this reduction method, we show that if $G$ is a subcubic graph, or a $2$-tree, or a Halin graph, or a grid, then $A_G$ has permanent index $1$. As a consequence, these graphs are $(2,2)$-choosable. \end{abstract} {\small \noindent{{\bf Key words: } Permanent index, matrix, total weighting}

From a transfer formula in multivariate finite operator calculus, comes an expansion for the determinant similar to Ryser's formula for the permanent. Although this one contains many more terms than the usual determinant formula. To prove it, we consider the poset of ordered partitions, properties of the permutahedron, and some good old fashioned combinatorial techniques.

We give a sharp lower bound on the number of matchings of a given size in a bipartite graph. When specialized to regular bipartite graphs, our results imply Friedland's Lower Matching Conjecture and Schrijver's theorem proven by Gurvits and Csikvari. Indeed, our work extends the recent work of Csikvari done for regular and bi-regular bipartite graphs. Moreover, our lower bounds are order optimal as they are attained for a sequence of $2$-lifts of the original graph as well as for random $n$-lifts of the original graph when $n$ tends to infinity. We then extend our results to permanents and subpermanents sums. For permanents, we are able to recover the lower bound of Schrijver recently proved by Gurvits using stable polynomials. Our proof is algorithmic and borrows ideas from the theory of local weak convergence of graphs, statistical physics and covers of graphs. We provide new lower bounds for subpermanents sums and obtain new results on the number of matching in random $n$-lifts with some implications for the matching measure and the spectral measure of random $n$-lifts as well as for the spectral measure of infinite trees.

This article, showing that almost all objects in the title are asymmetric, is re-typed from a manuscript I wrote somewhere around 1980 (after the papers of Bang and Friedland on the permanent conjecture but before those of Egorychev and Falikman). I am not sure of the exact date. The manuscript had been lost, but surfaced among my papers recently. I am grateful to Laci Babai and Ian Wanless who have encouraged me to make this document public, and to Ian for spotting a couple of typos. In the section on Latin squares, Ian objects to my use of the term "cell"; this might be more reasonably called a "triple" (since it specifies a row, column and symbol), but I have decided to keep the terminology I originally used. The result for Latin squares is in B. D. McKay and I. M. Wanless, On the number of Latin squares, Annals of Combinatorics 9 (2005), 335-344 (arXiv 0909.2101), while the result for Steiner triple systems is in L. Babai, Almost all Steiner triple systems are asymmetric, Annals of Discrete Mathematics 7 (1980), 37-39.

A 4-point Feynman diagram in scalar $φ^4$ theory is represented by a graph $G$ which is obtained from a connected 4-regular graph by deleting a vertex. The associated Feynman integral gives a quantity called the period of $G$ which is invariant under a number of meaningful graph operations - namely, planar duality, the Schnetz twist, and it also does not depend on the choice of vertex which was deleted to form $G$. In this article we study a graph invariant we call the graph permanent, which was implicitly introduced in a paper by Alon, Linial and Meshulam. The graph permanent applies to any graph $G = (V,E)$ for which $|E|$ is a multiple of $|V| - 1$ (so in particular to graphs obtained from a 4-regular graph by removing a vertex). We prove that the graph permanent, like the period, is invariant under planar duality and the Schnetz twist when these are valid operations, and we show that when $G$ is obtained from a $2k$-regular graph by deleting a vertex, the graph permanent does not depend on the choice of deleted vertex.

Let $ G $ be a finite group of order $ n$. The strong power graph $\mathcal{P}_s(G) $ of $G$ is the undirected graph whose vertices are the elements of $G$ such that two distinct vertices $a$ and $b$ are adjacent if $a^{{m}_1}$=$b^{{m}_2}$ for some positive integers ${m}_1 ,{m}_2 < n$. In this article we classify all groups $G$ for which $\mathcal{P}_s(G)$ is line graph and Caley graph. Spectrum and permanent of the Laplacian matrix of the strong power graph $\mathcal{P}_s(G)$ are found for any finite group $G$.

Quantum determinants and Pfaffians or permanents and Hafnians are introduced on the two parameter quantum general linear group. Fundamental identities among quantum Pf, Hf, and det are proved in the general setting. We show that there are two special quantum algebras among the quantum groups, where the quantum Pfaffians have integral Laurent polynomials as coefficients. As a consequence, the quantum Hafnian is computed by a closely related quantum permanent and identical to the quantum Pfaffian on this special quantum algebra.

A 1-factor of a hypergraph $G=(X,W)$ is a set of hyperedges such that every vertex of $G$ is incident to exactly one hyperedge from the set. A 1-factorization is a partition of all hyperedges of $G$ into disjoint 1-factors. The adjacency matrix of a $d$-uniform hypergraph $G$ is the $d$-dimensional (0,1)-matrix of order $|X|$ such that an element $a_{α_1, \ldots, α_d}$ of $A$ equals 1 if and only if $\left\{α_1, \ldots, α_d\right\}$ is a hyperedge of $G$. Here we estimate the number of 1-factors of uniform hypergraphs and the number of 1-factorizations of complete uniform hypergraphs by means of permanents of their adjacency matrices.

It was recently conjectured that the permanent of a ${P}$-lifting $θ^{\uparrow{P}}$ of a matrix $θ$ of degree $M$ is less than or equal to the $M$th power of the permanent perm$(θ)$, i.e., perm$(θ^{\uparrow{P}})\leq(\text{perm}(θ))^M$ and, consequently, that the degree-$M$ Bethe permanent $\text{perm}_{M,\mathrm{B}} (θ)$ of a matrix $θ$ is less than or equal to the permanent perm$(θ)$ of $θ$, i.e., perm$_{M, \mathrm{B}} (θ)\leq \text{perm}(θ)$. In this paper, we prove these related conjectures and show in addition a few properties of the permanent of block matrices that are lifts of a matrix. As a corollary, we obtain an alternative proof of the inequality perm$_{\mathrm{B}} (θ)\leq \text{perm}(θ)$ on the Bethe permanent of the base matrix $θ$ that uses only the combinatorial definition of the Bethe permanent.

In this paper we study two types of means of the entries of a nonnegative matrix: the \emph{permanental mean}, which is defined using permanents, and the \emph{scaling mean}, which is defined in terms of an optimization problem. We explore relations between these two means, making use of important results by Ergorychev and Falikman (the van~der~Waerden conjecture), Friedland, Sinkhorn, and others. We also define a scaling mean for functions in a much more general context. Our main result is a Law of Large Permanents, a pointwise ergodic theorem for permanental means of dynamically defined matrices that expresses the limit as a functional scaling mean. The concepts introduced in this paper are general enough so to include as particular cases certain classical types of means, as for example symmetric means and Muirhead means. As a corollary, we reobtain a formula of Halász and Székely for the limit of the symmetric means of a stationary random process.

In 1980, Balasubramanian and Parthasarathy introduced the bivariate permanent polynomials of graphs and conjectured that this graph polynomial is a graph characterising polynomial, that is, any two graphs with the same bivariate permanent polynomial are isomorphic. In this note, we give counter examples to this conjecture.

The permanent of a multidimensional matrix is the sum of products of entries over all diagonals. By Minc's conjecture, there exists a reachable upper bound on the permanent of 2-dimensional (0,1)-matrices. In this paper we obtain some generalizations of Minc's conjecture to the multidimensional case. For this purpose we prove and compare several bounds on the permanent of multidimensional (0,1)-matrices. Most estimates can be used for matrices with nonnegative bounded entries.

We give an almost-complete description of orthogonal matrices $M$ of order $n$ that "rotate a non-negligible fraction of the Boolean hypercube $C_n=\{-1,1\}^n$ onto itself," in the sense that $$P_{x\in C_n}(Mx\in C_n) \ge n^{-C},\mbox{ for some positive constant } C,$$ where $x$ is sampled uniformly over $C_n$. In particular, we show that such matrices $M$ must be very close to products of permutation and reflection matrices. This result is a step toward characterizing those orthogonal and unitary matrices with large permanents, a question with applications to linear-optical quantum computing.

We give new lower and upper bounds on the permanent of a doubly stochastic matrix. Combined with previous work, this improves on the deterministic approximation factor for the permanent. We also give a combinatorial application of the lower bound, proving S. Friedland's "Asymptotic Lower Matching Conjecture" for the monomer-dimer problem.