Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: field theoretical models in external electromagnetic fields are of great interest and have attracted a lot of attention @xcite . they are relevant to the study of many physical systems whose properties depend on the effects produced by external fields , especially when such effects are non - perturbative in nature . a particular example of such a situation is the so - called magnetic catalysis of chiral symmetry breaking @xcite ( see also @xcite for some earlier studies ) which has many potential applications in condensed matter physics @xcite and in studies of the early universe @xcite .    it is well known that a sufficiently strong attractive interaction between massless fermions can result in a chiral symmetry breaking condensate and a dynamically generated fermion mass . in the nambu - jona - lasinio ( njl ) model , for example , this occurs when the interaction strength is at a particular large critical value . it is also now known that the presence of an external magnetic field can be a strong catalyst for this effect , leading in some cases to the generation of a dynamical mass for fermions even by very weak attractive interactions . for example , in an external magnetic field , the critical value of the njl coupling is reduced to zero . it was suggested in @xcite that this magnetic catalysis of chiral symmetry breaking is a rather universal phenomenon and that its main features are model independent . the arguments were based on the observation that the effect is primarily due to the dynamics of the fermions from the lowest landau level which are gapless and should therefore dominate the behavior of the system at long wavelengths .    in this paper we will develop this idea further . we shall investigate the low - energy dynamics of chirally symmetric models with a short range interaction in an external magnetic field . the idea is to construct an effective action for the low energy degrees of freedom . in strong external magnetic fields , these are the modes of charged particles in the lowest landau level . in the absence of interactions , their effective dynamics is described by a field theory whose dimensionality is two less than the spacetime dimension . we shall take the hypothesis that , at least for strong magnetic fields and short ranged interactions , the dynamics of chiral symmetry breaking can be understood in the lower dimensional effective theory .    as an illustration , we shall argue that this assumption is very natural in 2 + 1 dimensions . there , the modes of the lowest landau level are non - propagating , and in the absence of interactions , the ground state is highly degenerate and contains both chirally symmetric and chirally non - symmetric states . interactions , even with infinitesimally small coupling constants , will split this degeneracy , and whether chiral symmetry breaking occurs or not depends on whether the interaction favors the chirally non - symmetric or chirally symmetric ground states . one by - product of our analysis will be the fact that the dynamical generation of parity violating masses seems to be suppressed by magnetic fields .    in the more complicated case of ( 3 + 1)-dimensional gauge theory , we shall argue that the infrared dynamics is governed by an effective ( 1 + 1)-dimensional gross - neveu like theory with an infinite number of flavors of fermions . we derive the most general low energy effective action which is compatible with the symmetries of the four dimensional theory . we then study the resulting model using the renormalization group . we will present a plausible argument for our main conclusion : that the presence of chiral symmetry breaking depends crucially on the sign ( but not the magnitude ) of one particular moment of the coupling constants which we denote by @xmath0 . if it is of the appropriate sign , its infrared renormalization group flow is to strong coupling and chiral symmetry is broken . with the other sign it flows to zero coupling and chiral symmetry remains unbroken . consider a system of relativistic ( 2 + 1)-dimensional fermions with the dirac hamiltonian @xmath1 where @xmath2 is the covariant derivative and @xmath3 are the first two pauli matrices . this hamiltonian is obtained in the continuum limit of some tight - binding lattice models relevant to condensed matter physics  on a square lattice with half of a quantum of magnetic flux through each plaquette ( see @xcite and references therein ) or on a honeycomb lattice without a magnetic field @xcite.it has also been discussed in the context of the continuum limit of the _ d_-wave state of high @xmath4 superconductors @xcite . @xmath5 commutes with any linear combination of the matrices @xmath6 which generate the lie algebra of a @xmath7 flavor symmetry which we will call chiral symmetry . possible mass terms which can be added to @xmath5 must be matrices which anti - commute with it . the basic matrix which anti - commutes with @xmath5 and which commutes with all of the flavor generators is @xmath8 and a mass term which one could add to @xmath5 which would preserve the flavor symmetry is @xmath9 . generally , in 2 + 1 dimensions , fermion mass terms violate parity symmetry . a parity transformation which is a symmetry of the massless dirac equation @xmath10 and which commutes with the flavor symmetry generators @xmath11 is @xmath12 the mass term @xmath9 is odd under this transformation and it would therefore violate parity symmetry . more generally , all mass terms of the form @xmath13 are odd under the parity defined in eq . ( [ pparity ] ) . moreover , there is no modification of the parity transformation which would make the mass @xmath9 parity symmetric . it is possible to get a parity invariant mass by breaking the flavor symmetry . for this , we must define parity as a combination of the transformation ( [ pparity ] ) and a discrete flavor transformation , for example , @xmath14 this is a symmetry of @xmath5 and it also commutes with the mass term @xmath15 . this mass term breaks the @xmath7 flavor symmetry to @xmath16 . this existence of the unitary matrix @xmath17 which anti - commutes with @xmath5 implies that @xmath5 has a symmetric spectrum : if @xmath18 , then @xmath19 and , with a particular choice of phase , @xmath20 . thus , for each positive energy state , there is a negative energy state and the probability measure @xmath21 is a symmetric function of @xmath22 . the interesting feature of @xmath5 is the appearance of zero energy states in a background magnetic field . consider the equation @xmath23 where the background electromagnetic field is static and has the property @xmath24 . it has the solution @xmath25 v(x),\ ] ] where @xmath26 and @xmath27 the second equation in eqs . ( [ flux ] ) has the solution @xmath28 with asymptotic behavior @xmath29 ( this is strictly correct if the magnetic field goes to zero sufficiently quickly at infinity for the total flux @xmath30 to be finite . if it is not finite , there is an infinite number of zero modes and their density is given by @xmath31 where @xmath32 is the volume . ) asymptotically , @xmath33 in order to have a normalizable zero mode , the spinor @xmath34 should be an eigenvector of @xmath35 with eigenvalue @xmath36 ( @xmath37 if @xmath38 and @xmath39 if @xmath40 ) . it then must be a normalizable solution of the equations @xmath41 solutions of this equation are @xmath42^k$ ] for @xmath43 - 1 $ ] where @xmath44 $ ] is the largest integer less than @xmath45 and the maximum value of @xmath46 is the largest power allowed by normalizability of the wave function . thus there are @xmath47 $ ] normalizable zero modes . this fact depends only on the total magnetic flux and is independent of the profile of the magnetic field . the result , which we have found by explicit computation , is also a result of the atiyah - singer index theorem generalized to open spaces@xcite . some other applications of this idea are discussed in @xcite . there are thus @xmath48 $ ] zero mode wave functions of @xmath5 . all of them obey the equation @xmath49 @xmath47 $ ] of them obey the equation @xmath50 and @xmath47 $ ] of them obey @xmath51 of course , any linear combination of them is also a zero mode and could be chosen to be eigenvalues of any of the flavor symmetry breaking mass operators @xmath52 . all linear combinations would satisfy eq . ( [ eig ] ) . the existence of zero modes implies that the dirac ground state of the second quantized system of fermions is degenerate . in the ground state , all negative energy states of the fermions are full and all positive energy states are empty . for overall charge neutrality , half of the fermion zero modes must be occupied  but the occupation of zero modes is otherwise unconstrained . this means that the degeneracy of the ground state is @xmath53 ^ 2 $ ] where @xmath54 $ ] is the number of zero mode wave - functions .    in second quantization , the expectation value of any fermion bilinear operator , using the dirac commutator for normal ordering , is @xcite @xmath55 since , in the dirac ground state , all positive energy states are unoccupied and negative energy states are occupied , and since @xmath17 maps positive energy states onto negative energy states , if the matrix @xmath56 commutes with @xmath17 , only the zero modes survive in this summation . first of all , this means that in a magnetic field the expectation value of the parity violating mass operator vanishes , @xmath57 regardless of the occupation of zero modes . this has the implication that external magnetic fields do not enhance the generation of parity violating mass terms . in fact , it indicates that if the external field is strong enough that the zero modes are well isolated , the expectation value of a parity breaking mass operator , @xmath58 should always vanish .    on the other hand , the parity invariant , chiral symmetry breaking mass ( with @xmath59 ) has the expectation value @xmath60 it is possible to choose ground states where this expectation value has any value between two bounds : @xmath61 \leq \left\langle\int d^2x : \bar\psi(x)t^3\psi(x):\right\rangle \leq [ \vert\chi\vert].\ ] ] if we added an infinitesimal mass term @xmath62 to the hamiltonian @xmath5 , the system would choose the ground state with minimal @xmath63 , that is the one where is finite , the dirac hamiltonian has a continuum spectrum whose support begins at zero energy . furthermore , there is a threshold density of continuum states whose contribution to bilinear densities such as eq . ( [ chrl ] ) makes up the difference between @xmath47 $ ] and @xmath45 which is proportional to the spectral asymmetry of the hamiltonian and is the correct result . for details , see @xcite . in the present paper , for simplicity we ignore the relatively small error which we make in neglecting the asymmetry of the continuum spectrum . when the magnetic flux is infinite , for example in the case of constant external field , @xmath47 $ ] should be replaced by @xmath64 where @xmath32 is the spatial volume . ] @xmath65\mbox{sgn}(m\chi ) . \label{chrl}\ ] ] the observation that this is so for infinitesimal mass was made in @xcite . however , this does not mean that chiral symmetry is necessarily broken . it only implies that the ground state is degenerate and there are chirally non - symmetric ground states which are degenerate with chirally symmetric ones . if there are additional weak interactions , of course , the correct ground state should be found by resolving the degeneracy using degenerate perturbation theory . in this case , all that is required to break chiral symmetry is an interaction which favors a chirally non - symmetric population of the zero modes .    if the interaction favors the breaking of chiral symmetry , symmetry breaking occurs for even an infinitesimal value of its coupling constant . this is the reason why the critical value of the interaction can be at zero coupling in the presence of a magnetic field . in fact , in the absence of external magnetic fields a critical coupling necessary to break chiral symmetry is typically large . in the presence of the magnetic field it is reduced to zero . for example , it is well known that an interaction of the njl model , @xmath66 when added to the hamiltonian will break the chiral symmetry if the coupling constant is attractive and is greater than a particular critical value . this is seen by analyzing solutions of the schwinger - dyson equation for a mass condensate . it was shown in @xcite that , in the presence of a magnetic field , the critical coupling moves from some finite value to zero  even an infinitesimal coupling will break the chiral symmetry . that observation is consistent with our finding here . an interesting test of this idea would be to examine the effect on system with the interaction @xmath67 which can break parity by generating a parity violating fermion mass if @xmath68 has the appropriate sign and is of large enough magnitude @xcite . our analysis seems to suggest that a large magnetic field should in fact tend to increase the magnitude of the critical coupling . in 3 + 1 dimensions , the situation is more complicated . the zero modes of the dirac hamiltonian in a background magnetic field still have some dynamics which is non - trivial and there are more possibilities for interactions .    to understand the general strategy that we will take , begin with the lagrangian which describes dirac fermions interacting with an external electromagnetic field , @xmath69 where @xmath70 . for concreteness , we choose the chiral representation of the dirac matrices , @xmath71 and we shall use the notation @xmath72 the lagrangian has the form @xmath73 . \label{s_0}\ ] ] this action has a global @xmath74 chiral symmetry . in the following , we must keep in mind that when there are both background electric and magnetic fields , or if the gauge field is dynamical , this symmetry is reduced to the vector @xmath75 by the axial anomaly . for simplicity , in this paper we will assume that this is not the case . it would be straightforward to extend the present work to models with dynamical @xmath75 fields , by introducing more species of fermions so that there exist chiral symmetries which are unaffected by the axial anomaly . for now , we will consider the case of a constant non - dynamical background magnetic field , @xmath76 in this background field , it is convenient to make use of the mixed spacetime - momentum representation as follows : @xmath77,\ ] ] where , by definition , @xmath78 , @xmath79 and @xmath80 the spectrum of @xmath81 is well known . the equation @xmath82 has eigenvalues @xmath83 for all integers @xmath84 . when @xmath85 , these are dispersion relations of ( 1 + 1)-dimensional dirac fermions with masses given by @xmath86 . [ of course , this mass gap is not lorentz invariant from a four - dimensional point of view . however , it is lorentz invariant in 1 + 1 dimensions . the reason for this is that there is a subgroup of the lorentz group which survives in the background magnetic field  it is invariant under boosts in the direction of the field lines . here this will mean that the effective theory for landau levels must be invariant under the ( 1 + 1)-dimensional lorentz transformations . ] zero modes of @xmath87 are solutions of the equation @xmath88 and are given by the infinite set of ortho - normal functions @xmath89 with @xmath90 . here , without loss of generality , we assumed that @xmath91 . in the ( 1 + 1)-dimensional theory , the zero modes of @xmath87 correspond to massless fermions . the lagrangian is ( restoring the space dependence ) @xmath92 where @xmath93 and the new fields are defined as the coefficient functions in the expansions of @xmath94 and @xmath95 over the complete set of eigenstates : @xmath96    note that the kinetic term in the action ( [ massless ] ) for the massless modes appears to have a @xmath97 with @xmath98 symmetry . this is just the unitary symmetry which mixes the different wave functions of the degenerate zero modes , and which is actually there for every landau level . this effective symmetry is not preserved by interactions . we will analyze the possibility that interactions that are added to this field theory drive a spontaneous breaking of the @xmath99 chiral symmetry by generating a mass gap for the fermions in eq . ( [ massless ] ) . we expect that this spontaneous symmetry breaking takes place at very long wavelengths . our approach to the problem in the following sections can be summarized as follows :    1 . we consider the theory of four - dimensional fermions in a magnetic field as described above , with some interactions which should be local and respect ( 3 + 1)-dimensional poincar and chiral symmetry but are otherwise unspecified . we then consider the effective field theory which is obtained by integrating out all of the massive modes of the fermions in eq . ( [ massless ] ) and momentum states of the massless modes above an ultraviolet cutoff . we assume that the resulting effective lagrangian is local . to guarantee locality , we generally have to assume that the interactions between fermions in four dimensions are short ranged . furthermore , the ultraviolet cutoff for the effective theory should be less than the mass gap of the lightest massive mode , @xmath100 . we consider all relevant operators which could be added to the effective lagrangian which are consistent with the symmetries of the theory . since they should be relevant in the sense of two dimensional field theory , these are all possible four - fermion operators which are consistent with symmetry . there are an infinite number of such operators . we compute the beta function for the coupling constants of the relevant operators and look for infrared stable fixed points . these fixed points should govern the behavior of the very long - wavelength degrees of freedom of the theory . 6 . if the coupling constants flow to an infrared stable fixed point , then an infrared limit of the massless theory exists and there is no symmetry breaking . if , on the other hand , the coupling constant flow is not in the domain of attraction of any infrared fixed point , so that it flows to strong coupling in the infrared , we postulate that this implies the dynamical generation of a mass gap  and spontaneously broken chiral symmetry . we shall find examples of both kinds of behavior . an example of a local four dimensional interaction which preserves the @xmath101 chiral symmetry is the njl interaction @xcite , @xmath102 . \label{lagnjl}\ ] ] a renormalizable version of this interaction would be one which is mediated by a massive scalar mesons . the constraints of ( 1 + 1)-dimensional lorentz invariance and @xmath103 chiral symmetry allow four - fermion coupling constants as in the effective theory , @xmath104 the coupling constants @xmath105 obey further constraints from charge conjugation , parity and time reversal ( cpt ) symmetry and the symmetry of the underlying theory under translations and rotations about the axis of the magnetic field which are summarized in appendix  [ appa ] . a general solution of those constraints would yield the most general allowed structure of the low - energy effective action in eq . ( [ eff - gen ] ) . some particular solutions of those constraints are of interest . for example , the constraints allow the maximally symmetric solution with @xmath97 ( @xmath106 ) symmetry , @xmath107 where @xmath108 is real . similarly , there is a solution with @xmath109 ( with @xmath106 ) symmetry , @xmath110 where @xmath111 is real again . in addition a large class of solutions could be found by the reduction of the interactions in the original ( 3 + 1)-dimensional model to the lowest landau level . after such a reduction of the njl interaction ( [ lagnjl ] ) , we arrive at @xmath112 since it descends from a lorentz and chirally invariant interaction in 3 + 1 dimensions , it must necessarily satisfy the constraints of symmetry [ see eqs . ( [ real ] ) , ( [ parity ] ) , ( [ restrict1 ] ) , ( [ restrict2 ] ) and ( [ nnmm ] ) ] . unlike the first two solutions in eqs . ( [ unun ] ) and ( [ uv ] ) , this last one in eq . ( [ lll - int ] ) does not seem to have any extra symmetry in addition to the required @xmath103 flavor symmetry . now , we envisage having obtained the effective action ( [ eff - gen ] ) by integrating out all modes in the higher landau levels , as well as all momentum modes of the fermions in the lowest landau level which are above a certain cutoff . of the many interactions that this procedure would produce , we have kept only the local four - fermion operators . this procedure is legitimate only if the ultraviolet cutoff of this model is lower than the lowest mass gap of the fields which have been eliminated , i.e. @xmath113 . by chiral symmetry and lorentz invariance , the effective action can not contain mass terms for the fermions . furthermore , the only lorentz invariant four - fermion operator is of the form given in eq . ( [ eff - gen ] ) . the renormalization group procedure examines how the coupling constants in eq . ( [ eff - gen ] ) change as we further lower the cutoff to isolate the very long wavelength excitations . this information is encoded in the beta function . the @xmath17 function for the general coupling constant in eq . ( [ eff - gen ] ) is computed in @xmath114 dimensions to two loop order in appendix  [ appb ] . the result is @xmath115 \nonumber\\[3 mm ] -\frac{1}{8\pi^2 } \sum_{k_1,k_2 } & &   \left [ g\left(\begin{array}{cc }               n_1 & k_2 \\ k_1 & n_1+k_1-k_2             \end{array}\right ) g\left(\begin{array}{cc }               n_1+k_1-k_2 & n_2 \\ m_1 & m_2+k_1-k_2              \end{array}\right ) g\left(\begin{array}{cc }               m_2+k_1-k_2 & k_1 \\               k_2 & m_2             \end{array}\right)\right . \nonumber\\ & & + \left.g\left(\begin{array}{cc }               k_1 & k_2 \\               m_1 & m_1+k_1-k_2              \end{array}\right ) g\left(\begin{array}{cc }               n_1 & n_2-m_1+k_2 \\ k_2 & m_2             \end{array}\right ) g\left(\begin{array}{cc }               m_1+k_1-k_2 & n_2 \\ n_2-m_1+k_2 & k_1             \end{array}\right ) \right ] \nonumber\\[3 mm ] + \frac{2}{(4\pi)^2 }   g\left(\begin{array}{cc }               n_1 & n_2 \\               m_1 & m_2              \end{array}\right ) & & \sum_{k_1,k_2 } \left [ g\left(\begin{array}{cc }               n_1 & k_2+n_1 \\ k_1 & k_1-k_2             \end{array}\right ) g\left(\begin{array}{cc }               k_1-k_2   & k_1 \\               k_2+n_1 & n_1             \end{array}\right ) + g\left(\begin{array}{cc }               k_1 & k_2+n_2 \\ n_2 & k_1-k_2              \end{array}\right ) g\left(\begin{array}{cc }               k_1-k_2 & n_2 \\               k_2+n_2 & k_1              \end{array}\right)\right.\nonumber\\ & & + \left.g\left(\begin{array}{cc }               k_1 & k_2+m_1 \\ m_1 & k_1-k_2              \end{array}\right ) g\left(\begin{array}{cc }               k_1-k_2 & m_1 \\ k_2+m_1 & k_1              \end{array}\right ) + g\left(\begin{array}{cc }               m_2 & k_2+m_2 \\               k_1 & k_1-k_2             \end{array}\right ) g\left(\begin{array}{cc }               k_1-k_2 & k_1 \\               k_2+m_2 & m_2             \end{array}\right)\right ] . \nonumber\end{aligned}\ ] ]    finally , before we proceed to the next section , we note that we may have to occasionally cut off the summation over modes in the first landau level . we do this by summing modes up to some maximum number , @xmath116 . such a situation could be produced by considering the fermions in an external magnetic field with finite magnetic flux , or with uniform field and finite transverse area . in that case , @xmath117 which can be thought of as the number of  flavors " which goes to infinity as @xmath118 where @xmath119 is the area of the two - dimensional perpendicular ( with respect to the direction of the magnetic field ) subspace . in appendix  [ appb ] , we have computed the two - loop @xmath17 function ( [ beta2loop ] ) for the most general coupling constants , subject to the restriction in eq . ( [ nnmm ] ) . the next natural step would be locate infrared stable fixed points of this beta function . this problem is far more complicated than we can solve at present . instead , in our analysis below , we shall restrict our attention to the beta function for coupling constants with close to maximal symmetry .    for some scalar field theories , where there are many components of a scalar field and renormalizable interactions which couple them , it is known that the only infrared fixed points of the renormalization group flow of relevant couplings are those with maximal symmetry @xcite . to our knowledge , there is no similar theorem for gross - neveu like models . on the other hand , we consider it plausible that similar arguments can be applied : in particular , if no maximally symmetric infrared stable fixed point exists , then there are no infrared stable fixed points at all . maximally symmetric couplings can easily be shown to be contained in other combinations of coupling constants . in appendix  [ appc ] we show that the njl coupling contains the maximally symmetric ones . consider the renormalization group flow in the special case when @xmath97 and @xmath109 couplings , as defined in eqs . ( [ unun ] ) and ( [ uv ] ) , are the only non - zero couplings in the effective action . then , from our general result in the previous section , we extract the following expressions for the @xmath17 functions of interest : @xmath120 . \label{beta_v}\end{aligned}\ ] ] note that we have been forced to introduce a cutoff on @xmath117 . in order to get a sensible result when taking the limit @xmath106 , it is convenient to rescale the couplings as follows : @xmath121 and @xmath122 . as is clear from the definition , the @xmath17 functions will also get rescaled accordingly , @xmath123 and @xmath124 . after taking this into account and performing the limit @xmath106 , we arrive at @xmath125 it must be emphasized that we have adopted the rescaling of the most symmetric @xmath108 coupling by @xmath126 rather than @xmath127 . since the rescaling performed above led to the well - defined @xmath17 functions , we conclude that the ( 1 + 1)-dimensional action in eq . ( [ eff - gen ] ) with @xmath108 of order @xmath128 describes a consistent and non - trivial interacting theory in the limit @xmath106 . by @xmath127 is also meaningful . the resulting @xmath17 functions are @xmath129 the corresponding theory is less interesting . indeed , the expressions for the @xmath17 functions in eq . ( [ b_lr ] ) and ( [ b_v ] ) in the limit @xmath130 describe the situation when the @xmath131 coupling does not run at all , while the @xmath132 experiences asymptotic freedom from the @xmath133 side and infrared freedom from the @xmath134 side . we shall see in a moment that this picture corresponds to a special case ( @xmath135 ) of the flow described by eqs . ( [ beta_lr ] ) and ( [ beta_v ] ) . ] when @xmath136 we can solve the renormalization group equations ( [ beta_lr ] ) and ( [ beta_v ] ) explicitly , and the analytical solution reads @xmath137 this flow is presented graphically in fig . [ fig6 ] where the arrows show the flow direction toward ultraviolet .    in the upper half - plane @xmath133 , the simple analysis of the flow given by eqs . ( [ sol - lr ] ) and ( [ sol - v ] ) reveals infrared ( with @xmath138 ) and ultraviolet ( with @xmath139 and @xmath138 ) landau poles at @xmath140 respectively . we argue that the strong infrared dynamics ( with @xmath138 ) in this half - plane of couplings is an indication of a mass generation and breaking of the chiral @xmath75 symmetry . indeed , the generation of the fermion mass in the infrared region seems to be the only way one can avoid running into the problem of the physical landau pole . the generation of the fermion mass in the @xmath133 half - plane , in its turn , is consistent with the expectation of the universality of the magnetic catalysis in a wide range of ( 3 + 1)-dimensional models ( such as the njl ) with a short range interaction . indeed , as we established , the low energy dynamics in such models is described by the ( 1 + 1)-dimensional effective action in eq . ( [ eff - gen ] ) with the coupling satisfying the set of restriction in eqs . ( [ restrict1 ] ) , ( [ restrict2 ] ) and ( [ nnmm ] ) . the generic coupling [ say , like that in eq . ( [ lll - int ] ) coming from the interaction of the lowest landau level modes ] which does not have any extra symmetry is still expected to have the @xmath97 and @xmath109 contribution [ see eqs . ( [ glll - lr ] ) and ( [ glll - v ] ) ] . then , if this @xmath109 contribution is positive , @xmath133 , it is going to drive the system to the generation of mass . now let us study the flow in the lower half - plane @xmath141 . as is easy to see , there is an infrared fixed point at @xmath142 and the ultraviolet landau pole ( with @xmath143 while @xmath131 is either fixed or approaches @xmath144 ) at the following values of @xmath145 : @xmath146 since the infrared fixed point @xmath147 corresponds to weakly coupled dynamics , there is apparently no mass generation in this half - plane of the coupling space . this is also in full agreement with our general expectation . indeed , the negative values of @xmath132 correspond to the repulsion rather than attraction in the fermion - antifermion channel which is responsible for the generation of mass , breaking chiral @xmath75 symmetry . our conclusion here is that whether this model breaks chiral symmetry or not is entirely dependent on the sign of the coupling constant @xmath0 . the reader might be puzzled by the fact that a @xmath75 chiral symmetry can be broken in an effectively two dimensional system . we emphasize here that this phenomenon is identical to that in the chiral gross - neveu model . strictly speaking , chiral symmetry can only be broken in the large @xmath117 limit . the finite @xmath117 system should still be chirally symmetric , as the low dimensionality of the system would not allow for spontaneous breaking of a continuous symmetry . indeed , if we consider the case of a large but finite value of @xmath117 , an infrared stable fixed point appears for @xmath148 at @xmath149 which goes to infinity with @xmath106 . this fixed point is at strong coupling , so a conclusion based on perturbation theory is speculative at best , but its appearance is consistent with the expectation that the massless limit of this model is well defined ( albeit strongly coupled ) when @xmath148 and @xmath117 is finite and chiral symmetry breaking need not take place . when @xmath98 this fixed point moves to infinite coupling and chiral symmetry breaking is possible . in this paper we have shown that the effective low - energy dynamics of the @xmath75 chirally symmetric models with a short range interaction in a background magnetic field is described by a ( 1 + 1)-dimensional gross - neveu like model with an infinite number of flavors [ see eq . ( [ eff - gen ] ) ] . here we established that different flavors come out as the representation space of the magnetic translations in the original ( 3 + 1)-dimensional model . the number of flavors is infinite and proportional to the area of the two dimensional space perpendicular to the magnetic field . based exclusively on the arguments of symmetry , we established a set of conditions , given by eqs . ( [ real ] ) , ( [ parity ] ) , ( [ restrict1 ] ) , ( [ restrict2 ] ) and ( [ nnmm ] ) , that the couplings of the effective theory have to satisfy . to show that they allow a non - trivial solution , we presented a few ( out of infinitely many possible ) examples of couplings that satisfy all the constrains . among them , there are , in particular , the highly symmetric @xmath97 and @xmath109 ( with @xmath106 ) couplings . these latter are of special interest because their renormalization group flow is self - contained and allows an analytical solution [ see eqs . ( [ sol - lr ] ) and ( [ sol - v ] ) ] .    at the level of the effective theory , we calculated the two - loop @xmath17 function and analyzed the renormalization group flow in the two - dimensional subspace of the @xmath97 and @xmath109 couplings . the general result is argued to indicate the generation of the fermion mass in the @xmath133 half - plane of couplings . in the other half - plane , the infrared dynamics is weakly coupled and there is no mass generation . this mass generation pattern is consistent with the earlier suggested conjecture of the universality of the so - called magnetic catalysis @xcite in , at least , the models from the same universality class as the chiral @xmath75 njl model . we would like to thank v.  miransky for many interesting discussions . the work of g.w.s . was supported by the natural sciences and engineering research council of canada and by the niels bohr fund of denmark . the work of i.a.s . and l.c.r.w . was supported by the u.s . department of energy grant no . de - fg02 - 84er40153 . let us clarify the origin of the action as well as the meaning of different flavors in eq . ( [ eff - gen ] ) in terms of the original ( 3 + 1)-dimensional model defined in eqs . ( [ s_0 ] ) and ( [ lagnjl ] ) . we start from the analysis of the space - time symmetries in the model . notice that , due to the presence of the background field , the standard translations in the two - dimensional plane perpendicular to the magnetic field are not symmetries of the original model in eq . ( [ s_0 ] ) . nevertheless , there are other transformations , the so - called magnetic translations , which leave the action invariant . in contrast to the case of the ordinary translations , the two generators of the magnetic translations do not commute . in the symmetric gauge given in eq . ( [ dmsu1 ] ) , the explicit representation of the generators and their commutation relation read    @xmath150=i , \label{x&yc } \end{aligned}\ ] ]    where we assume that @xmath91 . it is easy to check that the operators @xmath151 and @xmath152 commute with the hamiltonian of our model . instead of these @xmath151 and @xmath152 , it is convenient to introduce the  creation " and  annihilation " operators    @xmath153=1 . \label{a&c}\end{aligned}\ ] ]    having introduced these operators in the problem , we realize that the fock space is spanned by the set of states @xmath154 where the quantum number @xmath155 denotes the eigenvalue of @xmath156 operator and the multi - index @xmath157 represents all the other quantum numbers ( say , the landau level number , the fermion spin projection and the chirality ) . in the absence of any vacuum rearrangement ( symmetry breaking ) , the above set of states ( in coordinate representation ) reads @xmath158 where @xmath159 is the magnetic length , @xmath160 , @xmath161 , @xmath162 and @xmath163 is the spinor with a given spin projection @xmath164 and chirality @xmath30 . note that the expression in eq . ( [ states ] ) is well defined even for the case when @xmath165 ( both numbers are positive ) due to the rodrigues formula for the generalized laguerre polynomials , @xmath166 one has to remember also that all the modes in the lowest landau level ( @xmath167 ) have the same projection of the spin , while the modes in the higher landau levels ( @xmath85 ) have both projections . since we are interested in the structure of the effective action , describing the infrared dynamics ( @xmath168 ) , it is sufficient to take into account only those degrees of freedom that originate from the lowest landau level modes ( @xmath167 ) . these modes freely propagate in the ( 1 + 1)-dimensional parallel @xmath169 subspace , and are classified by the chirality and the eigenvalue of @xmath156 [ see eq . ( [ states ] ) ] . in what follows , we denote the effective degrees of freedom accordingly , @xmath170 , where the superscript @xmath171 or @xmath172 denotes the states that result from the ( 3 + 1)-dimensional states of definite chirality . in the parallel subspace @xmath169 , @xmath173 and @xmath174 have the interpretation of the left and right moving along the @xmath175 axis modes , respectively .    while restricting the kinetic term in the njl model ( [ lagnjl ] ) to the lowest landau level modes , @xmath176 we check that @xmath177 . after performing the integration over the perpendicular space coordinates in the original njl action , we arrive at the effective model as in eq . ( [ eff - gen ] ) . remarkably , while the njl coupling @xmath178 is dimensionful , the effective coupling in eq . ( [ eff - gen ] ) is dimensionless , @xmath179 .    from the derivation above , we see that the fields of different flavors in the effective ( 1 + 1)-dimensional theory ( [ eff - gen ] ) correspond to different eigenstates of @xmath156 operator . this simple observation , as we show below , has far reaching consequences . now , let us establish the allowed structure of coupling constants in eq . ( [ eff - gen ] ) . the most general restriction on the couplings comes from the condition of reality of the action . this requires that @xmath180 similarly , the invariance under the parity ( @xmath181 ) leads to another restriction : @xmath182 these two conditions are too general and so are not of great interest or of great power by themselves . it turns out , however , that there are other , more restrictive conditions .    by recalling the origin of flavors in eq . ( [ eff - gen ] ) , we realize that the effective theory should enjoy some kind of flavor symmetry that results from the symmetry under magnetic translations of the original ( 3 + 1)-dimensional theory . this flavor symmetry , as will become clear in a moment , puts further restrictions on the allowed structure of the four - index coupling in eq . ( [ eff - gen ] ) . the infinitesimal transformations of the magnetic translations and the related rotation in the perpendicular plane are given by the following operators :    @xmath183    to determine the transformation properties of the fields of different flavors , we again recall that , by construction , these fields are the eigenstates of the @xmath156 operator . then , by doing a simple exercise , we find that the action of the creation and annihilation operators , @xmath184 and @xmath185 , on the properly normalized fields should read @xmath186 making use of these properties , we check that the kinetic term in the effective action is invariant under the transformations in eqs . ( [ trans1 ] ) , ( [ trans2 ] ) and ( [ trans12 ] ) . in fact , if we had started with a more general , non - diagonal kinetic term in the effective action [ which is not forbidden by the chiral @xmath75 symmetry ] , the requirement of invariance under the magnetic translations would lead us back to the diagonal form as in eq . ( [ eff - gen ] ) . the invariance of the four - fermion interaction @xmath187 in eq . ( [ eff - gen ] ) under the set of transformations in eqs . ( [ trans1 ] ) , ( [ trans2 ] ) and ( [ trans12 ] ) leads to @xmath188 to derive the two - loop @xmath17 function of the effective spinor theory in eq . ( [ eff - gen ] ) , we apply the method of ref . @xcite that was used for the @xmath189 scalar theory in @xmath190 dimensions . in dimensional regularization ( with @xmath191 ) , our renormalized lagrangian density reads @xmath192 where the coupling @xmath178 includes the coupling constant renormalization , @xmath193 , and the ellipsis denotes the counterterms . we remind the reader that the four - index coupling @xmath187 is non - zero only for @xmath194 . this means that the four - fermion term in eq . ( [ ren - lag ] ) contains the sum only over three indices ( say , @xmath195 , @xmath196 , and @xmath197 ) , while the fourth one ( @xmath198 ) is superfluous .    before proceeding with the actual calculation of the @xmath17 function , we need to specify how to handle the infrared divergences that appear in the calculation of the feynman diagrams @xcite . such divergences usually come from the propagators of the massless fermions . if treated improperly , they could easily obscure the calculation of the relevant diagrams and eventually lead to a wrong result . to avoid the problem , in what follows , we modify the infrared region by changing the fermion propagators as follows :    @xmath199    this infrared regularization procedure respects all the symmetries of the model and does not change the ultraviolet region . now , let us calculate the @xmath17 function . first of all , we recall that the relation between the bare and the renormalized couplings , in the dimensional regularization ( @xmath191 ) , reads @xmath200 this is going to be used in the definition of the @xmath17 function . in calculation , we impose the following renormalization conditions : @xmath201 note that the introduction of the effective infrared cutoff @xmath202 in the fermion propagators earlier allows us to use the renormalization point at @xmath203 . the feynman diagrams of the relevant contributions to the two - point functions at two - loop order are given in figs . [ fig1]a and [ fig1]b . by extracting the divergent ( of order @xmath204 ) terms of these two - loop corrections , we arrive at the equations @xmath205 where , by definition , @xmath206[(q - k)^2-m^2](q^2-m^2)}\right|_{p=0 } \nonumber\\ & = & -\frac{1}{(4\pi)^2\varepsilon}+o(1 ) , \label{def - c_r } \\ ( \mbox{fig.~}\ref{fig1}\mbox{b } ) \to \frac{c^{(l ) } } { ( 4\pi)^2\varepsilon}+o(1 ) & \equiv&-\frac{1}{\mu^{2d-4 } } \left.\frac{\partial}{\partial p_{+ } } \int\frac{d^{d}k d^{d}q}{(2\pi)^{2d } }   \frac{(k+p)_{+ } ( q - k)_{- } q_{+ } } { [ ( k+p)^2-m^2][(q - k)^2-m^2](q^2-m^2)}\right|_{p=0 } \nonumber\\ & = & -\frac{1}{(4\pi)^2\varepsilon}+o(1 ) . \label{def - c_l } \end{aligned}\ ] ] thus , we see that @xmath207 .    in a similar way , the perturbative expansion for the four - point function reads @xmath208 \nonumber\\[3 mm ] + & &   \frac{b_0+b_1\varepsilon}{(4\pi\varepsilon)^2 } \sum_{k_1,k_2}\left [ g\left(\begin{array}{cc }               n_1 & n_2 \\ k_1 & n_1-n_2+k_1              \end{array}\right ) g\left(\begin{array}{cc }               n_1-n_2+k_1 & k_1 \\ k_2 & n_1-n_2+k_2             \end{array}\right ) g\left(\begin{array}{cc }               n_1-n_2+k_2 & k_2 \\               m_1 & m_2              \end{array}\right)\right.\nonumber\\ & & + \left . g\left(\begin{array}{cc }               n_1 & k_1 \\               m_1 & n_1+m_1-k_1              \end{array}\right ) g\left(\begin{array}{cc }               n_1+m_1-k_1 & k_2 \\               k_1 & n_1+m_1-k_2             \end{array}\right ) g\left(\begin{array}{cc }               n_1+m_1-k_2 & n_2 \\               k_2 & m_2             \end{array}\right)\right ] \nonumber \\[3 mm ] + & & \frac{c_0}{(4\pi)^2\varepsilon } \sum_{k_1,k_2 } \left [ g\left(\begin{array}{cc }               n_1 & k_2 \\               k_1 & n_1+k_1-k_2             \end{array}\right ) g\left(\begin{array}{cc }               n_1+k_1-k_2 & n_2 \\ m_1 & m_2+k_1-k_2              \end{array}\right ) g\left(\begin{array}{cc }               m_2+k_1-k_2 & k_1 \\               k_2 & m_2             \end{array}\right)\right . \nonumber\\ & & + \left.g\left(\begin{array}{cc }               k_1 & k_2 \\               m_1 & m_1+k_1-k_2              \end{array}\right ) g\left(\begin{array}{cc }               n_1 & n_2-m_1+k_2 \\ k_2 & m_2             \end{array}\right ) g\left(\begin{array}{cc }               m_1+k_1-k_2 & n_2 \\               n_2-m_1+k_2 & k_1             \end{array}\right ) \right ] \nonumber\\[3 mm ] + & & \frac{d_0+d_1\varepsilon}{(4\pi\varepsilon)^2 } \sum_{k_1,k_2 } \left [ g\left(\begin{array}{cc }               n_1 & k_2 \\               k_1 & n_1+k_1-k_2              \end{array}\right ) g\left(\begin{array}{cc }               n_1-n_2+k_1 & k_1 \\               m_1 & m_2              \end{array}\right ) g\left(\begin{array}{cc }               n_1+k_1-k_2 & n_2 \\               k_2 & n_1-n_2+k_1            \end{array}\right)\right . \nonumber\\ & & + \left.g\left(\begin{array}{cc }               k_1 & k_2 \\               m_1 & k_1-k_2+m_1             \end{array}\right ) g\left(\begin{array}{cc }               n_1 & n_2 \\ n_2-n_1+k_1 & k_1            \end{array}\right ) g\left(\begin{array}{cc }               k_1-k_2+m_1 & n_2-n_1+k_1 \\               k_2 & m_2              \end{array}\right)\right . \nonumber\\ & & + \left.g\left(\begin{array}{cc }               n_1 & n_1+k_1-k_2 \\               k_1 & k_2              \end{array}\right ) g\left(\begin{array}{cc }               m_1+k_2-k_1 & n_2 \\ n_1+k_1-k_2 & m_2              \end{array}\right ) g\left(\begin{array}{cc }               k_2 & k_1 \\               m_1 & m_1+k_2-k_1              \end{array}\right)\right . \nonumber\\ & & + \left . g\left(\begin{array}{cc }               n_1+m_1-k_2 & n_2 \\ k_1+k_2-m_2 & k_1              \end{array}\right ) g\left(\begin{array}{cc }               n_1 & k_2 \\ m_1 & n_1+m_1-k_2              \end{array}\right ) g\left(\begin{array}{cc }               k_1 & k_1+k_2-m_2 \\ k_2 & m_2              \end{array}\right)\right ] . \label{gam-4 } \end{aligned}\ ] ] note that the restriction @xmath194 is satisfied for each four - index coupling that appears here . the coefficients @xmath209 , @xmath210 , @xmath211 and @xmath212 are defined by the following expressions : @xmath213 }   \nonumber\\   & = & -\frac{1}{2(4\pi)^2\varepsilon}+o(\varepsilon ) , \label{def - c}\end{aligned}\ ] ] and @xmath214}\nonumber\\   & = & -\frac{1}{(4\pi\varepsilon)^2 } \left(\frac{1}{2}+\varepsilon(1+\gamma ) + \varepsilon\ln\frac{m^2}{4\pi\mu^2}\right)+o(1 ) . \label{def - d}\end{aligned}\ ] ] here @xmath215 is the euler constant .    from eqs . ( [ def - a ] )  ( [ def - d ] ) , we obtain    @xmath216    after expressing the function @xmath178 in terms of @xmath187 , we arrive at @xmath217 -\frac{b_0 - 2a_0 ^ 2+(b_1 - 4a_1a_0)\varepsilon } { ( 4\pi\varepsilon)^2 }   \nonumber\\[3 mm ] & & \times \sum_{k_1,k_2 } \left [ g\left(\begin{array}{cc }               n_1 & n_2 \\               k_1 & n_1-n_2+k_1              \end{array}\right ) g\left(\begin{array}{cc }               n_1-n_2+k_1 & k_1 \\               k_2 & n_1-n_2+k_2             \end{array}\right ) g\left(\begin{array}{cc }               n_1-n_2+k_2 & k_2 \\               m_1 & m_2              \end{array}\right)\right.\nonumber\\ & & + \left . g\left(\begin{array}{cc }               n_1 & k_1 \\ m_1 & n_1+m_1-k_1              \end{array}\right ) g\left(\begin{array}{cc }               n_1+m_1-k_1 & k_2 \\ k_1 & n_1+m_1-k_2             \end{array}\right ) g\left(\begin{array}{cc }               n_1+m_1-k_2 & n_2 \\ k_2 & m_2             \end{array}\right)\right ] \nonumber \\[3 mm ] - & & \frac{c_0}{(4\pi)^2\varepsilon } \sum_{k_1,k_2 } \left [ g\left(\begin{array}{cc }               n_1 & k_2 \\ k_1 & n_1+k_1-k_2             \end{array}\right ) g\left(\begin{array}{cc }               n_1+k_1-k_2 & n_2 \\ m_1 & m_2+k_1-k_2              \end{array}\right ) g\left(\begin{array}{cc }               m_2+k_1-k_2 & k_1 \\               k_2 & m_2             \end{array}\right)\right . \nonumber\\ & & + \left.g\left(\begin{array}{cc }               k_1 & k_2 \\               m_1 & m_1+k_1-k_2              \end{array}\right ) g\left(\begin{array}{cc }               n_1 & n_2-m_1+k_2 \\ k_2 & m_2             \end{array}\right ) g\left(\begin{array}{cc }               m_1+k_1-k_2 & n_2 \\               n_2-m_1+k_2 & k_1             \end{array}\right ) \right ] \nonumber\\[3 mm ] - & & \frac{d_0+a_0 ^ 2+(d_1 + 2a_0a_1)\varepsilon } { ( 4\pi\varepsilon)^2 } \sum_{k_1,k_2 } \left [ g\left(\begin{array}{cc }               n_1 & k_2 \\ k_1 & n_1+k_1-k_2              \end{array}\right ) g\left(\begin{array}{cc }               n_1-n_2+k_1 & k_1 \\ m_1 & m_2              \end{array}\right ) g\left(\begin{array}{cc }               n_1+k_1-k_2 & n_2 \\ k_2 & n_1-n_2+k_1            \end{array}\right)\right . \nonumber\\[3 mm ] & & + g\left(\begin{array}{cc }               k_1 & k_2 \\ m_1 & k_1-k_2+m_1             \end{array}\right ) g\left(\begin{array}{cc }               n_1 & n_2 \\ n_2-n_1+k_1 & k_1            \end{array}\right ) g\left(\begin{array}{cc }               k_1-k_2+m_1 & n_2-n_1+k_1 \\ k_2 & m_2              \end{array}\right ) \nonumber\\ & & + g\left(\begin{array}{cc }               n_1 & n_1+k_1-k_2 \\ k_1 & k_2              \end{array}\right ) g\left(\begin{array}{cc }               m_1+k_2-k_1 & n_2 \\ n_1+k_1-k_2 & m_2              \end{array}\right ) g\left(\begin{array}{cc }               k_2 & k_1 \\ m_1 & m_1+k_2-k_1              \end{array}\right ) \nonumber\\ & & + \left . g\left(\begin{array}{cc }               n_1+m_1-k_2 & n_2 \\ k_1+k_2-m_2 & k_1              \end{array}\right ) g\left(\begin{array}{cc }               n_1 & k_2 \\ m_1 & n_1+m_1-k_2              \end{array}\right ) g\left(\begin{array}{cc }               k_1 & k_1+k_2-m_2 \\               k_2 & m_2              \end{array}\right)\right].\label{g(g)}\end{aligned}\ ] ] the @xmath17 function is defined as follows @xcite : @xmath218 = 2\varepsilon\frac { g\left(\begin{array}{cc }                n_1 & n_2 \\               m_1 & m_2            \end{array}\right ) } { \sqrt{z^{(l)}_{n_1 } z^{(r)}_{m_1 }          z^{(r)}_{n_2 } z^{(l)}_{m_2}}}. \label{def - beta}\end{aligned}\ ] ] by making use of this definition , we calculate the two - loop @xmath17 function , @xmath219 \nonumber\\[3 mm ] + \frac{b_1 - 2a_0a_1}{4\pi^2 } \sum_{k_1,k_2 } & &   \left [ g\left(\begin{array}{cc }               n_1 & n_2 \\               k_1 & n_1-n_2+k_1              \end{array}\right ) g\left(\begin{array}{cc }               n_1-n_2+k_1 & k_1 \\ k_2 & n_1-n_2+k_2             \end{array}\right ) g\left(\begin{array}{cc }               n_1-n_2+k_2 & k_2 \\               m_1 & m_2              \end{array}\right)\right.\nonumber\\ & & + \left . g\left(\begin{array}{cc }               n_1 & k_1 \\ m_1 & n_1+m_1-k_1              \end{array}\right ) g\left(\begin{array}{cc }               n_1+m_1-k_1 & k_2 \\               k_1 & n_1+m_1-k_2             \end{array}\right ) g\left(\begin{array}{cc }               n_1+m_1-k_2 & n_2 \\ k_2 & m_2             \end{array}\right)\right ] \nonumber \\[3 mm ] + \frac{c_0}{4\pi^2 } \sum_{k_1,k_2 } & &   \left [ g\left(\begin{array}{cc }               n_1 & k_2 \\ k_1 & n_1+k_1-k_2             \end{array}\right ) g\left(\begin{array}{cc }               n_1+k_1-k_2 & n_2 \\ m_1 & m_2+k_1-k_2              \end{array}\right ) g\left(\begin{array}{cc }               m_2+k_1-k_2 & k_1 \\ k_2 & m_2             \end{array}\right)\right . \nonumber\\ & & + \left.g\left(\begin{array}{cc }               k_1 & k_2 \\               m_1 & m_1+k_1-k_2              \end{array}\right ) g\left(\begin{array}{cc }               n_1 & n_2-m_1+k_2 \\ k_2 & m_2             \end{array}\right ) g\left(\begin{array}{cc }               m_1+k_1-k_2 & n_2 \\ n_2-m_1+k_2 & k_1             \end{array}\right ) \right ] \nonumber\\[3 mm ] + \frac{d_1+a_0a_1}{4\pi^2 } \sum_{k_1,k_2 } & &   \left [ g\left(\begin{array}{cc }               n_1 & k_2 \\ k_1 & n_1+k_1-k_2              \end{array}\right ) g\left(\begin{array}{cc }               n_1-n_2+k_1 & k_1 \\               m_1 & m_2              \end{array}\right ) g\left(\begin{array}{cc }               n_1+k_1-k_2 & n_2 \\ k_2 & n_1-n_2+k_1            \end{array}\right)\right . \nonumber\\ & & + g\left(\begin{array}{cc }               k_1 & k_2 \\ m_1 & k_1-k_2+m_1             \end{array}\right ) g\left(\begin{array}{cc }               n_1 & n_2 \\ n_2-n_1+k_1 & k_1            \end{array}\right ) g\left(\begin{array}{cc }               k_1-k_2+m_1 & n_2-n_1+k_1 \\ k_2 & m_2              \end{array}\right ) \nonumber\\ & & + g\left(\begin{array}{cc }               n_1 & n_1+k_1-k_2 \\ k_1 & k_2              \end{array}\right ) g\left(\begin{array}{cc }               m_1+k_2-k_1 & n_2 \\ n_1+k_1-k_2 & m_2              \end{array}\right ) g\left(\begin{array}{cc }               k_2 & k_1 \\               m_1 & m_1+k_2-k_1              \end{array}\right ) \nonumber\\ & & + \left . g\left(\begin{array}{cc }               n_1+m_1-k_2 & n_2 \\               k_1+k_2-m_2 & k_1              \end{array}\right ) g\left(\begin{array}{cc }               n_1 & k_2 \\               m_1 & n_1+m_1-k_2 \end{array}\right ) g\left(\begin{array}{cc }               k_1 & k_1+k_2-m_2 \\ k_2 & m_2              \end{array}\right)\right]\nonumber\\[3 mm ] + \frac{2}{(4\pi)^2 }   g\left(\begin{array}{cc }               n_1 & n_2 \\               m_1 & m_2              \end{array}\right ) & & \sum_{k_1,k_2 } \left [ g\left(\begin{array}{cc }               n_1 & k_2+n_1 \\ k_1 & k_1-k_2             \end{array}\right ) g\left(\begin{array}{cc }               k_1-k_2   & k_1 \\               k_2+n_1 & n_1             \end{array}\right ) + g\left(\begin{array}{cc }               k_1 & k_2+n_2 \\ n_2 & k_1-k_2              \end{array}\right ) g\left(\begin{array}{cc }               k_1-k_2 & n_2 \\               k_2+n_2 & k_1              \end{array}\right)\right.\nonumber\\ & & + \left.g\left(\begin{array}{cc }               k_1 & k_2+m_1 \\ m_1 & k_1-k_2              \end{array}\right ) g\left(\begin{array}{cc }               k_1-k_2 & m_1 \\ k_2+m_1 & k_1              \end{array}\right ) + g\left(\begin{array}{cc }               m_2 & k_2+m_2 \\ k_1 & k_1-k_2             \end{array}\right ) g\left(\begin{array}{cc }               k_1-k_2 & k_1 \\               k_2+m_2 & m_2             \end{array}\right)\right ] , \label{2-loop}\end{aligned}\ ] ] where we already used the fact that @xmath220 which , by the way , is the necessary condition for the renormalizability of the model . note that the last term in eq . ( [ 2-loop ] ) appears due to the renormalization of the two - point function . after taking into account the values of constants in eqs . ( [ a_i ] )  ( [ d_i ] ) , we arrive at our final result for the @xmath17 function : @xmath221 \nonumber\\[3 mm ] -\frac{1}{8\pi^2 } \sum_{k_1,k_2 } & &   \left [ g\left(\begin{array}{cc }               n_1 & k_2 \\ k_1 & n_1+k_1-k_2             \end{array}\right ) g\left(\begin{array}{cc }               n_1+k_1-k_2 & n_2 \\ m_1 & m_2+k_1-k_2              \end{array}\right ) g\left(\begin{array}{cc }               m_2+k_1-k_2 & k_1 \\               k_2 & m_2             \end{array}\right)\right . \nonumber\\ & & + \left.g\left(\begin{array}{cc }               k_1 & k_2 \\               m_1 & m_1+k_1-k_2              \end{array}\right ) g\left(\begin{array}{cc }               n_1 & n_2-m_1+k_2 \\ k_2 & m_2             \end{array}\right ) g\left(\begin{array}{cc }               m_1+k_1-k_2 & n_2 \\ n_2-m_1+k_2 & k_1             \end{array}\right ) \right ] \nonumber\\[3 mm ] + \frac{2}{(4\pi)^2 }   g\left(\begin{array}{cc }               n_1 & n_2 \\ m_1 & m_2              \end{array}\right ) & & \sum_{k_1,k_2 } \left [ g\left(\begin{array}{cc }               n_1 & k_2+n_1 \\ k_1 & k_1-k_2             \end{array}\right ) g\left(\begin{array}{cc }               k_1-k_2   & k_1 \\               k_2+n_1 & n_1             \end{array}\right ) + g\left(\begin{array}{cc }               k_1 & k_2+n_2 \\ n_2 & k_1-k_2              \end{array}\right ) g\left(\begin{array}{cc }               k_1-k_2 & n_2 \\               k_2+n_2 & k_1              \end{array}\right)\right.\nonumber\\ & & + \left.g\left(\begin{array}{cc }               k_1 & k_2+m_1 \\ m_1 & k_1-k_2              \end{array}\right ) g\left(\begin{array}{cc }               k_1-k_2 & m_1 \\ k_2+m_1 & k_1              \end{array}\right ) + g\left(\begin{array}{cc }               m_2 & k_2+m_2 \\ k_1 & k_1-k_2             \end{array}\right ) g\left(\begin{array}{cc }               k_1-k_2 & k_1 \\               k_2+m_2 & m_2             \end{array}\right)\right ] . \label{beta-2-loop } \end{aligned}\ ] ] while having less symmetry , the coupling in eq . ( [ lll - int ] ) still could contain contributions of highly symmetric solutions as in eqs . ( [ unun ] ) and ( [ uv ] ) . in order to extract such contributions , we introduce the projection operators to the corresponding subspaces in the space of couplings , @xmath222&=&\lim_{n\to\infty } i^{(lr ) }   \frac{n\mbox{tr}^{(lr)}\left[\cdots\right ] -\mbox{tr}^{(v)}\left[\cdots\right ] } { n(n^2 - 1 ) } , \label{pr - lr } \\ p^{(v)}\left[\cdots\right]&=&\lim_{n\to\infty } i^{(v ) } \frac{n\mbox{tr}^{(v)}\left[\cdots\right ] -\mbox{tr}^{(lr)}\left[\cdots\right ] } { n(n^2 - 1 ) } , \label{pr - v } \end{aligned}\ ] ] where , by definition , @xmath223 & = & \sum_{n , m } g\left(\begin{array}{cc }               n & m \\               m & n         \end{array}\right ) , \\ i^{(v)}\left(\begin{array}{cc }               n_1 & n_2 \\               m_1 & m_2         \end{array}\right ) & = & \delta_{n_1,n_2}\delta_{m_1,m_2},\\ \mbox{tr}^{(v)}\left[g\left(\begin{array}{cc }               n_1 & n_2 \\               m_1 & m_2         \end{array}\right)\right ] & = & \sum_{n , m}g\left(\begin{array}{cc }               n & n \\               m & m         \end{array}\right).\end{aligned}\ ] ] by applying the projection operators in eqs . ( [ pr - lr ] ) and ( [ pr - v ] ) to the coupling in eq . ( [ lll - int ] ) , we easily extract the symmetric contributions ,    @xmath224&=&\frac{2g}{n+1 } i^{(lr ) } ,   \label{glll - lr}\\ p^{(v)}\left[g\left(\begin{array}{cc }               n_1 & n_2 \\ m_1 & m_2 \end{array}\right)\right]&=&\frac{2g}{n+1 } i^{(v)}. \label{glll - v}\end{aligned}\ ] ]          s.  w.  macdowell and o.  tornkvist , , 3833 ( 1992 ) ; k.  enqvist , int . j. mod d * 7 * , 331 ( 1998 ) ; r.  fiore , a.  tiesi , l.  masperi and a.  megevand , mod . a * 14 * , 407 ( 1999 ) ; v.  skalozub and m.  bordag ,  electroweak phase transition in a strong magnetic field , " hep - ph/9807510 ; k.  kajantie _ et al . _ , nucl . phys . * b544 * , 357 ( 1999 ) ; t.  inagaki , t.  muta and s.  d.  odintsov , prog . . suppl . * 127 * , 93 ( 1997 ) . i.  a.  shushpanov and a.  v.  smilga , b * 402 * , 351 ( 1997 ) ; s.  kanemura , h.  -t .  sato and h.  tochimura , nucl . phys . * b517 * , 567 ( 1998 ) ; a.  yu .  babansky , e.  v.  gorbar and g.  v.  shchepanyuk , b * 419 * , 272 ( 1998 ) ; t.  itoh and h.  kato , , 30 ( 1998 ) . k.  farakos and n.  e.  mavromatos , int . j. mod . b * 12 * , 809 ( 1998 ) ; n.  e.  mavromatos and a.  momen , mod . a * 13 * , 1765 ( 1998 ) ; k.  farakos , g.  koutsoumbas , n.  e.  mavromatos and a.  momen , hep - ph/9905272 . k.  farakos , g.  koutsoumbas , and n.  e.  mavromatos , b * 431 * , 147 ( 1998 ) ; int . j. mod . b * 12 * , 2475 ( 1998 ) ; w.  v.  liu ,  parity breaking and phase transition induced by a magnetic field in superconductors , " cond - mat/9808134 .
Abstract:

Answer: the hypothesis that the magnetic catalysis of chiral symmetry breaking is due to interactions of massless fermions in their lowest landau level is examined in the context of chirally symmetric models with short ranged interactions . it is argued that , when the magnetic field is sufficiently large , even an infinitesimal attractive interaction in the appropriate channel will break chiral symmetry .