Introduction

Bose–Einstein condensation (BEC), in which a macroscopic number of bosons occupy the same state, has been studied broadly in areas ranging from condensed matter physics and particle physics to astrophysics. In condensed matter physics, a variety of systems such as photons1, composite bosons (e.g., bosonic atoms2 and pairs of fermionic atoms3), and quasi-particles (e.g., excitons4,5, phonons6, polaritons7, and magnons8) have been studied using a common bosonic quantum field theory. The understanding of BEC forms the foundation for exploring advanced quantum condensate states such as superfluidity and superconductivity. In particular, the behavior of bosonic particles in a periodic potential is of recent interest. Experimental, theoretical, and computational studies on both crystal lattice and optical lattice have been intensively performed9,10,11.

Magnetic field-induced phase transitions in quantum magnets which approximately possess U(1) global rotational symmetry are one of the experimental realizations of BEC12,13,14. The energy gap Eg between the ground state and the bottom of the magnon band, which is nonzero in the quantum paramagnetic phase, is translated into chemical potential μ for the bosonic language (see inset in Fig. 1a). By tuning the applied magnetic field, μ can be tuned to be zero, resulting in a long-range ordered magnetic BEC. Unlike a cold-atom system in an optical lattice, which is another experimental realization of BEC, quantum magnets can host a much larger number of bosons, and are thus suited for the test of theoretical prediction for BEC physics in the thermodynamic limit15.

Fig. 1: Double Bose–Einstein-condensation (BEC) dome in S = 3/2 quantum magnet.
figure 1

a Energy diagram of the S = 3/2 spin site with easy-plane type single-ion (SI) anisotropy \(D{\hat{S}}_{z}^{2}\,(D \, > \, 0)\) in a magnetic field along the z-direction. The ground state mainly consists of single-site states \(\left|{S}_{z}=\pm 1/2\right\rangle\) in AFMI phase, and \(\left|{S}_{z}=1/2\right\rangle\) and \(\left|{S}_{z}=3/2\right\rangle\) in AFMII phase, indicated by the dark blue colored line. Above Hc3, as well as between Hc1 and Hc2, the ground state is a direct product of the single-site ground state at that field (i.e., \(\left|{S}_{z}=1/2\right\rangle\) and \(\left|{S}_{z}=3/2\right\rangle\), respectively), indicated by the pink and red-colored lines. Antiferromagnetic interaction J(>0) determines the width of magnon bands and critical fields, as schematically depicted in the inset. Each field region can effectively be described by spin Hamiltonian for Seff = 1/2 or Seff = 1 [see the discussion on Fig. 5d for the latter]. b Schematics of the phase diagram for three different strengths of J(>0). In a weakly interacting regime, two BEC domes appear, separated by the intermediate PLD phase, as shown by the dark-blue color. As J increases, two domes become larger and merge with each other at low temperature, as depicted by the light-blue color. Finally, in the strongly interacting regime, two domes merge entirely, indicated by the gray color.

Historically, experimental studies of BEC in quantum magnets have been mainly performed on low-spin systems such as quantum dimer systems16,17,18,19,20 and S = 1 systems with strong easy-plane single-ion (SI) anisotropy21. Higher spin systems are usually considered to be disadvantageous observing quantum phenomena like BEC, while they can provide a playground for much richer physics due to the multiple excitations on a single site level.

To see the effect of the multiple excitations, let us introduce an S = 3/2 antiferromagnetic (AFM) Heisenberg model, given by:

$$\hat{{{{{{{{\mathcal{H}}}}}}}}}=J\mathop{\sum}\limits_{i,j}{\hat{{{{{{{{\bf{S}}}}}}}}}}_{i}\cdot {\hat{{{{{{{{\bf{S}}}}}}}}}}_{j}+D\mathop{\sum}\limits_{i}{\left ({\hat{S}}_{i}^{z}\right)}^{2}-{H}_{z}\mathop{\sum}\limits_{i}{\hat{S}}_{i}^{z}\,+\,{\hat{{{{{{{{\mathcal{H}}}}}}}}}}_{{{{{{{{\rm{DM}}}}}}}}}\,+\,{\hat{{{{{{{{\mathcal{H}}}}}}}}}}_{{{{{{{{\rm{me}}}}}}}}},$$
(1)

