BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Guillaume Aubrun

Guillaume Aubrun appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
quant-phmath.FAmath.PRmath-phmath.MPmath.CA

Catalog footprint

What is connected

18works
6topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

18 published item(s)

preprint2021arXiv

Annihilating Entanglement Between Cones

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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Entanglement and superposition are equivalent concepts in any physical theory

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.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Universal gaps for XOR games from estimates on tensor norm ratios

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Catalysis in the trace class and weak trace class ideals

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Locally restricted measurements on a multipartite quantum system: data hiding is generic

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))$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Two proofs of Størmer's theorem

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Zonoids and sparsification of quantum measurements

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Entanglement thresholds for random induced states

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Partial transposition of random states and non-centered semicircular distributions

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Phase transitions for random states and a semi-circle law for the partial transpose

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Realigning random states

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The multiplicative property characterizes $\ell_p$ and $L_p$ norms

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Non-additivity of Renyi entropy and Dvoretzky's Theorem

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).

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Maximal inequality for high-dimensional cubes

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).

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

On almost randomizing channels with a short Kraus decomposition

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.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Stochastic domination for iterated convolutions and catalytic majorization

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.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Catalytic majorization and $\ell_p$ norms

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.

0 citations0 reviewsNo code linkedOpen access