computer simulation methods play an increasingly important role in the study of complex fluids . historically , many simulations have concentrated on fluids modeled as an assembly of monodisperse spherical particles interacting , e.g. , via a bare excluded - volume potential ( hard - sphere fluid ) or a lennard - jones interaction  @xcite .
while such systems can already display a wealth of interesting features , such as a solid  liquid transition and  in the presence of attractive interactions  a critical point , it is also clear that real fluids and solutions can exhibit far richer behavior .
various factors contribute to the additional features found in these systems , including internal degrees of freedom of the constituents ( such as in polymeric systems ) , interactions induced by electrical charges , and the presence of various species with a strong size asymmetry .
modeling any of these properties can greatly increase the required numerical efforts and in certain situations can make the simulations prohibitively expensive .
although available computational power continues to increase steadily , further progress in simulating such systems will critically depend on algorithmic advances .
recently , we have introduced a simulation method that addresses one of the above - mentioned complicating factors , namely the slow - down arising in simulations of solutions containing species of largely different sizes  @xcite ( see also ref .
this method , which generalizes an original idea due to dress and krauth  @xcite to identify clusters based upon geometric symmetry operations and accordingly is called the ( generalized ) _ geometric cluster algorithm _ ( gca ) , exhibits two noteworthy features .
firstly , it employs a nonlocal monte carlo ( mc ) scheme to move the constituent particles in a nonphysical way , thus introducing artificial dynamics while preserving all thermodynamic equilibrium properties .
this greatly accelerates the generation of uncorrelated configurations of particles .
we emphasize that our scheme does not involve any approximations ; the molecular configurations produced by the gca are generated according to the same boltzmann distribution that would govern a conventional simulation of the system under consideration , but the gca follows a different trajectory through phase space .
secondly , the nonlocal moves involve clusters of particles that are constructed in such a way that _ all proposed moves are accepted_. this is not only an additional factor contributing to the efficiency of the method , but it also has a more profound significance .
namely , in order to satisfy detailed balance  @xcite without imposing the usual metropolis  @xcite acceptance criterion , the ratio of the probability of transforming a particle configuration  @xmath0 into a new configuration  @xmath1 and the probability of the reverse transformation must be identical to the ratio of the boltzmann factors of the configuration  @xmath1 and the original configuration  @xmath0 .
clearly , this can only be realized if the transformations ( `` moves '' ) are proposed with a probability that involves knowledge about the physical properties of a system .
for the vast majority of mc algorithms , this is not the case .
the most well - known exceptions are the swendsen
wang ( sw ) algorithm  @xcite for lattice spin models and its variant due to wolff  @xcite . among continuum systems ,
hard - sphere fluids constitute a special case , since all configurations without particle overlap have the same energy and thus the same boltzmann factor .
however , it is generally accepted that these _ rejection - free _ algorithms are an exception ( cf .
, e.g. , ref .
@xcite , sec .
indeed , ever since the invention of the sw cluster algorithm for ising and potts models , its extension to fluids has been a widely - pursued goal . for lattice gases
the extension can be accomplished in a straightforward manner , since they are isomorphic to potts models . however , for off - lattice ( continuum ) fluids , this mapping can not be applied , owing to the absence of particle  hole symmetry .
this symmetry is a critical ingredient for the sw algorithm for ising and potts models , as clusters of spins ( or variables , in the case of the potts model ) are identified using a symmetry operation that , if applied globally , would leave the hamiltonian of the system invariant .
the only known extensions to continuum systems apply to the widom  rowlinson model for fluid mixtures  @xcite , in which identical particles do not interact and unlike species experience a hard - core repulsion , and the closely - related stillinger  helfand model , in which the hard - core is replaced by a soft repulsion  @xcite .
however , no generalization has been found in which identical particles do not behave as an ideal gas . in a separate development ,
dress and krauth  @xcite observed that , for hard - core fluids , an overlap - free configuration can be transformed into a new configuration of nonoverlapping particles by means of a _ geometric _ symmetry operation .
the particular advantage of this scheme is its ability to efficiently relax size - asymmetric mixtures  @xcite . in ref .
@xcite we showed how this advantage can be retained for fluids with _ arbitrary _
pair potentials , while simultaneously exploiting the invariance of the hamiltonian under the symmetry operation to create particle clusters in a manner that is fully analogous to the sw or wolff method .
an application to a concrete physical problem has been presented in ref .
@xcite , where colloid
nanoparticle mixtures featuring attractive , repulsive and hard - core interactions were simulated for size asymmetries up to  100 .
we remark that geometric cluster algorithms have also been applied successfully to lattice - based models .
heringa and blte have employed it to investigate lattice gases with nearest - neighbor exclusion  @xcite and developed a version for simulation of the ising model in the constant - magnetization ensemble  @xcite .
the `` pocket algorithm '' of krauth and moessner  @xcite , which is essentially a geometric cluster algorithm for dimer models , was used to investigate hard - core dimers on three - dimensional lattices  @xcite .
furthermore , we note that there is a profound difference between the geometric cluster algorithm and other monte carlo schemes that move groups of particles simultaneously  @xcite .
such algorithms can work efficiently in specific cases , and are sometimes viewed as counterparts of the sw algorithm merely because they also invoke the notion of a `` cluster , '' but they typically involve a tunable parameter and are neither rejection free nor do they exploit a symmetry property of the hamiltonian .    in the current article we provide a detailed description of the generalized geometric cluster algorithm for continuum fluids and study basic properties such as the dependence of cluster - size distribution on temperature and density .
we also describe a multiple - cluster variant of the generalized gca in which a particle configuration is fully decomposed into clusters that can be moved independently .
for reference in future sections that highlight the similarities between the generalized gca  @xcite for off - lattice fluids and the sw  @xcite and wolff  @xcite algorithms for lattice spin models , we briefly summarize the lattice cluster algorithms for the case of a @xmath2-dimensional ising model with nearest - neighbor interactions , described by the hamiltonian @xmath3 the spins @xmath4 are placed on the vertices of a square ( @xmath5 ) or simple cubic ( @xmath6 ) lattice and take values @xmath7 .
the sum runs over all pairs of nearest neighbors , which are coupled via a ferromagnetic coupling with strength @xmath8 . starting from a given configuration of spins
, the sw algorithm now proceeds as follows :    1 .
a `` bond '' is formed between every pair of nearest neighbors that are aligned , with a probability @xmath9 , where @xmath10 .
all spins that are connected , directly or indirectly , via bonds belong to a single cluster .
thus , the bond assignment procedure divides the system into clusters of parallel spins .
note how the bond probability ( and hence the typical cluster size ) grows with increasing coupling strength  @xmath11 ( decreasing temperature ) .
for finite @xmath11 , @xmath12 and hence a cluster is generally a _ subset _ of all spins of a given sign .
all spins in each cluster are flipped _ collectively _ with a probability  @xmath13 .
i.e. , for each cluster of spins a spin value @xmath7 is chosen and this value is assigned to all spins that belong to the cluster .    the last , and crucial , step is made possible by the fortuin
kasteleyn mapping  @xcite of the potts model on the random - cluster model , which implies that the partition function of the former can be written as a whitney polynomial that represents the partition function of the latter  @xcite .
accordingly , all spins in a cluster ( a connected component in the random - cluster model ) are uncorrelated with all other spins , and can be assigned a new spin value .
this algorithm possesses several noteworthy properties .
first , it strongly suppresses dynamic slowing down near a critical point  @xcite by efficiently destroying nonlocal correlations ( see also ref .
@xcite for a pedagogical introduction ) . secondly , this algorithm is _
rejection free_. indeed , the assignment of bonds involves random numbers , but once the clusters have been formed each of them can be flipped independently without imposing an acceptance criterion involving the energy change induced by such a collective spin - reversal operation .
thirdly , the fortuin
kasteleyn mapping can also be applied to systems in which each spin interacts not only with its nearest neighbors , but also with other spins  @xcite . in particular
, the coupling strength can be different for different spin pairs , leading to a probability  @xmath14 that is , e.g. , dependent on the separation between @xmath15 and  @xmath16 .
thus , cluster algorithms can be designed for spin systems with medium-  @xcite and long - range interactions  @xcite .
critical slowing down is suppressed even more strongly in a variant of this algorithm due to wolff  @xcite . in this implementation , no decomposition of the entire spin configuration into clusters takes place . instead
, a single cluster is formed , which is then always flipped :    1 .
a spin  @xmath15 is selected at random .
all nearest neighbors  @xmath16 of this spin are added to the cluster with a probability @xmath9 , provided spins @xmath15 and  @xmath16 are parallel and the bond between @xmath15 and  @xmath16 has not been considered before .
each spin @xmath16 that is indeed added to the cluster is also placed on the stack . once all neighbors of  @xmath15 have been considered for inclusion in the cluster , a spin is retrieved from the stack and all its neighbors are considered in turn for inclusion in the cluster as well , following step  2 .
steps 2 and  3 are repeated iteratively until the stack is empty .
once the cluster has been completed , all spins in the cluster are inverted .
again , this is a rejection - free algorithm , in the sense that the cluster is always flipped . just as in the sw algorithm ,
the cluster - construction process involves random numbers , but the individual probabilities  @xmath14 involve single - particle energies rather than an acceptance criterion that involves the total energy change induced by a cluster flip .
since suppression of critical slowing is a highly attractive feature for fluid simulations as well , the generalization of the sw and wolff algorithms to fluid systems has been a widely - pursued goal . in the lattice - gas interpretation , where a spin @xmath17 corresponds to a particle and
a spin @xmath18 corresponds to an empty site , a spin - inversion operation corresponds to a particle being inserted in or removed from the system .
this `` particle  hole symmetry '' is absent in off - lattice ( continuum ) systems .
while a particle in a fluid configuration can straightforwardly be deleted , there is no unambiguous prescription on how to transform empty space into a particle .
more precisely , in the lattice cluster algorithms the operation performed on every spin is self - inverse .
this requirement is not fulfilled for off - lattice fluids .    , @xmath19 , @xmath20 ) .
each pair is denoted a _
cluster_. the particles in any one of these clusters can be point - reflected with respect to the pivot without affecting the other two clusters .
this can be used to carry out the point reflection for every cluster with a pre - set probability .
c )  final configuration that results if , starting from the original configuration , only the particles in the third cluster @xmath20 are point - reflected .
this approach guarantees that every generated configuration will be free of overlaps . note that the pivot will generally not be placed in the center of the cell , and that the periodic boundary conditions indeed permit any position.,scaledwidth=96.0% ]    dress and krauth  @xcite proposed a method to efficiently generate particle configurations for a hard - sphere liquid .
geometric cluster algorithm _ proceeds as follows ( cf .   fig .
[ fig : geomc - hs ] ) .    1 .   in a given configuration  @xmath0 ,
a `` pivot '' is chosen at random .
a configuration  @xmath21 is now generated by carrying out a point reflection for all particles in  @xmath0 with respect to the pivot .
the configuration  @xmath0 and its transformed counterpart  @xmath21 are superimposed , which leads to groups of overlapping particles .
the groups generally come in pairs , except possibly for a single group that is symmetric with respect to the pivot .
each pair is denoted a `` cluster ''  @xcite .
4 .   for each cluster
, all particles can be exchanged between @xmath0 and  @xmath21 without affecting particles belonging to other clusters .
this exchange is performed for each cluster independently with a probability  @xmath22 .
thus , if the superposition of @xmath0 and  @xmath21 is decomposed into @xmath23 clusters , there are @xmath24 possible new configurations .
the configurations that are actually realized are denoted  @xmath1 and @xmath25 , i.e. , the original configuration  @xmath0 is transformed into @xmath1 and its point - reflected counterpart  @xmath21 is transformed into  @xmath25 .
the configuration @xmath25 is discarded and @xmath1 is the new configuration , serving as the starting point for the next iteration of the algorithm . note that a new pivot is chosen in every iteration .
observe that periodic boundary conditions must be employed , such that an arbitrary placement of the pivot is possible .
other self - inverse operations are permissible , such as a reflection in a plane  @xcite , in which case various orientations of the plane must be chosen in order to satisfy ergodicity . while operating in the canonical rather than in the grand - canonical ensemble , this prescription clearly bears great resemblance to the original sw algorithm .
the original configuration is decomposed into clusters by exploiting a symmetry operation that leaves the hamiltonian invariant if applied to the entire configuration ; in the sw algorithm this is the spin - inversion operation and in the geometric cluster algorithm it is a geometric symmetry operation .
subsequently , a new configuration is created by moving each cluster independently with a certain probability .
we note that this method represents an approach of great generality .
for example , it is not restricted to monodisperse systems , and has indeed been applied successfully to binary  @xcite and polydisperse  @xcite mixtures .
indeed , the nonlocal character of the particle moves makes them exquisitely suitable to overcome the jamming problems that slow down the simulation of size - asymmetric mixtures .
an important limitation of the algorithm is the fact that the average cluster size increases very rapidly beyond a certain density , corresponding to the percolation threshold of the combined system containing the superposition of the configurations @xmath0 and  @xmath21 .
once this cluster spans the entire system , the algorithm is clearly no longer ergodic .
we can take the analogy with the lattice cluster algorithms one step further , by showing that a single - cluster ( wolff ) variant can be formulated as well  @xcite .    1 .
in a given configuration  @xmath0 , a `` pivot '' is chosen at random .
a particle  @xmath15 is selected as the first particle that belongs to the cluster .
this particle is moved via a point reflection with respect to the pivot . in its new position ,
the particle is referred to as  @xmath26 .
step 2 is repeated _ iteratively _ for each particle  @xmath16 that overlaps with  @xmath26 .
thus , if the ( moved ) particle  @xmath27 overlaps with another particle  @xmath28 , particle  @xmath28 is moved as well .
note that all translations involve the same pivot .
once all overlaps have been resolved , the cluster move is completed .    as in the sw - like prescription ,
a new pivot is chosen for each cluster that is constructed .
the geometric cluster algorithm described in the previous section is formulated for hard - core interactions .
for application to general pair potentials , it was suggested in ref .
@xcite to impose a metropolis - type acceptance criterion based upon the energy difference induced by the cluster move . indeed , in the case of potentials that consist of a hard - core ( excluded - volume ) contribution supplemented by an attractive or repulsive tail , such as a yukawa potential , the cluster - construction procedure guarantees that no overlaps are generated and the acceptance criterion takes into account the tail of the interactions . for `` soft - core '' potentials , such as a lennard - jones interaction ,
the situation becomes already somewhat more complicated , since an arbitrary excluded - volume distance must be chosen for the cluster construction .
as the algorithm will not generate configurations in which the separation between a pair of particles is less than this distance ( i.e. , the particle `` diameter , '' in the case of monodisperse systems ) , it must be set to a value that is smaller than any separation that would typically occur , as already noted in ref .  @xcite . in either case , the clusters that are generated have only limited physical relevance , and the evaluation of a considerable part of the energy change resulting from a cluster move is deferred until the acceptance step .
rejection is not only likely , but also costly , given the computational efforts of both cluster construction and energy evaluation .
we note that this approach was nevertheless applied to yukawa mixtures with moderate size asymmetry ( diameter ratio @xmath29 )  @xcite .
on the other hand , heringa and blte  @xcite devised an geometric cluster algorithm for the ising model in which the nearest - neighbor interactions between spins are taken into account already during the cluster construction . while this lattice model can obviously be simulated by the sw and wolff algorithms , their approach permits simulation in the constant - magnetization ensemble .
the geometric operations employed map the spin lattice onto itself , such that excluded - volume conditions are satisfied automatically : every spin move amounts to an _ exchange _ of spins . for every spin pair @xmath30 that is exchanged , each of its nearest - neighbor pairs @xmath31
are exchanged with a probability that depends on the change in pair energy , @xmath32 .
this procedure is then again performed iteratively for the neighbors of all spin pairs that are exchanged .
, open and shaded disks denote the particles before and after the geometric operation , respectively , and the small disk denotes the pivot .
however , in the _ generalized _ gca a single cluster is constructed , to which particles are added with an interaction - dependent probability .
a )  original configuration .
b )  a cluster is constructed as follows .
particle  1 is point - reflected with respect to the pivot .
if , in its new position , it has a repulsive interaction with particle  2 , the latter has a certain probability to be point - reflected as well , with respect to the same pivot .
assuming an attractive interaction between particles 2 and  3 , particle  3 is translated as well , but again only with a certain probability .
if particles 46 are not affected by these point reflections , the cluster construction terminates .
c )  the new configuration consists of particles 13 in their new positions and particles 46 in the original positions .
a new pivot is chosen and the procedure is repeated.,scaledwidth=96.0% ]    in ref .
@xcite we introduced a generalization of the gca for off - lattice fluids , in which particles undergo a geometric operation in a stochastic manner , akin to the approach of ref .
the differences arise from the fact that no underlying lattice is present , so that particles are added to the cluster on an individual basis , rather than in pairs .
all interactions are treated in a unified manner , so there is no technical distinction between attractive and repulsive interactions or between hard - core and soft - core potentials .
generalized gca _ is most easily described as a combination of the single - cluster methods formulated in sec .
[ sec : sw - wolff ] and  [ sec : hardcore - gca ] .
we assume a general pair potential @xmath33 that does not have to be identical for all pairs @xmath34 ( see fig .
[ fig : geomc - wolff ] ) .    1 .   in a given configuration  @xmath0 ,
a `` pivot '' is chosen at random .
a particle  @xmath15 at position  @xmath35 is selected as the first particle that belongs to the cluster .
this particle is moved via a point reflection with respect to the pivot . in its new position ,
the particle is referred to as  @xmath26 , at position  @xmath36 .
each particle  @xmath16 that interacts with @xmath15 or  @xmath26 is now considered for addition to the cluster . unlike the first particle ,
particle  @xmath16 is point - reflected with respect to the pivot only with a probability @xmath37 $ ] , where @xmath38 .
a particle  @xmath16 that interacts with @xmath15 both in its old and in its new position is nevertheless treated only once .
each particle  @xmath16 that is indeed added to the cluster ( i.e. , moved ) is also placed on the stack .
once all particles interacting with @xmath15 or  @xmath26 have been considered , a particle is retrieved from the stack and all its neighbors that are not yet part of the cluster are considered in turn for inclusion in the cluster as well , following step  3 .
steps 3 and  4 are repeated iteratively until the stack is empty .
the cluster move is now complete .
if a particle interacts with multiple other particles that have been added to the cluster , it can thus be considered multiple times for inclusion . however , once it has been added to the cluster , it can not be removed .
this is an important point in practice , since particles undergo a point reflection already during the cluster construction process ( and thus need to be tagged , in order to prevent them from being returned to their original position by a second point reflection ) .
a crucial aspect is that the probability @xmath14 _ only _ depends on the change in _ pair energy _ between @xmath15 and  @xmath16 .
a change in the relative position of @xmath15 and  @xmath16 occurs if particle  @xmath16 is _ not _ added to the cluster .
this happens with a probability @xmath39 $ ] .
the similarity with the metropolis acceptance criterion is deceptive ( and merely reflects the fact that both algorithms aim to generate configurations according to the boltzmann distribution ) , since @xmath40 does not represent the _ total _ energy change resulting from the translation of particle  @xmath15 . instead
, other energy changes are taken into account via the iterative nature of the algorithm .
it is instructive to note that the expression for @xmath14 bears close resemblance to the probability employed in the sw algorithm ( sec .
[ sec : sw - wolff ] ) . in the latter
, two different situations can be discerned that lead to a change in the relative energy @xmath41 between a spin  @xmath15 that belongs to the cluster and a spin  @xmath16 that does not yet belong to the cluster .
if @xmath15 and @xmath16 are initially _ antiparallel _ , @xmath16 will never be added to the cluster and only spin  @xmath15 will be inverted , yielding an energy change @xmath42 that occurs with probability unity .
if @xmath15 and @xmath16 are initially _ parallel _ and @xmath16 is not added to the cluster , the resulting change in the pair energy equals @xmath43 .
this occurs with a probability @xmath44 .
these two situations can indeed be summarized as @xmath45 $ ] , just as in the generalized gca .
the ergodicity of this algorithm follows from the fact that there is a nonvanishing probability that a cluster consists of only one particle , which can be moved over an arbitrarily small distance , since the location of the pivot is chosen at random .
this obviously requires that not all particles are part of the cluster , a condition that is violated at high packing fractions . while a compact proof of detailed balance of the generalized gca has already been given in ref .
@xcite , we include it here for the sake of completeness .
we consider a configuration  @xmath46 that is transformed into a configuration  @xmath47 by means of a cluster move .
all particles included in the cluster maintain their relative separation ; as noted above , an energy change arises if a particle is _ not _ included in the cluster , but interacts with a particle that does belong to the cluster . following wolff  @xcite
we denote each of these interactions as a `` broken bond . '' a broken bond  @xmath28 that corresponds to an energy change  @xmath48 occurs with a probability @xmath49 if @xmath50 and a probability @xmath51 if @xmath52 .
the formation of an entire cluster corresponds to the breaking of a set  @xmath53 of bonds , which has a probability  @xmath54 .
this set is comprised of the subset @xmath55 of broken bonds  @xmath56 that lead to an increase in pair energy and the subset @xmath57 of broken bonds that lead to a decrease in pair energy , such that @xmath58 \;.\ ] ] the transition probability from configuration  @xmath46 to configuration  @xmath47 is proportional to the cluster formation probability , @xmath59 \;,\ ] ] where the factor @xmath0 accounts for the fact that various arrangements of bonds within the cluster ( `` internal bonds '' ) correspond to the same set of broken bonds . in addition , it incorporates the probability of choosing a particular pivot and a specific particle as the starting point for the cluster .
if we now consider the reverse transition @xmath60 , we observe that this again involves the set  @xmath53 , but all the energy differences change sign compared to the forward move . consequently , the subset @xmath55 in eq .
( [ eq : trans - fw ] ) is replaced by its complement  @xmath57 and the transition probability is given by @xmath61 \;,\ ] ] where the factor  @xmath0 is identical to the prefactor in eq .
( [ eq : trans - fw ] ) .
since we require the geometric operation to be self - inverse we thus find that the cluster move satisfies detailed balance at an acceptance ratio of unity , @xmath62 }        { \exp\left[+ \beta \sum_{m } \delta_m\right ] } = \exp\left [ -\beta    \sum_{k } \delta_k\right ] = \exp\left [ -\beta ( e_y - e_x)\right ] =    \frac{\exp(-\beta e_{y})}{\exp(-\beta e_{x } ) } \;,\ ] ] where @xmath63 and @xmath64 are the internal energies of configurations @xmath46 and  @xmath47 , respectively .
i.e. , the ratio of the forward and reverse transition probabilities is equal to the inverse ratio of the boltzmann factors , so that we indeed have created a rejection - free algorithm .
this is obscured to some extent by the fact that in our prescription the cluster is moved while it is being constructed , similar to the wolff algorithm in sec .
[ sec : sw - wolff ] . the central point , however , is that the construction solely involves single - particle energies , whereas a metropolis - type approach only evaluates the total energy change induced by a multi - particle move and then frequently rejects this move .
by contrast , the gca avoids large energy differences by incorporating `` offending '' particles into the cluster with a high probability .
we now introduce a sw implementation of the generalized gca .
the merit of this formulation , which builds upon the wolff version described in the previous section , is twofold : first , it demonstrates that the algorithm constitutes the true off - lattice counterpart of the sw and wolff cluster algorithms for spin models outlined in sec .
[ sec : sw - wolff ] .
secondly , the sw formulation produces a full decomposition of an off - lattice fluid configuration into _ stochastically independent clusters_. this implies an interesting and remarkable analogy with the ising model . as observed by coniglio and klein  @xcite for the two - dimensional ising model at its critical point , the clusters created according to the prescription in sec .
[ sec : sw - wolff ] are just the so - called `` fisher droplets ''  @xcite . while ref .
@xcite makes no reference to the work by fortuin and kasteleyn , these `` coniglio  klein clusters '' are implied by the fortuin  kasteleyn mapping of the potts model onto the random - cluster model  @xcite , which in turn constitutes the basis for the swendsen  wang approach  @xcite .
the clusters generated by the gca do not have an immediate physical interpretation , as they typically consist of two spatially disconnected parts .
however , just like the ising clusters can be inverted at random , each cluster of fluid particles can be moved independently with respect to the remainder of the system . as such
, the generalized gca can be viewed as a continuum version of the fortuin  kasteleyn mapping .
the cluster decomposition of a configuration proceeds as follows .
first , a cluster is constructed according to the wolff version of sec .
[ sec : gca ] , with the exception that the cluster is only _ identified _ ; particles belonging to the cluster are marked but not actually moved .
the pivot employed will also be used for the construction of all subsequent clusters in this decomposition .
these subsequent clusters are built just like the first cluster , except that particles that are already part of an earlier cluster will never be considered for a new cluster .
once each particle is part of exactly one cluster the decomposition is completed . like in the sw algorithm , every cluster can then be moved ( i.e. , all particles belonging to it are translated via a point reflection ) independently , e.g. , with a probability  @xmath65 . despite the fact that all clusters except the first are built in a restricted fashion , each individual cluster is constructed according to the rules of the wolff formulation of sec .
[ sec : gca ] .
the exclusion of particles that are already part of another cluster simply corresponds to the fact that every bond should be considered only once .
if a bond is broken during the construction of an earlier cluster it should not be re - established during the construction of a subsequent cluster .
the cluster decomposition thus obtained is not unique , as it depends on the placement of the pivot and the choice of the first particle .
evidently , this also holds for the sw algorithm .    in order to establish that this prescription is a true equivalent of the sw algorithm
, we prove that each cluster can be moved ( reflected ) independently while preserving detailed balance .
if only a single cluster is actually moved , this essentially corresponds to the wolff version of the gca , since each cluster is built according to the gca prescription .
the same holds true if several clusters are moved and no interactions are present between particles that belong to different clusters ( the hard - sphere algorithm is a particular realization of this situation ) . if two or more clusters are moved and _ broken _ bonds exist between these clusters , i.e. , a nonvanishing interaction exists between particles that belong to disparate ( moving ) clusters , then the shared broken bonds are actually preserved and the proof of detailed balance provided in the previous section no longer applies in its original form .
however , since these bonds are identical in the forward and the reverse move , the corresponding factors cancel out .
this is illustrated for the situation of two clusters whose construction involves , respectively , two sets of broken bonds @xmath66 and @xmath67 .
each set comprises bonds @xmath56 ( @xmath68 and @xmath69 , respectively ) that lead to an _ increase _ in pair energy and bonds @xmath70 ( @xmath71 and @xmath72 , respectively ) that lead to a _ decrease _ in pair energy .
we further subdivide these sets into _ external _ bonds that connect cluster 1 or  2 with the remainder of the system and _ joint _ bonds that connect cluster  1 with cluster  2 .
accordingly , the probability of creating cluster  1 is given by @xmath73 upon construction of the first cluster , the creation of the second cluster has a probability @xmath74 since all joint bonds in @xmath75 already have been broken . the factors @xmath76 and @xmath77 refer to the probability of realizing a particular arrangement of internal bonds in clusters 1 and  2 , respectively ( cf .
[ sec : gca ] ) .
hence , the total transition probability of moving _ both _ clusters is given by @xmath78 \;.\ ] ] in the reverse move , the energy differences for all external broken bonds have changed sign , but the energy differences for the joint bonds connecting cluster 1 and  2 are the same as in the forward move .
thus , cluster  1 is created with probability @xmath79 \prod_{j \in        \left\{l_1^{\rm joint}\right\ } } \exp[-\beta \delta_j ] \;,\ ] ] where the @xmath80 reflects the sign change of the energy differences compared to the forward move and the product over the external bonds involves the complement of the set @xmath81 .
the creation probability for the second cluster is @xmath82\ ] ] and the total transition probability for the reverse move is @xmath83 \;.\ ] ] accordingly , detailed balance is still fulfilled with an acceptance ratio of unity , @xmath84 = \exp\left [ - \beta    ( e_y - e_x ) \right ] \;,\ ] ] in which @xmath85 and @xmath86 and @xmath63 and @xmath64 refer to the internal energy of the system before and after the move , respectively .
this treatment applies to any simultaneous move of clusters , so that _ each cluster in the decomposition indeed can be moved independently _ without violating detailed balance .
this completes the proof of the multiple - cluster version of the gca .
it is noteworthy that the probabilities for breaking joint bonds in the forward and reverse moves cancel only because the probability in the cluster construction factorizes into individual probabilities .    in order to illustrate the validity of this approach ,
we have applied it to the binary lennard - jones mixture employed in ref .
this system consists of @xmath87 small particles ( diameter @xmath88 ; reduced coupling @xmath89 ) and @xmath90 large particles ( diameter @xmath91 ; reduced coupling @xmath92 ) at a total packing fraction @xmath93 . following the lorentz  berthelot mixing rules  @xcite we set the parameters for the large  small lennard - jones interaction to @xmath94 and @xmath95 . the particles are contained in a cubic cell with linear size @xmath96 .
periodic boundary conditions are applied and the cut - off for all interactions is set to  @xmath97 .
we perform a full cluster decomposition for every configuration and carry out a reflection for every cluster with a probability @xmath98 . as illustrated in fig .
[ fig : wolff - sw ] , the correlation functions for pairs of large particles and for pairs of large and small particles agree perfectly with the results obtained in ref .
@xcite by means of the single - cluster version . in sec .
[ sec : efficiency ] we address the relative efficiency of both approaches .    ; solid lines ) and the multiple - cluster version ( sec .
[ sec : gca - sw ] ; symbols ) of the generalized geometric cluster algorithm .
the figure shows pair correlation functions for the size - asymmetric lennard - jones mixture described in the text . @xmath99 and
@xmath100 represent the large  large and large  small correlation functions , respectively .
there is excellent agreement between both algorithms . ]
the actual implementation of the generalized gca involves a variety of issues .
the point reflection with respect to the pivot requires careful consideration of the periodic boundary conditions .
furthermore , as mentioned above , particles that have been translated via a point reflection must not be translated again in the same cluster move , and particles that interact with a given cluster particle both before and after the translation of that cluster particle must be considered only once , on the basis of the difference in pair potential . in order to account for all interacting pairs in an efficient manner , we employ the cell index method  @xcite . for mixtures with large size asymmetries ( the situation where the generalized gca excels ) , it is natural to set up different cell structures , with cell lengths based upon the cut - offs of the various particle interactions .
for example , in the case of a binary mixture of two species with very different sizes and cutoff radii ( @xmath101 and @xmath102 , respectively ) , the use of an identical cell structure with a cell size that is determined by the large particles would be highly inefficient for the smaller particles .
thus , two cell structures are constructed in this case ( with cell sizes @xmath103 and  @xmath104 , respectively ) and each particle is stored in the appropriate cell of the structure belonging to its species , and incorporated in the corresponding linked list , following the standard approach  @xcite . however , in order to efficiently deal with interactions between unlike species ( which have a cut - off  @xmath105 ) , a mapping between the two cell structures is required . if all small particles must be located that interact with a given large particle , we proceed as follows .
first , the small cell  @xmath106 is identified in which the center of the large particle resides . subsequently , the interacting particles are located by scanning over all small cells within a cubic box with linear size  @xmath107 , centered around  @xmath106 .
this set of cells is predetermined at the beginning of a run and their indices are stored in an array .
each set contains approximately @xmath108 members . in an efficient implementation
, @xmath109 is not much larger than @xmath110 , which for short - range interactions is of the order of the size of a small particle .
likewise , @xmath111 is typically of the order of the size of the large particle , so that @xmath112 , where @xmath113 denotes the size asymmetry between the two species .
since @xmath114 indices must be stored for each large cell , the memory requirements become very large for cases with large size asymmetry , cf .  ref .
@xcite for @xmath115 .
whereas the autocorrelation time per particle ( expressed in @xmath116s of cpu time per particle move ) rapidly increases with size ratio , the gca features only a weak dependence on  @xmath113 . ]    the most notable feature of the generalized gca , as emphasized in ref .
@xcite , is the efficiency with which it generates uncorrelated configurations for size - asymmetric mixtures .
this performance directly derives from the nonlocal character of the point reflection employed . in general
, the translation of a single particle over large distances is impossible in all but the most dilute situations . on the other hand
, multiple - particle moves typically entail an energy difference that strongly suppresses the likelihood of acceptance . by enabling collective moves while maintaining a high ( and , in fact , maximal ) acceptance probability ,
fluid mixtures can be simulated efficiently over a wide parameter range ( volume fraction , size asymmetry and temperature ) .
following ref .
@xcite , we illustrate this for a simple binary mixture in which the autocorrelation time is determined as a function of size asymmetry .
this system contains 150 large particles of size @xmath117 , at fixed volume fraction @xmath118 .
furthermore , @xmath119 small particles are present , also at fixed volume fraction @xmath120 .
thus , as the size  @xmath121 of these small particles is varied from @xmath122 to @xmath123 ( i.e. , the size ratio @xmath124 is increased from 2 to  15 ) , their number increases from @xmath125 to  @xmath126 .
pairs of small particles and pairs involving a large and a small particle act like hard spheres .
however , in order to prevent depletion - driven aggregation of the large particles  @xcite , we introduce a short - ranged yukawa repulsion , @xmath127 & \quad r > \sigma_{22 }    \end{array } \right .    \;,\ ] ] where @xmath128 and the screening length @xmath129 . in the simulation
, the exponential tail is cut off at @xmath130 .
the additional yukawa interactions also provides a fluctuating internal energy  @xmath131 that permits us to determine the rate at which the system decorrelates .
we consider the integrated autocorrelation time  @xmath132 obtained from the energy autocorrelation function  @xcite , @xmath133 and compare @xmath132 for a conventional ( metropolis ) mc algorithm and the generalized gca . in order to avoid arbitrariness resulting from the computational cost involved with a single sweep or the construction of a cluster
, we express @xmath132 in actual cpu time ( assuming that both methodologies have been programmed in an efficient manner ) .
furthermore , @xmath132 is normalized by the total number of particles in the system , to account for the variation in  @xmath119 as the size ratio @xmath113 is increased .    for conventional mc calculations
, @xmath134 rapidly increases with increasing  @xmath113 , because the large particles tend to get trapped by the small particles .
indeed , already for @xmath135 it is not feasible to obtain an accurate estimate for  @xmath134 .
by contrast , @xmath136 exhibits a very different dependence on  @xmath113 . at @xmath137
both algorithms require virtually identical simulation time , which establishes that the gca does not involve considerable overhead compared to standard algorithms ( if any , it is mitigated by the fact that all moves are accepted ) . upon increase of @xmath113 ,
@xmath138 initially _ decreases _ until it starts to increase weakly .
the nonmonotonic variation of @xmath136 results from the changing ratio @xmath139 which causes the cluster composition to vary with  @xmath113 .
the main points to note are : ( i )  the gca greatly suppresses the autocorrelation time , @xmath140 for @xmath141 , with an efficiency increase that amounts to more than three orders of magnitude already for @xmath142 ; ( ii )  the increase of the autocorrelation time with @xmath113 is much slower for the gca than for a local - move mc algorithm , making the gca increasingly advantageous with increasing size asymmetry .
this second observation is confirmed by the large size asymmetries that could be attained in ref .
@xcite .      , for a monodisperse lennard - jones fluid .
( a )  critical density , @xmath143 .
the distribution is strongly bimodal in the vicinity of the critical temperature and remains bimodal up to relatively high temperatures .
( b )  twice smaller density @xmath144 .
the cluster - size distribution only becomes bimodal for temperatures relatively close to the critical temperature and decreases monotonously for higher temperatures .
identical symbols refer to identical temperatures in both panels .
all temperatures are indicated in terms of @xmath145.,title="fig : " ] , for a monodisperse lennard - jones fluid .
( a )  critical density , @xmath143 .
the distribution is strongly bimodal in the vicinity of the critical temperature and remains bimodal up to relatively high temperatures .
( b )  twice smaller density @xmath144 .
the cluster - size distribution only becomes bimodal for temperatures relatively close to the critical temperature and decreases monotonously for higher temperatures .
identical symbols refer to identical temperatures in both panels .
all temperatures are indicated in terms of @xmath145.,title="fig : " ]    the cluster size clearly has a crucial influence on the performance of the gca .
if a cluster contains more than 50% of all particles , an equivalent change to the system could have been made by moving its complement ; unfortunately it is unclear how to determine this complement without constructing the cluster .
nevertheless , it is found that the algorithm operates in a comparatively efficient manner for average relative cluster sizes as large as 90% or more .
once the total packing fraction of the system exceeds a certain value , the original hard - core gca breaks down because each cluster occupies the entire system .
the same phenomenon occurs in the generalized gca , but in addition the cluster size can saturate because of strong interactions .
thus , the maximum accessible volume fraction depends on a considerable number of parameters , including the range of the potentials and the temperature . for multi - component mixtures , size asymmetry and relative abundance of the components
are of importance as well , and the situation can be complicated further by the presence of competing interactions .    as an illustration , we consider the cluster - size distribution for a monodisperse lennard - jones fluid ( particle diameter  @xmath146 ) .
for an interaction cut - off of @xmath147 , the critical temperature  @xmath148 lies just below @xmath149  @xcite , where @xmath150 denotes the coupling strength .
figure  [ fig : clusterdistr](a ) shows this distribution at the critical density  @xmath151 ( @xmath152 ) for a range of supercritical temperatures . already at temperatures that are far above the critical temperature
, the cluster - size distribution tends toward a bimodal form , indicative of the formation of large clusters .
the gap between the two peaks widens with decreasing temperature and in the vicinity of the critical temperature the average cluster size becomes very large .
this is greatly different from the sw and wolff algorithms , which operate at the percolation threshold when applied to a critical system .
remarkably , when applied to a lattice gas at its critical density , the geometric cluster algorithm was also found to yield the power - law distribution that is characteristic for a percolating system  @xcite .
this can be understood from the fact that excluded - volume effects play no role in geometric operations applied to lattice - based systems . in continuum systems ,
the superposition of a system and its point - reflected counterpart percolates already when the original system has a density that is considerably below the percolation threshold . motivated by this
, we investigate the cluster - size distribution in the same lennard - jones fluid at a twice lower density , @xmath153 , see fig .
[ fig : clusterdistr](b ) .
for the highest temperature ( which is already twice lower than the highest temperature in panel ( a ) ) , this distribution now is a monotonously decreasing function of cluster size , and the bimodal character only appears for temperatures around 25% above the critical temperature .
it turns out to be possible to influence the cluster - size distribution by placing the pivot in a biased manner . rather than first choosing the pivot location ,
a particle is selected that will become the first member of the cluster . subsequently , the pivot is placed at random within a cubic box of linear size  @xmath154 , centered around the position of this particle . by decreasing  @xmath155 , the displacement of the first particle
is decreased , as well as the number of other particles affected by this displacement . as a consequence ,
the average cluster size decreases , and higher volume fractions can be reached .
ultimately , the cluster size will still occupy the entire system , but we found that the maximum accessible volume fraction can be increased from approximately @xmath156 to a value close to  @xmath157 .
this value indeed corresponds to the percolation threshold for hard spheres , @xmath158  @xcite .
note that the proof of detailed balance is not affected by this modification .       as a function of linear system size for the critical lennard - jones fluid , in units of particle sweeps , for three different monte carlo algorithms : local moves ( `` metropolis mc '' ) ; gca with swendsen
wang type cluster decomposition and probability 0.50 ( `` sw 50% '' ) and 0.75 ( `` sw 75% '' ) of moving each cluster ; single - cluster gca ( `` wolff '' ) . ]
the cluster - size distributions obtained in the previous section suggest that the generalized gca will not suppress critical slowing down for the lennard - jones fluid . as emphasized in ref .
@xcite , this does not have to be viewed as a great shortcoming of the algorithm , because of the efficiency improvement it delivers for the simulation of size - asymmetric fluids over a wide range of temperatures and packing fractions ( cf .  fig .
[ fig : efficiency ] ) .
nevertheless , since suppression of critical slowing down plays such an important role for lattice cluster algorithms and since it is a feature that has not been realized by any fluid simulation algorithm , we have investigated the integrated autocorrelation time for the energy at the critical point , as a function of linear system size . in fig .
[ fig : critdyn ] these times are collected for three algorithms .
( 1 )  conventional local - update metropolis algorithm ; ( 2 )  wolff version of the gca ; ( 3a )  sw version of the gca , in which each cluster is point - reflected with a probability  @xmath159 ; ( 3b )  sw version of the gca , in which each cluster is point - reflected with a probability  @xmath160 .
this also serves as a performance comparison between the single - cluster gca and the multiple - cluster variant .
just as for spin models , the single - cluster version is more efficient than the sw - like approach .
however , all variants of the gca exhibit the same power - law behavior , which outperforms the metropolis algorithm by a factor @xmath161 .
it is important to emphasize that this acceleration may be due to the suppression of the hydrodynamic slowing down  @xcite caused by the conservation of the density ( which may couple to the energy correlations  @xcite ) .
remarkably , already for moderate system sizes the generalized gca outperforms the metropolis algorithm , despite the time - consuming construction of large clusters [ cf .
[ fig : clusterdistr](a ) ] which lead to only small configurational changes .
as an illustration of the capabilities of the generalized gca we apply it to a binary mixture first studied in ref .
it contains dilute colloidal particles in a solvent of smaller particles .
both species are modeled as hard spheres , but unlike pairs experience a yukawa attraction which promotes the accumulation of the solvent particles around the colloids .
systems like this are relevant for an improved understanding of depletion effects in the presence of additional nonadditive interactions  @xcite , but have hitherto been studied only to a limited extent , because of computational limitations .
specifically , we set up a simulation cell containing 29000 small particles ( species  1 ) at volume fraction  @xmath162 and two large colloids ( species  2 ) at volume fraction  @xmath163 .
the pair potentials are chosen as @xmath164 and @xmath165 & \quad r >        \sigma_{12 }      \end{array }      \right . \;,\ ] ] where @xmath94 and @xmath166 .
the coupling strength is set to @xmath167 , corresponding to a contact energy @xmath168 , and the decay parameter ( inverse screening length ) is set to @xmath169  @xcite .     and volume fraction  @xmath163 ) in an environment of smaller particles ( diameter  @xmath170 and volume fraction  @xmath162 ) that experience a yukawa - type attractive interaction with the colloids .
the symbols represent data obtained by means of the hard - core gca supplemented by an acceptance criterion  @xcite .
the solid line is obtained via the generalized gca . ]    in ref .
@xcite this system was investigated by means of the hard - core gca supplemented by an acceptance criterion in order to take into account the yukawa attractions . in view of the size asymmetry between the two species ,
this already yields a considerable efficiency improvement over conventional mc simulations that only employ local moves .
however , the acceptance criterion potentially greatly deteriorates performance , as clusters will be constructed that are subsequently rejected in their entirety .
indeed , the authors report  @xcite that accurate direct sampling of the colloidal pair correlation function @xmath171 was prohibitively expensive , so that they instead obtained it via numerical differentiation of the _ integrated _ pair correlation function ( see symbols in fig .
[ fig : amokrane ] ) .
this differentiation involves a polynomial fit and the result was found to be sensitive to the degree of this polynomial .    in the generalized gca the yukawa attractions
are directly incorporated in the cluster construction , so that all clusters are accepted . as demonstrated in fig .
[ fig : amokrane ] ( solid line ) , accurate results for @xmath171 can now be obtained through direct sampling .
note that our choice for the colloid concentration  @xmath172 is slightly smaller than in ref .
@xcite ( leading to a somewhat larger number of small particles in our calculation ) , which is however irrelevant for the results , as they have already converged to the dilute colloid limit .
thus , the generalized gca opens possibilities for a systematic investigation of the effect of interaction strength and range on the potential of mean force , as a function of size asymmetry and solvent concentration .
the addition of small , nonadsorbing additives , e.g. , polymers , to a colloidal suspension can lead to the well - known depletion interaction between colloids .
this interaction has been modeled successfully by the asakura
oosawa  ( ao ) model  @xcite which treats the polymer chains as ideal , noninteracting spheres that have an excluded - volume interaction with the colloids .
alternatively , the polymers can be treated as hard spheres , leading to an additive binary hard - sphere mixture  @xcite .
although on a qualitative level both theories agree with the experimentally observed trends for depletion interactions , it recently has been suggested that a more accurate description can be obtained by means of a model in which the polymer pair potential is described by a gaussian  @xcite , @xmath173 \;,\ ] ] where @xmath150 is the strength of the repulsive potential and @xmath174 its width . for dilute and semidilute polymer solutions , @xmath175 and @xmath176 , respectively ,
were found to be appropriate parameter values  @xcite .
this potential can be viewed as a model that interpolates between the ao model for ideal polymers and the binary hard - sphere mixture .     for the gaussian polymer model , eq .
( [ eq : gauss ] ) .
panel ( a ) pertains to a fixed interaction strength @xmath177 for various interaction widths @xmath178 , @xmath179 , @xmath180 ( triangles , circles and squares , respectively ) . in panel ( b ) , @xmath150 is varied ( @xmath181 , @xmath182 and  @xmath183 , indicated by squares , circles and triangles , respectively ) for fixed @xmath184 .
the solid line in both figures represents the hard - sphere result obtained by density - functional theory  @xcite and the dotted line pertains to the expression by vrij  @xcite for the ao model  @xcite.,title="fig : " ]   for the gaussian polymer model , eq .
( [ eq : gauss ] ) .
panel ( a ) pertains to a fixed interaction strength @xmath177 for various interaction widths @xmath178 , @xmath179 , @xmath180 ( triangles , circles and squares , respectively ) . in panel ( b ) , @xmath150 is varied ( @xmath181 , @xmath182 and  @xmath183 , indicated by squares , circles and triangles , respectively ) for fixed @xmath184 .
the solid line in both figures represents the hard - sphere result obtained by density - functional theory  @xcite and the dotted line pertains to the expression by vrij  @xcite for the ao model  @xcite.,title="fig : " ]    in order to demonstrate that these system can be accurately and efficiently simulated by means of the generalized gca , we study the depletion interactions between colloidal particles as a function of the width  @xmath113 and the strength @xmath150 .
the colloid and polymer volume fractions are fixed at @xmath185 and  @xmath186 , respectively , and their size ratio is set to  @xmath187 .
we employ the polymer coil diameter ( @xmath188 ) as unit length scale .
the simulation involves @xmath189 `` polymers '' and 20 colloidal particles .
figure  [ fig : gauss ] shows that the ao model generally overestimates the depletion attraction in both strength and range .
indeed , the soft - core polymer model yields an effective colloidal pair potential that decreases in strength and range with increasing @xmath113 and  @xmath150 .
in addition , this potential exhibits a repulsive barrier for a separation @xmath190 , owing to many - body effects that arise from the mutual repulsion between polymers .
by contrast , there is good agreement between the additive hard - sphere mixture and the gaussian polymer model , in particular for @xmath191 and @xmath192 .
interestingly , these are precisely the values that were found to reasonably represent dilute and semidilute self - avoiding random walk polymers  @xcite .
we have presented a detailed description of the generalized geometric cluster algorithm for continuum fluids introduced in ref .
@xcite , which is a generalization of the work by dress and krauth  @xcite . in order to emphasize the connection with the swendsen
wang algorithm for lattice models we have derived a multiple - cluster variant of the gca , in which a particle configuration is decomposed into clusters that can be independently point - reflected with respect to a given pivot point , without affecting the remainder of the system .
this algorithm establishes that it is generally possible to identify such clusters and to devise a rejection - free monte carlo scheme , independent of the detailed nature of the pair potentials between particles .
no restrictions are imposed upon the number of species involved , but ergodicity can only be maintained if not every cluster contains all particles of a given species .
for monodisperse hard - sphere fluids this implies a threshold packing fraction around  @xmath156 , which can be increased to approximately  @xmath157 if the pivot is placed in a biased manner . for interactions with a longer range
, the clusters will typically be larger and hence the maximum accessible volume fraction decreases .
the nonlocal character of the particle translations permits the efficient decorrelation of fluid mixtures that involve a strong size asymmetry between the components .
unavoidably , the resulting dynamics have no physical interpretation , but all thermodynamic equilibrium properties are identical to those sampled by conventional algorithms . while cluster - size distributions for the lennard - jones fluid indicate that the percolation threshold and the critical point do not coincide , the algorithm significantly accelerates canonical simulations at the critical point .
two specific example applications have been discussed , both involving depletion interactions in size - asymmetric binary mixtures . in the first illustration
, we assess the effect of attractive interactions between unlike species on the pair correlation function of the larger species .
this system has been investigated earlier by means of the hard - sphere gca supplemented by an acceptance criterion , and is included here to illustrate that it is possible to perform the calculation in a rejection - free manner . in the second illustration , we calculate the depletion interaction induced by a depletant that acts as a hard sphere for the larger species but has a gaussian interaction potential with other depletant particles . it is demonstrated how such calculations can be performed efficiently for relatively large size ratios and lead to depletion potentials that interpolate between the well - known ao potential and the depletion potential for binary hard - sphere mixtures .    a variety of extensions to the gca can be devised .
in particular , the application to nonspherical particles is straightforward , but may require an additional ( rotational ) monte carlo move that permits an efficient relaxation of the rotational degrees of freedom .
periodic boundary conditions are an essential ingredient for the point - reflection moves employed , but application to layered systems ( i.e. , with only a periodicity in the @xmath193 and  @xmath194 directions ) can be realized if the point reflection is performed in a horizontal plane and the relaxation along the @xmath195-coordinate is performed via local monte carlo moves . for strongly aspherical particles , the overlap threshold  and hence the range of accessible volume fractions
 decreases significantly .    in summary ,
the generalized gca offers a wide range of opportunities to efficiently simulate fluid systems that were hitherto inaccessible to computer simulations .
in addition , it may well be possible to generalize this algorithm to other situations in which cluster algorithms are employed , such as quantum - mechanical systems .
this material is based upon work supported by the national science foundation under career award no .
dmr-0346914 and grant no .
cts-0120978 and by the u.s .
department of energy , division of materials sciences under award no .
defg02 - 91er45439 , through the frederick seitz materials research laboratory at the university of illinois at urbana - champaign .