You are on page 1of 6

When geometric phases turn topological

P. Aguilar,∗ C. Chryssomalakos,† E. Guzmán-González,‡ and L. Hanotel§


Instituto de Ciencias Nucleares
Universidad Nacional Autónoma de México
PO Box 70-543, 04510, CDMX, México.

E. Serrano-Ensástiga¶
Institut für Theoretische Physik
arXiv:1903.05022v2 [quant-ph] 10 Jul 2019

Universität Tübingen
72076, Tübingen, Germany

Geometric phases, accumulated when a quantum system traces a cycle in quantum state space, do
not depend on the parametrization of the cyclic path, but do depend on the path itself. In the
presence of noise that deforms the path, the phase gets affected, compromising the robustness of
possible applications, e.g., in quantum computing. We show that for a special class of spin states,
called anticoherent, and for paths that correspond to a sequence of rotations in physical space, the
phase only depends on topological characteristics of the path, in particular, its homotopy class, and
is therefore immune to noise.

INTRODUCTION was treated in [1], with some qualitative differences


showing up (see also [14] for earlier work treating
B as a quantum field, [17, 18, 30] for subsequent
Cyclic evolution of a quantum system gives rise theoretical debate, and the recent experimental ob-
to a geometric phase ϕgeo , invariant under time- servation reported in [15]).
reparametrizations of the path C(t) taken by the Our focal point in this letter is to outline a sce-
state of the system in the corresponding projective nario in which the presence of parametric noise has
Hilbert space P(H) ≡ P [2, 7, 8, 22, 28, 29]. Mo- no effect whatsoever on the geometric phase. The
tivated by this, proposals have been made to use mechanism presented, and possible generalizations
such phases in quantum computation, the invari- to the non-abelian case [3, 31], could be of inter-
ance mentioned translating, in this case, in noise est in holonomic quantum computing [32]. The
resilience (see, e.g., [16, 23, 24, 32]). However, setup is best presented via Majorana’s stellar rep-
whatever noise exists, affects not only the time- resentation and involves anticoherent spin states
parametrization of C(t), but also its form, and — both concepts are now briefly explained. In
this residual effect will, in general, leave its imprint a little known 1932 paper [19], Majorana pointed
on ϕgeo , to the detriment of the robustness of the out that spin-s quantum states can be labeled by
computation. As a concrete mental picture, con- a constellation of 2s points on the unit sphere.
sider a spin-1/2 particle in the presence of a time- The recipe given is simple as it is cryptic: ex-
varying magnetic field B(t) = B0 (t) = B n̂0 (t),
starting out, at t = 0, in the eigenstate |n̂0 (0)+i
pand thePsstate in question |ψi in the Sz eigenbasis,
|ψi = k=−s ck |s, ki, and use the expansion coef-
and following adiabatically B0 (t) for t > 0. For ficients to write down a polynomial in an auxiliary
a cyclic evolution, n̂0 (T ) = n̂0 (0), the phase ϕgeo variable ζ,
is proportional to the area enclosed by the curve
C0 (t) = n̂0 (t) on the unit sphere. In the pres- 2s
s 
ence of noise in the field, B(t) = B0 (t) + B1 (t),
X 2s k
Pψ (ζ) = (−1)2s−k ck ζ , (1)
the component of B1 along the tangent to C0 (t) in- k
k=0
duces reparametrization of C0 (t) and, hence, leaves
ϕgeo invariant, but the normal component changes the roots of which, stereographically projected
the shape of C0 (t) and modifies, in general, ϕgeo . from the south pole onto the unit sphere S 2 , sup-
The statistics of ϕgeo were first computed analyti- ply the Majorana constellation of |ψi. When |ψi
cally in [10], considering B1 as a classical stochas- is transformed in Hilbert space by the unitary rep-
tic field, with subsequent numerical [12] and ex- resentation D(R) of a rotation R ∈ SO(3), the
perimental [13] confirmations of the results, while constellation rotates by R on S 2 . Additional infor-
the subtler case of B1 being a quantum operator mation about the Majorana constellation may be
2

