arxiv: 2604.06077 · v1 · submitted 2026-04-07 · 🪐 quant-ph · math-ph· math.MP

Recognition: 2 theorem links

· Lean Theorem

Simulating Thermal Properties of Bose-Hubbard Models on a Quantum Computer

Simon Becker , Cambyse Rouz\'e , Robert Salzmann

Authors on Pith no claims yet

Pith reviewed 2026-05-10 19:30 UTC · model grok-4.3

classification 🪐 quant-ph math-phmath.MP

keywords Bose-Hubbard modelGibbs statedissipative generatorspectral gapquantum simulationbosonic systemsthermal properties

0 comments

The pith

Bose-Hubbard models admit gapped dissipative generators allowing efficient preparation of their thermal states on quantum computers.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces the first rigorous Gibbs sampling framework for bosonic many-body systems. It proves that dissipative generators tied to Bose-Hubbard Hamiltonians possess a positive spectral gap, which guarantees exponential convergence to the thermal Gibbs state. The argument covers both the mean-field regime and the multi-mode case, where a finite-rank reduction plus compact perturbation control establishes the gap and spectral discreteness. This supplies a mathematically controlled quantum algorithm for preparing those thermal states on qubit hardware and computing associated thermal properties of the model.

Core claim

For Bose-Hubbard Hamiltonians, the associated dissipative generators maintain a positive spectral gap both within and beyond the mean-field regime. In the multi-mode setting this follows from a finite-rank reduction of the dynamics that lets compact perturbations preserve the gap and discreteness of the spectrum. The gap implies exponential convergence to the thermal state and thereby yields the first controlled route to Gibbs-state preparation for these infinite-dimensional systems.

What carries the argument

The gapped dissipative generator for the Bose-Hubbard Hamiltonian, whose positive spectral gap drives exponential relaxation to the Gibbs state.

If this is right

Thermal states of Bose-Hubbard models can be prepared efficiently on qubit hardware.
Thermal properties of the model become computable via a controlled quantum algorithm.
This supplies the first mathematically rigorous Gibbs sampling procedure for infinite-dimensional bosonic systems.
Quantum simulation of thermalization and many-body complexity gains a controlled bosonic route.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same reduction technique could apply to other bosonic lattice models whose interactions allow a similar finite-rank approximation.
Classical hardness of thermal observables for large systems might translate into a quantum advantage once the gap is verified numerically.
The stability of the gap under perturbations suggests testing the construction on small-scale quantum devices to measure actual convergence rates.
Extensions to time-dependent or driven bosonic systems might reuse the compact-perturbation argument once an appropriate reference generator is identified.

Load-bearing premise

The dissipative generators for Bose-Hubbard models retain a positive spectral gap after finite-rank reduction and compact perturbations.

What would settle it

Numerical or analytic evidence that the spectral gap of the generator closes or becomes exponentially small in system size for some range of interaction strengths and temperatures would falsify the efficient convergence result.

Figures

Figures reproduced from arXiv: 2604.06077 by Cambyse Rouz\'e, Robert Salzmann, Simon Becker.

read the original abstract

While recent advances have established efficient quantum algorithms for preparing Gibbs states of finite-dimensional systems, comparable complexity results for bosonic and other infinite-dimensional models remain unexplored. We introduce the first general rigorous Gibbs sampling framework for bosonic many-body systems, showing that physically relevant bosonic models admit gapped dissipative generators, enabling efficient preparation of thermal states. Although our results hold for broad classes of models, we illustrate them using Bose-Hubbard Hamiltonians, both within and beyond the mean-field regime. In both cases, we show that the associated dissipative generators maintain a positive spectral gap, thereby implying exponential convergence to the thermal state. Our argument in the multi-mode case is based on a finite-rank reduction of the dissipative dynamics, which allows us to control the generator via compact perturbations and deduce the discreteness of the spectrum and the stability of the gap. We apply our results to provide efficient preparation of the corresponding Gibbs state on qubit hardware, and by that a quantum algorithm to compute thermal properties of the associated model. This provides the first mathematically controlled route to Gibbs sampling in infinite-dimensional systems, with implications for quantum simulation, thermalization, and many-body complexity, where quantum advantages may arise.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper gives a rigorous quantum algorithm for thermal states of Bose-Hubbard models by proving spectral gaps in the dissipative generators, though the multi-mode case hinges on unstated bounds.

