Showing 1–26 of 26 results for author: Friedland, S

Barrier relaxations of the classical and quantum optimal transport problems

Authors: Shmuel Friedland

Abstract: In the last fifteen years a significant progress was achieved by considering an entropic relaxation of the classical multi-partite optimal transport problem (MPOTP). The entropic relaxation gives rise to the rescaling problem of a given tensor. This rescaling can be achieved fast with the Sinkhorn type algorithms. Recently, it was shown that a similar approach works for the quantum MPOTP. However,… ▽ More In the last fifteen years a significant progress was achieved by considering an entropic relaxation of the classical multi-partite optimal transport problem (MPOTP). The entropic relaxation gives rise to the rescaling problem of a given tensor. This rescaling can be achieved fast with the Sinkhorn type algorithms. Recently, it was shown that a similar approach works for the quantum MPOTP. However, the analog of the rescaling Sinkhorn algorithm is much more complicated than in the classical MPOTP. In this paper we show that the interior point method (IPM) for the primary and dual problems of classical and quantum MPOTP problems can be considered as barrier relaxations of the optimal transport problems (OTP). It is well known that the dual of the OTP are advantageous as it has much less variables than the primary problem. The IPM for the dual problem of the classical MPOTP are not as fast as the Sinkhorn type algorithm. However, IPM method for the dual of the quantum MPOTP seems to work quite efficiently. △ Less

Submitted 15 May, 2025; originally announced May 2025.

Comments: 40 pages

MSC Class: 15A69; 52A41; 65K05; 0C22; 90C25

A new class of distances on complex projective spaces

Authors: Rafał Bistroń, Michał Eckstein, Shmuel Friedland, Tomasz Miller, Karol Życzkowski

Abstract: The complex projective space $\mathbb{P}(\mathbb{C}^n)$ can be interpreted as the space of all quantum pure states of size $n$. A distance on this space, interesting from the perspective of quantum physics, can be induced from a classical distance defined on the $n$-point probability simplex by the `earth mover problem'. We show that this construction leads to a quantity satisfying the triangle in… ▽ More The complex projective space $\mathbb{P}(\mathbb{C}^n)$ can be interpreted as the space of all quantum pure states of size $n$. A distance on this space, interesting from the perspective of quantum physics, can be induced from a classical distance defined on the $n$-point probability simplex by the `earth mover problem'. We show that this construction leads to a quantity satisfying the triangle inequality, which yields a true distance on complex projective space belonging to the family of quantum $2$-Wasserstein distances. △ Less

Submitted 5 December, 2023; originally announced December 2023.

Comments: 31 pages

Quantum Monge-Kantorovich problem and transport distance between density matrices

Authors: Shmuel Friedland, Michał Eckstein, Sam Cole, Karol Życzkowski

Abstract: A quantum version of the Monge--Kantorovich optimal transport problem is analyzed. The transport cost is minimized over the set of all bipartite coupling states $ρ^{AB}$, such that both of its reduced density matrices $ρ^A$ and $ρ^B$ of dimension $N$ are fixed. We show that, selecting the quantum cost matrix to be proportional to the projector on the antisymmetric subspace, the minimal transport c… ▽ More A quantum version of the Monge--Kantorovich optimal transport problem is analyzed. The transport cost is minimized over the set of all bipartite coupling states $ρ^{AB}$, such that both of its reduced density matrices $ρ^A$ and $ρ^B$ of dimension $N$ are fixed. We show that, selecting the quantum cost matrix to be proportional to the projector on the antisymmetric subspace, the minimal transport cost leads to a semidistance between $ρ^A$ and $ρ^B$, which is bounded from below by the rescaled Bures distance and from above by the root infidelity. In the single qubit case we provide a semi-analytic expression for the optimal transport cost between any two states and prove that its square root satisfies the triangle inequality and yields an analogue of the Wasserstein distance of order two on the set of density matrices. We introduce an associated measure of proximity of quantum states, called SWAP-fidelity, and discuss its properties and applications in quantum machine learning. △ Less

