The DOI matches its Crossref record; the references it cites are not checked yet; none of the 19 sources its claims cite is checked for support yet.
Relativistic quantum mechanics with trapped ions
Open accessAbstract
We consider the quantum simulation of relativistic quantum mechanics, as described by the Dirac equation and classical potentials, in trapped-ion systems. We concentrate on three problems of growing complexity. Firstly, we study the bidimensional relativistic scattering of single Dirac particles by a linear potential. Secondly, we explore the case of a Dirac particle in a magnetic field and its topological properties. Finally, we analyze the problem of two Dirac particles that are coupled by a controllable and confining potential. The latter interaction may be useful to study important phenomena such as the confinement and asymptotic freedom of quarks.
Overview
AI snapshot
Written from the paper’s full text.
TL;DR
The paper proposes trapped-ion quantum simulations of relativistic quantum mechanics, covering 2+1-dimensional Dirac scattering, Dirac particles in magnetic fields, and two interacting Dirac particles as an analogue of the MIT bag model. It argues that trapped ions can controllably realize these Dirac dynamics and topological or confinement-related phenomena with current or near-term techniques.
Key findings
- For 2+1 Klein scattering with a linear potential, the problem reduces to an effective 1+1 Klein Hamiltonian for each transverse momentum \(p_y\); Klein tunneling is rapidly suppressed as \(p_y\) increases, and “already at \(p_y = 1\) almost all of the wave function gets reflected” in the reported simulation with \(h=c=\alpha=1\), \(m=0.5\).
- The 2+1 scattering shows entanglement between the transmitted/reflected wave packets in \(x\) and the transverse momentum wave packet in \(y\), allowing pair creation to be controlled by incidence angle \(p_y/p_x\).
- A Dirac particle in a uniform 2D magnetic field maps to a detuned Jaynes-Cummings model; its Landau levels have Wigner-function pseudospin textures with topological charge \(\nu=\pm n\), where \(n=0\) gives a single covering of the sphere and \(n=2\) a double covering. Pure dephasing does not modify the charge, and spontaneous emission leaves the winding on the \(\{S_x,S_y\}\) plane unaffected, though total dissipation/friction can unwrap the sphere.
- Three trapped ions with two motional modes can simulate two Dirac particles coupled by a quadratic confining potential \(V_0(x_1-x_2)^2\), an analogue of the MIT bag model; numerical simulations with \(P_{cm}=2\), \(mc^2=1\), \(V_0=0.5\) show quasifree/asymptotic-freedom-like behavior for \(p_r=0\), \(\Xi=+1\), more complex confinement-like dynamics for \(p_r=2\), \(\Xi=+1\), and larger Klein tunneling for \(p_r=2\), \(\Xi=-1\).
Methods
- Theoretical proposal and numerical simulation: Dirac bispinors are encoded in trapped-ion internal levels, while motional modes are manipulated with Jaynes-Cummings, anti-Jaynes-Cummings, and carrier interactions to realize terms \(\sigma_i p_i\) and mass terms \(mc^2\sigma_j\).
- For 2+1 Klein scattering, two trapped ions in a linear Paul trap with modes \(\nu_{cm}=\nu\) and \(\nu_{st}=\sqrt{3}\nu\) are proposed; red/blue sidebands and an ac-Stark shift implement the Hamiltonian, with motional-state measurement via mapping to internal states and fluorescence/tomography.
- For the magnetic-field case, the Dirac Hamiltonian is rewritten as a detuned Jaynes-Cummings model, and Wigner-function reconstruction is proposed using an ancillary ion measured conditionally on the spinor ion. For the two-Dirac-particle MIT-bag analogue, three ions and normal modes are used, with numerical simulations of the relative-coordinate dynamics.
Limitations
- The paper states that arbitrary 2+1 potentials \(V(x,y)\) cannot be reduced to a set of 1+1 problems, and that classical simulation then approaches computational limits; finite-difference/Fourier representations and Trotter methods introduce errors from time discretization and boundary conditions.
- For the two-Dirac-particle model, the authors state they were “severely limited by the problem size and complexity,” preventing studies such as adiabatic preparation of eigenstates, full diagonalization of the spectrum, or longer-time dynamics.
- Evident from the text: the work is a theoretical and numerical proposal, not an experimental realization; experimental feasibility is discussed for Ca\(^+\) ions and requires the Lamb-Dicke approximation, with stated parameters such as \(\eta\sim0.05\), coherence times of several ms, and coupling strengths of a few 100 kHz.
Model-written summary. Check it against the paper before relying on it.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
0 of 19 cited sources checked · 0 supported · 0 flagged
- Findingown data
The n=0 state is equivalent to a single covering of the sphere, or skyrmion, with topological charge ν=1.
“This is equivalent to a single covering of the sphere, or skyrmion, with a topological charge 8 ν = 1.”
Quote in the paperSubstantial claim - Findingown data
State n=2 performs a double covering of the sphere.
“moving on to state n = 2, which performs a double covering of the sphere.”
Quote in the paperSubstantial claim - Findingreasoning
The model can be rewritten as a simple JC model with a detuning, H = c√2(σ+ a + a† σ-) + mc^2 σ_z.
“we may rewrite the previous model as a simple JC model with a detuning, H = c mc p x + ix p x -ix -mc = c √ 2(σ + a + a † σ -) + mc 2 σ z .”
Quote in the paperSubstantial claim - Findingnone given
In the axial gauge A(x,y)=Bx, the momentum along the y-direction is a constant of motion ([p_y,H]=0).
“In this setup, the momentum along the y-direction becomes a constant of motion, [ p y , H ] = 0.”
Quote in the paperSubstantial claim - Findingreasoning
The model has a ladder of discrete energy eigenstates E ±n = ±√(2c^2 n^2 + m^2 c^4), the Landau levels.
“This model has a ladder of discrete energy eigenstates, E ±n = ± √ 2c 2 n 2 + m 2 c 4 ,(23) the so-called Landau levels.”
Quote in the paperSubstantial claim
- Findingreasoning
In the trapped-ion simulation, the Zitterbewegung frequency can be estimated as ω_ZB ≈ 2 sqrt(N η^2 Ω^2 + Ω^2).
“the Zitterbewegung frequency can be estimated in the simulation as”
Quote in the paperSubstantial claim- The authors state this as an assumption: In the trapped-ion simulation, the position of the ion can be identified with the position of the simulated Dirac particle.
- Findingreasoning
The Zitterbewegung amplitude can be estimated as R_ZB = η h^2 Ω / sqrt(4η^2 Ω^2 p_0^2 + h^2 Ω^2).
“Additionally, one can estimate the Zitterbewegung amplitude to be”
Quote in the paperSubstantial claim- The authors state this as an assumption: In the trapped-ion simulation, the position of the ion can be identified with the position of the simulated Dirac particle.
- Findingnone given
The double covering is done via an extended singularity of the angle φ at radius r=1, which is when the spin points North.
“This is done via an extended singularity of the angle φ at radius r = 1, which is when the spin points North.”
Quote in the paperSubstantial claim - Findingown data
The number of coverings increases linearly with the number of quanta, ν = ±n.
“In general, we have verified that the number of coverings increases linearly with the number of quanta, ν = ±n, leading to a family of topological defects with unprecedented richness.”
Quote in the paperSubstantial claim - Findingown data
The simulated plots show rapid suppression of Klein tunneling for increasing transverse momentum p_y.
“These plots evidence the rapid suppression of Klein tunneling for increasing p y .”
Quote in the paperSubstantial claim - Findingown data
At p_y = 1, almost all of the wave function gets reflected.
“we find that already at p y = 1 almost all of the wave function gets reflected.”
Quote in the paperSubstantial claim - Findingown data
Bidimensional relativistic scattering contains interesting novel features, such as entanglement between transmitted/reflected wave packets and the transverse momentum.
“In addition, we showed that it contains interesting novel features, such as entanglement between transmitted/reflected wave packets and the transverse momentum.”
Quote in the paperSubstantial claim - Findingnone given
The normal modes for a three-ion system with equal mass and charge are Q_cm = (x1+x2+x3)/√3, Q_r = -(x1-x3)/√2, Q_3 = (x1-2x2+x3)/√6.
“The normal modes for a three-ion system with equal mass and charge are Q cm = 1 √ 3 (x 1 + x 2 + x 3 ), P cm = 1 √ 3 ( p 1 + p 2 + p 3 ),(30) Q r = - 1 √ 2 (x 1 -x 3 ), p r = - 1 √ 2 ( p 1 -p 3 ),(31) Q 3 = 1 √ 6 (x 1 -2x 2 + x 3 ), P 3 = 1 √ 6 ( p 1 -2 p 2 + p 3 ). (32 )”
Quote in the paperSubstantial claim - Findingown data
For relative momentum equal to zero, there is little Klein tunneling associated with asymptotic freedom.
“For relative momentum equal to zero, there is little Klein tunneling (c) associated with asymptotic freedom.”
Quote in the paperNot a substantial claim - Findingnone given
Bidimensional relativistic scattering for an x-dependent potential can be solved with the help of the 1D case.
“To summarize, we have described the bidimensional relativistic scattering for an x-dependent potential, showing that this case can be solved with the help of the 1D case.”
Quote in the paperSubstantial claim - Findingown data
For = -1 and finite relative momentum p_r = 2, the two fermions have a larger Klein tunneling than for zero relative momentum p_r = 0.
“On the other hand, for = -1 (another spinor initial state), we observe that for finite relative momentum, pr = 2 (d), the two fermions have a larger Klein tunneling than for zero relative momentum, pr = 0 (c).”
Quote in the paperNot a substantial claim - Findingreasoning
By considering the Hamiltonian H_ABM,sim, one simulates an equivalent dynamics to two free Dirac equations with a potential in the relative coordinate, H_ABM.
“By considering the Hamiltonian H ABM,sim = 2η cm cm ˜ cm (σ x,1 -σ x,3 )P cm + 2η r r ˜ r (σ x,1 + σ x,3 ) p r + h σ y,1 + h σ y,3 + hη cm 3 cm σ x,2 Q cm + h 3 σ z,2 ,(33) we simulate an equivalent dynamics to two free Dirac equations with a potential in the relative coordinate, H ABM = cσ x,1 p 1 + cσ x,3 p 3 + mc 2 σ y,1 + mc 2 σ y,3 + V 0 (x 1 -x 3 ) 2 = c(σ x,1 -σ x,3 ) pr + c(σ x,1 + σ x,3 )”
Quote in the paperSubstantial claim - Findingown data
For = +1 and p_r = 0, the dynamics is quasifree, besides a small Klein tunneling appearance.
“For = +1 and pr = 0 the dynamics is quasifree, besides a small Klein tunneling appearance.”
Quote in the paperSubstantial claim - Interpretationnone given
The mass term mc^2 σ_j can be implemented by a carrier interaction between two internal levels of the ion.
“For implementing the second kind of coupling, mc 2 σ j , one may consider the carrier interaction between two internal levels of the ion.”
Quote in the paperSubstantial claim - Interpretationnone given
The spin-orbit couplings σ_i p_i can be implemented by a combination of Jaynes-Cummings and anti-Jaynes-Cummings interactions.
“In general, one may implement the first kind of couplings, σ i p i , by a combination of Jaynes-Cummings (JC, also named red sideband) and anti-Jaynes-Cummings (AJC, also named blue sideband) interactions.”
Quote in the paperSubstantial claim - Premisecitation
A quantum simulation of the Dirac equation in trapped ions is a useful playground to analyze different regimes and to verify in a table-top experiment predicted phenomena such as Zitterbewegung or the Klein paradox.
“A quantum simulation of the Dirac equation is a useful playground to analyze different regimes and to verify in a table-top experiment predicted phenomena such as Zitterbewegung [9,10] or the Klein paradox [12,13].”
Quote in the paperSubstantial claim0 of 4 sources checked - Interpretationreasoning
In trapped-ion quantum simulations of relativistic quantum mechanics, the values of the speed of light and rest energy can be controlled at will by changing the laser intensities.
“An important property of quantum simulations of relativistic quantum mechanics with trapped ions is that the values of the speed of light and rest energy in equations ( 9) may be controlled at will just by changing the laser intensities, ˜ and .”
Quote in the paperSubstantial claim - Premisecitation
The experimental simulation of the Klein paradox relied on the manipulation of two trapped ions.
“The experimental simulation of the Klein paradox relied on the manipulation of two trapped ions [13].”
Quote in the paperSubstantial claim0 of 1 sources checked- cites [13] source
- Premisereasoning
A Dirac particle may tunnel through a steep barrier and propagate indefinitely even if the potential extends to arbitrarily long distances.
“A Dirac particle may tunnel through a steep barrier and propagate indefinitely regardless of the fact that the potential may be extended to arbitrarily long distances.”
Quote in the paperSubstantial claim0 of 1 sources checked- cites [14] source
- Interpretationreasoning
The momentum-dependent group velocity leads to a spreading of wave packets in position space.
“which in turn leads to a spreading of wave packets in position space.”
Quote in the paperSubstantial claim - Interpretationreasoning
The reconstruction formula evidences conditional evolution and entanglement between the x-coordinate transmitted and reflected wave packets and the y-component wave packet.
“This reconstruction formula evidences the conditional evolution mentioned before, and in particular, the entanglement between the x-coordinate transmitted and reflected wave packets and the ycomponent wave packet.”
Quote in the paperSubstantial claim - Premisecitation
The theoretical proposal for simulating the Klein paradox in 1+1 dimensions was based on the Hamiltonian H = cσ_x p_x + mc^2 σ_z + αx.
“The theoretical proposal [12] of the simulation of the Klein paradox in 1 + 1 dimensions was based on the Hamiltonian”
Quote in the paperSubstantial claim0 of 1 sources checked- cites [12] source
- Interpretationreasoning
An actual experimental simulation of 2+1 Klein scattering may have important value because, without memory, computational power and narrow boundary constraints, it allows independent and perhaps more reliable verification of the predictions.
“These are the reasons why an actual experimental simulation of the 2 + 1 Klein scattering may have such an important value: without these constraints (memory, computational power and narrow boundary conditions), it allows for an independent and perhaps more reliable verification of our predictions.”
Quote in the paperNot a substantial claim - Interpretationreasoning
The plots in figure 1 can be interpreted as entanglement between the transmitted and reflected wave packets in the x-coordinate and the transverse momentum along y.
“The plots in figure 1 admit another interpretation, based on the entanglement between the transmitted and reflected wave packets in the x-coordinate and the transverse momentum along the y-direction.”
Quote in the paperSubstantial claim - Interpretationreasoning
Electron-positron pair production along x is conditional on the specific value of each momentum wave packet component along y.
“In the language of quantum field theory, the electron-positron pair production along the x-direction will be conditional to the specific value of each momentum wave packet component along the y-direction.”
Quote in the paperSubstantial claim - Premisereasoning
The positive energy electron may become a negative energy electron upon collision with the barrier and propagate freely throughout the barrier wherever V > 2mc^2.
“The reason for this is that the positive energy electron may become, upon collision with the barrier, a negative energy electron and as such propagate freely throughout the barrier, wherever the potential barrier is V 2mc 2 .”
Quote in the paperSubstantial claim - Interpretationreasoning
Based on the behavior at fixed p_y, the dynamics of arbitrary wave packets can be reconstructed fully in position space.
“Based on the behavior at fixed values of p y , we can reconstruct the dynamics of arbitrary wave packets, fully in position space.”
Quote in the paperSubstantial claim - Interpretationreasoning
The trapped-ion Hamiltonian for the 2+1 Klein dynamics coincides with the 2+1 Dirac-Klein Hamiltonian under the stated analogies when ion 2 is initialized in the eigenstate + of σ_x,2.
“which coincides with equation ( 15) when one performs the analogies 2η cm cm ˜ cm = 2η st st ˜ st ↔ c, h ↔ mc 2 and η cm ˜ 0 / cm ↔ α, when ion 2 is initialized in the eigenstate + of σ x,2 .”
Quote in the paperSubstantial claim - Interpretationreasoning
For each p_y, the 2+1 problem reduces to a 1+1 Klein Hamiltonian.
“Accordingly, the problem, for each p y , is reduced to a Klein Hamiltonian in 1 + 1 dimensions,”
Quote in the paperSubstantial claim - Interpretationreasoning
For fixed p_y, cσ_y p_y + mc^2 σ_z can be expressed as an effective Pauli matrix with effective mass coefficient m c^2 = sqrt(p_y^2 c^2 + m^2 c^4).
“One can realize that cσ y p y + mc 2 σ z , with p y fixed, can be expressed as a new Pauli matrix with an effective mass coefficient, with mc 2 = p 2 y c 2 + m 2 c 4 .”
Quote in the paperSubstantial claim - Premisecitation
Such topologically nontrivial models, when embedded on surfaces with boundaries, present robust topologically protected edge states that may transport charge or spin even when the bulk is insulating.
“The intriguing result is that such models, when embedded on surfaces with boundaries, present robust topologically protected 'edge states', that is, states that may transport charge or spin even when the bulk is placed in an insulating state (e.g. with a large mass).”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites [54] source
- Interpretationreasoning
The size of the states and the associated Hamiltonian matrix force the use of efficient schemes such as finite differences or Fourier representations and Trotter methods.
“The size of the states and the size of the associated Hamiltonian matrix force us to adopt particularly efficient schemes in the simulation, such as using finite differences or Fourier representations for the Hamiltonian and Trotter methods for the unitary evolution.”
Quote in the paperSubstantial claim - Interpretationreasoning
The spreading is most relevant for small values of p_x, i.e. when the particle crashes against the potential barrier.
“This spreading is most relevant for small values of p x , i.e. when the particle crashes against the potential barrier.”
Quote in the paperNot a substantial claim - Interpretationreasoning
This would amount to a phenomenological simulation of the phase transition between the quark-gluon plasma and the hadronic confined phases that took place in the early universe.
“This would amount to a phenomenological simulation of the phase transition between the quark-gluon plasma and the hadronic confined phases that took place in the early universe.”
Quote in the paperSubstantial claim - Interpretationown data
A possible quantum simulation of the Dirac particle in a magnetic field, including its topological features, can be done in trapped ions.
“We showed a possible quantum simulation of this case, including its topological features in trapped ions.”
Quote in the paperSubstantial claim - Premisecitation
The spinor degrees of freedom can be encoded in long-lived electronic states of Ca+ ions, as was done before in quantum simulations of relativistic quantum mechanics [10,13].
“The spinor degrees of freedom can be encoded in long-lived electronic states of this ion, as was done before in quantum simulations of relativistic quantum mechanics [10,13].”
Quote in the paperSubstantial claim0 of 2 sources checked - Interpretationreasoning
In this model, Klein tunneling is interpreted as pair creation of a new quark and a new antiquark, allowing the original pair to split up without violating color neutrality.
“In this model, we interpret this Klein tunneling as a pair creation of a new quark and a new antiquark: when the original quark and antiquark go very far away from each other, there is energy available for creating a new antiquark (that gets bound to the original quark) and a new quark (that gets bound to the original antiquark), such that the original pair can split up without violating the color”
Quote in the paperSubstantial claim- Rests on an assumption: The usual explanation for Klein tunneling in quantum field theory is the creation of a particle/antiparticle pair.
- Rests on an assumption: In QCD, the splitting of a hadron into new hadrons is well known and takes place, for example, in jet emission in high-energy colliders.
- Interpretationreasoning
An experiment with three ions can simulate an analogue of the MIT bag model [47,48] for two Dirac particles in 1+1 dimensions.
“To sum up, we have shown that an experiment with three ions can simulate an analogue of the well-known MIT bag model [47,48] for two Dirac particles in 1 + 1 dimensions.”
Quote in the paperSubstantial claim0 of 2 sources checked - Interpretationnone given
Three trapped ions together with two motional modes suffice to implement the dynamics of two Dirac particles coupled by a confining potential, like in bag models of nuclear physics.
“Finally, we have shown that three trapped ions together with two motional modes suffice to implement the dynamics of two Dirac particles that are coupled by a confining potential, like in the bag models of nuclear physics.”
Quote in the paperSubstantial claim - Interpretationreasoning
Such experiments would allow us to study signatures of asymptotic freedom and confinement.
“Despite their simplicity, such experiments would allow us to study signatures of asymptotic freedom and confinement.”
Quote in the paperSubstantial claim - Interpretationown data
This may indicate that for large enough relative momentum, the Dirac fermion pair has enough energy to create another quark-antiquark pair and escape from each other while keeping color neutrality.
“This may also indicate that for large enough relative momentum, the Dirac fermion pair has enough energy to create another quark-antiquark pair and escape from each other while keeping color neutrality (d).”
Quote in the paperSubstantial claim - Interpretationreasoning
Those experiments would easily reach simulation regimes that are beyond current numerical simulation possibilities.
“In addition, those experiments would easily reach simulation regimes that are beyond current numerical simulation possibilities.”
Quote in the paperSubstantial claim - Interpretationown data
This more involved dynamics may be related to confinement taking place when the two fermions try to separate.
“This may be related to confinement taking place when the two fermions try to separate, as seen in figure 4(b).”
Quote in the paperNot a substantial claim - Interpretationnone given
When V_0 x_r^2 > 2mc^2, one would expect Klein tunneling to take place.
“Additionally, when V 0 x2 r 2mc 2 , one would expect Klein tunneling to take place.”
Quote in the paperNot a substantial claim - Interpretationown data
Trapped-ion physics provides a flexible platform to simulate a number of interesting cases and effects in relativistic quantum mechanics.
“In this paper, we have shown that trapped-ion physics provides a flexible platform to simulate a number of interesting cases and effects in relativistic quantum mechanics.”
Quote in the paperSubstantial claim - Interpretationnone given
A Dirac particle in a magnetic field can establish interesting analogies with an equivalent quantum optical model, namely the JC model with detuning.
“We have introduced a relativistic quantum mechanics model-a Dirac particle in a magnetic field-that could shed light and establish interesting analogies with an equivalent quantum optical model, namely the JC model with detuning.”
Quote in the paperNot a substantial claim
- It may state two separate claims as one. 25
- Probably not a substantial claim. 10
- The quote only partly states this claim. 3
It may state two separate claims as one.
Findingown dataFor the n=2 Landau level, despite dissipation trying to unwrap the sphere, the defects remained pinned and the total number was constant even for long times.
“Note how, despite the effort to unwrap the sphere, the defects remained pinned and the total number was constant even for long times.”
Quote in the paperSubstantial claimIt may state two separate claims as one.
FindingreasoningThe wave functions of these levels are confined along x and form plane waves along the y direction.
“The wave functions of these levels are confined along 'x' and form plane waves along the 'y' direction:”
Quote in the paperNot a substantial claimProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
Findingnone givenPure dephasing along z is equivalent to a shrinking of the transverse components s(t) = (s_x e^{-γt}, s_y e^{-γt}, s_z).
“Pure dephasing, for instance along the 'z' direction, is equivalent to a shrinking of the transverse components s(t) = (s x e -γ t , s y e -γ t , s z ).”
Quote in the paperNot a substantial claimIt may state two separate claims as one. The quote only partly states this claim.
FindingreasoningAfter suitable rescaling via a new normalization factor in equation (27), the total solid angle covered is the same and the charge ν is not modified under pure dephasing.
“However, after suitable rescaling via a new normalization factor in equation ( 27), one finds that the total solid angle covered is the same and the charge ν is not modified.”
Quote in the paperSubstantial claimIt may state two separate claims as one.
Findingown dataFor the n=0 state, the pseudospin points North in the center of phase space and rotates to the South at r→∞.
“For the n = 0 state, we see that the pseudospin points North in the center of the phase space and rotates to the South at r = x 2 + p 2 → ∞.”
Quote in the paperSubstantial claimIt may state two separate claims as one.
FindingreasoningIn the 2+1 simulation, the transmitted wave function is squeezed and the reflected wave function broadens after collision with the potential barrier.
“The most obvious effect is the squeezing of the transmitted and the broadening of the reflected wave functions after the collision with the potential barrier.”
Quote in the paperSubstantial claimIt may state two separate claims as one.
FindingreasoningFor motional Hilbert spaces of around 200 phonons per mode, the Hilbert space dimension is 2×200 for the 1+1 case and 8×10^4 for the 2+1 case.
“This means that, for reasonable sizes of motional Hilbert spaces of around 200 phonons per mode, one would have a Hilbert space dimension of 2 × 200 for the (1 + 1)-dimensional case.On the other hand, for the 2+1 case considered here, one would have a Hilbert space dimension of 8 × 10 4 .”
Quote in the paperSubstantial claimIt may state two separate claims as one.
Findingown dataFor = +1 and p_r = 2, the dynamics of the two-fermion system is more involved: the wave function evolves in a more complex way for larger relative momentum, splitting up, bouncing back and getting distorted.
“For = +1 and pr = 2, the dynamics of the two-fermion system is more involved: the wave function evolves in a more complex way for larger relative momentum, splitting up, bouncing back and getting distorted.”
Quote in the paperNot a substantial claimIt may state two separate claims as one. The quote only partly states this claim.
InterpretationreasoningThe trapped-ion Hamiltonian in 3+1 dimensions coincides with the Dirac equation Hamiltonian in 3+1 dimensions, with the speed of light and rest energy given by c := 2ηΩ and mc^2 := hΩ.
“it coincides with the Dirac equation Hamiltonian in 3 + 1 dimensions, equation (2), with the equivalences for the speed of light and rest energy,”
Quote in the paperSubstantial claimIt may state two separate claims as one.
InterpretationreasoningBy changing laser intensities, one may explore the transition from massless to massive Dirac fermions, or equivalently from ultrarelativistic to nonrelativistic physics.
“Thus, one may explore the transition from massless to massive Dirac fermions or, equivalently, the transition from ultrarelativistic to nonrelativistic physics.”
Quote in the paperSubstantial claimProbably not a substantial claim. The paper may give no reason why it holds.
Interpretationnone givenThe resulting statistics and accuracy should be more than enough to allow for accurate reconstruction of the ν=1 and ν=2 skyrmions.
“The resulting statistics and accuracy should be more than enough to allow for accurate reconstruction of the ν = 1 and ν = 2 skyrmions.”
Quote in the paperNot a substantial claimThe quote only partly states this claim.
InterpretationreasoningThe energy band curvature induced by m(p_y) is associated with a momentum-dependent group velocity v_g(p_x) ∼ dE/dp_x = c^2 p_x / sqrt(c^2 p_x^2 + m(p_y)^2 c^4).
“To understand this phenomenon, we must realize that the energy band curvature induced by m( p y ) is associated with a momentum-dependent group velocity”
Quote in the paperSubstantial claimProbably not a substantial claim. The paper’s conclusions may not depend on it.
Premisenone givenTopologically nontrivial models are those for which the mapping from momenta to spinor state winds up one or more times on the same sphere.
“The topologically nontrivial models are those for which this mapping winds up one or more times on the same sphere.”
Quote in the paperNot a substantial claimProbably not a substantial claim. The paper’s conclusions may not depend on it.
Premisenone givenThe standard quantum field theory explanation of the Klein paradox is that there is enough energy in the system to produce a particle/antiparticle pair.
“The standard explanation in quantum field theory is that there is enough energy in the system to produce a particle/antiparticle pair.”
Quote in the paperNot a substantial claimIt may state two separate claims as one.
Study design and conductreasoningThe simulations presented in the paper are well within the limits of what can be accurately simulated, both in time and in space.
“and even the simulations presented here are well within the limits of what can be accurately simulated, both in time and in space.”
Quote in the paperSubstantial claimIt may state two separate claims as one.
InterpretationreasoningThe Hamiltonian for the Dirac particle in the field has a direct reinterpretation in terms of a detuned JC model (22), which makes its simulation rather straightforward.
“Regarding the experimental implementation, the Hamiltonian for the Dirac particle in the field has, as we have shown, a direct reinterpretation in terms of a detuned JC model (22), which makes its simulation rather straightforward.”
Quote in the paperSubstantial claimIt may state two separate claims as one.
PremisecitationMeasurement of the Wigner function is possible using standard trapped ion techniques [50], but reconstruction must be performed without tracing out the internal state of the ion.
“Measurement of the Wigner function is also possible using standard trapped ion techniques [50], but now the reconstruction has to be performed without tracing out the internal state of the ion.”
Quote in the paperSubstantial claim0 of 1 sources checked- cites [50] source
It may state two separate claims as one.
InterpretationreasoningAt the splitting point, a narrow band of p_x components is filtered and becomes part of the antiparticle branch, moving with very little spreading and almost uniform group velocity.
“At this point, which is when the particle splits into a transmitted and a reflected component, a narrow band of p x -components will be filtered and become part of the antiparticle branch, moving on with very little spreading and almost uniform group velocity.”
Quote in the paperNot a substantial claimIt may state two separate claims as one.
InterpretationreasoningIn the 2+1 Dirac equation with a linear potential along x and constant along y, p_y is a constant of motion, so the problem can be solved for each value of p_y.
“In order to analyze this dynamics, one can point out that p y is a constant of motion: [H Kl,2+1 D , p y ] = 0, such that one may solve the problem for each value of p y .”
Quote in the paperSubstantial claimProbably not a substantial claim. It may be too vague to check against evidence. The paper’s conclusions may not depend on it.
Interpretationnone givenWorking on quantum simulations may offer a new perspective on quantum optical problems.
“So far, we have seen examples in which the trapped-ion simulation may be used to learn more about the Dirac equation, but the converse is also true: working on the quantum simulations may offer a new perspective on quantum optical problems.”
Quote in the paperNot a substantial claimIt may state two separate claims as one.
InterpretationreasoningThese efficient simulation techniques are not without errors and are severely affected by discretizations of time and boundary conditions.
“However, none of these techniques are without errors.They are severely affected by discretizations of time and also by the boundary conditions,”
Quote in the paperSubstantial claimIt may state two separate claims as one.
Interpretationnone givenFor a nontrivial potential V(x,y) = α_x x^2 + α_y y^2, simplification into a set of 1+1 problems cannot be done, and the full bidimensional problem must be considered.
“We point out that, when considering a nontrivial potential V (x, y) in the xand ycoordinates, say V (x, y) = α x x 2 + α y y 2 , which could be implemented with three ions in the dispersive limit, its simplification into a set of 1+1 problems cannot be done anymore, and the full bidimensional problem has to be considered.”
Quote in the paperSubstantial claimProbably not a substantial claim. The paper’s conclusions may not depend on it.
PremisecitationThe energy band of a 2D free Dirac fermion can be seen as a mapping from momenta (k_x,k_y) to a particular spinor state on the sphere.
“Roughly, in this context the energy band of a twodimensional (2D) free Dirac fermion can be seen as a mapping from momenta, (k x , k y ), to a particular spinor state on the sphere, S ∈ S, obtained from the Dirac wave function.”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites [54] source
It may state two separate claims as one.
InterpretationreasoningOne could control pair production by changing the incidence angle p_y/p_x, and even perform quantum logic on pair creation conditional to the transverse momentum.
“Thus, one could control pair production just by changing the incidence angle, p y / p x , and even perform quantum logic on pair creation conditional to the value of the transverse momentum.”
Quote in the paperSubstantial claimIt may state two separate claims as one.
InterpretationreasoningThe reflected component sees the whole curvature of the energy band and becomes very broad very quickly until it reaches relativistic velocities and stops spreading.
“The reflected component, on the other hand, will get to see the whole curvature of the energy band and become very broad very quickly, until it reaches relativistic velocities (v g c) and stops spreading.”
Quote in the paperSubstantial claimProbably not a substantial claim. The paper’s conclusions may not depend on it.
PremisecitationThe MIT bag model in its simplest version consists of two or more Dirac particles contained inside a volume whose energy grows linearly with the volume.
“In its simplest version, it consists of two or more Dirac particles contained inside a volume, a bag, whose energy grows linearly with the volume.”
Quote in the paperNot a substantial claim0 of 2 sources checkedIt may state two separate claims as one.
InterpretationcitationThe Zitterbewegung amplitude can be measurable in an experiment, as was shown in the 1+1 case.
“and R ZB ≈ , if η ˜ ∼ , which can be measurable in an experiment, as was shown in the 1 + 1 case in [10].”
Quote in the paperSubstantial claim0 of 1 sources checked- cites [10] source
- The authors state this as an assumption: In the trapped-ion simulation, the position of the ion can be identified with the position of the simulated Dirac particle.
It may state two separate claims as one.
Interpretationown dataThis quasifree dynamics may be a signature of asymptotic freedom, because the Dirac fermions do not couple much.
“This may be a signature of asymptotic freedom, because the Dirac fermions do not couple much, as seen in figure 4(a).”
Quote in the paperNot a substantial claimProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
Interpretationnone givenQuantum simulations of these models with state-of-the-art technology could already go beyond what can be computed classically (for large motional Hilbert space dimensions).
“In addition, quantum simulations of these models with state-of-the-art technology could already go beyond what can be computed classically (for large motional Hilbert space dimensions).”
Quote in the paperNot a substantial claimIt may state two separate claims as one.
Study design and conductcitationThe implementation of the proposed quantum simulations requires the validity of the Lamb-Dicke approximation, which for Ca+ ions in a trap with secular frequency of ∼1 MHz and manipulated with 729 nm laser light is well justified (η ∼ 0.05) [13].
“The implementation of the proposed quantum simulations requires the validity of the Lamb-Dicke approximation, which for Ca + ions in a trap with secular frequency of ∼1 MHz and manipulated with 729 nm laser light is well justified (the Lamb-Dicke parameter η ∼ 0.05 1) [13].”
Quote in the paperSubstantial claim0 of 1 sources checked- cites [13] source
Probably not a substantial claim. It may be too vague to check against evidence. The paper may give no reason why it holds.
Interpretationnone givenQuantum simulations of relativistic quantum mechanics may soon allow us to consider problems that are difficult or even impossible for classical computers.
“At the same time, among other research lines, quantum simulations of relativistic quantum mechanics may soon allow us to consider problems that are difficult or even impossible for classical computers.”
Quote in the paperNot a substantial claimIt may state two separate claims as one.
InterpretationreasoningThis could allow the implementation in a table-top experiment of quark confinement and asymptotic freedom associated with QCD, while moving from one regime to the other by switching on and off a laser.
“This could allow the implementation in a table-top experiment of quark confinement and asymptotic freedom associated with QCD, while moving from one regime to the other by switching on and off a laser.”
Quote in the paperSubstantial claimIt may state two separate claims as one.
PremisecitationSuch states can have coherence times of several ms, while coupling strengths of a few 100 kHz between the spinor states can be obtained.
“Such states can have coherence times of several ms, while coupling strengths of a few 100 kHz between the spinor states can be obtained.”
Quote in the paperSubstantial claimProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
Study design and conductown dataThe study was severely limited by problem size and complexity, preventing study of adiabatic preparation of eigenstates, full diagonalization of the spectrum, or longer time dynamics.
“For example, here, we were severely limited by the problem size and complexity, preventing us from studying things like adiabatic preparation of eigenstates, a full diagonalization of the spectrum or longer time dynamics.”
Quote in the paperNot a substantial claimIt may state two separate claims as one.
PremisecitationIn recent experiments [13], it has been shown that the motional state of the ions can be coherently manipulated while reaching states that have >100 phonons on average, and the coherence can be sustained for more than 10 ms.
“In recent experiments [13], it has been shown that the motional state of the ions can be coherently manipulated while reaching states that have >100 phonons on average, and the coherence can be sustained for more than 10 ms.”
Quote in the paperSubstantial claim0 of 1 sources checked- cites [13] source
The authors state this as an assumption.
In the trapped-ion simulation, the position of the ion can be identified with the position of the simulated Dirac particle.
“In the trapped-ion simulation, the position of the ion mimics the position of the simulated Dirac particle.”
The paper relies on this without support.
The MIT bag model has quite good agreement with experiments and predictive power.
“Although these models can be solved on a classical computer, and are phenomenological, they have quite good agreement with experiments and predictive power.”
The paper relies on this without support.
The model H_ABM cannot be solved analytically.
“This model could describe a quark and an antiquark coupled by gluons inside a meson, and cannot be solved analytically.”
The paper relies on this without support.
The usual explanation for Klein tunneling in quantum field theory is the creation of a particle/antiparticle pair.
“This is the natural interpretation, given that the usual explanation for Klein tunneling in quantum field theory is the creation of a particle/antiparticle pair.”
The paper relies on this without support.
In QCD, the splitting of a hadron into new hadrons is well known and takes place, for example, in jet emission in high-energy colliders.
“In QCD, the splitting of a hadron into new hadrons is well known and takes place, for example, in the jet emission in high-energy colliders.”
The paper relies on this without support.
QCD becomes non-perturbative at low energies and long distances such that Feynman-diagram expansion cannot be applied.
“On the other hand, for low energies and long distances the theory becomes non-perturbative (because the coupling becomes too large) such that Feynman-diagram expansion cannot be applied.”
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
The application of a state-dependent displacement operation on ion 2 followed by a measurement of σ_z^1 is equivalent to measuring the observable Σ.
“The application of a state-dependent displacement operation on ion 2, U 2 ¼ exp½Àikð1 y Þ p x =2, generated by resonant blue and red sidebands, followed by a measurement of 1 z , is equivalent to measuring the observable [13]”
From Quantum Simulation of the Majorana Equation and Unphysical Operations (2011) · cites this paper as [13]
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
Each contradiction between two passages listed here was confirmed by an independent check.
Figure 3 uses different Landau-level labels in the text and caption
MinorThe discussion identifies the levels plotted in Figure 3 as n = ±1 and n = ±2, while the caption identifies them as n = 0 and n = 1.
“Figure 3 shows the Wigner function of the two simplest Landau levels, n = ±1 and n = ±2, decomposed into two quantities, the polar angle φ = tan -1 (s y /s x ) and the separation from the equator, s z .”
“Figure 3. Wigner functions of the (a, b) n = 0 and (c, d) n = 1 Landau levels.”
Covering-number formula conflicts with the stated examples
MinorThe stated formula ν = ±n assigns zero coverings to n = 0 and one to n = 1. The Figure 3 caption instead says those levels cover the sphere once and twice, respectively.
“In general, we have verified that the number of coverings increases linearly with the number of quanta, ν = ±n, leading to a family of topological defects with unprecedented richness.”
“Note how the n = 0 case implements a simple covering of the sphere, going from the north to the south poles, at x = 0 and x = ∞, while the n = 1 level covers the sphere twice, reaching the south pole at x = 0 and x = ∞.”
Citations
The citation lists haven’t been fetched yet
References 54 · Cited by 80
Research works printed but not linked: 1
- Schrödinger E, 1930, Sitz. Preuss. Akad. Wiss. Phys. Math. Kl., 24, 418
Metadata
- Authors
- Lamata, L., Casanova, J., Gerritsma, R., Roos, C. F., García-Ripoll, J. J., & Solano, E.
- Affiliations
- University of the Basque Country (ES)
- Austrian Academy of Sciences (AT)
- Ikerbasque (ES)
- Venue
- New Journal of Physics
- Publisher
- IOP Publishing
- Published
- 2011-09-06
- Volume
- 13
- Issue
- 9
- Pages
- 095003
- ISSN
- 1367-2630 (ISSN-L)
- OpenAlex
- W2028216166
- Cited by
- 80
- References
- 54
- Citations by year
- 2026: 3 · 2025: 5 · 2024: 5 · 2023: 3 · 2022: 3 · 2021: 5 · 2020: 3 · 2019: 7 · 2018: 4 · 2017: 8 · 2016: 5 · 2015: 5 · 2014: 1 · 2013: 7 · 2012: 13
- FWCI
- 4.17
- Type
- journal article
- Language
- en
- Open access
- gold
- doi.org
- Licence
- cc-by
- Locations
- New Journal of Physics (publishedVersion, cc-by)
- arXiv (Cornell University) (submittedVersion)
- DIGITAL.CSIC (Spanish National Research Council (CSIC)) (submittedVersion)
- Max Planck Institute for Plasma Physics (submittedVersion)
- MPG.PuRe (Max Planck Society) (submittedVersion)
- arXiv (Cornell University)
- Funders
- European Commission
- Eusko Jaurlaritza (IT-472-10, IT472)
- Ministerio de Ciencia e Innovación (FIS2009-12773-C02-01, QUITEMAD S2009-ESP-1594)
- Topics
- Physical Sciences › Physics and Astronomy › Atomic and Molecular Physics, and Optics › Cold Atom Physics and Bose-Einstein Condensates
- Physical Sciences › Physics and Astronomy › Atomic and Molecular Physics, and Optics › Quantum Mechanics and Applications
- Physical Sciences › Computer Science › Artificial Intelligence › Quantum Computing Algorithms and Architecture
- Keywords
- relativistic quantum mechanics, Dirac equation, trapped ions, quantum simulation, linear potential, relativistic scattering, magnetic field, topological properties, confining potential, quark confinement, asymptotic freedom
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
A language model drew the claims from the paper on 2026-10-07, under version 3 of the claim definition (model deepseek-v4.1-flash, prompt extract-v3).
A second model labelled each claim on 2026-10-07 (model jev-1.13-20260917, definition revision gold-guideline-v0.2).
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review