Imagine you're shipping a piece of furniture that's too wide for any single delivery truck. You could saw it in half, ship the pieces separately, and glue them back together — but you'd need extra trips to verify alignment, plus adhesive, plus sanding. The 'extra trips' cost is the sampling overhead. This paper asks: given a specific piece of furniture (a two-qubit gate), what's the exact minimum number of extra trips, and can you predict that number just by measuring how wide the piece is? The committed claim: starting from the known optimal two-qubit gate-cutting formula, Hart derives sharp lower and upper envelopes — not approximations, not loose inequalities, but tight walls — relating the quasiprobability extent γ to five established nonlocality descriptors: entangling power, gate typicality, operator entanglement, Schmidt strength, and maximum product-input concurrence. The key result is that γ is a Rényi-1/2 functional of the operator-Schmidt spectrum, and no single descriptor generically determines γ, but each one imposes exact constraints. The paper identifies which Cartan families of two-qubit gates sit at the extremes. On the ladder: the baseline here is the optimal gate-cutting decomposition established by Peng et al. (2020) and refined by Mitarai & Fujii (2021). Hart doesn't claim a new decomposition — he takes the known optimal formula as given and asks what the cost surface looks like as you vary the gate. The contribution is analytical completeness: prior work established the formula; this paper maps its full behavior space across five independent axes. That's a different category of result — it's not 'better cutting' but 'understanding what makes cutting expensive.' Architecturally, this is pure quantum information theory, not a variational algorithm or a hardware experiment. The method sits in the Cartan-decomposition / Weyl-chamber framework for classifying two-qubit gates via their interaction coefficients (c₁, c₂, c₃). The Rényi-1/2 entropy rewriting is the key structural insight — it connects gate-cutting cost to a well-studied family of entropic quantities, which is what lets the physical constraints on two-qubit spectra sharpen generic entropy bounds. The 38-page length reflects the proof machinery needed to establish tightness, not computational experiments. Integrity is strong for what this is: a mathematical theory paper. The results are analytical proofs, not simulations. Tightness means the bounds cannot be improved — the extremal gates that saturate each envelope are explicitly identified. There's no cherry-picking risk because the claims are universally quantified over all two-qubit gates. The main verification question is whether the proofs are correct, which requires peer review of the mathematics. No code or data is involved because there's no computation to reproduce. The practical milestone is clear: gate-cutting overhead γ ranges from 1 (for local gates, no cost) up to 7 for the hardest two-qubit gates (the B-gate family). For practitioners building circuit-cutting pipelines, the envelope curves are lookup tools — given any nonlocality descriptor of your gate, you can bound γ without recomputing the full decomposition. The gap between the lower and upper envelopes at each descriptor value quantifies how much ambiguity remains, and the recurring extremal Cartan families (CNOT, SWAP, B-gate, etc.) serve as landmarks. The obvious successor experiment Hart didn't run: numerical validation of the envelopes against a large random sample of two-qubit gates, plus extension to multi-qubit gate cutting where the Cartan framework becomes vastly more complex. The honest read is (a) — compute isn't the bottleneck, but the multi-qubit extension requires genuinely new mathematical machinery (the Weyl chamber for n > 2 qubits is not as clean), and random sampling would add length without adding theoretical content. It's likely saved for a companion or follow-up paper.
