the classical theory of dispersion is a subject with a long and noble history @xcite .
although the main features of the phenomenon can be described by treating matter as a continuum characterized by macroscopic quantities such as the electric and magnetic polarizations , it is clear that a truly fundamental theory has to be based on a microscopic model of matter .
we shall now try to summarize some crucial aspects of the problem in an historical perspective , before illustrating the new features of our present approach .    by treating an elementary electric dipole as an oscillator subject to a linear restoring force
, it is possible to obtain a simple expression for the molecular polarizability , i.e.  the complex frequency - dependent linear coefficient which relates the microscopic dipole moment to the amplitude of the incident electromagnetic radiation . in order to correctly apply this simple model to the description of the behavior of a large system of mutually interacting dipoles
, one has however to consider that the field acting on each microscopic oscillator can not be simply identified with the macroscopic electromagnetic field in the medium .
in fact , while the latter simply represents the average of the microscopic field over a region much larger than the intermolecular spacing , the former has to be carefully calculated by evaluating and summing , on the site occupied by the considered dipole , the retarded fields generated by all the other dipoles of the medium .
this `` exciting '' field ( as we shall refer to in the following , although the names `` effective '' or `` local '' field have also been employed in the literature ) was theoretically estimated by lorentz already at the end of nineteenth century @xcite by dividing the medium into two regions separated by a virtual sphere surrounding the considered dipole .
he restricted his attention to the typical situation in which the wavelength of the macroscopic electromagnetic field is of a larger order of magnitude than the average intermolecular spacing , so that one can take for the virtual sphere a radius intermediate between the two .
he then argued that the influence of the portion of the medium lying outside the sphere can be fairly approximated as that of a continuous distribution of electric dipole moment , whereas the sum of the forces exerted by all the dipoles situated inside the sphere can be assumed to vanish in most cases on the basis of symmetry considerations . a rather similar analysis , leading to equivalent conclusions ,
was also carried out by planck @xcite . with these arguments
one can derive the well - known lorentz
lorenz formula @xcite , relating the macroscopic dielectric constant of the medium to the molecular polarizability , and it is thus possible to deduce an approximate expression for the dispersion relation of an array of oscillators in the long - wavelength regime ( which generally includes the optical frequencies ) .    a detailed microscopic theory of dispersion in a crystalline solid ,
although with neglect of radiation reaction , was formulated by ewald @xcite .
he considered a rectangular parallelepiped as the unit cell of the bravais lattice , and his results were subsequently generalized by born to more general crystal structures @xcite .
the mathematical methods used by these authors ( one has to keep in mind that the theory of distributions was not yet existing at that time ) led however to rather clumsy expressions for the exciting field , which could be numerically evaluated only in the limit of an infinitely large ratio between wavelength and lattice constant , i.e.  still essentially in the continuum approximation . in this way the previous results by lorentz and planck were recovered for structures with tetrahedral symmetry .
furthermore , in the case of parallelepipeds of unequal edges , ewald was able to perform in the same limit a numerical calculation relating the ratio between the edges to the phenomenon of double refraction .
finally , ewald extended his analysis of the model also to the study of x - ray diffraction @xcite , but he made use to this purpose of other important simplifications which are possible only in the opposite limit of a radiation frequency much higher that the characteristic frequencies of the crystal .
many investigations were later devoted to the application of quantum mechanics to the theory of light dispersion , and the results of ewald and born were apparently considered to be the final word about the problem of the mutual interaction of a large array of classical resonators .
we are going to prove that , on the contrary , a deeper analysis reveals important properties of this fundamental dynamical system which have been for many decades completely overlooked .    in the present paper
we shall study a system of infinitely many charged particles , subject to linear restoring forces towards their equilibrium positions at the sites of a regular lattice , and interacting with each other through the retarded electromagnetic fields .
our outset will therefore be similar to ewalds s , but with inclusion in the equations of motion of the usual `` triple - dot '' radiation reaction term , which corresponds to the nonrelativistic form of the lorentz
dirac equation @xcite .
the only approximation that we shall use is that of small oscillations : this will allow us still to deal with a system of linear equations .
we shall provide a general and rigorous procedure for the calculation of the exciting field , avoiding to introduce at any stage of the procedure the continuum approximation .
this will be accomplished by a method involving the careful subtraction of two divergent quantities ( representing respectively the total field and the field generated by the dipole under consideration ) , which appears to be more powerful than that used by ewald and born , and presents some formal analogy with the renormalization techniques of quantum field theory . using our procedure
we shall show that for an infinite regular lattice there exists a continuous set of normal modes which describe the propagation of plane electromagnetic waves
.    a remarkable result will be that the inclusion of the radiation damping term in the equations of motion of the oscillating particles , instead of giving rise to an extinction coefficient for the wave , as is commonly believed according to the standard approximated treatments of the model , is on the contrary essential for justifying the presence of undamped collective waves .
such a result in fact constitutes an extension to the three dimensional case of an analogous one already obtained by two of the present authors for the case of a rectilinear chain of one - dimensional oscillators @xcite .
it relies upon a remarkable identity which was originally formulated in a different context by wheeler and feynman @xcite .
these authors deduced it from the hypothesis of the `` complete absorber '' , which they introduced in order make their time - reversible action - at - a - distance electrodynamics compatible with the observed phenomenon of radiation reaction . for the physical system here
considered we are going to prove in a simple and direct way that , although no absorption mechanism is present in the model , this `` wheeler  feynman identity '' actually holds as a purely mathematical property of the entire class of solutions on which we are interested .    by numerically studying the dispersion relations for the crystal , as resulting from the exact solutions of the model , it will also be shown that completely new features appear for frequencies in a region about the proper frequency of the oscillators . in such a region
the wavelength can in fact become as short as the lattice spacing , so that the approximations adopted in the previous literature become unavailable , and only an exact solution can give predictions about the behavior of the system .
it is found that inside the interval of frequencies where undamped wave propagation was believed to be impossible , plane waves can actually propagate , with very low group velocities , along certain lattice directions and for appropriate wave polarization .
let us consider an infinite three - dimensional simple bravais lattice , that is an array of points @xmath0 where @xmath1 denotes the triple of relative integers @xmath2 , and @xmath3 , @xmath4 , @xmath5 are a set of primitive translation vectors for the lattice @xcite .
we choose the orientation of the @xmath6 in such a way that @xmath7 .
@xmath8 clearly represents the volume of the primitive cell .
each point @xmath9 is the equilibrium position of a point particle ( electron ) of mass @xmath10 and electric charge @xmath11 , which is subject to an elastic force of the form @xmath12 where the vector @xmath13 represents the instantaneous coordinates of the point particle .
although it is not strictly necessary for the mathematical self - consistency of the model , in order to reproduce in a more realistic way the situation of solid state physics we can assume that @xmath9  is also the seat of a static positive ion of charge @xmath14 .
as is traditionally the case for the classical models of dispersion , we shall neglect the coulomb interaction between the ion and its associated electron , since classical mechanics fails at such short distance scales , and we shall instead identify the proper oscillator frequency @xmath15 with a characteristic excitation frequency of the optical electron in the atomic ground state . according to quantum mechanics , it could even be possible to obtain a more realistic model by associating to each atom a set of fictitious oscillators @xcite , one for each allowed quantum transition from the ground state of energy @xmath16 to an excited state of energy @xmath17 , with proper frequencies @xmath18 . in order to assign to the contribution of each oscillator an appropriate weight
, one has then to make the substitution @xmath19 , where the `` oscillator strengths '' @xmath20  are coefficients subject to the sum rule @xmath21 ( we are considering here atoms with a single optically active electron ) .
an explicit calculation from first order perturbation theory provides @xmath22 @xmath23 being the position operator and @xmath24 the unit vector representing the direction of oscillation . for the sake of simplicity we shall consider in the following calculations a single oscillator per atom , in accordance with the original literature on classical dispersion , although the extension to the case of multiple oscillators presents no conceptual difficulty .
the charge and current densities associated with the electron - ion pair are given respectively by @xmath25   \label{rho } \\
{ \bf j}_{{\bf n}}({\bf x},t)&= & e{\bf \dot{z}}_{{\bf n}}(t ) \delta ^{3}({\bf x}-{\bf z}_{{\bf n}}(t))\ , ,   \label{jey}\end{aligned}\ ] ] where @xmath26 denotes dirac s delta function .
the retarded potentials generated by the charge - current density @xmath27 ( with @xmath28 ) are defined as @xmath29 where @xmath30 is the retarded green function @xcite and @xmath31 is the fourier transform of @xmath32 .
we are here using the four - dimensional notation so that , for instance , @xmath33 denotes the four - vector @xmath34 , and @xmath35 , @xmath36 , @xmath37 . summation over repeated indices is always implicitly understood .
the retarded potentials satisfy the equation @xmath38 and the lorentz gauge condition @xmath39 introducing then the retarded fields according to the usual relations @xmath40 and putting @xmath41 , we can write the ( nonrelativistic ) equation of motion of the electrons as @xmath42 where @xmath43 represent the exciting fields .
the notation used in the two last equations means that the summation index @xmath44 runs over all the values in @xmath45 except @xmath46 .
the last term in eq.([eqmoto ] ) describes the radiation reaction force , according to the lorentz
dirac prescription .
see ref .
@xcite for a comparison between the expression of the atomic polarizability resulting from this classical equation in the dipole approximation , and the corresponding result obtained for a two - level atom in electric - dipole interaction with the quantized electromagnetic field .
we suppose the amplitude of the oscillations to be small enough , so that at every stage we can neglect all terms of order higher than one in the @xmath47 and their time derivatives of any order .
it follows that eq .
( [ eqmoto ] ) simplifies to @xmath48 where the retarded fields , included into @xmath49 according to eq .
( [ erregende ] ) , are to be calculated in the dipole approximation , whereby each @xmath50 depends linearly on @xmath51 and its time derivatives .
of course , eq .  ( [ eqmotod ] ) actually represents an infinite system of coupled linear equations , since we have one such equation for each @xmath52 .
we shall look for a global solution of the form ( in customary complex notation ) @xmath53\ , ,   \label{normmode}\ ] ] representing a plane wave with amplitude @xmath54 , frequency @xmath55 and wavevector @xmath56 .
the parameters @xmath55 and @xmath56  can always be chosen so that @xmath57  and @xmath56  belongs to the first brillouin zone of the crystal .
we shall proceed as follows : for a generic motion of the form ( [ normmode ] ) we shall calculate the resulting expression for the exciting field @xmath49 ; then by substituting this expression into eq .
( [ eqmotod ] ) we shall find out that the equations of motion of all the particles can be simultaneously satisfied , provided that @xmath56  and @xmath55 satisfy a well defined dispersion relation .    in the dipole approximation , that is to first order in @xmath54 , the charge and current densities become @xmath58   \\ { \bf j}_{{\bf n}}({\bf x},t ) & = & -ie\omega { \bf c } \delta ^{3}({\bf x}-{\bf r}_{{\bf n}})\exp \left [ i(\bm{\kappa } \cdot { \bf r}_{{\bf n}}-\omega t)\right]\end{aligned}\ ] ] whence , according to the definition ( [ jtilde ] ) @xmath59 \label{rhojtilde } \\ { \bf \tilde{j}}_{{\bf n}}(k ) & = & -2\pi ie \omega { \bf c}\delta ( k^{0}-\omega /c)\exp \left [ i(\bm{\kappa}-{\bf k}){\bf \cdot r}_{{\bf n } } \right]\ , .   \label{jeytilde}\end{aligned}\ ] ] substituting these expressions into eq .
( [ potential ] ) and then applying eq .
( [ field ] ) we get @xmath60 \nonumber \\ & & \times \int \frac{d^{3}{\bf k}}{(2\pi ) ^{3}}\,\frac { ( \omega /c)^{2}{\bf c}-({\bf k}\cdot { \bf c}){\bf k } } { { \bf k}^{2}-(\omega / c)^{2}-i\varepsilon } \nonumber \\ & & \times\exp \left [ i{\bf k\cdot ( x}-{\bf r}_{{\bf m}})\right]\ , .
\label{eenne}\end{aligned}\ ] ] it follows @xmath61 \ , ,   \label{erreg1}\ ] ] where the second rank tensor @xmath62 has components @xmath63\end{aligned}\ ] ] and we have used the notation @xmath64 to denote the vector with components @xmath65 . by substituting the expressions ( [ normmode ] ) and ( [ erreg1 ] ) into eq .
( [ eqmotod ] ) , the original system of infinitely many coupled equations is transformed into the single vectorial equation @xmath66 which admits solutions with nonvanishing @xmath54  when @xmath67 = 0\ , .
\label{determ}\ ] ] the above equation determines an implicit relation between @xmath56 and @xmath55 , which constitutes the sought for dispersion relation of the crystal .
once a solution of the form ( [ normmode ] ) has been obtained , it is easy to write down the expression for the macroscopic quantities which can be associated to the normal mode .
the macroscopic polarization density is in fact given by the continuous function of space which interpolates the microscopic displacement vectors of the individual dipoles : @xmath68\ , .
\label{pmacr}\ ] ] the macroscopic fields @xmath69 , @xmath70 and @xmath71 are then given by the solutions of the usual macroscopic maxwell equations inside the ( nonmagnetic ) medium : @xmath72 from eq .
( [ maxwell1 ] ) it follows @xmath73 . then by taking the curl of eq .
( [ maxwell2 ] ) and eliminating @xmath74 with the aid of eq .
( [ maxwell4 ] ) one easily obtains @xmath75 from this , eq .  ( [ pmacr ] ) and eq .
( [ maxwell2 ] ) , we conclude @xmath76 \label{emacro }
\\ { \bf b}_{\rm mac}({\bf x},t)&=&\frac{e}{v}\frac{(\omega /c ) \bm{\kappa } \times { \bf c}}{\bm{\kappa}^2-(\omega /c)^2 } \nonumber \\ & & \times\exp \left [ i(\bm{\kappa}\cdot { \bf x}-\omega t)\right]\,.\end{aligned}\ ] ]
since ( [ determ ] ) is a complex equation , it is _ a priori _ to be expected that , in order that a real solution for @xmath55 may exist , the vector @xmath56 must necessarily be assigned an imaginary component , which represents an extinction coefficient for the wave
. a fundamental observation can however be made at this point , showing that this is not actually the case and that eq .
( [ determ ] ) determines @xmath55  as a real function of the real independent variable @xmath56 . to this purpose ,
let us introduce the advanced potentials @xmath77 defined by a formula analogous to ( [ potential ] ) with , in place of @xmath78 , the advanced green function @xmath79 a completely general result about the lorentz
dirac equation asserts that the self - force , given by the expression involving the triple time - derivative of the particle position , is equal to the electromagnetic force exerted on the particle by one half the difference between the retarded and advanced fields generated by the particle itself @xcite . using this result in the dipole approximation , we have that the last term of eq.([eqmotod ] ) can be expressed as @xmath80 where @xmath81 and @xmath82 .
note that the field @xmath83is a solution of the homogeneous ( i.e.  source - free ) field equation and therefore , at variance with @xmath84 , it is regular at the particle position @xmath9 . using eq .
( [ dirac ] ) and the identity @xmath85 , we can rewrite eq .
( [ eqmotod ] ) as @xmath86 where @xmath87 the summation being extended to all the values @xmath88 in the last equation .
we have @xmath89 with @xmath90 \nonumber \\ & = & \frac{\delta ( x^{2 } ) \varepsilon ( x^{0})}{4\pi } = \frac{i}{2(2\pi ) ^{3}}\int d^{4}k\,e^{ik\cdot x } \delta ( k^{2})\varepsilon ( k^{0})\end{aligned}\ ] ] and @xmath91 for a normal mode solution the above threefold series can be evaluated by using eqs .
( [ rhojtilde]-[jeytilde ] ) and the relation @xmath92 where the @xmath93 , for @xmath88 , are the points of the reciprocal lattice @xcite , defined as @xmath94 here @xmath95  indicates the completely antisymmetric tensor with @xmath96 .
we obtain @xmath97 we see that the integrand on the r.h.s .  of eq .
( [ ameno ] ) is a singular function with support on the cone @xmath98 . on the other hand , for a given real @xmath56 , the functions @xmath99  and @xmath100  are different from zero on this cone only when there exists @xmath88  such that @xmath101
this proves that for all values of @xmath55 , except those belonging to the discrete set of singular values @xmath102 , the `` wheeler  feynman identity '' @xmath103 holds at any point @xmath33  of spacetime . on the other hand , the results that will be obtained in the next section show immediately that , for a given @xmath56 , the exciting field diverges for @xmath104 , so that none of these frequency values can possibly correspond to a normal mode solution .
the wheeler
feynman identity is therefore established in complete generality for all physical solutions expressible as linear combinations of normal modes . as an immediate consequence of this identity
one has that the last term on the r.h.s .  of eq.([eqmotod2 ] ) vanishes . recalling eq .
( [ dirac ] ) , this result can also be put in the form @xmath105 a relation physically equivalent to this one was obtained by oseen ( although without a rigorous mathematical proof ) already in 1916 @xcite .
we can then write @xmath106\,,\ ] ] with @xmath107 \,.\end{aligned}\ ] ] the symbol @xmath108 indicates the principal value of the integral .
note that for real @xmath56 and @xmath55  the function @xmath109  is real , since taking the complex conjugate amounts to making the substitution @xmath110 @xmath111  in the summation index . from these considerations
it follows that the equation of motion ( [ eqmotod1 ] ) can be rewritten as @xmath112 and the original complex equation ( [ determ ] ) is converted into the real equation @xmath113 = 0\,,\ ] ] which determines a dispersion relation between the real variables @xmath114 and @xmath55 .
note that this remarkable result , which allows for the propagation of undamped plane waves in the crystal , holds just as a consequence of the inclusion of the lorentz
dirac radiation reaction term in the equations of motion .
this does not appear surprising , when one recalls that the expression of this term was determined just in order to insure global energy conservation for the complete system of particles and field @xcite .
the expression for the retarded field produced by an oscillating dipole is well - known , and it can in fact be obtained by explicit calculation of the integral on the r.h.s .  of eq .
( [ eenne ] ) .
it might seem therefore that the most direct way of calculating the exciting field @xmath49 would be to substitute such an expression into eq .
( [ erregende ] ) , as was done in ref.@xcite for the one - dimensional case .
it turns out however that in the three - dimensional case the series on the r.h.s .  of eq.([erregende ] ) does not converge in a proper sense .
it is possible indeed to assign to the sum an unambiguous meaning via the prescription @xmath115 but the above formula is not convenient for numerical computations purposes ( the sum converges slowly for nearly vanishing @xmath116 ) , and furthermore gives us no insight into the physical content of the results . we shall therefore follow a different path , which consists in converting the sum over the points @xmath9 into a sum over the points @xmath93  of the reciprocal lattice . after some manipulations we shall obtain an absolutely convergent series , which in typical cases can be numerically computed with little effort . furthermore , our final expression will provide an explicit expansion in powers of @xmath117 ( @xmath118 being the mean lattice parameter and @xmath119 the wavelength ) , in such a way that the well - known result provided by the old theories in the long - wavelength limit will appear to be just the zero - order approximation of the general result .
we start from the relation @xmath120 \ , ,   \label{erreg2}\ ] ] where @xmath121 is the total retarded field . using eqs .
( [ eenne ] ) and ( [ recipro ] ) we obtain @xmath122 ( { \bf g}_{{\bf m}}+\bm{\kappa})}{({\bf g}_{{\bf m}}+ \bm{\kappa})^{2}-(\omega /c)^{2}-i\varepsilon } \nonumber \\ & & \times\exp \left [ i({\bf g}_{{\bf m}}+\bm { \kappa } ) \cdot { \bf x } -i\omega t\right ] \ , . \label{etot}\end{aligned}\ ] ] note that , according to eq .
( [ emacro ] ) , the term for @xmath123 of the above series is equal to the macroscopic field @xmath124 .
this of course corresponds to the fact that , for @xmath125 , the macroscopic field just represents the average over a unit lattice cell of the total microscopic retarded field .
we observe also that @xmath126 , so that @xmath127 \\ & = & \exp [ i\bm { \kappa } \cdot { \bf r}_{{\bf n}}+i({\bf g}_{{\bf m } } + \bm{\kappa})\cdot ( { \bf x}-{\bf r}_{{\bf n}})]\,.\end{aligned}\ ] ] therefore , substituting eqs .  ( [ etot ] ) and ( [ eenne ] ) into eq .  ( [ erreg2 ] ) , and then comparing the resulting expression with eq .
( [ erreg1 ] ) , we get @xmath128 \equiv m^{{\rm ret}}_{ij}({\bf q},f)\,,\end{aligned}\ ] ] where we have introduced the dimensionless variables @xmath129 , @xmath130 , and @xmath131 .
let us now shortly rewrite the r.h.s.of the above equation as @xmath132 , with @xmath133 .
the regularity of the function @xmath134 at @xmath135 descends obviously from the fact that @xmath136 is regular at @xmath137 , as can be seen from the very definition ( [ erregende ] ) of @xmath49 . recalling that @xmath138 we can write @xmath139 reintroducing the explicit expression for @xmath140
, we thus obtain @xmath141 e^{-\eta { \bf k}^{2 } } \label{mret0}\end{aligned}\ ] ] with @xmath142    by isolating the term for @xmath143 of the series on the r.h.s.of eq .
( [ mret0 ] ) we get the expression @xmath144 which is related to the macroscopic field inside the crystal according to eq .
( [ emacro ] ) : @xmath145\ , .
\label{emacro2}\ ] ] we can then write @xmath146 \,,\end{aligned}\ ] ] with @xmath147 the series @xmath148 and the integral @xmath149 are both divergent in the limit @xmath150 . we are going to study them separately and to split each of them into a divergent and a convergent part .
the two divergent parts must of course cancel each other , as we shall check directly . we shall then be able to express @xmath151 as the sum of a finite term and of an absolutely convergent series .    by expanding the function @xmath152 in powers of @xmath153 ( from now on @xmath154 stands for @xmath155 )
we can write @xmath156 where , for @xmath157 , @xmath158 is a homogeneous function of @xmath159 of degree @xmath160 , and @xmath161 for @xmath162 .
the term of degree @xmath163 has been multiplied by @xmath164  [ where @xmath165  for @xmath166 , @xmath167  for @xmath168 ) ] in order that all terms appearing in the above equation be integrable in a neighborhood of @xmath169 .
we have @xmath170 \bigg\ } \\
c_{ij}^{(3 ) } & = & \frac{1}{k^{4}}\bigg\ { -2{\bf q}\cdot { \bf k } ( q_{i}q_{j}-f^{2}\delta _ { ij } ) \\ & & + ( q_{i}k_{j}+q_{j}k_{i})\left [ f^{2}-{\bf q}^{2 } + \frac{4({\bf q}\cdot { \bf k})^{2}}{k^{2}}\right ] \\ & & -4\frac{k_{i}k_{j}}{k^{2 } } { \bf q}\cdot { \bf k}\left [ f^{2}-{\bf q}^{2 } + \frac{2({\bf q}\cdot { \bf k})^{2}}{k^{2}}\right ] \bigg\ } .\end{aligned}\ ] ] this decomposition , besides separating the terms which give rise to divergent contributions to @xmath148 and @xmath149 , leads naturally to an asymptotic expansion of these quantities for long wavelengths .
in fact , if we suppose that the refraction index @xmath171 is of order unity ( as it is reasonable to expect for frequencies not too close to resonance ) , we have @xmath172 , and it is immediate to check that @xmath173 , @xmath174 for @xmath175 .      introducing @xmath176 , we can rewrite eq .
( [ recipro ] ) in terms of dimensionless quantities as @xmath177 let us then denote with @xmath178 the fourier transform operator , which transforms the generic function @xmath179 into the function @xmath180 ( { \bf x})=\int d^{3}{\bf k}\,e^{i{\bf k } \cdot { \bf x}}f({\bf k})\,.\ ] ] if the function @xmath181 is continuous at all points @xmath182 , we have from eq .  ( [ recipro2 ] ) @xmath183 ( 2\pi { \bf y}_{{\bf n}})\ , . \label{fourier}\end{aligned}\ ] ] applying this formula and eq .
( [ gauss ] ) we obtain @xmath184 for @xmath185 , where @xmath186 indicates a term such that @xmath187 for any arbitrarily large @xmath188 .
let us then decompose @xmath189 as @xmath190 where @xmath191 is a quadratic symmetric tensor satisfying @xmath192 .
since @xmath193 is discontinuous for @xmath194 , we can not directly apply eq .
( [ fourier ] ) to evaluate its contribution to the series @xmath148 .
however , since @xmath195 we can use eq .
( [ fourier ] ) to obtain @xmath196 it follows that @xmath197 for @xmath185 , where @xmath198  is a finite symmetric dimensionless tensor , satisfying the condition @xmath199 .
the numerical values of @xmath200 in general depend on the particular crystal structure considered . in appendix
a we derive the following equivalent expression in terms of a sum over the points of the direct lattice : @xmath201 from eqs .
( [ fourier0 ] ) and ( [ beta0 ] ) we conclude @xmath202 + \beta_{ij}^{(0)}+o(\eta ^{\infty } ) \ , .
\label{c0s}\end{aligned}\ ] ] on the other hand , it is almost immediate to see that @xmath203 in fact , for obvious symmetry reasons , the l.h.s .
must be of the form @xmath204 , but then the condition @xmath205 implies @xmath206 .
it follows that @xmath207 and so @xmath208 we thus conclude that at order zero in @xmath209 the tensor @xmath151 is given by @xmath210    for an isotropic crystal the optical behavior at long wavelengths must be invariant under spatial rotations .
this means that the symmetric tensor @xmath211 must be a multiple of the identity matrix , but since its trace @xmath212 vanishes , we see that isotropy implies @xmath213 . in such a case , recalling eqs .
( [ pmacr ] ) and ( [ emacro2 ] ) , we derive from eq .
( [ m0 ] ) that at this order of approximation @xmath214 the above expression for the exciting field is the same that was obtained by lorentz and planck with the argument of the virtual sphere mentioned in the first section , and was later confirmed through more rigorous analysis by ewald and born .    the same matrix @xmath215 of eq .
( [ m0 ] ) of course also provides the zeroth order approximation for the tensor @xmath216 . therefore recalling eq.([eqmotoel ] ) one obtains @xmath217 where @xmath218 is the so - called `` plasma frequency '' of the material .
the above equation can be put into the form @xmath219 , where the tensor @xmath220 represents the electric susceptibility .
the dielectric function can then by obtained as @xmath221 .
it appears from eq .
( [ chi ] ) that at the present order of approximation the lattice of resonators behaves in general as a biaxial crystal .
let us denote with @xmath222 ( @xmath223 ) the three ( in general distinct ) eigenvalues of the symmetric tensor @xmath224 , with @xmath225 the eigenvalues of @xmath226 , and with @xmath227 the indexes of refraction for transversal waves with electric fields polarized along the mutually orthogonal directions of the corresponding eigenvectors .
we then have that , for @xmath228 , the ( approximately ) frequency independent quantities @xmath229 that were introduced by havelock @xcite as a measure of the phenomenon of structural double refraction , can be calculated according to our model as @xmath230 according to eqs .
( [ beta0 ] ) or ( [ beta0x ] ) these parameters depend solely on the lattice structure .
as we mentioned in section i , ewald was able to devise a method to calculate @xmath231 when the unit cell of the lattice is a rectangular parallelepiped @xcite .
although his formulas look considerably more complicated , we have checked that the numerical results , that he obtained for particular values of the ratio between the edges of the cell , are in very good agreement ( considering the tools available at that time for numerical computation ) with the general result provided by eq .
( [ dij ] ) .    in the following subsection we are going to show that eq.([eqmacr ] ) has to be significantly corrected when the size of the lattice parameter is not negligible with respect to the wavelength .
it will be found that it is no longer possible in that case to give for the dielectric tensor a general expression as a function of the frequency only , since , as was already recognized by ewald @xcite , the form of the dispersion relation involves both the direction of polarization and the direction of the wavevector @xmath56 .
our analysis will allow us to study quantitatively in detail the behavior of such a dispersion relation .
since @xmath232 , as well as @xmath233 , are odd functions of @xmath159 , they clearly give no contributions to either @xmath148 or @xmath149 .
let us now consider @xmath234 .
if we introduce the fourth order completely symmetric tensor    @xmath235    satisfying the condition @xmath236 , we obtain after some simple algebraic manipulation @xmath237 \\ & & + \frac{4}{7k^{4}}\left [ 4\delta _ { ij}p_{hl}^{(2)}({\bf k } ) q_{h}q_{l}-6q_{h}\left ( q_{i}p_{jh}^{(2)}({\bf k})+q_{j}p_{ih}^{(2 ) } ( { \bf k})\right ) + p_{ij}^{(2)}({\bf k})(7f^{2}-3{\bf q}^{2})\right ] \\ & & + \frac{4}{k^{6}}p_{ijhl}^{(4)}({\bf k})q_{h}q_{l}\,.\end{aligned}\ ] ]    by integrating eq .
( [ fourier0 ] ) with respect to @xmath116 we obtain @xmath238 where @xmath239 is a finite dimensionless constant dependent on the crystal structure .
similarly , if we put @xmath240 integration of eq .
( [ beta0 ] ) provides @xmath241 where @xmath242  is another finite symmetric tensor such that @xmath243 .
let us then define @xmath244 we have @xmath245 whence , using eq .
( [ fourier ] ) , @xmath246 it follows that @xmath247 where the integration constants @xmath248 are completely symmetric tensors satisfying the condition @xmath249 for @xmath250 .
we show in appendix a that @xmath251 a preliminary determination of @xmath252 and @xmath253 with the aid of the two above formulas can considerably improve the accuracy in the numerical calculation of @xmath254 according to eq .
( [ gamma2 ] ) . from eqs .
( [ alpha ] ) , ( [ beta2 ] ) and ( [ gamma2 ] ) it follows that @xmath255 \\ & & -m_{ij}^{(2)}({\bf q},f)+o(\eta ) \,,\end{aligned}\ ] ] with @xmath256   \nonumber \\ & & -\frac{4}{7}\big [ 4\delta _ { ij}\beta _ { hl}^{(2)}q_{h}q_{l}-6q_{h } \left(q_{i } \beta_{jh}^{(2)}+q_{j } \beta _ { ih}^{(2)}\right ) \nonumber \\ & & + \beta _ { ij}^{(2)}(7f^{2}-3{\bf q}^{2})\big ] -4\gamma _ { ijhl}^{(2)}q_{h}q_{l}\ ,
.   \label{m2}\end{aligned}\ ] ] by the same argument used to deduce eq .
( [ b0 ] ) we have @xmath257 in a similar way one finds that @xmath258 in fact , since the l.h.s .
is an invariant tensor , it must be of the form @xmath259 , but then again the condition @xmath260 implies @xmath206 .
it follows that @xmath261 \int d^{3}{\bf k}\,\frac{\exp ( -\eta k^{2})}{15k^{2 } } \\ & = & \frac{2\pi^{3/2}}{15\sqrt{\eta } } \left [ 3q_{i}q_{j}-\delta _ { ij } ( { \bf q}^{2}+10f^{2})\right ] \,,\end{aligned}\ ] ] so that @xmath262    finally , we have @xmath263 since both the sum and the integral on the r.h.s .
of the two above equations are absolutely convergent . an explicit calculation carried out in appendix
b shows that @xmath264 in accordance with eq .
( [ oseen ] ) .
we can therefore conclude that @xmath265 with @xmath266 as we had anticipated in the previous section , the matrix @xmath267 is symmetric and real for real @xmath268 and @xmath181 , whereas @xmath269 just cancels the radiation reaction term in the equation of motion . since @xmath270
, we can rewrite eq .
( [ eqmotoel ] ) as @xmath271 or , in dimensionless variables , @xmath272 where @xmath273 , and @xmath274 is the classical electron radius .
in order to apply the general theory developed until now to a concrete situation , let us consider in more detail the particular case of a simple cubic lattice , for which the primitive translation vectors of eq .
( [ lattice ] ) are given by @xmath275 for @xmath223 , @xmath276 being the unit vectors of the three coordinate axes and @xmath277 the lattice parameter .
for this lattice one has @xmath278 , and the first brillouin zone corresponds to the cubic region @xmath279 .
obvious symmetry considerations imply that @xmath280 , @xmath281 .
then from the general condition @xmath282 one deduces that @xmath283 , and so @xmath284 the symmetry also implies that @xmath285 , where @xmath286 and the non - tensor @xmath287  is defined so that @xmath288 for @xmath289 , @xmath290 otherwise .
since @xmath291 , @xmath292 , the condition @xmath293  implies @xmath294 .
equation ( [ m2 ] ) thus becomes @xmath295 \\ & & + 4\gamma ^{(2 ) } ( 2q_{i}q_{j}+{\bf q}^{2}\delta_{ij}-5q_{i}^{2}\delta _
{ ij})\,.\end{aligned}\ ] ]    a numerical calculation based on eq .
( [ alpha ] ) shows that @xmath296 while from eqs .
( [ gamma2]-[gm2ijhl ] ) one obtains    @xmath297    for application in numerical computations , the above results can also be put in the useful form @xmath298 -2c(l)(2q_{i}q_{j}+{\bf q}^{2}\delta _ { ij}-5q_{i}^{2 } \delta_{ij } ) \\ & & + \frac{4\pi } { 105l}\left [ -q_{i}q_{j}(3{\bf q}^{2}-7f^{2})+ ( |{\bf q}|^{4}+21{\bf q}^{2}f^{2}+70f^{4})\delta_{ij}\right ] + o(l^{-2})\,,\end{aligned}\ ] ]    where we have introduced the functions @xmath299 with @xmath300 .    as an example of application of these formulas
, we have numerically calculated a few dispersion curves for an ideal simple cubic lattice with parameter @xmath301 and proper frequency of the oscillators @xmath302 , where @xmath303 and @xmath304 are the bohr radius and the bohr frequency respectively . in fig .  1 we show the dependence of @xmath305 as a function of @xmath306 , as determined according to eq .
( [ maineq ] ) for three different directions of propagation of the plane waves .
the results can be compared with those obtained from the standard formula valid in the long wavelength limit , which , as can be seen from eqs .
( [ maineq ] ) and ( [ m0 ] ) , is given by @xmath307 one can see that , according to the above equation , @xmath54 has necessarily to be either orthogonal or parallel to @xmath268 . in the first case ( transversal polarization )
one obtains the dispersion relation @xmath308 while the second case ( longitudinal polarization ) can occur only when @xmath309 , independently of the value of @xmath310 .
these relations are represented in the figure by the thick solid lines .
the curve corresponding to transversal polarization presents a vertical asymptote for @xmath311 , whereas that for longitudinal polarization is obviously just a vertical straight line at @xmath312 .
according to the standard theory no propagation is possible in the frequency interval between @xmath313 and @xmath314 .
a further dispersion curve for transversal polarization is present for @xmath315 , according to both the approximated and the exact theory , but its onset in the figure is practically indistinguishable from the frequency axis .
note that , for the particular numerical values that we have considered , one has @xmath316 and @xmath317 , so that @xmath318 , @xmath319 and @xmath320 .        as one could expect
, one can notice that the predictions of our exact theory depart in a significant way from those of the approximated one as soon as @xmath321 becomes of order of magnitude comparable to unity .
this situation of course corresponds to the fact that the lattice parameter is no longer negligible with respect to the wavelength .
a new feature which is revealed by the exact theory is the appearance , even for a perfect cubic lattice , of an anisotropic behavior , consisting in a remarkable dependence of the dispersion relation on the direction of propagation and polarization of the plane waves .
the two thin solid curves at the opposite sides of the figure , which both refer to the direction of propagation @xmath322 $ ] , correspond to transversal ( the lower frequency one ) and longitudinal polarization respectively .
if one considers the dependence of @xmath323 as a function of @xmath310 which is described by the former curve , one can see that the frequency reaches a maximum  which corresponds to a zero of the group velocity @xmath324  and then slowly decreases over a wide region of the @xmath310 axis extending until the edge of the brillouin zone .
this means that there exists a relatively small interval of the frequency axis with the property that , for each @xmath55 belonging to this interval , there are two transversal modes with direction of propagation along a crystal axis and different values of the wavelength .
a similar phenomenon occurs also for the lowest - frequency branch of the dashed curve , which corresponds to a wave again polarized along a crystal axis , but propagating along the @xmath325 $ ] direction .
a completely different dispersion relation is shown instead by a wave propagating in the same direction , but transversely polarized along the @xmath326 $ ] direction .
this is illustrated by the intermediate branch of the dashed line .
for this curve the frequency monotonically increases with @xmath310 over the entire brillouin zone , but with a slope  and therefore a group velocity of the associated waves  which drops to a relatively small value when @xmath323 approaches and then exceeds @xmath313 . at the edge of the brillouin zone
this branch joins continuously , at a point with vertical tangent , the third branch of the same curve , which corresponds to longitudinal polarization .
this branch extends up to @xmath314 , where a new transversal branch begins .
it follows that , at distinction with the modes propagating along the @xmath322 $ ] direction , there is no forbidden frequency zone for waves propagating along the @xmath325 $ ] direction . of course , no hint about the existence of such a phenomenon could have been derived from the standard theory . a very similar behavior is shown by the dash - dot curve , corresponding to waves propagating along the @xmath327 $ ] direction . here again the branch with transversal and that with longitudinal polarization join continuously at the edge of the brillouin zone .
note that , whereas a wave propagating along the @xmath325 $ ] direction can be transversely polarized along two directions ( the @xmath328 $ ] and @xmath326 $ ] ) with distinct symmetry properties and so also with different dispersion relations , the two possible transversal polarizations are degenerate for waves propagating along either the @xmath322 $ ] or @xmath327 $ ] directions .
for all the curves displayed in fig .  1 , the polarization vector @xmath54 is either parallel or orthogonal to the wavevector @xmath268 .
we would like to point out however that this fact is not a general property of the the solutions of eq .
( [ maineq ] ) , but is rather a consequence of the special symmetry of the particular directions of propagation that we have considered .
note also that the continuous links between the transversal and the longitudinal branches of the curves can be seen as an obvious consequence of the particular degeneracy of the matrix @xmath329 when @xmath330 and @xmath331 .
in this paper we have presented a new refined version of the classical dispersion theory of electromagnetic radiation in a crystalline solid , which has been completely described at a microscopic level as an infinite regular array of charged oscillators , without ever making use of the continuum approximation .
it has been shown that , when the wavelength is comparable with the lattice parameter , the predictions provided by our calculations differ in a remarkable way from those derived from the old standard approximated formulas . in particular , in the region near the proper frequency of the oscillators , which was believed to represent a forbidden gap for light propagation , the phenomenon of `` slow light '' ( i.e.  light propagation with small group velocity ) is found instead to take place along appropriate crystal directions .
the model we have studied is however interesting in itself also from a purely theoretical point of view , independently of its phenomenological implications .
it is in fact an exceptional case of a completely solvable model ( although in the dipole approximation ) in which the radiation reaction force acting on classical charged point particles is fully taken into account .
actually , it turns out that the inclusion of this force has fundamental implications on the qualitative properties of the solutions , allowing for the existence of undamped collective oscillations .
another interesting feature is that , although the model was formulated in terms of the usual maxwell  lorentz electrodynamics with lorentz
dirac selfinteraction , it is also compatible with the action - at - a - distance electrodynamics which was proposed by wheeler and feynman in 1945 @xcite .
in fact , when the wheeler
feynman identity is verified , the two theories lead to the same equations of motion for the charged particles .
of course the investigations that we have presented here can be developed and extended in several directions .
one of these , which appears to be particularly significant also from a phenomenological point of view , is the study of the behavior of a semi - infinite lattice occupying only one half of the full three - dimensional space .
this investigation should clarify the relationship between the normal modes of the crystal  which we have described in the present work  and the observable electromagnetic radiation propagating in the free half - space , i.e.  the phenomena of refraction and reflection at the surface of the crystal . in this way it is to be expected that classical fundamental results , such as the ewald  oseen extinction theorem @xcite , will be justified on the basis of the detailed microscopic dynamics of the complete system .
let us introduce the operator @xmath332 , which acts on the generic function @xmath179 by operating the convolution with a gaussian of width @xmath333 : @xmath334 ( { \bf p})=\int d^{3}{\bf k}\frac{\exp ( -|{\bf p}-{\bf k}|^{2}/4\tau ) } { 8(\pi \tau ) ^{3/2}}f({\bf k})\,.\ ] ] according to eq .
( [ gauss ] ) , if @xmath181 is continuous in @xmath335 , then @xmath336 ( { \bf p})=f({\bf p})$ ] .
furthermore we have for any @xmath181 @xmath337 ( { \bf x})= e^{-\tau { \bf x}^{2 } } [ \hat{f } f ] ( { \bf x})\,.\ ] ]    the function @xmath338 , defined by eq .
( [ b0def ] ) , is continuous for @xmath339  and we have @xmath340 ( { \bf 0},\eta ) = \int d^{3 } { \bf k}\frac{\exp ( -{\bf k}^{2}/4\tau ) } { 8(\pi \tau ) ^{3/2}}b_{ij}^{(0 ) } ( { \bf k},\eta ) = 0\,.\ ] ] therefore , applying eq .
( [ fourier ] ) to the function @xmath341 , we can write @xmath342 ( { \bf h}_{{\bf m}},\eta ) \nonumber \\ & = & \lim_{\tau \rightarrow 0^{+}}\sum_{{\bf n } } [ \hat{f } \hat{c}_{\tau } b_{ij}^{(0 ) } ] ( 2\pi { \bf y}_{{\bf n}},\eta )   \nonumber \\ & = & \lim_{\tau \rightarrow 0^{+}}\sum_{{\bf n}}e^{-\tau { \bf y}_{{\bf n}}^{2 } } [ \hat{f } b_{ij}^{(0 ) } ] ( 2\pi { \bf y}_{{\bf n}},\eta ) \ ,
. \label{app_a1}\end{aligned}\ ] ] using the formula @xmath343 with standard arguments it is easy to show that @xmath344 ( { \bf x},\eta ) \rightarrow -\frac{3}{4\pi x^{5}}p_{ij}^{(2)}({\bf x})+o(\eta ^{\infty } ) \ ] ] for @xmath185 , @xmath345 , while according to eq .
( [ b0 ] ) @xmath346 ( { \bf 0},\eta ) = \int d^{3}{\bf k}\,b_{ij}^{(0)}({\bf k},\eta ) = 0\,.\ ] ] therefore from eq .
( [ app_a1 ] ) one deduces immediately eqs .
( [ beta0 ] ) and ( [ beta0x ] ) . in a very similar way , by the same argument we used to deduce eq .
( [ bijhl ] ) we have @xmath347 ( { \bf 0},\eta ) & = & 0 \\ \small[\hat{f } b_{ijhl}^{(0)}\small ] ( { \bf 0},\eta ) & = & 0\,,\end{aligned}\ ] ] whereas one can show that @xmath348 ( { \bf x},\eta ) & \rightarrow & \frac{15}{8\pi x^{7}}p_{ijhl}^{(4)}({\bf x})\left ( 1 - 14 \frac{\eta } { x^{2}}\right ) \\ & & + o(\eta ^{\infty } ) \end{aligned}\ ] ] for @xmath185 , @xmath345 .
applying again eq .
( [ fourier ] ) we then have @xmath349 ( { \bf h}_{{\bf m}},\eta ) \nonumber \\ & = & \lim_{\tau \rightarrow 0^{+}}\sum_{{\bf n}}[\hat{f } \hat{c}_{\tau } b_{ijhl}^{(0 ) } ] ( 2\pi { \bf y}_{{\bf n}},\eta )   \nonumber \\ & = & \lim_{\tau \rightarrow 0^{+}}\sum_{{\bf n}}e^{-\tau { \bf y}_{{\bf n}}^{2 } } [ \hat{f } b_{ijhl}^{(0 ) } ] ( 2\pi { \bf y}_{{\bf n}},\eta ) \nonumber \\ & = & \gamma _ { ijhl}^{(0)}-\gamma _ { ijhl}^{(-2)}\eta + o(\eta ^{\infty } ) \,,\end{aligned}\ ] ] with @xmath252  and @xmath350  given by eqs .
( [ g0ijhl ] ) and ( [ gm2ijhl ] ) respectively .
hence , by integrating with respect to @xmath116 , eq .
( [ gamma2 ] ) is finally obtained .
we have @xmath352 \bigg\ } . \label{cbar}\end{aligned}\ ] ] let us put @xmath353 .
since @xmath152 is a second - rank tensor , from invariance considerations it is readily found that we must have @xmath354 with @xmath355 after performing a rotation on the integration space @xmath159 , in such a way that the unit vector @xmath356  of the third coordinate axis is directed along the vector @xmath268 , we obtain @xmath357 where @xmath358 for @xmath359 , where we have used the relation @xmath360 we have also for @xmath361 , @xmath362@xmath363 whence @xmath364 in a similar way we obtain @xmath365 so that @xmath366 from eqs .
( [ aqf]-[i2 ] ) we get @xmath367 then by substituting these expressions into eqs .
( [ celle ] ) and ( [ cbar ] ) we finally obtain eq .
( [ ibar ] ) .


