Supersolid phase in two-dimensional soft-core bosons at finite temperature
Pith reviewed 2026-05-22 21:26 UTC · model grok-4.3
The pith
Two-dimensional soft-core bosons form a supersolid over a broad low-temperature region separating superfluid from quasi-crystal phases.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Using the self-consistent Hartree-Fock and quantum Monte Carlo methods, an approximate phase diagram at finite temperatures is constructed, identifying a broad region at low temperatures where the supersolid phase exists, separating the uniform superfluid phase from the normal quasi-crystal phase. Additionally, a potential intermediate hexatic phase with quasi long-range orientational order is identified in a narrow region between the normal solid and fluid phases. Superfluid and melting/freezing transitions are analyzed through the superfluid density and the long-range behavior of correlation functions associated with positional and orientational order, in accordance with the general Berezs
What carries the argument
Self-consistent Hartree-Fock mean-field theory validated by path-integral quantum Monte Carlo, which computes superfluid density together with the long-distance decay of density-density and orientational correlation functions to locate Berezinskii-Kosterlitz-Thouless transitions.
If this is right
- The supersolid occupies a wide low-temperature strip between uniform superfluid and normal quasi-crystal states.
- A narrow hexatic window with quasi-long-range orientational order may separate the normal solid from the fluid.
- Self-consistent Hartree-Fock beyond the local-density approximation serves as a practical tool for mapping supersolid melting in other soft-core potentials.
Where Pith is reading between the lines
- The same mean-field plus Monte Carlo workflow could be applied to dipolar or Rydberg-dressed bosons to test whether the supersolid window persists under different interaction tails.
- Ultracold-atom experiments that measure both superfluid fraction and Bragg-peak width at the predicted densities and temperatures could directly test the reported boundaries.
- If the hexatic region survives in more accurate simulations, it would raise the separate question of whether a hexatic supersolid can also appear before full positional order sets in.
Load-bearing premise
The self-consistent Hartree-Fock mean-field theory produces a phase diagram accurate enough that its supersolid region survives refinement by quantum Monte Carlo without qualitative shifts in location.
What would settle it
Quantum Monte Carlo runs that find the superfluid density remaining finite inside the reported low-temperature supersolid window while positional order persists would support the claim; the opposite result would falsify it.
Figures
read the original abstract
The supersolid phase of soft-core bosons in two dimensions is investigated using the self-consistent Hartree-Fock and quantum Monte Carlo methods. An approximate phase diagram at finite temperatures is initially constructed using the mean-field approach, which is subsequently validated through precise path-integral simulations, enabling a microscopic characterization of the various phases. Superfluid and melting/freezing transitions are analyzed through the superfluid density and the long-range behavior of correlation functions associated with positional and orientational order, in accordance with the general picture of Berezinskii-Kosterlitz-Thouless transitions. A broad region at low temperatures is identified where the supersolid phase exists, separating the uniform superfluid phase from the normal quasi-crystal phase. Additionally, a potential intermediate hexatic phase with quasi long-range orientational order is identified in a narrow region between the normal solid and fluid phases. These findings establish self-consistent Hartree-Fock theory beyond the local density approximation as an effective tool, complementary to computationally intensive quantum Monte Carlo simulations, for investigating the melting of the supersolid phase and the possible emergence of the hexatic superfluid phase in bosonic systems with various interaction potentials.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript investigates the supersolid phase of two-dimensional soft-core bosons at finite temperature via self-consistent Hartree-Fock mean-field theory to construct an approximate phase diagram, followed by validation and refinement with quantum Monte Carlo (QMC) path-integral simulations. Transitions are characterized using superfluid density and the long-range behavior of positional and orientational correlation functions in accordance with Berezinskii-Kosterlitz-Thouless physics. The central claims are the existence of a broad supersolid region at low temperatures separating the uniform superfluid from the normal quasi-crystal phase, plus a narrow potential hexatic phase with quasi-long-range orientational order between the normal solid and fluid phases. The work positions self-consistent Hartree-Fock theory (beyond local-density approximation) as a computationally efficient complement to QMC.
Significance. If the mean-field diagram is shown to be qualitatively reliable and the QMC validation confirms the reported phases without major boundary shifts, the results would establish the supersolid and possible hexatic phases in this 2D bosonic system while demonstrating the practical utility of the combined mean-field plus QMC approach for soft-core interactions. The explicit use of superfluid density and correlation functions for BKT-consistent analysis is a methodological strength that supports microscopic characterization.
major comments (2)
- [QMC validation section] QMC validation section: the abstract states that the mean-field phase diagram is 'subsequently validated through precise path-integral simulations,' yet no error bars, full data tables, or explicit exclusion criteria for parameter points are described; this directly affects assessment of whether the reported narrow hexatic region and broad supersolid region are robust or sensitive to post-hoc choices.
- [Phase diagram and transitions analysis] Phase diagram and transitions analysis: the central claim that mean-field provides a qualitatively reliable diagram (with QMC only refining boundaries) requires evidence that QMC checks include systematic finite-size scaling of superfluid density and orientational correlations across multiple points in the proposed supersolid region; without this, 2D BKT fluctuation effects that can narrow or eliminate ordered phases in mean-field predictions are not demonstrably ruled out.
minor comments (2)
- The terminology 'normal quasi-crystal phase' and 'normal solid phase' should be explicitly related or distinguished to avoid ambiguity in the phase diagram description.
- Figure captions would benefit from explicit listing of the temperature, density, and interaction-strength values corresponding to each panel or data set.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and agree that additional details will improve clarity and strengthen the evidence for the reported phases. Revisions will be made accordingly.
read point-by-point responses
-
Referee: [QMC validation section] QMC validation section: the abstract states that the mean-field phase diagram is 'subsequently validated through precise path-integral simulations,' yet no error bars, full data tables, or explicit exclusion criteria for parameter points are described; this directly affects assessment of whether the reported narrow hexatic region and broad supersolid region are robust or sensitive to post-hoc choices.
Authors: We agree that the QMC validation section would benefit from greater transparency. In the revised manuscript we will add error bars to all QMC-derived points in the phase diagram and include a supplementary table that lists the simulation parameters, measured quantities, and the criteria used to select or exclude parameter points for validation. This will allow readers to evaluate the robustness of the supersolid and hexatic regions directly. revision: yes
-
Referee: [Phase diagram and transitions analysis] Phase diagram and transitions analysis: the central claim that mean-field provides a qualitatively reliable diagram (with QMC only refining boundaries) requires evidence that QMC checks include systematic finite-size scaling of superfluid density and orientational correlations across multiple points in the proposed supersolid region; without this, 2D BKT fluctuation effects that can narrow or eliminate ordered phases in mean-field predictions are not demonstrably ruled out.
Authors: We acknowledge the importance of explicit finite-size scaling to confirm that BKT fluctuations do not eliminate the ordered phases. Our existing QMC data include finite-size scaling of the superfluid density at several representative points inside the supersolid region. To address the referee's concern we will add systematic scaling plots for both superfluid density and orientational correlations at additional points across the supersolid region, thereby demonstrating that the mean-field diagram remains qualitatively reliable after accounting for finite-size effects. revision: yes
Circularity Check
Numerical phase diagram from independent mean-field and QMC methods shows no circular reduction
full rationale
The paper constructs an approximate phase diagram via self-consistent Hartree-Fock mean-field theory and validates it with path-integral quantum Monte Carlo simulations, analyzing transitions through superfluid density and correlation functions. These are standard numerical techniques applied to the Hamiltonian without any derivation chain that reduces outputs to inputs by construction, fitted parameters renamed as predictions, or load-bearing self-citations. The BKT framework referenced is external standard knowledge. The approach is self-contained against external benchmarks and does not invoke uniqueness theorems or ansatze from prior author work.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Berezinskii-Kosterlitz-Thouless transition framework applies to the superfluid and melting transitions in 2D
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
self-consistent Hartree-Fock approximation... PIMC simulations... superfluid density and the long-range behavior of correlation functions... Berezinskii-Kosterlitz-Thouless transitions
-
IndisputableMonolith/Foundation/DimensionForcing.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
phase diagram... supersolid phase... hexatic phase
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.
Reference graph
Works this paper leans on
-
[1]
(D1) The expectation values ⟨ˆb† k ˆbk′⟩ appearing in the functional are initially set to zero
Initialization: the energy functional (B19) is mini- mized at fixed density ρ = 1 A X k |ψk|2 . (D1) The expectation values ⟨ˆb† k ˆbk′⟩ appearing in the functional are initially set to zero. The minimiza- tion produces an initial guess for the condensate wave function ψk and the chemical potential µ, which is the Lagrange multiplier associated to the den...
-
[2]
Initialization: given the condensate wave function, the self-consistency equations (B14)-(B16) with ⟨ˆb† k ˆbk′⟩ = 0 are used to provide an initial guess for Γk,k′
-
[3]
The quasiparticle Hamiltonian H0 is constructed using the chemical potential and the HF potential obtained in the previous steps, see (B13)
-
[4]
(D2) The matrix elements of the density matrix R are the expectation values ⟨ˆb† k ˆbk′⟩
From the quasiparticle Hamiltonian, the one-body density matrix at temperature T (β = 1/kBT is the inverse temperature) is computed as R = 1 eβH0 − 1 . (D2) The matrix elements of the density matrix R are the expectation values ⟨ˆb† k ˆbk′⟩. Note that at zero temperature the HF approximation reduces to the solution of the standard GP equation (step 1 abov...
-
[5]
The energy functional (B19), in which the expec- tation values ⟨ˆb† k ˆbk′⟩ are the ones computed in the previous step, is minimized at fixed density ρ = 1 A X k |ψk|2 + ⟨ˆb† k ˆbk⟩ . (D3) In contrast to (D1), the density contribution of the quasiparticle excitations is now included in the to- tal density. The minimization produces updated values for the ...
-
[6]
The condensate wave function ψk and the expecta- tion values ⟨ˆb† k ˆbk′⟩ obtained respectively at steps 5 and 4 are used in the self-consistency equa- tions (B14)-(B16) to obtain an updated HF poten- tial Γk,k′
-
[7]
Otherwise, the iteration continues from step 3
If the value of the grand potential Ω m.f., the con- densate wave function and the HF potential have converged within a given threshold, the procedure terminates. Otherwise, the iteration continues from step 3. If one seeks a self-consistent solution at fixed chemical po- tential rather than fixed total density ρ, the only mod- ification is that the chemi...
-
[8]
A. F. Andreev and I. M. Lifshitz, Quantum theory of defects in crystals, Sov. Phys. JETP 29, 1107 (1969)
work page 1969
-
[9]
H. Watanabe and T. Brauner, Spontaneous breaking of continuous translational invariance, Phys. Rev. D 85, 21 6 7 8 W/ϵ0 0.0 0.2 0.4 0.6 0.8 1.0ρs/ρ N-K kBT=3.0ϵ0 6 7 8 W/ϵ0 N-K kBT=4.0ϵ0 N=240 N=448 N=1560 N=4032 6 7 8 W/ϵ0 N-K kBT=5.0ϵ0 6 7 8 W/ϵ0 0.00 0.02 0.04 0.06 0.08 0.10|ψ6|2 kBT=3.0ϵ0 6 7 8 W/ϵ0 kBT=4.0ϵ0 N=240 N=448 N=1560 N=4032 6 7 8 W/ϵ0 kBT=5...
work page 2012
-
[10]
M. Boninsegni and N. V. Prokof’ev, Colloquium: Super- solids: What and where are they?, Rev. Mod. Phys. 84, 759 (2012)
work page 2012
- [11]
- [12]
-
[13]
Balibar, The enigma of supersolidity, Nature 464, 176 (2010)
S. Balibar, The enigma of supersolidity, Nature 464, 176 (2010)
work page 2010
-
[14]
D. Y. Kim and M. H. W. Chan, Absence of supersolidity in solid helium in porous vycor glass, Phys. Rev. Lett. 109, 155301 (2012)
work page 2012
-
[15]
N. Prokof’ev and B. Svistunov, Supersolid state of mat- ter, Phys. Rev. Lett. 94, 155302 (2005)
work page 2005
-
[16]
E. P. Gross, Quantum theory of interacting bosons, An- nals of Physics 9, 292 (1960)
work page 1960
- [17]
-
[18]
F. B¨ ottcher, J.-N. Schmidt, M. Wenzel, J. Hertkorn, M. Guo, T. Langen, and T. Pfau, Transient Supersolid Properties in an Array of Dipolar Quantum Droplets, Phys. Rev. X 9, 011051 (2019)
work page 2019
- [19]
- [20]
-
[21]
M. Guo, F. B¨ ottcher, J. Hertkorn, J.-N. Schmidt, M. Wenzel, H. P. B¨ uchler, T. Langen, and T. Pfau, The low-energy Goldstone mode in a trapped dipolar super- solid, Nature 574, 386 (2019)
work page 2019
- [22]
-
[23]
M. A. Norcia, C. Politi, L. Klaus, E. Poli, M. Sohmen, M. J. Mark, R. N. Bisset, L. Santos, and F. Ferlaino, Two-dimensional supersolidity in a dipolar quantum gas, Nature 596, 357 (2021)
work page 2021
- [24]
-
[25]
E. Casotti, E. Poli, L. Klaus, A. Litvinov, C. Ulm, C. Politi, M. J. Mark, T. Bland, and F. Ferlaino, Ob- servation of vortices in a dipolar supersolid, Nature 635, 327 (2024)
work page 2024
- [26]
-
[27]
J. S´ anchez-Baena, C. Politi, F. Maucher, F. Ferlaino, and T. Pohl, Heating a dipolar quantum fluid into a solid, Nat. Commun. 14, 1868 (2023)
work page 2023
-
[28]
I. Todoshchenko, M. Kamada, J.-P. Kaikkonen, Y. Liao, A. Savin, M. Will, E. Sergeicheva, T. S. Abhilash, E. Kauppinen, and P. J. Hakonen, Topologically-imposed vacancies and mobile solid 3He on carbon nanotube, Nat. Commun. 13, 5873 (2022)
work page 2022
-
[29]
I. Todoshchenko, M. Kamada, J.-P. Kaikkonen, Y. Liao, A. Savin, E. Kauppinen, E. Sergeicheva, and P. J. Hako- nen, Quantum degeneracy in mesoscopic matter: Casimir effect and Bose-Einstein condensation, Phys. Rev. B109, 224519 (2024)
work page 2024
-
[30]
A. R. P. Lima and A. Pelster, Beyond mean-field low- lying excitations of dipolar Bose gases, Phys. Rev. A 86, 063609 (2012)
work page 2012
-
[31]
F. W¨ achtler and L. Santos, Quantum filaments in dipo- lar Bose-Einstein condensates, Phys. Rev. A 93, 061603 (2016)
work page 2016
-
[32]
H. Saito, Path-Integral Monte Carlo Study on a Droplet of a Dipolar Bose–Einstein Condensate Stabilized by Quantum Fluctuation, J. Phys. Soc. Jpn. 85, 053001 (2016)
work page 2016
- [33]
-
[34]
F. B¨ ottcher, M. Wenzel, J.-N. Schmidt, M. Guo, T. Lan- gen, I. Ferrier-Barbut, T. Pfau, R. Bomb´ ın, J. S´ anchez- Baena, J. Boronat, and F. Mazzanti, Dilute dipolar quan- tum droplets beyond the extended Gross-Pitaevskii equa- tion, Phys. Rev. Res. 1, 033088 (2019)
work page 2019
-
[35]
Y. Pomeau and S. Rica, Dynamics of a model of super- solid, Phys. Rev. Lett. 72, 2426 (1994)
work page 1994
-
[36]
Boninsegni, Supersolid phases of cold atom assem- blies, J
M. Boninsegni, Supersolid phases of cold atom assem- blies, J. Low Temp. Phys. 168, 137 (2012)
work page 2012
-
[37]
S. Saccani, S. Moroni, E. Vitali, and M. Boninsegni, Bose soft discs: A minimal model for supersolidity, Mol. Phys. 109, 2807 (2011)
work page 2011
-
[38]
S. Saccani, S. Moroni, and M. Boninsegni, Phase diagram of soft-core bosons in two dimensions, Phys. Rev. B 83, 092506 (2011)
work page 2011
-
[39]
T. Macr` ı, F. Maucher, F. Cinti, and T. Pohl, Elemen- tary excitations of ultracold soft-core bosons across the superfluid-supersolid phase transition, Phys. Rev. A 87, 061602 (2013)
work page 2013
-
[40]
S. Saccani, S. Moroni, and M. Boninsegni, Excitation Spectrum of a Supersolid, Phys. Rev. Lett. 108, 175301 (2012)
work page 2012
-
[41]
E. Poli, D. Baillie, F. Ferlaino, and P. B. Blakie, Excita- tions of a two-dimensional supersolid, Phys. Rev. A 110, 053301 (2024)
work page 2024
-
[42]
D. R. Nelson and J. M. Kosterlitz, Universal jump in the superfluid density of two-dimensional superfluids, Phys. Rev. Lett. 39, 1201 (1977)
work page 1977
-
[43]
S. C. Kapfer and W. Krauth, Two-Dimensional Melting: From Liquid-Hexatic Coexistence to Continuous Transi- tions, Phys. Rev. Lett. 114, 035702 (2015)
work page 2015
-
[44]
B. I. Halperin and D. R. Nelson, Theory of Two- Dimensional Melting, Phys. Rev. Lett. 41, 121 (1978)
work page 1978
-
[45]
D. R. Nelson and B. I. Halperin, Dislocation-mediated melting in two dimensions, Phys. Rev. B19, 2457 (1979)
work page 1979
-
[46]
A. P. Young, Melting and the vector Coulomb gas in two dimensions, Phys. Rev. B 19, 1855 (1979)
work page 1979
-
[47]
K. Zahn, R. Lenke, and G. Maret, Two-stage melting of paramagnetic colloidal crystals in two dimensions, Phys. Rev. Lett. 82, 2721 (1999)
work page 1999
- [48]
-
[49]
K. J. Strandburg, Two-dimensional melting, Rev. Mod. Phys. 60, 161 (1988)
work page 1988
-
[50]
C. Alba-Simionesco, B. Coasne, G. Dosseh, G. Dudziak, K. E. Gubbins, R. Radhakrishnan, and M. Sliwinska- Bartkowiak, Effects of confinement on freezing and melt- ing, J. Phys. Condens. Matter 18, R15 (2006)
work page 2006
-
[51]
G. M. Bruun and D. R. Nelson, Quantum hexatic order in two-dimensional dipolar and charged fluids, Phys. Rev. B 89, 094112 (2014)
work page 2014
- [52]
- [53]
-
[54]
Doniach, Quantum fluctuations in two-dimensional su- perconductors, Phys
S. Doniach, Quantum fluctuations in two-dimensional su- perconductors, Phys. Rev. B 24, 5063 (1981)
work page 1981
-
[55]
S. Giorgini, L. P. Pitaevskii, and S. Stringari, Thermody- namics of a Trapped Bose-Condensed Gas, J. Low Temp. Phys. 109, 309 (1997)
work page 1997
-
[56]
M. Holzmann, W. Krauth, and M. Naraschewski, Preci- sion Monte Carlo test of the Hartree-Fock approximation for a trapped Bose gas, Phys. Rev. A 59, 2956 (1999)
work page 1999
-
[57]
R. P. Feynman,Statistical Mechanics: A Set of Lectures, Advanced Book Classics (Westview Press, Boulder, 1998)
work page 1998
-
[58]
J.-P. Blaizot and G. Ripka, Quantum Theory of Finite Systems (MIT Press, Cam- bridge, Mass., 1986). 23
work page 1986
-
[59]
Peotta, Superconductivity, generalized random phase approximation and linear scaling methods, New J
S. Peotta, Superconductivity, generalized random phase approximation and linear scaling methods, New J. Phys. 24, 113019 (2022)
work page 2022
- [60]
-
[61]
B. Capogrosso-Sansone, S. Giorgini, S. Pilati, L. Pollet, N. Prokof’ev, B. Svistunov, and M. Troyer, The Beliaev technique for a weakly interacting Bose gas, New J. Phys. 12, 043010 (2010)
work page 2010
-
[62]
D. R. Nelson, Study of melting in two dimensions, Phys. Rev. B 18, 2318 (1978)
work page 1978
-
[63]
L. D. Landau, L. P. Pitaevskij, A. M. Kosevich, and E. M. Lifˇ sic,Theory of Elasticity: Volume 7, 3rd ed. (Elsevier Butterworth-Heinemann, 1986)
work page 1986
- [64]
-
[65]
D. M. Ceperley, Path integrals in the theory of condensed helium, Rev. Mod. Phys. 67, 279 (1995)
work page 1995
-
[66]
M. Boninsegni, N. Prokof’ev, and B. Svistunov, Worm Algorithm for Continuous-Space Path Integral Monte Carlo Simulations, Phys. Rev. Lett. 96, 070601 (2006)
work page 2006
- [67]
-
[68]
M. P. Allen and D. J. Tildesley, Computer Simulation of Liquids, 2nd ed. (Oxford university press, Oxford, 1987)
work page 1987
- [69]
-
[70]
E. P. Bernard and W. Krauth, Two-Step Melting in Two Dimensions: First-Order Liquid-Hexatic Transition, Phys. Rev. Lett. 107, 155704 (2011)
work page 2011
- [71]
-
[72]
E. L. Pollock and D. M. Ceperley, Path-integral com- putation of superfluid densities, Phys. Rev. B 36, 8343 (1987)
work page 1987
-
[73]
D. M. Ceperley and E. L. Pollock, Path-integral sim- ulation of the superfluid transition in two-dimensional $ˆ{4}\mathrm{He}$, Phys. Rev. B 39, 2084 (1989)
work page 2084
-
[74]
P. Keim, G. Maret, and H. H. von Gr¨ unberg, Frank’s constant in the hexatic phase, Phys. Rev. E 75, 031402 (2007)
work page 2007
-
[75]
P. B. Blakie, Superfluid fraction tensor of a two- dimensional supersolid, J. Phys. B: At. Mol. Opt. Phys. 57, 115301 (2024)
work page 2024
-
[76]
R. R. Puri, Mathematical Methods of Quantum Optics, edited by W. T. Rhodes, Springer Series in Optical Sci- ences, Vol. 79 (Springer Berlin Heidelberg, Berlin, Hei- delberg, 2001)
work page 2001
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.