## Abstract

We propose some conjectures on the asymptotic distribution of the probabilistic Burgers cellular automaton (PBCA), which is defined by a simple rule of particle motion with a probabilistic parameter. Asymptotic distribution of configurations converges to a unique steady state for PBCA. We propose a new and widely-applicable approach to analyze probabilistic particle systems and apply it concretely to PBCA and its extensions. We introduce a conjecture on the distribution and derive the asymptotic probability expressed by the GKZ hypergeometric function. If the space size goes into infinity, we can evaluate the relationship between the density and flux of particles for infinite space. Moreover, we propose two extended systems of PBCA and analyze their asymptotic behavior.

### Similar content being viewed by others

## 1 Introduction

Cellular automata (CA) are dynamical systems with discrete time, discrete space, and a finite set of state values. Their dynamics are generally determined by a simple rule that depends on the values of the neighboring space sites. This simple abstraction has interesting mathematical properties and has been studied in theoretical and applied research. For example, systems called “elementary cellular automata” (ECA) were classified according to the behavior of their solutions and have been extensively studied by many researchers [1,2,3,4].

There exist 256 independent rules for ECA. ECA with one of the rules, Rule 184, is known as a non-trivial particle system. It is also called Burgers cellular automaton (BCA) since it can be derived from Burgers equation by using the ultradiscretization method, which was discovered in the field of integrable systems [4]. There exists a threshold of the density of particles, and the asymptotic behavior of solutions drastically changes between the regions of lower and higher density. Thus, a phase transition occurs for BCA at the threshold. If we consider that the dynamics of BCA represents a transportation system with cars, this phase transition can be interpreted as a primitive model of occurrence of traffic jams.

We can introduce probabilistic parameters into the deterministic CA; this topic has also been extensively researched in theory and practice. For example, the asymmetric simple exclusive process (ASEP) is a well-known standard statistical model for a simple stochastic particle system. It is a random walk model of multiple particles, where each particle moves to the neighboring sites with an excluded volume effect. Various exact evaluations of statistical results have been completed for ASEP [5,6,7,8,9]. Sasamoto et al. revealed exact relations between ASEP and the orthogonal polynomials [10].

Moreover, several probabilistic CA represent realistic dynamical systems. For example, Nagel and Schreckenberg proposed a quite efficient dynamical model to investigate the physics of traffic jams, known as Nagel–Schreckenberg (NS) model [11]. They applied their model to real freeway traffic and obtained good accordance between the observed data and their theoretical estimation [12].

In previous publications, the author and his co-workers analyzed the asymptotic behavior of probabilistic CA with 4 neighbors or with a higher order of conserved quantities [13, 14]. There exist some bilinear equations for probabilities of local patterns in the asymptotic solutions of the systems. Using these equations, they derived a theoretical expression of the relationship between density and flux for the asymptotic behavior, which is called a fundamental diagram (FD).

In this paper, we focus on a probabilistic extension of BCA (PBCA). It is partially equivalent to the “totally” asymmetric simple exclusion process (TASEP) obtained by restricting the motion of particles of ASEP to the only one direction [6, 7, 15]. However, PBCA and TASEP update particle positions differently. Although one of the particles to be updated is chosen at every time step in TASEP, the “parallel-update” is used for PBCA: motions of all particles from the current time step to the next time step are determined simultaneously.

We report a new analysis to understand the asymptotic behavior of parallel-updated PBCA with the periodic boundary condition. We can consider PBCA as a one-dimensional random process and derive a transition matrix for the process. Assuming the random process is ergodic, we propose a conjecture on the asymptotic distribution of the system. Using the conjecture, we can derive the asymptotic probability of each configuration of particles in space sites and can derive FD from their expected values. Moreover, we give the expression of FD of PBCA by a hypergeometric function proposed by Gelfand, Kapranov, and Zelevinsky (GKZ). It is called the GKZ hypergeometric function and is obtained by extending the hypergeometric function of a single variable to multiple variables [16]. They obey the specific forms of differential equations, and their contiguity relation can be obtained in the form of matrix [17,18,19]. The FD of PBCA with an infinite number of space sites is calculated by using the limit of the contiguity relations. This limiting case coincides with that of previous research based on a specific ansatz [11]. Furthermore, we propose two types of extensions of PBCA and derive the asymptotic probability of configurations and FD using a similar conjecture for PBCA.

