{"id":"arxiv/2609.27992","url":"https://arxiv.org/abs/2609.27992","tags":["quant-ph","math-ph"],"score":0,"title":"A Proof of Shor's Orthogonal-Measurement Conjecture and the Structure of Information-Optimal Quantum Measurements","domain":"quant-ph","source":"arxiv","authors":["Jinbo Wang","Qihang Wang","Kun Chen"],"reviews":0,"subject":"quant-ph","summary":"Which quantum measurement extracts the most classical information from an ensemble? We introduce the posterior algebra, a new canonical operator algebra selected by mutual information. For faithful ensembles, an affine information bound is exact precisely when this algebra is commutative; its joint spectral measurement is then optimal, and every optimal finite POVM refines it. Binary ensembles have one generator; compactness covers singular states, giving a proof of Shor's finite-dimensional binary orthogonal-measurement conjecture. The framework also gives rigidity bounds and a certified…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-09-23","reactions":{}}