arXiv:1703.02893v3 [physics.gen-ph] 19 Feb 2018 with ntefloigw kptedmninlidctrand indicator dimensional the skip write we simply following the In eso and mension and qain fmto a ewitnas written be can motion of equations ihtesmercmatrix symmetric the with hr h vro niae h eiaiewt respect variable, with derivative time-like the a indicates to overdot the where a) Hamilton Specific of Exponentials for Expressions Analytic F rlcascloclao with oscillator classical eral INTRODUCTION I. o,frisac nlna ope inba)optics. beam) (ion coupled linear in Let instance for dom, et ihteHmloinfunction Hamiltonian the with menta ia yaia ytmwith system dynamical sical q 1 i lcrncmi:[email protected] mail: Electronic ee,OnadHall and Offin Meyer, = aitna arcsaeotndrvdfo h gen- the from derived often are matrices Hamiltonian r h aoia oriae and coordinates canonical the are nitouto nolna aitna hoycnb found be can theory Hamiltonian linear into introduction An ψ γ γ n 0 0 ( = A lcso ie2 size of blocks stes-aldsmlci ntmatrix: unit symplectic so-called the is ecieamto ocmueaayi omlsfrtemti expo matrix the for cor formulas the optic analytic of beam compute exponentials ion to 4 the dimensions in method are instance a which for eng describe as matrices and physics systems transfer in dynamical symplectic problems linear or variety of a evolution in appear matrices Hamiltonian 2018) February 20 (Dated: Switzerland Institute, Scherrer Paul Baumgarten C. ewrs aitna ehnc,CuldOscillators Coupled mechanics, Hamiltonian beamline. 05.45.Xt the Keywords: the 47.10.Df, which along 45.20.Jj, in positions numbers: cases or PACS for time speedup in points a different is of method number this a of advantage main The ehdt opt h offiinso h hrceitcpolynomia characteristic the 2 of of coefficients solutions the the compute to method q scle aitna n holds and Hamiltonian called is 1 p , γ η ψ 1 ˙ 0 fw xlctl ee to refer explicitely we if , q , . . . , = o h ypetcui arxo n di- any of matrix unit symplectic the for γ γ 0 ( 0 n η ∇ 1 ) n H F × . = p , Diag( = ψ 1 × n 6 and 4 = = H ∇ n  2 ) n γ ψ 2 1 T = − 0 × 1 0 ψ F etesaevco faclas- a of vector state the be stepaesaegradient space phase the is n 0 1 γ 2 n T A T ,...,η , . . . η, 0 ere ffedm where freedom, of degrees × n A hnteHamiltonian the then , A γ ope ere ffree- of degrees coupled mtie hnteroso h hrceitcplnmasaecom are polynomials characteristic the of roots the when -matrices .Temto sbsdo h alyHmlo hoe n h Fadd the and theorem Cayley-Hamilton the on based is method The 6.  0 ψ ψ . . = p i ) H F h aoia mo- canonical the . γ , ψ 0 ie by given (1) a) h matrix The . 1 (3) (4) (1) (2) (5) in ple oalHmloinmtie ihzr,ra or real zero, with sym- matrices use Hamiltonian be to can all it method to that The advantage applied the has coordinates. transformations plectic original solution the the the obtain applies in to one transformation done, symplectic been inverse has exponentiation the After hntemti xoeta a ietyb ovdby solved be formula Euler’s directly using can exponentiation exponential blockwise matrix the Then eapidieaieyt 2 can to which iteratively form, applied normal be to eigenvalues zero or imaginary 4 transforms that ehd,acttcloeve a efudi e.( Ref. in ( found be Ref. can In overview crtitical a methods, eemn euneo ypetctransformations symplectic of sequence a determine h system The h arxepnnilof exponential matrix The ssmlci ic tcnb hw that shown be can it since symplectic is a h tagtowr solution straightforward the has h arxepnnil(h tase matrix”) “transfer (the exponential matrix The 2 imaginary. h omlfr sgvnby given is form normal The oethat Note x ( exp 2 edsrbdasrihfradmto to method straightforward a described we ) η 2 F τ η ω = Diag( = .Tepeetdmto setne to extended is method presented The l. − epnigHmloinmtie.We matrices. Hamiltonian responding ψ 1 ( = ) × τ M n hence and etaso aitna arcsof matrices Hamiltonian of nentials M xoeta a ob optdfor computed be to has exponential x ( exp = ) neig otyrltdt h time the to related mostly ineering, aitna arcswt real, with matrices Hamiltonian 4 .Tetm vlto sgvnby given is evolution time The s. ( 1 τ T ω ψ x ( exp = ) ˙ 1 γ o ( cos = 0 ,ω η, n F M a Matrices ian F × a ecmue yvarious by computed be can η τ ω F 2 , ψ = 2 sarpeetto fteunit the of representation a is ,...,ω , . . . η, τ n + ) ) F γ ψ 0 aitna matrices. Hamiltonian τ . (0) η (8) ) ue numerically. puted i ( sin n . η ) τ ω . eev-LeVerrier ) . 2 : (11) (10) 3,4 R (9) (6) (7) ). k 2 imaginary eigenvalues without restriction, that it is nu- Hence the 2 n-th power of the matrix can be expressed as merically stable and that it does not only allow to com- a linear combination of lower powers. Thus the matrix pute the matrix exponential, but yields the eigenvalues exponential for a matrix of size 2 n × 2 n can be written (and eigenvectors, if required2) as well. as: However, there are alternative methods that might be 2n−1 superior, if the complete information given by the sym- M(τ)= x (τ) Fk . (18) plectic decoupling transformation is not used or if the k k problem is large and the decoupling numerically too ex- X=0 pensive. A simple method specifically for small values The problem is therefore solved by the determination of of τ would be the direct evaluation of the (truncated) the coefficient functions xk(τ). As the time derivative of exponential series M is M F, one may write:

k max Fk τ k 2n−1 M(τ)= (12) M˙ (τ)= x (τ) Fk+1 , (19) k! k k=0 k X X=0 However, besides known stability issues3,4, this method and also does (without further measures) not ensure that the ma- 2n−1 trix M is symplectic, which results in changes of energy M˙ (τ)= x˙ (τ) Fk . (20) or emittance. Furthermore, the number of matrix mul- k k tiplications for a given accuracy can be large and the X=0 accuracy depends on the value of τ. The highest matrix power in Eq. 19 is then be replaced by the use of the Cayley-Hamilton theorem and one obtains effectively a set of linear differential equations for the II. TRACE OPERATOR AND EIGENVALUE SPECTRUM coefficient functions xk(τ).

It is easy to verify that any odd power of a Hamiltonian matrix is again Hamiltonian while every even power is III. THE FADDEEV-LEVERRIER ALGORITHM skew-Hamiltonian:

2k+1 2k+1 T Let us express the eigenvalues λk by λk = iωk so that F = γ0 (F ) γ0 2k 2k T (13) the characteristic polynomial can be written as F = −γ0 (F ) γ0 n 2 2 Since Hamiltonian matrices are the product of a symmet- p(x)= (x + ωk) (21) ric and a skew-symmetric matrix, they have zero trace - k=1 and hence all odd powers have zero trace as well: Y The traces of the even matrix potentials allow to define 2k+1 Tr(F )=0 . (14) tk according to

n As shown in Ref. (1), if λ is an eigenvalue of a Hamil- 1 t = (−1)k Tr(F2k)= ω2k (22) tonian matrix, then −λ is also an eigenvalue. Hence the k 2 j j=1 characteristic polynomial of a Hamiltonian matrix has X the form such that n n n − 2 − 2 2 p(x)= (x λj ) (x + λj )= (x λj ) (15) t1 = ωj j=1 j=1 j=1 Y Y Pn t = ω4 and the sums of powers of the eigenvalues can be obtained 2 j j=1 (23) n from: P 6 t3 = ωj n j=1 Tr(F2k)=2 λ2k . (16) . P j . . j=1 X According to the Cayley-Hamilton theorem any matrix Now we define the following sequence: solves its own characteristic equation. For an arbitary p = 1 2 n × 2 n-matrix F this implies that 0 p1 = t1 n 2 n 1 − k (24) k pn+1 = n+1 ( 1) pn−k tk+1 ck F =0 . (17) k=0 k P X=0 3 such that Hence the matrix F is regular, if pn =6 0. If F has two vanishing pairs of eigenvalues, then the last two coeffi- p2 = (p1 t1 − p0 t2)/2 cients vanish, pn = pn−1 = 0, and so on. p3 = (p2 t1 − p1 t2 + p0 t3)/3 Hence the Faddeev-LeVerrier evaluation of the traces (25) p4 = (p3 t1 − p2 t2 + p1 t3 − p0 t4)/4 of the matrix monomials allows not only to obtain the . . characteristic polynomial, but also to determine the num- ber of non-zero eigenvalues of the matrix F, i.e. to decide Then the characteristic polynomial p(x) of the matrix F whether the matrix is singular. is

n IV. 4 × 4-MATRICES 2k p(x)= x pn−k (26) k X=0 In the following we show how the method can be ap- × This is known as Faddeev-LeVerrier algorithm5–7. plied to the (important) special case of 4 4 Hamiltonian ± In the case of 4 × 4 Hamiltonian matrices with two matrices. There are two pairs of eigenvalues iω1 and ± pairs of eigenvalues one obtains for instance: iω2. If these eigenvalues are distinct, then the charac- teristic polynomial is (Eqs. 26,27): t = ω2 + ω2 4 2 1 1 2 x + p1 x + p2 = 0 (32) 4 4 t2 = ω1 + ω2 p0 = 1 with p = t 2 2 1 1 (27) p1 = ω1 + ω2 − 2 2 (33) p2 = (p1 t1 p0 t2)/2 p2 = ω1 ω2 . 2 2 2 4 4 = ((ω1 + ω2) − (ω1 + ω2))/2 2 2 Multiplication of the first Eq. 33 with either ω2 or ω2 = ω1 ω2 1 2 gives 3: 2 4 2 2 ω1 p1 = ω1 + ω2 ω1 The polynomial then is 2 2 2 4 ω2 p1 = ω2 ω1 + ω2 (34) 4 2 4 2 0 = ω − ω p1 + p2 0 = x + p1 x + p2 4 2 2 2 2 2 0 = x + (ω1 + ω2) x + ω1 ω2 (28) The frequencies are then given by 2 2 2 2 0 = (x + ω1) (x + ω2) 2 p1 p1 ω1 = ± 2 + 4 − p2 such that the eigenvalues are ± iω1 and ± iω1, as ex- r q pected. p2 (35) ω = ± p1 − 1 − p In case of dimension 6 × 6, we find 2 2 4 2 r q 2 2 2 t1 = ω1 + ω2 + ω3 4 4 4 and the characteristic equation of F yields t2 = ω1 + ω2 + ω3 6 6 6 4 2 t3 = ω1 + ω2 + ω3 F = −F p1 − p2 . (36) p0 = 1 2 2 2 The time derivatives of M give, according to Eqs. (19) p1 = t1 = ω + ω + ω 1 2 3 (29) and (20): p2 = (p1 t1 − p0 t2)/2 2 2 2 2 2 2 ˙ = ω1 ω2 + ω2 ω3 + ω1 ω3 M = M F p3 = (p2 t1 − p1 t2 + p0 t3)/3 F F2 F3 F4 2 2 2 = x0 + x1 + x2 + x3 = ω ω ω 2 3 2 1 2 3 = x0 F + x1 F + x2 F − x3 (p2 + p1 F ) (37) 2 3 = −p2 x3 + x0 F + (x1 − p1 x3) F + x2 F M˙ F F2 F3 If we insert these coefficients into Eq. 26, it is easily seen =x ˙ 0 +x ˙ 1 +x ˙ 2 +x ˙ 3 that we again find the characteristic polynomial. Obvi- so that ously the coefficient p1 equals the sum x˙ 0 = −p2 x3 n x˙ 1 = x0 2 p1 = ωk , (30) x˙ 2 = x1 − p1 x3 (38) k x˙ 3 = x2 X=1 and pn the product of all squared eigenfrequencies:

n 2 3 As we had chosen before to write the eigenvalues as λk = iωk, pn = ω . (31) k we obtain a sign change of the k-th power with k mod4 = 2. k Y=1 4

T or, written with x = (x0, x1, x2, x3) in matrix form: A. Degenerate 4 × 4-Matrices ˙x = G x If the system is degenerate ω = ω = ω =6 0, then one x˙ 0 0 0 −p x 1 2 0 2 0 might think that we obtain Eq. 39 and Eq. 33: x˙ 1 100 0 x1 (39) = 4  x˙ 2   0 1 0 −p1   x2  0 0 0 −ω x˙ 3 001 0 x3 100 0       ˙x = x (44)        0 1 0 −2 ω2  This equation could again be solved by the matrix expo- G  001 0  nential - of - so it does not seem that we gained much.   However, the number of variables is now reduced from 10 This, however, is wrong: The square of the degenerate in F to 2, namely to p1 and p2 in G, and the matrix form 4 × 4-Matrix F is proportional to the unit matrix of G allows for a (more or less) direct solution. Note that F E E−1 the matrix G fulfills the same characteristic equation as = Diag(i ω, −i ω, i ω, −iω) F2 E 2 2 2 2 E−1 2 1 F and therefore has the same eigenvalues, i.e. is similar = Diag(−ω , −ω , −ω , −ω ) = −ω to F. Furthermore we know from Eq. 12 in combination (45) such that the 4 × 4 problem “collapses” and reduces ef- with the characteristic equation, that x0 and x2 are even fectively to the case of a 2 × 2-matrix so that functions of τ while x1 and x3 are odd, so that M(τ)= 1 cos(ω τ)+ F/ω sin (ω τ) . (46) x0(−τ) = x0(τ) x (−τ) = −x (τ) 1 1 (40) x (−τ) = x (τ) 2 2 B. Singular 4 × 4-Matrices x3(−τ) = −x3(τ)

lim M 1 x T If both eigenvalues vanish, then p1 = p2 = 0 and the and from τ→0 (τ) = we have (0) = (1, 0, 0, 0) . Therefore we make the following Ansatz such that the solution of Eq. 39 is readily solved by direct integration. second and fourth of Eq. 38 are already fulfilled: In combination with the boundary and symmetry condi- tions it follows that (1) (2) x0(τ) = x cos(ω1 τ)+ x cos(ω2 τ) 0 0 x0 = 1 x(1) x(2) 0 0 x = τ x1(τ) = ω sin (ω1 τ)+ ω sin (ω2 τ) 1 1 2 (41) 2 (47) (1) (2) x2 = τ /2 x2(τ) = x2 cos(ω1 τ)+ x2 cos(ω2 τ) 3 (1) (2) x3 = τ /6 , x2 x2 x3(τ) = ω sin (ω1 τ)+ ω sin (ω2 τ) 1 2 such that the “truncated power series” is the exact solu- (1) 2 (1) tion: The remaining equations are fulfilled, if x0 = ω2 x2 (2) 2 (2) x 2 2 3 3 and x0 = ω1 x2 . The starting condition (0) = M(τ)= 1 + F τ + F τ /2+ F τ /6 . (48) T (1) (2) (1) (1, 0, 0, 0) requires that x0 + x0 = 1 and x2 = (2) This special case in which all eigenvalues vanish, can im- −x2 = x2 so that we finally obtain: mediately be generalized to any matrix dimension.

(2) 2 If one of the two eigenvalues is zero, then p2 = 0 but x = ω x2 2 0 1 p1 = ω =6 0 and the solution of Eq. 39 is a mixture of (1) 2 x0 = −ω2 x2 both cases: 2 2 (ω1 − ω2) x2 = 1 2 x˙ 0 000 0 x0 (2) ω1 x0 = ω2 ω2 1 − 2 (42) x˙ 1 100 0 x1 (1) ω2 = 2 (49) 2  x˙ 2   0 1 0 −ω   x2  x0 = − ω2−ω2 1 2 x˙ x (1) 1  3   001 0   3  x2 = − 2 2 ω1 −ω2       (2) 1 so that the integration results in accordance with the x2 = ω2−ω2 T 1 2 boundary conditions x(0) = (1, 0, 0, 0) :

The conditions x1(0) = 0 and x3(0) = 0 are automati- x0 = 1 cally fulfilled. Hence we can compute the matrix expo- x1 = τ F F2 F4 (50) nential of by computing the trace of and and x2 = c0 (cos (ω τ) − 1) solving a second order polynomial. τ x3 = 2 + c1 sin (ω τ) . The solution can be generalized straightforward to in- ω clude real eigenvalues (e.g. imaginary frequencies) by the The constants are obtained from the third row of Eq. 49: use of the relations x˙ 2 = −c0 ω sin (ω τ) 2 sin (i x) = i sinh (x) = x1 − ω x3 (51) (43) 2 cos(i x) = cosh(x) = −c1 ω sin (ω τ)) 5 so that the previous section.

