Analytical Solutions of Fukui-Ishibashi ( FI ) Model and QuickStart ( QS ) Model

Through straightforward deduction procedure, we explicitly show analytical solutions for both Fukui-Ishibashi (FI) model and Quick-Start (QS) model, which are fundamental deterministic Cellular Automaton (CA), applied to traffic flow.


Introduction
For recent years, simulation study on traffic flow has been attracted much attention of physicists.Among wide variety of approaches, Cellular Automaton (CA), where vehicles are treated as discrete self-drive particles in an entirely discrete spatiotemporal system, are most heavily used because of its flexibility as well as robustness to apply various practical problems.
There have been proposed many traffic CA models so far.For example, Rule-184 [1], which was originally presented by Wolfram as a part of 256 elementary CA archetypes for general discussion, has been regarded as the simplest traffic model.Fukui-Ishibashi (FI) model [2] extended vehicle's speed v more variable; . Nagel-Schreckenberg (NS) model [3], which has been most heavily applied as a fundamental template model by many studies, considers random braking effect on the basis of FI model.Quick-start (QS) model [4] takes account of driver's anticipation effect.Slow-to-start (SlS) model [5] can consider inertia effect of vehicles.Base on NS model, Stochastic Nishinari-Fukui-Schadshneider (S-NFS) model [6] takes account of all those effects; random braking, quick-start as well as slow-to-start.Revised S-NFS model [7] improves random braking effect in order to reproduce synchronized flow depicted in Kerner's three phase theory [8].Asymmetric Simple Exclusion Process (ASEP) [9] and Zero Range Process (ZRP) [10] are simpler CA models, thus have been used by some theoretical studies.
By previous works, analytical solutions of Rule-184, ASEP and ZRP have been derived, since flux-density relation can be fixed deterministically [11] [12].Although both FI model and QS model never contain stochastic elements, analytical solutions for those two have not been known ever.This paper reports the result of it, which we are successfully able to deduce this time. .

Analytical Solution of FI Model
The update rule of FI model is as follows; where gap means the number of unoccupied sites in front of vehicle i , max V means the maximum velocity and i v means the velocity of vehicle i .It is obvious from Figure 1 that the critical density, making traffic flux maximum, is max 1 .Thus, the maximum flux is drawn by Let us prove that the fundamental diagrams by FI model can be described as an asymmetrical tent-type polygonal line functions as below.
Proposition 1 When cri k k ≤ , it is trivial that the relation between density and flux must be a linear function originated from When where L is system length.Hence, ( ) ( ) ( ) which explicitly implies a linear function of k .This negative slope line obviously crosses both critical state and complete jam state; and ( ) (QED) According to Proposition 1, the fundamental diagram can be described as an asymmetric tent-type function, consisting of two liner functions.The above-deduced critical density and maximum flux is the vertex of this asymmetric tent-type function.
As the next step, we should discuss whether the function consisting of two linear lines can be expressed by a single expression Proposition 2 What we expect is that the function consisting of two linear lines can be expressed by a single expression; ( ) The expression of 1 f is determined because it must be symmetric against Q axis.By superposing those two liner functions, we obtain the asymmetric tent-type functionas below; : By substituting Equations ( 1) & (2), we obtain: ( ) When the branch of square root is taken into consideration, it is as follows; (QED) We know; ( ) By substituting above conditions into Equations ( 4) & (5), we get; By substituting these into Equation (2), we obtain the following.
( ) As consequence, ( ) Namely; we obtain; By rearranging, analytical solution of FI model can be derived as follows; where Q means the flux and k means density, respectively.

Analytical Solution of QS Model
The update rule of QS model is as follows; If there is an empty site in forward S-sites then the focal vehicle moves.
Where S means the number of sites that a vehicle foresees for quick-start.It is obvious from ( ) ( ) ( ) which explicitly implies a linear function of k .This negative slope line obviously crosses both critical state and   (QED) Proposition 3 enables us to draw that the fundamental diagram can be described as an asymmetric tent-type function, consisting of two liner functions.The above-deduced critical density and maximum flux is the vertex of this asymmetric tent-type function.
Like the case of FI model, as the next step for the discussion, we should note how Proposition 2 leads that the function consisting of two linear lines can be expressed by a single expression Namely, we know; ( ) By substituting above conditions into Equations ( 4) & (5), we get; By substituting these into Equation (2), we obtain the following.
( ) Therefore, ( ) f k is; ( Finally, we get; By rearranging, analytical solution of QS model is derived as follows; Figure 7 shows the fundamental diagrams by Equation (13) when 1, 2 S = .

Conclusions
We explicitly reported analytical solutions fort FI model and QS model.
Although the two are important models for depicting basic traffic features, analytical solutions for those two have not been known ever.
Helped by the fact that FI model and QS model never contain stochastic elements, our process to deduce was simple and straightforward.
evaluate the relation between density and flux as follows.Figure2shows an example of flow state when cri k k ≥ .Schematic implication and definition of average velocity, we know;

(f and 2 f
3(a))．Shifting the function in the direction of k by -p , we obtain Figure 3(b))． Meanwhile, two equations to touch at ( ) ( ) , shown in Figure 3(b) can be expressed as below;

Figure 1 .
Figure 1.Flow states explaining for FI model.

Figure 2 .Figure 3 .
Figure 2. Flow states explaining for FI model in case if

Figure 5 =Observing Figure 6 ,
us prove that the fundamental diagrams by QS model can be described as an asymmetrical tent-type poly-gonal line functions as below.Proposition 3 When cri k k ≤ , it is trivial that the relation between density and flux must be a linear function originated from evaluate the relation between density and flux as follows.Figure 6 shows an example of flow state when cri k k ≥ .Schematic implication and definition of average velocity, we know; all vehicles velocity number of vehicles number of vehicles that can move number of vehi es ' cl = we notice that vehicles staying in S sites behind each empty site can move.Thus;

Figure 6 .
Figure 6.Flow states explaining for QS model l in case if