pith. sign in

arxiv: 2509.01851 · v1 · pith:O4QE4QDHnew · submitted 2025-09-02 · 🪐 quant-ph

Symmetric Localizable Multipartite Quantum Measurements from Pauli Orbits

Jef Pauwels , Cyril Branciard , Alejandro Pozas-Kerstjens , Nicolas Gisin This is my paper

Pith reviewed 2026-05-21 23:26 UTC · model grok-4.3

classification 🪐 quant-ph
keywords multipartite quantum measurementsPauli operatorssymmetric baseslocal implementationClifford hierarchyentanglement costfiducial statequantum information
0
0 comments X

The pith

Orbits of a single fiducial state under tensor-product Pauli subgroup actions produce symmetric multipartite measurement bases whose localizability is classifiable by Clifford hierarchy level.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a construction for highly symmetric orthonormal bases used in entangled quantum measurements. These bases are generated by applying tensor products of Pauli operators from a chosen subgroup to one fixed starting vector. The resulting symmetry makes it possible to determine the entanglement resources needed for local implementation of the measurement. This approach recovers the known Elegant Joint Measurement as a special case and extends the same idea to larger numbers of parties and higher dimensions. The authors use the Clifford hierarchy to sort the constructions according to how expensive they are to realize locally.

Core claim

Orbits of a fiducial state under tensor-product actions of Pauli subgroups yield orthonormal bases for multipartite measurements; the symmetry of these orbits permits a systematic classification of their local implementability according to the minimal level of the Clifford hierarchy required for the necessary entanglement.

What carries the argument

The orbit of a fiducial state under the tensor-product action of a Pauli subgroup: the set of states obtained by letting every element of the subgroup act on the fixed vector, which forms an orthonormal basis when the subgroup is chosen appropriately.

If this is right

  • The same orbit method recovers the Elegant Joint Measurement and produces new bases for three or more qubits and for qudits.
  • Symmetry directly determines which measurement bases can be realized with resources from a given Clifford level.
  • Certain infinite families of bases become efficiently localizable once the subgroup is fixed.
  • The construction supplies a concrete toolkit for designing measurements whose local marginals have prescribed symmetry.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same orbit technique could be applied to generate symmetric bases for continuous-variable systems or for measurements with specific covariance properties.
  • Localizability classification might simplify the design of multipartite quantum protocols that rely on symmetric joint measurements.
  • Small-scale numerical checks of the predicted Clifford levels for three-qubit cases would provide a direct test of the classification.

Load-bearing premise

That these Pauli-subgroup orbits always produce orthonormal bases that admit local implementations whose entanglement cost can be classified by the Clifford hierarchy.

What would settle it

An explicit example of a Pauli-orbit basis that is orthonormal and symmetric yet requires a higher Clifford level for local implementation than the symmetry-based classification predicts.

Figures

Figures reproduced from arXiv: 2509.01851 by Alejandro Pozas-Kerstjens, Cyril Branciard, Jef Pauwels, Nicolas Gisin.