found in [6, 9] while interesting applications appear infinitesimal, and leave the endpoints fixed, only
in, e.g., [4, 5, 20]. the second term of (2), i.e., the dynamical phase,
A spin coherent state |ni, where n lives on the contributes to the change of ϕgeo .
2-sphere S 2 , is an eigenstate of n · S with eigen- We specify now the above to the case in which
value s (S denotes the spin-s representation of C(t) is the path taken by a spin-s state under a
the generators of su(2)) [9, 25, 26]. Spin coherent sequence of rotations R(t) ∈ SO(3), C(t) = [ψ(t)],
states maximize the modulus of the spin expecta- with
tion value and are, in many respects, the “most
classical” spin states available. Their Majorana |ψ(t)i = D(R(t))|ψ(0)i , (3)
constellation consists in 2s coincident stars in the where D(R(t)) is the spin-s irreducible represen-
direction n — intuitively, they are the most direc- tation of R(t). Taking into account that for
tional states possible. In [33], Zimba considered D(R(t)) = e−im(t)·S ,
the natural question of which spin states should
be declared the “most quantum”, or, as he aptly ∂t D(R(t)) = −i(m̃(t) · S) D(R(t)) (4)
named them, “anticoherent” — one would expect
these to correspond to constellations spread out holds, with m̃(t) a complicated function of m(t),
“as uniformly as possible” over S 2 . Analytically, the details of which are not essential to our argu-
the natural requirement, adopted by Zimba, for an ment, ϕdyn in the r.h.s. of (2) becomes
anticoherent state |ψi is that its spin expectation Z tf
value vanish, hψ|n · S|ψi = 0, for all n in S 2 . At ϕdyn = dt hψ(t)|m̃(t) · S|ψ(t)i = 0 , (5)
ti
around the same time, those same states showed
up in the classification of the different phases of the second equality only being valid when |ψ(0)i,
bosonic condensates [4, 5], as well as the study of and, hence, |ψ(t)i, are anticoherent. Then ϕgeo
the so called inert states [20]. in (2) reduces to ϕtot , depending only on the end-
points |ψ(0)i, |ψ(1)i of the lift C(t). It is important
to keep in mind that C(t) is not an arbitrary lift
WHEN GEOMETRIC PHASES TURN of C(t), rather, it is uniquely determined by (3)
TOPOLOGICAL
once the phase of, say, |ψ(0)i has been chosen. It
is also clear that ϕgeo is independent of this lat-
The formulation of geometric phases we adopt ter choice, as the phase change |ψ(0)i → eiα |ψ(0)i
here is the one put forth in [22], which generalizes implies |ψ(1)i → eiα |ψ(1)i, and arghψ(0)|ψ(1)i re-
the original setup of [7] to the case of non-cyclic, mains invariant.
non-adiabatic evolutions. Given a curve C(t) = We consider now anticoherent states with Majo-
[ψ(t)] in P, with 0 ≤ t ≤ 1, a geometric phase ϕgeo rana representations that have a non-trivial rota-
may be associated to it via tion symmetry group Γ, which we assume to be a
ϕgeo = ϕtot + ϕdyn discrete subgroup of SO(3). This latter assump-
Z tion only simplifies the presentation — our results
= arghψ(0)|ψ(1)i + i dt hψ(t)|∂t |ψ(t)i , below easily extend to the special case in which all
C stars lie on a diameter of S 2 , so that the symme-
(2) try group has a continuous U (1) component. In
where C(t) ≡ |ψ(t)i is an arbitrary lift of C(t) in the presence of such discrete symmetries, there are
the Hilbert space H, and the two terms on the right open curves R(t) in SO(3) that give rise, via (3),
hand side are known as the total and dynamical to closed curves [ψ(t)] in P. Take, for example, a
phase, respectively. It can be shown easily that curve R(t) that starts, at t = 0, at the identity e of
ϕgeo does not depend on the lift, and is, there- SO(3), and ends, at t = 1, at the rotation Rm ∈ Γ.
fore, a property of C(t). It is also easy to show Since the Majorana constellation determines the
that ϕgeo does not change under a reparametriza- state up to phase, and Rm is a symmetry of the
tion of C(t), C(t) → C 0 (t) = C(s(t)), with s(t) constellation, we have (putting |ψ(0)i ≡ |Ψi),
a monotonically increasing function of t. Under D(Rm )|Ψi = eiαm |Ψi , (6)
more general perturbations of C(t) though, that
affect the locus of points the curve passes through, so that [ψ(1)] = [ψ(0)] = [Ψ], i.e., [ψ(t)] is a closed
ϕgeo does change — when such perturbations are curve in P. For such a curve, (2), (5) imply that
3

