Preprint
Article

Solutions of the Mathieu-Hill Equation for the Trapped Ion Harmonic Oscillator. Qualitative Discussion

This version is not peer-reviewed.

Submitted:

27 August 2024

Posted:

30 August 2024

You are already at the latest version

A peer-reviewed article of this preprint also exists.

Abstract
We investigate solutions of the classical Mathieu-Hill (MH) equation which characterizes the dynamics of trapped ions, based on the Floquet theory and starting from a well known analytical model. The analytical model we introduce demonstrates that the equations of motion are equivalent to those of the harmonic oscillator (HO). Two independent approaches are used, based on two classes of complex solutions of the MH equation. The paper addresses both the damped HO and parametric oscillator (PO) for an ion confined in an electrodynamic (Paul) trap. Stability and instability regions for the periodic orbits associated to the MH equation which describes a HO (PO) confined in an electrodynamic trap are also discussed, depending on the values of the Floquet exponent, for very small values of the $q$ parameter. The main objective of the paper is to identify stable and bounded solutions for the dynamics of a HO levitated in an electrodynamic trap. This paper represents a follow-up of a recently published article in Photonics, 11 (6) 551.
Keywords: 
;  ;  ;  ;  

1. Introduction

Parametric excitation of second order non-linear systems [3,4] has been the subject of intense investigations by means of different approaches [5,6], among which one has to also mention the method of normal forms. Ref. [7] uses such method to investigate the dynamical stability of a non-linear system characterized by a nonlinear Mathieu-Duffing equation of motion [8,9], in case of parametric excitation [10]. It was demonstrated that the intrinsic non-linear nature of the system induces a subharmonic region that was not reported for systems characterized by linear MH equations [9,11]. Normal modes analysis is also used in [12] to describe dynamical stability for trapped ion systems.
Investigations of the stability of physical systems that undergo periodic parametric driving [13], such as ions confined by oscillating electric fields (Paul traps) [14], is a subject of vivid scientific interest. The behaviour of these systems can be better explained based on an approach that employs the pseudopotential approximation, which explains well trapping of charged particles within a quadratic potential and resonances that arise out of parametric excitation [12]. In the pseudopotential approximation (for large values of the radiofrequency), both in the classical and quantum cases, the time periodic Hamilton function that characterizes an ion confined within an electrodynamic trap is replaced by an autonomous (time independent). Hamilton function. Furthermore, linear ion traps (LIT) that operate at two RF values represent a versatile tool to simultaneously confine two ion species of interest [15]. Parametric excitation is also employed to carry out mass-selective removal of ions out of an electrodynamic trap [16,17,18].
It is well established that a single trapped ion can be employed as a paradigm to test a choice of essential physical models realized as time-dependent quantum harmonic oscillators (QHO) [13,19,20,21,22,23,24,25,26,27,28,29,30]. A numerical modelling for a segmented Paul trap that exhibits four blade electrodes which generate the trapping field and two biasing rods, where the latter are employed to compensate micromotion [31], is performed in Ref. [32]. Such an approach delivers enhanced optical access for both fluorescence spectroscopy and individual ion addressing, a mandatory requirement to achieve ion crystals or perform quantum engineering and manipulation [33] of trapped ion quantum states [34,35]. Applications span atomic clocks [36,37,38], which are excellent tools to search for physics Beyond the Standard Model (BSM) [39,40,41], or novel Quantum Technologies (QT) based on ultracold ions [42,43]. Multipole linear Paul traps (LPTs) are also versatile tools to investigate cold ion-atom collisions and bring new experimental evidence of the phenomena involved [44,45,46,47].
Ref. [4] investigates Hamiltonian dynamics [48] of a single QHO [13,49,50] in presence of dissipation and parametric driving, while it establishes that a time-dependent parametric frequency incessantly drives the system out of its dynamical equilibrium state. In addition, fine tuning of the system parameters enables one to control the contention between dissipation and parametric driving, in a similar way in which Ref. [51] investigates the competition between multipole anharmonicities of the trap electric potential and a periodic kicking term (laser field), thus driving the system from a regular motion regime towards chaotic dynamics [52]. To achieve control of a QHO, a key issue lies in characterizing and suppressing the inherent noise [53,54]. The intrinsic noise spectrum of a trapped ion can be characterized and experimental demonstrations of QHO control are recently reported in literature [27].
This paper is intended as a follow-up of the review paper recently published in Photonics [2]. Section 2 starts from the analytical model introduced in [1]. The paper investigates the issue of the solutions of the MH equation that explains ion dynamics within an electrodynamic ion trap (EIT). We show that such equation can be expressed as the equation of a (quantum) HO. Then, we suggest two classes of complex solutions in order to solve the MH equation whilst we separate the micromotion from the secular motion of the ion. It is well established that the solution of the MH equation can be expressed as a Hill series [55,56,57,58]. We demonstrate such solution can be cast as a Fourier series, whereas the MH equation of motion turns into the equation of a (quantum) HO. We introduce two methods to solve the MH equation with complex solutions. The coefficients in the Fourier series are determined based on the initial conditions. We infer a system of linear equations that enables one to determine the constants that we introduce in the Fourier series solution. In case of the second method suggested, for a particular solution of the MH equation, we derive a recursive relationship between the coefficients that we introduce. By using this method we reproduce the MH equation which determines the Floquet exponent as a function of these coefficients, which also depend on the values of the characteristic value (eigenvalue) a and q parameter in the MH equation, which are real-valued. Both approaches are original. Section 3 applies the results previously derived in Section 2 and supplies an analytical model to characterize ion dynamics as bound or unbound. By considering the residual interaction, we supply the solutions of the MH equation and the corresponding coefficients along with the value of a 0 as functions of the Floquet exponent, which represents another original result. Finally, we demonstrate the MH equation can be regarded as a HO equation.
In Section A.1 we establish that a trapped ion can be assimilated with a kicked-damped HO model. We supply the solution of the damped HO in three cases, depending on the value of the discriminant for the equation of motion we investigate while we also perform a qualitative discussion. The value of the discriminant shows how many roots the equation exhibits. In Section B we analyse solutions of the MH equation for an ion confined within an electrodynamic (or radiofrequency - RF) trap, considered as a parametric oscillator (PO). Based on previous results [2], we review the Hill method employed to determine the Floquet coefficient. We discuss the solutions of the MH equation for a trapped ion treated as a HO and emphasize they can be bounded or unbounded.
The results in the paper apply to electrodynamic traps employed in ultrahigh-resolution spectroscopy, mass spectrometry (MS) and in the domain of quantum technologies (QT) based on ultracold trapped ions [59,60,61,62], with an emphasize on quantum sensors and quantum metrology.

2. Solutions of the Mathieu-Hill Equation