where \({\hat{S}}_{i}^{\alpha }(\alpha=x,\,y,\,z),\,J( > 0)\), D( > 0), Hz, \({\hat{{{{{{{{\mathcal{H}}}}}}}}}}_{{{{{{{{\rm{DM}}}}}}}}}\) and \({\hat{{{{{{{{\mathcal{H}}}}}}}}}}_{{{{{{{{\rm{me}}}}}}}}}\) are S = 3/2 spin operators at site i, AFM exchange interaction between neighboring sites i and j, easy-plane SI anisotropy, magnetic field along the z-axis, Dzyalosinskii–Moriya (DM) interaction term and magnetoelectric coupling term, respectively. The existence of \({\hat{{{{{{{{\mathcal{H}}}}}}}}}}_{{{{{{{{\rm{DM}}}}}}}}}\), and \({\hat{{{{{{{{\mathcal{H}}}}}}}}}}_{{{{{{{{\rm{me}}}}}}}}}\) in Ba2CoGe2O7 (BCGO), the material studied in this paper, allows sensitive detection of a magnetic order through electric measurements22. Still, as far as these two terms are small compared with the first three terms, which is the case in BCGO23, the BEC physics would remain qualitatively unchanged from the case of the no-magnetoelectric coupling. Therefore, hereafter, we will continue the discussion without considering \({\hat{{{{{{{{\mathcal{H}}}}}}}}}}_{{{{{{{{\rm{DM}}}}}}}}}\) and \({\hat{{{{{{{{\mathcal{H}}}}}}}}}}_{{{{{{{{\rm{me}}}}}}}}}\). See Methods for the explicit form of the magnetoelectric coupling in BCGO.

The single-site energy diagram is depicted in Fig. 1a. In a low-field range, the system can be well described in the subspace spanned by the lower doublet \(\left|{S}_{z}=\pm 1/2\right\rangle\), which yields an effective S = 1/2 XXZ model expressed as:

$${\hat{{{{{{{{\mathcal{H}}}}}}}}}}_{{{{{{{{\rm{XXZ}}}}}}}}}={J}_{{{{{{{{\rm{XXZ}}}}}}}}}\mathop{\sum}\limits_{i,j}({\hat{S}}_{i}^{x}{\hat{S}}_{j}^{x}+{\hat{S}}_{i}^{y}{\hat{S}}_{j}^{y}+{{\Delta }}{\hat{S}}_{i}^{z}{\hat{S}}_{j}^{z})-{h}_{z}\mathop{\sum}\limits_{i}{\hat{S}}_{i}^{z},$$
(2)

where JXXZ = 4J, Δ = 1/4, and hz = Hz23,24. Here, we considered the case that the ground state at a zero field is the XY-AFM order (AFM I). The application of the magnetic field splits the lower doublet into \(\left |+1/2\right\rangle\) and \(\left|-1/2\right\rangle\), which finally destroys the long-range order and the system enters a polarized state \({\prod }_{i}{\left |+1/2\right\rangle }_{i}\) (polarized lower doublet: PLD) at the first critical field Hc1. This magnetic-field induced phase transition in the XXZ model belongs to the universality class of BEC type25; in the bosonic language, μ of magnons in the PLD phase, which is proportional to H − Hc1, is positive, and magnons can no longer condensate into a magnetically ordered state. With further increasing the field, the energy levels of the \(\left |+3/2\right\rangle\) and \(\left |+1/2\right\rangle\) meet at H = Hcross. In the vicinity of Hcross, the system can be described in the subspace spanned by \(\left |+3/2\right\rangle\) and \(\left |+1/2\right\rangle\), yielding an effective S = 1/2 Hamiltonian Eq. (2) with JXXZ = 3J, Δ = 1/3 and hz = Hz − (2D + nJ), where n is the coordination number26. For example, n = 4 for the square lattice. As a result, another antiferromagnetically ordered phase (AFM II) centered at Hcross( = 2D + nJ) emerges between the second and third critical fields Hc2 and Hc3, which are governed by the BEC universality. At Hc3, the system eventually undergoes a phase transition to a fully polarized state (FP) \({\prod }_{i}{\left |+3/2\right\rangle }_{i}\).

The expected temperature-magnetic field phase diagram is presented in dark-blue color in Fig. 1b. Both the AFM I and AFM II phase shape dome structures called “BEC dome", and their peaks appear around H = 0 and Hcross, respectively. The peak temperature is proportional to JXXZ of the effective XXZ model in Eq. (2), i.e., 4J and 3J, respectively.

Notably, the scenario mentioned above is valid only if J is weak enough. As the width of each magnon band is proportional to J, stronger J leads to an increase in Hc1 and decrease in Hc2, so the two BEC domes merge into a single phase, as shown by the light-blue region in Fig. 1b. Accordingly, an exquisite energy balance between J and D is required to realize this type of BEC phenomenon, which has challenged the experimental realization. In order to establish a design principle for the higher spin BEC physics, we need to investigate how the featureless single AFM phase in the strongly interacting regime evolves into two AFM domes in the weakly interacting regime as a function of J/D.

