gauge / gravity duality with non - relativistic scale invariance has drawn considerable interest in recent years .
an interesting direction of studies was based on the schrdinger geometry @xcite .
see also @xcite .
schrdinger symmetry is a scale invariant extension of the galiean symmetry by the particle number symmetry , anisotropic scale symmetry with dynamical exponent @xmath4 and special conformal symmetry .
the geometry of @xcite realizes this symmetry of a qft in @xmath5 spacetime dimension as isometries of a @xmath6 dimensional spacetime of the following form has been studied in @xcite , prior to @xcite . ] : @xmath7\ \ , \ \
\ \vec{x}\in\mathbb{r}^d\ .\ ] ] in particular , the shift symmetry of the coordinate @xmath8 realizes the particle number symmetry .
there are many works on schrdinger solutions in string / m - theory , including @xcite , which also discuss schrdinger solutions with general dynamical exponent @xmath9 .
see also many references below that we mention in more detailed contexts .
@xmath10 dimensional non - relativistic cft duals of 5 dimensional schrdinger geometries ( which we call sch@xmath11 ) were studied in @xcite with string theory embedding , as deformations of @xmath12 dimensional relativistic field theories by irrelevant operators which partly break the 4 dimensional conformal symmetry .
see @xcite for more discussions on the holography in this context .
on the other hand , a very natural way of obtaining a non - relativistic theory is to start from a relativistic cft living in a spacetime with _ same dimension _ , and to obtain the non - relativistic theory in the ir after a suitable mass deformation and performing the standard non - relativistic limit of redefining the energy and discarding ` anti - particles . '
indeed , it has been shown concretely that a class of @xmath10 dimensional mass - deformed cft gives a non - relativistic theory with schrdinger symmetry @xcite .
contrary to the other realization obtained by starting from a relativistic cft in one higher dimension , the schrdinger symmetry can not be embedded into the conformal symmetry of the relativistic theory .
it is thus interesting to see if there are mass - deformed cft s admitting gravity duals which show ` holographic rg flows ' from ads@xmath13 to sch@xmath14 .
to sch@xmath14 will be clarified later , as the latter lacks @xmath15 dimensional poincare symmetry of ads@xmath13 .
we shall obtain sch@xmath11 after combining an internal direction with four directions , performing the coordinate transformation ( [ coordinate - transform ] ) to have a time @xmath16 conjugate to the non - relativistic energy , and finally taking the scaling limit ( [ scaling ] ) . ] the case with @xmath17 will be our main interest in this paper , although similar studies could be done in other dimensions .
in particular , @xcite discussed the non - relativistic superconformal field theory obtained by deforming the @xmath18 scft @xcite by a mass term preserving all poincare supersymmetries , considering a particular vacuum in which all scalar expectation values are zero .
the classical lagrangian of this non - relativistic field theory preserves @xmath19 supercharges , including @xmath20 extra non - relativistic conformal supercharges .
there have been some efforts to construct the gravity dual of this theory in the ir based on the geometric realization of schrdinger symmetry @xcite .
none of them found it , at least with all @xmath19 killing spinors .
soon it was argued @xcite with a witten index calculation that the corresponding field theory vacuum does not exist , at least in the subset of supersymmetric vacua .
the gravity dual of this theory is still ill - understood to date .
see more comments about it in the discussion .    in this paper
, we find a very simple class of flow solutions from ads@xmath0 to sch@xmath11 after deforming a class of relativistic cft@xmath21 with a mass operator .
the 3 dimensional relativistic cft@xmath21 can be regarded as those living on parallel m2-branes in m - theory .
our construction is based on the relativistic uv cft dual to the so - called skew - whiffed @xmath22 , where @xmath23 denotes 7 dimensional sasaki - einstein manifold .
the skew - whiffing in this context corresponds to changing the sign of m2-brane charge , generically breaking supersymmetry . for the particular case of @xmath24 ,
maximal superconformal symmetry is preserved and the uv cft is relatively well understood . in this case , we explicitly identify the mass operator , which turns out to be non - supersymmetric and invariant under an @xmath25 subgroup of @xmath26 .
our finding shows how schrdinger geometries can appear by deforming relativistic cft s by mass operators and taking the non - realtivistic limit .
it could find applications in many different gauge / gravity dual models containing massive degrees only .
we briefly comment on some possible applications in the discussion .
the solution we consider in this paper can actually be understood as the zero - temperature black brane solution found and discussed in @xcite from 4 dimensional gauged supergravity .
the 4 dimensional metric in the einstein frame in the ` ir regime ' ( with small @xmath27 ) is given by @xmath28 which has zero entropy .
this type of geometry with poincare symmetry and broken ( isotropic ) scale invariance was considered in @xcite , and a similar system was considered in @xcite .
this type of geometry is different from those considered in @xcite which have approximate lifshitz symmetry . from our model , it is clear that the broken isotropic scale invariance originates from the mass deformation of the uv cft .
the remaining part of this paper is organized as follows . in section 2 , we explain our ansatz and obtain the analytic solution in the ir in the small radius expansion .
we explain the gravity dual operation of taking the non - relativistic limit of qft , the appearance of sch@xmath11 geometry , and the exact solution which interpolates our ir solution with asymptotic ads@xmath0 . in section 3
, we explain the mass term of the dual field theory when the internal 7-manifold is @xmath29 or orbifolds thereof .
section 4 concludes with discussions .
we seek for flow solutions from @xmath22 to 5 dimensional schrdinger geometries in the consistent truncation ansatz discovered in @xcite .
it will turn out that we can realize a schrdinger solution in the infrared if we advocate the so - called skew - whiffed truncation .
this truncated theory contains an @xmath22 vacuum , generically with broken supersymmetry . for the special case of @xmath24 ,
the @xmath30 vacuum is maximally supersymmetric . for the case with @xmath31 orbifold , the @xmath30 vacuum after orbifold is non - supersymmetric with skew - whiffing .
the nature of the mass term driving the flow of our solution will be discussed in section 3 after studying the gravity solutions .
the full solution is actually available in an analytic form @xcite , but to illustrate how the solution looks like and to explain why skew - whiffed setting is necessary to have nontrivial solutions , we explain some details of the derivation .    the consistent truncation ansatz of @xcite is @xmath32\ , \end{aligned}\ ] ] where @xmath33 is the khler 2-form of the khler - einstein base @xmath34 , @xmath35 is the reeb 1-form with @xmath36 , @xmath37 .
@xmath38 , @xmath39 , @xmath40 are 1-form , 2-form , 3-form in 4 dimensions , while @xmath41 and @xmath42 are real / complex scalars , respsectively .
the truncation with @xmath43 contains supersymmetric and generically non - supersymmetric @xmath30 vacuum .
the case with @xmath44 is the skew - whiffed truncation .
we would like to study the flow solutions preserving the @xmath10 dimensional poincare symmetry on the m2-brane world - volume .
this is because the flow itself after a mass deformation does not break poincare symmetry on the worldvolume .
it is only the non - relativistic limit , discarding ` anti - particles ' after suitably redefining non - relativistic energy , which breaks it .
we thus consider the poincare invariant ansatz @xmath45 from poincare symmetry , the gauge fields @xmath39 , @xmath46 are zero . at this stage , it appears that @xmath40 may be nonzero if proportional to the volume form @xmath47 . from the equations of motion and
the bianchi identities for @xmath48 , one obtains @xmath49 and @xmath50 from the @xmath39 equation of motion on the second line , one should set @xmath51 .
so either @xmath52 or @xmath40 should be vanishing .
as we shall see later , nonzero @xmath52 is crucial to have a schrdinger solution in the ir , similar to those in @xcite .
so we set @xmath53 .
the field @xmath42 can always be consistently set to zero , which we do from now on .
then , only the @xmath52 equation of motion ( third line ) remains nontrivial among the above equations .
as we shall explain shortly , we want an ir solution with @xmath54 , @xmath55 as @xmath56 , to get 5 dimensional schrdinger solutions .
it turns out that one can set @xmath57 , which is the value for the ads@xmath0 vacuum , all along the flow .
we shall later explain that this is a consistent ansatz , which actually comes from the existence of a further consistent truncation found in @xcite .
with @xmath58 , the 11 dimensional einstein equation becomes @xmath59 with @xmath60 .
the last equation is the @xmath61 equation of motion .
note that @xmath62 . with our 4 dimenisional metric ( [ 4d - metric ] ) , one obtains @xmath63 for @xmath64 , where prime denotes @xmath27 derivative .
therefore , the two nontrivial components ( @xmath65 and @xmath66 ) of the einstein equations and the @xmath67 equations become @xmath68\ .\end{aligned}\ ] ] apparently , there are 5 equations for 3 functions @xmath69 .
one more equation appears due to our poincare invariant ansatz with @xmath27 dependent functions only , and another one due to our ansatz @xmath58 .
the former extra equation will be eliminated from the consistency of poincare invariant ansatz , and the second one from the consistency of @xmath57 ansatz .
we first explain some structures of these equations .
as briefly explained above , we want @xmath70 for some constant @xmath71 as @xmath56 . then the terms containing @xmath72 and @xmath73 in the first three equations all yield @xmath74 , which are of order @xmath75 . also , the last factors @xmath76 become very large due to @xmath77 , unless @xmath78 is small .
especially , in the second equation , considering the signs of other terms , this term can not be canceled at all if it is indeed large .
the only way to have the desired ir solution is to take @xmath79 with skew - whiffing and demand @xmath80 as @xmath56 . in section 3
, we will also provide a group theoretical argument from uv perspective on why the desired flow solutions exist only with skew - whiffing in this truncation .
firstly , the equation for @xmath61 becomes to @xmath81[e^v+(-1+h^2)e^{-v}]\ .\ ] ] this relates @xmath52 and @xmath82 in an algebraic manner .
it will turn out that @xmath83 is the solution that we want .
it is a special case of an algebraic relation found in the truncation of @xcite with @xmath84 .
we are left with 4 equations for 2 variables @xmath85 .
one can easily show that the @xmath52 equation is equivalent to the @xmath86 equation . to show this
, we multiply @xmath52 to the last equation of ( [ 5-equations ] ) and obtain @xmath87\ ] ] after inserting ( [ h - v ] ) . as
the expression in the last parenthesis is the @xmath86 equation , the two equations are equivalent as long as @xmath88 . in our flow solution
, @xmath52 will only be asymptotically zero in uv , where we can easily check separately that the uv fixed point solves all equations .
so the last constraint will not obstruct the above elimination of one equation .
so far , the three equations for the two variables @xmath85 ( with ( [ h - v ] ) assumed ) are @xmath89 where the last equation may be replaced by @xmath90\ , \ ] ] where @xmath91 $ ] denotes the expression in the @xmath86 equation of motion , on the last line of ( [ 3-eqns ] ) .
also , we denote by @xmath92 $ ] and @xmath93 $ ] the expressions on the first and second lines of ( [ 3-eqns ] ) . to show that one of these three equations is redundant , we find it useful to consider the following two combinations of three independent equations : @xmath94-\frac{1}{3}[v]&:&0=a^{\prime\prime}+(a^\prime)^2-a^\prime v^\prime-4e^{2v}\\    \left[r_{rr}\right]-[r_{\mu\nu}]&:&2a^{\prime\prime}+v^{\prime\prime}+(v^\prime)^2    -a^\prime v^\prime+\frac{3}{2}e^{-2v}(h^\prime)^2\ .\nonumber\end{aligned}\ ] ] let us take 3 combinations of equations to be @xmath95-[v]}{3}=0 $ ] , @xmath93=0 $ ] and @xmath96\right)-2e^{2v}a^\prime\left([r_{rr}]-[r_{\mu\nu}]\right )    -2e^{2v}v^\prime\left(\frac{1}{3}[r_{rr}]-\frac{1}{3}[v]\right)\nonumber\\    & = & e^{2v}\left[\frac{1}{2}e^{-2v}(h^\prime)^2 - 2a^\prime v^\prime-2(a^\prime)^2\right]^\prime.\end{aligned}\ ] ] the last total derivative can be obtained after some straightforward algebra .
so this equation can be integrated to yield @xmath97-\frac{1}{3}[v]\right)-[r_{\mu\nu}]\ , \ ] ] where the last equation holds for @xmath98 .
thus , the first two equations guarantee this last equation with the integration constant chosen as @xmath98 .
so we have two independent equations for two functions in our ansatz .    to get ir solutions near @xmath99 , we define @xmath100 with a positive number @xmath71 and expand @xmath101 we can set @xmath102 without losing generality by shifting the variable @xmath27 , as all equations have translation symmetry in @xmath27 .
@xmath103 can also be eliminated to , say @xmath104 , by rescaling the poincare coordinates @xmath105 .
we leave it as it is as we want to identify it with a mass parameter in the uv later . plugging these in
, we find @xmath106 at @xmath107 terms of the equations . continuing the iteration ,
one finds the following small radius expansion in @xmath108 @xmath109 with @xmath57 and @xmath110 .
the solution with leading and next - to - leading terms is given by @xmath111 where vol@xmath112 . to obtain the schrdinger solution ,
we first perform a coordinate transformation to a rotating frame . taking @xmath35 , where @xmath36 is twice the khler 2-form of @xmath34
, we define @xmath113 to be the coordinates in the rotating ( or boosted ) frame . for later use ,
we note that @xmath114 is @xmath115 periodic for @xmath116 in our normalization . from the dual field theory perspective
, the shift of @xmath114 is identified as the particle number symmetry , or more precisely the symmetry conjugate the total rest mass as there could be more than one particle species .
so the conserved charge for @xmath16 takes the form of the non - relativistic energy @xmath117 , where @xmath118 and @xmath119 are conserved charges for the translation of @xmath120 .
the above metric can be written as @xmath121 note that @xmath122 terms cancels by the coordinate transformation , leaving the leading @xmath123 term .
taking the scaling limit @xmath124 with @xmath125 , one obtains @xmath126 the 5 dimensional metric apart from the @xmath34 part is the schrdinger geometry dual to @xmath10 dimensional non - relativistic field theory .
the coordinate transformation and scaling explained above are to be understood as the gravity dual of the non - relativistic limit .
sch@xmath11 solutions in m - theory of this type was found in @xcite .
however , the solution found there has different coefficients in various terms .
in fact , one can find a generalized solution @xmath127 which includes our solution ( [ ir - solution ] ) and that of @xcite as special cases .
as before , one can eliminate one of the two parameters @xmath128 by scaling @xmath129 in same ratio , after which one parameter remains .
setting @xmath130 yields our solution ( [ ir - solution ] ) , while setting @xmath131 yields that of @xcite .
( with @xmath132 which is our normalization ) , correcting a minor typo in their expression @xmath133 .
relating their quantities with ours as @xmath134 , @xmath135 , @xmath136 , @xmath137 with same @xmath16 , their eqn.(4.4 ) takes the form of ( [ generalized ] ) above . ]
the ` leading behavior ' of the ir solution ( [ leading ] ) before coordinate redefinition , keeping @xmath138 only , might look like @xmath139 fibered over @xmath34 with a compact longitudinal direction along @xmath114 .
however , this @xmath139 fibered over @xmath34 _ does not _ satisfy the equations of motion ( [ 5-equations ] ) itself , although making the leading @xmath107 equations satisfied . namely , there are subleading terms in the equations caused by the leading terms of the functions @xmath140 , to be canceled by the subleading terms of the functions .
there exist @xmath141 solutions in m - theory without any fibration in the @xmath114 angle , which is related to our ` leading behavior ' by replacing @xmath142 with same radii for @xmath139 and @xmath34 @xcite .
another point to mention is that this @xmath139 can not be obtained by a scaling limit similar to the one we explained above for @xmath143 .
naively , it might appear that the scaling @xmath144 , @xmath145 , @xmath146 , @xmath147 with @xmath148 would do this job . however , the last @xmath114 direction is compact .
this scaling limit demands one to zoom out to the long wavelength along @xmath149 , which does not make sense with a compact direction with a maximal wavelength .
note that the scaling ( [ scaling ] ) to the schrdinger geometry leaves @xmath8 unchanged .    before studying the full flow solution which interpolates the above ir solution with ads@xmath0 uv fixed point , we review the asymptotic expansion in uv @xcite . we obtain @xmath150 with two possible solutions for the coefficients @xmath151
defining @xmath152 , one obtains the asymptotic ads@xmath0 metric @xmath153 upon defining @xmath154 .
the general asymptotic solution is @xmath155 with @xmath156 and @xmath157 .
both modes are normalizable with these coefficients and there are two possible dual cft s in which one mode is the source of a boundary operator whose expectation value is given by the coefficient of the other mode .
we stick to the cft in which the field @xmath52 sources the fermion mass term at the boundary as we review in detail in section 3 , in which the mode with @xmath158 is taken to be the source . the fermion mass operator comes with dimension @xmath159 . from the gravity solution , one can get the precise values of the fermion and boson masses , which we explain in section 3 .    .
the thick / thin lines are plots of @xmath160 and @xmath82 , respectively .
@xmath82 approaches @xmath75 as @xmath161 ( the value for the @xmath30 vacuum).,width=302 ]    we now study if the ir solution can be interpolated to the asymptotic ads@xmath0 solution at @xmath162 .
we chose the first equation of ( [ basis ] ) and the @xmath52 equation ( [ h - equation ] ) for numerics .
the numerical analysis of the differential equations exhibits the desired interpolation .
the result for @xmath163 is shown in fig [ flow ] .
one can also vary the values of @xmath103 and numerically relate it with the variable @xmath164 in the uv expansion . in doing so
, we should remember that both in the ir and uv solutions we implicitly tuned a coefficient by using the translational symmetry of @xmath27 in the equations . in matching the two solutions , only one tuning is allowed .
so we relax our uv asymptotic behavior by admitting the @xmath27 translation degrees and write the solution as @xmath165 etc . , where @xmath166 is the same coefficient as above .
we fit the two coefficients @xmath167 by comparing the expansion ( [ uv - coefficients ] ) with the numerical solution at two large values of @xmath27 , which we chose as @xmath168 , and find @xmath169 , @xmath170 as functions of @xmath103 .
we find the relation to be @xmath171 @xmath172 appearing as the leading coefficient of @xmath52 in uv is the mass for fermions , consistent with the ir expectation from ( [ coordinate - transform ] ) that @xmath103 should be proportional to the mass parameter .
surprisingly , one can find an exact analytic solution for the whole flow @xcite , @xmath173 where the subscript @xmath174 denotes the 4 dimensional metric in the einstein frame .
( note that their @xmath27 above is not our @xmath27 used previously . )
it is related to our 4 dimensional metric as @xmath175 .
we managed to check this exact solution by a heavy use of mathematica .
we also checked that our ir expansion ( [ small - radius ] ) is completely reproduced from the above exact solution , after relating our ir radial variable @xmath176 with their @xmath27 as @xmath177 according to @xmath178 .
when the 7 manifold is @xmath24 or its @xmath31 orbifolds , we can identify the mass term which drives our flow . at @xmath179 , the m2-brane worldvolume scalars and fermions transform under @xmath26 as a vector @xmath180 and a chiral spinor @xmath181 , respectively .
the @xmath182 supercharge as well as the conformal supercharge transform as @xmath183 .
our skew - whiffed truncation ansatz has a preferred @xmath184 symmetry @xcite : in particular , the ansatz is invariant under @xmath185 isometry of the @xmath186 base .
the three @xmath26 representations decompose under @xmath184 as @xmath187 the charges of @xmath188 are chosen so that @xmath189 is possible , correcting a minor sign error in @xcite .
the m2-brane theory without skew - whiffing can be obtained by a parity transformation on @xmath190 , interchanging @xmath181 and @xmath183 representations . after this change , the supercharges in @xmath191 of @xmath181 are the @xmath18 supersymmetries of @xcite . with skew - whiffing ,
all the supercharges transforming in @xmath192 are broken for @xmath193 . at @xmath179 ,
monopole operators with @xmath188 charge @xmath194 make them gauge - invariant @xcite , enabling maximal supersymmetry .
we would like to explain the nature of the mass term triggering our flow .
the mass term should be invariant under the @xmath185 symmetry of the @xmath195 in our truncation , in the skew - whiffed frame .
decomposing @xmath181 ( matter fermions ) into @xmath196 , we call them @xmath197 , @xmath198 , @xmath199 with @xmath200 , following @xcite .
the fermions @xmath198 ( @xmath200 ) in @xmath191 are majorana spinors , proposed to be in the adjoint representation of the first @xmath201 , while the complex fermion @xmath197 in @xmath202 is in the bi - fundamental representation of @xmath203 .
it seems that the parity symmetry of this system is not manifest in the field theory . in our discussions below
, the role of these gauge group representations will be rather minor .
the mass for real fermions @xmath204 , with @xmath205 in @xmath181 of @xmath26 , is given by ( at least on a single m2-brane ) @xmath206 with an @xmath207 symmetric mass matrix @xmath208 .
the symmetric matrix has @xmath209 real components and decomposes under @xmath26 as @xmath210 , where @xmath211 is the ` traceless ' part with respect to the charge conjugation matrix , and @xmath212 is the ` identity ' part .
the spinor bi - linear in @xmath211 of @xmath26 is equivalent to self - dual 4-forms in @xmath190 , and will turn out to be dual to the self - dual 4-form modes in the gravity dual @xcite as we explain in some detail below . for now , we just mention that the last two terms on the second line of ( [ truncation ] ) with nonzero @xmath52 provides the relevant 4-form flux .
the mass matrix decomposes under @xmath185 as @xcite @xmath213 more concretely , the possible mass terms ( on a single m2-brane ) look like @xmath214+\frac{m_{ij}}{2}\psi^i\psi^j\ ] ] with real masses @xmath215 and @xmath216 , real traceless symmetric mass matrix @xmath217 , complex masses @xmath218 , @xmath219 . all but one combination of the first two mass terms proportional to @xmath215 , @xmath216 belong to @xmath211 .
a combination of the first two becomes an @xmath26 invariant .
this can not be dual to the 4-form flux that we turn on in our solution , as 4-form fluxes in @xmath190 always break @xmath26 .
so we do not consider this combination .
the other ` traceless ' combination @xmath220 , with canonically normalized kinetic terms for the fermions , corresponds to @xmath221 in the above decomposition of @xmath211 .
this is our mass term , as our gravity solution is invariant under @xmath184 . for multiple m2-branes ,
the first two mass terms proportional to @xmath222 can be made gauge invariant by taking traces , as @xmath198 is an adjoint and @xmath223 are in conjugate representations .
we emphasize that , as fermions are in @xmath183 without skew - whiffing , the mass matrix , now given by anti - self - dual 4-forms , decomposes under @xmath185 as @xmath224 without singlets .
this explains why our consistent truncation only has solutions with skew - whiffing .
the bosonic mass term is also @xmath185 invariant , which is unique up to coefficient : @xmath225 with @xmath226 .
this mass term is actually invariant under @xmath26 , at least for the single m2-brane for which we can decompose complex scalars to real scalars in @xmath180 .
even at @xmath179 in which the uv cft is supersymmetric , it is easy to see that the mass - deformed theory is always non - supersymmetric .
this is simply because the mass is same for all bosonic fields , while there appear two different nonzero masses for fermions .
one can compute the precise values of the fermion / boson masses with the known form of the flux . since we have a cft before mass deformation ,
physically meaningful quantity is just the ratio @xmath227 of the two masses . to conveniently match factors
, it is useful to compare the normalization with the well known maximally supersymmetric mass deformation . as a warming up ,
let us first consider an illustrative example of single m2-brane coupled to a background 4-form field @xmath228 in ( almost ) flat space .
we shall later explain that the same result is obtained from the large @xmath229 calculation in @xmath230 .
the coupling to this field is given by @xmath231_{012}++\beta\bar\psi\gamma^{ijkl}\psi[g_4]_{ijkl }    + \cdots\ , \ \ \ \ ( i , j , k , l=1,2,\cdots,8)\ ] ] with coefficients @xmath232 determined in @xcite .
we turn on small constant self - dual @xmath48 on @xmath190 , where smallness is to keep the back reaction to the flat space to be small .
the bosonic mass @xmath233 is related to the constant flux as @xcite @xmath234 this comes partly from the first term of ( [ wv - fermion - mass ] ) after the constant self - dual 4-form back - reacts to @xmath235 , and also partly from the back - reaction to the metric .
for the two cases @xmath236 and ( @xmath237 below is the kahler 2-form on @xmath190 , not on @xmath195 ) @xmath238 on @xmath190 , one obtains @xmath239 respectively .
all quantities with the subscript @xmath240 are for the case with the maximally supersymmetric mass deformation , to be compared with the case of our interest . in each case , expanding the fermion mass term in ( [ wv - fermion - mass ] ) , one obtains @xmath241 where the last two masses are those for the complex fermion @xmath197 in @xmath242 and the real fermions @xmath243 in @xmath191 .
their mass ratio @xmath244 is what we anticipated from group theory . in the former case ,
since the masses for bosons and fermions are equal due to supersymmetry , @xmath245 can be used to conveniently fix the normalization as @xmath246 . inserting this back , one obtains @xmath247 these masses happen to satisfy a supertrace constraint @xmath248 . and
the relation ( [ boson - mass ] ) to the boson mass , one can show @xmath249 . ]
now we explain how one can obtain the same masses from the asymptotic @xmath230 gravity solution in the large @xmath229 limit .
contrary to the simple case with single m2-branes , which is described by a free quantum field theory , the masses that we calculate below with the large @xmath229 gravity solution is the bare mass , or the uv mass , of the field theory . since the mass - deformed field theory preserves no supersymmetry , there can be nontrivial quantum corrections for the actual mass of particles in the ir .
the latter masses will be important quantities when one discusses the non - relativistic limit from the field theory .
the procedure of obtaining fermionic masses @xcite is similar to the above calculation for single m2-branes .
the 4-form @xmath250 in @xmath190 defined by @xmath251 and @xmath252 $ ] plays the role similar to the constant 4-form which appeared in the mass matrix for m2-branes in flat space , where @xmath253 is the radius of 7-sphere which we set @xmath75 in our normalization .
@xmath48 above is the flux on the @xmath29 and the radial part only .
working with the asymptotic solution of the form , @xmath254 one obtains @xmath255 .
the resulting fermion masses are @xmath256 as for the overall normalization , we matched with the convention used in @xcite for the maximally supersymmetric mass deformation , in which @xmath257 from the gravity solution leads to the boson / fermion masses @xmath258 .
the bosonic mass can be quickly computed if one takes a probe m2-brane in the mass - deformed uv solution . using the radial coordinate @xmath27 appearing in ( [ uv - coordinate ] ) ,
one obtains a quadratic potential in @xmath27 after partly canceling the contributions from the nambu - goto and wess - zumino terms . in the maximally supersymmetric case and for our case
, we obtain @xmath259 and @xmath260 , respectively , consistent with ( [ single - mass ] ) .
suppose we have a system with particles having various values of mass and global @xmath188 charge .
we consider non - relativistic limit with the @xmath188 symmetry as we did in our gravity solution .
the bosonic and two fermionic fields have charges @xmath261 , @xmath20 , @xmath240 , respectively from ( [ skew - whiffed - rep ] ) .
there could be other particles coming from bound states carrying nonzero global charge .
we take the non - relativistic energy to be @xmath262 , where @xmath118 is the relativistic energy and @xmath263 is some constant .
the constant @xmath263 has to be chosen such that the condition @xmath264 is met for all particles , while being saturated by a subset of them . from the gravity solution , as we made a coordinate transformation @xmath265 , @xmath266 , the conserved charge for @xmath16 is given by @xmath117 , with @xmath267 .
the non - relativisitic field theory only keeps a sector of particles which satisfy @xmath268 when they are at rest . on the other hand
, it discards at low energy all the other particles with @xmath269 at rest , as such particles have large non - relativistic energies .
this is exactly same as discarding anti - particles with non - relativistic energy @xmath270 .
so we have @xmath271 for some constant @xmath263 , where the modes which saturate the inequality survive the non - relativistic limit .
therefore , the non - relativistic theory would be keeping the particles with the largest value of @xmath272 , using the ir masses of the particles .
let us start from the theory on a single m2-brane , described by a free qft .
considering the three elementary particles only , one obtains the ratio @xmath273 thus , on single m2-branes , the @xmath197 mode survives in the non - relativistic theory if one uses @xmath188 as the particle number charge . for the case with large @xmath229 , had all the uv masses been the physical masses of elementary particles without any quantum corrections , one would have obtained the same ratio as the single m2-brane .
the actual values for @xmath274 from our gravity solution are @xmath275 , @xmath276 from ( [ uv - modes ] ) and ( [ uv - ir - relation ] ) , which are both larger than @xmath267 which we obtained from the coordinate transformation .
there could be two possible reasons for this .
it could be that the physical masses for these particles in ir acquire nontrivial quantum corrections causing smaller mass - to - charge ratios : at least nonzero quantum corrections are natural for our non - supersymmetric theories . and/or
, there can also appear bound states of these particles with nonzero binding energies , lowering the ratio .
as the schrdinger geometry comes with an infinite tower of kaluza - klein states on @xmath8 , representing infinitely many particle species @xcite , the last issue of bound states should anyway be an essential ingredient for understanding this system
. it should be interesting to have a better understanding on these quantum aspects of the spectrum .
in this paper , we considered the gravity solutions for a class of mass - deformed cft s in 3 dimensions , and showed that there exist 5 dimensional schrdinger geometries in the ir after taking the non - relativistic limit with a global @xmath277 symmetry . as far as we are aware of , this is the first occasion in which non - relativistic conformal geometries are explicitly derived by taking the natural non - relativistic limit of massive relativistic systems .
one could think of some generalizations and extensions of this idea to various directions .
firstly , one may ask if a similar story holds for the maximally supersymmetric mass deformation of the same uv theory . as the 4-form flux preserves @xmath278 , the flow solution would have two round 3-spheres .
we should be generalizing @xcite and seek for a solution with broken supersymmetry if the witten index calculation of @xcite is implying that the vacuum spontaneously breaks supersymmetry .
let us try to see if a mechanism explained in this paper could be working , namely , if the ` particle number circle ' can shrink in ir to be part of the 5 dimensional schrdinger geometry . as the @xmath277 symmetry is taken from the two round 3-spheres in @xcite
, any shrinking circle necessarily demands that the whole 3-spheres shrink as well , presumably making the ir geometry very singular .
it may also be worth considering the possibility that this vacuum could be metastable , or does not exist at all .
as explained before , the nonrelativistic cft of @xcite is based on the ` symmetric vacuum ' of the supersymmetric mass - deformed theory , with zero scalar vev .
the vacuum preserves supersymmetry only when @xmath279 .
its gravity dual will be highly curved , as the t hooft coupling is small .
still , formal gravity solutions with large curvature are identified in @xcite .
it may be possible to learn something useful from these solutions .
let us also mention at this point that , from the viewpoint of the non - relativistic limit of mass - deformed cft , the appearance of schrdinger geometries as the gravity duals of non - relativistic cft s seems to demand a strong restriction .
to illustrate this point , note that there are many ways of obtaining non - relativistic theories with a given mass - deformed cft if there exist more than one global @xmath277 symmetries , simply by choosing different @xmath277 s as particle number symmetries .
indeed , for the maximally supersymmetric mass deformation , different non - relativistic cft s obtained by choosing different @xmath277 s in the @xmath278 global symmetry were studied @xcite . in our mass deformed theory
, one can also consider using a @xmath277 in the @xmath185 isometry as the particle number symmetry , rather than @xmath188 along the @xmath114 or @xmath8 fiber of @xmath23 as we did in this paper .
note that a crucial ingredient which allowed sch@xmath11 of this paper was the shrinking circle for @xmath188 symmetry , @xmath280 , in ir .
this can not happen for @xmath281 as the @xmath34 part of the metric is finite in ir .
this seems to be implying that , for the geometry of @xcite to emerge as the gravity dual of schrdinger invariant qft obtained from mass - deformed relativistic cft , there should be nontrivial conditions on the quantum dynamics .
it would be interesting to further explore this issue .
our solutions reduced down to 4 dimensional spacetime of the gauged supergravity may not look so well - behaved @xcite . it should be interesting to get a low dimensional intuition for the solutions with schrdinger symmetry to explore a more general class of such solutions , maybe using attractor mechanisms @xcite .
similar studies have been done in @xcite , which attempts to realize the particle number symmetry without using internal isometries .
following the idea of this paper , it might be possible to find flow solutions from ads@xmath11 to sch@xmath282 by studying the consistent kaluza - klein truncation of @xcite based on @xmath283 .
there also exists a holographic flow solution for the 4 dimensional @xmath284 yang - mills theory with an @xmath285 supersymmetric mass deformation , which is singular in the ir @xcite .
perhaps it might be worth mentioning that the original motivation in @xcite of using this geometry to holographically study cold fermionic atoms at unitarity may be demanding alternative realizations of the schrdinger symmetry without using the isometry of @xmath8 as the particle number .
this question has been raised due to an exotic thermodynamics of schrdinger black holes @xcite , probably caused by the presence of an infinite tower of kaluza - klein particle species @xcite .
of course our system would be showing same phenomena , simply due to the appearance of the geometry of the form ( [ schrodinger ] ) .
the non - relativistic limit of @xcite is based on using the d0-brane charge ( geometrizable to m - theory isometry ) as the particle number , which is also the case for our system .
the non - relativistic cft discussed in @xcite essentially has this @xmath8 direction as it is obtained from a @xmath286 dimensional qft in the uv , where the @xmath8 isometry simply comes from the extra direction of the uv field theory . on the other hand , non - relativistic qft s obtained by the standard non - relativistic limit of mass - deformed qft
do not necessarily have such an infinite tower of bound states . from the field theory perspective , the special example of m2-brane cft discussed in this paper seems to be rather exceptional , containing geometrizable d0-brane global charge and exhibiting bound states for all d0-brane numbers .
thus , it could be possible to seek for a study along the line of @xcite , to have a gravity solution invariant under schrdinger symmetry with non - geometrizable particle number symmetry in the context of the mass - deformed cft
.    we would also like to comment that in @xcite , the phases of skew - whiffed field theory with relevant deformations ( i.e. coupled to nonzero @xmath52 field in the gravity dual ) have been studied extensively from the gravity dual , after considering more modes than what we did in this paper .
more precisely , a charged scalar and a massless gauge field were kept , apart from @xmath52 .
in particular , there is a phase transition which appears at nonzero chemical potential @xmath287 and mass , the latter one being the mass that we considered in this paper .
when @xmath287 is sufficiently larger than the mass , the system is shown to be in a superconducting phase with spontaneously broken @xmath277 symmetry .
on the other hand , if the chemical potential is small compared to the mass , the system is supposed to be in a normal phase which is gapped , without the goldstone boson associated with spontaneously broken @xmath277 . in particular , the line @xmath288 at zero temperature on the parameter space that we have considered all belongs to this normal phase . at zero temperature in the normal phase , with all the propagating degrees being massive ,
one may ask if there are interesting non - relativistic solutions like what we considered on the @xmath288 line . although the numerical solution was explained to be singular at zero temperature , this could be physically acceptable . in string theory , there are examples of four - dimensional extremal black holes described by singular geometries , yet being supersymmetric @xcite .
furthermore if we are interested in condensed matter systems with unique ground states , the dual geometries have zero entropy , which often lead to singular geometries .
also , uplifting the 4 dimensional geometry to 11 dimensions could reveal more interesting structures , as was the case on the @xmath288 line we studied in this paper .
finally , it could be desirable to investigate the stability of the solutions discussed in this paper .
an instability was reported for a solution in the skew - whiffed truncation with nonzero values of the charged field @xcite .
although the solution we discussed is more complicated than the ads solution studied there , at least studies of the ir solution ( [ ir - solution ] ) would be doable and worthwhile .
perhaps this problem could be related to the stability analysis of a class of @xmath141 solutions @xcite .
we would like to thank aleksey cherman , aristomenis donos , shamit kachru , sangmin lee , sungjay lee , eoin o colgain , sandip trivedi , daniel waldram , toby wiseman , jackson wu and especially jerome gauntlett and julian sonner for helpful discussions .
this work is supported by the bk21 program of the ministry of education , science and technology ( hk , sk ) , kosef grant r01 - 2008 - 000 - 20370 - 0 ( jp ) , the national research foundation of korea grants no . 2006 - 0093850 ( kl ) , 2009 - 0084601 ( kl ) , 2009 - 0085995 ( jp ) , 2010 - 0007512 ( hk , sk ) , 2009 - 0072755 , 2009 - 0084601 ( hk ) and 2005 - 0049409 through the center for quantum spacetime ( cquest ) of sogang university ( kl , jp ) .
sk thanks the theory group of imperial college london and damtp for hospitality during his visit , where this work was completed .
jp appreciates apctp for its stimulating environment for research .
d.  t.  son , `` toward an ads / cold atoms correspondence : a geometric realization of the schrodinger symmetry , '' phys
.  rev .
d * 78 * , 046003 ( 2008 ) [ arxiv:0804.3972 [ hep - th ] ] .
k.  balasubramanian and j.  mcgreevy , `` gravity duals for non - relativistic cfts , '' phys .
* 101 * , 061601 ( 2008 ) [ arxiv:0804.4053 [ hep - th ] ] . c.  duval , g.  w.  gibbons and p.  horvathy , phys .
d * 43 * , 3907 ( 1991 ) [ arxiv : hep - th/0512188 ] ; c.  duval , m.  hassaine and p.  a.  horvathy , annals phys .   *
324 * , 1158 ( 2009 ) [ arxiv:0809.3128 [ hep - th ] ] .
d.  israel , c.  kounnas , d.  orlando and p.  m.  petropoulos , fortsch .
* 53 * , 73 ( 2005 ) [ arxiv : hep - th/0405213 ] ; d.  orlando , s.  reffert and l.  i.  uruchurtu , j.  phys .
a * 44 * , 115401 ( 2011 ) [ arxiv:1011.1771 [ hep - th ] ] .
s.  a.  hartnoll and k.  yoshida , jhep * 0812 * , 071 ( 2008 ) [ arxiv:0810.0298 [ hep - th ] ] ; a.  donos and j.  p.  gauntlett , jhep * 0903 * , 138 ( 2009 ) [ arxiv:0901.0818 [ hep - th ] ] ; jhep * 0907 * , 042 ( 2009 ) [ arxiv:0905.1098 [ hep - th ] ] ; jhep * 0910 * , 073 ( 2009 ) [ arxiv:0907.1761 [ hep - th ] ] ; n.  bobev , a.  kundu and k.  pilch , jhep * 0907 * , 107 ( 2009 ) [ arxiv:0905.0673 [ hep - th ] ] ; e.  o colgain and h.  yavartanoo , jhep * 0909 * , 002 ( 2009 ) [ arxiv:0904.0588 [ hep - th ] ] .
c.  p.  herzog , m.  rangamani and s.  f.  ross , jhep * 0811 * , 080 ( 2008 ) [ arxiv:0807.1099 [ hep - th ] ] ; j.  maldacena , d.  martelli and y.  tachikawa , jhep * 0810 * , 072 ( 2008 ) [ arxiv:0807.1100 [ hep - th ] ] ; a.  adams , k.  balasubramanian and j.  mcgreevy , jhep * 0811 * , 059 ( 2008 ) [ arxiv:0807.1111 [ hep - th ] ] .
m.  guica , k.  skenderis , m.  taylor and b.  c.  van rees , jhep * 1102 * , 056 ( 2011 ) [ arxiv:1008.1991 [ hep - th ] ] ; p.  kraus and e.  perlmutter , jhep * 1105 * , 045 ( 2011 ) [ arxiv:1102.1727 [ hep - th ] ] . y.  nakayama , m.  sakaguchi and k.  yoshida , jhep * 0904 * , 096 ( 2009 ) [ arxiv:0902.2204 [ hep - th ] ] .
k.  m.  lee , s.  lee and s.  lee , jhep * 0909 * , 030 ( 2009 ) [ arxiv:0902.3857 [ hep - th ] ] .
o.  aharony , o.  bergman , d.  l.  jafferis and j.  maldacena , jhep * 0810 * , 091 ( 2008 ) [ arxiv:0806.1218 [ hep - th ] ] .
h.  ooguri and c.  s.  park , nucl .  phys .
b * 824 * , 136 ( 2010 ) [ arxiv:0905.1954 [ hep - th ] ] .
j.  jeong , h.  c.  kim , s.  lee , e.  o colgain and h.  yavartanoo , jhep * 1003 * , 034 ( 2010 ) [ arxiv:0911.5281 [ hep - th ] ] .
h.  c.  kim and s.  kim , `` supersymmetric vacua of mass - deformed m2-brane theory , '' nucl .
b * 839 * , 96 ( 2010 ) [ arxiv:1001.3153 [ hep - th ] ] .
s.  cheon , h.  c.  kim and s.  kim , `` holography of mass - deformed m2-branes , '' arxiv:1101.1101 [ hep - th ] .
j.  p.  gauntlett , j.  sonner and t.  wiseman , `` quantum criticality and holographic superconductors in m - theory , '' jhep * 1002 * , 060 ( 2010 ) [ arxiv:0912.0512 [ hep - th ] ] . c.  charmousis , b.  gouteraux , b.  s.  kim , e.  kiritsis and r.  meyer , jhep * 1011 * , 151 ( 2010 ) [ arxiv:1005.4690 [ hep - th ] ] . n.  iizuka , n.  kundu , p.  narayan and s.  p.  trivedi , arxiv:1105.1162 [ hep - th ] . k.  goldstein , s.  kachru , s.  prakash and s.  p.  trivedi , jhep * 1008 * , 078 ( 2010 ) [ arxiv:0911.3586 [ hep - th ] ] .
j.  p.  gauntlett , s.  kim , o.  varela and d.  waldram , jhep * 0904 * , 102 ( 2009 ) [ arxiv:0901.0676 [ hep - th ] ] .
e.  o colgain , o.  varela and h.  yavartanoo , `` non - relativistic m - theory solutions based on kaehler - einstein spaces , '' jhep * 0907 * , 081 ( 2009 ) [ arxiv:0906.0261 [ hep - th ] ] . b.  dolan , phys .
b * 140 * ( 1984 ) 304 .
a.  imaanpur and m.  naghdi , phys
.  rev .
d * 83 * , 085025 ( 2011 ) [ arxiv:1012.2554 [ hep - th ] ] .
d.  forcella and a.  zaffaroni , arxiv:1103.0648 [ hep - th ] .
s.  kim , nucl .
b * 821 * , 241 ( 2009 ) [ arxiv:0903.4172 [ hep - th ] ] ; m.  k.  benna , i.  r.  klebanov and t.  klose , jhep * 1001 * , 110 ( 2010 ) [ arxiv:0906.3008 [ hep - th ] ] ; d.  bashkirov and a.  kapustin , jhep * 1105 * , 015 ( 2011 ) [ arxiv:1007.4861 [ hep - th ] ] .
i.  bena , phys .
d * 62 * , 126006 ( 2000 ) [ arxiv : hep - th/0004142 ] .
n.  lambert and p.  richmond , `` m2-branes and background fields , '' jhep * 0910 * , 084 ( 2009 ) [ arxiv:0908.2896 [ hep - th ] ] .
a.  hashimoto , arxiv:1105.3687 [ hep - th ] .
j.  l.  f.  barbon and c.  a.  fuertes , `` ideal gas matching for thermal galilean holography , '' phys .
d * 80 * , 026006 ( 2009 ) [ arxiv:0903.4452 [ hep - th ] ] .
k.  balasubramanian and j.  mcgreevy , `` the particle number in galilean holography , '' jhep * 1101 * , 137 ( 2011 ) [ arxiv:1007.2184 [ hep - th ] ] .
n.  halmagyi , m.  petrini and a.  zaffaroni , arxiv:1102.5740 [ hep - th ] ; s.  kachru , r.  kallosh and m.  shmakova , arxiv:1104.2884 [ hep - th ] .
d.  cassani , g.  dallagata and a.  f.  faedo , jhep * 1005 * , 094 ( 2010 ) [ arxiv:1003.4283 [ hep - th ] ] ; j.  t.  liu , p.  szepietowski and z.  zhao , phys .
d * 81 * , 124028 ( 2010 ) [ arxiv:1003.5374 [ hep - th ] ] ; j.  p.  gauntlett and o.  varela , jhep * 1006 * , 081 ( 2010 ) [ arxiv:1003.5642 [ hep - th ] ] .
l.  girardello , m.  petrini , m.  porrati and a.  zaffaroni , nucl .
b * 569 * , 451 ( 2000 ) [ arxiv : hep - th/9909047 ] .
d. garfinkle , g. horowitz and a. strominger , phys .
d * 43 * , 3140 ( 1991 ) ; m. duff and j. rahmfeld , phys .
b * 345 * , 441 ( 1995 ) [ arxiv:9406105 [ hep - th ] ] .


enumeration of tilings on the square lattice with southwest - to - northeast diagonals drawn in was first studied in the 1990s ( see @xcite and the list of references therein ) .
chris douglas @xcite proved a conjecture posed by james propp about the number of tilings of an analog of the aztec diamond on the square lattice with every second diagonal drawn in ( see figure [ douglas ] ) . in particular , douglas showed that the region of order @xmath0 has exactly @xmath1 tilings .
( 0,0 ) , @xmath2 and @xmath3 .
the figure was first introduced in @xcite.,title="fig : " ]    # 1#2#3#4#5 @font    ( 6283,2966)(402,-2292 ) ( 2363,-1641)(0,0)[lb ] ( 6260,-1878)(0,0)[lb ] ( 828,-696)(0,0)[lb ]    the author @xcite generalized the result of douglas by considering a common generalization of the douglas region and the aztec diamond on the square lattice with arbitrary diagonals drawn as in figure [ douglasgen ] , called a _ generalized douglas region _ , and showing that the tilings of the region are also enumerated by a power of @xmath4 ( see theorem 4 in @xcite ) .
# 1#2#3#4#5 @font    james propp
@xcite also investigated a hybrid between the aztec diamond and a hexagon on the square lattice with every third diagonal drawn in , called _ quasi - hexagons_. the author @xcite solved a long standing problem of propp ( problem 16 in @xcite ) by giving an explicit formula for the number of hybrid domino - lozenge tilings of a quasi - hexagon .
especially , in the case of symmetry quasi - hexagon , the tiling formula is a simple product formula , which is the product of a power of @xmath4 and the number of tilings of a semi - regular hexagon given by macmahon s formula @xcite .
the author also proved a simple product tiling formula for an @xmath5-vertex counter part of the quasi - hexagons in @xcite .
inspired by the work of b.y .
yang @xcite and m. ciucu @xcite on the symmetric tilings of the aztec diamond , we consider the number of @xmath6 cyclically symmetric tilings of a generalized douglas region .
moreover , we also consider a more general case when certain portions of the region have been removed along the symmetry diagonal as in figure [ douglashole ] .
we show that the number of cyclically symmetric tilings of a generalized douglas region is given by a closed form product formula ( see theorem [ symthm1 ] in section 2 ) .    the study symmetric tilings of the hexagons on the triangular lattice date back to the 1980s when richard stanley published his classical paper @xcite on 10 classes of symmetric plane partitions . as
a quasi - hexagon can be viewed as a generalization of a hexagon , we investigate cyclically symmetric tilings of the quasi - hexagons .
we use the subgraph replacement method to show that the number of symmetric tilings of a quasi - hexagon is the same as the symmetric tiling of a hexagon , up to a multiplicative factor ( see theorem [ hexsym ] in section 2 ) .
the rest of this paper is organized as follows .
we give detailed definition of the generalized douglas regions and the quasi - hexagons , and the statement of our main results ( theorems [ symthm1 ] and [ hexsym ] ) in section 2 .
section 3 is devoted to several fundamental results in the subgraph replacement that will be employed in our proofs . in section 4 ,
we enumerate the perfect matchings of an aztec rectangle graph with holes , that itself can be considered as a generalization of the related work of b.y .
yang @xcite and m. ciucu @xcite in the case of aztec diamonds .
we will use this enumeration in our proof of theorem [ symthm1 ] is shown in section 5 .
finally , section 6 presents the proof of theorem [ hexsym ] .
a lattice divided the plane into disjoint fundamental regions , called _
cells_. a ( lattice ) _ region _ is a finite connected union of fundamental regions of that lattice .
tile _ is the union of any two fundamental regions sharing an edge .
a _ tiling _ of the region @xmath7 is a covering of @xmath7 by tiles with no gaps or overlaps . the number of tilings of a region @xmath7 is denoted by @xmath8 .
let @xmath9 be a fixed drawn - in ( southwest - to - northeast ) diagonal on the square lattice .
assume that @xmath10 diagonals have been drawn in above @xmath9 with the distances from between two consecutive ones from the top are @xmath11 , @xmath12,
,@xmath13 , and @xmath14 diagonals have been drawn in below @xmath9 with the distances between two consecutive ones from the bottom are @xmath15 , @xmath16,  ,@xmath17 ( see figure [ hexagonregion ] ) .
next , we color black and white the dissection obtained from the above set - up of drawn - in diagonals on the square lattice , so that two fundamental regions sharing an edge have different colors .
we define the _ quasi - hexagon _ @xmath18 as follows .
pick a lattice point @xmath19 on the the top drawn - in diagonal .
start from @xmath19 we go south or west in each step so that the black fundamental region stays on the left .
the resulting lattice path from @xmath19 intersects the diagonal @xmath9 at a lattice point @xmath20 . from @xmath20 , we go south or west so that the white fundamental region stays on the left in each step .
our lattice path stops when reaching the bottom drawn - in diagonal at a lattice point @xmath21 .
the described lattice path passing @xmath19 , @xmath20 and @xmath21 is the southwest boundary of the region .
next , we pick a lattice point @xmath22 on the top drawn - in diagonal so that @xmath22 is @xmath23 unit on the right of @xmath19 . the northeast boundary is obtained from the southwest one by reflecting about the perpendicular bisector of the segment @xmath24 and changing the steps from south to north and from west to east .
assume that the northeast boundary intersects @xmath9 and the bottom drawn - in diagonal by @xmath25 and @xmath26 , respectively .
we complete the boundary of the region by connecting @xmath21 and @xmath26 , and @xmath22 and @xmath19 along the drawn - in diagonal .
the six lattice points @xmath27 and @xmath22 are called the _ vertices _ of the region , and the diagonal @xmath9 are called the ( southwest - to - northeast ) axis of the region .    ( 0,0 ) .
the figure first appeared in @xcite.,title="fig : " ]    # 1#2#3#4#5 @font    ( 5276,5190)(406,-4616 ) ( 2200,-4276)(0,0)[lb ] ( 3200,-229)(0,0)[lb ] ( 3500,-793)(0,0)[lb ] ( 2600,158)(0,0)[lb ] ( 4400,-646)(0,0)[lb ] ( 800,-586)(0,0)[lb ] ( 1400,-3778)(0,0)[lb ] ( 0,-1704)(0,0)[lb ] ( 1400,-3076)(0,0)[lb ] ( 3400,-4141)(0,0)[lb ] ( 4600,-2986)(0,0)[lb ] ( 2000,344)(0,0)[lb ] ( 3700,-1329)(0,0)[lb ]    the cells in a quasi - hexagon are unit squares or triangles .
the triangular cells only appear along the drawn - in diagonals .
a _ row of cells _ consists of all the triangular cells of a given color with bases resting on a fixed lattice diagonal , or consists of all the square cells ( of a given color ) passed through by a fixed lattice diagonal .
define the _ ( generalized ) douglas region _
@xmath28 to be the region obtained from the portion of @xmath29 above the axis @xmath9 by replacing the triangles running along the top and the bottom draw - in diagonals by squares of same color ( see figure [ douglasgen ] ) .
the ( generalized ) douglas region was first investigated in @xcite , and also in @xcite and @xcite as a common generalization of the original douglas regions @xcite and the aztec diamonds @xcite .    as mentioned in @xcite ( theorem 2.1(a ) and theorem 2.3(a ) ) ,
if the triangular cells running along the bottom drawn - in diagonal of a quasi - hexagon or a douglas region are black , then the region has no tilings .
_ therefore , from now on , we assume that the triangular cells running along the bottom drawn - in diagonal are white .
_ this is equivalent to the fact that the last step of the southwest boundary is an east step .    for any finite set of integers @xmath30 , @xmath31 ,
we define four functions @xmath32 @xmath33 @xmath34 and @xmath35 where the empty products are equal 1 by convention .
the functions @xmath36 and @xmath37 were first introduced by jockusch and propp in @xcite , and @xmath38 and @xmath39 were first introduced by the author in @xcite as the tiling numbers of the so - called _ quartered aztec rectangles_.    given a douglas region @xmath40 admitting the southwest - to - northeast symmetry axis @xmath41 .
it is easy to see that we must have @xmath42 , for @xmath43 , @xmath10 is odd , and @xmath41 is _ not _ a drawn - in diagonal ( so all the cells running along @xmath41 are squares ) .
we label those squares passed by @xmath41 as follows .
if the symmetry center of @xmath26 stays inside on of the squares , we call this square _ center cell _ , and label it by @xmath44 .
next we label the two squares closest to the center cell by @xmath45 , we label the two squares that are second closest to the center cell by @xmath4 , and so on . a cell of @xmath26 is said to be _ regular _ is it is either a black square or a black triangle pointing away from @xmath41 .
we define the _ upper height _ @xmath46 of @xmath26 to be the number of rows of regular cells above @xmath41 or passed by @xmath41 , and the _ lower height _ @xmath47 of @xmath26 to be the number of rows of regular cells below @xmath41 or passed by @xmath41 .
the number of regular cells above @xmath41 is denoted by @xmath48 , and the number of regular cells below @xmath41 is denoted by @xmath49 .
finally , the total number of regular cells is denoted by @xmath50 .
we have @xmath51 if @xmath41 passes white squares , and @xmath52 otherwise , where @xmath53 is the number of squares passed through by @xmath41 .
we call @xmath53 the _ width _ of @xmath26 .
we call a row of an odd number of black triangles pointing toward @xmath41 and above @xmath41 a _ singular row_. the statistic @xmath54 is called the _ defect _ of @xmath26 .
we remove all squares having label in @xmath55 .
denote by the resulting region by @xmath56 ( see figure [ douglashole ] for an example ; the black squares indicate the ones that have been removed ) .
assume that @xmath57-\mathcal{s}=\{i_1,i_2,\dotsc , i_k\}$ ] , for @xmath58 .
we define @xmath59 and @xmath60 .    #
1#2#3#4#5 @font    we notice that if @xmath56 admits a tiling , then the number of squares removed equals @xmath61 if @xmath41 passes white squares , and equals @xmath62 otherwise .
moreover , in the latter case the center cell must be removed . in this case the number of cyclically symmetric tilings of the region @xmath63 is given by the following theorem .
[ symthm1 ] given a positive @xmath64 and a sequence of positive integers @xmath65 so that @xmath66 admits a southwest - to - northeast symmetry axis @xmath41 .
assume that @xmath54 is the number of rows of an odd number of black triangles that are pointing toward @xmath41 and above @xmath41 .
assume that we remove all squares running along @xmath41 with labels in @xmath67 , and that the number of squares removed equals @xmath61 if @xmath41 passes white squares , and equals @xmath62 otherwise .
\(a ) if @xmath41 passes white square cells of @xmath68 and @xmath69 , then the number of cyclically symmetric tilings of @xmath56 equals @xmath70 when @xmath53 is even , and equals @xmath71 when @xmath53 is odd .
\(b ) if @xmath41 passes black square cells of @xmath68 and @xmath72 , then the number of cyclically symmetric tilings of @xmath56 equals @xmath73 when @xmath53 is odd , and equals @xmath74 when @xmath53 is even .
we consider next the cyclically symmetric tilings of a symmetric quasi - hexagon @xmath75 define the polynomial of 3 variables @xmath76 this is exactly the number of transposed - complementary plane partition fit in the box @xmath77 ( see theorem 6.1 in @xcite ) .
the cyclically symmetric tilings of a quasi - hexagon is given by the following theorem .
a _ regular _ cell of a quasi - hexagon @xmath78 is either the square or a triangle pointing away from the axis @xmath9 .
denote by @xmath79 and @xmath80 the number of rows of black regular cells above @xmath9 and the number rows of white regular cells below @xmath9 , respectively .
denote @xmath81 and @xmath82 the number of black regular cells above @xmath9 and the number of white regular cells below @xmath9 .
the _ width _ @xmath83 of @xmath78 is the number of cells running along @xmath9 .
we use the notation @xmath84 for the number of the @xmath6 cyclically symmetric tilings .
[ hexsym ] let @xmath85 be positive integers , so that for which the symmetric quasi - hexagon @xmath86 has the heights @xmath87 less than the width @xmath83 .
+ ( a ) if the @xmath88 and @xmath83 are even , then @xmath89 ( b ) if the @xmath88 is even and @xmath83 is odd , then @xmath90 ( c ) if the @xmath88 is odd and @xmath83 is even , then @xmath91
this section shares several preliminary results and definitions with the prequels @xcite of our paper .
the first result not reported in @xcite is ciucu s lemma [ 4cycle ] .
a _ perfect matching _ of a graph @xmath92 is a collection of edges such that each vertex of @xmath92 is adjacent to exactly one edge in the collection .
the tilings of a region @xmath7 can be naturally identified with the perfect matchings of its _ dual graph _
( i.e. , the graph whose vertices are the fundamental regions of @xmath7 , and whose edges connect two fundamental regions precisely when they share an edge ) . in view of this
, we denote the number of tilings of a graph @xmath92 by @xmath93 .
more generally , if the edges of @xmath92 have weights on them , @xmath93 denotes the sum of the weights of all perfect matchings of @xmath92 , where the weight of a perfect matching is the product of the weights on its constituent edges .    a _ forced edge _ of a graph @xmath92 is an edge contained in every perfect matching of @xmath92 .
let @xmath92 be a weighted graph with weight function @xmath94 on its edges , and @xmath95 is obtained from @xmath92 by removing forced edges @xmath96 , and removing the vertices incident to these edges .
then one clearly has @xmath97    we present next three basic preliminary results stated below .
( 0,0 )    # 1#2#3#4#5 @font    ( 4188,1361)(593,-556 ) ( 1336,591)(0,0)[lb ] ( 3549,621)(0,0)[lb ] ( 3757 , 89)(0,0)[lb ] ( 3999,621)(0,0)[lb ] ( 820,-541)(0,0)[lb ] ( 1840,-535)(0,0)[lb ] ( 3031,-535)(0,0)[lb ] ( 4426,-484)(0,0)[lb ]    [ vertex - splitting lemma , @xcite lemma 2.2][vs ]
let @xmath92 be a graph , @xmath98 be a vertex of it , and denote the set of neighbors of @xmath98 by @xmath99 .
for an arbitrary disjoint union @xmath100 , let @xmath95 be the graph obtained from @xmath101 by including three new vertices @xmath102 , @xmath103 and @xmath104 so that @xmath105 , @xmath106 , and @xmath107 ( see figure [ vertexsplitting ] )
. then @xmath108 .    [ star ]
let @xmath92 be a weighted graph , and let @xmath98 be a vertex of  @xmath92 .
let @xmath95 be the graph obtained from @xmath92 by multiplying the weights of all edges that are adjacent to @xmath98 by @xmath109
. then @xmath110 .
part ( a ) of the following result is a generalization due to propp of the  urban renewal " trick first observed by kuperberg
. parts ( b ) and ( c ) are due to ciucu ( see lemma 2.6 in [ 5 ] ) .    ( 0,0 )    # 1#2#3#4#5 @font    ( 4054,1735)(340,-948 ) ( 355,-156)(0,0)[lb ] ( 1064,-933)(0,0)[lb ] ( 1891,-106)(0,0)[lb ] ( 1182,603)(0,0)[lb ] ( 2717,-189)(0,0)[lb ] ( 3426,-933)(0,0)[lb ] ( 4253,-106)(0,0)[lb ] ( 3426,603)(0,0)[lb ] ( 904,-382)(0,0)[lb ] ( 1396,-388)(0,0)[lb ] ( 1418,130)(0,0)[lb ] ( 946,130)(0,0)[lb ] ( 2968,284)(0,0)[lb ] ( 3934,311)(0,0)[lb ] ( 3964,-544)(0,0)[lb ] ( 2965,-526)(0,0)[lb ] ( 2197,-817)(0,0)[lb ]    [ spider lemma][spider ] ( a ) let @xmath92 be a weighted graph containing the subgraph @xmath111 shown on the left in figure [ spider1 ] ( the labels indicate weights , unlabeled edges have weight 1 ) .
suppose in addition that the four inner black vertices in the subgraph @xmath111 , different from @xmath112 , have no neighbors outside @xmath111 .
let @xmath95 be the graph obtained from @xmath92 by replacing @xmath111 by the graph @xmath113 shown on right in figure [ spider ] , where the dashed lines indicate new edges , weighted as shown
. then @xmath114 .
\(b ) consider the above local replacement operation when @xmath111 and @xmath113 are graphs shown in figure [ spider2](a ) with the indicated weights ( in particular , @xmath115 has a new vertex @xmath26 , that is incident only to @xmath19 and @xmath21 ) .
then @xmath116 .
\(c ) the statement of part ( b ) is also true when @xmath111 and @xmath113 are the graphs indicated in figure [ spider2](b ) ( in this case @xmath95 has two new vertices @xmath21 and @xmath26 , they are adjacent only to one another and to @xmath20 and @xmath19 , respectively ) .
we quote the following useful result due to ciucu @xcite .
( 0,0).,title="fig : " ]    # 1#2#3#4#5 @font    ( 1725,1926)(931,-1107 ) ( 1418 , 12)(0,0)[lb ] ( 1655,603)(0,0)[lb ] ( 2245,603)(0,0)[lb ] ( 2363 , 12)(0,0)[lb ] ( 969 , 36)(0,0)[lb ] ( 946,-696)(0,0)[lb ] ( 1479,-819)(0,0)[lb ]    [ 4cycle ]
let @xmath92 be a weighted graph having a @xmath117-vertex subgraph @xmath78 consisting of two @xmath118-cycles that share a vertex .
let @xmath119 , @xmath120 , @xmath121 , @xmath122 and @xmath119 , @xmath123 , @xmath124 , @xmath125 be the vertices of the 4-cycles ( listed in cyclic order ) and suppose @xmath122 and @xmath125 are only the vertices of @xmath78 with the neighbors outside @xmath78 .
let @xmath95 be the subgraph of @xmath92 obtained by deleting @xmath120 , @xmath121 , @xmath123 and @xmath124 , weighted by restriction .
then if the product of weights of opposite edges in each @xmath118-cycle of @xmath78 is constant , we have @xmath126    ( 0,0 ) with symmetric axis ; ( b ) the resulting graph after the cutting procedure.,title="fig : " ]    # 1#2#3#4#5 @font    ( 7111,2868)(225,-2253 ) ( 710,-460)(0,0)[lb ] ( 1477,-519)(0,0)[lb ] ( 2304,-492)(0,0)[lb ] ( 2540,-814)(0,0)[lb ] ( 3131,-519)(0,0)[lb ] ( 4490,-460)(0,0)[lb ] ( 5257,-519)(0,0)[lb ] ( 5494,-755)(0,0)[lb ] ( 5848,-610)(0,0)[lb ] ( 6379,-756)(0,0)[lb ] ( 6911,-519)(0,0)[lb ] ( 4253,189)(0,0)[lb ] ( 4312,-1287)(0,0)[lb ] ( 6200,-492)(0,0)[lb ] ( 532,-933)(0,0)[lb ] ( 296,-460)(0,0)[lb ] ( 4135,-401)(0,0)[lb ]    next , we introduce a useful tool due to ciucu @xcite to investigate the number of perfect matchings of reflective symmetric graphs .
let @xmath92 be a weighted planar bipartite graph that is symmetric about a horizontal line @xmath9 .
assume that the set of vertices lying on @xmath9 is a cut set of @xmath92 ( i.e. , the removal of these vertices disconnects @xmath92 ) .
one readily sees that the number of vertices of @xmath92 on @xmath9 must be even if @xmath92 has perfect matchings , let @xmath127 be half of this number .
let @xmath128 be the vertices lying on @xmath9 , as they occur from left to right .
let us color vertices of @xmath92 by black or white so that any two adjacent vertices have opposite colors . without loss of generality , we assume that @xmath129 is always colored white .
delete all edges above @xmath9 at all white @xmath130 s and black @xmath131 s , and delete all edges below @xmath9 at all black @xmath130 s and white @xmath131 s .
reduce the weight of each edge lying on @xmath9 by half ; leave all other weights unchanged . since the set of vertices of @xmath92 on @xmath9 is a cut set , the graph obtained from the above procedure has two disconnected parts , one above @xmath9 and one on below @xmath9 , denoted by @xmath132 and @xmath133 , respectively ( see figure [ verticalfactor ] ) .
[ factorthm ] let @xmath92 be a bipartite weighted symmetric graph separated by its symmetry axis . then @xmath134    consider a @xmath135 rectangular chessboard and suppose the corners are black .
aztec rectangle graph _
@xmath136 is the graph whose vertices are the white unit squares and whose edges connect precisely those pairs of white unit squares that are diagonally adjacent .
the _ odd aztec rectangle graph _
@xmath137 is the graph whose vertices are the black unit squares whose edges connect precisely those pairs of black unit squares that are diagonally adjacent . figures [ twoar](a ) and ( b ) illustrate an example of @xmath138 and @xmath139 respectively . if one removes the bottom row of the board @xmath20 and applies the same procedure the definition of @xmath136 , the resulting graph
is denoted by @xmath140 , and called a _
baseless aztec rectangle_. we also consider the graph @xmath141 that is obtained from the aztec rectangle @xmath136 by removing all its leftmost vertices .
it is worth noticing that when @xmath142 , the aztec rectangle graph @xmath136 become the _ aztec diamond graph _ @xmath143 .
elkies , kuperberg , larsen and propp @xcite showed that the number of perfect matchings of @xmath143 is exactly @xmath144 . the aztec rectangle graph
@xmath136 does _ not _ have a perfect matching in general , however , where certain vertices have been removed from one side of its , the perfect matchings are enumerated by a simple product formula ( see proposition 2.1 in @xcite ) .
next , we consider several variants of aztec rectangle graphs as follows .
label the vertices on the left side of the aztec rectangle @xmath136 from bottom up by @xmath145 .
denote by @xmath146 and @xmath147 the graphs obtained from @xmath136 by removing all odd - label and all even - label vertices , respectively ( see figures [ symt5](b ) and ( d ) for @xmath148 and @xmath149 , and figures [ symt6](b ) and ( d ) for @xmath150 and @xmath151 ) .
we call @xmath146 and @xmath147 the _ odd- _ and _ even - trimmed versions _ of @xmath136 , respectively
.    apply similarly process we obtain the odd- and even - trimmed versions of the graphs @xmath137 , @xmath152 , and @xmath141 .
figures [ symt2](b ) and ( d ) illustrate the graph @xmath153 and @xmath154 ; while the graphs @xmath155 and @xmath156 are shown in figures [ symt1](b ) and ( d ) .
see figures [ symt3](b ) and ( d ) for @xmath157 and @xmath158 , and figures [ symt4](b ) and ( d ) for @xmath159 and @xmath160 .
finally , examples of @xmath146 and @xmath147 are illustrated in figures [ symt8](b ) and ( d ) f and in figures [ symt7](b ) and ( d ) , respectively .
similar to the case of the aztec rectangle graphs , the above  trimmed aztec graphs " do not have perfect matching in general ; and we are interested in the case some bottom vertices of them have been removed .
label the bottom vertices of @xmath147 , @xmath146 , @xmath161 , and @xmath162 by @xmath163 form left to right . for @xmath164 and @xmath165 , define @xmath166 ( resp . , @xmath167 ) to be the graph obtained from @xmath147 ( resp . , @xmath146 ) by removing all bottom vertices , except for the ones at the positions @xmath168 .
define @xmath169 ( resp . , @xmath170 ) to be the graph obtained from @xmath161 ( resp .
, @xmath162 ) by removing the bottom vertices at the positions @xmath168 .
similarly , we label the bottom vertices of @xmath171 and @xmath172 by @xmath173 form left to right ; and we also label the bottom vertices of @xmath174 , and @xmath175 by @xmath163 from left to right . for @xmath164 and @xmath165 , define @xmath176 ( resp . , @xmath177 ) to be the graph obtained from @xmath171 ( resp .
, @xmath174 ) by removing all bottom vertices , except for the ones at the positions @xmath168 . the graph @xmath178 ( resp . ,
@xmath179 ) is the graph obtained from @xmath172 ( resp .
, @xmath175 ) by removing the bottom vertices at the positions @xmath44 and @xmath168 ( resp .
, at the positions @xmath168 ) .
the author showed that perfect matchings of our above graphs are always enumerated by a simple product formula ( see theorems 1.2 and 1.3 in @xcite ; our graphs here are the dual graphs of the regions mentioned in these theorems ) .
[ qarthm ] for any @xmath180 and @xmath165 @xmath181 @xmath182 @xmath183 @xmath184 @xmath185 @xmath186 @xmath187 and @xmath188
in his ph.d . thesis @xcite , bo - yin yang proved a conjecture posed by jockush on the number of cyclically symmetric tilings of aztec diamond .
ciucu reproved the result in @xcite using his factorization theorem [ factorthm ] and a result of jockush and propp @xcite on the so - called _ quartered aztec diamonds_. this is worth noticing that the gave a new proof for the result of jockush and propp in @xcite , and also generalized the result ( see theorems 1.2 and 1.3 in @xcite ) . in this section
we enumerate cyclically symmetric perfect matchings of an aztec rectangle graph with several vertices removed along the symmetry axis .
our result deduces ciucu and jockush s result ass a special case when the set of removed vertices is empty .
consider an aztec rectangle @xmath136 with the horizontal symmetry axis @xmath9 and the vertical symmetry axis @xmath189 .
we label the vertices of @xmath190 on @xmath9 as follows .
if the symmetry center of the graph is a vertex on @xmath9 , then we label it by @xmath44 .
label two vertices that is closest to the center by @xmath45 , label the second closest vertices by @xmath4 , and so on .
we remove @xmath191 vertices so that the resulting graph still admits the vertical symmetry axis @xmath189 .
denote by @xmath192 the label set of removed vertices , which are not the center ; and denote by @xmath193 the resulting graph .
assume that @xmath194 is label set of the vertices of @xmath193 on @xmath9 .
it is easy to see that if @xmath195 is even , then @xmath193 admits a perfect matching when @xmath196 , and if @xmath195 is odd , then we must have @xmath197 ( the latter inequality comes from the fact that the number of removed vertices , @xmath198 , must less than or equal to the number of vertices on @xmath9 ) .
ciucu showed that if @xmath195 is even and @xmath196 , then the total number of perfect matchings of @xmath193 is given by a simple product formula ( see theorem 4.1 in @xcite ) .
we are also interested in the perfect matchings of @xmath193 , which are invariant under the @xmath199 rotation around the symmetry center of the graph .
denote by @xmath200 the number of cyclically perfect matchings a graph @xmath92 .
we separate the label set of the vertices of @xmath193 on @xmath9 into two subsets : @xmath201 and @xmath202 .
the number of cyclically symmetric perfect matchings of an aztec rectangle graph with holes is given by simple products in the following theorem .
[ sym ] ( a ) for any @xmath203 and @xmath204 @xmath205 ( b ) for any @xmath206 and @xmath207 @xmath208 ( c ) for any @xmath206 and @xmath209 @xmath210 ( d)for any @xmath203 and @xmath211 @xmath212    .,width=510 ]    we present only the proof of part ( a ) , the other parts can be obtained similarly .
we will show that the number of @xmath199 cyclically symmetric perfect matchings of our graph is given by the product of the numbers of perfect matchings of two graphs in theorem [ qarthm ] .
consider the holey aztec rectangle @xmath213 with the horizontal and vertical symmetry axes @xmath9 and @xmath189 ( see figure [ aztechole](a ) for @xmath214 ) . in this case
consider the subgraph @xmath78 of @xmath92 that is induced by vertices on the right @xmath189 or on @xmath189 .
label the vertices of @xmath92 on @xmath189 and above @xmath9 by @xmath216 from bottom to top ; and label the vertices of @xmath92 on @xmath189 and below @xmath9 by @xmath217 from top to bottom .
it is readily to see each cyclically symmetric perfect matching @xmath218 of @xmath92 is determined uniquely by its sub - matching in the edge set of @xmath78 , @xmath219 . on the other hand , by the symmetry of @xmath218 , exactly one of two vertices @xmath220 and
@xmath221 is covered by @xmath222 .
therefore , given a cyclically symmetric perfect matching @xmath218 of @xmath92 , @xmath223 corresponds to a perfect matching of @xmath224 , the graph obtained from @xmath78 by identifying @xmath220 and @xmath221 , for any @xmath225 .
this implies that the cyclically symmetric perfect matchings of @xmath92 are in bijection with the perfect matchings of @xmath224 .
moreover , we can put the new vertices in @xmath224 on @xmath9 , so that @xmath224 admits the horizontal symmetry axis @xmath9 ( see figure [ aztechole](b ) ) . by factorization theorem [ factorthm ]
, we have @xmath226 where @xmath224 has exactly @xmath227 vertices on @xmath9 .    for even @xmath195 , we have @xmath228 is isomorphic to @xmath229 and @xmath230 is isomorphic to @xmath231 , while @xmath228 is isomorphic to @xmath231 , and @xmath230 is isomorphic to @xmath229 when @xmath195 is odd .
therefore , the theorem follows from theorem [ qarthm ] .
next , we present serval new transformations that we will employ in the proof of theorem [ symthm1 ] .    the _ connected sum _ @xmath232 of two disjoint graphs @xmath92 and @xmath233 along the ordered sets of vertices @xmath234 and @xmath235 is the graph obtained from @xmath92 and @xmath95 by identifying vertices @xmath221 and @xmath236 , for @xmath237 .    in lemmas [ newt1 ] , [ newt2 ] , [ newt3 ] , and [ newt4 ]
, we always assume that @xmath92 is a graph , and @xmath238 is an ordered set of vertices in @xmath92 . moreover , all connected sums act on @xmath92 along @xmath238 and on other summands along their bottommost vertices ordered from left to right .    ) of lemma [ newt1].,width=226 ]    ) of lemma [ newt1].,width=226 ]    [ newt1 ] @xmath239 and @xmath240 where @xmath241 and @xmath242 are the graphs obtained from @xmath146 and @xmath147 by appending @xmath0 vertical edges to their bottommost vertices , respectively ( see figure [ symt1 ] for examples of the transformation in ( [ t1a ] ) , and figure [ symt2 ] for examples of the transformation in ( [ t1b ] ) ) .
.,width=377 ]    we only prove here the transformation in ( [ t1a ] ) , based on figure [ prooft1 ] , for @xmath243 ; and the transformation in ( [ t1b ] ) can be obtained in the same way .
first we apply the vertex - splitting lemma [ vs ] to all vertices of @xmath244 that are incident to a shaded diamond or a partial diamond as in figure [ prooft1](a ) .
we get the graph @xmath245 on figure [ prooft1](b ) .
next , we apply spider lemma [ spider ] around @xmath246 shaded diamonds and partial diamond ( the dotted edges have weight @xmath247 ) , and remove all edges incident to a vertex of degree 1 , which are forced .
we obtain a weighted graph @xmath248 obtained from @xmath249 by assigning to each edge of @xmath161 a weight @xmath247 .
finally , we get back the graph @xmath249 by applying the star lemma [ star ] with factor @xmath250 at @xmath251 shaded vertices in figure [ prooft1](c ) . by lemma [ vs ] , [ spider ] , and [ star ] , we have @xmath252 which implies ( [ t1a ] ) .    ) of lemma [ newt2].,width=226 ]    ) of lemma [ newt2].,width=226 ]    by applying the transformations in lemma [ newt1 ] ( in reverse ) , and then vertex - splitting lemma , one can get the following transformations .
[ newt2 ]    @xmath253    and @xmath254 where @xmath255 and @xmath256 are the graphs obtained from @xmath162 and @xmath161 by appending @xmath0 vertical edges to their bottommost vertices , respectively ( figure [ symt6 ] shows the transformation in ( [ t2a ] ) , and figure [ symt5 ] illustrates the transformation in ( [ t2b ] ) ) .    ) of lemma [ newt3].,width=226 ]    ) of lemma [ newt3 ] .
red edge has weight @xmath247.,width=226 ]    by using lemma [ 4cycle ] we can get the following lemma .
[ newt3 ] @xmath257 and @xmath258 where @xmath259 is the graph obtained from @xmath175 by appending @xmath0 vertical edges to its bottommost vertices ; and where @xmath260 is the graph obtained from @xmath261 by appending @xmath0 vertical edges to its bottommost vertices , the leftmost vertical edge is weighted @xmath247(the transformation in ( [ t3a ] ) is shown in figure [ symt4 ] , and the transformation in ( [ t3b ] ) is illustrated in figure [ symt3 ] ) .    ) in lemma [ newt3].,width=377 ]    ) in lemma [ newt3].,width=377 ]    we only need to prove ( [ t3a ] ) for even @xmath195 , and the case of odd @xmath195 follows by removing forced edges .    our proof is illustrated in figure [ prooft3 ] , for @xmath262 and @xmath263 .
we follow the typical procedure in our proof of lemma [ newt1 ] : first apply vertex - splitting lemma [ vs ] to the vertices in @xmath264 that are incident to a shaded diamond or partial diamond ( see figure [ prooft3](a ) and ( b ) ) .
second , apply suitable replacement in spider lemma [ spider ] around @xmath246 shaded diamonds and partial diamonds .
third , apply lemma [ 4cycle ] to remove @xmath265 7-vertex subgraph consisting of two shaded 4-cycles ( see figure [ prooft3](c ) ; the dotted edges are weighted by @xmath247 ) .
finally , apply the star lemma [ star ] with factor @xmath250 to all @xmath266 shaded vertices as in figure [ prooft3](c ) .
the resulting graph is exactly @xmath267 . by lemmas [ vs ] , [ spider ] , [ 4cycle ] , and [ star ]
, we obtain @xmath268 which implies ( [ t3a ] ) .
next , we show the proof of ( [ t3b ] ) for odd @xmath195 , the case of even @xmath195 follows by removing forced edges . our proof is shown in figure [ prooft3b ] , for @xmath269 and @xmath263 .
we apply vertex - splitting lemma to the vertices in @xmath270 incident to a shaded diamond or partial diamond as in figures [ prooft3b](a ) and ( b ) . then apply spider lemma to @xmath271 shaded diamonds and partial diamonds .
next , we apply lemma [ 4cycle ] to remove @xmath272 subgraphs consisting of two shaded 4-cycles ( see figure [ prooft3b](c ) ; the dotted edges have weight @xmath247 ) , and apply vertex - splitting lemma [ vs ] ( in reverse ) to eliminate the two solid edges in the resulting graph
. finally , apply star lemma [ star ] ( for the factor @xmath250 ) to all @xmath266 shaded vertices . by lemmas [ vs ] , [ spider ] , [ 4cycle ] , and [ star ] , we get @xmath273 which yields ( [ t3b ] ) .    ) of lemma [ newt4],width=226 ]    ) of lemma [ newt4 ] .
red edge has weight @xmath247.,width=226 ]    similar to lemma [ newt3 ] , we have the following lemma .
the proof of the next lemma is essentially the same as that of lemma [ newt3 ] , and will be omitted .
[ newt4 ]    @xmath274    and @xmath275 where @xmath276 is the graph obtained from @xmath174 by appending @xmath0 vertical edges to its bottommost vertices ; and where @xmath277 is the graph obtained from @xmath278 by appending @xmath0 vertical edges to its bottommost vertices , the leftmost vertical edge is weighted @xmath247 ( the transformation in ( [ t4a ] ) is shown in figure [ symt8 ] , and the transformation in ( [ t4b ] ) is illustrated in figure [ symt7 ] ) .
we are now ready to prove theorem [ symthm1 ] .
we will prove only for the case when @xmath41 passes white square cells and @xmath279 is even ( the other cases can be obtained in the same manner ) .
we recall that @xmath41 is not a drawn - in diagonal , and that @xmath10 is odd .
since @xmath41 is always the symmetry axis of the region , for convenience , in this proof , we use notation @xmath83 , @xmath88 , @xmath21 , @xmath280 for @xmath53 , @xmath46 , @xmath281 , @xmath54 when the holey douglas region @xmath282 is determined
.    the dual graph @xmath283 of the region @xmath56 ( rotated @xmath284 ) has the vertical and horizontal symmetry axes @xmath189 and @xmath9 .
denote by @xmath285 the intersection of the two axes .
consider the subgraph @xmath78 of @xmath283 that is induced by the vertices staying on the right or lying on @xmath189 .
let @xmath224 be the graph obtained from @xmath78 by identifying two vertices on @xmath189 of the same distance to @xmath285 .
we can put the new vertices in @xmath224 ( that obtained from identifying two vertices in @xmath78 ) on the @xmath9 ( see figure [ symf1 ] ) .
we call @xmath224 the _ orbit graph _ of @xmath283 , denoted by @xmath286 .     and its orbit graph.,width=453 ]
the number of cyclically symmetric tilings of @xmath56 is equal to the number of cyclically symmetric perfect matchings of @xmath283 ; and , similar to proof of theorem [ qarthm ] , the latter number equals the number of perfect matchings of the obit graph @xmath286 .    by theorem [ qarthm ]
, we only need to show that @xmath287    we prove ( [ symrefine ] ) by induction on the number of layers @xmath10 ( @xmath10 is odd ) of @xmath288 .
if @xmath289 , then the theorem follows from theorem [ qarthm ] .
assume that ( [ symrefine ] ) is true for all holey douglas region with less than @xmath10 layers , @xmath290 ; we need to show that ( [ symrefine ] ) also holds for any holey douglas region having @xmath10 layers @xmath56 .
.,width=453 ]    consider the dual graph @xmath291 of region ( see figure [ symf1](a ) for an example ) .
there are four cases to distinguish , based on the parities of @xmath292 and @xmath119 .
@xmath292 and @xmath119 are even .
_    define a holey douglas region @xmath293 by @xmath294 and @xmath295    assume that @xmath296 .
apply the transformation ( [ t1b ] ) in lemma [ newt1](1 ) to the top part of @xmath297 , we get the graph @xmath298 , where @xmath95 is the dual graph @xmath293 , and obtain @xmath299 this process is illustrated in figures [ symf2](a ) and ( b ) .
similarly , we apply the transformation in ( [ t1a ] ) of lemma [ newt1 ] to the bottom part of @xmath300 , we get the graph @xmath301 and obtain @xmath299 this process is shown in figures [ symf2](c ) and ( d ) .
multiply the two above equalities , we get @xmath302 by factorization theorem , we deduce @xmath303 then thus @xmath304    since we are assuming that @xmath41 passes white squares of @xmath68 , the number of squares removed from @xmath41 is @xmath305 .
it means that , the number vertices of @xmath92 on @xmath9 is @xmath306 .
moreover , it is easy to see that the number of vertices of @xmath92 running along the vertical symmetry axis @xmath189 is also @xmath306 .
thus , @xmath307 .
one readily sees that @xmath26 and @xmath293 have the same height , so @xmath308 in this case .
it means that ( [ case1a ] ) can be simplified to @xmath309    similarly , if @xmath310 , then we apply transformation ( [ t1b ] ) in lemma [ newt1 ] to the top part of @xmath300 , we get the graph @xmath301 and obtain @xmath311 next , we apply the transformation ( [ t1a ] ) to the bottom part of @xmath297 , we get the graph @xmath298 and @xmath312 therefore , similar to ( [ case1b ] ) , we have @xmath313     into the orbit graph of @xmath314.,width=491 ]    by ( [ case1b ] ) and [ case1c ] ) , we always have @xmath315    denote by @xmath316 the @xmath41-width , the height , the number of black regular cells above @xmath41 , and defect of @xmath293 , respectively .
one readily sees that @xmath317 , @xmath318 , @xmath319 , and @xmath320    by induction hypothesis for the region @xmath293 having @xmath321 layers @xmath322 and ( [ symrefine ] ) follows from ( [ case1d ] ) .    _
@xmath292 and @xmath119 odd .
_    do similarly to case 1 by using suitable transformations in lemma [ newt2 ] to the top of @xmath300 or the bottom of @xmath297 ( as opposed to using the transformations in lemma [ newt1 ] ) .
if @xmath323 , then we get @xmath324 and if @xmath325 , then @xmath326 where @xmath95 is the dual graph of the region @xmath327 defined by @xmath328 and @xmath329 moreover , we can again the @xmath26 and @xmath327 have the same height ( with respect to the southwest - to - northeast axis @xmath41 ) , so @xmath330 . then thus , we always have in this case @xmath331    denote by @xmath332 the @xmath41-width , the @xmath41-height , the number of black @xmath41-regular cells in the upper part , and the @xmath41-defect of @xmath327 , respectively .
one can check that the number of rows of black regular rows above @xmath9 is unchanged .
we also have @xmath333 , @xmath334 , @xmath335 .
moreover , @xmath336    thus ( [ symrefine ] ) follows from the induction hypothesis for @xmath327 and ( [ case2d ] ) .
@xmath292 is odd and @xmath119 is even .
_    apply the same procedure in case 1 and case 2 by using suitable transformations in lemma [ newt3 ] to the top of @xmath300 or the bottom of @xmath297 .
we also get @xmath337 where @xmath338 is the dual graph of the region @xmath327 defined as in case 2 . similarly to case 2 , we have ( [ symrefine ] ) .
@xmath292 is even and @xmath119 is odd .
_    again , we apply the same procedure as that in the three previous cases by using suitable transformations in lemma [ newt4 ] to the top of @xmath300 or the bottom of @xmath297 .    if @xmath296 , we get @xmath339 and if @xmath310 , then @xmath340 where @xmath95 is the dual graph of the region @xmath293 defined as in case 1 . then thus ,
we always have @xmath341 similarly , to case 1 , we have @xmath342 , @xmath317 , and @xmath343 .
however , in this case @xmath344 , since we have a bad row staying right below the first layer of @xmath26 ,
but it does not appear in @xmath293 .
thus , by induction hypothesis for @xmath293 and ( [ case4d ] ) , we have @xmath345 then ( [ symrefine ] ) follows .
assume that the triangles having base on the axis of @xmath86 are black .
we consider the dual graph @xmath92 of the region @xmath86 ( rotated @xmath346 ) with the horizontal and vertical axes @xmath9 and @xmath189 .
similar to the proof of theorem [ symthm1 ] , we consider the orbit graph @xmath347 obtained from the portion @xmath348 of @xmath92 on the right of its vertical symmetry axis @xmath189 by identifying any two vertices on that axis which have the same distance to @xmath9 .
again , the cyclically symmetric perfect matchings of @xmath92 are in bijection with the perfect matchings of @xmath347 ( see figure [ symmetricfig5 ] ) .
moreover , we can arrange the identified vertices on @xmath9 so that the orbit graph @xmath347 admit @xmath9 as its symmetry axis .      if @xmath289 , then ( [ thm3eq1 ] ) is trivial .
assume that ( [ thm3eq1 ] ) holds for any symmetric quasi - hexagon with less than @xmath10 ( @xmath352 ) layers in each part , we need to show that the equality holds also for any symmetric quasi - hexagon @xmath353 .
we use similar argument to that in the proof of theorem [ symthm1 ] .
in particular , we transform the orbit graph of @xmath86 into the orbit of a symmetric quasi - hexagon having less layers by using the suitable transformations in lemmas [ newt1][newt4 ] .
similar to the theorem 7.1 in @xcite , we notice that it can not apply the factorization theorem directly here , since the vertices of @xmath347 on @xmath9 do _ not _ form a cut set .
however , the lemma 2.1 in @xcite still applies , it means that all @xmath354 graphs obtained from @xmath347 by cutting edges from above or below each of @xmath130 s have the same number of perfect matchings .
we now consider a cutting procedure at the vertices @xmath130 s as follows .
first , we color the vertices of @xmath347 inductively from left to right : color @xmath129 by white , then color the next vertex the same color as its left if there is not an edge connecting them , otherwise we color it by the opposite color .
assume that @xmath355 is the graph obtained from @xmath347 by cutting above all white @xmath130 s and below all black @xmath130 s .
we claim that all perfect matchings of @xmath355 have the white @xmath131 s matched upward , and black @xmath131 s matched downward .
we consider the collection @xmath356 of @xmath354 graphs obtained from @xmath355 by cutting at all @xmath131 s from above or below .
the set of perfect matchings of @xmath355 is in bijection to of disjoint union of sets of perfect matchings of the members in @xmath356 .
all members @xmath357 of @xmath356 are bipartite graphs , and it easy to check that its two vertex classes have the same size only if @xmath357 is obtained from cutting below all white @xmath131 s and above all black @xmath131 s .
this implies our claim
.    now denote by @xmath358 is the graph obtained from @xmath347 by cutting above all white @xmath130 s and black @xmath131 s , and below all black @xmath130 s and white @xmath131 s .
then we get @xmath359 apply the transformations in [ newt1 ] to the top and bottom layer of @xmath358 , we get the graph isomorphic to @xmath360 , where @xmath95 is the dual graph of the region @xmath361 defined by @xmath362 and obtain @xmath363 by induction hypothesis and explicit calculating the statistic of the region @xmath361 , we obtain @xmath364 where @xmath365 refer to @xmath361 corresponding to their unprimed counterparts in @xmath78
. then ( [ thm3eq1 ] ) follows .
consider the dual graph @xmath338 of the region @xmath366 apply the equation ( [ thm3eq1 ] ) to the graph @xmath338 , we have @xmath367 thus , by ( [ thm3eq1 ] ) and ( [ thm3eq2 ] ) , we obtain @xmath368 then the number of perfect matchings of @xmath369 is given by theorem 7.1 in @xcite , and the theorem follows in the current case .
next , we apply the vertex - splitting lemma to all vertices at the bottom of the upper part of @xmath373 , and apply the suitable transformations in lemmas [ newt1][newt4 ] , we transform @xmath373 to @xmath374 , where @xmath350 is the dual graph of @xmath375
. then this case follows from the case we treated before .
n. elkies , g. kuperberg , m.larsen , and j. propp , _ alternating - sign matrices and domino tilings ( part i ) _ , j. algebraic combin .
* 1 * ( 1992 ) : 111132 .
n. elkies , g. kuperberg , m.larsen , and j. propp , _ alternating - sign matrices and domino tilings ( part ii ) _
, j. algebraic combin .
* 1 * ( 1992 ) : 219234 .
t. lai , _ enumeration of tilings of quartered aztec rectangles _ , electron .
j. combin .
* 21*(4 ) ( 2014 ) , p4.46 .
t. lai , _ a generalization of aztec diamond theorem , part i _ , electron
. j. combin .
* 21*(1 ) ( 2014 ) , p1.51 .