---
title: Non-Collapsing Measurement Oracle
url: https://www.emergentmind.com/topics/non-collapsing-measurement-oracle
type: topic
---

# Non-Collapsing Measurement Oracle

A non-collapsing measurement oracle is a hypothetical resource that returns measurement outcomes from a quantum state without disturbing the state that generated them. In the complexity-theoretic literature, it appears as an oracle augmenting quantum computation beyond standard BQP; in collapse-free or passive variants of quantum theory, it corresponds to retaining Born-rule outcome statistics while removing the projection postulate. Across these settings, the same core departure from standard quantum mechanics recurs: measurement outcomes occur probabilistically, but the post-measurement state is not updated by collapse [2411.04085] [2303.13411].

## 1. Formal oracle definitions

In formal oracle models, the input is typically a classical description of a quantum circuit of the form
\[
C=(U_1,M_1,\ldots,U_T,M_T),
\]
where the \(U_t\) are unitaries and the \(M_t\) are projective measurements. One explicit definition initializes \(|\psi_0\rangle:=|0^\ell\rangle\), evolves through the circuit, and after each standard measurement \(M_t\) with outcome \(u_t\) defines the corresponding post-measurement state
\[
|\psi_t\rangle=\frac{(P_{u_t}\otimes I)U_t|\psi_{t-1}\rangle}{\left\|(P_{u_t}\otimes I)U_t|\psi_{t-1}\rangle\right\|}.
\]
The non-collapsing measurement oracle then samples
\[
v_t\in\{0,1\}^\ell \quad\text{with probability}\quad |\langle v_t|\psi_t\rangle|^2
\]
and outputs the tuple \((v_1,\ldots,v_T)\), while leaving the relevant state unchanged for the purpose of further non-collapsing access [2510.04448]. A related formulation in PDQP uses an oracle \(\mathcal{Q}_P\) or \(\mathcal{Q}_P^*\) acting on a circuit \(C=(U_1,M_1,\ldots,U_P,M_P)\), with an equivalent explicit circuit-based construction using parallel tensor-product “snapshots,” written as
\[
U_i^*=U_i^{\otimes r_i},\qquad
M_i^*=\sum_n d_{i,n}\bigl(|n\rangle\langle n|\bigr)^{\otimes r_i},
\]
so that the full process builds a joint state \(\psi_P^*=\bigotimes_{i=1}^P \psi_i\) while preserving the desired marginals [2411.04085].

This oracle is therefore not merely a measurement primitive in the ordinary sense. It is a black-box sampling mechanism that exposes the Born-rule distribution of an intermediate or final quantum state without the usual disturbance associated with projective measurement. In standard quantum mechanics, repeated measurements in a basis after the first collapse would cease to provide fresh information; in the oracle model, repeated access continues to provide new samples from the same unchanged distribution.

## 2. Collapse-free and algebraic formulations

A related but distinct line of work studies quantum measurement without collapse at the level of physical or interpretational formalism. In passive quantum theory, observables remain Hermitian operators on a Hilbert space, states remain rays or density operators, and dynamics remain unitary, but measurement does not update the state. If
\[
A=\sum_r a_r P_r,
\]
then the probability of outcome \(a_r\) is still
\[
p_A(a_r)=\langle\psi|P_r|\psi\rangle,
\]
yet the state-update rule becomes
\[
|\psi\rangle \xrightarrow{\text{measure }A,\,a_r} |\psi\rangle
\]
rather than projection onto an eigenspace [2303.13411].

Pavel Bóna’s “Quantum Measurement Without Collapse” formulates an allied idea in algebraic language. The key restriction is that any “human observer” can observe simultaneously just mutually compatible observables, formalized by restricting attention to an abelian \(C^*\)-algebra \(\mathcal{A}\). For an entangled system–apparatus state
\[
|\Psi\rangle=\sum_j c_j|\psi_j\rangle\otimes|\Phi_j\rangle,
\]
the expectation of any accessible observable \(a\in\mathcal{A}\) is
\[
\langle\Psi|a|\Psi\rangle=\sum_j |c_j|^2 \langle\Phi_j|a|\Phi_j\rangle,
\]
which is mathematically equivalent, on the observer-accessible algebra, to a proper classical mixture over pointer states with weights \(|c_j|^2\) [2201.03705].

These formulations replace collapse by restriction. In pQT, this has strong informational consequences: a tomographically complete set of observables can be repeatedly measured on a single system, so a single system suffices for state reconstruction, non-orthogonal pure states become perfectly distinguishable from one copy, and measurement-based cloning becomes possible after the state is learned [2303.13411]. In Bóna’s framework, the same restriction to commuting observables is presented as yielding a trivial solution of the Schrödinger cat paradox: the observer never accesses the off-diagonal terms corresponding to “dead and alive,” only the classical mixture over compatible macroscopic pointer observables [2201.03705].

