No Arabic abstract
Multipartite quantum system is complex. Characterizing the relations among the three bipartite reduced density operators $rho_{AB}$, $rho_{AC}$ and $rho_{BC}$ of a tripartite state $rho_{ABC}$ has been an open problem in quantum information. One of such relations has been reduced by [Cadney et al, LAA. 452, 153, 2014] to a conjectured inequality in terms of matrix rank, namely $r(rho_{AB}) cdot r(rho_{AC})ge r(rho_{BC})$ for any $rho_{ABC}$. It is denoted as open problem $41$ in the website Open quantum problems-IQOQI Vienna. We prove the inequality, and thus establish a complete picture of the four-party linear inequalities in terms of the $0$-entropy. Our proof is based on the construction of a novel canonical form of bipartite matrices under local equivalence. We apply our result to the marginal problem and the extension of inequalities in the multipartite systems, as well as the condition when the inequality is saturated.
We derive an inequality for the linear entropy, that gives sharp bounds for all finite dimensional systems. The derivation is based on generalised Bloch decompositions and provides a strict improvement for the possible distribution of purities for all finite dimensional quantum states. It thus extends the widely used concept of entropy inequalities from the asymptotic to the finite regime, and should also find applications in entanglement detection and efficient experimental characterisations of quantum states.
We investigate possible generalizations of the Coffman-Kundu-Wootters monogamy inequality to four qubits, accounting for multipartite entanglement in addition to the bipartite terms. We show that the most natural extension of the inequality does not hold in general, and we describe the violations of this inequality in detail. We investigate alternative ways to extend the monogamy inequality to express a constraint on entanglement sharing valid for all four-qubit states, and perform an extensive numerical analysis of randomly generated four-qubit states to explore the properties of such extensions.
We give the complete list of 175 facet Bell inequalities for the case where Alice and Bob each choose their measurements from a set of four binary outcome measurements. For each inequality we compute the maximum quantum violation for qubits, the resistance to noise, and the minimal detection efficiency required for closing the detection loophole with maximally entangled qubit states, in the case where both detectors have the same efficiency (symmetric case).
In this work, we characterize the amount of steerability present in quantum theory by connecting the maximal violation of a steering inequality to an inclusion problem of free spectrahedra. In particular, we show that the maximal violation of an arbitrary unbiased dichotomic steering inequality is given by the inclusion constants of the matrix cube, which is a well-studied object in convex optimization theory. This allows us to find new upper bounds on the maximal violation of steering inequalities and to show that previously obtained violations are optimal. In order to do this, we prove lower bounds on the inclusion constants of the complex matrix cube, which might be of independent interest. Finally, we show that the inclusion constants of the matrix cube and the matrix diamond are the same. This allows us to derive new bounds on the amount of incompatibility available in dichotomic quantum measurements in fixed dimension.
We show that the Power-Zienau-Woolley picture of the electrodynamics of nonrelativistic neutral particles (atoms) can be derived from a gauge-invariant Lagrangian without making reference to any gauge whatsoever in the process. This equivalence is independent of choices of canonical field momentum or quantization strategies. In the process, we emphasize that in nonrelativistic (quantum) electrodynamics, the all-time appropriate generalized coordinate for the field is the transverse part of the vector potential, which is itself gauge invariant, and the use of which we recommend regardless of the choice of gauge, since in this way it is possible to sidestep most issues of constraints. Furthermore, we point out a freedom of choice for the conjugate momenta in the respective pictures, the conventional choices being good ones in the sense that they drastically reduce the set of system constraints.