pith. sign in

arxiv: 2509.01852 · v1 · pith:T366F3UNnew · submitted 2025-09-02 · 🪐 quant-ph

The Multiqubit Elegant Joint Measurement

Jef Pauwels , Nicolas Gisin This is my paper

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

classification 🪐 quant-ph
keywords elegant joint measurementmultiqubit measurementstetrahedral symmetryentangled measurementslocalizabilitymultipartite entanglementquantum networks
0
0 comments X

The pith

The Elegant Joint Measurement extends to multiple qubits as discrete families of tetrahedrally symmetric bases.

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

This paper identifies all multiqubit bases whose local marginals form regular tetrahedra on the Bloch sphere and that admit low-entanglement-cost local implementations. For two qubits the criteria recover only the original Elegant Joint Measurement. For three or more qubits the same criteria produce several distinct equivalence classes under local unitaries. A reader would care because these objects serve as natural building blocks for multipartite quantum networks that exhibit nonclassical correlations. The appearance of multiple classes for larger systems shows how the structure of multiparticle entanglement is richer than the two-party case.

Core claim

The authors extend the Elegant Joint Measurement to the multipartite setting by identifying all tetrahedrally symmetric, efficiently localizable multiqubit bases. For two qubits these criteria uniquely select the EJM. For three or more they yield a discrete set of equivalence classes under local unitaries, reflecting the richer structure of multiparticle entanglement.

What carries the argument

Tetrahedrally symmetric, efficiently localizable multiqubit bases, which generalize the local marginals of the two-qubit EJM while keeping the cost of local implementation low.

If this is right

  • These bases can be substituted for the two-qubit EJM in multipartite quantum network protocols that rely on nonclassical correlations.
  • The discrete equivalence classes give a complete classification of such symmetric measurements up to local operations for any number of qubits.
  • Explicit constructions become available for testing multipartite Bell inequalities or other tasks that use entangled measurements.
  • The results indicate that the constraints of symmetry and localizability behave differently once more than two parties are involved.

Where Pith is reading between the lines

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

  • These measurements could be checked for their performance in generating stronger violations of multipartite Bell inequalities than existing choices.
  • Different equivalence classes might offer practical advantages in specific communication or sensing tasks involving more than two parties.
  • Relaxing the strict tetrahedral requirement could connect these families to other known symmetric measurement sets in higher dimensions.

Load-bearing premise

That tetrahedral symmetry on the local Bloch vectors combined with efficient localizability are the correct and sufficient criteria to define the natural multiqubit generalizations of the EJM.

What would settle it

An explicit construction of a multiqubit basis that meets both the tetrahedral symmetry and low local entanglement cost criteria yet lies outside the reported equivalence classes, or a demonstration that one of the reported classes requires high entanglement cost for local implementation.

Figures

Figures reproduced from arXiv: 2509.01852 by Jef Pauwels, Nicolas Gisin.

