A Gauge-Invariant Geometric Phase for Electrons in a One-Dimensional Periodic Lattice ()

Vivek M. Vyas^{1,2}, Dibyendu Roy^{1*}

^{1}Raman Research Institute, C. V. Raman Avenue, Sadashivnagar, Bangalore, India.

^{2}Indian Institute of Information Technology Vadodara, Government Engineering College, Sector 28, Gandhinagar, India.

**DOI: **10.4236/am.2023.141005
PDF HTML XML
44
Downloads
185
Views
Citations

Here the notion of geometric phase acquired by an electron in a one-dimensional periodic lattice as it traverses the Bloch band is carefully studied. Such a geometric phase is useful in characterizing the topological properties and the electric polarization of the periodic system. An expression for this geometric phase was first provided by Zak, in a celebrated work three decades ago. Unfortunately, Zak’s expression suffers from two shortcomings: its value depends upon the choice of origin of the unit cell, and is gauge dependent. Upon careful investigation of the time evolution of the system, here we find that the system displays cyclicity in a generalized sense wherein the physical observables return in the course of evolution, rather than the density matrix. Recognition of this generalized cyclicity paves the way for a correct and consistent expression for the geometric phase in this system, christened as Pancharatnam-Zak phase. Pancharatnam-Zak geometric phase does not suffer from the shortcomings of Zak’s expression, and correctly classifies the Bloch bands of the lattice. A naturally filled band extension of the Pancharatnam-Zak phase is also constructed and studied.

Keywords

Share and Cite:

Vyas, V. and Roy, D. (2023) A Gauge-Invariant Geometric Phase for Electrons in a One-Dimensional Periodic Lattice. *Applied Mathematics*, **14**, 82-106. doi: 10.4236/am.2023.141005.

1. Introduction

Recent years have witnessed rapid growth in applying the abstract concepts of topology in physics, particularly in condensed matter physics [1] [2] [3]. It has led to the discovery of a new type of material, for example, topological insulators, and the detection of hitherto unobserved Majorana and Weyl fermions as emergent quasiparticles in low-energy condensed matter systems. The *geometric phase* is a well-known example in physics where topological concepts enter in an essential way. The geometric phase was first anticipated by Pancharatnam [4] [5] and became prominent due to Berry [6]. The geometric phase provides insights into the curvature of the underlying Hilbert space of the quantum states. In many cases, it is found to act as a topological index, shedding light on the topological properties of the system [7].

In landmark papers, Thouless *et al.* [8] [9] showed that the electrical conductivity in a quantum Hall system could be understood in terms of a topological invariant known as the Chern number. It was soon realized that the Chern number was closely related to the geometric phase [10] acquired by the electron as it moved through the energy band. In the last three decades, the notion of geometric phase has been used to understand and classify the properties of several condensed matter systems [7] [11] [12]. The geometric phase plays a central role in the understanding of materials like topological insulators and superconductors. Its value is inevitably found to govern the charge transport property in such systems [1] [2] [3] [13] [14].

In this paper, we provide a correct and consistent expression of the geometric phase acquired by an electron in a one-dimensional (1D) periodic lattice as it executes a circuit over the Bloch band, which we call the *Pancharatnam-Zak phase*. The earliest attempt to evaluate this geometric phase was due to Zak [15], and the expression obtained in that work is popularly called the *Zak phase*. Later, King-Smith and Vanderbilt [16] showed that the difference in the Zak phase between two different configurations manifests in the treatment of quantized particle transport in a 1D insulator, a phenomenon discovered earlier by Thouless [13]. Subsequently, the modern understanding of the change in electric polarizations in dielectric materials was formulated in terms of such a difference in the Zak phase [3] [16] [17] [18] [19]. The concept of the Zak phase has been further applied to study the dynamics of strongly coupled LC circuits [20] and waveguide lattices [21]. It has also been employed to classify the edge states in planar honeycomb lattice systems [22] [23].

Geometric phases have been observed and explored in several experiments in diverse areas of physics [7] [24]. The value of the geometric phase, a physically measurable quantity, can not depend upon choosing the origin of coordinates or gauge employed in evaluating it. There is a freedom to select the unit cell’s origin in periodic lattice systems, as discussed later in Section 5. All the physical observables are insensitive to such freedom of defining the unit cell, as it must be [25]. Nevertheless, it is a well-acknowledged fact in the literature that the Zak phase is a gauge-dependent object, and its value depends upon the choice of the origin of the unit cell [3] [15] [18] [19] [26] [27] [28]. As a result, it can attain any desired value by a suitable choice of the origin of the unit cell or an appropriate gauge choice for the Bloch states. To circumvent such an ambiguity of the Zak phase, a particularly preferred choice of gauge and origin of the unit cell has been employed [3] [26] [27] [28]. These observations only show that the Zak phase can not be a proper geometric object, let alone be physically observable.

The Zak phase difference between two different configurations/states of a system is independent of the gauge and choice of the unit cell. Such a difference of the Zak phase was experimentally observed by Atala *et al.* [27], and manifests in the change of electric polarizations [3] [16]. Our main point in this paper is that the geometric phase itself is a well-defined and measurable quantity, and it is correctly captured in the Pancharatnam-Zak phase for a 1D periodic lattice.

Motivated by the classic work of Berry [6], Zak, in his derivation, assumed that the adiabatic motion of an electron in a band was cyclic so that the recurrence of the initial state of the system (modulo an overall phase factor) happens over time evolution. However, we find that the underlying system displays cyclicity under time evolution in a generalized sense wherein the observables rather than the initial state or the density matrix return in the course of evolution.

Following the notion of generalized cyclicity, we here carefully consider the concept of the geometric phase in its generality and find the geometric phase gained by (a) a single electron and (b) by electrons of a filled band of the lattice when influenced by a weak electromagnetic field. The geometric phase in the single electron case—Pancharatnam-Zak phase, possesses the essential invariances under gauge transformation and unit cell reparametrization. The underlying geometrical and topological properties of the system are uncovered in the process. The Pancharatnam-Zak phase is found to act as a topological index for systems with inversion symmetry; it is either equal to 0 or π in the topologically trivial or non-trivial state, respectively. The geometrical phase for the filled band case is properly formulated, and its physical implications are discussed. In our other studies, a generalisation of the Pancharathnam-Zak phase has provided valuable insights and has captured the topological phases of the undriven and periodically driven non-Hermitian bipartite and multipartite Su-Schrieffer-Heeger (SSH) model [29] [30]. In summary, we argue in this paper a requirement of generalized cyclicity for adequately describing the geometric phase for particle(s) in the 1D periodic lattice and construct the gauge-invariant Pancharatnam-Zak phase whose absolute value for each band in topologically trivial and non-trivial phases is independent of the choice of the origin of the unit cell.

The paper is organized as follows. In Section (2), the geometric phase concept, as defined in its generality, is briefly reviewed. Subsequently, the problem of a charged particle in a 1D periodic lattice, subjected to a weak electromagnetic field, is formulated, and its kinematic aspects are studied in Section (3), bringing out the underlying mathematical structure. In Section (4), the adiabatic quantum dynamics of such a motion is discussed in (a) single-particle case and (b) many-particle filled-band case; and the manifestation of the geometric Pancharatnam-Zak phase in both cases is found. An explicit calculation of the single-particle Pancharatnam-Zak phase for the SSH model is provided in section (5), followed by the discussion in Section (6). We add two appendices for some details on the geodesic and mathematical structure behind the Pancharatnam-Zak phase.

2. Geometric Phase via Pancharatnam Route

It has been long known that the notion of geometric phase ${\gamma}_{g}$ can be best understood following the work of Pancharatnam [4] [31] [32]. Pancharatnam’s definition of the geometric phase ${\gamma}_{g}$ is given as an argument of a cyclic expression:

${\gamma}_{g}=\text{Arg}\left(\langle {\psi}_{0}|{\psi}_{M}\rangle \langle {\psi}_{M}|{\psi}_{M-1}\rangle \cdots \langle {\psi}_{2}|{\psi}_{1}\rangle \langle {\psi}_{1}|{\psi}_{0}\rangle \right)\mathrm{.}$ (1)

It is well defined for any given ordered set of vectors $|{\psi}_{j}\rangle $ for $j=0,1,2,\cdots ,M$ (e.g., cell-periodic Bloch states or photon polarization states), provided only that the quantity in angle brackets does not vanish. This definition shows that the geometric phase is a collective property of an ordered set of vectors $|{\psi}_{j}\rangle $ for $j=0,1,2,\cdots ,M$. The definition does not rely on any dynamical aspect of the underlying system, such as the Hamiltonian. Hence, one says that the notion of geometric phase is kinematic in nature.

Clearly, ${\gamma}_{g}$ can not be altered by any redefinition of states $|{\psi}_{j}\rangle $ :

$|{\psi}_{j}\rangle \to {\text{e}}^{i{\theta}_{j}}|{\psi}_{j}\rangle \mathrm{,}$ (2)

where ${\theta}_{j}$ s are independent arbitrary real numbers. This property of (local) gauge invariance is a clear demonstration of the geometric nature of this phase. Evidently the geometric phase also remains invariant under unitary operations of the type:

$|{\psi}_{j}\rangle \to \stackrel{^}{U}|{\psi}_{j}\rangle \mathrm{,}$ (3)

which is the statement of basis independence of ${\gamma}_{g}$.

If the set of states $|{\psi}_{j}\rangle \equiv |\psi \left({s}_{j}\right)\rangle $ describes some quantum system at times ${s}_{j}=j\delta $ ( $\delta $ is an infinitesimal time interval), then ${\gamma}_{g}$ is the geometric phase acquired by the system in course of evolution from time ${s}_{0}$ to ${s}_{M}$. In the continuum limit, ${\gamma}_{g}$ takes a familiar form:

${\gamma}_{g}\left(t\right)=\text{Arg}\langle \psi \left(0\right)|\psi \left(t\right)\rangle +i{\displaystyle {\int}_{0}^{t}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{d}s\langle \psi \left(s\right)|{\partial}_{s}|\psi \left(s\right)\rangle \mathrm{,}$ (4)

where $t={s}_{M}$. This expression for the geometric phase and its proper generalization encompassing the case of non-unitary evolution were obtained long back using a manifestly geometric route [31]. The existence of such a geometric phase is well established through several experiments [5] [7] [24] [33] [34].

The geometric phase also possesses an important property, that of reparametrization invariance. If a real parameter
$r\left(s\right)$, an increasing function of time *s*, relabels the states
$|\psi \left(s\right)\rangle $, so that
$|\psi \left(s\right)\rangle \equiv |\phi \left(r\right)\rangle $, then one immediately sees that the geometric phase is invariant:

$\begin{array}{l}\text{Arg}\langle \psi \left(0\right)|\psi \left(t\right)\rangle +i{\displaystyle {\int}_{0}^{t}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{d}s\langle \psi \left(s\right)|{\partial}_{s}|\psi \left(s\right)\rangle \\ =\text{Arg}\langle \phi \left(r\left(0\right)\right)|\phi \left(r\left(t\right)\right)\rangle +i{\displaystyle {\int}_{r\left(0\right)}^{r\left(t\right)}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{d}r\langle \phi \left(r\right)|{\partial}_{r}|\phi \left(r\right)\rangle \mathrm{.}\end{array}$

It is a well known fact, that two unit normalised states
$|A\rangle $ and
${\text{e}}^{i\lambda}|A\rangle $ (for some arbitrary real
$\lambda $ ), which differ by a phase, actually depict the same physical state of the quantum system [35]. Often it is beneficial to work with density matrix
$|A\rangle \langle A|$ to describe the system since it is immune to such phase ambiguities. It is well known that there exists a notion of distance in the space of density matrices between any two density matrices [31] [32], which is summarised in Appendix A for the benefit of the readers. In fact a well known result of Ref. [31], dictates that there exists a unique shortest curve—*a geodesic* connecting any two non-orthogonal states. Invoking this treatment, one finds that the geodesic curve
$|{\psi}^{\prime}\left(s\right)\rangle \langle {\psi}^{\prime}\left(s\right)|$ (for
$0\le s\le \Lambda $ ) connecting
$|\psi \left(t\right)\rangle \langle \psi \left(t\right)|$ and
$|\psi \left(0\right)\rangle \langle \psi \left(0\right)|$ is constructible from the states:

$|{\psi}^{\prime}\left(s\right)\rangle =\frac{{\text{e}}^{i\theta s/\Lambda}}{\mathrm{sin}\Lambda}\left(\mathrm{sin}\left(\Lambda -s\right)|\psi \left(t\right)\rangle +{\text{e}}^{-i\theta}\mathrm{sin}\left(s\right)|\psi \left(0\right)\rangle \right)\mathrm{.}$ (5)

Importantly the phase of the overlap $\theta =-\text{Arg}\langle \psi \left(0\right)|\psi \left(t\right)\rangle $ is expressible as a line integral of what is called the connection ${A}^{\prime}\left(s\right)=i\langle {\psi}^{\prime}\left(s\right)|{\partial}_{s}|{\psi}^{\prime}\left(s\right)\rangle $ :

$\text{Arg}\langle \psi \left(0\right)|\psi \left(t\right)\rangle ={\displaystyle {\int}_{0}^{\Lambda}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{d}s\text{\hspace{0.17em}}{A}^{\prime}\left(s\right)\mathrm{.}$ (6)

This shows that the geometric phase (4) comprises of two line integrals of the connection $A\left(s\right)$ : (a) along the time evolution curve defined by states $|\psi \left(s\right)\rangle $ connecting state $|\psi \left(0\right)\rangle \langle \psi \left(0\right)|$ to $|\psi \left(t\right)\rangle \langle \psi \left(t\right)|$ and (b) returning to $|\psi \left(0\right)\rangle \langle \psi \left(0\right)|$ along the geodesic curve $|{\psi}^{\prime}\left(s\right)\rangle \langle {\psi}^{\prime}\left(s\right)|$. So the expression (4) can now be written in a manifestly gauge invariant form as a closed line integral over the time evolution and geodesic curves:

$\begin{array}{c}{\gamma}_{g}\left(t\right)=i{\displaystyle {\int}_{0}^{t}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{d}l\langle \psi \left(l\right)|{\partial}_{l}|\psi \left(l\right)\rangle +i{\displaystyle {\int}_{0}^{\Lambda}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{d}s\langle {\psi}^{\prime}\left(s\right)|{\partial}_{s}|{\psi}^{\prime}\left(s\right)\rangle \\ \mathrm{=}{\displaystyle {\oint}_{C}}\text{\hspace{0.17em}}\text{d}s\text{\hspace{0.05em}}A\left(s\right)\mathrm{.}\end{array}$ (7)

It must be emphasised that while we are using states $|\psi \left(l\right)\rangle $ and $|{\psi}^{\prime}\left(s\right)\rangle $ to express the geometric phase, owing to the local gauge invariance one learns that it actually depends only on the respective density matrices.

The notion of geometric phase as summarised here can also be understood in a rigorous mathematical manner using the language of fibre bundles as summarised in the Appendix B.

3. Periodic Potential Problem

Consider a (spinless) charged particle of mass
$\mu $ and charge *e* in 1D under the influence of a periodic potential
$V\left(x\right)$ with lattice constant *a*. It is assumed that the periodic potential arises due to the ions, and we shall be working in the rest frame of ions. We are assuming a periodic boundary condition (PBC), so that the system can be thought of as forming a ring. We allow a linearly time-varying magnetic flux
${\Phi}_{B}\left(t\right)$ to pierce the ring, while giving rise to a weak tangential electric field *E* (see Figure 1). The particle dynamics in such a system is described by the Hamiltonian:

${\stackrel{^}{H}}_{\alpha \left(t\right)}=\frac{1}{2\mu}{\left(\stackrel{^}{p}+\hslash \alpha \left(t\right)\right)}^{2}+V\left(\stackrel{^}{x}\right)\mathrm{,}$ (8)

where the time-dependent vector potential $A\left(t\right)=-Et$ and $\alpha \left(t\right)=-eA\left(t\right)/\hslash $.

Figure 1. Schematic representation of the periodic lattice system studied in this paper. The cyan curve with blue solid circles represents the periodic lattice, whereas the black arrows depict the magnetic flux ${\Phi}_{B}\left(t\right)$. The red arrows show the tangential electric field experienced by the electrons in the lattice.

The problem of particle motion in a periodic potential in the presence of a uniform electric field *E* is a well studied one [25] [36] [37] [38]. In the literature, such a system is usually studied using the time independent Hamiltonian:

${\stackrel{^}{H}}_{\phi}=\frac{1}{2\mu}{\stackrel{^}{p}}^{2}+V\left(\stackrel{^}{x}\right)-eE\stackrel{^}{x},$ (9)

wherein one works in the gauge
$A=0$ with scalar potential
$\phi =-Ex$. Clearly this Hamiltonian does not respect the periodicity of the lattice potential, since the spatial translation operator over a unit cell
${\stackrel{^}{T}}_{x}\left(a\right)={\text{e}}^{i\frac{\stackrel{^}{p}}{\hslash}a}$ does not commute with
${\stackrel{^}{H}}_{\phi}$. This fact leads to the well known *k*-acceleration theorem [25] [36] [37] in such a gauge.

Motivated by Zak [15], here we work with the gauge
$A\left(t\right)=-Et$ and scalar potential
$\phi =0$, so that the periodicity of potential
$V\left(x\right)=V\left(x+a\right)$ is respected. As we will see below, the *k*-acceleration theorem takes on a more subtle aspect in this gauge. The Hamiltonian (8), while commuting with
${\stackrel{^}{T}}_{x}\left(a\right)$, admits normalized simultaneous instantaneous eigenstates
${\Psi}_{n{k}_{m}\alpha}$ which solve:

${\stackrel{^}{H}}_{\alpha}{\Psi}_{n{k}_{m}\alpha}\left(x\right)={E}_{n{k}_{m}\alpha}{\Psi}_{n{k}_{m}\alpha}\left(x\right),$ (10)

${\stackrel{^}{T}}_{x}\left(a\right){\Psi}_{n{k}_{m}\alpha}\left(x\right)={\text{e}}^{i{k}_{m}a}{\Psi}_{n{k}_{m}\alpha}\left(x\right),$ (11)

where *n* is the band index. Owing to PBC, we have
${\Psi}_{n{k}_{m}\alpha}\left(x+Na\right)={\Psi}_{n{k}_{m}\alpha}\left(x\right)$, so that each band consists of exactly *N* states with wave vector (quantum number)
${k}_{m}=\frac{2\pi}{Na}m$, where
$m=0,1,\cdots ,N-1$. From (11), we immediately see that states
${\Psi}_{n{k}_{m}\alpha}\left(x\right)$ and
${\Psi}_{n{k}_{m+N}\alpha}\left(x\right)$ have the same
${\stackrel{^}{T}}_{x}\left(a\right)$ eigenvalue, which is
${\text{e}}^{i{k}_{m}a}$. This in turn dictates that the normalized states
${\Psi}_{n{k}_{m}\alpha}\left(x\right)$ and
${\Psi}_{n{k}_{m+N}\alpha}\left(x\right)$ must be linearly dependent, so that [25]:

${\Psi}_{n{k}_{m+N}\alpha}\left(x\right)={\Psi}_{n{k}_{m}\alpha}\left(x\right){\text{e}}^{i\chi},$ (12)

where
$\chi $ is some arbitrary real number. So the states
${\Psi}_{n{k}_{m+N}\alpha}\left(x\right)$ and
${\Psi}_{n{k}_{m}\alpha}\left(x\right)$ describe the same physical state, as the corresponding density matrices are identical. It is often assumed that
$\chi =0$, a choice of convention which is referred to as the *periodic gauge* condition [18] [26]. Clearly, all the physical observables must be insensitive to the value of the unphysical phase
$\chi $, a requirement not obeyed by the Zak phase, as we shall soon see.

As noted above, by a judicious choice of gauge, which ensures that the spatial periodicity of the system is not spoiled by the electromagnetic field, we have
$\left[{\stackrel{^}{H}}_{\alpha}\mathrm{,}{\stackrel{^}{T}}_{x}\left(a\right)\right]=0$. This straight away shows that
${\stackrel{^}{T}}_{x}\left(a\right)$ is conserved quantity under time evolution. As a result, if the system is prepared initially in the state with wave vector
${k}_{l}$, then it is forbidden to evolve into any other state with wave vector
${k}_{{l}^{\prime}}$ in any band at any time *t*. This is a manifestation of the fact that the wave vector
${k}_{l}$ is a conserved quantum number under evolution, in the present gauge choice wherein
$\phi =0$. This is in sharp contrast with the well known result of *k*-acceleration theorem in the gauge
$A=0$. It must be noted that the *k*-conservation law does not prohibit the system from evolving to the state
$|{\Psi}_{{n}^{\prime}{k}_{l}\alpha \left(t\right)}\rangle $ from the initial state
$|{\Psi}_{n{k}_{l}\alpha \left(0\right)}\rangle $ in a different band
${n}^{\prime}$ with energy
${E}_{{n}^{\prime}{k}_{l}\alpha}\ne {E}_{n{k}_{l}\alpha}$. However, if the external field is sufficiently weak, then the evolution to other band states is energetically suppressed, and such a transition can be ignored in the leading order.

The Hamiltonian (8) has very interesting property under time evolution. The vector potential at certain discrete times *t* can be written as a gauge transformation:

$A\left(t\right)=A\left(0\right)+\frac{i\hslash}{e}{U}^{\u2020}\left(x,t\right){\partial}_{x}U\left(x,t\right),$

where

$U\left(x\mathrm{,}t\right)=\mathrm{exp}\left(\frac{i}{\hslash}eEtx\right)\mathrm{,}$

and
$A\left(0\right)=0$ by virtue of its definition. Under such a transformation, the momentum operator transforms as:
$\stackrel{^}{p}-eA\left(t\right)={U}^{\u2020}\left(x,t\right)\stackrel{^}{p}U\left(x,t\right)$, which allows the Hamiltonian at some time *t* and at
$t=0$ to be unitarily connected:

$\stackrel{^}{H}\left(t\right)={U}^{\u2020}\left(x,t\right)\stackrel{^}{H}\left(0\right)U\left(x,t\right).$ (13)

The gauge transformation
$U\left(x,t\right)$ must respect the PBC:
$U\left(x,t\right)=U\left(x+L,t\right)$ in order to be a well defined operator. It is evident that only for time
$t=j\tau $ (*j* is an integer), is the PBC respected, where

$\tau =\frac{2\pi \hslash}{eEL}.$ (14)

This shows that the Hamiltonian
$\stackrel{^}{H}\left(j\tau \right)$ (for different *j*s) are physically the same (they are *gauge equivalent*), their spectra are identical. Moreover their instantaneous eigenstates are related to each other by the gauge transformation:

${\Psi}_{n{k}_{m}\alpha \left(j\tau \right)}\left(x\right)={U}^{\u2020}\left(x,j\tau \right){\Psi}_{n{k}_{m+j}\alpha \left(0\right)}\left(x\right)$ (15)

$=\mathrm{exp}\left(-i\frac{2\pi xj}{L}\right){\Psi}_{n{k}_{m+j}\alpha \left(0\right)}\left(x\right),$ (16)

as also the energies
${E}_{n{k}_{m}\alpha \left(j\tau \right)}={E}_{n{k}_{m+j}\alpha \left(0\right)}$. The gauge transformation factor
$U\left(x,j\tau \right)={\text{e}}^{i\frac{2\pi x}{L}j}$ has a very interesting topological property. It is a function of *x*, albeit with the PBC, implying that the points
$x=0$ and
$x=L$ are identified since
$U\left(0,j\tau \right)=U\left(L,j\tau \right)$. This shows that it lives on a circle with circumference *L*. Now,
$U\left(x\mathrm{,}j\tau \right)$ by definition is a phase and takes values only on the unit circle in the complex plane. So
$U\left(x\mathrm{,}j\tau \right)$ is a map from one circle (with circumference *L*) to the unit circle. Such maps are classified in terms of homotopy classes [39], with each of them characterized by an integer called the *winding number*, which measures the number of times one circle is wound on another. This shows that the integer *j* appearing in
$U\left(x\mathrm{,}j\tau \right)$ is actually the winding number; under one rotation in *x* space, the factor
${\text{e}}^{i\frac{2\pi x}{L}j}$ completes *j* rotations of the unit circle. As a result, it is not possible to continuously deform
$U\left(x\mathrm{,}j\tau \right)$ to some
$U\left(x\mathrm{,}{j}^{\prime}\tau \right)$ for
$j\ne {j}^{\prime}$. The class of such gauge transformations, which can not be continuously deformed into the identity (gauge) transformation, is often referred to as *large gauge transformations*.

4. Geometric Phase in the Periodic Potential Problem

As found earlier that if the system is initially prepared in the instantaneous eigenstate
$|\Phi \left(0\right)\rangle =|{\Psi}_{n{k}_{l}\alpha \left(0\right)}\rangle $, then it is constrained to evolve with the same quantum number
${k}_{l}$ at any other time *t*. So the state of the system
$|\Phi \left(t\right)\rangle $ essentially evolves *adiabatically* [35] [40] in the presence of a weak electromagnetic field, following the instantaneous eigenstate
$|{\Psi}_{n{k}_{l}\alpha \left(t\right)}\rangle $ along with an overall phase:

$|\Phi \left(t\right)\rangle ={\text{e}}^{i\varphi \left(t\right)}|{\Psi}_{n{k}_{l}\alpha \left(t\right)}\rangle .$ (17)

The phase factor is given by $\varphi \left(t\right)=i{\displaystyle {\int}_{0}^{t}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{d}s\langle {\Psi}_{n{k}_{l}\alpha \left(s\right)}|\frac{\partial}{\partial s}|{\Psi}_{n{k}_{l}\alpha \left(s\right)}\rangle -\frac{1}{\hslash}{\displaystyle {\int}_{0}^{t}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{d}s\text{\hspace{0.17em}}{E}_{n{k}_{l}\alpha \left(s\right)}$ [6] [35]. In the light of (15), this takes the form:

$|\Phi \left(j\tau \right)\rangle ={\text{e}}^{i\varphi \left(j\tau \right)}{\stackrel{^}{U}}^{\u2020}\left(x,j\tau \right)|{\Psi}_{n{k}_{l+j}\alpha \left(0\right)}\rangle ,$ (18)

which shows that the system, which was initially in the eigenstate with a wave vector ${k}_{l}$, in the course of adiabatic evolution goes into the eigenstate with a wave vector ${k}_{l+j}$ (in the same band) after time $t=j\tau $, modulo a large gauge transformation with the winding number $-j$. Figure 2 graphically depicts the adiabatic evolution of the system due to $\alpha \left(t\right)$. This remarkable result leads to the evaluation of the geometric phase acquired by the system in two distinct cases: the single-particle case and the filled band many-particle case.

4.1. Single-Particle Case

Relation (18) dictates that after time $N\tau $, the state of the system is:

$|\Phi \left(N\tau \right)\rangle ={\text{e}}^{i\chi}{\text{e}}^{i\varphi \left(N\tau \right)}{\stackrel{^}{U}}^{\u2020}\left(x\mathrm{,}N\tau \right)|{\Psi}_{n{k}_{l}\alpha \left(0\right)}\rangle \mathrm{,}$ (19)

Figure 2. Schematic representation of the change in energy of the particle in the course of adiabatic evolution. The red curve represents the dispersion curve
${E}_{n{k}_{m}\alpha \left(t\right)}$ for some generic band *n*. The black arrow depicts the change in the energy over time
$\tau $. Whereas the blue arrows indicate that the particle returns to its initial energy after time
$N\tau $.

indicating that the system returns to the initial state with a large gauge transformation. It may be noted that in general, $\left|\langle {\Psi}_{n{k}_{l}\alpha \left(0\right)}|{\stackrel{^}{U}}^{\u2020}\left(x\mathrm{,}N\tau \right)|{\Psi}_{n{k}_{l}\alpha \left(0\right)}\rangle \right|\ne 1$ which indicates that the initial and final states are not colinear:

$|\Phi \left(N\tau \right)\rangle \ne {\text{e}}^{i\theta}|\Phi \left(0\right)\rangle \mathrm{,}$ (20)

and the corresponding density matrices are not identical. Thus, strictly speaking the system does not return to its initial state after time $N\tau $. However, owing to the gauge transformation factor ${U}^{\u2020}\left(x\mathrm{,}N\tau \right)$ it is straightforward to see that the average of any observable $\stackrel{^}{F}\left(\stackrel{^}{x}\mathrm{,}\stackrel{^}{p}-eA\left(t\right)\right)$ returns after time $N\tau $ :

$\langle {\Psi}_{n{k}_{l}\alpha \left(0\right)}|\stackrel{^}{F}\left(\stackrel{^}{x}\mathrm{,}\stackrel{^}{p}-eA\left(0\right)\right)|{\Psi}_{n{k}_{l}\alpha \left(0\right)}\rangle =\langle {\Psi}_{n{k}_{l}\alpha \left(N\tau \right)}|\stackrel{^}{F}\left(\stackrel{^}{x}\mathrm{,}\stackrel{^}{p}-eA\left(N\tau \right)\right)|{\Psi}_{n{k}_{l}\alpha \left(N\tau \right)}\rangle \mathrm{.}$

So the states
$|\Phi \left(0\right)\rangle $ and
$|\Phi \left(N\tau \right)\rangle $ while being non-colinear, nevertheless represent the same physical state of the system, albeit expressed in different gauges. Thus, the time evolution of the system in this case is found to be *adiabatic* and *cyclic* kind. It must be mentioned that this notion of cyclicity generalizes the existing notion in the literature [31] [32] based on the requirement of returning of the density matrix.

This treatment immediately shows that:

${\langle \stackrel{^}{x}\left(N\tau \right)\rangle}_{\Phi}={\langle \stackrel{^}{x}\left(0\right)\rangle}_{\Phi}\mathrm{,}$ (21)

showing that the center of mass of the wavepacket
$|\Phi \left(t\right)\rangle $ indeed performs *Bloch oscillation* with time period
$N\tau $ ^{1}. It is clear that such an oscillation phenomenon, consisting of cyclic acceleration and deceleration, would also be displayed by the average electric current
$-\frac{e}{\mu}{\langle \stackrel{^}{p}+\hslash \alpha \left(t\right)\rangle}_{\Phi}$. The existence of Bloch oscillation and its time period
$N\tau =\frac{2\pi \hslash}{eEa}$, are in exact agreement with the well known findings in the usual
$A=0$,
$\phi \ne 0$ gauge [36] [37] [38].

The geometric phase gained by the system after such a cyclic adiabatic evolution then straight away follows from (17) and (4) and it reads:

${\gamma}_{g}\left(n\right)=\text{Arg}\langle {\Psi}_{n{k}_{l}\alpha \left(0\right)}|{\Psi}_{n{k}_{l}\alpha \left(N\tau \right)}\rangle +i{\displaystyle {\int}_{0}^{N\tau}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{d}t\langle {\Psi}_{n{k}_{l}\alpha \left(t\right)}|{\partial}_{t}|{\Psi}_{n{k}_{l}\alpha \left(t\right)}\rangle \mathrm{.}$ (22)

Recollect that the Bloch state $|{\Psi}_{n{k}_{l}\alpha \left(t\right)}\rangle $ is not strictly periodic under spatial translation by a unit cell distance, but returns with a phase ${\text{e}}^{i{k}_{l}a}$. The above geometric phase expression simplifies significantly if we employ cell periodic Bloch state, defined as:

$|{u}_{n{k}_{l}\alpha}\rangle ={\text{e}}^{-i{k}_{l}\stackrel{^}{x}}|{\Psi}_{n{k}_{l}\alpha}\rangle ,$ (23)

which is periodic under a unit cell translation. From (10), it follows that
$|{u}_{n{k}_{l}\alpha}\rangle $ solves the eigenvalue problem for the driven Hamiltonian
${\stackrel{^}{H}}_{{k}_{l}+\alpha}$ so that:
${\stackrel{^}{H}}_{{k}_{l}+\alpha}|{u}_{n{k}_{l}\alpha}\rangle ={E}_{n{k}_{l}\alpha}|{u}_{n{k}_{l}\alpha}\rangle $. When we redefine
$q={k}_{l}+\alpha $, we see that the Hamiltonian
${\stackrel{^}{H}}_{{k}_{l}+\alpha}\equiv {\stackrel{^}{H}}_{q}$ is a function of *q* (following
${k}_{l}$ -dependence of the undriven Hamiltonian
${\stackrel{^}{H}}_{{k}_{l}}$. The above argument further dictates that both the energy
${E}_{n{k}_{l}\alpha}\equiv {E}_{nq}$ and the cell periodic Bloch state
$|{u}_{n{k}_{l}\alpha}\rangle \equiv |{u}_{nq}\rangle $ of the driven Hamiltonian are also functions of *q*. From (12), a crucial relation for these Bloch states follows:

$|{u}_{n}\left(q+\frac{2\pi}{a}\right)\rangle ={\text{e}}^{i\chi}{\text{e}}^{-i\frac{2\pi}{a}\stackrel{^}{x}}|{u}_{n}\left(q\right)\rangle \mathrm{.}$ (24)

We set
${k}_{l}=0$ without loss of generality, and employ the reparametrization invariance of the geometric phase, which enables us to express
${\gamma}_{g}\left(n\right)$ in terms of
$|{u}_{n}\left(\alpha \right)\rangle $ while treating
$\alpha $ as a parameter. This leads us to the expression for *Pancharatnam-Zak phase*
${\gamma}_{g}\left(n\right)$ which is one of the main results of this paper:

${\gamma}_{g}\left(n\right)=\text{Arg}\langle {u}_{n}\left(0\right)|{u}_{n}\left(2\pi /a\right)\rangle +i{\displaystyle {\int}_{0}^{\frac{2\pi}{a}}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{d}\alpha \langle {u}_{n}\left(\alpha \right)|{\partial}_{\alpha}|{u}_{n}\left(\alpha \right)\rangle \mathrm{.}$ (25)

This geometric phase correctly and consistently characterizes the band. The Pancharatnam-Zak phase so obtained above is independent of the total number of cells *N* in the system, as it should be, since it captures the curvature of the state space of the system, which is solely determined by the Hamiltonian.

Invoking the treatment presented in section (2), one sees that the geometric phase (25) comprises of twso line integrals of connection ${A}_{n}\left(s\right)=i\langle {u}_{n}\left(s\right)|{\partial}_{s}|{u}_{n}\left(s\right)\rangle $ as shown in Figure 3: (a) along the adiabatic evolution curve $|{u}_{n}\left(q\right)\rangle \langle {u}_{n}\left(q\right)|$ defined by states $|{u}_{n}\left(q\right)\rangle $ which solve ${\stackrel{^}{H}}_{q}|{u}_{n}\left(q\right)\rangle ={E}_{nq}|{u}_{n}\left(q\right)\rangle $ ( $0\le q\le \frac{2\pi}{a}$ ) connecting state $|{u}_{n}\left(0\right)\rangle \langle {u}_{n}\left(0\right)|$ to $|{u}_{n}\left(2\pi /a\right)\rangle \langle {u}_{n}\left(2\pi /a\right)|$, and (b) returning to $|{u}_{n}\left(0\right)\rangle \langle {u}_{n}\left(0\right)|$ via the geodesic curve $|{{u}^{\prime}}_{n}\left(l\right)\rangle \langle {{u}^{\prime}}_{n}\left(l\right)|$ where $|{{u}^{\prime}}_{n}\left(l\right)\rangle =\frac{{\text{e}}^{i\theta l/\Lambda}}{\mathrm{sin}\Lambda}\left(\mathrm{sin}\left(\Lambda -l\right)|{u}_{n}\left(2\pi /a\right)\rangle +{\text{e}}^{-i\theta}\mathrm{sin}\left(l\right)|u\left(0\right)\rangle \right)$ (here $0\le l\le \Lambda $ and $\theta =-\text{Arg}\langle {u}_{n}\left(0\right)|{u}_{n}\left(2\pi /a\right)\rangle $ ). The Pancharatnam-Zak phase can thus be represented in a manifestly gauge invariant form as a closed line integral over adiabatic evolution and geodesic curves conjoint, to read:

Figure 3. Schematic depiction of the curve along which the geometric phase integral in (26) is defined. Here density matrices $\rho \left(j\right)$ ( $j=0,1,2,\cdots ,N$ ) are the ones corresponding to states $|{u}_{n}\left(\frac{2\pi}{Na}j\right)\rangle $, specifying the adiabatic evolution (shown as brown curve). Whereas the density matrices ${\rho}^{\prime}\left(l\right)$ correspond to the states $|{{u}^{\prime}}_{n}\left(l\right)\rangle $ which define the geodesic curve (shown as blue curve).

${\gamma}_{g}\left(n\right)={\displaystyle {\oint}_{C}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{d}l\text{\hspace{0.17em}}{A}_{n}\left(l\right)\mathrm{.}$ (26)

Owing to the fact that the state $|{u}_{n}\left(q\right)\rangle $ and ${\text{e}}^{i\Lambda \left(q\right)}|{u}_{n}\left(q\right)\rangle $, represent the same physical state of the system, since the corresponding density matrices are identical, one demands that a physically observable quantity must remain invariant under a gauge transformation $|{u}_{n}\left(q\right)\rangle \to {\text{e}}^{i\Lambda \left(q\right)}|{u}_{n}\left(q\right)\rangle $ for any choice of $\Lambda \left(q\right)$. It can be clearly seen from the above relation and (25) that the Pancharatnam-Zak phase is indeed insensitive to such a gauge transformation.

The Pancharatnam-Zak phase can be viewed as a cell periodic version of the Pancharatnam geometric phase (1) by defining:

${\Delta}_{N}=\langle {u}_{n\mathrm{,0}}|{u}_{n\mathrm{,}N}\rangle \langle {u}_{n\mathrm{,}N}|{u}_{n\mathrm{,}N-1}\rangle \cdots \langle {u}_{n\mathrm{,2}}|{u}_{n\mathrm{,1}}\rangle \langle {u}_{n\mathrm{,1}}|{u}_{n\mathrm{,0}}\rangle \mathrm{,}$ (27)

where $|{u}_{n\mathrm{,}i}\rangle \equiv |{u}_{n}\left(\frac{2\pi i}{Na}\right)\rangle $. Evidently the cyclic nature of ${\Delta}_{N}$ ensures that ${\gamma}_{g}(\; n\; )$

is invariant under local gauge transformations
$|{u}_{n\mathrm{,}j}\rangle \to {\text{e}}^{i{\Lambda}_{j}}|{u}_{n\mathrm{,}j}\rangle $ (here
${\Lambda}_{j}$ are some arbitrary real numbers). In the large *N* limit, one immediately sees that expression (25) is indeed:

${\gamma}_{g}\left(n\right)=\underset{N\to \infty}{lim}\text{Arg}\text{\hspace{0.17em}}{\Delta}_{N}\mathrm{.}$ (28)

It is also invariant under any unitary operation
$\stackrel{^}{U}$ (such that
${\stackrel{^}{U}}^{-1}={\stackrel{^}{U}}^{\u2020}$ ) of the kind:
$|{u}_{n\mathrm{,}j}\rangle \to \stackrel{^}{U}|{u}_{n\mathrm{,}j}\rangle $, since such an operation preserves the value of all the amplitudes in
${\Delta}_{N}$. This crucially shows that the value of
${\gamma}_{g}\left(n\right)$ *can not* be altered by changing the gauge convention and by translating the origin of the unit cell
$|{u}_{n\mathrm{,}i}\rangle \to {\text{e}}^{-i\frac{\epsilon}{\hslash}\stackrel{^}{p}}|{u}_{n\mathrm{,}i}\rangle $ by distance
$\epsilon $. It is a geometric quantity that characterises the band as a whole.

The spatial inversion (unitary) operator $\stackrel{^}{\Pi}$ is defined such that $-\stackrel{^}{x}=\stackrel{^}{\Pi}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\stackrel{^}{x}\text{\hspace{0.05em}}\text{\hspace{0.05em}}{\stackrel{^}{\Pi}}^{\u2020}$ and $-\stackrel{^}{p}=\stackrel{^}{\Pi}\text{\hspace{0.17em}}\stackrel{^}{p}\text{\hspace{0.17em}}{\stackrel{^}{\Pi}}^{\u2020}$. So for the lattices which are inversion symmetric, that is $V\left(-\stackrel{^}{x}\right)=\stackrel{^}{\Pi}V\left(\stackrel{^}{x}\right){\stackrel{^}{\Pi}}^{\u2020}=V\left(\stackrel{^}{x}\right)$, one finds that $|{u}_{n}\left(-k\right)\rangle =\stackrel{^}{\Pi}|{u}_{n}\left(k\right)\rangle $ which follows from the equation ${\stackrel{^}{H}}_{k}|{u}_{n}\left(k\right)\rangle ={E}_{nk}|{u}_{n}\left(k\right)\rangle $. Using this in (25) along with the reparametrization invariance of ${\gamma}_{g}\left(n\right)$, one finds that the Pancharatnam-Zak phase for such a system is quantized:

${\gamma}_{g}\left(n\right)=0\text{\hspace{0.17em}}\text{or}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\pi \mathrm{.}$ (29)

This shows that the Pancharatnam-Zak phase in inversion symmetric lattices becomes a topological index, whose non-zero value corresponds to a topologically non-trivial band.

The idea of evaluating the geometric phase gained by an electron in a 1D periodic lattice potential in the presence of a weak electromagnetic field has a long history starting from the celebrated work of Zak [15]. The expression popularly referred to as the *Zak phase* [3] [18] [19] [26] [28] was obtained in this work, and it reads:

${\gamma}_{Z}\left(n\right)=i{\displaystyle {\int}_{0}^{\frac{2\pi}{a}}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{d}k\langle {u}_{n}\left(k\right)|\frac{\partial}{\partial k}|{u}_{n}\left(k\right)\rangle \mathrm{,}$ (30)

wherein the states
$|{u}_{n}\left(k\right)\rangle $ are required to obey the *periodic gauge condition* [3] [15] [18] [19] whereby
$\chi =0$.

It can be readily seen that the Zak phase (30) is *not* a gauge invariant object, and its value alters under a gauge transformation
$|{u}_{n}\left(q\right)\rangle \to {\text{e}}^{i\Lambda \left(q\right)}|{u}_{n}\left(q\right)\rangle $, for any general
$\Lambda \left(q\right)$. Furthermore even in the periodic gauge, Zak’s expression (30) does not yields the correct value for the geometric phase, since (30) is devoid of the non-trivial contribution due to
$\text{Arg}\langle {u}_{n}\left(0\right)|{u}_{n}\left(2\pi /a\right)\rangle $, which is captured by (25).

The same conclusion can also be reached using a different representation of the Zak phase. As was shown by Resta [18] and recently by Vanderbilt [3], that the Zak phase (30) can be written as argument of a *non-cyclic object*:

${\gamma}_{Z}\left(n\right)=\underset{N\to \infty}{lim}\text{Arg}{\left(\langle {u}_{n\mathrm{,}N}|{u}_{n\mathrm{,}N-1}\rangle \cdots \langle {u}_{n\mathrm{,2}}|{u}_{n\mathrm{,1}}\rangle \langle {u}_{n\mathrm{,1}}|{u}_{n\mathrm{,0}}\rangle \right)|}_{\chi =0}\mathrm{,}$ (31)

where
$|{u}_{n\mathrm{,}i}\rangle \equiv |{u}_{n}\left(\frac{2\pi i}{Na}\right)\rangle $ and
$|{u}_{n\mathrm{,}N}\rangle ={\text{e}}^{i\chi}{\text{e}}^{-i\frac{2\pi}{a}\stackrel{^}{x}}|{u}_{n\mathrm{,0}}\rangle $. It can be readily seen that this expression readily reproduces (30), in
$N\to \infty $ limit. This representation again shows that the Zak phase is a *gauge dependent* construct, and its value depends on the choice of the unphysical quantity
$\chi $. This feature is very uncharacteristic of a geometric object as also of a physical observable, which is required to be independent of the choice of gauge.

The operation of shifting the origin of the unit cell by $\epsilon $ distance is implem-ented by the transformation $|{u}_{n\mathrm{,}j}\rangle \to |{{u}^{\prime}}_{n\mathrm{,}j}\rangle ={\text{e}}^{-i\frac{\epsilon}{\hslash}\stackrel{^}{p}}|{u}_{n\mathrm{,}j}\rangle $ (for $j=0,1,2,\cdots ,N-1$ ). The Zak phase defined using the transformed states is given by:

${{\gamma}^{\prime}}_{Z}\left(n\right)=\underset{N\to \infty}{lim}\text{Arg}{\left(\langle {{u}^{\prime}}_{n\mathrm{,}N}|{{u}^{\prime}}_{n\mathrm{,}N-1}\rangle \cdots \langle {{u}^{\prime}}_{n\mathrm{,2}}|{{u}^{\prime}}_{n\mathrm{,1}}\rangle \langle {{u}^{\prime}}_{n\mathrm{,1}}|{{u}^{\prime}}_{n\mathrm{,0}}\rangle \right)|}_{\chi =0}\mathrm{.}$ (32)

In light of relation (24), the above expression reads:

${{\gamma}^{\prime}}_{Z}\left(n\right)=\underset{N\to \infty}{lim}\text{Arg}\left(\langle {{u}^{\prime}}_{n\mathrm{,0}}|{\text{e}}^{i\frac{2\pi}{a}\stackrel{^}{x}}|{{u}^{\prime}}_{n\mathrm{,}N-1}\rangle \cdots \langle {{u}^{\prime}}_{n\mathrm{,2}}|{{u}^{\prime}}_{n\mathrm{,1}}\rangle \langle {{u}^{\prime}}_{n\mathrm{,1}}|{{u}^{\prime}}_{n\mathrm{,0}}\rangle \right)$ (33)

$=\underset{N\to \infty}{lim}\text{Arg}\left({\text{e}}^{i\frac{2\pi}{a}\epsilon}\langle {u}_{n\mathrm{,0}}|{\text{e}}^{i\frac{2\pi}{a}\stackrel{^}{x}}|{u}_{n\mathrm{,}N-1}\rangle \cdots \langle {u}_{n\mathrm{,2}}|{u}_{n\mathrm{,1}}\rangle \langle {u}_{n\mathrm{,1}}|{u}_{n\mathrm{,0}}\rangle \right)\mathrm{.}$ (34)

The last expression clearly shows that under spatial translation of the unit cell by $\epsilon $ distance, the value of the Zak phase indeed gets altered as:

${\gamma}_{Z}\left(n\right)\to {{\gamma}^{\prime}}_{Z}\left(n\right)={\gamma}_{Z}\left(n\right)+\frac{2\pi}{a}\epsilon \mathrm{,}$ (35)

which is a well known result [3] [15] [28]. So by a suitable choice of the origin of the unit cell, one can make the Zak phase attain any desired value. These observations ultimately overturn the assertion that the Zak phase is a geometric phase and a physical observable. The fact that the Zak phase depends on the gauge choice and the choice of the origin of the unit cell is well acknowledged in the literature [3] [18] [19] [26] [27] [28].

In order to appreciate the construction of the Pancharatnam-Zak phase, it is instructive to consider its behaviour under spatial translation of the unit cell $|{u}_{n\mathrm{,}j}\rangle \to |{{u}^{\prime}}_{n\mathrm{,}j}\rangle ={\text{e}}^{-i\frac{\epsilon}{\hslash}\stackrel{^}{p}}|{u}_{n\mathrm{,}j}\rangle $ (for $j=0,1,2,\cdots ,N-1$ ). In terms of the transformed states, the Pancharatnam-Zak phase is given by:

${{\gamma}^{\prime}}_{g}\left(n\right)=\underset{N\to \infty}{lim}\text{Arg}\left(\langle {{u}^{\prime}}_{n\mathrm{,0}}|{{u}^{\prime}}_{n\mathrm{,}N}\rangle \langle {{u}^{\prime}}_{n\mathrm{,}N}|{{u}^{\prime}}_{n\mathrm{,}N-1}\rangle \cdots \langle {{u}^{\prime}}_{n\mathrm{,2}}|{{u}^{\prime}}_{n\mathrm{,1}}\rangle \langle {{u}^{\prime}}_{n\mathrm{,1}}|{{u}^{\prime}}_{n\mathrm{,0}}\rangle \right)\mathrm{.}$ (36)

Employing relation (24), the above expression reads:

${{\gamma}^{\prime}}_{g}\left(n\right)=\underset{N\to \infty}{lim}\text{Arg}\left(\langle {{u}^{\prime}}_{n\mathrm{,0}}|{\text{e}}^{i\chi}{\text{e}}^{-i\frac{2\pi}{a}\stackrel{^}{x}}|{{u}^{\prime}}_{n\mathrm{,0}}\rangle \langle {{u}^{\prime}}_{n\mathrm{,0}}|{\text{e}}^{-i\chi}{\text{e}}^{i\frac{2\pi}{a}\stackrel{^}{x}}|{{u}^{\prime}}_{n\mathrm{,}M-1}\rangle \cdots \langle {{u}^{\prime}}_{n\mathrm{,2}}|{{u}^{\prime}}_{n\mathrm{,1}}\rangle \langle {{u}^{\prime}}_{n\mathrm{,1}}|{{u}^{\prime}}_{n\mathrm{,0}}\rangle \right)\mathrm{.}$ (37)

The structure of the first and second amplitudes in the above expression clearly shows that ${{\gamma}^{\prime}}_{g}\left(n\right)$ is insensitive to the value of $\chi $. Invoking the relation $|{{u}^{\prime}}_{n\mathrm{,}j}\rangle ={\text{e}}^{-i\frac{\epsilon}{\hslash}\stackrel{^}{p}}|{u}_{n\mathrm{,}j}\rangle $, one immediately sees that the $\epsilon $ dependent phase factors from the first and second amplitudes precisely cancel each other, so as to yield:

${{\gamma}^{\prime}}_{g}\left(n\right)={\gamma}_{g}\left(n\right).$ (38)

This is a clear demonstration of the gauge invariance of the Pancharatnam-Zak phase and its invariance under spatial translation of the unit cell.

A careful observation shows that the expression (25) of the Pancharatnam-Zak phase coincides with the Zak phase (30), *not* in the periodic gauge
$\chi =0$, but in the gauge wherein
$\chi $ is defined such that
$\text{Arg}\langle {u}_{n}\left(0\right)|{u}_{n}\left(2\pi /a\right)\rangle =0$. This gauge provides a way of using Zak’s formula to yield the correct value of the geometric phase, even though its original derivation was done within the framework of periodic gauge wherein
$\text{Arg}\langle {u}_{n}\left(0\right)|{u}_{n}\left(2\pi /a\right)\rangle \ne 0$ [3] [15].

4.2. Many-Particle Case

The Equation (18) states that if the system is prepared in the initial state $|{\Psi}_{n{k}_{l}\alpha \left(0\right)}\rangle $, then after time $\tau $ it adiabatically evolves as:

$|\Phi \left(\tau \right)\rangle ={\text{e}}^{i\varphi \left(\tau \right)}{\stackrel{^}{U}}^{\u2020}\left(x\mathrm{,}\tau \right)|{\Psi}_{n{k}_{l+1}\alpha \left(0\right)}\rangle \mathrm{,}$ (39)

and the Hamiltonian returns modulo a large gauge transformation:
$\stackrel{^}{H}\left(\tau \right)={\stackrel{^}{U}}^{\u2020}\left(x\mathrm{,}\tau \right)\stackrel{^}{H}\left(0\right)\stackrel{^}{U}\left(x\mathrm{,}\tau \right)$. This observation motivates one to consider the *N*-particle generalization of this problem, the case wherein the *n*^{th} band is completely filled by *N* non-interacting spinless fermions. In the literature, the single-particle case considered in the earlier section has attracted significant interest. The discussion of the many-particle case is essential for practical topological materials, such as 1D topological insulators and superconductors. It is the many-particle systems (e.g., filled bands of topological insulators) whose geometric and topological features are probed experimentally. In such many-particle systems, the band-gap between the bands of topological insulators or the pairing gap in topological superconductors plays a vital role for the topological protection and the validity of adiabatic conditions in the definition of geometric phase [1] [2].

Let us consider the many-particle wavefunction
${\stackrel{\xaf}{\Phi}}_{n}$ representing such a filled band at any time *t* in the adiabatic approximation, given by the Slater determinant:

$\begin{array}{l}{\stackrel{\xaf}{\Phi}}_{n}\left({x}_{1},{x}_{2},\cdots ,{x}_{N};\alpha \left(t\right)\right)\\ =\frac{1}{\sqrt{N!}}\left|\begin{array}{cccc}{\Phi}_{n{k}_{0}\alpha \left(t\right)}\left({x}_{1}\right)& {\Phi}_{n{k}_{1}\alpha \left(t\right)}\left({x}_{1}\right)& \cdots & {\Phi}_{n{k}_{N-1}\alpha \left(t\right)}\left({x}_{1}\right)\\ {\Phi}_{n{k}_{0}\alpha \left(t\right)}\left({x}_{2}\right)& {\Phi}_{n{k}_{1}\alpha \left(t\right)}\left({x}_{2}\right)& \cdots & {\Phi}_{n{k}_{N-1}\alpha \left(t\right)}\left({x}_{2}\right)\\ \vdots & \vdots & & \vdots \\ {\Phi}_{n{k}_{0}\alpha \left(t\right)}\left({x}_{N}\right)& {\Phi}_{n{k}_{1}\alpha \left(t\right)}\left({x}_{N}\right)& \cdots & {\Phi}_{n{k}_{N-1}\alpha \left(t\right)}\left({x}_{N}\right)\end{array}\right|.\end{array}$ (40)

Here,
${\Phi}_{n{k}_{l}\alpha \left(t\right)}\left({x}_{i}\right)$ represents the *i*^{th} particle wave function adiabatically evolving as per (17). From here it follows that the many-particle wavefunction at time
$j\tau $ can be straightforwardly written as:

$\begin{array}{l}{\stackrel{\xaf}{\Phi}}_{n}\left({x}_{1},{x}_{2},\cdots ,{x}_{N};\alpha \left(j\tau \right)\right)=\frac{{\text{e}}^{i\Gamma \left(j\tau \right)}}{\sqrt{N!}}G\left({x}_{1},{x}_{2},\cdots ,{x}_{N};j\tau \right)\\ \text{\hspace{0.05em}}\times \left|\begin{array}{cccc}{\Psi}_{n{k}_{j}\alpha \left(0\right)}\left({x}_{1}\right)& {\Psi}_{n{k}_{j+1}\alpha \left(0\right)}\left({x}_{1}\right)& \cdots & {\Psi}_{n{k}_{N+j}\alpha \left(0\right)}\left({x}_{1}\right)\\ {\Psi}_{n{k}_{j}\alpha \left(0\right)}\left({x}_{2}\right)& {\Psi}_{n{k}_{j+1}\alpha \left(0\right)}\left({x}_{2}\right)& \cdots & {\Psi}_{n{k}_{N+j}\alpha \left(0\right)}\left({x}_{2}\right)\\ \vdots & \vdots & & \vdots \\ {\Psi}_{n{k}_{j}\alpha \left(0\right)}\left({x}_{N}\right)& {\Psi}_{n{k}_{j+1}\alpha \left(0\right)}\left({x}_{N}\right)& \cdots & {\Psi}_{n{k}_{N+j}\alpha \left(0\right)}\left({x}_{N}\right)\end{array}\right|.\end{array}$

The *N*-particle large gauge transformation *G* is given by the product:

$G\left({x}_{1},{x}_{2},\cdots ,{x}_{N};\tau \right)={\displaystyle \underset{j=1}{\overset{N}{\prod}}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}{U}^{\u2020}\left({x}_{j},j\tau \right),$ (41)

whereas the phase factor $\Gamma \left(j\tau \right)$ reads:

$\Gamma \left(j\tau \right)={\displaystyle \underset{l=0}{\overset{N-1}{\sum}}}\left(i{\displaystyle {\int}_{{k}_{l}}^{{k}_{l+j}}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{d}\alpha \langle {u}_{n}\left(\alpha \right)|{\partial}_{\alpha}|{u}_{n}\left(\alpha \right)\rangle -\frac{1}{\hslash}{\displaystyle {\int}_{0}^{j\tau}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{d}t\text{\hspace{0.17em}}{E}_{n{k}_{l}\alpha \left(t\right)}\right).$ (42)

The identity ${\Psi}_{n{k}_{N+j}\alpha}\left({x}_{i}\right)={\text{e}}^{i\chi}{\Psi}_{n{k}_{j}\alpha}\left({x}_{i}\right)$ and the anti-symmetric nature of the Slater determinant yield:

$\begin{array}{l}{\stackrel{\xaf}{\Phi}}_{n}\left({x}_{1},{x}_{2},\cdots ,{x}_{N};\alpha \left(j\tau \right)\right)\\ ={\left(-1\right)}^{j\left(N-j\right)}{\text{e}}^{ij\chi}{\text{e}}^{i\Gamma \left(j\tau \right)}G\left({x}_{1},{x}_{2},\cdots ,{x}_{N};j\tau \right){\stackrel{\xaf}{\Phi}}_{n}\left({x}_{1},{x}_{2},\cdots ,{x}_{N};\alpha \left(0\right)\right).\end{array}$ (43)

Noting that the average of a single particle observable
$\stackrel{^}{F}\left(\stackrel{^}{x}\mathrm{,}\stackrel{^}{p}-eA\left(\tau \right)\right)$ evolves as
$\langle {\Psi}_{n{k}_{l}\alpha \left(\tau \right)}|\stackrel{^}{F}\left(\stackrel{^}{x},\stackrel{^}{p}-eA\left(\tau \right)\right)|{\Psi}_{n{k}_{l}\alpha \left(\tau \right)}\rangle =\langle {\Psi}_{n{k}_{l+1}\alpha \left(0\right)}|\stackrel{^}{F}\left(\stackrel{^}{x},\stackrel{^}{p}-eA\left(0\right)\right)|{\Psi}_{n{k}_{l+1}\alpha \left(0\right)}\rangle $, one sees that the average
$\langle {\stackrel{\xaf}{\Phi}}_{n}\left(\alpha \left(t\right)\right)|\stackrel{^}{F}|{\stackrel{\xaf}{\Phi}}_{n}\left(\alpha \left(t\right)\right)\rangle $ of any *N*-particle observables
$\stackrel{^}{F}$, for example the total Hamiltonian and momentum, return to itself after time
$\tau $. Generalizing the relation (4) for a filled band scenario, one finds that the geometric phase acquired by the band fermions evolving adiabatically till time
$j\tau $ reads:

${\Gamma}_{g}\left(j\tau \right)={\displaystyle \underset{l=0}{\overset{N-1}{\sum}}}\left(\text{Arg}\langle {u}_{n}\left({k}_{l}\right)|{u}_{n}\left({k}_{l+j}\right)\rangle +i{\displaystyle {\int}_{{k}_{l}}^{{k}_{l+j}}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{d}\alpha \langle {u}_{n}\left(\alpha \right)|{\partial}_{\alpha}|{u}_{n}\left(\alpha \right)\rangle \right)\mathrm{.}$ (44)

As noted above in this case the filled band system displays cyclicity even for time evolution $\tau $. While each particle only traverses a segment of a closed curve over the band, the collective state in equation (40) traces a closed curve to return back to its original state, resulting in a multi-particle geometric phase (44). So the non-zero geometric phase acquired by the filled band state in an evolution for time $\tau $ results from an addition of the geometric phases acquired by each constituent single particle states. Evidently the phase acquired by the filled band state after evolution till time $N\tau $ reads:

${\Gamma}_{g}\left(N\tau \right)=N{\gamma}_{g}\left(n\right)\mathrm{.}$ (45)

This is an expected result since each of the fermions is evolving independently in this non-interacting system, giving rise to Pancharatnam-Zak phase ${\gamma}_{g}\left(n\right)$, which all add up to yield this result. The geometric phase for filled bands has been studied for some time now [17] [18] [41]. We emphasize that the topological properties of the bands is characterized by ${\gamma}_{g}\left(n\right)$ or ${\Gamma}_{g}\left(N\tau \right)$ per particle. Such many-particle geometric phase in optical systems has been studied earlier theoretically [42] and later confirmed experimentally [34] [43] using intensity interferometry.

5. Explicit Example

The SSH model is a 1D lattice of atoms with an unit cell consisting of two atoms, as depicted in Figure 4. This model is formulated within the tight-binding approximation with nearest-neighbour couplings between the atoms [2] [26]. In the recent years, there have been many experimental realizations of this model in various set-ups [27] [44] [45]. The Hamiltonian describing the model reads as:

${\stackrel{^}{H}}_{SSH}={\displaystyle \underset{m=-N/2}{\overset{N/2}{\sum}}}\left(-v|ma+{r}_{\alpha}\rangle \langle ma+{r}_{\beta}|-w|\left(m+1\right)a+{r}_{\alpha}\rangle \langle ma+{r}_{\beta}|+\text{h}\text{.c}\text{.}\right)\mathrm{.}$

Here,
${r}_{\alpha \mathrm{,}\beta}$ represent the coordinates of the two atoms respectively within the unit cell, whereas
$a$ is the distance between the unit cells. The spatially localized electron state on atom in *m*^{th} unit cell at site
${r}_{\alpha \mathrm{,}\beta}$ is described by
$|ma+{r}_{\alpha \mathrm{,}\beta}\rangle $,

Figure 4. Schematic representation of Su-Schrieffer-Heeger (SSH) model with a lattice constant
$a$ and a unit cell consisting of two different atoms (shown as red and blue disks) separated by a distance *b*. Here, the intracell and intercell hopping amplitude are
$v$ and
$w$, respectively. The yellow and blue rectangles represent two different choices of defining the unit cell, whose origins are separated by a distance
$\epsilon $.

whereas the distance between the two atoms in the unit cell is
$b={r}_{\beta}-{r}_{\alpha}$. The parameter
$v$ is the intracell electron hopping amplitude, whereas
$w$ is the intercell hopping amplitude. The system consists of *N* cells with PBC. Going over to the momentum space allows one to define the free particle states
${|k\rangle}_{\alpha \mathrm{,}\beta}$ as:

${|k\rangle}_{\alpha ,\beta}=\frac{1}{\sqrt{N}}{\displaystyle \underset{m=-N/2}{\overset{N/2}{\sum}}}\text{\hspace{0.17em}}{\text{e}}^{ik\left(ma+{r}_{\alpha ,\beta}\right)}|ma+{r}_{\alpha ,\beta}\rangle ,$ (46)

so that the above Hamiltonian reads:

${\stackrel{^}{H}}_{SSH}={\displaystyle \underset{k\in FBZ}{\sum}}\left(\begin{array}{cc}{|k\rangle}_{\alpha}& {|k\rangle}_{\beta}\end{array}\right)\left[H\left(k\right)\right]\left(\begin{array}{c}{}_{\alpha}\langle k|\\ {}_{\beta}\langle k|\end{array}\right)\mathrm{.}$ (47)

Here, the sum is over all the allowed values of *k* in the first Brillouin zone (FBZ). The 2 × 2 matrix
$\left[H\left(k\right)\right]$ has only two non-vanishing off diagonal elements
${H}_{\alpha \beta}={H}_{\beta \alpha}^{\ast}=x\left(k\right)+iy\left(k\right)=\left(-v{\text{e}}^{ikb}-w{\text{e}}^{ik\left(b-a\right)}\right)$. This can be diagonalized to find two eigenvalues
${E}_{\pm}\left(k\right)=\pm E\left(k\right)$, where
$E\left(k\right)=\sqrt{{x}^{2}+{y}^{2}}=\sqrt{{v}^{2}+{w}^{2}+2vw\mathrm{cos}\left(ka\right)}$. The corresponding eigenvectors
$\left[{u}_{\pm}\left(k\right)\right]$ are given by:

$\left[{u}_{\pm}\left(k\right)\right]=\left(\begin{array}{c}{u}_{1,\pm}\left(k\right)\\ {u}_{2,\pm}\left(k\right)\end{array}\right)=\frac{1}{\sqrt{2}}\left(\begin{array}{c}\pm \frac{x\left(k\right)+iy\left(k\right)}{E\left(k\right)}\\ 1\end{array}\right).$ (48)

Note that, there is an ambiguity (upto a local gauge transformation) in defining these eigenvectors, since $\left[{u}_{\pm}\left(k\right)\right]$ and ${\text{e}}^{i\theta \left(k\right)}\left[{u}_{\pm}\left(k\right)\right]$ (where $\theta \left(k\right)$ is any general function of $k$ ) both solve the eigenvalue problem for $\left[H\left(k\right)\right]$ for the same eigenvalues. It follows that the Hamiltonian (46) diagonalises in terms of $|{\Psi}_{\pm}\left(k\right)\rangle $ :

${\stackrel{^}{H}}_{SSH}={\displaystyle \underset{k\in FBZ}{\sum}}\text{\hspace{0.17em}}{E}_{\pm}\left(k\right)|{\Psi}_{\pm}\left(k\right)\rangle \langle {\Psi}_{\pm}\left(k\right)|\mathrm{,}$ (49)

which are defined as:

$|{\Psi}_{\pm}\left(k\right)\rangle ={u}_{\mathrm{1,}\pm}\left(k\right){|k\rangle}_{\alpha}+{u}_{\mathrm{2,}\pm}\left(k\right){|k\rangle}_{\beta}\mathrm{.}$

This allows one to determine the cell periodic Bloch states $|{u}_{\pm}\left(k\right)\rangle $ as:

$|{u}_{\pm}\left(k\right)\rangle ={u}_{\mathrm{1,}\pm}\left(k\right){|0\rangle}_{\alpha}+{u}_{\mathrm{2,}\pm}\left(k\right){|0\rangle}_{\beta}\mathrm{,}$ (50)

so that the Pancharatnam-Zak phase ${\gamma}_{g}(\pm )$ from (25) is given by:

$\begin{array}{c}{\gamma}_{g}(\pm )=\text{Arg}\left({u}_{\mathrm{1,}\pm}^{\ast}\left(0\right){u}_{\mathrm{1,}\pm}\left(2\pi /a\right)+{u}_{\mathrm{2,}\pm}^{\ast}\left(0\right){u}_{\mathrm{2,}\pm}\left(2\pi /a\right)\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}+i{\displaystyle {\int}_{0}^{2\pi /a}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{d}k\left({u}_{\mathrm{1,}\pm}^{\ast}{\partial}_{k}{u}_{\mathrm{1,}\pm}+{u}_{\mathrm{2,}\pm}^{\ast}{\partial}_{k}{u}_{\mathrm{2,}\pm}\right)\mathrm{.}\end{array}$ (51)

Evidently, the ambiguity of local phase factor ${\text{e}}^{i\theta \left(k\right)}$ in the definition of $|{u}_{\pm}\left(k\right)\rangle $ does not affect ${\gamma}_{g}(\pm )$. It can be readily checked that the contributions from the first and second terms in the expression (51) arising from such a phase factor get exactly cancelled, displaying yet again the gauge invariance of the Pancharatnam-Zak phase. It can be immediately seen that the above expression is also invariant under spatial translation operation.

This is to be contrasted with the range of values of the Zak phase ${\gamma}_{Z}(\pm )$ reported in literature [2] [19] [26] [27] which is arising due to the different choices in defining $\left[{u}_{\pm}\left(k\right)\right]$ and the choice of the origin of the unit cell.

From relation (51), we find that ${\gamma}_{g}(\pm )$ takes two values: (a) it is equal to π when $v/w<1$, and (b) it is equal to 0 when $v/w>1$ ; when $b<a/2$ (see Figure 5). Interestingly, when $b>a/2$, the system resembles itself with $b<a/2$ case, albeit with the roles of $v$ and $w$ now interchanged. Thus, one finds that (a) ${\gamma}_{g}(\pm )=\pi $ when $v/w>1$, and (b) ${\gamma}_{g}(\pm )=0$ when $v/w<1$ for $b>a/2$.

This discussion shows that the two discrete phases in the SSH model are properly captured by the geometric phase ${\gamma}_{g}$, the topologically trivial phase exists when ${\gamma}_{g}(\pm )=0$, and the topologically nontrivial phase exists when ${\gamma}_{g}(\pm )=\pi $. Interestingly, we find that the (non)trivial value of ${\gamma}_{g}(\pm )$ also correctly identifies the (presence) absence of the gapless edge states in the SSH model, when defined with open boundary condition [2].

Figure 5. Gauge-dependence (invariance) of the Zak phase ${\gamma}_{Z}$ (Pancharatnam-Zak phase ${\gamma}_{g}$ ) of the upper band of the SSH chain in the topologically trivial ( $v/w>1$ ) and non-trivial ( $v/w<1$ ) phases of the chain for $b=a/3$ and gauge $\theta \left(k\right)=-{\lambda}_{1}k$. The values of ${\gamma}_{Z}(+)$ are different from those of the gauge-invariant ${\gamma}_{g}(+)$ except at some critical values of the gauge parameter ${\lambda}_{1}$. The difference in ${\gamma}_{Z}(+)$ between the topologically non-trivial and trivial phases of the chain is equal to π, and is invariant to such gauge and unit cell parametrization.

It is worthwhile to consider the work of Atala *et al.*, wherein the experimental observation of the Zak phase in this model was reported [27]. The SSH model in their experimental setup was realized in an optical lattice setup, and the difference in the geometric phase between the topologically trivial and non-trivial phase of the system was observed to be equal to π. The variability of the actual value of the Zak phase
${\gamma}_{Z}(\pm )$ in the two phases of the model, due to dependence on gauge and on the unit cell parametrization was acknowledged in this work [2] [19] [26] [27]. However it was also noted that the difference of the Zak phase between the topologically trivial and non-trivial phases of the system is equal to π, and is immune to such gauge and unit cell parametrization dependence as shown in Figure 5. As a result the experimental measurement of the difference in the geometric phase was attributed to the observation of the difference in the Zak phase. Since the difference in the Pancharatnam-Zak phase between the topologically trivial and non-trivial phases of the model is also equal to π, the experimental measurement of Atala *et al.* is inconclusive in determining whether Zak phase or Pancharatnam-Zak phase is the correct expression for the geometric phase in such a system. These experiments are insensitive to the absolute value of the geometric phase.

6. Discussion

In this paper, we provide a correct and consistent understanding of the notion of the geometric phase in 1D periodic lattice system weakly perturbed by electromagnetic field. The expression for the Pancharatnam-Zak phase, which is the geometric phase acquired by an electron traversing the Bloch band while moving in the lattice, is found, and the underlying mathematical structure is unveiled. Our work cures both the flaws of the popular Zak phase, its dependence upon the choice of origin of the unit cell and on the gauge choice.

The Pancharatnam-Zak phase is a quintessentially geometric object insensitive to the choice of gauge and unit cell origin. In the case of systems with inversion symmetry, it is found that the Pancharatnam-Zak phase acts as a topological index characterizing the band, which can either be equal to 0 or π. An explicit calculation of this geometric phase is demonstrated for the SSH model, and its absolute value is found to correctly predict the presence/absence of the gapless edge states. Our estimation of this geometric phase is also found to be in agreement with the observation of Atala *et al.* [27] wherein the difference of the geometric phases in the topological and trivial phases of the model was measured. Nevertheless, it would be exciting to experimentally confirm the calculated values of the single-particle Pancharatnam-Zak phase separately in the topological and trivial phases of the SSH model by generalizing the current experimental schemes [27] [46] [47] [48] [49] [50].

A many-particle generalization of this geometric phase for a filled band case is obtained, and its physical implications are highlighted. Our work would be useful in unambiguous characterization of many physical properties including quantized particle transport, edge modes and electrical polarization in 1D dielectric materials in terms of the geometric phase.

Acknowledgements

Prof. Joseph Samuel was a part of this work in its early stages and has motivated us throughout the course of this work. DR gratefully acknowledges the funding from the Department of Science and Technology, India via the Ramanujan Fellowship. We thank Dr. Nikolai Sinitsyn for a critical reading of our manuscript.

Appendix

Appendix A

Let us consider a set of unit normalized states
$|y\left(s\right)\rangle $, which are continuously parametrized by a monotonically increasing real parameter *s* (
$0\le s\le \Lambda $ ). Then the infinitesimal distance
$\text{d}l$ between the states
$|y\left(s\right)\rangle $ and
$|y\left(s+\text{d}s\right)\rangle $ is defined as
$\text{d}{l}^{2}=\langle \delta y\left(s\right)|\delta y\left(s\right)\rangle $, where
$|\delta y\left(s\right)\rangle =|y\left(s+\text{d}s\right)\rangle -|y\left(s\right)\rangle \simeq |{\partial}_{s}y\left(s\right)\rangle \text{d}s$. This can be rewritten to the leading order to read:

$\text{d}{l}^{2}=\langle {\partial}_{s}y\left(s\right)|{\partial}_{s}y\left(s\right)\rangle \text{d}{s}^{2}.$ (52)

In quantum mechanics, the states $|y\left(s\right)\rangle $ and ${\text{e}}^{i\Lambda \left(s\right)}|y\left(s\right)\rangle $ (for some arbitrary function $\Lambda \left(s\right)$ ) represent the same quantum state of the system, and hence any physically meaningful quantity must be insensitive to such a gauge transformation. Unfortunately the metric $\langle {\partial}_{s}y\left(s\right)|{\partial}_{s}y\left(s\right)\rangle $ is not invariant under such a gauge transformation. It can be salvaged with the replacement of partial derivative ${\partial}_{s}$ with that of the covariant derivative, ${D}_{s}={\partial}_{s}-\langle y\left(s\right)|{\partial}_{s}|y\left(s\right)\rangle $. The gauge covariant metric then obtained is $\langle {D}_{s}y\left(s\right)|{D}_{s}y\left(s\right)\rangle $, so that the covariant distance $\text{d}l$ is now defined as:

$\text{d}{l}^{2}=\langle {D}_{s}y\left(s\right)|{D}_{s}y\left(s\right)\rangle \text{d}{s}^{2}\mathrm{.}$ (53)

This allows us to define a finite distance *L* between the states
$|y\left(0\right)\rangle $ and
$|y\left(\Lambda \right)\rangle $, as one walks along the given curve
$|y\left(s\right)\rangle $ :

$L={\displaystyle {\int}_{0}^{\Lambda}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{d}s\sqrt{\langle {D}_{s}y\left(s\right)|{D}_{s}y\left(s\right)\rangle}\mathrm{.}$ (54)

It must be mentioned that this distance is invariant under the gauge transformation
$|y\left(s\right)\rangle \to {\text{e}}^{i\Lambda \left(s\right)}|y\left(s\right)\rangle $ by design, and hence *L* is actually the distance between the two density matrices
$|y\left(0\right)\rangle \langle y\left(0\right)|$ and
$|y\left(\Lambda \right)\rangle \langle y\left(\Lambda \right)|$, rather than the corresponding vectors. As shown in Refs. [31] [32], functionally extremising this distance provides us with the unique shortest distance *geodesic curve*
$|\stackrel{\u02dc}{y}\left(l\right)\rangle \langle \stackrel{\u02dc}{y}\left(l\right)|$, which is defined by the states
$|\stackrel{\u02dc}{y}\left(l\right)\rangle $ (
$0\le l\le \Lambda $ ):

$|\stackrel{\u02dc}{y}\left(l\right)\rangle =\frac{{\text{e}}^{i\theta l/\Lambda}}{\mathrm{sin}\Lambda}\left(\mathrm{sin}\left(\Lambda -l\right)|y\left(0\right)\rangle +{\text{e}}^{-i\theta}\mathrm{sin}\left(l\right)|y\left(\Lambda \right)\rangle \right)\mathrm{,}$ (55)

connecting initial state
$|y\left(0\right)\rangle $ to the final state
$|y\left(\Lambda \right)\rangle $. Here, the angle
$\theta $ is the argument of the overlap
$\theta =\text{Arg}\langle y\left(0\right)|y\left(\Lambda \right)\rangle $. It must be noted that two curves
$|\stackrel{\u02dc}{y}\left(s\right)\rangle $ and
${\text{e}}^{i\Lambda \left(s\right)}|\stackrel{\u02dc}{y}\left(s\right)\rangle $ represent the same geodesic curve
$|\stackrel{\u02dc}{y}\left(l\right)\rangle \langle \stackrel{\u02dc}{y}\left(l\right)|$ and the local gauge transformation factor can not change the distance *L* traversed by them. These geodesic curves are of great interest in the context of geometric phase, since the phase
$\theta =\text{Arg}\langle y\left(0\right)|y\left(\Lambda \right)\rangle $ is expressible as a line integral along this geodesic curve:

$\text{Arg}\langle y\left(\Lambda \right)|y\left(0\right)\rangle =i{\displaystyle {\int}_{0}^{\Lambda}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{d}l\langle \stackrel{\u02dc}{y}\left(l\right)|{\partial}_{l}|\stackrel{\u02dc}{y}\left(l\right)\rangle \mathrm{.}$ (56)

Note that in the above treatment, no restriction is assumed on the choice of the initial and final states, $|y\left(0\right)\rangle $ and $|y\left(\Lambda \right)\rangle $ respectively. Utilizing this freedom, one can choose any two states in the Hilbert space as the initial and final states, implying that the phase of the overlap between any two such states is indeed given by the line integral of what is called the connection $A\left(l\right)=i\langle y\left(l\right)|{\partial}_{l}|y\left(l\right)\rangle $ evaluated along the geodesic connecting them.

Appendix B

The purpose of this appendix is to clarify the mathematical structure behind the Pancharatnam-Zak phase and some remarks regarding the ambiguities of the Zak phase.

Consider some general quantum system at hand defined over the Hilbert space
$\mathcal{H}$. In the space of unit normalised states
$\mathcal{N}=\left\{|\psi \rangle \in \mathcal{H}|\langle \psi |\psi \rangle =1\right\}$, we identify all the states which satisfy
$|{\psi}^{\prime}\rangle =\alpha |\psi \rangle $, where
$\alpha $ is any complex number with unit modulus. This defines the projective Hilbert space, which is often called the Ray space
$\mathcal{R}$. It is evident that this ray space, is in fact, the space of density matrices corresponding to each normalized state. So we now have a
$U\left(1\right)$ fibre bundle
$\mathcal{E}=\left\{\mathcal{N}\mathrm{,}\mathcal{R}\mathrm{,}\pi \right\}$, where
$\pi \mathrm{:}\mathcal{N}\to \mathcal{R}$ is the projection that takes each element
$p\in \mathcal{N}$ to the fibre on which it lies. Vectors in the tangent space
${T}_{p}\mathcal{N}$ which project down to zero in
$\mathcal{R}$ are called vertical vectors. This defines a natural connection on the fibre bundle: Horizontal subspaces at
$p\in \mathcal{N}$ are defined as those orthogonal to vertical vectors at *p*. This connection is often called the *universal connection* and has been studied in Ref. [51]. It is called the universal connection since any
$U\left(1\right)$ bundle over a manifold *B* can be obtained by embedding *B* in
$\mathcal{R}$ and pulling back the structure on
$\mathcal{E}$ [52].

Now given any smooth curve
$c\left(t\right)$ (
$0\le t\le \Gamma $ ) in
$\mathcal{R}$ and an initial point
$p\in {\pi}^{-1}\left(c\left(0\right)\right)$ in
$\mathcal{N}$, we can define its unique lift say
$\stackrel{\u02dc}{c}\left(t\right)$ to
$\mathcal{N}$, given by vectors
$|y\left(t\right)\rangle $, such that
$\langle y\left(t\right)|{\partial}_{t}|y\left(t\right)\rangle =0$. If
$c\left(t\right)$ is a closed curve in
$\mathcal{R}$, its lift
$\stackrel{\u02dc}{c}\left(t\right)$ in general may be open, that is, the two ends of
$\stackrel{\u02dc}{c}\left(t\right)$, specified by states say
$|y\left(0\right)\rangle $ and
$|y\left(\Gamma \right)\rangle $ are related by a unit modulus complex number
$\delta $ :
$\langle y\left(0\right)|y\left(\Gamma \right)\rangle =\delta $. This defines the *holonomy*
$\delta $ of the universal connection along the curve
$c\left(t\right)$.

The structure defined above is well studied in the mathematical literature. It is purely geometrical, and no reference to the dynamics has been made up till now. Invoking the discussion in Section (2) let us identify the closed curve $c\left(t\right)$ defined by $|y\left(t\right)\rangle \langle y\left(t\right)|$ with the closed curve formed by $|\psi \left(t\right)\rangle \langle \psi \left(t\right)|$ as defined by the time evolution, conjoint with the geodesic $|{\psi}^{\prime}\left(t\right)\rangle \langle {\psi}^{\prime}\left(t\right)|$. Then one immediately sees that the geometric phase (4) is intimately related to the holonomy ${\gamma}_{g}=\text{Arg}\text{\hspace{0.17em}}\delta $ of the universal connection.

One can naturally apply this notion further without any ambiguities to the quantum system discussed in Section (4) and identify the closed curve $c\left(t\right)$ with adiabatic evolution curve generated by cell periodic Bloch states $|{u}_{n}\left(\alpha \right)\rangle \langle {u}_{n}\left(\alpha \right)|$ (for $0\le \alpha \le 2\pi /a$ ) conjoint with the geodesic curve $|{{u}^{\prime}}_{n}\left(l\right)\rangle \langle {{u}^{\prime}}_{n}\left(l\right)|$ ( $0\le l\le \Lambda $ ), as shown in Figure 3. This shows that the Pancharatnam-Zak phase as expressed in (26) measures the holonomy of the connection, and is indeed a mathematically well defined object.

Moore [53] had argued that the notion of the geometric phase in the periodic lattice problem is intrinsically ambiguous. He explores a mathematical structure in which a Hilbert space is attached to *each* *k* point of the Brillouin zone (which is considered as the parameter space). This structure results in an ambiguity in the connection of a bundle over the parameter space, which manifests as a coordinate and gauge dependence of the geometric phase, coinciding with the findings of Zak [15]. The author made a case for the justification of these ambiguities on some physical grounds invoking the works of Resta [18], and King-Smith & Vanderbilt [16], on polarization. A moment’s reflection will convince the reader that there cannot be any physical ground justifying the gauge dependence of an observable physical quantity like the geometric phase, which has been measured in several experiments.

From the treatment presented in this paper, it is amply clear that when one invokes the most general definition of the geometric phase, as summarised in Section (2), no ambiguities of any kind are encountered, as we have explicitly shown.

NOTES

^{1}It must be noted that the notion of position operator
$\stackrel{^}{x}$ in a system with PBC is well defined only when the system size
$Na\to \infty $.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

[1] |
Bernevig, B.A. and Hughes, T.L. (2013) Topological Insulators and Topological Superconductors. Princeton University, Princeton. https://doi.org/10.1515/9781400846733 |

[2] |
Asbóth, J.K., Oroszlány, L. and Pályi, A. (2016) A Short Course on Topological Insulators, Volume 919. Springer, Berlin. https://doi.org/10.1007/978-3-319-25607-8 |

[3] |
Vanderbilt, D. (2018) Berry Phases in Electronic Structure Theory: Electric Polarization, Orbital Magnetization and Topological Insulators. Cambridge University Press, Cambridge. https://doi.org/10.1017/9781316662205 |

[4] |
Pancharatnam, S. (1956) Generalized Theory of Interference and Its Applications. Proceedings of the Indian National Science Academy, 44, 398-417. https://doi.org/10.1007/BF03046095 |

[5] |
Berry, M.V. (1987) The Adiabatic Phase and Pancharatnam’s Phase for Polarized Light. Journal of Modern Optics, 34, 1401-1407. https://doi.org/10.1080/09500348714551321 |

[6] |
Berry, M.V. (1984) Quantal Phase Factors Accompanying Adiabatic Changes. Proceedings of the Royal Society of London. Series A, 392, 45-57. https://doi.org/10.1098/rspa.1984.0023 |

[7] | Shapere, A. and Wilczek, F. (1989) Geometric Phases in Physics. World Scientific, Singapore. |

[8] |
Thouless, D.J., Kohmoto, M., Nightingale, M.P. and den Nijs, M. (1982) Quantized Hall Conductance in a Two-Dimensional Periodic Potential. Physical Review Letters, 49, 405. https://doi.org/10.1103/PhysRevLett.49.405 |

[9] |
Niu, Q., Thouless, D.J. and Wu, Y.-S. (1985) Quantized Hall Conductance as a Topological Invariant. Physical Review B, 31, 3372. https://doi.org/10.1103/PhysRevB.31.3372 |

[10] |
Simon, B. (1983) Holonomy, the Quantum Adiabatic Theorem, and Berry’s Phase. Physical Review Letters, 51, 2167. https://doi.org/10.1103/PhysRevLett.51.2167 |

[11] |
Haldane, F.D.M. (1988) Model for a Quantum Hall Effect without Landau Levels: Condensed-Matter Realization of the “Parity Anomaly”. Physical Review Letters, 61, 2015-2018. https://doi.org/10.1103/PhysRevLett.61.2015 |

[12] |
Haldane, F.D.M. (2004) Berry Curvature on the Fermi Surface: Anomalous Hall Effect as a Topological Fermi-Liquid Property. Physical Review Letters, 93, Article ID: 206602. https://doi.org/10.1103/PhysRevLett.93.206602 |

[13] |
Thouless, D.J. (1983) Quantization of Particle Transport. Physical Review B, 27, 6083. https://doi.org/10.1103/PhysRevB.27.6083 |

[14] |
Hasan, M.Z. and Kane, C.L. (2010) Colloquium: Topological insulators. Reviews of Modern Physics, 82, 3045-3067. https://doi.org/10.1103/RevModPhys.82.3045 |

[15] |
Zak, J. (1989) Berry’s Phase for Energy Bands in Solids. Physical Review Letters, 62, 2747. https://doi.org/10.1103/PhysRevLett.62.2747 |

[16] |
King-Smith, R.D. and Vanderbilt, D. (1993) Theory of Polarization of Crystalline Solids. Physical Review B, 47, 1651-1654. https://doi.org/10.1103/PhysRevB.47.1651 |

[17] |
Resta, R. (1994) Macroscopic Polarization in Crystalline Dielectrics: The Geometric Phase Approach. Reviews of Modern Physics, 66, 899. https://doi.org/10.1103/RevModPhys.66.899 |

[18] |
Resta, R. (2000) Manifestations of Berry’s Phase in Molecules and Condensed Matter. Journal of Physics C, 12, R107. https://doi.org/10.1088/0953-8984/12/9/201 |

[19] |
Xiao, D., Chang, M.-C. and Niu, Q. (2010) Berry Phase Effects on Electronic Properties. Reviews of Modern Physics, 82, 1959. https://doi.org/10.1103/RevModPhys.82.1959 |

[20] |
Goren, T., Plekhanov, K., Appas, F. and Le Hur, K. (2018) Topological Zak Phase in Strongly Coupled LC Circuits. Physical Review B, 97, Article ID: 041106. https://doi.org/10.1103/PhysRevB.97.041106 |

[21] |
Longhi, S. (2013) Zak Phase of Photons in Optical Waveguide Lattices. Optics Letters, 38, 3716-3719. https://doi.org/10.1364/OL.38.003716 |

[22] |
Delplace, P., Ullmo, D. and Montambaux, G. (2011) Zak Phase and the Existence of Edge States in Graphene. Physical Review B, 84, Article ID: 195452. https://doi.org/10.1103/PhysRevB.84.195452 |

[23] |
Kameda, T., Liu, F., Dutta, S. and Wakabayashi, K. (2019) Topological Edge States Induced by the Zak Phase in A3B Monolayers. Physical Review B, 99, Article ID: 075426. https://doi.org/10.1103/PhysRevB.99.075426 |

[24] |
Bhandari, R. and Samuel, J. (1988) Observation of Topological Phase by Use of a Laser Interferometer. Physical Review Letters, 60, 1211. https://doi.org/10.1103/PhysRevLett.60.1211 |

[25] | Ashcroft, N. and Mermin, N.D. (1976) Solid State Physics. Harcourt College Publisher, San Diego. |

[26] |
Cooper, N.R., Dalibard, J. and Spielman, I.B. (2019) Topological Bands for Ultracold Atoms. Reviews of Modern Physics, 91, Article ID: 015005. https://doi.org/10.1103/RevModPhys.91.015005 |

[27] |
Atala, M., Aidelsburger, M., et al. (2013) Direct Measurement of the Zak Phase in Topological Bloch Bands. Nature Physics, 9, 795. https://doi.org/10.1038/nphys2790 |

[28] | Moore, J.E. (2017) An Introduction to Topological Phases of Electrons. In: Chamon, C., Goerbig, M.O., Moessner, R. and Cugliandolo, L.F., Eds., Lecture Notes of the Les Houches Summer School, Volume 103, Oxford University Press, Oxford, 3-61. |

[29] |
Vyas, V.M. and Roy, D. (2021) Topological Aspects of Periodically Driven Non-Hermitian Su-Schrieffer-Heeger Model. Physical Review B, 103, Article ID: 075441. https://doi.org/10.1103/PhysRevB.103.075441 |

[30] |
Nehra, R. and Roy, D. (2022) Topology of Multipartite Non-Hermitian One-Dimensional Systems. Physical Review B, 105, Article ID: 195407. https://doi.org/10.1103/PhysRevB.105.195407 |

[31] |
Samuel, J. and Bhandari, R. (1988) General Setting for Berry’s Phase. Physical Review Letters, 60, 2339-2342. https://doi.org/10.1103/PhysRevLett.60.2339 |

[32] |
Mukunda, N. and Simon, R. (1993) Quantum Kinematic Approach to the Geometric Phase. I. General Formalism. Annals of Physics (N.Y.), 228, 205-268. https://doi.org/10.1006/aphy.1993.1093 |

[33] |
Chyba, T.H, Wang, L.J, Mandel, L. and Simon, R. (1988) Measurement of the Pancharatnam Phase for a Light Beam. Optics Letters, 13, 562-564. https://doi.org/10.1364/OL.13.000562 |

[34] |
Martin, A., Alibart, O., Flesch, J.-C., et al. (2012) Non-Local Geometric Phase in Two-Photon Interferometry. Europhysics Letters, 97, Article No. 10003. https://doi.org/10.1209/0295-5075/97/10003 |

[35] | Messiah, A. (1999) Quantum Mechanics, Two Volumes. Dover Publications, Mineola. |

[36] |
Grecchi, V. and Sacchetti, A. (2001) Acceleration Theorem for Bloch Oscillators. Physical Review B, 63, Article ID: 212303. https://doi.org/10.1103/PhysRevB.63.212303 |

[37] |
Schönhammer, K. (2001) Newton’s Law for Bloch Electrons, Klein Factors, and Deviations from Canonical Commutation Relations. Physical Review B, 63, Article ID: 245102. https://doi.org/10.1103/PhysRevB.63.245102 |

[38] |
Hartmann, T., Keck, F., Korsch, H.J. and Mossmann, S. (2004) Dynamics of Bloch Oscillations. New Journal of Physics, 6, 2. https://doi.org/10.1088/1367-2630/6/1/002 |

[39] |
Nakahara, M. (2003) Geometry, Topology and Physics. CRC Press, Boca Raton. https://doi.org/10.1201/9781420056945 |

[40] |
Tong, D.M., Singh, K., Kwek, L.C. and Oh, C.H. (2007) Sufficiency Criterion for the Validity of the Adiabatic Approximation. Physical Review Letters, 98, Article ID: 150402. https://doi.org/10.1103/PhysRevLett.98.150402 |

[41] |
Yaschenko, E., Fu, L., Resca, L. and Resta, R. (1998) Macroscopic Polarization as a Discrete Berry Phase of the Hartree-Fock Wave Function: The Single-Point Limit. Physical Review B, 58, 1222. https://doi.org/10.1103/PhysRevB.58.1222 |

[42] |
Mehta, P., Samuel, J. and Sinha, S. (2010) Nonlocal Pancharatnam Phase in Two-Photon Interferometry. Physical Review A, 82, Article ID: 034102. https://doi.org/10.1103/PhysRevA.82.034102 |

[43] |
Satapathy, N., Pandey, D., Mehta, P., et al. (2012) Classical Light Analogue of the Non-Local Aharonov-Bohm Effect. Europhysics Letters, 97, Article No. 50011. https://doi.org/10.1209/0295-5075/97/50011 |

[44] |
Blanco-Redondo, A., Andonegui, I., Collins, M.J., et al. (2016) Topological Optical Waveguiding in Silicon and the Transition between Topological and Trivial Defect States. Physical Review Letters, 116, Article ID: 163901. https://doi.org/10.1103/PhysRevLett.116.163901 |

[45] |
St-Jean, P., Goblot, V., Galopin, E., et al. (2017) Lasing in Topological Edge States of a One-Dimensional Lattice. Nature Photonics, 11, 651. https://doi.org/10.1038/s41566-017-0006-2 |

[46] |
Xiao, M., Ma, G.C., Yang, Z.Y., et al. (2015) Geometric Phase and Band Inversion in Periodic Acoustic Systems. Nature Physics, 11, 240. https://doi.org/10.1038/nphys3228 |

[47] |
Gao, W.S., Xiao, M., Chan, C.T. and Tam, W.Y. (2015) Determination of Zak Phase by Reflection Phase in 1D Photonic Crystals. Optics Letters, 40, 5259. https://doi.org/10.1364/OL.40.005259 |

[48] |
Singh, S., Bisharat, D. and Sievenpiper, D. (2021) Spin-Momentum Locked Interface Modes Based on Transverse Resonance and Zak Phase in Finite Thickness Dielectric Slabs. Journal of Applied Physics, 130, Article ID: 143102. https://doi.org/10.1063/5.0062058 |

[49] |
Lau, T.W., Zhang, Y.-L. and Fung, K.H. (2021) Zak Phases of Chiral Photonic Crystals Designed via Transformation Optics. Physical Review B 104, Article ID: 064312. https://doi.org/10.1103/PhysRevB.104.064312 |

[50] |
Lee, C.-S., Io, I.-F., Kao, H.-C. (2022) Winding Number and Zak Phase in Multi-Band SSH Models. Chinese Journal of Physics, 78, 96. https://doi.org/10.1016/j.cjph.2022.05.007 |

[51] |
Bott, R. and Chern, S.-S. (1965) Hermitian Vector Bundles and the Equidistribution of the Zeroes of Their Holomorphic Sections. Acta Mathematica, 114, 71-112. https://doi.org/10.1007/BF02391818 |

[52] |
Narasimhan, M.S. and Ramanan, S. (1961) Existence of Universal Connections. American Journal of Mathematics, 83, 563-572. https://doi.org/10.2307/2372896 |

[53] | Moore, G.W. (2017) A Comment on Berry Connections. arXiv preprint:1706.01149. |

Journals Menu

Contact us

customer@scirp.org | |

+86 18163351462(WhatsApp) | |

1655362766 | |

Paper Publishing WeChat |

Copyright © 2023 by authors and Scientific Research Publishing Inc.

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.