An iconic paper that reports on an elaborate analysis and discussion of the transition of few ion crystals into ion clouds is Ref. [1]. The paper demonstrates how the crystalline phase prevails until the Mathieu stability limit is attained, emphasizing that the corresponding transition can not be regarded as an order → chaos transition which occurs when a control parameter reaches a critical value. In addition, in the vicinity of this limit the system exhibits sensitivity to perturbations, which enables the experimenter to investigate crystal melting substantially forward the instability limit. The influence of the ion micromotion on ion crystal stability is also discussed in [1], where numerical modelling is used to characterize dynamical stability and discriminate between four possible regimes. Representations of large Coulomb crystals composed of trapped ions are reported in [44], where a Molecular Dynamics (MD) numerical modeling is employed to account for cold ion-atom elastic collisions that occur between Coulomb crystals and very light virtual atoms. A review of strongly coupled Coulomb systems consisting of ultracold trapped ions is performed in [63], while 2D crystals in zig-zag configurations and structural transitions are discussed in [64,65,66]. Recent approaches report direct observation of micromotion for a many body Coulomb crystal consisting of ultracold trapped ions, while novel techniques to measure the micromotion amplitude are implemented [67]. A numerical modelling is employed to determine phase transitions in small-ion Coulomb crystals confined in an electrodynamic ion trap (EIT) [68], where the phase transitions points are introduced as extremes of the interpolated functions employed. The novel conceptualization of fractal quasi-Coulomb crystals is introduced in [69], in case of surface electrodynamic traps (SET) characterized by a Cantor Dust electrode configuration. New experimental evidence of orientational melting that arises in a 2D crystal consisting of up to 15 ions is reported in [70].
An analytical and numerical modelling focused on dynamical stability in case of trapped ion systems is performed in [71], by extending the model introduced in [1,72]. Numerical modelling illustrates that the associated dynamics is either quasiperiodic or periodic, depending on the initial conditions. The evolution in time for a system of two coupled oscillators levitated in an RF trap is described using an analytical model that depends on the chosen control parameters, while ion dynamics is shown to be integrable only for discrete values of the ratio between the axial and the radial frequencies of the ion secular motion. A qualitative discussion of system dynamical stability is then performed by employing the Morse theory. The results are further applied to many body strongly coupled Coulomb systems (trapped ions), locally investigated in the vicinity of equilibrium configurations that designate ordered structures. These equilibrium configurations exhibit a large interest for Coulomb ion crystals (atomic clocks) or to achieve quantum information processing (QIP).
For example, the Kibble-Zurek mechanism (KZM) generally describes non-equilibrium dynamics along with topological defect occurrence for physical systems that undergo second order phase transitions. A generalized KZM that explains defect emergence in trapped ion systems is discussed in [73,74], where the analytical models proposed enable investigation of KZ physics in case of inhomogeneous systems.
We consider the MH equation for an ion confined in an EIT [1]
x ¨ + f τ x = 0 , f τ = a + 2 q cos 2 τ .
Eq. 1 is a linear differential equation with a periodic coefficient, as it is assumed that f is a periodic function f τ + T 0 = f τ , with the particular case T 0 = π . Because we refer to a Paul (RF) trap, τ = Ω t / 2 is the dimensionless time [1,59], where Ω is the radiofrequency of the oscillating trapping voltage supplied between the electrodes. Moreover, the function f : R R is real and continuous, of period T 0 > 0 . Furthermore, we express the f function as a Fourier series [2,55,75,76]
f τ = A 0 + k > 0 A k cos k τ + k > 0 B k sin k τ ,
where A 0 is a constant, whilst the A k and B k coefficients are considered as real
k > 0 A k 2 + B k 2 < , A k , B k R .
The Floquet theory [58] explains that the general solution (which is a complex function) can be cast as [1]
x 1 = Q τ Φ τ ,
where the function
Q τ = e i μ τ , μ C ,
is associated to the slow (or secular) ion motion, whilst Φ τ = Φ τ + T 0 represents a complex, periodical and twice differentiable function, that characterizes the micromotion [2,77]. In case of a MH equation, ion dynamics is stable as long as the Floquet exponent is a complex number μ C [78,79]. Hence, the solution is written as
x = e i μ τ Φ τ + e i μ τ Φ * τ R ,
which depends on the coefficients A k and B k , with k > 0 and A 0 . Φ * τ denotes the complex conjugate of the previously introduced Φ τ function. One can also expand Φ τ as a Fourier series
Φ τ = C 0 + k > 0 C k cos k τ + k > 0 D k sin k τ .
If
k > 0 A k 2 + B k 2 A 0 ,
then eq. (1) can be expressed as the equation of a (quantum) harmonic oscillator (HO) [28,29,30,80,81]
x ¨ + A 0 x = 0 ,
where A 0 is a known constant and the solution can be expressed as
x = M cos ω 1 τ + N sin ω 1 τ , ω 1 = A 0 ,
with M , N constants that are determined from the initial conditions. Further on, we illustrate two different methods to solve the MH equation:
  • One chooses a solution expressed as x = x 2 + x 2 * , where x 2 * is the complex conjugate of x 2 so that
    x 2 = e i μ τ C 0 + C 1 cos τ + D 1 sin τ .
    A double differentiation with respect to τ yields:
    x ˙ 2 = e i μ τ i μ C 0 + cos τ D 1 + i μ C 1 + sin τ i μ D 1 C 1
    x ¨ 2 = e i μ τ μ 2 C 0 + cos τ 2 i μ D 1 C 1 1 + μ 2 sin τ D 1 1 + μ 2 + 2 i μ C 1 .
    We now revert to the eq. (1) and introduce the expression of f τ supplied by eq. (2)
    x ¨ 2 + A 0 + A 1 cos τ + B 1 sin τ x 2 = 0 .
    Eq. (13) is also verified for the complex conjugate x 2 * . Then, one uses eqs. (11) and (12) which are introduced in eq. (13) to further derive
    μ 2 C 0 + cos τ 2 i μ D 1 C 1 1 + μ 2 sin τ D 1 1 + μ 2 + 2 i μ C 1 + A 0 + A 1 cos τ + B 1 sin τ C 0 + C 1 cos τ + D 1 sin τ = 0 .
    Eq. (14) can also be cast as
    μ 2 C 0 + A 0 C 0 + A 1 C 1 cos 2 τ + B 1 D 1 sin 2 τ + A 1 D 1 + B 1 C 1 sin τ cos τ + cos τ A 0 C 1 + A 1 C 0 C 1 1 + μ 2 + 2 i μ D 1 + sin τ A 0 D 1 + B 1 C 0 2 i μ C 1 D 1 1 + μ 2 .
    One uses [82,83,84,85]
    sin 2 τ = 1 cos 2 τ 2 , cos 2 τ = 1 + cos 2 τ 2 , sin 2 τ = 2 sin τ cos τ .
    and finally, by performing the calculus in eq (14) with k > 1 , one infers the following system of equations
    μ 2 C 0 + A 0 C 0 + 1 2 A 1 C 1 + 1 2 B 1 D 1 = 0 B 1 C 0 + A 0 D 1 D 1 1 + μ 2 2 i μ C 1 = 0 A 1 C 0 + A 0 C 1 + 2 i μ D 1 C 1 1 + μ 2 = 0
    Using this system of equations, one can determine the coefficients C 0 , C 1 , and D 1 , respectively. Hence, one determines the solution x 2 from eq. (10) and implicitly the solution x in eq. (8). We demonstrate that an ion confined within an electrodynamic trap can be treated as a HO and derive the associated MH equation of motion.
  • As demonstrated in [58], one chooses a solution of the form x 2 = e i μ τ Φ . Hence,
    x ˙ 2 = e i μ τ i μ Φ + Φ ˙
    x ¨ 2 = e i μ τ Φ ¨ + 2 i μ Φ ˙ μ 2 Φ
We introduce the solution x = x 2 + x 2 * in the MH equation (1) and derive
e i μ τ Φ ¨ + 2 i μ Φ ˙ μ 2 Φ + e i μ τ Φ ¨ 2 i μ Φ ˙ μ 2 Φ + f τ e i μ τ + e i μ τ Φ = 0 .
By performing a Fourier series expansion [86] one can write
Φ = k Z c k e i k τ , f = k Z a k e i k τ , a k * = a k ,
where a k are arbitrary constants and e i μ τ = cos μ τ + i sin μ τ . Consequently, eq. (20) becomes
k Z c k k 2 2 μ k μ 2 e i μ + k τ + k Z k 2 + 2 μ k μ 2 e i k μ τ + p Z a p k Z c k e i k + μ + p + p Z a p k Z c k e i k + p μ τ = 0 .
It can be noticed that the equation above contains terms such as e i μ τ k + p = n a p c k e i n τ . One denotes b n = k + p = n a p c k = p Z a p c n p . As a result, eq. (22) can be recast as
e i μ τ E + e i μ τ E * = 0 ,
with
E = k Z c k k + μ 2 + b k e i k τ , E * = k Z c k k + μ 2 + b k e i k τ .
By introducing eqs. (24) in eq. (23), one obtains
c k k + μ 2 = b k = p Z a k p c p , k Z ,
which is amenable to
p Z a k p k + μ 2 δ k p c p = 0 ,
where δ k p stands for the Kronecker delta function. One further denotes
A = a k p k + μ 2 δ k p .
Further on, we introduce
C = c 2 c 1 c 0 c 1 c 2 .
Then A · C = 0 , where C is the column matrix introduced above. One further infers
det A = 0 ,
which is exactly the MH equation that determines the Floquet exponent μ as a function of the a k coefficients (particularly as a function of the eigenvalue a and q parameter). It is assumed that a k = 0 for k > 2 (Mathieu case) and a 1 = a 1 = 0 . In such case
f τ = a 0 + a 2 e 2 i τ + a 2 e 2 i τ .
As explained above, one also supposes that a 2 = a 2 = q and a 0 = a . Then
f τ = a + 2 q cos 2 τ ,
which is exactly the classical MH equation. Based on eq. (25) one derives
c k k + μ 2 = a 0 c k + c k 2 a 2 + a 2 c k + 2 = a c k + q c k + 2 + c k 2 ,
with q 0 and
c k + 2 = α c k + β c k 2 , i f k > 0 , c k 2 = γ c k + ζ c k 2 , i f k < 0 .
where α , β , γ , and ζ are known coefficients. When | c k | 0 and | k | > 2 , the column matrix C [described by eq. (28)] can be recast as
C = c 2 0 c 0 0 c 2 ,
where it is assumed that c 1 = c 1 = 0 is an initial condition (hypothesis). In such case, the function Φ [in eq. (21)] can be expressed as
Φ = c 0 2 c 2 cos 2 τ ,
with c 2 = c 2 . Then, for k = 0 one finds
c 0 μ 2 = a c 0 + 2 c 2 q μ 2 = a + 2 c 2 c 0 q .
We consider the initial conditions
c 0 = x 0 , 2 c 2 c 0 = q 2 .
Under these circumstances, eq. (36) is recast as
μ 2 = a + q 2 2 .
We return to eq. (1) and express f as
f = μ 2 + f r e s .
Then, one uses eq. (38) and the residual interaction function f r e s is
f r e s = f μ 2 , f r e s = 2 q cos 2 τ q 2 2 ,
which we discuss below.

Discussion

