Related papers: More on entangled linear orders
The concept of entanglement in systems where the particles are indistinguishable has been the subject of much recent interest and controversy. In this paper we study the notion of entanglement of particles introduced by Wiseman and Vaccaro…
We construct entangled states with positive partial transposes using indecomposable positive linear maps between matrix algebras. We also exhibit concrete examples of entangled states with positive partial transposes arising in this way,…
The quantum mechanics formalism introduced new revolutionary concepts challenging our everyday perceptions. Arguably, quantum entanglement, which explains correlations that cannot be reproduced classically, is the most notable of them.…
Entanglement is a key resource for fundamental tests of physics and emerging quantum technologies. In quantum optics, two perspectives on entanglement coexist. In the continuous-variable framework, entanglement is understood as holding…
We establish several sufficient conditions for the strong ellipticity of any fourth-order elasticity tensor in this paper. The first presented sufficient condition is an extension of positive definite matrices, which states that the strong…
The main concern of this paper is how to define proper measures of multipartite entanglement for mixed quantum states. Since the structure of partial separability and multipartite entanglement is getting complicated if the number of…
We are interested in the properties and relations of entanglement measures. Especially, we focus on the squashed entanglement and relative entropy of entanglement, as well as their analogues and variants. Our first result is a monogamy-like…
Uniqueness quantification ($\exists !$) is a quantifier in first-order logic where one requires that exactly one element exists satisfying a given property. In this paper we investigate the strength of uniqueness quantification when it is…
In this paper we prove a separability criterion for mixed states in $\mathbb C^p\otimes\mathbb C^q$. We also show that the density matrix of a graph with only one entangled edge is entangled.
We use the concept of \textit{entangled graphs} with weighted edges to present a classification for four-qubit entanglement which is based neither on the LOCC nor the SLOCC. Entangled graphs, first introduced by Plesch et al. [Phys. Rev. A…
We present an intuitive geometrical entanglement criterion. It allows formulation of simple and experimentally friendly sufficient conditions for entanglement. The conditions are illustrated with several examples. Moreover, a generalization…
We show that if we enrich first order logic by allowing quantification over isomorphisms between definable ordered fields the resulting logic, L(Q_{Of}), is fully compact. In this logic, we can give standard compactness proofs of various…
We introduce two entanglement conditions that take the form of inequalities involving expectation values of operators. These conditions are sufficient conditions for entanglement, that is if they are satisfied the state is entangled, but if…
The basic notions of category theory, such as limit, adjunction, and orthogonality, all involve assertions of the existence and uniqueness of certain arrows. Weak notions arise when one drops the uniqueness requirement and asks only for…
We show that there is a restriction, or modification of the finite-variable fragments of First Order Logic in which a weak form of Craig's Interpolation Theorem holds, but a strong form of this theorem does not hold. Translating these…
We investigate duality in entanglement of a bipartite multi-photon system generated from a coherent state of light. The system can exhibit polarization entanglement if the two parts are distinguished by their parity, or parity entanglement…
In open quantum systems, we directly relate anomalies of higher-form symmetries to the long-range entanglement of any mixed state with such symmetries. First, we define equivalence classes of long-range entanglement in mixed states via…
We construct nonlinear multiparty entanglement measures for distinguishable particles, bosons and fermions. In each case properties of an entanglement measures are related to the decomposition of the suitably chosen representation of the…
We present a logical separability analysis for a functional quantum computation language. This logic is inspired by previous works on logical analysis of aliasing for imperative functional programs. Both analyses share similarities notably…
In this work we focus on entanglement of two--mode Gaussian states of continuous variable systems. We first review the formalism of Gaussian measures of entanglement, adopting the framework developed in [M. M. Wolf {\em et al.}, Phys. Rev.…