Papers
Topics
Authors
Recent
Search
2000 character limit reached

Elegant Joint Measurement in Quantum Networks

Updated 10 July 2026
  • Elegant Joint Measurement (EJM) is a two-qubit projective measurement defined by iso-entangled states with tetrahedral Bloch vector geometry.
  • It plays a pivotal role in network nonlocality by certifying non-classical triangle-network correlations distinct from standard Bell state measurements.
  • EJM underpins experimental entanglement swapping and teleportation, offering symmetric interpolation towards Bell measurements and optimal three-ebit localization.

Elegant Joint Measurement (EJM) usually denotes a two-qubit projective measurement whose four orthonormal eigenstates are iso-entangled and whose single-qubit reduced states have Bloch vectors pointing to the vertices of a regular tetrahedron, with equal pairwise inner products (Pauwels et al., 2024). In the network-nonlocality literature it functions as a canonical entangled measurement distinct from the Bell state measurement (BSM), while later work situates it within broader families of symmetric iso-entangled bases, finite-entanglement localization schemes, entanglement-swapping protocols, and multipartite generalizations (Gisin, 2017, Santo et al., 2023).

1. Canonical definition and explicit form

The EJM is a rank-1 projective measurement on two qubits, with four outcomes

{Mk}k=14,Mk=ψkψk,\{M_k\}_{k=1}^4,\qquad M_k=|\psi_k\rangle\langle\psi_k|,

where the four eigenvectors form an orthonormal basis of C2C2\mathbb{C}^2\otimes\mathbb{C}^2 and satisfy k=14Mk=I4\sum_{k=1}^4 M_k=I_4 (Pauwels et al., 2024). A canonical construction uses the four tetrahedral Bloch directions

m1=13(1,1,1),m2=13(1,1,1),m3=13(1,1,1),m4=13(1,1,1),\vec m_1=\frac{1}{\sqrt{3}}(1,1,1),\quad \vec m_2=\frac{1}{\sqrt{3}}(1,-1,-1),\quad \vec m_3=\frac{1}{\sqrt{3}}(-1,1,-1),\quad \vec m_4=\frac{1}{\sqrt{3}}(-1,-1,1),

and the corresponding single-qubit eigenstates ±mi|\pm\vec m_i\rangle of miσ\vec m_i\cdot\vec\sigma. The EJM basis states are

ψEJM,i=3+122mi,mi+3122mi,mi,\ket{\psi_{\mathrm{EJM},i}} = \frac{\sqrt{3}+1}{2\sqrt{2}}\ket{\vec m_i,-\vec m_i} + \frac{\sqrt{3}-1}{2\sqrt{2}}\ket{-\vec m_i,\vec m_i},

so the measurement operators are the projectors Πi=ψEJM,iψEJM,i\Pi_i=\ket{\psi_{\mathrm{EJM},i}}\bra{\psi_{\mathrm{EJM},i}} (Pauwels et al., 2 Sep 2025).

Equivalent computational-basis representatives are given by the columns of the unitary matrix

MEJM=18(1+i1+i1i1i 2i002i 02i2i0 1i1i1+i1+i),M_{\mathrm{EJM}} = \frac{1}{\sqrt{8}} \begin{pmatrix} 1+i & -1+i & 1-i & -1-i \ -2i & 0 & 0 & -2i \ 0 & 2i & 2i & 0 \ 1-i & -1-i & 1+i & -1+i \end{pmatrix},

so that each outcome operator is Mk=ψkψkM_k=|\psi_k\rangle\langle\psi_k| and C2C2\mathbb{C}^2\otimes\mathbb{C}^20 (Pauwels et al., 2024). An equivalent projective basis also appears in the form

C2C2\mathbb{C}^2\otimes\mathbb{C}^21

with the EJM recovered at a specific parameter choice and the BSM obtained at C2C2\mathbb{C}^2\otimes\mathbb{C}^22 up to local unitaries (Ding et al., 2024).

The local reduced states already exhibit the defining geometry. Writing

C2C2\mathbb{C}^2\otimes\mathbb{C}^23

one has

C2C2\mathbb{C}^2\otimes\mathbb{C}^24

so the two local Bloch vectors have equal magnitude C2C2\mathbb{C}^2\otimes\mathbb{C}^25 and opposite orientations (Pauwels et al., 2 Sep 2025). In the tangle convention

