Showing 1–50 of 73 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 semidefinite programming characterization of the Crawford number

Authors: Shmuel Friedland, Cynthia Vinzant

Abstract: We give a semidefinite programming characterization of the Crawford number. We show that the computation of the Crawford number within $\varepsilon$ precision is computable in polynomial time in the data and $|\log \varepsilon |$. We give a semidefinite programming characterization of the Crawford number. We show that the computation of the Crawford number within $\varepsilon$ precision is computable in polynomial time in the data and $|\log \varepsilon |$. △ Less

Submitted 13 March, 2024; originally announced March 2024.

Comments: 8 pages

MSC Class: 15A60; 15A69; 68Q25; 68W25; 90C22; 90C51

On semidefinite programming characterizations of the numerical radius and its dual norm for quaternionic matrices

Authors: Shmuel Friedland

Abstract: We give a semidefinite programming characterizations of the numerical radius and its dual norm for quaternionic matrices. We show that the computation of the numerical radius and its dual norm within $\varepsilon$ precision are polynomially time computable in the data and $|\log \varepsilon |$ using the short step, primal interior point method. We give a semidefinite programming characterizations of the numerical radius and its dual norm for quaternionic matrices. We show that the computation of the numerical radius and its dual norm within $\varepsilon$ precision are polynomially time computable in the data and $|\log \varepsilon |$ using the short step, primal interior point method. △ Less

Submitted 18 February, 2024; v1 submitted 2 November, 2023; originally announced November 2023.

Comments: 23 pages. To appear in Communications in Optimization Theory

MSC Class: 15A60; 15A69; 15B33; 68Q25; 68W25; 90C22; 90C51

Interior point method in tensor optimal transport

Authors: Shmuel Friedland

Abstract: We study a tensor optimal transport (TOT) problem for $d\ge 2$ discrete measures. This is a linear programming problem on $d$-tensors. We introduces an interior point method (ipm) for $d$-TOT with a corresponding barrier function. Using a "short-step" ipm following central path within $\varepsilon$ precision we estimate the number of iterations. We study a tensor optimal transport (TOT) problem for $d\ge 2$ discrete measures. This is a linear programming problem on $d$-tensors. We introduces an interior point method (ipm) for $d$-TOT with a corresponding barrier function. Using a "short-step" ipm following central path within $\varepsilon$ precision we estimate the number of iterations. △ Less

Submitted 29 October, 2023; v1 submitted 3 October, 2023; originally announced October 2023.

Comments: Corrected typos and added a short additional subsection, 11 pages

MSC Class: 15A69; 52A41; 62H17; 65D19; 65K05; 90C25

On semidefinite programming characterizations of the numerical radius and its dual norm

Authors: Shmuel Friedland, Chi-Kwong Li

Abstract: We state and give self contained proofs of semidefinite programming characterizations of the numerical radius and its dual norm for matrices. We show that the computation of the numerical radius and its dual norm within $\varepsilon$ precision are polynomially time computable in the data and $|\log \varepsilon |$ using either the ellipsoid method or the short step, primal interior point method. We… ▽ More We state and give self contained proofs of semidefinite programming characterizations of the numerical radius and its dual norm for matrices. We show that the computation of the numerical radius and its dual norm within $\varepsilon$ precision are polynomially time computable in the data and $|\log \varepsilon |$ using either the ellipsoid method or the short step, primal interior point method. We apply our results to give a simple formula for the spectral and nuclear norm of $2\times n\times m$ real tensor in terms of the numerical radius and its dual norm. △ Less

Submitted 23 January, 2024; v1 submitted 14 August, 2023; originally announced August 2023.

Comments: 17 pages

MSC Class: 15A60; 15A69; 68Q25; 68W25; 81P40; 90C22; 90C51

Complexity of Geometric programming in the Turing model and application to nonnegative tensors

Authors: Shmuel Friedland, Stéphane Gaubert

Abstract: We consider a version of geometric programming problem consisting in minimizing a function given by the maximum of finitely many log-Laplace transforms of discrete nonnegative measures on a Euclidean space. Under a coerciveness assumption, we show that an $\varepsilon$-minimizer can be computed in a time that is polynomial in the input size and in $|\log\varepsilon|$. This is obtained by establish… ▽ More We consider a version of geometric programming problem consisting in minimizing a function given by the maximum of finitely many log-Laplace transforms of discrete nonnegative measures on a Euclidean space. Under a coerciveness assumption, we show that an $\varepsilon$-minimizer can be computed in a time that is polynomial in the input size and in $|\log\varepsilon|$. This is obtained by establishing bit-size estimates on approximate minimizers and by applying the ellipsoid method. We also derive polynomial iteration complexity bounds for the interior-point method applied to the same class of problems. We deduce that the spectral radius of a partially symmetric, weakly irreducible nonnegative tensor can be approximated within an $\varepsilon$-error in polynomial time. For strongly irreducible tensors, we show in addition that the logarithm of the positive eigenvector is polynomial time approximable. Our results also yield that the the maximum of a nonnegative homogeneous $d$-form in the $\ell_d$ unit ball can be approximated in polynomial time. In particular, the spectral radius of uniform weighted hypergraphs and some known upper bounds for the clique number of uniform hypergraphs are polynomial time computable. In contrast, we provide an example showing that the Phase I approach needs exponentially many bits to solve the feasibility problem in geometric programming. △ Less

Submitted 3 June, 2025; v1 submitted 25 January, 2023; originally announced January 2023.

Comments: 36 pages

MSC Class: 05C50; 05C65; 15A69; 68W25; 90C25

Haagerup bound for quaternionic Grothendieck inequality

Authors: Shmuel Friedland, Zehua Lai, Lek-Heng Lim

