of the many intriguing avenues for investigation afforded by transiting exoplanets ( for a review , see * ? ? ?
* ) , perhaps the most exciting is the opportunity to study directly the planetary atmosphere without the need to spatially resolve the light from the planet from that of its host star . at visible wavelengths , where the emitted light from the planet is negligible ,
the technique of transmission spectroscopy has been employed from space - based platforms to study atoms , molecules , and clouds in the atmospheres of hd  209458b @xcite and hd  189733b @xcite .
ground - based studies had yielded only upper limits , albeit valuable ones @xcite until the recent breakthrough detection by @xcite of atomic sodium in the atmosphere of hd  189733b .
searches for reflected starlight have delivered increasingly stringent constraints on the wavelength - dependent geometric albedo and phase function @xcite . at infrared wavelengths ,
the planet - to - star contrast ratio improves dramatically , permitting a direct study of the emitted planetary radiation through the modulation of the total light from the star and planet spanning times of secondary eclipse , when the planet is occulted by the star .
ground - based searches for this effect have been frustrated to date by telluric variability @xcite , although @xcite have recently claimed a tentative detection for ogle - tr-113b .
exemplifying the power of a small - aperture telescope in an ideal location , the _
spitzer space telescope _
@xcite has revolutionized this field by yielding a flurry of detections of the emitted radiation from 6 exoplanets @xcite , including recent determinations of the emitted spectra @xcite of hd  189733b and hd  209458b .
numerous ongoing programs promise additional exciting results to come .
although _ spitzer _ will exhaust its cryogen in the spring of 2009 , two photometric channels will continue to operate at full strength and will provide a singular window into the atmospheres of these distant worlds @xcite , if the warm phase of the _ spitzer _ mission is approved .
each of the techniques described above is facilitated for large planets that orbit nearby , bright stars at small orbital separations .
the discovery of the exoplanet hd  189733b @xcite provided a golden opportunity for practitioners of such techniques for two reasons .
first , it is at a distance of only 19.3  pc , and hence at infrared wavelengths it is the brightest star ( @xmath6 ) known to host a transiting exoplanet .
second , the planet - to - star surface area ratio is the second largest of the 28 transiting exoplanets described in the literature , surpassed by only tres-3 @xcite .
it is primarily for these reasons of accessibility that we selected hd  189733b for intensive study with _
spitzer_. for the purposes of this paper , we adopt the values for orbital inclination @xmath7 , the planet radius @xmath8 , the stellar radius @xmath9 , and the time of transit center @xmath10 as determined by @xcite , and the orbital period @xmath11 as determined by @xcite .
we note that the target star has an m - dwarf companion at a projected physical separation of 216 au @xcite .
this companion appears in the field of view of the data we present below , and we comment upon its impact upon our photometric results when appropriate .    the recent _ spitzer _ detections of the flux emitted by several exoplanets have spurred numerous theoretical efforts to model their atmospheres and predict their emitted spectra ( see for example * ? ? ?
* ; * ? ? ?
* ; * ? ? ?
* ; * ? ? ?
* ; * ? ? ?
* ; * ? ? ?
the constraints on the theoretical predictions become much more stringent with detections at numerous wavelengths , from which a broadband spectrum may be inferred . in this paper
, we describe our estimate of planet - to - star contrast ratio in bands centered at @xmath12 .
we then combine these results with our re - analysis of the earlier measurement at @xmath13 @xcite to consider what constraints may be placed on the temperature and chemistry of the planetary atmosphere , and the efficiency with which it redistributes the incident stellar radiation from the day side to the night side .
these observations are particularly timely , given the recent study by @xcite , which included data presented in deming et al .
( 2005b ) , of the broad band spectrum of hd  209458b in 5 of the above bandpasses . in the assembled spectrum ,
features that had been predicted in absorption were observed in emission , a clear sign of an atmospheric temperature inversion @xcite .
@xcite and @xcite have recently proposed a division between the predicted atmospheric temperature - pressure profiles for hot jupiters dependent upon the level of stellar insolation , in which only the most strongly irradiated planets show a temperature inversion . according to the criterion proposed by @xcite ,
hd  209458b is a member of the pm class and hence is expected to show a temperature inversion , whereas hd  189733b is a member of the pl class and should not .
intriguingly , hd  209458b and hd  189733b also differ in that the radius of the former ( @xmath14 ; * ? ? ?
* ) is much larger than that of the latter ( @xmath15 ; * ? ? ?
* ) and is at odds with the predictions of models that do not include an additional energy source interior to the planet . whether the large radius and the existence of a temperature inversion share a common physical origin is unclear , but surely worthy of further investigation .
our study of the broad band spectrum of hd  189733b provides an ideal opportunity to conduct a comparative study with hd  209458b .
we observed hd 189733b over a period of 4.9 hours on ut 2005 november 24 , spanning a single secondary eclipse , using the infrared array camera ( irac ; * ? ? ?
* ) on the _ spitzer space telescope_. we observed in subarray mode with an exposure time of 0.1  s and cycled between the four irac channels in order to obtain estimates of the depth of the eclipse at 3.6 , 4.5 , 5.8 , and 8.0  simultaneously .
we obtained a total of 21,760 @xmath16 pixel images in each channel .
images are taken in sets of 64 , and four sets of images ( @xmath17 images total ) are obtained in each channel before re - pointing the telescope to position the star on the subarray for the next channel .
the position of the star on the subarray is still varying through the first set of 64 images after each re - pointing , and we chose to discard this initial set of images , leaving a total of 16,320 usable images in each of the four channels .
the total size of this pointing drift is 0.3 pixels in the first set of 64 images , and 0.1 pixels or less in the following three sets of images . for each image
, we calculate the jd value for the time at mid - exposure , and apply a correction to convert these jd values to the appropriate hjd taking into account the position of _ spitzer _ in the solar system at each point during the observations .    because the two shortest wavelength irac channels ( 3.6 and 4.5  ) use insb detectors and the two longer wavelength channels ( 5.8 and 8.0  ) use si : as detectors , there are fundamental differences between the properties of the data taken with these two types of detectors .
we describe our analysis for each type of detector separately below .
the specific methods we employ our similar to those described in @xcite .      because hd 189733 is a bright star and the background at these shorter wavelengths is minimal , we calculate the flux from the star in each image using aperture photometry with a circular aperture with a radius of five pixels .
we determine the position of the star in each image as the position - weighted sum of the flux in a @xmath18 pixel box centered on the approximate position of the star .
we estimate the background in each image by selecting a subset of pixels from the corners of the image where the point spread function of the star is faintest and avoiding the region around the m dwarf companion , making a histogram of the flux values in these pixels , and fitting a gaussian function to the center of this distribution .
fluxes measured at these two wavelengths show a strong correlation with the changing position of the star on the array , at a level comparable to the depth of the secondary eclipse .
this effect is due to a well - documented intra - pixel sensitivity @xcite , and can be removed by fitting the data with a quadratic function of the sub - pixel position of the center of light of the stellar image , according to : @xmath19\ ] ] where @xmath20 is the flux from the star prior to this distortion , @xmath21 is the measured flux , @xmath22 and @xmath23 denote the location in pixels of the center of the star on the subarray , and @xmath24 are the five free parameters in the fit .
we fit the correction for the intra - pixel sensitivity of the array and the eclipse curve simultaneously to the data using a markov chain monte carlo method ( see for example * ? ? ?
* ; * ? ? ?
* ) with @xmath25 steps .
we set the uncertainty on individual points equal to the standard deviation of the out - of - eclipse data after correction for the intra - pixel variations , and remove outliers of 5@xmath26  or more as calculated using the residuals from the best - fit light curve .
we allow both the depth and timing of the secondary eclipse to vary independently for the eclipses at each of the two observed wavelengths , and fix the values of @xmath7 , @xmath8 , @xmath9 , and @xmath10 to those given in @xcite , the value for @xmath11 to that found by @xcite .
we calculate our eclipse curve using the equations from @xcite for the case with no limb - darkening . after running the chain ,
we search for the point in the chain where the @xmath27 value first falls below the median of all the @xmath27 values in the chain ( i.e.  where the code had first found an excellent fit ) , and discard all the steps up to that point .
we take the median of the remaining distribution as our best - fit parameter , with errors calculated as the symmetric range about the median containing 68% of the points in the distribution .
the distribution of values was very close to symmetric in all cases , and there did not appear to be any strong correlations between variables .
figure [ eclipse_plot_no_norm ] shows the binned data with the best fit to the detector effects overplotted , and figure [ eclipse_plot_with_norm ] shows the binned data once these trends are removed , with best - fit eclipse curves overplotted .
the best - fit eclipse depths and times are given in table [ eclipse_depths ] .      at longer wavelengths the flux from the star is smaller and
the zodiacal background is larger ; as a result we chose to use a smaller circular aperture with a radius of 3.5 pixels in order to minimize the noise contribution from this increased background . as before
, we calculate the position of the star individually in each image as the position - weighted sum of the fluxes in a @xmath18 pixel box , and estimate the background using a gaussian fit to a histogram of the pixels in the corners of the array .
fluxes in the first 10 images and the 58th image in each set of 64 are consistently below the median value for the set by as much as 10% , with the lowest values at the beginning of each set , so we chose to exclude these 11 images from each set of 64 in our analysis .
there is no known intra - pixel sensitivity at these wavelengths @xcite , but there is another well - documented detector effect @xcite , which causes the effective gain ( and thus the measured flux ) in individual pixels to increase over time .
this effect has been referred to as the `` detector ramp '' , and has also been observed @xcite in the irs 16  array , which is made from the same material .
the size of this effect depends on the illumination level of the individual pixel , such that the time - dependent gain of different pixels form a well - defined family of functions .
the most strongly - illuminated pixels ( @xmath28250 mjy sr@xmath29 in the 8  channel ) converge asymptotically to a constant value within the first hour of observations .
the time scale for this convergence increases with decreasing illumination , and the limiting case ( for pixels that receive little illumination ) is that of a linear increase in the measured flux over time , with a slope that varies inversely with the logarithm of the illumination level .
this effect is important for two reasons .
first , it means that the observed 3% increase in the measured background flux at 8  over the period of the observations is most likely not the result of a real change in the zodiacal background , but is instead another example of this detector ramp .
although the increased noise and smaller size of the background at 5.8  obscures this effect , there appears to be a similar upward trend .
thus , rather than calculating the background in each image individually and subtracting that value , we subtract a constant background of 4.81 mjy sr@xmath29 per pixel from all the 8  images , and 0.96 mjy sr@xmath29 per pixel from all 5.8  images .
this background is calculated as the median background value during the last hour of observation , when presumably the background is closest to the value it would ultimately obtain .
we note that this choice has a negligible effect on our final eclipse depths , as the background constitutes only 0.2% and 1.7% of the signal in our aperture at 5.8 and 8.0  , respectively .
this effect also produces a 1% increase in the measured flux from the star at 8.0  over the period of these observations ( see figure  1 ) .
there does not appear to be any ramp visible at 5.8  ; instead this data shows a general downward trend . unlike the detector ramp at low illumination levels , the ramp for higher illuminations has an asymptotic shape , with a steeper rise in the first 30 minutes of observations .
we discard the first 30 minutes of data in both the 5.8 and 8.0  channels and fit the remaining binned time series from our 3.5 pixel aperture with a quadratic function of @xmath30 , where @xmath31 is the change in time from the start of the observations .
@xcite used this same functional form ( with additional degrees of freedom ) to describe the detector ramp in the 8  channel over a period of 33 hours of continuous observations of hd  189733 , and it accurately captures the behavior of this ramp for a range of illumination levels . unlike @xcite , we do not attempt to correct each of the pixels in the images individually for this ramp , as this is not necessary for our analysis . moreover , the lower fluxes , shorter time frame ( 5 hours instead of 33 ) and reduced cadence of our data ( from cycling between the four detectors ) make it difficult to characterize this effect accurately at the pixel level .
instead we assume the effect of detector ramp in the binned flux in our 3.5 pixel aperture will have a shape that is representative of the flux - weighted average of the ramp effect for individual pixels .
we fit both the quadratic function of @xmath30 and the theoretical eclipse curve to the data simultaneously using a markov chain monte carlo method as described in  [ short_norm ] .
as before , the distribution of values was very close to symmetric in all cases , and there did not appear to be any strong correlations between variables .
best - fit eclipse depths and times from these fits are given in table [ eclipse_depths ] , and the time series both before and after correcting for detector effects are shown in figures [ eclipse_plot_no_norm ] and [ eclipse_plot_with_norm ] , respectively .
as a check and to ensure a consistent methods between different bandpasses , we re - analyze the raw time series gathered with the _ spitzer _ irs instrument ( houck et al .
2004 ) at 16  ( prior to normalization using the time series for the m dwarf companion ) from @xcite .
importantly , these data were obtained on ut 2005 november 17 , which falls between the times of our observations with mips (  2.3 ) and irac (  2.1 ) .
we fit the 16   time series with the same quadratic function of @xmath30 as the 5.6  and 8.0  @xmath32 m data . as
before , we fit this normalization and the eclipse curve to the data simultaneously using a markov chain monte carlo method with the error for individual points set equal to the standard deviation of the points after the end of the eclipse , calculated after fitting this section of data with a linear function of time to remove the overall slope .
this data shows the same type of detector ramp as the 8.0  data , and we exclude from our fit the first 30 minutes of data where this ramp is steepest .
our estimate of the eclipse depth , @xmath5% , is slightly shallower and has a smaller uncertainty than the value reported by @xcite , @xmath33% .
we also performed a separate analysis of the time series assuming a simple quadratic function of time , which we found yielded the same eclipse depth and uncertainty as that stated in deming et al .
we note that the analysis performed by those authors differed from ours in that they first divided the time series of hd  189733 by a fourth - order polynomial - fit in @xmath30 to the time series of the m - dwarf companion , and subsequently fit a quadratric function of time to the out - of - eclipse portion of the corrected time series .
they also reported the results of a linear fit to the corrected time series , for which they obtained an eclipse depth of 0.521% , very similar to our final value , stated above .
as discussed in  [ long_norm ] , we feel that fitting with a quadratic function of @xmath30 represents both a more robust normalization than a quadratic function of time , as well as being a better description of the shape of the detector ramp .
the reduced @xmath27 is 1.07 for the fit that uses a quadratic function of time , and falls to 1.00 when we adopt a quadratic function of @xmath30 , indicating that the latter function is indeed a better fit to the data .
importantly , the difference in eclipse depths between the two normalizations is less than @xmath34 .
we observed hd  189733 for 5 hours spanning a time of secondary eclipse on ut 2005 november 11 , and obtained 1548 images using the _ spitzer _ mips 24  @xmath32 m array @xcite .
the mips observing sequence dithers the target position amongst 14 distinct positions on the detector array ( see  8.2.1.2.1 of the _ spitzer observer s manual _ ) . due to the variations in apparent sensitivity at each position , we elected to treat the series of images at each position as independent data sets .
after we produce a photometric time series for each position , we normalize each time series to a common scale and subsequently combine them to form a single time series , as described below .
we estimate the sky background in each image from a pixel box centered on the star , trimming all pixels more than @xmath35 away from the median value and fitting a gaussian function to the central region of a histogram of the remaining pixels .
we find the average background over the duration of our observations is @xmath36 .
we then subtract this background from each image individually , and fit the remaining flux in a pixel subarray ( which is large enough to encompass the first airy ring ) centered on the approximate position of the star .
we found that varying the size of the subarray we used did not affect the final time series .
we use a mips model point spread function ( psf ) for a 5000  k point source and allow both the @xmath22 and @xmath23 position of the psf as well as a constant scaling factor to vary in our fits .
we correct for the effects of transient hot pixels in our subarray by making a histogram of flux values at a given pixel position over the set of images ( of which there were @xmath37 ) at a given nod position and flag @xmath38 outliers .
we then assign a statistical weight of zero to these values in the fitting process described above ; @xmath39 of our images have one or fewer of these hot pixels .
we discard images with 5 or more hot pixels in the subarray ; there are only 10 of these images in the entire time series .
we note that the m - dwarf companion to hd 189733 , is included within our 10 pixel subarray ; we give zero statistical weight to the values within a 3 @xmath40 3 pixel box centered on the position of the companion in our fits .
we note that the measured background periodically drops by @xmath41 , corresponding to the first image in each bundle of images spanning the sequence of nod positions .
@xcite noted the same feature in their data , and chose to divide the measured flux by the background in order to remove the effect of this drop . this procedure would introduce significant noise in our data , because ( unlike the case of hd  209458 ) our target star has a flux twice the value of the background .
thus we elected to simply discard the 136 images with these low sky backgrounds .
for times later than 1.5 hours after the start of observations , the final time series at each of the 14 nod positions is well - described by a combination of the theoretical eclipse curve and a linear function of time . at earlier times , there appears to be a slight upward trend , possibly corresponding to the detector ramp described in  [ long_norm ] .
we fit the entire time series , but find that clipping this initial segment of the data in our fits changes the final measured eclipse depth by only @xmath42 .
we fit a single eclipse curve and 14 linear functions of time ( one for each of the 14 nod positions ) to the data simultaneously using a markov chain monte carlo method as described in
[ short_norm ] , trimming @xmath35 outliers in our fit . a binned version of the combined time series appears in figures [ eclipse_plot_no_norm ] and [ eclipse_plot_with_norm ] , and we state our estimates of the eclipse depth and its time of center in table  1 .
with the 6 distinct band - integrated flux ratio measurements in hand , we proceeded to compare these values with model predictions .
following barman et al .
( 2005 ) , two model atmospheres for hd  189733b were constructed , one assuming that the absorbed stellar flux is confined to the day side while the other model uniformly distributes the stellar flux over the entire planet .
figure [ modelfig ] compares these models and the best - fit planck curve ( corresponding to a temperature of 1292  k ) to the measured day side secondary eclipse depths .
we refer the reader to barman ( 2008 ) for a more detailed examination of atmospheric models of hd  189733b in light of our data , but we discuss several of the salient points below .
our data show clear deviations from the planck curve .
the greatest discrepancy occurs at 3.6  , for which the planet - to - star contrast ratio is more than twice as great as would be expected from pure blackbody emission .
this emission feature is a prediction that is common to nearly all published theoretical models ( e.g.  barman et al .  2005 ; burrows et al .
2006 ; fortney et al .  2006 ; seager et al .
it arises from a hole in the atmospheric opacities near 4  ; significant absorption from both water and carbon monoxide in adjacent wavelengths regions causes flux to be squeezed out through this wavelength span of relatively low opacity .
furthermore , the data exhibit a clear trough from @xmath43 m , which is consistent with water absorption .
this finding is at odds with the results from grillmair et al .
( 2007 ) , who found that the spectrum of hd  189733b was remarkably flat across the 7.5@xmath4414.7  bandpass and , in particular , that it did not show the downturn at blue wavelengths expected from water absorption . however , the 8.0 and 16 photometric data in figure  3 are themselves only modestly inconsistent with the relatively noisy spectrum from grillmair et al .  ( 2007 ) . it may be that while water is indeed present and seen in absorption at shorter wavelengths , additional spectral features are present in the @xmath45  region that mask the expected absorption due to water .
fortney & marley ( 2007 ) have noted that the grillmair et al .
( 2007 ) result is itself difficult to reconcile with previously published 8.0  photometry ( knutson et al .
2007a ) , since it would require the presence of physically implausible opacity sources .
the presence of water in absorption is in stark contrast to recent findings that water is in emission for hd 209458b ( knutson et al .
2008 ; burrows et al .
2007a ) suggesting fundamental atmospheric differences between these two planets .
several authors ( e.g. fortney et al .  2008 ; burrows et al .
2008 ; see also hubeny et al .
2003 ) have discussed how the atmospheres of hot jupiters might bifurcate into two groups , with the presence or absence of a temperature inversion ( as deduced from the presence or absence of emission features in the spectrum ) arising under different levels of external irradiation . as noted by these authors , a candidate for the physical origin of this inversion
is the presence of gaseous tio and vo in the upper atmospheres of the more strongly irradiated planets .
interestingly , hd  209458b has an equilibrium temperature of @xmath46  k and hence is significantly more strongly illuminated than hd  189733b , which has an equilibrium temperature of only @xmath47  k ( torres et al .
2008 ) . while it is surely too early to state that the presence of a thermal inversion in the atmosphere of hd  209458b and the apparent lack of such an inversion in hd  189733b indeed result from their differing levels of irradiation , the connection is intriguing and worthy of further study . moreover , not only do the overall bolometric irradiances of the two planets different , but the g0v spectral type of hd  209458 ensures a substantially bluer stellar spectral energy distribution than that of the k2v spectral type of hd  189733 .
we speculate that the enhanced short - wavelength irradiation for hd  209458b might generate dramatically different photochemical products and hazes than are present on hd  189733b ( see marley et al .
2007 for a discussion of photochemical hazes on hot jupiters ) . since the presence of hazes and their approximate size distribution may be inferred from transmission spectroscopy ( e.g.pont et al .  2008 ) , we urge future modeling efforts to consider the constraints offered by those studies in conjunction with the emission spectroscopy results we present here . we note that within the solar system , planetary atmospheres exhibit a wide variety of photochemical products and distinct physical mechanisms for temperature inversions , and we should expect no lesser diversity amongst the atmospheres of planets orbiting other stars .    the planets also differ substantially in terms of their physical structure : hd  209458 is larger but less massive than hd  189733 , such that the densities of the two planets , @xmath48 for hd  209458b and @xmath49 for hd  189733 ( torres et al .
2008 ) differ by nearly a factor of 3 .
the larger - than - predicted radii of some , but not all gas - giant exoplanets is one of the greatest conundrums in the field today . many authors have sought to explain the radii of the puffy planets by invoking an additional source in the energy budget of those planets ( e.g. bodenheimer et al .  2003 ; showman & guillot 2002 ; but see burrows et al .
2007b for a dissenting opinion ) .
as the atmosphere is the energy gateway for the planet , it is natural to ponder whether there exists a physical connection between the observed properties of the atmospheres of these planets and the significant differences in their physical structure .
the best avenue for progress on the observational front is to gather data for a planet that represents an extreme member of one of these two classes .
we note that tres-4 ( mandushev et al .
2007 ) has the lowest density ( @xmath50 ) of the known transiting exoplanets , and , with an equilibrium temperature of 1785  k it is also one of the most strongly irradiated .
hence it may be the ideal target with which to confirm or refute this proposed connection .
the @xmath51 m irac observations clearly favor a model that assumes no redistribution of extrinsic energy to the night side ( upper curve in figure  3 ) , which would predict very cold night side temperatures .
this inference is in contradiction to the recent 8 @xmath32 m light curve measurement from knutson et al .
( 2007a ) .
those authors determined that the minimum hemisphere - integrated brightness temperature was @xmath52  k and the maximum hemisphere - integrated brightness temperature was not much larger , @xmath53  k. this relatively modest day - night contrast indicated that the planet was efficiently transporting energy from the day side to the night side .
the essence of the problem is one of energy budgeting : our irac data indicate a very hot dayside , and the knutson et al .
( 2007a ) values indicate a relatively flat phase curve .
if one assumes that the planet exhibits a similar lack of a day - night contrast at all wavelengths , the overall emission will exceed the energy it absorbs even under the most favorable case ( an albedo of 0 ) .
although our 16 and 24  values are in agreement with a model with a small day - night variation ( the lower curve in figure  3 ) , the emission at these long wavelengths represents only a small fraction of the bolometric flux of the planet and thus can not , in itself , alleviate this concern .
a partial reconciliation may be that the degree of energy redistribution is depth - dependent , and hence the emission phase curve of the planet is strongly wavelength dependent , such that the planet radiates relatively little energy from its night side at shorter wavelengths .
a hint of this effect is provided by a recent upper limit on the day side @xmath54-band flux ( barnes et al .
2007 ) implying much cooler atmospheric temperatures across the deeper near - ir photosphere than predicted by the no - redistribution model .
alternately , it could be that the planet possesses an internal energy source and hence , like jupiter , simply radiates more energy than it receives .
one contender for such an energy source is the tidal dissipation of the orbital eccentricity @xmath55 , which is known to be small but not zero ( knutson et al .
however , the predicted dissipation rate ( bodenheimer et al .  2003 ) based on the knutson et al .
( 2007a ) value is far too small to make this a viable explanation . barman ( 2008 )
considers the energy budget of this planet in detail .
an additional constraint on the day / night temperature contrast may come from the recent detection by swain et al .
( 2008a ) of methane ( which , at colder temperatures , becomes the dominant carbon species over co ) in the transmission spectrum of hd  189733b .
while a cool night side would naturally result in a higher methane abundance , we note that non - equilibrium chemistry as recently explored by cooper & showman ( 2006 ) could also lead to a homogenization of the co and methane abundances across the planet .    the estimate of the eclipse depth in the knutson et al .
( 2007a ) 8.0  data was @xmath56% , which is 2.3@xmath26 less deep that the value we present here ( table  1 ) .
this raises the unnerving possibility that the dayside emission from the planet may be varying in time , as discussed by rauscher et al .
( 2007a ) .
this would be both a blessing , in that it would afford us the opportunity to study weather on this planet , and a curse in that it would significantly complicate the interpretation of broadband spectra assembled from measurements across several secondary eclipses .
star spots can not account for this change : although the star displays a well - documented periodic brightness variation due to star spots ( winn et al .
2007a ) , we find upon scaling the variation observed at visible wavelengths to our 8.0  bandpass that star spots would alter the measured eclipse depth by only 0.0013% , a negligible effect .
the observed arrival times of the secondary eclipses provides an exquisite constraint on @xmath57 , where @xmath55 is the orbital eccentricity and @xmath58 is the argument of periastron ( see e.g.  charbonneau 2003 ) . after accounting for light travel time across the system , knutson et al .
( 2007a ) found that the secondary eclipse of hd  189733 occurred @xmath59  s later than the prediction for a circular orbit , indicating a residual orbital eccentricity of at least @xmath60% .
our data are not of sufficient precision to confirm this offset .
we find that in 5 of the 6 bandpasses , the eclipse center occurs at a time that is consistent with the expectation of a circular orbit ( assuming the value of @xmath11 from winn et al .
2007a and the value of @xmath10 from knutson et al .  2007a ; see table  1 ) .
intriguingly , the eclipse at 3.6  was observed to arrive @xmath61  minutes later than expected .
since this offset is chromatic , is surely is nt due to orbital eccentricity , but instead may arise from strong brightness variations across the visible hemisphere of the planet ( williams et al .
2006 ; rauscher et al .
despite the seemingly high significance of this offset , we caution that this band is both the one with the largest instrumental corrections arising from intra - pixel sensitivity variations ( figure  1 ) and the largest residual systematic noise ( figure  2 ) .
nonetheless , it may be that with greater cadence and more photons , one could detect the perturbations at ingress and egress that result from a brightness variation across the dayside hemisphere . by electing to observe in a single band and obviating the need to continually re - point the telescope as was necessary for the current data , one could realize an improvement of more than a factor of 4 in both cadence and total photons .
importantly , such observations could be accomplished during the post - cryogenic phase of the _ spitzer _ mission .
one of the salient features of the population of hot jupiter exoplanets is its diversity .
these objects occupy what might first appear to be a rather limited range of orbital phase space .
however , much hard work over the past 8 years has found 28 such planets that transit , providing precise constraints on their masses and radii .
the scatter in their physical properties is astounding , and has challenged a community of theorists that must , after all , attempt to unify the bestiary . similarly , with our first detailed comparative studies of the atmospheres of these exoplanets , we are once again confronted by the differences amongst objects in seemingly similar environments .
this diversity is both shocking and invigorating to the theoretical enterprise .
we have only one more year to gather observations longward of 4.5 , at which time _ spitzer
_ will exhaust its cryogen and the unique window into the atmospheres of these exoplanets will close .
fortunately , we have learned that much of the key information regarding these atmospheres will be , in principle , contained in the two bandpasses afforded by the post - cryogenic phase of the _ spitzer _ mission .
if it is approved , the _ spitzer _
warm mission will therefore be the pre - eminent tool for investigating the atmospheres of these distant worlds until the launch of _ jwst _ in the middle of the next decade .
this work is based on observations made with the _
spitzer space telescope _ , which is operated by the jet propulsion laboratory , california institute of technology under a contract with nasa .
support for this work was provided by nasa through an award issued by jpl / caltech .
hak was supported by a national science foundation graduate research fellowship .
arribas , s. , gilliland , r.  l. , sparks , w.  b. , lpez - martn , l. , mediavilla , e. , & gmez - alvarez , p.  2006
, , 118 , 21 bakos , g.   . , pl , a. , latham , d.  w. , noyes , r.  w. , & stefanik , r.  p.  2006
, , 641 , l57 barman , t.  s. , hauschildt , p.  h. , & allard , f.  2005 , , 632 , 1132 barman , t.  2007 , , 661 , l191 barman , t.  2008 , , 676 , l61 barnes , j.  r. , barman , t.  s. , prato , l. , segransan , d. , jones , h.  r.  a. , leigh , c.  j. , collier cameron , a. , & pinfield , d.  j.  2007 , , 382 , 473 bodenheimer , p. , laughlin , g. , & lin , d.  n.  c.  2003 , , 592 , 555 bouchy , f. , et al .   2005 , , 444 , l15 bozorgnia , n. , fortney , j.  j. , mccarthy , c. , fischer , d.  a. , & marcy , g.  m.  2006 , , 118 , 1249 burrows , a. , budaj , j. , & hubeny , i.  2008 , , 678 , 1436 burrows , a. , hubeny , i. , budaj , j. , knutson , h.  a. , & charbonneau , d.  2007a , , 668 , l171 burrows , a. , hubeny , i. , budaj , j. , & hubbard , w.  b.  2007b , , 661 , 502 burrows , a. , sudarsky , d. , & hubeny , i.  2006 , , 650 , 1140 burrows , a. , hubeny , i. , & sudarsky , d.  2005 , , 625 , l135 charbonneau , d.  2003 , scientific frontiers in research on extrasolar planets , 294 , 449 charbonneau , d. , noyes , r.  w. , korzennik , s.  g. , nisenson , p. , jha , s. , vogt , s.  s. , & kibrick , r.  i.  1999 , , 522 , l145 charbonneau , d. , brown , t.  m. , noyes , r.  w. , & gilliland , r.  l.  2002 , , 568 , 377 charbonneau , d. , et al .
2005 , , 626 , 523 charbonneau , d. , brown , t.  m. , burrows , a. , & laughlin , g.  2007 , in protostars and planets v , ed .
b.  reipurth , d.  jewitt , & k.  keil ( tucson : univ . of arizona press ) , 701 collier cameron , a. , horne , k. , penny , a. , & leigh , c.  2002 , , 330 , 187 cooper , c.  s. , & showman , a.  p.  2006
, , 649 , 1048 deming , d. , brown , t.  m. , charbonneau , d. , harrington , j. , & richardson , l.  j.  2005a , , 622 , 1149 deming , d. , seager , s. , richardson , l.  j. , & harrington , j.  2005b , , 434 , 740 deming , d. , harrington , j. , seager , s. , & richardson , l.  j.  2006 , , 644 , 560 deming , d. , richardson , l.  j. , & harrington , j.  2007a , , 378 , 148 deming , d. , harrington , j. , laughlin , g. , seager , s. , navarro , s.  b. , bowman , w.  c. , & horning , k.  2007b , , 667 , l199 deming , d. , agol , e. , charbonneau , d. , cowan , n. , knutson , h. , & marengo , m.  2007c , american institute of physics conference series , 943 , 89 demory , b .- o . , et al .
2007 , , 475 , 1125 fazio , g.  g. , et al .
2004 , , 154 , 10 ford , e.  2005 , , 129 , 1706 fortney , j.  j. , marley , m.  s. , lodders , k. , saumon , d. , & freedman , r.  2005 , , 627 , l69 fortney , j.  j. , cooper , c.  s. , showman , a.  p. , marley , m.  s. , & freedman , r.  s.  2006 , , 652 , 746 fortney , j.  j. , & marley , m.  s.  2007 , , 666 , l45 fortney , j.  j. , lodders , k. , marley , m.  s. , & freedman , r.  s.  2008 , , 678 , 1419 grillmair , c.  j. , charbonneau , d. , burrows , a. , armus , l. , stauffer , j. , meadows , v. , van cleve , j. , & levine , d.  2007 , , 658 , l115 harrington , j. , hansen , b.  m. , luszcz , s.  h. , seager , s. , deming , d. , menou , k. , cho , j.  y .- k . , & richardson , l.  j.  2006 , science , 314 , 623 harrington , j. , luszcz , s. , seager , s. , deming , d. , & richardson , l.  j.  2007 , , 447 , 691 houck , j.  r. , et al .
2004 , , 154 , 18 hubeny , i. , burrows , a. , & sudarsky , d.  2003 , , 594 , 1011 knutson , h. a. , et al . 2007a , nature , 447 , 183 knutson , h.  a. , charbonneau , d. , deming , d. , & richardson , l.  j.  2007b , , 119 , 616 knutson , h.  a. , charbonneau , d. , noyes , r.  w. , brown , t.  m. , & gilliland , r.  l.  2007c , , 655 , 564 knutson , h. a. , charbonneau , d. , allen , l. e. , burrows , a. , & megeath , s. t. 2008 , , 673 , 526 leigh , c. , collier cameron , a. , udry , s. , donati , j .- f . , horne , k. , james , d. , & penny , a.   2003a , , 346 , l16 leigh , c. , cameron , a.  c. , horne , k. , penny , a. , & james , d.  2003b , , 344 , 1271 mandel , k. & agol , e. 2002 , , 580 , l171 marley , m.  s. , fortney , j. , seager , s. , & barman , t.  2007 , protostars and planets v , 733 morales - calderon , m. , et al .
2006 , , 653 , 1454 moutou , c. , coustenis , a. , schneider , j. , queloz , d. , & mayor , m.  2003 , , 405 , 341 moutou , c. , coustenis , a. , schneider , j. , st gilles , r. , mayor , m. , queloz , d. , & kaufer , a.   2001 , , 371 , 260 narita , n. , et al .
2005 , , 57 , 471 odonovan , f.  t. , et al .
2007 , , 663 , l37 pont , f. , knutson , h. , gilliland , r.  l. , moutou , c. , & charbonneau , d.  2008 , , 385 , 109 rauscher , e. , menou , k. , cho , j.  y .- k . , seager , s. , & hansen , b.  m.  s.  2007a , , 662 , l115 rauscher , e. , menou , k. , seager , s. , deming , d. , cho , j.  y .- k . , & hansen , b.  m.  s.  2007b , , 664 , 1199 reach , w. t. et al .
2005 , pasp , 117 , 978 redfield , s. , endl , m. , cochran , w.  d. , & koesterke , l.  2008 , , 673 , l87 richardson , l.  j. , deming , d. , & seager , s.  2003a , , 597 , 581 richardson , l.  j. , deming , d. , wiedemann , g. , goukenleuque , c. , steyert , d. , harrington , j. , & esposito , l.  w.  2003b , , 584 , 1053 richardson , l.  j. , deming , d. , horning , k. , seager , s. , & harrington , j.  2007 , , 445 , 892 rieke , g.  h. , et al .
2004 , , 154 , 25 rowe , j.  f. , et al .
2006 , , 646 , 1241 rowe , j.  f. , et al .
2008 , , submitted , astro - ph/0711.4111 seager , s. , richardson , l.  j. , hansen , b.  m.  s. , menou , k. , cho , j.  y .- k . , & deming , d.  2005 , , 632 , 1122 showman , a.  p. , & guillot , t.  2002 , , 385 , 166 snellen , i.  a.  g.  2005 , , 363 , 211 snellen , i.  a.  g. , & covino , e.  2007 , , 375 , 307 swain , m.  r. , vasisht , g. , & tinetti , g.  2008a , , 452 , 329 swain , m.  r. , bouwman , j. , akeson , r.  l. , lawler , s. , & beichman , c.  a.  2008b , , 674 , 482 tinetti , g. , et al .
2007 , , 448 , 169 torres , g. , winn , j.  n. , & holman , m.  j.  2008 , , 677 , 1324 vidal - madjar , a. , lecavelier des etangs , a. , dsert , j .-
m . , ballester , g.  e. , ferlet , r. , hbrard , g. , & mayor , m.  2003 , , 422 , 143 werner , m.  w. , et al .
2004 , , 154 , 1 williams , p.  k.  g. , charbonneau , d. , cooper , c.  s. , showman , a.  p. , & fortney , j.  j.  2006 , , 649 , 1020 winn , j.  n. , suto , y. , turner , e.  l. , narita , n. , frye , b.  l. , aoki , w. , sato , b. , & yamada , t.   2004 , , 56 , 655 winn , j. n. et al . 2007a , , 133 , 1828 winn , j. n. et al . 2007b , , 134 , 1707    lrrrrcrrrrr 3.6 & @xmath62 & @xmath63 & @xmath64 + 4.5 & @xmath65 & @xmath66 & @xmath67 + 5.8 & @xmath68 & @xmath69 & @xmath70 + 8.0 & @xmath71 & @xmath72 & @xmath73 + 16 & @xmath74 & @xmath75 & @xmath76 + 24 & @xmath77 & @xmath78 & @xmath79 +


the uniform sampling of bipartite , directed or undirected graphs ( without self - loops and multiple edges ) with fixed degree sequence has many applications in network science @xcite .
it has proven difficult to generate truly unbiased samples of graphs with fixed degree sequence @xcite . in this paper
we focus on markov chain approaches to this problem , where a graph is randomised by repeatedly making small changes to it .
even though several markov chains have been shown to converge to the uniform distribution on their state space @xcite , the main question for both theoreticians and practitioners remains unanswered : that is , in all but some special cases it is unknown how many changes need to be made , i.e. how many steps the markov chains needs to take , in order to sample from a distribution that is close to uniform .
the best known markov chain approach for sampling graphs with fixed degree sequence is the _ _ switching model _ _ @xcite .
it finds an approximately uniform sample of bipartite graphs , undirected graphs or directed graphs with given vertex degrees , by repeatedly switching the ends of non - adjacent edge pairs .
this simple yet flexible approach converges to the uniform distribution if implemented correctly .
furthermore , this chain was proven as _
fully polynomial almost uniform sampler _ for the following classes of graphs : regular , half - regular and irregular with bounded degrees @xcite .
however , even for these classes of graphs , the theoretically proven mixing time is much too large to use in practice , e.g. @xmath0 for regular graphs with degree @xmath1 @xcite .
notice that the fully polynomial uniform sampler of jerrum et al .
@xcite for perfect matchings can be used to sample all graphs with fixed degree sequence in polynomial time in transforming the fixed degree sequence problem in a perfect matching problem via an approach of tutte @xcite .
however , the theoretical proven mixing times are much too large in practice and furthermore , this approach is more difficult to implement .    in this paper
we analyse and further develop a _
different _ markov chain approach : the curveball algorithm @xcite , which randomises bipartite graphs and directed graphs with self - loops .
experimentally , this chain has been shown to mix much faster than the corresponding switching chain @xcite .
the intuition behind the curveball algorithm mixing faster than the switching model can be understood when thinking of both algorithms as games in which kids trade cards .
that is , think of the curveball algorithm as an algorithm that randomises the binary @xmath2 bi - adjacency matrix of a bipartite graph .
imagine that each row of the adjacency matrix corresponds to a kid , and the @xmath3 s in each row correspond to the cards owned by the kid . then at each step in the curveball algorithm ,
two kids are randomly selected , and trade a number of their differing cards . using this same analogy for the switching model , in each step two cards are randomly selected and traded if firstly they are different and secondly they are owned by different kids .
intuitively , the curveball algorithm is clearly a more efficient approach to randomise the card ownership by the kids .
more formally , the curveball algorithm is also based on switches but instead of making one switch , several switches can be made in a single step . we show that this leads to possibly exponentially many graphs being reached in a single step , in contrast with the switching model where at most @xmath4 ( the maximum number of possible edge pairs ) graphs can be reached in a single step .
several algorithms closely related to the curveball algorithm were discovered independently by verhelst @xcite . in particular , verhelst already made the critical change from switches to trades .
the curveball algorithm is briefly mentioned by verhelst as a variation on his non - uniform sampling algorithms .
however , he prefers a metropolis - hastings approach to obtain uniform samples , since intuitively it mixes faster .
it is unclear if the added complexity of a single trade in this algorithm causes the overall algorithm to run faster .
verhelst furthermore introduces an algorithm similar to the curveball algorithm that fixes the position and number of self - loops , and hence can be used to randomise directed graphs .    here , we propose two extensions of the curveball algorithm : the directed curveball algorithm , which samples directed graphs and the undirected curveball algorithm , which samples graphs .
our proposed algorithm for directed graphs differs from verhelst s algorithm in the way it deals with induced cycle sets @xcite . by introducing these extensions ,
we show that , just like the switching model , the curveball algorithm offers a flexible framework that can be used to randomise several classes of graphs .
furthermore , we propose a modification to the curveball algorithm and the directed curveball algorithm , that further increases the number of states that can be reached in a single step .
we refer to these algorithms as the global curveball algorithm and the global directed curveball algorithm respectively . in the card game analogy
, our modification corresponds to letting _ all _ kids trade cards in pairs _ simultaneously _ instead of letting only one pair of kids trade .
we prove that both extensions of the curveball algorithm , as well as our global directed curveball algorithms , converge to the uniform distribution .
we do so by showing that their markov chains are ergodic ( the underlying state graph is non - bipartite and connected ) and the transition probabilities are symmetric ( see @xcite for an overview on random sampling ) .
our proofs follow the approach in @xcite where the original curveball algorithm was proven to converge to the uniform distribution .
we show experimentally that the introduced curveball algorithms all tend to mix magnitudes faster than the respective switching models . however ,
even though experimentally it is clear that the curveball algorithm outperforms the switching model , we do not have a theoretical justification for this .
in fact , it turns out that the techniques used to prove fast mixing for the switching chain can not be transferred to the curveball algorithm .
hence we present the question of fast mixing for curveball algorithms as an interesting open problem . in our opinion , the curveball algorithm provides a big opportunity and step forward to fast mixing markov chains for the sampling of graphs with fixed degree sequence .
the remainder of this paper is organised as follows .
section [ sec : cb_ext ] first discusses the original curveball algorithm in terms of adjacency lists , it then introduces two extensions of the curveball algorithm : the directed curveball algorithm that randomises directed graphs , and the undirected curveball algorithm that randomises graphs .
furthermore it introduces our modification to the curveball algorithm and directed curveball . in section [ sec : unbiased ] we prove that under mild conditions , all proposed algorithms converge to the uniform distribution . section
[ sec : mixing_times ] presents our experimental results on the run - times of all proposed algorithms .
furthermore we analyse why the proof of rapid mixing for the switching model can not be used for the curveball algorithm .
finally we discuss our conclusions and recommendations for further research in section [ sec : concl ] .
we start with a formal definition . given two lists @xmath5 and
@xmath6 of non - negative integers , the _ realization problem for bipartite fixed degree sequence _ asks whether there is a labeled bipartite graph , @xmath7 , such that all vertices @xmath8 with @xmath9 have degree @xmath10 and all vertices @xmath11 with @xmath12 degree @xmath13 .
analogously , the _ realisation problem for directed fixed degree sequence _ asks for a labeled directed graph for a list @xmath14 , and the _ realisation problem for undirected fixed degree sequence _ for a graph for given list @xmath15 for an overview about these problems see  @xcite .
the corresponding graphs or lists for each problem are called _ realisations _ or _ degree sequences _ , respectively .
the curveball algorithm , as introduced in @xcite , is a markov chain approach to the uniform random sampling of a realisation with bipartite fixed degree sequence .
given one such realization , the curveball algorithm finds others by repeatedly making small changes to the _ adjacency list representation of the bipartite graph . _
the adjacency list representation @xcite of a bipartite graph @xmath16 is a set of lists @xmath17 , one for each vertex @xmath9 .
the list @xmath17 contains the indices @xmath18 corresponding to the neighbours @xmath19 of @xmath20 ( see figure [ fig : adj_lists](a ) ) corresponding to neighbours of the vertex @xmath21 . depending on the degree sequence ,
the curveball algorithm may run faster on this representation . ] . the adjacency list representation of all graphs discussed in this paper are in fact sets of _ sets_. we will therefore from now on refer to this representation as the _ adjacency set representation_.     the adjacency set representations of ( a ) a bipartite graph , ( b ) a digraph , and ( c ) a graph.,width=453 ]    the curveball algorithm randomises the adjacency sets of a bipartite graph using the following steps .
( a ) select two sets @xmath17 and @xmath22 at random .
( b ) let @xmath23 be all indices that are in @xmath17 but not in @xmath22 , i.e. @xmath24 . similarly define @xmath25 .
( c ) create new sets @xmath26 by removing @xmath23 from @xmath17 and adding the same number of elements randomly chosen from @xmath27 .
combine @xmath28 with the remaining elements of @xmath27 to form @xmath29 .
( d ) reiterate step ( a)-(c ) @xmath30 times , for a certain fixed number @xmath30 .
we follow @xcite and refer to one iteration of steps ( a)-(c ) as a _ trade _ and the number of exchanged indices @xmath31 as the _ size of the trade_. notice that trades can be of size zero and such trades correspond to repeating the current state in the markov chain .
furthermore , note that each switch in the switching model for directed graphs equals a trade of size one in the curveball algorithm , as was shown in @xcite
. however , the curveball algorithm in addition allows trades of larger size .
as discussed in @xcite , the curveball algorithm can be used to sample directed graphs with self - loops ( without multiple edges ) with fixed in- and out - degrees .
the adjacency set representation of a digraph with self - loops consists of sets @xmath17 corresponding to out - neighbours of a vertex @xmath20 ( figure [ fig : adj_lists](b ) ) correspond to the in - neighbours of @xmath20 .
depending on the digraph that is being randomised , the curveball algorithm may be more efficient when using the in - neighbour representation . ] .
we now introduce two extensions of the curveball algorithm : the directed curveball algorithm randomises directed graphs for a fixed degree sequence @xmath32 @xmath33 @xmath34 , @xmath35 , @xmath36 , @xmath37 ( realisation problem for directed graphs ) and the undirected curveball algorithm randomises graphs for a fixed degree sequence @xmath38 ( realisation problem for graphs ) @xcite .
the directed curveball algorithm randomises directed graphs by randomising their adjacency set representation . the adjacency set representation of a digraph is the same as that of directed graphs with self - loops , except that it has the property @xmath39 for all @xmath40 , since directed graphs do not contain self - loops . the _ directed curveball algorithm
_ differs from the curveball algorithm in step ( b ) only . in the directed curveball algorithm ,
the set @xmath23 is defined as all elements in @xmath17 not in @xmath22 _ and not equal to @xmath18 _ ,
i.e. @xmath41 . the set @xmath42 is defined analogously by @xmath43 .
this small change ensures no self - loops are introduced while randomising directed graphs .
figure [ fig : simple_cb ] illustrates the directed curveball algorithm .
notice that for the directed curveball algorithm trades can be of size zero and such trades correspond to repeating a state in the markov chain .
the lemma below shows that all switches in the switching model for directed graphs equal trades of size one in the directed curveball algorithm .
but , the directed curveball algorithm in addition allows trades of larger size .
[ lem : subgraph_simple_dir ] any switch in a digraph is a trade of size one in step ( c ) of the directed curveball algorithm .
let @xmath44 and @xmath45 be edges in a digraph @xmath46 that are allowed to be switched
. then @xmath47 can not be equal to @xmath48 and @xmath49 can not be equal to @xmath50 since otherwise this switch would introduce a self - loop .
furthermore @xmath51 and @xmath52 since otherwise the resulting digraph would have multiple edges .
in particular this implies @xmath53 and @xmath54 .
now if row @xmath47 and row @xmath49 are selected for a trade , then @xmath55 and @xmath56 are possible sets in step ( c ) that lead to exactly the two new edges @xmath57 and @xmath58 .
illustration of the directed curveball algorithm . in this example , the vertices @xmath59 and @xmath60 are selected in step ( a ) . in step ( b )
their entries are compared to create the sets @xmath61 and @xmath62 .
notice that 3 is removed from @xmath63 since trading it would introduce a self - loop at vertex @xmath59 . in step ( c )
the new sets @xmath64 and @xmath65 are constructed by randomly redistributing the elements @xmath66 and @xmath67 .
step ( d ) repeats steps ( a)-(c ) @xmath30 times .
the dashed arrow shows the result of the single trade made in steps ( a)-(c).,width=453 ]      the undirected curveball algorithm samples graphs with fixed degree sequence .
the adjacency set representation of a graph @xmath68 is a set of sets @xmath17 .
the set @xmath17 now contains the indices of the neighbours of vertex @xmath20 ( figure [ fig : adj_lists](c ) ) .
the symmetry of a graph is reflected in its adjacency set representation .
that is , @xmath40 is an element of @xmath22 if and only if @xmath18 is also an element of @xmath17 .
furthermore , these sets have the property that @xmath39 for all @xmath40 , since graphs do not contain self - loops .
we introduce the undirected curveball algorithm .
this algorithm randomises the adjacency set representation of a graph while maintaining its symmetry and ensuring no self - loops are introduced .
the undirected curveball algorithm is defined by the following steps .
( a ) randomly select two sets @xmath17 and @xmath22 .
( b ) let @xmath23 be the set of elements in @xmath17 not in @xmath22 and not equal to @xmath18 , i.e. @xmath41 .
analogously define @xmath43 .
( c ) create a new set @xmath26 by removing @xmath23 from @xmath17 and adding the same number of elements randomly chosen from @xmath27 .
combine @xmath28 with the remaining elements of @xmath27 to form @xmath29 .
( c@xmath69 ) for each index @xmath70 , replace @xmath18 by @xmath40 in @xmath71 , similarly for each @xmath72 , replace @xmath40 by @xmath18 in @xmath73 .
( d ) reiterate step ( a)-(c@xmath69 ) @xmath30 times , for a certain fixed number @xmath30 .
figure [ fig : simple_undir_cb ] illustrates the undirected curveball algorithm .    step ( b ) ensures no self - loops are introduced .
step ( c@xmath69 ) is well - defined since @xmath70 implies @xmath74 and @xmath75 .
this in turn implies that @xmath76 and @xmath77 by symmetry of the adjacency sets .
thus we can replace @xmath18 by @xmath40 in @xmath78 to obtain @xmath71 .
similarly @xmath72 implies that @xmath40 is an element of @xmath79 and that @xmath18 is not . and
thus , replacing @xmath40 by @xmath18 in @xmath79 is well - defined .
step ( c@xmath69 ) thus ensures that @xmath80 represents a graph .
illustration of the undirected curveball algorithm . in this example
the sets @xmath81 and @xmath82 are selected in step ( a ) . in step ( b ) their entries are compared to create the sets @xmath83 and @xmath84 . in step ( c )
the new sets @xmath85 and @xmath64 are constructed by randomly redistributing the elements @xmath3 and @xmath86 .
step ( c ) updates the sets corresponding to indices involved in the trade . in this case
we need to update @xmath87 by removing @xmath88 and inserting @xmath89 , conversely @xmath90 .
step ( d ) repeats steps ( a)-(c ) @xmath30 times .
the dashed arrow shows the result of the single trade illustrated by steps ( a)-(c).,width=453 ]    notice that the undirected curveball algorithm includes trades of size zero which correspond to repeating the current state in the markov chain .
furthermore , lemma [ lem : switch_equals_trade_undir ] shows that any switch in the switching model for graphs corresponds to a trade of size one in the undirected curveball algorithm .
in fact , figure [ fig : undircb ] shows that for each switch in the switching model , there are two different trades of size one in the undirected curveball algorithm .
[ lem : switch_equals_trade_undir ] let @xmath91 be graphs that differ by a switch .
there are two trades of size one in the undirected curveball algorithm from @xmath46 to @xmath92 .    without loss of generality
we may assume that @xmath46 and @xmath92 differ by a switch from @xmath93 and @xmath94 to @xmath95 and @xmath96 ( see figure [ fig : undircb ] ) .
let @xmath97 be the adjacency set representation of @xmath46 , then @xmath53 since the edge @xmath93 is an edge of @xmath46 , the edge @xmath96 is not and @xmath50 can not be equal to @xmath49 since @xmath98 and @xmath92 has no self - loops .
similarly we find that @xmath54 and hence the trade that swaps @xmath50 and @xmath48 between rows @xmath47 and @xmath49 results in the graph @xmath92 .
similarly , there is a second trade which generates @xmath92 , namely the trade that exchanges @xmath47 and @xmath49 between sets @xmath99 and @xmath100 .
a switch corresponds to a trade of size one in the undirected curveball algorithm . notice that each switch can be realized by two distinct trades : the switch from @xmath93 and @xmath94 to @xmath95 and @xmath96 can be realized by selecting @xmath101 and @xmath102 or by selecting @xmath99 and @xmath100 .
, width=453 ]    analogous to the other versions of the curveball algorithm , the undirected curveball algorithm in addition allows trades of larger size , corresponding to making several switches at once .
we now introduce the global curveball algorithm and the global directed curveball algorithm as a modification of the curveball algorithm and the directed curveball algorithm respectively .
the number of graphs that can be reached by a single step in the markov chain of these _ global _ curveball algorithms is even higher than for the regular curveball algorithms .
this modification is motivated by our desire to improve the curveball algorithm in situations where it can reach the exact same number of graphs as the switching model .
this happens for instance when a biadjacency matrix represents a perfect matching , i.e. row and column sums are one . in this case
, each trade has at most size one , and hence corresponds to either a switch or a repeated state .    as explained in the introduction , instead of attempting trades between two sets ( kids ) in the adjacency set representation , the global algorithms allow each of the sets to trade in pairs .
more formally , the global curveball algorithm and the global directed curveball algorithm are defined as follows .
we replace step ( a ) in the curveball algorithm and directed curveball algorithm by the following step : for all lists @xmath103 choose uniformly at random a 2-partition @xmath104 , @xmath105 , @xmath106 , @xmath107 for even @xmath108 , or , @xmath109 , @xmath105 , @xmath106 , @xmath110 , @xmath111 for odd @xmath108 . for each pair @xmath112 apply steps ( b)-(c ) .
step ( d ) again reiterates steps ( a)-(c ) @xmath30 times .
we refer to one iteration of steps ( a)-(c ) as a _ global trade _ in analogy to the term trade for the curveball algorithm . in the appendix we present algorithm  [ algorithmtwopartition ] for determining a uniform @xmath88-partition in @xmath113 asymptotic runtime .
in our example of a perfect matching above , the global curveball algorithm has an exponential number of possible transitions for each realisation : each pair of the @xmath114 possible partitions allows @xmath115 different global trades , since all @xmath116 adjacency list pairs allow two trades ( a switch or a trade of size zero ) .
this exponential number of possible transitions is in contrast to only a quadratic number of transitions in the curveball algorithm : each transition corresponding to a single switch for each of the @xmath117 possible adjacency list pairs .
a similar modification to the undirected curveball algorithm is not possible .
a trade between two sets affects additional sets in step ( @xmath118 ) , and hence a trade between a pair of sets is not independent of trades between other pairs of sets .
a markov chain can be seen as a _ random walk _
@xcite on a set @xmath119 of combinatorial objects , the so - called _ states_. two states @xmath120 are connected via a transition edge @xmath121 , when @xmath47 can be transformed into @xmath50 via a small local change . for the switching chain
such a ` local change ' corresponds to a switch , and in the curveball algorithms to one trade . for both algorithms , the states of @xmath119
are all realisations of a fixed degree sequence .
this definition induces a so - called directed _ state graph _ @xmath122 , representing the states and how they are connected by local changes . a step from @xmath47 to @xmath50 in a random walk
is done with _ transition probability _
@xmath123    in @xcite
the curveball algorithm was proven to converge to the uniform distribution by applying the fundamental theorem for markov chains ( see for example @xcite ) .
[ thm : mc_stationary ] a finite markov chain converges to its unique stationary distribution if its state graph @xmath122 is connected and non - bipartite .
if there exists a probability distribution @xmath124 $ ] such that the detailed balanced equations , @xmath125 , are satisfied for all @xmath126 then @xmath127 is the unique stationary distribution .    markov chains which fulfill these properties are called _
ergodic_. this theorem implies that an ergodic markov chain converges to the uniform distribution if @xmath128 for all @xmath120 .
we now derive the conditions for which the directed curveball algorithm , the undirected curveball algorithm , the global curveball algorithm , and the global directed curveball algorithm converge to the uniform distribution on their respective state spaces , i.e. the set of all possible solutions of the realisation problem .
we start by deriving the transition probabilities of the directed curveball algorithm .
[ lem : subgraph_simple_dir ] let @xmath129 and @xmath80 be two adjacency set representations of directed graphs with equal degree sequence .
the transition probability @xmath130 from @xmath129 to @xmath80 , in the directed curveball algorithm , is given by @xmath131 where @xmath132 and @xmath133 .
hence , @xmath134 for all @xmath135 .
the probability of transitioning from a state @xmath129 to another state @xmath80 that differs in a trade between sets @xmath17 and @xmath22 can be found as follows .
the probability of selecting set @xmath17 and set @xmath22 equals the inverse of the number of pairs of sets in the adjacency set representation , i.e. @xmath136 , where @xmath108 equals the number of sets .
the probability that shuffling @xmath27 results in state @xmath80 equals the inverse of the number of ways you can select @xmath137 unordered elements from the set @xmath27 in step ( c ) of the algorithm .
this probability equals @xmath138 since @xmath139 .    to show that the probabilities @xmath130 and @xmath140 are equal for all adjacency sets @xmath129 and @xmath80 we only need to show that this is true in the non - trivial case when the adjacency sets differ exactly in two sets , say @xmath17 and @xmath22 . @xmath141 equals @xmath142 , and @xmath143 equals @xmath144 since trades do not add or remove elements .
we find @xmath145 since @xmath146 , and @xmath147 .
similarly @xmath148 , and indeed we find @xmath134 .
we next discuss irreducibility of the directed curveball algorithm .
notice that lemma [ lem : subgraph_simple_dir ] implies that the state graph of the switching model for simple directed graphs is a subgraph of the state graph of the directed curveball algorithm because each switch is a trade of size one .
hence , since both markov chains have the same state space , whenever the switching model for directed graphs has irreducible markov chain then so does the markov chain of the directed curveball algorithm .
this leads to the following theorem .
[ thm : concergence_directed_notconnected ] if the state graph corresponding to the switching chain for directed fixed degree sequences is connected , then the markov chain of the directed curveball chain converges to its stationary distribution , which is the uniform distribution . on the other hand ,
if the markov chain of the switching model is not connected , then applying the curveball algorithm to any component converges to the uniform distribution on all states in this component .
the state graph of the switching model with respect to directed graphs is a subgraph of the state graph of the directed curveball algorithm ( lemma [ lem : subgraph_simple_dir ] ) .
hence , a connected state graph of the switching chain implies a connected state graph of the directed curveball chain .
the state graph of the directed curveball chain is always non - bipartite , since there is a non - zero transition probability @xmath149 of repeating each state @xmath129 in step ( c ) , due to trades of size zero .
finally @xmath134 for all states @xmath129 and @xmath80 ( see lemma [ lem : subgraph_simple_dir ] ) .
hence convergence to the uniform distribution follows from theorem [ thm : mc_stationary ] .
it is well - known that the switching model for directed graphs can have a reducible markov chain @xcite .
the simplest example being a directed cycle on three vertices , its opposite orientation can not be achieved by switches , since no switch is possible without introducing self - loops .
we know of two approaches to mitigate this problem for switching chains : one is to introduce an additional move which reorients directed cycles of length three ( hexagonal move in @xcite ) .
this is the approach taken in @xcite to sample directed graphs .
however , we follow a second approach that uses a pre - sampling step @xcite . we prefer this approach because the corresponding markov chain runs on a ( potentially much ) smaller state graph compared with the triangle reorientation chain and hence should be faster .
furthermore , this approach is much easier to transfer to the directed curveball algorithm .    to discuss this approach
we need the definition of _ induced cycle sets _
@xcite for a directed graph sequence @xmath150 .
an induced cycle set consists of three indices , @xmath151 , @xmath152 and @xmath153 , for pairs in @xmath150 such that the vertices @xmath154 form a directed cycle in _ each _ directed graph realisation of @xmath150 .
let @xmath155 be the state graph of the switching model for directed graphs with fixed degree sequence @xmath150 .
berger et al @xcite prove that @xmath155 is non - connected if and only if @xmath150 contains an _ induced cycle set_. in fact , they prove that if @xmath150 contains @xmath156 induced cycle sets , then @xmath155 consists of @xmath157 isomorphic components where each component corresponds to a specific orientation for all @xmath156 cycles .
hence , instead of introducing a triangle reorientation , berger et al . @xcite choose one of the isomorphic components uniformly at random prior to running the switching model on this component .
notice that they also show that all induced cycle sets are disjunctive , i.e. at most @xmath158 such cycle sets are possible .
the state graph of the directed curveball algorithm decomposes in @xmath157 isomorphic components , where @xmath159 is the number of induced cycle sets .
if it is not connected @xmath160 , then applying the directed curveball algorithm on any component leads to the uniform distribution of all states in this component .
the state graph for the directed curveball decomposes in at most @xmath157 isomorphic components because the state graph of the switching chain for directed sequences is a subgraph ( lemma  [ lem : subgraph_simple_dir ] ) of the state graph of the directed curveball algorithm , and the state graph of the switching chain decomposes in @xmath157 isomorphic components @xcite .
all these components contain realisations which only differ in the orientation of triangles of induced cycle sets .
the directed curveball algorithm basically applies switches , and is not able to change these triangles .
hence , the state graph of the directed curveball chain has exactly @xmath157 components , consisting of exactly the same states as the components of the switching chain state graph
. therefore trades must be identical in each component leading to isomorphic components . using the non - bipartitness of each component ( proof of theorem  [ thm : concergence_directed_notconnected ] ) and @xmath161 with lemma  [ lem : subgraph_simple_dir ]
, it follows with theorem  [ thm : mc_stationary ] that the directed curveball algorithm on a component converges to the uniform distribution on all states in the component .
this theorem implies that choosing one component uniformly at random and applying the directed curveball algorithm on this component leads to a uniform distribution of all states .
hence , we propose the following adjusted directed curveball algorithm for a directed graph @xmath46 with degree sequence @xmath150 : ( 1 ) identify all @xmath156 induced cycle sets in @xmath150 .
( 2 ) choose a random orientation for each induced cycle set in @xmath46 , leading to a realisation @xmath92 of @xmath150 .
( 3 ) use the directed curveball algorithm starting with @xmath92 .
let @xmath46 be a directed graph with directed graph sequence @xmath150 .
the adjusted directed curveball algorithm converges to the uniform distribution on all directed graph realisations of @xmath150 .
we now propose a linear - time algorithm for the identification of all induced cycle sets in ( 1 ) of the adjusted directed curveball algorithm .
this approach follows a result of lamar  @xcite , which we write in a different form and simplify .
first we give a classical definition of _ corrected ferrers matrices _ for a degree sequence @xmath162 , @xmath106 , @xmath163 in non - increasing lexicographical order . a corresponding @xmath164 _
ferrers matrix _
@xmath165 is a matrix with row sums @xmath166 .
each row consists of consecutive @xmath3 s followed by consecutive @xmath167 s with the exception that the diagonal elements @xmath168 are always @xmath169 this leads to column sums @xmath170 of @xmath171 the classical result of chen - fulkerson - ryser states that @xmath150 has a realisation if and only if @xmath172 for all @xmath173 for a comprehensive discussion we recommend the paper of berger @xcite .
we define @xmath174 as the function with @xmath175 for @xmath176 and @xmath177 in all other cases .
lamar  @xcite stated the following result .
[ theoremlamar ] let @xmath178 be a lexicographical non - increasing degree sequence with a directed graph as realisation , and @xmath170 the column sums of its corrected ferrers matrix .
+ let @xmath179 be a permutation of @xmath150 which was generated by exchanging the component order in all pairs and sorting it in non - increasing lexicographical order .
let @xmath180 the column sums of its corrected ferrers matrix .
+ indices @xmath181 form an induced cycle set in @xmath150 if and only if    1 .
@xmath182 2 .
@xmath183 3 .
@xmath184 for @xmath185 4 .
@xmath186 for @xmath187    we state a simpler version of this theorem which is based on the observation that items ( 2 ) and ( 4 ) follow directly from items ( 1 ) and ( 3 ) .
thmtheoreminducedcycles [ theoreminducedcycles ] let @xmath178 be a lexicographical non - increasing degree sequence with a directed graph as realisation , and @xmath170 the columnn sums of its corrected ferrers matrix
. indices @xmath181 form in @xmath150 an induced cycle set if and only if    1 .
@xmath182 2 .
@xmath188 for @xmath185    the proof is given in the appendix .
this results in the following algorithm for detecting all induced cycle sets in linear time ( which was also the case for lamar s theorem  [ theoremlamar ] ) .
( 1 ) sort @xmath150 in non - increasing lexicographical order , ( 2 ) determine the set @xmath189 of all triples @xmath190 fulfilling ( 1 ) in theorem  [ theoreminducedcycles ] , ( 3 ) construct the corresponding ferrers matrix for @xmath150 , and ( 4 ) determine @xmath191 for @xmath173 if @xmath192 for triple @xmath193 then @xmath194 is an induced cycle set .
step ( 1),(2),(4 ) can be done in @xmath113 time .
the construction of the ferrers matrix needs @xmath195 time where @xmath196 denotes the number of @xmath3 s in the matrix . in summary
this algorithm leads to an asymptotic linear time .
we now discuss the conditions under which the undirected curveball algorithm converges to the uniform distribution .
we start by deriving its transition probabilities .
[ lem : undir_cb_trans_prob ] let @xmath129 and @xmath80 be two adjacency set representations of graphs with equal degree sequence .
the transition probability @xmath130 from @xmath129 to @xmath80 , in the undirected curveball algorithm , is given by @xmath197 with @xmath132 , @xmath133 , @xmath198 and @xmath199 .
in particular , @xmath134 for all states @xmath135 .
when the adjacency sets @xmath129 and @xmath80 differ by a trade of size one between sets @xmath17 and @xmath22 involving indices @xmath156 and @xmath200 , then they also differ by a trade of size one between sets @xmath78 and @xmath79 involving indices @xmath40 and @xmath18 ( see lemma [ lem : switch_equals_trade_undir ] ) .
hence , we need to add the probabilities of selecting either one of these trades .
when @xmath129 and @xmath80 differ in trade of size larger than one , there is a unique pair of sets that corresponds to this trade , hence we find the usual transition probability .    to see that @xmath134 , observe that just like in the directed curveball algorithm , a trade between sets @xmath17 and @xmath22 to form @xmath26 and @xmath29 implies that @xmath201 and @xmath202 since trades leave common elements invariant and do not alter the number of elements in eachs set .    for any graph @xmath46
, the markov chain of the undirected curveball algorithm starting at @xmath46 converges to the uniform distribution on all graphs with the same degree sequences as @xmath46 .
the state graph of the switching chain for graphs with fixed degree sequence is a subgraph of the state graph of the undirected curveball algorithm on the same states ( lemma  [ lem : switch_equals_trade_undir ] ) .
the state graph of the switching model was shown to be connected in @xcite which implies the connectance of the state graph of the undirected curveball algorithm .
the state graph of the undirected curveball algorithm is always non - bipartite , since there is a non - zero probability of repeating each state , due to trades of size zero .
finally @xmath134 , see lemma [ lem : undir_cb_trans_prob ] . hence by theorem [ thm : mc_stationary ] the undirected curveball algorithm converges to the uniform distribution on its state space .
we start by deriving the transition probabilities for the global curveball algorithm of subsection  [ sec : modified_curveball ] .
first we calculate the number of possible global trades for _ one _ @xmath88-partition @xmath203 , and develop the number of possible transitions for _ all _ @xmath88-partitions .
this value will be taken as a basis for calculating the transition probabilities . in the following
we denote by _ even partition _ of a set @xmath204 a @xmath88-partition @xmath205 , and by _ odd partition _ @xmath206 .
[ lem : number_global_trade ] let @xmath129 be the adjacency set representations of a bipartite graph with degree sequence @xmath150 , and @xmath203 be a @xmath88-partition of @xmath207 with @xmath208 for even @xmath108 , and @xmath209 for odd @xmath108 .
the number @xmath210 of global trades for @xmath203 in the global curveball chain is @xmath211 with @xmath212 and @xmath213 .
the number of global trades for one partition @xmath203 in the global curveball algorithm is the product of the number of trades for each of the randomly chosen pairs @xmath214 , since trades for these pairs are applied independently .
the number of trades for each pair of rows is the same as that in the original curveball algorithm .
this number was derived in @xcite and our result now follows .
we now discuss an example that shows that two different @xmath88-partitions and corresponding global trades may result in the same change in the adjacency set representation .
let @xmath129 be the following adjacency set representation of a digraph with self - loops : @xmath215 $ ] , @xmath216 $ ] , @xmath217 $ ] and @xmath218 $ ] .
consider the following two different @xmath88-partitions @xmath219 and @xmath220 .
it is easy to see that the set of global trades for both partitions is exactly the same .
this example leads us to derive the transition probabilities of the global curveball algorithm as follows .
lemmamodifiedcurveballtransition [ lem : modified_curveball_transitions ] let @xmath129 and @xmath80 be two adjacency set representations of bipartite graphs with equal degree sequence , and @xmath221 the set of all @xmath88-partitions of @xmath207 .
the transition probability @xmath130 from @xmath129 to @xmath80 , in the global curveball algorithms , is given by @xmath222 where @xmath210 is the number of global trades for one partition @xmath203 in lemma  [ lem : number_global_trade ] .
the number of @xmath88-partitions @xmath223 is given by @xmath224 for even partitions , and by @xmath225 for odd partitions .
in particular , @xmath134 for all @xmath135 .
we prove the result for the bipartite and directed case simultaneously .
each partition in @xmath221 corresponds to at most one global trade ( see lemma  [ lem : number_global_trade ] ) between @xmath129 and @xmath80 .
the probability of selecting a partition that corresponds to a global trade between @xmath129 and @xmath80 equals @xmath226 . for each of these partitions , @xmath203 ,
the probability of selecting the corresponding global trade between @xmath129 and @xmath80 equals @xmath227 .
we derive the number of @xmath88-partitions @xmath223 in the appendix .    using the same arguments as in proof of lemma  [ lem : subgraph_simple_dir ] we get @xmath134 for all @xmath135 because @xmath227 is the probability of @xmath116 independent trades in the directed curveball algorithms .    recalling that global trades correspond to a number of independent trades in the curveball algorithm it follows that the state graph of the directed version of the global curveball algorithm decomposes in @xmath157 isomorphic components whenever induced cycle sets are contained in degree sequence @xmath228 all results from subsection  [ sec : unbiased_simple ] can be applied analogously leading to an _ adjusted version of the global directed algorithm _ which samples uniform at random one isomorphic component and uses global trades to sample within this isomorphic component uniformly at random .
we do not repeat all details from subsection  [ sec : unbiased_simple ] .
instead we state the following theorem .    [
thm : concergence_directed_modified ] if the state graph corresponding to the switching chain for directed fixed degree sequences is connected , then the markov chain of the global directed curveball chain converges to its stationary distribution , which is the uniform distribution . on the other hand ,
if the markov chain of the switching model is not connected , then applying the global directed curveball algorithm to any component converges to the uniform distribution on all states in this component .
the most important question for practitioners as well as theoreticians is how many steps the ( global ) curveball algorithms have to run from an initial probability distribution ( where an initial state is taken from ) to sample from a probability distribution which is close to the uniform distribution .
this number is defined as the _ total mixing time _ ,
i.e. the number @xmath30 of reiteration steps in the curveball algorithms .
the curveball algorithm has experimentally been shown to run much faster than the switching algorithm @xcite .
although we do not know if the total mixing time of the curveball algorithm is smaller than that of the switching model , we show that all of our proposed curveball algorithms ( see section [ sec : cb_ext ] ) tend to run faster in experiments than the respective switching models .      to establish the run - time of a markov chain we need to know both its mixing time , that is the approximate number of steps needed to reach its stationary distribution , and its step run - time , i.e. the the average time it takes to execute a single step in the chain .
all algorithms were implemented in the r programming language and are publicly available @xcite .
the perturbation scores @xcite between directed graphs in the markov chain and the original directed graph provides a dissimilarity measure .
we use the point where this perturbation score stabilizes as an estimate for the mixing time of the markov chains .
figure [ fig : cb_converge_directed](a ) indicates that the directed curveball algorithm mixes in fewer steps than the switching model : the perturbation score stabilizes much faster .
furthermore figure [ fig : cb_converge_directed](b ) shows that the steps in the directed curveball algorithm take much less time to run than those in the switching model .
( a)the perturbation score at each step in the directed curveball algorithm ( solid ) and the switching model with respect to simple directed networks ( dashed ) as compared to the initial network .
we randomise five erds - rnyi random networks @xmath229 with different edge densities @xmath230 .
the perturbation score stabilizes much earlier for the directed curveball algorithm than for the switching algorithm .
( b)the time in seconds , that it takes to run 1000 steps in the directed curveball algorithm and the switching model.,width=453 ]    we found similar results for the undirected curveball algorithm and the corresponding switching model , as shown in figure [ fig : cb_converge_undirected ] .
our experiments indicate an improvement in speed both in terms of the mixing time and the step run - time .
the improved step run - time of the curveball algorithm might be due to the use of the adjacency set representation of networks , as this is an efficient method for storing networks @xcite .
( a)the perturbation score at each step in the undirected curveball algorithm ( solid ) and the switching model with respect to undirected networks ( dashed ) as compared to an initial network .
we randomise five erds - rnyi random networks @xmath229 with different @xmath230 .
( b)the time in seconds , that it takes to run 1000 steps in the undirected curveball algorithm and the switching model.,width=453 ]      even though there is experimental evidence that the mixing time of the curveball algorithms is much faster than that of switching models , there is currently no theoretical proof .
there are few theoretical results about the rapid mixing of the switching model .
for the special case of regular and semi - regular networks @xcite , the polynomial upper bound for the mixing time was found using a multi - commodity flow argument @xcite .
these proofs rely on defining a special class of paths between all states in the state graph .
paths are chosen in such a way that the load on each edge ( the number of paths it takes part in ) is relatively small .
the mixing time can then be bounded from above in terms of a product of these edge loads and the inverse of their transition probabilities .    unfortunately the multi - commodity flow method can not be used to prove rapid mixing for the curveball algorithm
. the same class of paths could be used , but the argument breaks down when estimating the transition probabilities .
the reason for this is that the transition probabilities in the curveball algorithm can be exponentially small with respect to the number of vertices @xmath108 in a network , leading to an exponential factor in the upper bound .
we do not believe that the small transition probabilities are an _ actual _ obstruction to fast mixing of the curveball algorithms , since each state also has a corresponding exponential number of neighbouring states .
the fastest mixing markov chain on @xmath30 states has the complete graph as its state graph , with all transition probabilities equal to @xmath231 . with an exponentially large state space ,
these probabilities are also exponentially small .
intuitively , the curveball algorithm is much closer to this optimal situation than the switching method .
it appears that an altogether different method is needed to find a theoretical upper bound for the mixing time of the curveball algorithm .
this is a difficult , but important open problem .
the curveball algorithm seems to be a step in the right direction for the fast generation of random directed networks .
in this paper we introduced two extensions of the curveball algorithm : the directed curveball algorithm and the undirected curveball algorithm .
these algorithms were developed to randomise undirected and simple directed networks while fixing their degree sequence .
it is important for random network models to sample without bias .
we proved that both the directed curveball algorithm and the undirected curveball algorithm converge to the uniform distribution .
furthermore , experimental evidence shows that they do so much faster than the well - known switching models .
we recommend the use of these models over that of the switching model , especially for large networks .
we pointed out why current techniques can not be used for formal proof of rapid mixing of the curveball algorithm . developing new techniques and proving rapid mixing is an interesting open problem .
10    https://github.com/queenbne/curveball .
https://github.com/queenbne/switchingmodelfamily .
y.  artzy - randrup and l.  stone .
generating uniformly distributed random networks .
, 72:056708 , 2005 .
a.  berger .
the connection between the number of realizations for degree sequences and majorization . ,
a.  berger . a note on the characterization of digraphic sequences .
, 314:38  41 , 2014 .
a.  berger and m.  mller - hannemann .
uniform sampling of digraphs with a fixed degree sequence . in _ proceedings of the 36th international conference on graph - theoretic concepts in computer science _ , pages 220231 .
springer - verlag , 2010 .
full version available as preprint in arxiv:0912.0685v3 .
c.  j. carstens . a uniform random graph model for directed acyclic networks and its effect on motif - finding .
, 2:419430 , 2014 .    c.  j. carstens .
proof of uniform sampling of binary matrices with fixed row sums and column sums for the fast curveball algorithm .
, 91:042812 , 2015 .    c.  cooper , m.  dyer , and c.  greenhill .
corrigendum : sampling regular graphs and a peer - to - peer networks . , 2012 .    r.  b. eggleton and d.  a. holton .
simple and multigraphic realizations of degree sequences . in _ combinatorial mathematics viii _ , pages 155172 .
springer berlin heidelberg , 1981 .
l. erds , i.  mikls , and l.  soukup . towards random uniform sampling of bipartite graphs with given degree sequence . , 2010 .
p.  l. erds , i.  mikls , and z.  toroczkai .
new classes of degree sequences with fast mixing swap markov chain sampling . , abs/1601.08224 , 2016 .
nj  gotelli and gl  entsminger .
ecosim : null models software for ecology .
version 7 . acquired intelligence inc . & kesey - bear .
jericho , vt 05465 , 2009 .
c.  greenhill .
a polynomial bound on the mixing time of a markov chain for sampling regular directed graphs . , 18(1):p234 , 2011 .    c.  greenhill .
the switch markov chain for sampling irregular graphs : extended abstract . in _ proceedings of the twenty - sixth annual acm - siam symposium on discrete algorithms _ , pages 15641572 , 2015 .
m.  jerrum . .
birkhuser verlag , basel , switzerland , 2003 .
m.  jerrum and a.  sinclair .
approximating the permanent .
, 18(6):11491178 , 1989 .
m.  jerrum , a.  sinclair , and e.  vigoda .
a polynomial - time approximation algorithm for the permanent of a matrix with nonnegative entries .
, 51:671697 , 2004 .
d.  jungnickel . .
springer verlag , heidelberg , 1999 .
r.  kannan .
markov chains and polynomial time algorithms . in _ foundations of computer science , 1994 proceedings .
, 35th annual symposium on _ , pages 656671 , 1994 .
o.  d. king
. comment on `` subgraphs in random networks '' .
, 70(5):058101 , 2004 .    donald  e. knuth . .
addison wesley longman publishing co. , inc . , redwood city , ca , usa , 1998 .
m.  d. lamar .
on uniform sampling simple directed graph realizations of degree sequences .
, abs/0912.3834 , 2009 .
d.  a. levin , y.  peres , and e.  l. wilmer . .
american mathematical society , providence , rhode island , 2009 .
l.  lovsz .
random walks on graphs : a survey . in _
combinatorics , paul erds is eighty _ , volume  2 , pages 353397 .
jnos bolyai mathematical society , 1996 .
s.  maslov and k.  sneppen .
specificity and stability in topology of protein networks .
, 296:910913 , 2002 .
i.  mikls , p.  l. erds , and l.  soukup . towards random uniform sampling of bipartite graphs with given degree sequence .
, 20(1):p16 , 2013 .
i.  mikls and j.  podani .
randomization of presence - absence matrices : comments and new algorithms .
, 85:8692 , 2004 .
m.  molloy and b.  reed .
a critical point for random graphs with a given degree sequence .
, 6(2 - 3):161180 , 1995 .
m.  e.  j. newman . .
oxford university press , 2010 .
m.  e.  j. newman , s.  h. strogatz , and d.  j. watts .
random graphs with arbitrary degree distributions and their applications . , 64(2):026118 , 2001 .
a.  r. rao , r.  jana , and s.  bandyopadhyay .
a markov chain monte carlo method for generating random ( 0 , 1)-matrices with given marginals .
58:225242 , 1996 .    h.  j. ryser .
combinatorial properties of matrices of zeros and ones .
, 9:371377 , 1957 .    a.  sinclair and m.  jerrum .
approximate counting , uniform generation and rapidly mixing markov chains .
, 82(1):93133 , 1989 .
g.  strona , d.  nappo , f.  boccacci , s.  fattorini , and j.  san - miguel - ayanz . a fast and unbiased procedure to randomize ecological binary matrices with fixed row and column totals .
, 5:4114 , 2014 .
r.  taylor . , chapter constrained switchings in graphs , pages 314336 .
springer berlin heidelberg , berlin , heidelberg , 1981 .
the factors of graphs . , ( 4):314328 , 1952 .    n.  d. verhelst .
an efficient mcmc algorithm to sample binary matrices with fixed marginals .
, 73(4):705728 , 2008 .
in the following we give an algorithm for computing a @xmath88-partition @xmath203 of a set @xmath207 uniformly at random .
the basic idea is that there is always a pair of integers in each partition containing the minimum number of a set @xmath232 the algorithm creates one pair with this number @xmath40 and chooses the partner @xmath18 randomly from @xmath233 it remains to find a @xmath88-partition of a set @xmath234 which does nt contain @xmath40 and @xmath235    set @xmath204 .
uniform sampled @xmath88-partition @xmath205 of @xmath234 ( for even @xmath108 ) .
uniform sampled @xmath88-partition @xmath236 ( for odd @xmath108 ) .
initialize @xmath237 choose @xmath238 at random and set @xmath239 and @xmath240 .
choose the smallest number @xmath40 in @xmath234 .
choose a random element @xmath18 in @xmath241 @xmath242 @xmath243    the while - loop in step ( 5 ) will be used at most @xmath116 times . a careful implementation with @xmath234 as an initial increasing array of numbers @xmath244 requires for step ( 6 ) and deleting @xmath40 in ( 9 ) , @xmath245 time , for step ( 7 ) @xmath245 time to choose @xmath18 @xcite and to delete it in ( 9 ) .
this leads to @xmath113 time .
we show that conditions 1 . ) and 2 . )
imply that @xmath181 is an induced cycle set .
for this we give an interpretation of 2 . ) . a well - known classical connection using the principle of double - counting
gives for the ferrers sequence @xmath170 , @xmath246 .
let us now consider an arbitrary adjacency matrix @xmath129 for a directed graph with degree sequence @xmath228 condition 2 . ) with @xmath247 states that all @xmath3 s of the first @xmath248 columns of @xmath129 equal the number of the @xmath3 s in the first @xmath248 columns of its ferrers matrix .
the same can be find for the first @xmath249 columns when considering @xmath250 in 2 . ) .
for @xmath251 , @xmath252 , and @xmath250 it states that @xmath129 contains in the @xmath40th column one more @xmath3 than @xmath165 , in the @xmath253th column the same number , and in the @xmath249nd column one @xmath3 less . more formally ,
condition 2 . )
states for matrix @xmath129 a ) for each @xmath254 all @xmath255 @xmath3 s of row @xmath18 are contained in the first @xmath248 columns , b ) for each @xmath256 ( i.e. the induced cycle set ) we have in rows @xmath18
@xmath3 s in the first @xmath248 columns and a @xmath3 in one of the columns @xmath40 , @xmath253 and @xmath249 for rows @xmath40 , @xmath253 and @xmath253 .
furthermore , it states c ) that all others @xmath257 , and that all corresponding rows possess @xmath3 s in their first @xmath249 columns with the exception of the diagonal element .
+ let us now assume 1 . ) and 2 . )
are fulfilled but @xmath181 is not an induced cycle set .
then it exists a realisation @xmath46 with adjacency matrix @xmath80 such that @xmath181 is an induced cycle in @xmath46 which can be destroyed by a switch in either deleting an arc or adding an additional arc .
we consider the case that @xmath258 can be switched .
all other cases can be treated analogously .
then there exists another switching arc @xmath259 such that @xmath260 are non - arcs , and all vertices @xmath261 are pairwise disjunctive .
we have @xmath262 , otherwise we have a contradiction to b ) due to @xmath263 is a non - arc .
if @xmath264 ( @xmath265 and @xmath266 not possible due to assumption ) than we have in row @xmath48 of @xmath80 a @xmath3 in column @xmath249 and a @xmath167 in column @xmath253 which contradicts c ) or a ) since @xmath267 it remains @xmath268 since @xmath269 is no arc in @xmath80 , we have in row @xmath48 a @xmath167 in column @xmath253 and a @xmath3 in column @xmath270 which contradicts a ) or c ) . hence
, @xmath46 can not exist which means that an induced cycle of vertices @xmath40 , @xmath253 and @xmath249 can never be destroyed by a switch .    the fist part of this lemma was already given in section  [ sec_modified_curveball ] .
we proof the formula for @xmath271 by induction . for @xmath272 and @xmath273
we have only one partition and @xmath274 in both cases .
for @xmath275 we have in a @xmath88-partition @xmath276 three possibilities to choose @xmath153 , and @xmath151 and @xmath152 are forced by this choice .
this results in @xmath89 possible @xmath88-partitions , and indeed @xmath277 for @xmath278 in a @xmath88-partition @xmath279 , @xmath151 can be fixed as @xmath280 because the number @xmath3 must be in one pair .
then we have @xmath89 possibilities to choose @xmath152 , and after this choice @xmath153 and @xmath281 are settled . hence ,
the number of @xmath88-partitions is @xmath89 , which corresponds to @xmath277 let us assume that the claim is true for all @xmath282 for a given @xmath204 in an even partition we can choose @xmath283 , because @xmath108 has to be in one of these pairs . for @xmath152
we have @xmath284 possible numbers @xmath285 from @xmath3 to @xmath284 .
we delete @xmath108 and @xmath285 in @xmath234 and get @xmath284 subsets @xmath286 for @xmath287 for each @xmath288 we can apply the induction hypothesis . each of the @xmath284 @xmath289 can be combined with @xmath290 leading to a partition of @xmath234 .
hence , we get for @xmath234 , @xmath291 . in the odd case
we first need to choose an element @xmath292 randomly , and then we apply for the remaining even set @xmath293 the formula for the even case .