C2C2\mathbb{C}^2\otimes\mathbb{C}^26

the EJM is iso-entangled with

C2C2\mathbb{C}^2\otimes\mathbb{C}^27

equivalently concurrence C2C2\mathbb{C}^2\otimes\mathbb{C}^28 and reduced Bloch length C2C2\mathbb{C}^2\otimes\mathbb{C}^29 (Pauwels et al., 2024).

2. Symmetry, iso-entanglement, and classification

The EJM is distinguished by tetrahedral symmetry of its single-qubit marginals. For the reduced Bloch vectors k=14Mk=I4\sum_{k=1}^4 M_k=I_40 and k=14Mk=I4\sum_{k=1}^4 M_k=I_41,

k=14Mk=I4\sum_{k=1}^4 M_k=I_42

so the four local states on each side form a regular tetrahedron on the Bloch sphere (Pauwels et al., 2024). In the original formulation, the four outcomes are “equally entangled two-qubit states,” and the local marginals point along tetrahedral directions and anti-parallel between the two qubits (Gisin, 2017).

A complete classification of all equivalence classes of iso-entangled bases for projective joint measurements on k=14Mk=I4\sum_{k=1}^4 M_k=I_43 qubits yields four inequivalent families: Skewed product, Elegant, Bell, and General (Santo et al., 2023). Within that classification, the Elegant family k=14Mk=I4\sum_{k=1}^4 M_k=I_44 has

k=14Mk=I4\sum_{k=1}^4 M_k=I_45

and the EJM is the extremal point of the Elegant family at k=14Mk=I4\sum_{k=1}^4 M_k=I_46 and k=14Mk=I4\sum_{k=1}^4 M_k=I_47 (Santo et al., 2023). The Bell family k=14Mk=I4\sum_{k=1}^4 M_k=I_48 contains the BSM as the unique maximally entangled basis up to local unitaries, whereas the Elegant family is bounded by k=14Mk=I4\sum_{k=1}^4 M_k=I_49 (Santo et al., 2023).

A distinct one-parameter iso-entangled basis interpolates between the original EJM and the BSM. In that family, the reduced single-qubit states form a regular tetrahedron of radius m1=13(1,1,1),m2=13(1,1,1),m3=13(1,1,1),m4=13(1,1,1),\vec m_1=\frac{1}{\sqrt{3}}(1,1,1),\quad \vec m_2=\frac{1}{\sqrt{3}}(1,-1,-1),\quad \vec m_3=\frac{1}{\sqrt{3}}(-1,1,-1),\quad \vec m_4=\frac{1}{\sqrt{3}}(-1,-1,1),0, the concurrence is

m1=13(1,1,1),m2=13(1,1,1),m3=13(1,1,1),m4=13(1,1,1),\vec m_1=\frac{1}{\sqrt{3}}(1,1,1),\quad \vec m_2=\frac{1}{\sqrt{3}}(1,-1,-1),\quad \vec m_3=\frac{1}{\sqrt{3}}(-1,1,-1),\quad \vec m_4=\frac{1}{\sqrt{3}}(-1,-1,1),1

and m1=13(1,1,1),m2=13(1,1,1),m3=13(1,1,1),m4=13(1,1,1),\vec m_1=\frac{1}{\sqrt{3}}(1,1,1),\quad \vec m_2=\frac{1}{\sqrt{3}}(1,-1,-1),\quad \vec m_3=\frac{1}{\sqrt{3}}(-1,1,-1),\quad \vec m_4=\frac{1}{\sqrt{3}}(-1,-1,1),2 yields the BSM up to local unitaries (Huang et al., 2022). This interpolation makes explicit that the EJM is neither a product basis measurement nor a Bell basis measurement, but an intermediate iso-entangled structure with fixed tetrahedral local geometry.