ϕgeo = αm , i.e., regardless of the details of the space O[ψ] , is constant on the homotopy class of
curve R(t), the geometrical phase only depends on C̃.
its endpoints. The question that naturally arises now is how
In fact, [ψ(t)] lies in the subset of P given by many homotopy classes are there, for a given dis-
the orbit O[Ψ] of [Ψ] under the action of SO(3), crete symmetry group Γ, and how they combine
so that C(t) is a closed curve in O[Ψ] ⊂ P. The among themselves, in other words, what is the
SO(3) orbit of a state consists of all states that structure of the fundamental group π1 (SO(3)/Γ)?
share the same shape of their Majorana constella- The following theorem, the proof of which may be
tions, but differ in its orientation in space. For a found in [21], addresses just that:
general state [Ψ], this orbit is a copy of SO(3), but
in the presence of symmetries, codified by Γ, it re- Theorem 1. Let G be a connected, simply con-
duces to the quotient space SO(3)/Γ, in which two nected continuous group. Let H be any subgroup
rotations R, R0 are identified if there exists a sym- of G. Let H0 be the set of points in H that are
metry rotation Rm ∈ Γ such that R0 = RRm . One connected to the identity by continuous paths lying
may visualize O[ψ] as a certain subset of SO(3) in entirely in H. Then H0 is a normal subgroup of
an infinite number of ways — a canonical choice is H, and the quotient group H/H0 is isomorphic to
to define a biinvariant distance function D(g1 , g2 ) the fundamental group π1 (G/H) of the coset space
in SO(3), given by D(g1 , g2 ) = Tr(g1 g2−1 ) and then G/H.
assign to each symmetry rotation Rm ∈ Γ a “cell”
Since SO(3) is not simply connected, as assumed
Cm consisting of all group elements in SO(3) for
of the group G in the theorem, we have to pass
which the closest symmetry rotation is Rm , i.e.,
to its universal cover SU (2). To each SO(3) ro-
min(D(g, Ri )) = D(g, Rm ) ⇒ g ∈ Cm . (7) tation matrix there correspond two SU (2) matri-
i ces, that only differ in an overall sign. To each
continuous path R(t) in SO(3), that starts at the
This assignment divides the whole SO(3) in cells, identity, there corresponds a unique path R(t) in
excluding those group elements that lie on the SU (2), that also starts at the identity (there is
interface between two (or more) cells, i.e., are of course a second path, that starts at minus the
equidistant from two (or more) symmetry rota- identity). Finally, the symmetry group Γ gets
tions. These latter group elements can also be lifted to ΓC in SU (2), which has twice as many
“distributed” among a cell and its neighbors in elements. Applying now theorem 1 we conclude
some canonical way — the orbit O[ψ] may then that π1 (SU (2)/ΓC ) ∼ ΓC , since H0 in the theorem
be identified with any of the cells Cm . contains just the identity in our case. The result
The identifications among points of SO(3) men- makes perfect sense intuitively: one expects that
tioned above, that give rise to O[Ψ] , endow the lat- homotopy classes correspond somehow to curves
ter with a complicated topology, a signature fea- that start at the identity in SO(3) and get to any
ture of which is that for two given closed curves of the symmetry rotations Rm in Γ. However, be-
C1 (t), C2 (t) in O[Ψ] , both of which start, at t = 0, cause SO(3) is not simply connected, there are two
and end, at t = 1, at the same point, there may homotopically inequivalent such curves, for each
not exist a continuous map (homotopy) that brings Rm — the corresponding doubling-up of the ho-
one into the other, fixing all along the endpoints. motopy classes is exactly captured by the doubled-
One then says that the two curves belong to dif- up ΓC . Taking into account that the geometric
ferent homotopy classes, denoted by [C1 ], [C2 ], re- phase corresponding to the product of two homo-
spectively, and the set of all such classes forms the topy classes is the sum of the geometric phases
fundamental group π1 (O[Ψ] ) of O[Ψ] , in which the corresponding to the factors, so that the corre-
group multiplication is given by concatenation of sponding phase factors simply multiply, we may
representative curves, i.e., [C1 ] · [C2 ] = [C1 · C2 ], summarize our findings in the following
where (C1 · C2 )(t) is the curve that first goes
through C1 (for 0 ≤ t ≤ 1/2), and then through C2 Theorem 2. Consider an anticoherent state |ψi,
(for 1/2 < t ≤ 1). It follows from our discussion the Majorana constellation of which has rotational
above that the geometric phase acquired by an an- symmetry group Γ ⊂ SO(3). Then the geomet-
ticoherent spin state [ψ(t)], going around a curve ric phase factors eiαm acquired by the rotated state
C in SO(3) that projects to a loop C̃ in its orbit |ψ(t)i = D(R(t))|ψi, when R(t) traces a path in
4