read the letter

This paper claims to give the first rigorous framework for preparing thermal Gibbs states of bosonic many-body systems like the Bose-Hubbard model on a quantum computer. The key move is showing that the associated dissipative generators have a positive spectral gap, which gives exponential convergence to the steady state. They handle both mean-field and multi-mode regimes. In the mean-field case the argument is direct. For multiple modes they reduce the infinite-dimensional dynamics to a finite-rank operator and treat the rest as a compact perturbation to preserve the gap and discreteness of the spectrum. From there they sketch a quantum algorithm to prepare the state on qubit hardware and extract thermal properties. The new part is the extension beyond finite-dimensional systems, using spectral theory to control the gap. That is useful if it holds, because classical simulation of bosonic thermal states is hard in general. The potential issue is whether the gap really survives the reduction and perturbation uniformly. Compact perturbations keep the essential spectrum but can move discrete eigenvalues, so you need the perturbation norm to be smaller than the reduced gap by a definite amount, and that bound should not blow up with more modes or stronger interactions. The abstract does not spell out those estimates, so the multi-mode claim rests on that step being tight. This work is aimed at researchers in quantum algorithms for many-body physics who want controlled error bounds rather than heuristic simulations. Someone looking for a starting point on infinite-dimensional Gibbs sampling will find the structure helpful. It is worth sending to peer review because the central idea is interesting and the proofs, if complete, would be a real step forward, even if the multi-mode details need more work.

Referee Report

2 major / 1 minor

Summary. The paper introduces the first general rigorous Gibbs sampling framework for bosonic many-body systems on quantum computers. It claims that physically relevant bosonic models, illustrated via Bose-Hubbard Hamiltonians in both mean-field and multi-mode regimes, admit gapped dissipative generators. This enables efficient preparation of thermal states, with the multi-mode argument relying on finite-rank reduction of the Lindblad generator followed by compact perturbations to establish discreteness of the spectrum and stability of a positive gap, ultimately yielding a quantum algorithm for computing thermal properties.

Significance. If the central claims hold, the work would establish the first mathematically controlled route to Gibbs sampling for infinite-dimensional bosonic systems, with implications for quantum simulation of thermalization and many-body complexity. The provision of rigorous proofs for gapped generators and finite-rank reductions is a notable strength.

major comments (2)

[multi-mode Bose-Hubbard argument] The multi-mode Bose-Hubbard argument (as described in the abstract and the section on multi-mode models) rests on reducing the infinite-dimensional Lindblad generator to a finite-rank operator with positive gap, then showing the remainder is a compact perturbation that preserves a uniform positive lower bound on the gap. Explicit operator-norm bounds are needed to ensure the perturbation size is strictly smaller than the reduced gap, uniformly in mode number and interaction strength; without them the survival of the gap is not secured.
[proofs of gapped generators] The abstract states that proofs exist for gapped generators and finite-rank reductions, but the manuscript must include the full derivations, error bounds, and explicit gap estimates (including for the mean-field case) to allow verification that the central claims are supported.

minor comments (1)

[introduction] Clarify the notation for the dissipative generators and the precise definition of the finite-rank reduction in the introduction to improve readability for readers unfamiliar with the spectral theory tools.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments, which help strengthen the rigor of our presentation. We address each major comment below and will revise the manuscript to incorporate the requested details.

read point-by-point responses

Referee: [multi-mode Bose-Hubbard argument] The multi-mode Bose-Hubbard argument (as described in the abstract and the section on multi-mode models) rests on reducing the infinite-dimensional Lindblad generator to a finite-rank operator with positive gap, then showing the remainder is a compact perturbation that preserves a uniform positive lower bound on the gap. Explicit operator-norm bounds are needed to ensure the perturbation size is strictly smaller than the reduced gap, uniformly in mode number and interaction strength; without them the survival of the gap is not secured.

