Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2512.19623

Learning Enables Exponential-to-Polynomial Sampling Overhead Scaling in Quantum Divide-and-Conquer for Tree-Structured Circuits

Hiroyuki Harada, Kaito Wada, Naoki Yamamoto, Suguru Endo

quant-phSubmitted Dec 22, 2025• Announced Dec 23, 2025• 0 citations• Revised Jun 30, 2026 (v2)
v1 · Dec 22, 2025v2 · Jun 30, 2026
arXivHTMLPDF

Abstract

Quantum circuit cutting and knitting are divide-and-conquer methods that enable large-scale quantum computations on hardware with limited qubit resources and connectivity by decomposing a target computation into smaller local experiments. Existing methods, however, typically incur a sampling overhead that grows exponentially with the number of cut locations, leaving open the question of whether this barrier is intrinsic. Here we show that this barrier is not universal by introducing a learning-based cutting protocol tailored to the target observable. At each cut, the protocol locally learns a Heisenberg-picture effective observable that captures the downstream information relevant to the final measurement and uses it to construct an observable-adaptive cut. This replaces the multiplicative variance amplification of conventional cutting with additive bias accumulation controlled by local learning accuracy. We apply this framework to finite tree-structured circuits. For any finite rooted tree with $K$ cut wires and cut-system dimension at most $d$, the protocol estimates the target expectation value within additive error $ε$ with high probability using $\widetilde{O}(d^3K^3/ε^2)$ measurements, including the local learning cost. Moreover, for two-layer trees with $R$ cut wires, we prove an information-theoretic exponential separation between our learning-based protocol and learning-free wire-cutting protocols based on pre-specified randomized cutting rules: even with arbitrary classical post-processing, any such learning-free protocol requires $Ω((d+1)^R/ε^2)$ measurements, whereas our protocol uses $\widetilde{O}(d^3R^3/ε^2)$. These results identify local learning, rather than the tree structure alone, as the key mechanism driving the exponential-to-polynomial reduction in sampling overhead.

Comments
67 pages, 9 figures. Substantially updated version: generalized tree analysis, strengthened lower-bound formulation, expanded relation to prior work, and numerical simulations

Related papers

Circuit knitting facing exponential sampling-overhead scaling bounded by entanglement cost

Mingrui Jing, Chengkai Zhu, Xin Wang

Circuit knitting, a method for connecting quantum circuits across multiple processors to simulate nonlocal quantum operations, is a promising approach for distributed quantum computing. While various techniques have been developed for circuit knitting, we uncover fundamental limitations to the scalability of this technology. We prove that the sampling overhead of circuit knitting is exponentially lower bounded by the exact entanglement cost of the target bipartite dynamic, even with the asymptotic amount of resources using the parallel cut strategy. Specifically, we prove that the regularized sampling overhead assisted with local operations and classical communication of any bipartite quantum channel is lower bounded by the exponential of its exact entanglement cost under separable preserving operations. Furthermore, we develop the faithful lower bounds for the regularized sampling overhead based on channels' $\ensuremath{\kappa}$ entanglement and max-Rains information, providing efficiently computable benchmarks. Our work reveals a profound connection between virtual quantum information processing via quasiprobability decomposition and quantum Shannon theory, highlighting the critical role of entanglement in distributed quantum computing.

Physical Review A•Jan 22, 2025•9 citations

Circuit Knitting Faces Exponential Sampling Overhead Scaling Bounded by Entanglement Cost

Mingrui Jing, Chengkai Zhu, Xin Wang

Circuit knitting, a method for connecting quantum circuits across multiple processors to simulate nonlocal quantum operations, is a promising approach for distributed quantum computing. While various techniques have been developed for circuit knitting, we uncover fundamental limitations to the scalability of this technology. We prove that the sampling overhead of circuit knitting is exponentially lower bounded by the exact entanglement cost of the target bipartite dynamic, even for asymptotic overhead in the parallel cut regime. Specifically, we prove that the regularized sampling overhead assisted with local operations and classical communication (LOCC), of any bipartite quantum channel is lower bounded by the exponential of its exact entanglement cost under separable preserving operations. Furthermore, we show that the regularized sampling overhead for simulating a general bipartite channel via LOCC is lower bounded by $κ$-entanglement and max-Rains information, providing efficiently computable benchmarks. Our work reveals a profound connection between virtual quantum information processing via quasi-probability decomposition and quantum Shannon theory, highlighting the critical role of entanglement in distributed quantum computing.

