Localization of joint quantum measurements on mathbb{C}^d otimes mathbb{C}^d by entangled resources with Schmidt number at most d
Pith reviewed 2026-05-16 17:46 UTC · model grok-4.3
The pith
A rank-1 joint measurement on two d-dimensional systems can be localized with entanglement of Schmidt number at most d if and only if its elements form a maximally entangled basis from a nice unitary error basis.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
A rank-1 PVM on C^d ⊗ C^d that contains at least one element of maximal Schmidt rank is localizable by entanglement of Schmidt number at most d if and only if the PVM forms a maximally entangled basis corresponding to a nice unitary error basis.
What carries the argument
The nice unitary error basis, whose associated maximally entangled states satisfy the algebraic commutation and orthogonality conditions required for non-adaptive local implementation.
If this is right
- Every localizable rank-1 PVM of this type must consist entirely of maximally entangled states.
- The set of states must arise from a unitary error basis that satisfies the additional niceness condition.
- All two-qubit rank-1 PVMs localizable with two-qubit entanglement are completely classified by this correspondence.
- The same algebraic obstruction applies to ideal measurements on two qudits of any dimension.
Where Pith is reading between the lines
- Non-adaptive locality therefore forbids many joint measurements that adaptive protocols can still realize.
- Explicit constructions of nice unitary error bases would immediately yield families of new localizable measurements.
- The same obstruction may appear in other resource theories where the number of local parties or the adaptivity is restricted.
Load-bearing premise
The measurement must be a rank-1 projection-valued measure that includes at least one projector of maximal Schmidt rank.
What would settle it
A concrete rank-1 PVM on C^d ⊗ C^d that contains a maximal-Schmidt-rank element, is localizable with Schmidt number at most d, yet whose states do not arise from any nice unitary error basis.
Figures
read the original abstract
Localizable measurements are joint quantum measurements that can be implemented using only non-adaptive local operations and shared entanglement. We provide a protocol-independent characterization of localizable projection-valued measures (PVMs) by exploiting algebraic structures that any such measurement must satisfy. We first show that a rank-1 PVM on $\mathbb{C}^d\otimes\mathbb{C}^d$ containing an element with the maximal Schmidt rank can be localized using entanglement of a Schmidt number at most $d$ if and only if it forms a maximally entangled basis corresponding to a nice unitary error basis. This reveals strong limitations imposed by non-adaptive local operations, in contrast to the adaptive setting where any joint measurement is implementable. We then completely characterize two-qubit rank-1 PVMs that can be localized with two-qubit entanglement, resolving a conjecture of Gisin and Del Santo, and finally extend our characterization to ideal two-qudit measurements, strengthening earlier results.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to provide a protocol-independent characterization of localizable projection-valued measures (PVMs) on C^d ⊗ C^d. It shows that a rank-1 PVM containing an element with the maximal Schmidt rank can be localized using entanglement of Schmidt number at most d if and only if it forms a maximally entangled basis corresponding to a nice unitary error basis. Additionally, it completely characterizes two-qubit rank-1 PVMs localizable with two-qubit entanglement, resolving a conjecture by Gisin and Del Santo, and extends the characterization to ideal two-qudit measurements.
Significance. If the algebraic derivations hold, this work is significant for revealing strong limitations of non-adaptive local operations on joint quantum measurements, in contrast to adaptive settings. The protocol-independent iff characterization via nice unitary error bases is a clear strength, as is the resolution of the Gisin-Del Santo conjecture for two qubits and the strengthening of earlier two-qudit results. These provide concrete, falsifiable conditions on when limited entanglement suffices for localization.
minor comments (2)
- [Abstract] Abstract: the term 'nice unitary error basis' appears without a brief definition or forward reference; adding one would aid readers new to the concept.
- The restriction to rank-1 PVMs with at least one maximal-Schmidt-rank element is explicitly stated but could be reiterated in the statement of the main theorem to prevent misreading as a fully general result.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript, accurate summary of the main results, and recommendation for minor revision. The referee correctly identifies the protocol-independent characterization via nice unitary error bases, the resolution of the Gisin-Del Santo conjecture for two qubits, and the strengthening of prior two-qudit results as key contributions.
Circularity Check
No significant circularity detected in the algebraic characterization
full rationale
The paper derives an if-and-only-if characterization of localizable rank-1 PVMs on C^d ⊗ C^d (those containing a maximal-Schmidt-rank element) directly from algebraic properties that any such measurement must satisfy, specifically that it must form a maximally entangled basis corresponding to a nice unitary error basis. This is a self-contained mathematical argument resting on the definitions of PVMs, Schmidt rank, and unitary error bases; no equation reduces to a fitted parameter, no prediction is constructed from its own inputs, and no load-bearing step relies on a self-citation chain whose validity is presupposed by the present work. The two-qubit and two-qudit extensions are likewise presented as independent complete characterizations resolving external conjectures, with all restrictions (rank-1, presence of maximal-Schmidt element) explicitly declared rather than smuggled in. The derivation therefore remains non-circular.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard properties of rank-1 projection-valued measures on tensor-product spaces
- domain assumption Existence and algebraic closure properties of nice unitary error bases
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
a rank-1 PVM on C^d ⊗ C^d containing an element with the maximal Schmidt rank can be localized using entanglement of a Schmidt number at most d if and only if it forms a maximally entangled basis corresponding to a nice unitary error basis
-
IndisputableMonolith/Foundation/ArithmeticFromLogic.leanLogicNat recovery / Peano structure unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1: {U†j Ui} is a nice error basis for any j (Latin-square property)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
and partially entangled bases, such as { |00⟩, |11⟩, |01⟩ + |10⟩ √ 2 , |01⟩ − |10⟩√ 2 } (named “pBSM” in [14]). Among iso-entangled bases, the higher-dimensional generalization [27] of the elegant joint measurement [28] has the maximal Schmidt rank but is not maximally entangled for any dimension. Merely being a maximally entangled basis is not enough to ...
-
[2]
as a conjecture. Pauwels et al. [14] showed that the theorem holds when one relies on the blind-teleportation protocol, where the BB84 is called π 2 -twisted basis mea- surement. Consequently, the ‘if’ direction can be shown using their protocol. In contrast, the ‘only if’ direction requires a separate proof, since the theorem permits ar- bitrary localiza...
-
[3]
corresponds to the case d = 2 and where all W s are identity isomorphisms. The localization protocol for the basis (22) is divided into three steps. Refer to Fig. 2 for clarification. The reference system has d2 × d2 dimension, and the resource state is the same as Eq. (21). First, Alice and Bob per- form the “which subspace” ideal measurement on their loc...
-
[4]
N. Gisin and F. Del Santo, Towards a measurement the- ory in QFT: ”Impossible” quantum measurements are possible but not ideal, Quantum 8, 1267 (2024)
work page 2024
-
[5]
Y. Aharonov and D. Z. Albert, States and ob- servables in relativistic quantum field theories, Phys. Rev. D 21, 3316 (1980)
work page 1980
-
[6]
Y. Aharonov and D. Z. Albert, Can we make sense out of the measurement process in relativistic quantum me- chanics?, Phys. Rev. D 24, 359 (1981)
work page 1981
-
[7]
Y. Aharonov, D. Z. Albert, and L. Vaidman, Measurement process in relativistic quantum theory, Phys. Rev. D 34, 1805 (1986)
work page 1986
-
[8]
S. Popescu and L. Vaidman, Causality con- straints on nonlocal quantum measurements, Phys. Rev. A 49, 4331 (1994)
work page 1994
-
[9]
D. Beckman, D. Gottesman, A. Kitaev, and J. Preskill, Measurability of wilson loop operators, Phys. Rev. D 65, 065022 (2002)
work page 2002
-
[10]
R. Sorkin, Impossible measurements on quantum fields, in Directions in General Relativity: Proceedings of the 1993 International Symposium, Maryland , Vol. 2, edited by B. L. Hu and T. A. Jacobson (Cambridge University Press, 1993) pp. 293–305
work page 1993
-
[11]
D. Fraser and M. Papageorgiou, Note on episodes in the history of modeling measurements in local spacetime re- gions using qft, Eur. Phys. J. H 48, 14 (2023)
work page 2023
-
[12]
D. Beckman, D. Gottesman, M. A. Nielsen, and J. Preskill, Causal and localizable quantum operations, Phys. Rev. A 64, 052309 (2001)
work page 2001
-
[13]
Vaidman, Instantaneous measurement of nonlocal variables, Phys
L. Vaidman, Instantaneous measurement of nonlocal variables, Phys. Rev. Lett. 90, 010402 (2003)
work page 2003
-
[14]
B. Groisman, B. Reznik, and L. Vaidman, In- stantaneous measurements of nonlocal variables, J. Mod. Opt. 50, 943 (2003)
work page 2003
-
[15]
S. R. Clark, A. J. Connor, D. Jaksch, and S. Popescu, En- tanglement consumption of instantaneous nonlocal quan- tum measurements, New J. Phys. 12, 083034 (2010)
work page 2010
-
[16]
S. Beigi and R. K¨ onig, Simplified instantaneous non-local quantum computation with applications to position- based cryptography, New J. Phys. 13, 093036 (2011)
work page 2011
-
[17]
J. Pauwels, A. Pozas-Kerstjens, F. Del Santo, and N. Gisin, Classification of joint quantum measure- ments based on entanglement cost of localization, Phys. Rev. X 15, 021013 (2025)
work page 2025
-
[18]
J. Pauwels, A. Pozas-Kerstjens, F. Del Santo, and N. Gisin, Classification of joint quantum measurements based on entan glement cost of localization (2024), arXiv preprint, arXiv:2408.00831 [quant-ph]
-
[19]
Knill, Non-binary unitary error bases and quantum codes (1996)
E. Knill, Non-binary unitary error bases and quantum codes (1996)
work page 1996
-
[20]
A. Klappenecker and M. R¨ otteler, Unitary error bases: Constructions, equivalence, and applications, in Ap- plied Algebra, Algebraic Algorithms and Error-Correcting Codes, edited by M. Fossorier, T. Høholdt, and A. Poli (Springer Berlin Heidelberg, Berlin, Heidelberg, 2003) pp. 139–149
work page 2003
-
[21]
A. Klappenecker and M. Rotteler, On the monomiality of nice error bases, IEEE Trans. Inf. Theory 51, 1084 (2005)
work page 2005
- [22]
-
[23]
B. M. Terhal and P. Horodecki, Schmidt number for den- sity matrices, Phys. Rev. A 61, 040301 (2000)
work page 2000
- [24]
-
[25]
B. Groisman and L. Vaidman, Nonlo- cal variables with product-state eigenstates, J. Phys. A: Math. Gen. 34, 6881 (2001)
work page 2001
-
[26]
G. Chiribella, G. M. D’Ariano, and P. Perinotti, Theoretical framework for quantum networks, Phys. Rev. A 80, 022339 (2009)
work page 2009
-
[27]
E. Chitambar, D. W. Leung, L. Manˇ cinska, M. Ozols, and A. Winter, Everything You Always Wanted to Know About LOCC (But Were Afraid to Ask), Communications in Mathematical Physics 328, 303 (2014)
work page 2014
-
[28]
B. Musto and J. Vicary, Quantum latin squares and uni- tary error bases, Quantum Inf. Comput. 16, 1318 (2016)
work page 2016
-
[29]
F. Del Santo, J. Czartowski, K. ˙Zyczkowski, and N. Gisin, Iso-entangled bases and joint measurements, Phys. Rev. Res. 6, 023085 (2024)
work page 2024
-
[30]
J. Czartowski and K. ˙Zyczkowski, Bipartite quantum measurements with optimal single-sided distinguishabil- ity, Quantum 5, 442 (2021)
work page 2021
-
[31]
N. Gisin, Entanglement 25 years after quantum tele- portation: Testing joint measurements in quantum net- works, Entropy 21, 10.3390/e21030325 (2019)
-
[32]
While a different definition of localizability is used in [9], their example persists to be localizable in our criterion as well
-
[33]
J. S. Bell, On the einstein podolsky rosen paradox, Physics Physique Fizika 1, 195 (1964)
work page 1964
-
[34]
N. Brunner, D. Cavalcanti, S. Pironio, V. Scarani, and S. Wehner, Bell nonlocality, Rev. Mod. Phys. 86, 419 (2014)
work page 2014
-
[35]
D. Mayers and A. C.-C. Yao, Self testing quantum appa- ratus, Quantum Inf. Comput. 4, 273 (2004)
work page 2004
-
[36]
I. ˇSupi´ c and J. Bowles, Self-testing of quantum systems: a review, Quantum 4, 337 (2020)
work page 2020
-
[37]
Buscemi, All entangled quantum states are nonlocal, Phys
F. Buscemi, All entangled quantum states are nonlocal, Phys. Rev. Lett. 108, 200401 (2012)
work page 2012
-
[38]
B. Zjawin, D. Schmid, M. J. Hoban, and A. B. Sainz, Quantifying EPR: the resource theory of nonclassicality of common-cause assemblages, Quantum 7, 926 (2023). Appendix A: Proof of Lemma 1 In this appendix, we do not employ the double–ket notation as we also deal with degenerate operators Mc, Aa, Bb and ψ R. We prove Lemma 1 by explicitly constructing the...
work page 2023
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.