Submitted 27 September, 2021; v1 submitted 15 February, 2021; originally announced February 2021.

Comments: 15 pages including appendices, 4 figures. Version v2 includes a new quantity, SWAP-fidelity, and some applications

MSC Class: 81P40; 90C22; 15A69

Tensor rank and entanglement of pure quantum states

Authors: Wojciech Bruzda, Shmuel Friedland, Karol Życzkowski

Abstract: The rank of a tensor is analyzed in context of quantum entanglement. A pure quantum state $\bf v$ of a composite system consisting of $d$ subsystems with $n$ levels each is viewed as a vector in the $d$-fold tensor product of $n$-dimensional Hilbert space and can be identified with a tensor with $d$ indices, each running from $1$ to $n$. We discuss the notions of the generic rank and the maximal r… ▽ More The rank of a tensor is analyzed in context of quantum entanglement. A pure quantum state $\bf v$ of a composite system consisting of $d$ subsystems with $n$ levels each is viewed as a vector in the $d$-fold tensor product of $n$-dimensional Hilbert space and can be identified with a tensor with $d$ indices, each running from $1$ to $n$. We discuss the notions of the generic rank and the maximal rank of a tensor and review results known for the low dimensions. Another variant of this notion, called the border rank of a tensor, is shown to be relevant for characterization of orbits of quantum states generated by the group of special linear transformations. A quantum state ${\bf v}$ is called {\sl entangled}, if it {\sl cannot} be written in the product form, ${\bf v} \ne {\bf v}_1 \otimes {\bf v}_2 \otimes \cdots \otimes {\bf v}_d$, what implies correlations between physical subsystems. A relation between various ranks and norms of a tensor and the entanglement of the corresponding quantum state is revealed.. △ Less

Submitted 14 March, 2022; v1 submitted 14 December, 2019; originally announced December 2019.

Comments: 63 pages

MSC Class: 14J99; 15A69; 65K10; 81P40; 90C27

On quantum Strassen's theorem

Authors: Shmuel Friedland, Jingtong Ge, Lihong Zhi

Abstract: Strassen's theorem circa 1965 gives necessary and sufficient conditions on the existence of a probability measure on two product spaces with given support and two marginals. In the case where each product space is finite Strassen's theorem is reduced to a linear programming problem which can be solved using flow theory. A density matrix of bipartite quantum system is a quantum analog of a probabil… ▽ More Strassen's theorem circa 1965 gives necessary and sufficient conditions on the existence of a probability measure on two product spaces with given support and two marginals. In the case where each product space is finite Strassen's theorem is reduced to a linear programming problem which can be solved using flow theory. A density matrix of bipartite quantum system is a quantum analog of a probability matrix on two finite product spaces. Partial traces of the density matrix are analogs of marginals. The support of the density matrix is its range. The analog of Strassen's theorem in this case can be stated and solved using semidefinite programming. The aim of this paper is to give analogs of Strassen's theorem to density trace class operators on a product of two separable Hilbert spaces, where at least one of the Hilbert spaces is infinite dimensional. △ Less

Submitted 28 July, 2020; v1 submitted 14 May, 2019; originally announced May 2019.

Comments: 41 pages, updated ms

MSC Class: 15A69; 15B57; 46N50; 47B10; 81P40; 81Q10; 90C22; 90C25

Nonnegativity for hafnians of certain matrices

Authors: Kamil Bradler, Shmuel Friedland, Robert Israel

Abstract: We show that a complex symmetric matrix of the form $A(Y,B) = \begin{bmatrix}Y & B\\ B^\top & \overline{Y} \end{bmatrix},$ where $B$ is Hermitian positive semidefinite, has a nonnegative hafnian. These are positive scalar multiples of matrices $A(Y,B)$ that are encodable in a Gaussian boson sampler. Further, the hafnian of this matrix is non-decreasing in $B$ in the sense that… ▽ More We show that a complex symmetric matrix of the form $A(Y,B) = \begin{bmatrix}Y & B\\ B^\top & \overline{Y} \end{bmatrix},$ where $B$ is Hermitian positive semidefinite, has a nonnegative hafnian. These are positive scalar multiples of matrices $A(Y,B)$ that are encodable in a Gaussian boson sampler. Further, the hafnian of this matrix is non-decreasing in $B$ in the sense that $\mathrm{haf}A(Y,L) \ge \mathrm{haf}A(Y,B)$ if $L \succeq B$. △ Less

