-
A hierarchy of eigencomputations for polynomial optimization on the sphere
Authors:
Nathaniel Johnston,
Benjamin Lovitz,
Aravindan Vijayaraghavan
Abstract:
We introduce a convergent hierarchy of lower bounds on the minimum value of a real homogeneous polynomial over the sphere. The main practical advantage of our hierarchy over the sum-of-squares (SOS) hierarchy is that the lower bound at each level of our hierarchy is obtained by a minimum eigenvalue computation, as opposed to the full semidefinite program (SDP) required at each level of SOS. In pra…
▽ More
We introduce a convergent hierarchy of lower bounds on the minimum value of a real homogeneous polynomial over the sphere. The main practical advantage of our hierarchy over the sum-of-squares (SOS) hierarchy is that the lower bound at each level of our hierarchy is obtained by a minimum eigenvalue computation, as opposed to the full semidefinite program (SDP) required at each level of SOS. In practice, this allows us to go to much higher levels than are computationally feasible for the SOS hierarchy. For both hierarchies, the underlying space at the $k$-th level is the set of homogeneous polynomials of degree $2k$. We prove that our hierarchy converges as $O(1/k)$ in the level $k$, matching the best-known convergence of the SOS hierarchy when the number of variables $n$ is less than the half-degree $d$ (the best-known convergence of SOS when $n \geq d$ is $O(1/k^2)$). More generally, we introduce a convergent hierarchy of minimum eigenvalue computations for minimizing the inner product between a real tensor and an element of the spherical Segre-Veronese variety, with similar convergence guarantees. As examples, we obtain hierarchies for computing the (real) tensor spectral norm, and for minimizing biquadratic forms over the sphere. Hierarchies of eigencomputations for more general constrained polynomial optimization problems are discussed.
△ Less
Submitted 26 October, 2023;
originally announced October 2023.
-
Computing linear sections of varieties: quantum entanglement, tensor decompositions and beyond
Authors:
Nathaniel Johnston,
Benjamin Lovitz,
Aravindan Vijayaraghavan
Abstract:
We study the problem of finding elements in the intersection of an arbitrary conic variety in $\mathbb{F}^n$ with a given linear subspace (where $\mathbb{F}$ can be the real or complex field). This problem captures a rich family of algorithmic problems under different choices of the variety. The special case of the variety consisting of rank-1 matrices already has strong connections to central pro…
▽ More
We study the problem of finding elements in the intersection of an arbitrary conic variety in $\mathbb{F}^n$ with a given linear subspace (where $\mathbb{F}$ can be the real or complex field). This problem captures a rich family of algorithmic problems under different choices of the variety. The special case of the variety consisting of rank-1 matrices already has strong connections to central problems in different areas like quantum information theory and tensor decompositions. This problem is known to be NP-hard in the worst case, even for the variety of rank-1 matrices.
Surprisingly, despite these hardness results we develop an algorithm that solves this problem efficiently for "typical" subspaces. Here, the subspace $U \subseteq \mathbb{F}^n$ is chosen generically of a certain dimension, potentially with some generic elements of the variety contained in it. Our main result is a guarantee that our algorithm recovers all the elements of $U$ that lie in the variety, under some mild non-degeneracy assumptions on the variety. As corollaries, we obtain the following new results:
$\bullet$ Polynomial time algorithms for several entangled subspaces problems in quantum entanglement, including determining r-entanglement, complete entanglement, and genuine entanglement of a subspace. While all of these problems are NP-hard in the worst case, our algorithm solves them in polynomial time for generic subspaces of dimension up to a constant multiple of the maximum possible.
$\bullet$ Uniqueness results and polynomial time algorithmic guarantees for generic instances of a broad class of low-rank decomposition problems that go beyond tensor decompositions. Here, we recover a decomposition of the form $\sum_{i=1}^R v_i \otimes w_i$, where the $v_i$ are elements of the variety $X$. This implies new uniqueness results and genericity guarantees even in the special case of tensor decompositions.
△ Less
Submitted 7 May, 2023; v1 submitted 7 December, 2022;
originally announced December 2022.
-
A Complete Hierarchy of Linear Systems for Certifying Quantum Entanglement of Subspaces
Authors:
Nathaniel Johnston,
Benjamin Lovitz,
Aravindan Vijayaraghavan
Abstract:
We introduce a hierarchy of linear systems for showing that a given subspace of pure quantum states is entangled (i.e., contains no product states). This hierarchy outperforms known methods already at the first level, and it is complete in the sense that every entangled subspace is shown to be so at some finite level of the hierarchy. It generalizes straightforwardly to the case of higher Schmidt…
▽ More
We introduce a hierarchy of linear systems for showing that a given subspace of pure quantum states is entangled (i.e., contains no product states). This hierarchy outperforms known methods already at the first level, and it is complete in the sense that every entangled subspace is shown to be so at some finite level of the hierarchy. It generalizes straightforwardly to the case of higher Schmidt rank, as well as the multipartite cases of completely and genuinely entangled subspaces. These hierarchies work extremely well in practice even in very large quantum systems, as they can be implemented via elementary linear algebra techniques rather than the semidefinite programming techniques that are required by previously-known hierarchies.
△ Less
Submitted 28 October, 2022;
originally announced October 2022.
-
New techniques for bounding stabilizer rank
Authors:
Benjamin Lovitz,
Vincent Steffan
Abstract:
In this work, we present number-theoretic and algebraic-geometric techniques for bounding the stabilizer rank of quantum states. First, we refine a number-theoretic theorem of Moulton to exhibit an explicit sequence of product states with exponential stabilizer rank but constant approximate stabilizer rank, and to provide alternate (and simplified) proofs of the best-known asymptotic lower bounds…
▽ More
In this work, we present number-theoretic and algebraic-geometric techniques for bounding the stabilizer rank of quantum states. First, we refine a number-theoretic theorem of Moulton to exhibit an explicit sequence of product states with exponential stabilizer rank but constant approximate stabilizer rank, and to provide alternate (and simplified) proofs of the best-known asymptotic lower bounds on stabilizer rank and approximate stabilizer rank, up to a log factor. Second, we find the first non-trivial examples of quantum states with multiplicative stabilizer rank under the tensor product. Third, we introduce and study the generic stabilizer rank using algebraic-geometric techniques.
△ Less
Submitted 13 April, 2022; v1 submitted 14 October, 2021;
originally announced October 2021.
-
A generalization of Kruskal's theorem on tensor decomposition
Authors:
Benjamin Lovitz,
Fedor Petrov
Abstract:
Kruskal's theorem states that a sum of product tensors constitutes a unique tensor rank decomposition if the so-called k-ranks of the product tensors are large. We prove a "splitting theorem" for sets of product tensors, in which the k-rank condition of Kruskal's theorem is weakened to the standard notion of rank, and the conclusion of uniqueness is relaxed to the statement that the set of product…
▽ More
Kruskal's theorem states that a sum of product tensors constitutes a unique tensor rank decomposition if the so-called k-ranks of the product tensors are large. We prove a "splitting theorem" for sets of product tensors, in which the k-rank condition of Kruskal's theorem is weakened to the standard notion of rank, and the conclusion of uniqueness is relaxed to the statement that the set of product tensors splits (i.e. is disconnected as a matroid). Our splitting theorem implies a generalization of Kruskal's theorem. While several extensions of Kruskal's theorem are already present in the literature, all of these use Kruskal's original permutation lemma, and hence still cannot certify uniqueness when the k-ranks are below a certain threshold. Our generalization uses a completely new proof technique, contains many of these extensions, and can certify uniqueness below this threshold. We obtain several other useful results on tensor decompositions as consequences of our splitting theorem. We prove sharp lower bounds on tensor rank and Waring rank, which extend Sylvester's matrix rank inequality to tensors. We also prove novel uniqueness results for non-rank tensor decompositions.
△ Less
Submitted 15 September, 2021; v1 submitted 29 March, 2021;
originally announced March 2021.
-
Entangled subspaces and generic local state discrimination with pre-shared entanglement
Authors:
Benjamin Lovitz,
Nathaniel Johnston
Abstract:
Walgate and Scott have determined the maximum number of generic pure quantum states that can be unambiguously discriminated by an LOCC measurement [Journal of Physics A: Mathematical and Theoretical, 41:375305, 08 2008]. In this work, we determine this number in a more general setting in which the local parties have access to pre-shared entanglement in the form of a resource state. We find that, f…
▽ More
Walgate and Scott have determined the maximum number of generic pure quantum states that can be unambiguously discriminated by an LOCC measurement [Journal of Physics A: Mathematical and Theoretical, 41:375305, 08 2008]. In this work, we determine this number in a more general setting in which the local parties have access to pre-shared entanglement in the form of a resource state. We find that, for an arbitrary pure resource state, this number is equal to the Krull dimension of (the closure of) the set of pure states obtainable from the resource state by SLOCC. Surprisingly, a generic resource state maximizes this number.
Local state discrimination is closely related to the topic of entangled subspaces, which we study in its own right. We introduce $r$-entangled subspaces, which naturally generalize previously studied spaces to higher multipartite entanglement. We use algebraic-geometric methods to determine the maximum dimension of an $r$-entangled subspace, and present novel explicit constructions of such spaces. We obtain similar results for symmetric and antisymmetric $r$-entangled subspaces, which correspond to entangled subspaces of bosonic and fermionic systems, respectively.
△ Less
Submitted 5 July, 2022; v1 submitted 6 October, 2020;
originally announced October 2020.
-
The Non-m-Positive Dimension of a Positive Linear Map
Authors:
Nathaniel Johnston,
Benjamin Lovitz,
Daniel Puzzuoli
Abstract:
We introduce a property of a matrix-valued linear map $Φ$ that we call its "non-m-positive dimension" (or "non-mP dimension" for short), which measures how large a subspace can be if every quantum state supported on the subspace is non-positive under the action of $I_m \otimes Φ$. Equivalently, the non-mP dimension of $Φ$ tells us the maximal number of negative eigenvalues that the adjoint map…
▽ More
We introduce a property of a matrix-valued linear map $Φ$ that we call its "non-m-positive dimension" (or "non-mP dimension" for short), which measures how large a subspace can be if every quantum state supported on the subspace is non-positive under the action of $I_m \otimes Φ$. Equivalently, the non-mP dimension of $Φ$ tells us the maximal number of negative eigenvalues that the adjoint map $I_m \otimes Φ^*$ can produce from a positive semidefinite input. We explore the basic properties of this quantity and show that it can be thought of as a measure of how good $Φ$ is at detecting entanglement in quantum states. We derive non-trivial bounds for this quantity for some well-known positive maps of interest, including the transpose map, reduction map, Choi map, and Breuer--Hall map. We also extend some of our results to the case of higher Schmidt number as well as the multipartite case. In particular, we construct the largest possible multipartite subspace with the property that every state supported on that subspace has non-positive partial transpose across at least one bipartite cut, and we use our results to construct multipartite decomposable entanglement witnesses with the maximum number of negative eigenvalues.
△ Less
Submitted 7 August, 2019; v1 submitted 11 June, 2019;
originally announced June 2019.
-
On decomposable correlation matrices
Authors:
Benjamin Lovitz
Abstract:
Correlation matrices (positive semidefinite matrices with ones on the diagonal) are of fundamental interest in quantum information theory. In this work we introduce and study the set of $r$-decomposable correlation matrices: those that can be written as the Schur product of correlation matrices of rank at most $r$. We find that for all $r \geq 2$, every $(r+1) \times (r+1)$ correlation matrix is…
▽ More
Correlation matrices (positive semidefinite matrices with ones on the diagonal) are of fundamental interest in quantum information theory. In this work we introduce and study the set of $r$-decomposable correlation matrices: those that can be written as the Schur product of correlation matrices of rank at most $r$. We find that for all $r \geq 2$, every $(r+1) \times (r+1)$ correlation matrix is $r$-decomposable, and we construct ${(2r+1) \times (2r+1)}$ correlation matrices that are not $r$-decomposable. One question this leaves open is whether every $4 \times 4$ correlation matrix is $2$-decomposable, which we make partial progress toward resolving. We apply our results to an entanglement detection scenario.
△ Less
Submitted 4 December, 2018;
originally announced December 2018.
-
Toward a generalization of Kruskal's theorem on tensor decomposition
Authors:
Benjamin Lovitz
Abstract:
Kruskal's theorem states that a sum of product tensors constitutes a unique tensor rank decomposition if the so-called k-ranks of the product tensors are large. In this work, we propose a conjecture in which the k-rank condition of Kruskal's theorem is weakened to the standard notion of rank, and the conclusion is relaxed to a statement on the linear dependence of the product tensors. Our conjectu…
▽ More
Kruskal's theorem states that a sum of product tensors constitutes a unique tensor rank decomposition if the so-called k-ranks of the product tensors are large. In this work, we propose a conjecture in which the k-rank condition of Kruskal's theorem is weakened to the standard notion of rank, and the conclusion is relaxed to a statement on the linear dependence of the product tensors. Our conjecture would imply a generalization of Kruskal's theorem. Several adaptations and generalizations of Kruskal's theorem have already been obtained, but these results still cannot certify uniqueness when the k-ranks are below a certain threshold. Our generalization would contain several of these results, and could certify uniqueness below this threshold. We prove our conjecture over an arbitrary field $\mathbb{F}$ when the underlying multipartite vector space takes any one of three forms: ${\mathbb{F}^{d_1}\otimes \mathbb{F}^{d_2}}, \;{\mathbb{F}^{d_1}\otimes\mathbb{F}^{d_2}\otimes \mathbb{F}^2,}$ or $\mathbb{F}^{d_1}\otimes \mathbb{F}^2 \otimes\cdots \otimes \mathbb{F}^2$. As a corollary to the third case, we prove that if $n$ product tensors form a circuit, then they have rank greater than one in at most $n-2$ subsystems. This is a quadratic improvement over a recent bound obtained by Ballico, and is sharp.
△ Less
Submitted 20 August, 2020; v1 submitted 1 December, 2018;
originally announced December 2018.
-
Practical Quantum Appointment Scheduling
Authors:
Dave Touchette,
Benjamin Lovitz,
Norbert Lütkenhaus
Abstract:
We propose a protocol based on coherent states and linear optics operations for solving the appointment-scheduling problem. Our main protocol leaks strictly less information about each party's input than the optimal classical protocol, even when considering experimental errors. Along with the ability to generate constant-amplitude coherent states over two modes, this protocol requires the ability…
▽ More
We propose a protocol based on coherent states and linear optics operations for solving the appointment-scheduling problem. Our main protocol leaks strictly less information about each party's input than the optimal classical protocol, even when considering experimental errors. Along with the ability to generate constant-amplitude coherent states over two modes, this protocol requires the ability to transfer these modes back-and-forth between the two parties multiple times with low coupling loss. The implementation requirements are thus still challenging. Along the way, we develop new tools to study quantum information cost of interactive protocols in the finite regime.
△ Less
Submitted 8 January, 2018;
originally announced January 2018.
-
Families of Quantum Fingerprinting Protocols
Authors:
Benjamin Lovitz,
Norbert Lütkenhaus
Abstract:
We introduce several families of quantum fingerprinting protocols to evaluate the equality function on two $n$-bit strings in the simultaneous message passing model. The original quantum fingerprinting protocol uses a tensor product of a small number of $\mathcal{O}(\log n)$-qubit high dimensional signals [Buhrman et al. 2001], whereas a recently-proposed optical protocol uses a tensor product of…
▽ More
We introduce several families of quantum fingerprinting protocols to evaluate the equality function on two $n$-bit strings in the simultaneous message passing model. The original quantum fingerprinting protocol uses a tensor product of a small number of $\mathcal{O}(\log n)$-qubit high dimensional signals [Buhrman et al. 2001], whereas a recently-proposed optical protocol uses a tensor product of $\mathcal{O}(n)$ single-qubit signals, while maintaining the $\mathcal{O}(\log n)$ information leakage of the original protocol [Arrazola and Lütkenhaus 2014]. We find a family of protocols which interpolate between the original and optical protocols while maintaining the $\mathcal{O}(\log n)$ information leakage, thus demonstrating a trade-off between the number of signals sent and the dimension of each signal.
There has been interest in experimental realization of the recently-proposed optical protocol using coherent states [Xu et al. 2015, Guan et al. 2016], but as the required number of laser pulses grows linearly with the input size $n$, eventual challenges for the long-time stability of experimental set-ups arise. We find a coherent state protocol which reduces the number of signals by a factor $1/2$ while also reducing the information leakage. Our reduction makes use of a simple modulation scheme in optical phase space, and we find that more complex modulation schemes are not advantageous. Using a similar technique, we improve a recently-proposed coherent state protocol for evaluating the Euclidean distance between two real unit vectors [Kumar et al. 2017] by reducing the number of signals by a factor $1/2$ and also reducing the information leakage.
△ Less
Submitted 7 December, 2017;
originally announced December 2017.
-
Perfect State Transfer in Laplacian Quantum Walk
Authors:
R. Alvir,
S. Dever,
B Lovitz,
J. Myer,
C. Tamon,
Y. Xu,
H. Zhan
Abstract:
For a graph $G$ and a related symmetric matrix $M$, the continuous-time quantum walk on $G$ relative to $M$ is defined as the unitary matrix $U(t) = \exp(-itM)$, where $t$ varies over the reals. Perfect state transfer occurs between vertices $u$ and $v$ at time $τ$ if the $(u,v)$-entry of $U(τ)$ has unit magnitude. This paper studies quantum walks relative to graph Laplacians. Some main observatio…
▽ More
For a graph $G$ and a related symmetric matrix $M$, the continuous-time quantum walk on $G$ relative to $M$ is defined as the unitary matrix $U(t) = \exp(-itM)$, where $t$ varies over the reals. Perfect state transfer occurs between vertices $u$ and $v$ at time $τ$ if the $(u,v)$-entry of $U(τ)$ has unit magnitude. This paper studies quantum walks relative to graph Laplacians. Some main observations include the following closure properties for perfect state transfer:
(1) If a $n$-vertex graph has perfect state transfer at time $τ$ relative to the Laplacian, then so does its complement if $nτ$ is an integer multiple of $2π$. As a corollary, the double cone over any $m$-vertex graph has perfect state transfer relative to the Laplacian if and only if $m \equiv 2 \pmod{4}$. This was previously known for a double cone over a clique (S. Bose, A. Casaccino, S. Mancini, S. Severini, Int. J. Quant. Inf., 7:11, 2009).
(2) If a graph $G$ has perfect state transfer at time $τ$ relative to the normalized Laplacian, then so does the weak product $G \times H$ if for any normalized Laplacian eigenvalues $λ$ of $G$ and $μ$ of $H$, we have $μ(λ-1)τ$ is an integer multiple of $2π$. As a corollary, a weak product of $P_{3}$ with an even clique or an odd cube has perfect state transfer relative to the normalized Laplacian. It was known earlier that a weak product of a circulant with odd integer eigenvalues and an even cube or a Cartesian power of $P_{3}$ has perfect state transfer relative to the adjacency matrix.
As for negative results, no path with four vertices or more has antipodal perfect state transfer relative to the normalized Laplacian. This almost matches the state of affairs under the adjacency matrix (C. Godsil, Discrete Math., 312:1, 2011).
△ Less
Submitted 19 September, 2014;
originally announced September 2014.