When k > 1 , then a k = 0 . In case of the HO [2,8,9,29] a 0 > 0 and from eq. (32) one infers
c k k + μ 2 = a 0 c k ,
and we distinguish two distinct cases
i) k = 0 a 0 = μ 2 with c 0 0 .
ii) c k 0 k + μ 2 = μ 2 = a 0 k + μ = ± μ and the two solutions of the equations are
k 1 = 0 , k 2 = 2 μ Z .
where the latter case is discarded. Then, Φ = c 0 and
x = e i μ τ c 0 + e i μ τ c 0 * ,
which stands for the equation of the HO for μ R , whilst c 0 * stands for the complex conjugate of c 0 . Hence, the MH equation turns into the equation of a classical HO
x ¨ + μ 2 x = 0 .
It is demonstrated that one can use the time dependent variational principle (TDVP) [87,88,89] and then express the Hamilton equations of motion for the unidimensional case, in order to derive the quantum equation of motion in the Husimi ( Q ) representation for a boson enclosed in a nonlinear ion trap [25,90]. This equation of motion is fully consistent with the one that portrays a perturbed classical oscillator. Hence, a phase-space formulation of quantum mechanics, e.g. the Husimi or Wigner representation, discloses the composition of the corresponding phase-space [24] and establishes a correlation between classical and quantum dynamics for this class of mesoscopic systems [91,92].

3. Stability Diagram of the MH Equation

Tha standard (canonical) form of the Mathieu equation for an ion confined within an electrodynamic trap, characterized by the parameters a and q, is [2,55,57,76,93,94,95]
d 2 w d τ 2 + a 2 q cos 2 τ w = 0 .
We have demonstrated in [2] this is a Sturm-Liouville system [96] characterized by periodic boundary conditions, while the system exhibits solutions exclusively for particular values of the eigenvalue a which depend upon q. It is also established that other solutions exist for every pair ( a , q ) , but we consider only periodic solutions [86].
In order to characterize ion dynamics, one of the possible approaches is to separate the ion micromotion from the secular motion [1]. The MH equation can be recast as (see eq. (1))
x ¨ + f x = 0 , w h e r e o n e i n t r o d u c e s f = μ 2 + f r e s ,
where f r e s describes the residual interaction which accounts for the ion micromotion. In addition
1 T 0 0 T 0 f r e s d τ = 0 , T 0 = π ,
so the micromotion term averages out during a period of the RF drive, which leads us to the case of an autonomous Hamilton function for the trapped ion. By separating the micromotion eq. (46) changes accordingly
x ¨ + μ 2 x + f r e s x = 0 ,
which stands for the equation of the HO [9,24,25,81,97] of period 2 π / μ , with μ R , 2 μ Z . It can be observed that ion dynamics is decomposed into a slowly oscillating part (the secular motion) at frequency μ (see eq. 38) and a fast parametric drive (the micromotion) f r e s . The secular ion motion (or the macromotion) is characterized by the equation
x ¨ + μ 2 x = 0 .
where μ is the Floquet exponent [55,58]. We now revert to eq. (25) and choose k = 0 . Consequently
μ 2 = a 0 + c 2 c 0 a 2 + c 2 c 0 a 2 .
From eq. (46) one derives f r e s = f μ 2 , which we multiply by x. We consider the solution x = x 2 + x 2 * and we employ eq. (21). Hence
f r e s x = k a k e i k τ μ 2 e i μ τ p c p e i p τ + e i μ τ p c p e i p τ .
One denotes
ϕ τ = p c p e i p τ , ϕ * τ = p c p e i p τ ,
where ϕ * τ stands for the complex conjugate of ϕ τ . Because
0 2 π e i k τ d τ = 1 i k e i k τ | 0 2 π = 0 , w h e n k 0 ,
0 π e i k τ d τ = 1 i k e i k π 1 = 0 , k e v e n 2 i / k , k o d d
We revert to eq. (47) and denote
I = 0 π f r e s x d τ = p , k a k c p e i k + p + μ π 1 i μ + k + p e i k + p + μ π 1 i μ + k + p μ 2 p c p 1 i μ + p e i μ + p π e i μ + p π = p , k a k c p 2 sin μ + k + p π μ + k + p μ 2 p 2 sin μ + p π μ + p .
As demonstrated in [2], by choosing a 0 = a , a 2 = a 2 = 2 q , a k = 0 for k > 2 , one derives [1]
I = p c p 2 sin μ + p π μ + p a 0 μ 2 + 2 q p c p 2 sin μ + p π μ + 2 + p + 2 sin μ + p π μ 2 + p = 2 p c p sin μ + p π a 0 μ + p + 2 q μ + 2 + p + 2 q μ 2 + p = 0 .
By assuming c 1 = c 1 = 0 ; c k = 0 for k > 2 and c 2 = c 2 , for values p = 2 , 0 , 2 , and the micromotion term averages out (see [1])
c 0 a 0 μ 2 μ + q 1 μ + 2 + 1 μ 2 + c 2 a 0 μ 2 μ + q 1 μ + 4 + 1 μ + c 2 a 0 μ 2 μ + q 1 μ 4 + 1 μ = 0 .
which is further amenable to
c 2 c 0 = 2 a 0 2 μ + 2 q 2 + μ μ + 2 + μ μ 2 a 0 μ 2 + 2 q μ μ + 2 + μ μ 2 .
In case when q is very small [1,2,76]
a 0 = μ 2 + q 2 2 μ 2 1 + 5 μ 2 + 7 q 4 32 μ 2 1 3 μ 2 4 + , μ 1 , 2 , 3 .
and the even solution can be expressed as
c 2 c 0 = q 4 μ + 1 + μ 2 + 4 μ + 7 q 3 128 μ + 1 3 μ + 2 μ 1 + , μ 1 , 2 ,
which completely determines the MH equation for an ion confined in a Paul trap, while it stands as the main result of the paper. In Ref. [1] the values used are
a = μ 2 1 2 q 2 , c 2 c 0 = q 4 ,
as the value of the Floquet exponent μ was chosen small, and implicitly the characteristic value (eigenvalue) a and parameter q in the MH equation, both of them real-valued, as previously emphasized in Section 1. Nevertheless, this hypothesis does not coincide with the values used in [1].
It was demonstrated in [2] that for ion trap operating points that lie within the first stability region of the MH equation, and for small values of the eigenvalue a and q parameter, the coefficients c k rapidly converge to zero. Under such conditions, higher harmonics become insignificant and the fundamental frequency prevails. It was also demonstrated that the solution of the MH equation is the sum between a shift that corresponds to the fundamental frequency and a correction due to the occurrence of higher harmonics associated with ion dynamics. The problem of evaluating the maximum amplitude of stable oscillations under given initial conditions was approached. The maximum is characterized by upper bounds determined by the relative position of the electrodes. For optimum trap operating parameters, it is essential to consider all axes for which the equation of motion is of Mathieu type. A nonzero solution can be expressed as the combination of two linear dependent functions, which form a fundamental solution of the MH eq. Ion trajectories are investigated by building a family of ellipses, while the transfer matrix is supplied along with the maximum amplitude of stable oscillations [2].
The frontiers of the stability diagrams are defined by the equations [56,57,76,93]
a 0 q = q 2 2 + 7 q 4 128 29 q 6 2304 + 68687 q 8 18874368 + ,
a 1 q = b 1 q = 1 q q 2 8 + q 3 64 q 4 1536 11 q 5 36864 + 49 q 6 589824 55 q 7 9437184 83 q 8 35389440 + ,
a 2 q = 4 + 5 q 2 12 763 q 4 13824 + 1002401 q 6 79626240 1669068401 q 8 458647142400 + ,
b 2 q = 4 q 2 12 + 5 q 4 13824 289 q 6 79626240 + 21391 q 8 458647142400 + .
When a , q 1 and r 7 (case when a r is approximately equal to b r ), the characteristic values of the frontiers of the stability region are described by the following power series approximation [9,57]
a r , b r = r 2 + q 2 2 r 2 1 + 5 r 2 + 7 q 4 32 r 2 1 3 r 2 4 + 9 r 4 + 58 r 2 + 29 q 6 64 r 2 1 5 r 2 4 r 2 9 + .
The analytical modeling performed in the paper is valid for all electrodynamic trap designs. It is is essential to establish whether ion trajectories are stable or unstable, depending on the experimental conditions, as well as the boundaries stable and unstable regions associated to the ion dynamics. It is established that these limits correspond to combinations of cosine and sine elliptic series, as shown in [2,9,55,58,75,76]. For such values solutions of the MH equations are periodic but not bound, while they determine the point at which the ion trajectory becomes unbound.

4. Discussion