(k) x4(τ) = x4 cos(ωk τ) c0 = ωc1 (52) k x (τ) = P x(k) sin (ωk τ) 5 4 ωk 1 k And finally fromx ˙ = x it follows that c = − . Hence k 3 2 1 ω3 P ( ) p3 x0(τ) = x4 ω2 cos(ωk τ) the solution is k k (k) p3 x1(τ) = P x4 3 sin (ωk τ) ωk 1 − cos(ω τ) 2 τω − sin (ω τ) 3 k (58) M 1 F F F (k) p −p ω2 (τ)= + τ + 2 + 3 . P 3 2 k ω ω x2(τ) = x4 (− ω4 ) cos(ωk τ) (53) k k k p −p ω2 P ( ) 3 2 k x3(τ) = x4 (− ω5 ) sin (ωk τ) k k k p −p ω2 p ω4 P ( ) 3 2 k + 1 k x4(τ) = x4 ( ω6 ) cos(ωk τ) k k V. MATRIX EXPONENTIAL FOR SP(6) P The boundary conditions are now: Consider a non-singular and non-degenerate Hamilto- k nian matrix F of dimension 6 × 6; the coefficients of the ( ) p3 x0(0) = x4 ω2 =1 characteristic equation are given in Eq. 29. The Caley- k k k p −p ω2 P ( ) 3 2 k Hamilton theorem can be expressed as x2(0) = x4 (− ω4 )=0 (59) k k k p −p ω2 p ω4 P ( ) 3 2 k+ 1 k F6 F4 F2 x4(0) = x4 ( ω6 )=0 , = −p1 − p2 − p3 . (54) k k P which can be written in matrix form as The matrix exponential can therefore be expressed by six (1) terms: x4 1 P (2) 0  x4  = (60) 5 (3)  0  M Fk x = xk(τ)  4  k=0     5 where M˙ P Fk = x˙ k(τ) (55) p3 p3 p3 k=0 2 2 2 ω1 ω2 ω3 5 p p ω2 p p ω2 p p ω2 ˙ P k+1 3− 2 1 3− 2 2 3− 2 3 M = M F = xk(τ) F P = 4 4 4 .  ω1 ω2 ω3  k=0 2 4 2 4 2 4 p3−p2 ω1 +p1 ω1 p3−p2 ω2 +p1 ω2 p3−p2 ω3 +p1 ω3 P  ω6 ω6 ω6   1 2 3  so that with  (61) If one replaces pk with the expressions of Eq. 29, one obtains x˙ 0 = −x5 p3 x˙ = x (1) 1 1 0 x4 = 2 2 2 2 (ω1 −ω2 )(ω1 −ω3 ) x˙ 2 = x1 − x5 p2 (2) 1 (56) x4 = 2 2 2 2 (62) x˙ 3 = x2 (ω2 −ω1 )(ω2 −ω3 ) (3) 1 x˙ 4 = x3 − x5 p1 x4 = 2 2 2 2 (ω3 −ω1 )(ω3 −ω2 ) x˙ 5 = x4 one obtains the equation system: A. Singular 6 × 6 Matrices