SO(3), starting at the identity R0 and ending at


Rm = Rn,φ ∈ Γ, provide a 1-dimensional repre-
sentation of the fundamental group π1 (SO(3)/Γ)
of the orbit space of |ψi, the latter group being iso-
morphic to the lift ΓC of Γ in SU (2).

As a concrete example of the above gen-


eral setup, consider √ the spin-2
√ anticoherent state
|φtetra i = (1, 0, 0, 2, 0)/ 3, expressed in the Sz
eigenbasis (2, 1, 0, −1, −2), with Majorana constel-
lation given by a regular tetrahedron — the corre- FIG. 2. The SO(3) ball and the identity cell C0 , which
may be identified with the orbit space O[φtetra ] . Three
sponding rotation symmetry group Γtetra contains
of the faces of C0 are not shown, so that its interior re-
12 elements, shown in Fig. 1, while the cell C0 , mains visible. A curve C01 is plotted that starts at R0
surrounding the identity R0 in SO(3), is shown in and ends at R1 = R(ẑ, 2π/3). When the curve crosses
Fig. 2. into the cell C1 (denoted by a change of color in the
figure), its image C̃01 in O[φtetra ] reappears at the bot-
tom of C0 and loops back at the identity, as C01 reaches
R1 . Thus, while C01 is open in SO(3), C̃01 is a closed
loop in O[φtetra ] , based at the identity. The geometric
phase along this loop only depends on its homotopy
class, and is therefore immune to deformations.

2 3 4 5 2s
spin s, m=0 sπ - - - -
spin s, GHZ - - - - π

Tetrahedron 0 3
- - -
FIG. 1. Plot of the twelve elements of Γtetra in the Cube 0 0 0 - -
axis-angle parametrization of SO(3). To help visualize
Octahedron π 0 π - -
their position, the twelve points have been organized
as follows: the vertices of the two tetrahedra give the Dodecahedron 0 0 - 0 -
four symmetry rotations by 2π/3 and their inverses, Icosahedron 0 0 - 0 -
while the vertices of the two triangles give the three
rotations by π — these latter appear twice, as pairs of TABLE I. Absolute values of geometric phases corre-
antipodal points, which are identified. The identity R0 sponding to symmetry rotations of the spin s, m = 0
is at the origin and cannot be seen in the figure. and GHZ states, and those corresponding to the pla-
tonic solids (inverse rotations give opposite phases).
The rotations are specified by their order (top row),
The geometric phases accumulated as a result which, in this case, uniquely defines them.
of symmetry rotations of the tetrahedral state, as
well as some other interesting cases, are summa-
rized in table I. These phases can, in principle, — the corresponding symmetry rotation ex-
be computed by applying the appropriate rotation changes the two groups of points. Note that
matrix to the corresponding state, but, in fact, can the symmetry group in this case has a con-
be shown to only depend on the number of stars, in tinuous component (rotations around n̂).
the constellation of |ψi, pointing in the direction
of the rotation axis, and the corresponding rota- 2. The Majorana constellation of the spin-s
tion angle [5], thus reducing their computation to GHZ state |ψGHZ i ∼ |s, si + |s, −si consists
simple star gazing. in 2s equidistant points along the equator —
Some remarks are due at this point: the symmetry rotation is around the z-axis
by an angle of π/s.
1. The geometric phase of m = 0 spin-s states
reported in [27] is a special case of our gen- 3. The above phases are insensitive to perturba-
eral setting, in which the Majorana constella- tions of the path taken in SO(3), but are still
tion consists of s points in a direction n̂, and affected by end-point imprecision. However,
another s points in the antipodal direction the effect is weak, being at most quadratic in
5