Abstract: We present here several versions of the Grothendieck inequality over the skew field of quaternions: The first one is the standard Grothendieck inequality for rectangular matrices, and two additional inequalities for self-adjoint matrices, as introduced by the first and the last authors in a recent paper. We give several results on ``conic Grothendieck inequality'': as Nesterov $π/2$-Theorem, which… ▽ More We present here several versions of the Grothendieck inequality over the skew field of quaternions: The first one is the standard Grothendieck inequality for rectangular matrices, and two additional inequalities for self-adjoint matrices, as introduced by the first and the last authors in a recent paper. We give several results on ``conic Grothendieck inequality'': as Nesterov $π/2$-Theorem, which corresponds to the cones of positive semidefinite matrices; the Goemans--Williamson inequality, which corresponds to the cones of weighted Laplacians; the diagonally dominant matrices. The most challenging technical part of this paper is the proof of the analog of Haagerup result that the inverse of the hypergeometric function $x {}_2F_1(\frac{1}{2}, \frac{1}{2}; 3; x^2)$ has first positive Taylor coefficient and all other Taylor coefficients are nonpositive. △ Less

Submitted 30 November, 2022; originally announced December 2022.

Comments: 36 pages

MSC Class: 47A07; 46B28; 46B85; 81P40; 81P45; 03D15; 97K30; 47N10; 90C27

Quantum Optimal Transport

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

Abstract: We analyze a quantum version of the Monge--Kantorovich optimal transport problem. The quantum transport cost related to a Hermitian cost matrix $C$ is minimized over the set of all bipartite coupling states $ρ^{AB}$ with fixed reduced density matrices $ρ^A$ and $ρ^B$ of size $m$ and $n$. The minimum quantum optimal transport cost $\rT^Q_{C}(ρ^A,ρ^B)$ can be efficiently computed using semidefinite… ▽ More We analyze a quantum version of the Monge--Kantorovich optimal transport problem. The quantum transport cost related to a Hermitian cost matrix $C$ is minimized over the set of all bipartite coupling states $ρ^{AB}$ with fixed reduced density matrices $ρ^A$ and $ρ^B$ of size $m$ and $n$. The minimum quantum optimal transport cost $\rT^Q_{C}(ρ^A,ρ^B)$ can be efficiently computed using semidefinite programming. In the case $m=n$ the cost $\rT^Q_{C}$ gives a semidistance if and only if $C$ is positive semidefinite and vanishes exactly on the subspace of symmetric matrices. Furthermore, if $C$ satisfies the above conditions, then $\sqrt{\rT^Q_{C}}$ induces a quantum analogue of the Wasserstein-2 distance. Taking the quantum cost matrix $C^Q$ to be the projector on the antisymmetric subspace, we provide a semi-analytic expression for $\rT^Q_{C^Q}$ for any pair of single-qubit states and show that its square root yields a transport distance on the Bloch ball. Numerical simulations suggest that this property holds also in higher dimensions. Assuming that the cost matrix suffers decoherence and that the density matrices become diagonal, we study the quantum-to-classical transition of the Earth mover's distance, propose a continuous family of interpolating distances, and demonstrate that the quantum transport is cheaper than the classical one. Furthermore, we introduce a related quantity -- the SWAP-fidelity -- and compare its properties with the standard Uhlmann--Jozsa fidelity. We also discuss the quantum optimal transport for general $d$-partite systems. △ Less

Submitted 12 July, 2022; v1 submitted 14 May, 2021; originally announced May 2021.

Comments: A detailed and expanded version of most mathematical results in arXiv:2102.07787: "Quantum Monge-Kantorovich problem and transport distance between density matrices". 61 pages

MSC Class: 81P40; 90C22; 15A69

Journal ref: Math Phys Anal Geom 26, 14 (2023)

Upper bounds for the spectral norm of symmetric tensors

Authors: Shmuel Friedland

Abstract: The maximum of the absolute value of a real homogeneous polynomial of degree $d\ge 3$ on the unit sphere corresponds to the spectral norm of the induced real $d$-symmetric tensor $\mathcal{S}$. We give two sequences of upper bounds on the spectral norm of $\mathcal{S}$, which are stated in terms of certain roots of the Hilbert-Schmidt norms of corresponding iterates. We show that these sequences a… ▽ More The maximum of the absolute value of a real homogeneous polynomial of degree $d\ge 3$ on the unit sphere corresponds to the spectral norm of the induced real $d$-symmetric tensor $\mathcal{S}$. We give two sequences of upper bounds on the spectral norm of $\mathcal{S}$, which are stated in terms of certain roots of the Hilbert-Schmidt norms of corresponding iterates. We show that these sequences are converging to a limit, which is the minimal value of these upper bounds. Some generalizations to iterates of homogeneous polynomial maps are discussed. △ Less

Submitted 19 April, 2021; originally announced April 2021.

Comments: 19 pages

MSC Class: 15A42; 15A60; 15A69; 15B48

Infimum of a matrix norm of A induced by an absolute vector norm

Authors: Shmuel Friedland

Abstract: We characterize the infimum of a matrix norm of a square matrix A induced by an absolute norm, over the fields of real and complex numbers. Usually this infimum is greater than the spectral radius of A. If A is sign equivalent to a nonnegative matrix B then this infimum is the spectral radius of B. We characterize the infimum of a matrix norm of a square matrix A induced by an absolute norm, over the fields of real and complex numbers. Usually this infimum is greater than the spectral radius of A. If A is sign equivalent to a nonnegative matrix B then this infimum is the spectral radius of B. △ Less

Submitted 3 May, 2021; v1 submitted 31 March, 2021; originally announced April 2021.

Comments: 7 pages, small corrections of previous version

MSC Class: 15A42; 15A60; 15B48

Tensor optimal transport, distance between sets of measures and tensor scaling

Authors: Shmuel Friedland

Abstract: We study the optimal transport problem for $d>2$ discrete measures. This is a linear programming problem on $d$-tensors. It gives a way to compute a "distance" between two sets of discrete measures. We introduce an entropic regularization term, which gives rise to a scaling of tensors. We give a variation of the celebrated Sinkhorn scaling algorithm. We show that this algorithm can be viewed as a… ▽ More We study the optimal transport problem for $d>2$ discrete measures. This is a linear programming problem on $d$-tensors. It gives a way to compute a "distance" between two sets of discrete measures. We introduce an entropic regularization term, which gives rise to a scaling of tensors. We give a variation of the celebrated Sinkhorn scaling algorithm. We show that this algorithm can be viewed as a partial minimization algorithm of a strictly convex function. Under appropriate conditions the rate of convergence is geometric and we estimate the rate. Our results are generalizations of known results for the classical case of two discrete measures. △ Less

