REVIEW 3 major objections 5 minor 1 cited by
Sample-optimal learning of quantum states using gentle measurements
T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The paper proves that local α-gentle measurements force a sample complexity of order $1/(\epsilon^2 \alpha^2)$ for both quantum state certification and quantum tomography, and it exhibits a label-switching measurement that attains this…
desk verdict The paper's sample-optimal rates for gentle state learning are probably right, but a sign error inverts the Neyman-Pearson lemma and breaks the proof of Theorem 4 as written. 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 quantum data-processing inequality (qDPI) of Theorem 3: for any α-gentle measurement on a state set containing pure states, $$$D^{{\mathrm{sym}}$}_{\mathrm{KL}}($P^{{\rho_1}}$_M \,\|\, $P^{{\rho_2}}$_M) \le \left(\frac{8\$\alpha$}{(1-2\$\alpha$)^2}\right)^2 \|\rho_1-\rho_2\|_{\mathrm{Tr}}^2.$$ It is proved by first strengthening the gentleness–differential privacy link (Lemma 7: α-gentleness implies $\delta=2\log((1+2\alpha)/(1-2\alpha))$ quantum differential privacy), then bounding outcome-probability ratios via eigenvalue gaps. On product measurements the KL divergence adds over copies, so the per-copy $\alpha^2$ factor becomes a sample-complexity penalty. The matching upper bound is the quantum Label Switch (qLS), which builds an α-gentle measurement from any two-outcome PVM by replacing each projector $P$ with a mixture $\sqrt{e^\delta/(e^\delta+1)}\,P + \sqrt{1/(e^\delta+1)}\,P^\perp$ for $\delta=4\,\mathrm{arctanh}(\alpha)$; the gentle quantum Neyman-Pearson test uses the same construction on the positive and negative parts of $\rho_0-\rho_1$ and shows the inequality is asymptotically sharp for small α.
What would settle it
Compute the exact differential-privacy parameter $\delta(\alpha)$ forced by $\alpha$-gentleness for a concrete two-outcome measurement such as the quantum Label Switch: Lemma 7 predicts $\delta$ scales linearly in $\alpha$, so a direct calculation yielding $\delta \asymp \alpha^2$ for small $\alpha$ would change the sample complexity to $1/(\epsilon^2\alpha^4)$ and refute the claimed rate.
Extended reading notes
Core claim
The paper's central claim is that local α-gentleness—requiring each single-copy measurement to leave its subsystem within trace distance α of the input—cuts the information that any measurement can extract. Its Theorem 3 bounds the symmetrized Kullback-Leibler divergence of the outcome distributions for two states by a constant times $\alpha^2$ times the squared trace distance, for all $\alpha<1/2$. From this, the paper derives matching lower and upper bounds: state certification and tomography of qubits to trace accuracy $\epsilon$ require $\Theta(1/(\epsilon^2 \alpha^2))$ copies, versus $\Theta(1/\epsilon^2)$ without the gentleness constraint. The upper bound is achieved by the quantum Label Switch (qLS), a measurement that takes any two-outcome projective measurement and makes it α-gentle by mixing the outcomes with probabilities tied to $\tanh(\alpha/4)$. A gentle quantum Neyman-Pearson lemma shows the qDPI is asymptotically sharp as $\alpha\to 0$, so the $\alpha^2$ penalty is not an artifact of the proof.
Load-bearing premise
The load-bearing premise is that a measurement which moves any state by at most $\alpha$ also changes its outcome probabilities by a privacy factor growing linearly in $\alpha$ (Lemma 7); if that factor actually grew like $\alpha^2$, the claimed sample cost would become $1/(\epsilon^2\alpha^4)$ rather than $1/(\epsilon^2\alpha^2)$.
Editorial extensions
If this is right
- For qubit tomography and state certification under local α-gentleness, the sample complexity is $\Theta(1/(\epsilon^2\alpha^2))$, so any procedure that leaves each copy nearly intact must pay a full factor $1/\alpha^2$ over standard tomography.
- The quantum Label Switch provides a general recipe: from any two-outcome projective measurement, one gets an α-gentle measurement whose information–destruction trade-off is optimal up to constants, and for qubits it attains the lower bound.
- Because the qDPI is asymptotically sharp for small α, the $\alpha^2$ information loss is intrinsic to gentle measurements and cannot be removed by cleverer estimators.
- For global gentleness, the situation splits: no coherent globally gentle measurement can certify all states for small enough α, and no product measurement can be globally gentle on product states at fixed α; only entangled measurements on product states can work.
Reading between the lines
- If the $1/\alpha^2$ penalty extends to higher-dimensional systems, then any protocol that must leave its quantum state reusable—such as quantum backpropagation or quantum memories—will face the same additional sample cost; the paper proves the qubit case and suggests the rate depends on dimension.
- Because the quantum Label Switch is literally randomized response applied to the measurement outcome, the classical local differential privacy literature becomes a design guide for gentle measurements; optimal LDP mechanisms may translate into optimal gentle POVMs.
- A direct hardware test is feasible: implement the qLS circuit (CNOT with an ancilla and computational-basis measurement) on a single qubit, measure the post-measurement trace distance and the estimator's mean squared error, and check the predicted $1/(n\epsilon^2\alpha^2)$ scaling.
- The qDPI could be used in reverse: since gentleness implies quantum differential privacy, existing lower bounds for quantum differentially private mechanisms may be reinterpreted as lower bounds for gentle learning, giving a unified route to sample-optimal gentle algorithms.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies quantum state certification and tomography under α-locally-gentle measurements. The authors define local gentleness, derive a relation between gentleness and quantum differential privacy, and prove a quantum data-processing inequality (Theorem 3) bounding the symmetrized KL divergence of the outcome distributions by a constant times α² times the squared trace distance. Using this inequality, they prove lower bounds n = Ω(1/(ε²α²)) for both state certification and tomography, and they construct the quantum Label Switch procedure, a gentle-ized version of basis measurements, together with estimators and tests attaining n = O(1/(ε²α²)). They also propose a gentle quantum Neyman-Pearson test and claim that it shows the qDPI is asymptotically sharp.
Significance. If the technical issues below are repaired, the paper gives a coherent and non-obvious picture: locally gentle measurements necessarily incur an extra 1/α² factor in sample complexity relative to non-gentle measurements, and the quantum Label Switch attains this rate. The main strengths are the explicit and essentially self-contained derivation of the gentleness-to-privacy bridge, the explicit implementable construction of the quantum Label Switch, and the fact that the rate claims are supported by both a lower bound and a matching attainability construction. The flaw in Lemma 10 and the proof of Theorem 4 does not appear to destroy the central 1/(ε²α²) rate, which relies on Theorem 3 and the qLS construction, but the sharpness/optimality claims need correction before they can be accepted.
major comments (3)
- [Section 4, Eq. (5) and Lemma 10] The gentle Neyman-Pearson test as stated is inverted. Since P+ is the projector onto the positive part of ρ0−ρ1, outcome 1 is more likely under ρ0 than under ρ1, whereas the decision rule announces H1 on outcome 1 and H0 on outcome 0. A direct trace computation gives P0(Δ*α=1)+P1(Δ*α=0) = 1 + (e^δ−1)/(e^δ+1)∥ρ0−ρ1∥_Tr, not the displayed 1 − (e^δ−1)/(e^δ+1)∥ρ0−ρ1∥_Tr; the identity Tr(ρ0P+ + ρ1P−) = 1 − ∥ρ0−ρ1∥_Tr used in the proof is also incorrect, the correct value being 1 + ∥ρ0−ρ1∥_Tr. Consequently the proof of Theorem 4 as written yields only the trivial bound TV ≥ −c∥ρ0−ρ1∥. The intended result is restored by reversing the decision rule, i.e. announcing H1 on outcome 0, which gives total error 1 − 2α/(1+α²)∥ρ0−ρ1∥_Tr and hence the desired bound (6). Lemma 10 and the proof of Theorem 4 must be corrected accordingly.
- [Theorem 3, statement and proof] The theorem is stated for M ∈ GM(α,S) where S is merely a set of quantum states containing the pure states, but the proof invokes Lemma 7, which assumes α-gentleness on all of S(C^d). The convex-mixture state ρλ = λρ1 + (1−λ)ρ2 used in the proof of Lemma 7 need not belong to S, so the cited lemma does not apply under the stated hypothesis. Since every application in Section 5 uses S = S(C^d), restricting the statement of Theorem 3 to S = S(C^d), or supplying a separate argument for general S, is a simple fix, but the theorem as stated is not proven.
- [Theorem 3, proof after Eq. (3)] The displayed chain Σ_y λmin(Ey) ≤ Σ_y Tr(Ey)/2 ≤ Tr(I_d)/2 = 1 is not correct for general d: Tr(I_d)/2 = d/2, and the inequality λmin(Ey) ≤ Tr(Ey)/2 can fail when d > 2. The intended bound Σ_y λmin(Ey) ≤ 1 does follow from λmin(Ey) ≤ Tr(Ey)/d, so the conclusion of the theorem is unaffected, but the proof as written contains a false intermediate step and should be corrected.
minor comments (5)
- [Lemma 12, proof] The displayed choice ε = min{1, (1−2α)^4/(6α√n)} does not produce the stated lower bound (1−2α)^4/(864nα²); substituting it into the preceding expression gives (1−2α)^8/(864nα²). Using ε = min{1, (1−2α)^2/(6α√n)} yields the stated bound. The Ω(1/(ε²α²)) rate is unaffected.
- [Lemma 12, proof] The indicator Δ is defined on the event {∥ρhat−ρ0∥² ≥ ε/2}; it should be defined on {∥ρhat−ρ0∥_Tr ≥ ε/2}, and the same squared-norm typo appears one line earlier.
- [Lemma 9 and Section 6] The definition δ = 4 arctanh(α) is not finite at α = 1. Since α = 1 is the non-gentle limiting case, the paper should state explicitly that this case is understood as a limit, or handle it separately.
- [Lemma 6, proof] The notation for the coefficients ν̃_i is used ambiguously: it is written both as a probability Σ_j |ν_{i,j}| and as a coefficient √(Σ_j |ν_{i,j}|). Please clarify the notation so that the displayed ratio identity is unambiguous.
- [References] The references [WB24a] and [WB24b] appear to describe the same paper with the same title and pages; please merge the duplicate entry.
Circularity Check
No significant circularity: the 1/(ε²α²) rate follows from in-paper proofs of gentleness-to-privacy, the qDPI, and an explicit qLS construction.
full rationale
The derivation chain is self-contained. Lemma 7 proves the gentleness-to-quantum-differential-privacy relation inside the paper, and Theorem 3 derives the qDPI from that lemma together with Lemma 3 and eigenvalue bounds; it does not import the rate. The lower bounds in Lemmas 11 and 12 are obtained by applying the qDPI and Pinsker's inequality to the certification/testing problem, and the upper bounds in Lemmas 14 and 15 are obtained from the explicitly constructed quantum Label Switch, whose α-gentleness is proved in Lemma 9. The estimator's calibration factor (e^δ+1)/(e^δ-1) is computed directly from the measurement probabilities, not fitted to the target rate, so there is no fitted input renamed as a prediction. The gentle quantum Neyman-Pearson test in Lemma 10 and Theorem 4 is an explicit construction; optimality is argued by comparing its error to the minimal testing error, which is a standard inequality, not an assumed optimality. The only external citation for label switching, [Ste24], is used as motivation for the mechanism, while the quantum gentleness and statistical guarantees are proven in the paper, so it is not load-bearing. No self-referential definition ties α to 1/(ε²α²), and no uniqueness or optimality claim is imported solely from the authors' prior work.
Assumptions & free parameters
assumptions (5)
- domain assumption Born rule and Kraus representation of measurements with post-measurement state update rho^{M->y} = M_y rho M_y^* / P(R=y).
- standard math Trace-norm properties, KL divergence, Pinsker's inequality, and KL additivity for product distributions.
- standard math Lemma 4 of Duchi, Jordan, Wainwright (DJW13): for delta-DP mechanisms, D_sym_KL(P1||P2) <= sum_y |p1-p2|^2 / min(p1,p2).
- standard math Schrodinger-HJW purification and contractivity of the trace norm under partial trace (to extend gentleness from pure to mixed states for positive operators).
- standard math Naimark theorem, which lets the qLS POVM be implemented as a projective measurement on an enlarged Hilbert space.
Cite this review
Pith. "Pith review of Sample-optimal learning of quantum states using gentle measurements." pith.science (2026). https://pith.science/paper/EL3EAQCE
@misc{pith2026250524587,
author = {Pith},
title = {Pith review of: Sample-optimal learning of quantum states using gentle measurements},
year = {2026},
howpublished = {\url{https://pith.science/paper/EL3EAQCE}},
note = {Machine review of arXiv:2505.24587}
}
abstract
Gentle measurements of quantum states do not entirely collapse the initial state. Instead, they provide a post-measurement state at a prescribed trace distance $\alpha$ from the initial state together with a random variable used for quantum learning of the initial state. We introduce here the class of $\alpha-$locally-gentle measurements ($\alpha-$LGM) on a finite dimensional quantum system which are product measurements on product states and prove a strong quantum Data-Processing Inequality (qDPI) on this class using an improved relation between gentleness and quantum differential privacy. We further show a gentle quantum Neyman-Pearson lemma which implies that our qDPI is asymptotically optimal (for small $\alpha$). This inequality is employed to show that the necessary number of quantum states for prescribed accuracy $\epsilon$ is of order $1/(\epsilon^2 \alpha^2)$ for both quantum tomography and quantum state certification. Finally, we propose an $\alpha-$LGM called quantum Label Switch that attains these bounds. It is a general implementable method to turn any two-outcome measurement into an $\alpha-$LGM.
Figures
Forward citations
Cited by 1 Pith paper
-
Optimal estimation of high-dimensional quantum states using locally gentle measurements
α-gentle tomography of rank-r qudits has minimax Frobenius rate Θ(rd²/(nα²)), with gentleness penalty scaling as ambient dimension d rather than parameter count rd.
Reference graph
Works this paper leans on
-
[4]
[DJW13] John C. Duchi, Michael I. Jordan, and Martin J. Wainwright. Local privacy and statistical minimax rates. In2013 IEEE 54th Annual Symposium on Foundations of Computer Science—FOCS 2013, pages 429–438. IEEE Computer Soc., Los Alamitos, CA,
work page 2013
-
[22]
Explore google quantum ai.https://quantumai
[Teac] The Google Quantum AI Team. Explore google quantum ai.https://quantumai. google. Accessed: 2025-04-22. [Tsy09] Alexandre B. Tsybakov.Introduction to Nonparametric Estimation. Springer series in statistics. Springer,
work page 2025
-
[2016]
What is quantum computing?https://www.ibm
[SS] Josh Scheider and Ian Smalley. What is quantum computing?https://www.ibm. com/think/topics/quantum-computing. Accessed: 2025-04-22. [Ste24] Lukas Steinberger. Efficiency in local differential privacy.Ann. Statist., 52(5):2139– 2166,
work page 2025
-
[2020]
[BDKS20] Cristina Butucea, Amandine Dubois, Martin Kroll, and Adrien Saumard
©2020. [BDKS20] Cristina Butucea, Amandine Dubois, Martin Kroll, and Adrien Saumard. Local differential privacy: elbow effect in optimal density estimation and adaptation over Besov ellipsoids.Bernoulli, 26(3):1727–1764,
work page 2020
-
[2021]
Pauli measurements are not optimal for single-copy tomography.CoRR, abs/2502.18170,
[ADLY25] Jayadev Acharya, Abhilash Dharmavarapu, Yuhan Liu, and Nengkun Yu. Pauli measurements are not optimal for single-copy tomography.CoRR, abs/2502.18170,
-
[2023]
Exponential separations between learning with and without quantum memory
[CCHL22] Sitan Chen, Jordan Cotler, Hsin-Yuan Huang, and Jerry Li. Exponential separations between learning with and without quantum memory. In2021 IEEE 62nd Annual Symposium on Foundations of Computer Science—FOCS 2021, pages 574–585. IEEE Computer Soc., Los Alamitos, CA, [2022]©2022. [CTD+80] Carlton M. Caves, Kip S. Thorne, Ronald W. P. Drever, Vernon ...
work page 2021
-
[2024]
Learning with privacy at scale
[Teaa] Apple Differential Privacy Team. Learning with privacy at scale. https:// machinelearning.apple.com/research/learning-with-privacy-at-scale. Ac- cessed: 2025-05-05. 40 [Teab] Azure Quantum Doc Team. The qubit in quantum computing. https://learn. microsoft.com/en-us/azure/quantum/concepts-the-qubit. Accessed: 2025-04-
work page 2025
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.