Submitted 25 February, 2021; v1 submitted 26 November, 2018; originally announced November 2018.

Comments: Close to the published version in Linear and Multilinear Algebra

Graph isomorphism and Gaussian boson sampling

Authors: Kamil Bradler, Shmuel Friedland, Josh Izaac, Nathan Killoran, Daiqin Su

Abstract: We introduce a connection between a near-term quantum computing device, specifically a Gaussian boson sampler, and the graph isomorphism problem. We propose a scheme where graphs are encoded into quantum states of light, whose properties are then probed with photon-number-resolving detectors. We prove that the probabilities of different photon-detection events in this setup can be combined to give… ▽ More We introduce a connection between a near-term quantum computing device, specifically a Gaussian boson sampler, and the graph isomorphism problem. We propose a scheme where graphs are encoded into quantum states of light, whose properties are then probed with photon-number-resolving detectors. We prove that the probabilities of different photon-detection events in this setup can be combined to give a complete set of graph invariants. Two graphs are isomorphic if and only if their detection probabilities are equivalent. We present additional ways that the measurement probabilities can be combined or coarse-grained to make experimental tests more amenable. We benchmark these methods with numerical simulations on the Titan supercomputer for several graph families: pairs of isospectral nonisomorphic graphs, isospectral regular graphs, and strongly regular graphs. △ Less

Submitted 23 March, 2021; v1 submitted 24 October, 2018; originally announced October 2018.

Comments: Close to the published version

Journal ref: Spec. Matrices 9 (2021), 166-196

Spectral norm of a symmetric tensor and its computation

Authors: Shmuel Friedland, Li Wang

Abstract: We show that the spectral norm of a $d$-mode real or complex symmetric tensor in $n$ variables can be computed by finding the fixed points of the corresponding polynomial map. For a generic complex symmetric tensor the number of fixed points is finite, and we give upper and lower bounds for the number of fixed points. For $n=2$ we show that these fixed points are the roots of a corresponding univa… ▽ More We show that the spectral norm of a $d$-mode real or complex symmetric tensor in $n$ variables can be computed by finding the fixed points of the corresponding polynomial map. For a generic complex symmetric tensor the number of fixed points is finite, and we give upper and lower bounds for the number of fixed points. For $n=2$ we show that these fixed points are the roots of a corresponding univariate polynomial of degree at most $(d-1)^2+1$, except certain cases, which are completely analyzed. In particular, for $n=2$ the spectral norm of $d$-symmetric tensor is polynomially computable in $d$ with a given relative precision. For a fixed $n>2$ we show that the spectral norm of a $d$-mode symmetric tensor is polynomially computable in $d$ with a given relative precision with respect to the Hilbert-Schmidt norm of the tensor. These results show that the geometric measure of entanglement of $d$-mode symmetric qunits on $\mathbb{C}^n$ are polynomially computable for a fixed $n$. △ Less

Submitted 16 January, 2020; v1 submitted 11 August, 2018; originally announced August 2018.

Comments: 31 pages. arXiv admin note: substantial text overlap with arXiv:1608.01354, to appear in Mathematics of Computation, AMS

MSC Class: 13P15; 15A69; 65H04; 81P40

Infinite dimensional generalizations of Choi's theorem

Authors: Shmuel Friedland

