---
title: Elegant Joint Measurement in Quantum Networks
url: https://www.emergentmind.com/topics/elegant-joint-measurement
type: topic
---

# Elegant Joint Measurement in Quantum Networks

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 [2408.00831]. 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 [1708.05556][2307.06998].

## 1. Canonical definition and explicit form

The EJM is a rank-1 projective measurement on two qubits, with four outcomes
\[
\{M_k\}_{k=1}^4,\qquad M_k=|\psi_k\rangle\langle\psi_k|,
\]
where the four eigenvectors form an orthonormal basis of \(\mathbb{C}^2\otimes\mathbb{C}^2\) and satisfy \(\sum_{k=1}^4 M_k=I_4\) [2408.00831]. A canonical construction uses the four tetrahedral Bloch directions
\[
\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 \(|\pm\vec m_i\rangle\) of \(\vec m_i\cdot\vec\sigma\). The EJM basis states are
\[
\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 \(\Pi_i=\ket{\psi_{\mathrm{EJM},i}}\bra{\psi_{\mathrm{EJM},i}}\) [2509.01852].

Equivalent computational-basis representatives are given by the columns of the unitary matrix
\[
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 \(M_k=|\psi_k\rangle\langle\psi_k|\) and \(\sum_k M_k=I_4\) [2408.00831]. An equivalent projective basis also appears in the form
\[
|e_{ij}(\theta)\rangle,\qquad ij\in\{00,01,10,11\},
\]
with the EJM recovered at a specific parameter choice and the BSM obtained at \(\theta=\pi/2\) up to local unitaries [2402.02462].

The local reduced states already exhibit the defining geometry. Writing
\[
a=\frac{\sqrt{3}+1}{2\sqrt{2}},\qquad
b=\frac{\sqrt{3}-1}{2\sqrt{2}},
\]
one has
\[
\rho^{(A)}_i
=
|a|^2\ket{\vec m_i}\bra{\vec m_i}
+
|b|^2\ket{-\vec m_i}\bra{-\vec m_i},
\qquad
\rho^{(B)}_i
=
|a|^2\ket{-\vec m_i}\bra{-\vec m_i}
+
|b|^2\ket{\vec m_i}\bra{\vec m_i},
\]
so the two local Bloch vectors have equal magnitude \(\sqrt{3}/2\) and opposite orientations [2509.01852]. In the tangle convention
\[
t(\psi)=2\bigl(1-\mathrm{Tr}(\rho_A^2)\bigr)=1-|\vec r_A|^2,
\]
the EJM is iso-entangled with
\[
t(\psi_k)=\frac{1}{4}\quad\text{for all }k,
\]
equivalently concurrence \(C=1/2\) and reduced Bloch length \(|\vec r_A|=|\vec r_B|=\sqrt{3}/2\) [2408.00831].

## 2. Symmetry, iso-entanglement, and classification

The EJM is distinguished by tetrahedral symmetry of its single-qubit marginals. For the reduced Bloch vectors \(\vec r_A^{(k)}\) and \(\vec r_B^{(k)}\),
\[
\vec r_{A}^{(k)}\cdot \vec r_{A}^{(\ell)}
=
\vec r_{B}^{(k)}\cdot \vec r_{B}^{(\ell)}
=
\begin{cases}
3/4 & \text{if } k=\ell,\\
-1/4 & \text{if } k\neq \ell,
\end{cases}
\]
so the four local states on each side form a regular tetrahedron on the Bloch sphere [2408.00831]. 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 [1708.05556].

A complete classification of all equivalence classes of iso-entangled bases for projective joint measurements on \(2\) qubits yields four inequivalent families: Skewed product, Elegant, Bell, and General [2307.06998]. Within that classification, the Elegant family \(I^{(2)}\) has
\[
\xi^{(2)}=\frac{\sin^2(2\theta)}{4},
\]
and the EJM is the extremal point of the Elegant family at \(\theta=\pi/4\) and \(\zeta=\pi/2\) [2307.06998]. The Bell family \(I^{(3)}\) contains the BSM as the unique maximally entangled basis up to local unitaries, whereas the Elegant family is bounded by \(\xi\le 1/4\) [2307.06998].

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 \((\sqrt{3}/2)\cos\theta\), the concurrence is
\[
C(\theta)=\sqrt{1-\frac{3}{4}\cos^2\theta},
\]
and \(\theta=\pi/2\) yields the BSM up to local unitaries [2203.16207]. 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 \(z\), \(\varphi\), and \(\theta\), with
\[
|z|\in\Big[\frac{1}{\sqrt{3}},\,1\Big],\qquad \theta\in[0,\pi/2],
\]
and preserves two mirror-image tetrahedrons in the reduced states for all allowed parameters [2408.06179]. 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 [2408.06179].

A complementary construction, termed a symmetric joint measurement, spans concurrence from \(0\) to \(1/2\), contains the PBM and the original EJM, and replaces the original EJM’s mirror symmetry by rotational symmetry of the reduction vectors [2602.04173]. In parallel, multiqubit work identifies tetrahedrally symmetric, efficiently localizable multiqubit bases; for two qubits, these criteria uniquely select the EJM [2509.01852].

## 3. Triangle-network correlations and certified non-classicality

The EJM was introduced as a natural joint measurement on two qubits in the study of \(N\)-locality without inputs in long lines and in configurations with loops, especially the triangle [1708.05556]. 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:
\[
p(a=k,b=k,c=k)=\frac{25}{256},
\]
\[
p(a=k,b=k,c=m)=\frac{1}{256}\quad\text{for }k\neq m,
\]
\[
p(a=k,b=n,c=m)=\frac{5}{256}\quad\text{for all }k\neq n\neq m\neq k,
\]
with
\[
p(a)=p(b)=p(c)=\frac{1}{4},\qquad p(a=b)=\frac{7}{16},\qquad p(a=b=c)=\frac{25}{64}
\]
[1708.05556]. The same work derived line and polygon formulas, including
\[
p_{\mathrm{line}(a_1=\cdots=a_n)}
=
\frac{(\sqrt{3}+1)^{2n}+(\sqrt{3}-1)^{2n}}{2^{4n-1}}
\]
and
\[
p_{\mathrm{polygon}(a_1=\cdots=a_N)}
=
\frac{\big( (-\sqrt{3}-1)^N + (\sqrt{3}-1)^N\big)^2}{4^{2N-1}},
\]
together with the asymptotic conditional probability
\[
p_{\mathrm{polygon}(a_1=\cdots=a_N \mid a_1=\cdots=a_{N-1})}
\xrightarrow[N\to\infty]{}
\frac{1}{8-4\sqrt{3}}
\approx 0.933
\]
[1708.05556].

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 [2510.15143]. In that formulation, the noisy family
\[
P_v(a,b,c)=v\cdot \pureejm(a,b,c)+(1-v)\cdot \frac{1}{64}
\]
contains the EJM point at \(v=75\%\), and the proof establishes
\[
v^*<\frac{383}{512}\approx 74.8\%,
\]
hence the EJM distribution lies outside the classical triangle set [2510.15143]. The exact EJM probabilities are equivalently
\[
P_{\mathrm{EJM}}(a,b,c)=
\begin{cases}
25/256 &\text{if } a=b=c,\\
5/256 &\text{if } a\neq b\neq c\neq a,\\
1/256 &\text{otherwise,}
\end{cases}
\]
which matches the earlier network construction [2510.15143].

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 [2510.15143].

## 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 [2006.16694]. The generalized basis is
\[
|ψ_b(θ)\rangle = \alpha(θ)\,|m_b\rangle\otimes|−m_b\rangle + \beta(θ)\,|−m_b\rangle\otimes|m_b\rangle,
\]
with
\[
\alpha(\theta)=\frac{\sqrt{3} + e^{i \theta}}{2\sqrt{2}}, \qquad
\beta(\theta)=\frac{\sqrt{3} - e^{i \theta}}{2\sqrt{2}},
\]
and \(\theta=0\) gives the original EJM while \(\theta=\pi/2\) yields the BSM up to local unitaries [2006.16694]. For the first network Bell inequality, equal visibilities satisfy
\[
3V^2 + V\cos\theta > 3,
\]
and at \(\theta=0\) the critical visibility is
\[
V_{\min}(θ{=}0) = \frac{-1 + \sqrt{37}}{6} \approx 0.847
\]
[2006.16694].

An extended bilocal scenario with ternary inputs and sequential measurements further shows that simultaneous violation can be captured for \((n,m)\in\{(2,1),(1,2),(1,1),(2,2)\}\), that no simultaneous violation occurs at \(Z=0\), and that introducing nonlinearity enables simultaneous violations across all four subnetworks [2406.00838]. The dependence on \(\theta\) is explicit: higher entanglement of the joint basis raises the nonlinearity threshold required for simultaneous sharing [2406.00838].

Experimentally, deterministic entanglement swapping based on quantum Elegant Joint Measurements has been realized with hyper-entanglement [2203.16207]. 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 \(97.4\%\)” [2203.16207]. The same experiment demonstrated proof-of-principle violations of both bilocal Bell inequalities and more stringent correlation criteria corresponding to full network nonlocality [2203.16207]. The theoretical correlators used there satisfy
\[
\langle A_x B^y C_z\rangle = 0 \text{ or } -\frac{1 + (-1)^\sigma \sin\theta}{2},
\]
depending on the permutation structure, and the bilocal expression takes the ideal form
\[
\mathcal{B}_{\mathrm{qm}}=3+\cos\theta
\]
[2203.16207].

These results establish the EJM as a concrete entangled-measurement resource in network nonlocality, rather than a purely geometric alternative to the BSM [2006.16694][2203.16207].

## 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 [2408.00831]. The cost statement is
\[
E_{\mathrm{cost}(\mathrm{EJM})}=3\ \text{ebits},
\]
with the resource inequality
\[
[\mathrm{EJM}] \preceq \mathrm{LOCC} + 3\,\text{ebits},
\]
and semidefinite-program relaxations certify that the EJM cannot be localized with fewer than three ebits [2408.00831]. 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 [2408.00831].

Teleportation based on the EJM treats it as a generalization of the BSM parameterized by \(\theta\in[0,\pi/2]\) [2402.02462]. In that setting, the four EJM basis states are \(|e_{ij}(\theta)\rangle\), the post-measurement correction is generally nonunitary, and the total success probability is
\[
p_{\mathrm{succ}}(\theta)=1-\frac{\sqrt{3}}{2}\cos\theta.
\]
The conditional fidelity is
\[
F_{\mathrm{cond}}(\theta)=1,
\]
and \(\theta=\pi/2\) recovers deterministic conventional teleportation because the correction becomes unitary [2402.02462]. 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 [2509.01852]. 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 [2509.01852]. The three-qubit case already exhibits four distinct three-tangle values among regular tetrahedral fiducials, and the four-qubit case displays two tetrahedron sizes,
\[
\|\vec m\|=\frac{\sqrt{3}}{8}
\quad\text{and}\quad
\|\vec m\|=\frac{3\sqrt{3}}{8},
\]
together with chiral structures not present in the two-qubit setting [2509.01852]. 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 [2602.04173].

## 6. Broader joint-measurement landscape and related usages

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 \(\{E_x^{(a)}\}\), joint measurability means the existence of a parent POVM \(\{G_\lambda\}\) and classical post-processing probabilities \(p(a|x,\lambda)\) such that
\[
E_x^{(a)}=\sum_\lambda p(a|x,\lambda)G_\lambda,
\]
and a central theorem states that a set of POVMs is not jointly measurable if and only if it can demonstrate quantum steering [1407.2224]. In the qubit setting, minimal Naimark dilation sharpens this criterion: a POVM \(B\) is jointly measurable with a given POVM \(M\) iff there exists a block-diagonal POVM \(F\) in the minimal dilation of \(M\), equivalently \([F_j,\Pi_i]=0\) for all \(i,j\), with
\[
B_j=V^\dagger F_j V
\]
[2208.13588].

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
\[
G(Z)=\frac{1}{2\pi}\int_Z dq\,dp\, W_{qp}\,\tau\,W_{qp}^\dagger,
\]
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
\[
\mathrm{Var}(e^{(\lambda,\mu)})\,\mathrm{Var}(f^{(\lambda,\mu)})\ge \frac{1}{4}
\]
[1405.5840]. A different projective construction for noncommuting observables defines a generalized joint observable
\[
J_{A,B}(S):=\bigvee_{R_1\times R_2\subset S} A(R_1)\wedge B(R_2),
\]
which is a generalized PVM with correct margins and induces a generalized functional calculus \(f(A,B)\) for noncommuting pairs [1407.7606].

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
\[
\mathrm{Tr}[(\rho\otimes\rho)(P\otimes P)] = \langle P\rangle^2
\]
to estimate all absolute values \(|\langle P_j\rangle|\) at once, replacing at least \(O(n^2)\) grouped single-copy circuits per iteration by \(O(1)\) Bell-measurement circuits for absolute-value updates [2307.00766]. 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 \(20 \%\) over the standard quantum limit on all measured quantities simultaneously” [1712.01553]. In single-photon qubit experiments, near-optimal joint measurements of \(\sigma_x\) and \(\sigma_z\) approached tight Branciard bounds, aided by “Exceptional quantum state fidelities of up to \(0.99998(6)\)” [1308.5688].

Within this broader landscape, the two-qubit EJM remains distinctive: it is a specific projective entangled measurement with tetrahedral local marginals, concurrence \(1/2\), optimal three-ebit localization cost, experimentally demonstrated entanglement-swapping functionality, and a now-proven non-classical triangle-network distribution [2408.00831][2510.15143].

Source: https://www.emergentmind.com/topics/elegant-joint-measurement