˙x = G x In case of a single vanishing Eigenvalue ω3 =0of6 × 6 Matrices, one obtains the following coefficients: 00000 −p3 10000 0 x0(τ) = 1  01000 −p2  (57) G = x1(τ) = τ 00100 0 4 4   (cos (ω1 τ)−1) ω2 −(cos (ω2 τ)−1) ω1 x2(τ) = 2 2 2 2  00010 −p1  ω1 ω2 (w1 −w2 )   ω τ −ω τ ω5− ω τ −ω τ ω5   (sin ( 1 ) 1 ) 2 (sin ( 2 ) 2 ) 1 00001 0 x3(τ) = 3 3 2 2   ω1 ω2 (w1 −w2 ) (63)   2 2 (cos (ω1 τ)−1) ω2 −(cos (ω2 τ)−1) ω1 x4(τ) = 2 2 2 2 ω1 ω2 (w1 −w2 ) The construction of the system is such that for a known 3 3 (sin (ω1 τ)−ω1 τ) ω2 −(sin (ω2 τ)−ω2 τ) ω1 x the remaining coefficients can be computed straight- x5(τ) = 3 3 2 2 4 ω1 ω2 (w1 −w2 ) forward if the system is purely oscillatory as assumed in 6

k In case of two vanishing Eigenvalues ω2 = ω3 = 0 and 1. Compute the 2 n matrix powers F with k ∈ ω1 = ω, the coefficients are given by [1 ... 2 n].

