a broad range of diffusive processes on networks , from consensus formation @xcite to current flows on electric circuits  @xcite , can be modeled by random walks or , equivalently , by markov chains .
their unbiased exploration of the underlying structure also makes them popular tools for designing algorithms for , e.g. , navigation and search on networks @xcite , defining central nodes in a given network @xcite , community detection @xcite , and respondent - driven sampling  @xcite . in tandem with these applications ,
the impact of network structure on dynamics of random walks , including the hitting time , mixing time , and stationary density has been extensively studied .    however , recent studies identified limitations of the classical network paradigm , where dynamics is modeled by a dynamical process on a static underlying structure . in a broad range of empirical systems ,
evidence suggests instead that dynamics presents non - trivial correlations between events and long - tailed interevent time distributions @xcite .
these observations are incompatible with the poissonian statistics implicitly assumed in stochastic models , therefore calling for richer models for temporal networks @xcite .
an important practical question concerns the impact of the temporality of a network on diffusion . in order to address this question ,
a first approach consists in simulating random walks on real or synthesized data of time - stamped event sequences , and to compare their dynamical properties to those of properly defined null models @xcite .
a second approach consists in studying analytically the properties of random walks on specific models of temporal networks . in most studies ,
however , network structure changes at regular time intervals , and transitions between networks at different times are independent @xcite or markovian @xcite .    in the present work ,
we follow the latter path to analytically model diffusion under the non - poissonian nature of interevent times .
previous studies proposed modeling temporal networks as stochastic sequences of events obeying a prescribed distribution of interevent times attached on each link  @xcite . a random walk process , called the active random walk , was then defined as a renewal process ; i.e. , after a walker arrives at a node , the interevent times attached to all links incident to the node are reinitialized @xcite .
despite its non - markovianity owing to the fact that the rate at which an event takes place depends on the time of the previous event , this stochastic process can be described by a generalized master equation , and some of its properties , such as the stationary density @xcite and the relaxation time @xcite , were analytically solved . in this work
, we will first derive an analytical expression for the mean recurrence time for the active random walk .
then , we consider a different non - renewal process , called the passive random walk , in which interevent times are reset only on the links traversed at each jump .
we will use the fact that the passive random walk shows a stronger non - markovianity than the active random walk does because passive random walkers remember their past trajectories to some extent .
finally , we will perform numerical simulations to test our analytical predictions and compare the stationary density and mean recurrence time between the two types of walks .
we consider an undirected network on @xmath0 nodes .
we denote the set of nodes by @xmath1 and the set of links by @xmath2 .
we often refer to this network as the aggregate network because it is considered as the aggregation of the temporal network , which we introduce in the following , across time .
stochastic temporal networks add a time dimension to the aggregated networks by assigning a random interevent time @xmath3 to each link @xmath4 in a renewal manner @xcite . for a chain network of three nodes , a hypothetical sequence of interevent times is depicted in fig .
[ fig : schematic passive ] . the interevent time , denoted by @xmath5 , @xmath6 , @xmath7 , for link @xmath8 in fig .
[ fig : schematic passive ] , is the interval between two consecutive activation events of the link .
we denote the probability density function ( pdf ) of @xmath3 by @xmath9 .
we assume that the mean of @xmath3 is finite .
link activation is an instantaneous event , and we assume that the random walker moves from the current node to the neighboring node through the activated link whenever it is possible . the example shown in fig .
[ fig : schematic passive ] indicates that , if the walker starts from node 1 at @xmath10 , it moves to node 2 at @xmath11 .
then , it moves back to node 1 at @xmath12 .
after coming back to node 2 at @xmath13 , the walker transits to node 3 at @xmath14 .
some remarks are in order .
first , some activation events , such as those immediately following the interevent times @xmath15 and @xmath16 , may not be used by a walker .
second , although the walker s movement as illustrated in fig .
[ fig : schematic passive ] may look deterministic , it is stochastic because the interevent times are random variables .
third , the probability that more than one links are simultaneously activated is equal to zero because the model is defined in continuous time .
fourth , the walker is assumed not to have any internal waiting time . therefore , the walker instantaneously moves upon the activation of a link incident to the walker s location .
fifth , the continuous - time nature of our model makes it different from the previously proposed discrete - time random walk defined on the so - called activity driven model @xcite . a main difference between the present model and those considered in ref .
@xcite is that the former generates interevent times from a given pdf , which lends itself to an analytical study of the process , whereas the latter uses interevent times observed in real data ( and their randomizations ) , more appropriate for the study of empirical data .
we analyze two versions of random walks on stochastic temporal networks @xcite .
the first version is the so - called active random walk . in the active random walk ,
when the random walker arrives at a node , it reinitializes the interevent times on all links , which makes the process renewal . in this case , the waiting time , i.e. , the time for which a walker waits on a node before the link appears , is equivalent to the interevent time @xcite . in the example shown in fig .
[ fig : schematic active ] , once the random walker moves from node 1 to node 2 at @xmath11 , the new interevent times , denoted by @xmath17 and @xmath18 , are independently drawn . because @xmath19 , the walker moves to node 3 at @xmath20 .
it should be noted that interevent times for link @xmath21 before @xmath11 do not matter for the movement of the walker in question , reflecting the renewal nature of the active random walk .
phenomena in which a node starts something in response to an external input or the arrival to the node might be represented by the active walk .
possible examples include the broadcasting of gossips @xcite and random surfing on the world wide web by users .
in the latter case , a user that has arrived at a webpage may stay there looking at the content .
then , after a randomly distributed amount of time , the user may decide to jump to a different webpage , which is selected with equal probability among the hyperlinks that the original page has .
the second version is the so - called passive random walk , which does not assume the reinitialization at all links .
when the random walker moves to a neighbor through link @xmath8 , a new interevent time is drawn only for @xmath8 .
in fact , the example shown in fig .  [
fig : schematic passive ] corresponds to the passive random walk .
transmission of infectious diseases or information may be better described with the passive than active random walk because infection of a node does not seem to instantaneously affect interevent times on other links @xcite . in other words , to a first - order approximation , the inter - contact time on any link @xmath8 can be regarded to obey a given distribution and is not altered by whether an infection occurs upon the contact .
then , a pathogen or piece of information starting from an initial node may travel to other nodes via the passive random walk .
the complexity of the passive random walk lies in its non - renewal nature . in other words , transition rates of the passive random walk
depend on the trajectory that the walker has taken such that we have to account for the entire trajectory of the random walker to accurately evaluate its behavior .
it should be noted that for exponentially distributed interevent times the active and passive random walks are identical and reduce to the usual continuous - time random walk on the aggregate ( i.e. , static ) network .
the walker starts at node 1 at @xmath10 .
the link activation is represented by horizontal bars . @xmath22 ( @xmath23 ) represents the @xmath24th interevent time on link @xmath8 .
the random walker follows the path indicated by the thick lines.,width=453 ]     and follows the path indicated by the thick lines .
note that @xmath18 is not the second interevent time on link @xmath21 .
it is a realization of the interevent time drawn at @xmath11.,width=453 ]
the steady state of the active random walk was derived through a master equation approach in ref .  @xcite . in this section ,
we first review these results ( secs .  [ sub : formulate active ] and [ sub : steady state active ] ) .
then , we derive the mean recurrence time for the active random walk ( sec .  [ sub : mean recurrence time active ] ) .
the main results when the interevent times of different links are distributed according to a common pdf are shown in eqs .   and for the steady state and mean recurrence time , respectively .
we denote the probability that the random walker is located at node @xmath24 ( @xmath25 ) at time @xmath26 by @xmath27 .
the normalization is given by @xmath28 .
the rate at which the walker arrives at node @xmath29 from node @xmath24 at time @xmath26 is denoted by @xmath30 . the transition rate for a single walker to move from @xmath24 to @xmath29 at time @xmath26 is given by @xmath31 .
the master equation that governs the random walk is given by @xmath32\\\ & = \sum_{j;(ji ) \in e } \left [ r_{i \gets j}(t)p_j(t ) - r_{j \gets i}(t)p_i(t ) \right ] .   \notag\end{aligned}\ ] ] if the underlying static network is connected , which we assume in the following , the random walk is mixing and the stationary density , denoted by @xmath33 , is obtained if we set @xmath34 for all nodes @xmath24 .
for exponentially distributed interevent times , the transition rate is given by @xmath35 where @xmath36 denotes the mean of @xmath37 , the interevent time on link @xmath38 . by combining eq .   and
@xmath39 , we conclude that the steady state is the uniform distribution @xcite .    for arbitrary interevent time distributions , we can not usually calculate @xmath40 .
in addition , @xmath40 may not be symmetric with respect to @xmath24 and @xmath29 so that the steady state may deviate from the uniform distribution . to calculate the steady state in this case ,
we define @xmath41 as the rate at which the walker transits from @xmath24 to @xmath29 after time @xmath26 has elapsed since the walker arrived at @xmath24 .
this event happens when , link @xmath38 is activated at time @xmath26 and any other link @xmath42 , where @xmath43 , has not been activated by @xmath26 . because all @xmath44 s , with the case @xmath45 included , are reinitialized at the arrival of the walker at node @xmath24 , we obtain @xmath46    we use eq .   to derive the master equation for the active random walk .
the rate at which the random walker reaches node @xmath29 from an adjacent node @xmath24 at time @xmath26 satisfies @xmath47 where @xmath48 is the rate at which the walker arrives at node @xmath24 at time @xmath26 from an arbitrary neighbor , @xmath49 are initially chosen weights on the links satisfying @xmath50 and @xmath51 is dirac s delta function . a detailed proof for eq .
is found in ref .
@xcite . by substituting eq .   in eq .
, we obtain @xmath52 dt'\ ] ] for any @xmath53 .
we define @xmath54 i.e. , the pdf of the time to transit from node @xmath24 to somewhere . in other words , @xmath55 is the pdf of @xmath56 , which is the first time at which a link incident to @xmath24 is activated . by integrating eq .   and abbreviating @xmath57 which is the probability to remain at @xmath24 for a time longer than @xmath26 , we obtain @xmath58 for any @xmath53 . the derivation of eq .
is shown in the appendix .
the steady state of the active random walk is evaluated via the laplace transform of eqs .   and , expansion of the exponential , and application of the final value theorem @xcite .
here we briefly present a slightly modified derivation of the steady state .
we take the laplace transform of eq .   to obtain @xmath59 here
, @xmath60 is the laplace transform of @xmath61 , and parallel definitions are applied to @xmath62 and @xmath63 .
equation   implies @xmath64 according to the final value theorem , the steady state probability for node @xmath24 , denoted by @xmath65 , is given by @xmath66 . by combining eqs .   and
, we obtain @xmath67 where @xmath68 is the rate at which the random walker arrives at node @xmath29 in the steady state .
to calculate @xmath69 , we define the @xmath70 matrices @xmath71 and @xmath72 , where @xmath73 is the laplace transform of matrix @xmath74 . we transform eq .   into the laplace space to obtain @xmath75 where @xmath76 and @xmath77 .
we multiply both sides of eq .   with @xmath78 and
obtain @xmath79 + s\bm p(0).\ ] ] by taking the limit @xmath80 on both sides of eq .
, we find that vector @xmath69 is the dominant eigenvector of @xmath81 , i.e. , @xmath82 suppose that the random walker just arrived at a node .
@xmath81 contains the probabilities to make a transition from one node to another in one step , @xmath83 contains the probabilities to do so in two steps , and so on .
equation   implies that @xmath84 is proportional to the steady state of the discrete - time random walk on the aggregate network with transition probabilities defined by @xmath81 .
it should be noted that @xmath84 is unique up to the scaling factor because the aggregate network has been assumed to be connected . to obtain @xmath85 in eq .  , we weight the steady state vector of the discrete - time random walk with the mean time for which the walker stays at the node .      when interevent times for different links are identically distributed according to @xmath86 , eq .
is reduced to @xmath87 where @xmath88 is the degree of node @xmath24 . by combining eqs .   and
, we obtain @xmath89 which is consistent with the fact that the steady state of the simple random walk on an arbitrary static undirected network is proportional to the degree @xcite . by substituting eq .   in eq .   and using @xmath90
, we obtain @xmath91 where @xmath92 s are i.i.d .
copies of the interevent time .
it should be noted that @xmath93^{d_i } dt\ ] ] depends solely on the degree of a node .
therefore , the steady state depends only on the node s degree .
if the interevent time is exponentially distributed , we obtain @xmath94 so that the steady state is the uniform distribution . this is consistent with our previous argument in sec .
[ sub : formulate active ] , where we derived this fact directly from the master equation [ see eq .  ] . otherwise , @xmath95 is not necessarily proportional to @xmath96 such that the steady state may not be the uniform distribution .
let  @xmath97 be the recurrence time , i.e. , the time at which a random walker starting at @xmath24 returns to @xmath24 for the first time . we denote the pdf of @xmath97 by @xmath98 .
our goal in this section is to determine the mean recurrence time given by @xmath99 the hopping rate of the walker generally depends on the time already spent at a node .
therefore , we confine ourselves to the recurrence time since the walker has just arrived at node @xmath24 .
we will adapt the derivation of the mean recurrence time for discrete - time random walks on static undirected networks @xcite to the case of the active random walk .
denote by @xmath100 the probability that the random walker is located at node @xmath24 at time @xmath26 given it started at node @xmath24 .
we obtain @xmath101 the first term on the right - hand side of eq .
governs the case in which the random walker has not left @xmath24 until time @xmath26 .
the second term accounts for the walker that has left @xmath24 at least once . by transforming eq .   into the laplace space ,
we obtain @xmath102 equation   implies @xmath103 where @xmath104    equation   implies that the mean recurrence time of node @xmath24 is the first moment of @xmath98 .
therefore , the mean recurrence time is derived by the laplace transform of @xmath98 as follows : @xmath105 by substituting eq .   in eq .
, we obtain @xmath106\left [ p^*_i + sr_{ii}(s ) \right ] + s \hat{\phi}_i(s ) \left [ r_{ii}(s)+sr_{ii}'(s ) \right]}{\left [ p^*_i + sr_{ii}(s ) \right]^2 } \bigg|_{s=0}.\ ] ] application of the final value theorem yields @xmath107 by using the rule of lhospital , we obtain @xmath108 furthermore , we recall that @xmath109 [ see eq .  ] , so that the tail of @xmath110 decreases fast enough to imply @xmath111 by substituting eqs .  , , , , and in eq .
, we obtain @xmath112 in particular , if interevent times on different links are identically distributed , the combination of eqs .   and yields @xmath113
it should be noted that for discrete - time random walks on undirected static networks the mean recurrence time is also inversely proportional to the node s degree @xcite .
in this section , we evaluate the steady state and mean recurrence time of the passive random walk .
the main results when the interevent times of different links are distributed according to a common pdf are shown in eqs .   and
for the steady state and mean recurrence time , respectively .
the difference from the active random walk is that the move of a walker does not reinitialize interevent times except on the link used for that jump .
when the passive random walker arrives at a node , links incident to the node have thus already been inactive for some random time .
therefore , in contrast to the case of the active random walk , the intervent time and the waiting time @xmath114 ( @xmath115 ) , i.e. , the time until link @xmath8 is activated since the random walker arrives at a node incident to @xmath8 , are different in general .
they are equivalent only when the interevent time distribution is exponential , corresponding to the fact that the poisson process is memoryless .
otherwise , the waiting time depends on the time at which the random walker arrives at a node .
this distinction is important because the waiting time plays a direct role in diffusion on networks , whereas the interevent time plays only an indirect role .
when the arrival of a walker on a node and the activation of an link are independent processes , it is known that the waiting time distribution @xmath116 is given in terms of the interevent time distribution @xmath9 by @xmath117 and that the average waiting time depends on the variance of the interevent time , a property called the waiting time paradox or bus paradox in queuing theory @xcite . in general , the time at which the random walker jumps to an adjacent node depends on the previous trajectory of the walker . however , we assume that eq
.   holds true in the following analysis .      in the following , we perform an approximation in order to analytically evaluate the waiting time , steady state , and mean recurrence time of the passive random walk . to this end
, we neglect the trajectory of the random walker except for its last and current positions denoted by @xmath118 and @xmath24 , respectively .
more precisely , we retain the last activation time of the link through which the walker arrived at @xmath24 and suppose that all the other links were activated at random times in the past .    the waiting time for link @xmath42
is given by the interevent time distribution @xmath119 .
the waiting times for all the other links incident to @xmath24 are approximately distributed according to eq .  .
the pdf of the time when the walker transits from node @xmath24 to node @xmath29 given that it arrived at node @xmath24 from node @xmath118 is approximated by @xmath120 \int_{t}^{\infty } \psi_{(ik)}(r ) dr & ( j \neq k),\\   \psi_{(ij)}(t ) \prod_{\ell \neq j , k;(i\ell ) \in e }
\left [ \int_{t}^{\infty } \rho_{(i\ell)}(r ) dr \right ] & ( j = k ) .
\end{cases}\ ] ] equation suggests that the trajectory of the random walker impacts the order of link activation .
in particular , when the interevent time obeys a long - tailed distribution , a transition from node @xmath24 back to node @xmath118 is more likely than that from @xmath24 to another node .
it should be noted that the probability of transition does not depend on the destination node in the case of the active random walk .
it should be also noted that eq .
is exact for exponentially distributed interevent times .    similarly to eq .
, we obtain @xmath121 + p_{j \gets i}(0 ) \delta(t),\ ] ] where the initial condition satisfies eq .  .
similarly to eq .  , we define @xmath122 which is the approximate probability that the walker stays at node @xmath29 for time longer than @xmath26 given that it arrived from node @xmath24 . by substituting eq .   in eq .  ,
using eq .  , and performing a calculation similar to the derivation of eq .   in the appendix , we obtain @xmath123\ ] ] for any @xmath124 .
equations   and   govern the dynamics of the passive random walk .        to calculate the approximate steady state distribution , we proceed similarly to the case of the active random walk . by taking the laplace transform of eq .  , we obtain @xmath125 + p_{j \gets i}(0 ) .
\label{eq : hatq_ji(s)}\ ] ] in terms of the vectors , eq .
is written as @xmath126 where @xmath127 is the laplace transform of the @xmath128 matrix ( @xmath129 is the number of links in the aggregate network ) given by @xmath130 @xmath131 is the laplace transform of the @xmath132-dimensional column vector @xmath133 , and @xmath134 is the laplace transform of the @xmath132-dimensional column vector @xmath135 . in eq .
, we define @xmath136 for @xmath137 because such a transition is impossible .    by multiplying both sides of eq .   by @xmath78 and letting @xmath138 , we obtain @xmath139 where @xmath140 and @xmath141 . to determine the steady state @xmath142
, we transform eq .   to the laplace space and
multiply both sides by @xmath78 to obtain @xmath143 by setting @xmath138 in eq .
, we obtain @xmath144 finally , eq .   implies @xmath145 therefore , @xmath146 is the ( approximate ) mean time for which a walker arriving at @xmath24 from node @xmath29 waits before moving to a neighbor .    in summary , the steady state is approximately given by @xmath147 where @xmath148 is the solution of eq .  , and the normalization is given by @xmath90 .
denote the components of @xmath149 by @xmath150 for @xmath151 . when interevent times for different links are identically distributed according to @xmath86 , which we assume in this section , we obtain @xmath152 the first equality in eq
.   follows from the fact that @xmath153 , indicating that the walker moved from @xmath29 to @xmath24 and then from @xmath154 to @xmath118 , if and only if @xmath155 . the second equality follows from the assumption that @xmath156 for any @xmath4 .
equation   indicates that @xmath149 is a doubly stochastic matrix .
therefore , the solution of eq .
is given by @xmath157 , where @xmath158 represents the @xmath132-dimensional column vector whose all elements are equal to unity . by using eq .
, we obtain @xmath159 this result is the same as that for the active random walk with identical interevent time distributions [ see eq .  ] .    to evaluate the right - hand side of eq .
, we use @xmath160 \left [ \int_t^{\infty } \rho(t')dt ' \right]^{d_i-1 } dt,\end{aligned}\ ] ] where @xmath161 s are i.i.d .
copies of the waiting time distributed according to a common pdf @xmath162 . by substituting @xmath163 which is derived by the combination of the definition of @xmath162 [ see eq .  ] and the leibniz integral rule , in eq .
, we obtain @xmath164 \left [ \int_t^{\infty } \rho(t')dt ' \right]^{d_i-1 } dt\notag\\ = & \langle \tau \rangle - ( d_i-1)\left\langle \min_{k = 1 , \ldots , d_i-1}\ { \tau , \tilde{\tau}_{k } \ } \right\rangle.\end{aligned}\ ] ] in the last equality in eq .  , we used integration by parts .
equation   implies @xmath165 therefore , the mean time that the passive random walker spends at a node before transiting to a neighboring node does not depend on @xmath86 except for the dependence on @xmath166 . by combining eqs .
, , , and and using @xmath90 , we obtain @xmath167 unlike for the active random walk [ see eq .
] , the ( approximated ) steady state of the passive random walk is the uniform distribution for any @xmath86 and network structure .
this is also consistent with the case when interevent times obey the exponential distribution , for which we derived the steady state in sec .
[ sub : formulate active ] directly from the master equation .      to evaluate the mean recurrence time for the passive random walk , we denote by @xmath168 the time at which a random walker leaving node @xmath24 returns to @xmath24 through link @xmath169 for the first time .
the pdf of @xmath168 is denoted by @xmath170 .
we also define @xmath171 as the probability that the random walker is located at node @xmath24 at time @xmath26 , given that it arrived at @xmath24 from @xmath29 at time 0 .
it should be noted that bayes rule results in @xmath172 the pdf of the first recurrence time satisfies @xmath173 here , @xmath110 denotes the probability that the walker resides at node @xmath24 for time longer than @xmath26 and is given by @xmath174 owing to bayes rule . by converting eq .   to the laplace space ,
we obtain @xmath175    to evaluate eq .  , we resort to a mean - field ansatz given by @xmath176 , where @xmath177 .
in other words , we neglect from which node the walker returns to @xmath24
. this approximation may be accurate if the interevent times are identically distributed for different links , which we assume hereafter .    under this approximation , eq .
is reduced to @xmath178 by following the same steps as in eqs .
, we obtain @xmath179 by substituting eqs . and in eq .
, we obtain @xmath180 it should be noted that the mean recurrence time is also inversely proportional to the degree for the active random walk [ see eq .  ] .
it should be also noted that @xmath181 is independent of @xmath86 for the passive random walk except for the factor @xmath182 , but not for the active random walk .
to illustrate the theoretical results derived in secs .
[ sec : active ] and [ sec : passive ] , we analyze examples in this section .
we assume that the interevent times are identically distributed for all links according to @xmath86 , which is either a power - law or weibull distribution .
( solid line ) , the power - law distribution given by eq .   with @xmath183 ( dotted line ) , and the weibull distribution given by eq .   with @xmath184 and @xmath185 ( dashed line).,width=453 ]
consider the case in which all interevent times follow a power - law distribution given by @xmath186 where @xmath187 , corresponding to the assumption @xmath188 .
we plot the pdfs of the power - law by the dotted line in fig .
[ fig : distr ] .
in fact , many real data show @xmath189 or 1.5 @xcite , which apparently contradicts our choice @xmath190 . here , for simplicity we assume @xmath190 to investigate the effect of long - tailed distributions on the random walk on temporal networks .    for the active random walk
, the pdf of the transition time is calculated from the substitution of eq .   in eq .
as follows : @xmath191 the probability to make a transition from node @xmath24 to an adjacent node @xmath29 [ see eq .  ] is given by @xmath192 the mean time for which the random walker stays at node @xmath24 before moving to a neighbor [ see eq .  ] is given by @xmath193    for the passive random walk , we substitute eq .   in eq .   to obtain the pdf of the waiting time as follows :
@xmath194 it should be noted that the mean waiting time diverges if @xmath195 .
however , the following results are valid for all @xmath190 for the following reason .
the link walked through in the last jump has a finite mean waiting time because of resetting .
this fact guarantees that the mean time to the next jump is always finite .
therefore , the steady state and the mean recurrence time safely exist . by substituting eq   in eq .
, we obtain @xmath196 the approximate probability to make a transition from node @xmath24 to a neighbor @xmath29 conditioned that the random walker reached node @xmath24 through link @xmath42 [ see eq .  ] is given by @xmath197    to illustrate the difference between the active and passive random walks , we consider the network composed of three nodes shown in figs .
[ fig : schematic passive ] and [ fig : schematic active ] .    for the active random walk , eq .   leads to @xmath198 these transition probabilities are the same as those in the case of identically distributed exponential interevent times .
in contrast , for the passive random walk , eq .   leads to @xmath199 because @xmath200 , we obtain @xmath201 . therefore , the passive random walker tends to travel on the link that the walker has used the last time .
in particular , when @xmath202 , with @xmath203 , we obtain @xmath204 . therefore , a random walker starting at node 1 , for example , will be trapped between nodes 1 and 2 for a long time before transiting to node 3 .
nodes generated by the barabsi - albert model @xcite . the interevent time is assumed to obey the power - law distribution with exponent @xmath205 for all links .
( a ) steady state of the active ( circles ) and passive ( triangles ) random walks .
( b ) mean time to return to an initial node for the active and passive random walks .
the results for the case in which the interevent time obeys the exponential distribution are omitted because they are indistinguishable from the results for the passive random walk ( triangles ) .
the lines represent the theoretical estimates .
the nodes are sorted in ascending order of the degree.,width=377 ]    for the active random walk , the mean time to stay at node @xmath24 , i.e. , eq .  ,
is reduced to @xmath206 where @xmath92 s are i.i.d .
copies of the interevent time . by substituting eq .   in eq .
, we obtain @xmath207 where subscript `` @xmath208 '' here and in the following corresponds to the active random walk .
equation   implies that the steady state is not uniform , which is in contrast to the case of exponentially distributed interevent times . in particular
, @xmath209 is large for nodes with small degrees , which is opposite to the case of the discrete - time simple random walk in undirected networks for which the steady state is proportional to the node s degree @xcite .
in contrast , for the passive random walk , the steady state is the uniform distribution [ see eq .  ] .    to test our theory , we carried out numerical simulations .
we set @xmath183 and used the barabsi - albert scale - free network @xcite with @xmath210 nodes .
the two parameters in the barabsi - albert model were set to @xmath211 .
we used the same single realization of the aggregate network for both active and passive random walks .
we calculated the steady state as the average time for which the walker spent on each node between @xmath212 and @xmath213 .
the choice @xmath212 is to exclude the transient .
we initially placed the walker at one of the two nodes initially created in the barabsi - albert algorithm , each with probability @xmath214 .
the passive random walk was simulated as follows . for each link , we stored the sum of realized interevent times .
as soon as the random walker arrived at a node , a new interevent time was drawn for the link just used by the walker .
for each of the remaining links incident to the node , interevent times were drawn until the sum of realized interevent times exceeded the time of arrival of the random walker .
then , we selected the link @xmath8 with the smallest sum of realized interevent times . finally , the random walker jumped to a new node through @xmath8 .
this procedure was repeated until the final time was reached .
the numerically obtained steady state probability of each node is shown in fig .
[ fig : powid](a ) for the active ( circles ) and passive ( triangles ) random walks .
the nodes on the horizontal axis are shown in the ascending order of the degree .
the numerical results are accurately predicted by the theory ( lines ) . in particular , the approximations made for analyzing the passive random walk do not cause a notable discrepancy between the numerical and theoretical results .
next , we examine the mean recurrence time . for the active random walk , we substitute eqs .   and in eq .
to obtain @xmath215 for the passive random walk , by substituting @xmath216 in eq .  , we obtain @xmath217 where subscript `` @xmath218 '' corresponds to the passive random walk .    in the numerical simulations of the passive random walk
, we assume that the walker arrived at the starting node @xmath24 from each neighbor of @xmath24 with the same probability at @xmath10 . to mimic the steady state of the stochastic temporal network , we assumed that the initial interevent time obeys the waiting time distribution [ see eq .
] for all links except for link @xmath169 from which the random walker arrived at @xmath10 .
the initial interevent time of link @xmath169 is drawn from @xmath86 . for each starting node @xmath24 , we averaged the recurrence time over @xmath219 realizations of the random walk .
numerically obtained mean recurrence times on the same scale - free network as that used in fig .
[ fig : powid](a ) is shown in fig .  [
fig : powid](b ) .
the theory ( lines ) accurately matches the numerical results ( symbols ) .
we also confirmed that the numerical results when @xmath86 is the exponential distribution with the same mean ( i.e. , @xmath220 ; shown in fig .
[ fig : distr ] by the solid line ) completely overlap with those for the passive random walk when @xmath86 is the power - law distribution [ hence not shown in fig .
[ fig : powid](b ) ] .
figure  [ fig : powid](b ) also indicates that , for each node , the active random walk realizes a smaller mean recurrence time than the passive random walk does .       and
we used the same realization of the scale - free network as in fig .
[ fig : powid ] . ( a ) steady state .
( b ) mean recurrence time .
the lines represent the theory .
the nodes are sorted in ascending order of the degree.,width=377 ]    for the power - law distribution of interevent times , the steady state probability of a node decreases with the degree for the active random walk , and the mean recurrence time at each node is larger for the passive than active random walk ( sec .
[ sub : power ] ) . however , these results are not universal .
to show this , we consider the case in which the interevent time obeys the weibull distribution given by @xmath221 where @xmath222 and @xmath223 are parameters . the weibull distribution with @xmath184 and @xmath185 , which yields @xmath220 , is shown by the dashed line in fig .
[ fig : distr ] .
it should be noted that the tail of the distribution is shorter than that of the exponential distribution with the same mean ( solid line ) .
we start by illustrating the dynamics of the passive random walk on the three - node network .
refer to fig .
[ fig : schematic passive ] for a schematic . by combining @xmath224 with eq .
, we obtain @xmath225 independent of the @xmath226 value . for @xmath227 ,
the interevent times are exponentially distributed such that @xmath228 . for @xmath229 ,
we obtain @xmath230 such that the random walker tends to alternate between two nodes , which is similar to the dynamics when @xmath86 is the power - law distribution ( sec .  [
sub : power ] ) . for @xmath231
, we obtain @xmath232 such that the random walker tends to avoid traveling on the same link in consecutive transitions .
for the rest of this section , we focus on the case @xmath184 .
the numerical results for the weibull distribution with @xmath184 , @xmath185 , and the same scale - free network as that used in the previous section are shown in fig .
[ fig : weibid ] .
the steady state probability for the active random walk increases with the degree [ circles in fig .
[ fig : weibid](a ) ] . in fact , a direct calculation of eq .
for the weibull distribution yields @xmath233 , as shown by the lines overlapping with the circles in fig .
[ fig : weibid](a ) .
this result is in contrast to the case of the power - law distribution of interevent times , for which @xmath65 decreases with @xmath88 [ see eq .  ] . for the passive random walk
, the steady state obeys the uniform distribution ( triangles ) , which is consistent with the theory .
the mean recurrence time under the weibull distribution of interevent times is shown in fig .  [ fig : weibid](b ) .
the results for the passive random walk ( triangles ) are indistinguishable from those for the power - law and exponential distributions , which is consistent with the theory .
we also find that , for any node , the mean recurrence time is larger for the active than passive random walk .
this result is opposite to that for the power - law distribution of interevent times .
we studied two models of random walks on stochastic temporal networks .
our main findings are summarized as follows .
first , the steady state for the passive random walk with identically distributed interevent times on links is uniform for any network and distribution of interevent times .
second , for the active random walk , the steady state probability decreases and increases with the degree for the power - law and weibull distribution of interevent times , respectively .
third , the mean recurrence time for both types of walks is inversely proportional to the node s degree .
fourth , the mean recurrence time for the passive random walk does not depend on the distribution of interevent times .
fifth , the active random walk produces smaller mean recurrence times for each node than the passive walk does when the interevent time obeys the power - law distribution .
in contrast , the mean recurrence times are larger for the active random walk than the passive random walk when the interevent time obeys the weibull distribution .    the present result
that the mean recurrence time is inversely proportional to the node s degree is consistent with that in ref .
in particular , both studies conclude that the distribution of interevent times does not affect the mean recurrence time ( squares and diamonds in fig .  7 in ref .
we reached this conclusion by explicit derivation of the mean recurrence time .
in contrast , we consider that the strength of ref .  @xcite in this respect lies in numerically showing the universality of this result across different data sets .
it should be noted that a discrete - time simple random walk on a different temporal network model yields different results ; the mean recurrence time decreases but is not inversely proportional to the degree @xcite .
the passive random model induces a correlated random walk .
interesting connections of the present study may be made to seminal work on correlated random walk on lattices @xcite and to recent work modeling empirical pathways on networks by second - order markov processes @xcite .
pursuing connection to anomalous diffusion on lattices @xcite may be also interesting .
it may be also interesting to explore the case in which the mean interevent time diverges , which would make the walker to linger at a node for extremely long time .
l.s . acknowledges the support provided through erato , jst and daad .
r.l . acknowledges financial support from fnrs , from the arc `` mining and optimization of big data models '' , and from the eu project optimizr .
this paper presents research results of the belgian network dysco funded by the interuniversity attraction poles programme . n.m . acknowledges the support provided through crest , jst .
this work was partly supported by a bilateral joint research project between jsps , japan , and f.r.s .- fnrs , belgium .
by substituting eq .   in eq .
, we obtain @xmath234 for any @xmath124 and @xmath235 . by integrating eq .  , we obtain @xmath236 dt ' .
\label{app : int}\ ] ] by applying the leibniz integral rule , i.e. , @xmath237 by setting @xmath238 , @xmath239 , and @xmath240 , we obtain @xmath241 to evaluate the second term on the right - hand side of eq .
, we use the definition of @xmath110 [ see eq .  ] to obtain @xmath242 by using @xmath243 and substituting eq .   in eq .
, we obtain @xmath244 by substituting eq .   in eq .
, we obtain @xmath245 to evaluate the right - hand side of eq .  , we have to evaluate @xmath246 this task needs carefulness because @xmath247 behaves like @xmath248 around @xmath10 . by using the initial value theorem ,
we obtain @xmath249 because @xmath250 , we obtain @xmath251 where the last equality follows from eq .  .
the laplace transform of eq .
yields @xmath252 using the dominated convergence theorem , we obtain @xmath253 the use of the dominated convergence theorem is justified because @xmath254 and @xmath255 by combining eqs .
, , , and , we obtain @xmath256 therefore , by evaluating the right - hand side of eq .
, we obtain @xmath257 which is equivalent to eq .  .
39ifxundefined [ 1 ] ifx#1 ifnum [ 1 ] # 1firstoftwo secondoftwo ifx [ 1 ] # 1firstoftwo secondoftwo `` `` # 1''''@noop [ 0]secondoftwosanitize@url [ 0 ]
 + 12$12  & 12#1212_12%12@startlink[1]@endlink[0]@bib@innerbibempty @noop _
