Complete entanglement detection using polynomial invariants

• URL: http://arxiv.org/abs/2606.16712v1
• Date: Mon, 15 Jun 2026 13:40:59 GMT
• Title: Complete entanglement detection using polynomial invariants
• Abstract summary: Existing methods for deciding whether a bipartite quantum state is separable or entangled typically fall into one of two categories.<n>We overcome both limitations in a unified framework by deriving separability criteria in the form of universal bounds on tensor powers of separable states.<n>We explicitly construct a corresponding family of nonlinear entanglement witnesses, which can detect all forms of entanglement without requiring an explicit density matrix.
• Score: 1.9573380763700712
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Existing methods for deciding whether a bipartite quantum state is separable or entangled typically fall into one of two categories: they are either complete but require access to an explicit density matrix followed by numerical optimization, or they can be evaluated directly by measuring the quantum system but are incomplete, in the sense that they cannot detect all forms of entanglement. In this work, we overcome both limitations in a unified framework. First, we bypass numerical optimization by deriving separability criteria in the form of universal bounds on tensor powers of separable states. We prove that these bounds are complete: every entangled state violates them for sufficiently large tensor powers. Second, we explicitly construct a corresponding complete family of nonlinear entanglement witnesses, which can detect all forms of entanglement without requiring an explicit density matrix. The witnesses we construct are moreover basis-independent, in the sense that they are invariant under conjugation by local unitaries. Altogether, our results expand the toolbox for entanglement detection in arbitrary local dimensions in a manifestly invariant way.

Related papers

• Full Inseparability and Genuine Multipartite Entanglement Coincide for Finite-Mode Gaussian States [39.7867986252164]
  We prove that a biseparable decomposition may switch the separable cut from term to term in general mixed states.<n>For any finite family of partitions, a Gaussian density operator in the trace-norm-closed convex class generated by states separable across those partitions is already separable across one fixed partition in the family.
  arXiv  Detail & Related papers  (2026-09-10T02:02:56Z)
• Genuinely Unextendible Product Bases from Maximum Distance Separable Codes [0.0]
  We study the existence of genuinely unextendible product bases (GUPBs)<n>We construct GUPBs for any number $Ngeq3$ of parties using classical maximum distance separable codes.<n>Results establish a direct connection between error-correcting codes and multipartite entanglement.
  arXiv  Detail & Related papers  (2026-08-10T12:07:04Z)
• Resourcefulness without Resource: Geometric Origins and Robustness [43.748379918040854]
  A prevailing intuition holds that quantum protocols using only free states confer no operational advantage.<n>Known instances include nonlocality without entanglement and, more recently, nonstabilizerness without magic.<n>By contrast, non-free ensembles admit memory-assisted attacks that fully erase the gap, exposing a sharp operational asymmetry between free and resource-carrying ensembles.
  arXiv  Detail & Related papers  (2026-06-30T11:30:00Z)
• Hysteretic squashed entanglement in many-body quantum systems [42.085941481155295]
  Entanglement in many-body quantum systems is distributed across spatial regions.<n>We propose hysteretic entanglement $T_sq$, a conditional entanglement that measures the genuine quantum correlations between two subregions.<n>We show that $T_sq$ can detect genuine quantum correlations across both adjacent and long-range subsystems.
  arXiv  Detail & Related papers  (2026-03-10T17:00:49Z)
• Multi-state imaginarity and coherence in qubit systems [3.7112567233163003]
  We provide a unitary-invariant framework to pinpoint imaginarity and coherence in sets of qubit states.<n>We also show that the set of imaginarity-free multi-states is not convex, and that third-order invariants completely characterize multi-state imaginarity of single-qubits but not of higher-dimensional systems.
  arXiv  Detail & Related papers  (2025-07-20T09:34:57Z)
• Quantum state exclusion for group-generated ensembles of pure states [0.0]
  We provide a complete solution to optimal quantum state exclusion for arbitrary sets of pure states generated by finite groups.<n>When perfect exclusion is impossible, we introduce two natural extensions: minimum-error and unambiguous exclusion.<n>For both, we derive the optimal protocols and present analytical expressions for the corresponding failure probabilities and measurements.
  arXiv  Detail & Related papers  (2025-03-04T12:47:02Z)
• Sufficient criteria for absolute separability in arbitrary dimensions via linear map inverses [0.0]
  Quantum states that remain separable (i.e., not entangled) under any global unitary transformation are known as absolutely separable and form a convex set.<n>We employ linear maps and their inverses to derive new sufficient analytical conditions for absolute separability in arbitrary dimensions.<n>We refine the characterization of the set when multiple non-comparable criteria for absolute separability are available.
  arXiv  Detail & Related papers  (2024-10-29T18:00:04Z)
• Absolute dimensionality of quantum ensembles [41.94295877935867]
  The dimension of a quantum state is traditionally seen as the number of superposed distinguishable states in a given basis.<n>We propose an absolute, i.e.basis-independent, notion of dimensionality for ensembles of quantum states.
  arXiv  Detail & Related papers  (2024-09-03T09:54:15Z)
• Critical Fermions are Universal Embezzlers [44.99833362998488]
  We show that universal embezzlers are ubiquitous in many-body physics. The same property holds in locally-interacting, dual spin chains via the Jordan-Wigner transformation.
  arXiv  Detail & Related papers  (2024-06-17T17:03:41Z)
• Reachable sets for two-level open quantum systems driven by coherent and incoherent controls [77.34726150561087]
  We study controllability in the set of all density matrices for a two-level open quantum system driven by coherent and incoherent controls. For two coherent controls, the system is shown to be completely controllable in the set of all density matrices.
  arXiv  Detail & Related papers  (2021-09-09T16:14:23Z)
• Separability and entanglement in superpositions of quantum states [0.0]
  We study the superpositions of a pure entangled state and a pure product state, when the amplitudes corresponding to the states appearing in any superposition are nonzero. All such superpositions produce only entangled states if the initial entangled state has Schmidt rank three or higher. We find that conditional inseparability of superpositions help in identifying strategies for conclusive local discrimination of shared quantum ensembles.
  arXiv  Detail & Related papers  (2021-08-04T19:48:29Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.