Mirrored Entanglement Witnesses for Multipartite and High-Dimensional Quantum Systems

TL;DR

The paper advances the theory and application of mirrored entanglement witnesses (EWs) by extending the framework to multipartite and high-dimensional quantum systems. It formalizes the mirroring relation W + M = μ I⊗I, analyzes separability windows, and links SPA/mSPA with mirrored EWs, providing a versatile, measurement-friendly viewpoint via POVM clouds. Key results include explicit mirrored pairs for n-partite GHZ and graph states, a pair of mirrored optimal EWs for three-qubit PPT states, and a broader generalization to EWs connected by an auxiliary operator K. The findings demonstrate that mirrored EWs can detect larger families of entangled states while preserving local-unitary equivalence, offering practical resilience to local-basis rotations and potential use in quantum communication. The work also identifies open questions about higher-dimensional optimal mirrors, generalized mirroring via non-identity references, and connections to mutually unbiased bases and nonlinear EW extensions.

Abstract

Entanglement witnesses (EWs) are a versatile tool to detect entangled states and characterize related properties of entanglement in quantum information theory. A witness $W$ corresponds to an observable satisfying $\mathrm{tr}[Wσ_{\mathrm{sep}}]\geq 0$ for all separable states $σ_{\mathrm{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, \begin{eqnarray} u_W\geq \mathrm{tr}[Wσ_{\mathrm{sep}}]\geq 0. \nonumber \end{eqnarray} 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 \otimes 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.

Figures (10)

• Figure 1: Mirrored EWs for two-qubit states from Examples 1 and 2 are depicted. (Blue) A pair of non-optimal EWs $W_1$ and $M_2$ are mirrored with each other, see Eqs. (\ref{['eq:w2']}) and (\ref{['eq:m2']}) in Example 1. They detect distinct sets of entangled states. (Red) A mirrored operator to an optimal EW is not an EW, see Eqs. (\ref{['eq:wopt2']}) and (\ref{['eq:mopt2']}) in Example 2. In both cases, the separability window is denoted by $\Delta = [0,1/2]$.
• Figure 2: A witness $W$ is optimized by subtracting a positive operator, and thus $W^{'}$ is finer than $W$. The consequence is that its mirror detects a smaller set of entangled states, $M$ is finer than $M^{'}$, while the separability window is kept constant.
• Figure 3: Examples of two-colorable graph states are shown: (a) a one-dimensional cluster state and (b) a two-dimensional cluster state (c) a GHZ state.
• Figure 4: Separability windows of mirrored EWs are compared, see Eq. (\ref{['eq:delh']}). An optimal EW having its mirror as a positive operator has the smallest separability window (red). Two-measurement (green) and alternative (blue) EWs, which are not optimal, have larger separability windows, $\Delta_{2m}<\Delta_a$. Note that a mirrored pair of EWs can be constructed for alternative EWs. Two alternative EWs in a mirrored pair are equivalent up to local unitaries.
• Figure 5: Negative expectation values show the robustness of EWs against noise on quantum systems, see the comparisons in Eqs. (\ref{['eq:noc']}), (\ref{['eq:noa']}), and (\ref{['eq:no2m']}).

Theorems & Definitions (9)

• Proposition 1
• proof
• Proposition 2
• proof
• Theorem 1
• Proposition 3
• proof
• Proposition 1
• Proposition 2