{"title":"Efficient Quantum Gibbs Samplers with Kubo–Martin–Schwinger Detailed Balance Condition","authors":"Zhiyan Ding, Bowen Li, Lin Lin","doi":"10.1007/s00220-025-05235-3","DOIUrl":"10.1007/s00220-025-05235-3","url":null,"abstract":"<div><p>Lindblad dynamics and other open-system dynamics provide a promising path towards efficient Gibbs sampling on quantum computers. In these proposals, the Lindbladian is obtained via an algorithmic construction akin to designing an artificial thermostat in classical Monte Carlo or molecular dynamics methods, rather than being treated as an approximation to weakly coupled system-bath unitary dynamics. Recently, Chen, Kastoryano, and Gilyén (arXiv:2311.09207) introduced the first efficiently implementable Lindbladian satisfying the Kubo–Martin–Schwinger (KMS) detailed balance condition, which ensures that the Gibbs state is a fixed point of the dynamics and is applicable to non-commuting Hamiltonians. This Gibbs sampler uses a continuously parameterized set of jump operators, and the energy resolution required for implementing each jump operator depends only logarithmically on the precision and the mixing time. In this work, we build upon the structural characterization of KMS detailed balanced Lindbladians by Fagnola and Umanità, and develop a family of efficient quantum Gibbs samplers using a finite set of jump operators (the number can be as few as one), akin to the classical Markov chain-based sampling algorithm. Compared to the existing works, our quantum Gibbs samplers have a comparable quantum simulation cost but with greater design flexibility and a much simpler implementation and error analysis. Moreover, it encompasses the construction of Chen, Kastoryano, and Gilyén as a special instance.</p></div>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":"406 3","pages":""},"PeriodicalIF":2.2,"publicationDate":"2025-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00220-025-05235-3.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143513397","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Fiber 2-Functors and Tambara–Yamagami Fusion 2-Categories","authors":"Thibault D. Décoppet, Matthew Yu","doi":"10.1007/s00220-025-05249-x","DOIUrl":"10.1007/s00220-025-05249-x","url":null,"abstract":"<div><p>We introduce group-theoretical fusion 2-categories, a categorification of the notion of a group-theoretical fusion 1-category. Physically speaking, such fusion 2-categories arise by gauging subgroups of a global symmetry. We show that group-theoretical fusion 2-categories are completely characterized by the property that the braided fusion 1-category of endomorphisms of the monoidal unit is Tannakian. Then, we describe the underlying finite semisimple 2-category of group-theoretical fusion 2-categories, and, more generally, of certain 2-categories of bimodules. We also partially describe the fusion rules of group-theoretical fusion 2-categories. Using our previous results, we classify fusion 2-categories admitting a fiber 2-functor. Next, we study fusion 2-categories with a Tambara–Yamagami defect, that is <span>(mathbb {Z}/2)</span>-graded fusion 2-categories whose non-trivially graded factor is <span>(textbf{2Vect})</span>. We classify these fusion 2-categories, and examine more closely the more restrictive notion of Tambara–Yamagami fusion 2-categories. Throughout, we give many examples to illustrate our various results.</p></div>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":"406 3","pages":""},"PeriodicalIF":2.2,"publicationDate":"2025-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143455411","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Roberta Bianchini, Luca Franzoi, Riccardo Montalto, Shulamit Terracina
{"title":"Large Amplitude Quasi-Periodic Traveling Waves in Two Dimensional Forced Rotating Fluids","authors":"Roberta Bianchini, Luca Franzoi, Riccardo Montalto, Shulamit Terracina","doi":"10.1007/s00220-025-05247-z","DOIUrl":"10.1007/s00220-025-05247-z","url":null,"abstract":"<div><p>We establish the existence of quasi-periodic traveling wave solutions for the <span>(beta )</span>-plane equation on <span>({mathbb {T}}^2)</span> with a large quasi-periodic traveling wave external force. These solutions exhibit large sizes, which depend on the frequency of oscillations of the external force. Due to the presence of small divisors, the proof relies on a nonlinear Nash-Moser scheme tailored to construct nonlinear waves of large size. To our knowledge, this is the first instance of constructing quasi-periodic solutions for a quasilinear PDE in dimensions greater than one, with a 1-smoothing dispersion relation that is highly degenerate - indicating an infinite-dimensional kernel for the linear principal operator. This degeneracy challenge is overcome by preserving the traveling-wave structure, the conservation of momentum and by implementing normal form methods for the linearized system with sublinear dispersion relation in higher space dimension.</p></div>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":"406 3","pages":""},"PeriodicalIF":2.2,"publicationDate":"2025-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00220-025-05247-z.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143455701","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Clustering Theorem in 1D Long-Range Interacting Systems at Arbitrary Temperatures","authors":"Yusuke Kimura, Tomotaka Kuwahara","doi":"10.1007/s00220-025-05242-4","DOIUrl":"10.1007/s00220-025-05242-4","url":null,"abstract":"<div><p>This paper delves into a fundamental aspect of quantum statistical mechanics—the absence of thermal phase transitions in one-dimensional (1D) systems. Originating from Ising’s analysis of the 1D spin chain, this concept has been pivotal in understanding 1D quantum phases, especially those with finite-range interactions, as extended by Araki. In this work, we focus on quantum long-range interactions and successfully derive a clustering theorem applicable to a wide range of interaction decays at arbitrary temperatures. This theorem applies to any interaction forms that decay faster than <span>(r^{-2})</span> and does not rely on translation invariance or infinite system size assumptions. Also, we rigorously established that the temperature dependence of the correlation length is given by <span>(e^{mathrm{const.} beta })</span>, which is the same as the classical cases. Our findings indicate the absence of phase transitions in 1D systems with super-polynomially decaying interactions, thereby expanding upon previous theoretical research. To overcome significant technical challenges originating from the divergence of the imaginary-time Lieb–Robinson bound, we utilize the quantum belief propagation to refine the cluster expansion method. This approach allowed us to address divergence issues effectively and contributed to a deeper understanding of low-temperature behaviors in 1D quantum systems.</p></div>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":"406 3","pages":""},"PeriodicalIF":2.2,"publicationDate":"2025-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00220-025-05242-4.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143455412","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Zherui Chen, Yuchen Lu, Hao Wang, Yizhou Liu, Tongyang Li
{"title":"Quantum Langevin Dynamics for Optimization","authors":"Zherui Chen, Yuchen Lu, Hao Wang, Yizhou Liu, Tongyang Li","doi":"10.1007/s00220-025-05234-4","DOIUrl":"10.1007/s00220-025-05234-4","url":null,"abstract":"<div><p>We initiate the study of utilizing quantum Langevin dynamics (QLD) to solve optimization problems, particularly those nonconvex objective functions that present substantial obstacles for traditional gradient descent algorithms. Specifically, we examine the dynamics of a system coupled with an infinite heat bath. This interaction induces both random quantum noise and a deterministic damping effect to the system, which nudge the system towards a steady state that hovers near the global minimum of objective functions. We theoretically prove the convergence of QLD in convex landscapes, demonstrating that the average energy of the system can converge to zero in the low temperature limit with an exponential convergence rate. Numerically, we first show the energy dissipation capability of QLD by retracing its origins to spontaneous emission. Furthermore, we conduct detailed discussion of the impact of each parameter. Finally, based on the observations when comparing QLD with the classical Fokker-Plank-Smoluchowski equation, we propose a time-dependent QLD by setting temperature and <span>(hbar )</span> as time-dependent parameters, which can be theoretically proven to converge better than the time-independent case and also outperforms a series of state-of-the-art quantum and classical optimization algorithms in many nonconvex landscapes.</p></div>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":"406 3","pages":""},"PeriodicalIF":2.2,"publicationDate":"2025-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143430951","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Spectral Bounds on Hyperbolic 3-Manifolds: Associativity and the Trace Formula","authors":"James Bonifacio, Dalimil Mazáč, Sridip Pal","doi":"10.1007/s00220-024-05222-0","DOIUrl":"10.1007/s00220-024-05222-0","url":null,"abstract":"<div><p>We constrain the low-energy spectra of Laplace operators on closed hyperbolic manifolds and orbifolds in three dimensions, including the standard Laplace--Beltrami operator on functions and the Laplacian on powers of the cotangent bundle. Our approach employs linear programming techniques to derive rigorous bounds by leveraging two types of spectral identities. The first type, inspired by the conformal bootstrap, arises from the consistency of the spectral decomposition of the product of Laplace eigensections, and involves the Laplacian spectra as well as integrals of triple products of eigensections. We formulate these conditions in the language of representation theory of <span>(textrm{PSL}_2(mathbb {C}))</span> and use them to prove upper bounds on the first and second Laplacian eigenvalues. The second type of spectral identities follows from the Selberg trace formula. We use them to find upper bounds on the spectral gap of the Laplace--Beltrami operator on hyperbolic 3-orbifolds, as well as on the systole length of hyperbolic 3-manifolds, as a function of the volume. Further, we prove that the spectral gap <span>(lambda _1)</span> of the Laplace--Beltrami operator on all closed hyperbolic 3-manifolds satisfies <span>(lambda _1 < 47.32)</span>. Along the way, we use the trace formula to estimate the low-energy spectra of a large set of example orbifolds and compare them with our general bounds, finding that the bounds are nearly sharp in several cases.</p></div>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":"406 3","pages":""},"PeriodicalIF":2.2,"publicationDate":"2025-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00220-024-05222-0.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143430985","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"New Variants of Arithmetic Quantum Ergodicity","authors":"Peter Humphries, Jesse Thorner","doi":"10.1007/s00220-024-05203-3","DOIUrl":"10.1007/s00220-024-05203-3","url":null,"abstract":"<div><p>We establish two new variants of arithmetic quantum ergodicity. The first is for self-dual <span>(textrm{GL}_2)</span> Hecke–Maaß newforms over <span>(mathbb {Q})</span> as the level and Laplace eigenvalue vary jointly. The second is a nonsplit analogue wherein almost all restrictions of Hilbert (respectively Bianchi) Hecke–Maaß cusp forms to the modular surface dissipate as their Laplace eigenvalues grow.</p></div>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":"406 3","pages":""},"PeriodicalIF":2.2,"publicationDate":"2025-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00220-024-05203-3.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143430890","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"New Lower Bounds for the (Near) Critical Ising and (varphi ^4) Models’ Two-Point Functions","authors":"Hugo Duminil-Copin, Romain Panis","doi":"10.1007/s00220-025-05236-2","DOIUrl":"10.1007/s00220-025-05236-2","url":null,"abstract":"<div><p>We study the nearest-neighbour Ising and <span>(varphi ^4)</span> models on <span>({mathbb {Z}}^d)</span> with <span>(dge 3)</span> and obtain new lower bounds on their two-point functions at (and near) criticality. Together with the classical infrared bound, these bounds turn into up to constant estimates when <span>(dge 5)</span>. When <span>(d=4)</span>, we obtain an “almost” sharp lower bound corrected by a logarithmic factor. As a consequence of these results, we show that <span>(eta =0)</span> and <span>(nu =1/2)</span> when <span>(dge 4)</span>, where <span>(eta )</span> is the critical exponent associated with the decay of the model’s two-point function at criticality and <span>(nu )</span> is the critical exponent of the correlation length <span>(xi (beta ))</span>. When <span>(d=3)</span>, we improve previous results and obtain that <span>(eta le 1/2)</span>. As a byproduct of our proofs, we also derive the blow-up at criticality of the so-called bubble diagram when <span>(d=3,4)</span>.</p></div>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":"406 3","pages":""},"PeriodicalIF":2.2,"publicationDate":"2025-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143430893","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On Homological Reduction of Poisson Structures","authors":"Pedro H. Carvalho","doi":"10.1007/s00220-025-05232-6","DOIUrl":"10.1007/s00220-025-05232-6","url":null,"abstract":"<div><p>Given a <span>({mathfrak {g}})</span>-action on a Poisson manifold <span>((M, pi ))</span> and an equivariant map <span>(J: M rightarrow {{mathfrak {h}}}^*,)</span> for <span>({{mathfrak {h}}})</span> a <span>({mathfrak {g}})</span>-module, we obtain, under natural compatibility and regularity conditions previously considered by Cattaneo–Zambon, a homotopy Poisson algebra generalizing the classical BFV algebra described by Kostant–Sternberg in the usual hamiltonian setting. As an application of our methods, we also derive homological models for the reduced spaces associated to quasi-Poisson and hamiltonian quasi-Poisson spaces.</p></div>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":"406 3","pages":""},"PeriodicalIF":2.2,"publicationDate":"2025-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143430891","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Limiting Absorption Principles and Linear Inviscid Damping in the Euler–Boussinesq System in the Periodic Channel","authors":"Michele Coti Zelati, Marc Nualart","doi":"10.1007/s00220-024-05224-y","DOIUrl":"10.1007/s00220-024-05224-y","url":null,"abstract":"<div><p>We consider the long-time behavior of solutions to the two dimensional non-homogeneous Euler equations under the Boussinesq approximation posed on a periodic channel. We study the linearized system near a linearly stratified Couette flow and prove inviscid damping of the perturbed density and velocity field for any positive Richardson number, with optimal rates. Our methods are based on time-decay properties of oscillatory integrals obtained using a limiting absorption principle, and require a careful understanding of the asymptotic expansion of the generalized eigenfunction near the critical layer. As a by-product of our analysis, we provide a precise description of the spectrum of the linearized operator, which, for sufficiently large Richardson number, consists of an essential spectrum (as expected according to classical hydrodynamic problems) as well as discrete neutral eigenvalues (giving rise to oscillatory modes) accumulating towards the endpoints of the essential spectrum.\u0000</p></div>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":"406 3","pages":""},"PeriodicalIF":2.2,"publicationDate":"2025-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00220-024-05224-y.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143430892","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}