Документ взят из кэша поисковой машины. Адрес оригинального документа : http://temporology.bio.msu.ru/EREPORTS/krugly_an-example.pdf
Дата изменения: Fri Feb 28 03:00:15 2014
Дата индексирования: Fri Feb 28 03:01:57 2014
Кодировка:
An example of the stochastic dynamics of a ca u sa l set
arXiv:1111.5474v1 [gr-qc] 23 Nov 2011
Alexey L. Krugly


Ivan V. Stepanian

Abstract An example of a discrete pregeometry on a microscopic scale is intro duced. The mo del is a directed dyadic acyclic graph. This is the particular case of a causal set. The particles in this mo del must b e self-organized rep etitive structures. The dynamics of this mo del is a sto chastic sequential growth dynamics. New vertexes are added one by one. The probability of this addition dep ends on the structure of existed graph. The particular case of the dynamics is considered. The numerical simulation provides some symptoms of self-organization. Keywords: causal set, rendom graph. PACS: 04.60.Nc

We consider a mo del of a discrete pregeometry. By assumption there are not spacetime and matter on a microscopic scale. There are only a discrete pregeometry. Usually physics describes matter in spacetime. Otherwise the far goal of this mo del is to describe particles as symmetrical structures of pregeometry without any reference to continuous spacetime. We suppose that continuous spacetime emerges only as a property of particles if the number of particles tends to infinity. The mo del of the universe is an infinite directed dyadic acyclic graph. The directed graph means that all edges are directed. The dyadic graph means that each vertex has two incident incoming edges and two incident outgoing edges. The vertex with incident edges forms an x-structure (Fig. 1). The acyclic graph means that there is not a directed lo op. Hereinafter
Scientific Research Institute for System Analysis of the Russian Academy of Science, 117218, Nahimovskiy pr., 36, k. 1, Moscow, Russia; akrugly@mail.ru. Mechanical Engineering Research Institute (Department of Biomechanics) of the Russian Academy of Sciences, 101990, Malyj Hariton'evskij per., 4, Moscow, Russia; skwwwks@gmail.com.


1


only such graph is considered and it is called a graph for short. This mo del was intro duced by D. Finkelstein [1] in 1988. This mo del is a particular case of a causal set. A causal set approach to quantum gravity was intro duced by G. 't Ho oft [2] and J. Myrheim [3] in 1978. A causal set is a partially ordered lo cally finite set (see the review [4]). The mo del of the universe is an infinite graph. But any observer can only actually know a finite number of facts. Then we consider only finite graphs. In a graph theory, by definition, an edge is a relation of two vertexes. Consequently some vertexes of finite graph have less than four incident edges. These vertexes have free valences instead the absent edges. These free valences are called external edges as external lines in Feynman diagrams. They are figured as FIGURE 1. An x-structure. edges that are incident to only one vertex. There are incoming and outgoing external edges. We can prove that the number of incoming external edges is equal to the number of outgoing external edges for any such graph [5, Lemma 5]. Each such graph is a mo del of a part of some pro cess. The task is to predict the future stages of this pro cess or to reconstruct the past stages. We can reconstruct the graph step by step. The minimal part is a vertex. We start from some given graph and add new vertexes one by one. This pro cedure is proposed by A. L. Krugly [6, 7] in 1998. Similar pro cedure and the term `a classical sequential growth dynamics' are proposed by D. P. Rideout and R. D. Sorkin [8] for other mo del of a causal set in 1999. We can add a new vertex to external edges. This pro cedure is called an elementary extension. There are four types of elementary extensions [9]. There are two types of elementary extensions to outgoing external edges (Fig. 2 (a) and 2 (b)). This is a reconstruction of the future of the pro cess. In this and following figures the graph G is represented by a rectangle because it can have an arbitrary structure. The edges that take part in the elementary extension are figured by bold arrows. First type is an elementary extension to two outgoing external edges (Fig. 2 (a)). Second type is an elementary extension to one outgoing external edge (Fig. 2 (b)). Similarly, there are two types of elementary extensions to incoming external edges (Fig. 2 (c) and 2 (d)). These elementary extensions reconstruct the past evolution of the process. Third type is an elementary extension to two incoming external edges (Fig. 2 (c)). Fourth type is an elementary extension to one incoming external edge (Fig. 2 (d)). We can prove that we can get every connected graph by a sequence of elementary extensions of these four types [5, Teorem 2]. By assumption, the dynamics of this mo del is a sto chastic dynamics. We 2


FIGURE 2: The types of elementary extensions: (a) the first type, (b) the second type, (c) the third type, and (d) the fourth type.

can only calculate probabilities of different variants of elementary extensions. The algorithm of calculation of probabilities includes 3 steps [10]. The first step is the choice of the elementary extension to the future or to the past. We assume the probability of this choice is 1/2. The second step is the choice of the first external edge that takes part in the elementary extension. We assume the equiprobable choice. The probability of this choice is 1/n. The third step is the choice of second external edge that takes part in the elementary extension. In general case, these probabilities depend on the structure of the existed graph. By assumption, the calculation of these probabilities is based on binary alternatives. Number outgoing external edges by Latin indices. Number incoming external edges by Greek indices. Cho ose a directed path from any incoming external edge number µ (Fig. 3 (a)). This path ends in some outgoing exter3