Here, we show the emergence of a double BEC dome in well-known multiferroic material Ba2CoGe2O7 (BCGO)22, where J is effectively tuned by diluting the magnetic Co sites with Zn. We observed a systematic reduction of the transition temperature as a function of Zn concentration and confirmed the phase diagram with the double BEC dome structure by measurements using a pulsed high magnetic field and low-temperature experiments. Mean-field calculations excellently reproduced the observations except for the quantum critical point between the first BEC dome and PLD, which can be explained by a theory for the dirty bosons.

Results

Magnetic properties of non-doped BCGO

BCGO is a quasi-two-dimensional magnet comprised of a simple square lattice of magnetic Co2+(3d7) ions surrounded by four O2− ions [Fig. 2a, b]. Each CoO4 tetrahedron is strongly compressed along the c-axis, which reduces the local symmetry at the Co2+ site from Td to S4 [Fig. 2a]. The S4 crystal-field and spin-orbit coupling induce strong easy-plane SI anisotropy D ≈ 1.03 meV compared with the AFM exchange interaction J ≈ 0.21 meV23,27,28. AFM long-range order appears below TN = 6.7 K at zero field, and the magnetic phase diagram of BCGO consists of one broad AFM phase, indicating that this material is in the strongly-interacting regime [Fig. 1b]. Therefore, BCGO is ideal for observing the transition from the strongly interacting regime to the weakly interacting regime. BCGO is known to host the multiferroic property29,30,31, which is well explained by the spin-dependent p-d hybridization mechanism32. Due to the strong magnetoelectric coupling in the ordered phase, the dielectric measurement enables us to sensitively detect magnetic phase transition as well as to explore the critical phenomena22.

Fig. 2: Basic physical properties of Ba2Co1−xZnxGe2O7 (BCZGO).
figure 2

a Energy level splitting of 3d electrons at Co2+. The free-ion state splits into three levels in the Td crystal field environment. The lowest four-fold degenerate 4A1 state can be described by S = 3/2 with easy-plane anisotropy (\(D{\hat{S}}_{z}^{2}\)) due to the S4 crystal field and spin-orbit coupling (SOC). b Schematic magnetic structure of Ba2CoGe2O7 (BCGO). Red arrows represent spin orientations in the ordered phase. The spin canting is exaggerated from the actual angle for visibility (see Supplementary Note 1). c Temperature dependence of electric permittivity εa along the a-axis of BCZGO. Zero levels are also shifted. Inset shows x dependence of antiferromagnetic transition temperature TN. The geometrical percolation threshold xc = 0.41 of the square-lattice is shown as a red triangle. In x = 0.5, no sign of long-range order was observed down to 0.4 K. The mean-field line of TN(x)/TN(0) = 1 − x is shown by a green dotted line.

Reduction in the effective magnetic interaction

First, we demonstrate a systematic reduction in the effective magnetic interaction Jeff from the original J ≈ 0.21 meV by the partial substitution of non-magnetic Zn2+ ions. Figure 2c shows the temperature dependence of relative electric permittivity εa along the a-axis in Ba2Co1−xZnxGe2O7 (BCZGO, x = 0.125, 0.25, 0.375, and 0.5). The electric permittivity exhibits a peak at the transition temperature, except for x = 0.5, where no obvious sign of long-range order is observed down to 0.4 K. As x increases, the ordering temperature decreases linearly, as observed in other two-dimensional magnets with rotational symmetry33. The extrapolation of TN reaches the axis of abscissas at x = 0.45 [inset of Fig. 2c], which is close to the percolation threshold of the square lattice: xc = 0.4134. Beyond xc, the system is composed of finite-size magnetic clusters, and long-range magnetic order cannot arise in definition, which is consistent with the absence of the peak in ε down to 0.4 K for x = 0.5.

Magnetic field dependences of physical properties

Next, Fig. 3 (a) presents the magnetization curves of BCZGO (x = 0.25, TN = 2.8 K) for Hc measured in pulsed high magnetic fields of up to 50 T at 1.4 and 4.2 K. At 1.4 K, the magnetization M monotonically increases until the saturated value of Msat ≈ 3.3 μB/Co2+ is reached at ~ 35 T, except for the plateau-like anomaly around 12 T approximately at one-third of Msat, indicating the emergence of the PLD phase. The anomaly broadens but remains visible at 4.2 K. These features were well reproduced by the mean-field calculation, for which the same Hamiltonian with Ref. 24 was adopted, and the dilution effects were effectively incorporated by tuning the exchange interaction Jeff [Fig. 3b] (see “Methods”). Figure 3c shows the magnetostriction [(ΔL/L) and (ΔL/L)] parallel and perpendicular to the c-axis in Hc at 1.5 K. No obvious magnetostrictive anomaly can be seen at the onset of the magnetization plateau, suggesting that the exchange striction in BCZGO is weak partly due to the long exchange path between Co2+ sites [Fig. 2b]. Meanwhile, a rapid increase in (ΔL/L) and a decrease in (ΔL/L) with magnitudes of ~10−4 were observed in response to the further increase in M between 15 and 35 T. This should be attributed to the crystal-field striction; the contribution of \(\left |+3/2\right\rangle\) to the ground state should elongate the CoO4 octahedra along the c-axis. This type of magnetostriction is distinct from that previously reported in BEC materials such as NiCl2 4SC(NH2)235, where ΔL/L changes nonmonotonically during passage through the BEC dome due to the exchange striction mechanism. Note that the saturation field observed in M and ΔL/L measurements is expected to be close to the critical field to the FP phase at absolute zero17,36, but does not agree quantitatively due to the finite temperature phase boundary, as indicated by the calculation of staggered magnetization \({M}_{a}^{{{{{{{{\rm{st}}}}}}}}}\) [Fig. 3d], which is the order parameter of the XY-AFM order.

