-
Limit formulas for norms of tensor power operators
Authors:
Guillaume Aubrun,
Alexander Müller-Hermes
Abstract:
Given an operator $φ:X\rightarrow Y$ between Banach spaces, we consider its tensor powers $φ^{\otimes k}$ as operators from the $k$-fold injective tensor product of $X$ to the $k$-fold projective tensor product of $Y$. We show that after taking the $k$th root, the operator norm of $φ^{\otimes k}$ converges to the $2$-dominated norm $γ^*_2(φ)$, one of the standard operator ideal norms.
Given an operator $φ:X\rightarrow Y$ between Banach spaces, we consider its tensor powers $φ^{\otimes k}$ as operators from the $k$-fold injective tensor product of $X$ to the $k$-fold projective tensor product of $Y$. We show that after taking the $k$th root, the operator norm of $φ^{\otimes k}$ converges to the $2$-dominated norm $γ^*_2(φ)$, one of the standard operator ideal norms.
△ Less
Submitted 30 October, 2024;
originally announced October 2024.
-
A characterization of inner product spaces via norming vectors
Authors:
Guillaume Aubrun,
Mathis Cavichioli
Abstract:
A finite-dimensional normed space is an inner product space if and only if the set of norming vectors of any endomorphism is a linear subspace. This theorem was proved by Sain and Paul for real scalars. In this paper, we give a different proof which also extends to the case of complex scalars.
A finite-dimensional normed space is an inner product space if and only if the set of norming vectors of any endomorphism is a linear subspace. This theorem was proved by Sain and Paul for real scalars. In this paper, we give a different proof which also extends to the case of complex scalars.
△ Less
Submitted 21 January, 2025; v1 submitted 19 September, 2024;
originally announced September 2024.
-
Optimal constants in concentration inequalities on the sphere and in the Gauss space
Authors:
Guillaume Aubrun,
Justin Jenkinson,
Stanislaw J. Szarek
Abstract:
We show several variants of concentration inequalities on the sphere stated as subgaussian estimates with optimal constants. For a Lipschitz function, we give one-sided and two-sided bounds for deviation from the median as well as from the mean. For example, we show that if $μ$ is the normalized surface measure on $S^{n-1}$ with $n\geq 3$, $f : S^{n-1} \to \mathbb{R}$ is $1$-Lipschitz, $M$ is the…
▽ More
We show several variants of concentration inequalities on the sphere stated as subgaussian estimates with optimal constants. For a Lipschitz function, we give one-sided and two-sided bounds for deviation from the median as well as from the mean. For example, we show that if $μ$ is the normalized surface measure on $S^{n-1}$ with $n\geq 3$, $f : S^{n-1} \to \mathbb{R}$ is $1$-Lipschitz, $M$ is the median of $f$, and $t >0$, then $μ\big(f \geq M +t\big) \leq \frac 12 e^{-nt^2/2}$. If $M$ is the mean of $f$, we have a two-sided bound $μ\big(|f - M| \geq t\big) \leq e^{-nt^2/2}$. Consequently, if $γ$ is the standard Gaussian measure on $\mathbb{R}^n$ and $f : \mathbb{R}^{n} \to \mathbb{R}$ (again, $1$-Lipschitz, with the mean equal to $M$), then $γ\big(|f - M| \geq t\big) \leq e^{-t^2/2}$. These bounds are slightly better and arguably more elegant than those available elsewhere in the literature.
△ Less
Submitted 19 October, 2024; v1 submitted 19 June, 2024;
originally announced June 2024.
-
Completely Bounded Norms of $k$-positive Maps
Authors:
Guillaume Aubrun,
Kenneth R. Davidson,
Alexander Müller-Hermes,
Vern I. Paulsen,
Mizanur Rahaman
Abstract:
Given an operator system $\mathcal{S}$, we define the parameters $r_k(\mathcal{S})$ (resp. $d_k(\mathcal{S})$) defined as the maximal value of the completely bounded norm of a unital $k$-positive map from an arbitrary operator system into $\mathcal{S}$ (resp. from $\mathcal{S}$ into an arbitrary operator system).
In the case of the matrix algebras $M_n$, for $1 \leq k \leq n$, we compute the exa…
▽ More
Given an operator system $\mathcal{S}$, we define the parameters $r_k(\mathcal{S})$ (resp. $d_k(\mathcal{S})$) defined as the maximal value of the completely bounded norm of a unital $k$-positive map from an arbitrary operator system into $\mathcal{S}$ (resp. from $\mathcal{S}$ into an arbitrary operator system).
In the case of the matrix algebras $M_n$, for $1 \leq k \leq n$, we compute the exact value $r_k(M_n) = \frac{2n-k}{k}$ and show upper and lower bounds on the parameters $d_k(M_n)$.
Moreover, when $\mathcal{S}$ is a finite-dimensional operator system, adapting recent results of Passer and the 4th author, we show that the sequence $(r_k( \mathcal{S}))$ tends to $1$ if and only if $\mathcal{S}$ is exact and that the sequence $(d_k(\mathcal{S}))$ tends to $1$ if and only if $\mathcal{S}$ has the lifting property.
△ Less
Submitted 7 May, 2024; v1 submitted 22 January, 2024;
originally announced January 2024.
-
Maximal exponent of the Lorentz cones
Authors:
Guillaume Aubrun,
Jing Bai
Abstract:
We show that the maximal exponent (i.e., the minimum number of iterations required for a primitive map to become strictly positive) of the n-dimensional Lorentz cone is equal to n. As a byproduct, we show that the optimal exponent in the quantum Wielandt inequality for qubit channels is equal to 3.
We show that the maximal exponent (i.e., the minimum number of iterations required for a primitive map to become strictly positive) of the n-dimensional Lorentz cone is equal to n. As a byproduct, we show that the optimal exponent in the quantum Wielandt inequality for qubit channels is equal to 3.
△ Less
Submitted 12 December, 2023; v1 submitted 30 November, 2023;
originally announced November 2023.
-
Monogamy of entanglement between cones
Authors:
Guillaume Aubrun,
Alexander Müller-Hermes,
Martin Plávala
Abstract:
A separable quantum state shared between parties $A$ and $B$ can be symmetrically extended to a quantum state shared between party $A$ and parties $B_1,\ldots ,B_k$ for every $k\in\mathbf{N}$. Quantum states that are not separable, i.e., entangled, do not have this property. This phenomenon is known as "monogamy of entanglement". We show that monogamy is not only a feature of quantum theory, but t…
▽ More
A separable quantum state shared between parties $A$ and $B$ can be symmetrically extended to a quantum state shared between party $A$ and parties $B_1,\ldots ,B_k$ for every $k\in\mathbf{N}$. Quantum states that are not separable, i.e., entangled, do not have this property. This phenomenon is known as "monogamy of entanglement". We show that monogamy is not only a feature of quantum theory, but that it characterizes the minimal tensor product of general pairs of convex cones $\mathsf{C}_A$ and $\mathsf{C}_B$: The elements of the minimal tensor product $\mathsf{C}_A\otimes_{\min} \mathsf{C}_B$ are precisely the tensors that can be symmetrically extended to elements in the maximal tensor product $\mathsf{C}_A\otimes_{\max} \mathsf{C}^{\otimes_{\max} k}_B$ for every $k\in\mathbf{N}$. Equivalently, the minimal tensor product of two cones is the intersection of the nested sets of $k$-extendible tensors. It is a natural question when the minimal tensor product $\mathsf{C}_A\otimes_{\min} \mathsf{C}_B$ coincides with the set of $k$-extendible tensors for some finite $k$. We show that this is universally the case for every cone $\mathsf{C}_A$ if and only if $\mathsf{C}_B$ is a polyhedral cone with a base given by a product of simplices. Our proof makes use of a new characterization of products of simplices up to affine equivalence that we believe is of independent interest.
△ Less
Submitted 23 June, 2022;
originally announced June 2022.
-
Asymptotic Tensor Powers of Banach Spaces
Authors:
Guillaume Aubrun,
Alexander Müller-Hermes
Abstract:
We study the asymptotic behaviour of large tensor powers of normed spaces and of operators between them. We define the tensor radius of a finite-dimensional normed space $X$ as the limit of the sequence $A_k^{1/k}$, where $A_k$ is the equivalence constant between the projective and injective norms on $X^{\otimes k}$. We show that Euclidean spaces are characterized by the property that their tensor…
▽ More
We study the asymptotic behaviour of large tensor powers of normed spaces and of operators between them. We define the tensor radius of a finite-dimensional normed space $X$ as the limit of the sequence $A_k^{1/k}$, where $A_k$ is the equivalence constant between the projective and injective norms on $X^{\otimes k}$. We show that Euclidean spaces are characterized by the property that their tensor radius equals their dimension. Moreover, we compute the tensor radius for spaces with enough symmetries, such as the spaces $\ell_p^n$. We also define the tensor radius of an operator $T$ as the limit of the sequence $B_k^{1/k}$, where $B_k$ is the injective-to-projective norm of $T^{\otimes k}$. We show that the tensor radius of an operator whose domain or range is Euclidean is equal to its nuclear norm, and give some evidence that this property might characterize Euclidean spaces.
△ Less
Submitted 25 October, 2021;
originally announced October 2021.
-
Annihilating Entanglement Between Cones
Authors:
Guillaume Aubrun,
Alexander Müller-Hermes
Abstract:
Every multipartite entangled quantum state becomes fully separable after an entanglement breaking quantum channel acted locally on each of its subsystems. Whether there are other quantum channels with this property has been an open problem with important implications for entanglement theory (e.g., for the distillation problem and the PPT squared conjecture). We cast this problem in the general set…
▽ More
Every multipartite entangled quantum state becomes fully separable after an entanglement breaking quantum channel acted locally on each of its subsystems. Whether there are other quantum channels with this property has been an open problem with important implications for entanglement theory (e.g., for the distillation problem and the PPT squared conjecture). We cast this problem in the general setting of proper convex cones in finite-dimensional vector spaces. The entanglement annihilating maps transform the $k$-fold maximal tensor product of a cone $C_1$ into the $k$-fold minimal tensor product of a cone $C_2$, and the pair $(C_1,C_2)$ is called resilient if all entanglement annihilating maps are entanglement breaking. Our main result is that $(C_1,C_2)$ is resilient if either $C_1$ or $C_2$ is a Lorentz cone. Our proof exploits the symmetries of the Lorentz cones and applies two constructions resembling protocols for entanglement distillation: As a warm-up, we use the multiplication tensors of real composition algebras to construct a finite family of generalized distillation protocols for Lorentz cones, containing the distillation protocol for entangled qubit states by Bennett et al. as a special case. Then, we construct an infinite family of protocols using solutions to the Hurwitz matrix equations. After proving these results, we focus on maps between cones of positive semidefinite matrices, where we derive necessary conditions for entanglement annihilation similar to the reduction criterion in entanglement distillation. Finally, we apply results from the theory of Banach space tensor norms to show that the Lorentz cones are the only cones with a symmetric base for which a certain stronger version of the resilience property is satisfied.
△ Less
Submitted 12 November, 2021; v1 submitted 22 October, 2021;
originally announced October 2021.
-
Principal angles between random subspaces and polynomials in two free projections
Authors:
Guillaume Aubrun
Abstract:
We use the geometric concept of principal angles between subspaces to compute the noncommutative distribution of an expression involving two free projections. For example, this allows to simplify a formula by Fevrier-Mastnak-Nica-Szpojankowski about the free Bernoulli anticommutator. We also derive economically an explicit formula for the free additive convolution of Bernoulli distributions. As a…
▽ More
We use the geometric concept of principal angles between subspaces to compute the noncommutative distribution of an expression involving two free projections. For example, this allows to simplify a formula by Fevrier-Mastnak-Nica-Szpojankowski about the free Bernoulli anticommutator. We also derive economically an explicit formula for the free additive convolution of Bernoulli distributions. As a byproduct, we observe the remarkable fact that the principal angles between random half-dimensional subspaces are asymptotically distributed according to the uniform measure.
△ Less
Submitted 14 September, 2021;
originally announced September 2021.
-
Entanglement and superposition are equivalent concepts in any physical theory
Authors:
Guillaume Aubrun,
Ludovico Lami,
Carlos Palazuelos,
Martin Plávala
Abstract:
We prove that any two general probabilistic theories (GPTs) are entangleable, in the sense that their composite exhibits either entangled states or entangled measurements, if and only if they are both non-classical, meaning that neither of the state spaces is a simplex. This establishes the universal equivalence of the (local) superposition principle and the existence of global entanglement, valid…
▽ More
We prove that any two general probabilistic theories (GPTs) are entangleable, in the sense that their composite exhibits either entangled states or entangled measurements, if and only if they are both non-classical, meaning that neither of the state spaces is a simplex. This establishes the universal equivalence of the (local) superposition principle and the existence of global entanglement, valid in a fully theory-independent way. As an application of our techniques, we show that all non-classical GPTs exhibit a strong form of incompatibility of states and measurements, and use this to construct a version of the BB84 protocol that works in any non-classical GPT.
△ Less
Submitted 9 September, 2021;
originally announced September 2021.
-
Entangleability of cones
Authors:
Guillaume Aubrun,
Ludovico Lami,
Carlos Palazuelos,
Martin Plavala
Abstract:
We solve a long-standing conjecture by Barker, proving that the minimal and maximal tensor products of two finite-dimensional proper cones coincide if and only if one of the two cones is generated by a linearly independent set. Here, given two proper cones $C_1$, $C_2$, their minimal tensor product is the cone generated by products of the form $x_1 \otimes x_2$, where $x_1 \in C_1$ and…
▽ More
We solve a long-standing conjecture by Barker, proving that the minimal and maximal tensor products of two finite-dimensional proper cones coincide if and only if one of the two cones is generated by a linearly independent set. Here, given two proper cones $C_1$, $C_2$, their minimal tensor product is the cone generated by products of the form $x_1 \otimes x_2$, where $x_1 \in C_1$ and $x_2 \in C_2$, while their maximal tensor product is the set of tensors that are positive under all product functionals $f_1 \otimes f_2$, where $f_1$ is positive on $C_1$ and $f_2$ is positive on $C_2$. Our proof techniques involve a mix of convex geometry, elementary algebraic topology, and computations inspired by quantum information theory. Our motivation comes from the foundations of physics: as an application, we show that any two non-classical systems modelled by general probabilistic theories can be entangled.
△ Less
Submitted 25 August, 2021; v1 submitted 21 November, 2019;
originally announced November 2019.
-
Universal entangleability of non-classical theories
Authors:
Guillaume Aubrun,
Ludovico Lami,
Carlos Palazuelos
Abstract:
Inspired by its fundamental importance in quantum mechanics, we define and study the notion of entanglement for abstract physical theories, investigating its profound connection with the concept of superposition. We adopt the formalism of general probabilistic theories (GPTs), encompassing all physical models whose predictive power obeys minimal requirements. Examples include classical theories, w…
▽ More
Inspired by its fundamental importance in quantum mechanics, we define and study the notion of entanglement for abstract physical theories, investigating its profound connection with the concept of superposition. We adopt the formalism of general probabilistic theories (GPTs), encompassing all physical models whose predictive power obeys minimal requirements. Examples include classical theories, which do not exhibit superposition and whose state space has the shape of a simplex, quantum mechanics, as well as more exotic models such as Popescu-Rohrlich boxes. We call two GPTs entangleable if their composite admits either entangled states or entangled measurements, and conjecture that any two non-classical theories are in fact entangleable. We present substantial evidence towards this conjecture by proving it (1) for the simplest case of 3-dimensional theories; (2) when the local state spaces are discrete, which covers foundationally relevant cases; (3) when one of the local theories is quantum mechanics. Furthermore, (4) we envision the existence of a quantitative relation between local non-classicality and global entangleability, explicitly describing it in the geometrically natural case where the local state spaces are centrally symmetric.
△ Less
Submitted 10 October, 2019;
originally announced October 2019.
-
Universal gaps for XOR games from estimates on tensor norm ratios
Authors:
Guillaume Aubrun,
Ludovico Lami,
Carlos Palazuelos,
Stanisław J. Szarek,
Andreas Winter
Abstract:
We define and study XOR games in the framework of general probabilistic theories, which encompasses all physical models whose predictive power obeys minimal requirements. The bias of an XOR game under local or global strategies is shown to be given by a certain injective or projective tensor norm, respectively. The intrinsic (i.e.\ model-independent) advantage of global over local strategies is th…
▽ More
We define and study XOR games in the framework of general probabilistic theories, which encompasses all physical models whose predictive power obeys minimal requirements. The bias of an XOR game under local or global strategies is shown to be given by a certain injective or projective tensor norm, respectively. The intrinsic (i.e.\ model-independent) advantage of global over local strategies is thus connected to a universal function $r(n,m)$ called 'projective-injective ratio'. This is defined as the minimal constant $ρ$ such that $\|\cdot\|_{X\otimes_πY}\leqρ\,\|\cdot\|_{X\otimes_\varepsilon Y}$ holds for all Banach spaces of dimensions $\dim X=n$ and $\dim Y=m$, where $X\otimes_πY$ and $X \otimes_\varepsilon Y$ are the projective and injective tensor products. By requiring that $X=Y$, one obtains a symmetrised version of the above ratio, denoted by $r_s(n)$. We prove that $r(n,m)\geq 19/18$ for all $n,m\geq 2$, implying that injective and projective tensor products are never isometric. We then study the asymptotic behaviour of $r(n,m)$ and $r_s(n)$, showing that, up to log factors: $r_s(n)$ is of the order $\sqrt{n}$ (which is sharp); $r(n,n)$ is at least of the order $n^{1/6}$; and $r(n,m)$ grows at least as $\min\{n,m\}^{1/8}$. These results constitute our main contribution to the theory of tensor norms. In our proof, a crucial role is played by an '$\ell_1$/$\ell_2$/$\ell_{\infty}$ trichotomy theorem' based on ideas by Pisier, Rudelson, Szarek, and Tomczak-Jaegermann. The main operational consequence we draw is that there is a universal gap between local and global strategies in general XOR games, and that this grows as a power of the minimal local dimension. In the quantum case, we are able to determine this gap up to universal constants. As a corollary, we obtain an improved bound on the scaling of the maximal quantum data hiding efficiency against local measurements.
△ Less
Submitted 7 December, 2018; v1 submitted 27 September, 2018;
originally announced September 2018.
-
Two proofs of Størmer's theorem
Authors:
Guillaume Aubrun,
Stanisław J. Szarek
Abstract:
The structure of the set of positivity-preserving maps between matrix algebras is notoriously difficult to describe. The notable exceptions are the results by Størmer and Woronowicz from 1960s and 1970s settling the low dimensional cases. By duality, these results are equivalent to the Peres-Horodecki positive partial transpose criterion being able to unambiguously establish whether a state in a 2…
▽ More
The structure of the set of positivity-preserving maps between matrix algebras is notoriously difficult to describe. The notable exceptions are the results by Størmer and Woronowicz from 1960s and 1970s settling the low dimensional cases. By duality, these results are equivalent to the Peres-Horodecki positive partial transpose criterion being able to unambiguously establish whether a state in a 2 x 2 or 2 x 3 quantum system is entangled or separable. However, even in these low dimensional cases, the existing arguments (known to the authors) were based on long and seemingly ad hoc computations. We present a simple proof, based on Brouwer's fixed point theorem, for the 2 x 2 case (Størmer's theorem). For completeness, we also include another argument (following the classical outline, but highly streamlined) based on a characterization of extreme self-maps of the Lorentz cone and on a link - noticed by R. Hildebrand - to the S-lemma, a well-known fact from control theory and quadratic/semi-definite programming.
△ Less
Submitted 10 December, 2015;
originally announced December 2015.
-
Dvoretzky's Theorem and the Complexity of Entanglement Detection
Authors:
Guillaume Aubrun,
Stanislaw Szarek
Abstract:
The well-known Horodecki criterion asserts that a state $ρ$ on $\mathbf{C}^d \otimes \mathbf{C}^d$ is entangled if and only if there exists a positive map $Φ: \mathsf{M}_d \to \mathsf{M}_d$ such that the operator $(Φ\otimes \mathrm{Id})(ρ)$ is not positive semi-definite. We show that the number of such maps needed to detect all the robustly entangled states (i.e., states $ρ$ which remain entangled…
▽ More
The well-known Horodecki criterion asserts that a state $ρ$ on $\mathbf{C}^d \otimes \mathbf{C}^d$ is entangled if and only if there exists a positive map $Φ: \mathsf{M}_d \to \mathsf{M}_d$ such that the operator $(Φ\otimes \mathrm{Id})(ρ)$ is not positive semi-definite. We show that the number of such maps needed to detect all the robustly entangled states (i.e., states $ρ$ which remain entangled even in the presence of substantial randomizing noise) exceeds $\exp(c d^3 / \log d)$. The proof is based on the 1977 inequality of Figiel--Lindenstrauss--Milman, which ultimately relies on Dvoretzky's theorem about almost spherical sections of convex bodies. We interpret that inequality as a statement about approximability of convex bodies by polytopes with few vertices or with few faces and apply it to the study of fine properties of the set of quantum states and that of separable states. Our results can be thought of as geometrical manifestations of the complexity of entanglement detection.
△ Less
Submitted 12 January, 2017; v1 submitted 2 October, 2015;
originally announced October 2015.
-
Catalysis in the trace class and weak trace class ideals
Authors:
Guillaume Aubrun,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
Given operators $A,B$ in some ideal $\mathcal{I}$ in the algebra $\mathcal{L}(H)$ of all bounded operators on a separable Hilbert space $H$, can we give conditions guaranteeing the existence of a trace-class operator $C$ such that $B \otimes C$ is submajorized (in the sense of Hardy--Littlewood) by $A \otimes C$ ? In the case when $\mathcal{I} = \mathcal{L}_1$, a necessary and almost sufficient co…
▽ More
Given operators $A,B$ in some ideal $\mathcal{I}$ in the algebra $\mathcal{L}(H)$ of all bounded operators on a separable Hilbert space $H$, can we give conditions guaranteeing the existence of a trace-class operator $C$ such that $B \otimes C$ is submajorized (in the sense of Hardy--Littlewood) by $A \otimes C$ ? In the case when $\mathcal{I} = \mathcal{L}_1$, a necessary and almost sufficient condition is that the inequalities ${\rm Tr} (B^p) \leq {\rm Tr} (A^p)$ hold for every $p \in [1,\infty]$. We show that the analogous statement fails for $\mathcal{I} = \mathcal{L}_{1,\infty}$ by connecting it with the study of Dixmier traces.
△ Less
Submitted 19 June, 2015;
originally announced June 2015.
-
Locally restricted measurements on a multipartite quantum system: data hiding is generic
Authors:
Guillaume Aubrun,
Cécilia Lancien
Abstract:
We study the distinguishability norms associated to families of locally restricted POVMs on multipartite systems. These norms (introduced by Matthews, Wehner and Winter) quantify how quantum measurements, subject to locality constraints, perform in the task of discriminating two multipartite quantum states. We mainly address the following question regarding the behaviour of these distinguishabilit…
▽ More
We study the distinguishability norms associated to families of locally restricted POVMs on multipartite systems. These norms (introduced by Matthews, Wehner and Winter) quantify how quantum measurements, subject to locality constraints, perform in the task of discriminating two multipartite quantum states. We mainly address the following question regarding the behaviour of these distinguishability norms in the high-dimensional regime: On a bipartite space, what are the relative strengths of standard classes of locally restricted measurements? We show that the class of PPT measurements typically performs almost as well as the class of all measurements whereas restricting to local measurements and classical communication, or even just to separable measurements, implies a substantial loss. We also provide examples of state pairs which can be perfectly distinguished by local measurements if (one-way) classical communication is allowed between the parties, but very poorly without it. Finally, we study how many POVMs are needed to distinguish almost perfectly any pair of states on $\mathbf{C}^d$, showing that the answer is $\exp(Θ(d^2))$.
△ Less
Submitted 13 June, 2015; v1 submitted 8 June, 2014;
originally announced June 2014.
-
Zonoids and sparsification of quantum measurements
Authors:
Guillaume Aubrun,
Cécilia Lancien
Abstract:
In this paper, we establish a connection between zonoids (a concept from classical convex geometry) and the distinguishability norms associated to quantum measurements, or POVMs (Positive Operator-Valued Measures), recently introduced in quantum information theory.
This correspondence allows us to state and prove the POVM version of classical results from the local theory of Banach spaces about…
▽ More
In this paper, we establish a connection between zonoids (a concept from classical convex geometry) and the distinguishability norms associated to quantum measurements, or POVMs (Positive Operator-Valued Measures), recently introduced in quantum information theory.
This correspondence allows us to state and prove the POVM version of classical results from the local theory of Banach spaces about the approximation of zonoids by zonotopes. We show that on $\mathbf{C}^d$, the uniform POVM (the most symmetric POVM) can be sparsified, i.e. approximated by a discrete POVM, the latter having only $O(d^2)$ outcomes. We also show that similar (but weaker) approximation results actually hold for any POVM on $\mathbf{C}^d$.
By defining an appropriate notion of tensor product for zonoids, we are then able to extend our results to the multipartite setting: we show, roughly speaking, that local POVMs may be sparsified locally. In particular, the local uniform POVM on $\mathbf{C}^{d_1}\otimes\cdots\otimes\mathbf{C}^{d_k}$ can be approximated by a discrete POVM which is local and has $O(d_1^2\times\cdots\times d_k^2)$ outcomes.
△ Less
Submitted 13 June, 2015; v1 submitted 23 September, 2013;
originally announced September 2013.
-
Realigning random states
Authors:
Guillaume Aubrun,
Ion Nechita
Abstract:
We study how the realignment criterion (also called computable cross-norm criterion) succeeds asymptotically in detecting whether random states are separable or entangled. We consider random states on $\C^d \otimes \C^d$ obtained by partial tracing a Haar-distributed random pure state on $\C^d \otimes \C^d \otimes \C^s$ over an ancilla space $\C^s$. We show that, for large $d$, the realignment cri…
▽ More
We study how the realignment criterion (also called computable cross-norm criterion) succeeds asymptotically in detecting whether random states are separable or entangled. We consider random states on $\C^d \otimes \C^d$ obtained by partial tracing a Haar-distributed random pure state on $\C^d \otimes \C^d \otimes \C^s$ over an ancilla space $\C^s$. We show that, for large $d$, the realignment criterion typically detects entanglement if and only if $s \leq (8/3π)^2 d^2$. In this sense, the realignment criterion is asymptotically weaker than the partial transposition criterion.
△ Less
Submitted 18 March, 2012;
originally announced March 2012.
-
Phase transitions for random states and a semi-circle law for the partial transpose
Authors:
Guillaume Aubrun,
Stanislaw J. Szarek,
Deping Ye
Abstract:
For a system of N identical particles in a random pure state, there is a threshold k_0 = k_0(N) ~ N/5 such that two subsystems of k particles each typically share entanglement if k > k_0, and typically do not share entanglement if k < k_0. By "random" we mean here "uniformly distributed on the sphere of the corresponding Hilbert space." The analogous phase transition for the positive partial trans…
▽ More
For a system of N identical particles in a random pure state, there is a threshold k_0 = k_0(N) ~ N/5 such that two subsystems of k particles each typically share entanglement if k > k_0, and typically do not share entanglement if k < k_0. By "random" we mean here "uniformly distributed on the sphere of the corresponding Hilbert space." The analogous phase transition for the positive partial transpose (PPT) property can be described even more precisely. For example, for N qubits the two subsystems of size k are typically in a PPT state if k < k_1 := N/4 - 1/2, and typically in a non-PPT state if k > k_1. Since, for a given state of the entire system, the induced state of a subsystem is given by the partial trace, the above facts can be rephrased as properties of random induced states. An important step in the analysis depends on identifying the asymptotic spectral density of the partial transposes of such random induced states, a result which is interesting in its own right.
△ Less
Submitted 5 April, 2012; v1 submitted 20 December, 2011;
originally announced December 2011.
-
Entanglement thresholds for random induced states
Authors:
Guillaume Aubrun,
Stanislaw J. Szarek,
Deping Ye
Abstract:
For a random quantum state on $H=C^d \otimes C^d$ obtained by partial tracing a random pure state on $H \otimes C^s$, we consider the whether it is typically separable or typically entangled. For this problem, we show the existence of a sharp threshold $s_0=s_0(d)$ of order roughly $d^3$. More precisely, for any $a > 0$ and for d large enough, such a random state is entangled with very large proba…
▽ More
For a random quantum state on $H=C^d \otimes C^d$ obtained by partial tracing a random pure state on $H \otimes C^s$, we consider the whether it is typically separable or typically entangled. For this problem, we show the existence of a sharp threshold $s_0=s_0(d)$ of order roughly $d^3$. More precisely, for any $a > 0$ and for d large enough, such a random state is entangled with very large probability when $s < (1-a)s_0$, and separable with very large probability when $s > (1+a)s_0$. One consequence of this result is as follows: for a system of N identical particles in a random pure state, there is a threshold $k_0 = k_0(N) \sim N/5$ such that two subsystems of k particles each typically share entanglement if $k > k_0$, and typically do not share entanglement if $k < k_0$. Our methods work also for multipartite systems and for "unbalanced" systems such as $C^{d} \otimes C^{d'}$, $d \neq d'$. The arguments rely on random matrices, classical convexity, high-dimensional probability and geometry of Banach spaces; some of the auxiliary results may be of reference value. A high-level non-technical overview of the results of this paper and of a related article arXiv:1011.0275 can be found in arXiv:1112.4582.
△ Less
Submitted 15 October, 2012; v1 submitted 11 June, 2011;
originally announced June 2011.
-
The multiplicative property characterizes $\ell_p$ and $L_p$ norms
Authors:
Guillaume Aubrun,
Ion Nechita
Abstract:
We show that $\ell_p$ norms are characterized as the unique norms which are both invariant under coordinate permutation and multiplicative with respect to tensor products. Similarly, the $L_p$ norms are the unique rearrangement-invariant norms on a probability space such that $\|X Y\|=\|X\|\cdot\|Y\|$ for every pair $X,Y$ of independent random variables. Our proof relies on Cramér's large deviatio…
▽ More
We show that $\ell_p$ norms are characterized as the unique norms which are both invariant under coordinate permutation and multiplicative with respect to tensor products. Similarly, the $L_p$ norms are the unique rearrangement-invariant norms on a probability space such that $\|X Y\|=\|X\|\cdot\|Y\|$ for every pair $X,Y$ of independent random variables. Our proof relies on Cramér's large deviation theorem.
△ Less
Submitted 13 February, 2011;
originally announced February 2011.
-
Partial transposition of random states and non-centered semicircular distributions
Authors:
Guillaume Aubrun
Abstract:
Let W be a Wishart random matrix of size d^2 times d^2, considered as a block matrix with d times d blocks. Let Y be the matrix obtained by transposing each block of W. We prove that the empirical eigenvalue distribution of Y approaches a non-centered semicircular distribution when d tends to infinity. We also show the convergence of extreme eigenvalues towards the edge of the expected spectrum. T…
▽ More
Let W be a Wishart random matrix of size d^2 times d^2, considered as a block matrix with d times d blocks. Let Y be the matrix obtained by transposing each block of W. We prove that the empirical eigenvalue distribution of Y approaches a non-centered semicircular distribution when d tends to infinity. We also show the convergence of extreme eigenvalues towards the edge of the expected spectrum. The proofs are based on the moments method.
This matrix model is relevant to Quantum Information Theory and corresponds to the partial transposition of a random induced state. A natural question is: "When does a random state have a positive partial transpose (PPT)?". We answer this question and exhibit a strong threshold when the parameter from the Wishart distribution equals 4. When d gets large, a random state on C^d tensor C^d obtained after partial tracing a random pure state over some ancilla of dimension alpha.d^2 is typically PPT when alpha>4 and typically non-PPT when alpha<4.
△ Less
Submitted 6 January, 2012; v1 submitted 1 November, 2010;
originally announced November 2010.
-
Hastings' additivity counterexample via Dvoretzky's theorem
Authors:
Guillaume Aubrun,
Stanislaw Szarek,
Elisabeth Werner
Abstract:
The goal of this note is to show that Hastings' counterexample to the additivity of minimal output von Neumann entropy can be readily deduced from a sharp version of Dvoretzky's theorem on almost spherical sections of convex bodies.
The goal of this note is to show that Hastings' counterexample to the additivity of minimal output von Neumann entropy can be readily deduced from a sharp version of Dvoretzky's theorem on almost spherical sections of convex bodies.
△ Less
Submitted 30 August, 2010; v1 submitted 25 March, 2010;
originally announced March 2010.
-
Non-additivity of Renyi entropy and Dvoretzky's Theorem
Authors:
Guillaume Aubrun,
Stanislaw Szarek,
Elisabeth Werner
Abstract:
The goal of this note is to show that the analysis of the minimum output p-Renyi entropy of a typical quantum channel essentially amounts to applying Milman's version of Dvoretzky's Theorem about almost Euclidean sections of high-dimensional convex bodies. This conceptually simplifies the (nonconstructive) argument by Hayden-Winter disproving the additivity conjecture for the minimal output p-Re…
▽ More
The goal of this note is to show that the analysis of the minimum output p-Renyi entropy of a typical quantum channel essentially amounts to applying Milman's version of Dvoretzky's Theorem about almost Euclidean sections of high-dimensional convex bodies. This conceptually simplifies the (nonconstructive) argument by Hayden-Winter disproving the additivity conjecture for the minimal output p-Renyi entropy (for p>1).
△ Less
Submitted 12 January, 2010; v1 submitted 7 October, 2009;
originally announced October 2009.
-
Maximal inequality for high-dimensional cubes
Authors:
Guillaume Aubrun
Abstract:
We present lower estimates for the best constant appearing in the weak $(1,1)$ maximal inequality in the space $(\R^n,\|\cdot\|_{\iy})$. We show that this constant grows to infinity faster than $(\log n)^{1-o(1)}$ when $n$ tends to infinity. To this end, we follow and simplify the approach used by J.M. Aldaz. The new part of the argument relies on Donsker's theorem identifying the Brownian bridg…
▽ More
We present lower estimates for the best constant appearing in the weak $(1,1)$ maximal inequality in the space $(\R^n,\|\cdot\|_{\iy})$. We show that this constant grows to infinity faster than $(\log n)^{1-o(1)}$ when $n$ tends to infinity. To this end, we follow and simplify the approach used by J.M. Aldaz. The new part of the argument relies on Donsker's theorem identifying the Brownian bridge as the limit object describing the statistical distribution of the coordinates of a point randomly chosen in the unit cube $[0,1]^n$ ($n$ large).
△ Less
Submitted 31 August, 2009; v1 submitted 25 February, 2009;
originally announced February 2009.
-
On almost randomizing channels with a short Kraus decomposition
Authors:
Guillaume Aubrun
Abstract:
For large d, we study quantum channels on C^d obtained by selecting randomly N independent Kraus operators according to a probability measure mu on the unitary group U(d). When mu is the Haar measure, we show that for N>d/epsilon^2…
▽ More
For large d, we study quantum channels on C^d obtained by selecting randomly N independent Kraus operators according to a probability measure mu on the unitary group U(d). When mu is the Haar measure, we show that for N>d/epsilon^2$, such a channel is epsilon-randomizing with high probability, which means that it maps every state within distance epsilon/d (in operator norm) of the maximally mixed state. This slightly improves on a result by Hayden, Leung, Shor and Winter by optimizing their discretization argument. Moreover, for general mu, we obtain a epsilon-randomizing channel provided N > d (\log d)^6/epsilon^2$. For d=2^k (k qubits), this includes Kraus operators obtained by tensoring k random Pauli matrices. The proof uses recent results on empirical processes in Banach spaces.
△ Less
Submitted 12 June, 2008; v1 submitted 19 May, 2008;
originally announced May 2008.
-
A remark on the paper ``Randomizing quantum states: Constructions and applications''
Authors:
Guillaume Aubrun
Abstract:
The concept of $\e$-randomizing quantum channels has been introduced by Hayden, Leung, Shor and Winter in connection with approximately encrypting quantum states. They proved using a discretization argument that sets of roughly $d \log d$ random unitary operators provide examples of such channels on $\C^d$. We show that a simple trick improves the efficiency of the argument and reduces the numbe…
▽ More
The concept of $\e$-randomizing quantum channels has been introduced by Hayden, Leung, Shor and Winter in connection with approximately encrypting quantum states. They proved using a discretization argument that sets of roughly $d \log d$ random unitary operators provide examples of such channels on $\C^d$. We show that a simple trick improves the efficiency of the argument and reduces the number of unitary operators to roughly $d$.
△ Less
Submitted 28 February, 2008;
originally announced February 2008.
-
Stochastic domination for iterated convolutions and catalytic majorization
Authors:
Guillaume Aubrun,
Ion Nechita
Abstract:
We study how iterated convolutions of probability measures compare under stochastic domination. We give necessary and sufficient conditions for the existence of an integer $n$ such that $μ^{*n}$ is stochastically dominated by $ν^{*n}$ for two given probability measures $μ$ and $ν$. As a consequence we obtain a similar theorem on the majorization order for vectors in $\R^d$. In particular we prov…
▽ More
We study how iterated convolutions of probability measures compare under stochastic domination. We give necessary and sufficient conditions for the existence of an integer $n$ such that $μ^{*n}$ is stochastically dominated by $ν^{*n}$ for two given probability measures $μ$ and $ν$. As a consequence we obtain a similar theorem on the majorization order for vectors in $\R^d$. In particular we prove results about catalysis in quantum information theory.
△ Less
Submitted 11 April, 2008; v1 submitted 2 July, 2007;
originally announced July 2007.
-
Catalytic majorization and $\ell_p$ norms
Authors:
Guillaume Aubrun,
Ion Nechita
Abstract:
An important problem in quantum information theory is the mathematical characterization of the phenomenon of quantum catalysis: when can the surrounding entanglement be used to perform transformations of a jointly held quantum state under LOCC (local operations and classical communication) ? Mathematically, the question amounts to describe, for a fixed vector $y$, the set $T(y)$ of vectors $x$ s…
▽ More
An important problem in quantum information theory is the mathematical characterization of the phenomenon of quantum catalysis: when can the surrounding entanglement be used to perform transformations of a jointly held quantum state under LOCC (local operations and classical communication) ? Mathematically, the question amounts to describe, for a fixed vector $y$, the set $T(y)$ of vectors $x$ such that we have $x \otimes z \prec y \otimes z$ for some $z$, where $\prec$ denotes the standard majorization relation. Our main result is that the closure of $T(y)$ in the $\ell_1$ norm can be fully described by inequalities on the $\ell_p$ norms: $\|x\|_p \leq \|y\|_p$ for all $p \geq 1$. This is a first step towards a complete description of $T(y)$ itself. It can also be seen as a $\ell_p$-norm analogue of Ky Fan dominance theorem about unitarily invariant norms. The proofs exploits links with another quantum phenomenon: the possibiliy of multiple-copy transformations ($x^{\otimes n} \prec y^{\otimes n}$ for given $n$). The main new tool is a variant of Cramér$ theorem on large deviations for sums of i.i.d. random variables.
△ Less
Submitted 18 June, 2007; v1 submitted 15 February, 2007;
originally announced February 2007.
-
Tensor products of convex sets and the volume of separable states on N qudits
Authors:
Guillaume Aubrun,
Stanislaw J. Szarek
Abstract:
This note deals with estimating the volume of the set of separable mixed quantum states when the dimension of the state space grows to infinity. This has been studied recently for qubits; here we consider larger particles and conclude that, in all cases, the proportion of the states that are separable is super-exponentially small in the dimension of the set. We also show that the partial transpo…
▽ More
This note deals with estimating the volume of the set of separable mixed quantum states when the dimension of the state space grows to infinity. This has been studied recently for qubits; here we consider larger particles and conclude that, in all cases, the proportion of the states that are separable is super-exponentially small in the dimension of the set. We also show that the partial transpose criterion becomes imprecise when the dimension increases, and that the lower bound $6^{-N/2}$ on the (Hilbert-Schmidt) inradius of the set of separable states on N qubits obtained recently by Gurvits and Barnum is essentially optimal. We employ standard tools of classical convexity, high-dimensional probability and geometry of Banach spaces. One relatively non-standard point is a formal introduction of the concept of projective tensor products of convex bodies, and an initial study of this concept.
PACS numbers: 03.65.Ud, 03.67.Mn, 03.65.Db, 02.40.Ft, 02.50.Cw
MSC-class: 46B28, 47B10, 47L05, 52A38, 81P68
△ Less
Submitted 23 October, 2005; v1 submitted 30 March, 2005;
originally announced March 2005.
