Showing 1–10 of 10 results for author: Gurvits, L

Complexity of full counting statistics of free quantum particles in product states

Authors: Dmitri A. Ivanov, Leonid Gurvits

Abstract: We study the computational complexity of quantum-mechanical expectation values of single-particle operators in bosonic and fermionic multi-particle product states. Such expectation values appear, in particular, in full-counting-statistics problems. Depending on the initial multi-particle product state, the expectation values may be either easy to compute (the required number of operations scales p… ▽ More We study the computational complexity of quantum-mechanical expectation values of single-particle operators in bosonic and fermionic multi-particle product states. Such expectation values appear, in particular, in full-counting-statistics problems. Depending on the initial multi-particle product state, the expectation values may be either easy to compute (the required number of operations scales polynomially with the particle number) or hard to compute (at least as hard as a permanent of a matrix). However, if we only consider full counting statistics in a finite number of final single-particle states, then the full-counting-statistics generating function becomes easy to compute in all the analyzed cases. We prove the latter statement for the general case of the fermionic product state and for the single-boson product state (the same as used in the boson-sampling proposal). This result may be relevant for using multi-particle product states as a resource for quantum computing. △ Less

Submitted 21 February, 2020; v1 submitted 12 April, 2019; originally announced April 2019.

Comments: 8 pages, published version

Journal ref: Phys. Rev. A 101, 012303 (2020)

Simply Exponential Approximation of the Permanent of Positive Semidefinite Matrices

Authors: Nima Anari, Leonid Gurvits, Shayan Oveis Gharan, Amin Saberi

Abstract: We design a deterministic polynomial time $c^n$ approximation algorithm for the permanent of positive semidefinite matrices where $c=e^{γ+1}\simeq 4.84$. We write a natural convex relaxation and show that its optimum solution gives a $c^n$ approximation of the permanent. We further show that this factor is asymptotically tight by constructing a family of positive semidefinite matrices. We design a deterministic polynomial time $c^n$ approximation algorithm for the permanent of positive semidefinite matrices where $c=e^{γ+1}\simeq 4.84$. We write a natural convex relaxation and show that its optimum solution gives a $c^n$ approximation of the permanent. We further show that this factor is asymptotically tight by constructing a family of positive semidefinite matrices. △ Less

Submitted 11 April, 2017; originally announced April 2017.

Operator scaling: theory and applications

Authors: Ankit Garg, Leonid Gurvits, Rafael Oliveira, Avi Wigderson

Abstract: In this paper we present a deterministic polynomial time algorithm for testing if a symbolic matrix in non-commuting variables over $\mathbb{Q}$ is invertible or not. The analogous question for commuting variables is the celebrated polynomial identity testing (PIT) for symbolic determinants. In contrast to the commutative case, which has an efficient probabilistic algorithm, the best previous algo… ▽ More In this paper we present a deterministic polynomial time algorithm for testing if a symbolic matrix in non-commuting variables over $\mathbb{Q}$ is invertible or not. The analogous question for commuting variables is the celebrated polynomial identity testing (PIT) for symbolic determinants. In contrast to the commutative case, which has an efficient probabilistic algorithm, the best previous algorithm for the non-commutative setting required exponential time (whether or not randomization is allowed). The algorithm efficiently solves the "word problem" for the free skew field, and the identity testing problem for arithmetic formulae with division over non-commuting variables, two problems which had only exponential-time algorithms prior to this work. The main contribution of this paper is a complexity analysis of an existing algorithm due to Gurvits, who proved it was polynomial time for certain classes of inputs. We prove it always runs in polynomial time. The main component of our analysis is a simple (given the necessary known tools) lower bound on central notion of capacity of operators (introduced by Gurvits). We extend the algorithm to actually approximate capacity to any accuracy in polynomial time, and use this analysis to give quantitative bounds on the continuity of capacity (the latter is used in a subsequent paper on Brascamp-Lieb inequalities). Symbolic matrices in non-commuting variables, and the related structural and algorithmic questions, have a remarkable number of diverse origins and motivations. They arise independently in (commutative) invariant theory and representation theory, linear algebra, optimization, linear system theory, quantum information theory, approximation of the permanent and naturally in non-commutative algebra. We provide a detailed account of some of these sources and their interconnections. △ Less

Submitted 23 January, 2019; v1 submitted 11 November, 2015; originally announced November 2015.

Comments: Fixed minor typos and bugs. Final version to be published in FoCM

How much of quantum mechanics is really needed to defy Extended Church-Turing Thesis?

Authors: Leonid Gurvits, Vwani Roychowdhury, Sudhir Kumar Singh, Farrokh Vatan

Abstract: This paper has been withdrawn by the author as one of the coauthors needs institutional permission. This paper has been withdrawn by the author as one of the coauthors needs institutional permission. △ Less

Submitted 15 March, 2011; v1 submitted 13 March, 2011; originally announced March 2011.

Comments: This paper has been withdrawn

Better bound on the exponent of the radius of the multipartite separable ball

Authors: Leonid Gurvits, Howard Barnum

Abstract: We show that for an m-qubit quantum system, there is a ball of radius asymptotically approaching kappa 2^{-gamma m} in Frobenius norm, centered at the identity matrix, of separable (unentangled) positive semidefinite matrices, for an exponent gamma = (1/2)((ln 3/ln 2) - 1), roughly .29248125. This is much smaller in magnitude than the best previously known exponent, from our earlier work, of 1/2… ▽ More We show that for an m-qubit quantum system, there is a ball of radius asymptotically approaching kappa 2^{-gamma m} in Frobenius norm, centered at the identity matrix, of separable (unentangled) positive semidefinite matrices, for an exponent gamma = (1/2)((ln 3/ln 2) - 1), roughly .29248125. This is much smaller in magnitude than the best previously known exponent, from our earlier work, of 1/2. For normalized m-qubit states, we get a separable ball of radius sqrt(3^(m+1)/(3^m+3)) * 2^{-(1 + γ)m}, i.e. sqrt{3^{m+1}/(3^m+3)}\times 6^{-m/2} (note that κ= \sqrt{3}), compared to the previous 2 * 2^{-3m/2}. This implies that with parameters realistic for current experiments, NMR with standard pseudopure-state preparation techniques can access only unentangled states if 36 qubits or fewer are used (compared to 23 qubits via our earlier results). We also obtain an improved exponent for m-partite systems of fixed local dimension d_0, although approaching our earlier exponent as d_0 approaches infinity. △ Less

Submitted 13 June, 2005; v1 submitted 16 September, 2004; originally announced September 2004.

Comments: 30 pp doublespaced, latex/revtex, v2 added discussion of Szarek's upper bound, and reference to work of Vidal, v3 fixed some errors (no effect on results), v4 involves major changes leading to an improved constant, same exponent, and adds references to and discussion of Szarek's work showing that exponent is essentially optimal for qubit case, and Hildebrand's alternative derivation for qubit case. To appear in PRA

Report number: LA-UR 04-6413 for v1-3; LAUR 05-4115 for v4

Classical deterministic complexity of Edmonds' problem and Quantum Entanglement

Authors: Leonid Gurvits

Abstract: This paper continues research initiated in quant-ph/0201022 . The main subject here is the so-called Edmonds' problem of deciding if a given linear subspace of square matrices contains a nonsingular matrix . We present a deterministic polynomial time algorithm to solve this problem for linear subspaces satisfying a special matroids motivated property, called in the paper the Edmonds-Rado propert… ▽ More This paper continues research initiated in quant-ph/0201022 . The main subject here is the so-called Edmonds' problem of deciding if a given linear subspace of square matrices contains a nonsingular matrix . We present a deterministic polynomial time algorithm to solve this problem for linear subspaces satisfying a special matroids motivated property, called in the paper the Edmonds-Rado property . This property is shown to be very closely related to the separability of bipartite mixed states . One of the main tools used in the paper is the Quantum Permanent introduced in quant-ph/0201022 . △ Less

Submitted 10 March, 2003; originally announced March 2003.

Comments: 31 pages, long version of STOC-2003 paper

Separable balls around the maximally mixed multipartite quantum states

Authors: Leonid Gurvits, Howard Barnum

Abstract: We show that for an m-partite quantum system, there is a ball of radius 2^{-(m/2-1)} in Frobenius norm, centered at the identity matrix, of separable (unentangled) positive semidefinite matrices. This can be used to derive an epsilon below which mixtures of epsilon of any density matrix with 1 - epsilon of the maximally mixed state will be separable. The epsilon thus obtained is exponentially be… ▽ More We show that for an m-partite quantum system, there is a ball of radius 2^{-(m/2-1)} in Frobenius norm, centered at the identity matrix, of separable (unentangled) positive semidefinite matrices. This can be used to derive an epsilon below which mixtures of epsilon of any density matrix with 1 - epsilon of the maximally mixed state will be separable. The epsilon thus obtained is exponentially better (in the number of systems) than existing results. This gives a number of qubits below which NMR with standard pseudopure-state preparation techniques can access only unentangled states; with parameters realistic for current experiments, this is 23 qubits (compared to 13 qubits via earlier results). A ball of radius 1 is obtained for multipartite states separable over the reals. △ Less

Submitted 12 February, 2003; originally announced February 2003.

Comments: 8 pages, LaTeX

Report number: LAUR #03-0993

Journal ref: Phys. Rev. A 68, 042312 (2003)

Introduction to Quantum Information Processing

Authors: E. Knill, R. Laflamme, H. Barnum, D. Dalvit, J. Dziarmaga, J. Gubernatis, L. Gurvits, G. Ortiz, L. Viola, W. H. Zurek

Abstract: As a result of the capabilities of quantum information, the science of quantum information processing is now a prospering, interdisciplinary field focused on better understanding the possibilities and limitations of the underlying theory, on developing new applications of quantum information and on physically realizing controllable quantum devices. The purpose of this primer is to provide an ele… ▽ More As a result of the capabilities of quantum information, the science of quantum information processing is now a prospering, interdisciplinary field focused on better understanding the possibilities and limitations of the underlying theory, on developing new applications of quantum information and on physically realizing controllable quantum devices. The purpose of this primer is to provide an elementary introduction to quantum information processing, and then to briefly explain how we hope to exploit the advantages of quantum information. These two sections can be read independently. For reference, we have included a glossary of the main terms of quantum information. △ Less

Submitted 30 July, 2002; originally announced July 2002.

Comments: 48 pages, to appear in LA Science. Hyperlinked PDF at http://www.c3.lanl.gov/~knill/qip/prhtml/prpdf.pdf, HTML at http://www.c3.lanl.gov/~knill/qip/prhtml

Largest separable balls around the maximally mixed bipartite quantum state

Authors: Leonid Gurvits, Howard Barnum

Abstract: For finite-dimensional bipartite quantum systems, we find the exact size of the largest balls, in spectral $l_p$ norms for $1 \le p \le \infty$, of separable (unentangled) matrices around the identity matrix. This implies a simple and intutively meaningful geometrical sufficient condition for separability of bipartite density matrices: that their purity $\tr ρ^2$ not be too large. Theoretical an… ▽ More For finite-dimensional bipartite quantum systems, we find the exact size of the largest balls, in spectral $l_p$ norms for $1 \le p \le \infty$, of separable (unentangled) matrices around the identity matrix. This implies a simple and intutively meaningful geometrical sufficient condition for separability of bipartite density matrices: that their purity $\tr ρ^2$ not be too large. Theoretical and experimental applications of these results include algorithmic problems such as computing whether or not a state is entangled, and practical ones such as obtaining information about the existence or nature of entanglement in states reached by NMR quantum computation implementations or other experimental situations. △ Less

Submitted 18 December, 2002; v1 submitted 26 April, 2002; originally announced April 2002.

Comments: 7 pages, LaTeX. Motivation and verbal description of results and their implications expanded and improved; one more proof included. This version differs from the PRA version by the omission of some erroneous sentences outside the theorems and proofs, which will be noted in an erratum notice in PRA (and by minor notational differences)

Journal ref: Physical Review A, Vol. 66, Article no. 062311 (Dec. 2002)

Quantum Matching Theory (with new complexity theoretic, combinatorial and topological insights on the nature of the Quantum Entanglement)

Authors: Leonid Gurvits

Abstract: Classical matching theory can be defined in terms of matrices with nonnegative entries. The notion of Positive operator, central in Quantum Theory, is a natural generalization of matrices with nonnegative entries. Based on this point of view, we introduce a definition of perfect Quantum (operator) matching . We show that the new notion inherits many "classical" properties, but not all of them .… ▽ More Classical matching theory can be defined in terms of matrices with nonnegative entries. The notion of Positive operator, central in Quantum Theory, is a natural generalization of matrices with nonnegative entries. Based on this point of view, we introduce a definition of perfect Quantum (operator) matching . We show that the new notion inherits many "classical" properties, but not all of them . This new notion goes somewhere beyound matroids . For separable bipartite quantum states this new notion coinsides with the full rank property of the intersection of two corresponding geometric matroids . In the classical situation, permanents are naturally associated with perfects matchings. We introduce an analog of permanents for positive operators, called Quantum Permanent and show how this generalization of the permanent is related to the Quantum Entanglement. Besides many other things, Quantum Permanents provide new rational inequalities necessary for the separability of bipartite quantum states . Using Quantum Permanents, we give deterministic poly-time algorithm to solve Hidden Matroids Intersection Problem and indicate some "classical" complexity difficulties associated with the Quantum Entanglement. Finally, we prove that the weak membership problem for the convex set of separable bipartite density matrices is NP-HARD. △ Less

Submitted 14 March, 2002; v1 submitted 7 January, 2002; originally announced January 2002.

Comments: 10 pages, slightly edited version, proof of hardness of weak membership problem for separability added (last section)