Abstract: In this paper we give a simple sequence of necessary and sufficient finite dimensional conditions for a positive map between certain subspaces of bounded linear operators on separable Hilbert spaces to be completely positive. These criterions are natural generalization of Choi's characterization for completely positive maps between pairs of linear operators on finite dimensional Hilbert spaces. We… ▽ More In this paper we give a simple sequence of necessary and sufficient finite dimensional conditions for a positive map between certain subspaces of bounded linear operators on separable Hilbert spaces to be completely positive. These criterions are natural generalization of Choi's characterization for completely positive maps between pairs of linear operators on finite dimensional Hilbert spaces. We apply our conditions to a completely positive map between two trace class operators on separable Hilbert spaces. A map $μ$ is called a quantum channel, if it is trace preserving, and $μ$ is called a quantum subchannel if it decreases the trace of a positive operator. We give simple neccesary and sufficient condtions for $μ$ to be a quantum subchannel. We show that $μ$ is a quantum subchannel if and only if it has Hellwig-Kraus representation. The last result extends the classical results of Kraus and the recent result of Holevo for characterization of a quantum channel. △ Less

Submitted 6 July, 2018; v1 submitted 18 June, 2018; originally announced June 2018.

Comments: 10 pages

MSC Class: 46N50; 81Q10; 94A40

Most Boson quantum states are almost maximally entangled

Authors: Shmuel Friedland, Todd Kemp

Abstract: The geometric measure of entanglement $E$ of an $m$ qubit quantum state takes maximal possible value $m$. In previous work of Gross, Flammia, and Eisert, it was shown that $E \ge m-O(\log m)$ with high probability as $m\to\infty$. They showed, as a consequence, that the vast majority of states are too entangled to be computationally useful. In this paper, we show that for $m$ qubit {\em Boson} qua… ▽ More The geometric measure of entanglement $E$ of an $m$ qubit quantum state takes maximal possible value $m$. In previous work of Gross, Flammia, and Eisert, it was shown that $E \ge m-O(\log m)$ with high probability as $m\to\infty$. They showed, as a consequence, that the vast majority of states are too entangled to be computationally useful. In this paper, we show that for $m$ qubit {\em Boson} quantum states (those that are actually available in current designs for quantum computers), the maximal possible geometric measure of entanglement is $\log_2 m$, opening the door to many computationally universal states. We further show the corresponding concentration result that $E \ge \log_2 m - O(\log \log m)$ with high probability as $m\to\infty$. We extend these results also to $m$-mode $n$-bit Boson quantum states. △ Less

Submitted 2 December, 2016; originally announced December 2016.

On Schrodinger's bridge problem

Authors: Shmuel Friedland

Abstract: In the first part of this paper we generalize the result of Georgiou-Pavon that a positive square matrix can be scaled uniquely to a column stochastic matrix which maps a given positive probability vector to another given positive probability vector. In the second part of this paper we prove that a positive quantum channel can be scaled to another positive quantum channel which maps a given positi… ▽ More In the first part of this paper we generalize the result of Georgiou-Pavon that a positive square matrix can be scaled uniquely to a column stochastic matrix which maps a given positive probability vector to another given positive probability vector. In the second part of this paper we prove that a positive quantum channel can be scaled to another positive quantum channel which maps a given positive definite density matrix to another given positive definite density matrix using Brower's fixed point theorem. This result proves the Georgiou-Pavon conjecture for two positive definite density matrices in their recent paper. We show uniqueness of fixed points for certain two positive definite density matrices. △ Less

Submitted 3 September, 2016; v1 submitted 20 August, 2016; originally announced August 2016.

Comments: 16 pages, slightly revised version

MSC Class: 15B51; 15B57; 32A05; 55M20; 81P45

Geometric measure of entanglement of symmetric d-qubits is polynomial-time computable

Authors: Shmuel Friedland, Li Wang

Abstract: We give a simple formula for finding the spectral norm of d-mode symmetric tensor in two variables over the complex or real numbers in terms of the complex or real roots of a corresponding polynomial in one complex variable. This result implies that the geometric measure of entanglement of symmetric d-qubits is polynomial-time computable. We discuss a generalization to d-mode symmetric tensor in m… ▽ More We give a simple formula for finding the spectral norm of d-mode symmetric tensor in two variables over the complex or real numbers in terms of the complex or real roots of a corresponding polynomial in one complex variable. This result implies that the geometric measure of entanglement of symmetric d-qubits is polynomial-time computable. We discuss a generalization to d-mode symmetric tensor in more than two variables. △ Less