Submitted 24 July, 2021; v1 submitted 2 May, 2020; originally announced May 2020.

Comments: 32 pages, some of the results in arXiv:1905.11384 are repeated

MSC Class: 15A39; 15A69; 52A41; 62H17; 65D19; 65F35; 65K05; 90C05; 90C25

Symmetric Grothendieck inequality

Authors: Shmuel Friedland, Lek-Heng Lim

Abstract: We establish an analogue of the Grothendieck inequality where the rectangular matrix is replaced by a symmetric/Hermitian matrix and the bilinear form by a quadratic form. We call this the symmetric Grothendieck inequality; despite its name, it is a generalization -- the original Grothendieck inequality is a special case. While there are other proposals for such an inequality, ours differs in two… ▽ More We establish an analogue of the Grothendieck inequality where the rectangular matrix is replaced by a symmetric/Hermitian matrix and the bilinear form by a quadratic form. We call this the symmetric Grothendieck inequality; despite its name, it is a generalization -- the original Grothendieck inequality is a special case. While there are other proposals for such an inequality, ours differs in two important ways: (i) we have no additional requirement like positive semidefiniteness; (ii) our symmetric Grothendieck constant is universal, i.e., independent of the matrix and its dimensions. A consequence of our symmetric Grothendieck inequality is a "conic Grothendieck inequality" for any family of cones of symmetric matrices: The original Grothendieck inequality is a special case; as is the Nesterov $π/2$-Theorem, which corresponds to the cones of positive semidefinite matrices; as well as the Goemans-Williamson inequality, which corresponds to the cones of Laplacians. For yet other cones, e.g., of diagonally dominant matrices, we get new Grothendieck-like inequalities. A slight extension leads to a unified framework that treats any Grothendieck-like inequality as an inequality between two norms within a family of "Grothendieck norms" restricted to a family of cones. This allows us to place on equal footing the Goemans-Williamson inequality, Nesterov $π/2$-Theorem, Ben-Tal-Nemirovski-Roos $4/π$-Theorem, generalized Grothendieck inequality, order-$p$ Grothendieck inequality, rank-constrained positive semidefinite Grothendieck inequality; and in turn allows us to simplify proofs, extend results from real to complex, obtain new bounds or establish sharpness of existing ones. The symmetric Grothendieck inequality may also be applied to obtain polynomial-time approximation bounds for NP-hard combinatorial, integer, and nonconvex optimization problems. △ Less

Submitted 16 March, 2020; originally announced March 2020.

Comments: 42 pages

MSC Class: 47A07; 46B28; 68Q17; 81P45; 90C27; 05C50

On the complexity of finding tensor ranks

Authors: Mohsen Aliabadi, Shmuel Friedland

Abstract: The purpose of this note is to give a linear algebra algorithm to find out if a rank of a given tensor over a field $\F$ is at most $k$ over the algebraic closure of $\F$, where $k$ is a given positive integer. We estimate the arithmetic complexity of our algorithm. The purpose of this note is to give a linear algebra algorithm to find out if a rank of a given tensor over a field $\F$ is at most $k$ over the algebraic closure of $\F$, where $k$ is a given positive integer. We estimate the arithmetic complexity of our algorithm. △ Less

Submitted 13 November, 2020; v1 submitted 15 February, 2020; originally announced February 2020.

Partial minimization of strict convex functions and tensor scaling

Authors: Shmuel Friedland

Abstract: Assume that f is a strict convex function with a unique minimum in R^n. We divide the vector of n-variables to d groups of vector subvariables with d at least two. We assume that we can find the partial minimum of f with respect to each vector subvariable while other variables are fixed. We then describe an algorithm that partially minimizes each time on a specifically chosen vector subvariable. T… ▽ More Assume that f is a strict convex function with a unique minimum in R^n. We divide the vector of n-variables to d groups of vector subvariables with d at least two. We assume that we can find the partial minimum of f with respect to each vector subvariable while other variables are fixed. We then describe an algorithm that partially minimizes each time on a specifically chosen vector subvariable. This algorithm converges geometrically to the unique minimum. The rate of convergence depends on the uniform bounds on the eigenvalues of the Hessian of f in the compact sublevel set f whose values are at most f(x_0), where x_0 is the starting point of the algorithm. In the case where f is a polynomial of degree two, with positive definite quadratic term, and d=n our method can be considered as a generalization of the classical conjugate gradient method. The main result of this paper is the observation that the celebrated Sinkhorn diagonal scaling algorithm for matrices, and the corresponding diagonal scaling of tensors, can be viewed as partial minimization of certain logconvex functions. △ Less

Submitted 4 June, 2019; v1 submitted 26 May, 2019; originally announced May 2019.

Comments: 16 pages, added a generalization of discrete Schrodinger bridge problem, arXiv admin note: text overlap with arXiv:0908.2368

MSC Class: 15A39; 15A69; 52A41; 65F35; 65K05

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

Spectral inequalities for nonnegative tensors and their tropical analogues

Authors: Shmuel Friedland, Stéphane Gaubert

Abstract: We extend some characterizations and inequalities for the eigenvalues of nonnegative matrices, such as Donsker-Varadhan, Friedland-Karlin, Karlin-Ost inequalities, to nonnegative tensors. Our approach involves a correspondence between nonnegative tensors, ergodic control and entropy maximization: we show in particular that the logarithm of the spectral radius of a tensor is given by en entropy max… ▽ More We extend some characterizations and inequalities for the eigenvalues of nonnegative matrices, such as Donsker-Varadhan, Friedland-Karlin, Karlin-Ost inequalities, to nonnegative tensors. Our approach involves a correspondence between nonnegative tensors, ergodic control and entropy maximization: we show in particular that the logarithm of the spectral radius of a tensor is given by en entropy maximization problem over a space of occupation measures. We study in particular the tropical analogue of the spectral radius, that we characterize as a limit of the classical spectral radius, and we give an explicit combinatorial formula for this tropical spectral radius. △ Less