x0(τ) = 1 2. Compute the n matrix traces to determinne tk ac- x1(τ) = τ cording to Eq. 22. 2 x2(τ) = τ /2 3 x3(τ) = τ /6 (64) 3. Use Faddeev-LeVerrier method according to Eq. 24 2 cos(ωτ)−1 τ to obtain n coefficients pk of the characteristic poly- x4(τ) = ω4 + 2 ω2 sin (ωτ)−ωτ τ 3 nomial. x5(τ) = ω5 + 6 ω2 4. Count the number of zero eigenvalue-pairs m: the first 2 m functions xk(τ) are the monomials xk(τ)= k τ for k ∈ [0 ... 2m − 1]. VI. MATRIX EXPONENTIAL FOR SP(2N) k! 5. If n>m, compute the N = n − m non-zero eigen- The generalization of Sp(6) to Sp(2n) is straightfor- value pairs, e.g. the roots of the characteristic poly- ward for the non-singular (non-degenerate) case and can nomial. For N ≤ 4, this can be done directly, for be summarized as follows: N > 4 this has to be done numerically. Fk 1. Compute the 2 n matrix powers with k ∈ 6. Solve the remaining terms of Eq. 66 as described [1 ... 2 n]. below,

2. Compute the n matrix traces to determinne tk ac- cording to Eq. 22. We gave some examples of how to solve Eq. 66, but we did not yet give a generally applicable solution for 3. Use Faddeev-LeVerrier method according to Eq. 24 arbitary n. Consider the first steps have been done, i.e. to obtain n coefficients pk of the characteristic poly- all tk and pk for k ∈ [1 ...n] are known. Let m ≥ 0 be the nomial. number of vanishing pk, i.e. pn+1−j = 0 for j ∈ [1 ...m], then there are m eigenvalue pairs equal to zero. Consider 4. Compute the n eigenvalues as roots of the charac- the root-solution for x2n−1(τ) is written as: teristic polynomial by known numerical methods8. (k) x2 n−1(τ)= P2n−1(τ)+ s n− sin (ωk τ) , (67) 5. x2n−2 can be computed from the eigenvalues λk = 2 1 k iωk according to X