Submitted 6 March, 2017; v1 submitted 3 August, 2016; originally announced August 2016.

Comments: revised version, 36 pages, 18 tables

MSC Class: 13P15; 15A69; 65H04; 81P40

On convex optimization problems in quantum information theory

Authors: Mark W. Girard, Gilad Gour, Shmuel Friedland

Abstract: Convex optimization problems arise naturally in quantum information theory, often in terms of minimizing a convex function over a convex subset of the space of hermitian matrices. In most cases, finding exact solutions to these problems is usually impossible. As inspired by earlier investigations into the relative entropy of entanglement [Phys. Rev. A 78 032310 (2008)], we introduce a general meth… ▽ More Convex optimization problems arise naturally in quantum information theory, often in terms of minimizing a convex function over a convex subset of the space of hermitian matrices. In most cases, finding exact solutions to these problems is usually impossible. As inspired by earlier investigations into the relative entropy of entanglement [Phys. Rev. A 78 032310 (2008)], we introduce a general method to solve the converse problem rather than find explicit solutions. That is, given a matrix in a convex set, we determine a family of convex functions that are minimized at this point. This method allows us find explicit formulae for the relative entropy of entanglement and the Rains bound, two well-known upper bounds on the distillable entanglement, and yields interesting information about these quantities, such as the fact that they coincide in the case where at least one subsystem of a multipartite state is a qubit. △ Less

Submitted 25 November, 2014; v1 submitted 31 January, 2014; originally announced February 2014.

Comments: 15 pages. (version 2: minor edits -- updated to published version)

Journal ref: J. Phys. A: Math. Theor. 47 505302 (2014 )

On the extreme points of quantum channels

Authors: Shmuel Friedland, Raphael Loewy

Abstract: Let L(m,n) denote the convex set of completely positive trace preserving operators from C^{m x m} to C^{n x n}$, i.e quantum channels. We give a necessary condition for L in L(m,n) to be an extreme point. We show that generically, this condition is also sufficient. We characterize completely the extreme points of L_(2,2) and L(3,2), i.e. quantum channels from qubits to qubits and from qutrits to q… ▽ More Let L(m,n) denote the convex set of completely positive trace preserving operators from C^{m x m} to C^{n x n}$, i.e quantum channels. We give a necessary condition for L in L(m,n) to be an extreme point. We show that generically, this condition is also sufficient. We characterize completely the extreme points of L_(2,2) and L(3,2), i.e. quantum channels from qubits to qubits and from qutrits to qubits. △ Less

Submitted 29 October, 2014; v1 submitted 23 September, 2013; originally announced September 2013.

Comments: Slightly revised version, 19 pages

MSC Class: 15B48; 47B65; 94A17; 94A40

Upper bounds for perfect matchings in pfaffian and planar graphs

Authors: Afshin Behmaram, Shmuel Friedland

Abstract: We give upper bounds on weighted perfect matchings in pfaffian graphs. These upper bounds are better than Bregman's upper bounds on the number of perfect matchings. We show that some of our upper bounds are sharp for 3 and 4-regular pfaffian graphs. We apply our results to fullerene graphs. We give upper bounds on weighted perfect matchings in pfaffian graphs. These upper bounds are better than Bregman's upper bounds on the number of perfect matchings. We show that some of our upper bounds are sharp for 3 and 4-regular pfaffian graphs. We apply our results to fullerene graphs. △ Less

Submitted 30 December, 2012; v1 submitted 25 October, 2012; originally announced October 2012.

Comments: 15 pages

MSC Class: 05C30; 05C70; 15A15

The minimum entropy output of a quantum channel is locally additive

Authors: Gilad Gour, Shmuel Friedland