Fig. 3: Magnetic field dependence of physical properties of BCZGO.
figure 3

a Magnetic-field dependence of magnetization M and its field derivatives dM/dH. Each MH curve is offset vertically for clarity. c Magnetostriction, measured for the striction along the c-axis (yellow, ΔL/Lc) and perpendicular to the c-axis (green, ΔL/Lc). e Magnetic field dependence of εa at various temperatures. Each εH curve is offset vertically for clarity. Phase boundaries are defined as blue-closed triangles determined from the field derivative of εa (see Supplementary Note 2). Broad peaks around 22 T at higher temperatures are marked by the blue-open triangles. b, d, and f Calculated field dependences of M, staggered magnetization \({M}_{a}^{{{{{{{{\rm{st}}}}}}}}}\) of a-axis component, and εa. Temperatures are normalized by the TN(H = 0). The scale factor for the interaction term J is set to 0.6. See “Methods” for the detail.

Established the magnetic properties of BCZGO, we examine magnetic phase transitions by dielectric constant measurement. Figure 3e shows a magnetic-field dependence of εa at various temperatures, simultaneously measured with M shown in Fig. 3a. At 1.4 K, three peaks are observed at Hc1 = 11 T, Hc2 = 16 T, and Hc3 = 26 T, excellently agreeing with the prediction for phase transitions across AFMI → PLD → AFM II → FP phase transitions. As the temperature increases from 1.4 K, Hc1 and Hc3 shift to the lower field; whereas, Hc2 shifts to the higher field. These dielectric responses were reproduced by the mean-field calculation [Fig. 3f]. Moreover, calculated \({M}_{a}^{{{{{{{{\rm{st}}}}}}}}}\) value [Fig. 3d] also supports that the three peaks in εaH corresponds to the phase boundaries.

Magnetic phase diagram of BCZGO

Based on the εa measurements, we construct the magnetic phase diagram for BCZGO with x = 0.25, as shown in Fig. 4. In contrast to undoped BCGO, the magnetic phase diagram is characterized by a double-dome structure. The peak temperature of the second BEC dome is estimated to be 2.1 K, which is consistent with the prediction (3/4)TN [Fig. 1b], and the two domes merge below 1 K. The blue crosses at around 22 T in Fig. 4, which is observed as a broad peak in εH [Fig. 3e], are not phase boundary. They instead correspond to the enhancement of the spin fluctuation due to the level-crossing at the Hcross in Fig. 1a. Indeed, considering the effective S = 1/2 XXZ model Eq. (2), the second BEC dome is expected to take its maximum around Hcross = 2D + nJ. We obtain a consistent estimation of Hcross to be 22.4(4) T for BCZGO (x = 0.25), where we use the reported values of Jz, D, gzz, where gzz is the z-component of g-factor, for BCGO23,28 and assuming a reduction from n = 4 to n = 4(1 − x) due to the dilution.

Fig. 4: Magnetic phase diagrams of BCZGO.
figure 4

The points represented by blue markers are determined by the εH measurements in a pulsed magnetic-field [Fig. 3e], while those shown by red markers are obtained from the εT measurements in a persistent magnetic-field data shown in Fig. 5a. The black open circles correspond to the phase boundary of pristine Ba2CoGe2O7, which are collected from ref. 22.

In x = 0.25, the PLD phase only exists at finite-temperature. Further reduction of effective magnetic interaction by the dilution would be required to separate two BEC domes completely. In this case, however, we need to carefully consider the effect of randomness, which brings another possibily that the site dilution may lead to the trivial percolation disorder instead of the proposed three distinct BEC phase transitions in Fig. 1.

