Abstract
The speed limit of information propagation is one of the most fundamental features in non-equilibrium physics. The region of information propagation by finite-time dynamics is approximately restricted inside the effective light cone that is formulated by the Lieb-Robinson bound. To date, extensive studies have been conducted to identify the shape of effective light cones in most experimentally relevant many-body systems. However, the Lieb-Robinson bound in the interacting boson systems, one of the most ubiquitous quantum systems in nature, has remained a critical open problem for a long time. This study reveals a tight effective light cone to limit the information propagation in interacting bosons, where the shape of the effective light cone depends on the spatial dimension. To achieve it, we prove that the speed for bosons to clump together is finite, which in turn leads to the error guarantee of the boson number truncation at each site. Furthermore, we applied the method to provide a provably efficient algorithm for simulating the interacting boson systems. The results of this study settle the notoriously challenging problem and provide the foundation for elucidating the complexity of many-body boson systems.
Similar content being viewed by others
Introduction
Causality is a fundamental principle in physics and imposes the strict prohibition of information propagation outside light cones. The non-relativistic analog of causality was established by Lieb and Robinson1, who proved the existence of the effective light cone. The amount of information outside the light cone decays exponentially with the distance. The recent experimental developments have allowed one to directly observe such effective light cones in various experimental setups2,3,4. The Lieb-Robinson bound provides a fundamental and universal speed limit (that is, the Lieb-Robinson velocity) for non-equilibrium structures in real-time evolutions. Furthermore, the Lieb-Robinson bound also offers critical insights into the steady states and spectral properties of the systems using the Fourier transformation. In the past decades, the Lieb-Robinson bound has found diverse applications in interdisciplinary fields, such as the area law of entanglement5,6, quasi-adiabatic continuation7, fluctuation theorem for pure quantum states8, clustering theorems for correlation functions9,10,11, tensor-network based classical simulation of many-body systems12,13, optimal circuit complexity of quantum dynamics14, sample complexity of quantum Hamiltonian learning15, and quantum information scrambling16. Owing to these crucial applications, the Lieb-Robinson bound has become a central topic in the field of quantum many-body physics.
Lieb and Robinson argued that the speed of information propagation is finitely bounded; that is, the effective light cone is linear with time. One might have a naive expectation that this is true in generic quantum many-body systems. However, to justify such an intuition, we must assume the following conditions: (a) the interactions are short-range, and (b) the strength of interactions is finitely bound. Understanding the breakdown of the two above-mentioned conditions is inevitable for comprehensively describing the information propagation in all experimentally relevant quantum many-body systems. The breakdown of condition (a) should be easy to imagine. Under long-range interactions, the information propagates immediately to an arbitrarily distant point, causing one to intuitively assume that the effective light cone may no longer be linear17. Nevertheless, if the interaction decays polynomially with distance, it indicates the existence of a non-trivial effective light cone that depends on the decay rate of the interaction strength. The Lieb-Robinson bound for long-range interacting systems has been unraveled significantly in the past decade18,19,20,21,22,23,24.
Conversely, the influence of the breakdown of the condition (b) has still been elusive. Considering the Lieb-Robinson velocity is roughly proportional to the interaction strength10,25, we can no longer obtain any meaningful effective light cone without condition (b). Unfortunately, such quantum systems typically appear in quantum many-body physics because the representative examples include quantum boson Hamiltonians, which describe the atomic, molecular, and optical systems. In the absence of boson-boson interactions, one can derive the Lieb-Robinson bound with a linear light cone26,27. In contrast, boson-boson interactions exponentially accelerate transmitting information signals28. In quantum boson systems on a lattice, an arbitrary number of bosons can gather at one location, and the on-site energy can become arbitrarily large, resulting in unlimited Lieb-Robinson velocity. However, to date, there is no general established method to avoid the unboundedness of the local energy. When analyzing the systems, we must truncate the boson number at each site up to a finite number. Although practical simulations often adopt this heuristic prescription, the obtained results are always associated with some uncontrolled uncertainty. Therefore, the most pressing question is what can happen if we consider the dynamics in unconditional ways. The elucidation is crucial in the digital quantum simulation of boson systems with an efficiency guarantee.
As mentioned above, general boson systems inherently cause information propagation with unlimited speed, forcing one to restrict themselves to specific classes of interacting boson systems. The most important class is the Bose-Hubbard model, which is a minimal model comprising essential physics for cold atoms in optical lattices (see Refs. 29,30,31 for other boson models). In recent studies, cold atom setups have attracted significant attention as a promising platform for programmable quantum simulators32,33,34,35,36. Thus far, various researchers have explored this model in theoretical37,38,39,40,41,42 and experimental ways2,43,44. Considering the Lieb-Robinson bound in the Bose-Hubbard type model, we must treat the following primary targets separately: i) transport of boson particles45,46 and ii) information propagation47,48,49,50. The former characterizes the migration speed of boson particles, whereas the latter captures the propagation of all information. Relevant to the first issue i), Schuch, Harrison, Osborne, and Eisert brought the first breakthrough45 by considering the diffusion of the initially concentrated bosons in the vacuum and ensured that the bosons have a finite propagation speed. The generalization of the result has been a challenging problem for over a decade. Recently, the initial setup has been relaxed to general states while assuming a macroscopic number of boson transport46. On the second issue ii), Ref. 47 derived the Lieb-Robinson velocity that was proportional to the square root of the total number of bosons. Therefore, the result provides a qualitatively better bound, whereas the velocity is still infinitely large in the thermodynamic limit. Assuming the initial state is steady and has a small number of bosons in each site, it has been proved that the effective light cone is linear with time48,49. Although these studies have advanced the understanding of the speed limit of Bose-Hubbard-type models, the results’ application ranges are limited to specific setups, such as the steady initial state (see Ref. 50 for another example). Until now, we are far from the long-sought goal of characterizing the optimal forms of the effective light cones for the speed of i) and ii) under the condition that arbitrary time-dependent tunings of the Hamiltonian are allowed.
In this article, we overcome various difficulties and solve the problem in general setups. We treat arbitrary time-dependent Bose-Hubbard-type Hamiltonians in arbitrary dimensions starting from a non-steady initial state. Such a setup is most natural in physics and crucial in estimating the gate complexity of digital quantum simulation of interacting boson systems. Figure 1 summarizes the main results, providing qualitatively optimal effective light cones for both the transport of boson particles and information propagation. As a critical difference between bosons and fermions (or spin models), we have clarified that the acceleration of information propagation can occur in high dimensions. Furthermore, as a practical application, we develop a gate complexity for efficiency-guaranteed digital quantum simulations of interacting bosons based on the Haah-Hastings-Kothari-Low (HHKL) algorithm14.
Results
Speed limit on boson transport
We consider a quantum system on a D-dimensional lattice (graph) with Λ set for all sites. For an arbitrary subset X ⊆ Λ, we denote the number of sites in X by ∣X∣, that is, the system size is expressed as ∣Λ∣. We define bi and \({b}_{i}^{{{{\dagger}}} }\) as the bosonic annihilation and creation operators at the site i ∈ Λ, respectively. We focus on the Bose-Hubbard type Hamiltonian in the form of
with \(| {J}_{i,\, j}| \le \bar{J}\) and \(V:=f\left({\{{\hat{n}}_{i}\}}_{i\in \Lambda }\right)\), where ∑〈i, j〉 is the summation for all pairs of the adjacent sites {i, j} on the lattice and \(f\left({\{{\hat{n}}_{i}\}}_{i\in \Lambda }\right)\) is an appropriate function of the boson number operators \({\{{\hat{n}}_{i}\}}_{i\in \Lambda }\) with \({\hat{n}}_{i}={b}_{i}^{{{{\dagger}}} }{b}_{i}\). The constraints on the function \(f\left({\{{\hat{n}}_{i}\}}_{i\in \Lambda }\right)\) depend on the specific problems under consideration. These constraints are explicitly detailed in the statements of our main Results 1–3. In Result 1, there are no restrictions on \(f({\{{\hat{n}}_{i}\}}_{i\in \Lambda })\); in other words, arbitrary long-range boson-boson couplings are allowed. Result 2 requires a finite interaction length, but no additional constraints. In Result 3, alongside a finite interaction length, we assume that the form of the function is polynomial. Furthermore, similar to the Lieb-Robinson bound in spin/fermion systems, all our results are applicable to Hamiltonians with arbitrary time dependences. Although any time-dependences are allowed for Results 1 and 2, we need an additional condition on the norm of the derivative as in Ineq. (36) for the proof of Result 3.
We denote the subset Hamiltonian supported on X ⊂ Λ by HX, which picks up all the interactions included in X. The time evolution of an operator O by the Hamiltonian HX is expressed as \(O({H}_{X},t):={e}^{i{H}_{X}t}O{e}^{-i{H}_{X}t}\). In particular, we denote O(H, t) by O(t) for simplicity.
We first focus on how fast the bosons spread from a region X ⊂ Λ to the outside (see also Fig. 2) by adopting the notation of the extended subset X [r] by length r as
where di,X is the distance between the subset X and the site i. When X is given by one site (i.e., X = {i}), i[r] simply denotes the ball region centered at the site i. We here consider the time evolution of the boson number operator \({\hat{n}}_{X}: \!\!={\sum }_{i\in X}{\hat{n}}_{i}\). We prove that the higher order moment for boson number operator \({\left[{\hat{n}}_{X}(t)\right]}^{s}\) is upper-bounded by \({\hat{n}}_{X[R]}^{s}\) with an exponentially decaying error with R, i.e., \({\left[{\hat{n}}_{X}(t)\right]}^{s}\preceq {\hat{n}}_{X[R]}^{s}+{e}^{-\Omega (R/t)}\). Throughout this study, we use the notation O1 ⪯ O2 that means \({{{{{{{\rm{tr}}}}}}}}\left[\sigma ({O}_{2}-{O}_{1})\right]\ge 0\) for an arbitrary quantum state σ. Our first result is roughly described by the following statement:
Result 1
Let us consider arbitrary boson-boson interactions V in Eq. (1) without any assumptions on the function f. For \(R\ge {c}_{0}t\log t\), the time-evolution \({\hat{n}}_{X}(t)\) satisfies the operator inequality of
where \(\delta {\hat{n}}_{X[R]}={e}^{-{c}_{1}R/t}{\sum }_{j\in \Lambda }{e}^{-{c}_{1}^{{\prime} }{d}_{j,X[R]}}\ {\hat{n}}_{j}\) and \(\{{c}_{0},{c}_{1},{c}_{1}^{{\prime} },{c}_{2}\}\) are the constants of \({{{{{{{\mathcal{O}}}}}}}}(1)\). The operator \(\delta {\hat{n}}_{X[R]}\) is as small as e−Ω(R/t) if there are not many bosons around the region X [R]. We can apply this theorem to a wide range of setups. Interestingly, it holds for systems with arbitrary long-range boson-boson interactions, such as the Coulomb interaction. Moreover, we can also apply the theorem for imaginary time evolution \({\hat{n}}_{X}(it)={e}^{-tH}{\hat{n}}_{X}{e}^{tH}\).
From the theorem, we can see that the speed of the boson transport from one region to another is almost constant; at most, it grows logarithmically with time. This theorem gives a complete generalization of the result in Ref. 45, which discusses the boson transport for initial states that all the bosons are concentrated in a particular region. If an initial state has a finite number of bosons at each site, the probability distribution for the number of bosons still decays exponentially after a time evolution. Herein, the decay form is determined by Result 1. The estimation provides critical information for simulating the quantum boson systems with guaranteed precision (see Result 3).
Lastly, we notice that Result 1 does not imply that the operator \({\hat{n}}_{X}(t)\) is approximated onto region X [R]; that is, we cannot ensure \({\hat{n}}_{X}(t) \, \approx \, {\hat{n}}_{X}({H}_{X[R]},t)={e}^{i{H}_{X[R]} \ t}O{e}^{-i{H}_{X[R]}\ t}\) as in (4). For example, if we consider a phase operator \({e}^{i{\hat{n}}_{X}}\), the influence can propagate acceleratingly (see below for an explicit example).
Lieb-Robinson bound
We next consider the approximation of the time-evolved operator \({O}_{{X}_{0}}(t)\) by \(O({H}_{{X}_{0}[R]},t)\) using the subset Hamiltonian \({H}_{{X}_{0}[R]}\) (see Fig. 3), where \({O}_{{X}_{0}}\) is an arbitrary operator. Regarding the Holevo capacity, the approximation error characterizes all the information that propagates outside the region X0[R]25. In the following, as a natural setup, we consider an arbitrary initial state with low-boson density condition:
where b0 and κ (≥1) are the constants of \({{{{{{{\mathcal{O}}}}}}}}(1)\). From this condition, the boson number distribution at each site decays (sub)-exponentially at the initial time. The simplest example is the Mott state, where a finite fixed number of bosons sit on each site. We emphasize that without assuming any conditions for the boson number, there is no speed limit for general information propagation. More precisely, the speed of information propagation is directly proportional to the number of bosons at local sites41. This underscores why the low-boson-density condition is the minimal assumption required to establish a meaningful Lieb-Robinson bound. This point also makes a clear difference between the information propagation and the particle transport, in which no conditions are imposed for initial states in Result 1.
Under the condition (3), we can prove the following statement:
Result 2
Let us assume that the range of boson-boson interactions V is finite in Eq. (1). Then, for an arbitrary operator \({O}_{{X}_{0}}\) (\(\Vert {O}_{{X}_{0}}\Vert=1\)), the time evolution \({O}_{{X}_{0}}(t)\) is well approximated by using the subset Hamiltonian on X0[R] with the error of
for \(R\ge {t}^{D}{{{{{{{\rm{polylog}}}}}}}}(t)\), where \({\left\Vert \cdot \right\Vert }_{1}\) is the trace norm and C is an \({{{{{{{\mathcal{O}}}}}}}}(1)\) constant.
The bound (4) tells us that any operator spreading is approximated by a local operator on X0[R] with the accuracy of the right-hand side. It rigorously bounds any information propagation. A crucial observation here is that the propagation speed accelerates depending on the spatial dimensions, which is a stark difference from fermionic lattice systems.
The accelerated information propagation can be interpreted physically as follows. According to Ref. 41, the velocity of information propagation is directly proportional to the number of bosons at local sites in the presence of boson-boson interactions. Consequently, if dynamic processes cause an increase in boson concentrations within specific one-dimensional regions, the boson density in that 1D region will rise over time. As a result, information propagation on this 1D “information path” experiences acceleration. This phenomenon is specific to high-dimensional systems. In one-dimensional systems, if bosons concentrate in a specific region, the surrounding areas exhibit sparse boson densities, preventing persistent acceleration.
Optimality of the effective light cone
As discussed in Result 2, the bound on the speed of information propagation is proportional to t D−1. Herein, we show that the obtained upper bound is qualitatively tight by explicitly developing time evolution to achieve the bound. As the initial state, we consider the Mott state with only one boson at each site. The protocol comprises the following two steps.
-
1.
First, we set the path of the information propagation. We transport the bosons such that they are collected on the path. Here, the path is given by the one-dimensional ladder [see Fig. 4 (a)].
-
2.
Then, we encode the qubits on the ladder and realize the CNOT gate by using two-body interactions and boson hopping [see Fig. 4 (b)].
We here consider the first step. Let us consider two nearest neighbor sites i1 and i2 where the state is given by \({\left\vert N\right\rangle }_{{i}_{1}}\otimes {\left\vert 1\right\rangle }_{{i}_{2}}\). We denote the Fock state on the site i by \({\left\vert m\right\rangle }_{i}\) with m the boson number. Our task is to move the bosons on the site i1 to the site i2, that is,
Such a transformation is realized by combining the free-boson Hamiltonian and Bose-Hubbard Hamiltonian, and the necessary time is inversely proportional to the hopping amplitude of the bosons \(\bar{J}\) (see the Method section). Therefore, based on the time evolution of t/2, we can concentrate the bosons in a region within a distance of \((\bar{J}t)\) from the boson path. The boson number at one site on the boson path is now proportional to \({( \, \bar{J}t)}^{D-1}\). Herein, we denote the quantum state on the boson path by \({\bigotimes }_{j=1}^{\ell}{\left\vert {\bar{n}}_{t},{\bar{n}}_{t}\right\rangle }_{j}\) with \({\bar{n}}_{t}\propto (\bar{J}t)^{D-1}\). Here, ℓ represents the total length of the information path.
In the second step, we encode the quantum states \({\left\vert {\bar{n}}_{t},{\bar{n}}_{t}\right\rangle }_{j}\) and \({\left\vert {\bar{n}}_{t}-1,{\bar{n}}_{t}+1\right\rangle }_{j}\) on the jth row by \({\left\vert 1\right\rangle }_{j}\) and \({\left\vert 0\right\rangle }_{j}\), respectively, to prove that the time required to implement the controlled-NOT (CNOT) gate is at most \({{{{{{{\mathcal{O}}}}}}}}({t}^{-D+1})\). By using appropriate two-body interactions between the (j − 1)th row and jth row, no boson hopping is observed on the jth row when the (j − 1)th row is given by \({\vert {\bar{n}}_{t},{\bar{n}}_{t}\rangle }_{j}\); however, there exists boson hopping on the jth row when the (j − 1)th row is given by \({\left\vert {\bar{n}}_{t}-1,{\bar{n}}_{t}+1\right\rangle }_{j}\). One can control the boson-boson interactions such that only the hopping between \({\vert {\bar{n}}_{t},{\bar{n}}_{t}\rangle }_{j}\leftrightarrow {\vert {\bar{n}}_{t}-1,{\bar{n}}_{t}+1\rangle }_{j}\) occurs. We thus realize the CNOT operation on the information path (see the Method section), where the sufficient time required to realize it is proportional to \(1/(\, \bar{J}{\bar{n}}_{t})\propto 1/(\, {\bar{J}}^{D}{t}^{D-1})\). Therefore, in half of the total time t/2, we can implement \({(\, \bar{J}t)}^{D}\) pieces of the CNOT gates, which allows us to propagate the information from one site to another as long as the distance between these sites is smaller than \({( \, \bar{J}t)}^{D}\).
One can demonstrate that the number of CNOT operations is directly linked to the distance of the operator spread, following the discussion in Ref. 25. To illustrate this, consider two types of operations: flipping or non-flipping the endmost qubit on the information path at the time t/2, where the boson concentration has been over. For simplicty, we here prepare the quantum state on the information path so that it can be given by the product state |0⟩⊗ℓ instead of |1⟩⊗ℓ. By flipping the endmost qubit to \(\left\vert 1\right\rangle,m\)-sequential CNOT operations transform the state to \({\left\vert 1\right\rangle }^{\otimes m}{\left\vert 0\right\rangle }^{\otimes \ell -m}\), while without flipping, the state remains unchanged \({\left\vert 0\right\rangle }^{\otimes \ell }\). By encoding classical information as flipping (=0) or non-flipping (=1) of the endmost qubit, one can transmit 1 bit of information through the sequence of CNOT operations. The connection between Holevo capacity and operator spreading25 implies that this process necessarily induces the operator spreading of the flipping unitary on the endmost qubit in the Heisenberg picture. Thus, \({\bar{J}}^{D}{t}^{D}\) CNOT operations during the time t achieves the Lieb-Robinson velocity of \({\bar{J}}^{D}{t}^{D-1}\). This accelerating information propagation must be clearly distinguished from boson transport with a constant velocity, as in Result 1.
We finally discuss a comparison with the mechanism proposed by Eisert and Gross28. In their model, the Hamiltonian effectively amplifies the hopping of bosons, with hopping amplitudes directly proportional to their positions. In contrast, our mechanism relies on dynamically adjusting the local boson numbers. The crucial aspect is that, in the presence of boson-boson interactions, the speed of information propagation is enhanced by the local boson numbers.
Provably efficient digital quantum simulation
In the final application, we consider the quantum simulation of time evolution and estimate the sufficient number of quantum gates that implement the bosonic time evolution e−iHt acting on an initial state ρ0. In detail, we prove the following statement:
Result 3
Let us assume that the boson-boson interactions in \(V=f\left({\{{\hat{n}}_{i}\}}_{i\in \Lambda }\right)\) are finite in length, and the function \(f\left({\{{\hat{n}}_{i}\}}_{i\in \Lambda }\right)\) is given by a polynomial with limited degrees and coefficients. For an arbitrary initial state ρ0 with the condition (3), the number of elementary quantum gates for implementing e−iHtρ0eiHt up to an error ϵ is at most
with the depth of the circuit \({t}^{D+1}{{{{{{{\rm{polylog}}}}}}}}(| \Lambda | t/\epsilon )\), where the error is given in terms of the trace norm. Note that ∣Λ∣ is the number of sites in the total system.
We extend the Haah-Hastings-Kothari-Low (HHKL) algorithm14 to the interacting bosons. Before going to the algorithm, we truncate the boson number at each site up to \(\bar{q}\). We define \({\bar{\Pi }}_{\bar{q}}\) as the projection onto the eigenspace of the boson number operators \({\{{\hat{n}}_{i}\}}_{i\in \Lambda }\) with eigenvalues smaller than or equal to \(\bar{q}\). Then, we consider the time evolution by the effective Hamiltonian \({\bar{\Pi }}_{\bar{q}}H{\bar{\Pi }}_{\bar{q}}\). In the following, for an arbitrary operator O, we denote the projected operator \({\bar{\Pi }}_{\bar{q}}O{\bar{\Pi }}_{\bar{q}}\) by \(\tilde{O}\) for simplicity. Assuming low-boson density (3), Result 1 gives the upper bound of the approximation error of
Therefore, to achieve the error of ϵ, we need to choose as \(\bar{q}={(t\log t)}^{D}{\log }^{\kappa }(| \Lambda | /\epsilon )={t}^{D}{{{{{{{\rm{polylog}}}}}}}}(| \Lambda | t/\epsilon )\).
In the algorithm, we first adopt the interaction picture of the time evolution:
First, the time evolution by \(\tilde{V}\) is decomposed to \({{{{{{{\mathcal{O}}}}}}}}(| \Lambda | )\) pieces of the local time evolution, considering the interaction terms in V commute with each other. Second, we implement the time evolution for the time-dependent Hamiltonian \({\tilde{H}}_{0}(\tilde{V},x)\). The Hamiltonian \({\tilde{H}}_{0}(\tilde{V},x)\) contains interaction terms like \({e}^{i\tilde{V}x}{\tilde{b}}_{i}{\tilde{b}}_{j}^{{{{\dagger}}} }{e}^{-i\tilde{V}x}\), which has a bounded norm by \({{{{{{{\mathcal{O}}}}}}}}(\bar{q})\) and is described by an \({{{{{{{\mathcal{O}}}}}}}}(1)\) sparse matrix. Herein, we say that an operator O is d sparse if it has at most d nonzero entries in any row or column. Moreover, the norm of the derivative \(\Vert d({e}^{i\tilde{V}x}{\tilde{b}}_{i}{\tilde{b}}_{j}^{{{{\dagger}}} }{e}^{-i\tilde{V}x})/dx\Vert\) is upper-bounded by \({{{{{{{\rm{poly}}}}}}}}(\bar{q})\) owing to the assumption for \(f\left({\{{\hat{n}}_{i}\}}_{i\in \Lambda }\right)\).
Therefore, the problem is equivalent to implementing the time evolution of the Hamiltonian with the following three properties: (i) the norms of the local interaction terms are upper-bounded by \({{{{{{{\mathcal{O}}}}}}}}(\bar{q})\), (ii) the interaction terms are described by \({{{{{{{\mathcal{O}}}}}}}}(1)\) sparse matrices, and (iii) the time derivative of the local interactions has a norm of \({{{{{{{\rm{poly}}}}}}}}(\bar{q})\) at most. Such cases can be treated by simply combining the previous works in Refs. 14 and51. As shown in the Method section, the total number of elementary circuits is at most \((| \Lambda | t\bar{q}){{{{{{{\rm{polylog}}}}}}}}(| \Lambda | t\bar{q}/\epsilon )\), which reduces to (5) by applying \(\bar{q}={t}^{D}{{{{{{{\rm{polylog}}}}}}}}(| \Lambda | t/\epsilon )\).
Discussion
Our study clarified the qualitatively tight Lieb-Robinson light cone for systems with the Bose-Hubbard type Hamiltonian. Still, we have various improvements to implement in future works. First, the obtained bounds incorporate logarithmic corrections, but there is a possibility of their removal through a refinement of the current analyses. Currently, it does not seem to be a straightforward problem to remove them using our existing techniques. A possible starting point to achieve this is to consider the difference between average values as \({{{{{{{\rm{tr}}}}}}}}[({O}_{{X}_{0}}(t)-{O}_{{X}_{0}}({H}_{{X}_{0}[R]},t)){\rho }_{0}]\) instead of the trace norm \({\Vert ({O}_{{X}_{0}}(t)-{O}_{{X}_{0}}({H}_{{X}_{0}[R]},t)){\rho }_{0}\Vert }_{1}\). While this quantity may not capture the propagation of total information, a significantly stronger bound can be proven in one-dimensional systems, where the light cone form strictly follows a linear form with time49. Through the refinement and combination of existing techniques, there is a possibility of eliminating the logarithmic corrections in our current bound in future studies. Second, although acceleration of the information propagation is possible, there are particular cases where the linear light cone is rigorously proved48,49. Therefore, by appropriately avoiding the acceleration mechanism depicted in our protocol, we can possibly establish a broader class that retains the linear light cone. Third, it is an interesting open question to seek the possibility of improving the current gate complexity \(| \Lambda | {t}^{D+1}{{{{{{{\rm{polylog}}}}}}}}(| \Lambda | t/\epsilon )\) and clarify the optimal gate complexity to simulate the quantum dynamics. We hope a more simplified technique may appear for implementing these improvements, considering the current proof techniques are rather complicated.
Other directions include generalizing the current results beyond the Bose-Hubbard type Hamiltonian (1). As a straightforward extension, it is intriguing to investigate under what conditions boson-boson interactions like \({b}_{{i}_{1}}{b}_{{i}_{2}}{b}_{{i}_{3}}^{{{{\dagger}}} }{b}_{{i}_{4}}^{{{{\dagger}}} }\) can lead to information propagation with a limited speed. In this scenario, relying solely on the low-boson-density condition proves insufficient for regulating the speed of information propagation (cf. Ref. 52). Still, such an extension has practical importance. For example, when applying the quasi-adiabatic continuation technique7 to the Bose-Hubbard type models, we must derive the Lieb-Robinson bound for the quasi-adiabatic continuation operator, which is no longer given by the form of Eq. (1). We expect that our newer techniques will be helpful in developing interacting boson systems where the effective light cone is at most polynomial with time.
Finally, it is intriguing to experimentally or numerically observe the supersonic propagation of quantum signals using a mechanism similar to that illustrated in Fig. 4. In our protocol, we employed highly artificial boson-boson interactions. Then, a significant open problem is whether acceleration can occur even under time-independent Hamiltonians. We anticipate that the boson transport in the initial step can be achieved by reversing the time evolution (see Supplementary Note 11). As for the second step in the protocol, Ref. 41 has already noted that the group velocity of the propagation front of correlations is proportional to the boson number at each site. Hence, we believe that the proposed acceleration mechanism can be realized within the current experimental setups.
Methods
Outline of the proof for Result 1
Throughout the proof, we denote \({{{{{{{\mathcal{O}}}}}}}}(1)\) as an arbitrary finite combination of the fundamental parameters, which are detailed in Supplementary Table 1.
First, we present several key ideas to prove Result 1 by considering \({[{\hat{n}}_{X}(t)]}^{s}\) with s = 1 for simplicity. By refining the technique in Ref. 45, we begin with the following statement (Supplementary Subtheorem 1):
with \({\hat{{{{{{{{\mathcal{D}}}}}}}}}}_{X}:={\sum }_{i\in \partial X}{\sum }_{j\in \Lambda }{e}^{-{d}_{i,\, j}}{\hat{n}}_{j}\), where cτ,1 and cτ,2 are the constants that grow exponentially with τ, that is, \({c}_{\tau,1},{c}_{\tau,2}={e}^{{{{{{{{\mathcal{O}}}}}}}}(\tau )}\). We define ∂X as the surface region of the subset X, that is, \(\partial X=\{i\in X| {d}_{i,{X}^{{{{{{{{\rm{c}}}}}}}}}}=1\}.\) From the definition, the operator \({\hat{{{{{{{{\mathcal{D}}}}}}}}}}_{X}\) is roughly given by the boson number operator around the surface region of X with an exponential tail (see Fig. 5). In the inequality (8), the coefficients cτ,1, cτ,2 grow exponentially with τ, and hence the inequality becomes meaningless for large τ, which has been the main bottleneck in45.
The key technique to overcome the above-mentioned difficulty is the connection of the short-time evolution e−iHτ with τ a constant of \({{{{{{{\mathcal{O}}}}}}}}(1)\), which has played an important role in the previous works22,48,53. We first refine the upper bound (8) to
If the above inequality holds, by iteratively connecting the short-time evolution (t/τ) times, we obtain
which yields the desired inequality in Result 1 for s = 1 by choosing R = (t/τ)ℓ (or ℓ = τR/t).
Then, we aim to derive the bound (9) using the inequality (8). However, the derivation is not straightforward because the inequality \({\hat{n}}_{X}+{c}_{\tau,1}{\hat{{{{{{{{\mathcal{D}}}}}}}}}}_{X}+{c}_{\tau,2}\preceq {\hat{n}}_{X[\ell ]}+{e}^{-\Omega (\ell )}+{c}_{\tau,2}\) does not hold in general. For example, let us consider a quantum state ρ such that all bosons concentrate on ∂X (see Fig. 5). Then, we have
which makes \({{{{{{{\rm{tr}}}}}}}}[ \, \rho ({\hat{n}}_{X}+{c}_{\tau,1}{\hat{{{{{{{{\mathcal{D}}}}}}}}}}_{X})]=[1+\Omega (1)]{{{{{{{\rm{tr}}}}}}}}\left(\rho {\hat{n}}_{X}\right)\). Therefore, connecting the time evolution (t/τ) times yields an exponential term \({[1+\Omega (1)]}^{t/\tau }\). To avoid such exponential growth, we first upper-bound \({\hat{n}}_{X}(\tau )\preceq {\hat{n}}_{X[\ell ]}(\tau )\) for ∀ τ > 0 as a trivial bound, where ℓ (≥0) can be arbitrarily chosen. Then, we use the inequality (8) to obtain
The point here is that \({\hat{{{{{{{{\mathcal{D}}}}}}}}}}_{X[\ell ]}\) is localized around the surface of X [ℓ] with an exponentially decaying tail. Using the above operator inequality, we can resolve the drawback in Eq. (11) that originates from the concentration around the boundary ∂X. Here, for the quantum state ρ which has the boson concentration on the region ∂X, we have
instead of Eq. (11). Therefore, the contribution from the operator \({{{{{{\hat{{{\mathcal{D}}}}}}}}}}_{X[\ell ]}\) is exponentially small with the length ℓ.
From the above discussion, to derive a meaningful upper bound for short-time evolution, we need to consider
for an arbitrary quantum state ρ, which also gives an upper bound of \({{{{{{{\rm{tr}}}}}}}}[ \, \rho {\hat{n}}_{X}(\tau )]\). We cannot solve the optimization problem (12) in general but ensure the existence of r ∈ [0, ℓ] that satisfies the following inequality (see Supplementary Lemma 13 and Supplementary Proposition 16):
where δℓ decays exponentially with ℓ, i.e., δℓ = e−Ω(ℓ), and we define \({\hat{{{{{{{{\mathscr{D}}}}}}}}}}_{X[\ell ]}={\sum }_{j\in X{[\ell ]}^{{{{{{{{\rm{c}}}}}}}}}}{e}^{-3{d}_{j,X[\ell ]}/4}{\hat{n}}_{j}\). The inequality (13) is given in the form of the desired inequality (9), which also yields the upper bound (10) (Supplementary Theorem 1). More precisely, the iterative use of the inequality (13) yields an additional coefficient \({(1+{c}_{\tau,1}{\delta }_{\ell })}^{t/\tau }\) to the first term \({\hat{n}}_{X[(t/\tau )\ell ]}\) in (10). We need the condition \(R\ge {c}_{0}t\log t\) (or \(\ell \propto \log (t)\)) to ensure \({(1+{c}_{\tau,1}{\delta }_{\ell })}^{t/\tau }\lesssim 1+{c}_{\tau,1}t{\delta }_{\ell }\). Therefore, we prove the main inequality in Result 1.
For a general sth moment, we apply similar analyses to the case of s = 1. As a remark, we cannot simply obtain \({[{\hat{n}}_{X}(\tau )]}^{s}\preceq {({\hat{n}}_{X}+{c}_{\tau,1}{\hat{{{{{{{{\mathcal{D}}}}}}}}}}_{X}+{c}_{\tau,2})}^{s}\) from the inequality (8) because O1 ⪯ O2 does not imply \({O}_{1}^{s}\preceq {O}_{2}^{s}\) in general. Instead, we obtained the following modified upper bound:
Then, we consider a similar procedure to the optimization problem (12) and obtain an analogous inequality to (13) (Supplementary Proposition 18). This allows us to connect the short-time evolution to derive Result 1 for general s.
Non-acceleration of Boson transport
Here, we demonstrate that the protocol in Fig. 4 cannot induce the acceleration of boson transport. While this protocol enables the transformation
as long as di, j ≲ t D (where \(\vert {{{{{{{{\rm{M}}}}}}}}}_{1}\rangle\) is the Mott state with one boson at each site), this process does not imply genuine particle transport due to the indistinguishability of bosons. In the first place, even without the Fig. 4 protocol, the transformation (15) can be achieved in a constant time for arbitrary distances (see Fig. 6). To characterize particle transport, it is essential to ensure that the increased bosons indeed originate from a distant region. This can be achieved in the following cases:
-
1.
If \({{{{{{{\rm{tr}}}}}}}}(\rho (t){\hat{n}}_{X}) \, > \, {{{{{{{\rm{tr}}}}}}}}(\rho {\hat{n}}_{X[R]})\), we can ensure that a part of the increase in boson number comes from the region X[R]c, achieving particle transport over a distance R.
-
2.
By making target bosons distinguishable from others (e.g., bosons with the spin degree of freedom), particle transport can be clearly defined.
The first case is addressed in Result 1, where we establish a finite speed. In the second case, we also prove the finite speed of transport by slightly generalizing Result 1. In this case, the Hamiltonian should be generalized to
Then, the same operator inequality as in Result 1 holds for \({\hat{n}}_{X,\sigma }(t)\) for corresponding spin degrees σ.
In the context of this discussion, a more phenomenological explanation to ensure the finite velocity of boson transport is through the particle current. The particle current operator \({\hat{{{\mathcal{J}}}}}_{i,i+1}\) between the sites i and i + 1 is defined as
where we consider a one-dimensional system for simplicity, and the free Hamiltonian is \({H}_{0}={\sum }_{i}J({b}_{i}{b}_{i+1}^{{{{\dagger}}} }+\,{{\mbox{h.c.}}}\,)\). Usually, the current is defined as the product of particle density and velocity, giving the speed of particle velocity as
where we use the operator inequality of \(| {\hat{{{\mathcal{J}}}}}_{i,i+1}| \preceq 2J({\hat{n}}_{i}+{\hat{n}}_{i+1})\) from \(| {b}_{i}{b}_{i+1}^{{{{\dagger}}} }| \preceq {\hat{n}}_{i}+{\hat{n}}_{i+1}\) (see Supplementary Equation 459). Although it is non-trivial to derive our Result 1 only from this discussion, it provides a simple picture of why the speed of particle transport has a finite speed.
Outline of the proof for Result 2: simpler but looser bound
Herein, we show how to derive the Lieb-Robinson bound with the effective light cone of R ∝ tD for information propagation. The number of bosons created by the operator \({O}_{{X}_{0}}\), say q0, is assumed to be an \({{{{{{{\mathcal{O}}}}}}}}(1)\) constant for simplicity. In Supplementary Notes 7, 8, 9, and 10, we treat generic q0, and the obtained Lieb-Robinson bounds depend on q0 (see Supplementary Theorems 2,3, and 4). Before going to the tight Lieb-Robinson bound, we show the derivation of a looser light cone by using the truncation of the boson number as in Ref. 48, which gives R ∝ tD+1 (Supplementary Theorem 2). By applying Result 1 with X = {i}, the time evolution of the boson number operator \({\hat{n}}_{i}\) is roughly upper-bounded by the boson number on the ball region i[ℓt], that is, \({\hat{n}}_{i[{\ell }_{t}]}\), where \({\ell }_{t}={{{{{{{\mathcal{O}}}}}}}}(t\log t)\), and we ignored the non-leading terms. Therefore, if an initial state ρ0 has a finite number of bosons at each site, the upper bound of the sth moment after a time evolution can be given as
where we use the condition (3) in the second inequality. The above inequality characterizes the boson concentration by the time evolution to ensure that the probability distribution of the boson number decays subexponentially
where Πi,≥ x is the projection onto the eigenspace of \({\hat{n}}_{i}\) with the eigenvalues larger than or equal to x. Therefore, we expect that the boson number at each site can be truncated up to \({{{{{{{\mathcal{O}}}}}}}}({\ell }_{t}^{D})={t}^{D}{{{{{{{\rm{polylog}}}}}}}}(t)\) with guaranteed efficiency.
When deriving the Lieb-Robinson bound, we adopt the projection \({\bar{\Pi }}_{L,\bar{q}}\) (L ⊆ Λ) such that
This truncates the boson number at each site in the region L up to \(\bar{q}\). Therefore, the Hamiltonian \({\bar{\Pi }}_{L,\bar{q}}H{\bar{\Pi }}_{L,\bar{q}}\) has a finitely bounded energy in the region L under the projection. The problem is whether we can approximate the exact dynamics e−iHt by using the effective Hamiltonian as \({e}^{-i{\bar{\Pi }}_{L,\bar{q}}H{\bar{\Pi }}_{L,\bar{q}}\ t}\). Generally, the error between them is not upper-bounded unless we impose some restrictions on the initial state ρ0. Under the condition (3) of the low-boson density, the inequality (19) indicates that the dynamics may be well-approximated by \({\bar{\Pi }}_{L,\bar{q}}H{\bar{\Pi }}_{L,\bar{q}}\) as long as \(\bar{q} \, \gg \, {\ell }_{t}^{D}\). Indeed, we can prove the following error bound similar to (6) (Supplementary Proposition 30):
Following the analyses in Ref. 48, we only have to truncate the boson number in the region X0[R], that is, L = X0[R], to estimate the error \({\Vert ({O}_{{X}_{0}}(t)-{O}_{{X}_{0}}({H}_{X[R]},t)){\rho }_{0}\Vert }_{1}\).
For the effective Hamiltonian \({\bar{\Pi }}_{L,\bar{q}}H{\bar{\Pi }}_{L,\bar{q}}\), the Lieb-Robinson velocity is proportional to \(\bar{q}\), and hence, if \(\bar{q}t\lesssim R\), we can ensure that the time-evolved operator \({O}_{{X}_{0}}({\bar{\Pi }}_{L,\bar{q}}H{\bar{\Pi }}_{L,\bar{q}},t)\) is well-approximated in the region X0[R] (Supplementary Lemma 35). Therefore, by choosing \(\bar{q}\propto R/t\) (see Supplementary Equation 527 for the explicit choice) in (21), the Lieb-Robinson bound is derived as follows:
This gives the effective light cone in the form of \(R={t}^{D+1}{{{{{{{\rm{polylog}}}}}}}}(t)\).
Outline of the proof for Result 2: optimal light cone
To refine the bound (22), we must utilize the fact that the boson number at each site cannot be as large as \({{{{{{{\mathcal{O}}}}}}}}({t}^{D})\) simultaneously (see Fig. 7). From Result 1, after time evolution, the boson number operator \({\hat{n}}_{{i}_{0}[{\ell }_{t}]}\) in the ball region i0[ℓt] is roughly upper-bounded by that in the extended ball region i0[2ℓt] with \({\ell }_{t}={{{{{{{\mathcal{O}}}}}}}}(t\log t)\). We thus obtain
Considering ∣i0[2ℓt]∣/∣i0[ℓt]∣ is upper-bounded by the \({{{{{{{\mathcal{O}}}}}}}}(1)\) constant, the average boson number in the region i0[ℓt] is still constant as long as the initial state satisfies \(\langle {\hat{n}}_{{i}_{0}[2{\ell }_{t}]}\rangle /| {i}_{0}[2{\ell }_{t}]|={{{{{{{\mathcal{O}}}}}}}}(1)\). We can ensure that the average local energy is upper-bounded by a constant value from the upper bound on the average number of bosons. This inspires a feeling of hope to derive a constant Lieb-Robinson velocity. Unfortunately, such an intuition does not hold, considering bosons clump together to make an information path with high boson density, as shown in Fig. 4. In such a path, up to \({{{{{{{\mathcal{O}}}}}}}}({\ell }_{t}^{D-1}),\) bosons sit on the sites simultaneously. Therefore, our task is to prove that the fastest information propagation occurs when bosons clump onto a one-dimensional region.
To address the aforementioned point, we need to consider cases where the interaction strengths in a Hamiltonian depend on the locations. In the standard Lieb-Robinson bound, the Lieb-Robinson velocity is proportional to the maximum local energy9,10. However, this estimation is insufficient when deriving the bosonic Lieb-Robinson bound, as the local energy depends on the boson number at the local site and can be as large as \({{{{{{{\mathcal{O}}}}}}}}({t}^{D})\); our current goal is to derive the Lieb-Robinson velocity as tD−1.
For this purpose, we consider a general Hamiltonian in the form of H = ∑Z⊂ΛhZ with the additional constraint:
where \({\{{h}_{{Z}_{j}}\}}_{j=1}^{m}\) are arbitrary interaction terms acting on subsets \({\{{Z}_{j}\}}_{j=1}^{m}\), respectively. Roughly speaking, the parameter \({\bar{g}}_{0}\) corresponds to the maximum local energy on one site, and \({\bar{g}}_{1}\) is the average local energy on one site. Under the above condition, each interaction term hZ has an upper bound of \({\bar{g}}_{0}+{\bar{g}}_{1}\). Thus, the standard Lieb-Robinson bound gives a Lieb-Robinson velocity of \({{{{{{{\mathcal{O}}}}}}}}({\bar{g}}_{0}+{\bar{g}}_{1})\), which can be unfavorable if \({\bar{g}}_{0}\) is large. Through refined analyses, we can prove that the improved Lieb-Robinson velocity depends on the distance as \({{{{{{{\mathcal{O}}}}}}}}({\bar{g}}_{0}/R)+{{{{{{{\mathcal{O}}}}}}}}({\bar{g}}_{1})\), eventually becoming \({{{{{{{\mathcal{O}}}}}}}}({\bar{g}}_{1})\) for sufficiently large R (Supplementary Lemma 42). To apply this technique to the boson systems, we may come up with an idea to perform site-dependent boson number truncation instead of the uniform truncation \({\bar{\Pi }}_{L,\bar{q}}\) in Eq. (20). For example, we consider a projection as
By the projection, the effective Hamiltonian \({\bar{\Pi }}_{L,{{{{{{{\bf{q}}}}}}}}}H{\bar{\Pi }}_{L,{{{{{{{\bf{q}}}}}}}}}\) satisfies a similar condition to (24).
The primary challenge arises from the inability to obtain an accurate approximation for dynamics using the effective Hamiltonian \({\bar{\Pi }}_{L,{{{{{{{\bf{q}}}}}}}}}H{\bar{\Pi }}_{L,{{{{{{{\bf{q}}}}}}}}}\) for a specific choice of q. This challenge is rooted in the superposition of quantum states with diverse boson configurations. For instance, consider a quantum state \(\left\vert \psi \right\rangle\) represented as the superposition of two states, \(\left\vert {\psi }_{1}\right\rangle\) and \(\left\vert {\psi }_{2}\right\rangle\), where \({\bar{\Pi }}_{L,{{{{{{{{\bf{q}}}}}}}}}_{1}}\left\vert {\psi }_{1}\right\rangle=\left\vert {\psi }_{1}\right\rangle\) and \({\bar{\Pi }}_{L,{{{{{{{{\bf{q}}}}}}}}}_{2}}\left\vert {\psi }_{2}\right\rangle=\left\vert {\psi }_{2}\right\rangle\). Then, time evolution with the effective Hamiltonian \({\bar{\Pi }}_{L,{{{{{{{{\bf{q}}}}}}}}}_{1}}H{\bar{\Pi }}_{L,{{{{{{{{\bf{q}}}}}}}}}_{1}}\) provides a reliable approximation for \({e}^{-iHt}\left\vert {\psi }_{1}\right\rangle\) but not for \({e}^{-iHt}\left\vert {\psi }_{2}\right\rangle\). Conversely, time evolution with \({\bar{\Pi }}_{L,{{{{{{{{\bf{q}}}}}}}}}_{2}}H{\bar{\Pi }}_{L,{{{{{{{{\bf{q}}}}}}}}}_{2}}\) gives a good approximation for \({e}^{-iHt}\left\vert {\psi }_{2}\right\rangle\) but not for \({e}^{-iHt}\left\vert {\psi }_{1}\right\rangle\). Thus, a specific boson number truncation using \({\bar{\Pi }}_{L,{{{{{{{\bf{q}}}}}}}}}\) cannot be applied uniformly to all superposed states. It is necessary to consider different boson number truncations depending on the boson configuration of the superposed states, as discussed in Supplementary Note 8A.
To resolve the problem, we utilize the connection of short-time unitary evolution22,48,53. Let τ be a unit of time that is appropriately chosen afterward. If we can obtain the approximation error of
for arbitrary OX with X ⊆ X0[R] and t1≤t, we can connect the approximation to obtain the desired error bound \({\Vert [{O}_{{X}_{0}}(t)-{O}_{{X}_{0}}({H}_{X[R]},t)]{\rho }_{0}(t)\Vert }_{1}\) (see Supplementary Equation 764). For sufficiently small τ, the time-evolved state approximately preserves the initial boson distribution.
To estimate the norm (26), we consider a set of projection \({\{{{{{{{{{\mathcal{P}}}}}}}}}_{s}\}}_{s=1}^{M}\) such that \(\mathop{\sum }\nolimits_{s=1}^{M}{{{{{{{{\mathcal{P}}}}}}}}}_{s}=1\), each of which constraints the boson number on the sites. By using them, we upper-bound the norm (26) by
Therefore, although the state ρ0(t1) includes various boson number configurations, we can separately treat them. Because the summation (27) increases with the number of projections M, we need to select a minimal set of \({\{{{{{{{{{\mathcal{P}}}}}}}}}_{s}\}}_{s=1}^{M}\) to achieve our goal. The choice of the projections is rather technical (see Supplementary Note 9B).
Now, the short-time evolution does not drastically change the original boson number distribution. Hence, we perform boson number truncation \({\bar{\Pi }}_{L,{{{{{{{\bf{q}}}}}}}}}\) with qi roughly determined based on the initial boson number around the site i.
In conclusion, we can derive the following upper bound (see Supplementary Proposition 45):
where Q is an arbitrary control parameter. By choosing Q and τ appropriately and connecting the short-time evolution, we can prove the main statement (4) (see Supplementary Equations 769, 773, and 774 of Supplementary Note 9B). As a final remark, in the case of one-dimensional systems, we cannot utilize the original unitary connection technique22,48,53 and have to utilize a refined version (see Supplementary Note 10).
Realization of the CNOT operation
In the protocol to achieve the information propagation in Fig. 4, we need to implement the following two operations that involve two and four sites, respectively.
and
where we denote the product state \(\left\vert 1\right\rangle \otimes \left\vert N\right\rangle\) by \(\left\vert 1,N\right\rangle\) for simplicity. We also label the four sites as 1, 2, 3 and 4.
To achieve the operation (29), we first transform \(\left\vert N,1\right\rangle \to \left\vert 1,N\right\rangle\), which is achieved by the free boson Hamiltonian, that is, \({H}_{0}=J({b}_{1}^{{{{\dagger}}} }{b}_{2}+{{{{{{{\rm{h}}}}}}}}.c.)\) (\(J\le \bar{J}\)). Second, to transform \(\left\vert 1,N\right\rangle \to \left\vert 0,N+1\right\rangle\), we use the Bose-Hubbard Hamiltonian as
By letting \(V=h{\hat{n}}_{2}-U{\hat{n}}_{2}^{2}\), we get \(\left\langle 1,N\right\vert V\left\vert 1,N\right\rangle=\left\langle 0,N+1\right\vert V\left\vert 0,N+1\right\rangle=UN(N+1)\) and \(\left\langle j,N+1-j\right\vert V\left\vert j,N+1-j\right\rangle \le UN(N+1)-2U\) for ∀ j ∈ [2, N + 1]. In the limit of U → ∞, the time evolution \({e}^{-iHt}\left\vert 1,N\right\rangle\) is described by the superposition of the two states of \(\left\vert 1,N\right\rangle\) and \(\left\vert 0,N+1\right\rangle\). Therefore, we achieve the transformation \(\left\vert 1,N\right\rangle \to \left\vert 0,N+1\right\rangle\) within a time proportional to J −1.
The second operation (30) is constructed by the following Hamiltonian
where we choose h to be infinitely large. Owing to the term \(h({\hat{n}}_{2}-{\hat{n}}_{1}){\hat{n}}_{3}\) (h → ∞), the hopping between the site 3 and 4 cannot occur unless the number of bosons on sites 1 and 2 are equal. Therefore, we achieve the second and the third operations in (30). Next, we denote \(V=h({\hat{n}}_{2}-{\hat{n}}_{1}){\hat{n}}_{3}+U({\hat{n}}_{3}{\hat{n}}_{4}+{\hat{n}}_{4}-{\bar{n}}_{t})\). For an arbitrary state as \(\left\vert {\bar{n}}_{t},{\bar{n}}_{t}\right\rangle \otimes \left\vert {\bar{n}}_{t}-j,{\bar{n}}_{t}+j\right\rangle\), the eigenvalue of V is given by
Then, the eigenvalue has the same value only for j = 0 and j = 1, whereas the other eigenvalues are separated from each other by a width larger than or equal to 2U. Therefore, by letting U → ∞, the first operation (30) can be realized by following the same process as described for (29).
Gate complexity for quantum simulation
We here derive the gate complexity to simulate the time evolution by \({\tilde{H}}_{0}(\tilde{V},x)\) in Eq. (7). The technique herein is similar to the one in Ref. 54, which analyzes the quantum simulation for the Bose-Hubbard model with a sufficiently small boson density. Under the decomposition of Eq. (7), we must consider the class of time-dependent Hamiltonians as
where each interaction term \({\{{h}_{t,Z}\}}_{Z\subset \Lambda }\) is given by the form of \({e}^{i\tilde{V}t}{\tilde{b}}_{i}{\tilde{b}}_{j}^{{{{\dagger}}} }{e}^{-i\tilde{V}t}\). Here, ht,Z satisfies
and
where \(\bar{q}\) is defined by the boson number truncation as in (6). Additionally, the local Hilbert space on one site has a dimension of \(\bar{q}+1\), whereas the matrix representing ht,Z is d sparse matrix with \(d={{{{{{{\mathcal{O}}}}}}}}(1)\); that is, it has at most d nonzero elements in any row or column.
Now, we consider the subset Hamiltonian ht,L on an arbitrary subset L, defined as
Then, we consider the gate complexity to simulate the dynamics \({U}_{L}(0\to \tau ):={{{{{{{\mathcal{T}}}}}}}}{e}^{-i\int\nolimits_{0}^{\tau }{H}_{t,L}dt}\), which has been thoroughly investigated51,55. The Hilbert space on the subset L has dimensions of \({(\bar{q}+1)}^{| L| }\), and hence, the number of qubits to represent the Hilbert space is given by \(| L| {\log }_{2}(\bar{q}+1)\). Additionally, HL(t) is given by an \({{{{{{{\mathcal{O}}}}}}}}({d}_{L})\) sparse matrix, where \({d}_{L}=d\times {{{{{{{\mathcal{O}}}}}}}}(| L| )\). Therefore, by employing Theorem 2.1 in Ref. 51, the gate complexity for simulating UL(0 → τ) up to an error ϵ is upper-bounded by
with \(\tilde{\tau }:={d}_{L}^{2}g| L| \tau\) and \({\tilde{\tau }}^{{\prime} }:={d}_{L}^{2}{g}^{{\prime} }| L| \tau\). By using the inequalities (35) and (36) and \({d}_{L}={{{{{{{\mathcal{O}}}}}}}}(| L| )\), the above quantity reduces to the form of
In the following, we consider the Haah-Hastings-Kothari-Low algorithm14 to the time evolution of the total system Λ, that is, UΛ(0 → t) by splitting the total time t into m0 ≔ t/Δt pieces and choosing Δt as \({{{{{{{\mathcal{O}}}}}}}}(1/\bar{q})\). Then, we decompose the total system into blocks \({\{{B}_{s}\}}_{s=1}^{\bar{n}}\), i.e., \(\Lambda=\mathop{\bigcup }\nolimits_{s=1}^{\bar{n}}{B}_{s}\), where each block has the size of ℓ (see Fig. 8). We then approximate
where Uj is an approximation for the dynamics from (j − 1)Δt to jΔt as follows:
Herein, we define Bs,s+1 ≔ Bs ∪ Bs+1 and define Uj,L (L ⊆ Λ) as
From Ref. 14, the approximation error of the decomposition (40) is given as
where μ and v are the constants of \({{{{{{{\mathcal{O}}}}}}}}(1)\). Due to \(\Delta t={{{{{{{\mathcal{O}}}}}}}}(1/\bar{q})\) and \(g={{{{{{{\mathcal{O}}}}}}}}(\bar{q})\) from (35), we have \(g\Delta t={{{{{{{\mathcal{O}}}}}}}}(1)\); therefore, by choosing \(\ell=\log (| \Lambda | t/\epsilon )\), we ensure that the error (43) is <ϵ.
We now have all the ingredients to estimate the gate complexity. From the estimation (39), each unitary operator \({U}_{j,{B}_{s}}\) was implemented with a gate complexity of
where we use \(\Delta t\bar{q}={{{{{{{\mathcal{O}}}}}}}}(1)\). The number of the unitary operators of \({U}_{j,{B}_{s}}\) is proportional to
Therefore, by combining the estimations of (44) and (45), the gate complexity implements \({\{{U}_{j,{B}_{s}}\}}_{j,s}\) is given by
where we use \(\Delta t={{{{{{{\mathcal{O}}}}}}}}(1/\bar{q})\) and \(| {B}_{s}|={{{{{{{\mathcal{O}}}}}}}}({\ell }^{D})\). We obtained the same estimation when implementing \({\{{U}_{j,{B}_{s,s+1}}\}}_{j,s}\). Therefore, we obtain the desired gate complexity to implement the unitary operator UΛ(0 → t).
Data availability
Data sharing does not apply to this paper, as no datasets were generated or analyzed during the current study.
References
Lieb, E. H. & Robinson, D. W. The finite group velocity of quantum spin systems. Commun. Math. Phy. 28, 251 (1972).
Cheneau, M. et al. Light-cone-like spreading of correlations in a quantum many-body system. Nature 481, 484 (2012).
Richerme, P. et al. Non-local propagation of correlations in quantum systems with long-range interactions. Nature 511, 198 (2014).
Jurcevic, P. et al. Quasiparticle engineering and entanglement propagation in a quantum many-body system. Nature 511, 202 (2014).
Hastings, M. B. An area law for one-dimensional quantum systems. J. Stat. Mech.: Theor. Exp. 2007, P08024 (2007).
Van Acoleyen, K., Mariën, M. & Verstraete, F. Entanglement rates and area laws. Phys. Rev. Lett. 111, 170501 (2013).
Hastings, M. B. & Wen, X.-G. Quasiadiabatic continuation of quantum states: the stability of topological ground-state degeneracy and emergent gauge invariance. Phys. Rev. B 72, 045141 (2005).
Iyoda, E., Kaneko, K. & Sagawa, T. Fluctuation theorem for many-body pure quantum states. Phys. Rev. Lett. 119, 100601 (2017).
Hastings, M. B. & Koma, T. Spectral gap and exponential decay of correlations. Commun. Math. Phy. 265, 781 (2006).
Nachtergaele, B. & Sims, R. Lieb-robinson bounds and the exponential clustering theorem. Commun. Math. Phy. 265, 119 (2006).
Kuwahara, T. & Saito, K. Exponential clustering of bipartite quantum entanglement at arbitrary temperatures. Phys. Rev. X 12, 021022 (2022).
Osborne, T. J. Efficient approximation of the dynamics of one-dimensional quantum spin systems. Phys. Rev. Lett. 97, 157202 (2006).
Alhambra, A. M. & Cirac, J. I. Locally accurate tensor networks for thermal states and time evolution. PRX Quantum 2, 040331 (2021).
Haah, J., Hastings, M., Kothari, R. & Low, G. H. Quantum algorithm for simulating real time evolution of lattice Hamiltonians. In Proc. IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS), 350–360 ((IEEE, 2018) https://doi.org/10.1109/FOCS.2018.00041.
Anshu, A., Arunachalam, S., Kuwahara, T. & Soleimanifar, M. Sample-efficient learning of interacting quantum systems. Nat. Phy. 17, 931 (2021).
Roberts, D. A. & Swingle, B. Lieb-robinson bound and the butterfly effect in quantum field theories. Phys. Rev. Lett. 117, 091602 (2016).
Eisert, J., van den Worm, M., Manmana, S. R. & Kastner, M. Breakdown of quasilocality in long-range quantum lattice models. Phys. Rev. Lett. 111, 260401 (2013).
Foss-Feig, M., Gong, Z.-X., Clark, C. W. & Gorshkov, A. V. Nearly linear light cones in long-range interacting quantum systems. Phys. Rev. Lett. 114, 157201 (2015).
Chen, C.-F. & Lucas, A. Finite speed of quantum scrambling with long range interactions. Phys. Rev. Lett. 123, 250605 (2019).
Kuwahara, T. & Saito, K. Strictly linear light cones in long-range interacting systems of arbitrary dimensions. Phys. Rev. X 10, 031010 (2020).
Tran, M. C., Guo, A. Y., Deshpande, A., Lucas, A. & Gorshkov, A. V. Optimal state transfer and entanglement generation in power-law interacting systems. Phys. Rev. X 11, 031016 (2021).
Kuwahara, T. & Saito, K. Absence of fast scrambling in thermodynamically stable long-range interacting systems. Phys. Rev. Lett. 126, 030604 (2021).
Tran, M. C. et al. Lieb-robinson light gone for power-law interactions. Phys. Rev. Lett. 127, 160401 (2021).
Chen, C.-F. & Lucas, A. Optimal frobenius light cone in spin chains with power-law interactions. Phys. Rev. A 104, 062420 (2021).
Bravyi, S., Hastings, M. B. & Verstraete, F. Lieb-robinson bounds and the generation of correlations and topological quantum order. Phys. Rev. Lett. 97, 050401 (2006).
Cramer, M., Serafini, A. & Eisert, J. Locality of dynamics in general harmonic quantum systems. arXiv https://doi.org/10.48550/arXiv.0803.0890 (2008).
Nachtergaele, B., Raz, H., Schlein, B. & Sims, R. Lieb-robinson bounds for harmonic and anharmonic lattice systems. Commun. Math. Phy. 286, 1073 (2009).
Eisert, J. & Gross, D. Supersonic quantum communication. Phys. Rev. Lett. 102, 240501 (2009).
Jünemann, J., Cadarso, A., Pérez-García, D., Bermudez, A. & García-Ripoll, J. J. Lieb-robinson bounds for spin-boson lattice models and trapped Ions. Phys. Rev. Lett. 111, 230404 (2013).
Woods, M. P., Cramer, M. & Plenio, M. B. Simulating bosonic baths with error bars. Phys. Rev. Lett. 115, 130401 (2015).
Tong, Y., Albert, V. V., McClean, J. R., Preskill, J. & Su, Y. Provably accurate simulation of gauge theories and bosonic systems. Quantum 6, 816 (2022).
Childs, A. M., Gosset, D. & Webb, Z. Universal computation by multiparticle quantum walk. Science 339, 791 (2013).
Gross, C. & Bloch, I. Quantum simulations with ultracold atoms in optical lattices. Science 357, 995 (2017).
Yang, B. et al. Observation of gauge invariance in a 71-site bose–hubbard quantum simulator. Nature 587, 392 (2020).
Altman, E. et al. Quantum simulators: architectures and opportunities. PRX Quantum 2, 017003 (2021).
Ebadi, S. et al. Quantum phases of matter on a 256-atom programmable quantum simulator. Nature 595, 227 (2021).
Kollath, C., Läuchli, A. M. & Altman, E. Quench dynamics and nonequilibrium phase diagram of the bose-hubbard Model. Phys. Rev. Lett. 98, 180601 (2007).
Läuchli, A. M. & Kollath, C. Spreading of correlations and entanglement after a quench in the one-dimensional Bose–Hubbard model. J. Stat. Mech. Theor. Exp. 2008, P05018 (2008).
Cramer, M., Dawson, C. M., Eisert, J. & Osborne, T. J. Exact relaxation in a class of nonequilibrium quantum lattice systems. Phys. Rev. Lett. 100, 030602 (2008).
Cramer, M., Flesch, A., McCulloch, I. P., Schollwöck, U. & Eisert, J. Exploring local quantum many-body relaxation by atoms in optical superlattices. Phys. Rev. Lett. 101, 063001 (2008).
Barmettler, P., Poletti, D., Cheneau, M. & Kollath, C. Propagation front of correlations in an interacting bose gas. Phys. Rev. A 85, 053625 (2012).
Carleo, G., Becca, F., Sanchez-Palencia, L., Sorella, S. & Fabrizio, M. Light-cone effect and supersonic correlations in one- and two-dimensional bosonic superfluids. Phys. Rev. A 89, 031602 (2014).
Bakr, W. S. et al. Probing the superfluid–to–mott insulator transition at the single-atom level. Science 329, 547 (2010).
Baier, S. et al. Extended bose-hubbard models with ultracold magnetic atoms. Science 352, 201 (2016).
Schuch, N., Harrison, S. K., Osborne, T. J. & Eisert, J. Information propagation for interacting-particle systems. Phys. Rev. A 84, 032309 (2011).
Faupin, J., Lemm, M. & Sigal, I. M. Maximal speed for macroscopic particle bransport in the bose-hubbard model. Phys. Rev. Lett. 128, 150602 (2022).
Wang, Z. & Hazzard, K. R. Tightening the lieb-robinson bound in locally interacting systems. PRX Quantum 1, 010303 (2020).
Kuwahara, T. & Saito, K. Lieb-robinson bound and almost-linear light one in interacting boson systems. Phys. Rev. Lett. 127, 070403 (2021).
Yin, C. & Lucas, A. Finite speed of quantum information in models of interacting bosons at finite density. Phys. Rev. X 12, 021039 (2022).
Faupin, J., Lemm, M. & Sigal, I. M. On lieb–robinson bounds for the bose–hubbard model. Commun. Math. Phy. 394, 1011–1037 (2022).
Berry, D. W., Childs, A. M., Cleve, R., Kothari, R. & Somma, R. D. Exponential improvement in precision for simulating sparse Hamiltonians. Forum Math. 5, e8 (2017)
Vu, T. V., Kuwahara, T. & Saito, K. Optimal form of light cones for bosonic transport in long-range system. arXiv https://doi.org/10.48550/arXiv.2307.01059 (2023).
Kuwahara, T. Exponential bound on information spreading induced by quantum many-body dynamics with long-range interactions. New J. Phy. 18, 053034 (2016).
Maskara, N. et al. Complexity phase diagram for interacting and long-range bosonic hamiltonians. Phys. Rev. Lett. 129, 150604 (2022).
Berry, D. W., Ahokas, G., Cleve, R. & Sanders, B. C. Efficient quantum algorithms for simulating sparse hamiltonians. Commun. Math. Phy. 270, 359 (2007).
Acknowledgements
T.K. acknowledges Hakubi projects of RIKEN and was supported by Japan Society for the Promotion of Science KAKENHI (Grant No. 18K13475) and Japan Science and Technology Agency Precursory Research for Embryonic Science and Technology (Grant No. JPMJPR2116). K. S. was supported by JSPS Grants-in-Aid for Scientific Research (No. JP19H05603, No. JP19H05791 and No. JP23H01099).
Author information
Authors and Affiliations
Contributions
T.K., T.V.V., and K.S. contributed to the conception of the work, the analysis and interpretation, and the preparation and revision of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Peer review
Peer review information
Nature Communications thanks the anonymous reviewer(s) for their contribution to the peer review of this work. A peer review file is available.
Additional information
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kuwahara, T., Vu, T.V. & Saito, K. Effective light cone and digital quantum simulation of interacting bosons. Nat Commun 15, 2520 (2024). https://doi.org/10.1038/s41467-024-46501-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41467-024-46501-7
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.