Abstract: We show that the minimum von-Neumann entropy output of a quantum channel is locally additive. Hasting's counterexample for the additivity conjecture, makes this result quite surprising. In particular, it indicates that the non-additivity of the minimum entropy output is a global effect of quantum channels. We show that the minimum von-Neumann entropy output of a quantum channel is locally additive. Hasting's counterexample for the additivity conjecture, makes this result quite surprising. In particular, it indicates that the non-additivity of the minimum entropy output is a global effect of quantum channels. △ Less

Submitted 14 December, 2011; v1 submitted 30 May, 2011; originally announced May 2011.

Comments: Shorter Version, further simplifications of proofs

Journal ref: IEEE Transactions on Information Theory (2012)

Local extrema of entropy functions under tensor products

Authors: Shmuel Friedland, Gilad Gour, Aidan Roy

Abstract: We show that under a certain condition of local commutativity the minimum von-Neumann entropy output of a quantum channel is locally additive. We also show that local minima of the 2-norm entropy functions are closed under tensor products if one of the subspaces has dimension 2. We show that under a certain condition of local commutativity the minimum von-Neumann entropy output of a quantum channel is locally additive. We also show that local minima of the 2-norm entropy functions are closed under tensor products if one of the subspaces has dimension 2. △ Less

Submitted 26 May, 2011; originally announced May 2011.

Comments: 9 pages, comments are welcome

An Asymptotic Expansion and Recursive Inequalities for the Monomer-Dimer Problem

Authors: Paul Federbush, Shmuel Friedland

Abstract: Let (lambda_d)(p) be the p monomer-dimer entropy on the d-dimensional integer lattice Z^d, where p in [0,1] is the dimer density. We give upper and lower bounds for (lambda_d)(p) in terms of expressions involving (lambda_(d-1))(q). The upper bound is based on a conjecture claiming that the p monomer-dimer entropy of an infinite subset of Z^d is bounded above by (lambda_d)(p). We compute the first… ▽ More Let (lambda_d)(p) be the p monomer-dimer entropy on the d-dimensional integer lattice Z^d, where p in [0,1] is the dimer density. We give upper and lower bounds for (lambda_d)(p) in terms of expressions involving (lambda_(d-1))(q). The upper bound is based on a conjecture claiming that the p monomer-dimer entropy of an infinite subset of Z^d is bounded above by (lambda_d)(p). We compute the first three terms in the formal asymptotic expansion of (lambda_d)(p) in powers of 1/d. We prove that the lower asymptotic matching conjecture is satisfied for (lambda_d)(p). △ Less

Submitted 26 February, 2011; v1 submitted 30 November, 2010; originally announced November 2010.

Comments: 15 pages, much more about d=1,2,3

Journal ref: Journal of Statistical Physics: Volume 143, Issue 2 (2011), p. 306

Closed formula for the relative entropy of entanglement in all dimensions

Authors: Shmuel Friedland, Gilad Gour

Abstract: The relative entropy of entanglement is defined in terms of the relative entropy between an entangled state and its closest separable state (CSS). Given a multipartite-state on the boundary of the set of separable states, we find a closed formula for all the entangled state for which this state is a CSS. Quite amazing, our formula holds for multipartite states in all dimensions. In addition we sho… ▽ More The relative entropy of entanglement is defined in terms of the relative entropy between an entangled state and its closest separable state (CSS). Given a multipartite-state on the boundary of the set of separable states, we find a closed formula for all the entangled state for which this state is a CSS. Quite amazing, our formula holds for multipartite states in all dimensions. In addition we show that if an entangled state is full rank, then its CSS is unique. For the bipartite case of two qubits our formula reduce to the one given in Phys. Rev. A 78, 032310 (2008). △ Less

Submitted 6 October, 2010; v1 submitted 26 July, 2010; originally announced July 2010.

Comments: 8 pages, 1 figure, significantly revised; theorem 1 is now providing necessary and sufficient conditions to determine if a state is CSS

Journal ref: J. Math. Phys. 52, 052201 (2011)

The pressure, densities and first order phase transitions associated with multidimensional SOFT

Authors: Shmuel Friedland, Uri N. Peled