where sj are the trigonometric coefficients and the poly- n 1 nome P2n−1(τ) is odd and of order 2m − 1: x (τ)= cos(ωk τ) (2n−2)  ω2 − ω2  k=1 j=6 k k j m X Y (2k−1) τ 2 k−1   P2n−1(τ) = c2n−1 (2 k−1)! k=1 (68) 6. Solve the remaining terms of Eq. 66 as described = cP(1) τ + c(3) τ 3/6+ ... below. 2n−1 2n−1 Then, according to the the last row in Eq. 66, we have The remaining coefficient functions (x0(τ) ...x2n−1(τ)) are: xn−2(τ) =x ˙ n−1 , (69) n 1 x n− (τ) = 2 2 sin (ωk τ) and subsequentially: (2 1) ωk(ω −ω ) k=1 j=6 k k j ! (65) x(2n−2k) =x ˙P(2n−2kQ+1) xn−3(τ) =x ˙ n−2 + p1 xn−1 x(2n−2k−1) =x ˙ (2n−2k) + pk x(2n−1) xn−4(τ) =x ˙ n−3 xn−5(τ) =x ˙ n−4 + p2 xn−1 (70) which solves the system . . ˙x = G x 000 00 −pn which can be summarized as follows: 1 0 0 ... 00 0 xn−2k(τ) =x ˙ n−2k+1  010 00 −pn−1  (71) (66) xn−2k−1(τ) =x ˙ n−2k + pk xn−1 G =  001 00 0   . .   . .   . .  so that    0 0 0 ... 1 0 −p1    x (τ)=x ¨ + p x (72)  000 01 0  n−2k−1 n−2k+1 k n−1   7