Submitted 13 September, 2019; v1 submitted 31 March, 2018; originally announced April 2018.

Comments: 30 pages

MSC Class: 15A42; 15A69; 15A80

An elementary and unified proof of Grothendieck's inequality

Authors: Shmuel Friedland, Lek-Heng Lim, Jinjie Zhang

Abstract: We present an elementary, self-contained proof of Grothendieck's inequality that unifies the real and complex cases and yields both the Krivine and Haagerup bounds, the current best-known explicit bounds for the real and complex Grothendieck constants respectively. This article is intended to be pedagogical, combining and streamlining known ideas of Lindenstrauss--Pełczyński, Krivine, and Haagerup… ▽ More We present an elementary, self-contained proof of Grothendieck's inequality that unifies the real and complex cases and yields both the Krivine and Haagerup bounds, the current best-known explicit bounds for the real and complex Grothendieck constants respectively. This article is intended to be pedagogical, combining and streamlining known ideas of Lindenstrauss--Pełczyński, Krivine, and Haagerup into a proof that need only univariate calculus, basic complex variables, and a modicum of linear algebra as prerequisites. △ Less

Submitted 23 October, 2018; v1 submitted 28 November, 2017; originally announced November 2017.

Comments: 17 pages

MSC Class: 47A07; 46B28; 46B85; 81P40; 81P45; 03D15; 97K30; 47N10; 90C27

The Collatz-Wielandt quotient for pairs of nonnegative operators

Authors: Shmuel Friedland

Abstract: In this paper we consider two versions of the Collatz-Wielandt quotient for a pair of nonnegative operators A,B that map a given pointed generating cone in the first space into a given pointed generating cone in the second space. If the two spaces and two cones are identical, and B is the identity operator then one version of this quotient is the spectral radius of A. In some applications, as comm… ▽ More In this paper we consider two versions of the Collatz-Wielandt quotient for a pair of nonnegative operators A,B that map a given pointed generating cone in the first space into a given pointed generating cone in the second space. If the two spaces and two cones are identical, and B is the identity operator then one version of this quotient is the spectral radius of A. In some applications, as commodity pricing, power control in wireless networks and quantum information theory, one needs to deal with the Collatz-Wielandt quotient for two nonnegative operators. In this paper we treat the two important cases: a pair of rectangular nonnegative matrices and a pair completely positive operators. We give a characterization of minimal optimal solutions and polynomially computable bounds on the Collatz-Wielandt quotient. △ Less

Submitted 5 April, 2020; v1 submitted 19 October, 2017; originally announced October 2017.

Comments: 24 pages. To appear in Applications of Mathematics, ISSN 0862-7940

MSC Class: 15A22; 15A45; 15B48; 15B57; 94A40

The tensor rank of tensor product of two three-qubit W states is eight

Authors: Lin Chen, Shmuel Friedland

Abstract: We show that the tensor rank of tensor product of two three-qubit W states is not less than eight. Combining this result with the recent result of M. Christandl, A. K. Jensen, and J. Zuiddam that the tensor rank of tensor product of two three-qubit W states is at most eight, we deduce that the tensor rank of tensor product of two three-qubit W states is eight. We also construct the upper bound of… ▽ More We show that the tensor rank of tensor product of two three-qubit W states is not less than eight. Combining this result with the recent result of M. Christandl, A. K. Jensen, and J. Zuiddam that the tensor rank of tensor product of two three-qubit W states is at most eight, we deduce that the tensor rank of tensor product of two three-qubit W states is eight. We also construct the upper bound of the tensor rank of tensor product of many three-qubit W states. △ Less

Submitted 23 December, 2017; v1 submitted 28 August, 2017; originally announced August 2017.

Comments: 10 pages, accepted by Linear Algebra and Applications

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 best rank-2 and rank-(2,2,2) approximations of order-3 tensors

Authors: Alwin Stegeman, Shmuel Friedland

Abstract: It is well known that a best rank-$R$ approximation of order-3 tensors may not exist for $R\ge 2$. A best rank-$(R,R,R)$ approximation always exists, however, and is also a best rank-$R$ approximation when it has rank (at most) $R$. For $R=2$ and real order-3 tensors it is shown that a best rank-2 approximation is also a local minimum of the best rank-(2,2,2) approximation problem. This implies th… ▽ More It is well known that a best rank-$R$ approximation of order-3 tensors may not exist for $R\ge 2$. A best rank-$(R,R,R)$ approximation always exists, however, and is also a best rank-$R$ approximation when it has rank (at most) $R$. For $R=2$ and real order-3 tensors it is shown that a best rank-2 approximation is also a local minimum of the best rank-(2,2,2) approximation problem. This implies that if all rank-(2,2,2) minima have rank larger than 2, then a best rank-2 approximation does not exist. This provides an easy-to-check criterion for existence of a best rank-2 approximation. The result is illustrated by means of simulations. △ Less

Submitted 22 September, 2016; v1 submitted 20 April, 2016; originally announced April 2016.

Comments: Linear and Multilinear Algebra, to appear

The Computational Complexity of Duality

Authors: Shmuel Friedland, Lek-Heng Lim

Abstract: We show that for any given norm ball or proper cone, weak membership in its dual ball or dual cone is polynomial-time reducible to weak membership in the given ball or cone. A consequence is that the weak membership or membership problem for a ball or cone is NP-hard if and only if the corresponding problem for the dual ball or cone is NP-hard. In a similar vein, we show that computation of the du… ▽ More We show that for any given norm ball or proper cone, weak membership in its dual ball or dual cone is polynomial-time reducible to weak membership in the given ball or cone. A consequence is that the weak membership or membership problem for a ball or cone is NP-hard if and only if the corresponding problem for the dual ball or cone is NP-hard. In a similar vein, we show that computation of the dual norm of a given norm is polynomial-time reducible to computation of the given norm. This extends to convex functions satisfying a polynomial growth condition: for such a given function, computation of its Fenchel dual/conjugate is polynomial-time reducible to computation of the given function. Hence the computation of a norm or a convex function of polynomial-growth is NP-hard if and only if the computation of its dual norm or Fenchel dual is NP-hard. We discuss implications of these results on the weak membership problem for a symmetric convex body and its polar dual, the polynomial approximability of Mahler volume, and the weak membership problem for the epigraph of a convex function with polynomial growth and that of its Fenchel dual. △ Less