Authors: We agree that explicit operator-norm bounds are required to rigorously confirm that the compact perturbation remains strictly smaller than the reduced gap, uniformly over mode number and interaction strength. The current manuscript sketches the finite-rank reduction and compactness argument but does not supply the full quantitative bounds. We will add these explicit estimates, including the operator-norm calculations and the resulting uniform gap lower bound, in a new subsection of the multi-mode analysis (with supporting lemmas in the appendix). revision: yes
Referee: [proofs of gapped generators] The abstract states that proofs exist for gapped generators and finite-rank reductions, but the manuscript must include the full derivations, error bounds, and explicit gap estimates (including for the mean-field case) to allow verification that the central claims are supported.

Authors: We acknowledge that while the manuscript states the existence of positive spectral gaps and outlines the proof strategy for both the mean-field and multi-mode cases, the full derivations, complete error bounds, and explicit gap estimates are not presented in sufficient detail for independent verification. We will include the complete proofs, with all intermediate steps, error bounds, and numerical gap estimates (explicitly for the mean-field regime and the finite-rank reduction), in an expanded appendix together with a summary in the main text. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation is a direct mathematical proof of spectral gap via reduction and perturbation

full rationale

The paper's central claim rests on proving that dissipative generators for Bose-Hubbard models have a positive spectral gap, first for mean-field and then for multi-mode via explicit finite-rank reduction followed by compact perturbation arguments that control the spectrum. This is a self-contained operator-theoretic argument (not a fit, not a self-definition, and not reliant on load-bearing self-citations for the gap itself). No step reduces the target result to an input by construction; the finite-rank step and perturbation estimates are presented as independent controls. The framework is therefore not circular.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the existence of gapped dissipative generators for the models considered; no explicit free parameters or invented entities are stated in the abstract, but the framework assumes standard results from open quantum systems and spectral theory for infinite-dimensional operators.

axioms (2)

domain assumption Physically relevant bosonic models admit gapped dissipative generators
Invoked as the key property enabling exponential convergence; location: abstract statement of the main result.
domain assumption Finite-rank reduction controls the generator via compact perturbations and preserves gap stability
Used for the multi-mode case; location: abstract description of the multi-mode argument.

pith-pipeline@v0.9.0 · 5511 in / 1305 out tokens · 120982 ms · 2026-05-10T19:30:30.267345+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We introduce the first general rigorous Gibbs sampling framework for bosonic many-body systems, showing that physically relevant bosonic models admit gapped dissipative generators... finite-rank reduction of the dissipative dynamics, which allows us to control the generator via compact perturbations
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

bfM(ν) = exp(−√(1+(βν)²) + βν/4) ... Dirichlet form E_bf,H(x) = −⟨x, L_bf,H x⟩

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Computing the free energy of quantum Coulomb gases and molecules via quantum Gibbs sampling
quant-ph 2026-04 unverdicted novelty 8.0

Quantum algorithm with rigorous truncation error bounds and spectral gap guarantees for free energy estimation in finite-temperature Coulomb quantum systems via Markovian Gibbs sampling.

Reference graph

Works this paper leans on

91 extracted references · 91 canonical work pages · cited by 1 Pith paper · 3 internal anchors

[1]

Unperturbed Gaussian dynamics In this section, we list a few simple examples of bosonic systems for which the gap can be readily controlled. 9 a. Single-mode setting We start with the quantum Ornstein–Uhlenbeck semigroup converging to the Gibbs state of the number operator N:=a †aonL 2(R), with associated creation and annihilation operatorsaanda †, whose ...

work page
[2]

Here the unperturbed generator is explicit, and the perturbation inherits a very rigid structure