## 3. PDQP and the complexity of non-collapsing access

The complexity class PDQP was introduced as an alteration of BQP enhanced with the ability to obtain non-collapsing measurements, described as samples of quantum states without collapsing them. The class satisfies
\[
\mathrm{BQP}\subseteq \mathrm{PDQP},\qquad
\mathrm{SZK}\subseteq \mathrm{PDQP},
\]
and it is known that
\[
\mathrm{PDQP}\subseteq \mathrm{BPP}^{\mathsf{PP}}.
\]
At the same time, PostBQP is much more powerful, with \(\mathrm{PostBQP}=\mathrm{PP}\), so PDQP is characterized as “just above” BQP rather than comparable to full postselection power [2411.04085].

Because unrestricted non-collapsing measurements would trivialize several tasks, the literature measures power using both the number of black-box queries \(Q\) and the number of non-collapsing measurements \(P\). One general lower bound takes the form
\[
Q\cdot P=\Omega\!\left(\sqrt{\frac{mm'}{ll'}}\right),
\]
with \(m,m',l,l'\) derived from a weight scheme in the adversary method; under non-adaptive queries, the bound becomes
\[
Q\cdot P=\Omega\!\left(\max\!\left(\frac{m}{l},\frac{m'}{l'}\right)\right).
\]
This framework yields tighter lower bounds and explicit query–measurement trade-offs across canonical black-box problems [2411.04085].

| Problem | Standard BQP | PDQP |
|---|---|---|
| Unstructured Search | \(\widetilde{\Theta}(\sqrt{N})\) | \(\widetilde{\Theta}(N^{1/3})\) for \(Q+P\); \(\widetilde{\Theta}(\sqrt{N})\) for \(QP\) |
| Collision | \(\widetilde{\Theta}(N^{1/3})\) | \(\Theta(1)\) |
| Majority | \(\Theta(N)\) | Between \(O(N)\) and \(\Omega(N^{1/2})\); tight \(\Theta(N)\) for \(QP\) |
| Element Distinctness | \(\widetilde{\Theta}(N^{2/3})\) | \(O(N^{4/7})\), \(\Omega(N^{1/4})\); tight \(\widetilde{\Theta}(\sqrt{N})\) for \(QP\) |

A central outcome is the tight \(\Theta(N^{1/3})\) bound for unstructured search in PDQP, improving over the earlier \(\Omega(N^{1/4})\) lower bound. The same work emphasizes that non-collapsing measurements break the deferred-measurement principle: information can be extracted “in the middle” of a computation without disturbing the state, which is precisely why problems such as collision become solvable with constant queries and measurements [2411.04085].

## 4. QMA variants, superposition detection, and NEXP

The addition of even a single non-collapsing measurement to QMA has much stronger consequences than in the bare decision setting. One result proves that QMA where the verifier may make a single non-collapsing measurement is equal to NEXP. The proof is organized around a property-testing primitive, superposition detection: given a \(k\)-qubit state \(\ket{\psi}\), the detector accepts with probability \(1\) on computational basis states, while states with
\[
|\langle e|\psi\rangle|^2\le 1-\epsilon
\quad\text{for all basis states }e
\]
are accepted with probability at most \(1-\Delta\). A non-collapsing measurement implements such a detector efficiently on a constant-size register by first performing a non-collapsing measurement of the value register, then a standard collapsing measurement, and outputting \(1\) iff the two outcomes match [2403.02532].

This property-testing perspective is coupled to succinct gapped CSPs, rigidity arguments, and the earlier proof pattern behind \( \mathrm{QMA}^+ = \mathrm{NEXP} \). The result is that the power conferred by one non-collapsing measurement is exactly sufficient to enforce essentially classical behavior in the relevant post-measurement register, collapsing the verification problem upward to NEXP [2403.02532].

A companion result defines PDQMA, where Arthur is a PDQP verifier receiving a quantum witness, and DQMA, where Arthur can inspect the entire history of a hidden variable under mild assumptions on the hidden-variable theory. The main theorem is
\[
\mathrm{PDQMA}=\mathrm{DQMA}=\mathrm{NEXP}.
\]
The proof uses the PCP theorem and the equivalence \(\mathrm{MIP}=\mathrm{NEXP}\). Honest witnesses encode prover responses as multilinear extensions,
\[
\frac{1}{\sqrt{q^n}}\sum_{z\in\mathbb{F}_q^n}|z\rangle|p(z)\rangle
\;\otimes\;
\frac{1}{\sqrt{q^n}}\sum_{z'\in\mathbb{F}_q^n}|z'\rangle|p'(z')\rangle,
\]
and repeated non-collapsing measurements after projection onto affine lines provide enough evaluations for polynomial interpolation [2403.02543].

## 5. Cryptographic role: impossibility and hardness

