Partial traces and the geometry of entanglement: Sufficient conditions for the separability of Gaussian states

The notion of partial trace of a density operator is essential for the understanding of the entanglement and separability properties of quantum states. In this paper, we investigate these notions putting an emphasis on the geometrical properties of the covariance ellipsoids of the reduced states. We thereafter focus on Gaussian states and we give new and easily numerically implementable sufficient conditions for the separability of all Gaussian states. Unlike the positive partial transposition criterion, none of these conditions is however necessary.

Quantum reference frame transformations as symmetries and the paradox of the third particle

In a quantum world, reference frames are ultimately quantum systems too – but what does it mean to "jump into the perspective of a quantum particle"? In this work, we show that quantum reference frame (QRF) transformations appear naturally as symmetries of simple physical systems. This allows us to rederive and generalize known QRF transformations within an alternative, operationally transparent framework, and to shed new light on their structure and interpretation. We give an explicit description of the observables that are measurable by agents constrained by such quantum symmetries, and apply our results to a puzzle known as the `paradox of the third particle'. We argue that it can be reduced to the question of how to relationally embed fewer into more particles, and give a thorough physical and algebraic analysis of this question. This leads us to a generalization of the partial trace (`relational trace') which arguably resolves the paradox, and it uncovers important structures of constraint quantization within a simple quantum information setting, such as relational observables which are key in this resolution. While we restrict our attention to finite Abelian groups for transparency and mathematical rigor, the intuitive physical appeal of our results makes us expect that they remain valid in more general situations.

NUMERICAL RANGE AND POSITIVE BLOCK MATRICES

We obtain several norm and eigenvalue inequalities for positive matrices partitioned into four blocks. The results involve the numerical range $W(X)$ of the off-diagonal block $X$ , especially the distance $d$ from $0$ to $W(X)$ . A special consequence is an estimate, $$\begin{eqnarray}\text{diam}\,W\left(\left[\begin{array}{@{}cc@{}}A & X\\ X^{\ast } & B\end{array}\right]\right)-\text{diam}\,W\biggl(\frac{A+B}{2}\biggr)\geq 2d,\end{eqnarray}$$ between the diameters of the numerical ranges for the full matrix and its partial trace.

Regularity Properties for a Class of Non-uniformly Elliptic Isaacs Operators

We consider the elliptic differential operator defined as the sum of the minimum and the maximum eigenvalue of the Hessian matrix, which can be viewed as a degenerate elliptic Isaacs operator, in dimension larger than two. Despite of nonlinearity, degeneracy, non-concavity and non-convexity, such an operator generally enjoys the qualitative properties of the Laplace operator, as for instance maximum and comparison principles, ABP and Harnack inequalities, Liouville theorems for subsolutions or supersolutions. Existence and uniqueness for the Dirichlet problem are also proved as well as local and global Hölder estimates for viscosity solutions. All results are discussed for a more general class of weighted partial trace operators.

Entangled Kernels

We consider the problem of operator-valued kernel learning and investigate the possibility of going beyond the well-known separable kernels. Borrowing tools and concepts from the field of quantum computing, such as partial trace and entanglement, we propose a new view on operator-valued kernels and define a general family of kernels that encompasses previously known operator-valued kernels, including separable and transformable kernels. Within this framework, we introduce another novel class of operator-valued kernels called entangled kernels that are not separable. We propose an efficient two-step algorithm for this framework, where the entangled kernel is learned based on a novel extension of kernel alignment to operator-valued kernels. The utility of the algorithm is illustrated on both artificial and real data.

Further Proofs for the 1-Photon PathEntanglement Communications Scheme

The author had previously set out devices to communicate over space-like intervals, with a full proof for the 2‑photon device and only a partial proof for the 1-photon device. The 2-photon device exploits entangled pairs; the 1-photon device utilises path-entanglement. The 1-photon device is fully analysed, then similarities (and differences) are drawn to the 2-photon device to show the holes in the No-communications Theorem: the creation operators representing the sum of paths through the device can be mapped outside the device and quantum state reduction/measurement is a space-like operation. A common misconception on faux rank-3 systems made from rank-2 components is elucidated, avoiding the criticism and null result obtained by naively taking the partial trace.

The Misuse of the No-Communication Theorem by Ghirardi - In The Analysis of a Non-Local Communication SystemThat Effectively Swaps Distant Joint Entanglement to Local Path Entanglement of an Interferometer

This paper is in response to a critique of the author’s earlier papers on the matter of a non-local communication system by Ghirardi. The setup has merit for not apparently falling for the usual pitfalls of putative communication schemes, as espoused by the No-communication theorem (NCT) - that of non-factorisability. The enquiry occurred from the investigation of two interferometer based communication systems: one two-photon entanglement, the other single-photon path entanglement. Both systems have two parties: a sender (“Alice”) who transmits or absorbs her particle and a receiver (“Bob”) who has an interferometer, which can discern a pure or mixed state, ahead of his detector. Ghirardi used the density matrix and found that the system wasn’t factorisable; this was seen as a fulfilment of the NCT. We revisit the analysis and say quite simply that Ghirardi is mistaken. The system is rendered factorisable by a Schmidt decomposition and entanglement swapping to “which path information” of the interferometer; also one must consider the joint evolution before taking the partial trace. Ghirardi’s misuse, by the inapplicability of the NCT in this situation, renders this general prohibitive bar incomplete or entirely wrong.