the rotation error, i.e., assuming a rotation

R = e−in̂·S Rm (8) ∗
pedro.aguilar@nucleares.unam.mx

is applied to |ψi, where Rm is a symmetry chryss@nucleares.unam.mx

edgar.guzman@correo.nucleares.unam.mx
rotation and the prefactor is due to noise, it §
hanotel@correo.nucleares.unam.mx
is easily seen that ¶
eduardo.serrano-ensastiga@uni-tuebingen.de
[1] P. Aguilar, C. Chryssomalakos, and E. Guzmán.
hψ|R|ψi = eiαm (1 + O(2 )) , (9) Geometric phase of a spin-1/2 particle coupled to
a quantum vector operator. Mod. Phys. Lett. A,
with αm as in (6). 31(16):1650098, 2016.
[2] Y. Aharonov and J. Anandan. Phase change dur-
4. A further virtue of the use of anticoherent ing a cyclic quantum evolution. Phys. Rev. Lett.,
states in the setup we consider, is that the 58:1593–1596, Apr 1987.
vanishing of the spin expectation value im- [3] J. Anandan. Non-adiabatic non-abelian geometric
plies the absence of dynamical phase, when phase. Physics Letters A, 133(45):171 – 175, 1988.
the states are rotated with magnetic fields [4] R. Barnett, A. Turner, and E. Demler. Classifying
novel phases of spinor atoms. Phys. Rev. Lett.,
— generic states, on the contrary, do ac-
97:180412, Nov 2006.
cumulate dynamical phase, which requires [5] R. Barnett, A. Turner, and E. Demler. Classifying
further processing for its elimination (see, vortices in S=3 Bose-Einstein condensates. Phys.
e.g., [11, 16]). Thus, if a beam of spins in an Rev. A, 76(1):013605, July 2007.
anticoherent state is split into two, and each [6] I. Bengtsson and K. Życzkowski. Geometry of
of these secondary beams is subjected to a Quantum States (2nd Ed.). Cambridge Univesrity
different symmetry rotation, say, R1 , R2 re- Press, 2017.
spectively, when the two beams are brought [7] M. V. Berry. Quantal phase factors accompany-
ing adiabatic changes. Proceedings of the Royal
back together to interfere, the pattern ob- Society of London A: Mathematical, Physical and
served will only depend (apart from noise ef- Engineering Sciences, 392(1802):45–57, 1984.
fects) on the difference α1 − α2 . [8] M. V. Berry. The quantum phase, five years after.
In A. Shapere and F. Wilczek, editors, Geomet-
5. Zimba gives the following generalization of ric phases in physics, pages 7–28. World Scientific,
the concept of anticoherence [33]: a state |ψi 1989.
is k-anticoherent if k is the largest integer [9] C. Chryssomalakos, E. Guzmán-González, and
such that hψ|(n̂ · S)r |ψi is independent of n̂ E. Serrano-Ensástiga. Geometry of spin coherent
for r = 1, . . . , k. For a k-anticoherent state, states. J. Phys. A: Math. Theor., 51(16):165202,
2018. arXiv:1710.11326.
the error in the phase in (9) is independent of
[10] G. De Chiara and G. M. Palma. Berry phase for
n̂ up to O(k ). For example, the tetrahedral a spin 1/2 particle in a classical fluctuating field.
state |φtetra i turns out to be 2-anticoherent. Phys. Rev. Lett., 91(9):090404, 2003.
Accordingly, if a rotation R as in (8) is ap- [11] G. Falci, R. Fazio, G. M. Palma, J. Siewert, and
plied, with  = .1 (about 6 degrees), the error V. Vedral. Detection of geometric phases in su-
in the phase obtained will be of the order of perconducting nanocircuits. Nature, 407:355–358,
10−2 , with n̂-dependent part of the order of 2000.
[12] S. Filipp. Noise fluctuations and the Berry phase:
10−3 .
Towards an experimental test. Eur. Phys. J. Spe-
We are currently working on a generalization of cial Topics, 160:165, 2008.
[13] S. Filipp et al. Experimental demonstration of the
the above to the non-abelian case and plan to re-
stability of Berry’s phase for a spin-1/2 particle.
port our findings in this direction in a forthcoming Phys. Rev. Lett., 102:030404, 2009.
publication. [14] I. Fuentes-Guridi, A. Carollo, S. Bose, and V. Ve-
dral. Vacuum induced spin-1/2 Berry’s phase.
Phys. Rev. Lett., 89/22:220404, 2002.
ACKNOWLEDGEMENTS [15] S. Gasparinetti, S. Berger, A. A. Abdumalikov,
M. Pechal, S. Filipp, and A. J. Wallraff. Mea-
surement of a vacuum-induced geometric phase.
The authors wish to acknowledge partial finan-
Science Advances, 2:e1501732, 2016.
cial support from DGAPA PAPIIT UNAM project
IG100316.
6

