the picture of strongly correlated localized or nearly - localized electrons is the base of a successful theoretical description of both high - temperature superconductivity and magnetism ( see , e.g. ,  @xcite and citations given there ) . in almost all cases the appertaining localized electron states
are represented by atomic orbitals that define , for instance , partially filled @xmath0- , @xmath1- , or @xmath2- bands .
another option would be to represent the localized electron states by best localized and symmetry - adapted wannier functions .
in contrast to atomic functions , wannier functions situated at _
adjacent _ atoms are _ orthogonal _ and , hence , electrons occupying ( temporarily ) adjacent localized states represented by wannier functions comply with the pauli principle .
in addition , wannier function form a _ complete _ set of basis functions within the considered narrow , partially filled band .
consequently , wannier functions contain _ all _ the physical information about this energy band .
wannier functions tend to be ignored by the theory of superconductivity and magnetism because we need a _ closed _ complex of energy bands [ definition  [ def:2 ] ] for the construction of _ best localized _ wannier functions .
such closed complexes , however , do not exist in the band structures of the metals where all the bands are connected to each other by band degeneracies .    fortunately , this problem can be solved in a natural way by constructing wannier functions with the reduced symmetry of a magnetic group or by constructing spin - dependent wannier functions as shall be details in the present paper . in both cases ,
interfering band degeneracies are sometimes removed in the band structure with the reduced symmetry .    against the background of the described characteristics of the wannier functions
, our following two observations should not be too surprising :    1 .
materials possessing a magnetic structure with the magnetic group @xmath3 also possess a closed , narrow and roughly half - filled complex of energy bands in their band structure whose bloch functions can be unitarily transformed into best localized wannier functions that are symmetry - adapted to the magnetic group @xmath3 .
these energy bands form a `` magnetic band '' , see definition  [ def:21 ] .
2 .   both normal and high - temperature superconductors ( and only superconductors ) possess a closed , narrow and roughly half - filled complex of energy bands in their band structure whose bloch spinors can be unitarily transformed into best localized _ spin - dependent _ wannier functions that are symmetry - adapted to the ( full ) space group @xmath4 of the material .
these energy bands form a `` superconducting band '' , see definition  [ def:22 ] .    the first observation ( i )
was made at the band structures of cr  @xcite , fe  @xcite , la@xmath5cuo@xmath6  @xcite , yba@xmath5cu@xmath7o@xmath8  @xcite , undoped lafeaso  @xcite , and bafe@xmath5as@xmath5  @xcite ; the second observation ( ii ) at the band structures of numerous elemental superconductors  @xcite and of the ( high - temperature ) superconductors la@xmath5cuo@xmath6  @xcite , yba@xmath5cu@xmath7o@xmath9  @xcite , mgb@xmath5  @xcite , and doped lafeaso  @xcite .
it is particularly important that partly filled superconducting bands can not be found in those elemental metals ( such as li , na , k , rb , cs , ca cu , ag , and au ) which do not become superconducting  @xcite .
an investigation into the band structures of the transition metals in terms of superconducting bands straightforwardly leads to the matthias rule  @xcite .
though these two observations are clear , their theoretical interpretation is initially difficult .
this is primarily due to the fact that the models of localized electrons developed so far , as , e.g. , the familiar hubbard model  @xcite , are tailored to _
atomic orbitals _ that represent the localized states during an electronic hopping motion . within modern theoretical concepts ,
the wannier functions often are nothing but a complete basis in the space spanned by the bloch functions .
thus , their symmetry is often believed to do not tell anything about the physics of strongly correlated electrons .    in the light of this background , we suggest to interpret the special symmetries of best localized wannier functions within the nonadiabatic heisenberg model  @xcite .
this model of strongly correlated localized electrons starts in a consistent way from symmetry - adapted and best localized _ wannier _ functions that represent the localized electron states related to the hopping motion and defines the hamiltonian @xmath10 of the related nonadiabatic system . on the basis of the symmetry of the wannier functions ,
the nonadiabatic model makes clear predictions whether or not @xmath10 can possess superconducting or magnetic _ eigenstates _  @xcite . in this context , the nonadiabatic heisenberg model no longer uses terms like @xmath0- , @xmath2- , or @xmath1-bands , but only speaks of superconducting or magnetic bands .    in particularly interesting cases , the nonadiabatic heisenberg model predicts that a small distortion of the lattice or a doping is required for the stability of the superconducting or magnetic state .
thus , in undoped lafeaso  @xcite and in bafe@xmath5as@xmath5  @xcite the antiferromagnetic state must be stabilized by an experimentally well established distortion  @xcite , while in yba@xmath5cu@xmath7o@xmath8  @xcite it is stable in the undistorted crystal .
superconductivity in lafeaso  @xcite requires the experimentally confirmed doping  @xcite . also the superconducting state in lifeas
@xcite should be accompanied by a small distortion of the lattice which , to our knowledge , is experimentally not yet confirmed .
superconductivity in yba@xmath5cu@xmath7o@xmath9  @xcite , mgb@xmath5  @xcite as well as in the transition elements  @xcite ( such as in nb  @xcite ) , on the other hand , does not require any distortion or doping .    in the case of ( conventional and high-@xmath11  @xcite ) superconductivity
, the nonadiabatic heisenberg model provides a new mechanism of cooper pair formation which may be described in terms of _ constraining forces _
@xcite and _ spring - mounted cooper pairs _  @xcite .
any application of the nonadiabatic heisenberg model starts with a determination of the symmetry of best localized ( spin - dependent ) wannier functions related to the band structure of the material under consideration .
in the following we shall summarize and update the group theory of wannier functions as published in former papers and give a detailed description how to determine the symmetry of best localized wannier functions if they exist in the given band structure . though we shall also define the two terms `` magnetic '' and `` superconducting '' bands which are related to the nonadiabatic heisenberg model ,
the presented group theory _ is independent of any physical model of magnetism or superconductivity_.
consider a closed complex of @xmath12 energy bands in the band structure of a metal or a semiconductor .
[ def:2 ] a complex of energy bands is called closed if the bands are not connected by degeneracies to bands not belonging to the complex .
[ def:14 ] in the following a closed complex of @xmath12 energy bands is referred to as a single closed band consisting of @xmath12 branches .
the metals do not possess closed bands in their band structures .
however , closed bands may arise after the activation of a perturbation reducing the symmetry in such a way that interfering band degeneracies are removed . such a reduction of the symmetry may be caused by a magnetic structure or by a ( slight ) distortion of the crystal .
hence , we assume that the hamiltonian @xmath13 of a single electron in the considered material consists of a part @xmath14 with the unperturbed space group @xmath4 and a perturbation @xmath15 with the space group @xmath16 , @xmath17 where @xmath16 is a subgroup of @xmath4 , @xmath18 in general , the considered closed energy band of @xmath12 branches was not closed before the perturbation @xmath15 was activated .    assume the bloch functions @xmath19 ( labeled by the wave vector @xmath20 and the branch index @xmath21 ) as the solutions of the schrdinger equation of @xmath13 to be completely calculated in the first domain of the brillouin zone .    [ def:1 ] let be @xmath22 the order of the point group @xmath23 of @xmath16 .
then the brillouin zone is divided by the planes of symmetry into @xmath22 domains .
an arbitrary chosen domain we call the first domain .
this first domain shall comprise the bounding planes , lines and points of symmetry , too .    as in ref .
@xcite , in the rest of the brillouin zone the bloch functions shall be determined by the equation @xmath24 where @xmath20 lies in the first domain , and in the @xmath20 space outside the brillouin zone by the equation @xmath25 @xmath26 denotes a vector of the reciprocal lattice and @xmath23 stands for the point group of @xmath16 .
[ def:9 ] @xmath27 denotes the symmetry operator assigned to the space group operation @xmath28 consisting of a point group operation @xmath29 and the associated translation @xmath30 , acting on a wave function @xmath31 according to @xmath32    the bloch functions @xmath19 of the closed band under observation can be unitarily transformed into wannier functions @xmath33 centered at the positions @xmath34 , where the functions @xmath35 are `` generalized '' bloch functions  @xcite . the sum in eq .
( [ eq:1 ] ) runs over the @xmath36 vectors @xmath20 of the first brillouin zone ( bz ) , the sum in eq .
( [ eq:2 ] ) over the @xmath12 branches of the considered band , @xmath37 denote the vectors of the bravais lattice , and the coefficients @xmath38 in eq .
( [ eq:2 ] ) are the elements of an unitary matrix @xmath39 , @xmath40 in order that the wannier functions are orthonormal , @xmath41    [ def:3 ] the wannier functions are called best localized if the coefficients @xmath38 may be chosen in such a way that the generalized bloch functions @xmath42 move  for fixed @xmath43  _ continuously _ through to whole @xmath20 space  @xcite .    as it was already shown in ref .
@xcite , the bloch functions @xmath19 as the eigenfunctions of the hamiltonian @xmath13 may be chosen in such a way that they vary continuously as functions of @xmath20 through the first domain and , in particular , approach continuously the boundaries of the first domain . from eqs .
( [ eq:95 ] ) and  ( [ eq:96 ] ) , however , we _ can not _ conclude that they also _ cross _ continuously the boundaries of the domains within the brillouin zone or at the surface of the brillouin zone .
fortunately , this problem is solvable by group - theoretical methods  @xcite .
theorem  [ theorem1 ] shall define the condition for best localized and symmetry - adapted [ definition  ( [ def:15 ] ) ] wannier functions .      in ref .
@xcite we demanded that symmetry - adapted wannier functions satisfy the equation @xmath44 for the elements @xmath29 of the point group @xmath23 of @xmath16 , where the @xmath45 are the elements of the matrices @xmath46\ ] ] forming a representation @xmath47 of @xmath23 which in most cases is reducible .
[ it should be noted that the sum in eq .
( [ eq:6 ] ) runs over @xmath48 and not over @xmath49 . ]
( [ eq:6 ] ) defines the symmetry of wannier functions in general terms , particularly they may be centered at a variety of positions @xmath50 being different from the positions of the atoms .
however , in the context of superconducting and magnetic bands we may restrict ourselves to wannier functions centered at the positions of the atoms .
thus , we assume    1 .   that the positions @xmath51 of the wannier functions in eq .
( [ eq:1 ] ) are the positions of atoms , 2 .   that only atoms of the same sort are considered (
although , of course , other atoms may exist ) , and 3 .
that there is one wannier function at each atom .    under these assumptions
@xcite ,    * the wannier functions may be labeled by the positions of the atoms , @xmath52 where @xmath53 * the matrix representatives @xmath54 of the representation @xmath47 in eq .
( [ eq:6 ] ) have _ one _ non - vanishing element @xmath55 with @xmath56 in each row and each column , and * eq .  ( [ eq:6 ] )
may be written in the considerably simplified form @xmath57 where @xmath58 and the subscripts @xmath59 and @xmath60 denote the number of the atoms at position @xmath61 and @xmath62 , respectively .
[ def:7 ] the subscript @xmath59 of the vector @xmath50 in eq .
( [ eq:22 ] ) defines the number of the atom at position @xmath61 .
[ def:15 ] we call the wannier functions symmetry - adapted to @xmath16 if they satisfy eq .
( [ eq:8 ] ) .
[ theorem10 ] the third assumption ( iii ) shows immediately that the number @xmath12 of the branches of the band under observation equals the number of the considered atoms in the unit cell .
( [ eq:8 ] ) and  ( [ eq:9 ] ) _ define _ the non - vanishing elements and , hence , we may write eq .
( [ eq:21 ] ) more precisely , @xmath63 where @xmath64 and @xmath37 still denotes a lattice vector .    [ def:4 ] in what follows , the representation @xmath47 of @xmath23 with the matrix representatives @xmath65\ ] ] defined by eq .
( [ eq:8 ] ) shall be shortly referred to as `` the representation defining the wannier functions '' and its matrix representatives @xmath66 to as `` the matrices defining the wannier functions '' .
[ def:16 ] since the matrices @xmath54 defining the wannier functions have _ one _ non - vanishing element obeying eq .
( [ eq:43 ] ) in each row and each column , they are so - called unitary generalized permutation matrices .
in the following sec  [ sec : condition ] we shall give a simple condition [ theorem  [ theorem1 ] ] for best localized and symmetry - adapted wannier functions yielding the representations of the bloch functions at all the points @xmath20 of symmetry in the brillouin zone .
however , in theorem  [ theorem1 ] the representations @xmath47 defining the wannier functions must be known .
hence , first of all we have to determine in this section all the possible representations that may define the wannier functions . in this context
we assume first that all the atoms are connected by symmetry .
this restricting assumption shall be abandoned not until in sec .
[ sec : atomsnotconnected ] .
[ def:8 ] two atoms at positions @xmath50 and @xmath67 are connected by symmetry if there exists at least one element @xmath68 in the space group @xmath16 satisfying the equation @xmath69 where @xmath37 is a lattice vector .      first consider the diagonal elements @xmath71 of the matrices @xmath54 defining the wannier functions . from eq .
( [ eq:43 ] ) we obtain @xmath72 where @xmath37 denotes a lattice vector .
this equation demonstrates that the matrix @xmath54 has non - vanishing diagonal elements @xmath73 if the space group operation @xmath74 leaves invariant the position @xmath75 of the @xmath59th atom .
these space group operations form a group , namely the group @xmath76 of the position @xmath50 .
[ def:10 ] the group @xmath76 of the position @xmath50 is defined by @xmath77 @xmath78 denotes the point group of @xmath76 .
hence , the non - vanishing diagonal elements @xmath73 of the matrices @xmath54 form a one - dimensional representation @xmath79 of the point group @xmath78 of @xmath80 .
the wannier functions transform according to @xmath81 [ cf .
( [ eq:8 ] ) ] by application of a space group operator @xmath27 ( where @xmath37 still denotes a vector of the bravais lattice ) . from eq .
( [ eq:6 ] ) we may derive the equivalent equation @xmath82 or , after shifting the origin of the coordinate system into the center of the function @xmath83 , @xmath84 we receive an equation @xmath85 emphasizing the point - group symmetry of the wannier function at position @xmath34 .    in constructing the representation @xmath47 defining the wannier functions we can
not arbitrarily chose the one - dimensional representations @xmath86 of @xmath78 because they must be chosen in such a way that the matrix representatives @xmath87 form a representation of the point group @xmath23 , i.e. , they must obey the multiplication rule @xmath88 for all the elements @xmath29 and @xmath89 in @xmath23 .    in what follows
we assume that all the groups @xmath76 are _ normal _ subgroups of @xmath16 .
in fact , in all the crystal structures we examined in the past , @xmath76 was a normal subgroup , be it because it was a subgroup of index 2 or be it because it was the intersection of two subgroups of index 2 .
both cases are sufficient for a normal subgroup .
we believe that in all physically relevant crystal structures @xmath76 is a normal subgroup of @xmath16 .
if not , the present formalism must be extended for these structures .
when the groups @xmath76 are normal subgroups of @xmath16 , each of the groups @xmath76 contains only _ complete _ classes of @xmath16 , @xmath90 we now show that , as a consequence , all the groups @xmath76 contain the _ same _ space group operations .
let be @xmath91 a space group operation of @xmath16 moving @xmath92 into @xmath93 , @xmath94 then @xmath95 is an element of @xmath76 if @xmath96 .
( [ eq:47 ] ) even yields _ all _ the elements @xmath97 of @xmath76 when @xmath98 runs throw all the elements of @xmath99 because we may write eq .
( [ eq:47 ] ) in the form @xmath100 showing that we may determine from _ any _ element @xmath101 an element @xmath102 .    on the other hand , eq .
( [ eq:44 ] ) shows that @xmath97 is an element of @xmath103 , too .
when @xmath98 runs through all the elements of @xmath103 , then also @xmath97 runs through all the elements of @xmath103 .
consequently , all the groups @xmath76 as well as all the related point groups @xmath78 contain the same elements .
thus , we may omit the index @xmath59 and define    [ def:11 ] the group @xmath104 and the related point group @xmath105 of the positions of the atoms is defined by @xmath106 and @xmath107 respectively , where @xmath76 and @xmath78 are given by definition  [ def:10 ] .
the one - dimensional representations @xmath79 of @xmath105 must be chosen in such a way that the matrices @xmath108 defining the wannier functions form a representation @xmath47 of the _ complete _ point group @xmath23 . a necessary condition is given by the evident theorem  [ theorem2 ] .
[ theorem2 ] if the matrices @xmath108 _ can not _ be completely reduced into the irreducible representations of @xmath23 , then they do not form a representation of the point group @xmath23 .
this theorem is necessary , but not sufficient : even if the matrices @xmath108 can be completely reduced into the irreducible representations of @xmath23 then they need not form a representation of the point group @xmath23  @xcite .
the complete decomposition of a reducible representation is described , e.g. , in refs .
@xcite and  @xcite , in particular , see eq .
( 1.3.18 ) of ref .
theorem  [ theorem2 ] leads to three important cases :    * case ( i ) : if all the representations @xmath79 are subduced from _
one_-dimensional representations of @xmath23 , then all the representations @xmath79 are equal , @xmath109 the representation @xmath110 may be equal to any one - dimensional representation of @xmath105 subduced from a _ one_-dimensional representation of @xmath23 . *
case ( ii ) : if all the representations @xmath79 are subduced from _
two_-dimensional representations of @xmath23 , then one half of the representations @xmath79 is equal to @xmath111 and the other half is equal to @xmath112 , @xmath113 where @xmath111 and @xmath112 are subduced from the _ same _ two - dimensional representation of @xmath23 .
in special cases , the two representations @xmath111 and @xmath112 may be equal , see below . * case ( iii ) : `` mixed '' representations @xmath47 consisting of both representations @xmath79 subduced from one- and two - dimensional representations of @xmath23 do not exist .    a further case that the representations @xmath79 are subduced from _ three_-dimensional representations of @xmath23 may occur in crystals of high symmetry but is not considered in this paper .    these results ( i )
( iii ) follow from the very fact that eq .
( [ eq:8 ] ) describes an interchange of the wannier functions at different positions @xmath51 .
such an interchange , however , does not alter the symmetry of the wannier functions .      for @xmath114 the matrices @xmath108 defining the wannier functions are diagonal , while the remaining matrices @xmath66 [ for @xmath115 do not possess any diagonal element .
theorem  [ theorem2 ] only gives information about the diagonal matrices @xmath108 .
hence , this theorem indeed can not be sufficient because we do not know whether or not the remaining matrices obey the multiplication rule  ( [ eq:28 ] ) .    in this section
we assume that the matrices @xmath108 already satisfy theorem  [ theorem2 ] and examine the conditions under which they actually form a ( generally reducible ) representation of @xmath23 . in doing so , we consider separately the two cases ( i ) and ( ii ) of the preceding sec .
[ sec : necessary ] .
no further problems arises when case ( i ) of sec .
[ sec : necessary ] is realized . in this case ,
theorem  [ theorem2 ] is necessary _ and _ sufficient . to justify this assertion
, we write down explicitly the non - diagonal elements of the matrices @xmath108 .    let
be @xmath116 any one - dimensional representation of @xmath23 subducing the representation @xmath117 in eq .
( [ eq:18 ] ) . if we put all the non - vanishing elements of the matrices @xmath66 equal to the elements @xmath118 of @xmath119 , @xmath120 then we receive matrices @xmath108 evidently multiplying as the elements of the representation @xmath116 and , consequently , obeying the multiplication rule in eq .
( [ eq:28 ] ) .
the situation is a little more complicated when case ( ii ) of sec .  [
sec : necessary ] is realized .
now , the representations @xmath121 and @xmath112 in eq .
( [ eq:19 ] ) may be distributed across the positions @xmath50 in such a way that the matrices @xmath122 form a representation of @xmath23 or do not .
though we always find a special distribution of the @xmath111 and @xmath112 yielding matrices @xmath108 actually forming a representation of @xmath23 , we have to rule out those distributions not leading to a representation of @xmath23 , because in the following [ in eqs .
( [ eq:25 ] ) ,  ( [ eq:61 ] ) , and  ( [ eq:116 ] ) ] we need the matrices @xmath108 explicitly .
let be @xmath123 [ with the matrix representatives @xmath124 a two - dimensional representation of @xmath23 subducing the two representations @xmath111 and @xmath112 of @xmath105 .
the matrix representatives @xmath125 may be determined , e.g. , from table 5.1 of ref .
@xcite .    as a first step
, @xmath123 must be unitarily transformed ( by a matrix * q * ) in such a way that the matrices @xmath125 are diagonal for @xmath114 , @xmath126    now consider a certain distribution of the representations @xmath111 and @xmath112 across the positions @xmath50 .
then we may determine the elements of the matrices @xmath108 , if they exist , be means of the formula @xmath127 + where the @xmath128 denote the elements of @xmath129 .
it turns out that in each case the matrices determined by eq .
( [ eq:49 ] ) satisfy the multiplication rule in eq .
( [ eq:28 ] ) if eq .
( [ eq:49 ] ) produces for each space group operation @xmath130 an unitary generalized permutation matrix @xmath108 .
this may be understood because eq .
( [ eq:49 ] ) defines the complex numbers @xmath45 in such a way that the wannier functions transform in eq .
( [ eq:8 ] ) in an unequivocal manner like the basis functions for @xmath131 . with `` like '' the basis functions we want to express that by application of any space group operator latexmath:[$p(\{\alpha    complex number @xmath128 as the basis functions for @xmath131 .
the wannier functions would indeed be basis functions for @xmath131 if they would not be moved from one position @xmath50 to another by some space group operations .
hence , we may expect that the matrices @xmath66 satisfy the multiplication rule in eq .
( [ eq:28 ] ) just as the matrices @xmath129 do .
nevertheless , the multiplication rule should be verified numerically in any case .    when using this eq .
( [ eq:49 ] ) a little complication arises if the group of position @xmath105 contains so few elements that the two one - dimensional representations @xmath111 and @xmath112 subduced from @xmath131 are equal .
thus , in this case we have no problem with the distribution of @xmath111 and @xmath112 across the positions @xmath50 .
theorem  [ theorem2 ] is necessary _ and _ sufficient and we may directly solve eq .
( [ eq:25 ] ) of theorem  [ theorem1 ] .
however , when in sec .
[ sec : mgroups ] or in sec .
[ sec : timeinversion ] we will consider magnetic groups , we need all the representatives @xmath108 of the representation @xmath133 explicitly . fortunately , also when the representations @xmath134 and @xmath112 are equal , eq .  ( [ eq:49 ] ) is applicable : in this case their exists at least one diagonal matrix representative @xmath135 of @xmath131 with vanishing trace and @xmath136 . we may define pairs @xmath137 of positions @xmath92 where the positions in each pair are connected by the space group operation @xmath138 . in the simplest case , we receive two pairs . then in eq .
( [ eq:49 ] ) we may identify the two representations at @xmath139 and @xmath140 by @xmath111 and the representations at the other two positions @xmath141 and @xmath142 by @xmath112 .
if we find four pairs of positions , we may look for a second matrix representative @xmath143 in @xmath131 with vanishing trace and @xmath144 .
then we may repeat the above procedure and receive again four pairs of positions .
now we associate the two representations @xmath111 and @xmath112 to the positions @xmath50 under the provision that always positions of the same pair are associated with the same representation @xmath111 or @xmath112 .
finally , it should be mentioned that the elements of the non - diagonal matrices @xmath108 are not fully fixed ( as already remarked in ref .
@xcite ) : in eq .  ( [ eq:42 ] )
we may use the elements @xmath145 of _ any _ one - dimensional representation @xmath119 subducing the representation @xmath117 .
we receive in each case the same diagonal , but different non - diagonal matrices nevertheless satisfying the multiplication rule  ( [ eq:28 ] ) .
analogously , in eq .
( [ eq:49 ] ) we may determine the matrices @xmath108 by means of any two - dimensional representation @xmath131 subducing @xmath111 and @xmath112 .    in the following theorem  [ theorem3 ]
we summarize our results in the present sec .
[ sec : sufficient ] .
[ theorem3 ] the wannier function @xmath83 at the position @xmath50 is basis function for a one - dimensional representation @xmath79 of the `` point group of position '' @xmath146 [ definition  [ def:11 ] ] , cf .
( [ eq:40 ] ) .
the representations @xmath79 fix the ( generally reducible ) representation @xmath47 of @xmath23 defining the wannier functions [ definition  [ def:4 ] ] .
the matrix representatives @xmath108 of @xmath47 are unitary generalized permutation matrices .
we distinguish between two cases ( i ) and ( ii ) .    case ( i ) : if the representations @xmath79 are subduced from one - dimensional representations of the point group @xmath23 , then all the wannier functions of the band under observation are basis functions for the same representation @xmath117 which may be any one - dimensional representation of @xmath105 subduced from a one - dimensional representation of @xmath23 .
the representation @xmath47 exists always , its matrix representatives @xmath108 may be calculated by eq .
( [ eq:42 ] ) .    case ( ii ) : if the representations @xmath79 are subduced from two - dimensional representations of the point group @xmath23 , then the wannier functions are basis functions for the two one - dimensional representations @xmath111 and @xmath112 of @xmath105 subduced from the same two - dimensional representation of @xmath23 .
one half of the wannier functions is basis function for @xmath111 and the other half for @xmath147 . in special cases , the representations
@xmath111 and @xmath112 may be equal , see above . the representation @xmath47 exists for a given distribution of the representations @xmath111 and @xmath112 across the positions @xmath50 if eq .
( [ eq:49 ] ) yields unitary generalized permutation matrices @xmath108 satisfying the multiplication rule in eq .
( [ eq:28 ] ) .
a third case with representations @xmath79 subduced from one - dimensional as well as from two - dimensional representations of @xmath23 does not exist .      if not all the atoms at the positions @xmath50 are connected by symmetry [ definition  [ def:8 ] ] , the representation @xmath47 defining the wannier functions consists of representatives @xmath148 which may be written in block - diagonal form @xmath149 where each block comprises the matrix elements @xmath55 belonging to positions connected by symmetry . otherwise , when the matrices @xmath108 would not possess block - diagonal form , eq .
( [ eq:6 ] ) would falsely connect atomic positions that are not at all connected by symmetry . as a consequence of the block - diagonal form ,
the representation @xmath47 is the direct sum over representations @xmath150 related to the individual blocks , @xmath151    we may summarize as follows .
[ theorem8 ] each block @xmath150 in eq .
( [ eq:117 ] ) forms its own representation of @xmath23 and , hence , must comply separately and independently with the criteria given in theorem  [ theorem3 ] .
the groups of position @xmath152 belonging to different blocks may ( but need not ) be different . however , we assume that the sum in eq .
( [ eq:117 ] ) consists only of blocks with coinciding groups of position . if this is not true in special cases , the number @xmath12 of the atoms in eq .
( [ eq:2 ] ) must be reduced until the groups of position coincide in the sum in eq .
( [ eq:117 ] ) . briefly speaking , in such a ( probably rare ) case atoms of the same sort must be treated like different atoms .
remember that we consider a closed energy band of @xmath12 branches and let be given a representation @xmath47 defining the wannier functions which was determined according to theorems  [ theorem3 ] and  [ theorem8 ] .
then we may give a simple condition for best localized symmetry - adapted wannier functions based on the theory of wannier functions published in refs .
@xcite and  @xcite .
[ theorem1 ] let be @xmath20 a point of symmetry in the first domain of the brillouin zone for the considered material and let be @xmath153 the little group of @xmath20 in herrings sense .
that means , @xmath154 is the finite group denoted in ref .
@xcite by @xmath155 ( and listed for all the space groups in table 5.7 ibidem ) . furthermore , let be @xmath156 the @xmath12-dimensional representation of @xmath154 whose basis functions are the @xmath12 bloch functions @xmath19 with wave vector @xmath20 , and @xmath157 ( with @xmath158 ) the character of @xmath159 .
@xmath156 either is irreducible or the direct sum over small irreducible representations of @xmath154 .
we may choose the coefficients @xmath38 in eq .
( [ eq:2 ] ) in such a way that the wannier functions are best localized [ definition  [ def:2 ] ] and symmetry - adapted to @xmath16 [ definition  [ def:15 ] ] if the character @xmath157 of @xmath159 satisfies at each point @xmath20 of symmetry in the first domain of the brillouin zone the equation @xmath160 where @xmath68 and @xmath161 the complex numbers @xmath73 stand for the elements of the one - dimensional representations @xmath162 of @xmath105 fixing the given @xmath12-dimensional representation @xmath47 defining the wanner functions .
[ def:19 ] the term `` point of symmetry '' we use as defined in ref .
@xcite : @xmath20 is a point of symmetry if there exists a neighborhood of @xmath163 in which no point except @xmath20 has the symmetry group @xmath154 .
thus , a point @xmath20 of symmetry has a higher symmetry than all surrounding points .
we add a few comments on theorem  [ theorem1 ] .    * in eq .
( [ eq:32 ] ) we write @xmath164 rather than @xmath165 because the group @xmath105 depends on @xmath166 . *
the representation @xmath47 defining the wannier functions is equivalent to the representation @xmath167 , i.e. , to the representation @xmath156 for @xmath168 , see eq .
( [ eq:29 ] ) . * in the majority of cases all the representations @xmath79 in eq .
( [ eq:32 ] ) are equal .
the only exceptions arises when 1 .
not all the positions @xmath50 are connected by symmetry or 2 .
the one - dimensional representations @xmath79 of @xmath105 are subduced from a higher - dimensional representation of @xmath23 . * a basic form of theorem  [ theorem1 ] was published first in eq .
( 23 ) of ref .
@xcite and used in several former papers .
( 23 ) of ref .
@xcite yields the same results as theorem  [ theorem1 ] 1 .   if all the @xmath50 are connected by symmetry and 2 .
if all the representations @xmath79 of @xmath105 are subduced from one - dimensional representations of @xmath23 .
+ these two conditions were satisfied in our former papers . *
the irreducible representations of the bloch functions of the considered band at the points @xmath20 of symmetry may be determined from the representations @xmath156 as follows :    [ punktk ] let @xmath154 possess @xmath169 irreducible representations with the characters @xmath170 and assume that @xmath156 contains the @xmath171th irreducible representation , say , @xmath172 times
. then the numbers @xmath172 may be calculated by means of eq .
( 1.3.18 ) of ref .
@xcite , @xmath173 where @xmath174 denotes the character of @xmath156 as determined by eq .
( [ eq:25 ] ) and the sum runs over the @xmath175 elements @xmath98 of @xmath154 .
remember [ theorem  [ theorem1 ] ] that @xmath154 is a finite group .
the existence of best localized symmetry - adapted wannier functions is defined in satz 4 of ref .
@xcite : such wannier functions exist in a given closed energy band of @xmath12 branches if eqs .
( 4.28 ) and  ( 4.17 ) of ref .
@xcite are satisfied .
we show in this section that the fundamental theorem  [ theorem1 ] complies with these two equations if the wannier functions meet the assumptions ( i )  ( iii ) in sec .
[ sec : sawf ] .      as a first step
consider eq .
( 4.28 ) of ref .
@xcite stating that best localized and symmetry - adapted wannier functions may exist only if two representations @xmath176 and @xmath177 are equivalent , @xmath178 where we have abbreviated @xmath179 by @xmath20 denoting a point of symmetry lying in the first domain of the brillouin zone .
consequently , our first task will be to determine the character of @xmath180 as well as of @xmath156 ,    the representation @xmath156 as defined in theorem  [ theorem1 ] is the direct sum of the representations of the bloch functions of the considered band at point @xmath20 .
the character @xmath157 of the representation @xmath156 is simply given by @xmath181 where the matrices @xmath182 are the matrix representatives of @xmath156 .
the matrix representatives @xmath183 of @xmath180 are defined in eq .
( 4.26 ) of ref .
@xcite , @xmath184 where @xmath185 is a vector of the reciprocal lattice .
again we have abbreviated @xmath186 by @xmath20 denoting a point of symmetry .
the matrices @xmath187 as defined in eq .
( 4.13 ) of ref .
@xcite are responsible for a continuous transition of the generalized bloch functions between neighboring brillouin zones .
the matrices @xmath188 are the matrix representatives of the representation @xmath156 for @xmath168 as defined in theorem  [ theorem1 ] .
@xmath167 is the direct sum of the irreducible representations of the bloch functions of the considered band at point @xmath189 .
the traces of the matrices @xmath190 can be determined by transforming eq .
( [ eq:31 ] ) with the complex conjugate of the matrix * m * defined by eq .
( 2.1 ) of ref .
@xcite , @xmath191 where @xmath28 still denotes an element of the space group @xmath16 . by definition ,
the matrix * m * diagonalizes the matrices @xmath187 which is possible since all the @xmath192 commute .
thus , the first factor @xmath193 in eq .
( [ eq:24 ] ) is the diagonal matrix @xmath194 where , according to eq .
( 2.7 ) of ref .
@xcite , also @xmath195 is a diagonal matrix with @xmath196 hence , the first factor in eq .
( [ eq:24 ] ) may be written as @xmath197    [ def:12 ] in line with ref .
@xcite , we denote matrices transformed with @xmath198 ( or @xmath199 ) by a horizontal bar to indicate that these matrices belong to the _ diagonal _ matrices @xmath200 .    as shown in ref .  @xcite ( see eqs .  ( 2.18 ) and ( 2.19 ) of ref .
@xcite ) , the second factor @xmath201 in eq .
( [ eq:24 ] ) is a matrix representative @xmath108 of the representation @xmath47 defining the wannier functions , @xmath202    thus , the matrices @xmath203 are the matrix representatives of a representation @xmath204 equivalent to @xmath205 .    the character of @xmath204 may be easily determined : the diagonal elements @xmath73 of the matrices @xmath54 are fixed by theorems  [ theorem3 ] and  [ theorem8 ] . since the matrix @xmath206 is diagonal , the diagonal elements @xmath207 of the matrices @xmath208
may be written as @xmath209 where still @xmath28 .
the diagonal elements @xmath73 of the matrices @xmath54 vanish if @xmath210 , see eq .
( [ eq:12 ] ) .
hence , the term on the right - hand side of eq .
( [ eq:25 ] ) is the sum over the diagonal elements @xmath207 , i.e. , it is the trace of the matrices @xmath208 .
consequently , if eq .
( [ eq:25 ] ) is satisfied then condition  ( [ eq:41 ] ) is true .
strictly speaking , in ref .
@xcite we have proven that the condition  ( [ eq:41 ] ) must be satisfied for the points of symmetry lying in the first domain on the _ surface _ of the brillouin zone .
( [ eq:25 ] ) demands that in addition the representation @xmath167 is equivalent to the representation @xmath47 which is evidently true , see eq .
( [ eq:29 ] ) .      as a second step
we show that eq .
( 4.17 ) of ref .
@xcite does not reduce the validity of theorem  [ theorem1 ] but this equation is satisfied whenever the assumptions ( i )  ( iii ) in sec .
[ sec : sawf ] are valid . taking the complex conjugate of eq .
( 4.17 ) of ref .
@xcite and transforming this equation with the matrix @xmath211 already used in eq .
( [ eq:24 ] ) , we receive the equation @xmath212 cf .
( [ eq:38 ] ) and  ( [ eq:29 ] ) , which must be satisfied for all @xmath213 and all the vectors @xmath26 of the reciprocal lattice .    just as the matrix @xmath214 + also the matrix @xmath215 in eq .
( [ eq:34 ] ) is diagonal with the same diagonal elements which , however , may stand in a new order .
in fact , if @xmath216 , the element @xmath217 of @xmath218 at position @xmath59 stands at position @xmath60 in the matrix @xmath219 .
thus , from eq .
( [ eq:34 ] ) we receive the @xmath12 equations @xmath220 yielding @xmath12 equations for the positions @xmath50 , @xmath221 where @xmath222 is a lattice vector which may be different in each equation .
in fact , these last @xmath223 equations  ( [ eq:36 ] ) are satisfied , see eq .
( [ eq:43 ] ) .
assume a magnetic structure to be given in the considered material and let be @xmath224 the magnetic group of this magnetic structure , where @xmath225 and @xmath226 denotes the operator of time inversion acting on a function @xmath227 of position according to @xmath228    we demand that the equation @xmath229 is satisfied in addition to eq .
( [ eq:6 ] ) , where the matrix is the representative of the anti - unitary symmetry operation @xmath230 in the co - representation of the point group @xmath231 of @xmath3 derived from  @xcite the representation @xmath47 of @xmath23 defining the wannier functions .
still we assume that there is exactly one wannier function at each position @xmath50 , i.e. , the three assumptions ( i )
( iii ) of sec .
[ sec : sawf ] remain valid .
thus  @xcite , eq .  ( [ eq:30 ] ) may be written in the more compact form @xmath232 with @xmath233 and the subscripts @xmath59 and @xmath60 denote the number of the atoms at position @xmath61 and @xmath62 , respectively , see definition  [ def:7 ] .
[ def:13 ] we call the wannier functions symmetry - adapted to the magnetic group @xmath3 if , in addition to eq .
( [ eq:8 ] ) , eq .
( [ eq:57 ] ) is satisfied .    again
[ sec : sawf ] ) , eq .
( [ eq:57 ] ) defines the non - vanishing elements of the matrix * n*. hence , also * n * has one non - vanishing element in each row and each column , @xmath234    as already expressed by eq .
( [ eq:30 ] ) , we only consider bands of @xmath12 branches which are not connected to other bands also after the introduction of the new anti - unitary operation @xmath235 .
that means that the considered band consists of @xmath12 branches as well after as before the introduction of @xmath235 .
hence , the matrix @xmath236 must satisfy the equations @xmath237 and @xmath238 see eq .
( 7.3.45 ) of ref .
still the matrices @xmath122 are the representatives of the representation @xmath47 of @xmath23 defining the wannier functions . in ref .
@xcite eq .
( 7.3.45 ) was established for irreducible representations . however , this prove in sec .
7.3 _ ibidem _ shows that eq .
( 7.3.45 ) holds for reducible representations , too , if eq .
( [ eq:60 ] ) is satisfied .
assume theorem  [ theorem1 ] to be satisfied in the considered energy band and remember that then the coefficients @xmath38 in eq .
( [ eq:2 ] ) can be chosen in such a way that the wannier functions of this band are best localized and symmetry - adapted to @xmath16 . in ref .
@xcite we have shown that the wannier functions may even be chosen symmetry - adapted to the magnetic group @xmath3 if eq .
( 7.1 ) of ref .
@xcite , @xmath239 is valid for each vector @xmath26 of the reciprocal lattice ( which should not be confused with the operator @xmath226 of time inversion ) .
the matrix @xmath187 is defined in eq .
( 4.13 ) of ref .
@xcite and the matrix @xmath240 is the representative of the symmetry operation @xmath230 in the co - representation of @xmath241 derived from the representation @xmath242 , i.e. , from the representation @xmath156 for @xmath243 as introduced in theorem  [ theorem1 ] .    transforming eq .
( [ eq:64 ] ) with the matrix @xmath244 already used in eq .
( [ eq:24 ] ) and using @xmath245 we receive an equation @xmath246 identical to eq .
( [ eq:34 ] ) when we replace the space group operation @xmath247 by @xmath248 and @xmath108 by @xmath249 . in sec .
[ sec : eq4.17 ] we have shown that eq .
( [ eq:34 ] ) is satisfied if the matrices @xmath66 follow eq .
( [ eq:43 ] ) . in the same way ,
( [ eq:66 ] ) is true if the elements of @xmath236 ( as well as of @xmath249 ) obey eq .
( [ eq:59 ] ) .
thus , eqs .
( [ eq:59 ] ) ,  ( [ eq:60 ] ) , and  ( [ eq:61 ] ) are the only additional conditions for the existence of best localized wannier functions which are symmetry - adapted to the magnetic group @xmath3 .
we summarize the results of the present sec .
[ sec : mgroups ] in    [ theorem4 ] the coefficients @xmath250 in eqs .
( [ eq:2 ] ) may be chosen in such a way that the wannier functions are best localized [ definition  [ def:3 ] ] and even symmetry - adapted to the magnetic group @xmath3 in eq .
( [ eq:17 ] ) [ definition  [ def:13 ] ] if , according to theorem  [ theorem1 ] , they may be chosen symmetry - adapted to @xmath16 and if , in addition , there exists a @xmath12-dimensional matrix * n * satisfying eqs .
( [ eq:59 ] ) ,  ( [ eq:60 ] ) and  ( [ eq:61 ] ) .    the representation @xmath47 in eqs .
( [ eq:60 ] ) and  ( [ eq:61 ] ) is the representation defining the wannier functions as used in theorem  [ theorem1 ] .    in most cases
, we may put the non - vanishing elements of * n * equal to 1
.    [ def:21 ] if , according to theorem  [ theorem4 ] , the unitary transformation in eq .
( [ eq:1 ] ) may be chosen in such a way that the wannier functions are best localized and symmetry - adapted to the magnetic group @xmath3 in eq .
( [ eq:17 ] ) , we call the band under consideration [ as defined by the representations @xmath156 in eq .
( [ eq:25 ] ) ] a `` magnetic band related to the magnetic group @xmath3 '' .    within the nonadiabatic heisenberg model ,
the existence of a narrow , roughly half - filled magnetic band in the band structure of a material is a precondition for the stability of a magnetic structure with the magnetic group @xmath3 in this material .
however , the magnetic group @xmath3 must be `` allowed '' in order that the time - inversion symmetry does not interfere with the stability of the magnetic state  @xcite .
assume the hamiltonian @xmath13 of a single electron in the considered material to be given and assume @xmath13 to consist of a spin - independent part @xmath251 and a spin - dependent perturbation @xmath252 , @xmath253 further assume the bloch spinors @xmath254 as the exact solutions of the schrdinger equation @xmath255 to be completely determined in the first domain of the brillouin zone .
just as the bloch functions , they are labeled by the wave vector @xmath20 and the branch index @xmath21 . in addition , they depend on the spin coordinate @xmath256 and are labeled by the spin quantum number @xmath257 .
consider again a closed energy band of @xmath12 branches which , in general , was not closed before the perturbation @xmath252 was activated .
now each branch is doubled , that means that it consists of two bands related to the two different spin directions . just as in sec .
[ sec : defwf ] we assume that the bloch spinors @xmath258 are chosen in such a way that they vary continuously through the first domain and approach continuously the boundaries of the first domain . in the rest of the brillouin zone and in the remaining @xmath20 space they shall be given again by eqs .
( [ eq:95 ] ) and  ( [ eq:96 ] )  @xcite where , however , @xmath27 acts now on both @xmath43 and @xmath259 , see eq .
( [ eq:78 ] ) .
we define `` spin - dependent wannier functions '' by replacing the bloch functions @xmath19 in eq .
( [ eq:2 ] ) by linear combinations @xmath260 of the given bloch spinors .
thus , eq .  ( [ eq:2 ] ) becomes @xmath261 and , finally , the spin - dependent wannier functions my be written as @xmath262 also the spin - dependent wannier functions depend on @xmath259 and are labeled by a new quantum number @xmath263 which , in the framework of the nonadiabatic heisenberg model , is interpreted as the quantum number of the `` crystal spin ''  @xcite . the sum in eq .
( [ eq:67 ] ) runs over the @xmath12 branches of the given closed energy band , where @xmath12 still is equal to the number of the considered atoms in the unit cell .
the matrices @xmath264\ ] ] still are unitary [ see eq .
( [ eq:5 ] ) ] and also the coefficients @xmath265 in eq .
( [ eq:62 ] ) form for each @xmath20 and @xmath21 a two - dimensional matrix @xmath266\ ] ] which is unitary , @xmath267 in order that the spin - dependent wannier functions are orthonormal , @xmath268    within the nonadiabatic heisenberg model we strictly consider the limiting case of vanishing spin - orbit coupling , @xmath269 by approximating the bloch spinors @xmath254 by means of the spin - independent bloch functions @xmath270 . in this context , we should distinguish between two kinds of bloch states @xmath19 in the considered closed band :    1 .
if @xmath19 * was basis function for a non - degenerate representation already before the spin - dependent perturbation @xmath252 was activated , or * was basis function for a degenerate representation before @xmath252 was activated , and this degeneracy is not removed by @xmath252 [ see sec .
[ sec : fkqd ] ] , + then we may approximate the bloch spinors by @xmath271 where the functions @xmath272 denote pauli s spin functions @xmath273 with the spin quantum number @xmath257 and the spin coordinate @xmath256 .
( [ eq:56 ] ) applies to the _ vast majority _ of points @xmath20 in the brillouin zone .
if at a special point @xmath20 the bloch function @xmath274 was basis function for a degenerate single - valued representation before the perturbation @xmath252 was activated and if this degeneracy is removed by @xmath252 , then eq .
( [ eq:56 ] ) is unusable for the sole reason that we do not know which of the basis functions of the degenerate representation we should avail in this equation . in fact , in this case the bloch spinors @xmath254 are well defined linear combinations of the functions @xmath275 comprising _ all _ the basis functions @xmath19 of the degenerate single - valued representation ( as given , e.g. , in table 6.12 of ref
.  @xcite ) .
these specific linear combinations are not considered because , at this stage , they are of no importance within the nonadiabatic heisenberg model .    in the framework of the approximation defined by eq .
( [ eq:56 ] ) the two functions @xmath276 in eq .
( [ eq:62 ] ) ( with @xmath263 ) are usual bloch functions with the spins lying in @xmath277 direction if @xmath278 otherwise , if the coefficients @xmath265 can not be chosen independent of @xmath20 , the spin - dependent wannier functions can not be written as a product of a local function with the spin function @xmath279 even if the approximation defined by eq .
( [ eq:56 ] ) is valid .
consequently , even in the limit of vanishing spin - orbit coupling , the spin - dependent wannier functions are neither orthonormal in the local space @xmath280 nor in the spin space @xmath281 , but in @xmath282 only , see eq .
( [ eq:53 ] ) .
thus , also in the case @xmath283 spin - dependent wannier functions clearly differ from usual wannier functions characterized by @xmath284 the ansatz  ( [ eq:68 ] ) presents the most general definition of wannier functions . while their localization can be understood only in terms of the exact solutions of the schrdinger equation  ( [ eq:109 ] ) , the limiting case of vanishing spin - orbit coupling characterized by eq .
( [ eq:56 ] ) yields fundamental properties of these wannier functions leading finally to an understanding of the material properties of superconductors  @xcite .
we demand that symmetry - adapted spin - dependent wannier functions satisfy in analogy to eq .
( [ eq:8 ] ) the equation @xmath285 for @xmath130 since still the assumptions ( i )  ( iii ) of sec .
[ sec : sawf ] are valid . merely the third assumption ( iii )
is modified : now the _ two _ wannier functions @xmath286 and @xmath287 are situated at the same atom and , consequently , we now put @xmath288 where @xmath263 .    the vectors @xmath61 and @xmath62 are still given by eqs .
( [ eq:22 ] ) and  ( [ eq:9 ] ) , respectively .
the matrices @xmath289 $ ] in eq .
( [ eq:72 ] ) are again unitary generalized permutation matrices , and the subscripts @xmath59 and @xmath60 denote the number of the atoms at position @xmath61 and @xmath62 , respectively , see definition  [ def:7 ] .
the operators @xmath27 now act additionally on the spin coordinate @xmath259 of a function @xmath290 , @xmath291 where the effect of a point group operation on the spin coordinate @xmath259 of the spin function @xmath279 is given by the equation  @xcite @xmath292 the matrix @xmath293\ ] ] denotes the representative of @xmath29 in the two - dimensional _ double - valued _
representation @xmath294 of @xmath295 as listed , e.g. , in table 6.1 of ref .
@xcite .
we have to take into consideration that the double - valued representations of a group @xmath296 are not really representations of @xmath296 but of the abstract `` double group '' @xmath297 of order @xmath298 , while the single valued representations are representations of both @xmath296 and @xmath297  @xcite .    [ def:5 ] though we use the familiar expression `` double - valued '' representation of a group @xmath296 , we consider the double - valued representations as ordinary single - valued representations of the related abstract double group @xmath297 , denoted by a superscript `` d '' .    since the index @xmath171 of the spin - dependent wannier functions is interpreted as spin quantum number , we demand that the term @xmath299 in eq .
( [ eq:72 ] ) describes a rotation or reflection of the crystal spin .
thus , we demand that also the matrices @xmath300 $ ] are the representatives of the two - dimensional double - valued representation @xmath294 , @xmath301 = { \bf d}_{1/2}(\alpha ) \quad\text { for } \alpha \in h^d_0.\ ] ]    [ def:18 ] we call the spin - dependent wannier functions `` symmetry - adapted to the double group @xmath302 related to space group @xmath16 '' if they satisfy eq .
( [ eq:72 ] ) for @xmath303 , where the matrices @xmath304 $ ] are the representatives of the two - dimensional double - valued representation @xmath294 of @xmath295 .    consequently , symmetry - adapted spin - dependent wannier functions are basis functions for the double - valued representation @xmath305 of @xmath306 which is the inner kronecker product of the single - valued representation @xmath47 defined by eq .
( [ eq:72 ] ) and the double - valued representation @xmath307 .
thus , the @xmath308-dimensional matrix representatives @xmath309 of @xmath310 may be written as kronecker products , @xmath311    [ def:17 ] the single - valued representation @xmath47 of @xmath23 defined by eq .
( [ eq:72 ] ) shall be shortly referred to as `` the representation defining the spin - dependent wannier functions '' and its matrix representatives @xmath65\ ] ] to as `` the matrices defining the spin - dependent wannier functions '' .    while usual ( spin - independent ) wannier functions are basis functions for the representation @xmath47 defining the wannier functions , spin - dependent wannier functions are basis functions for the double - valued representation @xmath312 in eq .
( [ eq:75 ] ) .    also the representation @xmath47 defining the spin - dependent wannier functions has to meet the conditions given in sec .
[ sec : matrices ] as shall be summarized in    [ theorem11 ] the two spin - dependent wannier function @xmath313 and @xmath314 at the position @xmath50 are basis functions for the two - dimensional representation @xmath315 of the double group @xmath316 related to the point group of position @xmath105 .
the one - dimensional representations @xmath79 in eq .
( [ eq:99 ] ) fix the ( generally reducible ) representation @xmath47 of @xmath23 defining the spin - dependent wannier functions [ definition  [ def:17 ] ] .
the matrix representatives @xmath122 of @xmath47 still are unitary generalized permutation matrices which must be chosen in such a way that they form a representation of @xmath23 .
we again distinguish between the two cases ( i ) and ( ii ) defined in theorem  [ theorem3 ] .
in addition , theorem  [ theorem8 ] must be noted .
theorem  [ theorem1 ] does not distinguish between usual and spin - dependent wannier functions but uses only the special representations of the bloch functions or bloch spinors , respectively , at the points @xmath20 of symmetry .
thus , theorem  [ theorem1 ] applies to both usual and spin - dependent wannier functions if in the case of spin - dependent wannier functions we replace the little groups @xmath154 by the double groups @xmath317 . just as the groups @xmath154 , the groups @xmath317 are _ finite _ groups in herrings sense as denoted in ref .
@xcite by @xmath318 and , fortunately , are explicitly given in table 6.13 _ ibidem_.    when we consider single - valued representations , then the sum on the right - hand side of eq .
( [ eq:25 ] ) runs over the @xmath12 diagonal elements @xmath319 of the matrices @xmath320 in eq .
( [ eq:126 ] ) . when we consider double - valued representations , on the other hand , this sum runs over @xmath308 diagonal elements @xmath321 of the corresponding matrices @xmath322 where @xmath323 [ where @xmath324 is given in eq .
( [ eq:38 ] ) ] because also @xmath325 is diagonal and now there are two wannier functions @xmath326 with @xmath263 at each position @xmath327 .
we need not to solve eq .
( [ eq:25 ] ) directly but we may determine the representations @xmath328 complying with eq .
( [ eq:25 ] ) in a quicker way .
( [ eq:134 ] ) shows that we may write the matrices @xmath329 simply as kronecker products , @xmath330 where @xmath331 is given in eq .
( [ eq:126 ] ) .
now assume that we have already determined according to theorem  [ theorem1 ] the single - valued representations @xmath332 in the closed band under consideration .
then , the representations @xmath204 and @xmath333 are equivalent [ see eq .
( [ eq:41 ] ) ] and , consequently , also the representations @xmath334 and @xmath335 are equivalent . hence [ sec .
[ sec : eq4.28 ] ] the double - valued representations @xmath328 comply with theorem  [ theorem1 ] in the same way as the single - valued representations @xmath332 do .
[ def:20 ] in this context we call the band defined by the double - valued representations @xmath328 in eq .
( [ eq:85 ] ) the `` double - valued band '' and the band defined by the single - valued representations @xmath336 an `` affiliated single - valued band '' .
while a double - valued band may possess several affiliated single - valued bands , any single - valued band is affiliated to exactly one double - valued band .
the affiliated single - valued band is a closed band that , generally , does not exist in the band structure of the considered material .
that means that the bloch functions @xmath19 of the closed band under consideration band generally do not form a basis for the representations @xmath336 even if eq .
( [ eq:56 ] ) is valid , see , e.g. , the single - valued band affiliated to the superconducting band [ definition  [ def:22 ] ] of niobium as given in eq .
( [ eq:97 ] ) .
we may summarize the result of this section in    [ theorem5 ] remember that we consider a closed energy band of @xmath12 branches and let be given a representation @xmath47 defining the spin - dependent wannier functions which was determined according to theorem  [ theorem11 ] .
the band may only be closed after the spin - dependent perturbation @xmath252 was activated .
let be @xmath20 a point of symmetry in the first domain of the brillouin zone for the considered material and let be @xmath317 the little double group of @xmath20 in herrings sense .
that means , @xmath317 is the finite group denoted in ref .
@xcite by @xmath318 and explicitly given in table 6.13 ibidem .
furthermore , let be @xmath328 the @xmath308-dimensional representation of @xmath317 whose basis functions are the @xmath308 bloch spinors @xmath254 with wave vector @xmath163 .
@xmath328 either is irreducible or the direct sum over double - valued irreducible representations of @xmath317 . the representations @xmath328
follow eq .
( [ eq:85 ] ) , @xmath337 where the @xmath12-dimensional representations @xmath338 define the affiliated single - valued band .
thus , also each @xmath336 is the direct sum over single - valued irreducible representations of @xmath23 .
we may choose the coefficients @xmath250 and @xmath265 in eqs .
( [ eq:67 ] ) and  ( [ eq:62 ] ) , respectively , in such a way that the spin - dependent wannier functions are best localized [ definition  [ def:3 ] ] and symmetry - adapted to the double group @xmath302 [ definition  [ def:18 ] ] if the characters @xmath157 of the single - valued representations @xmath336 satisfy eq .
( [ eq:25 ] ) .
the complex numbers @xmath73 in eq .
( [ eq:32 ] ) stand for the elements of the one - dimensional representations @xmath162 of @xmath105 fixing the given representation @xmath47 defining the spin - dependent wannier functions [ according to definition  [ def:17 ] ] .
within the nonadiabatic heisenberg model we are not interested in spin - dependent wannier functions that are symmetry - adapted to a general magnetic group as given in eq .
( [ eq:17 ] ) , but we only demand that they are adapted to the `` grey ''  @xcite magnetic group @xmath339 or , in brief , we demand that they are adapted to the time - inversion symmetry . @xmath226
still denotes the operator of time inversion acting on a function of position @xmath31 according to eq .
( [ eq:70 ] ) and on pauli s spin functions @xmath279 according to @xmath340 ( see , e.g. , table 7.15 of ref .
@xcite ) , where we may define the plus to belong to @xmath341 and the minus to @xmath342 .    the index @xmath171 of the spin - dependent wannier functions we still interpret as the quantum number of the crystal spin . consequently
, we demand that @xmath226 acts on @xmath171 in the same way as it act on @xmath0 , @xmath343 where again we define the plus to belong to @xmath344 and the minus to @xmath345 .
[ def:6 ] we call the spin - dependent wannier functions `` symmetry - adapted to the magnetic group @xmath346 '' as given in eq .
( [ eq:100 ] ) if they are symmetry - adapted to @xmath302 [ definition  [ def:18 ] ] , and if , in addition , eq .  ( [ eq:102 ] ) is satisfied .    in analogy to eq .
( [ eq:72 ] ) , eq .
( [ eq:102 ] ) may be written as @xmath347 where @xmath348 $ ] denotes the @xmath12-dimensional identity matrix @xmath349 and @xmath350 =    \left (    \begin{array}{cc }     0 & -1 \\                  1 & 0 \\                  \end{array }    \right).\ ] ]    eq .
( [ eq:81 ] ) shows that the @xmath308-dimensional matrix @xmath351 is the matrix representative of the operator @xmath226 of time inversion in the co - representation of the magnetic point group @xmath352 derived from the representation @xmath310 in eq .
( [ eq:75 ] ) .
thus , the matrix @xmath353 has to comply ( sec .
[ sec : mgroups ] ) with the three equations  ( [ eq:60 ] ) ,  ( [ eq:61 ] ) and  ( [ eq:66 ] ) which now may be written as @xmath354 respectively .    the first eq .
( [ eq:106 ] ) is true because @xmath355 and the second eq .
( [ eq:108 ] ) is satisfied if * n * and * n * in eq .
( [ eq:103 ] ) follow two conditions , @xmath356 and @xmath357 the first condition  ( [ eq:114 ] ) is always valid , see , e.g. , table 7.15 ( q ) of ref .
@xcite , and the second condition  ( [ eq:116 ] ) is satisfied if the representation @xmath47 defining the spin - dependent wannier functions is real .    in the third eq .
( [ eq:107 ] ) the diagonal matrix @xmath358 has the form @xmath359 [ cf .
eq.([eq:134 ] ) ] where @xmath360 is given in eq .
( [ eq:37 ] ) .
thus , eq .  ( [ eq:107 ] ) decomposes into two parts , @xmath361 and @xmath362 which both are evidently satisfied .
we summarize our results in this sec .
[ sec : timeinversionsdwf ] in    [ theorem6 ] the coefficients @xmath250 and @xmath265 in eqs .
( [ eq:67 ] ) and  ( [ eq:62 ] ) , respectively , may be chosen in such a way that the spin - dependent wannier functions are best localized [ definition  [ def:3 ] ] and even symmetry - adapted to the magnetic group @xmath346 in eq .
( [ eq:100 ] ) [ definition  [ def:6 ] ] if , according to theorem  [ theorem5 ] , they may be chosen symmetry - adapted to @xmath302 and if , in addition , the representation @xmath47 defining the spin - dependent wannier functions used in theorem  [ theorem5 ] is real .
[ def:22 ] if , according to theorem  [ theorem6 ] , the unitary transformation in eq .
( [ eq:68 ] ) may be chosen in such a way that the spin - dependent wannier functions are best localized and symmetry - adapted to the magnetic group @xmath346 in eq .
( [ eq:100 ] ) , we call the band under consideration [ as defined by the double - valued representations @xmath363 in eq .
( [ eq:157 ] ) ] a `` superconducting band '' .    within the nonadiabatic heisenberg model ,
the existence of a narrow , roughly half - filled superconducting band in the band structure of a material is a precondition for the stability of a superconducting state in this material .      in this section
we derive the time - inversion symmetry of the matrices @xmath365 defined in eq .
( [ eq:62 ] ) and shall give the result in theorem  [ theorem12 ] .
thought evidence for this important theorem was already provided in ref .
@xcite and later papers  @xcite , we repeat the proof with the notations used in the present paper .    combining eqs .
( [ eq:67 ] ) and  ( [ eq:68 ] ) we may write the spin - dependent wannier functions as @xmath366    by application of the operator @xmath226 of time - inversion on eq .
( [ eq:110 ] ) we receive @xmath367    eq .  ( [ eq:102 ] ) , on the other hand , may be written as @xmath368 or , by replacing under the sum @xmath20 by @xmath369 , @xmath370 where @xmath371    comparing eq .
( [ eq:121 ] ) with eq .
( [ eq:113 ] ) we receive the two equations @xmath372 and @xmath373 while the first eq .
( [ eq:122 ] ) is relatively meaningless , from the second eq .
( [ eq:123 ] ) we may derive the important eq .
( [ eq:124 ] ) :    eq .
( [ eq:62 ] ) yields the two equations @xmath374 where now the sum runs over @xmath375 , and @xmath376 because  @xcite @xmath377    [ theorem12 ] substituting eqs .
( [ eq:152 ] ) and  ( [ eq:153 ] ) in eq .
( [ eq:123 ] ) we obtain the fundamental condition @xmath378 where the plus sign holds for @xmath379 and the minus for @xmath380 .    within the nonadiabatic heisenberg model ,
the validity of this condition is the cause of the formation of symmetrized cooper pairs in superconducting bands  @xcite .
this eq .
( [ eq:124 ] ) may evidently be written in the more compact form @xmath381 where @xmath382 is given in eq .
( [ eq:104 ] ) .      only those bands are of physical relevance in the theory of superconductivity which are closed not before the spin - dependent perturbation @xmath252 is activated . in this section
we derive the essential property of such bands and shall give the result in theorem  [ theorem7 ] .    let
be @xmath20 a point lying on the surface of the first domain in the brillouin zone for the space group @xmath16 and let be @xmath154 the little group of @xmath20 . in this section
, @xmath20 need not be a point of symmetry [ according to definition  [ def:19 ] ] but also may lie in a line or a plane of symmetry .
however , we only consider wave vectors @xmath20 at which eq .
( [ eq:56 ] ) is valid .
hence , in general , the bloch functions @xmath19 are basis functions for a _ one_-dimensional ( single - valued ) representation of @xmath383 . nevertheless , in very rare cases , the bloch function @xmath19 can be a basis function for a degenerate ( single - valued ) representation .
both cases shall be examined separately .    just as in eq .
( 3.1 ) of ref .
@xcite we arrange the @xmath308 bloch spinors @xmath275 in eq .
( [ eq:56 ] ) as column vector @xmath384 with increasing energy , @xmath385    then the analogous column vector @xmath386 consisting of the bloch spinors @xmath387 in eq .
( [ eq:67 ] ) may be written as @xmath388 where @xmath389 and @xmath390 the matrices @xmath39 and @xmath365 are defined by eqs .
( [ eq:148 ] ) and  ( [ eq:94 ] ) and still follow eqs .
( [ eq:5 ] ) and  ( [ eq:86 ] ) , respectively , and @xmath391    the matrices @xmath392 must satisfy eqs .
( 4.8 ) and  ( 4.29 ) of ref .
@xcite in order that the wannier functions are symmetry - adapted and best localized .
[ we shall consider only eq .
( 4.29 ) of ref .
@xcite because this equation comprises eq .
( 4.8 ) _ ibidem _ ] .    using the notations of the present paper , eq .  ( 4.29 ) of ref .
@xcite may be written as @xmath393 where the matrices @xmath394 and @xmath395 denote the representatives of the the representations @xmath328 and @xmath396 given in eqs .
( [ eq:157 ] ) and  ( [ eq:143 ] ) , respectively .
assume that the representations @xmath363 are determined according to theorem  [ theorem5 ] .
then the representations @xmath397 and @xmath204 as well as the representations @xmath328 and @xmath398 are equivalent for the points @xmath20 of symmetry .
consequently , these representations are even equivalent in any point @xmath20 of the brillouin zone because the compatibility relations are valid in a closed band  @xcite .
first , from the equivalence of @xmath332 and @xmath204 it follows that the equation @xmath399 is solvable for any @xmath20 .      in this subsection
we assume that the bloch states @xmath400 are basis functions for a _
one_-dimensional ( single - valued ) representation of @xmath154 .
the representations @xmath401 are the direct sum over the double - valued representations of the bloch spinors in the considered band , as arranged in the column vector given in eq .
( [ eq:127 ] ) .
hence , the matrices @xmath394 on the left hand side of eq .
( [ eq:131 ] ) may be written as @xmath402 ( for @xmath403 ) , where the bloch state @xmath19 is basis function for the single - valued representations @xmath404 .
the matrices on the right hand side of eq .
( [ eq:131 ] ) may be written as @xmath405\cdot { \bf f}^{d*}(\bm k ) .
\end{array}\ ] ] using eqs .
( [ eq:129 ] ) ,  ( [ eq:142 ] ) and  ( [ eq:151 ] )
we may write the matrices between the square brackets as @xmath406 where again the matrices @xmath407 form single - valued one - dimensional representations @xmath408 . remember that [ definition  [ def:20 ] ] the single - valued representations @xmath409 are not associated to the bloch functions of the considered band but are fixed by the representation @xmath47 defining the spin - dependent wannier functions .
( [ eq:137 ] ) shows that also the matrices between the square brackets form a representation being the direct sum over double - valued representations and , hence , eq .
( [ eq:131 ] ) splits into the @xmath12 equations @xmath410 ( @xmath411 ) , which are solvable because the representations @xmath328 and @xmath398 and , hence , also the representations @xmath412 and @xmath413 are equivalent .
we now distinguish between two possibilities :    * if the considered energy band was already closed before the spin - dependent perturbation @xmath252 was activated , then the affiliated single - valued band actually exists as closed band in the band structure of the material under consideration and , thus , the representations @xmath404 and @xmath414 are equal , @xmath415 hence , all the @xmath12 equations  ( [ eq:140 ] ) are solved by @xmath416 with the consequence that the wannier functions are , in fact , not spin - dependent but are usual wannier functions as defined in eq .
( [ eq:1 ] ) . * if the considered energy band was not closed before the spin - dependent perturbation @xmath252 was activated , then not all the representations @xmath404 are equal to @xmath417 . evidently , the @xmath21th equation is _ not _ solved by @xmath418 when @xmath419 and , consequently , the wannier function actually are spin - dependent .
we summarize this result in theorem  [ theorem7 ] .
[ theorem7 ] if the considered energy band was not closed before the spin - dependent perturbation @xmath252 was activated , the matrices @xmath420 in eq .
( [ eq:62 ] ) can not be chosen independent of @xmath20 .    in the sec .
[ sec : niob ] the matrix @xmath365 shall by determined for some points in the brillouin zone of niobium .
in rare cases , it can happen that at a special point @xmath20 some of the bloch states @xmath19 are basis functions for a degenerate ( single - valued ) representation and that this degeneracy is _ not _ removed by the perturbation @xmath252 .
for example , each of the two superconducting bands in the space group @xmath421 ( 129 ) listed in table 3 ( b ) of ref .
@xcite consist of two branches degenerate at points @xmath3 and @xmath422 . the single - valued bands 1 and 2 in table 3 ( a ) of ref .
@xcite are affiliated to the superconducting band 1 in table 3 ( b ) _ ibidem _ ; bands 3 and 4 in table 3 ( a ) are affiliated to band 2 in table 3 ( b ) .
it is crucial for the localization of the spin - dependent wannier functions that also in this case eq .  ( [ eq:131 ] ) is solvable .
we reveal the solubility of this equation on the example of the bands listed in table 3 of ref .
@xcite .    at point @xmath3 in each of these bands , eq .  ( [ eq:140 ] )
may be written as @xmath423 where @xmath424 and @xmath425 now are _
two_-dimensional ( single - valued ) representations and the matrix @xmath426 now is four - dimensional , @xmath427 see eq .
( [ eq:130 ] ) .    though @xmath428 and @xmath429 again are equivalent , it is not immediately evident that eq .
( [ eq:118 ] ) is solvable because @xmath430 is not a general @xmath431 matrix .
however , also the representations @xmath428 and @xmath432 have a very special form since they may be written simply as kronecker products .
( [ eq:118 ] ) indeed is solvable since it expresses the most general unitary transformation between these special representations .
for instance , consider the point @xmath3 of one of the bands in table 3 ( b ) of ref .
@xcite and let be @xmath433 given by the calculated band structure of the material under consideration .
in addition , let us choose band 1 in table 3 ( a ) of ref .
@xcite as affiliated single - valued band .
thus , we have @xmath434 and eq .
( [ eq:118 ] ) is solved by @xmath435 as it may be determined by means of the tables given in ref .
@xcite .
though both band 1 and band 2 in table 3 ( b ) of ref .
@xcite are mathematically correct superconducting bands , they can not be occupied in undoped lafeaso  @xcite which , consequently , is not superconducting .      in this subsection we show that neither eq .
( [ eq:122 ] ) nor eq .
( [ eq:149 ] ) is inconsistent with eq .
( [ eq:131 ] ) .
remember that in this section we only consider points @xmath20 at which eq .
( [ eq:56 ] ) is valid .
first , taking the complex conjugate of eq .
( [ eq:151 ] ) , we receive with @xmath436 and @xmath437 the condition @xmath438 showing that we may chose @xmath439 and , hence , eq .
( [ eq:122 ] ) is consistent with eq .
( [ eq:146 ] ) and , consequently , with eq.([eq:131 ] ) .    secondly , transforming the complex conjugate of eq .
( [ eq:140 ] ) with the matrix @xmath382 in eq .
( [ eq:104 ] ) and using @xmath440 , @xmath441 , and @xmath442 ( see eq .
( [ eq:114 ] ) ) , we obtain the equation @xmath443 showing that , in fact , we may chose @xmath444 hence , eq .
( [ eq:149 ] ) is consistent with eq .
( [ eq:131 ] ) .
consider the superconducting band [ definition  [ def:22 ] ] of niobium in fig .
[ figure1 ] , as denoted by the dotted line .
at the four points of symmetry @xmath189 , @xmath16 , @xmath36 , and @xmath445 in the brillouin zone for the space group @xmath446 of niobium , this band is characterized by the representations @xmath447 of @xmath446 in the familiar notation of bouckaert , smoluchowski and wigner  @xcite , which may be written as @xmath448 respectively , in the notation of bradley and cracknell  @xcite ( see tables 5.7 and 5.8 _ ibidem _ ) which is consistently used in our papers .
when we take into account that the electrons possess a spin , we receive @xmath449    hence , at the points @xmath189 , @xmath16 , @xmath445 , and @xmath36 the bloch spinors can be transformed in such a way that at each of the four points @xmath189 , @xmath16 , @xmath36 , and @xmath445 two spinors form basis functions for the double - valued representations @xmath450 respectively
. we may unitarily transform the bloch spinors @xmath258 of this single energy band characterized by the representations  ( [ eq:91 ] ) into best localized and symmetry - adapted spin - dependent wannier functions because theorem  [ theorem5 ] yields with @xmath451 , @xmath452 , @xmath453 , @xmath454 , and @xmath455 first the single - valued representations @xmath456 and then , with eq .  ( [ eq:157 ] ) , the double - valued representations  ( [ eq:91 ] ) .    the representations in eq .
( [ eq:97 ] ) define ( the only ) single - valued band affiliated to the superconducting band defined by the representations in eq .
( [ eq:91 ] ) [ definition  [ def:20 ] ] .
the representation @xmath47 defining the spin - dependent wannier functions [ definition  [ def:17 ] ] is equal to @xmath457 , @xmath458 @xmath47 is one - dimensional since we have one nb atom in the unit cell .
the spin - dependent wannier functions may be chosen symmetry - adapted to the magnetic group in eq .
( [ eq:100 ] ) because @xmath457 is real .
the bloch functions of the superconducting band _ can not _ be unitarily transformed into usual wannier functions which are best localized and symmetry - adapted to @xmath446 since it was not closed before the spin - dependent perturbation @xmath252 was activated .
thus [ theorem  [ theorem7 ] ] , we can not choose the matrix @xmath459 in eq .
( [ eq:62 ] ) ( with @xmath460 since we only have one branch in the superconducting band of nb ) independent of @xmath20 when we demand that the wannier functions are best localized and symmetry - adapted .
this important statement shall be demonstrated by an example :    consider the point @xmath36 with the wave vector @xmath461 in the first domain of the brillouin zone for @xmath446 .
the representations @xmath462 and @xmath463 in eq .
( [ eq:140 ] ) are given by eqs .
( [ eq:97 ] ) and  ( [ eq:89 ] ) , @xmath464 and @xmath465 thus , eq .
( [ eq:140 ] ) may be written as @xmath466 this equation is solvable since both representations @xmath467 and @xmath468 are equivalent , but it is evidently not solved by @xmath469 .
in fact , we receive @xmath470 by means of tables 5.7 and 6.1 of ref .
this is the value of @xmath471 also on the planes of symmetry intersecting at @xmath36 in the neighborhood of @xmath36 .
further away from @xmath36 , however , @xmath472 may change since it is @xmath20 dependent .    in the same way , we find @xmath473 for the points @xmath474 on the line @xmath475 .    eqs .
( [ eq:144 ] ) and  ( [ eq:145 ] ) demonstrate that @xmath476 can not be chosen independent of @xmath20 in the superconducting band of niobium .
in the present paper we gave the group theory of best localized and symmetry - adapted wannier functions with the expectation that it will be helpful to determine the symmetry of the wannier functions in the band structure of any given material .
the paper is written in such a way that it should be possible to create a computer program automating the determination of wannier functions .    in this paper
we restricted ourselves to wannier functions that define magnetic or superconducting bands .
that means that we only considered wannier functions centered at the atomic positions .
when other physical phenomena shall be explored , as , e.g. , the metallic bound , other wannier functions may be needed which are centered at other positions , e.g. , between the atoms .
it should be noted that refs .
@xcite ,  @xcite and  @xcite define best localized and symmetry - adapted wannier functions in general terms which may be centered at a variety of positions @xmath50 being different from the positions of the atoms .
34ifxundefined [ 1 ] ifx#1 ifnum [ 1 ] # 1firstoftwo secondoftwo ifx [ 1 ] # 1firstoftwo secondoftwo `` `` # 1''''@noop [ 0]secondoftwosanitize@url [ 0 ]
+ 12$12  & 12#1212_12%12@startlink[1]@endlink[0]@bib@innerbibempty @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) ,   @noop * * ,   ( ) @noop * * ,   ( ) @noop * * , ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop _ _  ( ,  ) @noop _ _  ( ,  ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( )