We construct linear and nonlinear entanglement witnesses, by tensoring and partial tracing existing states and witnesses. We show that little shared quantum resources allow one to employ decomposable witnesses to obtain larger ones detecting locally undistillable states and find analytic witnesses for multipartite entangled states that are undistillable across all bipartitions. Crucially, we show how to efficiently optimize multicopy witnesses to desired states, which is a current challenge. As an example of both theoretical and experimental interest, existing trace polynomial witnesses are significantly improved while preserving their symmetries and implementability with randomized measurements. In addition to detecting entanglement, we also find new witnesses detecting k-copy distillability. A recipe for the single-copy case is shown to be effective for generic and Werner states.
We construct linear and nonlinear entanglement witnesses, by tensoring and partial tracing existing states and witnesses. We show that little shared quantum resources allow one to employ decomposable witnesses to obtain larger ones detecting locally undistillable states and find analytic witnesses for multipartite entangled states that are undistillable across all bipartitions. Crucially, we show how to efficiently optimize multicopy witnesses to desired states, which is a current challenge. As an example of both theoretical and experimental interest, existing trace polynomial witnesses are significantly improved while preserving their symmetries and implementability with randomized measurements. In addition to detecting entanglement, we also find new witnesses detecting k-copy distillability. A recipe for the single-copy case is shown to be effective for generic and Werner states.
Abstract Entanglement detection, which signifies the task of distinguishing entangled states from separable states, can be generally performed by realizing entanglement witnesses via local measurements on a single-copy level and classical communication, and are known to be experimenter friendly. We introduce a framework of constructing mirrored entanglement witnesses by showing that an experimental observable is twice as effective since it generally provides bounds from above and below for separable states. Differently stated, a pair of witnesses, mirrored witnesses, exists for the characterization of the bounds, which are two faces of one observable. We show how to generally construct those witnesses and provide examples for bipartite and multipartite systems. We also show that both mirrored witnesses can be improved by introducing nonlinearities, by which a larger set of entangled states can be certified.
We provide a systematic method for nonlinear entanglement detection based on trace polynomial inequalities. In particular, this allows us to employ multipartite witnesses for the detection of bipartite states, and vice versa. We identify pairs of entangled states and witnesses for which linear detection fails, but for which nonlinear detection succeeds. With the trace polynomial formulation a great variety of witnesses arise from immanant inequalities, which can be implemented in the laboratory through the randomized measurements toolbox.
Nonlinear entanglement witnesses constructed from multiple linear entanglement witnesses and multiple copies of quantum states have recently been proposed as a powerful tool for entanglement detection. In this work, we show, via an explicit counterexample, that the fineness of linear witnesses generally fails to transfer to their tensor-product nonlinear counterparts. For the canonical family of nonlinear witnesses in the form of (αI-L)⊗(βI-T), we rigorously prove that the optimal nonlinear witness is uniquely attained with weakly optimal parameters of α=λmax(L) and β=λmax(T). Meanwhile, we analytically demonstrate that the self-tensor products of two representative linear witnesses fail to detect any entangled state. The question of whether a nonlinear entanglement witness capable of detecting entanglement can be constructed by tensoring a linear witness with itself remains open.
Constructing optimal entanglement witnesses for arbitrary quantum systems remains a formidable challenge, hindered by the structural complexity of high-dimensional quantum state spaces. In this work, we overcome this barrier by introducing a unified framework for constructing geometrically optimal witnesses capable of identifying arbitrary entanglement structures. By leveraging the geometric properties of a target quantum state relative to a specific entanglement structure in Hilbert-Schmidt space, these witnesses are constructed in an efficient and effective manner. Among all nontrivial witnesses, they provide maximal distinguishability between the target state and the set of states without the desired entanglement structure. As a result, our approach enables the universal detection of bipartite, multipartite, and high-dimensional entanglement. To demonstrate its experimental feasibility, we apply the framework to a four-qubit nuclear spin quantum system. Compared to existing methods, our approach offers enhanced noise robustness, broader detection universality, and improved construction efficiency, providing a powerful and versatile tool for advancing the characterization and understanding of entanglement in quantum systems.
Abstract Entanglement witnesses (EWs) are a versatile tool to detect entangled states and characterize related properties of entanglement in quantum information theory. The verification of entangled states via EWs relies on the fact that separable states form a convex set; this also means that the framework presented by EWs generally applies to other quantum resources where free resources contain the convexity. A witness W corresponds to an observable satisfying Tr [ W σ sep ] ⩾ 0 for all separable states σ sep ; entangled states are detected once the inequality is violated. Recently, mirrored EWs have been introduced by showing that there exist non-trivial upper bounds to EWs, u W ⩾ Tr [ W σ sep ] ⩾ 0. An upper bound to a witness W signifies the existence of the other one M , called a mirrored EW, such that W + M = u W I ⊗ I . The framework of mirrored EWs shows that a single EW can be even more useful, as it can detect a larger set of entangled states by lower and upper bounds. In this work, we develop and investigate mirrored EWs for multipartite qubit states and also for high-dimensional systems, to find the efficiency and effectiveness of mirrored EWs in detecting entangled states. We provide mirrored EWs for n -partite GHZ states, graph states such as two-colorable states and tripartite bound entangled states. We also show that optimal EWs can be reflected with each other. For bipartite systems, we present mirrored EWs for existing optimal EWs and also construct a mirrored pair of optimal EWs in dimension three. Finally, we generalize mirrored EWs such that a pair of EWs can be connected by another EW, i.e. W + M = K is also an EW. Our results enhance the capability of EWs to detect a larger set of entangled states in multipartite and high-dimensional quantum systems.
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.