[16] J. Jones, V. Vedral, A. K. Ekert, and C. Castag- Modern Physics B, 15:1257–1285, 2001.
noli. Geometric quantum computation using nu- [25] A. Perelomov. Generalized coherent states and
clear magnetic resonance. Nature, 403:869, 2000. their applications. Springer, 1986.
[17] J. Larson. Absence of vacuum induced Berry [26] J. M. Radcliffe. Some properties of coherent spin
phases without the rotating wave approximation states. J. Phys. A: Gen. Phys., 4:313–324, 1971.
in cavity QED. Phys. Rev. Lett., 108:033601, 2012. [27] J. M. Robbins and M. V. Berry. A geometric phase
[18] T. Liu, M. Feng, and K. Wang. Vacuum-induced for m=0 spins. Journal of Physics A: Mathemati-
Berry phase beyond the rotating-wave approxima- cal and General, 27(12):L435, 1994.
tion. Phys. Rev. A, 84:062109, 2011. [28] J. Samuel and R. Bhandari. General setting for
[19] E. Majorana. Atomi orientati in campo magnetico Berry’s phase. Phys. Rev. Lett., 60:2339–2342, Jun
variabile. Nuovo Cimento, 9:43–50, 1932. 1988.
[20] H. Mäkelä and K. A. Suominen. Inert States [29] B. Simon. Holonomy, the quantum adiabatic theo-
of Spin-S Systems. Physical Review Letters, rem, and Berry’s phase. Phys. Rev. Lett., 51:2167–
99(19):190408, November 2007. 2170, 1983.
[21] N. D. Mermin. The topological theory of defects [30] M. Wang, L. Wei, and J. Liang. Does the Berry
in ordered media. Rev. Mod. Phys., 51:591–648, phase in a quantum optical system originate from
Jul 1979. the rotating wave approximation? Phys. Lett. A,
[22] N. Mukunda and R. Simon. Quantum kinematic 379:1087–1090, 2015.
approach to the geometric phase: I. General for- [31] F. Wilczek and A. Zee. Appearance of gauge
malism. Ann. Phys., 228:205–268, 1993. structure in simple dynamical systems. Phys. Rev.
[23] Y. Ota and Y. Kondo. Composite pulses as ge- Lett., 52:2111–2114, Jun 1984.
ometric quantum gates. In M. Nakahara, R. [32] P. Zanardi and M. Rasetti. Holonomic quantum
Rahimi, and A. SaiToh, editors, Decoherence Sup- computation. Phys. Lett. A, 264:94–99, 1999.
pression in Quantum Systems, pages 125–149. [33] J. Zimba. Anticoherent spin states via the Majo-
World Scientific, 2009. Proceedings of the Sym- rana representation. Electronic Journal of Theo-
posium on Decoherence Suppression in Quantum retical Physics, 3(10):143–156, 2006.
Systems held at Oxford Kobe Institute, Kobe,
Japan, from 7th to 11th September 2008.
[24] J. Pachos and P. Zanardi. Quantum holonomies
for quantum computing. International Journal of

You might also like