A more generalized EJM introduces three parameters m1=13(1,1,1),m2=13(1,1,1),m3=13(1,1,1),m4=13(1,1,1),\vec m_1=\frac{1}{\sqrt{3}}(1,1,1),\quad \vec m_2=\frac{1}{\sqrt{3}}(1,-1,-1),\quad \vec m_3=\frac{1}{\sqrt{3}}(-1,1,-1),\quad \vec m_4=\frac{1}{\sqrt{3}}(-1,-1,1),3, m1=13(1,1,1),m2=13(1,1,1),m3=13(1,1,1),m4=13(1,1,1),\vec m_1=\frac{1}{\sqrt{3}}(1,1,1),\quad \vec m_2=\frac{1}{\sqrt{3}}(1,-1,-1),\quad \vec m_3=\frac{1}{\sqrt{3}}(-1,1,-1),\quad \vec m_4=\frac{1}{\sqrt{3}}(-1,-1,1),4, and m1=13(1,1,1),m2=13(1,1,1),m3=13(1,1,1),m4=13(1,1,1),\vec m_1=\frac{1}{\sqrt{3}}(1,1,1),\quad \vec m_2=\frac{1}{\sqrt{3}}(1,-1,-1),\quad \vec m_3=\frac{1}{\sqrt{3}}(-1,1,-1),\quad \vec m_4=\frac{1}{\sqrt{3}}(-1,-1,1),5, with

m1=13(1,1,1),m2=13(1,1,1),m3=13(1,1,1),m4=13(1,1,1),\vec m_1=\frac{1}{\sqrt{3}}(1,1,1),\quad \vec m_2=\frac{1}{\sqrt{3}}(1,-1,-1),\quad \vec m_3=\frac{1}{\sqrt{3}}(-1,1,-1),\quad \vec m_4=\frac{1}{\sqrt{3}}(-1,-1,1),6

and preserves two mirror-image tetrahedrons in the reduced states for all allowed parameters (He et al., 2024). The same line of work shows that the initial unit vectors related to the four vertices of the regular tetrahedron are not limited to the original choice, but not all the unit vectors in cylindrical coordinates are suitable for forming the EJM basis (He et al., 2024).

A complementary construction, termed a symmetric joint measurement, spans concurrence from m1=13(1,1,1),m2=13(1,1,1),m3=13(1,1,1),m4=13(1,1,1),\vec m_1=\frac{1}{\sqrt{3}}(1,1,1),\quad \vec m_2=\frac{1}{\sqrt{3}}(1,-1,-1),\quad \vec m_3=\frac{1}{\sqrt{3}}(-1,1,-1),\quad \vec m_4=\frac{1}{\sqrt{3}}(-1,-1,1),7 to m1=13(1,1,1),m2=13(1,1,1),m3=13(1,1,1),m4=13(1,1,1),\vec m_1=\frac{1}{\sqrt{3}}(1,1,1),\quad \vec m_2=\frac{1}{\sqrt{3}}(1,-1,-1),\quad \vec m_3=\frac{1}{\sqrt{3}}(-1,1,-1),\quad \vec m_4=\frac{1}{\sqrt{3}}(-1,-1,1),8, contains the PBM and the original EJM, and replaces the original EJM’s mirror symmetry by rotational symmetry of the reduction vectors (He et al., 4 Feb 2026). In parallel, multiqubit work identifies tetrahedrally symmetric, efficiently localizable multiqubit bases; for two qubits, these criteria uniquely select the EJM (Pauwels et al., 2 Sep 2025).

3. Triangle-network correlations and certified non-classicality

The EJM was introduced as a natural joint measurement on two qubits in the study of m1=13(1,1,1),m2=13(1,1,1),m3=13(1,1,1),m4=13(1,1,1),\vec m_1=\frac{1}{\sqrt{3}}(1,1,1),\quad \vec m_2=\frac{1}{\sqrt{3}}(1,-1,-1),\quad \vec m_3=\frac{1}{\sqrt{3}}(-1,1,-1),\quad \vec m_4=\frac{1}{\sqrt{3}}(-1,-1,1),9-locality without inputs in long lines and in configurations with loops, especially the triangle (Gisin, 2017). In the triangle scenario, each pair of neighboring nodes shares an independent singlet and each node performs the EJM on its two incoming qubits. The resulting three-party distribution is fully symmetric and is determined by three values: ±mi|\pm\vec m_i\rangle0

±mi|\pm\vec m_i\rangle1

±mi|\pm\vec m_i\rangle2

with

±mi|\pm\vec m_i\rangle3

(Gisin, 2017). The same work derived line and polygon formulas, including

±mi|\pm\vec m_i\rangle4

and

±mi|\pm\vec m_i\rangle5

together with the asymptotic conditional probability

±mi|\pm\vec m_i\rangle6

(Gisin, 2017).

