Abstract
We consider different methods of calculating the (fractional) fermion number of solitons based on the heat kernel expansion. We derive a formula for the localized \(\eta \) function that provides a more systematic version of the derivative expansion for spectral asymmetry and compute the fermion number in a multi flavor extension of the Goldstone–Wilczek model. We also propose an improved expansion of the heat kernel that allows the tackling of the convergence issues and permits an automated computation of the coefficients.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
More than 40 years ago Jackiw and Rebbi [1] discovered that the Fermi number of solitonic ground states may be half-integer. Later, it was demonstrated that fractional and even irrational values of the fermion number are also allowed, see [2] and the review paper [3], where the whole structure of fermion fractionization by solitons was exhibited for several systems with solitons of different dimensions and properties, namely, 1D kinks, planar vortices, and 3D magnetic monopoles. A crucial step in understanding the fermion fractionization in solitonic backgrounds was given by Niemi and Semenoff in Reference [4] where it was reinterpreted in the context of QFT anomalies.
On the theoretical side this unexpected phenomenon showed that very subtle mathematical concepts arising in topological index theory played an important r\(\hat{\mathrm{o}}\)le in its understanding. Together with other phenomena, anomalies, instantons, etcetera, fermionic fractionization triggered by solitons laid the foundations for the extraordinary cross fertilization between Mathematics and Quantum Physics within the QFT framework successfully developed during the last 40 years.
On the experimental side Fermion fractionization meant electric charge fractionization violating the Millikan principle observed in Nature, regarding the indivisibility of the electron charge. This possibility is susceptible of being experimentally tested and a positive result on the existence of electric charges not being an integer multiple of the electron charge was found in exotic macromolecules, e.g. polyacetylene, see [5, 6]. The link between the existence of the fermion fractionization phenomenon in condensed matter physics and relativistic field theory was established in Reference [7] giving rise to one more connection between these two apparently distant areas of Physics. Also, much of the renewed interest in this problem was caused by various applications to Condensed Matter Physics, see e.g. the papers [8, 9] that treat the charge fractionization in graphene-related models. Various condensed matter applications bring up more and more complex systems [10,11,12] that require more and more sophisticated methods of analysis.
Most reliable methods use anomalies to compute the charge fractionization. Such methods however cannot be applied to all models. One thus needs certain kinds of the derivative expansion [2, 9]. This method is however not free of problems. On solitonic backgrounds the fields are usually of the same order as their derivatives. Thus application of the derivative expansion to Feynman diagrams is tricky, besides the combinatorial complexity if matrix-valued fields are involved. On top of this, convergence of the expansion is far from being obvious.Footnote 1
The purpose of this work is to reconsider and improve the calculation methods of the fractional fermion number of solitons by systematically using heat kernel techniques (see, e.g., [13] for a review). We shall concentrate on combinatorial aspect, derive a new expression for the fractional fermion number in a model with matrix-valued fields, and analyze the convergence issues in an improved version of the heat kernel expansion.
Note, that for computations of the parity anomaly [4, 14], which is a close cousin of the problem considered here, the heat kernel methods proved to be very efficient [15,16,17,18,19]. The same can be said about the mass shift of solitons due to quantum corrections. The usual heat kernel expansion alone delivers the answer in the supersymmetric case [21, 22]. In non-supersymmetric case, however, certain modifications of the expansion are needed [23].
Our strategy is as follows. In the next section we derive localized expressions for the \(\eta \) function and for the spectral asymmetry. This allows us to use the standard heat kernel expansion and derive an expression for the fermion number in a non-abelian (multi flavor) generalization of the Goldstone–Wilczek model. Then to address certain drawbacks of the standard heat kernel expansion we develop an improved version of the heat kernel. To set up the stage, we re-derive the Niemi–Semenoff formula for fermion number. In Sect. 4.3 we analyze convergence of the expansions.
2 Fermion number through the heat kernel expansion
Let us consider a theory of Dirac fermions in d spatial dimensions described by a Hamiltonian H. The fermion number N is given by the formula [3]
where \(\eta (0,H)\) is the value at 0 of the spectral \(\eta \) function that measures the spectral asymmetry of the Dirac Hamiltonian H,
Here \(\lambda \)’s are the eigenvalues of H. Through a Mellin transform, this formula can be converted to
Note, that zero modes are excluded from the summation in (2). However, these modes can be included in the trace in the last expression in (3) since the operator \(H e^{-\tau H^2}\) vanishes on the null space of H.
We shall need a localized version of the formula (3). To this end we introduce a smooth function \(\rho \) which plays the role of a chemical potential and define
Let us define a shifted Hamiltonian
so that the localized \(\eta (s,H;\rho )\) function is obtained by differentiating \(\eta (s,H_\rho )\) with respect to \(\varepsilon \),
Smeared and unsmeared \(\eta \) functions are related through the equations
Let us assume that there is a natural mass gap parameter \(M^2\) and define
For any Laplace type operator L and any smooth matrix-valued function Q there is an asymptotic expansion of the corresponding heat trace
For \(Q\equiv 1\) we shall abbreviate \(a_k(L;1):=a_k(L)\). If there are no boundaries, only even-numbered heat kernel coefficients \(a_k(L)\) with \(k=2p\) are non-zero. Clearly, the integral in (6) converges at \(s=0\) if
Let us assume that this condition is satisfied. Then, we can substitute (9) in (6), put there \(s=0\) and integrate over t to obtain
General operator of Laplace type can be written as
with a suitable choice of the connection one-form \(\omega \) and a matrix-valued potential E. In a flat space, the heat kernel coefficients are integrals of polynomials constructed from E, \(\Omega _{\mu \nu }=[\nabla _\mu ,\nabla _\nu ]\) and their covariant derivatives. The general form of all heat kernel coefficients is not known. However, on solitonic backgrounds just a few structures containing a limited number of derivatives contribute to the spectral asymmetry. Such terms in \(a_k(L)\) can be found for all k. For example, if one is interested in terms containing only E and no derivatives the expression for heat kernel coefficients looks particularly simple,
Let us consider a smooth localized variation \(\delta H\) of the Hamiltonian H. Suppose that \(\delta H\) is zero order, i.e. it does not contain derivatives. Then, one can show [24] that
Strictly speaking, this formula is valid only if under the variation \(\delta H\) eigenvalues of the Hamiltonian do not cross the zero value. In physics’ literature Eq. (14) is usually used without any restrictions (and without running into troubles because of this), see e.g. [15]. Here, we assume that the background is “generic”, i.e. the number of zero modes is stable under infinitesimal localized variations.
The main novelty of the approach suggested above is the use of a localizing function \(\rho \). This enables us to utilize standard expressions for the heat kernel coefficients that were derived under an assumption that all integrations by parts were possible. Some other benefits of introducing \(\rho \) will be discussed below, see Sect. 4.3.
3 A non-abelian extension of the Goldstone–Wilczek model
Let us consider a model in \(1+1\) dimensions described by the action
![](http://media.springernature.com/lw342/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-019-7041-8/MediaObjects/10052_2019_7041_Equ15_HTML.png)
where \(\gamma _*=\gamma ^0\gamma ^1\) is the chirality matrix in \(1+1\) dimensions, while \(\varphi _1\) and \(\varphi _2\) are scalar fields that are hermitian matrices in the “flavor” space. In the abelian one-flavor case the action (15) is the model considered by Goldstone and Wilczek [2].
The Hamiltonian for this problem reads
This yields the following relation for shifted Hamiltonian (5)
where prime denotes derivative with respect to x and
We omitted the terms with \(\varepsilon ^2\) since they do not contribute to the spectral asymmetry.
Take infinitesimal localized variations \(\delta \varphi _1\) and \(\delta \varphi _2\) so that \(\delta H= \gamma ^0\delta \varphi _1+\mathrm {i}\gamma ^1\delta \varphi _2\). From (14) one computes the corresponding variation of spectral asymmetry,
due to the trace of gamma matrices. We conclude that \(\eta (0,H)\) is a topological invariant. I.e., it depends on the asymptotic values of \(\varphi _1\) and \(\varphi _2\) only.
Let us introduce a mass gap parameter \(M^2\) whose value we do no specify now. The operator \({{\tilde{H}}}_\rho ^2\) [see Eq. (8)] can be brought to the canonical form (12) with
We consider only solitonic backgrounds, meaning that \(\varphi _1\) and \(\varphi _2\) go fast to their asymptotic values as \(x\rightarrow \pm \infty \). Thus \(\eta (0,H)\) depends on these asymptotic values and not on the derivatives of \(\varphi _{1,2}\). Consequently, in the expansion (11) we have to keep only the terms that contain at most a single first derivative of \(\varphi _1\) or \(\varphi _2\). This excludes the terms in the heat kernel expansion containing derivatives of E. Consequently, only the terms listed in (13) contribute. Besides, in the powers of E one should select the terms that contain \(\rho \) only once. Taken together, all relevant contributions to \(a_{2(l+1)}\) read
Note, that
After taking the trace over \(\gamma \)-matrices in (21) we obtain
with
As a next step, one has to substitute the expression (23) for \(a_{2(l+1)}\) in (11) and compute the sum with the help of
This sum is convergent if \(\Vert z_\pm \Vert = \Vert M^2 - y_\pm \Vert < M^2\). The matrices
are non-negative. Thus, the problem with convergence appears only if \(\varphi _1\) and \(\varphi _2\) vanish simultaneously in some direction of the flavor space either in asymptotics or at some points of the bulk (meaning just a breakdown of the derivative expansion). If the problem appears at the asymptotics, one cannot do much about it. We assume that this does not happen. However, since \(\eta (0,H)\) is topological, we may use the freedom of smooth variations of background fields to shift the roots of \(\varphi _1\) away from the roots of \(\varphi _2\) in the bulk thus making the sum (24) convergent everywhere. Thus,
As expected, this expression can be converted to a boundary term
This result is new.
If \(\varphi _1\) and \(\varphi _2\) are one-component fields rather than matrices, the expression (27) can be simplified,
which is the Goldstone and Wilczek result [2].
We see that the method proposed works well and relatively easily. However, there are some points that have to be clarified or improved.
-
1.
The heat kernel expansion reflects the behavior of heat trace at small \(\tau \). To put the integration over \(\tau \) on firm grounds one needs to understand the behavior at large \(\tau \) as well.
-
2.
It is hard to control the rate of convergence of the expansion (26), especially since the individual terms in (26) do not give total derivatives after the variation with respect to \(\rho \).
-
3.
In the example above we had to sum up the simplest contributions \(E^k\) to the heat kernel coefficients. In more complicated cases, especially in higher dimensions, more complicated invariants may become relevant. Thus, it is useful to have a method to find all higher heat kernel coefficients for some types of the operators.
These points will be addressed below.
4 The kink fermion number through (generalized) heat kernel expansion
4.1 The spectrum of fluctuations
In this section, we demonstrate how the heat kernel expansion can be improved by taking into account some global information on the background fields. Below, we describe the properties of Dirac spectrum on kink backgrounds (cf [3]). We take
where \(\mu \) is the mass, and \(\Phi (x)\) refers to a yet unspecified topological kink with a smooth behavior. One can think of \(\Phi =\nu \mathrm {tanh}(x)\), though we shall not restrict ourselves to this simplest example. The Hamiltonian (29) is a particular case of (16). The eigenspinors of (29) satisfy the Dirac equation:
Finding the solution of the ODE system (30) if \(\vert E\vert \ne \vert \mu \vert \) is equivalent to solving one spectral Schrödinger problem in two ways:
where the Schrödinger operators are defined in terms of the topological kink configuration:
In (32)–(33) we have taken into account that kink configurations have very definite asymptotic behavior:
where v is a constant. Thus, \(V_1(x)=\Phi ^2(x)-v^2-\frac{d\Phi }{dx}\) and \(V_2(x)=\Phi ^2(x)-v^2+\frac{d\Phi }{dx}\) also tend to zero at \(x=\pm \infty \):
We summarize the spectrum of the Dirac operator:
-
1.
If \(E=\mu \) then \(D^\dagger u_1(x)= 2\mu u_2(x)\) and \(Du_2(x)=0\). Henceforth \(DD^\dagger u_1(x)=0\), which means that \(u_1\) is a zero mode of the operator \(DD^\dagger \) if it is normalizable.
-
2.
If \(E=-\mu \) then \(D^\dagger u_1(x)=0\) and \(D u_2(x)=-2\mu u_1(x)\). Henceforth \(D^\dagger D u_2(x)=0\), which means that \(u_2(x)\) in this case is a zero mode of the operator \(D^\dagger D\) if normalizable. We stress that only the spinor annihilated by either \(D^\dagger \) or by D is normalizable. Therefore, generically, for one-scalar field theory there will only be one normalizable zero mode of the Dirac operator governing the spinorial fluctuations around one kink.
-
3.
If \(E\ne \pm \mu \) the first component of the spinor \(u_1(x)\) is obtained by solving the spectral problem
$$\begin{aligned} DD^\dagger u_1(x) = \left( E^2 - \mu ^2 \right) u_1 = \omega _1^2 u_1(x) \end{aligned}$$(34)whereas the second component \(u_2\) is fixed in (31)-(left). Clearly this solution for \(u_2\) is an eigenfunction of the spectral problem
$$\begin{aligned} D^\dagger D u_2(x) = \left( E^2 - \mu ^2 \right) u_2(x) = \omega _2^2 u_2(x) \end{aligned}$$(35)because the intertwining of the \(DD^\dagger \) and \(D^\dagger D\) operators which , except the zero mode, are isospectral:
$$\begin{aligned} D^\dagger D u_2= & {} \frac{1}{E+\mu } D^\dagger D D^\dagger u_1 = \frac{1}{E+\mu } D^\dagger \left( E^2 - \mu ^2 \right) u_1 \\= & {} (E-\mu ) D^\dagger u_1 = \left( E^2-\mu ^2 \right) u_2 \end{aligned}$$Denoting as \({\widetilde{u}}_1\) a normalized eigenfunction of the spectral problem (34) \(DD^\dagger u_1(x) = \omega ^2 u_1(x)\) one easily checks that the spinor
$$\begin{aligned} u(x)=\left( \begin{array}{c} \sqrt{\frac{E+\mu }{2E}} \, {\widetilde{u}}_1(x) \\ \frac{\mathrm{sign}(E)}{\sqrt{2E(E+\mu )}} D^\dagger {\widetilde{u}}_1(x) \end{array} \right) \end{aligned}$$(36)is a normalized eigenfunction of the Dirac Hamiltonian, since via a shrewd partial integration one finds that: \(\int dx \, u^\dagger (x) u(x) = \int dx \, {\widetilde{u}}_1^*(x) {\widetilde{u}}_1(x)\).
The function
$$\begin{aligned} {\widetilde{u}}_2 (x)= \sqrt{\frac{E+\mu }{E-\mu }} u_2(x)= \frac{1}{\sqrt{E^2-\mu ^2}} D^\dagger {\widetilde{u}}_1(x) \end{aligned}$$(37)is obviously an eigenfunction of the spectral problem (35) \(D^\dagger D u_2(x)=(E^2-\mu ^2)u_2(x)\) because it is proportional to \(u_2\) and, after another partial integration, one checks that its norm is one: \(\int dx \, {\widetilde{u}}_2^* {\widetilde{u}}_2 = \int dx \, {\widetilde{u}}_1^* {\widetilde{u}}_1\).
We thus may characterize the eigenspinors of the Dirac Hamiltonian as
$$\begin{aligned} u_E(x)= \left( \begin{array}{c} \sqrt{\frac{E+\mu }{2E}} \, {\widetilde{u}}_1(x,E) \\ \sqrt{\frac{E-\mu }{2E}} \, \mathrm{Sign}(E) \,{\widetilde{u}}_2(x,E) \end{array} \right) \end{aligned}$$(38)instead of (36). To distinguish among the different eigenspinors we remark that \({\widetilde{u}}_1(x,E)\) and \({\widetilde{u}}_2(x,E)\) are, respectively, non-null normalized eigenfunctions of \(DD^\dagger \) and \(D^\dagger D\). They both are characterized by either a real vector number \(k\in {{\mathbb {R}}}\) if one search for scattering states and/or purely imaginary momenta, \(k=i\kappa _j\) with \(\kappa _j>0\) and \(j=1,2, \ldots , N_B\), if \(N_B\) bound states exist. The corresponding energies are: \(E^{(\pm )} = \pm \sqrt{k^2+v^2+\mu ^2}\), and \( E_j^{(\pm )}=\pm \sqrt{v^2+\mu ^2-\kappa _j^2}\). Besides there is a zero mode \(\kappa _0=v\) of either \(DD^\dagger \) or \(D^\dagger D\) which contributes to the spectral asymmetry selecting either \(E_\mu =\mu \) or \(E_{-\mu }=-\mu \). We denote by \(B_1=\{ {\widetilde{u}}_{1k} \}_{k\in I}\) the complete orthogonal set in \(L^2({{\mathbb {R}}})\) formed by the eigenfunctions of \(DD^\dagger \). I is a set of indices that symbolically label the scattering states, the bound states, and, eventually, one zero mode. Also we dispose of \(B_2=\{u_{2k}\}_{k\in I}\) as a second complete orthogonal basis in \(L^2({{\mathbb {R}}})\) formed by the eigenfunctions of the operator \(D^\dagger D\), except for the possible a priori presence of a zero mode.
Most of the properties established here are also valid in higher dimension [9].
4.2 Niemi–Semenoff formula and the spectral heat trace
The fermionic quantum field in the Schrödinger picture is expanded in terms of the Dirac eigenspinors:
Here [dk] denotes an integration measure on the spectrum of the Dirac operator. The fermionic creation and annihilation operators of particle and antiparticles \({\hat{b}}_\pm (k)\), \({\hat{b}}^\dagger _\pm (k)\) satisfies the anticommutation relations:
All other anticommutators between these operators are zero. The one-particle states may be therefore only occupied by one Fermion or unoccupied and one state is distinguished as the ground state: \(\big \vert 0 \big \rangle \), characterized as the vacuum state where all the one-particle states are unoccupied, \({\hat{b}}_+(k)\big \vert 0\big \rangle ={\hat{b}}_-(k)\big \vert 0\big \rangle =0\), \(\forall k\). From the expectation value at the vacuum state of the normal ordered Fermi density, one has
This calculation has been performed using the anticommutation relations. Further use of the anticommutation relations allows us to obtain the fermionic number of the kink ground state:
Formula (38) permits to rewrite (42) in the form:
Each “integral” in this formula for N is ultraviolet divergent, \(v^2\) and \(\mu ^2\), however, prevent infrared divergences. To control the ultraviolet divergences we shall use spectral zeta function/heat trace methods associated with the operators \(DD^\dagger \) and \(D^\dagger D\).
We put at work this strategy in a more general context. Translate the spectral zeta function corresponding to the second order differential operatorFootnote 2
to its spectral heat trace via the Mellin’s transform:
To tame ultraviolet divergences we subtracted the contribution from \({{{\mathcal {K}}}}_0\), which is obtained from \({{{\mathcal {K}}}}\) by putting \(V=0\). The operator \({{{\mathcal {K}}}}_0\) is the same for \(DD^\dagger \) and \(D^\dagger D\), so that the correction term is canceled in N. We denote \(h_{{{\mathcal {K}}}}(\tau )= \mathrm{Tr} \left[ e^{-\tau \,{{{\mathcal {K}}}}} -e^{-\tau \,{{{\mathcal {K}}}}_0}\right] \). The kink fermion number as given in formula (43) may be written in terms of the spectral heat functions of the paired Schrödinger operators as follows:
At this point we use the asymptotic expansion of the kink spectral trace, see [25],
Here, \(N_{\mathrm{zm}}^{{{\mathcal {K}}}}\) is the number zero modes in the spectrum of \({{{\mathcal {K}}}}\). The error function in equation (45) is introduced to guarantee the right behavior of the heat trace at low temperature, \(\tau \rightarrow \infty \), when zero modes are present, whereas the high-temperature asymptotics is preserved. Any regular function with the same limits as the error function at \(\tau \rightarrow \infty \) and \(\tau \rightarrow 0\) could do the job but our choice optimizes the solution of the recurrence relations, see [25]. In addition, this procedure implies a natural relation between the Seeley coefficients of two intertwined Laplace type operators Darboux factorizable in terms of one ladder operator and its adjoint. The coefficients \(c_n({{{\mathcal {K}}}})\) are obtained by solving the recurrence relations arising in the power series expansion solution of the \({{{\mathcal {K}}}}\)-heat equation in the so-called modified Gilkey-DeWitt approach, see [25]. The coefficients \(c_n\) play a role similar to that of \(a_{2n}\) is Sect. 2, apart from normalization and modification of the expansion.
Application to the kink fermion number formula gives
or, after performing the asymptotic expansion and subsequently the Mellin transform we obtain
Finally, taking the limit in the previous expression, one obtains the formula
which is closely related to the Niemi–Semenoff formula.
In the case of kink type operators where \(DD^\dagger \) and \(D^\dagger D\) are intertwined operators it may be shown that \(c_n(DD^\dagger )=c_n(D^\dagger D)\), \(\forall n\) when the modified Gilkey-DeWitt approach is applied. We recall that this scheme is adapted to the presence of zero modes in the spectrum of a operator. We shall prove this fact for a pair of intertwined operators having an spectral structure identical to the spectral structures of \(DD^\dagger \) and \(D^\dagger D\) in the kink background. For the sake of simplicity it will be assumed that the operator \(DD^\dagger \) encompasses a zero mode whereas \(D^\dagger D\) has a positive spectrum. Otherwise, the following result remains true swapping the r\(\hat{\mathrm{o}}\)le of the first-order operators D and \(D^\dagger \).
Lemma
Let \(D=-\frac{d}{dx}+\Phi (x)\) be a first-order differential operator such that \(\lim _{x\rightarrow \pm \infty } \Phi (x)=\pm v\) and \(\psi _0(x)=e^{-\int _x \Phi (x) dx}\) is a square-integrable function annihilated by \(D^\dagger \). The Seeley coefficients of the operators \(D D^\dagger \) and \(D^\dagger D\) of the spectral \(DD^\dagger \)-and \(D^\dagger D\)-heat functions in the improved Gilkey-DeWitt expansion coincide: \(c_n(D^\dagger D) = c_n (D D^\dagger )\) \(\forall n\in {\mathbb {N}}\).
Proof
We shall use the notation given by (32) and (33). Let \(\{f_k(x)\}\) and \(\{g_k(x)\}\) be complete bases of orthonormal eigenfunctions of the operators \(D D^\dagger \) and \(D^\dagger D\), respectively. We summarize the spectra of these operators without taking into account yet that they are intertwined and, thus, except for the zero modes, they are isospectral
In terms of the associated eigenfunctions the heat kernels of these operators are expressed as the (formal) series:
where \(f_0(x)\) is the zero mode of the operator \(DD^\dagger \).
The action of the “ladder” operators \(D^\dagger \) and D respectively on the spectral equations for \(D D^\dagger \) and \(D^\dagger D\) easily show isospectrality of the positive spectra: \(N_1=N_2\) and \(\omega _{1i}^2 = \omega _{2i}^2 =\omega _i^2\) with \(i\ge 1\). In fact \(g_k(x)=\frac{1}{\omega (k)} D^\dagger f_k(x)\) are normalized eigenfunctions of the spectral the operator \(D^\dagger D\). A caveat: since the mapping is via a differential operator the spectral densities of the scattering states are different. The heat equation kernel of the \(D^\dagger D\) operators can be now written in terms of the eigenfunctions of the \(DD^\dagger \) operator as
The trace of this kernel \(h_{D^\dagger D}(\tau ) = \int dx \, K_{D^\dagger D}(x,x;\tau )\) may be written thus
Moreover \(\rho _{DD^\dagger }(k) = \rho _{D^\dagger D}(k) - \frac{1}{\pi } \frac{v}{k^2 + v^2}\), see [26], which implies
that is,
Plugging the modified Gilkey-DeWitt expansion of the heat function for these operators
into the previous expression
leads to the result
as claimed \(\square \) .
In sum, the Niemi–Semenoff formula for this type of Dirac operators hold:
where \(N_{zm}^{DD^\dagger } - N_{zm}^{D^\dagger D} = \pm 1\).
The fermion number computed at the kink ground state, with all the fermionic fluctuations around the kink being unoccupied, is an angle rather than an integer number- in fact zero- as it would be in the usual vacuum state. In the \(\mu =0\) limit the Jackiw-Rebbi half-integer fermion number is recovered.
4.3 Fermion number from the spectral eta function
Here we evaluate the fermion number by using the expression (6) for spectral asymmetry. Let us write
where V(x) and Q(x) are matrix-valued functions that vanish at \(x\rightarrow \pm \infty \), \(v^2\) is a diagonal matrix representing asymptotic values of the potential, \(v^2 =\mathrm{diag} (v_1^2,v_2^2)\), and \({\mathbb {I}}\) is a unit matrix. All matrices are \(2\times 2\). An extension to matrices of arbitrary size is straightforward.
Let us take an expansion
which essentially coincides with the one that we used in Sect. 2 after obvious changes in the notations. In the expansion (4.3), however, the mass gap \(v^2\) need not be proportional to a unit matrix. After plugging this expansion in (6), integrating over \(\tau \) and passing to \(s=0\), we obtain
where we denoted
To extract the Seeley coefficients \([c_n(H_\rho ^2)]_{ii}\) we first solve the recurrence relationsFootnote 3 for the derivatives of the diagonal densities \({}^{(k)}C_n(x)=\lim _{y\rightarrow x}\frac{\partial ^k}{\partial x^k}c_n(x,y)\)
starting with the initial conditions \({}^{(k)} C_0(x) = \delta _{0k} \, {\mathbb {I}}\). The Seeley coefficients are thus obtained from the diagonal densities via integration
and the fermionic number is estimated as the \(n_{\mathrm{max}}\rightarrow \infty \) limit of the partial sums:
If the \(v_i\) are all equal we have
Recall that the square of the Niemi–Semenoff–Dirac Hamiltonian (29) is
where \(\Phi (x)\) is the solitonic background which complies with the asymptotic behavior
Therefore, we have \(v^2= \mathrm{diag}(\nu ^2+\mu ^2,\nu ^2+\mu ^2)\),
and
Plugging these expressions into the recurrence relations the solutions for the lower Seeley coefficients provided by Mathematica read:
For example,
where we have used that \(\frac{\partial }{\partial x} [\Phi (x) (\Phi '(x))^2] = (\Phi '(x))^3 + 2 \Phi (x) \Phi '(x)\Phi ''(x)\) and therefore
These results lead to the general formula and we obtain for the Fermi number:
In these computations a very important, but expected point, must be stressed: The Seeley coefficients are independent of the specific dependence on x of the Kink profile \(\Phi \).
Denoting the partial sum of the series (47) as
we find that this partial sum may be written in terms of special functions as:
We then plot these partial sums
as functions of \(z=\frac{\mu }{\nu }=\frac{m}{ga}\), see Fig. 1.
This Figure allows us to grasp an analytical understanding of the application of the Gilkey-DeWitt asymptotic method to this kind of calculations. The behavior of \(N^{(n_{\mathrm{max}})}\) is displayed in Fig. 1. We observe that when \(\mu \ne 0\) the partial sums converge to the exact response (shown as the lower blue solid line in the Figure). For small values of m this convergence is very slow. For \(\mu =0\) (which involves the presence of zero modes in the operator H) the response of the formula (47) is zero in contrast with the exact value \(N=\pm \frac{1}{2}\). We can impose that when zero modes are present the exact response can be obtained by demanding the continuity of N(H) as a function of \(\mu \) at \(\mu =0\).
Let us stress some features the method presented above:
-
1.
This method singles out a value of the mass gap parameter that is consistent with global properties of the operator and that ensures convergence of the perturbation series.
-
2.
The terms that improve the large \(\tau \) behavior of the heat kernel, see (45) could have been included in (4.3). As one can easily see, such terms vanish upon variation with respect to \(\rho \). This observation explains a posteriori why the expansion in Sects. 2 and 3 worked well without any improvement.
-
3.
This method is actually quite general. An extension to the abelian Goldstone–Wilczek model is quite straightforward. (We do not present it here). In other generalizations one depends just on the computer power.
5 Conclusions
In this paper, we suggested a method to compute the fermion number of solitons based on the heat kernel expansion. A crucial step was an introduction of a localizing function \(\rho \) in the \(\eta \) function that allowed us to use the standard heat kernel coefficients and simplified combinatorics of the problem. With the use of this method we obtain an expression for the fermion number in a multi flavor extension of the Goldstone–Wilczek model.
This method, being just a more systematic version of the usual derivative expansion, shares some drawbacks of the latter. It does not take into account the large distance and short proper time behavior of the heat kernel. Thus, it is not easy to explore the convergence. However, there is an improvement of the expansion [25] which allows to address this problem. With the help of this improved expansion we first reconfirmed the Niemi–Semenoff formula and then demonstrated the convergence of heat kernel series for fermion number.
We would like to stress, that the methods presented here are extendable to more complicated and higher-dimensional models. We are going to consider these models in a future work.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is a theoretical study and no experimental data have been listed.]
Notes
We also like to mention at this point that the related trace identities method was successfully applied in [20] to the computation of fermi fractionization for magnetic monopoles.
Note that this differential operator is a 1D member of the family of Laplace type operators (12).
See Ref. [27], Sect. 3, to find the notational details and the developments of the main steps in this derivation.
References
R. Jackiw, C. Rebbi, Solitons with Fermion number 1/2. Phys. Rev. D 13, 3398 (1976). https://doi.org/10.1103/PhysRevD.13.3398
J. Goldstone, F. Wilczek, Fractional quantum numbers on solitons. Phys. Rev. Lett. 47, 986 (1981). https://doi.org/10.1103/PhysRevLett.47.986
A.J. Niemi, G.W. Semenoff, Fermion number fractionization in quantum field theory. Phys. Rep. 135, 99 (1986). https://doi.org/10.1016/0370-1573(86)90167-5
A.J. Niemi, G.W. Semenoff, Axial anomaly induced fermion fractionization and effective Gauge theory actions in odd dimensional space-times. Phys. Rev. Lett. 51, 2077 (1983). https://doi.org/10.1103/PhysRevLett.51.2077
W.P. Su, J.R. Schrieffer, A.J. Heeger, Solitons in polyacetylene. Phys. Rev. Lett. 42, 1698 (1979). https://doi.org/10.1103/PhysRevLett.42,1698
W.P. Su, Solitons in polyacetylene—a review, in Handbook of Conducting Polymers, ed. by T. Skotheim (Marcel Dekker, New York, 1984)
R. Jackiw, J.R. Schrieffer, Solitons with fermion number 1/2 in condensed matter physics and relativistic field theories. Nucl. Phys. B190(FS3), 253 (1981)
R. Jackiw, S.-Y. Pi, Chiral gauge theory for graphene. Phys. Rev. Lett. 98, 266402 (2007). https://doi.org/10.1103/PhysRevLett.98.266402. arXiv:cond-mat/0701760 [cond-mat.str-el]
C. Chamon, C.Y. Hou, R. Jackiw, C. Mudry, S.Y. Pi, G. Semenoff, Electron fractionalization for two-dimensional Dirac fermions. Phys. Rev. B 77, 235431 (2008). https://doi.org/10.1103/PhysRevB.77.235431. arXiv:0712.2439 [hep-th]
R. Wang, O. Erten, B. Wang, D.Y. Xing, Prediction of a topological \(p + ip\) excitonic insulator with parity anomaly. Nat. Commun. 10(1), 210 (2019). https://doi.org/10.1038/s41467-018-08203-9. arXiv:1705.06421 [cond-mat.str-el]
L. Lepori, M. Burrello, E. Guadagnini, Axial anomaly in multi-Weyl and triple-point semimetals. JHEP 1806, 110 (2018). https://doi.org/10.1007/JHEP06(2018)110. arXiv:1803.01684 [cond-mat.str-el]
A. Martin-Ruiz, A. Cortijo, Parity anomaly in the nonlinear response of nodal-line semimetals. Phys. Rev. B 98(15), 155125 (2018). https://doi.org/10.1103/PhysRevB.98.155125. arXiv:1809.01155 [cond-mat.mes-hall]
D.V. Vassilevich, Heat kernel expansion: user’s manual. Phys. Rept. 388, 279 (2003). https://doi.org/10.1016/j.physrep.2003.09.002. arXiv:hep-th/0306138
A.N. Redlich, Gauge noninvariance and parity violation of three-dimensional fermions. Phys. Rev. Lett. 52, 18 (1984). https://doi.org/10.1103/PhysRevLett.52.18
L. Alvarez-Gaume, S. Della Pietra, G.W. Moore, Anomalies and odd dimensions. Ann. Phys. 163, 288 (1985). https://doi.org/10.1016/0003-4916(85)90383-5
S. Deser, L. Griguolo, D. Seminara, Gauge invariance, finite temperature and parity anomaly in D = 3. Phys. Rev. Lett. 79, 1976 (1997). https://doi.org/10.1103/PhysRevLett.79.1976. arXiv:hep-th/9705052
S. Deser, L. Griguolo, D. Seminara, Effective QED actions: representations, gauge invariance, anomalies and mass expansions. Phys. Rev. D 57, 7444 (1998). https://doi.org/10.1103/PhysRevD.57.7444. arXiv:hep-th/9712066
M. Kurkov, D. Vassilevich, Parity anomaly in four dimensions. Phys. Rev. D 96(2), 025011 (2017). https://doi.org/10.1103/PhysRevD.96.025011. arXiv:1704.06736 [hep-th]
M. Kurkov, D. Vassilevich, Gravitational parity anomaly with and without boundaries. JHEP 1803, 072 (2018). https://doi.org/10.1007/JHEP03(2018)072. arXiv:1801.02049 [hep-th]
M. Paranjape, G. Semenoff, Spectral asymmetry, trace identities, and the fractional fermion number of magnetic monopoles. Phys. Lett. 132B, 369–373 (1983)
M. Bordag, A.S. Goldhaber, P. van Nieuwenhuizen, D. Vassilevich, Heat kernels and zeta function regularization for the mass of the SUSY kink. Phys. Rev. D 66, 125014 (2002). https://doi.org/10.1103/PhysRevD.66.125014. arXiv:hep-th/0203066
D.V. Vassilevich, Quantum corrections to the mass of the supersymmetric vortex. Phys. Rev. D 68, 045005 (2003). https://doi.org/10.1103/PhysRevD.68.045005. arXiv:hep-th/0304267
A. Alonso-Izquierdo, W. Garcia Fuertes, M.A. Gonzalez Leon, J. Mateos Guilarte, Generalized zeta functions and one loop corrections to quantum kink masses. Nucl. Phys. B 635, 525 (2002). https://doi.org/10.1016/S0550-3213(02)00341-3. arXiv:hep-th/0201084
P.B. Gilkey, Invariance theory, the heat equation, and the Atiyah–Singer index theorem (Publish or Perish, Wilmington, 1984)
A. Alonso-Izquierdo, J. Mateos Guilarte, Kink fluctuation asymptotics and zero modes. Eur. Phys. J. C 72, 2170 (2012). https://doi.org/10.1140/epjc/s10052-012-2170-3
A. Alonso-Izquierdo, J. Mateos Guilarte, M.S. Plyushchay, Kink mass quantum shifts from SUSY quantum mechanics. Ann. Phys. 331, 269–298 (2013). https://doi.org/10.1016/j.aop.2013.01.005
A. Alonso-Izquierdo, J. Mateos Guilarte, Quantum induced interactions in the moduli space of degenerate BPS-domain walls. JHEP 1, 125 (2014). https://doi.org/10.1007/JHEP01(2014)125
Acknowledgements
This work was supported in parts by the São Paulo Research Foundation (FAPESP), projects 2016/03319-6 and 2017/50294-1 (SPRINT), by the Grants 303807/2016-4 and 428951/2018-0 of CNPq, by the RFBR project 18-02-00149-a and by the Tomsk State University Competitiveness Improvement Program. AAI and JMG also thank to the JCyL for partially supporting their research under Grant BU 229P18
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Alonso-Izquierdo, A., Fresneda, R., Guilarte, J.M. et al. Soliton fermionic number from the heat kernel expansion. Eur. Phys. J. C 79, 525 (2019). https://doi.org/10.1140/epjc/s10052-019-7041-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-019-7041-8