To confirm the relevance of the randomness effect, we measured εa for higher doped sample x = 0.375 at the lower temperatures down to 0.4 K in static magnetic fields. Figure 5a, b summarize a magnetic-field dependence of the ordering temperature TN(H) for x = 0.25 and 0.375, respectively, which are extracted from the peak positions of the εT curves [insets of the figures]. By fitting TN(H) using a power-law scaling TN(H) H − Hcφ, the critical exponent φ estimated to be φ = 1.07(1) for x = 0.375 [red line in Fig. 5 (b)]. The phase diagram for x = 0.25 also has a region where the fitting yields φ = 0.93(2), close to 1 [red line in Fig. 5a]. We cannot reconcile these results with the theoretical predictions for conventional systems such as φ = 2/3 for three-dimensional BEC systems or φ = 1/2 for three-dimensional Ising systems37. We note, however, φ ≈ 1 was reported for the systems with quenched disorder both in experiments and a numerical simulation36,38,39. The phase transition characterized by φ ≈ 1 was attributed to a transition from inhomogeneous BEC to Bose glass (BG), i.e., local ordering (BEC) clusters weakly connect to show a long-range ordered phase at the first state; they are eventually disconnected, leaving only locally ordered clusters. Therefore, φ ≈ 1 in BCZGO implies that the field-induced disordred phase is the BG phase [Fig. 5b]. These results show that the randomness effect plays a central role in this system. We discuss a model on this line to capture the phase transition features in BCZGO as follows.

Fig. 5: Beyond mean-field approach and randomness effect.
figure 5

a, b Low-temperature phase diagram for x = 0.25 and 0.375, respectively. The latter contains provisional suggestions on Bose-glass (BG) and Mott-glass (MG). The fittings to the power-law TNH − Hcφ, are also shown by red dashed lines. The predicted values of (1/2)Hcross and (4/7)Hcross from the previous reports23, 28 are shown as black triangles (see text). Inset shows the temperature dependence of εa, which is used to obtain the ordering temperatures (red triangles). c Schematics of effective S = 1 XXZ model with SI easy-plane anisotropy \(D{\hat{S}}_{z}^{2}\) on a square-lattice. Original multiplet, Sz = 3/2, 1/2, −1/2 for S = 3/2 are mapped on to S = 1, Sz = 1, 0, −1 states [see Fig 1a and text]. Magnetic field hz and magnetic interaction JXXZ in S = 1 model corresponds to D + nJ/2 and 1.74J in original S = 3/2 model, respectively. d Ground state magnetic phase diagram as a function of x for diluted S = 1 XXZ model at hz = 0. Line for each D/JXXZ is reproduced from Fig. 1 in ref. 40. x* ≈ 0.35 is the critical value for D/JXXZ ≈ 3, which corresponds to BCGO.

Discussion

Here, we theoretically discuss the possibility of complete separation of two BEC domes by explicitly considering the randomness effect induced by the site dilution. First, in the vicinity of Hz ≈ (1/2)Hcross, the system can be described in a subspace spanned by {\(\left|3/2\right\rangle\), \(\left|1/2\right\rangle\), and \(\left|-1/2\right\rangle\)} [Fig. 1a], which we can translate into the Hilbert space expressed by the operators for S = 1. S = 3/2 spin operators effectively take the form,

$${({\hat{S}}_{x})}_{{{{{{{{\rm{eff}}}}}}}}}= \frac{1}{\sqrt{2}}\left(1+\frac{\sqrt{3}}{2}\right){\hat{S}}_{x}+\frac{1}{\sqrt{2}}\left(-1+\frac{\sqrt{3}}{2}\right){\hat{Q}}_{zx},\\ {({\hat{S}}_{y})}_{{{{{{{{\rm{eff}}}}}}}}}= \frac{1}{\sqrt{2}}\left(1+\frac{\sqrt{3}}{2}\right){\hat{S}}_{y}+\frac{1}{\sqrt{2}}\left(-1+\frac{\sqrt{3}}{2}\right){\hat{Q}}_{yz},\\ {({\hat{S}}_{z})}_{{{{{{{{\rm{eff}}}}}}}}}= {\hat{S}}_{z}+\frac{1}{2}I,$$
(3)

where I is an identity operator and quadrupole operators are defined as \({\hat{Q}}_{zx}\equiv {\hat{S}}_{z}{\hat{S}}_{x}+{\hat{S}}_{x}{\hat{S}}_{z}\) and \({\hat{Q}}_{yz}\equiv {\hat{S}}_{y}{\hat{S}}_{z}+{\hat{S}}_{z}{\hat{S}}_{y}\). Omitting the quadrupole terms, as its coefficients are more than ten times smaller than usual spin operators, the effective Hamiltonian becomes equivalent to the S = 1 XXZ model with SI anisotropy