For several years this triangle distribution was conjectured to be non-classical but lacked a proof. A later result provided the first proof of non-classicality of the EJM distribution in the triangle network by combining inflation, powerful symmetry reductions, and Frank-Wolfe algorithms for large-scale optimization, followed by computer-assisted proofs in exact arithmetic (Gitton et al., 16 Oct 2025). In that formulation, the noisy family

±mi|\pm\vec m_i\rangle7

contains the EJM point at ±mi|\pm\vec m_i\rangle8, and the proof establishes

±mi|\pm\vec m_i\rangle9

hence the EJM distribution lies outside the classical triangle set (Gitton et al., 16 Oct 2025). The exact EJM probabilities are equivalently

miσ\vec m_i\cdot\vec\sigma0

which matches the earlier network construction (Gitton et al., 16 Oct 2025).

This result changed the status of the EJM in network theory from a symmetric candidate distribution to a rigorously certified non-classical resource in the simplest source-independent loop network (Gitton et al., 16 Oct 2025).

4. Bilocality, entanglement swapping, and experimental realizations

In the bilocality scenario, replacing the Bell state measurement at the central node by a family of symmetric iso-entangled measurement bases that generalise the EJM yields quantum correlations that violate tailored network Bell inequalities in a noise-tolerant way (Tavakoli et al., 2020). The generalized basis is

miσ\vec m_i\cdot\vec\sigma1

with

miσ\vec m_i\cdot\vec\sigma2

and miσ\vec m_i\cdot\vec\sigma3 gives the original EJM while miσ\vec m_i\cdot\vec\sigma4 yields the BSM up to local unitaries (Tavakoli et al., 2020). For the first network Bell inequality, equal visibilities satisfy

miσ\vec m_i\cdot\vec\sigma5

and at miσ\vec m_i\cdot\vec\sigma6 the critical visibility is

miσ\vec m_i\cdot\vec\sigma7

(Tavakoli et al., 2020).

An extended bilocal scenario with ternary inputs and sequential measurements further shows that simultaneous violation can be captured for miσ\vec m_i\cdot\vec\sigma8, that no simultaneous violation occurs at miσ\vec m_i\cdot\vec\sigma9, and that introducing nonlinearity enables simultaneous violations across all four subnetworks (Kundu et al., 2024). The dependence on ψEJM,i=3+122mi,mi+3122mi,mi,\ket{\psi_{\mathrm{EJM},i}} = \frac{\sqrt{3}+1}{2\sqrt{2}}\ket{\vec m_i,-\vec m_i} + \frac{\sqrt{3}-1}{2\sqrt{2}}\ket{-\vec m_i,\vec m_i},0 is explicit: higher entanglement of the joint basis raises the nonlinearity threshold required for simultaneous sharing (Kundu et al., 2024).

Experimentally, deterministic entanglement swapping based on quantum Elegant Joint Measurements has been realized with hyper-entanglement (Huang et al., 2022). In that implementation, EJMs are “joint projections of two qubits onto highly symmetric, iso-entangled, bases,” and the reported measurement fidelities were “no smaller than ψEJM,i=3+122mi,mi+3122mi,mi,\ket{\psi_{\mathrm{EJM},i}} = \frac{\sqrt{3}+1}{2\sqrt{2}}\ket{\vec m_i,-\vec m_i} + \frac{\sqrt{3}-1}{2\sqrt{2}}\ket{-\vec m_i,\vec m_i},1” (Huang et al., 2022). The same experiment demonstrated proof-of-principle violations of both bilocal Bell inequalities and more stringent correlation criteria corresponding to full network nonlocality (Huang et al., 2022). The theoretical correlators used there satisfy

ψEJM,i=3+122mi,mi+3122mi,mi,\ket{\psi_{\mathrm{EJM},i}} = \frac{\sqrt{3}+1}{2\sqrt{2}}\ket{\vec m_i,-\vec m_i} + \frac{\sqrt{3}-1}{2\sqrt{2}}\ket{-\vec m_i,\vec m_i},2

depending on the permutation structure, and the bilocal expression takes the ideal form

ψEJM,i=3+122mi,mi+3122mi,mi,\ket{\psi_{\mathrm{EJM},i}} = \frac{\sqrt{3}+1}{2\sqrt{2}}\ket{\vec m_i,-\vec m_i} + \frac{\sqrt{3}-1}{2\sqrt{2}}\ket{-\vec m_i,\vec m_i},3

(Huang et al., 2022).