VII. CONCLUSION New York, 2000. 2C. Baumgarten; Phys. Rev. ST Accel. Beams. 15, 124001 (2012). 3Cleve Moler and Charles Van Loan; “Nineteen Dubious Ways to We described a method that allows to compute the ex- Compute the Exponential of a Matrix”, SIAM Review Vol. 20, ponentials of Hamiltonian matrices. For a matrix of size No. 4 (1978), pp. 801-836. 2 n × 2 n, the method requires to compute the matrix 4Cleve Moler and Charles Van Loan; “Nineteen Dubious Ways to powers up to 2 n − 1, to compute the traces of all even Compute the Exponential of a Matrix, Twenty-Five Years Later”, SIAM Review Vol. 45, No. 1 (2003). matrix powers, to generate the characteristic polynomials 5Faddeev-LeVerrier-Algorithm; See Wikipedia article and with the Faddeev-LeVerrier-Algorithm using the traces, references therein: https://en.wikipedia.org/wiki/Faddeev- to compute the eigenvalues of the characteristic polyno- LeVerrier algorithm. 6 mial and finally to solve for the coefficients xk(t). The Shui-Hung Hou; “A Simple Proof of the Leverrier-Faddeev Char- advantage of this method mainly is the speedup in the acteristic Polynomial Algorithm”, SIAM Rev. Vol. 40, No. 3 (1998), pp. 706-709. computation of the matrix exponential for various times 7Gilbert Helmberg and Peter Wagner; “On Faddeev-Leverrier’s tk or various positions along the beamline, respectively. Method for the Computation of the Characteristic Polynomial of a Matrix and of Eigenvectors”, Lin. Alg. Appl. Vol. 185 (1993), pp. 219-233. 8Bairstows method, see for instance: REFERENCES http://mathworld.wolfram.com/BairstowsMethod.html.

1K.R. Meyer, G.R. Hall and D. Offin: Introduction to Hamiltonian Dynamical Systems and the N-Body Problem; 2nd. Ed., Springer,