Approximating the operator norm of local Hamiltonians via few quantum states
- URL: http://arxiv.org/abs/2509.11979v2
- Date: Sun, 19 Oct 2025 02:15:35 GMT
- Title: Approximating the operator norm of local Hamiltonians via few quantum states
- Authors: Lars Becker, Joseph Slote, Alexander Volberg, Haonan Zhang,
- Abstract summary: Consider a Hermitian operator $A$ acting on a complex Hilbert space of $2n$.<n>We show that when $A$ has small degree in the Pauli expansion, or in other words, $A$ is a local $n$-qubit Hamiltonian.<n>We show that whenever $A$ is $d$-local, textiti.e., $deg(A)le d$, we have the following discretization-type inequality.
- Score: 53.16156504455106
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Consider a Hermitian operator $A$ acting on a complex Hilbert space of dimension $2^n$. We show that when $A$ has small degree in the Pauli expansion, or in other words, $A$ is a local $n$-qubit Hamiltonian, its operator norm can be approximated independently of $n$ by maximizing $|\braket{\psi|A|\psi}|$ over a small collection $\mathbf{X}_n$ of product states $\ket{\psi}\in (\mathbf{C}^{2})^{\otimes n}$. More precisely, we show that whenever $A$ is $d$-local, \textit{i.e.,} $\deg(A)\le d$, we have the following discretization-type inequality: \[ \|A\|\le C(d)\max_{\psi\in \mathbf{X}_n}|\braket{\psi|A|\psi}|. \] The constant $C(d)$ depends only on $d$. This collection $\mathbf{X}_n$ of $\psi$'s, termed a \emph{quantum norm design}, is independent of $A$, and consists of product states, and can have cardinality as small as $(1+\eps)^n$, which is essentially tight. Previously, norm designs were known only for homogeneous $d$-localHamiltonians $A$ \cite{L,BGKT,ACKK}, and for non-homogeneous $2$-local traceless $A$ \cite{BGKT}. Several other results, such as boundedness of Rademacher projections for all levels and estimates of operator norms of random Hamiltonians, are also given.
Related papers
- Discrete symmetries in classical and quantum oscillators [51.56484100374058]
We show the eigenfunctions $_n=zn$ of the quantum Hamiltonian in the complex Bargmann-Fock-Segal representation.<n>The superposition $=sum_n c_n_n$ arises only with incomplete knowledge of the initial data for solving the Schrdinger equation.
arXiv Detail & Related papers (2026-01-05T10:04:39Z) - Boundary-driven quantum systems near the Zeno limit: steady states and long-time behavior [0.0]
We study composite open quantum systems with a finite-dimensional state space $mathcal H_Aotimes mathcal H_B$ governed by a Lindblad equation $'(t) = mathcal L_(t)$.<n>We show that if $mathcal D_Psharp$ is ergodic and gapped, then so is $mathcal L_$ for all large $$, and if $bar_$ denotes the unique steady state for $mathcal L_$
arXiv Detail & Related papers (2025-12-14T20:13:54Z) - Sharp Gap-Dependent Variance-Aware Regret Bounds for Tabular MDPs [54.28273395444243]
We show that the Monotonic Value Omega (MVP) algorithm achieves a variance-aware gap-dependent regret bound of $$tildeOleft(left(sum_Delta_h(s,a)>0 fracH2 log K land mathttVar_maxtextc$.
arXiv Detail & Related papers (2025-06-06T20:33:57Z) - Long-Time Behavior of Typical Pure States from Thermal Equilibrium Ensembles [0.0]
We consider an isolated macroscopic quantum system in a pure state $psi_tinmathcalH$ evolving unitarily in a separable Hilbert space $mathcalH$.<n>In the present work, we generalize this result from the uniform distribution to a much more general class of measures, so-called GAP measures.
arXiv Detail & Related papers (2024-12-21T15:28:58Z) - Sparsifying Suprema of Gaussian Processes [6.638504164134713]
We show that there is an $O_varepsilon(1)$-size subset $S subseteq T$ and a set of real values $c_s_s in S$.
We also use our sparsification result for suprema of centered Gaussian processes to give a sparsification lemma for convex sets of bounded geometric width.
arXiv Detail & Related papers (2024-11-22T01:43:58Z) - Monge-Kantorovich Fitting With Sobolev Budgets [6.748324975906262]
We show that when $rho$ is concentrated near an $mtext-d$ set we may interpret this as a manifold learning problem with noisy data.<n>We quantify $nu$'s performance in approximating $rho$ via the Monge-Kantorovich $p$-cost $mathbbW_pp(rho, nu)$, and constrain the complexity by requiring $mathrmsupp nu$ to be coverable by an $f : mathbbRm
arXiv Detail & Related papers (2024-09-25T01:30:16Z) - Dimension Independent Disentanglers from Unentanglement and Applications [55.86191108738564]
We construct a dimension-independent k-partite disentangler (like) channel from bipartite unentangled input.
We show that to capture NEXP, it suffices to have unentangled proofs of the form $| psi rangle = sqrta | sqrt1-a | psi_+ rangle where $| psi_+ rangle has non-negative amplitudes.
arXiv Detail & Related papers (2024-02-23T12:22:03Z) - Mapping the space of quantum expectation values [0.0]
For a quantum system with Hilbert space $cal H$ of dimension $N$, a basic question is to understand the set $E_S subset mathbbRn$ of points $vece$.
A related question is to determine whether a given set of expectation values $vec$ lies in $E_S$.
arXiv Detail & Related papers (2023-10-19T19:17:42Z) - Dimension-free discretizations of the uniform norm by small product sets [45.85600902330814]
A classical inequality of Bernstein compares the supremum norm of $f$ over the unit circle to its supremum norm over the sampling set of the $K$-th roots of unity.<n>We show that dimension-free discretizations are possible with sampling sets whose cardinality is independent of $deg(f)$ and is instead governed by the maximum individual degree of $f$.
arXiv Detail & Related papers (2023-10-11T22:46:09Z) - Enlarging the notion of additivity of resource quantifiers [62.997667081978825]
Given a quantum state $varrho$ and a quantifier $cal E(varrho), it is a hard task to determine $cal E(varrhootimes N)$.
We show that the one shot distillable entanglement of certain spherically symmetric states can be quantitatively approximated by such an augmented additivity.
arXiv Detail & Related papers (2022-07-31T00:23:10Z) - Feasibility and method of multi-step Hermitization of crypto-Hermitian
quantum Hamiltonians [0.0]
We build unitary models using non-Hermitian Hamiltonians (i.e., $H neq Hdagger$) which are Hermitizable.
The necessary Hermiticity of the Hamiltonian $H = Hddagger$ can be achieved by the mere metric-mediated amendment $langle psi_a|psi_brangle$ to the inner product.
arXiv Detail & Related papers (2022-03-05T07:24:51Z) - Low-Rank Approximation with $1/\epsilon^{1/3}$ Matrix-Vector Products [58.05771390012827]
We study iterative methods based on Krylov subspaces for low-rank approximation under any Schatten-$p$ norm.
Our main result is an algorithm that uses only $tildeO(k/sqrtepsilon)$ matrix-vector products.
arXiv Detail & Related papers (2022-02-10T16:10:41Z)
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.