real networks contain unreliable components ; in critical infrastructures and technological networks some links may become non - operational owing to disasters or accidents , and in natural networks this might occur owing to pathologies . although the robustness and resilience of networks have been extensively investigated over the past decade @xcite , controllability methods for complex networks that can robustly manage structural changes have not been developed .
the existing research is limited to recent studies of network controllability under node attack and cascading failures using maximum matching @xcite , the discussion of quantitative measures of network robustness to investigate the effect of edge removal on the number of controllable nodes without a comprehensive theoretical analysis @xcite and studies on multi - agent systems under simultaneous failure of links and agents @xcite .
note that the problem of how the number of driver nodes change as function of removal fraction of edges @xcite and our question of how to design complex networks with structurally robust control feature are drastically different . while the former are heavily relying on percolation and cascading failure techniques well - studied over the past decade
, our work studies the minimum number of driver nodes to control the entire network against arbitrary single or multiple edge failures .    here
, we introduce the concept of structurally robust control of complex networks . to provide a concrete example ,
we adopt the minimum dominating set ( mds ) model because it has been widely applied to the control of engineering systems , such as mobile ad hoc networks ( manet ) , transportation routing , computer communication networks @xcite , design of swapped networks for constructing large parallel and distributed systems @xcite as well as the investigation of social influence propagation @xcite .
robust control theory emerged in the late 1970s and is based on linear , time - invariant transfer functions .
the controller is designed to change the system s model dynamics until it reaches a certain degree of uncertainty or disturbance .
thus , the system is designed to be robust or stable against the presence of bounded modelling errors . to address disturbances , techniques such as single - input
, single - output ( siso ) feedback and h - infinity loop - shaping were developed to avoid dynamic trajectories that deviate when disturbances enter the system @xcite .
although modern robust control engineering has been successfully applied to numerous real - world problems , such as stability in aircrafts and satellites and the efficiency of power , manufacturing , and chemical plants , it has not yet been applied to the problem of structural changes on a large network .
a set of nodes @xmath0 in a graph @xmath1 is a dominating set ( ds ) if every node in @xmath1 is either an element of @xmath0 or adjacent to an element of @xmath0 .
then , the mds approach states that a network is made structurally controllable by selecting an mds ( driver set ) because each dominated node has its own control signal @xcite ( see fig .
[ fig : schema]a ) .
recently , molnr et al . further studied the size of an mds by exhaustively comparing several types of artificial scale - free networks using a greedy algorithm @xcite .
interestingly , wuchty demonstrated the applicability of the mds approach @xcite to the controllability of protein interaction networks and showed that the minimum dominating set of proteins were enriched with essential , cancer - related and virus - targeted genes @xcite . whereas each element is controlled by at least one node in @xmath1 ( @xmath2=1 ) ( or is covered by itself ) in an mds , the novel robust mds ( rmds ) approach states that each node must be covered by itself or at least two nodes in @xmath1 ( @xmath2=2 ) ( see fig .  [
fig : schema]cd ) .
the analytical results and computer simulations demonstrate that a robust configuration ( @xmath2=2 , @xmath3=2 ) and non - robust configuration ( @xmath2=1 , @xmath3=1 ) of a scale - free network with minimum degree @xmath3 require the same order of driver nodes .
the robust configuration guarantees that the system remains controllable even under arbitrary single or multiple link failure .
this finding has remarkable implications for designing technical and natural systems that can still operate in the presence of unavailable or damaged links because the implementation of such a robust system in a large network does not change the order of the required controllers in a conventional system without robustness capability . as a byproduct of this research
, our results also demonstrate that the minimum degree @xmath3 in a network plays an important role in network controllability and significantly affects the size of the mds . in particular , for @xmath4 , the order of the size of an mds changes if the minimum degree changes , unveiling another tool to reduce the number of driver nodes .
these theoretical findings are confirmed by computer simulations and an analysis of real - world undirected , directed and bipartite networks .
in addition , the mds approach is extended to address probabilistic network domination when we consider the probability of link transmission failure .
the derived mathematical tools allow us to identify optimal controllability configurations in real biological systems , by mapping the synaptic unrealiability distribution experimentally observed in rat brains @xcite to the most well - known and recently updated neural network model for _ c. elegans _
organism @xcite .     * the mds model and the robust domination configuration . *
( a ) the network is structurally controllable by selecting a minimum dominating set ( mds ) because each dominated node has its own control signal .
a maximum matching approach needs three driver nodes @xmath5,@xmath6 , and @xmath7 , assuming a matching link from @xmath5 to @xmath8 .
in contrast , the mds only requires one node , @xmath5 .
the labels @xmath9 , @xmath10 and @xmath11 indicate control .
( b ) example of a dominating set ( ds ) in a graph @xmath1 .
a set of nodes @xmath0 ( filled ) in a graph @xmath1 is a dominating set if every node in @xmath1 is either an element of @xmath0 or adjacent to an element of @xmath0 .
( c ) the graph @xmath1 allows for an mds with cover @xmath2=1 composed of only three nodes .
( d ) example of a robust minimum dominating set ( rmds ) ( i.e. , an mds with cover @xmath2=2 ) . in an rmds ,
each node in @xmath1 is either an element of @xmath0 or adjacent to at least two elements of @xmath0 .
( e ) each edge ( @xmath12 , @xmath13 ) has a failure probability of @xmath14 highlighted in the figure . in a probabilistic minimum dominating set ( pmds ) , the approach shown here , each node
must be covered by multiple nodes in the mds so that the probability that at least one edge is active is at least @xmath15 .
for instance , @xmath16 must cover itself because the link ( @xmath17 ) is unreliable with a failure probability of 0.8 , which is higher than @xmath15 . ]
the concept of structural controllability was first introduced by lin @xcite for single - input systems and it was quickly extended to multi - input systems @xcite . the maximum matching ( mm ) algorithm identifies the minimum number of nodes to control the entire network , by providing a mapping between structural controllability and network structure @xcite .
however , there are several striking differences with mds approach : ( 1 ) by using mm approach , the fraction of driver nodes tends to be minimized in random networks .
the mds does not necessarily give a minimum number of driver nodes in the sense of mm approach .
however , mds gives less number of driver nodes in many cases , including scale - free networks in which hubs are present @xcite .
for example , consider the star graph ( all nodes but one node are leaves ) with @xmath18 leaves .
then , mm approach needs @xmath18 - 1 driver nodes whereas mds approach needs only one driver node .
( 2 ) the mm approach is based on linear systems whereas mds approach does not even need structural controllability : it is enough to assume that a node is controllable if it is directly connected to a driver node .
this represents one of the unique features of the mds model because it suggests that can be applied to a certain kind of nonlinear and/or discrete models .
however , these striking advantages have a price . ( 1 ) the set of driver nodes in mds is @xmath19 in scale - free networks with @xmath20 . ( 2 )
each edge has to be controlled independently . however , even in the case of @xmath19 , a relatively small number of drivers is required in most cases .
above all , the proposed concept of structurally robust control is an algorithmic - independent framework .
therefore , engineering applications of structurally robust control may flexibly give preference to one algorithm over another .
in the following , we present analytically derived predictions for the minimum number of drivers using the mds controllability approach by considering specific cases for the degree exponent @xmath22 and the minimum degree @xmath3
. then , the robust control is also analysed by considering the number of drivers @xmath2 required to cover each node .
we first assume that the minimum degree of an undirected graph @xmath23 with @xmath18 nodes and a degree distribution that follows a power - law @xmath24 is @xmath3 .
we then use a standard mean - field approach that assumes a continuum approximation for the degree @xmath25 , so that it becomes a continuous real variable @xcite .
we also note that there are some discussions on degree cut - off @xcite because our analysis assumes that there exist high - degree nodes .
however , we do not introduce such degree cut - off because we are performing a kind of mean - field analysis .
it is to be noted that scale - free networks are a kind of random networks and thus we can have a node with even degree @xmath26 with very small probability if @xmath27 @xcite . in the mean - field analysis ,
such rare cases are taken into account .
however , discussions of degree cut - off are based on average case analysis , and there does not exist a consensus cut - off value .
therefore , we do not introduce degree cut - off in our analysis .
the results of computer simulation support that our analysis is appropriate . note also that each node with degree more than 1 must be covered by @xmath2 nodes ( not by @xmath2 edges ) in our ilp formulation and thus the effect of multiple edges is eliminated in computer simulation . as it has been shown in the field of complex network science
, the analysis and classification of networks in terms of their degree distribution is a key feature to understand the complex behavior of complex systems . in particular
, the scale - free topology fundamentally changes the system s behavior , with broad implications from spreading processes on networks ( like for example the spread of infectious diseases ) to cascading failures @xcite .
it is therefore appropriate to examine the controllability problem in networks governed by power - law degree distributions .
first we assume that the minimum degree @xmath3 is 2 in an undirected graph @xmath23 , where @xmath28 is a set of @xmath18 nodes , and @xmath29 is a set of edges connecting nodes in @xmath28 . from the following equation : @xmath30 we have @xmath31 .
let @xmath32 be the set of nodes with degree between @xmath33 and @xmath18 .
then , the number of nodes in @xmath32 ( denoted by @xmath34 ) is @xmath35_{n^{\beta}}^{n }   = - 2^{\gamma-1 } n \cdot \left ( n^{1-\gamma } - n^{\beta(1-\gamma ) } \right )   \approx   2^{\gamma-1 } n^{1+\beta(1-\gamma)}.\ ] ]    let @xmath36 be the number of edges in @xmath23 .
then , @xmath36 is given by @xmath37 where the factor 2 in @xmath38 comes from the fact that each edge is counted by two nodes .
the number of edges that are connected to at least one node in @xmath32 ( i.e. , the number of edges covered by @xmath32 ) is lower bounded by @xmath39 it should be noted that @xmath40 gives a lower bound and the number of edges covered by @xmath32 may be much larger because this estimate considers the case where both endpoints of these edges are in @xmath32 .
the probability that an arbitrary edge is not covered by @xmath32 is upper bounded by @xmath41 then , the probability that a node with degree @xmath25 does not have any edge connected to @xmath32 is upper bounded by @xmath42 which is also upper bounded by @xmath43 because the minimum degree is assumed to be 2 .
therefore , the number of nodes ( denoted by @xmath44 ) not covered by @xmath32 is @xmath45 since we can have a dominating set if we merge these nodes with @xmath32 , the number of nodes in an mds is upper bounded by @xmath46 . to minimize the order of @xmath47 .
we let @xmath48 which results in @xmath49 by using this @xmath50 , an upper bound of the size of an mds is estimated as @xmath51    we can see that this order is smaller than that of our previous result on @xmath3=1 @xcite @xmath52 in particular , the above takes the minimum order @xmath53 when @xmath54 for @xmath3=1 whereas the new bound for @xmath3=2 takes the minimum order @xmath55 when @xmath56 ( see fig .
this difference comes from the fact that a node @xmath57 is regarded as not covered by @xmath32 if one specific edge connected to @xmath57 is not covered by @xmath32 in an existing analysis @xcite whereas a node @xmath57 is regarded as not covered by @xmath32 if no edge connected to @xmath57 is not covered by @xmath32 in this analysis .
we can extend the above result for the case where the minimum degree is @xmath3 , by replacing @xmath58 with @xmath59 then , we have @xmath60 by using this @xmath50 , an upper bound of the size of mds is estimated as @xmath61 this order of the mds size that scales as @xmath62 takes the minimum value when @xmath63 it is to be noted that although @xmath64 depends on @xmath3 , it does not affect the order of the mds size .
the scaling exponent @xmath65 for the order of the mds size is shown as a function of the degree exponent @xmath22 in fig .
this is our first main result and demonstrates that for scale - free networks with @xmath21 , the order of the mds size changes ( the exponent @xmath65 changes in functional form of @xmath62 ) when the minimum degree increases .
the dependence of the degree exponent @xmath66 that minimises the mds size on the minimum degree @xmath3 is also shown in fig . 2c .
the results demonstrate that a higher minimum degree makes it easier to control scale - free networks with @xmath21 ( fig .
2d ) .
next , we show the results for the robust domination ( rmds ) ( fig .
for an undirected graph @xmath23 and a positive integer @xmath2 , @xmath67 is called a @xmath2-robust dominating set if each node @xmath68 satisfies the following : either @xmath69 or @xmath57 is connected to @xmath2 or more nodes in @xmath70 . here
, we provide an upper bound of the size of the minimum @xmath2-robust dominating set .
note that an rds is a special case of a generalized dominating set @xcite , which has been studied in the context of the computational complexity .
however , it has not been investigated from the perspective of complex networks .
we consider the case of @xmath2-robust domination in which the minimum degree of @xmath23 is @xmath3 , where @xmath2 and @xmath3 are constants such that @xmath71 .    as in section ii.a ,
let @xmath32 be the set of nodes with degree between @xmath33 and @xmath18 .
then , the probability that a node is not covered by @xmath2 or more nodes in @xmath32 is bounded by @xmath72 where we do not include the factor of @xmath73 because we consider an upper bound .
this number is further bounded by @xmath74 for sufficiently large @xmath18 .
therefore , the number of nodes not covered by @xmath32 is @xmath75 where we let @xmath76 .
it is to be noted that a constant factor is ignored here because we use @xmath77-notation .
as before , by balancing the size of @xmath32 and the number of non - covered nodes , we have @xmath78 by using this @xmath50 , an upper bound of the size of rmds is estimated as @xmath79    this is our second and most important finding .
this result suggests that the case of an rmds with minimum cover @xmath2 and minimum degree @xmath3 corresponds to the case of an mds with the minimum degree @xmath80 .
for example , the case of an rmds with @xmath81 ( i.e. , the case where each node ( with a degree of at least 2 ) must be covered twice , and the minimum degree @xmath3 is 2 ) corresponds to the case of an mds with @xmath82 .    in all theoretical analyses in sections ii.a and ii.b , we assume that multi - edges ( i.e. , multiple edges between the same pair of nodes ) are allowed because it is known that there does not exist a network strictly following a power - law distribution with @xmath83 if multi - edges are not allowed @xcite .
however , even if multi - edges between the same pairs are replaced by single edges after generating a power - law network with multi - edges , the results should hold if the cover parameter @xmath2 is 1 because mds is only concerned with existence of an edge from each node not in mds to a node in mds .
if @xmath84 , we need to consider the possibility that some of @xmath2 edges are connected to a node @xmath57 are multi - edges because such @xmath57 may not be dominated by @xmath2 nodes .
we will show that such a factor can be ignored in many cases if we discuss the order of the size of mds .
of course , the resulting network does not strictly follow a power - law distribution if multi - edges are replaced by single edges . however , because any network with @xmath4 can not strictly follow a power - law distribution , our assumption seems reasonable .    here
we note that eqs .
( 4)(5 ) are identical to eqs .
( 1)(2 ) if we replace @xmath29 by @xmath3 .
it suggests that the case of rmds with the minimum cover @xmath2 and the minimum degree @xmath3 corresponds to the case of mds with the minimum degree @xmath80 .
for example , the case of rmds with @xmath81 corresponds to the case of mds with @xmath82 .    in the above
, we implicitly assumed that all @xmath2 edges are connected to different nodes in @xmath32 .
however , we need to consider the possibility that some of @xmath2 edges are connected to the same node in @xmath32 because we allow multi - edges in theoretical analyses .
suppose that @xmath2 ( or more ) edges from @xmath57 are connected to @xmath32 .
since the number of edges connected to a node of degree @xmath25 in @xmath32 is @xmath85 , there exist @xmath86 nodes of degree @xmath25 in @xmath32 , and there exist @xmath87 edges connected to @xmath32 , the probability that @xmath2 edges contain at least one common endpoint in @xmath32 is @xmath88 since there exist @xmath19 nodes covered by @xmath32 , the number of nodes not covered by @xmath2 different nodes would be @xmath89 if the exponent @xmath90 is smaller than that in eq .
( 6 ) , this factor does not affect the order of eq .
( 6 ) . for @xmath91
, it is true for @xmath92 .
however , if @xmath93 , it is true only for @xmath94 ( i.e. , @xmath95 ) .
therefore , we need to be careful if we consider the case of @xmath96 and @xmath93 .      [ [ analysis - of - lower - bound ] ] analysis of lower bound + + + + + + + + + + + + + + + + + + + + + + +    first we consider a lower bound .
let @xmath3 be the minimum degree . from @xmath98
, we have @xmath99 .    for @xmath100
, @xmath101 denotes the set of edges between @xmath0 and @xmath102 .
( i.e. , @xmath103 ) . here
we assume without loss of generality that @xmath104 because we are only interested in cases where @xmath105 is small compared with @xmath18 .
the following property is trivial @xmath106    let @xmath0 be the set of nodes whose degree is greater than or equal to @xmath107 .
we estimate the size of @xmath101 as follows .
@xmath108 if @xmath0 is a dominating set , the last term should be no less than @xmath109 .
therefore , the following inequality should be satisfied : @xmath110 by solving this inequality , we have @xmath111^{1/(\gamma-2 ) } ~=~ \left [ 2 d^{\gamma-1 } \cdot \left({\frac { \gamma-1}{\gamma-2 } } \right ) \right]^{1/(\gamma-2)}.\end{aligned}\ ] ] then , the size of @xmath0 is estimated as @xmath112^{-{\frac { \gamma-1 } { \gamma-2 } } } \cdot n. \label{eq : lb}\end{aligned}\ ] ]    we extend the above analysis to @xmath2-domination ( i.e. , each node must be covered by @xmath2 or more edges ) . in this case ,
( [ eq : nodom ] ) should be replaced by @xmath113 then , ineq .
( [ eq : domcond ] ) is also replaced by @xmath114 finally , we have @xmath115^{-{\frac { \gamma-1 } { \gamma-2 } } } \cdot n ~=~ \left ( { \frac c { 2 d^{\gamma-1 } } } \right ) ^{\frac { \gamma-1}{\gamma-2 } }   \cdot \left [ \left({\frac { \gamma-1}{\gamma-2 } } \right ) \right]^{-{\frac { \gamma-1 } { \gamma-2 } } } \cdot n .
\label{eq : lbc}\end{aligned}\ ] ] for example , consider the case of @xmath116 and @xmath117 for fixed @xmath3 . in this case , 2-domination requires @xmath118 times larger mds .
[ [ analysis - of - upper - bound ] ] analysis of upper bound + + + + + + + + + + + + + + + + + + + + + + +    next we consider an upper bound . as in the above
, we have @xmath99 .
let @xmath32 be the set of nodes with degree between @xmath119 and @xmath18 .
then , the size of @xmath32 , @xmath34 , is estimated as @xmath120_{b}^{n }   = - n d^{\gamma-1 } \cdot \left ( n^{1-\gamma } - b^{1-\gamma } \right )   \approx
n \cdot { \frac { d^{\gamma-1 } } { b^{\gamma-1}}}.\ ] ]    as in section  [ sec : gsmall ] , let @xmath36 and @xmath40 be the number of edges in @xmath23 and the number of edges connected to @xmath32 , respectively .
in addition , let @xmath3 denote the minimum degree .
then , we have @xmath121 the probability that an arbitrary edge is covered by @xmath32 is @xmath122 thus , a lower bound of the probability that an arbitrary node is not covered by @xmath2 or more edges is estimated as @xmath123^k \left [ 1- \left ( { \frac d b } \right)^{\gamma-2 } \right]^{d - k } ~=~ \sum_{k=0}^{c-1 }   \left ( \begin{array}{l } d \\ k \end{array } \right ) \left [ \left
( { \frac d b } \right)^{\gamma-2 } \right]^k \left [ 1- \left ( { \frac d b } \right)^{\gamma-2 } \right]^{d - k } .\end{aligned}\ ] ] since it is very difficult to consider a general pair @xmath124 , we consider the case of @xmath95 .
then , this probability is simplified into @xmath125 therefore , an upper bound @xmath126 of the size of mds is estimated as @xmath127 .\end{aligned}\ ] ] it is to be noted that this number does not give a meaningful bound for many @xmath128 .
for example , if @xmath129 and @xmath130 , @xmath131 holds .    by solving @xmath132 , we see that @xmath126 takes the minimum value @xmath133\end{aligned}\ ] ] at @xmath134 .
it is interesting to note that this minimum value does not depend on the minimum degree @xmath3 .
if @xmath135 ( i.e. , original mds ) , this minimum value is simplified into @xmath136.\end{aligned}\ ] ]    it is also interesting to consider the case of @xmath129 and @xmath137 . in this case , @xmath126 is given by @xmath138 ^ 2 \right\ } .\end{aligned}\ ] ] although it is difficult to analytically derive its minimum , we can estimate it by numerical computation .
3 compares upper bounds for @xmath139 and @xmath140 and lower bounds for @xmath139 .
this figure shows that the upper bound becomes smaller as @xmath3 increases in the case of @xmath129 .     and lower bounds for @xmath139.,width=453 ]    although , as shown in fig .
4 , the gap between the derived lower and upper bounds is large ( especially for larger @xmath2 and @xmath3 ) , these are not trivial .
for example , suppose that there exist two nodes with degree no less than @xmath26 .
then , the size of rmds for @xmath116 is 2 , which is @xmath141 ( much less than @xmath19 ) .
the @xmath142 lower bound suggests that such a case seldom occurs in random scale - free networks .
let @xmath23 be an undirected graph , where @xmath28 and @xmath29 are sets of nodes and edges , respectively .
we begin with ilp ( integer linear programming)-formulation for computation of an mds @xcite . from @xmath23
, we construct the following ilp instance : @xmath143 then , the set @xmath144 clearly gives an mds .
it is known that , in contrast to the bipartite matching @xcite , the mds problem is np - hard
. therefore , it is reasonable to use ilp .
suppose that each node must be covered twice except degree 1 and 0 nodes .
then , we can formulate this _ robust dominating set _
problem for @xmath116 ( i.e. , each node ( with degree greater than 2 ) is either in mds or is covered by at least two nodes in mds , where each node with degree 1 is either in mds or is covered by at least one node in mds ) as follows .
because it is impossible to cover each degree 1 node by two edges , we have introduced this exceptional handling of degree 1 nodes . however , if the minimum degree is 2 or more , we need not consider this exceptional case .
@xmath145    however , * glpsol * ( gnu linear programming solver ) executable could not solve this problem in reasonable cpu time .
so , we strengthen the condition so that each node with degree greater than 2 is covered by at least two nodes in mds even if the node belongs to mds . then , the resulting ip becomes as follows .
@xmath146    it is to be noted that the solution obtained by the above ilp also satisfies the conditions of the original formulation .
therefore , the solution obtained by this ilp also gives a robust dominating set although it is not necessarily minimum .
we can also consider a variant of mds in which weight @xmath147 is assigned for each edge and each node @xmath148 must be covered by edges with total weight @xmath149 .
then , this variant can be formulated as    @xmath150      for the mds ( @xmath2=1 ) and rmds ( @xmath2=2 ) configurations computed in real - world and simulated networks , the optimal solution was calculated using glpsol solver ( http://www.gnu.org/software/glpk ) .
the gnu linear programming kit ( glpk ) supplies a software package intended for solving large - scale linear programming ( lp ) , mixed integer programming ( mip ) , and other related problems . in our problem , after translating the mathematical problem into an ilp problem , the input model is solved using gnu linear programming solver ( glpsol ) executable .    for the probabilistic mds ( pmds ) , to be shown later , the optimal solution for the ilp - formulation was calculated using the ibm ilog cplex optimizer studio ver.12.02 . as the glpk , it is a software package that allows to solve large - scale mathematical optimization problems .
the computation of the pmds is more intensive than that of mds and rmds , therefore we used cplex because it performed faster than glpk to find the optimal solution .
we employ the following algorithm to construct unipartite scale - free networks of size @xmath18 , in which the degree distribution of @xmath28 ( a set of nodes ) follows @xmath151 under the constraint that the minimum and maximum degrees are @xmath3 and @xmath18 , respectively .    for given @xmath152
we generate a random unipartite network in the following way .    * for each node @xmath68 , generate half edges @xmath153 ( @xmath154 is a virtual node ) according to the degree distribution @xmath155 under the constraint of the minimum degree @xmath3 and the maximum degree @xmath18 , where @xmath64 is selected so that the number of nodes in @xmath28 is almost @xmath18 .
* repeat the following until there are almost no remaining half edges : randomly select non - connected @xmath156 and @xmath157 such that @xmath158 and then connect @xmath57 and @xmath159 .
the probabilistic mds , to be introduced later , was computed using generated samples of synthetic scale - free networks with a variety of scaling exponent @xmath22 and average degree @xmath160 values using the havel - hakimi algorithm with random ( monte - carlo ) edge swaps ( hmc ) @xcite .      to confirm the theoretical predictions shown above , we constructed artificial scale - free networks with a variety of degree exponents @xmath22 and minimum degree @xmath3=1 and @xmath3=2 .
an ensemble of scale - free networks was constructed for each network size up to 10,000 nodes , and the mean value together with standard error of the mean ( s.e.m . ) for mds size with @xmath2=1 and @xmath2=2 were computed .
for @xmath21 , the theoretical results predict the same order of mds size ( the same exponent @xmath65 in the scaling function @xmath62 ) for configurations ( @xmath3=2 , @xmath2=2 ) and ( @xmath3=1 , @xmath2=1 ) ( see eq .
in contrast , the results predict a different scaling for the configuration ( @xmath3=2 , @xmath2=1 ) , as shown by eq .
3 . fig .
[ fig : combined_sim ] presents the simulation results for @xmath21 , which agree with the analytical predictions .    for @xmath161
, the analytical computations predict the same scaling functional form @xmath62 with @xmath162 for all the three configurations .
the simulation results agree with this prediction with high accuracy ( see figs . 6 and 7 ) .
we used the concepts and mathematical tools presented above to investigate the robust control of several real networks .
the experimental data analysis includes undirected , directed and bipartite networks from biological and socio - technical systems ( see tables 1 , 2 and 3 ) .
we first present the results for undirected networks and show that the mds density for @xmath2=1 increases with increasing @xmath22 .
the computation of the robust mds density ( @xmath2=2 ) exhibits a similar dependency , as predicted by eq .
interestingly , the mds ratio for @xmath2=2 and @xmath2=1 differs , on average , by a factor of 2 or less ( fig .
9d ) , in agreement with the theoretical predictions shown in fig .
4c . when overlapping the real data and the predictions from eqs . 9 and 10 for the lower and upper bounds , respectively , for networks with @xmath161 , we see that the real data are always within the theoretical boundaries ( fig . 10 ) .
the mds size for both @xmath2=1 and @xmath2=2 scales linearly with @xmath18 ( see fig .
[ fig:2x3]a ) , which is in agreement with the theoretical predictions shown in eqs .
9 and 10 for @xmath161 and the computer simulations ( see figs .
note that fig .
8 displays the mds fraction , and fig .
[ fig:2x3]a represents the mds size .    to investigate the influence of the frequency of nodes with degree 1 and 2 ( @xmath163 and @xmath164 ) on robust control , we computed mds1 and mds2 versus @xmath165 and @xmath166 .
we then calculated the ratio of @xmath167 versus @xmath165 and @xmath166 .
the results indicate that a small @xmath165 and large @xmath166 tend to be associated with a small mds density ( see fig .
the ratio of mds2/mds1 is less than 2 in most cases .
the analysis for directed networks included an internet peer - to - peer ( p2p ) network , the transcriptional regulatory network for _ e. coli _ from the regulon database , a set of food webs from different ecosystems , u.s .
political blogs and the chemical synapse network for _ c. elegans_. the results demonstrate that mds1 and mds2 densities increase with increasing @xmath168 ( figs .
12a - b ) and @xmath169 ( fig .
13a - b ) , which is in agreement with the dependence found for undirected networks .
in addition , the mds sizes for @xmath2=1 and @xmath2=2 scale linearly with @xmath18 ( fig .
moreover , as in the undirected case , the mds ratio between @xmath2=1 and @xmath2=2 is almost always less than two , with only one exception ( see fig .
moreover , less than 50@xmath170 of nodes are needed to control the network in both the typical ( @xmath2=1 ) and robust ( @xmath2=2 ) control configurations ( see figs .
12c - d and 13c - d ) .
we define a bipartite graph as @xmath171 , where @xmath172 is a set of top nodes , @xmath173 is a set of bottom nodes , and @xmath29 is a set of edges ( @xmath174 ) . in our analysis ,
the directions of the edges are considered from @xmath172 to @xmath173 .
therefore , the set of driver nodes will be a subset of @xmath172 , where nodes in @xmath172 need not be covered .
the computation of an mds of a bipartite network is equivalent to the computation of a minimum set cover .
although it is an np - hard problem , we have verified that the optimal solution is obtained in networks with power - law distributions of up to approximately 110,000 nodes within a few seconds .
the computation was formalised as the following integer linear programming ( ilp ) problem @xmath175      the above mentioned ilp can be extended for computation of an rmds in bipartite networks .
it is formalized as @xmath176 where @xmath177 indicates the degree of node @xmath148 . it should be noted that for any node @xmath178 with degree 1 , it is not possible to cover @xmath148 twice and thus we must relax the condition for these nodes .
we employ the following algorithm to construct bipartite scale - free networks , in which the degree distributions of @xmath172 and @xmath173 follow @xmath179 and @xmath180 , respectively . here , we consider @xmath181 and @xmath182 .
the maximum degree for the nodes in @xmath172 corresponds to @xmath183 .
then , for given @xmath183 , @xmath184 , @xmath185 we generate a random bipartite network in the following way .    * for each node @xmath186 , generate half edges @xmath156 ( @xmath154 is a virtual node ) according to the degree distribution @xmath187 where @xmath188 is selected so that the number of nodes in @xmath172 is almost @xmath183 .
* for each node @xmath189 , generate half edges @xmath190 ( @xmath191 is a virtual node ) according to the degree distribution @xmath192 where @xmath193 is selected so that the number of @xmath194s is equal to the number of @xmath195s .
* randomly connect @xmath196s and @xmath194s in a one - to - one manner .
it is to be noted that @xmath197 ( the number of nodes of @xmath173 ) is determined automatically in step 2 to satisfy the condition on edge numbers .
we collected a set of 10 real - world bipartite networks corresponding to socio - technical ( fig .
14a ) and biological systems ( fig . 14b ) .
we then formalised and computed the mds for the @xmath2=1 and @xmath2=2 configurations .
although the mds with @xmath2=2 is always larger than the mds with @xmath2=1 , the difference is proportionally very small in most cases .
14ab also illustrates that biological systems tend to require a larger mds size than socio - technical systems .
the computer simulation of ensembles of bipartite scale - free networks with a variety of degree exponents also demonstrates that @xmath2=1 , @xmath3=1 and @xmath2=2 , @xmath3=2 can control the network with a similar fraction of nodes .
therefore , robustly controlling a bipartite network requires a similar fraction of nodes as the typical , non - robust system ( see figs .
in some real networks , each link has a probability of failing , which leads to the probabilistic concept of robust control ( pmds ) .
for example , experimental analyses on neural networks have confirmed the unreliability of central synaptic transmission in rat brains @xcite . the mean transmission failure probability was found to be @xmath198=0.71 , with a range of 0.3 to 0.95 ( @xmath199=0.24 ) . in this work
, we used the well - studied _ c. elegans _ neural network to investigate probabilistic robust control . to investigate this type of systems from a theoretical perspective using the robust mds approach
, we assume that each edge @xmath200 has the probability of failure @xmath201 ( see fig .
[ fig : schema]e ) .
we require that each node is covered by multiple nodes in an mds so that the probability that at least one edge is active is at least @xmath202 .
let @xmath0 be a ds then , @xmath0 must satisfy    @xmath203    as we will show later , this problem can be also formalized and solved using integer linear programming ( ilp ) .
first , we consider the case of @xmath82 ( i.e. , the minimum degree is 1 ) and @xmath204 .
let @xmath32 be an mds for @xmath23 for the non - probabilistic version .
let @xmath205 be a set of degree 1 nodes each of which does not belong to @xmath32 but is dominated by a node in @xmath32 .
let @xmath206 be the only edge connecting to @xmath207 .
we can observe :    _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ if @xmath208 , @xmath57 must be covered by itself .
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _    therefore , all nodes in @xmath205 should be added to @xmath32 ( in a probabilistic version ) when @xmath209 .
therefore , it is expected that the mds size increases approximately from @xmath210 to @xmath211 at around @xmath212 . for example , consider the case of @xmath213 . then , there should be great increase of the mds size at @xmath214 .
it shows good agreement with the simulation result ( see figs .
16 - 17 ) .
we can extend the above analysis to the case of @xmath137 ( i.e. , the minimum degree is 2 ) and @xmath204 .
let @xmath32 be an mds for @xmath23 for the non - probabilistic version .
in this case , we consider two types of nodes of degree 2 :    * @xmath57 has one edge connecting to a node in @xmath32 , * @xmath57 has two edges connecting to nodes in @xmath32 ,    where each node does not belong to @xmath32 but is dominated by a node in @xmath32 .
let @xmath215 and @xmath216 be the sets of type ( a ) and type ( b ) nodes , respectively .
then , nodes in @xmath215 should be added to @xmath32 if @xmath217 . on the other hand , nodes in @xmath216
should be added to @xmath32 if @xmath218 .
therefore , it is expected that the mds size increases approximately from @xmath210 to @xmath219 at around @xmath212 and from @xmath219 to @xmath220 at around @xmath221 . in the case of @xmath213 ,
these two threshold values are @xmath222 and @xmath223 , in good agreement with the simulation result .
next , we consider the case of @xmath82 and @xmath224 . as in the above ,
let @xmath32 be an mds for @xmath23 for the non - probabilistic version , and let @xmath205 be a set of degree 1 nodes each of which does not belong to @xmath32 but is dominated by a node in @xmath32 .
let @xmath225 be the only edge connecting to @xmath207 .
let @xmath226 be the failure probability of this edge @xmath227 , where @xmath228 .
we can observe :    _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ if @xmath229 , @xmath57 must be covered by itself .
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _    we define @xmath230 by @xmath231 therefore , all nodes in @xmath230 should be added to a ds ( in a probabilistic version ) where @xmath232 . here , the size of @xmath230 is estimated as latexmath:[\ ] ] again , the fraction is given by @xmath255 .
the simulation results with 1,000 nodes for @xmath3=1 , @xmath3=2 with @xmath244 configurations are shown in figs .
we also compared the theoretical results for the case @xmath137 with those from the simulations performed on scale - free networks with @xmath137 and @xmath130 .
the plots show a similar overall tendendy although the inflection point is more noticiable in the theoretical curve ( see fig .
it is worth noticing that the theoretical values @xmath256 and @xmath257 are scaled so that these take almost the same values as the simulated ones at the beginning and ending points ( i.e. , so that the values take between 0.3 and 0.85 instead of between 0.0 and 1.0 ) since it is assumed in theoretical analysis that all nodes are of degree 2 and the effects of the other nodes are ignored ( note also that degree 2 nodes occupy a major portion of nodes in the case of @xmath137 ) .
this comparison result suggests that theoretical analysis captures some tendency even if nodes with degree more than 2 are ignored .
we assume that each edge @xmath200 has the probability of failure @xmath201 .
we want each node be covered by multiple nodes in mds so that the probability that at least one edge is active is at least @xmath202 .
let @xmath0 be a dominating set .
then , we require @xmath0 to satisfy @xmath258 then , we have @xmath259    then , we have    @xmath260    where @xmath177 indicates the degree of node @xmath148 .
recent reconstructions of the _ c. elegans _ neural network have significantly updated the wiring diagram of the somatic nervous system .
the new reconstruction includes original data from white et al .
@xcite , hall and russel @xcite and adds new information . in particular , 3,000 synaptic contacts , including gap junctions , chemical synapses and neuromuscular juctions were updated or added to the latest network version @xcite . as as a result
, the large - scale structure of the network has significantly changed with respect to that of white et al . here , we focus on the connectivity of gap junction and chemical synapse networks of _ c. elegans _ neurons .
the channels that provide electrical coupling between neurons are called gap junctions .
in contrast , chemical synapses use neurotransmitters to link neurons .
because these network are biologically different , they are treated independently , as done in @xcite .
although it might be possible that gap junctions could conduct current in only one direction , this feature has not been observed or confirmed yet in _ c. elegans
therefore , this network was considered as undirected network .
the chemical synapses , in contrast , contains directionality capability , a feature that has been confirmed using micrographs @xcite .
the analyzed gap junction network consisted of 279 neurons and 514 gap junction connections .
the giant connected component is composed of 248 neurons and two smaller components of 2 and 3 neurons . after removing the 26 isolated neurons , we performed our analysis using 253 neurons and 514 connections .
the statistical analysis revealed a power - law distribution for the degree distribution with a characteristic degree exponent of @xmath22=3.14 @xcite .
the chemical synapse network consisted of 279 neurons and 2,194 directed connections .
the statistical analysis showed that the in - degree ( out - degree ) distribution followed a power - law with degree exponent @xmath169=3.17 ( @xmath168=4.22 ) , respectively .
these results contrast with analyses done using the dataset from white et al .
@xcite , which reported an exponential decay for the degree distribution @xcite .
experimental analyses on neural networks have confirmed the unreliability of central synaptic transmission in rat brains @xcite . the mean transmission failure probability was found to be @xmath198=0.71 , with a range from 0.3 to 0.95 ( @xmath199=0.24 ) . in this work
, we used the most well - studied neural network corresponding to the _ c. elegans _
( chemical synapse and gap junction ) to investigate probabilistic robust control . a visual representation of experimental neural gap junction ( undirected ) for _ c. elegans _
is shown in fig .
19 . a transmission failure probability distribution similar to that observed in rat brains was mapped on the links of these networks , making a fraction of them unreliable .
the results of the analyses are described in figs .
16 - 17 for computer simulations and figs .
20 - 22 for real neural gap junction and chemical synapse networks and suggest that the presence of variance of the failure probability @xmath199 does not significantly affect the fraction of driver nodes .
in contrast , it is strongly affected by both the minimum degree @xmath3 and the average failure probability @xmath198 .
this biological example of unreliable links suggests that theoretical results and simulations on probabilistic robust control analysis may have an impact on understanding and controlling at will real - world systems with unreliable components .
we have introduced the concept of structurally robust control of complex networks and have used the mds model , which is widely applied in engineering problems , to illustrate an example of robust complex network controllability .
counterintuitively , the developed analytical tools , computer simulations and real - world network analyses demonstrate that robust control in a large network does not change the order of required driver nodes compared to a conventional system without such robust capability .
when using an mds with @xmath2=1 , @xmath3=1 , the system can easily become uncontrollable if only one power or communication line fails during major natural disasters .
in contrast , in the rmds framework ( @xmath2=2 , @xmath3=2 ) the system remains controllable even under arbitrary single or multiple link failure .
therefore , both configurations require exactly the same order of controllers .
engineering and biological systems could benefit from these findings .
in addition , the order of the mds changes for @xmath4 by changing the minimum degree @xmath3 ( e.g. , constructing real networks with degree @xmath261 ) , unveiling another tool to decrease the number of driver nodes . because some real networks have unreliable links , we have extended our framework to probabilistic robust control ( pmds ) and have successfully applied the developed analytical tools to real neural networks of _ c. elegans _ with unreliable synaptic transmission . with the forthcoming comprehensive map of neural connections in the human brain @xcite ,
the presented method could offer new avenues to examine the brain s large - scale structure , to address synaptic reliability and to stimulate large fractions of the brain by interacting only with relatively few components .
the proposed concept of structurally robust control of complex networks could also be investigated using a different algorithmic framework . as discussed above , we selected the mds model because it has already found applications in real engineering systems . however , the concept could also be mathematically formalised and implemented using , for example , the maximum matching model @xcite . in this case ,
additional computations would be needed to investigate the order of drivers in an optimal robust control configuration ; therefore , this analysis is left for future work .
in addition , the presented method can also address the simultaneous failure of multiple links .
the aim of the rmds ( @xmath2=2 ) framework is to construct a system that remains controllable even if an arbitrary link is damaged .
however , the developed analytical tools also allow us to design a system with a more robust configuration ( @xmath2=3 ) or ( @xmath2=4 ) so that the network is still controllable even in case of arbitrary failure of pair or triplet of links , respectively .
the emerging picture for probabilistic failure or malfunction of transportation and transmission lines in real - world complex infrastructures , socio - technical networks and biological networks emphasizes the importance and role of the presented robust ds approach for controllability .
the proposed framework and tools offer a new direction for understanding the linkage between controllability and robustness in complex networks , with implications from engineering to biological systems .
was partially supported by mext , japan ( grant - in - aid 25330351 ) and t.a . was partially supported by mext , japan ( grant - in - aid 26540125 ) .
this work was also partially supported by research collaboration projects by institute for chemical research , kyoto university .
= 1 and @xmath2=2 as shown in legend .
note that social networks tend to be controlled with a smaller fraction of nodes compared to biological networks .
( c - d ) computation of the mds in synthetic bipartite networks generated with the model shown in section iv.c with several values of degree exponents @xmath184 and @xmath185 and three configurations ( @xmath2=1 , @xmath3=1 ) , ( @xmath2=2 , @xmath3=1 ) and ( @xmath2=2 , @xmath3=2 ) . note that the minimum degree @xmath137 almost completely compensates the increasing of the mds size from the robust control @xmath2=2.,width=604 ]    = 2 and @xmath244 . * in order to estimate the fraction of degree-2 nodes to be added to a ds , it is enough to consider the regions ( a ) and ( b ) for the cases of @xmath248 and @xmath253 , respectively.,width=529 ]      .*the real undirected networks analysed in this work . *
type , name and description of each undirected network .
we used the discrete maximum - likelihood fitting method to estimate the degree exponent @xmath22 from the cumulative degree distribution of each network @xcite .
the standard error of @xmath22 is derived from the width of the maximum likelihood .
the same method was used to estimate the degree exponent in the directed and bipartite networks shown in tables 2 and 3 . [ cols="<,<,<,<",options="header " , ]


molecular dynamics ( md ) simulations of macromolecules such as proteins and polymers have become increasingly common as forcefields have improved and computers have become more powerful . of particular interest is the integration of md simulations with nuclear overhauser effect spectroscopy ( noesy ) , and variants thereof , which directly probe the nuclear dipole - dipole interactions , and which have proven to yield unique information about the structure and dynamics of macromolecules @xcite .
an important approach in the interpretation of non - rigid macromolecules has been the separation of the fast internal dynamics which are accessible by md simulations , from the much slower dynamics related to rotation of the entire macromolecule .
a popular technique for this separation has been the model - free lipari - szabo approach @xcite , which yields important information about the structure and dynamics of the non - rigid branches and internal motions of the macromolecules .
the integration of md simulations and nmr measurements presented here also requires state of the art in both computation and measurement . on the measurement side ,
such studies require careful de - oxygenation of the fluid for accurate measurements of the intrinsic nmr relaxation times @xcite , as well as diffusion experiments free of convection and hardware artifacts @xcite . on the computational side , with current empirical potential ( forcefield ) models
it is now possible to readily access @xmath10  ns time scales that are of interest in understanding relaxation processes in confined fluids .
but care is needed in ensuring the potential models are reasonable and the simulations are well - crafted .
one emerging area of interest for integrating md simulations with nmr measurement is in porous organic media such as kerogen , where the phase - behavior and transport properties of hydrocarbons and water are greatly affected by confinement in the organic nanometer - sized pores .
studies of fluid confinement in organic nano - pores is of great interest in characterizing organic - shale reservoirs such as gas - shale and tight - oil shale @xcite .
for example , md simulations are well suited for investigating the effects of wettability alterations in organic matter @xcite , or the effects of restricted diffusion and pore connectivity of organic nano - pores .
recent md simulations of fluids confined in graphitic nano - pores have shown promising results for molecular interactions between surfaces and fluids such as hydrocarbons and water @xcite .
recent nmr measurements of hydrocarbons and water confined in the organic nano - pores of isolated kerogen indicate that @xmath0h@xmath0h dipole - dipole interactions play a key role in surface relaxivity , pore - size analysis , and fluid typing @xcite
. however , to the best of the authors knowledge , no comprehensive studies have been performed which integrate md simulations with nmr measurements of hydrocarbons and water , either in the bulk phase or under confinement in porous media , even though the techniques exist to generate molecular models of kerogen for md simulations @xcite .
another emerging area of interest is in using md simulations to characterize the nmr relaxation in complex multi - component fluids such as heavy crude - oils @xcite , or model systems for crude - oils such as polymer - solvent mixes @xcite . in such cases
the lipari - szabo model is a good approach for separating the slow dynamics related to viscosity from the fast dynamics related to local non - rigid molecular motions .
the objective in such cases is to obtain a more fundamental understanding of the nmr relaxation and diffusion of crude - oils , thereby helping to characterize petroleum fluids .
the first step in embarking in such studies is to successfully integrate md simulations and nmr measurements of relaxation and diffusion for bulk hydrocarbons and bulk water .
this report presents such a task , and validates the forcefields used in md simulations for bulk hydrocarbons and water , without any adjustable parameters in the interpretation of the simulation data .
the md simulations are then used to distinguish intramolecular from intermolecular nmr relaxation .
our studies provide new insight into the two relaxation mechanisms , which is not straightforward to do from nmr measurements alone @xcite .
a comprehensive investigation into the two relaxation mechanisms is required to improve the characterization of macromolecules such as proteins and polymers , where typically only the intramolecular interaction is considered @xcite , without any substantial justification .
the rest of the article is organized as follows .
the methodology behind the md simulations of nmr relaxation and diffusion are presented in section [ sc : method ] .
this is followed by results and discussions in section [ sc : results ] , including correlation between simulations and measurements , intramolecular versus intermolecular interactions , and , analysis using traditional hard - sphere models .
conclusions are presented in section [ sc : conc ] .
this section presents details of the molecular simulation procedure , the nmr relaxation analysis , and the diffusion analysis .
the molecular simulations were performed using namd @xcite version 2.11 .
the bulk alkanes were modeled using the charmm general force field ( cgenff ) @xcite and bulk water was modeled using the tip4p/2005 model @xcite . in the case of water , the relaxation behavior ( see below ) using the more refined amoeba polarizable model @xcite was in excellent agreement with predictions based on tip4p/2005 ( data not shown ) . given the typically greater challenge in modeling water , we thus expect the relaxation behavior in alkanes modeled with a polarizable model and the modern cgenff non - polarizable model to be comparable .
thus for computational economy , in this study we used non - polarizable models throughout .
( the good agreement between simulations and experiments supports this suggestion . )
the simulation cells for the hydrocarbons were constructed as follows .
we first construct a single molecule using the avogadro program @xcite .
we than create @xmath11 copies of this molecule and pack it into a cube of volume @xmath12 using the packmol program @xcite .
the volume is chosen such that the number density @xmath13 corresponds to the experimentally determined number density at 293.15  k ( 20@xmath14c ) .
all the subsequent simulations are performed at this number density and temperature due to the availability of density @xcite and viscosity @xcite data at that temperature .
this initial system was energy minimized to relieve any energetic strain due to limitations in the packing procedure .
for the water simulation , we used an existing equilibrated simulation cell for the present study .
the alkane simulations typically comprised between 1660 ( @xmath1-c@xmath2h@xmath3 ) and 2125 ( @xmath1-c@xmath4h@xmath5 ) carbon atoms , while the water system comprised 512 water molecules .    for the molecular dynamics simulations , the equations of motion
were propagated using the verlet algorithm with a time step of 1.0  fs .
( the shake @xcite procedure was used to constrain the geometry of water molecules , but the c  h bond in the alkane was not similarly constrained . )
we first equilibrate the simulation cell for 2  ns at a temperature of 293.15  k. the temperature was controlled by reassigning velocities ( obtained from a maxwell - boltzmann distribution ) every 250  fs .
the lennard - jones interactions were terminated at 14.00   ( 11   for water ) by smoothly switching to zero starting at 13.00   ( 10   for water ) .
electrostatic interactions were treated with the particle mesh ewald method with a grid spacing of 0.5  ; the real - space contributions to the electrostatic interaction were cutoff at 14.00   . for water
the equilibration was for 0.25  ns .
we started the production run of 2  ns time from the end - point of the equilibration run .
since the dynamics of relaxation are of first interest here , the production phase was performed at constant density and energy ( nve ensemble ) , i.e.  the system was not thermostated .
the average temperature of the system is within 2  k of the target ( 293.15  k ) for all the alkanes except @xmath1-c@xmath15h@xmath3 ( pentane ) for which the deviation was about 3  k. as a further check of the simulation , we also monitored the average energy of the system .
all the simulations showed excellent energy conservation , with the standard error of the mean energy relative to the mean energy being less than @xmath16 . in the production phase
, configurations were saved every 0.1  ps for the hydrocarbons and 0.125  ps for water .
the theory of nmr relaxation in liquids is very well established @xcite , and for brevity we consider only the essential details .
the autocorrelation function @xmath17 of fluctuating magnetic dipole - dipole interactions is central to the development of nmr relaxation theory in liquids .
this autocorrelation is also well suited for computation using md simulations @xcite . using the convention in the text by mcconnell @xcite , @xmath18 ( in units of s@xmath19 )
is given by @xmath20 where @xmath21 is the lag time in the autocorrelation , @xmath22 is the vacuum permeability , @xmath23 is the reduced planck constant , and @xmath24 is the gyromagnetic ratio .
@xmath25 , where @xmath26 is the polar angle ( see fig .
[ fg : hept ] ) and @xmath27 the azimuthal angle .
the ensemble average is performed by a double summation over spin pairs @xmath28 and @xmath29 of the nuclear ensemble , with @xmath30 .
the subscripts @xmath31 and @xmath32 correspond to the partial ensembles @xmath33 and @xmath34 for intramolecular or intermolecular @xmath0h@xmath0h dipole - dipole interactions , respectively .
this is illustrated in fig .
[ fg : hept ] ,    -c@xmath35h@xmath36 ( heptane ) molecules , with hydrogen ( white ) and carbon ( black ) atoms .
a @xmath0h nuclear spin is shown interacting with a neighboring @xmath0h nuclear spin on the same heptane molecule , known as the intramolecular dipole - dipole interaction ( red ) which is characterized by the rotation correlation time @xmath37 of a single molecule .
the same @xmath0h nuclear spin is also shown interacting with a @xmath0h nuclear spin from a different heptane molecule , known as the intermolecular dipole - dipole interaction ( blue ) which is characterized by the translational correlation time @xmath38 between molecules .
axes illustrate the distance @xmath39 between nuclear spins * i@xmath40 * and * i@xmath41 * with respect to the applied static magnetic - field direction @xmath42 , and corresponding polar angle @xmath43 . ]    where the intramolecular interaction corresponds to @xmath44 in the case of heptane ( @xmath1-c@xmath35h@xmath36 ) , while @xmath34 corresponds to @xmath0h in all other molecules .
the partition into partial ensembles @xmath33 and @xmath34 is a straight - forward book - keeping step in md simulations , and leads to a clear separation of @xmath45 and @xmath46 . the brackets in eq .
[ eq : gmrty ] refer to the average over recorded time @xmath47 during the production run : @xmath48 where @xmath47 is recorded in 0.1 ps increments , with a total of @xmath4920000 for hydrocarbons and @xmath50 for water .
for spherically symmetric systems such as the bulk fluids in question , the autocorrelation function @xmath51 is independent of the order @xmath52 , which amounts to saying that the direction of the applied magnetic field @xmath42 is arbitrary . for simplicity ,
we study the @xmath53 harmonic @xmath54 @xcite by md simulations .
thus the final expression for the autocorrelation used here is : @xmath55    from the stored simulation trajectory , both an ensemble average over @xmath33 or @xmath34 and a time average over @xmath47 were performed in eq .
[ eq : gmrt ] . to economize on computational time
used in the analysis , for all the systems , only a subset of molecules was sampled for constructing the above average . for a chosen molecule ,
a hydrogen is first selected and its separation ( @xmath56 ) from all other hydrogen nuclei on the chosen molecule is recorded ( intramolecular ) , as well as the separation from all other hydrogen nuclei in the rest of the fluid ( intermolecular ) .
such a record is then constructed for all time points @xmath47 . from the record of @xmath57 and @xmath58 ( fig .
[ fg : hept ] ) , we calculated @xmath59 at different lag times @xmath21 using fast fourier transforms for computational efficiency ( the code is available upon request ) .
the computed lag time ranged from 0 ps @xmath60 150 ps in increments of 0.1  ps for hydrocarbons and 0 ps @xmath60 50 ps for water in increments of 0.125 ps .     for intramolecular interactions using eq .
[ eq : gmrt ] and ( b ) autocorrelation function @xmath61 for intermolecular interactions using eq .
[ eq : gmrt ] , for bulk alkanes ( solid lines , arrow shows increasing carbon number ) and water ( blue line ) , at @xmath62c .
@xmath63-axis has been normalized by zero time value @xmath64 , and @xmath65-axis has been normalized by correlation time @xmath66 ( eq . [ eq : taurt ] ) . the relaxation behavior based on the traditional hard - sphere model ( eq .
[ eq : gmodel ] ) is indicated by the black dashed line.,title="fig : " ]   for intramolecular interactions using eq .
[ eq : gmrt ] and ( b ) autocorrelation function @xmath61 for intermolecular interactions using eq .
[ eq : gmrt ] , for bulk alkanes ( solid lines , arrow shows increasing carbon number ) and water ( blue line ) , at @xmath62c .
@xmath63-axis has been normalized by zero time value @xmath64 , and @xmath65-axis has been normalized by correlation time @xmath66 ( eq . [ eq : taurt ] ) . the relaxation behavior based on the traditional hard - sphere model ( eq .  [ eq : gmodel ] ) is indicated by the black dashed line.,title="fig : " ]    the simulation results for @xmath59 are shown in fig .
[ fg : gt ] , where both @xmath65 and @xmath63 axes have been normalized for better comparison between the different fluids .
the parameters used for the normalization are detailed below .
a significant parameter in the analysis is the autocorrelation at @xmath67 , which is given by the following expression : @xmath68 nmr relaxation theory states a simple relation between @xmath64 and the second - moment @xmath69 of the dipole - dipole interaction as such @xcite : @xmath70 which leads to the final expression : @xmath71 the second - moment is significant because it determines the strength of the relaxation mechanism , and it is a strong function ( @xmath72 ) of the nuclear spin separation @xmath56 .
when the fluctuations in @xmath39 and @xmath43 are uncorrelated , the angular term in the numerator can be averaged out , resulting in the following approximate expression : @xmath73 md simulations indicate that eq .
[ eq : smrtuncorr ] holds within @xmath74 for both intramolecular and intermolecular interactions , indicating that the ensemble averages of @xmath39 and @xmath43 are indeed uncorrelated .
this approximation will not necessarily hold for fluids under confinement such as in nano - porous media , where complications from residual dipolar - coupling may come into play @xcite . in such cases the full expression in eq .
[ eq : smrt ] must be used .
once the autocorrelation function @xmath59 is determined from md simulations , the spectral density of the local magnetic - field fluctuations is determined by fourier transform : @xmath75 given that @xmath59 is real ( @xmath53 ) and an even function of @xmath21 .
@xmath76 ( in units of s@xmath77 ) is defined using the non - unitary angular - frequency form of the fourier transform .
the relaxation times @xmath78 and @xmath79 are then determined by @xmath76 at specific angular frequencies given by @xcite @xmath80 where @xmath81 is the larmor frequency , and @xmath82 mhz / t is the @xmath0h nuclear gyro - magnetic ratio .
the relaxation rates are additive , giving the following final expression : @xmath83 which are the measurable quantities in the laboratory .
the most significant parameter in the description of nmr relaxation in liquids is the correlation time @xmath66 , which is defined by the following expressions @xcite : @xmath84 in other words , @xmath66 is defined as the normalized area under the autocorrelation functions @xmath59 .
[ eq : taurt ] also shows the simple relation to the spectral density @xmath85 at @xmath86 using eq .
[ eq : fourierrtcos ] .    as shown below in section [ sc : results ] , the correlation times @xmath66 for the bulk fluids are in the fast motion regime , i.e. @xmath87 and @xmath88 , where @xmath89 mhz for the nmr relaxation measurements @xcite used in this report . in the fast motion regime , the spectral density @xmath76 becomes independent of @xmath90 for @xmath91 , and equal to the @xmath86 component as such : @xmath92 from eqs .
[ eq : t12r ] and  [ eq : jrtmotional ] we obtain the following expression for the fast motion regime : @xmath93 in other words , @xmath94 and @xmath95 , which is characteristic for low viscosity fluids . from eqs .
[ eq : t12rtmotional ] and  [ eq : t12sum ] we thus obtain @xmath96 which is the final expression used to predict the nmr relaxation times from simulation results .
as shown below , the md simulation results are compared with measured ( de - oxygenated ) @xmath97 data from shikhov _ et al .
the nmr measurements were acquired at @xmath98 mhz using a cpmg echo train with an echo spacing of @xmath99 0.2 ms .
the samples were carefully de - oxygenated by the freeze - pump - thaw technique in order to remove unwanted ( in the present case ) nmr relaxation from paramagnetic o@xmath100 molecules in solution .
an independent computation of translational diffusion @xmath9 was performed from md simulations .
the mean square displacement was computed from the center - of - mass of the molecule and plotted against diffusion evolution time @xmath101 ps ( fig .
[ fg : diff ] ) .     versus time @xmath21 for ( a ) water and @xmath1-c@xmath15h@xmath3 @xmath102 @xmath1-c@xmath103h@xmath104 ( arrow shows increasing carbon number ) , and ( b ) @xmath1-c@xmath105h@xmath106 @xmath102 @xmath1-c@xmath4h@xmath5 , at @xmath62c .
solid lines show fitting region used to obtain translational diffusion coefficient @xmath9 from eq .
[ eq : dsimulation ] for @xmath107 ps , and dashed lines show early time regime not used in the fit.,title="fig : " ]   versus time @xmath21 for ( a ) water and @xmath1-c@xmath15h@xmath3 @xmath102 @xmath1-c@xmath103h@xmath104 ( arrow shows increasing carbon number ) , and ( b ) @xmath1-c@xmath105h@xmath106 @xmath102 @xmath1-c@xmath4h@xmath5 , at @xmath62c .
solid lines show fitting region used to obtain translational diffusion coefficient @xmath9 from eq .
[ eq : dsimulation ] for @xmath107 ps , and dashed lines show early time regime not used in the fit.,title="fig : " ]    at long - times ( @xmath21 ) , the slope of the linear diffusive regime ( fig .
[ fg : diff ] ) gives the translational self - diffusion coefficient @xmath9 according to einstein s relation : @xmath108 in the linear regression procedure , the early ballistic regime and part of the linear regime is excluded to obtain a robust estimate of @xmath9 .    as shown below
, the md simulation results are compared with measured @xmath9 data acquired using @xmath0h nmr diffusivity , where diffusion was encoded using uni - polar pulsed - field - gradient stimulated - echo experiments @xcite with diffusion evolution times of the order @xmath109 ms . due to an incomplete range of alkanes
@xmath1-c@xmath2h@xmath3 @xmath102 @xmath1-c@xmath4h@xmath5 from a single measurement source , the @xmath9 measurements were taken from shikhov _ et al .
_ @xcite at @xmath89 mhz , and from tofts _ et al .
_ @xcite at @xmath110 mhz .
this section presents the results of the nmr relaxation and diffusion , followed by analysis using hard - sphere models .
. [ eq : t12motional ] ) from md simulations on the @xmath63-axis versus ( de - oxygenated ) @xmath8 measurements taken from shikhov _ et al . _
@xcite on the @xmath65-axis , for alkanes and water , showing a very strong correlation of @xmath111 and a small deviation of @xmath112 ( eq . [ eq : nrmsd ] ) .
( b ) cross - plot of predicted translational diffusion coefficient @xmath9 ( eq . [ eq : dsimulation ] ) from md simulations on the @xmath63-axis versus @xmath9 measurements taken from shikhov _ et al . _
@xcite ( open symbols ) and taken from tofts _ et al . _
@xcite ( closed symbols ) on the @xmath65-axis , for alkanes and water , showing a strong correlation of @xmath113 and a deviation of @xmath114 .
data are at @xmath62c ( or @xmath115c ) , and are listed in table [ tb:1 ] .
carbon number increases from right - to - left in ( a ) and ( b).,title="fig : " ]   ( eq . [ eq : t12motional ] ) from md simulations on the @xmath63-axis versus ( de - oxygenated ) @xmath8 measurements taken from shikhov _ et al . _
@xcite on the @xmath65-axis , for alkanes and water , showing a very strong correlation of @xmath111 and a small deviation of @xmath112 ( eq . [ eq : nrmsd ] ) .
( b ) cross - plot of predicted translational diffusion coefficient @xmath9 ( eq .
[ eq : dsimulation ] ) from md simulations on the @xmath63-axis versus @xmath9 measurements taken from shikhov _ et al .
_ @xcite ( open symbols ) and taken from tofts _ et al . _
@xcite ( closed symbols ) on the @xmath65-axis , for alkanes and water , showing a strong correlation of @xmath113 and a deviation of @xmath114 .
data are at @xmath62c ( or @xmath115c ) , and are listed in table [ tb:1 ] .
carbon number increases from right - to - left in ( a ) and ( b).,title="fig : " ]    18cmccccccccccccc    & @xmath8 & @xmath6 & @xmath116 & @xmath117 & @xmath37 & @xmath38 & @xmath118 & @xmath119 & @xmath9 & @xmath9 & @xmath9 + @xmath120 & & de - oxy & & & & & & /2@xmath121 & /2@xmath121 & ( @xmath122 & ( @xmath122 & ( @xmath122 + @xmath120 & & ( s ) & ( s ) & ( s ) & ( s ) & ( ps ) & ( ps ) & ( khz ) & ( khz ) & m@xmath123/s ) & m@xmath123/s ) & m@xmath123/s ) + @xmath120 & & ref .
@xcite & md & md & md & md & md & md & md & ref .
@xcite & ref .
@xcite & md + @xmath120 & & 22.6@xmath14c & 20@xmath14c & 20@xmath14c & 20@xmath14c & 20@xmath14c & 20@xmath14c & 20@xmath14c & 20@xmath14c & 22.6@xmath14c & 20@xmath14c & 20@xmath14c +    & 3.28 & 3.09 & 5.22 & 7.56 & 2.70 & 3.99 & 23.22 & 15.87 & 2.15 & 2.03 & 1.87 + & 13.44 & 14.34 & 24.26 & 35.06 & 0.77 & 2.32 & 20.17 & 9.66 & & & 3.85 + & 9.16 & 10.31 & 16.38 & 27.81 & 1.15 & 2.89 & 20.05 & 9.72 & 3.70 & & 2.88 + & 6.78 & 7.46 & 11.13 & 22.63 & 1.71 & 3.55 & 19.99 & 9.73 & 2.99 & & 2.24 + & 4.99 & 5.40 & 7.64 & 18.47 & 2.50 & 4.35 & 19.93 & 9.73 & 2.08 & 2.14 & 1.66 + & 3.68 & 4.13 & 5.67 & 15.22 & 3.40 & 5.24 & 19.87 & 9.76 & & 1.63 & 1.31 + & 2.86 & 3.13 & 4.14 & 12.72 & 4.66 & 6.30 & 19.83 & 9.74 & 1.20 & 1.26 & 1.01 + & 2.23 & 2.47 & 3.20 & 10.76 & 6.05 & 7.45 & 19.82 & 9.74 & & 1.01 & 0.80 + & 1.78 & 1.79 & 2.35 & 7.55 & 8.27 & 10.62 & 19.80 & 9.73 & 0.82 & 0.78 & 0.61 + & 1.44 & 1.41 & 1.80 & 6.50 & 10.79 & 12.42 & 19.76 & 9.70 & & 0.63 & 0.51 + & 1.19 & 1.25 & 1.58 & 5.95 & 12.40 & 13.66 & 19.71 & 9.66 & 0.56 & 0.49 & 0.44 + & 0.98 & 0.96 & 1.20 & 4.94 & 16.29 & 16.37 & 19.75 & 9.69 & & 0.40 & 0.34 + & 0.83 & 0.84 & 1.04 & 4.44 & 18.96 & 18.24 & 19.66 & 9.69 & 0.38 & 0.34 & 0.29 + & 0.71 & 0.72 & 0.87 & 4.12 & 22.41 & 20.05 & 19.79 & 9.59 & & & 0.25 +    the results and analysis leading up to eq .
[ eq : t12motional ] do not have any adjustable parameters in the interpretation of the simulation data .
as shown in fig .
[ fg : xplot](a ) , the md simulation results are very strongly correlated with measurement ( @xmath111 ) , and an estimate of the deviation can be established using the normalized root - mean - square deviation @xmath124 , defined as @xmath125 where @xmath126 are the md simulation results , @xmath127 are the measurements , and @xmath11 are the number of data points . the data in fig .
[ fg : xplot](a ) indicate a small @xmath128 , which could come from uncertainties in the simulations and/or the measurements .
the slight difference in temperature between simulation ( 20@xmath14c ) and measurement ( 22.6@xmath14c ) is unlikely to be the cause of the deviation , since this would result in a systematic difference for all the data .
the experimental challenge is also to fully de - oxygenate the samples ; imperfect de - oxygenation would cause the measured @xmath8 to be systematically lower than @xmath6 from simulation , however this is also not found to be the case . on the computational side , the most likely source of uncertainties is from the truncation of @xmath59 before @xmath129 .
this has the effect of underestimating @xmath66 ( eq . [ eq : taurt ] ) and therefore overestimating @xmath6 ( eq . [ eq : t12motional ] ) .
the resulting correlation times @xmath66 are listed in table [ tb:1 ] , and plotted in fig .
[ fg : tausm](a ) . for the alkanes ,
both @xmath66 increase by over an order of magnitude with increasing chain length ( i.e. carbon number ) .
@xmath130 is also found to be @xmath131 shorter than @xmath132 at low carbon number , and are found to merge at high carbon number .
the @xmath66 values for water are found to be comparable to octane ( @xmath1-c@xmath133h@xmath134 ) .
the resulting second - moments @xmath69 are listed in table [ tb:1 ] and plotted in fig .
[ fg : tausm](b ) .
the data are presented as the square - root @xmath135 ( @xmath136 ) in units of khz . for the alkanes ,
the intramolecular @xmath137 khz are found to be @xmath138 larger than the intermolecular @xmath139 khz .
the values for intermolecular contribution to the second moment for water are @xmath140 larger than alkanes , which is expected given the closer packing of water due to hydrogen bonding .
( eq . [ eq : taurt ] ) , intermolecular correlation time @xmath38 ( eq . [ eq : taurt ] ) , and intermolecular diffusion correlation time @xmath141 , for water ( w ) and alkanes ( carbon number c5@xmath102c17 ) .
( b ) md simulation result for square - root of intramolecular second moment @xmath118 ( eq . [ eq : smrt ] ) and square - root of intermolecular second moment @xmath119 ( eq . [ eq : smrt ] ) , for water ( w ) and alkanes ( c5@xmath102c17 ) .
data are at @xmath62c , and are listed in table [ tb:1].,title="fig : " ]   ( eq . [ eq : taurt ] ) , intermolecular correlation time @xmath38 ( eq . [ eq : taurt ] ) , and intermolecular diffusion correlation time @xmath141 , for water ( w ) and alkanes ( carbon number c5@xmath102c17 ) .
( b ) md simulation result for square - root of intramolecular second moment @xmath118 ( eq . [ eq : smrt ] ) and square - root of intermolecular second moment @xmath119 ( eq . [ eq : smrt ] ) , for water ( w ) and alkanes ( c5@xmath102c17 ) .
data are at @xmath62c , and are listed in table [ tb:1].,title="fig : " ]    as shown in fig .
[ fg : xplot](a ) , the md simulations provide an accurate method of predicting the total nmr relaxation times @xmath6 .
the next natural step is to use the md simulations to obtain new insight into intramolecular @xmath142 versus intermolecular @xmath143 relaxation .
the first important insight is the relative strength of the two mechanisms .
[ fg : ratios](a ) shows the ratio @xmath144 for each fluid , where a large ratio indicates that the intramolecular relaxation ( short @xmath142 ) dominates over intermolecular ( long @xmath143 ) .
both pentane and water indicate that @xmath145 , however the ratio steadily increases with increasing chain length .
the data suggests that larger molecules become increasingly dominated by intramolecular interactions ( i.e. rotational motions ) versus intermolecular interactions ( i.e. translational motions ) .
this is an important finding for simulating nmr relaxation in macromolecules such as polymers and proteins , where , perhaps without much justification , the common practice is to only consider intramolecular dipole - dipole interactions .
the md simulation results for @xmath9 are listed in table [ tb:1 ] and plotted in fig .
[ fg : xplot](b ) against measurements .
the nmr diffusion measurement is ( in principle ) independent of the applied magnetic field @xmath146 , provided no internal gradients exist , which is the case for bulk liquids .
the nmr diffusion measurement is also ( in principle ) independent of whether the samples are air - saturated or de - oxygented .
the air - saturated @xmath9 data were chosen from @xcite due to the larger range of alkanes ( @xmath1-c@xmath147h@xmath148 @xmath102 @xmath1-c@xmath36h@xmath149 ) measured .
one potential complication in measuring nmr diffusion for bulk liquids is convection due to temperature gradients in the sample , which would tend to overestimate @xmath9 .
however , these measurements were taken at a stable ambient temperature and therefore should not contain such complications .    while the md simulations and measurements are strongly correlated ( @xmath113 ) , there is a systematic deviation of @xmath150 ( eq . [ eq : nrmsd ] ) .
both the md simulations and the measurements have statistical uncertainties associated with them , however it is evident from fig .
[ fg : xplot](b ) that the deviation @xmath150 is dominated by a systematic offset , where md simulations appear lower than measurement
. it should be noted however that the agreement is remarkable given the huge difference in diffusion evolution time between md simulation @xmath151 ps and nmr measurement @xmath152 ms .
put otherwise , the translational diffusion coefficient is compared over 9 orders of magnitude in diffusion evolution time , and found to be constant within @xmath153 .
this could be viewed as a testament to einstein s theory of brownian motion ( eq . [ eq : dsimulation ] ) .      in all of the results summarized in table [ tb:2 ]
, there are no models or adjustable parameters used in going from md simulation results to predictions of nmr relaxation and diffusion .
however in order to gain further insight into the molecular dynamics of bulk hydrocarbons and water , a physical model is required .
the intramolecular dipole - dipole interaction @xcite is traditionally derived using the rotational diffusion equation of rank 2 for hard - spheres of radius @xmath154 , and is parameterized by the rotational diffusion coefficient @xmath155 .
the parameter @xmath155 is simply related to rotational correlation time @xmath37 , which is defined as the average time it takes the molecule to rotate by 1 radian .
the intermolecular dipole - dipole interaction @xcite is traditionally derived using the brownian motion model where the diffusion propagator is derived for hard - spheres of radius @xmath156 , and is parameterized by the translational diffusion coefficient @xmath9 .
the parameter @xmath9 is simply related to the diffusion correlation time @xmath157 , which is defined as the average time it takes the molecule to diffuse by one hard - core diameter @xmath158 @xcite . for hard - spheres , the diffusion coefficients ( and correlation times ) can be related to the bulk properties of the fluid , namely the viscosity @xmath159 and absolute temperature @xmath32 , using the traditional stokes - einstein relation @xcite : @xmath160 note that in order to relate the stokes - einstein diffusion correlation time @xmath157 to the nmr derived translational correlation time @xmath38 ( eq . [ eq : taurt ] ) , a factor of @xmath161 is required , i.e. @xmath162 @xcite .
an expression for the two autocorrelation functions are then derived as such : @xmath163 where both expressions reduce to @xmath64 ( eq . [ eq : g0sm ] ) at @xmath67 .
[ eq : t12rtmotional ] ) of intermolecular relaxation time to intramolecular relaxation time , for water ( w ) and alkanes ( carbon number c5@xmath102c17 ) .
( b ) md simulation result for ratio @xmath164 of intermolecular diffusion correlation time ( @xmath162 ) to intramolecular correlation time ( @xmath37 ) , along with predicted value @xmath165 @xcite from stokes - einstein relation ( eq .
[ eq : taumodel ] ) , for water ( w ) and alkanes ( c5@xmath102c17 ) .
data are at @xmath62c , and can be inferred from table [ tb:1].,title="fig : " ]   ( eq . [ eq : t12rtmotional ] ) of intermolecular relaxation time to intramolecular relaxation time , for water ( w ) and alkanes ( carbon number c5@xmath102c17 ) .
( b ) md simulation result for ratio @xmath164 of intermolecular diffusion correlation time ( @xmath162 ) to intramolecular correlation time ( @xmath37 ) , along with predicted value @xmath165 @xcite from stokes - einstein relation ( eq .
[ eq : taumodel ] ) , for water ( w ) and alkanes ( c5@xmath102c17 ) .
data are at @xmath62c , and can be inferred from table [ tb:1].,title="fig : " ]    the model for the intramolecular autocorrelation @xmath45 is plotted in fig .
[ fg : gt](a ) as the dashed black lines .
the model @xmath45 is an exponential decay , which looks like a straight - line decay on the semilog-@xmath63 plot .
it is clear that none of the intramolecular @xmath166 resemble an exponential decay , but appear to be more  stretched " in nature . what is more remarkable from fig [ fg :
gt](a ) is that even the intramolecular autocorrelation @xmath166 for water is _ not _ exponential .
@xmath166 for water only involves two @xmath167 spins , and therefore can not contain cross - correlation effects such as predicted for three or more spins @xcite . in the present case , cross - correlation effects originate from interference between different interaction mechanisms , such as a dipole - dipole interaction between two spins and a dipole - dipole interaction between a different pair of spins @xcite .
given that cross - correlation can not exist for intramolecular @xmath166 in water indicates that the observed disagreement with eq .
[ eq : gmodel ] is due to the non - spherical nature of the molecules , and not cross - correlation effects .
it also should be clarified that a  stretched " autocorrelation function @xmath166 observed in fig .
[ fg : gt](a ) does _ not _ imply a  stretched " or multi - exponential relaxation @xmath116 .
all of the measured @xmath8 @xcite and @xmath168 @xcite data are consistent with single - exponential decays .
the nature of the  stretched " correlation function @xmath166 is simply a reflection that the underlying interaction is not well modeled by hard spheres , and that a more sophisticated theory is required .
similar observations and conclusions can be made of the intermolecular @xmath61 in fig .
[ fg : gt](b ) , where the alkanes appear to be more  stretched " in nature than the model , and increasingly so with larger chain - lengths .
@xmath61 for water appears more consistent with the model , but still shows deviations .
one informative way to quantify deviations from the hard - sphere model is to plot the ratio @xmath169 , which according to eq .
[ eq : gmodel ] should be a constant @xmath170 @xcite if the stokes - einstein radius for rotation @xmath154 equals the stokes - einstein radius for translation @xmath156 .
the ratio plotted in fig .
[ fg : ratios](b ) clearly shows that lower alkanes tend towards the expectations of the model , while the higher alkanes increasingly depart from the model .
this finding again confirms that the lower alkanes are more  spherical " than the higher alkanes , but surprisingly water , which on the basis of the molecular structure should be considered closest to being  spherical , " has relaxation times similar to octane .
this emphasizes that correct account of intermolecular interactions , crucially short - range hydrogen bonding in the case of water , is necessary in capturing the relaxation behavior .
this adds an additional level of complexity to the analysis , but one that is captured by the md simulations .
more discussions of the stokes - einstein radii are given below .
for completeness , the fourier transform ( eq . [ eq : fourierrtcos ] ) of the autocorrelation functions eq .
[ eq : gmodel ] leads to the following spectral densities for the model @xcite : @xmath171 both expressions correctly reduce to @xmath85 ( eq . [ eq : jrtmotional ] ) in the fast motion regime @xmath172 and @xmath173 .
the origin of the @xmath162 factor comes from normalizing the @xmath174 integral in eq .
[ eq : jmodel ] , while keeping the 2/3 pre - factor the same as @xmath175 @xcite .    in the hard - sphere model
, the intramolecular interaction is based on a rotating hard sphere where the dipole - dipole distances @xmath39 are assumed to be rigid , i.e. @xmath176 are time independent .
this simplifies the expression for the second moment @xmath177 in eq .
[ eq : smrtuncorr ] to the following : @xmath178 where @xmath177 is consistent with previous definitions @xcite . the full md simulation for @xmath177 with non - rigid bonds ( eq . [
eq : smrtuncorr ] ) are slightly higher @xmath179 than with rigid bonds ( eq . [ eq : smmodel ] ) .    the hard - sphere model for the intermolecular interaction is based on diffusing hard spheres with a hard - core distance @xmath158 .
the model yields the above expression for @xmath180 in terms of @xmath156 and the density of @xmath0h spins defined as @xmath181 .
the following expression is used @xmath182 , where @xmath183 is the number of @xmath0h per formula unit , @xmath184 is avogadro s number , @xmath185 is the molar mass , and @xmath186 is the density from table [ tb:2 ] .      it is informative to compare the various sets of molecular radii that result from md simulations and the stokes - einstein relation in eq .
[ eq : taumodel ] . as shown in fig .
[ fg : ratios](b ) , the predicted ratio of translational diffusion to rotational correlation times are @xmath187 , which implies that @xmath188 . using eq .
[ eq : taumodel ] and viscosity @xmath159 data in table [ tb:1 ] results in the stokes - einstein radii @xmath154 and @xmath156 , which are listed in table [ tb:2 ] and plotted in fig .
[ fg : radius ] . while @xmath189 in the case of pentane , the rotational radius @xmath154 increases mildly with carbon number , while @xmath156 mildly _ decreases _ with increasing carbon number .
these trends indicate that the molecules become less  spherical " with increasing chain length .    8.5cmcccccccc    & @xmath159 & @xmath186 & @xmath154 & @xmath156 & @xmath156 & @xmath190 + @xmath120 & & ( cp ) & ( g/@xmath191 ) & @xmath192 & @xmath192 & @xmath192 & @xmath192 + @xmath120 & & ref .
@xcite & ref .
@xcite & eq . [ eq : taumodel ] & eq .
[ eq : taumodel ] & eq .
[ eq : smmodel ] & md +    & 1.00 & 0.998 & 1.38 & 1.02 & 0.97 & 1.74 + & 0.24 & 0.626 & 1.47 & 1.38 & 1.32 & 1.76 + & 0.31 & 0.659 & 1.53 & 1.35 & 1.32 & 2.20 + & 0.42 & 0.684 & 1.58 & 1.32 & 1.33 & 2.26 + & 0.55 & 0.702 & 1.64 & 1.29 & 1.34 & 2.50 + & 0.72 & 0.718 & 1.66 & 1.25 & 1.34 & 2.75 + & 0.93 & 0.731 & 1.69 & 1.22 & 1.35 & 2.97 + & 1.19 & 0.740 & 1.70 & 1.19 & 1.35 & 3.21 + & 1.51 & 0.750 & 1.74 & 1.24 & 1.35 & 3.43 + & 1.89 & 0.756 & 1.77 & 1.21 & 1.36 & 3.66 + & 2.34 & 0.760 & 1.72 & 1.16 & 1.36 & 3.88 + & 2.87 & 0.769 & 1.76 & 1.15 & 1.36 & 4.11 + & 3.48 & 0.773 & 1.74 & 1.12 & 1.36 & 4.28 + & 4.21 & 0.778 & 1.73 & 1.09 & 1.37 & 4.51 +    another prediction from the hard - sphere model is @xmath156 according to @xmath193 defined in eq .
[ eq : smmodel ] . using the values of @xmath181 and @xmath193 in table [ tb:1 ] results in a prediction for @xmath156 , which is listed in table [ tb:2 ] and plotted in fig .
[ fg : radius ] .
since both @xmath181 and @xmath193 show little variation with carbon number , the resulting @xmath156 is also found to be roughly independent of carbon number . in the case of pentane ,
a consistent value of @xmath156 according to @xmath194 and @xmath193 confirm that the model is more accurate for more
spherical " molecules .     from eq .
[ eq : taumodel ] ( using @xmath194 , with @xmath159 listed in table [ tb:2 ] ) ) , stokes - einstein radius for translational motion @xmath156 from eq .
[ eq : taumodel ] ( using @xmath194 ) , @xmath156 prediction from second moment @xmath180 from eq .
[ eq : smmodel ] ( using @xmath186 from table [ tb:1 ] ) , and @xmath190 from md simulations ( eq . [ eq : rg ] ) , for water ( w ) and alkanes ( carbon number c5@xmath102c17 ) .
data are at @xmath62c , and are listed in table [ tb:2 ] . ]
the radius of gyration of the molecule , defined by @xmath195 provides an independent estimate of the size of the molecule ; for a spherical molecule the @xmath190 is expected to be a reasonable estimate of the hydrodynamic radius . here
@xmath190 is calculated by sampling a single molecule from the simulation and averaging over the entire trajectory .
as expected , increasing the sample size of the simulation did not change the results .
the simulation results for @xmath190 are listed in table [ tb:2 ] and plotted in fig .
[ fg : radius ] .    the results in fig .
[ fg : radius ] clearly show that while @xmath190 increases linearly with chain length , both @xmath154 and @xmath156 show only mild variations with increasing chain length .
this suggests that the nmr related quantities @xmath154 and @xmath156 remain more local in nature than the structure - based @xmath190 radius . in the case of water , the pattern @xmath196 again emphasizes that it is best to not regard water as a spherical object , as required by the traditional hard - sphere model .
md simulation techniques for predicting nmr relaxation and diffusion in bulk hydrocarbons and water are validated against nmr measurements , without any adjustable parameters in the interpretation of the simulation data .
md simulations reveal new insight about the intramolecular versus intermolecular nmr relaxation in bulk fluids , which were not easily accessible before .
the simulations quantify the relative strength of the two relaxation mechanisms , indicating that intramolecular increasingly dominates over intermolecular relaxation with increasing molecular chain - length ( i.e. increasing carbon number ) .
this validates the common practice of only considering intramolecular dipole - dipole interactions for simulations of macromolecules such as proteins and polymers .    with increasing chain length , the simulations indicate increasing departure from the traditional hard - sphere models for the time dependence in autocorrelation functions of both intramolecular and intermolecular dipole - dipole interactions .
the md simulations indicate that the stokes - einstein radius for rotational and translational motion are comparable for small molecules , but increasingly diverge with increasing chain length , indicating a departure from  spherical " molecules for the higher alkanes .
furthermore , with increasing chain length the radius of gyration is found to increase more rapidly than the nmr derived stokes - einstein radius , indicative of the more local nature of the nmr measurement .
the validation of md simulations for predicting nmr relaxation and diffusion of bulk hydrocarbons and water opens up new opportunities for investigating more complex scenarios , such as the effects of nanometer confinement on the phase - behavior and transport properties of hydrocarbons and water in organic porous - media such as kerogen .
it also opens up opportunities for studying nmr relaxation in complex fluids such as crude - oils or model systems such as polymer - solvent mixes .
we gratefully acknowledge funding from the rice university consortium on processes in porous media .
we gratefully acknowledge the national energy research scientific computing center , which is supported by the office of science of the u.s .
department of energy [ de - ac02 - 05ch11231 ] , for hpc time and support .
we also gratefully acknowledge the texas advanced computing center ( tacc ) at the university of texas at austin ( url : http://www.tacc.utexas.edu ) for providing hpc resources ; arjun valiya  parambathu , jinlu liu , and zeliang chen for their assistance ; and , igor shikhov and christoph h. arns for sharing their experimental nmr data .
40ifxundefined [ 1 ] ifx#1 ifnum [ 1 ] # 1firstoftwo secondoftwo ifx [ 1 ] # 1firstoftwo secondoftwo `` `` # 1''''@noop [ 0]secondoftwosanitize@url [ 0 ]  + 12$12  & 12#1212_12%12@startlink[1]@endlink[0]@bib@innerbibempty @noop * * ,   ( ) @noop * * ,   ( ) @noop * * , ( ) @noop * * ,   ( ) `` , ''  ( ,  ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * , ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) `` , ''  ( ,  )  chap .  ,   `` , ''   ( ,  )  chap .  ,
_ _ ,  ( ,  , ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) `` , ''  ( ,  ) `` , ''  ( ,  ) `` , ''  ( , ) `` , ''  ( ,  ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( ) @noop * * ,   ( )