( ,  ,  ) @noop _ _  ( , ,  ) @noop _ _  ( ,  ,  ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) in  @noop _ _  ( ,  ) , pp . @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) in @noop _ _ , ,  ( ,  ) , pp .   in @noop _ _  ( ,  ) , pp .   in  @noop _ _ ,  ( , ,  )  pp .   @noop * * ,   ( ) @noop * * ,   ( ) @noop ( ) @noop _ _ ( ,  ,  ) @noop * * ,   ( ) @noop ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ( ) @noop _ _ ( ,  ,  )


the main goal of this paper is to develop a general theory of flag bicolorings and the related concepts of coverings and pseudo - orientations .
the idea of consistent colorings of the flags of a map with two colors has appeared previously in literature in different contexts .
for instance , when the automorphism group of a map which is a polytope has two orbits on the flags , we may color the flags with two colors in such a way that flags in different orbits have different colors .
these are called 2-orbit maps in @xcite , but this investigation requires the extra property that the maps be abstract .
specific @xmath0-colorings of flags are equivalent to the concept of @xmath1-_compatible _ maps introduced in @xcite , where @xmath1 is a class of @xmath0-orbit maps .
this concept , generalized to hypermaps is called @xmath1-_conservative _ in @xcite . in all these instances ,
the colorings are used as a tool to work with automorphisms of maps .
although some of the motivations behind the bicoloring of flags come from maps admitting symmetries , the ideas can be applied to general maps . in this work
we shall not make assumptions on the automorphism groups of the maps in consideration .
maps admitting a bicoloring of flags in which adjacent flags have different colors are precisely maps on orientable surfaces ( see proposition [ oble012 ] ) .
although the other types of bicolorings of flags that we consider in this paper do not have a known topological equivalence , some results on orientability do translate directly to analogous results on bicolorability . in this sense
we may think of bicolorings of flags as a generalization of orientability of maps .
the paper is organized as follows .
sections [ sec : maps ] , [ sec : ori ] , [ sec : col ] introduce the concepts of maps , pseudo - orientations and bicolorings , respectively . a relationship between pseudo - orientability and bicolorings
is provided in section [ sec : colori ] .
section [ sec : op ] explores the impact on bicolorability of operations on maps . in section [ sec : doubles ] , we discuss a natural double cover of every map which is not bicolorable .
the set of bicolorings of any map can be given a natural group structure . in section
[ sec : everygroup ] we determine , for each possible group , which surfaces admit maps with the given group of bicolorings .
finally , in section [ sec : mpx ] , we generalize some of the results about maps to higher dimensional structures .
a map @xmath2 is , first and foremost , an embedding of a graph ( or pseudograph ) on a ( compact , connected ) surface so that the components of the complement of the embedding ( called _ faces _ ) are topologically open disks .
we can , for example , regard the cube as an embedding of the graph @xmath3 on the sphere .
the graph @xmath3 is an example of a graph which is _ bipartite _ ,
i.e. , its vertices can be colored with two colors so that every edge joins vertices of opposite colors . when speaking about maps , we will use the term _ vertex - bipartite _ to describe a map @xmath2 whose underlying graph is bipartite .
similarly , we will call @xmath2 _ face - bipartite _ provided its faces can be colored with two colors so that each edge separates faces of opposite colors .
we will call @xmath2 _ edge - bipartite _ provided that the edges can be colored with two colors so that edges which are consecutive around a face ( and hence around a vertex ) have different colors .    to look more closely at the structure of a map , we find the following subdivision useful : choose a point in the interior of each face to call its _ center _ and a point in the relative interior of each edge to be its _
midpoint_. draw dotted lines to connect each face - center with each incidence with the surrounding vertices and edge - midpoints .
the original edges and these dotted lines divide the surface into triangles called _ flags_. figure [ fig : cubeflags ] shows the subdivision of the cube into flags .        if a face meets a vertex ( or an edge ) more than once , we emphasize that the face center is connected to each incidence  each appearance  of the vertex or midpoint .
for instance , consider the map @xmath4 shown in the left of figure [ fig : m4 ] .
this map has only one face , an octagon , four edges and only one vertex .
nonetheless , the dissection into flags draws 16 dotted lines , dividing the octagon , and the map , into 16 flags , as shown on the right .    ,
title="fig:",height=113 ] , title="fig:",height=113 ]    each flag corresponds to a mutual incidence of face , edge , and vertex , though different flags may correspond to the same triple .
let @xmath5 be the set of flags .
then let @xmath6 be the permutations on @xmath5 which match each flag @xmath7 with its three immediate neighbors , as in figure [ fig : flags ] .        in that figure
, we see that @xmath7 and @xmath8 are adjacent along a face - center - to - edge - midpoint line .
thus @xmath7 and @xmath9 differ only in their incidences to a vertex , a 0-dimensional face of @xmath2 . similarly , @xmath7 and
@xmath10 differ only in their incidences to an edge , a 1-dimensional face , while @xmath7 and @xmath11 differ only in their incidences to a 2-dimensional face .
notice from figure [ fig : flags ] that the flag @xmath12-adjacent to @xmath8 is also @xmath13-adjacent to @xmath14 .
in other words , as permutations on @xmath15 and @xmath12 commute .    we can take a slightly more abstract point of view by defining a map to be a pair @xmath16)$ ] where @xmath5 is a set of things called _ flags _ , the @xmath17 s and @xmath18 are fixed point free permutations of order 2 on @xmath5 , the _ connection group _
@xmath19 is transitive on @xmath5 , and @xmath13 and @xmath12 commute .
this @xmath20 is often called the _ monodromy group _ of the map .
we can then think of vertices in @xmath2 as orbits of @xmath21 in @xmath20 .
similarly , edges correspond to orbits of @xmath22 and faces to orbits of @xmath23 .
we will use the word _
kite _ or _
corner _ for the area within a face where two consecutive edges meet .
more formally , a kite is the union of two flags which are @xmath24-adjacent .    if @xmath2 and @xmath25 are maps on surfaces @xmath26 and @xmath27 , a _ projection _ from @xmath25 to @xmath2 is a function @xmath28 mapping @xmath27 to @xmath26 which is locally a homeomorphism at all points of @xmath25 except perhaps at vertices and/or face - centers , and which sends faces to faces , edges to edges , and vertices to vertices .    in combinatorial terms , if @xmath29)$ ] and @xmath30)$ ] , a projection of @xmath25 to @xmath2 is a function @xmath28 mapping @xmath31 to @xmath5 such that @xmath32 for all @xmath33 .
we call such an @xmath25 a _ cover _ of @xmath2 . notice that if @xmath25 is a cover of @xmath2 , and the pre - image of some one flag in @xmath2 has size @xmath0 , then the projection @xmath28 is @xmath0-to-1 onto every flag of @xmath2 .
we say then that @xmath25 is a _
@xmath0-fold _ cover of @xmath2 .
we call a map _ orientable _ provided that the surface on which it is embedded is itself orientable .
we check that a map is orientable by giving it a _ face orientation _ ; this is an assignment of a circular arrow to each face of @xmath2 such that at every edge , the arrows on the faces joined by the edge point along the edge in _ opposite _ directions , as in figure [ fig : faceori ] .
we can define a _
vertex orientation _
similarly , and it is clear that @xmath2 has a vertex - orientation if and only if it has a face - orientation , and this happens if and only if @xmath2 is orientable .        the word _
pseudo - orientation _ has been used in two different ways .
we will use the term _ vertex pseudo - orientation _ ( vpso for short ) for what is called in @xcite simply a pseudo - orientation . here , we mean an assignment of one circular arrow to each vertex so that at each edge the two arrows cross in the _ same _ direction , as in figure [ fig : pso ] .
if we visualize a gear wheel at each vertex so that cogs on the wheels of adjacent vertices mesh , the map is vpso if we can turn one wheel , causing all wheels to turn at the same time .    in @xcite ,
the idea is used to make an important distinction about @xmath0-fold rotary covers of a rotary map @xmath2 for which the branching is totally ramified at vertices . if @xmath2 is non - orientable , @xmath0 can be larger than 2 only if @xmath2 is vertex pseudo - orientable .
similarly , a _
face pseudo - orientation _ ( or fpso ) is an assignment of one circular arrow to each face , as in figure [ fig : pso ] , so that at each edge , the arrows in adjacent faces flow along the edge in the _ same _ direction
. we can simplify this by orienting each edge so that the cycle of edges around each face is consistently oriented .    in @xcite this
is called a pseudo - orientation , and the result in that paper is that the _ dart graph _ of @xmath2 is connected if and only if @xmath2 is not face pseudo - orientable .
finally , we may define an _ edge pseudo - orientation _ ( or epso ) to be an orientation of the edges such that in every face the direction of the arrows in adjacent edges flows in the _ same _ direction ( either into or out of the face ) as in figure [ fig : pso ] .
in this paper , the word ` coloring ' will be used to describe what might be more fully notated as a ` consistent flag 2-coloring ' .
if @xmath34 is any subset of @xmath35 , then an @xmath34-coloring of a map @xmath2 is a function @xmath36 such that for every flag @xmath7 , if @xmath37 , then @xmath38 , while if @xmath39 , then @xmath40 . to say that in another way ,    @xmath41 figure [ fig : cubecols ] shows a @xmath42-coloring , a @xmath43-coloring , and an @xmath44-coloring of the cube .
the reader should check that the colorings extend unambiguously to the unseen faces of the cube as well .
let us first notice that if @xmath45 is an @xmath34-coloring of @xmath2 , then so is @xmath46 , and these are , in fact , the only @xmath34-colorings of the map
.    give the name _ sub - edge _ to the segments forming sides of the flags .
these are of three types :    type 0 : :    : midpoint - of - edge to face - center , type 1 : :    : face - center to vertex , type 2 : :    : vertex to midpoint - of - edge .
each flag @xmath7 is adjacent to flag @xmath47 along their mutual sub - edges of type @xmath48 . if @xmath2 is @xmath34-colorable , therefore , the sub - edges bounding each color are the sub - edges of types in @xmath34 .    note that when considering maps in class @xmath49 as defined in @xcite , the subset @xmath34 is used to indicate that @xmath48-adjacent flags belong to the _ same _ orbit
this means that maps in class @xmath49 admit an @xmath50-coloring . in the context of colorings
it turns out to be more practical to define @xmath34-coloring requiring @xmath48-adjacent flags to be a different color rather than requiring @xmath48-adjacent flags to be the same color if and only if @xmath51 .
let @xmath52 stand for the symmetric difference operation : @xmath53 .
let @xmath54 be the power set of @xmath44 .
it is well - known that @xmath54 is a group under @xmath52 and it is an elementary abelian group of order eight whose identity element is @xmath55 .    [ delta ] if a map @xmath2 admits an @xmath34-coloring and a @xmath56-coloring , then it admits an @xmath57-coloring .
proof : it is easy to verify that the sum of an @xmath34-coloring and a @xmath56-coloring is an @xmath57-coloring    ' '' ''    from this proposition we see that , for each map @xmath2 , the sets @xmath34 for which @xmath2 has an @xmath34-coloring form a set @xmath58 which is a subgroup of @xmath54 .      whenever @xmath34 is a subset of size 1 , @xmath34-colorable maps have a nice characterization .
[ vbip ] a map @xmath2 is vertex - bipartite if and only if @xmath2 has a @xmath42-coloring .
proof : given such a coloring , all the flags incident with one vertex will be the same color , while those at an adjacent vertex will be the other color . this is a bipartite coloring of the vertices .
conversely , given a bipartition of the vertices , color all flags incident with black vertices with color 1 and all those incident with white vertices with color 0 .
this is then a @xmath42-coloring of @xmath2 .    ' '' ''
similar proofs lead us to these :    [ fbip ] a map @xmath2 is face - bipartite if and only if @xmath2 has a @xmath59-coloring .
( _ i.e. _ a @xmath59-coloring corresponds to a bipartite coloring of the faces of @xmath2 . )    [ ebip ] a map @xmath2 is edge - bipartite if and only if @xmath2 has a @xmath60-coloring .
( _ i.e. _ a @xmath60-coloring corresponds to a bipartite coloring of the edges of @xmath2 . )
consider a _
@xmath61 of flags in a map @xmath2 .
we abbreviate that @xmath62 , where @xmath63 is the string @xmath64 .
write @xmath65 for @xmath66 .
we call a cycle @xmath62 _ @xmath34-consistent _ if the number of occurrences in @xmath63 of indices which are in @xmath34 is even .
if @xmath62 is @xmath34-consistent , this says that , at least along the cycle , we can color flags from two colors so that flags which are @xmath48-connected for @xmath67 are the same color and those for which @xmath51 are not . a cycle which is not @xmath34-consistent is _ @xmath34-inconsistent_. it follows , then that @xmath2 is @xmath34-colorable if and only if every cycle in @xmath2 is @xmath34-consistent .
consider this quite general fact : for any function @xmath68 from a set @xmath69 to @xmath70 , extend @xmath68 to the power set of @xmath69 by @xmath71 for each subset @xmath72 of @xmath69 .
then for any subsets @xmath73 of @xmath69 , it is clear that @xmath74 .
[ lemma13 ] for any subsets @xmath75 of @xmath44 , if @xmath76 , then every cycle in @xmath77 is consistent either for exactly one of @xmath78 or for all three .
proof : fix a cycle @xmath62 of @xmath2 , and define @xmath68 on @xmath44 with @xmath79 being the parity of the number of occurrences in @xmath63 of @xmath17 ; furthermore , consider @xmath68 extended to @xmath54 .
the cycle is @xmath34-consistent , then , provided that @xmath80 .
now consider @xmath81 .
these are elements of @xmath70 , and so we can rephrase that in this form : @xmath82 .
the number of zeros in @xmath83 must be 1 or 3 ; the conclusion follows directly .    ' '' ''
we will have use for this lemma in section [ sec : doubles ] .
a natural operator in topology is the _ connected sum _ of two surfaces , which is defined to be the surface formed by cutting a small disk from each of the two surfaces and attaching them along the newly created border .
we extend this definition to maps by causing the attachment sets to be the boundaries of two suitably chosen faces .
formally , let @xmath29)$ ] and @xmath30)$ ] be maps and suppose @xmath84 and @xmath85 are flags of these maps for which their respective faces @xmath86 and @xmath87 have the same number @xmath0 of sides . furthermore
, suppose that no flag of @xmath86 is @xmath12-connected to any of the flags of @xmath86 , and similarly for @xmath87 .
then we define the _ connected sum _
@xmath88 with respect to @xmath89 to be the map whose flag set is @xmath90 , with connections @xmath91 , where @xmath92 and @xmath93 are the restrictions of @xmath94to this set , and @xmath95 is the same except that , for each @xmath96 is @xmath95-connected to @xmath97 and @xmath98 is @xmath95-connected to @xmath99 . because of the restriction on the faces , these flags are both in the new flag set , and it is easy to check that @xmath100 .
the following figure illustrates this construction :        [ th : oplus ] suppose @xmath2 and @xmath25 are @xmath34-colorable maps for some @xmath101 and suppose @xmath88 exists for some flags @xmath84 and @xmath85 .
then @xmath88 is @xmath34-colorable .
proof : choose an @xmath34-coloring for @xmath2 and one for @xmath25 in such a way that @xmath84 and @xmath85 have opposite colors if @xmath102 and the same color if @xmath103 . then the induced coloring provides the desired coloring on @xmath104 .    ' '' ''    as we ll see in the following theorem , it is almost always the case that the group @xmath105 is equal to @xmath106 .
this can fail , roughly , when for some @xmath107 , @xmath108 is @xmath34-colorable but @xmath2 is not , or similarly for @xmath25 .
[ t : plus ] suppose @xmath2 and @xmath25 are maps and suppose @xmath88 exists for some flags @xmath84 and @xmath85 .
furthermore , suppose that for each @xmath109 there exists an @xmath34-inconsistent cycle that does nt include any of the flags of face @xmath86 , and similarly for @xmath25
. then @xmath110 .
proof : for @xmath107 , if @xmath111 , then @xmath112 by proposition [ th : oplus ] . if @xmath113 , then without loss of generality , assume that @xmath2 is not @xmath34-colorable
. then @xmath2 has cycles which are @xmath34-inconsistent , and by the hypothesis , at least one of them includes none of the flags in @xmath86 .
this cycle , then , occurs in @xmath88 , and is still @xmath34-inconsistent .
thus @xmath114 .    ' '' ''
we now offer and prove a series of propositions connecting the ideas of orientations and colorings .
first , we show a collection of easy facts to embody our belief that colorings generalize orientations .
we then generalize these facts in theorem [ thm : super ] .
[ oble012 ] a map is orientable if and only if it has an @xmath44-coloring .
proof : if @xmath2 has an @xmath44-coloring , orient each face so that , along each edge , the orientation points from the flag with color 0 to the flag with color 1 .
this is consistent within the face and faces that meet along an edge have orientations which meet correctly .
conversely , given the orientation , assign colors so that along each edge within a face , the orientation points from the flag with color 0 to the flag with color 1 .
this causes colors to alternate within each face . because the orientation opposes the orientation in each adjacent face , the colors alternate at each edge , giving an @xmath44-coloring .    ' '' ''    similar arguments give us the following two propositions :    [ th : fpso01 ] a map @xmath2 has a face pseudo - orientation if and only if @xmath2 admits a @xmath115-coloring .
[ vpso12 ] a map @xmath2 has a vertex pseudo - orientation if and only if @xmath2 admits a @xmath43-coloring .
our aim in this subsection is to generalize the definition of pseudo - orientability and the previous results . for any subset @xmath34 of @xmath44 ( except @xmath55 )
, we form the map @xmath116 whose faces are the regions formed by conjoining flags which are connected by each @xmath17 for which @xmath67 . for example , if @xmath2 is the cube , then @xmath117 and @xmath118 are shown below .     and
@xmath118 ]    notice that the boundaries of the faces in @xmath120 are the sub - edges of types that are _ in _ @xmath34 .
thus @xmath2 is @xmath34-colorable if and only if @xmath120 is face - bipartite .
however , the map @xmath120 can be constructed even if @xmath2 is not @xmath34-colorable .
we call @xmath2 _ @xmath34-pseudo - orientable _ provided that @xmath121 is face pseudo - orientable
. if this happens , we can orient the edges of @xmath69 so that around each face of @xmath69 , the arrows all point the same way .
we say a map is @xmath55-pseudo - orientable when it is orientable .
it is clear that @xmath122 and so @xmath59-pso is equivalent to fpso .
observation [ th : fpso01 ] shows that this happens exactly when @xmath2 is @xmath115-colorable .
similarly , @xmath2 is @xmath42-pso when it is vpso , and this happens exactly when @xmath2 is @xmath43-colorable .
surprisingly , this generalizes completely :    [ thm : super ] let @xmath2 be a map .
then @xmath2 is @xmath34-pseudo - orientable if and only if @xmath2 is @xmath123-colorable .
proof : first , recall that the sub - edges of @xmath2 are of three different types :    type 0 : :    : midpoint - of - edge to face - center , type 1 : :    : face - center to vertex , type 2 : :    : vertex to midpoint - of - edge .
furthermore , let us think of the sub - edges as directed .
call the directions above the ` standard ' orientations for the sub - edges , and the reverse of these are the non - standard orientations .    in order to form @xmath121 ,
we delete or ignore sub - edges of each type @xmath124 , so we only consider sub - edges of type in @xmath34 .
suppose @xmath2 is already @xmath123-colored .
then in @xmath120 , both flags around each sub - edge have the same color
. then we may assign this as the color of the sub - edge .
now give every sub - edge with color 0 the standard orientation , and each sub - edge with color 1 the non - standard direction .
if @xmath34 has 2 elements , then consecutive sub - edges around a face of @xmath69 of different types are the same color , while those of the same type are opposite colors .
this causes the directions to be consistent about a face . on the other hand ,
if @xmath34 has only one element , then the sub - edges around a face of @xmath69 alternate in color and are all of the same type ; again , this forces the orientation to be consistent .
the following examples show how this works :    1 .   if @xmath125 , then by definition the map is @xmath34-pseudo - orientable if and only if it is orientable , and this happens if and only if it is @xmath44-colorable .
2 .   if @xmath126 , then @xmath127 , which is face pseudo - orientable if and only if it is @xmath115-colorable . in this case , we orient black type 2 sub - edges from vertex to midpoint - of - edge but white type 2 sub - edges from midpoint - of - edge to vertex .
if @xmath128 , we orient black type 1 sub - edges from vertex to face - center and black type 2 sub - edges from midpoint - of - edge to vertex .
we orient the opposite colors in the opposite direction : +    4 .   if @xmath129 , the @xmath55-coloration colors all sub - edges the same and so the faces of @xmath69 , the flags of @xmath2 , are all oriented consistently .
every map is @xmath55-colorable and every map is @xmath44-pso .
+     for the converse we may use the orientation to color in the way prescribed to match the previous list .    ' '' ''      we summarize here the results of previous sections relating to the question of which maps have @xmath34-colorings for a given @xmath34 .    [ cols=">,<,^",options="header " , ]     proof : the medial of any map always admits a @xmath59-coloring ( face - bipartition ) , since we have two types of faces : those that surround vertices of @xmath2 , and those that surround face - centers of @xmath2 . for the first row ,
if the map is edge - bipartite , then we may color each vertex of the medial with the color corresponding to the color of the edge it was the midpoint of and vice - versa . for the second ,
note that an edge of the medial corresponds to a kite of the original .
finally , the medial maps lies on the same surface as the original .    ' '' ''
given a map @xmath29)$ ] and a subset @xmath34 of @xmath35 , we define the _ @xmath34-double _ of @xmath2 , denoted @xmath130 , to be the map @xmath131)$ ] , where    @xmath132 here , we write `` @xmath133 '' for @xmath134 .
notice that the function sending @xmath133 to @xmath7 is a projection of @xmath25 onto @xmath2 , and so @xmath130 is a covering of @xmath2 . also notice that the function which sends @xmath133 to @xmath135 , is an @xmath34-coloring of @xmath130 .
now , if @xmath2 has an @xmath34-coloring , then @xmath130 consists of two disjoint copies of @xmath2 ; in this case we discard one copy and say that @xmath130 is isomorphic to @xmath2 . if @xmath2 does not have an @xmath34-coloring then @xmath130 truly is a double cover ( i.e. , a 2-fold topological covering which may or may not be branched at vertices and/or face - centers ) of @xmath2 . in this case , for every cycle @xmath62 in @xmath2 , if it is @xmath34-consistent , then @xmath136 , and @xmath137 , and so the cycle is covered by two cycles of the same length . and if @xmath62 is @xmath34-inconsistent , then @xmath138 , and @xmath139 .
then the cycle @xmath62 is covered by a single cycle of twice the length of @xmath62 . in that case the covering cycle is @xmath140 , which is consistent for any subset of @xmath44 .
we have remarked above that the map @xmath130 always has an @xmath34-coloring .
moreover , we claim , it is universal minimal in the sense of the following proposition :    [ th : mindub ] if @xmath25 is any map that is a covering of @xmath2 and which is @xmath34-colorable , then @xmath25 must itself cover @xmath130 .
proof : let @xmath45 be an @xmath34-coloring of @xmath25 and let @xmath28 be a projection of @xmath25 onto @xmath2 . define @xmath141 mapping @xmath25 onto @xmath130 to send the flag @xmath7 of @xmath25 to the flag @xmath142 of @xmath130 . because @xmath45 is an i - coloring of @xmath25 , this @xmath141 is a projection , as required .    ' '' ''    an example of a double covering is @xmath143 when @xmath2 is a non - orientable map . because @xmath2 does not have an @xmath44-coloring
, @xmath25 is truly a double cover of it , and since @xmath25 then _ does _ have an @xmath44-coloring , it must be orientable and so @xmath25 is the orientable twofold cover ( some say the _ canonical _ cover ) of @xmath2 .
another example of the double construction in the literature comes from sherk s 1962 paper @xcite . at that time few non - toroidal chiral maps were known .
sherk constructed an infinite family of such maps on an infinite number of different surfaces , using a simple and clever technique .
starting with a chiral map @xmath2 on the torus , with triangles as faces and six of them incident to each vertex , he made a new map @xmath25 in the following way .
for each vertex @xmath144 of @xmath2 , he created vertices @xmath145 ; for each edge @xmath146 , he made edges @xmath147 and @xmath148 ; and each triangular face @xmath149 $ ] became a hexagonal face @xmath150 $ ] .
this map has hexagonal faces , still meeting 6 at a vertex .
thus if @xmath2 had @xmath151 vertices , @xmath152 faces and @xmath153 edges , then @xmath25 has @xmath152 vertices , @xmath152 faces and @xmath154 edges .
it follows that @xmath25 must lie on the orientable surface of characteristic @xmath155 , i.e. , of genus @xmath156 . from our point of view
, we can construct @xmath25 as @xmath157 .    as a final example
, the reader might like to verify that if @xmath158 is the tetrahedron then @xmath159 is the orientable map with hexagonal faces , six of them around each vertex , shown in figure [ fig:1yt ] .    ,
height=170 ]      we present here some of the facts about @xmath34-doubles :    [ th : jup ] if @xmath2 has a @xmath34-coloring then so does any @xmath160
.    proof : in fact , by definition _ any _ covering of @xmath2 inherits an @xmath34-coloring from that of @xmath2 .    ' '' ''    [ t : idj ] if @xmath2 has a @xmath56-coloring then any @xmath130 is isomorphic to @xmath161 .
proof : for any map @xmath2 , @xmath130 is the smallest covering of @xmath2 which admits an @xmath34-coloring . if @xmath2 has a @xmath56-coloring , then @xmath130 has a @xmath56-coloring as well .
thus , by proposition [ delta ] , @xmath130 admits an @xmath162-coloring , and whether @xmath2 has an @xmath34-coloring or not , this covering of @xmath2 must be minimal of those admitting an @xmath162-coloring .
thus @xmath163 .    ' '' ''    the following two results summarize the examples given above .    if @xmath2 is non - orientable , then @xmath164 is isomorphic to the orientable double covering of @xmath2 .
we say that a map @xmath25 is the _ sherk double cover _ of a non - vertex - bipartite map
@xmath2 whenever @xmath25 can be obtained from @xmath2 by the above procedure used by sherk to obtain the chiral maps with hexagonal faces
.    if @xmath2 is not vertex - bipartite , then @xmath157 is isomorphic to its sherk double cover .
note that @xmath42 , @xmath60 , @xmath59 generate @xmath54 under @xmath52 , and so if @xmath2 is any map , then @xmath165 has @xmath166 , and so @xmath25 is an un - double - able map in our context .
[ th : dubgp ] for any map @xmath2 and any subset @xmath34 of @xmath44 , @xmath167    proof : this is obvious if @xmath168 .
if not , it is clear that @xmath169 is contained in @xmath170 , and so we need only to show that the opposite containment holds .
this is equivalent to showing that if @xmath171 and @xmath172 , then @xmath173 ( see proposition [ t : idj ] ) .
let @xmath174 and note that , if @xmath175 , then @xmath25 is a @xmath56-colorable double cover of @xmath2 ; by proposition [ th : mindub ] , @xmath25 must be isomorphic to @xmath176 . because @xmath172 , there is some cycle @xmath62 which is @xmath56-inconsistent . if any such cycle is @xmath34-consistent , then in @xmath25 , the cycle @xmath177 has the same length as @xmath62 , and so is
also @xmath56-inconsistent , contradicting @xmath175 .
thus every cycle which is @xmath56-inconsistent is also @xmath34-inconsistent .
a similar argument in @xmath178 shows that every cycle in @xmath2 which is @xmath34-inconsistent is also @xmath56-inconsistent .
therefore every cycle is either consistent for both , or inconsistent for both . by lemma [ lemma13 ] ,
every cycle in @xmath2 is @xmath76-consistent , and then @xmath179 , as required .    ' '' ''
we want to generalize the result from @xcite which says , loosely speaking , that a reflexible map is a 2-fold orientable cover of a non - orientable reflexible map if and only if its rotation group contains an involutory element which conjugates each of the generators to its inverse .
to re - phrase that in our context , a reflexible map @xmath25 which has an @xmath44-coloring is an @xmath44-double of some reflexible map @xmath2 which does not have such a coloring if and only if the subgroup of @xmath180 which preserves colors in the coloring contains an involutory element which conjugates each of the generators ( of the color - preserving group ) to its inverse .
if @xmath25 is @xmath34-colorable , let @xmath45 be either of the @xmath34-colorings of @xmath25 and define @xmath181 to be the subgroup of @xmath182 consisting of all @xmath183 such that @xmath184 for all @xmath185 . because @xmath25 is @xmath34-colorable , this group has index 2 , and so is normal , in @xmath182 .
note that theorem [ t : isdouble ] generalizes the result from @xcite not only to all @xmath34-colorings , but also to maps with no assumption on their automorphism group .
[ t : isdouble ] a map @xmath186)$ ] is @xmath130 for some non-@xmath34-colorable map @xmath187)$ ] if and only if @xmath25 is @xmath34-colorable and there exists @xmath51 and @xmath188 of order 2 such that for every element @xmath189 , @xmath190 .
* proof * : first , assume @xmath174 with @xmath2 a non-@xmath34-colorable map .
we will prove the existence of @xmath183 .
the group @xmath191 has index 2 in @xmath182 , and there is an isomorphism @xmath192 which is the letter - to - letter projection , @xmath193 whenever the word @xmath194 is in @xmath191 and so has an even number of indices in @xmath34 .    because @xmath77 is not @xmath34-colorable , @xmath34 is not empty .
so consider any @xmath51 and let @xmath195 .
note that @xmath183 is an involution since @xmath7 is an isomorphism .
this @xmath183 is not @xmath17 , since @xmath196 ; it is , instead , expressible as some longer product of @xmath197 s .
then for any @xmath198 we have @xmath199 , while @xmath200 , since @xmath201 is in @xmath202 , and @xmath7 acts there as letter - to - letter projection .
since @xmath7 is an isomorphism and hence one - to - one , we conclude that @xmath203 .    now assume we have @xmath188 of order 2 and @xmath204 such that for every element @xmath205 , @xmath190 .
in particular , with @xmath206 , we have @xmath207 . from this
we see that @xmath208 .
we then construct @xmath2 by identifying flags in the following consistent way : let @xmath209 , so that @xmath210 is an involution .
we shall identify flag @xmath185 with @xmath211 . because @xmath210 is an involution
, this identification is unambiguous , and each flag is identified with exactly one other . since @xmath183 preserves coloring and @xmath17 changes it , we are identifying a white flag with a black flag .
these equivalence classes are the flags of @xmath2
.    then we have to define the connectors @xmath212 and @xmath213 of @xmath2 .
notice that for every @xmath214 we have @xmath215 , so @xmath210 commutes with all of @xmath191 .
but @xmath191 has index 2 , and @xmath216 so @xmath210 commutes with all of @xmath182
. then we define @xmath217)s_j = [ f r_j , f u r_j = f r_j u]$ ] .
the @xmath218 s are well defined and we can easily see @xmath219 and @xmath213 commute , since @xmath13 commutes with @xmath12 .
to see that @xmath25 is the @xmath34-double cover of @xmath2 , identify each black flag @xmath7 of @xmath25 with the flag @xmath220_1 $ ] of @xmath130 , and each white flag @xmath7 with the flag @xmath220_0 $ ] .    ' '' ''    in order to use this theorem we would , in theory , need to prove the existence of @xmath183 and observe that under conjugation , @xmath183 acts in the same way as some @xmath17 on _ every _ element of @xmath221 . but in practice , we only need to find @xmath183 that acts in such a way for the _ generators _ of @xmath221 . the element @xmath17 must not be in @xmath202 and so we will refer to it as an _ external generator_. table i below summarizes information about each subset @xmath34 of @xmath44 . the second column ( adapted from @xcite )
gives generators for @xmath221 as a subgroup of @xmath182 .
the third column gives the @xmath222 which are not in @xmath202 , and the last column shows the actions on the generators of @xmath202 under conjugation by this external generator .
the purpose of this section is to prove that every subgroup @xmath223 of @xmath54 occurs on every surface on which it _ can _ appear . to clarify that statement
, we call a group which includes @xmath44 an _ orientable _ subgroup of @xmath54 , and subgroups which do not contain @xmath44 are _ non - orientable_. so we want @xmath223 to appear on @xmath224 when they are both orientable or both non - orientable .
this is almost true , as explained by the following theorem :    [ thm : everygroup ] for every subgroup @xmath223 of @xmath54 and every surface @xmath224 , there is a map @xmath2 on @xmath224 such that @xmath225 if and only if @xmath224 and @xmath223 are both orientable or both non - orientable , with the following exceptions :    1 .
the group @xmath226 does not appear on the sphere .
2 .   the group @xmath227 does not appear on the projective plane .
3 .   the group @xmath228 does not appear on the projective plane .
[ allgp ]    the proof of this claim is contained in and scattered through the remaining parts of this section .
we will consider the 16 possible groups subgroups of @xmath54 individually and in dual pairs .
such a proof would appear to require 16 constructions , but we can use lemma [ di ] and proposition [ th : jup ] for some simplification .
moreover , the insertion techniques that we will introduce and the connected sum construction of subsection [ sec : connectedsum ] allow even more simplification .
we consider the non - orientable cases first ; then a simple argument , using the results of section [ sec : doubles ] , takes care of the orientable ones .
consider any triangulation of a non - orientable surface @xmath224 .
refine the triangulation slightly by placing one new vertex inside some triangular face and connect it to the three vertices on its boundary so as to have one vertex of degree 3 . call this map @xmath2 . because of the triangular faces and the the degree-3 vertex , the cheat sheet of section [ sec : colori ] shows us that none of the sets of size 1 or 2 are in the group , and because @xmath224 is non - orientable
, it can not contain @xmath44 either .
thus @xmath58 must be the trivial group .      in this subsection
, we introduce the technique of _
insertion_. we shall prove that any map @xmath2 can be easily modified to produce a map which is face or vertex bipartite and also face or vertex pseudo - orientable .
let us assume , for example , that we wish to modify @xmath2 to construct a vertex - bipartite map .
color the vertices of @xmath2 at random . for the edges for which both vertices are the same color ,
add a vertex ( of degree 2 ) to split the edge in two .
the same idea can be applied if we wish vertex pseudo - orientability .
we may assign orientations to the vertices at random and then split the edges whose endpoints do nt match into two edges . call this process _ vertex - insertion_. this
can also be used to turn a map which _ is _ vertex - bipartite or vpso into one that is _
not_. note that vertex - insertion does not modify the status of either face - bipartiteness of fpso of @xmath2 .
dually , we may replace an edge by a face bounded by two edges to get either face - bipartition or fpso .
the following picture illustrates this for face pseudo - orientation :        we begin with an arbitrary map on a surface @xmath224 , and an arbitrary orientation of each face .
if there is an edge , as in figure [ fig : otopso]a , where the assigned arrows flow in opposite directions along the edge , replace the edge with a face bounded by a pair of edges as shown in [ fig : otopso]b .
orient the resulting lune with an arrow as shown .
this gives a map on the same surface with one fewer edge for which the given arrows fail to give a face pseudo - orientation .
continuing this process eventually gives us a map on @xmath224 admitting a face pseudo - orientation .
let s call this process _ face - insertion_. here , we used it to produce a fpso map on any surface .
we can use it equally well to turn any map into a face - bipartite map on the same surface . as with vertex insertion
, this same process can also be used to convert a map which _ is _ face bipartite or fpso to one which is _ not_.    for many groups we can use these two operations to produce maps with that group on any non - orientable surface .
we will show one of these in detail and summarize the rest .
consider the non - orientable group @xmath229 .
for any non - orientable surface @xmath224 , we choose any map on @xmath224 , and , using face - insertion as above , construct a map which is fpso .
now we must be certain that the group of the map is no bigger than @xmath223 .
the other cosets of @xmath223 in @xmath54 are @xmath230 . by inserting one vertex on one edge , if necessary
, we can cause the map to have a face with odd degree , eliminating @xmath42 and @xmath43 and hence all @xmath231 from the group .
the non - orientability of the surface eliminates @xmath35 and hence all of @xmath232 .
thus the final form @xmath2 of the map has @xmath233 , as required .
notice that the group @xmath234 is then @xmath235 .
we produce maps having most of the other non - orientable groups in a similar way . starting with an arbitrary map on a non - orientable surface
we perform insertions in the following ways :    * use face - insertion to force fpso and vertex - insertion to force vpso .
the result is a map whose group is @xmath236 . *
use face - insertion to force fpso and then vertex - insertion to force it to be vertex - bipartite .
the resulting map has group @xmath237 .
its dual has group @xmath238 .
* use face - insertion to force the map to be face - bipartite and vertex - insertion to force it to be vertex - bipartite .
the resulting map has group @xmath239 .
* use face - insertion to force face - bipartiteness and vertex - insertion in order to force some face to have an odd number of sides .
the group must be just @xmath240 .
its dual then has group @xmath241 .
these constructions take care of all non - orientable groups except for two : @xmath242 and @xmath243 .      in order to cope with the two non - orientable exceptional groups , we apply the technique of connected sums of maps , developed in subsection [ sec : connectedsum ] , as well as by giving constructions of parameterized families of suitable maps in order to have explicit constructions .    for each group
@xmath244 with @xmath245 and @xmath246 , there exists a map @xmath2 on every non - orientable surface such that all the following hold :    * @xmath225 .
* there is a face @xmath68 with exactly 2 sides and exactly 2 vertices .
* @xmath247 . that is , the flags of @xmath2 that are not in @xmath68 are _ not _
@xmath34-colorable for every @xmath248 .
proof : let @xmath224 be an arbitrary non - orientable surface . to construct a map on @xmath224 with the desired properties , first consider any map for which no face shares a vertex with itself . because the surface is non - orientable , we may choose an arbitrarily fine subdivision for which there is a mbius band of faces which does not use all the faces or edges .
then apply the operations described in subsection [ insert ] to make the map @xmath249-colorable for each @xmath249 in @xmath223 .
this is possible since any group @xmath223 with 4 elements with @xmath245 must contain two of the following : vertex - bipartite , face - bipartite , fpso or vpso , with the other non trivial element being the symmetric difference of the other two .
now consider an edge that is not in any of the faces of the chosen mbius band and convert it into three edges , as with face - insertion but with three edges instead of two .
this operation does _ not _ change the status of vertex - bipartition , face - bipartition , vpso or fpso as required . now pick either of the two newly created faces and call it @xmath68 . since we still have a mbius strip , @xmath250 , but every @xmath251 is in @xmath252 . therefore ,
@xmath247 .    ' '' ''    for @xmath253 and @xmath254 we have that for every surface ( except the projective plane ) there exists a map @xmath2 on that surface with @xmath255 .
proof : let @xmath224 be a surface with non - orientable genus @xmath256 .
consider maps as in the previous lemma @xmath257 and @xmath258 such that @xmath257 lies on a surface with non - orientable genus @xmath259 and @xmath258 lies on the projective plane and such that :    * if @xmath254 , then @xmath260 * if @xmath261 , then @xmath262    then @xmath263 ( along the 2-sided faces as in the previous lemma ) lives on the non - orientable surface with genus @xmath0 and @xmath264 ( see theorem [ t : plus ] ) .    ' '' ''
we give explicit constructions for these last two groups :    let @xmath265 , and consider the map @xmath266 where @xmath267 .
this map has @xmath268 faces , each one a square .
they are arranged in an @xmath269 rectangle .
the top @xmath270 edges are identified with the bottom @xmath270 directly and orientably .
each vertical edge is identified with the one diametrically across from it ; the first @xmath0 orientably , the rest non - orientably .
figure [ fig : g573 ] shows @xmath271 .    ,
height=226 ]    because vertical and horizontal edges alternate around every face and every vertex , this map is always edge - bipartite , i.e.,@xmath60-colorable , and lies on the non - orientable surface of genus @xmath272 .
( @xmath273 , then , is on the klein bottle ) if @xmath274 is odd and @xmath275 , then the map is neither face - bipartite nor vertex - bipartite , and so its group is @xmath227 .    for @xmath276 consider the maps shown in figure [ fig : one ] :         in general we have a rectangle one unit wide , having any height .
the maps shown in figure [ fig : one ] have characteristic 0 and 1 respectively . in the left picture , by making the strip long enough , we may switch enough pairs of adjacent labels on the right side ( for example , switch labels 3 and 4 on the right ) to make any even genus non - orientable surface .
similarly , for the picture on the right we may switch enough pairs of adjacent labels in a sufficiently long strip to construct any odd genus non - orientable surface .    to see that the group is indeed @xmath277 , we see that neither map is face - bipartite , since some faces are glued to themselves , or face pseudo - orientable , since both contain faces that are glued to themselves in an orientable way .
similarly , neither are vertex - bipartite or vertex pseudo - orientable .
this concludes the proof for the non - orientable case .
if the subgroup @xmath223 contains @xmath44 , then it is generated by @xmath44 and some subgroup @xmath278 not containing @xmath44 .
each orientable surface @xmath224 is the orientable twofold cover of some non - orientable surface @xmath279 . by the preceding subsections
, @xmath279 has a map @xmath280 whose group is @xmath278 ( unless s is the sphere , @xmath279 is the projective plane and @xmath223 is @xmath281 ) . then @xmath282 is a map on @xmath224 whose group is @xmath223 . by proposition [ th : dubgp ]
, @xmath58 is exactly @xmath223 .
thus , with the one exception , for each subgroup @xmath223 containing @xmath44 , every orientable surface admits a map whose group is @xmath223 .    ' '' ''
all that is left to prove now is that the three exceptions mentioned in the theorem are in fact exceptions  namely that there is no map on the specified surfaces with the specified group .
we shall prove this first for the group @xmath226 on the sphere .
[ l : nosphere ] there is no map on the sphere with group @xmath226 .    proof : suppose @xmath2 is one such map . since @xmath283 ,
the underlying graph of @xmath2 is not bipartite , which means it has an odd cycle @xmath284 .
by jordan s closed curve theorem , this divides the sphere into two connected components .
choose either and erase every edge and vertex exterior to it in order to form the deleted part into a single face whose boundary is @xmath284 .
this gives a new map @xmath280 , also on the sphere .
since @xmath285 , every face of @xmath2 must have an even number of sides .
therefore @xmath280 has exactly one face with an odd number of sides .
then the underlying graph of @xmath286 has exactly one vertex of odd degree , a well - known impossibility .    ' '' ''
no map @xmath2 on the projective plane has @xmath287 or @xmath288 .
proof : if such a map were to exist , its orientable double cover would violate lemma [ l : nosphere ] .    ' '' ''    the proof of theorem [ allgp ] is now complete .
no map on a non - orientable surface has an @xmath44-coloring . in all other cases , for any subset @xmath34 of @xmath44 , and any surface @xmath224 ,
there is a map @xmath2 on @xmath224 which is @xmath34-colorable .
to generalize the results of this paper to higher - dimensional objects , we use the idea of a _ maniplex _ , first introduced in @xcite . we summarize the definitions here : an _
@xmath274-maniplex _ is a pair @xmath289)$ ] , where @xmath5 is a set of things called _ flags _ , and each @xmath17 is a fixed - point - free involution on @xmath5 such that @xmath290 is transitive on @xmath5 , and for every @xmath48 , @xmath291 such that @xmath292 , the permutations @xmath17 and @xmath197 commute and are disjoint .
maniplexes clearly generalize maps and slightly generalize ( the flag - graphs of ) abstract polytopes .
in particular , every map is a 2-maniplex and every 2-maniplex is a map .
the language of maniplexes is the language of polytopes : an @xmath48-face is an orbit under the group @xmath293 , generated by all of the @xmath197 s except @xmath17 .
a 0-face is a vertex , a 1-face is an edge , an @xmath274-face is a _
facet_.    the definitions of _ coloring , projection , cover _ generalize easily .
there is no notion of surface or manifold which applies to maniplexes ; nevertheless , we describe a maniplex which has an @xmath294-coloring as being orientable . in view of theorem [ thm :
super ] , one may define a maniplex to be @xmath34-pseudo - orientable if and only if it is @xmath295-colorable .
we may give a definition of fpso that is more in the spirit of our intuition : first , we need each facet to be orientable and second , orientations can be assigned to the facets so that they agree on every subfacet .
it is easy to see that this is equivalent to an @xmath296-coloring of @xmath2 .
the idea of an @xmath34-coloring , for any @xmath107 , comes forward easily , as does the fact that the set of @xmath34 s for which a given maniplex @xmath2 is @xmath34-colorable forms a subgroup @xmath58 of the power set @xmath54 of @xmath44 under @xmath52
. we can define @xmath48-face bipartiteness : an @xmath48-face is a connected component under all of the @xmath197 s except @xmath17 .
make these the vertices of a graph , and join two of them by an edge is some flag of one is @xmath17 adjacent to some flag of the other .
if this graph is bipartite , we say that @xmath2 is @xmath48-face bipartite .
then , it is easy to show then that @xmath2 is @xmath48-face bipartite if an only if it is @xmath297-colorable .
we can define connected sum of two @xmath274-maniplexes , removing isomorphic facets , one from each maniplex and adjusting the @xmath298 connections to form the sum .
the theorem that the sum has any coloring common to both still holds .
the operators generalize with a little care .
we form @xmath299 from @xmath2 by replacing @xmath12 with the product @xmath300 .
we form @xmath301 from @xmath2 by reversing the order of the generators .
and then @xmath302 .
similar facts hold about how colorings of @xmath2 are inherited by its direct derivates .
the medial operation is more difficult to generalize .
the construction of @xmath34-doubles is straightforward to generalize , and all of the facts about the doubles do as well .
the fact that maps have rank 3 plays no role in any of these proofs .
again , because there is no notion equivalent to that of ` surface ' , there is no natural way to generalize the results of section [ sec : everygroup ] .
the constructions in section [ sec : everygroup ] lead to quite general maps , although some of them may be somewhat degenerate in the viewpoint of other previous work
. it may be the case that more exceptions in theorem [ allgp ] are needed if we ask the extra requirement that the maps are polyhedral maps ( that is , the intersection of the closure of two distinct faces is either empty , a single vertex , or a single edge .
see @xcite ) .
however , this is beyond the scope of this paper .    in previous sections we considered colorings of the flags of maps insisting that we use only two colors . in doing so ,
we ensure that if a given flag is @xmath48-adjacent to another flag with the same color then all flags are the same color as their @xmath48-adjacent flags .
consistent colorings with @xmath0 colors can be defined following the idea of @xcite and @xcite , that is , each flag is assigned a color in @xmath303 with the restriction that for every @xmath304 and @xmath305 , the color of the @xmath48-adjacent flag to a flag @xmath7 colored @xmath291 depends on @xmath291 but not on @xmath7 .    when @xmath0-coloring a map consistently for @xmath306 then it may not be true that a flag is @xmath48-adjacent to another flag with the same color if and only if each flag is @xmath48-adjacent to another flag with the same color .
for example , we can color the flags of the pentagons of a pentagonal prism with color @xmath307 , the flags of the edges shared by two squares with color @xmath308 , and the remaining flags with color @xmath309 , as in figure [ fig:3orb ] .
the reader can easily verify that this is a consistent 3-coloring , however , flags colored @xmath307 are @xmath307-adjacent to flags colored @xmath307 , and flags colored @xmath308 are @xmath307-adjacent to flags colored @xmath309 .
it is unlikely that the concept of pseudo - orientability admits a generalization that preserves the connections between 2-colorings and pseudo - orientations of maps .
however , @xmath0-colorings may still keep an interesting relation with @xmath0-fold covers of maps and maniplexes as well .      *
acknowledgements : * the authors , particularly the last , would like to thank the organizers of the workshop on abstract polytopes ( this set of organizers overlaps the set of authors ) for bringing us together . without that meeting
, this research might not have happened .
the first author was partially supported by agencija za raziskovalno dejavnost republike slovenije under the research project mu - prom/11 - 010 .
the second and fourth authors were partially supported by papiit
mexico under grant in112512 .
the third author was supported supported by dgapa postdoctoral scholarship and additionally by papiit grant ib100312 .