Abstract: We study theoretical and computational properties of the pressure function for subshifts of finite type on the integer lattice $\Z^d$, multidimensional SOFT, which are called Potts models in mathematical physics. We show that the pressure is Lipschitz and convex. We use the properties of convex functions to show rigorously that the phase transition of the first order correspond exactly to the poin… ▽ More We study theoretical and computational properties of the pressure function for subshifts of finite type on the integer lattice $\Z^d$, multidimensional SOFT, which are called Potts models in mathematical physics. We show that the pressure is Lipschitz and convex. We use the properties of convex functions to show rigorously that the phase transition of the first order correspond exactly to the points where the pressure is not differentiable. We give computable upper and lower bounds for the pressure, which can be arbitrary close the values of the pressure given a sufficient computational power. We apply our numerical methods to confirm Baxter's heuristic computations for two dimensional monomer-dimer model, and to compute the pressure and the density entropy as functions of two variables for the two dimensional monomer-dimer model. △ Less

Submitted 18 May, 2010; v1 submitted 28 June, 2009; originally announced June 2009.

Comments: 33 pages, 2 figures

MSC Class: 05A16; 28D20; 37M25; 82B20; 82B26

Asymptotic Positivity of Hurwitz Product Traces: Two Proofs

Authors: Christian Fleischhack, Shmuel Friedland

Abstract: Consider the polynomial $tr (A + tB)^m$ in $t$ for positive hermitian matrices $A$ and $B$ with $m \in \N$. The Bessis-Moussa-Villani conjecture (in the equivalent form of Lieb and Seiringer) states that this polynomial has nonnegative coefficients only. We prove that they are at least asymptotically positive, for the nontrivial case of $AB \neq 0$. More precisely, we show - once complex-analyti… ▽ More Consider the polynomial $tr (A + tB)^m$ in $t$ for positive hermitian matrices $A$ and $B$ with $m \in \N$. The Bessis-Moussa-Villani conjecture (in the equivalent form of Lieb and Seiringer) states that this polynomial has nonnegative coefficients only. We prove that they are at least asymptotically positive, for the nontrivial case of $AB \neq 0$. More precisely, we show - once complex-analytically, once combinatorially - that the $k$-th coefficient is positive for all integer $m \geq m_0$, where $m_0$ depends on $A$, $B$ and $k$. △ Less

Submitted 31 October, 2008; originally announced November 2008.

Comments: 21 pages, LaTeX; merges articles 0804.3665 [CF] and 0804.3948 [SF]

MSC Class: 15A45 (Primary); 15A24; 15A48; 44A10; 49J40 (Secondary)

Remarks on BMV conjecture

Authors: Shmuel Friedland

Abstract: We show that for fixed $A,B$, hermitian nonnegative definite matrices, and fixed $k$ the coefficients of the $t^k$ in the polynomial $\tr (A+tB)^m$ is positive if $\tr AB >0$ and $m>N(A,B,k)$. We show that for fixed $A,B$, hermitian nonnegative definite matrices, and fixed $k$ the coefficients of the $t^k$ in the polynomial $\tr (A+tB)^m$ is positive if $\tr AB >0$ and $m>N(A,B,k)$. △ Less

Submitted 24 April, 2008; originally announced April 2008.

Comments: 6 pages

Generalized Friedland-Tverberg inequality: applications and extensions

Authors: Shmuel Friedland, Leonid Gurvits

Abstract: We derive here the Friedland-Tverberg inequality for positive hyperbolic polynomials. This inequality is applied to give lower bounds for the number of matchings in $r$-regular bipartite graphs. It is shown that some of these bounds are asymptotically sharp. We improve the known lower bound for the three dimensional monomer-dimer entropy. We present Ryser-like formulas for computations of matchi… ▽ More We derive here the Friedland-Tverberg inequality for positive hyperbolic polynomials. This inequality is applied to give lower bounds for the number of matchings in $r$-regular bipartite graphs. It is shown that some of these bounds are asymptotically sharp. We improve the known lower bound for the three dimensional monomer-dimer entropy. We present Ryser-like formulas for computations of matchings in bipartite and general graphs. Additional algorithmic applications are given. △ Less

