We prove that the maximum determinant of an $n \times n $ matrix, with entries in $\{0,1\}$ and at most $n+k$ non-zero entries, is at most $2^{k/3}$, which is best possible when $k$ is a multiple of 3. This result solves a conjecture of Bruhn and Rautenbach. We also obtain an upper bound on the number of perfect matchings in $C_4$-free bipartite graphs based on the number of edges, which, in the sparse case, improves on the classical Bregman's inequality for permanents. This bound is tight, as equality is achieved by the graph formed by vertex disjoint union of 6-vertex cycles.
We view the determinant and permanent as functions on directed weighted graphs and introduce their analogues for the undirected graphs. We prove that the task of computing the undirected determinants as well as permanents for planar graphs, whose vertices have degree at most 4, is \#P-complete. In the case of planar graphs whose vertices have degree at most 3, the computation of the undirected determinant remains \#P-complete while the permanent can be reduced to the FKT algorithm, and therefore is polynomial. The undirected permanent is a Holant problem and its complexity can be deduced from …
We prove an identity relating the permanent of a rank $2$ matrix and the determinants of its Hadamard powers. When viewed in the right way, the resulting formula looks strikingly similar to an identity of Carlitz and Levine, suggesting the possibility that these are actually special cases of some more general identity (or class of identities) connecting permanents and determinants. The proof combines some basic facts from the theory of symmetric functions with an application of a famous theorem of Binet and Cauchy in linear algebra.
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.
The permanent-determinant method and its generalization, the Hafnian-Pfaffian method, are methods to enumerate perfect matchings of plane graphs that was discovered by P. W. Kasteleyn. We present several new techniques and arguments related to the permanent-determinant with consequences in enumerative combinatorics. Here are some of the results that follow from these techniques: 1. If a bipartite graph on the sphere with 4n vertices is invariant under the antipodal map, the number of matchings is the square of the number of matchings of the quotient graph. 2. The number of matchings of the edg…
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.
The tensor rank and border rank of the $3 \times 3$ determinant tensor is known to be $5$ if characteristic is not two. In this paper, we show that the tensor rank remains $5$ for fields of characteristic two as well. We also include an analysis of $5 \times 5$ and $7 \times 7$ determinant and permanent tensors, as well as the symmetric $3 \times 3$ permanent and determinant tensors. We end with some remarks on binary tensors.
In the paper [J. Combin. Theory Ser. A 43 (1986), 103--113], Stanley gives formulas for the number of plane partitions in each of ten symmetry classes. This paper together with results by Andrews [J. Combin. Theory Ser. A 66 (1994), 28-39] and Stembridge [Adv. Math 111 (1995), 227-243] completes the project of proving all ten formulas. We enumerate cyclically symmetric, self-complementary plane partitions. We first convert plane partitions to tilings of a hexagon in the plane by rhombuses, or equivalently to matchings in a certain planar graph. We can then use the permanent-determinant method …
In this paper, we prove a conjecture raised by Zhi-Wei Sun in 2018 by the eigenvectors-eigenvalues identity found by Denton, Parke, Tao and X. Zhang in 2019.
Let $A$ be a set in a prime field $\mathbb{F}_p$. In this paper, we prove that $d\times d$ matrices with entries in $A$ determine almost $|A|^{3+\frac{1}{45}}$ distinct determinants and almost $|A|^{2-\frac{1}{6}}$ distinct permanents when $|A|$ is small enough.
We define two new families of polynomials that generalize permanents and prove upper and lower bounds on their determinantal complexities comparable to the known bounds for permanents. One of these families is obtained by replacing permutations by signed permutations, and the other by replacing permutations by surjective functions with preimages of prescribed sizes.
Combinatorial formulas expressing cyclic rook polynomials and cyclic permanents of rectangular matrices in terms of expansions along rows are presented
In this paper we consider four basic multidimensional matrix operations (outer product, Kronecker product, contraction, and projection) and two derivative operations (dot and circle products). We start with the interrelations between these operations and deduce some of their algebraic properties. Next, we study their action on $k$-stochastic matrices. At last, we prove several relations on the permanents of products of multidimensional matrices. In particular, we obtain that the permanent of the dot product of nonnegative multidimensional matrices is not less than the product of their permanen…
We prove a conjecture due to Wanless about the permanent of Hadamard matrices in the particular case of Sylvester-Hadamard matrices. Namely we show that for all n greater or equal to 2, the dyadic valuation of the permanent of the Sylvester-Hadamard matrix of order n is equal to the dyadic valuation of n!. As a consequence, the permanent of the Sylvester-Hadamard matrix of order n doesn't vanish for n greater or equal to 2.
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.
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.
A nonnegative multidimensional matrix is called polystochastic if the sum of its entries over each line is equal to $1$. In this paper we overview known results on positiveness of the permanent of polystochastic matrices and prove that the permanent of every $4$-dimensional polystochastic matrix of order $4$ is greater than zero.
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.
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.
Let $G^σ$ be an orientation of a simple graph $G$. In this paper, the permanental polynomial of an oriented graph $G^σ$ is introduced. The coefficients of the permanental polynomial of $G^σ$ are interpreted in terms of the graph structure of $G^σ$, and it is proved that all orientations $G^σ$ of $G$ have the same permanental polynomial if and only if $G$ has no even cycles. Furthermore, the roots of the permanental polynomial of $G^σ$ are studied.
Let $d(N )$ (resp. $p(N )$) be the number of summands in the determinant (resp. permanent) of an $N\times N$ circulant matrix $A = (a_{ij} )$ given by $a_{ij} = X_{i+j}$ where $i + j$ should be considered $\mod N$ . This short note is devoted to prove that $d(N ) = p(N )$ if and only if $N$ is a prime power. We then give an application to homogeneous monomial ideals failing the Weak Lefschetz property.
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…
We formulate conjectures regarding the maximum value and maximizing matrices of the permanent and of diagonal products on the set of stochastic matrices with bounded rank. We formulate equivalent conjectures on upper bounds for these functions for nonnegative matrices based on their rank, row sums and column sums. In particular we conjecture that the permanent of a singular nonnegative matrix is bounded by 1/2 times the minimum of the product of its row sums and the product of its column sums, and that the product of the elements of any diagonal of a singular nonnegative matrix is bounded by 1…
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 computation…
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 $Å$)…
In this paper we investigate the permanent of $(-1,1)$-matrices over fields of zero characteristics and our main goal is to provide a sharp upper bound for the value of the permanent of such matrices depending on matrix rank, solving Wang's problem posed in 1974 by confirming Kräuter conjecture formulated in 1985.
A $d$-dimensional matrix is called \emph{$1$-polystochastic} if it is non-negative and the sum over each line equals~$1$. Such a matrix that has a single $1$ in each line and zeros elsewhere is called a \emph{$1$-permutation} matrix. A \emph{diagonal} of a $d$-dimensional matrix of order $n$ is a choice of $n$ elements, no two in the same hyperplane. The \emph{permanent} of a $d$-dimensional matrix is the sum over the diagonals of the product of the elements within the diagonal. For a given order $n$ and dimension $d$, the set of $1$-polystochastic matrices forms a convex polytope that include…
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 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 constan…
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 tak…
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$ o…
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.
Let $A$ be an $n \times n$ positive definite Hermitian matrix with all eigenvalues between 1 and 2. We represent the permanent of $A$ as the integral of some explicit log-concave function on ${\Bbb R}^{2n}$. Consequently, there is a fully polynomial randomized approximation scheme (FPRAS) for the permanent of $A$.
This note provides formula for determinant and inverse of r-circulant matrices with general sequences of third order. In other words, the study combines many papers in the literature.
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 determin…
This paper improves previously known bounds on the determinant of 0-1 matrices where each row has fixed support size. This uses a method based on Scheinerman's, with new analyses to improve upon his conjectures.
We show that the existence of $\{\pm 1\}$-matrices having largest possible determinant is equivalent to the existence of certain tournament matrices. In particular, we prove a recent conjecture of Armario. We also show that large submatrices of conference matrices are determined by their spectrum.
We describe immanants as trivial modules of the symmetric group and show that any homogeneous polynomial of degree n on the space of n by n matrices preserved up to scalar by left and right action by diagonal matrices and conjugation by permutation matrices is a linear combination of immanants. we prove that the identity component of the stabilizer of any immanant (except determinant, permanent) is the expected one. We also prove that for n>5 the stabilizer of the immanant of any non-symmetric partition (except determinant and permanent) is again the expected one.
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.
Let $Λ_n^k$ denote the class of $(0,1)$ square matrices containing in each row and in each column exactly $k$ 1's. The minimal value of $k,$ for which the behavior of the permanent in $Λ_n^k$ is not quite studied, is $k=3.$ We give a simple algorithm for calculation upper magnitudes of permanent in $Λ_n^3$ and consider some extremal problems in a generalized class $Λ_n(α,β,γ),$ the matrices of which contain in each row and in each column nonzero elements $α,β,γ$ and $n-3$ zeros.
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 give upper bounds for the determinant of an $n\times n$ zero-one matrix containing $kn$ ones for integral $k$. Our results improve upon a result of Ryser for $k=o(n^{1/3})$. For fixed $k\ge 3$ it was an open question whether Hadamard's inequality could be exponentially improved. We answer this in the affirmative. Our results stem from studying matrices with row sums $k$ and bounding their Gram determinants. Our technique allows us to give upper bounds when these matrices are perturbed.
In this paper, we evaluate determinants of some families of Toeplitz-Hessenberg matrices having tribonacci number entries. These determinant formulas may also be expressed equivalently as identities that involve sums of products of multinomial coefficients and tribonacci numbers. In particular, we establish a connection between the tribonacci and the Fibonacci and Padovan sequences via Toeplitz-Hessenberg determinants. We then obtain, by combinatorial arguments, extensions of our determinant formulas in terms of generalized tribonacci sequences satisfying an r-th order recurrence of a more gen…
We present a proof of determinant of special nonsymmetric Toeplitz matrices conjectured by Anđelić and Fonseca in \cite{andjelic2020some}. A proof is also demonstrated for a more general theorem. The two conjectures are therefore just two possible results, under two specific settings. Numerical examples validating the theorem are provided.
We study the convex relaxation of a polynomial optimization problem, maximizing a product of linear forms over the complex sphere. We show that this convex program is also a relaxation of the permanent of Hermitian positive semidefinite (HPSD) matrices. By analyzing a constructive randomized rounding algorithm, we obtain an improved multiplicative approximation factor to the permanent of HPSD matrices, as well as computationally efficient certificates for this approximation. We also propose an analog of van der Waerden's conjecture for HPSD matrices, where the polynomial optimization problem i…
The permanent-on-top conjecture states that the largest eigenvalue of the Schur power matrix of a positive semi-definite Hermitian matrix H is per(H). A counterexample has been found with the help of computers, but here, I present another counterexample that can be checked by hand. My method is to use linear representations of groups to connect the spectrum of the Schur power matrix with the spectra of the entrywise(Hadamard) product matrices of permanental compound matrices. By that, we are able to study the properties of the spectrum of the Schur power matrix through the entrywise(Hadamard) …
The permanent of a non-negative matrix appears naturally in many information processing scenarios. Because of the intractability of the permanent beyond small matrices, various approximation techniques have been developed in the past. In this paper, we study the Bethe approximation of the permanent and add to the body of literature showing that this approximation is very well behaved in many respects. Our main technical tool are topological double covers of the normal factor graph whose partition function equals the permanent of interest, along with a transformation of these double covers.