The contents of this paper are as follows. In Sect. 2, we introduce definition and properties of PBCA, and we present a new type of analysis of PBCA. In Sect. 3, we propose two types of extensions of PBCA and present the results based on the similar conjecture of PBCA. One of the extensions is a system of which motion rule of particle depends on four neighbors. The other is an extension of PBCA to a coupled system. In Sect. 4, we give the conclusion. In Appendix A, we show calculation of PBCA using the GKZ hypergeometric function when the space size goes into infinity.

## 2 Probabilistic Burgers cellular automaton

### 2.1 Definition of particle system

A probabilistic Burgers cellular automaton (PBCA) is defined by the following max-plus equation:

where

Subscript *j* is an integer site number, and superscript *n* is integer time. Real constant \(\alpha \) satisfies \(0\le \alpha \le 1\). The value of probabilistic parameter \(a_j^n\) is determined independently for every (*j*, *n*). We assume a periodic boundary condition for the space sites with a period *L*, that is, \(u_{j+L}^n=u_j^n\). From the above evolution equation, it is easily shown that

Here, \(u_j^n\) is the number of particles at site *j* and time *n*. Thus, the sum of all state values over *L* is conserved for *n* and is determined by the initial data. The rule of particle motion for PBCA can be expressed as follows:

The particle at *j*th site moves to the right with probability \(\alpha \) only if no particle exists at (\(j+1\))th site. Figure 1 shows an example of time evolution in a PBCA.

### 2.2 Asymptotic distribution of PBCA

Supposing that a set of values over all *L* sites corresponds to a configuration of a random process, PBCA is a one-dimensional random process on \({}_L {\text {C}}_m\) configurations if \(m=\sum _{j=1}^Lu_j^n\), that is, if *m* particles move through the sites. Figure 2a shows a histogram of all configurations from \(n=0\) to \(n=1000\) obtained by a numerical computation. Figure 2b–d show those from n = 0 to n = 10,000, 100,000, and 1,000,000, respectively. These figures suggest that the distribution of configurations converges after enough time steps. Moreover, the heights of bins can be divided into classes after enough time steps.

We made various numerical calculations on the histogram and an approximately unique steady state is always obtained. Therefore, we can assume that PBCA is ergodic. To illustrate our assumption and to explain the relation among heights of classes, we show the exact results for some small *L* and *m*.

For \(L=4\) and \(m=2\), a set of all configurations (which is denoted by \(\varOmega \)) is

and transition probabilities are obtained as

Then, a transition matrix \(A=(a_{ij})\) is

where \(a_{ij}\) is a transition probability from the *i*th configuration to the *j*th configuration. The characteristic equation for the matrix has a simple root 1, and the absolute value of other roots is always less than 1. Subsequently, time evolution of the random process determined by this matrix has a unique steady state, and an eigenvector of the matrix for eigenvalue 1 becomes the asymptotic distribution of configurations. The corresponding eigenvector is

and components of this eigenvector give the ratios of heights of the histogram.

Let us consider another example: \(L=6\) and \(m=3\). All elements of a set of configurations \(\varOmega \) are

The transition matrix is

and its eigenvector for eigenvalue 1 as a simple root of the characteristic equation is

