A qubit regularization of the $O(3)$ sigma model
Hersh Singh, Shailesh Chandrasekharan

TL;DR
This paper introduces a qubit-based Hamiltonian model for the $O(3)$ sigma model in 2D and 3D, demonstrating that it reproduces known critical behaviors and universality classes of classical lattice models.
Contribution
The authors develop a qubit regularization of the $O(3)$ sigma model that captures its critical phenomena and universality classes in different spatial dimensions.
Findings
In 2D, the model exhibits a quantum critical point with scale-invariant physics similar to the Wilson-Fisher fixed point.
In 3D, the model shows mean-field critical exponents at the quantum critical point.
Modifications allow studying $O(2)$ and $Z_2$ symmetries near their critical points.
Abstract
We construct a qubit regularization of the non-linear sigma model in two and three spatial dimensions using a quantum Hamiltonian with two qubits per lattice site. Using a worldline formulation and worm algorithms, we show that in two spatial dimensions our model has a quantum critical point where the well-known scale-invariant physics of the three-dimensional Wilson-Fisher fixed point is reproduced. In three spatial dimensions, we recover mean-field critical exponents at a similar quantum critical point. These results show that our qubit Hamiltonian is in the same universality class as the traditional classical lattice model close to the critical points. Simple modifications to our model also allow us to study the physics of traditional lattice models with and symmetries close to the corresponding critical points.
Click any figure to enlarge with its caption.
Figure 1
Figure 2
Figure 3
Figure 4
Figure 5
Figure 6
Figure 7
Figure 8
Figure 9
Figure 10
Figure 11
Figure 12
Figure 13
Figure 14
Figure 15
Figure 16
Figure 17| Fit | Literature | |||||||
| Model | or | |||||||
| (H) | 2 | |||||||
| (R) | 2 | |||||||
| (H) | 3 | |||||||
| (R) | 3 | |||||||
| (H) | 2 | |||||||
| (R) | 2 | |||||||
| (H) | 3 | |||||||
| (R) | 3 | |||||||
| (H) | 2 | |||||||
| (R) | 2 | |||||||
| (H) | 3 | |||||||
| (R) | 3 | |||||||
| Model | ||||||||
| 1 | ||||||||
| 1 | ||||||||
| 1 | ||||||||
| 1 | ||||||||
| 1 | ||||||||
| 1 | ||||||||
| 1 | ||||||||
| 1 | ||||||||
| 1 | – | – | – | |||||
| – | – | |||||||
| 1 | – | – | – | |||||
| – | – | |||||||
| 1 | – | – | – | |||||
| – | – | |||||||
| 1 | – | – | – | |||||
| – | – | |||||||
| 1 | 2 | 0.50 | 0.30 | 1.0 | ||
| 1 | 4 | 0.50 | 0.30 | 1.0 | ||
| 1 | 6 | 0.50 | 0.30 | 1.0 | ||
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
A qubit regularization of the sigma model
Hersh Singh and Shailesh Chandrasekharan
Department of Physics, Box 90305, Duke University, Durham, NC 27708, USA
Abstract
We construct a qubit regularization of the non-linear sigma model in two and three spatial dimensions using a quantum Hamiltonian with two qubits per lattice site. Using a worldline formulation and worm algorithms, we show that in two spatial dimensions our model has a quantum critical point where the well-known scale-invariant physics of the three-dimensional Wilson-Fisher fixed point is reproduced. In three spatial dimensions, we recover mean-field critical exponents at a similar quantum critical point. These results show that our qubit Hamiltonian is in the same universality class as the traditional classical lattice model close to the critical points. Simple modifications to our model also allow us to study the physics of traditional lattice models with and symmetries close to the corresponding critical points.
pacs:
71.10.Fd,02.70.Ss,11.30.Rd,05.30.Rt
I Introduction
Quantitative understanding of quantum field theories pose unique computational challenges that we must overcome to be able to truly understand nature at a fundamental level Troyer and Wiese (2005); Susskind (2016). Currently, our understanding of these quantum many body theories is mainly obtained from perturbation theory. In a few cases when sign problems can be solved, quantum Monte Carlo methods can be used to compute equilibrium thermal averages and static ground state properties. However, in the vast number of cases involving non-equilibrium processes and in particular when theories are strongly coupled the available computational approaches are severely limited. One particularly promising approach to overcome this computational bottleneck is quantum computation Nielsen and Chuang (2000). Universal quantum computers with tens of qubits already exist and it is likely that more advanced ones will begin to appear over the next decade. Anticipating this possibility, the field has exploded in recent years with new ideas and algorithms for using quantum computers to understand quantum many body systems and quantum field theories Jordan et al. (2012, 2011); Casanova et al. (2011, 2012); O’Malley et al. (2016); Kandala et al. (2017); Macridin et al. (2018); Roggero and Carlson (2018). Simple one dimensional quantum field theories are currently being studied extensively Zohar et al. (2016); Pichler et al. (2016); Martinez et al. (2016); Bañuls et al. (2017); Klco et al. (2018); Kaplan and Stryker (2018); Frank et al. (2019).
To study a quantum field theory using a quantum computer, in addition to the lattice regularization we need to formulate the theory with a local finite dimensional Hilbert space that can be represented with qubits. We will refer to this as the qubit regularization of a quantum field theory. In the traditional lattice regularization, local bosonic field operators satisfy the canonical commutation relations of the form , which can only be realized with infinite dimensional representations. For this reason traditional scalar and gauge field theories are naturally formulated with lattice models that have infinite dimensional Hilbert space at every lattice site. Even the anti-commutation relations of fermionic field operators require special ideas to formulate using qubits Bravyi and Kitaev (2002); Havlíček et al. (2017). We can define the qubit regularization of a quantum field theory as the construction of a quantum lattice Hamiltonian operator that acts on a finite dimensional Hilbert space at every spatial lattice site but reproduces the same physics as the traditional lattice regularized quantum field theory in the continuum limit. Like with traditional lattice regularization, continuum limits with qubit regularization also arise in the vicinity of quantum critical points. However, these critical points can be located in a region of parameter space which is not easily accessible in perturbation theory. In particular even Gaussian fixed points can require non-perturbative calculations. For this reason qubit regularizations have remained largely unexplored for many field theories.
An example of qubit regularization of quantum field theories is the D-theory approach Wiese (2006). In this approach we construct a dimensional quantum lattice Hamiltonian with a finite dimensional Hilbert space per lattice site. The extra dimension has a finite extent and is used as a coupling constant for the lower dimensional theory. At length scales much larger than the extent of the extra dimension, one obtains an effective dimensional quantum Hamiltonian (due to dimensional reduction) which acts as the qubit regularization of the original quantum field theory. Thus, the claim of the D-theory approach is that a dimensional quantum lattice Hamiltonian can provide the qubit regularization of a traditional dimensional lattice regularized quantum field theory. The extent in the extra dimension helps in creating the necessary Hilbert space of the problem at each dimensional spatial lattice site, while at the same time plays the role of a coupling of the theory. Asymptotically free two dimensional models have been formulated using this procedure more than a decade ago Ref. Beard et al. (2005) and proposals for formulating lattice gauge theories and QCD appear even earlier Chandrasekharan and Wiese (1997); Brower et al. (2004).
The goal of this work is to provide another concrete example of a qubit regularization in the context of the sigma model in two and three spatial dimensions. Using this example we wish to show that sometimes a qubit regularization of a traditional dimensional lattice regularized quantum field theory is possible by constructing a dimensional lattice quantum Hamiltonian with a finite number of qubits per lattice site. In other words the dimensional reduction of the D-theory approach may not be necessary. By simply preserving the important symmetries the relevant continuum quantum field theory may emerge at an appropriate quantum critical point due to Wilson’s renormalization group ideas. This approach is often used in condensed matter physics to argue that a particular dimensional quantum field theory naturally describes the long distance properties of a dimensional material. It was also recently advocated in Alexandru et al. (2019). In our work, using quantum Monte Carlo methods, we show explicitly that our qubit Hamiltonian reproduces the critical scaling of the Wilson Fisher fixed point and the Gaussian fixed point in two and three spatial dimensions respectively. We also show that simple modifications of our qubit Hamiltonian allows us to obtain the critical scaling of similar fixed points with and symmetries.
Another outcome of qubit regularizations is that they can lead to new ways of formulating Euclidean lattice field theories, especially within the worldline approach Chandrasekharan (2008). In our work we show that the physics of the qubit regularized model can be viewed from the perspective of the Hamiltonian formulation in continuous time or a relativistic lattice formulation in discrete time. Both view points reproduce the expected scaling at the critical points. However, the relativistic limit leads to a much simpler worldline approach than the traditional lattice regularized models. In other words our relativistic models are simplified versions of the dual formulations of models constructed recently Wolff (2010); Bruckmann et al. (2015, 2016); Gattringer et al. (2018). A similar simplified relativistic model with symmetry was studied in Banerjee et al. (2019). Such models have also been constructed to study condensed matter phenomena Kaul (2015).
This paper is organized as follows. In Section II, we construct our qubit Hamiltonian for the model and show how to construct its worldline formulation using path integrals in Section III. We distinguish between the Hamiltonian limit and the relativistic limit. In Section IV, we briefly sketch the worm algorithm and discuss the observables we measure. Then in Section V we present our results and discuss our conclusions in Section VI.
II The Qubit Model
Our goal is to construct the qubit regularization for the continuum quantum field theories that emerge from the traditional lattice regularized classical non-linear sigma model, whose action is given by
[TABLE]
where and are nearest neighbor sites on a Euclidean lattice site in space-time dimensions and is a classical unit -vector associated to that site. Continuum limits of lattice field theories emerge at second order critical points of the lattice model. In this case, Eq. 1 has one such critical point separating the broken phase from a symmetric phase in both and . In , we obtain a conformal field theory governed by the Wilson-Fisher fixed point and in , we obtain the physics of the Gaussian fixed point (free field theory). In this work, we reproduce the physics close to these two fixed points using a -dimensional quantum Hamiltonian with two qubits per lattice site. We first construct a quantum Hamiltonian with a global symmetry and later extend our model to an or a model.
Our model is defined on a regular dimensional periodic spatial lattice with sites in each direction. At each spatial site , we have a singlet state and three triplet states (), which form the four orthonormal basis states of two qubits. The singlet acts as the Fock vacuum while the triplets carry the charge. The Hamiltonian of our model is defined as a sum of two terms,
[TABLE]
where is a sum over single-site operators and is a sum over nearest-neighbor operators. The first term is given by
[TABLE]
where is a coupling, is a projection operator onto the triplet states on the site ,
[TABLE]
and is the -charge operator given by
[TABLE]
with the chemical potential. For , the states are enhanced and the states are suppressed. The second term in the Hamiltonian is
[TABLE]
where and are couplings, and and are bond operators on the link connecting the nearest neighbor sites and . These bond operators act on a -dimensional state space with the basis vectors , , . The term is the hopping part of the Hamiltonian and is given by
[TABLE]
while denotes the pair creation/annihilation events and takes the form
[TABLE]
For convenience, we choose in this work, although this restriction is not necessary to preserve the symmetries of interest.
When , our model Eq. 2 has a global symmetry under which all qubits in the model transform as a spin-half state. Under these transformations, is invariant by definition and the triplet states () transform as the spin- representation of ,
[TABLE]
where are the rotation matrices in the basis which diagonalizes the the generator of rotations around the axis. This makes all three terms , and invariant. The chemical potential breaks the symmetry, but we can use it to measure the mass of the particles if needed. In this work, we set .
It is straightforward to extend the our model to obtain qubit regularizations of and quantum field theories in two and three dimensions. Consider, for example, adding the on-site term
[TABLE]
to the Hamiltonian in Eq. 2. When , the states are forbidden from the theory and the qubit model is only invariant under the subgroup,
[TABLE]
and transformations . Thus the symmetry group of our model is reduced to , and it should naturally provide a qubit regularization of the sigma model. On the other hand, when , the states are forbidden and only the states are allowed. In this case, we get a model which is invariant under the transformation . We then obtain a qubit regularization of the real scalar field theory.
The phase structure of our qubit regularized model in Eq. 2 can easily be understood in terms of the dimensionless coupling (see Fig. 2). When , the lattice Hamiltonian is in a symmetric massive phase since the states are suppressed and the singlet states dominate. On the other hand when , every space-time lattice site contains a triplet state , and this most likely leads to spontaneous symmetry breaking. Assuming there is a second order quantum critical point at some intermediate coupling , according to Wilson’s renormalization group ideas, the continuum quantum field theory that emerges close to on either side would be the same as that of the traditional lattice model (1). For example, if we focus on the theory for , we obtain the symmetric massive phase of the sigma model where we can use the mass scale to set the lattice spacing. In dimensions, this theory will be free up to logarithmic corrections, while in dimensions, the scaling of the theory will be described by the Wilson-Fisher fixed point. These arguments extend to and cases as well. In this work, we show explicitly, using Monte Carlo calculations, that the scaling properties of the traditional model are reproduced by our qubit regularized model.
III Worldline formulation
In order to show that our qubit regularization reproduces the same physics as the traditional lattice regularization near the critical point, we compute observables within our qubit model using Monte Carlo methods and study their scaling properties near the critical point. We do this using the worldline approach and ideas of worm algorithms for updating the configurations Chandrasekharan and Jiang (2006); Cecile and Chandrasekharan (2008a); Singh and Chandrasekharan (2019). The partition function of our model can be expanded as
[TABLE]
where we treat as a free term and as a perturbation. However, the integer , which labels the number of insertions of terms, is allowed to take any value and hence the above expansion is not an approximation. Inserting the expression for as a sum over nearest neighbor bond operators (either or ), we can rewrite the above expression as sum over bond configurations at times given by
[TABLE]
We can evaluate the trace in the singlet-triplet basis by inserting a complete set of states after every insertion of the bond operator which can have non-zero off diagonal matrix elements. This then leads to a worldline configuration depicting the motion of type particles in a Fock vacuum ( type sites).
For convenience, we also discretize time into equal parts with temporal extent (that is, ) and map the worldline configuration onto a space-time lattice. The partition function then takes the form
[TABLE]
where the sum is over all lattice worldline configurations with at each lattice site and are weights associated with all space-time bonds . The configuration is composed of vacuum sites (no particles) and sites where one particle of type is moving. Figure 3 is an illustration of a worldline configuration in dimensions. Particle world lines are shown with lines on the bonds connecting lattice sites and vacuum sites are depicted as sites with filled circles. Each particle worldline is a loop, that may be oriented (depicting type particles) or unoriented (depicting type particles). A temporal bond that contains a () particle worldline moving through it is depicted by an arrow pointing in the positive (negative) time direction. The weights can be computed by looking at the configuration on the bond . If the bond is empty, then , otherwise the weight depends on whether the bond is along a spatial direction or a temporal direction. For convenience, we define three weights
[TABLE]
If the bond contains a particle worldline along the spatial direction then , but if it is along the temporal direction then . The latter term also depends on the charge of the particle on the temporal bond.
In the qubit regularization that we are propose here, rotational symmetry between space and time is not always guaranteed. Thus, it is usually difficult to understand how one can recover a continuum relativistic quantum field theory in this approach. Here we rely on the fact that close to quantum critical points the long distance theory may flow to a quantum field theory that is naturally relativistically invariant. Fortunately, in our worldline formulation it is easy to see that relativistic invariance is indeed recovered. If we set , our worldline formulation becomes invariant under space-time lattice rotations. Thus, by setting and , we are guaranteed that the quantum critical point obtained by tuning will be relativistically invariant. We will refer to this as the ‘relativistic limit’ of our qubit regularized lattice field theory. This is in contrast to the ‘Hamiltonian limit’ which is obtained in the time continuum limit and by tuning to locate the critical point.
From the perspective of implementing a qubit formulation of quantum field theories on a quantum computer, we are more interested in the Hamiltonian limit. As stated above, in this limit there is no symmetry between space and time and it becomes difficult to argue that we will recover relativistic invariance near the quantum critical point. However, given that our model has a quantum critical point in the relativistic limit, it very likely that this critical point survives in the Hamiltonian limit. We can, in principle, formulate an algorithm directly in the time continuum limit () and compute quantities as a function of . However, in this work, we choose for convenience, and refer to the results as the Hamiltonian limit.
IV Worm Algorithm
A worm algorithm to update our worldline configurations , described in Section III, can easily be constructed by extending ideas developed previously for similar worldline models Chandrasekharan and Jiang (2006); Cecile and Chandrasekharan (2008a); Singh and Chandrasekharan (2019). The basic idea is to sample the worldline configurations along with configurations with two defects in the form of one creation operator and one annihilation operator . These configurations with defects are referred to as worm configurations (illustrated in Fig. 3). The location of the creation (annihilation) operator is regarded as the tail (head) of the worm. Although the defect configurations are different from the configurations that contribute to the partition function, the rules to compute their weights are the same. In particular, the defects do not carry any new weights.
Since the construction of worm algorithms is well established by now, we simply sketch the main ideas here. The algorithm begins with creating a head and a tail on the same site or nearest neighbor sites and propagating the head locally around the lattice until it reaches the tail and can be removed. Each of the local moves satisfies detailed balance. For efficiency, the local moves are designed not to retrace the steps backwards, if possible while maintaining detailed balance, so that the worm can explore new regions of the parameter space faster. Figure 4 shows a local worm configuration in the center and exhibits the four possible types of local moves for the worm head on a two-dimensional spacetime lattice. In general there will be local moves that are proposed and accepted according to detailed balance. In the example shown, the worm head can move to one of four labelled positions . We choose one of these four directions for the worm head to move randomly. The simplest case is towards site : we simply propose to create a bond in that direction by removing the monomer on site and moving the worm head there. If the direction is towards site , we propose to delete the bond , create a monomer on site and move the worm head back to position . On the other hand, if the worm head decides to move towards position , we propose to create a bond , and delete the bond , moving the worm head to position . This is a two site move for the worm head because we do not allow configurations with more than one two bonds at each site. Finally, the site contains the worm tail. So, if the direction chosen is towards site , we propose to close the worm by creating the bond , thereby transforming the worm configuration transforms into a regular worldline configuration. If this proposal is accepted according to detailed balance the worm update ends. Note each of the four local steps can be retraced and hence the probabilities that satisfy detailed balance can be worked out,
In our qubit models we have both oriented and unoriented loops. Although the illustration above involved the worm head and the worm tail to be on an oriented loop, a similar strategy can be adapted for the unoriented loop. The move towards then leads to two possible moves for the head. We have constructed worm algorithms that update each of the sectors separately. In other words, while the oriented loops are being updated the unoriented loops are frozen and vice versa. We then also add a simple metropolis update which flips between the two types of loops. This loop-flip update then makes the entire algorithm ergodic. In the case in fact we do not even perform the worm update on the unoriented loops, but combine the worm algorithm on the oriented loops with a loop-flip update. In the () case there are no unoriented (oriented) loops and hence there is no need to perform the loop-flip update.
Using the above worm algorithm we can compute three observables as discussed below.
The first observable is the average density of vacuum sites which we define as
[TABLE]
Given a configuration this quantity can easily be computed by computing the sites with vacuum sites on them. 2. 2.
The second observable is the average charge defined as
[TABLE]
In each worldline configuration the charge is a conserved quantity and does not change in time and can be easily computed. When , we expect due to the symmetry. However, as increases will increase and cross at a critical coupling . In the massive phase when this critical coupling gives the mass of the particles. This technique to computing the mass has also been used with traditional formulations Bruckmann et al. (2016). 3. 3.
The second observable is the current-current susceptibility (which is related to the superfluid density) defined through the conserved current. One can compute it using the conserved charge along one of the spatial directions for every worldline configuration , using the formula
[TABLE]
where the average is computed in the worldline formulation. 4. 4.
Our final observable is the susceptibility of the two point correlation function involving the creation and annihilation of particles. This is given by
[TABLE]
Computing is straight forward in our worm algorithm since the during the worm update we naturally sample configurations with a creation and annihilation event (see Fig. 3).
In the next section we discuss our results for the three observables close to the critical point separating the symmetric phase from the broken phase in both and , for the , and cases.
V Results
We study our qubit model in both the Relativistic and Hamiltonian limits in and to show that we reproduce the results expected from traditional models near the quantum critical points. We measure the current-current susceptibility and the susceptibility of the two-point correlation function , defined in Section IV. For the relativistic limit, we tune the coupling close to the critical value . Near this quantum critical point, in scaling regime we expect the observables to behave as
[TABLE]
where and are universal functions, and and are the critical exponents. Here we neglect corrections to scaling for simplicity and make sure our data fits to this expected form. We can extract the critical exponents and the critical coupling by approximating and as fourth order polynomials (including ) and performing a simultaneous fit of and to the above expression, allowing the critical exponents , the critical coupling and the coefficients of polynomial expansion of and to vary. For the Hamiltonian limit, we similarly tune the coupling (keeping fixed) to its critical value , so we expect
[TABLE]
near the critical point. Even though the functions and are universal, unfortunately it is difficult to compare the ones obtained from the relativistic limit to the Hamiltonian limit because the functions also depend on the aspect ratio of the lattice. A complete listing of our results for the fits in various models in in both the relativistic and Hamiltonian limits is given in Table 1.
V.1 Results for the model
The results for the model in both and are shown in Fig. 5. In , the main result to show is that we can reproduce the physics of the Wilson-Fisher fixed point. The critical exponents , for the are well known critical exponents and have been computed in the literature using the traditional model Pelissetto and Vicari (2002). If we assume that and are given by a fourth order polynomials, we find that we can fit our data for both and to Eq. 21 very well, as is shown by the first row of Fig. 5 for the relativistic limit.
We repeat the above analysis in the Hamiltonian limit by fixing and varying . In order to mimic cubical boxes we choose , which means the number of temporal lattice sites now are ten times larger. This makes these computations more time consuming. We again get excellent fits as shown in the second row of Fig. 5. These results provide strong evidence that the Wilson-Fisher fixed point of the scalar field theory can be obtained very well using our four qubit quantum Hamiltonian.
In dimensions, the scalar field theory is free up to logarithmic corrections. We thus expect our model to reproduce the mean-field critical exponents. We show that the results are indeed consistent with the mean-field predictions, as shown in the bottom two rows of Fig. 5 for the relativistic and Hamiltonian limits.
V.2 Extension to and
models
As described in earlier in Section II, we can modify the model to get and models as well. This means we should be able to recover the XY critical exponents in for the model and the Ising critical exponents in for the model.
The critical exponents for the universality are known from Monte Carlo studies to be and Campostrini et al. (2006). Figure 6 shows our results for the qubit model in spatial dimensions, for the relativistic limit and the Hamiltonian limit (with ). The extracted critical exponents are in good agreement with the literature. On the other hand, the bottom two rows show the results in , where we find the critical exponents to be consistent with the mean-field predictions of and .
For the model, we show our results in Fig. 7. Since there is no analog of in this case, we only show the plots for the susceptibility (defined for with ). After tuning the coupling close to the critical point, we perform a single fit of to the form
[TABLE]
where in the relativistic limit and for the Hamiltonian limit. The most precise estimates for the Ising critical exponents in come from conformal bootstrap Kos et al. (2016), which gives 0.629,971(4) and $\eta=$0.036\,298(2) in . Once again, we find our results to be consistent with these in both the relativistic and the Hamiltonian limits, as shown in the top row of Fig. 7. The bottom row of that figure shows our results for , which are consistent with the mean-field predictions.
V.3 Monomer density
We have also measured the monomer density , as described in Section IV. Its value at the critical point, extracted from an extrapolation of our data on the largest lattice sizes, are shown in the last column of Table 1. In the limit the monomer density is the probability of a space-time site to be in the trivial Fock vacuum state. If we write the ground state of our qubit model as
[TABLE]
where and are the kets of the universe without the site , then
[TABLE]
We see that it is a measure of how perturbative the ground state is. When is close to the theory becomes more and more perturbative. Since the qubit models are described by free field theories close to the critical point, the observed values for the monomer density are seen to be much closer to than which is known to be less perturbative.
VI Conclusions
In this work, we have defined the concept of qubit regularization of quantum field theories and have argued that this is an important step in studying quantum field theories on a quantum computer. Using the example of the sigma model in and , we have argued that qubit regularized models can reproduce the same physics as the traditional lattice regularized quantum field theories in the continuum limits. In particular, we showed that the scaling of the Wilson-Fisher fixed points and the Gaussian fixed points are reproduced accurately from the qubit regularized model involving only two qubits on each lattice site. We were also able to demonstrate that qubit regularizations constructed for and quantum field theories, by suitably modifying the model, can also reproduce the correct critical exponents.
In our work, we did not consider if our qubit regularization reproduces the physics of the traditional lattice regularized model in Eq. 1 for . This problem has been studied recently using the tensor networks within a different qubit regularization scheme Bruckmann et al. (2019). Based on those results one might conclude that our two qubit model will not lead to a viable qubit regularization. However, we believe the case of dimensions is more subtle. While the traditional model has a critical point at where the asymptotically free quantum field theory emerges, it may be naive to expect that something similar would happen with all qubit regularizations. Since the symmetry would prevent the superfluid phase to form due to the Mermin-Wagner theorem, there is of course a possibility that there is no critical point in the theory constructed with two qubits, as found in Bruckmann et al. (2019). On the other hand in our qubit model, we can guarantee the existence of a critical point at least at like in the traditional model. This is due to the emergence of a new symmetry present in all loop models on bi-partite lattices. Previous work shows that our loop model will be in the critical Kosterlitz-Thouless phase. Cecile and Chandrasekharan (2008b). So our qubit model seems to be different from what was studied earlier. In fact, the issue that makes things more subtle for us is that we cannot rule out a topological phase transition to an symmetric Kosterlitz-Thouless phase even at a finite value of . If this occurs, there could be new fixed point that emerges at in our qubit regularized model. At this critical point we may either obtain the usual asymptotically free quantum field theory or something more exotic. To sort this out, we postpone the study to a future publication.
Acknowledgments
We thank Ribhu Kaul and Uwe-Jens Wiese for helpful conversations. We also thank Tanmoy Bhattacharya, Rajan Gupta and Rolando Somma for helpful discussions and critical feedback during the project. The material presented here is funded in part by a Duke subcontract from Department of Energy (DOE) Office of Science - High Energy Physics Contract #89233218CNA000001 to Los Alamos National Laboratory and by U.S. Department of Energy, Office of Science, Nuclear Physics program under award Number DE-FG02-05ER41368.
Appendix A Tests of the Algorithm
We test our Monte Carlo algorithm in various ways. First, we compute the four observables discussed in the text exactly starting from the definition of the lattice partition function Eq. 14 on a lattice by enumerating all possible configurations. For the model, the partition function is given by
[TABLE]
where the weights , and are defined in Eq. 15. Since this is the model, the above expression includes terms from both oriented and unoriented loops. We can write down a similar expression for the or model by omitting unoriented or oriented loops, respectively. In Table 2, we show a comparison between the exact results and those obtained using our Monte Carlo method for all three (, and ) models.
We also check that our formulation reproduces the qubit Hamiltonian in the limit by explicitly diagonalizing the Hamiltonian and computing the charge and the monomer density in one spatial dimensions on small lattices. For this, we perform calculations at several finite values of and then perform a linear extrapolation to . In Table 3, we show results from this procedure compared with the exact results from an explicit diagonalization. We show an illustrative fit to the continuous time limit in Fig. 8.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1Troyer and Wiese (2005) M. Troyer and U.-J. Wiese, Phys. Rev. Lett. 94 , 170201 (2005) , ar Xiv:cond-mat/0408370 [cond-mat] . · doi ↗
- 2Susskind (2016) L. Susskind, Fortsch. Phys. 64 , 44 (2016) , [Fortsch. Phys.64,24(2016)], ar Xiv:1403.5695 [hep-th] . · doi ↗
- 3Nielsen and Chuang (2000) M. A. Nielsen and I. L. Chuang, Quantum computation and quantum information (Cambridge University Press, 2000).
- 4Jordan et al. (2012) S. P. Jordan, K. S. M. Lee, and J. Preskill, Science 336 , 1130 (2012) , ar Xiv:1111.3633 [quant-ph] . · doi ↗
- 5Jordan et al. (2011) S. P. Jordan, K. S. M. Lee, and J. Preskill, (2011), [Quant. Inf. Comput.14,1014(2014)], ar Xiv:1112.4833 [hep-th] .
- 6Casanova et al. (2011) J. Casanova, L. Lamata, I. L. Egusquiza, R. Gerritsma, C. F. Roos, J. J. Garcia-Ripoll, and E. Solano, Phys. Rev. Lett. 107 , 260501 (2011) , ar Xiv:1107.5233 [quant-ph] . · doi ↗
- 7Casanova et al. (2012) J. Casanova, A. Mezzacapo, L. Lamata, and E. Solano, Phys. Rev. Lett. 108 , 190502 (2012) , ar Xiv:1110.3730 [quant-ph] . · doi ↗
- 8O’Malley et al. (2016) P. J. J. O’Malley, R. Babbush, I. D. Kivlichan, J. Romero, J. R. Mc Clean, R. Barends, J. Kelly, P. Roushan, A. Tranter, N. Ding, B. Campbell, Y. Chen, Z. Chen, B. Chiaro, A. Dunsworth, A. G. Fowler, E. Jeffrey, E. Lucero, A. Megrant, J. Y. Mutus, M. Neeley, C. Neill, C. Quintana, D. Sank, A. Vainsencher, J. Wenner, T. C. White, P. V. Coveney, P. J. Love, H. Neven, A. Aspuru-Guzik, and J. M. Martinis, Phys. Rev. X 6 , 031007 (2016) . · doi ↗
