Simultaneous Detection of High-Dimensional Entanglement for Two Unknown Quantum States

1. Problem Statement

The detection and quantification of quantum entanglement, particularly in high-dimensional systems, are critical for quantum information processing. However, existing methods face significant limitations:

• Scalability: Full quantum state tomography requires an exponential number of measurements, making it impractical for large systems.
• Limitations of Existing Criteria:
  • Fidelity-based Criteria (FBC): While popular, they fail to detect "unfaithful" states (entangled states that do not yield high fidelity with a target maximally entangled state).
  • Purity Criterion (PC): Useful but often less powerful than fidelity-based methods.
  • Reduction Criterion (RC): Theoretically powerful for detecting the Schmidt number (a measure of high-dimensional entanglement), but lacks a known physically feasible experimental implementation.
  • Moment-based Criteria (e.g., $p_3$-PPT): Effective in some cases but not universally superior.
• Single-State Focus: Most methods analyze a single unknown state against a known reference or witness, rather than comparing two unknown states simultaneously.

The authors aim to develop an experimentally feasible method that can simultaneously detect and quantify the Schmidt number of two unknown quantum states using efficiently measurable quantities.

2. Methodology

The core methodology relies on the State Overlap (Hilbert-Schmidt inner product) and its relationship between global and local systems.

Key Definitions

• State Overlap: Defined as $\langle \rho, \sigma \rangle = \text{Tr}[\rho \sigma]$.
• Local Overlap: The overlap of reduced density matrices, e.g., $\langle \rho_A, \sigma_A \rangle = \text{Tr}[\rho_A \sigma_A]$.
• Global-to-Local Ratio ($S$): The authors define a ratio $S_X(\rho, \sigma) = \frac{\langle \rho, \sigma \rangle}{\langle \rho_X, \sigma_X \rangle}$ for subsystems $X \in \{A, B\}$. The final metric is $S(\rho, \sigma) = \max\{S_A, S_B\}$.

Theoretical Framework: The Inner Product Criterion (IPC)

The authors derive Theorem 1 (Inner Product Criterion for Schmidt Number):
For a bipartite state $\rho$ with Schmidt number $SN(\rho) \leq r$, and any state $\sigma$, the following inequality holds:
$$\langle \rho, \sigma \rangle \leq \min \{ r \langle \rho_A, \sigma_A \rangle, r \langle \rho_B, \sigma_B \rangle \}$$
Conversely, if this inequality is violated, both $\rho$ and $\sigma$ must have a Schmidt number of at least $r+1$. This leads to a lower bound estimator:
$$SN(\rho) \geq \lceil S(\rho, \sigma) \rceil$$

Experimental Feasibility

The authors demonstrate that the required overlaps ($\text{Tr}[\rho \sigma]$ and $\text{Tr}[\rho_X \sigma_X]$) can be efficiently measured without full tomography using:

1. Local Randomized Measurements: Utilizing unitary 2-designs and statistical correlations of measurement outcomes.
2. Swap Test: A quantum circuit approach involving Hadamard and controlled-swap gates.

3. Key Contributions

1. Simultaneous Detection: Unlike conventional methods that test one state against a fixed witness, the IPC allows for the simultaneous determination of the Schmidt numbers for two distinct unknown states ($\rho$ and $\sigma$) using the same dataset.
2. Equivalence to Reduction Criterion: The authors prove that the IPC is mathematically equivalent to the well-known $r$-reduction criterion (r-RC) in terms of detection power. However, unlike the r-RC, the IPC has a direct, feasible experimental implementation via randomized measurements.
3. Superiority over Fidelity-Based Criteria: The paper identifies a class of states called $(r+1)$-unfaithful states that are undetectable by the $r$-fidelity-based criterion (r-FBC) but are successfully detected by the IPC.
4. Quantitative Estimation: The method provides a quantitative lower bound for the Schmidt number, not just a binary "entangled/separable" verdict.
5. Extension to Multipartite Systems: The framework is generalized to detect genuine multipartite entanglement by considering all possible bipartitions of the system.

4. Results

The authors validate their method through theoretical proofs and numerical examples:

• Isotropic States: Applied to isotropic states $\rho_{Iso}(x)$, the IPC successfully detects the Schmidt number for a broader range of parameters than the purity criterion.
• Beating Unfaithful States:
  • Example 2 & 3: The authors construct specific states (variants of isotropic states and mixtures of GHZ-like states) that are $(r+1)$-unfaithful (fail r-FBC) but are detected by the IPC.
  • Spectral Bound: A proposition is derived showing that if the largest eigenvalue $\lambda(\rho) \leq \max(r/d_A, r/d_B)$, the r-FBC fails. The IPC, however, can still detect entanglement in these regions.
• Comparison with Other Criteria:
  • vs. Purity Criterion (PC): IPC is strictly stronger ($E_{PC} \subset E_{IPC}$).
  • vs. Fidelity Criterion (FBC): IPC is strictly stronger ($E_{FBC} \subset E_{IPC}$).
  • vs. $p_3$-PPT: In specific parameter regimes (e.g., low $x$ in isotropic states), the IPC detects entanglement where the $p_3$-PPT criterion fails (where $p_2^2 < p_3$).
• Robustness: For pure states, the method is robust to noise because the ratio $S(\rho, \hat{\rho})$ yields an integer (the Schmidt number itself) when $\hat{\rho}$ is chosen optimally.

5. Significance

• Experimental Advancement: This work bridges the gap between the theoretically powerful but experimentally elusive Reduction Criterion and practical laboratory settings. It offers a protocol that is "ready-to-use" with current randomized measurement technologies.
• High-Dimensional Entanglement: As quantum technologies move toward higher dimensions (qudits) for increased information capacity and security, the ability to efficiently quantify the Schmidt number is vital. This method provides a scalable tool for this purpose.
• New Paradigm for Verification: The ability to verify two unknown states simultaneously suggests new protocols for cross-platform verification of quantum simulators and computers, where comparing two independently prepared states is more practical than comparing against a theoretical ideal.
• Theoretical Insight: The work clarifies the relationship between state overlaps, local purities, and the Schmidt number, revealing that the difference between global and local Renyi entropies directly characterizes the Schmidt number.

In conclusion, the paper presents a robust, experimentally feasible, and theoretically superior method for detecting high-dimensional entanglement, overcoming the limitations of fidelity-based and purity-based approaches while offering a unique capability for simultaneous state analysis.