Multipartite entanglement in three-mode Gaussian states of continuous variable systems: Quantification, sharing structure and decoherence

We present a complete analysis of multipartite entanglement of three-mode Gaussian states of continuous variable systems. We derive standard forms which characterize the covariance matrix of pure and mixed three-mode Gaussian states up to local unitary operations, showing that the local entropies of pure Gaussian states are bound to fulfill a relationship which is stricter than the general Araki-Lieb inequality. Quantum correlations will be quantified by a proper convex roof extension of the squared logarithmic negativity (the contangle), satisfying a monogamy relation for multimode Gaussian states, whose proof will be reviewed and elucidated. The residual contangle, emerging from the monogamy inequality, is an entanglement monotone under Gaussian local operations and classical communication and defines a measure of genuine tripartite entanglement. We analytically determine the residual contangle for arbitrary pure three-mode Gaussian states and study the distribution of quantum correlations for such states. This will lead us to show that pure, symmetric states allow for a promiscuous entanglement sharing, having both maximum tripartite residual entanglement and maximum couplewise entanglement between any pair of modes. We thus name these states GHZ/$W$ states of continuous variable systems because they are simultaneous continuous-variable counterparts of both the GHZ and the $W$ states of three qubits. We finally consider the action of decoherence on tripartite entangled Gaussian states, studying the decay of the residual contangle. The GHZ/$W$ states are shown to be maximally robust under both losses and thermal noise.Comment: 20 pages, 5 figures. (v2) References updated, published versio

Polyhedral geometry of Phylogenetic Rogue Taxa

It is well known among phylogeneticists that adding an extra taxon (e.g. species) to a data set can alter the structure of the optimal phylogenetic tree in surprising ways. However, little is known about this "rogue taxon" effect. In this paper we characterize the behavior of balanced minimum evolution (BME) phylogenetics on data sets of this type using tools from polyhedral geometry. First we show that for any distance matrix there exist distances to a "rogue taxon" such that the BME-optimal tree for the data set with the new taxon does not contain any nontrivial splits (bipartitions) of the optimal tree for the original data. Second, we prove a theorem which restricts the topology of BME-optimal trees for data sets of this type, thus showing that a rogue taxon cannot have an arbitrary effect on the optimal tree. Third, we construct polyhedral cones computationally which give complete answers for BME rogue taxon behavior when our original data fits a tree on four, five, and six taxa. We use these cones to derive sufficient conditions for rogue taxon behavior for four taxa, and to understand the frequency of the rogue taxon effect via simulation.Comment: In this version, we add quartet distances and fix Table 4

Distribution of quantum gravity induced entanglement in many-body systems

Recently, it was shown that two distant test masses, each prepared in a spatially superposed quantum state, become entangled through their mutual gravitational interaction. This entanglement, it was argued, is a signature of the quantum nature of gravity. We extend this treatment to a many-body system in a general setup and study the entanglement properties of the time-evolved state. We exactly compute the time-dependent I-concurrence for every bipartition and obtain the necessary and sufficient condition for the creation of genuine many-body entanglement. We further show that this entanglement is of generalised GHZ type when certain conditions are met. We also evaluate the amount of multipartite entanglement in the system using a set of generalised Meyer-Wallach measures.Comment: Comments are welcom

Ramsey expansions of metrically homogeneous graphs

We discuss the Ramsey property, the existence of a stationary independence relation and the coherent extension property for partial isometries (coherent EPPA) for all classes of metrically homogeneous graphs from Cherlin's catalogue, which is conjectured to include all such structures. We show that, with the exception of tree-like graphs, all metric spaces in the catalogue have precompact Ramsey expansions (or lifts) with the expansion property. With two exceptions we can also characterise the existence of a stationary independence relation and the coherent EPPA. Our results can be seen as a new contribution to Ne\v{s}et\v{r}il's classification programme of Ramsey classes and as empirical evidence of the recent convergence in techniques employed to establish the Ramsey property, the expansion (or lift or ordering) property, EPPA and the existence of a stationary independence relation. At the heart of our proof is a canonical way of completing edge-labelled graphs to metric spaces in Cherlin's classes. The existence of such a "completion algorithm" then allows us to apply several strong results in the areas that imply EPPA and respectively the Ramsey property. The main results have numerous corollaries on the automorphism groups of the Fra\"iss\'e limits of the classes, such as amenability, unique ergodicity, existence of universal minimal flows, ample generics, small index property, 21-Bergman property and Serre's property (FA).Comment: 57 pages, 14 figures. Extends results of arXiv:1706.00295. Minor revisio

Experimental single-setting quantum state tomography

Quantum computers solve ever more complex tasks using steadily growing system sizes. Characterizing these quantum systems is vital, yet becoming increasingly challenging. The gold-standard is quantum state tomography (QST), capable of fully reconstructing a quantum state without prior knowledge. Measurement and classical computing costs, however, increase exponentially in the system size - a bottleneck given the scale of existing and near-term quantum devices. Here, we demonstrate a scalable and practical QST approach that uses a single measurement setting, namely symmetric informationally complete (SIC) positive operator-valued measures (POVM). We implement these nonorthogonal measurements on an ion trap device by utilizing more energy levels in each ion - without ancilla qubits. More precisely, we locally map the SIC POVM to orthogonal states embedded in a higher-dimensional system, which we read out using repeated in-sequence detections, providing full tomographic information in every shot. Combining this SIC tomography with the recently developed randomized measurement toolbox ("classical shadows") proves to be a powerful combination. SIC tomography alleviates the need for choosing measurement settings at random ("derandomization"), while classical shadows enable the estimation of arbitrary polynomial functions of the density matrix orders of magnitudes faster than standard methods. The latter enables in-depth entanglement studies, which we experimentally showcase on a 5-qubit absolutely maximally entangled (AME) state. Moreover, the fact that the full tomography information is available in every shot enables online QST in real time. We demonstrate this on an 8-qubit entangled state, as well as for fast state identification. All in all, these features single out SIC-based classical shadow estimation as a highly scalable and convenient tool for quantum state characterization.Comment: 34 pages, 15 figure

Transformations among Pure Multipartite Entangled States via Local Operations Are Almost Never Possible

Local operations assisted by classical communication (LOCC) constitute the free operations in entanglement theory. Hence, the determination of LOCC transformations is crucial for the understanding of entanglement. We characterize here almost all LOCC transformations among pure multipartite multilevel states. Combined with the analogous results for qubit states shown by Gour \emph{et al.} [J. Math. Phys. 58, 092204 (2017)], this gives a characterization of almost all local transformations among multipartite pure states. We show that nontrivial LOCC transformations among generic, fully entangled, pure states are almost never possible. Thus, almost all multipartite states are isolated. They can neither be deterministically obtained from local-unitary-inequivalent (LU-inequivalent) states via local operations, nor can they be deterministically transformed to pure, fully entangled LU-inequivalent states. In order to derive this result, we prove a more general statement, namely, that, generically, a state possesses no nontrivial local symmetry. We discuss further consequences of this result for the characterization of optimal, probabilistic single copy and probabilistic multi-copy LOCC transformations and the characterization of LU-equivalence classes of multipartite pure states.Comment: 13 pages main text + 10 pages appendix, 1 figure; close to published versio