These results establish the EJM as a concrete entangled-measurement resource in network nonlocality, rather than a purely geometric alternative to the BSM (Tavakoli et al., 2020, Huang et al., 2022).

5. Localizability, teleportation, and multiqubit extensions

A major conceptual question for joint quantum measurements is whether they can be localized with a finite amount of entanglement when the post-measurement state is disregarded. Within a finite-resource teleportation-based localization hierarchy, the EJM is exactly localizable at the three-ebit level, and this cost is optimal (Pauwels et al., 2024). The cost statement is

ψEJM,i=3+122mi,mi+3122mi,mi,\ket{\psi_{\mathrm{EJM},i}} = \frac{\sqrt{3}+1}{2\sqrt{2}}\ket{\vec m_i,-\vec m_i} + \frac{\sqrt{3}-1}{2\sqrt{2}}\ket{-\vec m_i,\vec m_i},4

with the resource inequality

ψEJM,i=3+122mi,mi+3122mi,mi,\ket{\psi_{\mathrm{EJM},i}} = \frac{\sqrt{3}+1}{2\sqrt{2}}\ket{\vec m_i,-\vec m_i} + \frac{\sqrt{3}-1}{2\sqrt{2}}\ket{-\vec m_i,\vec m_i},5

and semidefinite-program relaxations certify that the EJM cannot be localized with fewer than three ebits (Pauwels et al., 2024). In this classification, the EJM belongs to one of the eight inequivalent classes localizable with up to three ebits and is singled out by its tetrahedral symmetry of local marginals (Pauwels et al., 2024).

Teleportation based on the EJM treats it as a generalization of the BSM parameterized by ψEJM,i=3+122mi,mi+3122mi,mi,\ket{\psi_{\mathrm{EJM},i}} = \frac{\sqrt{3}+1}{2\sqrt{2}}\ket{\vec m_i,-\vec m_i} + \frac{\sqrt{3}-1}{2\sqrt{2}}\ket{-\vec m_i,\vec m_i},6 (Ding et al., 2024). In that setting, the four EJM basis states are ψEJM,i=3+122mi,mi+3122mi,mi,\ket{\psi_{\mathrm{EJM},i}} = \frac{\sqrt{3}+1}{2\sqrt{2}}\ket{\vec m_i,-\vec m_i} + \frac{\sqrt{3}-1}{2\sqrt{2}}\ket{-\vec m_i,\vec m_i},7, the post-measurement correction is generally nonunitary, and the total success probability is

ψEJM,i=3+122mi,mi+3122mi,mi,\ket{\psi_{\mathrm{EJM},i}} = \frac{\sqrt{3}+1}{2\sqrt{2}}\ket{\vec m_i,-\vec m_i} + \frac{\sqrt{3}-1}{2\sqrt{2}}\ket{-\vec m_i,\vec m_i},8

The conditional fidelity is

ψEJM,i=3+122mi,mi+3122mi,mi,\ket{\psi_{\mathrm{EJM},i}} = \frac{\sqrt{3}+1}{2\sqrt{2}}\ket{\vec m_i,-\vec m_i} + \frac{\sqrt{3}-1}{2\sqrt{2}}\ket{-\vec m_i,\vec m_i},9

and Πi=ψEJM,iψEJM,i\Pi_i=\ket{\psi_{\mathrm{EJM},i}}\bra{\psi_{\mathrm{EJM},i}}0 recovers deterministic conventional teleportation because the correction becomes unitary (Ding et al., 2024). This formulation makes explicit that the EJM is not merely a measurement basis but also a controllable ingredient in postselected teleportation protocols.

Multipartite generalization remained unresolved until the identification of tetrahedrally symmetric, efficiently localizable multiqubit bases (Pauwels et al., 2 Sep 2025). In that framework, the two-qubit EJM is uniquely selected by the joint requirements of tetrahedral local symmetry and efficient localizability, while for three or more qubits one obtains a discrete set of equivalence classes (Pauwels et al., 2 Sep 2025). The three-qubit case already exhibits four distinct three-tangle values among regular tetrahedral fiducials, and the four-qubit case displays two tetrahedron sizes,

Πi=ψEJM,iψEJM,i\Pi_i=\ket{\psi_{\mathrm{EJM},i}}\bra{\psi_{\mathrm{EJM},i}}1

together with chiral structures not present in the two-qubit setting (Pauwels et al., 2 Sep 2025). A complementary even-qubit extension also appears in the symmetric-joint-measurement construction, which generalizes the two-qubit rotationally symmetric basis to multiqubit systems with an even number of qubits (He et al., 4 Feb 2026).

