# Macroscopic fundamental diagram in simple street networks

- 17 Downloads

## Abstract

Macroscopic fundamental diagrams (MFDs) on simple street networks are studied analytically and numerically. We consider nonlinear circuit model that consists of road elements with piecewise linear fundamental diagram. We find that MFDs of the model are discontinuous and sawtooth like. Meanwhile, simulations of optimal velocity model on the same street networks yield continuous MFDs, that are observed in real urban traffic.

## Keywords

Traffic flow Macroscopic fundamental diagram Optimal velocity model## Introduction

Traffic flow has attracted the interest of statistical physicists in these decades [1, 2]. Free-way traffic, or one-dimensional traffic flow, has been mainly studied in the field [1, 2, 3, 4]. Meanwhile, there are some studies about urban traffic; one of the most famous models is the so-called Biham–Middleton–Levine model [2, 5]. This model is an extension of the Rule 184 cellular automaton to two-dimensional systems, and it is found that there are three phases of traffic, that is, free-flowing, jammed, and intermediate phases. However, these models are too simplified to compare observations with actual urban traffic.

Recently, the so-called *macroscopic fundamental diagram* (MFD) draws great attention in studies of urban traffic [6]. MFD is a reproducible unimodal relation between vehicle density and vehicle flow rate averaged over a total urban traffic network. It is very interesting because it might enable rough predictions of large-scale urban traffic. Although some observations [6] and simulations [6, 7] argued the existence of MFD, a mechanism of obtaining MFD is not well understood.

For this purpose, we study two models of urban traffic in simple street networks. In “Nonlinear circuit model”, we discuss MFDs in the case of the nonlinear circuit model that we proposed recently [8, 9, 10]. Moreover, we discuss simulation results of the so-called optimal velocity model [11] in “Optimal velocity model”. Finally, we summarize our works in “Summary”.

## Nonlinear circuit model

### Model

*N*edges as shown in Fig. 1. It is interpreted that a vertex and edges \(i = 1, \ldots , N\) are an intersection and streets with the same length, respectively. By ignoring spatial structures of vehicle groups, traffic on each street

*i*is characterized only by two scalar quantities, that is, vehicle density \(0 \le \rho _i \le 1\) and flow rate \(q_i \equiv q(\rho _i)\), \(0 \le q_i \le 1\). Here, \(q(\rho )\) is a

*fundamental diagram*(FD) defined on every street

*i*;

*w*satisfies \(w = (1-\rho _\mathrm {p})^{-1} = (1-1/v)^{-1}\). A street with \(\rho < \rho _\mathrm {p}\) and one with \(\rho > \rho _\mathrm {p}\) are called

*free*and

*jammed*, respectively. Moreover, a street with \(\rho = 1\) is especially called

*completely jammed*. Note that length and time in this work are dimensionless using maximal values of vehicle density and flow rate on each street.

*n*is the number of completely jammed streets. Here, the first term and second one in the r.h.s. of Eq. (2) represent incoming flow from the intersection to a street

*i*and outgoing flow from the intersection of a street

*i*, respectively. Note that if there are completely jammed streets, vehicles that are not in completely jammed streets are assumed not to enter completely jammed streets. Therefore, we set the coefficient of the first term in r.h.s of Eq. (2) as above.

### Previous studies

There are previous studies related to our model shown in “Model”.

Moreover, their fixed point \(\rho _i = \mathrm {const.}\) is also problematic because this assumption dismisses a state with \(\rho _1 < \rho _\mathrm {p}\) and \(\rho _\mathrm {p}< \rho _2 < 1/2\), which exists in Daganzo’s results.

As described above, some of the authors proposed this model recently [10]. In that study, they solved the model numericaly in the case of grid street networks, and they discussed discontinuous MFD. In this study, we consider simpler networks. It enables analytical study for the nonlinear circuit models.

### Linear stability analysis

*n*streets are completely jammed \(\rho _i = 1\) and

*m*streets are not completely but still jammed \(\rho _\mathrm {p}< \rho _i < 1\). Without loss of generality, we order indices such that first \([N-(n+m)]\) streets are free, next

*m*streets are jammed, and the other

*n*streets are completely jammed. If we write \(\rho _i(t) = \rho ^*_i + \epsilon _i(t)\), where \(\rho ^*_i\) is a time-independent fixed point (\({\dot{\rho }}^*_i=0\)), that is,

*m*columns correspond to free and jammed streets, respectively. We can discuss linear stability of the fixed point \(\rho _i(t) = \rho ^*_i\), if we consider sign of the largest eigenvalue of a matrix

*A*.

*A*is

*A*is

### Macroscopic fundamental diagram

According to the results in “Linear stability analysis”, we discuss MFDs in this model.

*n*streets are completely jammed and the time-independent fixed point \(\rho _i(t) = \rho ^*_i\) is linearly stable. In the case of \(N-n>v\), all of the \((N-n)\) streets are free, that is, \(\rho ^*_i = \rho _\mathrm {f}\) and \(q^*_i = v \rho _\mathrm {f}\) for those streets. Therefore, the average vehicle density becomes

