REVIEW 3 major objections 5 minor 1 cited by
CutReg: A loss regularizer for enhancing the scalability of QML via adaptive circuit cutting
T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Cutting angles in quantum circuits can be trained as part of the loss function, letting the optimizer reduce sampling overhead while keeping test error low.
desk verdict A clean new regularizer idea for adaptive circuit cutting, but the experiments lack the baseline comparisons needed to prove the central claim. 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 angle-dependent sampling-overhead formula $s(\alpha)=(1+2|\sin\alpha|)^2$ for a cut rotation gate, together with its product form $s(\hat\alpha)=\prod_l s(\alpha_l)$ for multiple cuts. The regularizer is the logarithm of this product, which is non-negative, differentiable, and monotone in the overhead; because the cutting angles are trainable parameters, its gradients push each angle toward $0$ or $\pi$ when the learning term permits. This is what converts circuit cutting from a fixed preprocessing decision into an adaptive part of the optimization.
What would settle it
Run the same regularized training on a regression target whose features on opposite sides of the cut are strongly correlated, so the optimal model needs the entanglement generated near $\alpha=\pi/2$; if test error rises steeply whenever the penalty forces the angles toward $0$ or $\pi$, the claimed balance does not generalize beyond the tested dataset.
Extended reading notes
Core claim
The central claim is that the sampling overhead of circuit cutting is not a fixed post-processing cost but a differentiable function of the cut-gate angles, so it can be optimized together with the model. For a cut rotation gate with angle $\alpha$, the overhead is $s(\alpha)=(1+2|\sin\alpha|)^2$, and for $L$ independent cuts it multiplies; the paper's regularized objective is $L_{\text{reg}}(\hat\theta)=L_{\text{QML}}(\langle O\rangle_{\hat\theta})+\lambda \log\prod_{l=1}^L (1+2|\sin\alpha_l|)^2$, with the cutting angles $\hat\alpha$ part of the trainable parameters $\hat\theta$. Minimizing this objective lets the optimizer balance regression accuracy against sampling cost, and the paper reports that 18-qubit regression runs starting from $\alpha_l=\pi/2$ (overhead 6561) and from $\alpha_l=0.1$ (overhead 4.29) both end near overhead $\approx 10$ with comparable test error. The paper also reports training 30- and 50-qubit circuits on a single CPU, with gradient magnitudes around $10^{-7}$, the barren-plateau regime where gradients vanish, indicating that this obstacle persists independently of cutting overhead.
Load-bearing premise
The load-bearing premise is that the optimizer can push the cut-gate angles toward low-overhead values (near $0$ or $\pi$, which also reduces entanglement) without seriously hurting the model's ability to fit the target function; the paper's evidence for this is a single synthetic regression task compared only across different initializations.
Editorial extensions
If this is right
- Any parameterized cut gate with a known angle-dependent overhead can be trained instead of being fixed before training.
- Starting cuts with low entangling capability is not a disadvantage: the 18-qubit experiments suggest the optimizer reaches the same accuracy and overhead as high-entanglement starts.
- The regularized objective allows 30- and 50-qubit circuits to be trained on a single CPU, making barren-plateau studies more accessible.
- The learning-rate schedule for $\lambda$ is part of the method: a strong early penalty guides angles down, then relaxing it lets the model recover overhead if accuracy demands it.
Reading between the lines
- The regularizer should transfer to other two-qubit rotation gates such as $R_{xx}$ or $R_{yy}$ and to classification losses, since the qualitative angle-overhead curve is the same; the paper only demonstrates regression with $R_{zz}$ cuts.
- The final trained angles carry interpretable signal: angles that remain near $\pi/2$ identify cut locations whose entanglement is load-bearing for the target function, so the regularizer can double as a diagnostic for where cutting hurts.
- Replacing the logarithmic form with an additive penalty $\sum_l (s(\alpha_l)-1)$ is a natural variant; comparing the two would reveal whether the choice of aggregation matters when cuts have very different overheads.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes CutReg, a regularizer that augments a QML loss with the logarithm of the circuit-cutting sampling overhead, and treats the cutting angles as trainable parameters. In numerical regression experiments with hardware-efficient ansätze of 18, 24, 30, and 50 qubits, the authors report that 18-qubit models initialized with maximally entangling and partially entangling cuts converge to similar test errors and a total sampling overhead near 10, and that the approach permits training larger VQCs on a single CPU until barren-plateau gradients appear.
Significance. If the central claim is established, the idea of making circuit-cutting overhead part of the QML objective is a useful and timely contribution: it connects resource estimation with variational training and offers a concrete way to adapt cutting angles during optimization rather than fixing them in preprocessing. The paper's formulation is simple and the use of standard overhead formulas makes the proposal easy to adopt. However, the current experimental evidence does not yet isolate the effect of the regularizer from the behavior of trainable cutting angles, so the significance rests on a claim that is not yet demonstrated.
major comments (3)
- [IV-B, Fig. 3] The central claim that CutReg enables a balance between accuracy and sampling overhead is not directly tested, because both 18-qubit arms in Fig. 3 use the regularized objective. The observed reduction in S_total from 6561 to about 10 in the pi/2-initialized arm is a direct consequence of adding a penalty proportional to log S_total to the loss, so it does not by itself show that the regularizer is needed or beneficial. Please add controlled comparisons: (i) unregularized training with trainable cutting angles (lambda = 0), and (ii) static cuts with alpha fixed at pi/2 and at 0.1, and report test MSE and S_total for each. Without these baselines, the paper cannot distinguish the effect of CutReg from the natural evolution of trainable angles, nor can it support the claim that the accuracy/overhead point found is a balance rather than a forced trade-off.
- [III, Eq. (3); IV-A3, Eq. (5)] The objective is stated inconsistently. Eq. (3) defines L_reg = L_QML + lambda * R_overhead, and Eq. (4) defines R_overhead as the log of the product, while Eq. (5) in the experimental setup writes L_reg = MSE + log(prod(...)) with no lambda. The text then says lambda was initialized to 0.01 and stepped down to 0.0001 after 10 epochs. This makes the exact optimized function ambiguous and hampers reproducibility. Please correct Eq. (5) to include lambda, and specify whether 'stepped down to 0.0001' is a one-time change at epoch 10 or a continuous annealing schedule.
- [IV-A4 and IV-B1, Fig. 3] The paper states that the 18-qubit results are averages over ten training runs, but Fig. 3 shows no error bars, confidence intervals, or per-run spread. Since the central observation is that the two initializations converge to 'similar' test error and 'similar' S_total near 10, the reader cannot judge whether the differences are statistically meaningful. Please report means with standard deviations or interquartile ranges, and specify whether the plotted quantity is test MSE or another metric.
minor comments (5)
- [IV-B1] The 30- and 50-qubit results are described only by the statement that gradients were on the order of 10^-7, which is presented as evidence of barren plateaus. No learning curves, final losses, or overhead values are shown for these runs, so the claim that the method 'enabled training' of these sizes is not yet substantiated; either add supporting data or weaken the claim.
- [III, Eq. (1)] Eq. (1) is cited to reference [9], but the exact formula and its regime of applicability should be stated explicitly, since the entire overhead computation and the regularizer depend on it. A short derivation or a precise pointer to the equation in Piveteau and Sutter would remove ambiguity.
- [II, [13]] The Meyer-Wallach entanglement measure is attributed to reference [13] (Brennen), which is a related but distinct reference; please cite the original Meyer-Wallach work or clarify the provenance.
- [III] There is a typo in 'Quasiprobability simiulation' in Section III, and the notation for the total overhead switches between s(alpha) in Eq. (1), s(alpha-hat) in Eq. (2), and S_total in Section IV-A4; please unify the notation.
- [IV-A2, Fig. 2] Fig. 2 is labeled as a decomposition of a CX gate, while the text says the cut CZ gates are replaced by trainable Rzz gates; please clarify how the CX decomposition relates to the Rzz(alpha) cuts used in the experiments.
Circularity Check
Overhead reduction is written into the loss by construction; only the accuracy half of the claimed balance is empirical, and it lacks a no-regularizer baseline.
-
self definitional
[Section III, Eqs. (3)-(4); results in Section IV-B1, Fig. 3b]
"Lreg(θ) = L_QML(⟨O⟩_θ) + λ · Roverhead(α) (3) ... Roverhead(α) = log(∏_{l=1}^L (1+2|sin(α_l)|)^2) (4) ... The optimization of Lreg(θ) aims to find the circuit parameters θ*, which contain α*, that not only perform well on the QML task ... but also maintain low values for the total sampling overhead."
The regularized loss is built from the exact quantity the paper reports as a result: Eq. (4) is the logarithm of the total overhead s(α) = ∏(1+2|sin α_l|)^2 from Eqs. (1)-(2). Hence any successful minimization of Eq. (3) necessarily pushes log s(α), and therefore S_total, downward; the observed drop from 6561 to about 10 in Fig. 3b is a consequence of the loss definition, not an empirical discovery. The overhead side of the claimed balance is self-definitional. The only non-circular component is whether test MSE stays acceptable, and Section IV-B compares only two regularized runs (π/2 and 0.1 initializations), with no unregularized or static-cut baseline, so even that component is not isolated.
full rationale
The central mechanism of CutReg is to add the log of the circuit-cutting sampling overhead to the QML loss. Because Eqs. (3)-(4) define the regularizer as exactly log s(α), the observation that optimizing the loss reduces S_total is not an independent result; it is the intended mathematical effect of the objective. This is the clearest circular element and warrants a score of 6 as partial circularity. The genuinely empirical claim, that test accuracy remains comparable while overhead shrinks, is under-supported: the 18-qubit experiments in Section IV-B1 compare two initializations of the regularized loss, both of which contain the regularizer, and no comparison is made against unregularized adaptive cutting or against static cuts at fixed angles. That missing baseline is a correctness/evidence concern rather than a circularity concern, and it is noted here for completeness. The self-citations in the paper (guided-SPSA, incremental data-uploading, ZX-calculus cutting) are used as tools or prior technical results and are not load-bearing in a way that forces the central conclusion, so they do not contribute to the circularity score. A separate reproducibility issue is that Eq. (5) omits the λ that appears in Eq. (3) and that Section IV-A3 describes as decaying from 0.01 to 0.0001; this ambiguity does not itself make the derivation circular. Overall, the paper proposes a plausible and potentially useful regularizer, but the overhead-reduction part of its validation is definitional rather than empirical.
Assumptions & free parameters
free parameters (1)
- Regularization strength λ =
0.01, annealed to 0.0001 after 10 epochs (though Eq. 5 omits λ)
assumptions (3)
- domain assumption Sampling overhead of an Rzz cut is s(α) = (1 + 2|sin α|)^2 (Eq. 1, attributed to [9]).
- domain assumption The total overhead of L independent cuts is the product of per-gate overheads (Eq. 2).
- domain assumption Gradients of the regularizer with respect to α can be obtained via guided-SPSA/parameter-shift rule despite |sin α| non-differentiability at 0 and π.
Cite this review
Pith. "Pith review of CutReg: A loss regularizer for enhancing the scalability of QML via adaptive circuit cutting." pith.science (2026). https://pith.science/paper/BSLMPVNX
@misc{pith2026250614858,
author = {Pith},
title = {Pith review of: CutReg: A loss regularizer for enhancing the scalability of QML via adaptive circuit cutting},
year = {2026},
howpublished = {\url{https://pith.science/paper/BSLMPVNX}},
note = {Machine review of arXiv:2506.14858}
}
read the original abstract
Whether QML can offer a transformative advantage remains an open question. The severe constraints of NISQ hardware, particularly in circuit depth and connectivity, hinder both the validation of quantum advantage and the empirical investigation of major obstacles like barren plateaus. Circuit cutting techniques have emerged as a strategy to execute larger quantum circuits on smaller, less connected hardware by dividing them into subcircuits. However, this partitioning increases the number of samples needed to estimate the expectation value accurately through classical post-processing compared to estimating it directly from the full circuit. This work introduces a novel regularization term into the QML optimization process, directly penalizing the overhead associated with sampling. We demonstrate that this approach enables the optimizer to balance the advantages of gate cutting against the optimization of the typical ML cost function. Specifically, it navigates the trade-off between minimizing the cutting overhead and maintaining the overall accuracy of the QML model, paving the way to study larger complex problems in pursuit of quantum advantage.
Figures
Forward citations
Cited by 1 Pith paper
-
MOSAIQC: Mixed-topology-aware Optimization for Scalable Approximate noise-Informed Quantum circuit Cutting
A heuristic circuit-cutting framework combining METIS, tabu search, and quadratic assignment reports faster runtimes and fewer cuts than Qiskit's add-on on tested benchmarks.
Reference graph
Works this paper leans on
-
[1]
How to simulate a universal quantum computer using negative probabilities,
H. F. Hofmann, “How to simulate a universal quantum computer using negative probabilities,” Journal of Physics A: Mathematical and Theoretical, vol. 42, no. 27, p. 275304, Jun. 2009. [Online]. Available: http://dx.doi.org/10.1088/1751-8113/42/27/275304
-
[2]
Simulating large quantum circuits on a small quantum computer,
T. Peng, A. W. Harrow, M. Ozols, and X. Wu, “Simulating large quantum circuits on a small quantum computer,” Physical Review Letters , vol. 125, no. 15, Oct. 2020. [Online]. Available: http://dx.doi.org/10.1103/PhysRevLett.125.150504
-
[3]
Constructing a virtual two-qubit gate by sampling single-qubit operations,
K. Mitarai and K. Fujii, “Constructing a virtual two-qubit gate by sampling single-qubit operations,” New J. Phys. , vol. 23, p. 023021,
-
[4]
Incremental data-uploading for full-quantum classification,
M. Periyasamy, N. Meyer, C. Ufrecht, D. D. Scherer, A. Plinge, and C. Mutschler, “Incremental data-uploading for full-quantum classification,” in 2022 IEEE International Conference on Quantum Computing and Engineering (QCE) . Los Alamitos, CA, USA: IEEE Computer Society, sep 2022, pp. 31–37. [Online]. Available: https://doi.ieeecomputersociety.org/10.1109...
arXiv 2022
-
[5]
High dimensional quantum machine learning with small quantum computers,
S. C. Marshall, C. Gyurik, and V . Dunjko, “High dimensional quantum machine learning with small quantum computers,” Quantum, vol. 7, p. 1078, Aug. 2023. [Online]. Available: http://dx.doi.org/10.22331/ q-2023-08-09-1078
work page 2023
-
[6]
Overhead-constrained circuit knitting for variational quantum dynamics,
G. Gentinetta, F. Metz, and G. Carleo, “Overhead-constrained circuit knitting for variational quantum dynamics,” Quantum, vol. 8, p. 1296, Mar. 2024. [Online]. Available: http://dx.doi.org/10.22331/ q-2024-03-21-1296
work page 2024
-
[7]
Cutting multi-control quantum gates with zx calculus,
C. Ufrecht, M. Periyasamy, S. Rietsch, D. D. Scherer, A. Plinge, and C. Mutschler, “Cutting multi-control quantum gates with zx calculus,” Quantum, vol. 7, p. 1147, Oct. 2023. [Online]. Available: http://dx.doi.org/10.22331/q-2023-10-23-1147
-
[8]
Optimal joint cutting of two-qubit rotation gates,
C. Ufrecht, L. S. Herzog, D. D. Scherer, M. Periyasamy, S. Rietsch, A. Plinge, and C. Mutschler, “Optimal joint cutting of two-qubit rotation gates,” Physical Review A , vol. 109, no. 5, May 2024. [Online]. Available: http://dx.doi.org/10.1103/PhysRevA.109.052440
Show all 14 references
-
[9]
Circuit knitting with classical communication,
C. Piveteau and D. Sutter, “Circuit knitting with classical communication,” arXiv:2205.00016, 2022. [Online]. Available: https://arxiv.org/abs/2205.00016
2022 arXiv
-
[10]
Qiskit addon: circuit cutting,
A. M. Bra ´nczyk, A. Carrera Vazquez, D. J. Egger, B. Fuller, J. Gacon, J. R. Garrison, J. R. Glick, C. Johnson, S. Joshi, E. Pednault, C. D. Pemmaraju, P. Rivero, I. Shehzad, and S. Woerner, “Qiskit addon: circuit cutting,” https://github.com/Qiskit/qiskit-addon-cutting, 2024
2024
-
[11]
Guided-spsa: Simultaneous perturbation stochastic approximation as- sisted by the parameter shift rule,
M. Periyasamy, A. Plinge, C. Mutschler, D. D. Scherer, and W. Mauerer, “Guided-spsa: Simultaneous perturbation stochastic approximation as- sisted by the parameter shift rule,” in 2024 IEEE International Confer- ence on Quantum Computing and Engineering (QCE) , vol. 01, 2024, ...
2024
-
[12]
An empirical comparison of optimizers for quantum machine learning with spsa-based gradients,
M. Wiedmann, M. H ¨olle, M. Periyasamy, N. Meyer, C. Ufrecht, D. D. Scherer, A. Plinge, and C. Mutschler, “An empirical comparison of optimizers for quantum machine learning with spsa-based gradients,” in 2023 IEEE International Conference on Quantum Computing and Engineering ...
2023
-
[13]
An observable measure of entanglement for pure states of multi-qubit systems,
G. K. Brennen, “An observable measure of entanglement for pure states of multi-qubit systems,” 2003. [Online]. Available: https://arxiv.org/abs/quant-ph/0305094
2003 arXiv
-
[2021]
Available: https://doi.org/10.1088/1367-2630/abd7bc
[Online]. Available: https://doi.org/10.1088/1367-2630/abd7bc
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.