Perturbations of Gaussian Hamiltonians To make this structure concrete, we specialize to the Gaussian reference case. Here the unperturbed generator is explicit, and the perturbation inherits a very rigid structure. Moreover, this structural control is strong enough to preserve the spectral properties of the generator. Theorem B.4(Persistence of discrete ...

work page
[3]

Perturbations of powers of the number operator For powers of the number operator, we restrict ourselves to the filter function (A3) bfM (ν) = exp − p 1 + (βν)2 +βν 4 ! .(B1) Lemma B.5(Generator forH=h(N)).Leth:N 0 →R, setH:=h(N), and let bfM be a filter function. Then LbfM ,h(N)(X) =a †g+(N)X g +(N)a+a g −(N)X g −(N)a † − 1 2 {A+, X} − 1 2 {A−, X}, (B2) w...

work page
[4]

Gap estimates via Dirichlet form perturbative analysis Beyond perturbations of Gaussian models, in Lemma B.9 below, we prove stability under small perturbations of the spectral gap of the self-adjoint generatorsL bf ,H. We consider the derivation operator fort∈Randx∈F⊂T 2(H) ∂α t (x) := X ν∈B(H) bf(ν)e iνteβν/4 δα ν (x) = X ν∈B(H) bf(ν)e iνt Aα ν x−e βν/2...

work page
[5]

Then we iterate this procedure by attaching allm 2 ∈N 0 such that there exists m1 in the current set satisfying (C10)

andn <3 + 4µ U , we constructC n ⊆N 0 satisfying (C7) and (C8) in the following iterative way: We start with the set{n}and then attach allm 2 ∈N 0 such that E(0) m1 −E (0) m2 ≤4δ(m 1 +m 2 + 1) (C10) withm 1 ≡n,resulting in a larger set. Then we iterate this procedure by attaching allm 2 ∈N 0 such that there exists m1 in the current set satisfying (C10). W...

work page
[6]

Furthermore, thisE n has multiplicity1and satisfies En −E (0) m ≥ U 8 (n+m+ 1) (C13) for allm̸=n. 17 Forn <3 + 4µ U ,δ∈[|ψ|, U 16), andC n ⊆ 0,· · ·,3 +⌊ 4µ U ⌋ defined in Lemma C.2, we haven∈ C n, max m1,m2∈Cn |Em1 −E m2 | ≤144δ 1 + µ U 2 (C14) and min m1∈Cn Em1 −E (0) m2 >2δ(m 2 + 1) (C15) for allm 2 ∈N 0 \ Cn. Lastly, we have that ∆E = sup |ψ|∈I max 0≤...

work page
[7]

we see that ∆E = sup |ψ|∈I max 0≤j,m≤6+ 8µ U |Ej −E m|<∞ for all closed intervalsI⊆[0, U 16). By the previous lemma, we know thatHhas a discrete spectrum (E n)n∈N0 .Further, fornlarge enough, i.e., (C11), we have seen that theE n are non-degenerate and separated from each other. For smalln, theE n can, in principle, be degenerate. To take this into accoun...

work page
[8]

We want to employ the spectral gap result for generators of number preserving Hamiltonians in our companion paper, i.e

the self-adjoint generator LbfM ,h(N) on the space of Hilbert-Schmidt generators corresponding to the Hamiltonianh(N) = P∞ n=0 En|n⟩ ⟨n|, with h(n) :=E n being the energies of the mean field Bose-Hubbard Hamiltonian,H,defined in (C2). We want to employ the spectral gap result for generators of number preserving Hamiltonians in our companion paper, i.e. [7...

work page
[9]

we consider the setC n ⊂ {0,· · ·,3 + 4µ U }defined and studied in Lemma C.2, C.3 and C.4. Using this, in particular the bound (C14), and (C48) we see X n,m<3+ 4µ U bfM (En −E m)ei(En−Em)t|En⟩ ⟨En|a|Em⟩ ⟨Em| − X [n],[m] n,m<3+ 4µ U bfM (En −E m)ei(En−Em)tPCn aPCm ∞ ≤ X [n],[m] n,m<3+ 4µ U X k∈[n],l∈[m] bfM (Ek −E l)ei(Ek−El)t − bfM (En −E m)ei(En−Em)t |Ek...

work page
[10]

Lemma D.1.SetU >0andκ:=β(η−2D|J|)>0

Superfluid phase We start with the super-fluid truncation (D3). Lemma D.1.SetU >0andκ:=β(η−2D|J|)>0. LetP b M ′ be the projection onto the firstM ′ + 1lowest-energy single-mode Fock states associated to the mode operators{b, b †}. Then σβ(H)−σ β(HSF) 1 ≤εforM ′ = Ω n+ log 1 ε . Proof.Let Π ≤M ′ :=1 {N≤M ′} and Π >M ′ :=1−Π ≤M ′, whereN= P i b† i bi = P i ...

work page
[11]

Lemma D.2.AssumeU >0

Mott-insulator regime We now turn to the Mott-insulator truncation (D4). Lemma D.2.AssumeU >0. Then σβ(HBH)−σ β(HMI) 1 ≤εforM ′ = Ω n+ log 1 ε . Proof.SetT:=−J P ⟨i,j⟩(a† i aj + h.c.) +ηN,Q:= U 2 P i N2 i −η ′Ni ,P:= (P a M ′)⊗n, and P:= 1−P. Then H:=H BH =T+Q, whileH MI =P T P+Q, so that and therefore H−H MI =T−P T P= P T+P T P . Using that the partition...

work page
[12]

ConsiderS M ′ :=P k≥M ′+1 k dk qk

Next, letB:= 2(2D|J|+η), Γ := βU 4 Cη′,η,J ,q:=e −Γ ∈(0,1). ConsiderS M ′ :=P k≥M ′+1 k dk qk. Usingk n+k−1 k =n n+k−1 k−1 , and the change of variablem=k−1, we get SM ′ =nq X m≥M ′ n+m m qm. Now letYbe a negative-binomial random variable with parameters (n+ 1, q), namely P(Y=m) = (1−q) n+1 n+m m qm, m= 0,1,2, . . . ThenS M ′ = nq (1−q)n+1 P(Y≥M ′). For a...

work page
[13]

It follows directly from Theorem B.4 that the Lindbladian associated withH SF exhibits a spectral gap

Spectral gap analysis of finite rank truncations We move on to proving the spectral gap for the truncated models introduced in the previous section. It follows directly from Theorem B.4 that the Lindbladian associated withH SF exhibits a spectral gap. Similarly, we may directly make use of Corollary B.8 in order to conclude positivity of the spectral gap ...

work page
[14]

Theorem E.3 below

Finite-dimensional circuit implementation ofσ β(HSF) In this section we show that the Gibbs state of the HamiltonianH SF defined in Section D can be efficiently prepared by a qubit based quantum computer, c.f. Theorem E.3 below. For that we first state and prove the following two supporting lemmas. Lemma E.1.Letβ, U >0, η, η ′, J∈Rwithη−2D|J|>0and conside...

work page
[15]

End-to-end simulation cost for free energies In this section, we consider the task of computing the difference in free energies of two Hamiltonians (H 0, D(H0)) and (H1, D(H1)) withH 0, H1 ≥ −h0, over a Hilbert spaceHat inverse temperatureβ >0: ∆F(β, H) :=F(β, H 1)−F(β, H 0),whereF(β, H) :=−β −1 log Tr e−βH . We consider a pathH(s) := (1−s)H 0 +sH 1, so t...

work page
[16]

On the complexity of quantum partition functions.arXiv preprint arXiv:2110.15466,

S. Bravyi, A. Chowdhury, D. Gosset, and P. Wocjan, arXiv preprint arXiv:2110.15466 (2021)

work page arXiv 2021
[17]

E. R. Anschuetz, C.-F. Chen, B. T. Kiani, and R. King, Physical Review Letters135, 10.1103/cbqf-d24r (2025)

work page doi:10.1103/cbqf-d24r 2025
[18]

Gily´ en, M

A. Gily´ en, M. B. Hastings, and U. Vazirani, inProceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing(2021) pp. 1357–1369

work page 2021
[19]

J. Leng, K. Wu, X. Wu, and Y. Zheng, arXiv preprint arXiv:2504.14841 (2025)

work page arXiv 2025
[20]

Basso, C.-F

J. Basso, C.-F. Chen, and A. M. Dalzell, arXiv preprint arXiv:2411.02578 (2024)

work page arXiv 2024
[21]

X. Mi, A. A. Michailidis, S. Shabani, K. C. Miao, P. V. Klimov, J. Lloyd, E. Rosenberg, R. Acharya, I. Aleiner, T. I. Andersen, M. Ansmann, F. Arute, K. Arya, A. Asfaw, J. Atalaya, J. C. Bardin, A. Bengtsson, G. Bortoli, A. Bourassa, J. Bovaird, L. Brill, M. Broughton, B. B. Buckley, D. A. Buell, T. Burger, B. Burkett, N. Bushnell, Z. Chen, B. Chiaro, D. ...

work page 2024
[22]

C.-F. Chen, M. J. Kastoryano, F. G. Brand˜ ao, and A. Gily´ en, arXiv preprint arXiv:2303.18224 (2023)

work page arXiv 2023
[23]

Gilyén, C.-F

A. Gily´ en, C.-F. Chen, J. F. Doriguello, and M. J. Kastoryano, arXiv preprint arXiv:2405.20322 (2024)

work page arXiv 2024
[24]

C.-F. Chen, M. J. Kastoryano, and A. Gily´ en, arXiv preprint arXiv:2311.09207 (2023)

work page arXiv 2023
[25]

Z. Ding, B. Li, and L. Lin, Communications in Mathematical Physics406, 67 (2025)

work page 2025
[26]

Alhambra

C. Rouz´ e, D. Stilck Fran¸ ca, and A. M. Alhambra, Physical Review Letters136, 10.1103/lhht-svmn (2026)

work page doi:10.1103/lhht-svmn 2026
[27]

Rouz´ e, D

C. Rouz´ e, D. S. Fran¸ ca, and A. M. Alhambra, inProceedings of the 57th Annual ACM Symposium on Theory of Computing, STOC ’25 (ACM, 2025) p. 1488–1495

work page 2025
[28]

ˇSm´ ıd, R

ˇS. ˇSm´ ıd, R. Meister, M. Berta, and R. Bondesan, Nature Communications16, 10736 (2025)

work page 2025
[29]

Rapid Mixing of Quantum Gibbs Samplers for Weakly-Interacting Quantum Systems

ˇS. ˇSm´ ıd, R. Meister, M. Berta, and R. Bondesan, arXiv preprint arXiv:2510.04954 (2025)

work page internal anchor Pith review Pith/arXiv arXiv 2025
[30]

Tong and Y

Y. Tong and Y. Zhan, PRX Quantum6, 030301 (2025)

work page 2025
[31]

Z. Ding, Y. Zhan, J. Preskill, and L. Lin, arXiv preprint arXiv:2508.05703 (2025)

work page arXiv 2025
[32]

D. Hahn, R. Sweke, A. Deshpande, and O. Shtanko, arXiv preprint arXiv:2506.04321 (2025)

work page internal anchor Pith review arXiv 2025
[33]

Bakshi, A

A. Bakshi, A. Liu, A. Moitra, and E. Tang, arXiv preprint arXiv:2510.08542 (2025)

work page arXiv 2025
[34]

Bergamaschi and C.-F

T. Bergamaschi and C.-F. Chen, arXiv preprint arXiv:2510.08533 (2025)

work page arXiv 2025
[35]

Y. Zhan, Z. Ding, J. Huhn, J. Gray, J. Preskill, G. K. Chan, and L. Lin, arXiv preprint arXiv:2503.15827 (2025)

work page arXiv 2025
[36]

Bakshi, A

A. Bakshi, A. Liu, A. Moitra, and E. Tang, in2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS)(IEEE, 2024) pp. 1027–1036

work page 2024
[37]

R. L. Mann and T. Helmuth, Journal of Mathematical Physics62(2021)

work page 2021
[38]

Helmuth and R

T. Helmuth and R. L. Mann, Quantum7, 1155 (2023)

work page 2023
[39]

R. L. Mann and R. M. Minko, PRX Quantum5, 10.1103/prxquantum.5.010305 (2024)

work page doi:10.1103/prxquantum.5.010305 2024
[40]

H. Chen, C. Rouz´ e, J. Chen, J. Jiang, S. O. Scalet, Y. Zhan, G. K. Chan, L. Ying, and Y. Tong, arXiv preprint arXiv:2512.12010 (2025)

work page arXiv 2025
[41]

S. L. Braunstein and P. Van Loock, Reviews of modern physics77, 513 (2005)

work page 2005
[42]

N. J. Cerf, G. Leuchs, and E. S. Polzik,Quantum information with continuous variables of atoms and light(World Scientific, 2007). 39

work page 2007
[43]

Weedbrook, S

C. Weedbrook, S. Pirandola, R. Garc´ ıa-Patr´ on, N. J. Cerf, T. C. Ralph, J. H. Shapiro, and S. Lloyd, Reviews of Modern Physics84, 621 (2012)

work page 2012
[44]

Bosonic Quantum Computational Complexity

U. Chabaud, M. Joseph, S. Mehraban, and A. Motamedi, arXiv preprint arXiv:2410.04274 (2024)

work page internal anchor Pith review arXiv 2024
[45]

arXiv preprint arXiv:2510.08545 , year=

U. Chabaud, S. Gharibian, S. Mehraban, A. Motamedi, H. R. Naeij, D. Rudolph, and D. Sambrani, arXiv preprint arXiv:2510.08545 (2025)

work page arXiv 2025
[46]

M. A. Cazalilla, R. Citro, T. Giamarchi, E. Orignac, and M. Rigol, Reviews of Modern Physics83, 1405 (2011)

work page 2011
[47]

Griffin, D

A. Griffin, D. W. Snoke, and S. Stringari,Bose-einstein condensation(Cambridge University Press, 1996)

work page 1996
[48]

Dalfovo, S

F. Dalfovo, S. Giorgini, L. P. Pitaevskii, and S. Stringari, Reviews of modern physics71, 463 (1999)

work page 1999
[49]

T¨ orm¨ a, S

P. T¨ orm¨ a, S. Peotta, and B. A. Bernevig, Nature Reviews Physics4, 528 (2022)

work page 2022
[50]

Fabre and N

C. Fabre and N. Treps, Reviews of Modern Physics92, 035005 (2020)

work page 2020
[51]

Brennecke, T

F. Brennecke, T. Donner, S. Ritter, T. Bourdel, M. K¨ ohl, and T. Esslinger, nature450, 268 (2007)

work page 2007
[52]

Mivehvar, F

F. Mivehvar, F. Piazza, T. Donner, and H. Ritsch, Advances in Physics70, 1 (2021)

work page 2021
[53]

H. A. Gersch and G. C. Knollman, Physical Review129, 959 (1963)

work page 1963
[54]

C. Guo, A. Weichselbaum, J. von Delft, and M. Vojta, Physical review letters108, 160401 (2012)

work page 2012
[55]

Del Pino, F

J. Del Pino, F. A. Schr¨ oder, A. W. Chin, J. Feist, and F. J. Garcia-Vidal, Physical review letters121, 227401 (2018)

work page 2018
[56]

Kloss, D

B. Kloss, D. R. Reichman, and R. Tempelaar, Physical review letters123, 126601 (2019)

work page 2019
[57]

Macridin, P

A. Macridin, P. Spentzouris, J. Amundson, and R. Harnik, Physical Review A98, 042312 (2018)

work page 2018
[58]

Macridin, P

A. Macridin, P. Spentzouris, J. Amundson, and R. Harnik, Physical review letters121, 110504 (2018)

work page 2018
[59]

T. E. Reinhard, U. Mordovina, C. Hubig, J. S. Kretchmer, U. Schollw¨ ock, H. Appel, M. A. Sentef, and A. Rubio, Journal of chemical theory and computation15, 2221 (2019)

work page 2019
[60]

Sandhoefer and G

B. Sandhoefer and G. K.-L. Chan, Physical Review B94, 085115 (2016)

work page 2016
[61]

F. A. Schr¨ oder and A. W. Chin, Physical Review B93, 075105 (2016)

work page 2016
[62]

M. P. Woods, M. Cramer, and M. B. Plenio, Physical Review Letters115, 130401 (2015)

work page 2015
[63]

Kuwahara, T

T. Kuwahara, T. V. Vu, and K. Saito, Nature Communications15, 2520 (2024)

work page 2024
[64]

Schuch, J

N. Schuch, J. I. Cirac, and M. M. Wolf, Communications in mathematical physics267, 65 (2006)

work page 2006
[65]

Nachtergaele, H

B. Nachtergaele, H. Raz, B. Schlein, and R. Sims, arXiv preprint arXiv:0712.3820 (2007)

work page arXiv 2007
[66]

S. D. Bartlett, B. C. Sanders, S. L. Braunstein, and K. Nemoto, Physical Review Letters88, 097904 (2002)

work page 2002
[67]

M. X. Goemans and D. P. Williamson, Journal of the ACM42, 1115–1145 (1995)

work page 1995
[68]

M. B. Hastings and R. O’Donnell, inProceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, STOC ’22 (ACM, 2022) p. 776–789

work page 2022
[69]

Navascu´ es, A

M. Navascu´ es, A. Garc´ ıa-S´ aez, A. Ac´ ın, S. Pironio, and M. B. Plenio, New Journal of Physics15, 023026 (2013)

work page 2013
[70]

Tong and T

X.-H. Tong and T. Kuwahara, Long-range bosonic systems at thermal equilibrium: Computational complexity and clus- tering of correlations (2025)

work page 2025
[71]

Y. Han, X. Huang, Z. Komargodski, A. Lucas, and F. K. Popov, Nature Communications (2025)

work page 2025
[72]

Aaronson and A

S. Aaronson and A. Arkhipov, inProceedings of the forty-third annual ACM symposium on Theory of computing, STOC’11 (ACM, 2011) p. 333–342

work page 2011
[73]

Tillmann, B

M. Tillmann, B. Daki´ c, R. Heilmann, S. Nolte, A. Szameit, and P. Walther, Nature photonics7, 540 (2013)

work page 2013
[74]

J. B. Spring, B. J. Metcalf, P. C. Humphreys, W. S. Kolthammer, X.-M. Jin, M. Barbieri, A. Datta, N. Thomas-Peter, N. K. Langford, D. Kundys,et al., Science339, 798 (2013)

work page 2013
[75]

C. S. Hamilton, R. Kruse, L. Sansoni, S. Barkhofen, C. Silberhorn, and I. Jex, Physical review letters119, 170501 (2017)

work page 2017
[76]

Bloch, J

I. Bloch, J. Dalibard, and W. Zwerger, Reviews of modern physics80, 885 (2008)

work page 2008
[77]

Kollath, A

C. Kollath, A. M. L¨ auchli, and E. Altman, Physical review letters98, 180601 (2007)

work page 2007
[78]

M. P. A. Fisher, P. B. Weichman, G. Grinstein, and D. S. Fisher, Physical Review B40, 546–570 (1989)

work page 1989
[79]

Freericks and H

J. Freericks and H. Monien, Physical Review B53, 2691 (1996)

work page 1996
[80]

Jaksch, C

D. Jaksch, C. Bruder, J. I. Cirac, C. W. Gardiner, and P. Zoller, Physical Review Letters81, 3108 (1998)

work page 1998

Showing first 80 references.