The EJM belongs to a wider theory of joint measurements, but it should be distinguished from general compatibility of POVMs. For a family of POVMs Πi=ψEJM,iψEJM,i\Pi_i=\ket{\psi_{\mathrm{EJM},i}}\bra{\psi_{\mathrm{EJM},i}}2, joint measurability means the existence of a parent POVM Πi=ψEJM,iψEJM,i\Pi_i=\ket{\psi_{\mathrm{EJM},i}}\bra{\psi_{\mathrm{EJM},i}}3 and classical post-processing probabilities Πi=ψEJM,iψEJM,i\Pi_i=\ket{\psi_{\mathrm{EJM},i}}\bra{\psi_{\mathrm{EJM},i}}4 such that

Πi=ψEJM,iψEJM,i\Pi_i=\ket{\psi_{\mathrm{EJM},i}}\bra{\psi_{\mathrm{EJM},i}}5

and a central theorem states that a set of POVMs is not jointly measurable if and only if it can demonstrate quantum steering (Uola et al., 2014). In the qubit setting, minimal Naimark dilation sharpens this criterion: a POVM Πi=ψEJM,iψEJM,i\Pi_i=\ket{\psi_{\mathrm{EJM},i}}\bra{\psi_{\mathrm{EJM},i}}6 is jointly measurable with a given POVM Πi=ψEJM,iψEJM,i\Pi_i=\ket{\psi_{\mathrm{EJM},i}}\bra{\psi_{\mathrm{EJM},i}}7 iff there exists a block-diagonal POVM Πi=ψEJM,iψEJM,i\Pi_i=\ket{\psi_{\mathrm{EJM},i}}\bra{\psi_{\mathrm{EJM},i}}8 in the minimal dilation of Πi=ψEJM,iψEJM,i\Pi_i=\ket{\psi_{\mathrm{EJM},i}}\bra{\psi_{\mathrm{EJM},i}}9, equivalently MEJM=18(1+i1+i1i1i 2i002i 02i2i0 1i1i1+i1+i),M_{\mathrm{EJM}} = \frac{1}{\sqrt{8}} \begin{pmatrix} 1+i & -1+i & 1-i & -1-i \ -2i & 0 & 0 & -2i \ 0 & 2i & 2i & 0 \ 1-i & -1-i & 1+i & -1+i \end{pmatrix},0 for all MEJM=18(1+i1+i1i1i 2i002i 02i2i0 1i1i1+i1+i),M_{\mathrm{EJM}} = \frac{1}{\sqrt{8}} \begin{pmatrix} 1+i & -1+i & 1-i & -1-i \ -2i & 0 & 0 & -2i \ 0 & 2i & 2i & 0 \ 1-i & -1-i & 1+i & -1+i \end{pmatrix},1, with

MEJM=18(1+i1+i1i1i 2i002i 02i2i0 1i1i1+i1+i),M_{\mathrm{EJM}} = \frac{1}{\sqrt{8}} \begin{pmatrix} 1+i & -1+i & 1-i & -1-i \ -2i & 0 & 0 & -2i \ 0 & 2i & 2i & 0 \ 1-i & -1-i & 1+i & -1+i \end{pmatrix},2

(Pellonpää et al., 2022).

A broader usage of “elegant joint measurement” also appears in continuous-variable and generalized projective settings. In generalized Arthurs–Kelly models with correlated probes, the induced observable is a covariant phase-space POVM

MEJM=18(1+i1+i1i1i 2i002i 02i2i0 1i1i1+i1+i),M_{\mathrm{EJM}} = \frac{1}{\sqrt{8}} \begin{pmatrix} 1+i & -1+i & 1-i & -1-i \ -2i & 0 & 0 & -2i \ 0 & 2i & 2i & 0 \ 1-i & -1-i & 1+i & -1+i \end{pmatrix},3

its marginals are smearings of sharp position and momentum observables, and correlated probes can produce more precise joint measurement outcomes of position and momentum than the same probes can achieve if applied alone, while still obeying

MEJM=18(1+i1+i1i1i 2i002i 02i2i0 1i1i1+i1+i),M_{\mathrm{EJM}} = \frac{1}{\sqrt{8}} \begin{pmatrix} 1+i & -1+i & 1-i & -1-i \ -2i & 0 & 0 & -2i \ 0 & 2i & 2i & 0 \ 1-i & -1-i & 1+i & -1+i \end{pmatrix},4