Submitted 23 July, 2016; v1 submitted 27 January, 2016; originally announced January 2016.

Comments: 14 pages

MSC Class: 15B48; 52A41; 65F35; 90C46; 90C60

Remarks on the symmetric rank of symmetric tensors

Authors: Shmuel Friedland

Abstract: We give sufficient conditions on a symmetric tensor S in S^dF^n to satisfy the equality: the symmetric rank of S, denoted as srank(S), is equal to the rank of S, denoted as rank(S). This is done by considering the rank of the unfolded S viewed as a matrix A(S). The condition is: rank(S) is in {rank(A(S)),rank (A(S))+1}. In particular, srank(S)=rank(S) for S in S^dC^n for the cases (d,n) in {(3,2),… ▽ More We give sufficient conditions on a symmetric tensor S in S^dF^n to satisfy the equality: the symmetric rank of S, denoted as srank(S), is equal to the rank of S, denoted as rank(S). This is done by considering the rank of the unfolded S viewed as a matrix A(S). The condition is: rank(S) is in {rank(A(S)),rank (A(S))+1}. In particular, srank(S)=rank(S) for S in S^dC^n for the cases (d,n) in {(3,2),(4,2),(3,3)}. We discuss the analogs of the above results for border rank and best approximations of symmetric tensors. △ Less

Submitted 24 January, 2016; v1 submitted 4 May, 2015; originally announced May 2015.

Comments: 20 pages, revised version

MSC Class: 14M15; 14P10; 15A69; 41A52; 41A65; 46B28

On 1-sum flows in undirected graphs

Authors: S. Akbari, S. Friedland, K. Markström, S. Zare

Abstract: Let G=(V,E) be a simple undirected graph. For a given set L of the real line, a function omega from E to L is called an L-flow. Given a vector gamma whose coordinates are indexed by V, we say that omega is a gamma-L-flow if for each v in V, the sum of the values on the edges incident to v is gamma(v). If gamma(v)=c, for all v in V, then the gamma-L-flow is called a c-sum L-flow. In this paper we s… ▽ More Let G=(V,E) be a simple undirected graph. For a given set L of the real line, a function omega from E to L is called an L-flow. Given a vector gamma whose coordinates are indexed by V, we say that omega is a gamma-L-flow if for each v in V, the sum of the values on the edges incident to v is gamma(v). If gamma(v)=c, for all v in V, then the gamma-L-flow is called a c-sum L-flow. In this paper we study the existence of gamma-L-flows for various choices of sets L of real numbers, with an emphasis on 1-sum flows. Given a natural k number, a c-sum k-flow is a c-sum flow with values from the set {-1,1,...,1-k, k-1}. Let L be a subset of real numbers containing 0 and let L* be L minus 0 by L*. Answering a question from a recent paper we characterize which bipartite graphs admit a 1-sum R*-flow or a 1-sum Z*-flow. We also show that that every k-regular graph, with k either odd or congruent to 2 modulo 4, admits a 1-sum {-1, 0, 1}-flow. △ Less

Submitted 24 March, 2015; originally announced March 2015.

Comments: 20 pages, 1 figure

MSC Class: 90C05

Equality in Wielandt's eigenvalue inequality

Authors: Shmuel Friedland

Abstract: In this paper we give necessary and sufficient conditions for the equality case in Wielandt's eigenvalue inequality. In this paper we give necessary and sufficient conditions for the equality case in Wielandt's eigenvalue inequality. △ Less

Submitted 22 March, 2015; v1 submitted 13 January, 2015; originally announced February 2015.

Comments: 6 pages, few typos are corrected

MSC Class: 15A18; 15A22; 15A42; 15B57

Inertia of Loewner Matrices

Authors: Rajendra Bhatia, Shmuel Friedland, Tanvi Jain

Abstract: Given positive numbers p_1 < p_2 < ... < p_n, and a real number r let L_r be the n by n matrix with its (i,j) entry equal to (p_i^r-p_j^r)/(p_i-p_j). A well-known theorem of C. Loewner says that L_r is positive definite when 0 < r < 1. In contrast, R. Bhatia and J. Holbrook, (Indiana Univ. Math. J, 49 (2000) 1153-1173) showed that when 1 < r < 2, the matrix L_r has only one positive eigenvalue, an… ▽ More Given positive numbers p_1 < p_2 < ... < p_n, and a real number r let L_r be the n by n matrix with its (i,j) entry equal to (p_i^r-p_j^r)/(p_i-p_j). A well-known theorem of C. Loewner says that L_r is positive definite when 0 < r < 1. In contrast, R. Bhatia and J. Holbrook, (Indiana Univ. Math. J, 49 (2000) 1153-1173) showed that when 1 < r < 2, the matrix L_r has only one positive eigenvalue, and made a conjecture about the signatures of eigenvalues of L_r for other r. That conjecture is proved in this paper. △ Less

Submitted 7 January, 2015; originally announced January 2015.

Comments: 11 pages, 1 figure

MSC Class: 15A48; 47B34

Some approximation problems in semi-algebraic geometry

Authors: Shmuel Friedland, Malgorzata Stawiska

Abstract: In this paper we deal with a best approximation of a vector with respect to a closed semi-algebraic set $C$ in the space $\mathbb{R}^n$ endowed with a semi-algebraic norm $ν$. Under additional assumptions on $ν$ we prove semi-algebraicity of the set of points of unique approximation and other sets associated with the distance to $C$. For $C$ irreducible algebraic we study the critical point corres… ▽ More In this paper we deal with a best approximation of a vector with respect to a closed semi-algebraic set $C$ in the space $\mathbb{R}^n$ endowed with a semi-algebraic norm $ν$. Under additional assumptions on $ν$ we prove semi-algebraicity of the set of points of unique approximation and other sets associated with the distance to $C$. For $C$ irreducible algebraic we study the critical point correspondence and introduce the $ν$- distance degree, generalizing the notion appearing in \cite{DHOST} for the Euclidean norm. We discuss separately the case of the $\ell^p$ norm ($p>1$). △ Less

Submitted 10 January, 2016; v1 submitted 9 December, 2014; originally announced December 2014.

Comments: Completely reworked material of Sections 1--6 of S. Friedland and M. Stawiska, Best approximation on semi-algebraic sets and k-border rank approximation of symmetric tensors, arXiv:1311.1561, with related new results. Some minor clarifications made to the 2014 version. 16 pages

MSC Class: 14P10; 41A52; 41A65

Journal ref: Constructive approximation of functions, 133-147, Banach Center Publ., 107, Polish Acad. Sci. Inst. Math., Warsaw, 2015

Low-rank approximation of tensors

Authors: Shmuel Friedland, Venu Tammali

Abstract: In many applications such as data compression, imaging or genomic data analysis, it is important to approximate a given tensor by a tensor that is sparsely representable. For matrices, i.e. 2-tensors, such a representation can be obtained via the singular value decomposition, which allows to compute best rank k-approximations. For very big matrices a low rank approximation using SVD is not computa… ▽ More In many applications such as data compression, imaging or genomic data analysis, it is important to approximate a given tensor by a tensor that is sparsely representable. For matrices, i.e. 2-tensors, such a representation can be obtained via the singular value decomposition, which allows to compute best rank k-approximations. For very big matrices a low rank approximation using SVD is not computationally feasible. In this case different approximations are available. It seems that variants of CUR decomposition are most suitable. For d-mode tensors T with d>2, many generalizations of the singular value decomposition have been proposed to obtain low tensor rank decompositions. The most appropriate approximation seems to be best (r_1,...,r_d)-approximation, which maximizes the l_2 norm of the projection of T on a tensor product of subspaces U_1,...,U_d, where U_i is an r_i-dimensional subspace. One of the most common method is the alternating maximization method (AMM). It is obtained by maximizing on one subspace U_i, while keeping all other fixed, and alternating the procedure repeatedly for i=1,...,d. Usually, AMM will converge to a local best approximation. This approximation is a fixed point of a corresponding map on Grassmannians. We suggest a Newton method for finding the corresponding fixed point. We also discuss variants of CUR-approximation method for tensors. The first part of the paper is a survey on low rank approximation of tensors. The second new part of this paper is a new Newton method for best $(r_1,...,r_d)$-approximation. We compare numerically different approximation methods. △ Less

Submitted 10 December, 2014; v1 submitted 22 October, 2014; originally announced October 2014.

Comments: 28 pages, 5 figures

MSC Class: 15A69; 58C30; 65C05; 65F30

Best approximation on semi-algebraic sets and k-border rank approximation of symmetric tensors

Authors: Shmuel Friedland, Malgorzata Stawiska

Abstract: In the first part of this paper we study a best approximation of a vector in Euclidean space R^n with respect to a closed semi-algebraic set C and a given semi-algebraic norm. Assuming that the given norm and its dual norm are differentiable we show that a best approximation is unique outside a hypersurface. We then study the case where C is an irreducible variety and the approximation is with res… ▽ More In the first part of this paper we study a best approximation of a vector in Euclidean space R^n with respect to a closed semi-algebraic set C and a given semi-algebraic norm. Assuming that the given norm and its dual norm are differentiable we show that a best approximation is unique outside a hypersurface. We then study the case where C is an irreducible variety and the approximation is with respect to the Euclidean norm. We show that for a general point in x in R^n the number of critical points of the distance function of x to C is bounded above by a degree of a related dominant map. If C induces a smooth projective variety in V_P in P(C^n) then this degree is the top Chern number of a corresponding vector bundle on V_P. We then study the problem when a best k(> 1)-border rank approximation of a symmetric tensor is symmetric. We show that under certain dimensional conditions there exists an open semi-algebraic set of symmetric tensors for which a best k-border rank is unique and symmetric. △ Less

Submitted 6 November, 2013; originally announced November 2013.

Comments: 21 pages

MSC Class: 14A25; 14C17; 14P10; 15A69; 41A52; 41A65; 53A45

Upper bounds on the number of perfect matchings and directed 2-factors in graphs with given number of vertices and edges

Authors: M. Aaghabali, S. Akbari, S. Friedland, K. Markstrom, Z. Tajfirouz

Abstract: We give an upper bound on the number of perfect matchings in simple graphs with a given number of vertices and edges. We apply this result to give an upper bound on the number of 2-factors in a directed complete bipartite balanced graph on 2n vertices. The upper bound is sharp for n even. For n odd we state a conjecture on a sharp upper bound. We give an upper bound on the number of perfect matchings in simple graphs with a given number of vertices and edges. We apply this result to give an upper bound on the number of 2-factors in a directed complete bipartite balanced graph on 2n vertices. The upper bound is sharp for n even. For n odd we state a conjecture on a sharp upper bound. △ Less

Submitted 31 July, 2014; v1 submitted 21 October, 2013; originally announced October 2013.

Comments: 17 pages, 2 tables, 5 figures

MSC Class: 05A20; 05C20; 05C70

Nonnegative definite hermitian matrices with increasing principal minors

Authors: Shmuel Friedland

Abstract: A nonzero nonnegative definite hermitian m by m matrix A has increasing principal minors if the value of each principle minor of A is not less than the value each of its subminors. For $m>1$ we show $A$ has increasing principal minors if and only if $A^{-1}$ exists and its diagonal entries are less or equal to 1. A nonzero nonnegative definite hermitian m by m matrix A has increasing principal minors if the value of each principle minor of A is not less than the value each of its subminors. For $m>1$ we show $A$ has increasing principal minors if and only if $A^{-1}$ exists and its diagonal entries are less or equal to 1. △ Less

Submitted 20 January, 2013; originally announced January 2013.

Comments: 3 pages

MSC Class: 15B57; 90C10

The number of singular vector tuples and uniqueness of best rank one approximation of tensors

Authors: Shmuel Friedland, Giorgio Ottaviani

Abstract: In this paper we discuss the notion of singular vector tuples of a complex valued $d$-mode tensor of dimension m_1 x ... x m_d. We show that a generic tensor has a finite number of singular vector tuples, viewed as points in the corresponding Segre product. We give the formula for the number of singular vector tuples. We show similar results for tensors with partial symmetry. We give analogous res… ▽ More In this paper we discuss the notion of singular vector tuples of a complex valued $d$-mode tensor of dimension m_1 x ... x m_d. We show that a generic tensor has a finite number of singular vector tuples, viewed as points in the corresponding Segre product. We give the formula for the number of singular vector tuples. We show similar results for tensors with partial symmetry. We give analogous results for the homogeneous pencil eigenvalue problem for cubic tensors, i.e. m_1=...=m_d. We show uniqueness of best approximations for almost all real tensors in the following cases: rank one approximation; rank one approximation for partially symmetric tensors (this approximation is also partially symmetric); rank-(r_1,...,r_d) approximation for $d$-mode tensors. △ Less

Submitted 8 November, 2013; v1 submitted 31 October, 2012; originally announced October 2012.

Comments: 32 pages, 1 figure, 2 tables

MSC Class: 14D21; 15A18; 15A69; 65D15; 65H10; 65K05

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

On best rank one approximation of tensors

Authors: S. Friedland, V. Mehrmann, R. Pajarola, S. K. Suter

Abstract: In this paper we suggest a new algorithm for the computation of a best rank one approximation of tensors, called alternating singular value decomposition. This method is based on the computation of maximal singular values and the corresponding singular vectors of matrices. We also introduce a modification for this method and the alternating least squares method, which ensures that alternating iter… ▽ More In this paper we suggest a new algorithm for the computation of a best rank one approximation of tensors, called alternating singular value decomposition. This method is based on the computation of maximal singular values and the corresponding singular vectors of matrices. We also introduce a modification for this method and the alternating least squares method, which ensures that alternating iterations will always converge to a semi-maximal point. (A critical point in several vector variables is semi-maximal if it is maximal with respect to each vector variable, while other vector variables are kept fixed.) We present several numerical examples that illustrate the computational performance of the new method in comparison to the alternating least square method. △ Less

Submitted 16 January, 2013; v1 submitted 26 December, 2011; originally announced December 2011.

Comments: 17 pages and 6 figures

MSC Class: 15A69; 65D15; 65H10; 65K05

Results and open problems in matchings in regular graphs

Authors: Shmuel Friedland

Abstract: This survey paper deals with upper and lower bounds on the number of $k$-matchings in regular graphs on $N$ vertices. For the upper bounds we recall the upper matching conjecture which is known to hold for perfect matchings. For the lower bounds we first survey the known results for bipartite graphs, and their continuous versions as the van der Waerden and Tverberg permanent conjectures and it… ▽ More This survey paper deals with upper and lower bounds on the number of $k$-matchings in regular graphs on $N$ vertices. For the upper bounds we recall the upper matching conjecture which is known to hold for perfect matchings. For the lower bounds we first survey the known results for bipartite graphs, and their continuous versions as the van der Waerden and Tverberg permanent conjectures and its variants. We then discuss non-bipartite graphs. Little is known beyond the recent proof of the Lovász-Plummer conjecture on the exponential growth of perfect matchings in cubic bridgeless graphs. We discuss the problem of the minimum of haffnians on the convex set of matrices, whose extreme points are the adjacency matrices of subgraphs of the complete graph corresponding to perfect matchings. We also consider infinite regular graphs. The analog of $k$-matching is the $p$-monomer entropy, where $p\in [0,1]$ is the density of the number of matchings. △ Less

Submitted 5 January, 2012; v1 submitted 23 December, 2011; originally announced December 2011.

Comments: 15 pages, 3 figures

MSC Class: 05C30; 05C70; 15A15

Best rank one approximation of real symmetric tensors can be chosen symmetric

Authors: Shmuel Friedland

Abstract: We show that a best rank one approximation to a real symmetric tensor, which in principle can be nonsymmetric, can be chosen symmetric. Furthermore, a symmetric best rank one approximation to a symmetric tensor is unique if the tensor does not lie on a certain real algebraic variety. We show that a best rank one approximation to a real symmetric tensor, which in principle can be nonsymmetric, can be chosen symmetric. Furthermore, a symmetric best rank one approximation to a symmetric tensor is unique if the tensor does not lie on a certain real algebraic variety. △ Less

Submitted 25 November, 2012; v1 submitted 25 October, 2011; originally announced October 2011.

Comments: 14 pages

MSC Class: 15A18; 15A69; 46B28; 65D15; 65H10; 65K10

Upper bounds on the magnitude of solutions of certain linear systems with integer coefficients

Authors: Pedro J. Freitas, Shmuel Friedland, Gaspar Porta

Abstract: In this paper we consider a linear homogeneous system of $m$ equations in $n$ unknowns with integer coefficients over the reals. Assume that the sum of the absolute values of the coefficients of each equation does not exceed $k+1$ for some positive integer $k$. We show that if the system has a nontrivial solution then there exists a nontrivial solution $\x=(x_1,...,x_n)\trans$ such that… ▽ More In this paper we consider a linear homogeneous system of $m$ equations in $n$ unknowns with integer coefficients over the reals. Assume that the sum of the absolute values of the coefficients of each equation does not exceed $k+1$ for some positive integer $k$. We show that if the system has a nontrivial solution then there exists a nontrivial solution $\x=(x_1,...,x_n)\trans$ such that $\frac{|x_j|}{|x_i|}\le k^{n-1}$ for each $i,j$ satisfying $x_ix_j\ne 0$. This inequality is sharp. We also prove a conjecture of A. Tyszka related to our results. △ Less

Submitted 3 May, 2012; v1 submitted 19 August, 2011; originally announced August 2011.

Comments: 14 pages

MSC Class: 15A39; 15A45

A proof of the set-theoretic version of the salmon conjecture

Authors: Shmuel Friedland, Elizabeth Gross

Abstract: We show that the irreducible variety of 4 x 4 x 4 complex valued tensors of border rank at most 4 is the zero set of polynomial equations of degree 5 (the Strassen commutative conditions), of degree 6 (the Landsberg-Manivel polynomials), and of degree 9 (the symmetrization conditions). We show that the irreducible variety of 4 x 4 x 4 complex valued tensors of border rank at most 4 is the zero set of polynomial equations of degree 5 (the Strassen commutative conditions), of degree 6 (the Landsberg-Manivel polynomials), and of degree 9 (the symmetrization conditions). △ Less

Submitted 29 April, 2011; v1 submitted 10 April, 2011; originally announced April 2011.

Comments: 7 pages

MSC Class: 14A25; 14P10; 15A69

Analogs of the van der Waerden and Tverberg conjectures for haffnians

Authors: Shmuel Friedland

Abstract: We discuss here analogs of van der Waerden and Tverberg permanent conjectures for haffnians on the convex set of matrices whose extreme points are symmetric permutation matrices with zero diagonal. We discuss here analogs of van der Waerden and Tverberg permanent conjectures for haffnians on the convex set of matrices whose extreme points are symmetric permutation matrices with zero diagonal. △ Less

Submitted 17 February, 2011; v1 submitted 12 February, 2011; originally announced February 2011.

Comments: 8 pages

MSC Class: 05C30; 05C70; 15A15

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

Submodular spectral functions of principal submatrices of a hermitian matrix, extensions and applications

Authors: S. Friedland, S. Gaubert

Abstract: We extend the multiplicative submodularity of the principal determinants of a nonnegative definite hermitian matrix to other spectral functions. We show that if $f$ is the primitive of a function that is operator monotone on an interval containing the spectrum of a hermitian matrix $A$, then the function $I\mapsto {\rm tr} f(A[I])$ is supermodular, meaning that… ▽ More We extend the multiplicative submodularity of the principal determinants of a nonnegative definite hermitian matrix to other spectral functions. We show that if $f$ is the primitive of a function that is operator monotone on an interval containing the spectrum of a hermitian matrix $A$, then the function $I\mapsto {\rm tr} f(A[I])$ is supermodular, meaning that ${\rm tr} f(A[I])+{\rm tr} f(A[J])\leq {\rm tr} f(A[I\cup J])+{\rm tr} f(A[I\cap J])$, where $A[I]$ denotes the $I\times I$ principal submatrix of $A$. We discuss extensions to self-adjoint operators on infinite dimensional Hilbert space and to $M$-matrices. We discuss an application to CUR approximation of nonnegative hermitian matrices. △ Less

Submitted 19 June, 2012; v1 submitted 20 July, 2010; originally announced July 2010.

Comments: 16 pages

MSC Class: 15A18; 15B57; 90C10

On the minimum rank of a graph over finite fields

Authors: Shmuel Friedland, Raphael Loewy

Abstract: In this paper we deal with two aspects of the minimum rank of a simple undirected graph $G$ on $n$ vertices over a finite field $\FF_q$ with $q$ elements, which is denoted by $\mr(\FF_q,G)$. In the first part of this paper we show that the average minimum rank of simple undirected labeled graphs on $n$ vertices over $\FF_2$ is $(1-\varepsilon_n)n$, were $\lim_{n\to\infty} \varepsilon_n=0$. In th… ▽ More In this paper we deal with two aspects of the minimum rank of a simple undirected graph $G$ on $n$ vertices over a finite field $\FF_q$ with $q$ elements, which is denoted by $\mr(\FF_q,G)$. In the first part of this paper we show that the average minimum rank of simple undirected labeled graphs on $n$ vertices over $\FF_2$ is $(1-\varepsilon_n)n$, were $\lim_{n\to\infty} \varepsilon_n=0$. In the second part of this paper we assume that $G$ contains a clique $K_k$ on $k$-vertices. We show that if $q$ is not a prime then $\mr(\FF_q,G)\le n-k+1$ for $4\le k\le n-1$ and $n\ge 5$. It is known that $\mr(\FF_q,G)\le 3$ for $k=n-2$, $n\ge 4$ and $q\ge 4$. We show that for $k=n-2$ and each $n\ge 10$ there exists a graph $G$ such that $\mr(\FF_3,G)>3$. For $k=n-3$, $n\ge 5$ and $q\ge 4$ we show that $\mr(\FF_q,G)\le 4$. △ Less

Submitted 20 July, 2010; v1 submitted 3 June, 2010; originally announced June 2010.

Comments: 16 pages

MSC Class: 05AC50; 11T99; 15A03

On tensors of border rank $l$ in $\C^{m\times n\times l}$

Authors: Shmuel Friedland

Abstract: We study tensors in $\C^{m\times n\times l}$ whose border rank is $l$. We characterize the tensors in $\C^{3\times 3\times 4}$ and in $\C^{4\times 4\times 4}$ of border rank 4 at most. We study tensors in $\C^{m\times n\times l}$ whose border rank is $l$. We characterize the tensors in $\C^{3\times 3\times 4}$ and in $\C^{4\times 4\times 4}$ of border rank 4 at most. △ Less

Submitted 13 November, 2010; v1 submitted 9 March, 2010; originally announced March 2010.

Comments: 25 pages, a substantially revised version

MSC Class: 14A25; 14P10; 15A69

A note on the nonzero spectrum of irreducible matrices

Authors: Shmuel Friedland

Abstract: In this note we extend the necessary and sufficient conditions of Boyle-Handleman 1991 and Kim-Ormes-Roush 2000 for a nonzero eigenvalue multiset of primitive matrices over $\R_+$ and $\Z_+$, respectively, to irreducible matrices. In this note we extend the necessary and sufficient conditions of Boyle-Handleman 1991 and Kim-Ormes-Roush 2000 for a nonzero eigenvalue multiset of primitive matrices over $\R_+$ and $\Z_+$, respectively, to irreducible matrices. △ Less

Submitted 19 March, 2011; v1 submitted 18 October, 2009; originally announced October 2009.

Comments: 5 pages, an updated reference

MSC Class: 15A18; 15A29; 15A42; 15B36; 15B48