gauge theories in three spacetime dimensions typically possess solitonic disorder operators that strongly affect the physics at long distances .
a classic example is polyakov s proof that monopoles in a pure @xmath2 gauge theory lead to confinement even at weak coupling @xcite .
that emit magnetic flux . we will give a more careful definition in section 2 , where we will also explain what we mean by monopole states in three dimensions .
for a general review of basic properties of monopoles and their relation to other solitons in various dimensions , see e.g.  @xcite . ]
effects of gauge theory disorder operators on the phase structure of many other three - dimensional models have been analyzed in e.g.  @xcite .
the primary question concerning these operators is whether they cause confinement ; if not , as is often the case , the next order of business is to understand the ir fixed point .
identifying disorder operators in such a nontrivial cft is often a daunting task . using various classical limits ,
their quantum numbers have been calculated in the ir of qed with many fermion flavors @xcite , in the critical @xmath3 model at large @xmath4 @xcite , in the ir of qcd with many fermion flavors and with various gauge groups @xcite , and in the infinite - level limit of conformal chern - simons - matter theories @xcite .
disorder operators also feature prominently in supersymmetric theories , where their dimensions and intricate duality mappings can often be understood using holomorphy and localization @xcite .
understanding disorder operators in the ir of non - abelian theories without supersymmetry is generally difficult . even in the planar limit , no results at finite t hooft coupling were available unless the number of matter flavors was much larger than the number of colors .
however , recent progress in studying the t hooft limit of chern - simons ( cs ) theories coupled to matter @xcite makes it possible to elegantly compute the scaling dimensions of an interesting class of disorder operators in conformal cs - fermion theories with only one fermion flavor .
we perform this computation in this brief note .
our main result is that the lowest - dimension disorder operators with @xmath5 units of magnetic flux have dimension where @xmath6 is the yang - mills - regulated cs level .
this result is valid at all t hooft couplings .
our presentation starts with a technical definition of disorder operators in section 2 . in section 3
we obtain the advertised result by computing the thermal partition function of all cs - fermion states with a given magnetic flux on a two - sphere , and along the way we clarify certain aspects of the path integral computation given in @xcite . in section 4
we conclude by discussing implications of our findings for the bosonization duality between cs - fermion and cs - boson theories .
we are interested in local operators @xmath7 that create magnetic flux in a theory with gauge group @xmath8 .
a state created by a such a disorder operator at @xmath9 has flux that can be gauge - fixed into the form where @xmath10 is any two - sphere enclosing @xmath11 , @xmath12 is the gauge field strength in the theory , @xmath13 are the anti - hermitian cartans of @xmath8 , and @xmath14 are the gauge - invariant gno charges that index different monopole states in four spacetime dimensions @xcite .
the quantization of gno charges is most easily demonstrated in the path integral language , where configurations with a disorder operator at the origin can be depicted ( in a suitable gauge ) as fluctuations around wu - yang gauge field configurations @xcite ( note that the field strength associated to the above connection gives @xmath15 when integrated over an @xmath16 centered at the origin . )
this is an allowed configuration if the gauge fields on the south and north hemispheres differ by a gauge transformation .
fixing @xmath17 for convenience , the difference between north and south at @xmath18 is @xmath19 , and so the appropriate gauge transformation is enacted by the group element @xmath20 .
this object must be well - defined as we circle the equator of the @xmath16 by letting @xmath21 .
this condition , @xmath22 , is only satisfied for a discrete set of @xmath14 s .
there are reasons to believe that not all gno charges correspond to different disorder operators .
first , even if the wu - yang backgrounds are classical saddles , they need not all be stable in the quantum theory @xcite .
second , the operators defined via eq .   need not be eigenstates of the dilatation operator in the ir cft , and so they might not all be independent .
third , the gno monopoles are not all topologically protected .
topological charges exist only if the gauge group has a nontrivial fundamental group @xmath23 , e.g.  for @xmath24 but not for @xmath25 @xcite .
however , even though the gno classification may be too refined , we will find disorder operators with small amounts of flux in the planar limit that appear to have well - defined scaling dimensions with no indication of instabilities .
this means that the situation is similar to the one found in many - flavor qcd @xcite , where large classes of gno charges were shown to correspond to stable monopoles even though there was no a priori reason for them to do so .
so far we did not assume that the theory was conformal , and the operators @xmath7 were instantonic in character .
these instantons represent transitions to / from states with magnetic flux that we will call monopoles .
analyzing the spectrum of such states in general qfts is hard , but progress was made in the supersymmetric context in @xcite .
things are simpler in a conformal theory , where each disorder operator corresponds to a monopole state @xmath26 on @xmath27 , a two - sphere of radius @xmath28 . in the path integral these states correspond to configurations with background fields @xmath29 on @xmath30 .    in a yang - mills theory coupled to matter , disorder operators are defined in a gauge - invariant way using eq .  .
their scaling dimensions are determined , via the state - operator correspondence , as casimir energies of the fluctuations around wu - yang monopoles on @xmath31 , when these are good saddles .
is given by a constant times the area form .
if there is a reason to break the rotational invariance in the theory , it may happen that the true saddles are large deformations away from eq .
for which the magnetic flux is not uniformly distributed across the sphere . in that case , all comments we make apply to fluctuations around these new backgrounds .
spherical symmetry will never be broken in our examples , so we will work with fluctuations around uniform flux backgrounds . ]
the fluctuations in question must be gauge - invariant themselves . in the case of yang - mills theory
this means that no operators with electric charge may be present .
this picture changes if a chern - simons term at level @xmath6 is present in the action .
the wu - yang configuration in this case has electric charge @xmath32 , and the gauss law requires that matter fields compensate for this charge @xcite .
this means that gauge - invariant disorder operators in cs - matter theories do not merely create magnetic flux ; they also create enough matter to dress themselves into an electric singlet
. this dressing may introduce large corrections to the casimir energy due to matter self - interactions @xcite .
for instance , in a cs - fermion theory at @xmath33 ( or at zero t hooft coupling in the planar limit ) , the matter fields can be heuristically treated as noninteracting fermions in a background magnetic field that fill up a fermi sea until they reach @xmath34 units of charge ; the landau levels are separated by gaps of order @xmath35 , giving a total fermi energy of @xmath36 @xcite .
( see also @xcite . )
we will show that this holds at all t hooft couplings .
our approach to calculating disorder operator dimensions is the following .
we focus on the conformal cs - fermion theory , radially quantized with a wu - yang background on the spatial two - sphere , and we compute the path integral over all gauge field and matter fluctuations around this background . if the euclidean spacetime is taken to be @xmath37 , the result is a thermal partition function of all monopole states with the given set of gno charges ( with matter dressing automatically taken care of ) .
in the low temperature ( @xmath38 ) limit , the result must take the form @xmath39 , with @xmath40 being the desired energy ( or flat - space scaling dimension ) of the lightest disorder operator in this gno class
. we will calculate this @xmath40 in the t hooft limit by using several subtle tricks that we carefully explain in the following section .
consider the conformal @xmath0 chern - simons theory coupled to dirac fermions in the fundamental representation .
the thermal partition function is given by the path integral on @xmath41 , with the two - sphere volume @xmath42 and temperature @xmath43 .
the euclidean action is we normalize @xmath44 , and in particular we choose @xmath45 to be a matrix whose only nonzero entry is @xmath46 at the @xmath47th place on the diagonal .
( this choice means that gno charges have values @xmath48 for @xmath49 . )
we are interested in the planar limit , where @xmath4 and @xmath6 are taken to infinity with the t hooft coupling @xmath50 fixed . in dimensional regularization , the theory is unitary only for @xmath51 @xcite . the cs level @xmath6 is quantized by demanding invariance under large gauge transformations ; in order to offset the parity anomaly of the fermions , @xmath52 should take on values in @xmath53 @xcite , but in the t hooft limit this is immaterial and we may think of @xmath6 as being a ( large ) integer . at @xmath54
we recover the singlet fermion model @xcite , and as @xmath55 approaches unity the theory approaches pure cs theory @xcite .
a subtlety ( pointed out by o.  aharony ) arises here because we regulate the above theory using dimensional reduction , but the preceding discussion of disorder operators in cs theory assumed regularization using a yang - mills term .
the cs levels in the two regularizations are related by @xmath56 .
in dimensional reduction this shift arises because we must regulate the monopoles by giving them a core of nonzero size .
this uv regularization effectively acts as an edge of the system , and the electric charge of the monopoles gets shifted by the @xmath4 edge states of cs theory .
the operator content is simple to describe : cs has no dynamical degrees of freedom and the only operators with @xmath57 energies are products of @xmath58 `` single - trace '' singlets built out of two matter fields and covariant derivatives .
these single - trace operators are the scalar operator @xmath59 and conserved currents @xmath60 ; they have protected ( @xmath61-independent ) scaling dimensions in the planar limit , and they are conjectured to be holographically dual to higher - spin fields of the vasiliev system in ads@xmath62 @xcite .
if the gauge group is @xmath63 , the theory also contains baryons @xmath64 whose energies are @xmath65 @xcite . for any gauge group , there are also disorder operators defined in section 2 , and if the group is not simply connected ( e.g.  for @xmath58 ) these operators may have nontrivial topological charge .
the phase structure of planar cs - fermion theory at finite temperature is very rich ( see fig .  [ fig phases ] ) . at any finite t hooft coupling @xmath66
there are two phase transitions ( which overlap at a critical @xmath61 ) .
both transitions happen at temperatures of order @xmath67 .
these different phases are observed in the density of eigenvalues of the matrix model obtained by integrating out matter fields from in the high temperature limit @xmath68 .
interpreting the transitions in terms of the original variables is still an open question , but ref .
@xcite has shown suggestive evidence that baryon - antibaryon pairs introduce relations between singlet states at high energies and thereby cause a qualitative change in the density of states  an effective `` deconfinement '' that allows one set of singlets to recombine its constituents into a different set of singlets .
this transition is accompanied by going from a singlet free energy @xmath69 to a deconfined free energy @xmath70 .
it has also been speculated that the second phase transition is related to the proliferation of monopoles @xcite .
( -2 , 2 )  ( -2 , -2 )  ( 2 , -2 )  ( 2 , 2 ) ; ( 2 , -2 ) .. controls ( 0.5 , -1.95 ) and ( -2 , -1 ) .. ( -1.95 , 2 ) ; ( -2 , -1 ) .. controls ( -1 , -1 ) and ( 2 , 0.5 ) .. ( 1.95 , 2 ) ;    ( 0 ,
-2.05 ) node[anchor = north ] @xmath71 ; ( -2 , -2.05 ) node[anchor = north ] @xmath72 ; ( 2 , -2.05 ) node[anchor = north ] @xmath73 ; ( -2.05 , 0 ) node[anchor = east ] @xmath74 ; ( -2.05 , -1.8 ) node[anchor = east ] @xmath75 ; ( -2.05 , 2 ) node[anchor = east ] @xmath76 ;    a fascinating property of this planar cs - fermion theory is that it appears dual to the bosonic theory of cs gauge fields coupled to a wilson - fisher fixed point @xcite .
( similarly , the cs - gross - neveu model is related to the cs theory coupled to the ordinary free scalar ; our calculation holds for monopoles in this other cs - fermion theory , as well . )
this `` bosonization '' duality relates bosonic and fermionic theories with groups @xmath77 and @xmath78 and with couplings that satisfy @xmath79 .
this is a strong - weak duality that can be viewed both as a nonsupersymmetric giveon - kutasov duality @xcite and as a level - rank duality of pure cs theory extended to theories with matter @xcite .
the bosonization conjecture holds at the level of matching partition functions , correlators , s - matrices , and single - trace operators , but it is not known how nonperturbative operators map across the duality . since our result gives us dimensions of disorder operators at strong coupling , we will be able to tie this to the known facts about nonperturbative operators at weak coupling , and we will conjecture two possible patterns for how these nonperturbative operators may map to each other .
let us now review the methodology of solving the cs - fermion theory in the planar limit and without monopole backgrounds .
we present a streamlined version of the procedure that has been explained in great detail in ref .  @xcite . for convenience
, we will set the radius of the two - sphere to be @xmath80 ; this turns the temperature @xmath81 into a tunable dimensionless parameter . at finite temperature ,
matter fields develop thermal masses proportional to @xmath81 , so at @xmath82 the fermions become very massive , propagating only on scales @xmath83 much smaller than the size of the spatial @xmath16 . as for the gauge fields , the only gauge - invariant degrees of freedom are contained in the polyakov loop , i.e.  in the holonomy of the gauge field around the thermal circle .
this object is defined as the path - ordered exponential the polyakov loop can be viewed as a map from @xmath16 to @xmath58 . as such ,
it is not gauge - invariant  it can still change under time - independent gauge transformations .
its eigenvalues are gauge - invariant , however , and below we will describe the gauge fixing needed to reduce @xmath84 to its abelianized ( diagonal ) form @xmath85 with @xmath86 .
the cs action produces a @xmath87-function potential that sharply suppresses spatial variations of the polyakov loop eigenvalues , and the large thermal mass of the fermions ensures that integrating out matter will not change this potential on length scales greater than @xmath88 .
thus we may separate the fields in into `` high - energy '' modes ( all matter fields and the large - momentum gauge fields that glue them into singlets ) and `` low - energy '' modes ( the polyakov loop and the small - momentum gauge fields ) .
the high - energy degrees of freedom are all fields at momenta above @xmath81 ( in particular , this includes all matter fields ) . since the curvature of @xmath16 is much smaller than @xmath81 , these fields should be thought of as living in a flat space with a constant polyakov loop in the background @xcite .
the gauge fields can be dealt with by fixing the light - cone gauge , @xmath89 @xcite .
this choice gives a trivial faddeev - popov determinant .
integrating out the remaining gauge fields @xmath90 and @xmath91 gives a nonlocal potential for the matter fields , and matter can in turn be integrated out by the usual large-@xmath4 procedure for @xmath58 models @xcite .
after all the high - energy modes are integrated out , we are left with an effective potential for the polyakov loop that takes the form of a derivative expansion : the potentials @xmath92 above are all of order @xmath4 and are formed by traces of arbitrarily many powers of @xmath84 and @xmath93 powers of @xmath94 . at large @xmath81
the derivative pieces can be ignored and we can replace the polyakov loop @xmath84 with a constant matrix @xmath95 governed by the eigenvalue potential exact forms of this potential for various theories at all @xmath61 have been given in ref .
@xcite .    integrating low - energy modes
now proceeds by fixing the maximal torus gauge @xcite .
this is done in three steps
@xcite :    1 .
fix the temporal gauge @xmath96 ; 2 .
use time - independent gauge transformations to abelianize the polyakov loop and impose @xmath97 at each @xmath98 on the two - sphere ; 3 .
use the remaining time - independent transformations to impose the coulomb gauge for the cartan components of spatial gauge fields @xmath99 .    fixing this gauge and integrating all modes other than @xmath84 ( with @xmath81 as the uv regulator ) results in a matrix model for the polyakov loop .
as we have mentioned , the gauge - fixed integral will impose a @xmath87-function on non - constant abelianized configurations @xmath84 , so once we go to the maximal torus gauge we may just talk about a constant matrix @xmath100 .
the faddeev - popov determinants and the integration over the remaining modes ( the off - diagonal spatial components of gauge fields ) combine to give the vandermonde determinant of the @xmath58 matrix model , which is , modulo constant prefactors that we ignore , given by    a subtle and crucially important point arises when abelianizing the polyakov loop : matrices @xmath84 with equal eigenvalues represent degenerate points in the set of all polyakov loop configurations .
( we retain position dependence because the gauge must be fully fixed before we can meaningfully say that the integration of gauge fields fixes the @xmath101 s to be constant . ) we can not perform the second gauge - fixing step outright , but instead we must break up the path integral over all @xmath84 s into a sum over domains in which there are no eigenvalue overlaps anywhere on the sphere , and then abelianize in each domain separately . remarkably , these domains are indexed by gno charges .
more precisely , it is possible to show that time - independent gauge transformations @xmath102 needed to abelianize a generic nondegenerate @xmath84 at all @xmath103 need to be defined patch - wise on the two - sphere , just like in the wu - yang construction @xcite .
these transformations @xmath102 are then classified by the winding profile around the equator , and in turn this means that nondegenerate @xmath84 s are classified by winding numbers of the gauge transformations needed to abelianize them .
the winding numbers ( a.k.a
.  `` flux sectors '' ) are given by @xmath4 numbers @xmath104 , one for each cartan @xmath13 so that @xmath105 .
performing a gauge transformation with nontrivial winding diagonalizes the holonomy @xmath84 but simultaneously turns a smooth profile of the spatial gauge fields into a monopole configuration of form . when evaluated on a configuration with a nontrivial winding of @xmath84 and after the @xmath106 s are forced to be constant
, the cs term gives the @xmath107-dependent potential @xcite    the integral over all polyakov loops in the maximal torus gauge thus reduces to summing over flux sectors of spatial fields and integrating over all spatially constant configurations of eigenvalues @xmath101 .
the sum over flux sectors gives in other words , this sum discretizes eigenvalues in units of @xmath108 , meaning that instead of working with an @xmath4-fold integral over all @xmath109 we must work with a sum over @xmath110 for @xmath111 . in the planar limit , these eigenvalues are essentially continuous , although their discretization must be taken into account at large @xmath61 @xcite .
it is important to emphasize that polyakov loops associated to nontrivial flux sectors do _ not _ correspond to the monopole backgrounds discussed in the previous section .
we are talking about _ different _ gauge - invariant field configurations here : disorder operators correspond to nontrivial profiles of the spatial components of the gauge field , while flux sectors label domains defined by eigenvalues of @xmath84 , the integral of the temporal component of the gauge field .
it is only in the maximal torus gauge that some polyakov loop configurations @xmath84 manifest themselves as monopole backgrounds . in the next subsection
we will explain how bona fide monopoles are to be included in the computation .
finally , once the gauge is fixed and all other degrees of freedom have been integrated out , the partition function is given by the matrix model with discretized eigenvalues this model is solved using the usual large @xmath4 methods , e.g.  @xcite , by replacing @xmath101 with an eigenvalue density @xmath112 and carrying out a saddle - point calculation .
this was done for all @xmath61 in refs .
the four phases on fig .
[ fig phases ] are seen when @xmath113 and they correspond to different qualitative behaviors of @xmath112 : crossing the red critical line causes @xmath112 to lose support on the entire circle ( the gww transition ) , and crossing the blue line causes @xmath112 to cap off at @xmath114 , saturating the maximal possible value it can attain given the quantization of eigenvalues due to flux sectors ( the dk transition ) .
previous calculations of cs - matter partition functions using the above high-@xmath81 method did not sum over states with magnetic flux .
the resulting partition function obeyed the dualities expected of the full partition function with monopoles included , however .
this situation is similar to the calculation of the partition function for singlet vector models in @xcite .
this partition function knew about the phase transition caused by baryons even though it was constructed just by counting single - trace operators , and in fact the @xmath58 and @xmath63 results were the same even though the @xmath58 theory did not even have baryons ; this indicates that the contribution of baryon states to the partition function was negligible .
the same is expected to happen for monopole states .
we now wish to take the sum over monopoles into account .
we focus on those terms in this sum that correspond to states created by a single disorder operator with given gno charges @xmath115 .
the calculation we need differs from the ones in earlier works in three ways :    1 .
some of the gauge symmetry needs to be spent on fixing the monopole background to the maximal torus form at each spacetime point , as done in @xcite . for each set of @xmath93
equal gno charges , a @xmath116 factor contributes to the remaining gauge symmetry .
thus , for instance , if @xmath117 and all other charges are zero , the symmetry left to be fixed is @xmath118 .
if e.g.  @xmath119 and all other charges are @xmath120 , the gauge symmetry is @xmath121 .
the faddeev - popov determinant from this gauge - fixing depends on the saddle - point configurations , not on the dynamical fields .
the space of single - monopole backgrounds is discrete , and we focus on one specific background at a time ; therefore the fp determinant can not influence the physics of fluctuations around the saddle that we wish to study , and we may ignore it just as we ignore other constant prefactors .
the reduced gauge symmetry influences the vandermonde determinant @xmath122 and the abelianization of the polyakov loop .
for instance , on backgrounds with all different gno charges , the remaining gauge symmetry is @xmath123 , the vandermonde is trivial , the contribution of the polyakov loop to the action is just as if it was abelian to begin with , and there are no flux sectors to sum over .
2 .   high - energy modes will be insensitive to the flux background if the flux through a `` thermal cell '' of size @xmath124 is much less than unity .
in other words , as long as each gno charge satisfies @xmath125 , the integral over high - energy modes proceeds just as in the case without monopoles .
it is currently not known how to perform this integral at high gno charges .
3 .   the computation we wish to perform is reliable at high temperatures , but we are ultimately interested in extracting the casimir energy at @xmath126 .
we proceed by taking @xmath127 and then working in the double scaling limit @xmath128 , @xmath129 .
this is not as outlandish as it may seem : the theory has no phase transitions below a critical @xmath130 , so any computations in the regime @xmath131 will be analytically connected to the @xmath132 region . indeed ,
@xcite has shown that the @xmath129 limit of the free energy on a monopole - free background always reproduces the @xmath133 result obtained by other means . in a monopole background
the situation is only a bit more complicated . in the monopole - free sector ,
the dominant term of the partition function in the lowest - temperature phase is @xmath134 . in the case of interest for us , however , we are interested in the very small quantity @xmath135 , and so in our double scaling limit we should expect to reproduce the @xmath133 result up to corrections that have the same order in @xmath4 . in other words , we expect to find the partition function of the form @xmath136 with @xmath137 .
this is the form of the partition function we will recover , and we will be able to indicate which states contributed to the @xmath138 correction .    computing the partition function in the single - monopole background is now straightforward , and we can borrow most of the technical results from earlier work . in particular , the first two points above show that the integral over high - energy modes does not depend on the monopole background as long as the gno charges are much smaller than @xmath81 .
thus , when setting up the matrix model with monopoles , in eq .   we may use the result for the @xmath129 limit of the eigenvalue potential of cs - fermion theories obtained in eq .
( 6.33 ) of ref .
@xcite , the partition function in which this potential figures is a modification of that takes into account the monopole background according to the three precepts above : in writing the above we arrange the gno charges such that @xmath139 with @xmath49 . for a general @xmath140 , there are @xmath141 segments of @xmath142 equal charges ( with @xmath143 ) .
the primed sum over flux sectors @xmath144 leaves out all the @xmath145 s that belong to a segment of length one , i.e.  all @xmath144 such that @xmath14 is not equal to any other gno charge .
the remaining fluxes are summed just like in eq .  .
the vandermonde is the one appropriate for the @xmath146 group and is given by the product of determinants for subsets @xmath147 of eigenvalues that are conjugate to the same gno charge ,    eq .
shows that monopoles with equal nonzero gno charges are special : the sum over polyakov loop windings @xmath144 will subsume part of the @xmath5-dependent potential @xmath148 in any sector with @xmath149 .
the sum over @xmath144 s will still discretize the eigenvalues , and the remaining potential will depend on @xmath140 through the term @xmath150
. it would be fascinating to analyze such monopole states , but the discretization of eigenvalues takes this problem outside the scope of the current work .    from now on we restrict ourselves to monopoles whose nonzero gno charges are all different . for simplicity ,
let us consider @xmath151 and @xmath152 for @xmath153 ; the generalization to multiple nonzero charges will be trivial .
the eigenvalue conjugate to @xmath154 now has special status , while the other eigenvalues @xmath155 can be treated just like in the previous subsection .
in fact , the density of these @xmath156 eigenvalues is unaffected by the dynamics of @xmath157 at large @xmath4 , and the density @xmath158 is determined by the very same saddle - point calculation used to find @xmath112 in the monopole - free case .
the special eigenvalue @xmath157 thus decouples , and the remaining eigenvalues are integrated over to give a multiplicative factor of @xmath159 , defined in eq .  .
the contribution of these eigenvalues to the partition function with monopoles represents the resummed single - trace fluctuations on top of monopole states , and in the low-@xmath81 limit it does not affect the casimir energy @xmath40 . the remaining integral
should be understood as an integral over all excitations of the matter dressing the monopole . in other words ,
the integral over the remaining eigenvalue represents the sum over all monopoles with the given gno charge .
this type of integral over a single eigenvalue and its relation to nonperturbative effects has , in fact , been observed in matrix models describing quantum gravity @xcite .
the partition function is thus given by with the above integral can be solved using steepest descent .
before we proceed to find saddles of @xmath160 , we note that cs - matter is invariant under the parity transformation @xmath161 , @xmath162 , and the above potential clearly respects this . from now on we take @xmath163 ; any saddle @xmath164 we find at a fixed positive @xmath61 will correspond to a saddle @xmath165 at @xmath166 .
for the same reason we also take @xmath167 .
the saddle point equation is it is easy to find a complex saddle of the form @xmath168 , where @xmath169 is positive and large at small @xmath170 . to see that this is consistent and to find @xmath169 , we substitute this ansatz and use @xmath171 in the saddle point equation , getting and consequently which is indeed large as @xmath129 .
the value of the effective potential at this saddle point is we can now read off the casimir energy @xmath40 from @xmath172 , giving the advertised result    it can be checked that the steepest descent through this point in the complex plane is in the direction parallel to the real axis , and the initial contour can be deformed in the needed way without complications .
there are no indications of instability around this saddle point .
the contribution from the rest of the contour can be analytically shown to behave as @xmath173 for some coefficients @xmath174 and @xmath175 .
limit this contribution overwhelms the saddle point value and dominates the integral .
this is confirmed by numerical evaluation of the integral .
there are no inconsistencies here because we are really taking the double - scaling limit in which @xmath81 is always large , as described in the third point at the beginning of this subsection .
i thank guy gur - ari and ethan dyer for numerous discussions and help with understanding the behavior of this integral away from the saddle point . ]
this term comes from parts of the contour far away from the saddle point , and we believe it can be understood as the partition function of highly excited monopole states  the ones in which the dressing matter is not in its ground state but rather in states so energetic that their free energy eclipses the casimir energy .
we now ( very schematically ) show how this contribution from excited monopoles can come about .
consider the integral over monopole states with dressing matter excited to an energy @xmath176 above the ground state .
their contribution to the partition function is if @xmath81 is infinitesimal ( meaning @xmath132 on a spatial @xmath16 of unit radius ) , the above integral can be approximated just by @xmath177 .
however , as stressed in point 3 ) above , we work with @xmath178 and with @xmath128 taken before @xmath129 .
thus , states with energies that differ by less than @xmath81 will not be suppressed relative to each other , and the cumulative effect of all these states can be enough to overwhelm the exponential suppression afforded by @xmath129 . consider high - energy excitations with @xmath179 , the density of states appropriate for three - dimensional theories .
a saddle point calculation shows that integrating over sufficiently high energy modes in the above integral gives we take this as evidence that highly excited monopoles can , _ in principle _ , sum to a number that cancels out the @xmath177 prefactor and gives the above formula for a small positive @xmath174 . only at @xmath82
would it be possible to get @xmath174 of order one , so this is consistent with the expectation that our total result , @xmath180 , is analytically connected to @xmath181 that we would have gotten at @xmath126 without the double - scaling limit , had we been able to carry out that calculation .
a careful study of monopole excitations would give us the correct density of states and allow us to check this conjecture .
if the monopole state has several different nonzero gno charges , the same saddle - point equation is solved for each eigenvalue conjugate to these charges .
the resulting casimir energy can thus be recorded as the general answer for a monopole with few nonzero gno charges : this result stops being valid when there are so many nonzero gno charges that the collective dynamics of their eigenvalues can no longer be neglected when studying the remaining eigenvalue density @xmath158 .
moreover , if we had so many different charges , some of them would have charge comparable to @xmath4 , thus invalidating the assumption that the magnetic flux in each thermal cell is negligible .
understanding high - flux monopole states remains an open problem .
we now possess a fair amount of information about the spectrum of operators at strong coupling in @xmath58 cs - fermion theories . at low scaling dimensions we only have the tower of higher - spin @xmath58 single - traces and multi - traces with @xmath61-independent dimensions .
going to higher dimensions , we encounter the lightest disorder operators of dimension @xmath182 , and from there on we find more and more disorder operators with dimensions given by ; there are also the monopoles with excited matter dressing whose dimensions we can not calculate using the above method . ( disorder operators with several gno charges equal to @xmath183 are not expected to have dimensions lower than the one with just one nonzero gno charge @xmath183 , but they might appear just above it in the spectrum ; these have different topological charge , however , and we do not expect them to have nontrivial overlaps . ) there are no baryon operators in @xmath58 theories , so the disorder operators with @xmath184 are the lowest - dimension nonperturbative operators .    what can these operators map to under the large @xmath4 cs - matter bosonization dualities ?
the dual to the stronly coupled cs - fermion theory of rank @xmath185 is the weakly coupled cs - wilson - fisher theory of rank @xmath186 .
( recall that dual pairs of theories have ranks related by @xmath187 . )
all single - trace operators match across the duality , so the fermionic disorder operator can not be dual to any combination of bosonic single - traces .
moreover , global symmetries must map across the duality , and the single - flux disorder operator is charged with a topological @xmath188 symmetry @xcite . if the dual theory has gauge group @xmath189 , the only candidate in the weakly coupled bosonic theory is the bosonic disorder operator .
if the dual theory is @xmath190 , the only reasonable candidate is a baryon operator based on level - rank duality of pure cs theory @xcite , we may expect that @xmath191 maps to @xmath189 while @xmath192 maps to @xmath190 , meaning that disorder operators must map to disorder operators and baryons must map to baryons .
however , in this speculative section we remain open to the possibility that @xmath191 maps to @xmath190 .
can a bosonic baryon be dual to a fermionic disorder operator ?
the powers @xmath193 of derivatives must be inserted so that the levi - civita symbol does not antisymmetrize the baryon to zero .
their positioning is similar to populating the fermi sea with fermions in the disorder operator s matter dressing  this is a pleasant feature but should not be taken to mean much , as the fermi sea picture is not meaningful at strong coupling . more interestingly ,
though , this operator is charged under a baryon current @xmath194 , and in an @xmath190 theory this current is the natural ( and only ) candidate dual to the topological current @xmath188 of disorder operators in @xmath191 cs - fermion theories .
a mapping between monopoles and baryons has been observed in some supersymmetric theories in three dimensions @xcite .
even if some monopoles map to baryons under bosonization , the corresponding dimensions do not match up completely .
the lowest bosonic baryon has dimension proportional to @xmath195 at weak coupling @xcite .
the lowest fermionic disorder operator has dimension proportional to @xmath196 .
their dimensions differ by a factor of @xmath197 . to make dimensions match without ruining the mapping of @xmath2 charges , we must postulate that the fermionic disorder operator is bosonized to a bosonic baryon _ and _ a sea of singlets needed to raise the dimension to the right number .
in particular , a way that this can be done is to state that the lowest - dimension fermionic disorder operator maps to @xmath198 baryons and @xmath199 antibaryons in a bosonic theory , with @xmath200 at strong fermionic coupling .
the @xmath199 baryon - antibaryon pairs can then be written as a combination of multi - traces .
a similar multi - trace - dressing trick can be used to match up the dimensions of monopoles in the case of bosonic @xmath189 duals to the @xmath191 cs - fermion theory .
however , this leaves open the question of what a single bosonic baryon is dual to .
the mismatch of baryon and monopole dimensions that comes from studying the lowest - dimension disorder operators may serve as evidence that bosonization really does map a @xmath201 fermionic theory to a @xmath202 bosonic one , just as one would expect from pure cs level - rank duality .
it is particularly interesting to study these operator maps in light of the fact that the two phase transitions in fig .
[ fig phases ] are dual to each other @xcite . based on general expectations of analyticity and the evidence from @xcite , at any @xmath61
the gww transition should be induced by baryon - antibaryon pairs that affect the multi - trace density of states . as all single - trace operators are dual to each other , the relations between them that cause the phase transitions should also be dual .
the dk transition , being the dual of the gww transition , should thus be induced by relations between single - traces , and in particular it is natural to assume that it arises due to either monopole - antimonopole or baryon - anitbaryon pairs affecting the density of states of single - traces .
monopole - antimonopole pairs can drive a phase transition via different ways to enact the ope of disorder operators @xmath7 and @xmath203 of opposite gno charges ; @xmath204 has zero topological charge so we can expect to find higher - spin currents in this ope .
in other words , a two - monopole state with zero topological charge may have nontrivial overlaps with multiple multi - trace states , and this may lead to relations between multi - traces . and @xmath58 .
the theories with these groups have the same phase structure , but only @xmath58 has topologically charged monopoles , so once again we are led to think of topologically neutral configurations as the ones that drive the phase transition . in the same way , the baryonic phase transition exists in @xmath58 theories in which baryons are not gauge - invariant operators .
] it is thus very natural to conjecture that we can express a baryon - antibaryon pair @xmath205 in a fermionic theory as a pair of nonperturbative bosonic operators .
this is consistent with the picture of individual disorder operators mapping to individual baryons or monopoles , and it is now an interesting question of combinatorics ( relegated to future work ) to show whether the pairwise mapping of operators can be factored into mapping individual operators .
doing this combinatorics while respecting constraints set by the duality of phase transitions and the known dimensions of lowest - lying nonperturbative operators seems likely to reveal fascinating patterns in operator maps at finite @xmath4 .
if this is possible , we should also be able to conclusively decide whether the bosonization duality maps @xmath191 to @xmath189 , to @xmath190 , or to something else entirely .
another question of interest is the bosonization of disorder operators with zero topological charge .
based on our calculations , at least some of these are also stable saddles of the path integral ( e.g.  the dimension of the operator with @xmath206 is @xmath207 ) .
thus they should not map to single- or multi - trace operators .
a possible option is that they map to other disorder operators of zero topological charge .
finally , a good check for the speculations given in this section would come from studying all the currently unknown quantum numbers of these nonperturbative operators .
in particular , understanding bosonic disorder operators would be of great interest .
the methods in this paper are not applicable to monopole states in cs - boson path integrals because scalar matter can condense even when the magnetic flux in a thermal cell is small .
we view the generalization of the calculation in this paper to bosonic and supersymmetric theories as the most immediate and pressing topic for future work .
it is a pleasure to thank guy gur - ari , ethan dyer , and jen lin for collaborating on various stages of this project .
thanks are also due to shamik banerjee , shiraz minwalla , steve shenker , and ran yacoby for comments and useful conversations , and in particular to ofer aharony and spenta wadia for pointing out monopole regularization subtleties .
the author is supported by a william r.  hewlett stanford graduate fellowship .
j.  preskill , `` magnetic monopoles , '' ann .
nucl .  part .
sci .   * 34 * , 461 ( 1984 ) .
d.  tong , `` tasi lectures on solitons : instantons , monopoles , vortices and kinks , '' hep - th/0509216 .
a.  m.  polyakov , `` quark confinement and topology of gauge groups , '' nucl .
b * 120 * , 429 ( 1977 ) .
g.  baskaran and p.  w.  anderson , `` gauge theory of high temperature superconductors and strongly correlated fermi systems , '' phys .
b * 37 * , 580 ( 1988 ) .
n.  read and s.  sachdev , `` valence - bond and spin - peierls ground states of low - dimensional quantum antiferromagnets , '' phys .
lett .   * 62 * , 1694 ( 1989 ) .
n.  read and s.  sachdev , `` spin - peierls , valence - bond solid , and neel ground states of low - dimensional quantum antiferromagnets , '' phys .
b * 42 * , 4568 ( 1990 ) .
t.  senthil , l.  balents , s.  sachdev , a.  vishwanath and m.  p.  a.  fisher , `` quantum criticality beyond the landau - ginzburg - wilson paradigm , '' phys .  rev .
b * 70 * , 144407 ( 2004 ) .
m.  hermele , `` non - abelian descendant of abelian duality in a two - dimensional frustrated quantum magnet , '' phys .
b * 79 * , 184429 ( 2009 ) [ arxiv:0902.1350 [ cond-mat.str-el ] ] . v.  borokhov , a.  kapustin and x.  k.  wu , `` topological disorder operators in three - dimensional conformal field theory , '' jhep * 0211 * , 049 ( 2002 ) [ hep - th/0206054 ] . s.  s.  pufu , `` anomalous dimensions of monopole operators in three - dimensional quantum electrodynamics , '' phys .  rev .
d * 89 * , no . 6 ,
065016 ( 2014 ) [ arxiv:1303.6125 [ hep - th ] ] .
g.  murthy and s.  sachdev , `` action of hedgehog instantons in the disordered phase of the ( 2 + 1)-dimensional cp@xmath208 ) model , '' nucl .
b * 344 * , 557 ( 1990 ) .
m.  a.  metlitski , m.  hermele , t.  senthil and m.  p.  a.  fisher , `` monopoles in cp@xmath208 model via the state - operator correspondence , '' phys .
b * 78 * , 214418 ( 2008 ) [ arxiv:0809.2816 [ cond-mat.str-el ] ] .
e.  dyer , m.  mezei , s.  s.  pufu and s.  sachdev , `` scaling dimensions of monopole operators in the @xmath209 theory in 2 @xmath210 1 dimensions , '' jhep * 1506 * , 037 ( 2015 ) [ arxiv:1504.00368 [ hep - th ] ]
.    e.  dyer , m.  mezei and s.  s.  pufu , `` monopole taxonomy in three - dimensional conformal field theories , '' arxiv:1309.1160 [ hep - th ] . s.  kim and k.  madhu , `` aspects of monopole operators in n=6 chern - simons theory , '' jhep * 0912 * , 018 ( 2009 ) [ arxiv:0906.4751 [ hep - th ] ] . h.  c.  kim and s.  kim , `` semi - classical monopole operators in chern - simons - matter theories , '' arxiv:1007.4560 [ hep - th ] .
k.  a.  intriligator and n.  seiberg , `` duality , monopoles , dyons , confinement and oblique confinement in supersymmetric so(n(c ) ) gauge theories , '' nucl .  phys .
b * 444 * , 125 ( 1995 ) [ hep - th/9503179 ] .
o.  aharony , a.  hanany , k.  a.  intriligator , n.  seiberg and m.  j.  strassler , `` aspects of n=2 supersymmetric gauge theories in three - dimensions , '' nucl .
b * 499 * , 67 ( 1997 ) [ hep - th/9703110 ] .
o.  aharony , `` ir duality in d = 3 n=2 supersymmetric usp(2n(c ) ) and u(n(c ) ) gauge theories , '' phys .
b * 404 * , 71 ( 1997 ) [ hep - th/9703215 ] .
a.  kapustin and m.  j.  strassler , `` on mirror symmetry in three - dimensional abelian gauge theories , '' jhep * 9904 * , 021 ( 1999 ) [ hep - th/9902033 ] .
m.  j.  strassler , `` confining phase of three - dimensional supersymmetric quantum electrodynamics , '' in * shifman , m.a .
( ed . ) : the many faces of the superworld * 262 - 279 [ hep - th/9912142 ] .
v.  borokhov , a.  kapustin and x.  k.  wu , `` monopole operators and mirror symmetry in three - dimensions , '' jhep * 0212 * , 044 ( 2002 ) [ hep - th/0207074 ] .
a.  giveon and d.  kutasov , `` seiberg duality in chern - simons theory , '' nucl .
b * 812 * , 1 ( 2009 ) [ arxiv:0808.0360 [ hep - th ] ] .
s.  kim , `` the complete superconformal index for n=6 chern - simons theory , '' nucl .
b * 821 * , 241 ( 2009 ) [ nucl .
b * 864 * , 884 ( 2012 ) ] [ arxiv:0903.4172 [ hep - th ] ] .
d.  bashkirov , `` aharony duality and monopole operators in three dimensions , '' arxiv:1106.4110 [ hep - th ] .
f.  benini , c.  closset and s.  cremonesi , `` comments on 3d seiberg - like dualities , '' jhep * 1110 * , 075 ( 2011 ) [ arxiv:1108.5373 [ hep - th ] ] .
h.  c.  kim , j.  kim , s.  kim and k.  lee , `` vortices and 3 dimensional dualities , '' arxiv:1204.3895 [ hep - th ]
. k.  intriligator and n.  seiberg , `` aspects of 3d n=2 chern - simons - matter theories , '' jhep * 1307 * , 079 ( 2013 ) [ arxiv:1305.1633 [ hep - th ] ] . o.  aharony , s.  s.  razamat , n.  seiberg and b.  willett , `` 3d dualities from 4d dualities , '' jhep * 1307 * , 149 ( 2013 ) [ arxiv:1305.3924 [ hep - th ] ] . o.  aharony and d.  fleischer , `` ir dualities in general 3d supersymmetric su(n ) qcd theories , '' jhep * 1502 * , 162 ( 2015 ) [ arxiv:1411.5475 [ hep - th ] ] .
o.  aharony , p.  narayan and t.  sharma , `` on monopole operators in supersymmetric chern - simons - matter theories , '' jhep * 1505 * , 117 ( 2015 ) [ arxiv:1502.00945 [ hep - th ] ] .
s.  h.  shenker and x.  yin , `` vector models in the singlet sector at finite temperature , '' arxiv:1109.3519 [ hep - th ] . o.  aharony , g.  gur - ari and r.  yacoby , `` @xmath211 bosonic vector models coupled to chern - simons gauge theories , '' jhep * 1203 * , 037 ( 2012 ) [ arxiv:1110.4382 [ hep - th ] ] . s.  giombi , s.  minwalla , s.  prakash , s.  p.  trivedi , s.  r.  wadia and x.  yin , `` chern - simons theory with vector fermion matter , '' eur .  phys .
j.  c * 72 * , 2112 ( 2012 ) [ arxiv:1110.4386 [ hep - th ] ] .
o.  aharony , g.  gur - ari and r.  yacoby , `` correlation functions of large n chern - simons - matter theories and bosonization in three dimensions , '' jhep * 1212 * , 028 ( 2012 ) [ arxiv:1207.4593 [ hep - th ] ] . s.  jain , s.  p.  trivedi , s.  r.  wadia and s.  yokoyama , `` supersymmetric chern - simons theories with vector matter , '' jhep * 1210 * , 194 ( 2012 ) [ arxiv:1207.4750 [ hep - th ] ] . .
radievi , `` singlet vector models on lens spaces , '' jhep * 1403 * , 048 ( 2014 ) arxiv:1210.0255 [ hep - th ] . s.  yokoyama , `` chern - simons - fermion vector model with chemical potential , '' jhep * 1301 * , 052 ( 2013 ) [ arxiv:1210.4109 [ hep - th ] ] .
g.  gur - ari and r.  yacoby , `` correlators of large
n fermionic chern - simons vector models , '' jhep * 1302 * , 150 ( 2013 ) [ arxiv:1211.1866 [ hep - th ] ] .
t.  takimi , `` duality and higher temperature phases of large @xmath4 chern - simons matter theories on @xmath212 , '' arxiv:1304.3725 [ hep - th ] .
s.  jain , s.  minwalla and s.  yokoyama , `` chern simons duality with a fundamental boson and fermion , '' jhep * 1311 * , 037 ( 2013 ) [ arxiv:1305.7235 [ hep - th ] ] .
d.  anninos , r.  mahajan , .
radievi and e.  shaghoulian , `` chern - simons - ghost theories and de sitter space , '' jhep * 1501 * , 074 ( 2015 ) [ arxiv:1405.1424 [ hep - th ] ] .
s.  jain , m.  mandlik , s.  minwalla , t.  takimi , s.  r.  wadia and s.  yokoyama , `` unitarity , crossing symmetry and duality of the s - matrix in large n chern - simons theories with fundamental matter , '' jhep * 1504 * , 129 ( 2015 ) [ arxiv:1404.6373 [ hep - th ] ] . y.  dandekar , m.  mandlik and s.  minwalla , `` poles in the @xmath213-matrix of relativistic chern - simons matter theories from quantum mechanics , '' jhep * 1504 * , 102 ( 2015 ) [ arxiv:1407.1322 [ hep - th ] ] . k.  inbasekar , s.  jain , s.  mazumdar , s.  minwalla , v.  umesh and s.  yokoyama , `` unitarity , crossing symmetry and duality in the scattering of @xmath214 susy matter chern - simons theories , '' arxiv:1505.06571 [ hep - th ]
. g.  gur - ari and r.  yacoby , `` three dimensional bosonization from supersymmetry , '' arxiv:1507.04378 [ hep - th ]
. s.  minwalla and s.  yokoyama , `` chern simons bosonization along rg flows , '' arxiv:1507.04546 [ hep - th ] .
p.  goddard , j.  nuyts and d.  i.  olive , `` gauge theories and magnetic charge , '' nucl .
b * 125 * , 1 ( 1977 ) .
t.  t.  wu and c.  n.  yang , `` concept of nonintegrable phase factors and global formulation of gauge fields , '' phys .
d * 12 * , 3845 ( 1975 ) . s.  pufu , `` properties of monopole operators in 3d gauge theories , '' presentation at ` http://online.kitp.ucsb.edu/online/qft-c14/pufu/ ` ( 2014 ) .
s.  hellerman , d.  orlando , s.  reffert and m.  watanabe , `` on the cft operator spectrum at large global charge , '' jhep * 1512 * , 071 ( 2015 ) doi:10.1007/jhep12(2015)071 [ arxiv:1505.01537 [ hep - th ] ] .
s.  r.  wadia , `` a study of u(n ) lattice gauge theory in 2-dimensions , '' arxiv:1212.2906 [ hep - th ] .
d.  j.  gross and e.  witten , `` possible third order phase transition in the large n lattice gauge theory , '' phys .
d * 21 * , 446 ( 1980 ) .
s.  r.  wadia , `` @xmath4 = infinity phase transition in a class of exactly soluble model lattice gauge theories , '' phys .
b * 93 * , 403 ( 1980 )
. m.  r.  douglas and v.  a.  kazakov , `` large n phase transition in continuum qcd in two - dimensions , '' phys .
b * 319 * , 219 ( 1993 ) [ hep - th/9305047 ] .
m.  moshe and j.  zinn - justin , `` quantum field theory in the large n limit : a review , '' phys .
rept .   * 385 * , 69 ( 2003 ) [ hep - th/0306133 ] .
m.  blau and g.  thompson , `` derivation of the verlinde formula from chern - simons theory and the g / g model , '' nucl .
b * 408 * , 345 ( 1993 ) [ hep - th/9305010 ] .
h.  neuberger , `` nonperturbative contributions in models with a nonanalytic behavior at infinite @xmath4 , '' nucl .
b * 179 * , 253 ( 1981 ) .
doi:10.1016/0550 - 3213(81)90238 - 8    f.  david , `` phases of the large n matrix model and nonperturbative effects in 2-d gravity , '' nucl .  phys .
b * 348 * , 507 ( 1991 ) .
doi:10.1016/0550 - 3213(91)90202 - 9 s.  h.  shenker , `` the strength of nonperturbative effects in string theory , '' in * brezin , e. ( ed . ) , wadia , s.r .
( ed . ) : the large n expansion in quantum field theory and statistical physics * 809 - 819 o.  aharony , `` baryons , monopoles and dualities in chern - simons - matter theories , '' arxiv:1512.00161 [ hep - th ] .