Homogeneous QMV Protocols

• Homogeneous QMV protocols are quantum measurement verification methods characterized by a uniform affine operator structure relative to the target basis.
• They utilize symmetry reduction to transform the verification of entangled von Neumann measurements into a single, optimized operator problem, thus simplifying analysis and reducing sample complexity.
• These protocols enable direct fidelity estimation from pass probabilities while ensuring an error-free outcome in ideal measurement scenarios.

Searching arXiv for the primary paper and closely related verification work. Homogeneous QMV protocols are protocols for quantum measurement verification (QMV) in which the outcome verification operators have a uniform affine form relative to the target measurement basis. In the setting developed for entangled von Neumann measurements with only local product-state preparations, a homogeneous protocol is defined by

$$\Omega_\theta(\mathcal S) = \frac{\ket{\psi_\theta}\!\bra{\psi_\theta}+\beta(1-\ket{\psi_\theta}\!\bra{\psi_\theta})}{d^n}, \quad \forall \theta\in\Theta,$$

where $$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$ is the target measurement, $|\Theta|=d^n$, and $\beta$ controls the spectral gap and hence the verification efficiency (Wang et al., 19 Jun 2026). In this framework, symmetry reduces locality-constrained verification of an entire entangled measurement to quantum state verification of a single basis element, and homogeneous protocols acquire two distinctive properties: a closed-form bad-case pass probability,

$P(\mathcal S,\varepsilon)=1-(1-\beta)\varepsilon,$

and a direct linear relation between pass frequency and measurement fidelity (Wang et al., 19 Jun 2026). The concept is closely connected to earlier work on homogeneous quantum state verification, where operators of the form $(1-\nu)\openone+\nu|\psi\rangle\langle\psi|$ were treated as the canonical homogeneous verification ansatz for entangled states (Liu et al., 2022).

1. Formal setting of quantum measurement verification

Quantum measurement verification concerns a device $\mathscr D$ that is supposed to implement a von Neumann measurement

$$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$

on $n$ parties, where $\{\ket{\psi_\theta}\}_{\theta\in\Theta}$ is an orthonormal basis of $$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$0, $$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$1, and $$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$2 (Wang et al., 19 Jun 2026). The actual device may instead implement a POVM

$$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$3

The verification task is to distinguish the ideal case from the bad case in which the measurement fidelity satisfies

$$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$4

(Wang et al., 19 Jun 2026).

The protocols considered in this setting use only local product-state preparations, even when the target basis states are entangled (Wang et al., 19 Jun 2026). A protocol is specified by

$$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$5

where one samples $$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$6, prepares $$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$7, inputs it to the device, and accepts if the reported outcome belongs to

$$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$8

(Wang et al., 19 Jun 2026). This protocol is one-sided and error-free in the good case, because the ideal measurement always outputs an outcome in the support of the ideal distribution.

For each outcome $$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$9, the protocol induces an outcome verification operator

$|\Theta|=d^n$0

The single-round pass probability against $|\Theta|=d^n$1 is

$|\Theta|=d^n$2

and the worst-case bad-case pass probability is

$|\Theta|=d^n$3

(Wang et al., 19 Jun 2026). After $|\Theta|=d^n$4 independent rounds, bad devices pass with probability at most $|\Theta|=d^n$5, so the sample complexity is

$|\Theta|=d^n$6

(Wang et al., 19 Jun 2026).

2. Homogeneous protocols and their operator structure

The defining feature of a homogeneous QMV protocol is that every outcome operator has the same affine form with respect to the corresponding target basis projector: $|\Theta|=d^n$7 (Wang et al., 19 Jun 2026). Equivalently, with

$|\Theta|=d^n$8

one has

$|\Theta|=d^n$9

(Wang et al., 19 Jun 2026). Thus $\beta$0 has eigenvalue $\beta$1 on $\beta$2 and eigenvalue $\beta$3 on the orthogonal complement.

This form is directly analogous to the homogeneous ansatz in quantum state verification,

$\beta$4

