REVIEW 4 major objections 6 minor 2 cited by
Mid-circuit measurement as an algorithmic primitive
T0 review · 4 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read This paper's central claim is that a mid-circuit measurement on a single ancilla acts as a low-energy filter, amplifying the ground state of a diagonal cost Hamiltonian and steering the system toward optimal solutions without a classical…
desk verdict Correct but standard cosine filter, demonstrated with oracle knowledge of the answer; worth a referee for the repair path, not for the current claims. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the cosine filter identity, the amplitude transformation $c'_k = c_k\cos(\vartheta_k)\big/\sqrt{\sum_j |c_j|^2\cos^2\vartheta_j}$ with $\vartheta_k = \frac{\pi}{2}\frac{E_k-E_{\rm inf}}{E_{\rm sup}-E_{\rm inf}}$. This is the exact projection produced by the single-ancilla phase estimation circuit when the ancilla outcome is 0. The paper sets the ancilla rotation $\theta = -\pi E_{\rm inf}/(E_{\rm sup}-E_{\rm inf})$ and the evolution time $t = -\pi/(E_{\rm sup}-E_{\rm inf})$ so that the cosine equals 1 at the lower bound and 0 at the upper bound. The companion identity for outcome 1 replaces cosine with sine, and the fixed $\pi/2$ x-rotation on every system qubit is the heuristic repair step that returns amplitude to the low-energy sector; repeated alternation of these two operations is the algorithm.
What would settle it
Run the iteration loop on a graph with the lower bound deliberately set below the true ground energy, for instance $E_{\rm inf}=E_0-\Delta$, and measure the probability of sampling the optimum as a function of iterations; if amplification is insensitive to $\Delta$, the method truly does not need the exact ground energy, whereas strong sensitivity would show that the demonstrated convergence relies on the NP-hard value used in the pseudocode.
Extended reading notes
Core claim
Starting from a state $|\psi\rangle=\sum_k c_k|E_k\rangle$ in the eigenbasis of a Hamiltonian diagonal in the computational basis, the authors apply the Hadamard-test circuit that controls $U=e^{-iHt}$ with an ancilla rotation $R_z(\theta)$. Measuring the ancilla in $|0\rangle$ projects the system into a state whose amplitudes are $c'_k\propto c_k\cos((\theta-tE_k)/2)$. They choose $\theta=-\pi E_{\rm inf}/(E_{\rm sup}-E_{\rm inf})$ and $t=-\pi/(E_{\rm sup}-E_{\rm inf})$ so that the cosine is 1 at the lower energy bound and 0 at the upper bound, and therefore the low-energy sector is amplified while the high-energy sector is suppressed. When the ancilla reads $|1\rangle$, the same calculation gives $c'_k\propto c_k\sin((\theta-tE_k)/2)$, which suppresses the low-energy sector; the paper proposes applying an $R_x(\pi/2)$ rotation to every qubit as a fixed mixer that heuristically restores overlap with low energies. The numerical evidence is that for random graphs with 3 to 11 qubits, the probability of measuring a minimum vertex cover grows exponentially in the number of iterations, and a run on real quantum hardware with 4 qubits shows the same trend without reaching full convergence.
Load-bearing premise
The load-bearing assumption is that a lower bound $E_{\rm inf}$ on the Hamiltonian spectrum is available before the search; in the pseudocode and numerics this bound is set to the exact ground energy $E_0$ computed from the known minimum vertex cover size $k_{\rm min}$, which is the NP-hard value the algorithm is supposed to find.
Editorial extensions
If this is right
- A QAOA-style circuit can be driven toward the ground state without any classical optimizer, replacing the usual product of optimization iterations and shots per iteration with a single shot count.
- For the tested random vertex-cover instances, the probability of sampling an optimal solution grows exponentially in the number of interference iterations, so the method offers a parameter-free alternative to variational training at moderate sizes.
- Protecting only the ancilla qubit from noise substantially improves success probability, which points to targeted error mitigation on the measurement-feedback qubit as the scarce resource.
- Because the Hamiltonian is required only to be diagonal with known energy bounds, any QUBO problem with such bounds inherits the same amplitude-shaping mechanism.
- The authors explicitly note that the exponential iteration count does not bypass NP-hardness, so the value of the primitive lies in robust heuristics on near-term hardware rather than in complexity-theoretic speedups.
Reading between the lines
- A natural test is to run the algorithm with a cheap lower bound on the ground energy rather than the exact value; the convergence rate as the bound loosens would quantify how much information the filter actually needs.
- The cosine filter can be viewed as measurement-based amplitude amplification with a continuous profile rather than Grover's sign flip; comparing its iteration count with standard amplitude-amplification scaling would locate the method in that landscape.
- The protected-ancilla result predicts that on current hardware, error mitigation focused on the ancilla should recover most of the ideal success probability; this is directly testable before any full error-correction overhead is introduced.
- Although the paper assumes a Hamiltonian diagonal in the computational basis, the interference argument should transfer to any Hamiltonian whose eigenbasis is reachable by a known unitary; applying the filter in that rotated basis would be a natural extension.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a quantum optimization algorithm for diagonal (Ising/QUBO) Hamiltonians in which a single-ancilla Hadamard test is used as a low-energy filter: conditioning on the ancilla outcome 0 multiplies eigenstate amplitudes by a cosine that peaks at a lower energy bound, while the undesired outcome is followed by an Rx(π/2) mixer designed to repopulate low-energy states. The authors derive the post-selection amplitude transformation (Eqs. 5–9), give a QUBO formulation for minimum vertex cover, present numerical convergence curves up to n=11, and report a 7-iteration run on ibm_quebec. The central claim is that mid-circuit measurement can serve as an algorithmic primitive that amplifies ground-state population without a classical optimization loop and with no knowledge of the ground energy E0.
Significance. If the claims were fully substantiated, the paper would provide a simple, hardware-compatible primitive for measurement-based optimization, with credible potential to reduce reliance on classical variational loops. The mathematical derivation of the post-selection cosine filter is correct and clearly presented, and the explicit QUBO instance is concrete. However, the load-bearing numerical evidence is currently obtained using the exact ground energy E0 (derived from kmin, the NP-hard target) to set the filter parameters, and the mixer is a heuristic with no supporting analysis. The paper also lacks statistical detail for the convergence curves, and the hardware demonstration does not converge. The conceptual contribution is worth pursuing, but the evidence in this version does not establish the claimed regime.
major comments (4)
- [§2.3 / Pseudocode lines 4–5 / §2.4.6] The algorithm's stated operating regime (Hypothesis 2) only assumes known lower and upper bounds Einf and Esup, not the exact eigenvalues. Yet the pseudocode sets θ = −πE0/(Emax−E0) and t = −π/(Emax−E0), and §2.4.6 computes E0 = A(2kmin−n) using kmin, the size of a minimum vertex cover—the very quantity the algorithm is meant to find. This means the numerical convergence in Fig. 8 is obtained with oracle knowledge of the answer, so it cannot support the 'no knowledge of E0' claim. Please provide a polynomially computable Einf (or otherwise specify a legitimate bound) and rerun the numerical study without using kmin; alternatively, clearly restrict the claims to a setting in which E0 is known.
- [§2.2] The mixer U' = ⊗ Rx(π/2) · U is introduced with the heuristic statement that it 'maps the high-energy sector to the low-energy sector.' This statement is load-bearing: after an undesired measurement the state has increased high-energy amplitudes (Eq. 9), and the convergence observed in Fig. 8 depends on the mixer restoring low-energy overlap. No argument or quantitative evidence is given for this mapping for the vertex cover Hamiltonians used, and the text does not specify the class of Hamiltonians for which the heuristic holds. The paper should either prove a bound for a well-defined problem class or provide numerical experiments that isolate and quantify the mixer's effect, including cases where the mixer is omitted.
- [§3.2, Fig. 8] The central numerical claim of exponential convergence is presented without error bars, numbers of shots, standard deviations, or details of the random graph generation. The text itself notes that instances with unique optima have high variance, so the absence of statistical reporting makes it impossible to assess whether the observed curves are representative. Please report shot counts and repeated-seed statistics, and preferably fit the convergence rate with confidence intervals.
- [§3.4, Fig. 10] The abstract states the approach is validated on real quantum hardware, but the hardware execution over 7 iterations does not achieve convergence, as the text concedes. A non-converging run demonstrates circuit execution but does not validate the algorithm's amplifying behavior on hardware. Please reframe this section as a feasibility/execution study or provide additional data (e.g., comparison with simulation under a noise model, or longer runs) that supports the validation claim.
minor comments (6)
- [§2.3] Equations (12) and (13) are referred to as numbered equations but are not actually numbered in the text; please number them or adjust the cross-references.
- [Introduction / §2.1] There are several typos and garbled phrases, including 'where ϵ is 1 2' in the Introduction and 'aancilla' in §2.1.
- [Figure 2 caption] The caption uses 'Estimated Esup' while the text refers to Emax; please make the notation consistent.
- [§2.4] The sentence 'By shifting the energy by -1' is not explained, and the subsequent E0 formula gives E0=0 for the example, which is confusing.
- [§3.2, Eq. (24)] The phrase 'where |ψk⟩ is a Good Answer' is informal; please define 'Good Answer' explicitly and specify whether Pgood includes all optimal solutions.
- [Pseudocode] The pseudocode is referred to as 'Pseudocode 0' but has no caption or label; please add one and reference it consistently.
Circularity Check
Numerical demonstration is circular: cosine-filter parameters use the exact ground energy E0 obtained from kmin, so the observed convergence does not test the claimed 'bounds-only' regime.
-
self definitional
[Pseudocode lines 4–5; Sec. 2.4.6; contradicting Hypothesis 2 (Sec. 2.1.1)]
"Please note that we do not assume to know precisely the energy minimum E0, nor the maximum energy Emax. ... Apply Rz(θ) on ancilla, with θ = −πE0 Emax−E0 ... Apply controlled-U = e−iHt with t = −π Emax−E0 ... The minimum energy E0 occurs for a valid minimum vertex cover Cmin of size kmin, with xi = +1 for i ∈ Cmin and xi = −1 otherwise: E0 = A(2kmin − n)."
Hypothesis 2 defines the method's required input as a lower bound Einf, explicitly not the exact ground energy E0. But the pseudocode sets θ and t using E0 and Emax, and Sec. 2.4.6 computes E0 from kmin, the size of a minimum vertex cover—the very quantity the algorithm is supposed to find. The cosine filter is therefore centered on the answer by construction, so the convergence reported in Fig. 8 does not demonstrate the advertised 'no knowledge of E0' regime. The paper itself admits that the tightness of Einf impacts convergence, yet the simulations substitute exact E0 for Einf; the observed amplification is manufactured by oracle input rather than predicted from the stated assumptions.
full rationale
The core filter identity (Eqs. 4–8) is an algebraic consequence of the Hadamard-test post-selection and is not circular: after measuring |0⟩, amplitudes are multiplied by cos(π/2 · (Ek − Einf)/(Esup − Einf)), which follows from the circuit and the stated bound inputs. No self-citation is load-bearing; the references are standard external works. The circularity is confined to the implementation and benchmark: the pseudocode and Sec. 2.4.6 replace the promised lower bound Einf with the exact ground energy E0, itself obtained from kmin, the NP-hard target value. Consequently, the numerical evidence of exponential convergence to the optimal vertex cover is forced by a parameter choice that already encodes the answer. This does not invalidate the mathematical filter, but it means the paper's central demonstration does not support the claimed regime in which only a polynomially computable bound, and not E0, is known. A moderate circularity score of 6 reflects that one key 'prediction' reduces by construction to its input, while the underlying derivation retains independent content.
Assumptions & free parameters
free parameters (4)
- kmin (minimum vertex cover size) =
2 for the 4-node graph, varied per random instance
- Energy bounds Einf and Esup =
Set to E0 and Emax in the example and pseudocode
- QUBO weights A and B =
A=1, B=2
- Mixer angle sigma =
pi/2
assumptions (4)
- domain assumption Hypothesis 1: the eigenbasis of H is the computational basis.
- domain assumption Hypothesis 2: known lower and upper bounds Einf and Esup on the spectrum.
- ad hoc to paper The Rx(pi/2) mixer maps high-energy states to low-energy states after an undesired measurement.
- standard math Ideal projective measurement and perfect controlled-e^{-iHt} evolution.
Cite this review
Pith. "Pith review of Mid-circuit measurement as an algorithmic primitive." pith.science (2026). https://pith.science/paper/KKSS62CI
@misc{pith2026250600118,
author = {Pith},
title = {Pith review of: Mid-circuit measurement as an algorithmic primitive},
year = {2026},
howpublished = {\url{https://pith.science/paper/KKSS62CI}},
note = {Machine review of arXiv:2506.00118}
}
read the original abstract
We explore the usefulness of mid-circuit measurements to enhance quantum algorithmics. Specifically, we assess how quantum phase estimation (QPE) and mid-circuit measurements can improve the performance of variational quantum algorithms. Our focus is on the single-qubit version of QPE namely, the Hadamard test applied to the Quantum Approximate Optimization Algorithm (QAOA) ansatz. We demonstrate that a mid-circuit measurement acts as a low-energy filter when the desired outcome is obtained. When the other outcome is measured we heuristically rely on the mixer to repopulate the low energy states. Numerical simulations show that this method effectively amplifies the ground state. We validate our approach on real quantum hardware namely the IBM Quantum system one ibm_quebec.
Forward citations
Cited by 2 Pith papers
-
Rapid Cavity-Based Mid-Circuit Measurement and Feedforward in a Neutral Atom Array
Cavity-based technique achieves sub-100 μs mid-circuit measurement and feedforward in neutral atom arrays with sub-percent infidelity and minimal crosstalk.
-
Principles of Quantum Optimization for Constrained Problems
Computational slowdown in constrained quantum optimization is attributed to the speed of entanglement restructuring, and the paper shows how constraints create (or avoid) the narrow spectral gaps where this restructur...
Reference graph
Works this paper leans on
-
[1]
Farhi, E., Goldstone, J., Gutmann, S.: A quantum approximate optimization algorithm (arXiv:1411.4028) (2014) https://doi.org/10.48550/arXiv.1411.4028 . arXiv:1411.4028 [quant-ph]
-
[2]
Nature Communications 5(1), 4213 (2014) https://doi.org/10.1038/ ncomms5213
Peruzzo, A., McClean, J., Shadbolt, P., Yung, M.-H., Zhou, X.-Q., Love, P.J., Aspuru-Guzik, A., O’Brien, J.L.: A variational eigenvalue solver on a quantum processor. Nature Communications 5(1), 4213 (2014) https://doi.org/10.1038/ ncomms5213 . arXiv:1304.3061 [quant-ph]
arXiv 2014
-
[3]
Nature Reviews Physics 7(4), 174–189 (2025) https://doi
Larocca, M., Thanasilp, S., Wang, S., Sharma, K., Biamonte, J., Coles, P.J., Cincio, L., McClean, J.R., Holmes, Z., Cerezo, M.: Barren plateaus in variational quantum computing. Nature Reviews Physics 7(4), 174–189 (2025) https://doi. org/10.1038/s42254-025-00813-9 . arXiv:2405.00781 [quant-ph]
arXiv 2025
-
[4]
Nature Communications 9(1), 4812 (2018) https://doi.org/10.1038/s41467-018-07090-4
McClean, J.R., Boixo, S., Smelyanskiy, V.N., Babbush, R., Neven, H.: Barren plateaus in quantum neural network training landscapes. Nature Communications 9(1), 4812 (2018) https://doi.org/10.1038/s41467-018-07090-4
-
[5]
Russian Mathematical Surveys 52(6), 1191 (1997) https://doi.org/10.1070/ RM1997v052n06ABEH002155
Kitaev, A.Y.: Quantum computations: algorithms and error correction. Russian Mathematical Surveys 52(6), 1191 (1997) https://doi.org/10.1070/ RM1997v052n06ABEH002155
work page 1997
-
[6]
Physical Review A 52(4), 2493–2496 (1995) https://doi.org/10.1103/PhysRevA
Shor, P.W.: Scheme for reducing decoherence in quantum computer memory. Physical Review A 52(4), 2493–2496 (1995) https://doi.org/10.1103/PhysRevA. 52.R2493
doi:10.1103/physreva 1995
-
[7]
Semiclassical Shor's Algorithm
Giorda, P., Iorio, A., Sen, S., Sen, S.: Semiclassical shor’s algorithm. Physical Review A 70(3), 032303 (2004) https://doi.org/10.1103/PhysRevA.70.032303 . arXiv:quant-ph/0303037
work page Pith review arXiv 2004
-
[8]
Semiclassical Fourier Transform for Quantum Computation
Griffiths, R.B., Niu, C.-S.: Semiclassical fourier transform for quantum computa- tion. Physical Review Letters 76(17), 3228–3231 (1996) https://doi.org/10.1103/ PhysRevLett.76.3228 . arXiv:quant-ph/9511007
work page Pith review arXiv 1996
Show all 19 references
-
[9]
SIAM Journal on Computing 26(5), 1484–1509 (1997) https://doi.org/10.1137/S0097539795293172
Shor, P.W.: Polynomial-time algorithms for prime factorization and discrete log- arithms on a quantum computer. SIAM Journal on Computing 26(5), 1484–1509 (1997) https://doi.org/10.1137/S0097539795293172 . arXiv:quant-ph/9508027
1997 arXiv
-
[10]
Physical Review Letters 127(10), 100501 (2021) https://doi.org/10.1103/PhysRevLett.127.100501
Corcoles, A.D., Takita, M., Inoue, K., Lekuch, S., Minev, Z.K., Chow, J.M., Gambetta, J.M.: Exploiting dynamic quantum circuits in a quantum algorithm with superconducting qubits. Physical Review Letters 127(10), 100501 (2021) https://doi.org/10.1103/PhysRevLett.127.100501 . a...
2021 arXiv
- [11]
- [12]
-
[13]
Proceedings of the Royal Society of London
Cleve, R., Ekert, A., Macchiavello, C., Mosca, M.: Quantum algorithms revisited. Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences 454(1969), 339–354 (1998) https://doi.org/10.1098/ rspa.1998.0164 . arXiv:quant-ph/9708016
1969
-
[14]
arXiv:2505.15913 [quant-ph]
Faehrmann, P.K., Eisert, J., Kueng, R.: In the shadow of the hadamard test: Using the garbage state for good and further modifications (arXiv:2505.15913) (2025) https://doi.org/10.48550/arXiv.2505.15913 . arXiv:2505.15913 [quant-ph]
2025 doi
-
[15]
Quantum 5, 566 (2021) https://doi.org/10.22331/q-2021-10-19-566
Rall, P.: Faster coherent quantum algorithms for phase, energy, and amplitude estimation. Quantum 5, 566 (2021) https://doi.org/10.22331/q-2021-10-19-566 . arXiv:2103.09717 [quant-ph]
2021 arXiv
-
[16]
Nature 471(7336), 87–90 (2011) https://doi.org/10.1038/ nature09770
Temme, K., Osborne, T.J., Vollbrecht, K.G., Poulin, D., Verstraete, F.: Quantum metropolis sampling. Nature 471(7336), 87–90 (2011) https://doi.org/10.1038/ nature09770 . arXiv:0911.3635 [quant-ph]
2011 arXiv
-
[17]
Frontiers in Physics 2 (2014) https://doi.org/10.3389/fphy.2014.00005
Lucas, A.: Ising formulations of many np problems. Frontiers in Physics 2 (2014) https://doi.org/10.3389/fphy.2014.00005
2014
- [18]
-
[19]
https://docs.quantum.ibm.com/ api/qiskit-ibm-runtime/docs.quantum.ibm.com/api/qiskit-ibm-runtime/ fake-provider-fake-quebec 23
IBMQuantum: FakeQuebec (v1.4). https://docs.quantum.ibm.com/ api/qiskit-ibm-runtime/docs.quantum.ibm.com/api/qiskit-ibm-runtime/ fake-provider-fake-quebec 23
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.