(Bullock et al., 2014). A different projective construction for noncommuting observables defines a generalized joint observable

MEJM=18(1+i1+i1i1i 2i002i 02i2i0 1i1i1+i1+i),M_{\mathrm{EJM}} = \frac{1}{\sqrt{8}} \begin{pmatrix} 1+i & -1+i & 1-i & -1-i \ -2i & 0 & 0 & -2i \ 0 & 2i & 2i & 0 \ 1-i & -1-i & 1+i & -1+i \end{pmatrix},5

which is a generalized PVM with correct margins and induces a generalized functional calculus MEJM=18(1+i1+i1i1i 2i002i 02i2i0 1i1i1+i1+i),M_{\mathrm{EJM}} = \frac{1}{\sqrt{8}} \begin{pmatrix} 1+i & -1+i & 1-i & -1-i \ -2i & 0 & 0 & -2i \ 0 & 2i & 2i & 0 \ 1-i & -1-i & 1+i & -1+i \end{pmatrix},6 for noncommuting pairs (DeJonghe et al., 2014).

In quantum computing, “elegance” can also mean compressing many incompatible measurements into a single structured joint measurement. Joint Bell measurement VQE uses two copies of the variational state and the identity

MEJM=18(1+i1+i1i1i 2i002i 02i2i0 1i1i1+i1+i),M_{\mathrm{EJM}} = \frac{1}{\sqrt{8}} \begin{pmatrix} 1+i & -1+i & 1-i & -1-i \ -2i & 0 & 0 & -2i \ 0 & 2i & 2i & 0 \ 1-i & -1-i & 1+i & -1+i \end{pmatrix},7

to estimate all absolute values MEJM=18(1+i1+i1i1i 2i002i 02i2i0 1i1i1+i1+i),M_{\mathrm{EJM}} = \frac{1}{\sqrt{8}} \begin{pmatrix} 1+i & -1+i & 1-i & -1-i \ -2i & 0 & 0 & -2i \ 0 & 2i & 2i & 0 \ 1-i & -1-i & 1+i & -1+i \end{pmatrix},8 at once, replacing at least MEJM=18(1+i1+i1i1i 2i002i 02i2i0 1i1i1+i1+i),M_{\mathrm{EJM}} = \frac{1}{\sqrt{8}} \begin{pmatrix} 1+i & -1+i & 1-i & -1-i \ -2i & 0 & 0 & -2i \ 0 & 2i & 2i & 0 \ 1-i & -1-i & 1+i & -1+i \end{pmatrix},9 grouped single-copy circuits per iteration by Mk=ψkψkM_k=|\psi_k\rangle\langle\psi_k|0 Bell-measurement circuits for absolute-value updates (Cao et al., 2023). In continuous-variable metrology, an SU(1,1) interferometer enables simultaneous measurement of multiple non-commuting quadratures with “signal-to-noise ratio improvement of about Mk=ψkψkM_k=|\psi_k\rangle\langle\psi_k|1 over the standard quantum limit on all measured quantities simultaneously” (Liu et al., 2017). In single-photon qubit experiments, near-optimal joint measurements of Mk=ψkψkM_k=|\psi_k\rangle\langle\psi_k|2 and Mk=ψkψkM_k=|\psi_k\rangle\langle\psi_k|3 approached tight Branciard bounds, aided by “Exceptional quantum state fidelities of up to Mk=ψkψkM_k=|\psi_k\rangle\langle\psi_k|4” (Ringbauer et al., 2013).

Within this broader landscape, the two-qubit EJM remains distinctive: it is a specific projective entangled measurement with tetrahedral local marginals, concurrence Mk=ψkψkM_k=|\psi_k\rangle\langle\psi_k|5, optimal three-ebit localization cost, experimentally demonstrated entanglement-swapping functionality, and a now-proven non-classical triangle-network distribution (Pauwels et al., 2024, Gitton et al., 16 Oct 2025).

Definition Search Book Streamline Icon: https://streamlinehq.com
References (18)

Topic to Video (Beta)

No one has generated a video about this topic yet.

Whiteboard

No one has generated a whiteboard explanation for this topic yet.

Follow Topic

Get notified by email when new papers are published related to Elegant Joint Measurement.