We propose the following conjecture from the exact results obtained for small *L* and the numerical results for large *L* and *m*. To give the conjecture, let us introduce some notations. Define \(\varOmega \) as a set of all configurations for *L* and *m*, \(x=x_1 x_2\cdots x_L\) (\(x_i \in \{ 0,1 \}\)) as any configuration of \(\varOmega \), \(\#s_1 s_2\cdots s_k(x)\) (\(1 \le k \le L\)) as the number of patterns \(s_1 s_2\cdots s_k\) included in *x* considering the periodic boundary condition, and *p*(*x*) as the probability of *x* in the steady state.

Conjecture: For any \(x\in \varOmega \), we have

$$\begin{aligned} p(x)=\frac{C}{(1-\alpha )^{\#10(x)}}, \end{aligned}$$where

*C*is a normalization constant satisfying \(\sum _{x\in \varOmega } p(x)=1\).

Considering the case of \(L=4\) and \(m=2\) as an example, we have

Since \(p(0011)+p(0110)+\cdots +p(1010)=1\), we have \(C=(1-\alpha )^2/(4(1-\alpha )+2)\) and

Considering another case of \(L=11\), and \(m=6\), we have

By the above-mentioned conjecture, we can categorize the probability by \(\#10\). Then, the probability of a configuration *x* with \(\#10(x)\) obtained in the limit \(n\rightarrow \infty \) for the space size *L* and the number of particles *m* is

where \(N_{L,m}(k)\) is the number of configurations with \(\#10=k\) defined by

### 2.3 Fundamental diagram of PBCA

A fundamental diagram (FD) of a general particle system is a diagram that shows the relation between the density and flux of the particles averaged over all sites in the limit \(n\rightarrow \infty \). Since PBCA is also a particle system, we can derive its FD. Density \(\rho \) is defined by *m*/*L*, where *L* and *m* are the number of sites and particles, respectively. Let \(Q_{L,\alpha }(m)\) be the expected values of flux of the steady state, where \(\alpha \) is the hopping probability of a particle. Then, \(Q_{L,\alpha }(m)\) of PBCA is an expected value of \(\alpha \#10/L\), since only particles next to an empty site can move with probability \(\alpha \). Thus, we have

Figure 3 shows FD obtained by (3) and that by the numerical calculation. The former is shown by small black circles (\(\bullet \)) and the latter by white circles (\(\bigcirc \)). Their good coincidence can be observed from this figure.

Utilizing GKZ hypergeometric function, we can evaluate \(Q_{L,\alpha }(m)\) in the limit of \(L\rightarrow \infty \) preserving \(m=\rho L\) as

which coincides with the result of previous research [11]. We show the proof of this derivation in the Appendix A [17,18,19].

## 3 Extended systems and their properties

In this section, we introduce two systems that are extensions of PBCA. We evaluate their asymptotic probability of configurations and derive their FD, as we have shown in the previous section. Note that we also assume the ergodicity for both systems.

### 3.1 Extension to 4 neighbors

Let us consider the probabilistic CA expressed by a max-plus equation,

where

The probabilistic parameters \(a_j^n\) and \(b_j^n\) are defined by

Since this equation is also in the conservation form, the number of particles (\(=\sum _{j} u_j^n\)) is preserved during the time evolution. From the max-plus expression of flow \(q_j^n\), we can easily show the motion rule of particles denoted by 1 as follows.

Note that any particle in the configuration other than 100 and 101 can not move. We call this system EPBCA1. In the case of \(\alpha =\beta \), any particle in the pattern “10” moves with probability \(\alpha \). Thus, PBCA is included in EPBCA1 as a special case. Figure 4 shows an example of time evolution of the system.

We can obtain an exact form of the transition matrix and of eigenvector for eigenvalue 1 for small values of the space size *L* and the number of particles *m*. Then, we give a conjecture for asymptotic distribution of EPBCA1 from those results. Let us introduce two examples that support our conjecture.

Suppose a set of configurations \(\varOmega \) for \(L=8\) and \(m=4\). Size of \(\varOmega \) is 70. To make the expression of the transition matrix compact, we define classes of configurations up to cyclic rotation and divide \(\varOmega \) into the equivalence classes. The number of the equivalence classes is 10, and their representative elements are as follows.

Thus, a transition matrix derived by transition probabilities from each representative element to the others is

and an eigenvector for eigenvalue 1 is

Another example is the case of \(L=9\) and \(m=3\). The size of \(\varOmega \) is 84. We define classes of configurations up to cyclic rotation and divide \(\varOmega \) into the equivalence classes. The number of the equivalence classes is 10, and their representative elements are

Thus, a transition matrix is

and an eigenvector for eigenvalue 1 is

Examining other concrete examples for small *L*, we propose a conjecture for the asymptotic distribution of configurations as follows.

Conjecture: The probability of any configuration \(x\in \varOmega \) in the steady state is given by

$$\begin{aligned} p(x)=C\,\left( \frac{\alpha (1-\beta )}{(1-\alpha )^2 \beta }\right) ^{\#100(x)} \left( \frac{\alpha }{(1-\alpha ) \beta }\right) ^{\#101(x)}, \end{aligned}$$(6)where

*C*is a normalization constant satisfying \(\sum _{x\in \varOmega } p(x)=1\).

By the above conjecture, the probability of *x* in the steady state of the space size *L* and the number of particles *m* is

where

Since the mean flux \(Q_{L,\alpha ,\beta }(m)\) is an expected value of \((\alpha \#100 + \beta \#101)/L\), it becomes

Figure 5 shows FD obtained by (7)and that by the numerical calculation. The former is shown by small black circles (\(\bullet \)) and the latter by white circles (\(\bigcirc \)). Their good coincidence can be observed from this figure. Although we have not yet obtained the limit distribution as \(L \rightarrow \infty \), the profile of *Q* does not change drastically, for larger *L*.

### 3.2 Extension to 2 types of particles

Let us consider a probabilistic CA defined by the following system of max-plus equations.

Assume \(u_j^n\), \(v_j^n \in \{0,1\}\) and probabilistic parameters \(a_j^n\) and \(b_j^n\) are defined by

The above evolution rule can be interpreted as a probabilistic system of two types of particles, considering that \(u_j^n\) and \(v_j^n\) are the number of particles of type A and B at site *j* and time *n*, respectively. Moreover, let us assume these two types of particles do not exist at the same site and at the same time: \((u_j^n,v_j^n)\ne (1,1)\). If we set this condition for the initial data, it is always satisfied during the time evolution according to the above evolution rule. Subsequently, we express the configuration of particles \((u,v)=(0,0)\), (1, 0), and (0, 1) by symbols \({\mathtt{0}}\), \({\mathtt{A}}\), and \({\mathtt{B}}\), respectively. Then, the rule of particle motion is given as the follows:

We call the above system EPBCA2. If \(v_j^n\equiv 0\), the motion rule for \(u_j^n\) of EPBCA2 reduces to that of PBCA, and that for \(v_j^n\) trivial. Thus, PBCA is included in this system as a special case.

Figure 6 shows an example of time evolution in the EPBCA2. Any particle does not pass over the other particles according to the evolution rule. Let us define a “sequence” as an array of particles from a given configuration preserving their relative positions. For example, the sequence in configuration \(\mathtt{0AA00BB0}\) is \(\mathtt{AABB}\), and this sequence may change into the sequences \(\mathtt{BAAB}\), \(\mathtt{BBAA}\), and \(\mathtt{ABBA}\) during the time evolution. However, sequence \(\mathtt{AABB}\) can not change into \(\mathtt{ABAB}\) since particles do not pass over one another. Similarly, sequence \(\mathtt{ABAB}\) may change into \(\mathtt{BABA}\) but not \(\mathtt{AABB}\), \(\mathtt{BAAB}\), \(\mathtt{BBAA}\), or \(\mathtt{ABBA}\). If we consider a transition matrix of configurations for given initial data, the configurations are restricted to those obtained from the initial data. Therefore, if a set of configurations \(\varOmega \) includes a configuration \(x=x_1x_2\ldots x_L\), we restrict \(\varOmega \) to be constructed from any combination of \(\mathtt{0}\)’s, \(\mathtt{A}\)’s, and \(\mathtt{B}\)’s preserving their numbers and the order of sequence included in *x* up to cyclic rotation. Subsequently, we give two examples of transition matrices and their eigenvectors.

The first example is \(\varOmega \) that includes configuration \(\mathtt{AABAAB00}\). The size of \(\varOmega \) is 84. To make the expression of the transition matrix compact, we define classes of configurations up to cyclic rotation and divide \(\varOmega \) into the equivalence classes. The number of equivalence classes is 12, and their representative elements are as follows:

The transition matrix derived by transition probabilities from each representative element to the others is

and its eigenvector for eigenvalue 1 is

Another example is \(\varOmega \) that includes configuration \(\mathtt{AABA000}\). The size of \(\varOmega \) is 140, the number of equivalence classes is 20, and their representative elements are

The transition matrix is

and the eigenvector for eigenvalue 1 is

Examining other concrete examples for small *L*, we propose a conjecture for the asymptotic distribution of configurations. Before giving the conjecture, we set the notations. Assume the space size is *L* and the number of particles of type A and B are \(m_\mathtt{A}\) and \(m_\mathtt{B}\), respectively. If we choose a certain configuration, a set \(\varOmega \) of configurations is defined by all realizable configurations evolving from it. Let \(x=x_1 x_2\ldots x_L\) be one of configurations in \(\varOmega \). Let \(k_\mathtt{A}\) and \(k_\mathtt{B}\) be the number of local patterns \(\mathtt{A0}\) and \(\mathtt{B0}\) included in *x*, respectively. Let \(n_\mathtt{A}\) be the number of all 0’s in the local patterns \(\mathtt{A0}\ldots \mathtt{0B}\) and \(\mathtt{A0}\ldots \mathtt{0A}\), and let \(n_\mathtt{B}\) be that of \(\mathtt{B0}\ldots \mathtt{0A}\) and \(\mathtt{B0}\ldots \mathtt{0B}\). For example, if configuration

is given, then \(k_\mathtt{A}=5\), \(k_\mathtt{B}=4\), \(n_\mathtt{A}=6\), and \(n_\mathtt{B}=3\). Note that \(m_\mathtt{A}+m_\mathtt{B}+n_\mathtt{A}+n_\mathtt{B}=L\). Using these notations, we introduce the following conjecture.

Conjecture: The probability of configuration

*x*in the steady state is$$\begin{aligned} p(x) = C\,\frac{(1-\beta )^{n_\mathtt{B}-k_\mathtt{B}}}{(1-\alpha )^{k_\mathtt{A}+n_\mathtt{B}}} \left( \frac{\alpha }{\beta }\right) ^{n_\mathtt{B}}, \end{aligned}$$where

*C*is a normalization constant satisfying \(\sum _{x\in \varOmega } p(x)=1\).

From the above conjecture, the probability of any configuration *x* for \(k_\mathtt{A}\), \(k_\mathtt{B}\), \(n_\mathtt{A}\), and \(n_\mathtt{B}\) in the steady state is given by

where \(N(k_\mathtt{A}, k_\mathtt{B}, n_\mathtt{A}, n_\mathtt{B})\) denotes the number of all configurations included in \(\varOmega \) with \(k_\mathtt{A}\), \(k_\mathtt{B}\), \(n_\mathtt{A}\), and \(n_\mathtt{B}\) and is calculated as

Considering the motion rule of particles A and B, the flux in the steady state is

Figure 7a shows FD calculated by (9) and Fig. 7b shows the numerical result. In these figures, \(\rho _A\) and \(\rho _B\) are densities of particles *A* and *B*, respectively.

Figure 8 shows a comparison of FDs of Fig. 7 for \(\rho _\mathtt{B}=0.5\). Small black circles (\(\bullet \)) are obtained by (9) and white circles (\(\bigcirc \)) by the numerical calculation. Their good coincidence can be observed from this figure.

## 4 Concluding remarks

We introduced some conjectures on the asymptotic distribution of PBCA and its extensions, assuming that these systems are ergodic. In the conjectures, the following points are the most important.

Probability of any configuration in the steady state depends only on the number of some specific local patterns included in the configuration. For example, it depends only on \(\#10\) for PBCA.

Since the probabilities do not depend on the location of patterns in the configuration, they are equal to each other if the numbers of patterns included in the configurations are also equal. For example, the probabilities of configurations are the same if their \(\#10\) are the same in the case of PBCA.

Based on the conjecture, we derived the probability of configuration in the steady state and FD of the system for arbitrary size of *L*.

On the other hand, FD of PBCA for \(L\rightarrow \infty \) is reported in the previous research as

using an ansatz on relations of probabilities of local patterns [11]. Using the GKZ hypergeometric function, we evaluate the limit of FD of PBCA (3) and confirm that the diagram coincides with the above result.

Furthermore, since FD of the extended systems is also expressed by some kind of the GKZ hypergeometric function, we expect that FD in the limit of infinite size can be derived similarly as PBCA. In particular, for EPBCA2, for the initial condition of sequence \(\ldots \mathtt{ABABABAB}\ldots \) and a probabilistic parameter \(\alpha =1\), the rule of particle motion in the steady state becomes as follows.

This motion rule is the same as that of the L-R system obtained by the ultradiscrete Cole–Hopf transformation of SECA84 with a quadratic conserved quantity [14]. The FD of L-R system in the limit of infinite space size is evaluated and derived in a simple form depending on the density of particles. Therefore, FD of EPBCA2 in the limit of \(L\rightarrow \infty \) includes FD of SPCA84 as a special case.

## Change history

### 25 March 2020

The original article has been corrected.

## References

Wolfram, S.: A New Kind of Science. Wolfram Media, Champaign (2002)

Cook, M.: Universality in elementary cellular automata. Complex Syst.

**15**, 1–40 (2004)Hattori, T., Takesue, S.: Additive conserved quantities in discrete-time lattice dynamical systems. Phys. D Nonlinear Phenom.

**49**, 295–322 (1991)Nishinari, K., Takahashi, D.: Analytical properties of ultradiscrete Burgers equation and rule-184 cellular automaton. J. Phys. A Math. Gen.

**31**, 5439–5450 (1998)Spitzer, F.: Interaction of Markov Processes. Adv. Math.

**5**, 246–290 (1970)Derrida, B., Domany, E., Mukamel, E.: An exact solution of a one-dimensional asymmetric exclusion model with open boundaries. J. Stat. Phys.

**69**, 667–687 (1992)Derrida, B., Evans, M.R., Hakim, V., Pasquier, V.: Exact solution of a 1D asymmetric exclusion model using a matrix formulation. J. Phys. A Math. Gen.

**26**, 1493–1517 (1993)Helbing, D.: Traffic and related self-driven many-particle systems. Rev. Mod. Phys.

**73**, 1067 (2001)Nagao, T., Sasamoto, T.: Asymmetric simple exclusion prcess and modified random matrix ensembles. Nucl. Phys. B

**699**, 487–502 (2004)Sasamoto, T.: One-dimensional partially asymmetric simple exclusion process with open boundaries: orthogonal polynomials approach. J. Phys. A Math. Gen.

**32**, 7109–7131 (1999)Schreckenberg, M., Schadschneider, A., Nagel, K., Ito, N.: Discrete stochastic models for traffic flow. Phys. Rev. E.

**51**, 2939–2949 (1995)Nagel, K., Schreckenberg, M.: A cellular automaton model for freeway traffic. J. Phys. l France.

**2**, 2221–2229 (1992)Kuwabara, H., Ikegami, T., Takahashi, T.: On particle cellular automata including random variables (in Japanese). Jpn. J. Ind. Appl. Math.

**23**, 1–13 (2013)Endo, K., Takahashi, D., Matsukidaira, J.: On fundamental diagram of stochastic cellular automata with a quadratic conserved quantity. NOLTA

**7**, 313–323 (2016)Kanai, M., Nishinari, K., Tokihiro, T.: Exact solution and asymptotic behaviour of the asymmetric simple exclusion process on a ring. J. Phys. A Math. Gen.

**39**, 9071–9079 (2006)Gelfand, I., Kapranov, M., Zelevinsky, A.: Generalized Euler integrals and A-hypergeometric functions. Adv. Math.

**84**, 255–271 (1990)Kanamaru, M.: GKZ hypergeometric systems and partition functions of misanthrope model. Master’s thesis of Rikkyo university (2018)

Kanamaru, M., Kakei, S.: On derivation of flow-density relationship of Misanthrope model (in Japanese). In: Reports of RIAM symposium

**29AO-S7**151–156 (2018)Kanai, M.: Two-Lane traffic-flow model with an exact steady-state solution. Phys. Rev. E

**82**, 066107 (2010)

## Acknowledgements

We are grateful to Professor Saburo Kakei for the evaluation of the limit of FD of PBCA using the GKZ hypergeometric function.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

The original version of this article was revised due to a retrospective Open Access order.

## Limit of FD of PBCA using the GKZ hypergeometric function

### Limit of FD of PBCA using the GKZ hypergeometric function

### 1.1 Definition of the GKZ hypergeometric function and its properties

In this section, we define the GKZ hypergeometric function and its properties. First, let us define \(B_{k}^{\gamma }(x)\) by

It satisfies the following contiguity relations.

For an \(m\times n\) matrix \(A=(a_{ij})\) and an *n*-dimensional vector \(\mathbf {\beta }\), general solution to

is expressed by

where \(\mathbf {\gamma _0}\) is a special solution to the equation. Using *A*, \(\mathbf {\beta }\), \(\mathbf {\gamma _0}\) and \(\mathbf {k}\), the GKZ hypergeometric function \(\varphi (\mathbf {\beta };\mathbf {x})\) is defined by

where \(\mathbf {x}\) is an *n*-dimensional vector and \(\gamma _{0,j}\), \(k_j\) and \(x_j\) are *j*th element of \(\mathbf {\gamma _0}\) , \(\mathbf {k}\), and \(\mathbf {x}\), respectively. Although \(\varphi \) also depends on the matrix *A*, *A* is fixed below and we omit the dependency. Using contiguity relations, the following two properties for GKZ hypergeometric function are derived.

First, for a given vector

\(J_{+}(\mathbf {b})\) and \(J_{-}(\mathbf {b})\) are defined by subsets of \(\{0,1,\ldots ,n \}\) as

Then, we obtain

Therefore, \(\varphi \) satisfies a differential equation

Second, for an operator \(\theta _j=x_j\frac{\partial }{\partial x_j}\) and \(\mathbf {\theta }\) defined by

\(\varphi \) satisfies

Using \(\alpha \in \mathbb {C}^{\times }\) and the *i*th row vector \(\mathbf {a_i}=(a_{i1},\ldots ,a_{in})\) of *A*, define \(\alpha ^{D(\mathbf {a_i})}\) by

Since

\(B_{k_j}^{\gamma _j} (x_j)\) satisfies

Thus,

is obtained.

### 1.2 FD of PBCA expressed by the GKZ hypergeometric function

In this subsection, we express FD of PBCA by the GKZ hypergeometric function. The FD of PBCA (3) for the infinite space size is

where density \(\rho \) is constant and

To evaluate the above limit, we choose the following matrix A and vector \(\mathbf {\beta _1}\) in the definition of the GKZ hypergeometric function in A.1.

The general solution to \(A \mathbf {\gamma }=\mathbf {\beta _1}\) is

where

The form of *A* is chosen to give \(\mathbf {\gamma }\) of which elements corresponding to the variables of factorials in the denominator of \(N_{L,m}(k)\). Introducing a new notation \(\varphi _{\beta _1, \beta _2, \beta _3}(x_1, x_2, x_3, x_4)\) defined by \(\varphi (\mathbf {k}, \mathbf {x})\) for \(\mathbf {\beta }=(\beta _1, \beta _2, \beta _3)\) and \(\mathbf {x}=(x_1, x_2, x_3, x_4)\) and \(\lambda \) by \(1/(1-\alpha )\), we obtain

Considering \(\varphi _{\beta _1, \beta _2, \beta _3}(1,\lambda ,1,1)\) as the function on \(\lambda \), let us introduce a notation \(F_{\beta _1, \beta _2, \beta _3}(\lambda )=\varphi _{\beta _1, \beta _2, \beta _3}(1,\lambda ,1,1)\).

On the other hand, the general solution to \(A \mathbf {\gamma '}=\mathbf {\beta _2}\) for

is

where

Therefore,

is obtained. Thus, we have

### 1.3 Differential equation on \(F_{1,L-1,m}\)

In this section, we derive a differential equation on \(F_{1,L-1,m}\). Since the relations

for \(\varphi _{1,L-1,m}(x_1,x_2,x_3,x_4)\) and *a*, *b* ,\(c \in \mathbb {C}^{\times }\) are obtained from (12), the relation

holds. If we assume

that is,

the relation between \(\varphi _{1,L-1,m}\) and \(F_{1,L-1,m}\) is

Moreover, we can derive

Substituting these equations into the differential equation

which is derived from (11), the following differential equation on \(F_{1,L-1,m}\) is obtained.

### 1.4 Contiguity relation between \(F_{1,L-1,m}\) and \(F_{0,L-2,m-1}\)

Therefore,

is derived. From (12), since the relations

are obtained, the relation

holds. Substituting (16) into this equation, we have

Thus, we obtain

On the other hand, derivative of (17) with respect to \(x_3\) is

Therefore, from (21) and (22),

is obtained. Derivative of (23) with respect to \(\lambda \) is

Substituting (18) into (24) gives

From (23) and (25), contiguity relation between \(F_{1,L-1,m}\) and \(F_{0,L-2,m-1}\) is

### 1.5 Limit of contiguity relation

From the contiguity relation (26), we have

Dividing both side of (27) by \(LF_{1,L-1,m}(\lambda )\),

is obtained. If we define

and substitute *g* into (18), we obtain

Since \(\rho =m/L\), we have

We can assume the following expansion of *g* for \(m=\infty \):

From the balance of \({\mathcal {O}}(m^2)\) terms of (29), we have

Solving this relation,

is obtained. Therefore, we can derive the limit of the first component of (28) using \(g_1\) as

## Rights and permissions

This article is published under an open access license. Please check the 'Copyright Information' section either on this page or in the PDF for details of this license and what re-use is permitted. If your intended use exceeds what is permitted by the license or if you are unable to locate the licence and re-use information, please contact the Rights and Permissions team.

## About this article

### Cite this article

Endo, K. New approach to evaluate the asymptotic distribution of particle systems expressed by probabilistic cellular automata.
*Japan J. Indust. Appl. Math.* **37**, 461–484 (2020). https://doi.org/10.1007/s13160-020-00409-z

Received:

Revised:

Published:

Issue Date:

DOI: https://doi.org/10.1007/s13160-020-00409-z