arXiv:2404.03619•Apr 4, 2024•0 citations

MOSAIQC: Mixed-topology-aware Optimization for Scalable Approximate noise-Informed Quantum circuit Cutting

Koen Mesman, Yinglu Tang, Matthias Moller +2 more

Current quantum computers do not yet have the required qubit resources to meet the demands of most practical quantum algorithms. To circumvent this constraint, the practice of dividing these algorithms into parts through quantum circuit cutting has been explored. Many of these works either show exponential scaling or are far from optimal solutions. In this paper, MosaiQC is presented as a novel framework to improve upon existing circuit cutting frameworks. A hybrid warmstart with refinement optimization is used to find cutting solutions, allowing the combination of both wire and gate cuts. Additionally, MosaiQC enables hardware partitions of mixed sizes. Furthermore, the refinement stage incorporates a fast approximate quadratic assignment solver to better place hardware partitions, demonstrating a mean local fidelity improvement of $19.56 \% \pm 6.17\%$ over the baseline algorithm. In runtime and sampling overhead costs, improvements of $2.88 \times$ and an average of $16.84\%$ cut reduction (resulting in an average $5.83 \cdot 10^{11} \times$ overhead reduction) are observed. MosaiQC demonstrates a superior trade-off for run speed and solution quality, while adding fundamental features excluded by most competitors. With this, MosaiQC demonstrates that scalable heuristic optimization can substantially reduce the computational overhead of circuit-cut placement for increasingly large quantum circuits.

quant-pharXiv:2607.18888•Jul 22, 2026•0 citations

Optimal Wire Cutting With Classical Communication

Lukas Brenner, Christophe Piveteau, David Sutter

Circuit knitting is the process of partitioning large quantum circuits into smaller subcircuits such that the result of the original circuits can be deduced by only running the subcircuits. Such techniques will be crucial for near-term and early fault-tolerant quantum computers, as the limited number of qubits is likely to be a major bottleneck for demonstrating quantum advantage. One typically distinguishes between gate cuts and wire cuts when partitioning a circuit. The cost for any circuit knitting approach scales exponentially in the number of cuts. One possibility to realize a cut is via the quasiprobability simulation technique. In fact, we argue that all existing rigorous circuit knitting techniques can be understood in this framework. Furthermore, we characterize the optimal overhead for wire cuts where the subcircuits can exchange classical information or not. We show that the optimal cost for cuttingnwires without and with classical communication between the subcircuits scales asO(16n) andO(4n), respectively.

arXiv:2302.03366•IEEE Transactions on Information Theory•Aug 20, 2025•21 citations

Adaptive Local Measurements For Quantum Learning Can Exponentially Outperform Nonadaptive Global Measurements

Alireza Goldar, Zhen Qin, Zhihui Zhu +2 more

Can measurements chosen adaptively, in response to earlier outcomes, be exponentially more informative than measurements fixed in advance? In many quantum settings, adaptivity helps at most polynomially; known exponential advantages require coherent measurements across copies or restricted measurements. We show an exponential advantage measuring one copy at a time, with no quantum memory kept between state copies, even when the nonadaptive learner may perform arbitrary global measurements on each copy. We construct explicit families of multi-qubit states in which a scalar parameter is encoded in one of exponentially many candidate observables, with an auxiliary marker indicating which one. An adaptive protocol identifies the relevant observable and then measures it using only single-qubit measurements and one round of adaptation. At fixed accuracy, it needs logarithmically many copies as the qubit count grows, whereas every nonadaptive protocol needs exponentially many. The same mechanism yields an exponential gap in local asymptotic minimax mean squared error constants, tight up to the exponential base. The states are separable and classical in label-dependent product bases; no entanglement or other nonclassical correlations are required. The gap comes from measurement incompatibility: the candidate observables cannot be measured jointly, so a fixed measurement must divide its information budget among them, while adaptivity selects the informative one. Accordingly, the separation disappears when the candidate observables commute, and cannot occur with fully observed classical samples. Measurement incompatibility thus emerges as a resource for quantum learning, distinct from entanglement and quantum memory, that classical feedback alone can exploit.

quant-pharXiv:2610.38922•Oct 30, 2026•0 citations

Automated Cut Finding and Circuit Knitting on Large Quantum Circuits

Ibrahim Shehzad, Edwin Pednault, James R. Garrison +3 more