In quantum black-box cryptography, non-collapsing measurement oracles are used as adversarial hyper-oracles to separate primitive classes. One paper studies a classical oracle \(\mathcal{O}\) relative to which sub-exponentially secure indistinguishability obfuscation and one-way permutations exist even against adversaries that make quantum queries to a non-collapsing measurement oracle \(\mathcal{Q}^{\mathcal{O}}\). Very roughly, \(\mathcal{Q}^{\mathcal{O}}\) outputs the result of multiple non-collapsing measurements on the output of any quantum \(\mathcal{O}\)-aided circuit. This yields black-box separation results ruling out fully black-box quantum constructions of
\[
Y\in\{\text{collision-resistant hash functions, hard problems in SZK, homomorphic encryption, distributional collision-resistant puzzles}\}
\]
from
\[
X\in\{\text{indistinguishability obfuscation and one-way permutations, public-key encryption, deniable encryption, oblivious transfer, non-interactive ZK, trapdoor permutations, quantum money}\}.
\]
The same work distinguishes \(\mathcal{Q}^{\mathcal{O}}\) from a collision-finding oracle \(\mathsf{Col}^{\mathcal{O}}\) and from a cloning unitary \(\mathsf{QCol}^{\mathcal{O}}\), the last of which is used to rule out fully black-box constructions of quantum lightning from public-key quantum money [2510.05055].

A different cryptographic direction treats the inability to realize non-collapsing measurements efficiently as a hardness assumption. The class \(\mathbf{SampPDQP}\) is introduced as a sampling analogue of PDQP: it consists of sampling problems solvable by a deterministic classical polynomial-time algorithm making a single query to a non-collapsing measurement oracle. If \(\mathbf{SampPDQP}\) is hard on average for quantum polynomial time, then one-way puzzles exist. The same work introduces distributional collision-resistant puzzles (dCRPuzzs), proves that dCRPuzzs imply average-case hardness of \(\mathbf{SampPDQP}\), and shows that two-message honest-statistically-hiding commitments with classical communication and one-shot signatures imply dCRPuzzs [2510.04448].

Taken together, these results place non-collapsing measurement in two opposite cryptographic roles. When granted directly to the adversary, it destroys black-box prospects for collision-resistance-type primitives; when assumed to be hard to simulate, it can serve as a basis for minimal quantum cryptographic assumptions. This suggests that the oracle is useful less as a realizable primitive than as a boundary marker for what black-box quantum cryptography can and cannot derive.

## 6. Physical readout, operational limits, and recurring misconceptions

The abstract oracle is unphysical in the complexity literature, but platform-specific work has explored non-collapsing or nondestructive readout mechanisms. In a quantum-dot Josephson junction, an Andreev qubit with arbitrary superposition
\[
|X\rangle=\cos(\theta/2)|0\rangle+\sin(\theta/2)e^{i\vartheta}|1\rangle
\]
can be probed through the intrinsic time-dependent oscillatory supercurrent. The measured current decomposes as
\[
I_{|X\rangle}(t)=I^S_{|X\rangle}+I^D_{|X\rangle}(t),
\]
with
\[
I^S_{|X\rangle}=\cos^2(\theta/2)I_{|0\rangle}+\sin^2(\theta/2)I_{|1\rangle}
\]
and
\[
I^D_{|X\rangle}(t)=A(\phi)\sin\theta\cos[\omega(\phi)(t-t_R)-\varphi_0(\phi)-\vartheta].
\]
In this proposal, \(\theta\) is extracted from the static component, \(\vartheta\) from the phase and amplitude of the oscillations, and the qubit frequency from the oscillation period; the readout is described as nondestructive and non-collapsing, avoids ancilla qubits, and removes the need for repetitive qubit resetting [2409.17008].

One common misconception is to identify every nondemolition protocol with a non-collapsing measurement oracle. The abstract oracle returns repeated samples from an unchanged state distribution and is explicitly treated as “magical” or highly unphysical in PDQP and SampPDQP. By contrast, ancilla-based QND protocols preserve encoded information by transferring it to an ancilla and still incur substantial overhead from ancilla preparation, transfer, measurement, and reset; the Andreev-qubit protocol is notable precisely because it aims to avoid those ancilla steps [2409.17008].

Another misconception is that non-collapsing access would automatically provide simultaneous information about incompatible observables. In the algebraic measurement-without-collapse framework, observer access is restricted to mutually compatible observables and is formalized by an abelian \(C^*\)-algebra; joint distributions for noncommuting observables are not defined [2201.03705]. In the computational setting, the limitation takes another form: unrestricted non-collapsing measurements would trivialize search, enable quantum cloning and constant communication complexity, and collapse intended complexity separations, which is why \(Q\) and \(P\) must be counted as separate resources [2411.04085].

Source: https://www.emergentmind.com/topics/non-collapsing-measurement-oracle