which was developed as a general design principle for local verification of arbitrary entangled pure states (Liu et al., 2022). A plausible implication is that homogeneous QMV inherits from homogeneous QSV both an operator-level simplification and a spectral characterization of efficiency.

For symmetric QMV protocols satisfying the reduction theorem, the second-largest eigenvalue of $\beta$5 is independent of $\beta$6. Writing this common value as $\beta$7,

$\beta$8

(Wang et al., 19 Jun 2026). In the homogeneous case,

$\beta$9

so

$P(\mathcal S,\varepsilon)=1-(1-\beta)\varepsilon,$0

(Wang et al., 19 Jun 2026). This is the central operational simplification: the entire verification problem is controlled by a single parameter $P(\mathcal S,\varepsilon)=1-(1-\beta)\varepsilon,$1.

The one-sided condition is preserved at the operator level. Under the symmetry reduction,

$P(\mathcal S,\varepsilon)=1-(1-\beta)\varepsilon,$2

so the ideal measurement passes every round with certainty (Wang et al., 19 Jun 2026).

3. Symmetry reduction and the role of local transitivity

The structural reason homogeneous QMV protocols are tractable is a symmetry reduction theorem for locally transitive and irreducible projective measurements (Wang et al., 19 Jun 2026). A von Neumann measurement is locally transitive if there exists a finite group $P(\mathcal S,\varepsilon)=1-(1-\beta)\varepsilon,$3 acting transitively on $P(\mathcal S,\varepsilon)=1-(1-\beta)\varepsilon,$4 and a local unitary representation

$P(\mathcal S,\varepsilon)=1-(1-\beta)\varepsilon,$5

such that

$P(\mathcal S,\varepsilon)=1-(1-\beta)\varepsilon,$6

for all $P(\mathcal S,\varepsilon)=1-(1-\beta)\varepsilon,$7 (Wang et al., 19 Jun 2026). Irreducibility is formulated in terms of the stabilizer subgroup

$P(\mathcal S,\varepsilon)=1-(1-\beta)\varepsilon,$8

and excludes equivalent irreducible subspaces between the target line and its orthogonal complement (Wang et al., 19 Jun 2026).

Any local protocol can then be symmetrized as

$P(\mathcal S,\varepsilon)=1-(1-\beta)\varepsilon,$9

while preserving locality and without increasing the bad-case pass probability (Wang et al., 19 Jun 2026). This permits the search for optimal local protocols to be restricted to symmetric ones.

The main reduction theorem states that for a locally transitive and irreducible measurement, and any symmetric local QMV protocol,

$(1-\nu)\openone+\nu|\psi\rangle\langle\psi|$0

That is, QMV becomes exactly a QSV optimization problem for one representative basis state (Wang et al., 19 Jun 2026). This is the formal basis for the homogeneous-program viewpoint: protocol design can be reduced to the optimization of a single verification operator.

The proof proceeds by constructing, from any bad POVM $(1-\nu)\openone+\nu|\psi\rangle\langle\psi|$1, a density operator $(1-\nu)\openone+\nu|\psi\rangle\langle\psi|$2 such that

$(1-\nu)\openone+\nu|\psi\rangle\langle\psi|$3

and

$(1-\nu)\openone+\nu|\psi\rangle\langle\psi|$4

(Wang et al., 19 Jun 2026). Conversely, any admissible density operator can be twirled over the stabilizer and lifted back to a POVM, with irreducibility ensuring validity. This exact equivalence is the essential structural result of the theory.

4. Performance, sample complexity, and fidelity estimation

For homogeneous protocols, the bad-case single-round pass probability is

$(1-\nu)\openone+\nu|\psi\rangle\langle\psi|$5

(Wang et al., 19 Jun 2026). Consequently,

$(1-\nu)\openone+\nu|\psi\rangle\langle\psi|$6

and, for small $(1-\nu)\openone+\nu|\psi\rangle\langle\psi|$7,

$(1-\nu)\openone+\nu|\psi\rangle\langle\psi|$8