The paper suggests particular solutions of the classical MH equation with complex solutions for ions confined in electrodynamic ion traps (EITs), by employing the Floquet theory [55,58]. It is well established that single trapped ions are an excellent tool to validate different essential physical models realized as time-dependent (quantum) harmonic oscillators (QHO) [13,22,24,25,27,81,98,99]. In addition, investigations of dynamical stability for systems subjected to periodic parametric driving, such as trapped ions, is an issue of large scientific interest [12,100,101,102]. The time evolution for such systems is better explained within an integrated approach based on the pseudopotential approximation and even on resonances induced by parametric excitation.
We demonstrate the MH equation for a trapped ion within an electrodynamic ion trap (EIT) can be cast as a Fourier series whose coefficients are determined by the analytical model we introduce, which turns it into the equation of a (quantum) HO. Thus, a system of linear equations is derived, that enables one to determine the constants in the Fourier series solution, which is an original result.
The second method suggested delivers the solution of the MH equation that describes trapped ion systems, while we derive a recursive relation that yields the Floquet coefficient as a function of the a k coefficients in the series expansions used. Ion dynamics within an electrodynamic trap is shown to be consistent with the equation of motion for a classical HO. Finally, we apply these methods in Section 3 for an electrodynamic trap and we extend the model in [1]. Then, we derive the expression for a 0 and the coefficients of the even solution as a function of the Floquet coefficient, for very low values of the q parameter. Thus, we completely determine the solution of the MH equation and the frontiers of the stability diagram.
To summarize, the paper brings novel approaches to derive the solutions of the MH equation for systems of trapped ions, demonstrating they are equivalent with the dynamics of the classical HO. The HO with damping is discussed in Section A, where the number of solutions depends on the sign of the discriminator associated to the 2nd order equation of motion. For a positive sign of the discriminator, we show the solution of the equation of motion describes non-periodic, damped oscillations. The parametric HO is discussed in Section B, based on the Floquet theory. It is demonstrated solutions are linearly independent, while they also establish a fundamental system. Then, we shortly discuss the Hill method to determine the Floquet coefficient [2,55,58,103,104] and supply the equation that defines the stability frontiers for the MH equation, followed by a discussion on the stability and instability intervals. A very short comment on EITs that operate under Standard Atmospheric Temperature and Pressure (SATP) conditions ends the paper.
Stability and instability regions for the MH equation with periodic coefficients are discussed in Section B. One discriminates between bounded and unbounded ion dynamics. Stable and unstable regions are separated by curves characterized by cosh π μ = ± 1 , where one of the solutions is bounded and periodic while the general solution remains unbounded [2,94].
The pseudopotential approxmation can be safely used when Ω 1 , which means the time scale of the secular motion is considerably larger than the time scale associated to the micromotion. The main advantage of the pseudopotential approximation lies in the fact that it turns the dynamical system (trapped ion) from a nonlinear one into an an autonomous one, which greatly simplifies the problem under investigation. In case of the pseudopotential approximation for a Paul (RF) trap, the electric potential is described by a polynomial of rank 2. When considering the micromotion, stability regions result that are qualitatively similar to those of the Mathieu equation but with frontiers that are shifted depending on the anharmonicity parameter λ β , as shown in [2] and in the literature [105].
Applications of the methods used in the paper span MS, high-resolution spectroscopy and trapping of ion crystals, where the latter is of extreme importance for optical atomic clocks, ultrahigh resolution spectroscopy, quantum metrology and quantum information processing (QIP) with ultracold ions [30,34,106,107,108].
The paper is both an add-on and a follow-up to the paper recently published in Photonics [2].

Funding

This research was funded by the Ministry of Research, Innovation and Digitalization, under the Romanian National Core Program LAPLAS VII - Contract No. 30N/2023.

Data Availability Statement

No new data were created or analyzed in this study. Data sharing is not applicable to this article.

Conflicts of Interest

The authors declare no conflicts of interest.

Abbreviations

The following abbreviations are used in this manuscript:
2D 2-Dimensional
3D 3-Dimensional
BSM Beyond the Standard Model
DIT Digital Ion Trap
EIT Electrodynamic Ion Trap
ESI-MS Electrospray Mass Spectrometry
HO Harmonic Oscillator
IT Ion Trap
KZ Kibble-Zurek
LIT Linear Ion Trap
LPT Linear Paul Trap
MD Molecular Dynamics
MS Mass Spectrometry
PO Parametric Oscillator
QIP Quantum Information Processing
RF Radiofrequency
SATP Standard Atmospheric Temperature and Pressure
TDVP Time Dependent Variational Principle

Appendix A. Harmonic Oscillator (HO)

Appendix A.1. Harmonic Oscillator with Damping

It is generally known that a trapped ion can be assimilated with a kicked-damped HO model for an ion trap [24,109] or a parametric oscillator [50,51].
We consider the equation of motion for a damped HO (unidimensional case) [4,110]
m x ¨ = k x α x ˙ ,
where k denotes the elastic constant and α > 0 is the damping coefficient. Finally, one derives
x ¨ + 2 λ x ˙ + ω 0 2 = 0 , w i t h k m = ω 0 2 , 2 λ = α m .
A solution of this equation is x = e r t , where r is either real r R or complex r C . Then, eq. (A2) is cast as
r 2 + 2 λ r + ω 0 2 = 0 .
Further on, we will shortly discuss the solutions of eq. (A3).
  • Case 1
    We denote
    Δ = 4 λ 2 4 ω 0 2 > 0 ,
    which implies that λ > ω . The solutions of eq. (A3) are
    r 12 = λ ± λ 2 ω 0 2 .
    Then, a solution of eq. (A2) is
    x = C 1 e r 1 t + C 2 e r 2 t = C 1 e λ + λ 2 ω 0 2 + C 2 e λ + λ 2 ω 0 2 ,
    which describes damped oscillations that are non-periodical, with C 1 , C 2 constants of integration.
  • Case 2
    Δ = 0 λ = ω 0 .
    In such case the solution is expressed as
    r 1 = r 2 = λ x = ( B + C t ) e λ t ,
    with B , C constants.
  • Case 3
    Δ < 0 ω 0 > λ .
    Then
    r 1 , 2 = λ ± i ω 0 2 λ 2 ,
    and
    x = C 3 e r 2 t + C 4 e r 2 t = e λ t C 3 e i ω 0 2 λ 2 t + C 4 e i ω 0 2 λ 2 t ,
    with C 3 = C 4 * and C 4 * is the complex conjugate of C 4 . Considering that
    e i x = cos x + i sin x cos x = e i x + e i x 2 , sin x = e i x e i x 2 i ,
    eq. (A11) can be cast as
    x = e λ t D 3 cos ω 0 2 x 2 t + D 4 sin ω 0 2 x 2 t ,
    with D 3 , D 4 constants.

Appendix B. Parametric Harmonic Oscillator. Floquet’s Coefficient. Hill’s Method

