All Or Nothing: No-Downfolding Theorems For Quantum Simulation

• URL: http://arxiv.org/abs/2506.16534v1
• Date: Thu, 19 Jun 2025 18:25:46 GMT
• Title: All Or Nothing: No-Downfolding Theorems For Quantum Simulation
• Authors: Troy Van Voorhis,
• Abstract summary: We prove that exact quantum downfolding is impossible for a non-trivial Hamiltonian $mathbfH(x)equivmathbfA+xmathbfB$.<n>It is not possible to construct a lower-dimension effective Hamiltonian $mathbfh(x)equivmathbfa+xmathbfb$ that exactly recovers emphany of the eigenvalue functions $E_i(x)$ of $mathbfH(x)$.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: The physics of a quantum system with many degrees of freedom is often approximated by downfolding: most of the degrees of freedom are "folded into" a much smaller number of degrees of freedom, resulting in an effective Hamiltonian that still captures the essential physics. Approaches of this sort are particularly relevant for quantum information, where exact downfolding would allow eigenstates in a large Hilbert space to be simulated with fewer qubits. Very little work has been done to prove the existence of such an exact downfolding for general systems or even particular cases. In this letter we prove that exact quantum downfolding is impossible for what is perhaps the most commonly-used formulation of the task. Specifically, for a non-trivial Hamiltonian $\mathbf{H}(x)\equiv\mathbf{A}+x\mathbf{B}$ that depends on some parameter $x$ (e.g. an electric field, bond length or interaction strength) it is not possible to construct a lower-dimension effective Hamiltonian $\mathbf{h}(x)\equiv\mathbf{a}+x\mathbf{b}$ that exactly recovers \emph{any} of the eigenvalue functions $E_i(x)$ of $\mathbf{H}(x)$. We discuss several generalizations of this result and the impacts of these findings on future directions in quantum information.

Related papers

• Slow Mixing of Quantum Gibbs Samplers [47.373245682678515]
  We present a quantum generalization of these tools through a generic bottleneck lemma.<n>This lemma focuses on quantum measures of distance, analogous to the classical Hamming distance but rooted in uniquely quantum principles.<n>We show how to lift classical slow mixing results in the presence of a transverse field using Poisson Feynman-Kac techniques.
  arXiv  Detail & Related papers  (2024-11-06T22:51:27Z)
• Quantum Hamilton-Jacobi Theory, Spectral Path Integrals and Exact-WKB [0.0]
  Hamilton-Jacobi theory is a powerful formalism, but its utility is not explored in quantum theory beyond the correspondence principle. We propose a new way to perform path integrals in quantum mechanics by using a quantum version of Hamilton-Jacobi theory.
  arXiv  Detail & Related papers  (2024-06-12T02:50:43Z)
• Calculating response functions of coupled oscillators using quantum phase estimation [40.31060267062305]
  We study the problem of estimating frequency response functions of systems of coupled, classical harmonic oscillators using a quantum computer.<n>Our proposed quantum algorithm operates in the standard $s-sparse, oracle-based query access model.<n>We show that a simple adaptation of our algorithm solves the random glued-trees problem in time.
  arXiv  Detail & Related papers  (2024-05-14T15:28:37Z)
• Geometry of degenerate quantum states, configurations of $m$-planes and invariants on complex Grassmannians [55.2480439325792]
  We show how to reduce the geometry of degenerate states to the non-abelian connection $A$. We find independent invariants associated with each triple of subspaces. Some of them generalize the Berry-Pancharatnam phase, and some do not have analogues for 1-dimensional subspaces.
  arXiv  Detail & Related papers  (2024-04-04T06:39:28Z)
• Linearly coupled quantum harmonic oscillators and their quantum entanglement [0.0]
  It is shown that quantum entanglement depends on only one coefficient $R in (0,1), which includes all the parameters of the system under consideration. It has been shown that quantum entanglement can be very large at certain values of this coefficient.
  arXiv  Detail & Related papers  (2024-02-01T17:42:17Z)
• Quantum Polynomial Hierarchies: Karp-Lipton, error reduction, and lower bounds [1.3927943269211591]
  This work studies three quantum-verifier based generalizations of $mathsfPH$. We first resolve several open problems from [GSSSY22], including a collapse theorem and a Karp-Lipton theorem for $mathsfQCPH$. We show one-sided error reduction for $mathsfpureQPH$, as well as the first bounds relating these quantum variants of $mathsfPH$.
  arXiv  Detail & Related papers  (2024-01-03T09:12:25Z)
• Small-time controllability for the nonlinear Schr\"odinger equation on $\mathbb{R}^N$ via bilinear electromagnetic fields [55.2480439325792]
  We address the small-time controllability problem for a nonlinear Schr"odinger equation (NLS) on $mathbbRN$ in the presence of magnetic and electric external fields. In detail, we study when it is possible to control the dynamics of (NLS) as fast as desired via sufficiently large control signals.
  arXiv  Detail & Related papers  (2023-07-28T21:30:44Z)
• Exponentially improved efficient machine learning for quantum many-body states with provable guarantees [0.0]
  We provide theoretical guarantees for efficient learning of quantum many-body states and their properties, with model-independent applications. Our results provide theoretical guarantees for efficient learning of quantum many-body states and their properties, with model-independent applications.
  arXiv  Detail & Related papers  (2023-04-10T02:22:36Z)
• A lower bound on the space overhead of fault-tolerant quantum computation [51.723084600243716]
  The threshold theorem is a fundamental result in the theory of fault-tolerant quantum computation. We prove an exponential upper bound on the maximal length of fault-tolerant quantum computation with amplitude noise.
  arXiv  Detail & Related papers  (2022-01-31T22:19:49Z)
• On quantum algorithms for the Schr\"odinger equation in the semi-classical regime [27.175719898694073]
  We consider Schr"odinger's equation in the semi-classical regime. Such a Schr"odinger equation finds many applications, including in Born-Oppenheimer molecular dynamics and Ehrenfest dynamics.
  arXiv  Detail & Related papers  (2021-12-25T20:01:54Z)
• Why and whence the Hilbert space in quantum theory? [0.0]
  We explain why and how the Hilbert space comes about in quantum theory. An issue of deriving the norm topology may no have a short-length solution but is likely solvable in the affirmative.
  arXiv  Detail & Related papers  (2021-10-07T13:55:47Z)
• Classical Dynamics from Self-Consistency Equations in Quantum Mechanics -- Extended Version [0.0]
  We propose a new mathematical approach to Bona's non-linear generalization of quantum mechanics. It highlights the central role of self-consistency. Some new mathematical concepts are introduced, which are possibly interesting by themselves.
  arXiv  Detail & Related papers  (2020-09-10T16:20:25Z)

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.