(Wang et al., 19 Jun 2026). Thus the verification complexity scales as $(1-\nu)\openone+\nu|\psi\rangle\langle\psi|$9, with only the constant prefactor depending on the spectral gap $\mathscr D$0.

A major practical advantage of homogeneous QMV protocols is that they support direct fidelity estimation from pass frequencies. For any measurement $\mathscr D$1,

$\mathscr D$2

or equivalently,

$\mathscr D$3

where

$\mathscr D$4

is the average pass probability (Wang et al., 19 Jun 2026). If $\mathscr D$5 of $\mathscr D$6 rounds pass, then $\mathscr D$7 and the natural estimator is

$\mathscr D$8

This estimator is unbiased (Wang et al., 19 Jun 2026).

The paper derives

$\mathscr D$9

so to achieve estimation precision $$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$0,

$$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$1

With Chebyshev,

$$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$2

and confidence $$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$3 is guaranteed if

$$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$4

(Wang et al., 19 Jun 2026).

This direct pass–fidelity relation is specific to homogeneous protocols. A plausible implication is that homogeneity is valuable not only for certification complexity but also for calibration workflows in which one wants a quantitative fidelity estimate rather than a purely accept/reject decision.

5. Explicit protocol families

The framework is instantiated for several highly symmetric entangled measurements, each yielding explicit local homogeneous protocols with closed-form $$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$5, pass probabilities, and sample complexities (Wang et al., 19 Jun 2026).

Measurement family	Homogeneous parameter $$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$6	Pass bound
Generalized Bell measurements	$$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$7	$$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$8
Single-parameter two-qubit measurements	$$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$9	$n$0
Elegant joint measurements	$n$1	$n$2
Stabilizer state-induced measurements	$n$3	$n$4

For generalized Bell measurements, the target basis is

$n$5

and the protocol uses a complete set of $n$6 mutually unbiased bases (Wang et al., 19 Jun 2026). The outcome operator is

$n$7

Hence

$n$8

and

$n$9

(Wang et al., 19 Jun 2026). For prime $\{\ket{\psi_\theta}\}_{\theta\in\Theta}$0, this local protocol is optimal (Wang et al., 19 Jun 2026).

For the single-parameter two-qubit measurement

$\{\ket{\psi_\theta}\}_{\theta\in\Theta}$1

the protocol uses 12 equally weighted product states drawn from computational, $\{\ket{\psi_\theta}\}_{\theta\in\Theta}$2-basis, and $\{\ket{\psi_\theta}\}_{\theta\in\Theta}$3-basis tests (Wang et al., 19 Jun 2026). Its homogeneous operator is

$\{\ket{\psi_\theta}\}_{\theta\in\Theta}$4

so

$\{\ket{\psi_\theta}\}_{\theta\in\Theta}$5

and

$\{\ket{\psi_\theta}\}_{\theta\in\Theta}$6

(Wang et al., 19 Jun 2026).

For elegant joint measurements, the operator takes the homogeneous form

$\{\ket{\psi_\theta}\}_{\theta\in\Theta}$7

with

$\{\ket{\psi_\theta}\}_{\theta\in\Theta}$8

(Wang et al., 19 Jun 2026). The resulting complexity is

$\{\ket{\psi_\theta}\}_{\theta\in\Theta}$9

(Wang et al., 19 Jun 2026).

For stabilizer state-induced measurements, if $$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$00 is a stabilizer state on $$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$01 qudits and its Weyl orbit forms the basis, then

$$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$02

where

$$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$03

(Wang et al., 19 Jun 2026). This yields

$$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$04

(Wang et al., 19 Jun 2026).

6. Relation to homogeneous quantum state verification

Homogeneous QMV protocols are best understood as an extension of earlier homogeneous quantum state verification methods (Liu et al., 2022). In QSV, the operator ansatz

$$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$05

was used to design local verification protocols for arbitrary entangled pure states (Liu et al., 2022). That work introduced the broader notion of choice-independent measurement protocols, in which only pass/fail counts matter and the specific association of settings to outcomes can be absorbed into an operator-level description (Liu et al., 2022). It also provided locality criteria in terms of quasi-probability positivity and completeness, especially for local Pauli projections (Liu et al., 2022).