$${\hat{{{{{{{{\mathcal{H}}}}}}}}}}_{{{{{{{{\rm{XXZ}}}}}}}}}=\,{J}_{{{{{{{{\rm{XXZ}}}}}}}}}\mathop{\sum}\limits_{ij}\left ({\hat{S}}_{i}^{x}{\hat{S}}_{j}^{x}+{\hat{S}}_{i}^{y}{\hat{S}}_{j}^{y}+{{\Delta }}{\hat{S}}_{i}^{z}{\hat{S}}_{j}^{z}\right )\\+D\mathop{\sum}\limits_{i}{\left ({\hat{S}}_{i}^{z}\right )}^{2}-{h}_{z}\mathop{\sum}\limits_{i}{\hat{S}}_{i}^{z},$$
(4)

where JXXZ ≈ 1.74J, Δ ≈ 0.57, and hz = Hz − (D + nJ/2) [see Fig. 5c]. The effective magnetic field hz stabilizes the XY magnetic order. Therefore, the ordering temperature, if exists, should take a minimum around hz = 0, i.e., Hz = D + nJ/2 = (1/2)Hcross. Note that an actual Hz at which the system would have the lowest ordering temperature is (1/2)Hcross < Hz < (4/7)Hcross due to the quadrupole terms. See Supplementary Note 3 for the detail.

Site-dilution effect in the model Eq. (4) has been, in fact, investigated theoretically in ref. 40, where the exchange anisotropy Δ was fixed to 1. Note that Δ does not have a significant effect in the present context because the possible ordered phase does not have any z-component even at zero field due to the SI anisotropy D41. The resultant simplified phase diagrams as a function of x for representative D/JXXZ are shown in Fig. 5d. The ground state at a zero field (hz = 0) in a clean limit (x = 0) is the XY ordered state for D/JXXZ < 5.5 and the quantum paramagnetic state for D/JXXZ > 5.5. For 2.3 D/JXXZ 5.5, the theory predicts the emergence of a disordered phase so-called Mott glass (MG) phase in a region x* < x < xc. This phase is a dilution-induced non-geometrically percolating quantum disordered phase, and corresponds to the PLD phase in the current context. Using the reported parameters, we ensure that BCGO is in this parameter regime as D/JXXZ ≈ 3.023,28, which theoretically corroborates that the complete separation of two BEC domes would be possible in BCZGO.

Experimental results also support the above discussion. The effective zero-field point (hz = 0) of the S = 1 model is estimated to be Hz = 11.2 T and 11.0 T for x = 0.25 and 0.375, respectively (see Supplementary Note 4). For x = 0.25, we observe magnetic order at the estimated hz = 0 (Hz = 11.2 T), consistent with the XY ordered ground state in the phase diagram for D/JXXZ ≈ 3.0 in ref. 40. It is hence expected that 0.25 < x*. However, for x = 0.375, the experimentally obtained Hc1 is 11.3(3) T, close to the predicted hz = 0 (Hz = 11.0 T). This is consistent with the theoretical prediction that x* is slightly smaller than 0.375. The possible quantum disordered phase around 11 T would correspond to the MG phase [Fig. 5b]. Therefore, we may provide BCZGO, unlike other diluted systems42,43, as a candidate stage for the dilution-induced quantum phase transition in an insulator spin system without crossing the percolation threshold.

To summarize, we have investigated the evolution of the magnetic phase diagram of BCZGO and confirmed that the effective magnetic interaction is tunable via the dilution approach. In x = 0.25, due to the effective reduction of the interaction, the magnetic field dependence of electric permittivity shows a three-peak structure, which suggests the emergence of a double BEC-dome. The randomness effect, which is beyond the mean-field treatment of dilution, is also observed in a comprehensible way. In x = 0.375, the ordering temperatures of the first BEC dome obey the scaling law with φ ≈ 1, which belongs to the universality of the BEC-Bose glass phase transition. Thus, the resulting paramagnetic phase can be regarded as a Bose glass phase. Effective Hamiltonians at the different field regions well explain the experimentally obtained magnetic phase diagram of BCZGO.

Owing to the simpleness of each effective model, BCZGO would be an excellent playground for theoretical and numerical studies of the bosonic particle systems with quenched disorder. We note that the discussion used here can be straightforwardly generalized to higher spin (S > 1) systems with strong easy-plane anisotropy. For example, an S = 2 system can be well described in a subspace spanned by \(\left|{S}_{z}=0\right\rangle\) and \(\left|{S}_{z}=\pm 1\right\rangle\) at a zero field. This is actually confirmed in Ba2FeSi2O7(S = 2)44,45,46,47. Particularly in ref. 44, they also derived effective S = 1 Hamiltonian in a zero field and yield D/JXXZ ≈ 5.4, which is close to the critical point of D/JXXZ ≈ 5.5. Therefore, a small amount of dilution could induce non-geometrically percolating quantum phase transition. This general criterion may give rise to the further discovery of BEC materials and, consequently, advanced understanding of magnetic BEC phenomena.