We start from the equation
d 2 x d t 2 + ω 2 t x = 0 , ω t + T = ω t ,
which is a Mathieu-Hill (MH) type differential equation with periodic coefficients, of period T = π . We choose
ω 2 t = a 2 q cos 2 t .
The Floquet theory [55,56,58] states that eq. (A14) exhibits a solution of the form [94]
x 1 = e μ t P t ,
where P t stands for a periodic function of period π , while μ denotes the Floquet characteristic exponent [55,56,58,76]. It is obvious that
x 2 = e μ t P t ,
is also a solution of eq. (A14), as the latter is invariant to the change t t . Both functions P t and P t are periodic, with period π . Generally, the solutions x 1 (described by eq. (A16) and x 2 (described by eq. (A17)) are linearly independent, and they establish a fundamental system of solutions for eq. (A14). There is only one exception, the case of Mathieu periodic functions when i μ is an integer, which has been discussed in [2]. Besides that, any solution is expressed as
x = c 1 x 1 + c 2 x 2 , c 1 , c 2 = c o n s t ,
with [2,94]
x 1 = n = c n e μ + 2 i n t .
There are several methods to determine the Floquet coefficient μ , amongst which we distingush Hill’s method and the Lindemann–Stieltjes method [58,75,76,94,103,104]. Both of them require an elaborate analysis because μ is not a simple function of q. For example, one could assign a real value to the q parameter and consider that a varies from to . In this case μ switches between real and complex values, while changes occur when the Hill-Mathieu notation given by eq. (A26), namely 0 sin 2 1 2 π a , passes through the values of 0 and 1. This is an outcome of the fact that 0 is an complex expression of a and q [58].

Appendix B.1. Hill’s Method

By using Hill’s method one derives a homogeneous system of linear equations [2]
c n + γ n c n 1 + c n + 1 = 0 , n = 0 , ± 1 , ± 2 , .
with
γ n = q 2 n i μ a .
The infinite determinant of the system is [2,58,94,104]
μ = 1 γ 2 μ 0 0 0 γ 1 μ 1 γ 1 μ 0 0 0 γ 0 μ 1 γ 0 μ 0 0 0 γ 1 μ 1 γ 1 μ 0 0 0 γ 2 μ 1 ,
and the Floquet exponent is determined by the equation
μ = 0 .
The infinite determinant described by eq. (A22) is absolutely convergent, and it represents a meromorphic function [111] of the Floquet exponent μ [55,58,75,103], with simple poles for μ = ± i a + 2 s , ; s = 0 , ± 1 , ± 2 , [2,58]. Therefore
μ C cosh π μ cos π a ,
is an even and periodic meromorphic function. If the constant C is determined so that the function described by eq. (A24) has no pole at μ = i a , then it will exhibit no other pole, which makes it a constant. Because μ 1 as μ , such constant is equal to 1. To derive the expression of C, one chooses μ = 0 and infers [2,56,94]
μ = 1 1 0 1 cos π a cosh π μ cos π a = cosh π μ 1 + 0 1 cos π a cosh μ π cos π a .
Because the Floquet exponent is determined by the eq. (A23), one obtains
cosh π μ = 1 + 2 0 sin 2 1 2 π a .
Eq. (A26) defines the stability frontiers of the MH equation when cosh π μ = ± 1 .
Ref. [2] analyses the dynamical stability of the MH equation for a trapped ion, when the trap operating points a , q R are located within the first stability region, focused on the associated dynamics is bounded or unbounded.
The issue of stability and instability intervals for the MH equation is very well explained in [56,76]. Further on, we review the analysis performed in [94]. If a , q R are both real, then eq. (A26) shows that cosh π μ R . When 1 < cosh π μ < 1 , then μ C is a complex number, i μ is not an integer and any solution of the MH equation is bounded along the real axis x. The domains of stability located within the parameter plane a , q are characterized by 1 < cosh π μ < 1 . When cosh π μ > 1 one can consider the Floquet exponent μ as real and non-zero. On the other hand, if cosh π μ < 1 one may consider μ i as real and non-zero. In both cases the solution of the MH equation is not bounded along the real x axis. Unstable regions of the MH equations are characterized by cosh π μ > 1 or cosh π μ < 1 . The stable and unstable regions are separated by curves characterized by cosh π μ = ± 1 , where one solution is bounded and periodic, while the general solution stays unbounded [94].
One can distinguish amongst several cases [2,55,75,76]
  • μ C (pure imaginary) and i μ Z
  • the frontiers of the stability domains are defined by i μ Z (not integer)
  • the associated dynamics is unstable when μ R or μ i R , with μ = i θ
Stability of ion few crystals is firstly discussed in [1], based on a well established analytical model that is frequently used in the literature to describe regular and nonlinear ion dynamics in 3D QIT. Numerical modelling of quantum manifestation of order and chaos for ions confined in a Paul trap is explored in [112], where it is established that quasienergy states statistics serves to discriminate between integrable and non-integrable quantum dynamics. Double well dynamics for systems made of two trapped ions (in either a Paul or a Penning trap) is investigated in [72], where the RF trapping voltage effect towards enhancing or altering quantum transport in the chaotic separatrix layer is also examined. Dynamical stability of two-ion crystals in a Paul trap is explored in [113], based on the pseudopotential approximation [60,62,114]. Nonlinear dynamics of ions confined in a RF trap is reported in [115], where a new deterministic melting region is reported, along with crystallization in a secondary Mathieu stability region. Irregular dynamics of single ion dynamics in an EIT with axial symmetry is approached in [116], by employing both analytical and numerical modelling.
The dynamics of a trapped ion in a mass spectrometer, which undergoes the action of both quadrupole RF and dipolar DC excitation is investigated in Ref. [117], for a classical quadrupole 3D trap that exhibits hyperbolic geometry. It is demonstrated that dipolar excitation qualitatively changes the associated dynamics. The equation of motion is shown to be a classical MH equation that is perturbed with a constant inhomogeneous term, along with a small quadratic nonlinearity. An experimental approach implements motional parametric excitation and reports coherent spin-motion coupling of ions obtained by employing a spin-dependent force [118], for 2D crystals consisting of 100 9Be ions confined in a Penning trap.

Appendix B.2. Electrodynamic Ion Traps (EIT) Operating under SATP Conditions. Damping Case

We will shortly discuss the case of an electrodynamic trap that operates under Standard Atmospheric Temperature and Pressure (SATP) conditions [92,119,120,121,122]. The equation of motion is
d 2 x d t 2 + 2 λ d x d t + ω 2 t x = 0 ,
where the second term characterizes friction (damping) in air, whilst λ stands for the damping coefficient. A solution to this equation is
x = e ρ t f x ˙ = e ρ t ρ f + f ˙ , x ¨ = e ρ t ρ 2 f + 2 ρ f + d o t f + f ¨ ,
where f is a periodic, time dependent function. By introducing eqs. (A28) in eq. (A27) and choosing ρ = λ , one derives
f ¨ + ω 2 λ 2 = 0 ,
which is exactly a MH type equation.
One of the first papers that reports trapping of macroscopic dust particles under SATP conditions and the occurrence of ordered structures is Ref. [123], which emphasizes that friction in air results in an efficient cooling of the trapped particle. Ordered structures are also reported in [119]. The dynamics of damped single charged particles levitated in a Paul trap is investigated in [124] based on an analytical model. The modified stability diagrams in the a , q parameter space are derived, demonstrating that stable regions are not only enlarged but also shifted [2,105].
A multipole linear RF trap [125] is described in [126], which delivers an effective potential that characterizes three additional stable quasi-equilibrium points. The trap is used to levitate a group of charged silicate microspheres under SATP condition. The setup exhibits strong dependence on the RF field modulation and effective potential.

References

  1. Blümel, R.; Kappler, C.; Quint, W.; Walther, H. Chaos and order of laser-cooled ions in a Paul trap. Phys. Rev. A 1989, 40, 808–823. [Google Scholar] [CrossRef]
  2. Mihalcea, B.M. Mathieu–Hill Equation Stability Analysis for Trapped Ions: Anharmonic Corrections for Nonlinear Electrodynamic Traps. Photonics 2024, 11, 551. [Google Scholar] [CrossRef]
  3. Brouwers, J.J.H. Asymptotic solutions for Mathieu instability under random parametric excitation and nonlinear damping. Physica D 2011, 240, 990–1000. [Google Scholar] [CrossRef]
  4. Chaki, S.; Bhattacherjee, A. Role of dissipation in the stability of a parametrically driven quantum harmonic oscillator. J. Korean Phy. Soc. 2021, 79, 600–605. [Google Scholar] [CrossRef]
  5. Nayfeh, A.H.; Mook, D.T. Nonlinear Oscillations; Wiley Classics Library, Wiley-VCH: Weinheim, 2008. [Google Scholar] [CrossRef]
  6. Kovacic, I.; Brenner, M.J. (Eds.) The Duffing Equation: Nonlinear Oscillations and their Behaviour; Theoretical, Computational, and Statistical Physics, Wiley: Chichester, West Sussex, 2011. [Google Scholar] [CrossRef]
  7. Mond, M.; Cederbaum, G.; Khan, P.B.; Zarmi, Y. Stability Analysis Of The Non-Linear Mathieu Equation. J. Sound Vib. 1993, 167, 77–89. [Google Scholar] [CrossRef]
  8. Nayfeh, A.H.; Balachandran, B. Applied Nonlinear Dynamics: Analytical, Computational, and Experimental Methods; Wiley Series in Nonlinear Science; Wiley-VCH: Weinheim, 2008. [Google Scholar] [CrossRef]
  9. Kovacic, I.; Rand, R.; Sah, S.M. Mathieu’s Equation and Its Generalizations: Overview of Stability Charts and Their Features. Appl. Mech. Rev. 2018, 70, 020802. [Google Scholar] [CrossRef]
  10. El-Dib, Y.O. An innovative efficient approach to solving damped Mathieu–Duffing equation with the non-perturbative technique. Commun. Nonlinear Sci. Numer. Simul. 2024, 128, 107590. [Google Scholar] [CrossRef]
  11. Rand, R.H. CISM Course: Time-Periodic Systems Sept. 5 - 9, 2016. http://audiophile.tam.cornell.edu/randpdf/rand_mathieu_CISM.pdf.
  12. Trypogeorgos, D.; Foot, C.J. Cotrapping different species in ion traps using multiple radio frequencies. Phys. Rev. A 2016, 94, 023609. [Google Scholar] [CrossRef]
  13. Tibaduiza, D.M.; Pires, L.; Rego, A.L.C.; Szilard, D.; Zarro, C.; Farina, C. Efficient algebraic solution for a time-dependent quantum harmonic oscillator. Phys. Scr. 2020, 95, 105102. [Google Scholar] [CrossRef]
  14. Xiong, C.; Zhou, X.; Zhang, N.; Zhan, L.; Chen, Y.; Nie, Z. Nonlinear Ion Harmonics in the Paul Trap with Added Octopole Field: Theoretical Characterization and New Insight into Nonlinear Resonance Effect. J. Am. Soc. Mass Spectrom. 2016, 27, 344–351. [Google Scholar] [CrossRef]
  15. Foot, C.J.; Trypogeorgos, D.; Bentine, E.; Gardner, A.; Keller, M. Two-frequency operation of a Paul trap to optimise confinement of two species of ions. Int. J. Mass. Spectrom. 2018, 430, 117–125. [Google Scholar] [CrossRef]
  16. Londry, F.A.; Hager, J.W. Mass selective axial ion ejection from a linear quadrupole ion trap. J. Am. Soc. Mass Spectrom. 2003, 14, 1130–1147. [Google Scholar] [CrossRef]
  17. Reece, M.P.; Huntley, A.P.; Moon, A.M.; Reilly, P.T.A. Digital Mass Analysis in a Linear Ion Trap without Auxiliary Waveforms. J. Am. Soc. Mass Spectrom. 2019, 31, 103–108. [Google Scholar] [CrossRef]
  18. Schmidt, J.; Hönig, D.; Weckesser, P.; Thielemann, F.; Schaetz, T.; Karpa, L. Mass-selective removal of ions from Paul traps using parametric excitation. Appl. Phys.B 2020, 126, 176. [Google Scholar] [CrossRef]
  19. Combescure, M. The quantum stability problem for some class of time-dependent hamiltonians. Ann. Phys. (N. Y.) 1988, 185, 86–110. [Google Scholar] [CrossRef]
  20. Stenholm, S. Quantum Motion in a Paul Trap. J. Mod. Optics 1992, 39, 279–290. [Google Scholar] [CrossRef]
  21. Glauber, R.J. The Quantum Mechanics of Particles in Time-Dependent Quadrupole Fields. In Recent Developments in Quantum Optics; Inguva, R., Ed.; Plenum Press: New York, N. Y, 1993. [Google Scholar]
  22. Gardiner, S.A.; Cirac, J.I.; Zoller, P. Quantum Chaos in an Ion Trap: The Delta-Kicked Harmonic Oscillator. Phys. Rev. Lett. 1997, 79, 4790–4793. [Google Scholar] [CrossRef]
  23. Pedrosa, I.A.; Rosas, A.; Guedes, I. Exact quantum motion of a particle trapped by oscillating fields. J. Phys. A: Math. Gen. 2005, 38, 7757–7763. [Google Scholar] [CrossRef]
  24. Menicucci, N.C.; Milburn, G.J. Single trapped ion as a time-dependent harmonic oscillator. Phys. Rev. A 2007, 76, 052105. [Google Scholar] [CrossRef]
  25. Mihalcea, B.M. Nonlinear harmonic boson oscillator. Phys. Scr. 2010, T140, 014056. [Google Scholar] [CrossRef]
  26. Wittemer, M.; Schröder, J.P.; Hakelberg, F.; Kiefer, P.; Fey, C.; Schuetzhold, R.; Warring, U.; Schaetz, T. Trapped-ion toolkit for studies of quantum harmonic oscillators under extreme conditions. Phil. Trans. R. Soc. A 2020, 378, 20190230. [Google Scholar] [CrossRef]
  27. Keller, J.; Hou, P.Y.; McCormick, K.C.; Cole, D.C.; Erickson, S.D.; Wu, J.J.; Wilson, A.C.; Leibfried, D. Quantum Harmonic Oscillator Spectrum Analyzers. Phys. Rev. Lett. 2021, 126, 250507. [Google Scholar] [CrossRef]
  28. Mihalcea, B.M. Quasienergy operators and generalized squeezed states for systems of trapped ions. Ann. Phys. (N. Y.) 2022, 442, 169826. [Google Scholar] [CrossRef]
  29. Coelho, S.S.; Queiroz, L.; Alves, D.T. Exact Solution of a Time-Dependent Quantum Harmonic Oscillator with Two Frequency Jumps via the Lewis-Riesenfeld Dynamical Invariant Method. Entropy 2022, 24. [Google Scholar] [CrossRef]
  30. García Herrera, E.; Torres-Leal, F.; Rodríguez-Lara, B.M. Continuous-time quantum harmonic oscillator state engineering. New J. Phys. 2023, 25, 123045. [Google Scholar] [CrossRef]
  31. Kato, A.; Goel, A.; Lee, R.; Ye, Z.; Karki, S.; Liu, J.J.; Nomerotski, A.; Blinov, B.B. Two-tone Doppler cooling of radial two-dimensional crystals in a radio-frequency ion trap. Phys. Rev. A 2022, 105, 023101. [Google Scholar] [CrossRef]
  32. Hong, J.; Kim, M.; Lee, H.; Lee, M. Numerical investigation of a segmented-blade ion trap with biasing rods. Appl. Phys. B 2022, 129, 16. [Google Scholar] [CrossRef]
  33. Colombo, S.; Pedrozo-Peñafiel, E.; Adiyatullin, A.F.; Li, Z.; Mendez, E.; Shu, C.; Vuletić, V. Time-reversal-based quantum metrology with many-body entangled states. Nat. Phys. 2022, 18, 925–930. [Google Scholar] [CrossRef]
  34. Wineland, D.J. Nobel Lecture: Superposition, entanglement, and raising Schrödinger’s cat. Rev. Mod. Phys. 2013, 85, 1103–1114. [Google Scholar] [CrossRef]
  35. Wolf, F.; Shi, C.; Heip, J.C.; Gessner, M.; Pezzè, L.; Smerzi, A.; Schulte, M.; Hammerer, K.; Schmidt, P.O. Motional Fock states for quantum-enhanced amplitude and phase measurements with trapped ions. Nat. Commun. 2019, 10, 2929. [Google Scholar] [CrossRef]
  36. Lamata, L.; Mezzacapo, A.; Casanova, J.; Solano, E. A high-precision segmented Paul trap with minimized micromotion for an optical multiple-ion clock. EPJ Quantum Technol. 2014, 1, 9. [Google Scholar] [CrossRef]
  37. Martínez-Lahuerta, V.J.; Eilers, S.; Mehlstäubler, T.E.; Schmidt, P.O.; Hammerer, K. Ab initio quantum theory of mass defect and time dilation in trapped-ion optical clocks. Phys. Rev. A 2022, 106, 032803. [Google Scholar] [CrossRef]
  38. Leibrandt, David R. Porsev, S.G.; Cheung, C.; Safronova, M.S. Prospects of a thousand-ion Sn2+ Coulomb-crystal clock with sub-10-19 inaccuracy. Nat. Comm. 2024, 15, 5663. [Google Scholar] [CrossRef]
  39. Barontini, G.; Boyer, V.; Calmet, X.; Fitch, N.J.; Forgan, E.M.; Godun, R.M.; Goldwin, J.; Guarrera, V.; Hill, I.R.; Jeong, M.; Keller, M.; Kuipers, F.; Margolis, H.S.; Newman, P.; Prokhorov, L.; Rodewald, J.; Sauer, B.E.; Schioppo, M.; Sherrill, N.; Tarbutt, M.R.; Vecchio, A.; Worm, S. QSNET, a network of clock for measuring the stability of fundamental constants. Quantum Technology: Driving Commercialisation of an Enabling Science II; Padgett, M.J.; Bongs, K.; Fedrizzi, A.; Politi, A., Eds. International Society for Optics and Photonics, SPIE, 2021, Vol. 11881, pp. 63 – 66. [CrossRef]
  40. Schkolnik, V.; Budker, D.; Fartmann, O.; Flambaum, V.; Hollberg, L.; Kalaydzhyan, T.; Kolkowitz, S.; Krutzik, M.; Ludlow, A.; Newbury, N.; Pyrlik, C.; Sinclair, L.; Stadnik, Y.; Tietje, I.; Ye, J.; Williams, J. Optical atomic clock aboard an Earth-orbiting space station (OACESS): enhancing searches for physics beyond the standard model in space. Quantum Sci. Technol. 2022, 8, 014003. [Google Scholar] [CrossRef]
  41. Tsai, Y.D.; Eby, J.; Safronova, M.S. Direct detection of ultralight dark matter bound to the Sun with space quantum sensors. Nat. Astron. 2023, 7, 113–121. [Google Scholar] [CrossRef]
  42. Reiter, F.; Sørensen, A.S.; Zoller, P.; Muschik, C.A. Dissipative quantum error correction and application to quantum sensing with trapped ions. Nature Comm. 2017, 8, 1822. [Google Scholar] [CrossRef] [PubMed]
  43. Kaiser, R.; Leduc, M.; Perrin, H. (Eds.) Ultra-Cold Atoms, Ions, Molecules and Quantum Technologies; EDP Sciences: 91944 Les Ulis Cedex A, France, 2022. [Google Scholar] [CrossRef]
  44. Okada, K.; Wada, M.; Takayanagi, T.; Ohtani, S.; Schuessler, H.A. Characterization of ion Coulomb crystals in a linear Paul trap. Phys. Rev. A 2010, 81, 013420. [Google Scholar] [CrossRef]
  45. Bahrami, A.; Müller, M.; Drechsler, M.; Joger, J.; Gerritsma, R.; Schmidt-Kaler, F. Operation of a Microfabricated Planar Ion-Trap for Studies of a Yb+–Rb Hybrid Quantum System. Phys. Status Solidi B 2019, 256, 1800647. [Google Scholar] [CrossRef]
  46. Perego, E.; Duca, L.; Sias, C. Electro-Optical Ion Trap for Experiments with Atom-Ion Quantum Hybrid Systems. Appl. Sci. 2020, 10, 2222. [Google Scholar] [CrossRef]
  47. Niranjan, M.; Prakash, A.; Rangwala, S.A. Analysis of Multipolar Linear Paul Traps for Ion–Atom Ultracold Collision Experiments. Atoms 2021, 9, 38. [Google Scholar] [CrossRef]
  48. Vilasi, G. Hamiltonian Dynamics; World Scientific, 2001. [CrossRef]
  49. Mihalcea, B.M. Study of quasiclassical dynamics of trapped ions using the coherent state formalism and associated algebraic groups. Rom. J. Phys. 2017, 62, 113. [Google Scholar]
  50. Onah, F.E.; Garcíía Herrera, E.; Ruelas-Galván, J.A.; Juárez Rangel, G.; Real Norzagaray, E.; Rodríguez-Lara, B.M. A quadratic time-dependent quantum harmonic oscillator. Sci. Rep. 2023, 13, 8312. [Google Scholar] [CrossRef]
  51. Mihalcea, B.M.; Vişan, G.G. Nonlinear ion trap stability analysis. Phys. Scr. 2010, T140, 014057. [Google Scholar] [CrossRef]
  52. Akerman, N.; Kotler, S.; Glickman, Y.; Dallal, Y.; Keselman, A.; Ozeri, R. Single-ion nonlinear mechanical oscillator. Phys. Rev. A 2010, 82, 061402. [Google Scholar] [CrossRef]
  53. Lemmer, A.; Plenio, M.B.; Bermudez, A. Noise studies of driven geometric phase gates with trapped ions. Ion Traps for Tomorrow’s Applications; Knoop, M.; Marzoli, I.; Morigi, G., Eds. International School of Physics “Enrico Fermi”, Inst. of Physics, Amsterdam, and Societa Italiana di Fisica, Bologna, 2015, Vol. 189, pp. 229 – 244. [CrossRef]
  54. Wang, Y.X.; Liu, S.C.; Cheng, L.; Peng, L.Y. Systematic investigations on ion dynamics with noises in Paul trap. J. Phys. A: Math. Theor. 2023, 56, 465302. [Google Scholar] [CrossRef]
  55. Brillouin, L. A practical method for solving Hill’s equation. Quart. Appl. Math. 1948, 6, 167–178. [Google Scholar] [CrossRef]
  56. Magnus, W.; Winkler, S. Hill’s Equation; Vol. 20, Interscience Tracts in Pure and Applied Mathematics, Wiley: New York, 1966. [Google Scholar] [CrossRef]
  57. Wolf, G. Mathieu Functions and Hill’s Equation. In NIST Handbook of Mathematical Functions; Olver, F.W.J., Lozier, D.W., Boisvert, R.F., Clark, C.W., Eds.; NIST & Cambridge Univ. Press: New York, NY, 2010. [Google Scholar]
  58. Whittaker, E.T.; Watson, G.N. A Course of Modern Analysis, 5th ed.; Moll, V.H., Ed.; Cambridge Univ. Press: Cambridge, UK, 2021. [Google Scholar] [CrossRef]
  59. Major, F.G.; Gheorghe, V.N.; Werth, G. Charged Particle Traps: Physics and Techniques of Charged Particle Field Confinement; Vol. 37, Springer Series on Atomic, Optical and Plasma Physics; Springer: Berlin, Heidelberg, 2005. [Google Scholar] [CrossRef]
  60. Knoop, M.; Madsen, N.; Thompson, R.C. (Eds.) Physics with Trapped Charged Particles: Lectures from the Les Houches Winter School; Imperial College Press & World Scientific: London, 2014. [Google Scholar] [CrossRef]
  61. Knoop, M.; Marzoli, I.; Morigi, G. (Eds.) Ion Traps for Tomorrow Applications; Vol. 189, Proc. Int. School of Physics Enrico Fermi, Società Italiana di Fisica and IOS Press: Bologna, 2015. [Google Scholar]
  62. Kajita, M. Ion Traps; IOP Publishing, 2022. [CrossRef]
  63. Drewsen, M. Ion Coulomb crystals and their applications. Ion Traps for Tomorrow’s Applications; Knoop, M.; Marzoli, I.; Morigi, G., Eds. International School of Physics “Enrico Fermi”, Inst. of Physics, Amsterdam, and Societa Italiana di Fisica, Bologna, 2015, Vol. 189, pp. 81 – 101. [CrossRef]
  64. Drewsen, M. The linear-zigzag structural transition in cold ion chains. Ion Traps for Tomorrow’s Applications; Knoop, M.; Marzoli, I.; Morigi, G., Eds. International School of Physics “Enrico Fermi”, Inst. of Physics, Amsterdam, and Societa Italiana di Fisica, Bologna, 2015, Vol. 189, pp. 103 – 114. [CrossRef]
  65. Joshi, M.K.; Fabre, A.; Maier, C.; Brydges, T.; Kiesenhofer, D.; Hainzer, H.; Blatt, R.; Roos, C.F. Polarization-gradient cooling of 1D and 2D ion Coulomb crystals. New J. Phys. 2020, 22, 103013. [Google Scholar] [CrossRef]
  66. Spivey, R.F.; Inlek, I.V.; Jia, Z.; Crain, S.; Sun, K.; Kim, J.; Vrijsen, G.; Fang, C.; Fitzgerald, C.; Kross, S.; Noel, T.; Kim, J. High-Stability Cryogenic System for Quantum Computing With Compact Packaged Ion Traps. IEEE Trans. Quant. Eng. 2022, 3, 1–11. [Google Scholar] [CrossRef]
  67. Zhukas, L.A.; Millican, M.J.; Svihra, P.; Nomerotski, A.; Blinov, B.B. Direct Observation of Ion Micromotion in a Linear Paul Trap. Phys. Rev. A 2021, 103, 023105. [Google Scholar] [CrossRef]
  68. Rudyi, S.S.; Romanova, A.V.; Rozhdestvensky, Y.V. Numerical analysis of phase transitions in ion Coulomb crystals. Comput. Part. Mech. 2023. [Google Scholar] [CrossRef]
  69. Rudyi, S.; Ivanov, A.; Shcherbinin, D. Fractal Quasi-Coulomb Crystals in Ion Trap with Cantor Dust Electrode Configuration. Fractal Fract. 2023, 7. [Google Scholar] [CrossRef]
  70. Duca, L.; Mizukami, N.; Perego, E.; Inguscio, M.; Sias, C. Orientational Melting in a Mesoscopic System of Charged Particles. Phys. Rev. Lett. 2023, 131, 083602. [Google Scholar] [CrossRef] [PubMed]
  71. Mihalcea, B.M.; Lynch, S. Investigations on Dynamical Stability in 3D Quadrupole Ion Traps. Appl. Sci. 2021, 11, 2938. [Google Scholar] [CrossRef]
  72. Farrelly, D.; Howard, J.E. Double-well dynamics of two ions in the Paul and Penning traps. Phys. Rev. A 1994, 49, 1494–1497. [Google Scholar] [CrossRef]
  73. Burgermeister, T.; Mehlstäubler, T.E. Creation and dynamics of topological defects in ion Coulomb crystals. Ion Traps for Tomorrow’s Applications; Knoop, M.; Marzoli, I.; Morigi, G., Eds. International School of Physics “Enrico Fermi”, Inst. of Physics, Amsterdam, and Societa Italiana di Fisica, Bologna, 2015, Vol. 189, pp. 115 – 125. [CrossRef]
  74. Wen, W.; Zhu, S.; Xie, Y.; Ou, B.; Wu, W.; Chen, P.; Gong, M.; Guo, G. Generalized Kibble-Zurek mechanism for defects formation in trapped ions. Sci. China: Phys. Mech. Astron. 2023, 66, 280311. [Google Scholar] [CrossRef]
  75. Blanch, G. On the Computation of Mathieu Functions. J. Mathematics and Physics 1946, 25, 1–20. [Google Scholar] [CrossRef]
  76. McLachlan, N.W. Theory and application of Mathieu functions; Vol. 1233, Dover Publications: New York, 1964. [Google Scholar]
  77. Pedregosa-Gutierrez, J.; Champenois, C.; Kamsap, M.R.; Hagel, G.; Houssin, M.; Knoop, M. Symmetry breaking in linear multipole traps. J. Mod. Optics 2018, 65, 529–537. [Google Scholar] [CrossRef]
  78. Brewer, R.G.; Hoffnagle, J.; DeVoe, R.G.; Reyna, L.; Henshaw, W. Collision-induced two-ion chaos. Nature 1990, 344, 305–309. [Google Scholar] [CrossRef]
  79. Hoffnagle, J.; Brewer, R.G. On the Frequency-Locked Orbits of Two Particles in a Paul Trap. Science 1994, 265, 213–215. [Google Scholar] [CrossRef]
  80. Mihalcea, B.M. Squeezed coherent states of motion for ions confined in quadrupole and octupole ion traps. Ann. Phys. (N. Y.) 2018, 388, 100–113. [Google Scholar] [CrossRef]
  81. Coelho, S.S.; Queiroz, L.; Alves, D.T. Squeezing equivalence of quantum harmonic oscillators under different frequency modulations. Phys. Scr. 2024, 99, 085104. [Google Scholar] [CrossRef]
  82. Hassani, S. Mathematical Methods: For Students of Physics and Related Fields, 2nd ed.; Physics and Astronomy, Springer: New York, NY, 2009. [Google Scholar] [CrossRef]
  83. Riley, K.F.; Hobson, M.P. Essential Mathematical Methods for the Physical Sciences; Cambridge Univ. Press: Cambridge, 2011. [Google Scholar]
  84. Hassani, S. Mathematical Physics: A Modern Introduction to Its Foundations, 2nd ed.; Physics and Astronomy, Springer: Cham, 2013. [Google Scholar] [CrossRef]
  85. Pence, T.J.; Wichman, I.S. Essential Mathematics for Engineers and Scientists; Cambridge Univ. Press: Cambridge, 2020. [Google Scholar] [CrossRef]
  86. Richards, D. Advanced Mathematical Methods with Maple; Cambridge Univ. Press: Cambridge, 2009. [Google Scholar]
  87. Kramer, P.; Saraceno, M. (Eds.) Geometry of the Time-Dependent Variational Principle in Quantum Mechanics; Vol. 140, Lecture Notes in Physics, Springer: Berlin, 1981. [Google Scholar] [CrossRef]
  88. Ceausescu, V.; Gheorghe, A. Classical limit and quantization of hamiltonian systems. Symmetries and Semiclassical Features of Nuclear Dynamics; Raduta, A.A., Ed.; Springer: Berlin, 1987. [Google Scholar] [CrossRef]
  89. Mihalcea, B. CoherentStates for Trapped Ions: Applications in Quantum Opticsand Precision Measurements. In CPT and Lorentz Symmetry; World Scientific: Singapore, 2023; pp. 192–195. [Google Scholar] [CrossRef]
  90. Mihalcea, B.M. Semiclassical dynamics for an ion confined within a nonlinear electromagnetic trap. Phys. Scr. 2011, T143, 014018. [Google Scholar] [CrossRef]
  91. Schlipf, S. From a Single Ion to a Mesoscopic System: Crystalization of Ions in Paul Traps. Coherent and Collective Interactions of Particles and Radiation Beams; Aspect, A.; Barletta, W.; Bonifacio, R., Eds. IOS Press, 1996, Vol. 131, Proc. Int. School Phys. "Enrico Fermi", pp. 61 – 99. [CrossRef]
  92. Mihalcea, B.M.; Filinov, V.S.; Syrovatka, R.A.; Vasilyak, L.M. The physics and applications of strongly coupled Coulomb systems (plasmas) levitated in electrodynamic traps. Phys. Rep. 2023, 1016, 1–103. [Google Scholar] [CrossRef]
  93. Abramowitz, M.; Stegun, I.A. (Eds.) Mathieu Functions; Vol. 55, Appl. Math. Series, US Dept. of Commerce; National Bureau of Standards: Washington, DC, 1972; chapter 20; pp. 722–750. [Google Scholar]
  94. Bateman, J. Higher transcendental functions; Vol. 3, Robert E. Krieger Publishing: Malabar, Florida, 1981. [Google Scholar]
  95. Daniel, D.J. Exact solutions of Mathieu’s equation. Prog. Theor. Exp. Phys. 2020, 2020, 043A01. [Google Scholar] [CrossRef]
  96. Moussa, R.A. Generalization of Ince’s Equation. J. Appl. Math. Phys. 2014, 2, 1171–1182. [Google Scholar] [CrossRef]
  97. Tibaduiza, D.M.; Pires, L.; Szilard, D.; Zarro, C.A.D.; Farina, C.; Rego, A.L.C. A Time-Dependent Harmonic Oscillator with Two Frequency Jumps: an Exact Algebraic Solution. Brazilian J. Phys. 2020, 50, 634–646. [Google Scholar] [CrossRef]
  98. Combescure, M. Crystallization of trapped ions—A quantum approach. Ann. Phys. (N. Y.) 1990, 204, 113–123. [Google Scholar] [CrossRef]
  99. Dodonov, V.V.; Man’ko, V.I.; Rosa, L. Quantum singular oscillator as a model of a two-ion trap: An amplification of transition probabilities due to small-time variations of the binding potential. Phys. Rev. A 1998, 57, 2851–2858. [Google Scholar] [CrossRef]
  100. Lewis, H.R.; Riesenfeld, W.B. An Exact Quantum Theory of the Time-Dependent Harmonic Oscillator and of a Charged Particle in a Time-Dependent Electromagnetic Field. J. Math. Phys. 1969, 10, 1458–1473. [Google Scholar] [CrossRef]
  101. Landa, H.; Drewsen, M.; Reznik, B.; Retzker, A. Classical and quantum modes of coupled Mathieu equations. J. Phys. A: Math. Theor. 2012, 45, 455305. [Google Scholar] [CrossRef]
  102. Mihalcea, B.M. A quantum parametric oscillator in a radiofrequency trap. Phys. Scr. 2009, T135, 014006. [Google Scholar] [CrossRef]
  103. Sträng, J.E. On the characteristic exponents of Floquet solutions to the Mathieu equation. Bull. Acad. R. Belg. 2005, 16, 269–287. [Google Scholar] [CrossRef]
  104. Jones, T. Mathieu’s Equations and the ideal RF-Paul Trap. http://einstein.drexel.edu/~tim/open/mat/mat.pdf, accessed on 21. 05. 2024.
  105. Sevugarajan, S.; Menon, A.G. Transition curves and iso-βu lines in nonlinear Paul traps. Int. J. Mass Spectrom. 2002, 218, 181–196. [Google Scholar] [CrossRef]
  106. Peik, E. Optical Atomic Clocks. In Photonic Quantum Technologies; Benyoucef, M., Ed.; Wiley, 2023; chapter 14, pp. 333 – 348. [CrossRef]
  107. Katz, O.; Cetina, M.; Monroe, C. Programmable N-Body Interactions with Trapped Ions. PRX Quantum 2023, 4, 030311. [Google Scholar] [CrossRef]
  108. Spampinato, A.; Stacey, J.; Mulholland, S.; Robertson, B.I.; Klein, H.A.; Huang, G.; Barwood, G.P.; Gill, P. An ion trap design for a space-deployable strontium-ion optical clock. Proc. R. Soc. A 2024, 480, 20230593. [Google Scholar] [CrossRef]
  109. van Eijkelenborg, M.A.; Dholakia, K.; Storkey, M.E.M.; Segal, D.M.; Thompson, R.C. A driven, trapped, laser cooled ion cloud: a forced damped oscillator. Opt. Commun. 1999, 159, 169–176. [Google Scholar] [CrossRef]
  110. Zhang, L.; Zhang, W. Lie transformation method on quantum state evolution of a general time-dependent driven and damped parametric oscillator. Ann. Phys. 2016, 373, 424–455. [Google Scholar] [CrossRef]
  111. Weyl, H. Meromorphic Functions and Analytic Curves; Vol. 12, Annals of Mathematics Studies, Princeton Univ. Press - De Gruyter: New Jersey, 2016. [Google Scholar] [CrossRef]
  112. Moore, M.; Blümel, R. Quantum manifestations of order and chaos in the Paul trap. Phys. Rev. A 1993, 48, 3082–3091. [Google Scholar] [CrossRef]
  113. Hoffnagle, J.A.; Brewer, R.G. Stability of two-ion crystals in the Paul trap: A comparison of exact and pseudopotential calculations. Appl. Phys. B 1995, 60, 113–117. [Google Scholar] [CrossRef]
  114. Paul, W. Electromagnetic traps for charged and neutral particles. Rev. Mod. Phys. 1990, 62, 531–540. [Google Scholar] [CrossRef]
  115. Blümel, R. Nonlinear dynamics of trapped ions. Phys. Scr. 1995, T59, 369–379. [Google Scholar] [CrossRef]
  116. Blümel, R.; Bonneville, E.; Carmichael, A. Chaos and bifurcations in ion traps of cylindrical and spherical design. Phys. Rev. E 1998, 57, 1511–1518. [Google Scholar] [CrossRef]
  117. Tandel, D.D.; Chatterjee, A.; Mohanty, A.K. Quadrupole ion trap with dipolar DC excitation: motivation, nonlinear dynamics, and simple formulas. Nonlin. Dyn. 2023, 111, 15837–15852. [Google Scholar] [CrossRef]
  118. Affolter, M.; Ge, W.; Bullock, B.; Burd, S.C.; Gilmore, K.A.; Lilieholm, J.F.; Carter, A.L.; Bollinger, J.J. Toward improved quantum simulations and sensing with trapped two-dimensional ion crystals via parametric amplification. Phys. Rev. A 2023, 107, 032425. [Google Scholar] [CrossRef]
  119. Gheorghe, V.N.; Giurgiu, L.; Stoican, O.; Cacicovschi, D.; Molnar, R.; Mihalcea, B. Ordered Structures in a Variable Length AC Trap. Acta Phys. Pol. A 1998, 93, 625–629. [Google Scholar] [CrossRef]
  120. Kulkarni, P.; Baron, P.A.; Willeke, K. (Eds.) Aerosol Measurement: Principles, Techniques and Applications, 3rd ed.; Wiley: Hoboken, New Jersey, 2011. [Google Scholar] [CrossRef]
  121. Syrovatka, R.A.; Filinov, V.S.; Vasilyak, L.M.; Pecherkin, V.Y.; Deputatova, L.V.; Vladimirov, V.I.; Popel, O.S.; Tarasenko, A.B. Cleaning dielectric surfaces by the electrical fields of the linear electrodynamic Paul trap. J. Electrostat. 2021, 112, 103583. [Google Scholar] [CrossRef]
  122. Rybin, V.; Shcherbinin, D.; Semynin, M.; Gavenchuk, A.; Zakharov, V.; Ivanov, A.; Rozhdestvensky, Y.; Rudyi, S. Novel nonlinear damping identification method: Simultaneous size, mass, charge and density measurements of a microparticle in quadrupole trap. Powder Technol. 2023, 427, 118717. [Google Scholar] [CrossRef]
  123. Winter, H.; Ortjohann, H.W. Simple demonstration of storing macroscopic particles in a "Paul trap". Am. J. Phys. 1991, 59, 807–813. [Google Scholar] [CrossRef]
  124. Hasegawa, T.; Uehara, K. Dynamics of a single particle in a Paul trap in the presence of the damping force. Appl. Phys. B 1995, 61, 159–163. [Google Scholar] [CrossRef]
  125. Mihalcea, B.M.; Visan, G.T.; Giurgiu, L.C.; Radan, S. Optimization of ion trap geometries and of the signal to noise ratio for high resolution spectroscopy. J. Optoelectron. Adv. Mat. 2008, 10, 1994–1998. [Google Scholar]
  126. Rudyi, S.S.; Vovk, T.A.; Kosternoi, I.A.; Rybin, V.V.; Rozhdestvensky, Y.V. Single-phase multipole radiofrequency trap. AIP Adv. 2020, 10, 085016. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.

Downloads

197

Views

79

Comments

0

Subscription

Notify me about updates to this article or when a peer-reviewed version is published.

Email

Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2025 MDPI (Basel, Switzerland) unless otherwise stated