Several features of the QMV framework parallel the QSV setting directly. In QSV, the bad-state pass probability is governed by the spectral gap

$$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$06

and the sample complexity satisfies

$$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$07

(Liu et al., 2022). In QMV, after symmetry reduction, the same structure reappears with $$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$08 (Wang et al., 19 Jun 2026). This suggests that homogeneous QMV is not a separate technique so much as a measurement-theoretic lift of homogeneous QSV to symmetric entangled basis verification.

This also clarifies the phrase “optimization of homogeneous verification operators” used in the QMV work (Wang et al., 19 Jun 2026). The optimization is not over arbitrary local test ensembles first; instead, one optimizes the single-state verification operator $$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$09, exactly as in homogeneous QSV (Liu et al., 2022).

7. Scope, assumptions, and limitations

The framework applies to entangled von Neumann measurements verified using local product-state preparations (Wang et al., 19 Jun 2026). The target measurements must be projective, and the principal reduction theorem requires local transitivity and irreducibility (Wang et al., 19 Jun 2026). The paper explicitly identifies the extension beyond locally transitive and irreducible projective measurements as an open direction (Wang et al., 19 Jun 2026).

The analysis assumes independent rounds and treats the device within an i.i.d.-style verification model; incorporating non-i.i.d. device behavior is listed as future work (Wang et al., 19 Jun 2026). The paper also highlights imperfect state preparation and sharper finite-sample confidence bounds as open issues (Wang et al., 19 Jun 2026).

Another limitation is that the protocols are designed under locality constraints on state preparation, not under arbitrary adversarial restrictions on the measurement device. This is deliberate: the central objective is to verify entangled measurements without having to prepare entangled input states (Wang et al., 19 Jun 2026). A plausible implication is that the framework is particularly well matched to experimental settings in which entangled measurements are available but entangled-state preparation is more costly or less reliable.

The comparison with unconstrained verification is explicit. If one could prepare the basis state $$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$10 directly, then the unconstrained optimum would achieve

$$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$11

Under locality constraints, homogeneous QMV retains the same $$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$12 scaling, but incurs only a constant-factor penalty in the examples analyzed (Wang et al., 19 Jun 2026).

8. Interpretation and significance

Homogeneous QMV protocols are significant because they transform entangled-measurement verification into an operator-theoretic problem with closed-form performance. Their defining uniformity condition on $$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$13 produces three consequences that are structurally central.

First, symmetry compression: for locally transitive and irreducible projective measurements, the entire measurement verification problem reduces to the state verification of one representative basis vector (Wang et al., 19 Jun 2026). Second, spectral simplicity: the bad-case pass probability depends only on $$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$14, via

$$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$15

(Wang et al., 19 Jun 2026). Third, direct calibration capability: fidelity is linearly recoverable from pass rates,

$$\mathcal P=\{\ket{\psi_\theta}\!\bra{\psi_\theta}\}_{\theta\in\Theta}$$16

(Wang et al., 19 Jun 2026).

This gives homogeneous QMV protocols a distinctive methodological role. They are not merely a subclass of local verification strategies; they are the class for which protocol design, complexity analysis, and fidelity estimation all collapse to one scalar parameter once symmetry has been exploited. The close relationship to earlier homogeneous QSV methods further suggests a general pattern: symmetry and homogeneous operator structure provide a common route to scalable verification of both states and measurements (Liu et al., 2022, Wang et al., 19 Jun 2026).

The framework does not claim universality. It does not cover arbitrary POVMs without the projective, symmetric structure, nor does it eliminate the need for explicit protocol construction in less symmetric settings. But within its domain—entangled projective measurements admitting local transitive symmetry—it establishes a precise and reusable theory of local verification by homogeneous operators, with explicit constructions for generalized Bell, single-parameter two-qubit, elegant joint, and stabilizer-induced measurements (Wang et al., 19 Jun 2026).