Methods

Samples

Single crystals of Ba2Co1−xZnxGe2O7 (x = 0, 0.125, 0.25, 0.375, 0.5) were grown by floating zone method in 3 atm of O2 atmosphere. BaCO3, CoO, ZnO, and GeO2 powders were mixed in the stoichiometric ratio and calcined at 980 C for 60 h with multiple intermediate grinds. The resultant powder was reground, pressed into a rod, and sintered at 950 C for 24 h in air to form seed and feed rods. Crystal axes were determined by back-reflection Laue X-ray photographs.

Measurements of electric permittivity, magnetization, and magnetostriction

Electric permittivity ε up to 9 T above 1.8 K was measured using an LCR meter (E4980A/B, Agilent) in a commercial cryostat equipped with a superconducting magnet (PPMS, Quantum Design). Two electrodes were attached to the large (100) surfaces of the polished thin plate crystals. To achieve low temperature down to 0.4 K in static fields, 3He refrigerator (Heliox, Oxford Instruments) was used, which was inserted into the cryostat equipped with a 12 T/14 T superconducting magnet. Magnetization M below 7 T was measured using a SQUID magnetometer (MPMS-XL, Quantum Design). The higher-field M and ε up to 50 T were simultaneously measured using a non-destructive pulsed magnet (36 ms duration) at the Institute for Solid State Physics (ISSP). M was measured by the conventional induction method using coaxial pickup coils. Capacitance was measured along the electric field direction (Ea) by using a capacitance bridge (General Radio 1615-A) and converted to ε48. Magnetostriction ΔL/L up to 44 T was measured by the optical fiber-Bragg-grating technique using the optical filter method in a non-destructive pulsed magnet (36 ms duration) at ISSP49.

Mean field calculations

Numerical simulation used in this study is based on the Hamiltonian proposed in24. Using S = 3/2 operators, the Hamiltonian of BCGO can be written as:

$$\hat{{{{{{{{\mathcal{H}}}}}}}}}= \,J\mathop{\sum}\limits_{(i,\,j)}\left({\hat{S}}_{i}^{x}{\hat{S}}_{j}^{x}+{\hat{S}}_{i}^{y}{\hat{S}}_{j}^{y}\right)+{J}_{z}\mathop{\sum}\limits_{(i,\,j)}{\hat{S}}_{i}^{z}{\hat{S}}_{j}^{z}\\ +D\mathop{\sum}\limits_{i}{\left({\hat{S}}_{i}^{z}\right)}^{2}-g\mu_{{{\rm{B}}}}{{{{{{{\bf{H}}}}}}}}\cdot \mathop{\sum}\limits_{i}{\hat{{{{{{{{\bf{S}}}}}}}}}}_{i}\,-\,{{{{{{{\bf{E}}}}}}}}\cdot \mathop{\sum}\limits_{i}{\hat{{{{{{{{\bf{P}}}}}}}}}}_{i}\\ +{J}_{{{{{{{{\rm{DM}}}}}}}}}\mathop{\sum}\limits_{i\in A,\,j\in B}\left({\hat{S}}_{i}^{x}{\hat{S}}_{j}^{y}-{\hat{S}}_{i}^{y}{\hat{S}}_{j}^{x}\right)+{K}_{z}\mathop{\sum}\limits_{(i,\,j)}{\hat{P}}_{i}^{z}{\hat{P}}_{j}^{z},$$
(5)

where JDM, Kz, and E are Dzyalosinskii-Moriya interaction and spin nematic interaction, and electric field, respectively. DM term corresponds to \({\hat{{{{{{{{\mathcal{H}}}}}}}}}}_{{{{{{{{\rm{DM}}}}}}}}}\) in Eq. (1), and the fifth and seventh terms correspond to \({\hat{{{{{{{{\mathcal{H}}}}}}}}}}_{{{{{{{{\rm{me}}}}}}}}}\) in Eq. (1). The cartesian cordinate x, y, and z correspond to the crystallographic [110], [\(\bar{1}\)10], [001] directions, respectively. \({\hat{P}}_{i}^{\alpha }(\alpha=x,\, y,\, z)\) is the spin-induced electric polarization at site i, calculated using:

$$ {\hat{P}}_{i}^{x} \propto -\cos 2{\kappa }_{i}\left({\hat{S}}_{i}^{x}{\hat{S}}_{i}^{z}+{\hat{S}}_{i}^{z}{\hat{S}}_{i}^{x}\right)-\sin 2{\kappa }_{i}\left({\hat{S}}_{i}^{y}{\hat{S}}_{i}^{z}+{\hat{S}}_{i}^{z}{\hat{S}}_{i}^{y}\right),\\ {\hat{P}}_{i}^{y} \propto \cos 2{\kappa }_{i}\left({\hat{S}}_{i}^{y}{\hat{S}}_{i}^{z}+{\hat{S}}_{i}^{z}{\hat{S}}_{i}^{y}\right)-\sin 2{\kappa }_{i}\left({\hat{S}}_{i}^{x}{\hat{S}}_{i}^{z}+{\hat{S}}_{i}^{z}{\hat{S}}_{i}^{x}\right),\\ {\hat{P}}_{i}^{z} \propto \cos 2{\kappa }_{i}\left[{\left({\hat{S}}_{i}^{y}\right)}^{2}-{\left({\hat{S}}_{i}^{x}\right)}^{2}\right]-\sin 2{\kappa }_{i}\left({\hat{S}}_{i}^{x}{\hat{S}}_{i}^{y}+{\hat{S}}_{i}^{y}{\hat{S}}_{i}^{x}\right),$$
(6)

where κi is a rotation angle of CoO4 tetrahedron around the site around the c-axis; κiA = κ, κiB = − κ [see Fig. 2b]. The mean field Hamiltonian is given by:

$${\hat{{{{{{{{\mathcal{H}}}}}}}}}}_{{{{{{{{\rm{MF}}}}}}}}}={\hat{{{{{{{{\mathcal{H}}}}}}}}}}_{A}+{\hat{{{{{{{{\mathcal{H}}}}}}}}}}_{B},$$
(7)

where \({\hat{{{{{{{{\mathcal{H}}}}}}}}}}_{A}\) is

$${\hat{{{{{{{{\mathcal{H}}}}}}}}}}_{A}=\, 4J{\hat{{{{{{{{\bf{S}}}}}}}}}}_{A}\cdot \langle {\hat{{{{{{{{\bf{S}}}}}}}}}}_{B}\rangle+D{\left ({\hat{S}}_{A}^{z}\right )}^{2}\,-\,g\mu_{{{\rm{B}}}}{{{{{{{\bf{H}}}}}}}}\cdot {\hat{{{{{{{{\bf{S}}}}}}}}}}_{A}\,-\,{{{{{{{\bf{E}}}}}}}}\cdot {\hat{{{{{{{{\bf{P}}}}}}}}}}_{A}\\ +4{J}_{{{{{{{{\rm{DM}}}}}}}}}\left ({\hat{S}}_{A}^{x}\langle {\hat{S}}_{B}^{y}\rangle -{\hat{S}}_{A}^{y}\langle {\hat{S}}_{B}^{x}\rangle \right )+4{K}_{z}{\hat{P}}_{A}^{z}\langle {\hat{P}}_{B}^{z}\rangle,$$
(8)

The mean values of \(\langle {\hat{{{{{{{{\bf{S}}}}}}}}}}_{B}\rangle\) and \(\langle {\hat{{{{{{{{\bf{P}}}}}}}}}}_{B}\rangle\) are calculated as functions of \(\langle {\hat{{{{{{{{\bf{S}}}}}}}}}}_{A}\rangle\) and \(\langle {\hat{{{{{{{{\bf{P}}}}}}}}}}_{A}\rangle\) as:

$$\langle {\hat{O}}_{B}\rangle=\frac{{{{{{{{\rm{Tr}}}}}}}}({\hat{O}}_{B}{e}^{-\beta {\hat{H}}_{B}(\langle {\hat{{{{{{{{\bf{S}}}}}}}}}}_{A}\rangle,\langle {\hat{{{{{{{{\bf{P}}}}}}}}}}_{A}\rangle )})}{{{{{{{{\rm{Tr}}}}}}}}{e}^{-\beta {\hat{H}}_{B}(\langle {\hat{{{{{{{{\bf{S}}}}}}}}}}_{A}\rangle,\langle {\hat{{{{{{{{\bf{P}}}}}}}}}}_{A}\rangle )}},$$
(9)

where \({\langle \hat{O}\rangle }_{B}\) is a general operator representing either \({\langle \hat{S}\rangle }_{B}\) or \({\langle \hat{P}\rangle }_{B}\). \({\hat{H}}_{B}\) is obtained by exchanging the sublattice A and B. Here, we assume J = Jz. Using a scale factor γ (0 < γ < 1), reduced effective interactions can be expressed as γJ, γJDM, γK, respectively. To lift the degeneracy, small electric field was applied in the a-axis. Electric permittivity can be calculated using:

$${\varepsilon }_{a}\equiv \frac{\langle {\hat{P}}_{a}({E}_{1})\rangle -\langle {\hat{P}}_{a}({E}_{2})\rangle }{({E}_{1}-{E}_{2})}$$
(10)

with small applied electric field E1 and E2 in the a-axis.