*N*peaks, and it is discontinuous for large

*N*. This discontinuity corresponds to the fact that one of the streets in the system becomes completely jammed. It is also shown that MFD becomes similar to FD of each street for large

*N*. Actually, the following theorem can be proved:

### Theorem 1

*Here, we consider street network with one intersection and N streets, whose fundamental diagram is*\(q(\rho )\).* Let us denote the macroscopic fundamental diagram in the nonlinear circuit model as*\({\bar{q}}_N({\bar{\rho }})\),* sequence of functions*\(\{{\bar{q}}_N\}_N\)* are convergent uniformly to the fundamental diagram q*.

### *Proof*

First, we obtain \(q({\bar{\rho }}) - {\bar{q}}_{N,0}({\bar{\rho }}) = 0\) for \(0 \le {\bar{\rho }} < \rho _0 = 1/v\).

*n*, \(\rho _{n-1} > n/N\) does always hold if we select an integer

*N*such that \(N > n-1+v\). Therefore, we conclude

*n*, \(\rho _n > (n+1)/N\) does always hold if we select an integer

*N*such that \(N > n+v\). Therefore, \(R_{N,n} = \bigl [\rho _n, (n+1)/N\bigr )\) goes to a null set as \(N \rightarrow \infty\).

*q*uniformly. \(\square\)

## Optimal velocity model

The nonlinear circuit model dicussed in “Nonlinear circuit model” might be criticized that it is too simple to discuss real urban traffic. Therefore, we perform simulations using the optimal velocity (OV) model [15, 16] to consider MFD in more realistic urban traffic [11].

### Model

*N*streets with length

*L*, as shown in Fig. 1. Each street is assumed to have single lane and be unidirectional. We label \(n_i\) vehicles on a street

*i*from the latter to the former such as \(k=1, 2, \ldots , n_i\). If \(x_{ik}\) is position of a vehicle

*k*in a street

*i*, the equation of motion of each vehicle is given by

*a*is a constant sensitivity and

*U*(

*b*) is a so-called OV function

For the top vehicle \(k = n_i\) in a street *i*, the next street that the vehicle transfers is randomly determined, and distance to the end vehicle in the next street, \(x_{j,1} + (L - x_{i, n_i})\), is given as an argument of the OV function. Note that we set the distance as infinity if there is no vehicle in the next street.

The weakly nonlinear analysis around the fixed point gives the Korteweg-de-Vries (KdV) equation and the modified KdV equation with perturbation terms [17].

We perform simulations for the OV model in the *N*-street network. The 4-th order Runge–Kutta scheme is used to solve Eq. (26) with time step \({\varDelta }t = 10^{-3}\). The length of each street is set \(L=100\). As initial conditions, the number of vehicles on each street is given by \(n_i = \rho L\), where \(\rho\) is the average vehicle density, the distance between consecutive vehicles are the same \(x_{i,k+1}-x_{ik} = 1/\rho\), and velocity is given by \({\dot{x}}_{ik} = U(1/\rho ) + \delta v_{ik}\), where \(\delta v_{ik}\) is a uniformly distributed random number satisfying \(-0.15 \le \delta v_{ik} < 0.15\).

### Macroscopic fundamental diagram

This result is different from that of the nonlinear circuit model very much. First, the transition between the free-flow phase and the jammed phase is continuous. It is well known that (M)FD of the OV model with periodic boundary condition has an inverse-\(\lambda\) shape, and the transition is discontinuous. However, for \(N=2,4\), the transition is continuous as shown in Fig. 4.

Next, it should be mentioned that the transition densities between free-flow phase and jammed phase are not the same, if we compare FD and MFD. In the case of the nonlinear circuit model, the transition density \(\rho = \rho _\mathrm {p}\) does not change even if *N* is increased, as shown in Fig. 3. However, Fig. 4 shows the transition densities for \(N=2\) and 4 are less than that for \(N=1\). Note that we have another phase transition at higher density in the OV models, and this transition densities for \(N=2,4\) are greater than that for \(N=1\).

Moreover, it is interesting that the average flow rates in jammed phase for \(N=2,4\) are almost constant and less than that for \(N=1\). This behavior is reported in the study of cellular automaton models [18, 19]. Note that MFD in the nonlinear circuit model has multiple peaks. It is not strange that MFD in this OV model does not have such multiple peaks because jammed streets do not become completely jammed in this model.

## Summary

In this study, we discuss macroscopic fundamental diagram (MFD) in simple street networks to understand MFDs observed in real urban traffic. While MFD in the nonlinear circuit model is discontinuous, MFD in the OV model is continuous. The reason of discontinuous MFD in the nonlinear circuit model is decrement of the number of streets to be able to enter vehicles at the intersection. Because vehicles can enter jammed streets even if their vehicle density is very high, this is a possibility to explain thes continuous MFD in the OV model. We would study to change the rule of vehicle transfers at an intersection in near future.