over the last fifteen years there has been consistent theoretical interest in possible small deviations from the exact local lorentz invariance ( li ) of general relativity as well as a flourishing of observational tests .
the theoretical interest is driven primarily by ideas in the quantum gravity ( qg ) community that lorentz invariance may not be an exact local symmetry of the vacuum .
the possibility of outright lorentz symmetry violation ( lv ) or a different realization of the symmetry than in special relativity has arisen in string theory  @xcite , loop qg  @xcite , non - commutative geometry  @xcite , space - time foam  @xcite , some brane - world backgrounds  @xcite , and condensed matter analogues of `` emergent gravity ''  @xcite . as well , allowing the fundamental theory of gravity to be non - relativistic in the ultraviolet can make gravity renormalizable while avoiding some of the other pathologies that plague renormalizable gravitational actions with higher derivative terms  @xcite .
constructing useful tests for the various active models and ideas is therefore vital .
since there are so many theoretical models around , a good approach is to work within a calculable framework where all possible lv terms are parameterized .
each theory then picks out a certain combination of terms which can be constrained . in this vein ,
a standard method is to simply analyze a lagrangian containing the standard model fields and all lv operators of interest that can be constructed by coupling the standard model fields to new lv tensor fields that have non - zero vacuum expectation values .
all renormalizable lv operators that can be added to the standard model in this way are known as the standard model extension ( sme )  @xcite .
these operators all have mass dimension three or four and can be further classified by their behavior under cpt .
higher mass dimension operators can be systematically explored as well , which is useful in case the naive eft hierarchy breaks down due to other new physics ( e.g.  susy ) or quantum gravity introducing a custodial mechanism for the renormalizable operators in the infrared .
the cpt odd dimension five kinetic terms for qed coupled to a non - zero vector field were written down in  @xcite while the full set of dimension five operators with a vector were analyzed in  @xcite . the dimension five and six cpt even kinetic terms for qed for particles coupled to a non - zero background vector , which we are primarily interested in here ,
were partially analyzed in  @xcite .
the full set of dimension five and six operators for qed has recently been introduced in  @xcite .
it is notable that susy forbids renormalizable operators for matter coupled to non - zero vectors  @xcite but permits certain nonrenormalizable operators at mass dimension five and six .
many of the parameterized lv operators have been very tightly constrained via direct observations ( see  @xcite for reviews ) .
in particular , the dimension five and six cpt even operators for lv with a vector field have been recently directly energies .
susy , however , is an example of new relevant physics that can change this . ] constrained in the hadronic sector by exploiting ultra - high energy cosmic - ray observations @xcite performed by the pierre auger observatory ( pao ) .
indeed , the construction and successful operation of this instrument has brought uhecrs to the interest of a wide community of scientists and it is expected to allow , in the near future , the assessment of several problems of uhecr physics and also to test fundamental physics ( in particular lorentz invariance in the qed sector ) with unprecedented precision @xcite .
the uhecr constraints @xcite rely on the behavior of particle reaction thresholds with lv , which are one of the best methods in the eft approach to constrain nonrenormalizable lv operators .
many lv operators give modified dispersion relations for free particles , where the energy as a function of momentum deviates slightly from the special relativistic form . for threshold reactions
what matters is not the size of the lv correction to the energy compared to the absolute energy of the particle , but instead the size of the lv correction to the mass of the particles in the reaction . hence the lv terms usually become important when their size becomes comparable to the mass of the heaviest particle . if the lv term scales with energy as @xmath7 , then this critical energy is @xmath8 @xcite . according to this reasoning
, the larger the particle mass the higher is the energy at which threshold lv effects come into play .
this is why @xmath9 electrons and positrons , but not protons , can be used to constrain @xmath10 lv @xcite , and why uhe protons are needed to obtain constraints on hadronic lv with @xmath11 scaling ( which corresponds to cpt even mass dimension five and six operators ) .
from this point of view , neutrinos , with their tiny mass of order @xmath12 @xcite , are in principle the most suited particles to provide strong constraints on lv , at least for reactions involving _ only _ neutrinos . one such reaction is that of neutrino oscillation .
indeed , for a decade neutrino oscillations have proven to be excellent tests of the sme and other lv models  @xcite as when the lv corrections are near the neutrino mass , the oscillation pattern can change as a function of energy , direction and mass .
icecube may even be able to probe dimension six operators with time of flight techniques with tev neutrinos from distant gamma ray bursts  @xcite .
uhecr experiments have also the capability of placing constraints on sme parameters by exploiting neutrino oscillations @xcite .
one can construct complementary and in some measures even more sensitive neutrino tests of higher dimension operators by leveraging observables which deviate more strongly from their special relativistic values as the neutrino travel distance increases .
one such observable is found to be related to uhe neutrino spectrum observations .    despite the threshold being low for lv effects to kick in , neutrinos with ultra - high energy
are necessary to achieve a signal , as they interact so weakly that the phase space for a lv reaction must be huge to generate an appreciable rate .
this requirement implies that , since the lv terms and hence the phase space grow with energy , very large energies are needed .
indeed , for renormalizable operators , where the phase space does not grow quickly enough , reactions of the type we consider here never achieve the necessary rate given current bounds on their coefficients , even for uhe neutrinos over cosmological distances  @xcite . however , for the cpt even non - renormalizable operators the situation is different , and we find that for energies of order @xmath4 there can be a significant modification of the spectrum .
next generation neutrino detectors such as anita @xcite and supereuso @xcite are sensitive to neutrinos of energies @xmath13 .
further experiments , like the planned arianna @xcite and iceray @xcite , will cover the range @xmath14 .
in the present work we study how limits on the absolute scale of non - renormalizable cpt even lv neutrino parameters can be obtained from uhe neutrino observations .
in particular we will determine the energy scale where the neutrino spectrum might begin to deviate as a function of the size of the lv coefficients .
with three neutrino species as well as assorted light leptons possibly involved , the spectrum as a function of various lv parameters can only be computed by a detailed parameterized numerical search . at this stage , where lv in this sector is only speculative
, we feel that such a search is unwarranted .
however , we will show the `` best case '' scenario for a lv neutrino signal with dimension six operators as well as a scenario where a signal in the uhe spectrum is much more subtle even though lv is still relatively strong .
this paper is structured as follows . in section  [ sec : theo ]
we describe the theoretical lv framework in which we will derive the lv effects on the uhe neutrino spectrum . in sections  [ sec :
nulv ] and [ sec : nusplitting ] we will give general information on the standard understanding of uhe neutrino generation by uhecrs , and we will present and detail the main lv reactions possibly affecting their spectrum . section  [ sec : bestcase ] is devoted to present results in our test cases . in section [ sec :
otherprocesses ] we discuss the possible role of other processes than neutrino splitting . in section  [ sec : conclusions ] we will report our final remarks and conclusions .
in order to study the phenomenological consequences of lv induced by qg , the existence of a dynamical framework in which to compute reaction thresholds and rates is essential .
we assume that the low energy effects of lv can be parameterized in terms of a local eft . furthermore , for simplicity
we assume that only boost invariance is broken , while rotations are preserved ( see @xcite for further comments on rotation breaking in this context ) .
therefore we introduce lv by coupling standard model fields to a non - zero vector .
more complicated forms could of course be chosen , however this would introduce significant direction dependence . with low statistics already for neutrino observatories , disentangling direction dependence
would be a difficult task .
we focus on the cpt even mass dimension five and six operators involving a vector field @xmath15 ( which we assume to describe the preferred reference frame in which the cmb is seen as isotropic ) coupled to a dirac neutrino @xmath16 in a mass eigenstate with mass @xmath17 that are quadratic in matter fields and hence modify the free field equations . neglecting the left - handed helicity of neutrinos for a moment , the lagrangian for a generic fermion is the usual dirac term plus @xcite @xmath18 } \psi~,\end{aligned}\ ] ] where @xmath19 is a timelike unit vector describing the preferred frame , @xmath20 and @xmath21 are the usual right and left projection operators , @xmath22 , and @xmath23 is the gauge covariant derivative .
the @xmath24 coefficients are dimensionless .    for fermions , at @xmath25
the helicity eigenstates are almost chiral , with mixing due to the particle mass and the dimension five operators .
since we will be interested in high energy states , we re - label the @xmath24 coefficients by helicity , i.e.  @xmath26 .
the resulting high energy dispersion relation for positive and negative helicity particles can easily be seen from ( [ eq : actionfermion ] ) to involve only the appropriate @xmath27 or @xmath28 terms . for compactness
, we denote the helicity based dispersion by @xmath29 . therefore at high energies we have the dispersion relation @xmath30 where @xmath31 and @xmath32 .
we have dropped the @xmath33 terms as the @xmath34 operator present in these terms makes the correction to the equations of motion proportional to @xmath35 and hence tiny .
the dimension five fermion operators induce two corrections , one proportional to @xmath36 and one corresponding to a change in the limiting speed of the fermion away from @xmath37 .
the second effect , generated by @xmath38 is naturally of order @xmath39 due to the mass suppression for neutrinos and hence can also be disregarded .
furthermore , we can drop the positive helicity coefficients , as the dominant signal will be from left - handed neutrinos produced by standard model couplings . finally , since cpt is conserved , and neutrinos and antineutrinos exist only in opposite states of helicity , @xmath40 .
all these lovely properties of neutrinos mean we have just one lv coefficient , while in other cases @xcite further assumptions , such as parity preservation , are needed to reduce the number of free parameters .
the final dispersion relation we assume in this work for each mass eigenstate neutrinos and antineutrinos is @xmath41 where @xmath42 denotes the mass eigenstate of the neutrino .
there is no reason why each mass eigenstate needs have the same coefficient , and indeed whether or not they do makes a dramatic difference in the observed spectrum .
in particular , we will study two cases : in the `` flavor blind '' case all the @xmath43 have roughly the same magnitude , which translates in all the lv effects being essentially independent of flavor ; in the `` flavor dependent '' case the @xmath43 are instead different for different mass states , which makes the lv effects depend upon flavor states . among the `` flavor blind '' cases we can find a `` best case '' scenario , in which the effects of lv are maximal , as well as a `` worst case '' scenario , in which lv is present but is ineffective in the context of uhe neutrinos we are discussing now .
a fairly accurate general estimate of the minimum energy in which lv corrections in equation ( [ eq : finaldisp ] ) is relevant is obtained , as stated previously , by comparing the largest mass of the particles entering in the lv reaction with the magnitude of the lv correction in these equations  @xcite . in our case , assuming @xmath44 , the typical energy at which lv contributions start to be relevant is of order @xmath45 , assuming @xmath46 .
this energy of 10 tev allows observatories such as icecube to possibly constrain these operators in the future using neutrino oscillations .
we instead focus on changes to the uhe neutrino spectrum induced by these operators .
if we neglect exotic sources of uhe neutrinos ( as suggested in many top - down models for the production of uhecrs , now disfavored by the current experimental photon limits ) , the `` cosmogenic '' neutrino flux is created @xcite via the decay of charged pions produced by the interaction of primary nucleons with cmb photons above @xmath47 , the greisen - zatsepin - kuzmin ( gzk ) effect @xcite .
hires @xcite and auger @xcite spectral observations seem to confirm the presence of a gzk suppression in the uhecr spectrum . although the suppression of the uhecr spectrum could be also due to the maximal accelerating power of uhecr sources , the fact that it occurs at just the right energy for being gzk taking place during propagation , and the results @xcite on the correlation of the uhecr arrival directions with the large scale distribution of matter within @xmath48 , seem to favor the gzk explanation . motivated by these considerations
, we make here the hypothesis that the gzk reaction is at work during uhecr propagation .
we have checked numerically that the process of pion decay is not strongly affected by the above lv if only neutrinos are lv .
one might ask in general if lv effects in the hadronic sector , which we have so far neglected , can matter in the production of uhe neutrinos . we can neglect the hadronic sector because of the tight constraints already placed on such lv operators @xcite , which are stronger than what will be considered here .
violation of lorentz invariance however introduces new phenomena in the propagation of uhe neutrinos .
a partial list of these effects includes :    modified @xmath49 oscillations : :    since the lv is parameterized in the mass eigenstate , the lv terms act    as contributions to an effective mass and contribute to neutrino    oscillations .
cosmogenic neutrinos are not the right phenomena with    which to study modified oscillations as they have oscillated many    times during their flight from an unknown source , making it extremely    hard to derive oscillation constraints .
icecube and other neutrino    observatories may be sensitive to these operators for atmospheric    neutrinos .
@xmath49-erenkov : :    erenkov radiation in vacuum via charge - radius coupling or gravity :    @xmath50 .
this possibility has been    already investigated for renormalizable operators  @xcite .
the    rate is too small for both renormalizable operators ( at current    limits ) or non - renormalizable operators , even for cosmogenic    neutrinos .
it also involves additional lv coefficients for photon    emission and perhaps new modes for graviton emission  @xcite , thereby    complicating the analysis and , at best , yielding less definitive    limits .
@xmath49-splitting : :    : @xmath51 .
this effect is    what we focus on in the following , as it exclusively involves the    neutrino sector and has a high enough rate to be seen at uh energies . @xmath49-pair
emission : :    : @xmath52 .
here , @xmath53 represents some other fermion    species besides neutrinos .
electrons are the only fermion species    light enough to have an effect compared to @xmath49-splitting    at uh energies .
we initially will ignore this reaction , but we will    consider the possible effects of electron pair and hadronic emission    in section  [ sec : otherprocesses ] .
to understand how a neutrino can split into three , it suffices to calculate the threshold energy for this reaction to occur , which in a lorentz invariant scenario would be infinite .
let us compute the threshold for the decay @xmath54 , where @xmath55 , @xmath56 are neutrinos of mass @xmath57,@xmath58 and @xmath59 are the momenta . in the threshold configuration the momenta of the outgoing particles
are all aligned and parallel to the direction of the incoming neutrino momentum @xcite , hence we choose all momenta to be in the @xmath60-direction .
let @xmath61,@xmath62 and @xmath63 be the fraction of initial momentum carried respectively by the outgoing @xmath55 , by @xmath56 , and by @xmath64 , @xmath65 and @xmath66 . for a general dispersion relation with lv term @xmath67 the threshold equation ( the energy conservation equation imposing momentum conservation ) can then be written as @xmath68 = m_{\nu_a}^{2}\frac{1-x}{x } + m_{\nu_b}^{2}\left(\frac{1}{y } + \frac{1}{t}\right)~.   \label{eq : genthres}\ ] ]    when li is exact , the left hand side vanishes and there is no solution .
with lv , in the simple case where @xmath11 and @xmath69 , we obtain the equation @xmath70    the minimum of the right - hand side in the equation above is 9 and is attained at @xmath71 , hence the threshold energy is given by @xmath72    note that @xmath73 must be positive in order for there to be splitting , i.e.  we must deal with superluminal neutrinos . if @xmath74 then the threshold energy must be solved for numerically as the lv parameter and mass are generically different .
however , the existence of a finite threshold can still be shown for appropriate values of @xmath73 and @xmath75 . in the latter case
, the coefficients do not need to be all positive for there to be a threshold , however it is necessary that @xmath76 , where @xmath77 is a positive number that depends on the incoming momentum .
thresholds for negative coefficients have been investigated previously  @xcite and there are strong limits on the lv coefficients . ) neutrino splitting is forbidden for superluminal neutrinos in the case @xmath78 studied e.g.  in @xcite . although the model presented in @xcite does not have an eft description , a simple threshold computation under the assumption of energy - momentum conservation and equal values of masses and lv parameters for neutrinos and antineutrinos shows that if neutrino splitting is possible also in that framework , values @xmath79 can be probed by @xmath80 neutrinos .
] however , for uhe neutrinos it is more difficult to extract constraints , as we shall discuss in section  [ sec : notsogood ] .
neutrinos created in a flavor eigenstate are , of course , a combination of mass eigenstates . in order to maximize the neutrino splitting signal one would want _ all _ mass eigenstates to split ( `` flavor blind '' scenario ) .
the best case scenario is therefore when @xmath81 for each @xmath42 and each @xmath43 is of the same order of magnitude ( so all states begin to decay at the same energy ) . as our best case scenario
then we take @xmath43 equal and positive for all @xmath42 .
let us now consider , within the above  flavor blind scenario " , energies well above threshold so that neutrinos do effectively split , and the best case combination of the @xmath43 .
the splitting rate can be calculated from the neutrino width @xmath82 where the sum runs over the open splitting channels and @xmath83 represents the partial width for the channel @xmath84 .
@xmath83 is simply @xmath85 where @xmath86 represents the phase space of the final states and @xmath87 the matrix element for the process .
the dominant channel for neutrino splitting is via the tree level neutral current interaction .
the matrix element for this interaction is @xmath88 where @xmath89 is the charged current electro - weak coupling constant , @xmath90 is the usual spin projector , @xmath91 is the weinberg angle and @xmath92 represent the 4-momentum components of the @xmath93 boson .
@xmath94 and @xmath95 are the spinors associated with @xmath55 and @xmath56 , their functional form can be found in  @xcite .
@xmath96 is at most the order of @xmath97 and hence for any incoming momenta @xmath98 @xmath99 . after some brute force algebra
, we end with @xmath100 where @xmath101 is the angle between incoming and outgoing @xmath55 and @xmath102 is a complicated function of @xmath101 .
the phase space , @xmath103 is given by @xmath104    we integrate over @xmath105 and we are left with @xmath106    substituting @xmath107 and @xmath103 back into ( [ eq : partialwidth ] ) we have @xmath108    we now turn to estimating the size of the remaining integral well above threshold , as uhe neutrinos are far in excess of the neutrino splitting threshold around 20 tev .
temporarily , we will set @xmath109 and re - insert it at the end .
we first assume that the opening angle for all three neutrinos is roughly equal , as is true over most of phase space . in this case
, @xmath102 can be approximated as @xmath110 .
the opening angle @xmath101 vanishes as @xmath111 , and is small even for uhe neutrinos .
@xmath102 then reduces to @xmath112 .
indeed , @xmath101 is given by the typical transverse momenta @xmath113 divided by the longitudinal momenta @xmath114 .
the characteristic size of @xmath113 can be estimated by energy conservation , recognizing that when energy is conserved any `` excess '' energy from lv goes into the energy needed to create transverse momenta .
formally this implies that @xmath115 i.e. @xmath116 . @xmath114 itself for any particle can range from almost 0 to almost the initial energy @xmath117 well above threshold .
the available phase space volume for the remaining outgoing particles can therefore be approximated ( although somewhat overestimated ) as a cylinder with length @xmath117 and radius @xmath118 , which has a total volume of @xmath119 .
similarly , @xmath101 can be estimated as @xmath120 .
the @xmath121-function in energy simply removes one factor of energy from our equation . putting these expressions back into ( [ eq : partialwidth2 ] ) we find @xmath122 or , simplified @xmath123 where we used @xmath124 .
if we now want to restore the @xmath125 factor , we notice that we must put one @xmath125 for each @xmath126 . in the end , the total rate is computed by adding the partial rates for each neutrino flavor , which is equivalent to multiply by 3 .
hence , we have @xmath127 this width can be turned into a decay length as @xmath128    this makes clear we need to push the required energies above @xmath129 ( with @xmath130 ) for the rate to be appreciable . as a final remark , we notice that the decay length in eq .
( [ eq : nudeclength ] ) strongly depends on both the energy and @xmath1
. therefore , the error about its actual magnitude we might have made in our estimate will reflect in very small errors in the determination of the energy at which lv effects start to be relevant as well as of the constraint on @xmath1 .      at such high energies
the z could be real - i.e.  there is a resonance in the matrix element . even in this regime , however , the neutrino decay time can be computed easily , as the only hypothesis one has to relax is that the z 4-momentum @xmath131 satisfies @xmath99 .
the magnitude of @xmath96 can be easily computed exploiting the kinematic equations .
we obtain @xmath132 .
the final decay length is then @xmath133~.   \label{eq : clength}\ ] ]    a comparison between the two different decay lengths , eq .
( [ eq : nudeclength ] ) and eq .
( [ eq : clength ] ) , can be found in fig .
[ fig : declength ] .
the z resonance is hit at @xmath134 .    )
/red dashed line ) , and with ( eq .  ( [ eq : clength])/black solid line ) the z boson resonance . ]    we notice that even though the two computations lead to very different results above the resonance , they will not lead to any appreciable effect in the neutrino spectra , as at such energies the decay lengths are anyway much smaller than the propagation distance of cosmological neutrinos .      in the flavor blind case above every mass eigenstate undergoes splitting .
it is easy to construct a scenario where only one mass eigenstate decays - one eigenstate has a positive @xmath135 lv coefficient while the other two have no lv .
while this is unnatural in some sense , it serves as a nice example to illuminate a method to easily hide lv .
the neutrino spectrum produced by the gzk process has a distinct distribution in flavor states of 1/3 @xmath136 and 2/3 @xmath137 .
therefore , in order to calculate a spectrum with lv we need to convert this flavor spectrum into a mass spectrum , i.e. we need to choose a neutrino mixing model . for our purposes
we choose tribimaximal mixing  @xcite , which satisfies current experimental constraints and provides a simple mixing matrix .
with tribimaximal mixing the gzk neutrino spectrum has equal distribution over all mass eigenstates .
now that we have spelled out out test models we shall proceed discussing the results for both scenarios .
the net effect of neutrino splitting is very simple .
it kills one neutrino of energy @xmath138 and creates 3 neutrinos of average energy @xmath139 , provided the parent neutrino is above threshold and has a reasonable life time . as we showed in sec .
[ sec : computation ] , for a life time shorter than the age of the universe , the neutrino energy has to be above @xmath129 , i.e.  we need to probe uhe neutrinos .
the effects of neutrino splitting on the uhe neutrino spectrum are twofold and can be understood qualitatively as follows .
flux suppression at uh energies : :    the splitting is effectively an energy loss process for uhe neutrinos .
if the rate is sufficiently high , the energy loss length can be below    1 mpc .
let us call @xmath140 the energy at which    this happens . then , being gzk neutrinos produced mainly at distances    larger than 1 mpc , we do not expect any neutrino to be detected at    earth with @xmath141
.    +    the mere observation of neutrinos up to a certain energy    @xmath142 would imply a constraint , according to    eq .
[ eq : nudeclength ] @xmath143 flux enhancement at sub - uh energies : :    neutrinos lose energy by producing lower energy neutrinos .
eventually    these neutrinos will become stable , either because their energy is    below threshold , or because their lifetime is larger than their    propagation time .
accordingly , we expect an enhancement of the    neutrino flux at energies below    @xmath144 .    in spite of being qualitatively straightforward ,
however , this analysis is not powerful enough to provide us with constraints on lv . in order to obtain meaningful constraints
, we have to resort to full montecarlo simulations of the uhecr propagation from sources to the earth .
we simulated then the propagation of uhecr protons in the inter galactic medium using the monte carlo package crpropa  @xcite , suitably modified to take into account lv in the neutrino sector .
the simulation parameters are the following : we simulated unidimensional uhecr proton propagation , with source energy spectrum @xmath145 , from a spatially uniform distribution of sources located at redshift @xmath146 according to the waxman & bahcall ( wb ) distribution used in @xcite .
the injection proton spectrum was tuned to fit auger data @xcite .
figure  [ fig : spectra_eta ] shows the outcome of the simulations for different values of the lv parameter @xmath125 in the best case scenario , together with experimental sensitivities from some existing and planned observatories , as well as the waxman & bahcall bound @xcite for reference .-
rays , in the hypothesis that the sources are optically thin to the escape of uhe particles and that both @xmath147-rays and neutrinos are originated from uhecr interactions with radiation backgrounds .
it is worth mentioning that this bound might be strongly affected by qg effects , as shown in @xcite . ]
results are in agreement with qualitative expectations previously discussed : above a certain energy the neutrino spectrum displays a sharp cut off , while at lower energy a peak appears .
the peak position and strength , as well as the position of the cut off , depend on the value of the lv parameter @xmath125 . if @xmath130 the peak is found at @xmath148 and overwhelms the li spectrum by a factor of roughly 10 , while the cut off energy is at @xmath149 .
also the evolution of the neutrino spectra with @xmath125 can be seen in the same fig .
[ fig : spectra_eta ] .
although at present it is not possible to draw firm conclusions for the constraints on lv in the neutrino sector , we notice that future experiments , if not already auger , will be able to probe the fluxes we predict , hence they will be able to cast constraints on @xmath125 . in the future , the arianna experiment @xcite will be able to probe fluxes down to @xmath150 in the energy range @xmath151 in the full configuration @xcite .
if such a sensitivity will be achieved , a constraint of order @xmath5 will be cast , according to fig .
[ fig : spectra_eta ] .
moreover , the iceray experiment @xcite planned at the south pole is expected to observe roughly 4 neutrino events per year of data taking for the wb model preferentially studied here , in the range @xmath152 @xcite .
hence , constraints of order @xmath153 are expected after few years of data taking by this experiment .
we finally notice here that by exploiting this strategy nothing can be said about the case @xmath154 .
if only one mass eigenstate decays , the energy momentum conservation equations , rates , and lifetimes all remain the same .
we therefore can apply our montecarlo spectrum for this scenario to just any one of the mass eigenstates ( given our assumption of tribimaximal mixing no neutrino mass eigenstate is preferred ) .
the only difference is that only 1/3 of the total flux undergoes neutrino splitting . the resulting spectrum is shown in fig .
[ fig : onemasssplits ] . note that even for @xmath155 the departure from the li spectrum is significantly reduced , as one would expect , with the magnitude of the deviation at the peak being lowered to a @xmath156 excess over the li flux .
hence , with present sensitivity , absence of a signal in the neutrino spectrum does not mean that lv is ruled out for neutrinos , even for @xmath2 positive coefficients .
we notice that the cutoff feature present in the flavor blind case has now effectively disappeared .
then , observations of a uhe neutrino flux up to some maximal energy do not allow to draw conclusions about lv in this case scenario .
we now return to the question of negative coefficients and neutrino splitting .
so far , in both our flavor blind and flavor dependent scenarios all the coefficients have been positive . as argued in section  [ sec : nusplitting ] , neutrinos can split even with negative coefficients when the relation @xmath76 holds .
however , one can immediately see that therefore at least one of the mass eigenstates is always stable if the coefficients are negative .
this implies that no equivalent of the  best case scenario " ( all the mass eigenstates decay ) is possible for negative @xmath43 and that , consequently , the deviation from the li spectrum will be suppressed by at least 1/3 .
therefore cosmogenic neutrinos are not effective probes of the @xmath157 region of parameter space .
predictions of cosmogenic neutrino spectra are known to be plagued by several uncertainties , as they depend strongly on the evolution of uhecr sources with redshift , which can not be directly probed with uhecrs due to the gzk attenuation effect . as a consequence , also
our predictions for the uhe neutrino flux in the presence of lv can be affected .
we check this by simulating different uhecr sources evolution models for the  best case scenario " . in fig .
[ fig : max ] we show the results for the model outlined in @xcite , which is expected to give the largest flux .    as a result , the presence and the strength of the bump feature are demonstrated to be weakly dependent on the underlying uhecr source distribution , with the choice of the source distribution affecting by a factor of 2 the height of the bump .
this was somewhat expected from our qualitative considerations : as long as uhecr sources are located at distances much larger than 1 mpc from earth , the magnitude of the bump depends only on how many neutrinos were originally produced at energy larger than the lv cutoff energy . on the other hand ,
the cutoff feature is definitely model independent , as long as the unknown maximal energy at which uhecrs are accelerated is enough to produce neutrinos at energy larger than @xmath158 .
as we mentioned in the previous sections , there are other processes , besides splitting , leading to neutrinos losing energy in the inter - galactic medium . in particular
, the hadronic decay modes of the z@xmath159 could lead to the production of uhe protons , thereby mimicking a `` z - burst '' effect @xcite .
although this model was conceived for other purposes than constraining lv , and has now lost most of its attraction due to experimental results on proton spectra above the gzk threshold , it is notable that the same mechanism could in principle help constrain lv in the neutrino sector . however , we can argue with a very simple argument that this is not the case .
let us consider the li neutrino flux , which corresponds in fig .
[ fig : spectra_eta ] to the @xmath160 case .
the minimal process leading to proton production in this context is @xmath161 , whose threshold energy , if @xmath130 , is at @xmath162 . processes involving more particles are naturally suppressed , however they represent the majority of the allowed channels and hence they might be relevant to our case . even if we do not know the energy spectrum of the produced protons , we know that their mean energy is roughly 1/80 times the energy of the parent neutrino @xcite .
we can then compute the maximal expected flux of uhecrs produced by this z - burst - like mechanism by converting all the neutrinos with energy @xmath163 above threshold into 2 protons of energy @xmath164 .
the result is shown in fig .
[ fig : zburst ] .
this mechanism would indeed contribute to the uhecr spectrum at @xmath165 , producing an excess no larger than 5% , which however is below the systematic uncertainties of uhecr experiments .
therefore , no constraints on lv can be implied using this technique .
electron / positron pair production would also contribute to the cutoff in the neutrino spectrum .
the threshold for pair production of electrons is at roughly @xmath166 ev . at energies near the existing neutrino splitting cutoff , @xmath167
ev we are well above threshold .
the mass of the electrons is therefore irrelevant in calculating the decay rate ( just as the neutrino mass was ) and hence the electron pair production process has nearly the same rate as the neutrino splitting process .
if neutrinos produce electron / positron pairs ( which after all depends on lv in the electron sector ) it can only increase the steepness of the cutoff .
it will not contribute to the excess neutrino flux at @xmath168 ev and hence one needs to probe energies one order of magnitude larger than @xmath169 to derive constraints exploiting the presence or the absence of a cutoff feature .
in this work we have investigated possible signals of higher dimension lv cpt even operators in the uhe neutrino spectrum , in particular the effect of the neutrino splitting on the uhe neutrino spectrum . this process provides a clean test as it does not involve other lv operators apart from the neutrinos ones .
in addition , since the dominant neutrino field is left - handed , there are no complications due to different lv for different chirality of fermion , as there are in the uhecr case , and one ends up with one lv coefficient for each neutrino mass eigenstate . in the flavor blind scenario , where every mass eigenstate undergoes splitting approximately at the same energy , there is both a precocious fall off of the neutrino flux at uhe as well as a significant excess in the uhe neutrino flux at energies as low as @xmath168 ev
. noticeably , this kind of energies are well within reach of current and future uhecr experiments and about order of magnitude below those so far used for lv tests with hadronic and electromagnetic uhecrs .
according to our study , existing or planned uhe neutrino experiments have the potential to probe lv in the neutrino sector for coefficients @xmath170 .
however , we have discovered a serious difficulty with deriving constraints in the absence of a positive lv signal event .
the distribution in mass eigenstates is roughly equal for uhe neutrinos in realistic mixing scenarios .
although it might seem somewhat unnatural that lv has different effects on different mass states of the same particle field , if this is the case then it is possible that lv can exist / be strong for one mass eigenstate yet be almost invisible for uhe neutrino detectors .
in particular , the observation of a neutrino flux up to some maximal energy does not imply a firm conclusion on lv , at least with present accuracy . however , let us note that if a neutrino is ever detected at energy @xmath163 , we can rule out a flavor blind @xmath171 according to eq .
( [ eq : constraint_naive ] ) . on the other hand
, the bump feature can lead to constraints on @xmath172 , as this bump should be observable in any such scenario of lv in the neutrino sector . in this case , to obtain a @xmath2 constraint on lv requires at least a 50% accuracy in the determination of the neutrino spectrum in the energy range @xmath173 , which can be achieved by future experiments .
we thank j.  kelley and b.  mcelrath for useful discussions .
this work was supported by the deutsche forschungsgemeinschaft through the collaborative research centre sfb 676 `` particles , strings and the early universe : the structure of matter and space - time '' .
lm acknowledges support from the state of hamburg , through the collaborative research program `` connecting particles with the cosmos '' within the framework of the landesexzellenzinitiative ( lexi ) .
999 v.  a.  kostelecky and s.  samuel , `` spontaneous breaking of lorentz symmetry in string theory , '' phys .
d * 39 * , 683 ( 1989 ) .
j.  r.  ellis , n.  e.  mavromatos and d.  v.  nanopoulos , phys .
b * 665 * , 412 ( 2008 ) [ arxiv:0804.3566 [ hep - th ] ] .
r.  gambini and j.  pullin , `` nonstandard optics from quantum spacetime , '' phys .
d * 59 * , 124021 ( 1999 ) . c.  rovelli and s.  speziale , phys .
d * 67 * , 064019 ( 2003 ) [ arxiv : gr - qc/0205108 ] .
j.  alfaro and g.  palma , phys .
d * 67 * ( 2003 ) 083003 [ arxiv : hep - th/0208193 ] .
s.  m.  carroll , j.  a.  harvey , v.  a.  kostelecky , c.  d.  lane and t.  okamoto , `` noncommutative field theory and lorentz violation , '' phys .
lett .  * 87 * , 141601 ( 2001 ) .
[ arxiv : hep - th/0105082 ] .
j.  lukierski , h.  ruegg and w.  j.  zakrzewski , annals phys .
* 243 * ( 1995 ) 90 [ arxiv : hep - th/9312153 ] .
g.  amelino - camelia and s.  majid , int .
j.  mod .
phys .   a * 15 * ( 2000 ) 4301 [ arxiv : hep - th/9907110 ] .
m.  chaichian , p.  p.  kulish , k.  nishijima and a.  tureanu , phys .
b * 604 * , 98 ( 2004 ) [ arxiv : hep - th/0408069 ] .
g.  amelino - camelia , j.  r.  ellis , n.  e.  mavromatos , d.  v.  nanopoulos and s.  sarkar , `` potential sensitivity of gamma - ray burster observations to wave dispersion in vacuo , '' nature * 393 * , 763 ( 1998 ) .
[ arxiv : astro - ph/9712103 ] . c.  p.  burgess , j.  cline ,
e.  filotas , j.  matias and g.  d.  moore , `` loop - generated bounds on changes to the graviton dispersion relation , '' jhep * 0203 * , 043 ( 2002 ) .
[ arxiv : hep - ph/0201082 ] . c.  barcelo , s.  liberati and m.  visser , _ `` analogue gravity , '' _ living rev .
* 8 * , 12 ( 2005 ) .
[ arxiv : gr - qc/0505065 ] .
horava , phys .
d * 79 * , 084008 ( 2009 ) [ arxiv:0901.3775 [ hep - th ] ] .
g.  amelino - camelia , arxiv:0806.0339 [ gr - qc ] .
g.  amelino - camelia , int .
j.  mod .
d * 11 * ( 2002 ) 35 [ arxiv : gr - qc/0012051 ] .
d.  colladay and v.  a.  kostelecky , phys .
d * 58 * , 116002 ( 1998 ) [ arxiv : hep - ph/9809521 ] .
r.  c.  myers and m.  pospelov , phys .  rev .
* 90 * ( 2003 ) 211601 [ arxiv : hep - ph/0301124 ] .
p.  a.  bolokhov and m.  pospelov , phys .
d * 77 * , 025022 ( 2008 ) [ arxiv : hep - ph/0703291 ] .
d.  mattingly , pos * qg - ph * , 026 ( 2007 ) . v.  a.  kostelecky and m.  mewes , phys .  rev .
d * 80 * ( 2009 ) 015020 [ arxiv:0905.0031 [ hep - ph ] ] .
s.  groot nibbelink and m.  pospelov , phys .
lett .   * 94 * , 081601 ( 2005 ) [ arxiv : hep - ph/0404271 ] .
d.  mattingly , living rev .
* 8 * , 5 ( 2005 ) [ arxiv : gr - qc/0502097 ] .
t.  jacobson , s.  liberati and d.  mattingly , annals phys .
* 321 * ( 2006 ) 150 [ arxiv : astro - ph/0505267 ] .
s.  liberati and l.  maccione , arxiv:0906.0681 [ astro-ph.he ] . to appear in annual review of nuclear and particle science .
j.  collins , a.  perez , d.  sudarsky , l.  urrutia and h.  vucetich , phys .
lett .   * 93 * , 191301 ( 2004 ) [ arxiv : gr - qc/0403053 ] .
l.  maccione , a.  m.  taylor , d.  m.  mattingly and s.  liberati , jcap * 0904 * ( 2009 ) 022 [ arxiv:0902.1756 [ astro-ph.he ] ] .
m.  galaverni and g.  sigl , phys .
, * 100 * , 021102 ( 2008 ) .
arxiv:0708.1737 [ astro - ph ] . l.  maccione and s.  liberati , jcap * 0808 * , 027 ( 2008 ) [ arxiv:0805.2548 [ astro - ph ] ] .
m.  galaverni and g.  sigl , phys .
d * 78 * ( 2008 ) 063003 [ arxiv:0807.1210 [ astro - ph ] ] .
t.  kifune , astrophys .
j.   * 518 * ( 1999 ) l21 [ arxiv : astro - ph/9904164 ] .
r.  aloisio , p.  blasi , p.  l.  ghia and a.  f.  grillo , phys .
d * 62 * ( 2000 ) 053010 [ arxiv : astro - ph/0001258 ] .
g.  amelino - camelia and t.  piran , phys .
d * 64 * ( 2001 ) 036005 [ arxiv : astro - ph/0008107 ] .
f.  w.  stecker and s.  t.  scully , astropart .
* 23 * ( 2005 ) 203 [ arxiv : astro - ph/0412495 ] .
l.  gonzalez - mestres , nucl .
suppl .   * 190 * , 191 ( 2009 ) [ arxiv:0902.0994 [ astro-ph.he ] ] .
s.  t.  scully and f.  w.  stecker , astropart .
phys .   * 31 * ( 2009 ) 220 [ arxiv:0811.2230 [ astro - ph ] ] . f.  w.  stecker and s.  t.  scully , new j.  phys .
* 11 * ( 2009 ) 085003 [ arxiv:0906.1735 [ astro-ph.he ] ] .
t.  jacobson , s.  liberati and d.  mattingly , phys .
d * 67 * ( 2003 ) 124011 [ arxiv : hep - ph/0209264 ] .
l.  maccione , s.  liberati , a.  celotti and j.  g.  kirk , jcap * 0710 * ( 2007 ) 013 [ arxiv:0707.2673 [ astro - ph ] ] .
amsler  w.  m. _ et al .
_  [ particle data group ] phys .
b * 667 * , 1 ( 2008 ) .
s.  r.  coleman and s.  l.  glashow , phys .
d * 59 * ( 1999 ) 116008 [ arxiv : hep - ph/9812418 ] .
m.  c.  gonzalez - garcia , f.  halzen and m.  maltoni , phys .
d * 71 * , 093010 ( 2005 ) [ arxiv : hep - ph/0502223 ]
. j.  s.  diaz , v.  a.  kostelecky and m.  mewes , phys .
d * 80 * , 076007 ( 2009 ) [ arxiv:0908.1401 [ hep - ph ] ] .
s.  yang and b.  q.  ma , arxiv:0910.0897 [ hep - ph ] .
m.  c.  gonzalez - garcia and f.  halzen , jcap * 0702 * ( 2007 ) 008 [ arxiv : hep - ph/0611359 ] .
a.  bhattacharya , s.  choubey , r.  gandhi and a.  watanabe , arxiv:0910.4396 [ hep - ph ] .
s.  r.  coleman and s.  l.  glashow , phys .
b * 405 * ( 1997 ) 249 [ arxiv : hep - ph/9703240 ] .
p.  gorham _ et al .
_ [ anita collaboration ] , arxiv:0812.2715 [ astro - ph ] .
a.  petrolini , arxiv:0909.5220 [ astro-ph.im ] .
a.  santangelo and a.  petrolini , arxiv:0909.5370 [ astro-ph.he ] . s.  w.  barwick , j.  phys .
* 60 * ( 2007 ) 276 [ arxiv : astro - ph/0610631 ] .
s.  w.  barwick , nucl .
instrum .
a * 602 * ( 2009 ) 279 .
p.  allison _ et al .
arxiv:0904.1309 [ astro-ph.he ] . v.  s.  beresinsky and g.  t.  zatsepin , phys .
b * 28 * ( 1969 ) 423 .
f.  w.  stecker , astrophys .
space sci .
* 20 * ( 1973 ) 47 .
r.  engel , d.  seckel and t.  stanev , phys .
d * 64 * ( 2001 ) 093010 [ arxiv : astro - ph/0101216 ] .
d.  v.  semikoz and g.  sigl , jcap * 0404 * ( 2004 ) 003 [ arxiv : hep - ph/0309328 ] .
k.  greisen , phys .
* 16 * ( 1966 ) 748 ; zatsepin , kuzmin , sov.phys.jetp 4 , 78 .
r.  abbasi _ et al . _ [ hires collaboration ] , arxiv : astro - ph/0703099 .
m.  roth [ pierre auger collaboration ] , arxiv:0706.2096 [ astro - ph ] .
j.  abraham _ et al . _
[ pierre auger collaboration ] , science * 318 * ( 2007 ) 938 [ arxiv:0711.2256 [ astro - ph ] ] .
t.  jacobson and d.  mattingly , phys .
d * 70 * ( 2004 ) 024003 [ arxiv : gr - qc/0402005 ] .
d.  mattingly , t.  jacobson and s.  liberati , phys .
d * 67 * ( 2003 ) 124012 [ arxiv : hep - ph/0211466 ] .
t.  j.  konopka and s.  a.  major , new j.  phys .   * 4 * , 57 ( 2002 ) [ arxiv : hep - ph/0201184 ] .
j.  m.  carmona and j.  l.  cortes , phys .
b * 494 * ( 2000 ) 75 [ arxiv : hep - ph/0007057 ] .
e.  armengaud , g.  sigl , t.  beau and f.  miniati , astropart .
* 28 * ( 2007 ) 463 [ arxiv : astro - ph/0603675 ] .
j.  n.  bahcall and e.  waxman , phys .
b * 556 * ( 2003 ) 1 [ arxiv : hep - ph/0206217 ] .
t.  p.  a.  collaboration , phys .
d * 79 * ( 2009 ) 102001 [ arxiv:0903.3385 [ astro-ph.he ] ] .
e.  waxman and j.  n.  bahcall , phys .
d * 59 * ( 1999 ) 023002 [ arxiv : hep - ph/9807282 ] .
j.  n.  bahcall and e.  waxman , phys .
d * 64 * ( 2001 ) 023002 [ arxiv : hep - ph/9902383 ] .
g.  amelino - camelia , m.  arzano , y.  j.  ng , t.  piran and h.  van dam , jcap * 0402 * ( 2004 ) 009 [ arxiv : hep - ph/0307027 ] .
d.  fargion , b.  mele and a.  salis , astrophys .
j.   * 517 * ( 1999 ) 725 [ arxiv : astro - ph/9710029 ] .
r.  aloisio , v.  berezinsky , p.  blasi , a.  gazizov , s.  grigorieva and b.  hnatyk , astropart .
* 27 * ( 2007 ) 76 [ arxiv : astro - ph/0608219 ] .
p.  f.  harrison , d.  h.  perkins and w.  g.  scott , phys .
b * 530 * ( 2002 ) 167 [ arxiv : hep - ph/0202074 ] .