Complexity of tensor network simulation for noisy quantum circuits
- URL: http://arxiv.org/abs/2606.00474v1
- Date: Sat, 30 May 2026 01:42:33 GMT
- Title: Complexity of tensor network simulation for noisy quantum circuits
- Abstract summary: Local noise affects classical simulability of quantum dynamics benchmarked by tensor-network methods.<n>We prove the following: For single-qubit depolarizing noise on arbitrary circuits, tensor networks with $mathrmpoly(n)$ bond dimension suffice for fixed absolute Hilbert-Schmidt error after $order1$ depth.<n>In higher dimensions, these bounds yield uniform-in-depth $mathrmpoly(n)$ average boundary-bond dimensions for projected entangled pair operators(PEPO) across every cut.
- Score: 2.8523943706562633
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We aim to rigorously address how local noise affects classical simulability of quantum dynamics benchmarked by tensor-network methods. Using operator entanglement entropy (OEE), we prove the following: (1) For single-qubit depolarizing noise on arbitrary circuits, tensor networks with $\mathrm{poly}(n)$ bond dimension suffice for fixed absolute Hilbert-Schmidt error after $\order{1}$ depth, while relative error demands $\order{\log n}$ depth; and this bound is optimal. (2) For single-qubit depolarizing noise on 1D local circuits, the existence of whole-trajectory error-bounded matrix product operator (MPO) of $\mathrm{poly}(n)$ bond dimension at all depths. (3) For general single-qubit noise in 1D brickwall circuits, random two-design gates with contraction coefficient $c<1/3$ yield an $\order{1}$ OEE plateau with probability $1-Te^{-Ω(n)}$, while arbitrary gates with $c<1/48$ give $\order{\log n}$ OEE in the worst case. (4) In higher dimensions, these bounds yield uniform-in-depth $\mathrm{poly}(n)$ average boundary-bond dimensions for projected entangled pair operators~(PEPO) across every cut -- under depolarizing noise at either absolute or relative accuracy, and under general noise with strong contraction at absolute accuracy. Our results establish a rigorous connection between certain noise models, circuit types, and their classical simulability.
Related papers
- Joint Mitigation of Algorithmic and Physical Errors in Noisy Hamiltonian Simulation [22.28754738497284]
Product-formula Hamiltonian simulation is naturally suited to near-term quantum processors.<n>But its accuracy is set by two competing errors: finite-step Trotter bias and physical hardware noise.<n>We introduce a joint extrapolation strategy that ties the tunable per-layer noise strength to the Trotter step size.<n>We demonstrate the protocol for Ising dynamics on a superconducting quantum computer using learned noise.
arXiv Detail & Related papers (2026-09-10T13:15:37Z) - Quantum Speedups for Stochastic Optimization with Heavy-Tailed Noise [49.730496294398726]
We develop a novel quantum mean estimator for heavy-tailed random variables.<n>We derive stronger lower bounds for tail index>4/3$, showing that a nontrivial dependence on a dimension is unavoidable.<n>For a convex objective function, we propose a quantum projected gradient descent method.
arXiv Detail & Related papers (2026-07-28T09:29:37Z) - Near-Optimal Mode Scaling for Finite-Dimensional Boson Sampling via Lie-Algebraic Leakage Bounds [0.8594140167290097]
Boson sampling on matter-based platforms requires encoding the bosonic modes in finite-dimensional local Hilbert spaces.<n>We develop a unified framework for non-interacting sampling on the irreducible representations of compact Lie groups.<n>We prove, in a Gaussian model of the transition matrix, that its spectral norm concentrates at $tildeO(stn)$ rather than the $O(n)$ worst-case of prior spin-based emulations.
arXiv Detail & Related papers (2026-07-13T15:36:29Z) - Scale-Invariant Neural Network Optimization: Norm Geometry and Heavy-Tailed Noise [12.977441534320041]
We show that a scale-invariant first-order method with spectral norm requires $(minm, n-frac3p-2p-1) calls.<n>We prove that a batched method achieves the matching bound of $(minm, n-frac5p2p-2p-2)$ when the norm is spectral and the Hessian is Lipschitz.
arXiv Detail & Related papers (2026-05-18T15:13:18Z) - Measurement-induced entanglement in noisy 2D random Clifford circuits [1.915364393561725]
We study measurement-induced entanglement generated by column-by-column sampling of noisy 2D random Clifford circuits.<n>We find that constant local noise destroys long-range, volume-law measurement-induced entanglement.<n>We conjecture that a tensor-network-based algorithm can efficiently sample from noisy 2D random Clifford circuits.
arXiv Detail & Related papers (2025-10-14T17:21:55Z) - Optimal High-probability Convergence of Nonlinear SGD under Heavy-tailed Noise via Symmetrization [50.49466204159458]
We propose two novel estimators based on the idea of noise symmetrization.<n>We provide a sharper analysis and improved rates.<n>Compared to works assuming symmetric noise with moments, we provide a sharper analysis and improved rates.
arXiv Detail & Related papers (2025-07-12T00:31:13Z) - Sign Operator for Coping with Heavy-Tailed Noise in Non-Convex Optimization: High Probability Bounds Under $(L_0, L_1)$-Smoothness [74.18546828528298]
We show that SignSGD with Majority Voting can robustly work on the whole range of complexity with $kappakappakappakappa-1right, kappakappakappa-1right, kappakappakappa-1right, kappakappakappa-1right, kappakappakappa-1right, kappakappakappa-1right, kappakappakappa-1right, kappa
arXiv Detail & Related papers (2025-02-11T19:54:11Z) - Nonlinear Stochastic Gradient Descent and Heavy-tailed Noise: A Unified Framework and High-probability Guarantees [56.80920351680438]
We study high-probability convergence in online learning, in the presence of heavy-tailed noise.<n>We provide guarantees for a broad class of nonlinearities, without any assumptions on noise moments.
arXiv Detail & Related papers (2024-10-17T18:25:28Z) - Learning with Norm Constrained, Over-parameterized, Two-layer Neural Networks [54.177130905659155]
Recent studies show that a reproducing kernel Hilbert space (RKHS) is not a suitable space to model functions by neural networks.
In this paper, we study a suitable function space for over- parameterized two-layer neural networks with bounded norms.
arXiv Detail & Related papers (2024-04-29T15:04:07Z) - Some Constructions of Private, Efficient, and Optimal $K$-Norm and Elliptic Gaussian Noise [54.34628844260993]
Differentially private computation often begins with a bound on some $d$-dimensional statistic's sensitivity.
For pure differential privacy, the $K$-norm mechanism can improve on this approach using a norm tailored to the statistic's sensitivity space.
This paper solves both problems for the simple statistics of sum, count, and vote.
arXiv Detail & Related papers (2023-09-27T17:09:36Z) - Simulating Noisy Variational Quantum Algorithms: A Polynomial Approach [1.806183113759115]
Large-scale variational quantum algorithms are widely recognized as a potential pathway to achieve quantum advantages.
We present a novel $gammaPPP method based on the integral path of observables back-propagation on paths.
We conduct classical simulations of IBM's zeronoised experimental results on the 127-qubit Eagle processor.
arXiv Detail & Related papers (2023-06-09T10:42:07Z) - Random quantum circuits transform local noise into global white noise [118.18170052022323]
We study the distribution over measurement outcomes of noisy random quantum circuits in the low-fidelity regime.
For local noise that is sufficiently weak and unital, correlations (measured by the linear cross-entropy benchmark) between the output distribution $p_textnoisy$ of a generic noisy circuit instance shrink exponentially.
If the noise is incoherent, the output distribution approaches the uniform distribution $p_textunif$ at precisely the same rate.
arXiv Detail & Related papers (2021-11-29T19:26:28Z) - Interactive quantum advantage with noisy, shallow Clifford circuits [0.0]
We show a strategy for adding noise tolerance to the interactive protocols of Grier and Schaeffer.
A key component of this reduction is showing average-case hardness for the classical simulation tasks.
We show that is true even for quantum tasks which are $oplus$L-hard to simulate.
arXiv Detail & Related papers (2021-02-13T00:54:45Z) - Learning Halfspaces with Tsybakov Noise [50.659479930171585]
We study the learnability of halfspaces in the presence of Tsybakov noise.
We give an algorithm that achieves misclassification error $epsilon$ with respect to the true halfspace.
arXiv Detail & Related papers (2020-06-11T14:25:02Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.