Submitted 23 August, 2006; v1 submitted 16 March, 2006; originally announced March 2006.

Comments: 21 pages, 2 figures

MSC Class: 05A15; 05A16; 05C70; 05C80; 82B20

Validations of the Asymptotic Matching Conjectures

Authors: Shmuel Friedland, Elliot Krop, Per Hakan Lundow, Klas Markström

Abstract: In this paper we review the asymptotic matching conjectures for $r$-regular bipartite graphs, and their connections in estimating the monomer-dimer entropies in $d$-dimensional integer lattice and Bethe lattices. We prove new rigorous upper and lower bounds for the monomer-dimer entropies, which support these conjectures. We describe a general construction of infinite families of $r$-regular tor… ▽ More In this paper we review the asymptotic matching conjectures for $r$-regular bipartite graphs, and their connections in estimating the monomer-dimer entropies in $d$-dimensional integer lattice and Bethe lattices. We prove new rigorous upper and lower bounds for the monomer-dimer entropies, which support these conjectures. We describe a general construction of infinite families of $r$-regular tori graphs and give algorithms for computing the monomer-dimer entropy of density $p$, for any $p\in [0,1]$, for these graphs. Finally we use tori graphs to test the asymptotic matching conjectures for certain infinite $r$-regular bipartite graphs. △ Less

Submitted 11 April, 2008; v1 submitted 28 February, 2006; originally announced March 2006.

Comments: 25 pages, 9 figures

MSC Class: 05A15; 05A16; 05C70; 05C80; 82B20

The 1-vertex transfer matrix and accurate estimation of channel capacity

Authors: Shmuel Friedland, Per Hakan Lundow, Klas Markstrom

Abstract: The notion of a 1-vertex transfer matrix for multi-dimensional codes is introduced. It is shown that the capacity of such codes, or the topological entropy, can be expressed as the limit of the logarithm of spectral radii of 1-vertex transfer matrices. Storage and computations using the 1-vertex transfer matrix are much smaller than storage and computations needed for the standard transfer matri… ▽ More The notion of a 1-vertex transfer matrix for multi-dimensional codes is introduced. It is shown that the capacity of such codes, or the topological entropy, can be expressed as the limit of the logarithm of spectral radii of 1-vertex transfer matrices. Storage and computations using the 1-vertex transfer matrix are much smaller than storage and computations needed for the standard transfer matrix. The method is applied to estimate the first 15 digits of the entropy of the 2-dimensional (0,1) run length limited channel. In order to compare the computational cost of the new method with the standard transfer matrix and have rigorous bounds to compare the estimates with a large scale computation of eigenvalues for the (0,1) run length limited channel in 2 and 3 dimensions have been carried out. This in turn leads to improvements on the best previous lower and upper bounds for that channel. △ Less

Submitted 8 June, 2009; v1 submitted 28 February, 2006; originally announced March 2006.

MSC Class: 05A16; 28D20; 37M25; 82B20

Theory of Computation of Multidimensional Entropy with an Application to the Monomer-Dimer Problem

Authors: Shmuel Friedland, Uri N. Peled

Abstract: We outline the most recent theory for the computation of the exponential growth rate of the number of configurations on a multi-dimensional grid. As an application we compute the monomer-dimer constant for the 2-dimensional grid to 8 decimal digits, agreeing with the heuristic computations of Baxter, and for the 3-dimensional grid with an error smaller than 1.35%. We outline the most recent theory for the computation of the exponential growth rate of the number of configurations on a multi-dimensional grid. As an application we compute the monomer-dimer constant for the 2-dimensional grid to 8 decimal digits, agreeing with the heuristic computations of Baxter, and for the 3-dimensional grid with an error smaller than 1.35%. △ Less

Submitted 1 February, 2004; originally announced February 2004.

Comments: 35 pages, one pstricks and two eps figures, submitted

MSC Class: 82B20; 37M25 (Primary); 28D20; 05A16 (Secondary)