CC BY
35
Mathematical Structures and Modeling 2015. N. 3(35). PP. 42-49
UDC 530.1
analysis of random metric spaces explains emergence phenomenon and suggests discreteness of physical space
O. Kosheleva
Ph.D. (Phys.-Math.), Associate Professor, e-mail: [email protected]
V. Kreinovieh
Ph.D. (Phys.-Math.), Professor, e-mail: [email protected] University of Texas at El Paso, El Paso, TX 79968, USA
Abstract. In many practical situations, systems follow the pattern set by the second law of thermodynamics: they evolve from an organized inhomogeneous state into a homogeneous structure-free state. In many other practical situations, however, we observe the opposite emergence phenomenon: in an originally homogeneous structure-free state, an inhomogeneous structure spontaneously appears. In this paper, we show that the analysis of random metric spaces provides a possible explanation for this phenomenon. We also show that a similar analysis supports space-time models in which proper space is discrete.
Keywords: random metric space, emergence phenomenon, discreteness of physical space.
1. Emergence Phenomenon: Brief Reminder
Second law of thermodynamics: brief reminder. One of the main laws of macrophysics is the second law of thermodynamics, according to which any structure and inhomogeneity in a closed system eventually decreases until the system reaches its stable homogeneous structure-less equilibrium state; see, e.g., [1].
Second law of thermodynamics: expected behavior. Of course, real-life systems are rarely closed, there is usually some interaction with the outside world, but many systems are almost closed — with a small interaction. For such systems, it is natural to expect a similar behavior: a spontaneous transition from order to chaos, from inhomogeneity to homogeneity.
In real life, we indeed observe many examples of such behavior:
• if we inject ink into a bowl of water, ink will spread throughout the whole bowl, and the originally inhomogeneous system will eventually become homogeneous;
Mathematical Structures and Modeling, 2015. N.3(35)
43
• houses built thousand years ago and left unattended collapse and traces of them disappear, to the extent that it is sometimes difficult to find where they were.
Emergence phenomenon. In many other situations, however, an inverse process is observed: in a (practically) structure-less homogeneous system, structure and inhomogeneity spontaneously emerge.
Examples of such emergence phenomena can be found everywhere:
• in macrophysics, an initial homogeneous mass often dissolves into clumps;
• in astrophysics, a homogeneous dust cloud evolves into stars separated by practically empty spaces;
• in biology, a fetus which originally consists of a homogeneous group of cells spontaneously transforms into a highly inhomogeneous body, with different cells transforming into different organs;
• in social life, in a homogeneous population of initially equal farmers or craftsmen, inequality emerges and increases until some are rich and others are poor.
Comment, The emergence phenomenon does not contradict the letter of the second law of thermodynamics, since these systems are not closed, but it seems to violate the spirit of this law.
Why is emergence phenomenon ubiquitous? The fact that the emergence phenomenon can be observed in many areas makes us think that there should be a general area-independent explanation for this phenomenon — just like the second law of thermodynamics explains the opposite (homogenization) phenomena.
What we do in the first part of this paper. In the first part of this paper, we provide a possible explanation of the emergence phenomenon.
2. Emergence Phenomenon: Analysis and Possible Explanation
An informal description of the problem: reminder. What we observe is that if we start with a reasonably homogeneous group of objects, then, after a seemingly random perturbation, clusters emerge.
Informally, clusters means that objects within each cluster are, in general, more like each other than like objects from other clusters.
What is a cluster: an ideal case. In the ideal case, if two objects are close to each other, this means that they belong to the same cluster. Hence, if two objects can be connected by a chain of objects such that each object is close to the next one, then all these objects also belong to the same cluster.
44
О. Kosheleva, V. Kreinovich. Analysis of Random Metric Spaces...
If two objects are not close and cannot be connected by a chain of close objects, this means that these two objects belong to different clusters.
What is a cluster: a more realistic approach. In practice, we sometimes have objects which are similar to each other, but belong to different clusters.
For example, whales and dolphins live and swim in the water just like fish, their shape is similar to the shape of a fish, but they are mammals and thus, they belong to completely different clusters than fish.
What makes clustering meaningful is that such examples are rare, they form less than a small percentage of all possible connections, and if we exclude such rare abnormal closenesses, we get a perfect subdivision into clusters.
Towards formalizing the problem. How can we describe the above phenomenon in precise terms? A natural way to describe to what extend two objects are like each other is to use a metric, i.e., a function that assigns to every two objects a and b, a real number d(a,b) > 0 (known as distance) describing how different are these objects. Intuitively, it is reasonable to require:
• that this function is symmetric d(a,b) = d(b,a),
• that d(a,b) = 0 if and only if a and b are the same object, i.e., if and only if a = b, and
• that this function should satisfy the triangle inequality d(a,c) < d(a,b) + + d(b, c) for all a, b, and c.
In mathematics, such functions are known as metrics.
In terms of the metric, similarity between the objects a and b means that the distance d(a,b) between them does not exceed a certain threshold t: d(a,b) < t. In these terms, the ideal subdivision into clusters means that we classify a and b to the same class if and only if there is a chain a0 = 1, a1, a2, ... , am = b for which d(ai,ai+i) < t for all i. In other words, we consider the transitive closure of the symmetric relation d(a,b) < t. A transitive closure of a symmetric relation is an equivalence relation. With respect to this relation, the set of all the objects is divided into equivalence classes; these classes form clusters.
In reality, as we have mentioned, there may be some deviations from this
n • (n — 1)
ideal clustering: out of ---------- possible distances, some may not correspond
to clustering. Let 5 > 0 be a proportion of distances which may not correspond
n • (n — 1) n • (n — 1)
to clustering. Then, out of------------- distances, 5 •---------. We say that two
metrics on the set of n elements are 5-close if they differ only in 5 • -—(^——
distance values. In these terms, the actual clustering means that for some given value 5 > 0,
• first, we find a metric d which is 5-close to the original metric, and then
• we divide the objects into the equivalence classes corresponding to the transitive closure of the relation d(a,b) < t.
Mathematical Structures and Modeling, 2015. N.3(35)
45
Which metrics should we consider? Originally, all elements were similar to each other to the same degree, i.e., we have d(a,b) = const for all a = b. Once we apply a random perturbation, instead of the original constant metric, we now have a metric which is random — with respect to some probability distribution.
From this viewpoint, a natural idea is to analyze random metrics.
How can we describe random metrics? To select a random metric, we need to select a value d(a,b) for each pairs (a, b) in such a way that the resulting values form a metric. We would like this selection to be random in some natural sense.
When we have finitely many possible alternatives, it is natural to define a random object: just pick one of the possible alternatives with equal probability. There is no such natural solution for the case of infinitely many alternatives, so a natural idea is to do what we usually do to process infinite collections, whether it is a sum of an infinite series, or an integral:
• to consider approximate situation with finitely many alternatives, and then
• consider the limit of the result when the number of alternatives tends to infinity.
In our case, we do have finitely many objects; let us denote the number of objects by n. However, for each two objects a and b, we have an infinite set of possible values of the distance d(a,b): namely, the set of all positive real numbers.
1 2
Let us therefore approximate this infinite set by a finite set of values 0, дН дН ..., Г for some positive integers r and N. When N ^ ж and -Г ^ ж, these
values become everywhere dense on the real line and thus, approximate any real value with any given accuracy.
For each r and N, for each of the finitely many pairs (a,b), we have a finite number of possible values of distance. Thus, we have finitely many possible metrics on a given set of n elements. In accordance with the above natural idea, we consider all possible metrics equally probable.
Which properties are we interested in? In some metrics, we may have the emergence phenomenon, in some we do not. By counting the number of metrics with and without the emergence phenomenon, we can find the probability that the emergent phenomenon occurs.
The number n of objects is usually large, so it makes sense to consider the limit value of the corresponding probability when n ^ ж: by definition of the limit, the probability corresponding to large n should be equal to this value. Now, the problem is formulated in precise terms:
• we fix n, r, and N;
• we consider a set of n elements;
on this set, we consider all possible metrics for which, for every two objects
к
a and b, we have d(a, b) = — for some integer к = 0,1,..., r;
46
О. Kosheleva, V. Kreinovich. Analysis of Random Metric Spaces...
• we consider all these metrics to be equally probable;
• we consider the probability of different properties in the limit n ^ ro,
Known results. The analysis of such random metric spaces was performed in [5], In this paper, we use only the results corresponding to odd r; this is OK, since we are interested in r ^ ro anyway, so we can always restrict ourselves to only odd values of r,
For odd r, the conclusion is that for every 5 > 0, with probability that tends to 1 as n ^ ro, there exists a metric d(a,b) which is 5-close to the original metric and for which the initial set of n elements can be divided into £ subsets Si,... ,Se such that:
r — 1 ~ r — 1
• for all pairs a = b from the same subset, we have < d(a,b) < ;
r + 1 ~ r
• for pairs of elements from different subsets, we have < d(a,b) < —,
In principle, we can have trivial situations:
• when £ =1, i,e,, when all the objects form a single cluster, and
• when £ = n, i,e,, each cluster S, consists of only one object,
However, in [5], it is proven that the probability of such trivial situations tends to 0,
Analysis of these results. Based on the above result, we conclude that if for
~ r — 1
some pair a and b, we have d(a,b) < , then a and b belong to the same class
Si. Let us select a threshold t
2 N
def r — 1
2 N
Then, if a and b are connected by a
chain of similar objects, then a and b still belong to the same class, Thus, each equivalence class corresponding to the transitive closure of the relation d(a,b) < t is a subset of a set S,,
Thus, if we subdivide each set S, into such equivalence classes, we get sets Si, ,,,, S'e, which are clusters and which, as one can easily see, satisfy the same two requirements as the original sets S,,
In principle, we can have one class containing all objects, or we can have n classes each of which contain a single object, but, as we have mentioned, the probability of such trivial subdivision tends to 0, Thus, we have an explanation for the empirical fact that objects naturally divide into clusters.
Conclusion. For every 5 > 0, for almost all random metrics d(a,b), there exists a 5-close metric d(a,b) for which we get a non-trivial subdivision into clusters Si, ..., S'fj so that:
• every two close objects (i.e., objects with d(a,b) < t) belong to the same cluster, and
Mathematical Structures and Modeling, 2015. N.3(35)
47
• if two objects a and b are assigned to the same cluster, this means that they can be connected by a chain of elements a0 = a, a1, . .., am-1, am = b for which, for every i, objects ai and ai+1 are close to each other.
3. Physical Space: Why Discreteness
Physical space: problem with continuity. According to modern physics, the matter consists of molecules and atoms which are, in turn, formed from elementary particles, and the elementary particles are no longer divisible, A state of each elementary particle is uniquely determined by finitely many parameters; usually, its coordinates, momentum, and angular momentum (for particles with spin),
In relativity theory, elementary particles are point-wise. In Newton’s theory, we could potentially consider particles of finite spatial size, In such a theory, immediate action-at-a-distance is possible, so if we apply a force to one point on the surface of the particle, this particle can react as a whole, thus acting as a single indivisible object,
In relativistic physics, however, effects can no longer spread instantaneously: the speed with which each effect spreads is limited by the speed of light, As a result, when an action is applied to one point on the surface of the particle, at that moment, other parts of the particle are not affected, In this sense, the particle of finite size is no longer an indivisible object — in effect, it consists of points which may arrange themselves differently, From this viewpoint, an indivisible elementary particle must be spatially point-wise; see, e,g,, [1],
Point-wise particles cause problems. Let us describe a simple easy-to-describe problem with a point-wise particle, This problem appears when we try to find the overall energy of the electric field generated by a single charged particle, The energy density p(x) of the electric field E(x) is known to be proportional to |E(x)|2, and the electric field of a point-wise particle decreases with the distance
R to the particle according to the Coulomb law |E(x)| ---, Thus, the energy
i R2
density p(x) is proportional to |E(x)|2 ~ —,
R4
The overall energy is equal to the integral / p(x) dx and is, thus, proportional
to the integral / — dx, In polar coordinates, after integrating over angular coor-
R4
dinates, we get
r f ~ 2n ■ R2 Г~ 1
1 = 1 —dr = 2n'l Rdr
This integral is equal to
1 = - 2n ■ R
CO.
0
Similar physically meaningless infinities appear when we compute other quantities related to a point particle [1],
48
О. Kosheleva, V. Kreinovich. Analysis of Random Metric Spaces...
Natural idea: discrete space. Since allowing distances R as close to 0 as possible leads to physically meaningless conclusions, a reasonable idea is to assume that such distances are not physically possible, i.e., that there is a lower limit R0 on how close spatial points can be to each other.
In other words, since the assumption that the proper space is continuous leads to physically meaningless results, it is reasonable to consider models in which space is discrete.
One of the possible approaches: Wheeler’s “geometry without geometry”.
One of the possible approaches to coming with discrete proper space is the approach of geometry without geometry initiated by J. A. Wheeler; see, e.g., [4].
This approach is motivated by the fact that to properly account for physics, we must take into account quantum effects. In the first approximation, quantum mechanics means, crudely speaking, that instead of trajectories uniquely determined by the initial conditions (as in Newtonian physics), particles can follow any trajectory — with different probabilities. On the macro-level, the probability of deviating from the Newtonian trajectory is very small, but as we decrease the sizes, due to uncertainty principle energy fluctuations increase and the deviations become the norm.
In the first approximation, particles’ trajectories are random, but the interaction between the particles is still described by the same laws as in Newtonian physics: e.g., the two charged particles interact according to the Coulomb’s law. In other words, the corresponding fields — which are responsible for this interaction — are uniquely determined by the trajectories of the particles. In the second approximation (also known as second quantization), we take into account that, in quantum theory, the fields can also randomly deviate from their deterministic values.
At the atomic sizes, where the quantum effects start being important, the effects of the second quantization are small, but as the sizes decrease to the size of elementary particles, these effects become dominant.
What Wheeler noticed is that in general, in quantum mechanics, nothing is deterministic, all logically possible models are possible with a certain probability, and as we further decrease the size and thus, increase the energy fluctuations, all logical models become equally probable. Thus, a natural way to study the properties of, e.g., spatial metric on small distances is to consider the situation when all possible metrics are possible.
Such a random metric model is exactly what we considered in the previous section. So, let us use the results of the corresponding analysis.
Random metrics explain discreteness of proper space. According to the
results from [5], with probability tending to 1, the distances are bounded from
r
below by a number R0 « . A similar conclusion can be derived if, instead of
discrete approximations to metrics, we consider continuous metrics [3].
Thus, the Wheeler’s model indeed leads to discreteness.
Comment. This conclusion is also in line with a similar lower bound that we obtained by using additional physical assumptions [2].
Mathematical Structures and Modeling, 2015. N.3(35)
49
Conclusion. Random metrics explain discreteness of proper space.
Acknowledgments
This work was supported in part by the National Science Foundation grants
HRD-0734825 and HRD-1242122 (Cyber-ShARE Center of Excellence) and DUE-
0926721.
The authors are thankful to all the participants of the North American Annual
Meeting of the Association of Symbolic Logic (Urbana-Champaign, Illinois, March
25-28, 2015), especially to Caroline Terry, for valuable discussions.
References
1. Feynman R., Leighton R., Sands M. The Feynman Lectures on Physics. Addison Wesley, Boston, Massachusetts, 2005.
2. Finkelstein A.M., Kreinovich V., The singularities in quantum cosmology // Astrophysics and Space Science. 1987. Vol. 137, №1, pp. 73-76.
3. Kozma G., Meyerovitch T., Peled R., Samotij W. Random points in the metric polytope. Abstracts of the Conference on Random Combinatorial Structures and Statistical Mechanics. 2013. Venice, Italy, May 6-10, 2013.
4. Misner C.W., Thorne K.S., Wheeler J.A. Gravitation. W.H. Freeman, San Francisco, California, 1973.
5. Mubay D., Terry C. Discrete Metric Spaces: Structure, Enumeration, and 0-1 Laws. arXiv paper arXiv:1502.01212.
анализ случайных метрических пространств объясняет эмерджентные эффекты и дискретность физического
пространства
О. Кошелева
к.Ф.-м.н., доцент, e-mail: [email protected] В. Крейнович
к.ф.-м.н., профессор, e-mail: [email protected] Техасский университет в Эль Пасо, США
Аннотация. Во многих практических ситуациях системы подчиняются второму закону термодинамики: они постепенно переходят из организованного неоднородного состояния в однородное неорганизованное. Тем не менее, нередко можно наблюдать обратный эмерджентный эффект: в изначально однородной и неорганизованной системе со временем возникают неоднородные структуры. В данной работе мы покажем, что анализ случайных метрических пространств даёт описанному феномену возможное объяснение. Мы также увидим, что подобный анализ является аргументом в пользу моделей пространства-времени с дискретной структурой пространства.
Ключевые слова: случайное метрическое пространство, эмерджентный эффект, дискретность физического пространства.