FIGURE 3: (a) A choice of a directed path is a sequence of binary alternatives. (b) A new lo op is generated by a new vertex.

nal edge number i. We must cho ose 1 edge in each vertex. We assume the equiprobable choice. Consequently if a directed path includes k vertexes, the choice of this path has the probability 2-k . Intro duce an amplitude aiµ of the causal connection of the incoming external edge number µ and the outgoing external edge number i. By definition, this is a sum of probabilities of all directed paths between these edges.
M

aiµ = aµi =
m=1

2

-k (m)

,

(1 )

where M is the number of all directed paths between these edges, k (m) is the number of vertexes in the path number m. This is not a complex quantum amplitude. This is real nonnegative number. This definition has clear physical meaning. The causal connection of two edges is stronger if there are more directed paths between these edges and these paths are shorter. The addition of a new vertex to two external edges forms a set of lo ops. Each lo op is formed by two directed paths (Fig. 3 (b)). We assume that the probability to generate this lo op is a pro duct of probabilities of these paths. By assumption, the probability of an elementary extension is directly proportional to the sum of probabilities of new lo ops that are generated by this elementary extension. By definition, put
n

p ij =
µ=1

aiµ aµj . 4

(2 )


FIGURE 4: The probabilities of different variants to add a new vertex to the future in the step number 500.

pij is the probability to add a new vertex to the outgoing external edges numbers i and j . Similarly, p is the probability to add a new vertex to the incoming external edges numbers and .
n

p



=
i= 1

ai ai ,

(3 )

The third step of the algorithm is the choice of second external edge with these probabilities. We get the right normalization if the probability of the addition to 1 external edge is this probability where i = j ( = ). In this case, the external edges numbers i and j ( and ) coincide. We can get evolution equations for amplitudes during sequential growth of a graph [10]. We have the quadratic equations (2) - (3) for probabilities. This is like quantum theory. But in this mo del, all numbers are real and nonnegative. This mo del is convenient for numerical simulation. Now we begin this investigation. Consider one example. We start from 1 vertex and calculate 500 steps. Consider probabilities of different variants to add a new vertex to the future in the step number 500 (Fig. 4). These probabilities are ranged from maximal to minimum value. A log scale of the numbers of variants is used. There are 1521 variants. We see that there are about 10 variants with high probability. These are preferable variants of the growth. Consider the maximal probability in each step (Fig. 5). This probability aperio dically oscillates during sequential growth. The maximal possible value is 1/2. We see that there are a variant with high probability in many steps. We hope that the existence of the small quantity of preferable variants of the growth is a symptom of self-organization. We hope that such structures describe particles. This self-organization is a task for our further investigation. We are going to calculate main frequencies of the dynamics. In the truth mo del, ratios of main frequencies must be the same as mass ratios of real particles.

5


FIGURE 5: The maximal probability in each step of sequential grows.

References
[1] D. Finkelstein, "Superconducting" causal net, Int. J. Theor. Phys. 27, 4 7 3 - 5 1 9 (1 9 8 8 ). [2] G. 't Ho oft, Quantum gravity: a fundamental problem and some radical ideas, in Recent Development in Gravitation, Proceedings of the 1978 Cargese Summer Institute, ed. by M. Levy and S. Deser (Plenum, New York/London 1979), 323-345. [3] J. Myrheim, Statistical Geometry, CERN preprint TH-2538, 1978. [4] R. D. Sorkin, Causal sets: Discrete gravity, (notes for the Valdivia summer scho ol), in Lectures on Quantum Gravity, Proceedings of the Valdivia Summer School, Valdivia, Chile, January 2002, edited by Andrґs Gomberoff and Don Marolf. (Springer, New York, 2005), 305e 327, (arXiv:gr-qc/0309009). [5] A. L. Krugly, Discrete mechanics: a kinematics for a particular case of causal sets, arXiv: 1008.5169 [gr-qc]. [6] A. L. Krugly, The model of discrete spacetime (Moscow, Monolog, 1998) [in Russian].

6


[7] A. L. Krugly, Causal set dynamics and elementary particles, Int. J. Theor. Phys. 41(1), 1-37 (2002). [8] D. P. Rideout and R. D. Sorkin, A classical sequential growth dynamics for causal sets, Phys. Rev. D 61, 024002-1 - 024002-16 (2000), (arXiv: gr-qc/9904062). [9] A. L. Krugly, Discrete mechanics: a sequential growth dynamics for causal sets, and a self-organization of particles, arXiv: 1004.5077 [grqc]. [10] A. L. Krugly, Discrete mechanics: a sequential growth dynamics for causal sets that is based on binary alternatives, arXiv: 1106.6269 [grqc].

7