Circuit knitting (see, e.g., [1]) is a technique that allows circuits that are too large to run on a given quantum processing unit (QPU) to be decomposed into an equivalent series of smaller subcircuits that can run on the QPU, where the resulting measurement outcomes of the subcircuits are then classically combined via post-processing. Circuits are decomposed by cutting gates and/or wires. To obtain results to the same accuracy as those of the original problem, each cut incurs additional sampling overhead (denoted γ2) that grows exponentially with the number of cuts. It is therefore desirable to find optimal sets of cuts that minimize the sampling overhead. To this end, we present the “cut-finder” (Sec. I) module of the Circuit Knitting Toolbox (CKT) [2], which performs an automated search for LO gate and wire cuts that minimize the sampling overhead. Circuit knitting can also be used to engineer gates between distant qubits which would otherwise require a large swap overhead to implement. In Sec II, we show how this capability can be used to calculate certain expectation values on a graph state with a cylindrical topology to a better degree of accuracy than if the experiment were to be performed without circuit knitting.

IEEE International Conference on Quantum Computing and Engineering (QCE)•Sep 15, 2024•1 citation
Quantum circuit cutting and knitting are divide-and-conquer methods that enable large-scale quantum computations on hardware with limited qubit resources and connectivity by decomposing a target computation into smaller local experiments. Existing methods, however, typically incur a sampling overhead that grows exponentially with the number of cut locations, leaving open the question of whether this barrier is intrinsic. Here we show that this barrier is not universal by introducing a learning-based cutting protocol tailored to the target observable. At each cut, the protocol locally learns a Heisenberg-picture effective observable that captures the downstream information relevant to the final measurement and uses it to construct an observable-adaptive cut. This replaces the multiplicative variance amplification of conventional cutting with additive bias accumulation controlled by local learning accuracy. We apply this framework to finite tree-structured circuits. For any finite rooted tree with KKK cut wires and cut-system dimension at most ddd, the protocol estimates the target expectation value within additive error εεε with high probability using O~(d3K3/ε2)\widetilde{O}(d^3K^3/ε^2)O(d3K3/ε2) measurements, including the local learning cost. Moreover, for two-layer trees with RRR cut wires, we prove an information-theoretic exponential separation between our learning-based protocol and learning-free wire-cutting protocols based on pre-specified randomized cutting rules: even with arbitrary classical post-processing, any such learning-free protocol requires Ω((d+1)R/ε2)Ω((d+1)^R/ε^2)Ω((d+1)R/ε2) measurements, whereas our protocol uses O~(d3R3/ε2)\widetilde{O}(d^3R^3/ε^2)O(d3R3/ε2). These results identify local learning, rather than the tree structure alone, as the key mechanism driving the exponential-to-polynomial reduction in sampling overhead.
Circuit knitting, a method for connecting quantum circuits across multiple processors to simulate nonlocal quantum operations, is a promising approach for distributed quantum computing. While various techniques have been developed for circuit knitting, we uncover fundamental limitations to the scalability of this technology. We prove that the sampling overhead of circuit knitting is exponentially lower bounded by the exact entanglement cost of the target bipartite dynamic, even with the asymptotic amount of resources using the parallel cut strategy. Specifically, we prove that the regularized sampling overhead assisted with local operations and classical communication of any bipartite quantum channel is lower bounded by the exponential of its exact entanglement cost under separable preserving operations. Furthermore, we develop the faithful lower bounds for the regularized sampling overhead based on channels' $\ensuremath{\kappa}$ entanglement and max-Rains information, providing efficiently computable benchmarks. Our work reveals a profound connection between virtual quantum information processing via quasiprobability decomposition and quantum Shannon theory, highlighting the critical role of entanglement in distributed quantum computing.
Circuit knitting, a method for connecting quantum circuits across multiple processors to simulate nonlocal quantum operations, is a promising approach for distributed quantum computing. While various techniques have been developed for circuit knitting, we uncover fundamental limitations to the scalability of this technology. We prove that the sampling overhead of circuit knitting is exponentially lower bounded by the exact entanglement cost of the target bipartite dynamic, even for asymptotic overhead in the parallel cut regime. Specifically, we prove that the regularized sampling overhead assisted with local operations and classical communication (LOCC), of any bipartite quantum channel is lower bounded by the exponential of its exact entanglement cost under separable preserving operations. Furthermore, we show that the regularized sampling overhead for simulating a general bipartite channel via LOCC is lower bounded by κκκ-entanglement and max-Rains information, providing efficiently computable benchmarks. Our work reveals a profound connection between virtual quantum information processing via quasi-probability decomposition and quantum Shannon theory, highlighting the critical role of entanglement in distributed quantum computing.
Current quantum computers do not yet have the required qubit resources to meet the demands of most practical quantum algorithms. To circumvent this constraint, the practice of dividing these algorithms into parts through quantum circuit cutting has been explored. Many of these works either show exponential scaling or are far from optimal solutions. In this paper, MosaiQC is presented as a novel framework to improve upon existing circuit cutting frameworks. A hybrid warmstart with refinement optimization is used to find cutting solutions, allowing the combination of both wire and gate cuts. Additionally, MosaiQC enables hardware partitions of mixed sizes. Furthermore, the refinement stage incorporates a fast approximate quadratic assignment solver to better place hardware partitions, demonstrating a mean local fidelity improvement of 19.56%±6.17%19.56 \% \pm 6.17\%19.56%±6.17% over the baseline algorithm. In runtime and sampling overhead costs, improvements of 2.88×2.88 \times2.88× and an average of 16.84%16.84\%16.84% cut reduction (resulting in an average 5.83⋅1011×5.83 \cdot 10^{11} \times5.83⋅1011× overhead reduction) are observed. MosaiQC demonstrates a superior trade-off for run speed and solution quality, while adding fundamental features excluded by most competitors. With this, MosaiQC demonstrates that scalable heuristic optimization can substantially reduce the computational overhead of circuit-cut placement for increasingly large quantum circuits.
Circuit knitting is the process of partitioning large quantum circuits into smaller subcircuits such that the result of the original circuits can be deduced by only running the subcircuits. Such techniques will be crucial for near-term and early fault-tolerant quantum computers, as the limited number of qubits is likely to be a major bottleneck for demonstrating quantum advantage. One typically distinguishes between gate cuts and wire cuts when partitioning a circuit. The cost for any circuit knitting approach scales exponentially in the number of cuts. One possibility to realize a cut is via the quasiprobability simulation technique. In fact, we argue that all existing rigorous circuit knitting techniques can be understood in this framework. Furthermore, we characterize the optimal overhead for wire cuts where the subcircuits can exchange classical information or not. We show that the optimal cost for cuttingnwires without and with classical communication between the subcircuits scales asO(16n) andO(4n), respectively.
Can measurements chosen adaptively, in response to earlier outcomes, be exponentially more informative than measurements fixed in advance? In many quantum settings, adaptivity helps at most polynomially; known exponential advantages require coherent measurements across copies or restricted measurements. We show an exponential advantage measuring one copy at a time, with no quantum memory kept between state copies, even when the nonadaptive learner may perform arbitrary global measurements on each copy. We construct explicit families of multi-qubit states in which a scalar parameter is encoded in one of exponentially many candidate observables, with an auxiliary marker indicating which one. An adaptive protocol identifies the relevant observable and then measures it using only single-qubit measurements and one round of adaptation. At fixed accuracy, it needs logarithmically many copies as the qubit count grows, whereas every nonadaptive protocol needs exponentially many. The same mechanism yields an exponential gap in local asymptotic minimax mean squared error constants, tight up to the exponential base. The states are separable and classical in label-dependent product bases; no entanglement or other nonclassical correlations are required. The gap comes from measurement incompatibility: the candidate observables cannot be measured jointly, so a fixed measurement must divide its information budget among them, while adaptivity selects the informative one. Accordingly, the separation disappears when the candidate observables commute, and cannot occur with fully observed classical samples. Measurement incompatibility thus emerges as a resource for quantum learning, distinct from entanglement and quantum memory, that classical feedback alone can exploit.
Circuit knitting (see, e.g., [1]) is a technique that allows circuits that are too large to run on a given quantum processing unit (QPU) to be decomposed into an equivalent series of smaller subcircuits that can run on the QPU, where the resulting measurement outcomes of the subcircuits are then classically combined via post-processing. Circuits are decomposed by cutting gates and/or wires. To obtain results to the same accuracy as those of the original problem, each cut incurs additional sampling overhead (denoted γ2) that grows exponentially with the number of cuts. It is therefore desirable to find optimal sets of cuts that minimize the sampling overhead. To this end, we present the “cut-finder” (Sec. I) module of the Circuit Knitting Toolbox (CKT) [2], which performs an automated search for LO gate and wire cuts that minimize the sampling overhead. Circuit knitting can also be used to engineer gates between distant qubits which would otherwise require a large swap overhead to implement. In Sec II, we show how this capability can be used to calculate certain expectation values on a graph state with a cylindrical topology to a better degree of accuracy than if the experiment were to be performed without circuit knitting.