Simple proof of conditions requiring maximal entanglement for local state verification and discrimination
Abstract
For deterministic state verification by separable measurements, the Schmidt rank of an entangled resource must be at least that of the state being verified [N. Yu, R. Duan, and M. Ying, IEEE Trans. Inf. Theory 60, 2069 (2014)], and if the two are equal, the resource must be maximally entangled [S. Akibue, J. Miyazaki, and H. Osaka, Lett. Math. Phys. 116, 110 (2026)]. The latter was derived from a general theorem proved using algebraic geometry. In this paper, we give a simple, self-contained proof of both statements using only linear algebra. We then use these results to show that among pure entangled resources of local dimension at most d, a maximally entangled state of ℂd⊗ℂd is necessary and sufficient for perfect local discrimination of a generic orthogonal basis of ℂd⊗ℂd, however weakly entangled. The same holds for local implementation of a generic orthogonal measurement.
Related
- Entanglement inference from quantum erasure and path discrimination
- Entanglement in quantum channel discrimination: sometimes less is more
- Maximal Orbital Entanglement from Non-Interacting Fermions
- Breaking the Bounded Entanglement Barrier for Quantum Position Verification
- Generalised Bit-Vector Abstractions for Formal Verification of Quantum Error-Detection and Entanglement Circuits over {H,X,C-NOT}: CSS Constructions, Soundness, and Mutation-Based Validation
BibTeX
@misc{bandyopadhyay2026simple,
title = {{Simple proof of conditions requiring maximal entanglement for local state verification and discrimination}},
author = {Somshubhro Bandyopadhyay},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.05317},
eprint = {2611.05317},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.05317},
}
RIS
TY - UNPB
TI - Simple proof of conditions requiring maximal entanglement for local state verification and discrimination
AU - Somshubhro Bandyopadhyay
PY - 2026
DA - 2026/11/03
PB - arXiv
DO - 10.48550/arxiv.2611.05317
UR - https://arxiv.org/abs/2611.05317
AB - For deterministic state verification by separable measurements, the Schmidt rank of an entangled resource must be at least that of the state being verified [N. Yu, R. Duan, and M. Ying, IEEE Trans. Inf. Theory 60, 2069 (2014)], and if the two are equal, the resource must be maximally entangled [S. Akibue, J. Miyazaki, and H. Osaka, Lett. Math. Phys. 116, 110 (2026)]. The latter was derived from a general theorem proved using algebraic geometry. In this paper, we give a simple, self-contained proof of both statements using only linear algebra. We then use these results to show that among pure entangled resources of local dimension at most d, a maximally entangled state of ℂ^d⊗ℂ^d is necessary and sufficient for perfect local discrimination of a generic orthogonal basis of ℂ^d⊗ℂ^d, however weakly entangled. The same holds for local implementation of a generic orthogonal measurement.
ER -