Moreover, in our previous work, it is found that MFD of the nonlinear circuit model becomes discontinuous in the case of grid street network [10]. Therefore, it would be interesting to study MFD of the OV model in more complicated street networks.

## Notes

### Acknowledgements

This research was supported by MEXT as “Exploratory Challenges on Post-K computer (Studies of multi-level spatiotemporal simulation of socioeconomic phenomena)”.

## References

- 1.Helbing, D. (2001). Traffic and related self-driven many-particle systems.
*Reviews of Modern Physics*,*73*, 1067.CrossRefGoogle Scholar - 2.Chowdhury, D., Santen, L., & Schadschneider, A. (2000). Statistical physics of vehiclar traffic and some related systems.
*Physics Reports*,*329*, 199.CrossRefGoogle Scholar - 3.Nagatani, T. (2002). The physics of traffic jams.
*Reports on Progress in Physics*,*65*, 1331.CrossRefGoogle Scholar - 4.Mahnke, R., Kaupužs, J., & Lubashevsky, I. (2005). Probabilistic description of traffic flow.
*Physics Reports*,*408*, 1.CrossRefGoogle Scholar - 5.Biham, O., Middleton, A. A., & Levine, D. (1992). Self-organization and a dynamical transition in traffic-flow models.
*Physical Review A*,*46*, R6124.CrossRefGoogle Scholar - 6.Geroliminis, N., & Daganzo, C. F. (2008). Existence of urban-scale macroscopic fundamental diagrams: Some experimental findings.
*Transportation Research Part B*,*42*, 759.CrossRefGoogle Scholar - 7.Mazloumian, A., Geroliminis, N., & Helbing, D. (2010). The spatial variability of vehicle densities as determinant of urban network capacity.
*Philosophical Transactions of the Royal Society A*,*368*, 4627.CrossRefGoogle Scholar - 8.Shimada, T., Yoshioka, N., & Ito, N. (2015). Linear stability of steady flow states in networked roads with piece-wise linear fundamental diagrams. In
*Proceedings of symposium on traffic flow and self-driven particles*(vol. 21, p. 43).Google Scholar - 9.Yoshioka, N., Shimada, T., & Ito, N. (2015). Stability and macroscopic funadmental diagram in simple model of urban traffic. In
*Proceedings of symposium on traffic flow and self-driven particles*(vol. 21, p. 71).Google Scholar - 10.Yoshioka, N., Shimada, T., & Ito, N. (2017). Macroscopic fundamental diagram in simple model of urban traffic.
*Artificial Life and Robotics*,*22*, 217.CrossRefGoogle Scholar - 11.Terada, K., Yoshioka, N., Shimada, T., & Ito, N. (2015). Macroscopic fundamental diagram of urban traffic on simple street networks. In
*Proceedings of symposium on traffic flow and self-driven particles*(vol. 23, p. 71).Google Scholar - 12.Daganzo, C. F., Gayah, V. V., & Gonzales, E. J. (2011). Macroscopic relations of urban traffic variables: Bifurcations, multivaluedness and instability.
*Transportation Research Part B*,*45*, 278.CrossRefGoogle Scholar - 13.Ezaki, T., & Nishinari, K. (2014). Potential global jamming transition in aviation networks.
*Physical Review E*,*90*, 022807.CrossRefGoogle Scholar - 14.Ezaki, T., Nishi, R., & Nishinari, K. (2015). Taming macroscopic jamming in transportation networks.
*Journal of Statistical Mechanics: Theory and Experiment*. https://doi.org/10.1088/1742-5468/2015/06/P06013.Google Scholar - 15.Bando, M., Hasebe, K., Nakayama, A., Shibata, A., & Sugiyama, Y. (1994). Structure stability of congestion in traffic dynamics.
*Japan Journal of Industrial and Applied Mathematics*,*11*, 203.CrossRefGoogle Scholar - 16.Bando, M., Hasebe, K., Nakayama, A., Shibata, A., & Sugiyama, Y. (1995). Dynamical model of traffic congestion and numerical simulation.
*Physical Review E*,*51*, 1035.CrossRefGoogle Scholar - 17.Komatsu, T. S., & Sasa, S. (1995). Kink soliton characterizing traffic congestion.
*Physical Review E*,*52*, 5574.CrossRefGoogle Scholar - 18.Ishibashi, Y., & Fukui, M. (1996). Phase diagram for the traffic model of two one-dimensional roads with a crossing.
*Journal of Physical Society of Japan*,*65*, 2793.CrossRefGoogle Scholar - 19.Yukawa, S., Kikuchi, M., & Tadaki, S. (1994). Dynamical phase transition in one dimensional traffic flow model with blockage.
*Journal of Physical Society of Japan*,*63*, 3609.CrossRefGoogle Scholar

## Copyright information

**OpenAccess**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.