Distinguishability of locally diagonal orthogonally invariant quantum states
Nathaniel Johnston, Vincent Russo
Abstract
We study the distinguishability of quantum states under local operations with classical communication (LOCC), separable, and positive-partial-transpose (PPT) measurements, focusing on locally diagonal orthogonally invariant (LDOI) states -- those invariant under local diagonal orthogonal twirling. This class includes many important families such as Werner states, isotropic states, X-states, and Dicke states. We show that optimal PPT and separable measurements for distinguishing LDOI states can always be taken to be LDOI, and the LOCC supremum can be approached by LDOI LOCC POVMs, enabling a dimensional reduction from to in the associated optimization problems. We establish efficiently computable bounds on the distinguishability of orthonormal LDOI bases and prove that for a broad class of such bases -- including all two-qubit cases -- the LOCC supremum equals the PPT and separable optima. More generally, we show the gap between PPT and LOCC distinguishability is at most for local dimension .
AI Impact Assessments
(3 models)Scientific Impact Assessment
Core Contribution
This paper addresses the quantum state distinguishability problem for locally diagonal orthogonally invariant (LDOI) states — a class invariant under local diagonal orthogonal twirling. The central contributions are threefold:
1. Structural reduction theorem (Theorem 9): Optimal PPT and separable measurements for distinguishing LDOI states can always be taken to be LDOI, and the LOCC supremum can be approached by LDOI POVMs. This reduces the optimization dimensionality from to .
2. Explicit distinguishability bounds (Theorem 10): For uniform ensembles over orthonormal LDOI bases, the authors provide a polynomial-time computable LOCC lower bound (via the Hungarian algorithm) and a PPT upper bound (via a reduced SDP).
3. Gap characterization (Corollary 16): The gap between PPT and LOCC distinguishability is bounded by , vanishing asymptotically and maximized at for .
Methodological Rigor
The paper is mathematically rigorous throughout. The proofs leverage well-established techniques — twirling arguments, SDP duality, Schur complements, and Frobenius norm estimates — applied in a coherent and careful manner.
Theorem 9 follows cleanly from the self-adjointness of the LDOT map and standard twirling/shared-randomness arguments for LOCC. The proof is short but the insight is valuable: identifying that the LDOI class is the right level of generality at which this reduction works.
Theorem 10 is the technical heart. The lower bound construction (Equation 31) uses explicit product measurement operators, reducing to an assignment problem. The upper bound uses a diagonal ansatz for the dual SDP variable, which is elegantly shown to be feasible under specific conditions on . The redundancy of the bottom-right constraint in (37) is a nice technical observation. The gap analysis in Corollary 16 involves a careful Frobenius norm partitioning argument.
The paper is honest about limitations: Example 18 demonstrates the diagonal ansatz is not always tight, and Example 17 leaves open whether the LOCC lower bound is tight for the Fourier basis. The authors do not overclaim.
One methodological concern is that the LOCC lower bound relies on a single-round product measurement strategy, which may not capture the full power of multi-round LOCC. The gap between these bounds could potentially be closed with more sophisticated LOCC protocols, but this remains unresolved.
Potential Impact
Computational impact: The dimensional reduction from to is practically significant. For , going from 10,000 to 280 variables makes SDPs feasible that were previously intractable. This is directly useful for researchers computing distinguishability bounds numerically.
Theoretical impact: The result that for all two-qubit LDOI bases (Corollary 12) is a clean generalization of previous results on parameterized Bell states. The vanishing gap result suggests that for high-dimensional LDOI states, the measurement hierarchy essentially collapses, which is a conceptually important observation.
Breadth of applicability: LDOI states encompass Werner states, isotropic states, X-states, and Dicke state mixtures — all workhorses of quantum information theory. Results applying uniformly to this class have natural downstream applications in entanglement detection, quantum communication protocols, and resource theories.
Software contribution: The companion implementation in the toqito package enhances reproducibility and practical utility.
Timeliness & Relevance
Quantum state distinguishability under restricted measurements remains an active research area with connections to quantum communication, quantum networks, and entanglement theory. The paper addresses a genuine computational bottleneck — the intractability of optimizing over LOCC and the high dimensionality of PPT SDPs — for a practically relevant class of states. The emphasis on computable bounds is timely given the increasing interest in certifiable quantum information processing.
Strengths
Limitations
Overall Assessment
This is a solid, well-executed paper that makes a meaningful contribution to quantum state distinguishability theory. The identification of LDOI as the right symmetry class for tractable analysis, combined with the explicit and often tight bounds, represents genuine progress. The results are not revolutionary but provide useful tools and insights for a broad class of practically important quantum states. The work is likely to be cited by researchers working on local distinguishability, entanglement theory, and quantum communication.
Generated Apr 15, 2026
Comparison History (39)
Paper 1 has higher likely impact due to strong timeliness and direct applicability: it addresses a key practical bottleneck in MDI-QKD (polarization drift) with a “hardware-free” post-processing protocol, potentially reducing calibration overhead and improving deployability of quantum networks. The approach is novel in translating asymmetric polarization rotations into an isotropic depolarizing model via correlated twirling, with quantified performance gains. Paper 2 is methodologically rigorous and broadly relevant to quantum information theory, but its impact is more incremental/technical (optimization reductions and bounds) and less immediately enabling for real-world systems.
Paper 1 offers a highly practical computational breakthrough for simulating complex quantum systems like Bose-Hubbard models. By reducing computational complexity and enabling the use of much larger basis states, it directly addresses a major bottleneck in many-body quantum physics and condensed matter simulations, likely leading to broader immediate application and higher scientific impact than the theoretical bounds presented in Paper 2.
Paper 2 likely has higher scientific impact due to its clear experimental advance with direct relevance to quantum communication and scalable solid-state entangled-photon sources. It addresses a practical, timely bottleneck (entanglement loss from time-dependent phases plus detector limitations) with a broadly applicable photonic-domain compensation protocol that can translate across emitter platforms and integrated photonics. The demonstrated restoration of entanglement without post-selection strengthens real-world deployability. Paper 1 is mathematically rigorous and novel for LOCC/PPT distinguishability in an important symmetric state class, but its impact is more specialized and primarily theoretical.
Paper 2 likely has higher impact due to broader applicability and timeliness: it advances LOCC/PPT/separable distinguishability for a large, widely used class of states (including Werner/isotropic/X/Dicke), provides symmetry-restricted optimality results, and delivers major computational simplification (n^4 to O(n^2)) plus quantitative bounds and near-tight LOCC–PPT gaps. These results can influence quantum information theory, entanglement/communication complexity, and practical protocol design. Paper 1 is novel and rigorous but is more specialized (robust control for specific qubit models) with narrower cross-field reach.
Paper 1 demonstrates a novel experimental capability — generating and selectively absorbing microwave photons in orthogonal temporal modes across a 30-meter cryogenic network. This opens a new photonic degree of freedom for quantum networking with direct applications in quantum communication and distributed quantum computing. The experimental nature, practical relevance to quantum network architectures, and demonstration of a previously unexplored capability give it broader impact. Paper 2 provides elegant mathematical results on state distinguishability but addresses a more specialized theoretical question with narrower immediate applications.
Paper 1 reveals a highly counter-intuitive phenomenon where stochastic noise enhances self-healing in non-Hermitian systems. This paradigm-shifting result has broad physical implications across photonics, acoustics, and quantum systems, offering practical design principles for robust devices in real-world noisy environments. While Paper 2 presents valuable mathematical optimizations for quantum state distinguishability, Paper 1's conceptual novelty and cross-disciplinary applicability suggest a broader and more transformative scientific impact.
Paper 1 addresses quantum information scrambling and phase transitions in random quantum circuits, a highly active and interdisciplinary area bridging quantum computing, condensed matter, and statistical mechanics. The discovery of a phase transition related to boundary dissipation offers broader implications for understanding decoherence and memory in near-term quantum devices. Paper 2 provides valuable, rigorous mathematical results for quantum state distinguishability, but its impact is likely more confined to the specialized subfield of foundational quantum information theory.
Paper 1 addresses a major physical bottleneck in solid-state quantum applications (spin coherence limited by nuclear magnetic moments) by experimentally demonstrating a zero-nuclear-spin host material (CeO2). Its findings on dopant-host interactions offer direct, practical pathways for developing better quantum emitters and memories. While Paper 2 provides mathematically rigorous and useful bounds for quantum state distinguishability, Paper 1 has broader cross-disciplinary impact spanning materials science, condensed matter physics, and applied quantum technologies, leading to more immediate real-world advancements.
Paper 1 presents novel, original mathematical research providing significant optimization improvements (dimensional reduction) and concrete bounds for quantum state distinguishability. In contrast, Paper 2 is an introductory review chapter summarizing an existing paradigmatic model. Therefore, Paper 1 offers greater methodological innovation and pushes the fundamental boundaries of quantum information theory.
Paper 2 likely has higher scientific impact due to its broadly applicable, rigorous theoretical results: symmetry-based reduction of LOCC/PPT/separable distinguishability optimizations from n^4 to O(n^2), efficiently computable bounds, and tight relations (often equality) between LOCC and PPT/separable performance across a large class containing many widely used state families (Werner, isotropic, X-, Dicke). This advances core quantum information theory with immediate reuse in entanglement/communication/measurement complexity studies. Paper 1 is innovative and timely for photonic quantum optimization, but appears more speculative/implementation-dependent and narrower in guaranteed cross-field uptake.
Paper 2 addresses an urgent, highly timely problem (quantum threats to financial cryptography) with a concrete, real-world deployment across international testbeds. Its integration of QKD, PQC, and classical cryptography demonstrates high practical applicability, broad impact across cybersecurity and finance, and significant systems innovation, outpacing the narrower theoretical focus of Paper 1.
Paper 2 offers a significant dimensional reduction (from n^4 to O(n^2)) for optimizing quantum state distinguishability under LOCC, providing highly practical tools for quantum information theory and quantum computing. While Paper 1 provides a valuable analytical derivation for quantum chaos, Paper 2's algorithmic simplification and explicit bounds are likely to have a broader and more immediate impact across quantum communication, cryptography, and resource theory.
Paper 2 likely has higher impact due to clearer operational advantages and broader applicability: it links the resource theory of imaginarity to concrete protocol improvements (entanglement of assistance/swapping) and demonstrates sizeable, quantifiable gains in quantum network percolation (lower thresholds and entanglement requirements). It also claims to address an identified open problem, boosting novelty and timeliness. Paper 1 is methodologically rigorous and broadly relevant within state discrimination/LOCC–PPT theory, but its contributions are more incremental/technical (symmetry-based reductions and bounds) with less immediate real-world leverage.
Paper 2 presents novel, rigorous theoretical results advancing quantum information theory by establishing efficiently computable bounds and dimensional reductions for distinguishing quantum states. While Paper 1 is a pedagogical overview that may garner many citations, Paper 2 offers original mathematical solutions to specific optimization problems with direct implications for quantum communication and cryptography, yielding a higher potential for direct scientific advancement.
Paper 2 proposes a highly practical and timely Electronic Design Automation (EDA) tool for optimizing fault-tolerant quantum computing (FTQC) operations using surface codes. Given the current global push towards scalable FTQC, tools that reduce space-time costs and verify fault tolerance have significant real-world applications and broad impact across quantum architecture and software. Paper 1, while methodologically rigorous, addresses a more niche theoretical problem in quantum state distinguishability, which limits its broader scientific and practical impact compared to the architectural advancements in Paper 2.
Paper 1 provides fundamental structural results about quantum state distinguishability for a broad and important class of states, achieving significant dimensional reduction in optimization problems and establishing tight bounds with general applicability. Its mathematical rigor, generality (encompassing Werner, isotropic, X-states, Dicke states), and resolution of LOCC vs PPT gaps represent lasting theoretical contributions. Paper 2 offers incremental improvements to quantum illumination modeling with a specific sequential interaction model, but its contributions are more narrow and confirmatory rather than foundational.
Paper 1 is a foundational review on Many-Body Localization, a major paradigm shift in condensed matter physics and statistical mechanics. Review papers on such broad, highly active topics that connect to quantum computing naturally attract massive citation counts and cross-disciplinary interest. Paper 2, while methodologically rigorous, is a highly specialized theoretical contribution to quantum information theory with a much narrower audience and limited broader impact.
Paper 2 likely has higher impact: it connects widely used spectroscopy/optics approximations (DDA/CPA/CES) to an explicit quantum many-body limit, provides a systematic 1/N correction scheme, and links molecular aggregates to polariton/LMG-model techniques—bridging quantum optics, chemical physics, and materials. The real-world relevance to interpreting optical spectra and identifying quantum features in practical emitter arrays broadens applicability. Paper 1 is rigorous and novel within quantum information/LOCC distinguishability and yields useful dimensional reductions, but its applications are more specialized and the cross-field reach is narrower.
Paper 1 likely has higher impact: it introduces a broadly applicable symmetry-reduction framework for LOCC/separable/PPT distinguishability over a large, important class of bipartite states (including Werner/isotropic/X/Dicke), yielding substantial computational dimensional reduction and near-tight relations between PPT and LOCC performance with explicit bounds. This is methodologically rigorous (optimization/structural results) and relevant across quantum information tasks (state discrimination, entanglement theory, complexity). Paper 2 is timely in relativistic quantum information but appears more niche and primarily phenomenological (parameter-dependent oscillations) with narrower cross-field applicability.
Paper 2 addresses fundamental problems in quantum information theory, a rapidly growing field with significant implications for quantum computing and communication. The mathematical reductions (from n^4 to O(n^2)) and generalized bounds for state distinguishability offer broader applicability and higher potential for technological impact compared to the specific, albeit rigorous, few-body scattering calculations presented in Paper 1.