Figure 1
Figure 1. Figure 1: FIG. 1. es of a r of a regu [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗
read the original abstract

The Elegant Joint Measurement (EJM) is a highly symmetric, partially entangled two-qubit measurement whose local marginals form a regular tetrahedron on the Bloch sphere and which has a low entanglement cost for local implementation. It plays a central role in quantum networks exhibiting nonclassical correlations and serves as a paradigmatic example of an entangled measurement with local structure. Despite its significance, generalizing the EJM beyond two qubits has remained unresolved. Here, we extend the EJM to the multipartite setting by identifying all tetrahedrally symmetric, efficiently localizable multiqubit bases. For two qubits, these criteria uniquely select the EJM. For three or more, they yield a discrete set of equivalence classes, reflecting the richer structure of multiparticle entanglement.

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

1 major / 2 minor

Summary. The manuscript extends the two-qubit Elegant Joint Measurement (EJM) to n qubits by classifying all orthonormal bases that are invariant under the tetrahedral symmetry group and admit efficient local implementation (low entanglement cost). For n=2 the criteria recover the EJM uniquely; for n≥3 they produce a discrete collection of equivalence classes under local unitaries.

Significance. The result supplies a symmetry-based, parameter-free route to multipartite entangled measurements that generalize a construction already known to be useful in quantum networks. If the enumeration is exhaustive, the discrete set of classes for n≥3 offers concrete, falsifiable candidates for further study of multiparticle nonlocality and localizable measurements.

major comments (1)
  1. [§4] §4 (or the section presenting the n=3 classification): the claim of an exhaustive discrete set of equivalence classes rests on the completeness of the imposed symmetry and localizability constraints. Representation theory of the tetrahedral group on (ℂ²)⊗³ admits multiple inequivalent invariant subspaces; if the derivation begins from a restricted ansatz for the projectors or marginals rather than the full commutant, additional classes satisfying both criteria may exist outside the reported set. A concrete check (e.g., explicit dimension count of the invariant subspace or an exhaustive search over the group representation) is needed to confirm no solutions are missed.
minor comments (2)
  1. Notation for the local marginal operators and the precise definition of 'efficient localizability' (entanglement cost bound) should be stated once in a dedicated paragraph rather than introduced piecemeal.
  2. Figure captions for the Bloch-sphere visualizations of the marginals should explicitly label which equivalence class each panel corresponds to.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive evaluation of our work and for the constructive suggestion to strengthen the verification of exhaustiveness in the n=3 case. We address the major comment below.

read point-by-point responses

  1. Referee: [§4] §4 (or the section presenting the n=3 classification): the claim of an exhaustive discrete set of equivalence classes rests on the completeness of the imposed symmetry and localizability constraints. Representation theory of the tetrahedral group on (ℂ²)⊗³ admits multiple inequivalent invariant subspaces; if the derivation begins from a restricted ansatz for the projectors or marginals rather than the full commutant, additional classes satisfying both criteria may exist outside the reported set. A concrete check (e.g., explicit dimension count of the invariant subspace or an exhaustive search over the group representation) is needed to confirm no solutions are missed.

    Authors: We appreciate the referee's concern and agree that an explicit verification strengthens the presentation. Our classification proceeds by requiring the full set of measurement projectors to form an orthonormal basis that is invariant as a set under the action of the tetrahedral group (i.e., the group maps the basis to itself, possibly up to phases consistent with the representation). We impose this directly on the 8-dimensional space without restricting to a particular ansatz for the single-qubit marginals or individual projectors beyond symmetry and orthonormality. The efficient-localizability condition is then applied as an additional algebraic constraint on the admissible entangled resource states. For n=3 the resulting system of polynomial equations is solved exhaustively, producing the discrete equivalence classes reported. In the revised manuscript we will add the requested concrete check: an explicit decomposition of (ℂ²)⊗³ into irreducible representations of the tetrahedral group together with the dimension of the corresponding commutant of invariant operators, confirming that all solutions satisfying both symmetry and localizability are accounted for in our enumeration. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation applies external symmetry criteria to standard quantum bases

full rationale

The paper defines the multiqubit generalization via tetrahedral symmetry plus efficient localizability applied to orthonormal bases in (C^2)^⊗n, recovering the known two-qubit EJM uniquely and enumerating discrete classes for n≥3. No quoted step reduces a claimed prediction or classification result to a fitted parameter, self-definition, or load-bearing self-citation chain; the criteria are stated as independent selection rules on the space of bases, with the two-qubit case serving as consistency check rather than input. The derivation is therefore self-contained against the external benchmarks of group representation theory and local implementability cost.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on standard quantum mechanics in finite-dimensional Hilbert spaces and group-theoretic symmetry considerations; no free parameters or new postulated entities are indicated in the abstract.

axioms (1)
  • standard math Standard postulates of quantum mechanics for finite-dimensional systems, including the definition of local operations and entanglement cost.
    Invoked implicitly when discussing local implementability and marginals on the Bloch sphere.

pith-pipeline@v0.9.0 · 5644 in / 1179 out tokens · 77395 ms · 2026-05-21T23:20:44.653709+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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.

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

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

  1. [1]

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

    work page 2023

  2. [2]

    Gisin, Entanglement 25 years after quantum tele- portation: Testing joint measurements in quantum net- works, Entropy 21, 325 (2019)

    N. Gisin, Entanglement 25 years after quantum tele- portation: Testing joint measurements in quantum net- works, Entropy 21, 325 (2019)

    work page 2019

  3. [3]

    Gisin and S

    N. Gisin and S. Popescu, Spin flips and quantum infor- mation for antiparallel spins, Phys. Rev. Lett. 83, 432 (1999)

    work page 1999

  4. [4]

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

    work page 2004

  5. [5]

    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

  6. [6]

    Pozas-Kerstjens, N

    A. Pozas-Kerstjens, N. Gisin, and A. Tavakoli, Full net- work nonlocality, Phys. Rev. Lett. 128, 010403 (2022)

    work page 2022

  7. [7]

    Gitton and R

    V. Gitton and R. Renner, The elegant joint measurement is nonlocal in the triangle network (2025),In preparation

    work page 2025

  8. [8]

    Gitton, The elegant joint measurement is nonlocal in the triangle network (2024), pIRSA:24090140

    V. Gitton, The elegant joint measurement is nonlocal in the triangle network (2024), pIRSA:24090140

    work page 2024

  9. [9]

    Tavakoli, A

    A. Tavakoli, A. Pozas-Kerstjens, M.-X. Luo, and M.-O. Renou, Bell nonlocality in networks, Reports on Progress in Physics 85, 056001 (2022)

    work page 2022

  10. [10]

    Tavakoli, N

    A. Tavakoli, N. Gisin, and C. Branciard, Bilocal bell in- equalities violated by the quantum elegant joint measure- ment, Phys. Rev. Lett. 126, 220401 (2021)

    work page 2021

  11. [11]

    B¨ aumer, N

    E. B¨ aumer, N. Gisin, and A. Tavakoli, Demonstrating the power of quantum computers, certification of highly en- tangled measurements and scalable quantum nonlocality, npj Quantum Information 7, 117 (2021)

    work page 2021

  12. [12]

    Huang, X.-M

    C.-X. Huang, X.-M. Hu, Y. Guo, C. Zhang, B.-H. Liu, Y.- F. Huang, C.-F. Li, G.-C. Guo, N. Gisin, C. Branciard, and A. Tavakoli, Entanglement swapping and quantum correlations via symmetric joint measurements, Phys. Rev. Lett. 129, 030502 (2022)

    work page 2022

  13. [13]

    Ding, M.-X

    D. Ding, M.-X. Yu, Y.-Q. He, H.-S. Ji, T. Gao, and F.-L. Yan, Quantum teleportation based on the elegant joint measurement, Physics Letters A 527, 129991 (2024)

    work page 2024

  14. [14]

    R. K. Patra, K. Agarwal, B. Paul, S. R. Chowdhury, S. G. Naik, and M. Banik, Quantum incompatibility in parallel vs antiparallel spins (2025), arXiv:2504.04723 [quant-ph]

    work page arXiv 2025

  15. [15]

    Czartowski and K

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

    work page 2021

  16. [16]

    Ding, Y.-Q

    D. Ding, Y.-Q. He, T. Gao, and F.-L. Yan, Symmetric quantum joint measurements on multiple qubits (2025), arXiv:2503.08993 [quant-ph]

    work page arXiv 2025

  17. [17]

    Tanaka, D

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

    work page 2007

  18. [18]

    Pimpel, M

    F. Pimpel, M. J. Renner, and A. Tavakoli, Correspon- dence between entangled states and entangled bases under local transformations, Physical Review A 108, 10.1103/physreva.108.022220 (2023)

    work page doi:10.1103/physreva.108.022220 2023

  19. [19]

    Pauwels, C

    J. Pauwels, C. Branciard, A. Pozas-Kerstjens, and N. Gisin, Symmetric localizable multipartite quantum measurements from pauli orbits (2025), companion pa- per, submitted concurrently

    work page 2025

  20. [20]

    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

  21. [21]

    Vaidman, Instantaneous measurement of nonlocal variables, Physical Review Letters 90, 010402 (2003)

    L. Vaidman, Instantaneous measurement of nonlocal variables, Physical Review Letters 90, 010402 (2003)

    work page 2003

  22. [22]

    Groisman, B

    B. Groisman, B. Reznik, and L. Vaidman, Instantaneous measurements of nonlocal variables, Journal of Modern Optics 50, 943 (2003)

    work page 2003

  23. [23]

    Gottesman and I

    D. Gottesman and I. L. Chuang, Demonstrating the via- bility of universal quantum computation using teleporta- tion and single-qubit operations, Nature 402, 390 (1999)

    work page 1999

  24. [24]

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

    work page 2017

  25. [25]

    Coffman, J

    V. Coffman, J. Kundu, and W. K. Wootters, Distributed entanglement, Phys. Rev. A 61, 052306 (2000)

    work page 2000

  26. [26]

    the multi- qubit elegant joint measurement

    J. Pauwels, Computational appendix to “the multi- qubit elegant joint measurement”,https://github.com/ jefpauwels/TetrahedralBases (2025). Appendix A: Two-qubit EJM The two-qubit EJM is defined as the orthonormal basis |ψi⟩ = √ 3 + 1 2 √ 2 | ⃗ mi, − ⃗ mi⟩ + √ 3 − 1 2 √ 2 |− ⃗ mi, ⃗ mi⟩ , (A1) where | ⃗ m⟩ = cos θ 2 |0⟩ + sin θ 2 eiϕ |1⟩ and |− ⃗ m⟩ = sin ...

    work page 2025

  27. [27]

    Performing the basis transformation, we find |ψ⟩ = 1 12 γ+eiθ0 |+ ⃗ m1, + ⃗ m1, + ⃗ m1⟩ + δ+ eiθ1 (|+ ⃗ m1, + ⃗ m1, − ⃗ m1⟩ + |+ ⃗ m1, − ⃗ m1, + ⃗ m1⟩ + |− ⃗ m1, + ⃗ m1, + ⃗ m1⟩) + δ− eiθ2 (|+ ⃗ m1, − ⃗ m1, − ⃗ m1⟩ + |− ⃗ m1, + ⃗ m1, − ⃗ m1⟩ + |− ⃗ m1, − ⃗ m1, + ⃗ m1⟩) + γ− eiθ3 |− ⃗ m1, − ⃗ m1, − ⃗ m1⟩ where: γ± = q 45 ± 17 √ 3 , (C4) δ± = q 9 ± √ 3 , (C...

    work page

  28. [28]

    This decomposition makes explicit that the local action of G(3) tet leads to a basis of the general form (2)

    and B± = 3(2 ± √ 3). This decomposition makes explicit that the local action of G(3) tet leads to a basis of the general form (2). Appendix D: Four qubit EJM examples For four qubits, we again find many fiducial states generating regular tetrahedral measurement configurations. A full classification is left for future work. Here, we give two explicit examp...

    work page