Figure 1
Figure 1. Figure 1: FIG. 1 [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2 [PITH_FULL_IMAGE:figures/full_fig_p008_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3 [PITH_FULL_IMAGE:figures/full_fig_p010_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4 [PITH_FULL_IMAGE:figures/full_fig_p014_4.png] view at source ↗
read the original abstract

While the structure of entangled quantum states is relatively well understood, the characterization of entangled measurements, especially in multipartite and high-dimensional settings, remains far less developed. In this work, we introduce a general approach to construct highly symmetric, locally encodable orthonormal measurement bases, as orbits of a single fiducial state under tensor-product actions of Pauli subgroups. This framework recovers the Elegant Joint Measurement-a two-qubit measurement whose local marginals form a regular tetrahedron on the Bloch sphere-as a special case, and we extend the construction to both more systems and higher dimensions. We analyze the entanglement cost required to implement these measurements locally via the Clifford hierarchy and use this criterion to classify them. We show how the symmetry of our constructions allows us to characterize their localizability, which is generally a challenging problem, and to identify certain classes of measurement bases that are efficiently localizable. Our approach offers a systematic toolkit for designing entangled measurements with rich symmetry and implementability properties.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 3 minor

Summary. The paper introduces a general construction of symmetric, locally encodable orthonormal multipartite measurement bases realized as orbits of a single fiducial state under tensor-product actions of Pauli subgroups. This recovers the Elegant Joint Measurement for two qubits and extends to higher numbers of parties and dimensions. The authors exploit the resulting symmetry to classify local implementability according to the Clifford hierarchy, providing explicit constructions and entanglement-cost scalings for the classified families.

Significance. If the explicit fiducial-state definitions, Gram-matrix orthonormality verifications, and Clifford-hierarchy reductions hold, the work supplies a systematic toolkit for designing entangled measurements whose localizability can be characterized by symmetry rather than exhaustive search. The recovery of the Elegant Joint Measurement together with the provision of concrete circuits for classified cases strengthens the contribution to the study of multipartite measurements.

major comments (2)
  1. [§3.1] §3.1, definition of the fiducial state for the three-qubit Pauli subgroup: the orthonormality proof proceeds by direct Gram-matrix evaluation under the group action; an analytic argument showing that the inner-product sum vanishes for all non-identity group elements would strengthen the claim that the construction is parameter-free across dimensions.
  2. [§4.2] §4.2, classification table for entanglement cost: the reduction of the local-unitary search to a finite check within successive Clifford levels is asserted to terminate at level 3 for the reported families, but the manuscript does not exhibit the explicit level-3 circuit for the four-qubit case, leaving the scaling claim partially unverified for the largest system size considered.
minor comments (3)
  1. [Figure 2] Figure 2 caption: the Bloch-sphere rendering of the two-qubit marginals would benefit from an explicit statement that the tetrahedron vertices correspond to the four measurement outcomes.
  2. [§5] Notation: the symbol G_P for the Pauli subgroup is introduced in §2 but used without redefinition in §5; a brief reminder of its definition would improve readability.
  3. [§3.2] Reference list: the citation to the original Elegant Joint Measurement paper appears only in the introduction; adding it to the discussion of the two-qubit recovery in §3.2 would help readers trace the special case.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their positive summary and recommendation for minor revision. The comments are constructive and we address them point by point below, indicating the revisions we will make.

read point-by-point responses

  1. Referee: [§3.1] §3.1, definition of the fiducial state for the three-qubit Pauli subgroup: the orthonormality proof proceeds by direct Gram-matrix evaluation under the group action; an analytic argument showing that the inner-product sum vanishes for all non-identity group elements would strengthen the claim that the construction is parameter-free across dimensions.

    Authors: We agree that an analytic argument would strengthen the presentation and better support the parameter-free claim across dimensions. In the revised manuscript we will add a derivation showing that the sum of inner products over non-identity elements of the Pauli subgroup vanishes. The argument uses the fact that the fiducial state is chosen to be an eigenvector of a maximal abelian subgroup and exploits the character orthogonality of the Pauli group representations, thereby confirming orthonormality without case-by-case Gram-matrix computation. revision: yes

  2. Referee: [§4.2] §4.2, classification table for entanglement cost: the reduction of the local-unitary search to a finite check within successive Clifford levels is asserted to terminate at level 3 for the reported families, but the manuscript does not exhibit the explicit level-3 circuit for the four-qubit case, leaving the scaling claim partially unverified for the largest system size considered.

    Authors: We acknowledge that the explicit level-3 circuit for the four-qubit family was omitted. While the general reduction to Clifford level 3 follows from the symmetry of the Pauli orbit and the structure of the local unitary search, we will include the explicit circuit (or gate sequence) for the four-qubit case in the revision. This will be constructed by applying the appropriate level-3 Clifford elements that map the fiducial state to the remaining basis vectors while respecting the tensor-product Pauli action, thereby verifying the claimed entanglement-cost scaling for the largest system size considered. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via explicit definitions and direct verification

full rationale

The paper defines fiducial states explicitly for each Pauli subgroup, constructs the measurement bases as their orbits under tensor-product group actions, and verifies orthonormality by direct Gram-matrix computation on the resulting states. Local implementations are obtained by using the symmetry to reduce the unitary search to a finite check across Clifford-hierarchy levels, with explicit circuits supplied for the classified cases. These steps rest on group-theoretic construction and explicit calculation rather than parameter fitting, self-referential uniqueness theorems, or ansatzes imported from prior work by the same authors. The localizability classification therefore follows from the symmetry properties without reducing to the inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard quantum mechanics and group representation theory without introducing new free parameters or invented entities visible in the abstract.

axioms (1)
  • standard math Standard postulates of quantum mechanics for states, measurements, and entanglement.
    The framework presupposes the usual Hilbert-space description of multipartite systems and the definition of local operations.

pith-pipeline@v0.9.0 · 5702 in / 1216 out tokens · 46931 ms · 2026-05-21T23:26:25.799340+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Network Nonlocality with Separable Measurements

    quant-ph 2026-04 unverdicted novelty 7.0

    Separable measurements augmented with classical feedforward suffice to certify full network nonlocality and minimal network nonclassicality while enabling device-independent randomness quantification.

Reference graph

Works this paper leans on

53 extracted references · 53 canonical work pages · cited by 1 Pith paper

  1. [1]

    For three qubits, we can consider two distinct options:

    Three-qubit regular tetrahedral bases In the two-qubit EJM, the single-qubit reductions form a pair of regular tetrahedra that are reflections of each other through the origin. For three qubits, we can consider two distinct options:

    work page

  2. [2]

    Bases where each qubit’s reduction lies on a regular tetrahedron with the same orientation

    work page

  3. [3]

    That is, some qubits have reduc- tions aligned with one tetrahedron, while others align with its reflected counterpart

    Bases where the single-qubit reductions are split between two opposite regular tetrahedra, reflec- tions of each other through the origin, as in the two-qubit EJM. That is, some qubits have reduc- tions aligned with one tetrahedron, while others align with its reflected counterpart. a. Party-permutation invariant states We begin with the class of Pauli-en...

    work page

  4. [4]

    The Bloch structure of the corresponding basis is illustrated in Fig. 2 (top). The Bloch vector of each qubit reduced state is ( 9 20 , 9 20 , 9 20), of length 9 √ 3/20 ≈ 0.779. For com- parison, we found numerically that for this configuration, the state with minimal entanglement has a local Bloch vector length of approximately 0 .785, corresponding to s...

    work page

  5. [5]

    measuring

    Planar, rectangular configurations A particularly simple and analytically tractable family of states arises when the fiducial state is restricted to the 7 qubit 1 qubit 2 qubit 3 qubit 1 qubit 2 qubit 3 FIG. 2: Configurations of local Bloch vectors generated by the three-qubit fiducial states of Eqs. (34) (top) and (35) (bottom). Top: all three qubits sha...

    work page

  6. [6]

    Elegant Joint Measurement (EJM): fm=2(z1, z2) = z1z2 mod 22, yielding a regular tetrahedron with pairwise equidistant Bloch vectors each of length √ 3 2

    work page

  7. [7]

    the first Bloch vector of the first qubit is ( 1√ 2 , 1 2 , 0)T

    Rectangular configuration (1 × √ 2): fm=3(z1, z2) = z1 + z2 mod 23, corresponds to a rectangle in the Bloch sphere with Bloch vectors of size √ 3 2 (like the EJM), e.g. the first Bloch vector of the first qubit is ( 1√ 2 , 1 2 , 0)T . It is equivalent to the E2 basis introduced in [8]

    work page

  8. [8]

    Linear configuration ( √ 2-line): fm=3(z1, z2) = z1 + 2z2 mod 23, produces a linear configuration with the first qubit Bloch vector corresponding to ( 1√ 2 , 0, 0)T , of length 1√

    work page

  9. [9]

    This recovers the twisted Bell basis discussed in Refs. [8, 41]. The set V3 contains five inequivalent two-qubit bases [8], three of which we see appear here. This reflects an under- lying group-theoretic structure: all three are generated by the same symmetry orbit. The two remaining bases from Ref. [8] do not appear here. The first—the partial Bell basi...

    work page

  10. [10]

    Horodecki, P

    R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, Quantum entanglement, Rev. Mod. Phys. 81, 865 (2009)

    work page 2009

  11. [11]

    Jozsa and N

    R. Jozsa and N. Linden, On the role of entanglement in quantum-computational speed-up, Proc. R. Soc. Lond. A. 459, 2011–2032 (2003)

    work page 2011

  12. [12]

    Vazirani and T

    U. Vazirani and T. Vidick, Fully device-independent quantum key distribution, Phys. Rev. Lett. 113, 140501 (2014)

    work page 2014

  13. [13]

    Tavakoli, J

    A. Tavakoli, J. Pauwels, E. Woodhead, and S. Piro- nio, Correlations in entanglement-assisted prepare-and- measure scenarios, PRX Quantum 2, 040357 (2021)

    work page 2021

  14. [14]

    J. S. Bell, Speakable and Unspeakable in Quantum Me- chanics: Collected Papers on Quantum Philosophy (Cam- bridge University Press, 1988)

    work page 1988

  15. [15]

    E. G. Cavalcanti, R. Chaves, F. Giacomini, and Y.-C. Liang, Fresh perspectives on the foundations of quantum physics, Nat. Rev. Phys. 5, 323 (2023)

    work page 2023

  16. [16]

    Del Santo, J

    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

  17. [17]

    Pauwels, A

    J. Pauwels, A. Pozas-Kerstjens, F. del Santo, and N. Gisin, Classification of joint quantum measurements based on entanglement cost of localization, Phys. Rev. X 15, 021013 (2025)

    work page 2025

  18. [18]

    C. H. Bennett, G. Brassard, C. Cr´ epeau, R. Jozsa, A. Peres, and W. K. Wootters, Teleporting an unknown quantum state via dual classical and einstein-podolsky- rosen channels, Phys. Rev. Lett. 70, 1895 (1993)

    work page 1993

  19. [19]

    Tavakoli, A

    A. Tavakoli, A. Pozas-Kerstjens, M.-X. Luo, and M.-O. Renou, Bell nonlocality in networks, Rep. Prog. Phys. 85, 056001 (2022)

    work page 2022

  20. [20]

    Caleffi, M

    M. Caleffi, M. Amoretti, D. Ferrari, J. Illiano, A. Man- zalini, and A. S. Cacciapuoti, Distributed quantum com- puting: A survey, Comput. Netw. 254, 110672 (2024)

    work page 2024

  21. [21]

    Piveteau, J

    A. Piveteau, J. Pauwels, E. Hˆ akansson, S. Muhammad, M. Bourennane, and A. Tavakoli, Entanglement-assisted quantum communication with simple measurements, Nat. Commun. 13, 7878 (2022)

    work page 2022

  22. [22]

    Zhang, J.-L

    C. Zhang, J.-L. Miao, X.-M. Hu, J. Pauwels, Y. Guo, C.- F. Li, G.-C. Guo, A. Tavakoli, and B.-H. Liu, Quantum stochastic communication via high-dimensional entan- glement, arXiv:2502.04887 [quant-ph] (2025)

    work page arXiv 2025

  23. [23]

    H. J. Briegel, W. D¨ ur, J. I. Cirac, and P. Zoller, Quantum repeaters: The role of imperfect local operations in quantum communication, Phys. Rev. Lett. 81, 5932 (1998)

    work page 1998

  24. [24]

    Gisin, Entanglement 25 years after quantum telepor- tation: Testing joint measurements in quantum networks, Entropy 21, 325 (2019)

    N. Gisin, Entanglement 25 years after quantum telepor- tation: Testing joint measurements in quantum networks, Entropy 21, 325 (2019)

    work page 2019

  25. [25]

    Tanaka, D

    Y. Tanaka, D. Markham, and M. Murao, Local encoding of classical information onto quantum states, J. Mod. Opt. 54, 2259–2273 (2007)

    work page 2007

  26. [26]

    Czartowski and K

    J. Czartowski and K. ˙Zyczkowski, Bipartite quantum measurements with optimal single-sided distinguishabil- ity, Quantum 5, 442 (2021)

    work page 2021

  27. [27]

    A. S. Holevo, Probabilistic and statistical aspects of quantum theory (1982), translated from the Russian by R. A. Silverman. Originally published in Russian in 1974

    work page 1982

  28. [28]

    Chiribella, Optimal Estimation of Quantum Sig- nals in the Presence of Symmetry , Ph.D

    G. Chiribella, Optimal Estimation of Quantum Sig- nals in the Presence of Symmetry , Ph.D. thesis, Universit` a degli Studi di Pavia (2004), available at https://www.quantumtechnologies.it/wp-content/ uploads/thesis/ThesisRevised.pdf

    work page 2004

  29. [29]

    J. M. Renes, R. Blume-Kohout, A. J. Scott, and C. M. Caves, Symmetric informationally complete quantum measurements, J. Math. Phys. 45, 2171–2180 (2004)

    work page 2004

  30. [30]

    S. F. D. Waldron, An Introduction to Finite Tight Frames (Springer New York, 2018)

    work page 2018

  31. [31]

    Lemmens and J

    P. Lemmens and J. Seidel, Equiangular lines, J. Algebra 24, 494–512 (1973)

    work page 1973

  32. [32]

    Zauner, Quantendesigns: Grundz¨ uge einer nichtkom- mutativen Designtheorie, Ph.D

    G. Zauner, Quantendesigns: Grundz¨ uge einer nichtkom- mutativen Designtheorie, Ph.D. thesis, University of Vi- 15 enna (1999), english translation available at Int. J. Quan- tum Inf. 09, 445–507 (2011)

    work page 1999

  33. [33]

    Schur, Neue begrundung der theorie der gruppen- charaktere, Sitzungsberichte der Koenigl

    I. Schur, Neue begrundung der theorie der gruppen- charaktere, Sitzungsberichte der Koenigl. Preuss. Akad. Wiss. Berlin (1905), English title: New foundation for the theory of group characters

    work page 1905

  34. [34]

    Chiribella, G

    G. Chiribella, G. M. D’Ariano, P. Perinotti, and M. F. Sacchi, Covariant quantum measurements that maximize the likelihood, Phys. Rev. A 70, 062105 (2004)

    work page 2004

  35. [35]

    Chiribella and G

    G. Chiribella and G. Mauro D’Ariano, Extremal covari- ant measurements, J. Math. Phys. 47, 092107 (2006)

    work page 2006

  36. [36]

    Pimpel, M

    F. Pimpel, M. J. Renner, and A. Tavakoli, Correspon- dence between entangled states and entangled bases under local transformations, Phys. Rev. A 108, 022220 (2023)

    work page 2023

  37. [37]

    Kruszynska and B

    C. Kruszynska and B. Kraus, Local entanglability and multipartite entanglement, Phys. Rev. A 79, 052304 (2009)

    work page 2009

  38. [38]

    Popp and B

    C. Popp and B. C. Hiesmayr, Special features of the Weyl–Heisenberg Bell basis imply unusual entangle- ment structure of Bell-diagonal states, New J. Phys. 26, 013039 (2024)

    work page 2024

  39. [39]

    Gross, Hudson’s theorem for finite-dimensional quan- tum systems, J

    D. Gross, Hudson’s theorem for finite-dimensional quan- tum systems, J. Math. Phys. 47, 122107 (2006)

    work page 2006

  40. [40]

    Coxeter, Regular Polytopes, Dover books on advanced mathematics (Dover Publications, 1973)

    H. Coxeter, Regular Polytopes, Dover books on advanced mathematics (Dover Publications, 1973)

    work page 1973

  41. [41]

    Tavakoli, N

    A. Tavakoli, N. Gisin, and C. Branciard, Bilocal Bell inequalities violated by the quantum elegant joint mea- surement, Phys. Rev. Lett. 126, 220401 (2021)

    work page 2021

  42. [42]

    D. E. Gottesman, Stabilizer Codes and Quantum Error Correction, Ph.D. thesis, California Institute of Technol- ogy (1997)

    work page 1997

  43. [43]

    H. B. Dang, K. Blanchfield, I. Bengtsson, and D. M. Appleby, Linear dependencies in Weyl-Heisenberg orbits, Quantum Inf. Process. 12, 3449 (2013)

    work page 2013

  44. [44]

    Popescu and L

    S. Popescu and L. Vaidman, Causality constraints on nonlocal quantum measurements, Phys. Rev. A 49, 4331 (1994)

    work page 1994

  45. [45]

    Vaidman, Instantaneous measurement of nonlocal variables, Phys

    L. Vaidman, Instantaneous measurement of nonlocal variables, Phys. Rev. Lett. 90, 010402 (2003)

    work page 2003

  46. [46]

    Groisman, B

    B. Groisman, B. Reznik, and L. Vaidman, Instantaneous measurements of nonlocal variables, J. Mod. Opt. 50, 943 (2003)

    work page 2003

  47. [47]

    Gottesman and I

    D. Gottesman and I. L. Chuang, Demonstrating the viability of universal quantum computation using tele- portation and single-qubit operations, Nature 402, 390 (1999)

    work page 1999

  48. [48]

    S. X. Cui, D. Gottesman, and A. Krishna, Diagonal gates in the clifford hierarchy, Phys. Rev. A 95, 012329 (2017)

    work page 2017

  49. [49]

    Pauwels, Computational appendix, https://github

    J. Pauwels, Computational appendix, https://github. com/jefpauwels/TetrahedralBases (2025), version: 2025-07-22

    work page 2025

  50. [50]

    Boreiri, B

    S. Boreiri, B. Ulu, N. Brunner, and P. Sekatski, Noise-robust proofs of quantum network nonlocality, arXiv:2311.02182 [quant-ph] (2023)

    work page arXiv 2023

  51. [51]

    Pauwels and N

    J. Pauwels and N. Gisin, The multiqubit elegant joint measurement (2025), companion paper, submitted con- currently

    work page 2025

  52. [52]

    Krasikov and S

    I. Krasikov and S. Litsyn, Survey of binary krawtchouk polynomials, in Codes and Association Schemes (Ameri- can Mathematical Society, 2001) pp. 199–211

    work page 2001

  53. [53]

    right-to-left

    N. de Silva and O. Lautsch, The clifford hierarchy for one qubit or qudit, arXiv:2501.07939 [quant-ph] (2025). 16 Appendix A: Joint eigenbases for the elements of G(n) tetra and G(n) d In this appendix, we show explicit how one may com- pute the joint eigenbases of G(n) d (= G(n) tetra for d = 2). For simplicity, we start with the n-qubit case. Rather tha...

    work page arXiv 2025