Abstract
Bus bunching is a perennial phenomenon that not only diminishes the efficiency of a bus system, but also prevents transit authorities from keeping buses on schedule. We present a physical theory of buses serving a loop of bus stops as a ring of coupled selfoscillators, analogous to the Kuramoto model. Sustained bunching is a repercussion of the process of phase synchronisation whereby the phases of the oscillators are locked to each other. This emerges when demand exceeds a critical threshold. Buses also bunch at low demand, albeit temporarily, due to frequency detuning arising from different human drivers’ distinct natural speeds. We calculate the critical transition when complete phase locking (full synchronisation) occurs for the bus system, and posit the critical transition to completely no phase locking (zero synchronisation). The intermediate regime is the phase where clusters of partially phase locked buses exist. Intriguingly, these theoretical results are in close correspondence to real buses in a university’s shuttle bus system.
Similar content being viewed by others
Introduction
A selfoscillator is a unit with an internal source of energy (to overcome dissipation) that continuously and autonomously performs rhythmic motion. It is stable against perturbations on its amplitude but neutrally stable over perturbations on its phase. The latter allows an array of coupled selfoscillators to undergo phase synchronisation, as individual members affect others’ phases through their nonlinear interactions^{1}. This simple framework has provided a paradigm of immense utility for investigating various synchronisation phenomena, comprising circadian rhythms^{2,3}, neurons^{4}, Josephson junctions^{5,6,7}, a raft of other physical, chemical, social systems^{8}, as well as complex networks^{9}. Plenty of research has been devoted to this area with rigorous mathematical treatments^{1}. In particular, coupled selfoscillators exhibit phase transition: synchronisation emerges if coupling exceeds a critical threshold^{1,10,11,12,13}.
Dynamics of bus bunching, in contrast, is not as extensively studied by a physics approach. Buses arriving at bus stops in bunches forces commuters to face extended waiting times; and whilst indubitably undesirable, such occurrences are stable^{14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31}. Bus bunching is a physical phenomenon of a complex sociotechnological system. Hitherto, it is distinct from the concept of oscillator synchrony. Nevertheless, are there correspondences between them? Here, this paper establishes these connections and reveals the entrainment mechanisms of buses serving a loop of bus stops which underlie major bus routes at the heart of cities across the globe. Although many of the previous work on this subject had identified this problem and the inevitable occurrence of bunching^{14,15,16,18,20}, we have not encountered an approach based on a physical mechanism for synchronisation of coupled oscillators. Instead, some research dealt with potential strategies towards nullifying bus bunching by holding or delaying some buses, with some extending to adaptive and dynamic controls according to realtime situations^{17,19,21,22,23,29,31}, as well as exploring the effects of buses with wide doors^{24,25,30} or engineering the locations of bus stops along the bus routes^{27}.
We present our physical theory of a bus loop system inspired by the Kuramoto model of coupled oscillators^{10,11} in the next section, followed by extensive simulation results in Section 3. Section 4 is devoted to real data from a university’s bus loop system, which turn out to agree with the predictions of the theory. Some discussion concludes the paper, and technical derivations are given as Supplementary Information.
Analytical Theory
Consider a bus system comprising N buses serving M bus stops in a loop. Each bus i, where \(i\in \{1,\ldots ,N\}\), is a selfoscillator: It has its own engine, fuel, and autonomy to travel along the loop; being humandriven, or driverless in the near future. Motion of bus i is independent of its position or phase \({\theta }_{i}\in [0,2\pi )\) on the loop; it always moves with its natural (angular) frequency \({\omega }_{i}=2\pi {f}_{i}=2\pi \)/T_{i}. If traffic slows it or if it momentarily accelerates, after that it just continues with \({\omega }_{i}\) without correcting for that phase perturbation (neutral stability). Without bus stops, bus i loops around with \({\omega }_{i}\), oblivious and unaffected by other buses which can overtake. With bus stop j present, where \(j\in \{1,\ldots ,M\}\), each bus i must spend a stoppage \({\tau }_{ij}\) to board/alight passengers. Here, stoppage refers to a bus being interrupted from its motion, as it has to stop at the bus stop to allow passengers to board or alight. We consider loading as the dominant process during \({\tau }_{ij}\), with passengers alighting simultaneously via different doors. So, this stoppage \({\tau }_{ij}\) is due to P_{j} :\(=\) number of people at bus stop j; and l :\(=\) loading rate onto the bus, i.e. \({\tau }_{ij}={P}_{j}\)/l. The loading rate l is the same for each bus i at each bus stop j. Bunched buses share the load equally, and would leave the bus stop simultaneously when everybody has been picked up. Furthermore, P_{j} depends on the time headway Δt_{ij} between bus i and the bus immediately ahead (temporal phase difference), together with the average rate of people arriving at bus stop j, denoted by s_{j}. This time headway Δt_{ij} (Fig. 1) is defined as the time interval between the moment the bus ahead leaves bus stop j (so P_{j} resets to 0) and the subsequent moment when bus i leaves bus stop j (resetting P_{j} to 0). Hence \({P}_{j}={s}_{j}{\rm{\Delta }}{t}_{ij}\), and overall:
gives the stoppage of bus i at bus stop j as a function of Δt_{ij}. The quantities k_{j} :\(=\) s_{j}/l < 1 are parameters that determine the strength of the coupling amongst buses due to bus stops, as they determine how long a bus has to stop at the bus stop, together with Δt_{ij}. In other words, the strength of k_{j} would magnify the effect of Δt_{ij} in slowing down the buses. Later in Eq. (2), we see that k_{j} appears in the expression for the average angular velocity for a bus where a higher k_{j} would cause it to experience lower average angular velocity, and vice versa.
We summarise the dynamics of our model for the bus loop system as follows, where we would also implement in our simulations in Section 3:

1.
A bus moves at its natural speed if it is not at a bus stop.

2.
A bus would stop to allow alighting and boarding (simultaneously) if it is at a bus stop.

3.
Suppose a bus is currently at a bus stop. If there is nobody on the bus who wishes to alight and there is nobody at that bus stop waiting to board, then the bus leaves and moves with its natural speed.

4.
People are continually arriving at bus stop j (one person at a time), at a rate of s_{j} people per second. Equivalently, one person arrives at bus stop j every 1/s_{j} seconds. (In our simulations in Section 3, we use the latter.)

5.
People board or alight a bus at a rate of l people per second.

6.
For every person who boards a bus, we assign its destination to be the bus stop which is antipodally located (or near antipodal, if there is an odd number of buses).

7.
Bunched buses share the load equally.
This model describes a ring of discretelocalunidirectionally coupled selfoscillators for this bus loop system. The coupling is discrete as it only happens at bus stops; local because \({\tau }_{ij}\) only depends on the time headway from the bus immediately ahead; unidirectional due to only the leading bus directly affecting the trailing bus. Nevertheless, during the process where one bus bunches into another, these two buses directly affect each other i.e. bunched buses are bidirectionally coupled, since these buses have their load shared. A group of bunched buses can be regarded as one independent unit, so overall the whole system is viewed as having each independent unit unidirectionally affecting the independent unit directly behind it. In our simulations below in Section 3 based on the model described above, each bus moves autonomously as a selfoscillator. Evidently, the unidirectional effect is manifested by the fact that the number of people at the bus stop depends on how long ago the bus immediately ahead has left the bus stop. On the other hand, bunched buses mutually affect each other via their sharing of the load. This is also how real bus systems behave, for example in Section 4 below on a university campus loop shuttle bus service.
Note that: (1) Δt_{ij} and \({\tau }_{ij}\) are directly measurable physical quantities; (2) \({\tau }_{ij}\) depends on Δt_{ij} and k_{j}, but not explicitly on \({\omega }_{i}\). Point (2) implies that inevitably present stochasticity of \({\omega }_{i}\) in real systems do not affect the relationship between Δt_{ij} and \({\tau }_{ij}\): If \({\omega }_{i}\) is slower, then Δt_{ij} and correspondingly \({\tau }_{ij}\) [via Eq. (1)] are increased. In addition, multiple (arbitrarily located) bus stops between bus i and the bus ahead would certainly delay it but not affect the relationship between Δt_{ij} and \({\tau }_{ij}\), i.e. this analytical treatment applies to any \(N,M=0,1,2,\ldots \). Hence, we can employ Eq. (1) to empirically determine k_{j} by measuring \({\tau }_{ij}\) and Δt_{ij}. Intriguingly, whilst Eq. (1) is linear, the coupling dynamics amongst buses is nonlinear. This is manifested by the average (angular) velocity of bus i over a time interval \(\eta +{\tau }_{ij}\) (where \(\eta \) excludes stoppage) as it traverses bus stop j:
i.e. \(\langle d{\theta }_{i}/dt\rangle \) has a coupling term −\({\omega }_{i}/(1+\eta /{k}_{j}{\rm{\Delta }}{t}_{ij})\) [a function of phase difference]. This is analogous to the Kuramoto model for synchronisation of an array of coupled selfoscillators whereby Eq. (2) has coupling term of the form \(K\,\sum \,\sin \,{\rm{\Delta }}{\theta }_{ij}\)^{10,11}. Unlike the original Kuramoto model where coupling is a mean field globally contributed by every selfoscillator and is continuous, buses experience discrete coupling at bus stops (pulses), which is local (depending only on the bus immediately ahead) and unidirectional (instead of mutual).
Incidentally, there are various extensions to myriads of systems involving local coupling, different lattice arrangements of the oscillators, selective directional coupling, weighted and timevarying coupling, etc. carrying the name “Kuramoto”^{4,5,6,7}. These mainly still have a sine term in the coupling, highlighting the 2πperiodicity with respect to phase difference. The Kuramoto model, however, assumes weak coupling with several other approximations/simplifications (see for example, ref.^{1}). There are in fact, more general coupling functions^{32,33}. Our derivation for the bus system here is exact.
Buses bunch in two ways: (1) frequency detuning; (2) phase locking. Due to frequency detuning, a fast bus catches a slow one, overtakes, then escapes: The system exhibits periodic bunching. This is always present due to human drivers’ distinct \({\omega }_{i}\). In contrast, strong coupling during high demand causes phase synchronisation where some adjacent pair of buses’ spatial phase difference, Δθ, becomes small and bounded. Hence, we classify the bus system’s dynamics into two phases (note the dual usage of “phase”): (a) lull, where periodic bunching occurs due to frequency detuning; and (b) busy, where phase locking (sustained bunching) forms at high demand. Frequency detuning is a doubleedge sword: It is a source of nonsynchrony in an ensemble of oscillators (purportedly preferable in undoing clustering), but simultaneously prevents stable constant Δθ (which is inappropriate).
Coupled selfoscillators generally experience phase synchronisation, given sufficiently strong coupling. For instance, the Kuramoto model provides an exact analytical treatment for infinitely many oscillators with natural frequencies given by a unimodal symmetric distribution g\((\omega )\). By considering the density distribution of these oscillators over the loop, the critical transition for synchronisation occurs at \({K}_{c}=2/\pi g(0)\)^{10,11,12,13}. For finite \(N=2,3,\ldots \) buses, we derive an analytic expression for the critical k_{c} where phase transition occurs between complete (CPL) and partial phase locking (PPL). Suppose each of the M bus stops has equal people arrival rate s (so k :\(=\) s/l) and they are perfectly staggered. This k_{c} is:
where the N buses have natural frequencies \({\omega }_{1} > \cdots > {\omega }_{N}\), respectively [derivation of Eq. (3) in the Supplementary Information]. Buses in CPL would bunch as a single unit at each bus stop. After picking up everybody, they leave simultaneously with the faster ones pulling away, but get bunched completely at the next bus stop due to high demand. They are thus in equilibrium, with this sequence of events repeating at every bus stop. Equation (3) gives a dimensionless quantity, depending on dimensionless ratios \({\omega }_{N}/{\omega }_{i}={f}_{N}/{f}_{i}={T}_{i}/{T}_{N}\).
An Nbus system is CPL if \(k > {k}_{c}(N)\). There is another critical \(\overline{k}\le {k}_{c}(N)\) marking the phase transition between PPL and no phase locking (NPL). If \(k < \overline{k}\), then all buses do not experience phase locking but occasionally bunch due to frequency detuning. PPL is the regime \(\overline{k} < k < {k}_{c}(N)\). The lull phase refers to NPL where bunching only occurs due to frequency detuning; the busy phase includes both PPL and CPL where at least one sustained bunching is present. The case \(N=2\) is special: \(\overline{k}={k}_{c}(2)\) with only NPL (lull) and CPL (busy). In real bus systems, we should never have to encounter CPL where all N buses bunch together, as this would be a highly inefficient system.
Simulations
We carry out extensive simulations to determine the various degrees of local clustering of sustained bunching. This is done for \(N=2,3,4,5,6,7\) buses, respectively, with natural frequencies given in Table 1, serving \(M=1,2,\ldots ,12\) staggered bus stops, respectively, in a loop. From Eq. (3), theoretical values of k_{c}(N) for the transition between PPL and CPL are calculated and compared directly with the simulation results in Figs 2 and 3. Note that Table 1 only shows the analytical values of k_{c}(N) for 12 bus stops, as \(M=12\) is of particular interest with regards to a real bus loop system (see the next section).
For each bus, its Δθ is the phase difference between itself and the bus immediately ahead of it. We run the simulations over a very long time and measure the maximum value of Δθ in the steady state part of the simulation. This maximum value of Δθ is Δθ_{max}. If there are N buses, then there are N such Δθ_{max}. Generally, an Nbus system has N − 1 independent local phase differences. If there is local clustering between a pair of buses, then its Δθ_{max}, is small (~0°); whereas large Δθ_{max} (~180°) signifies no local phase locking since it is able to open up a large phase difference. The number of small Δθ_{max} represents the degree of local clustering. As shown in Figs 2 and 3, increasing k would increase the degree of local clustering stepwise until k_{c}(N) where CPL emerges with all Δθ_{max} ~ 0°. Our simulations register slightly higher k_{c}(N) for the critical transition between PPL and CPL than the analytical results given by Eq. (3). This is because people are discrete. If “0.9 person” is due to arrive, then the bus(es) would leave instead of loading that “0.9 person”. So, slightly stronger coupling is required to keep them bunched.
Whilst we do not have the analytical calculation for the critical \(\overline{k}\) for \(N > 2\) that marks the transition between NPL and PPL (because these are nonequilibria with unbunched buses continually affecting the bunched pair), simulations suggest that this phase transition occurs at \(\overline{k}\sim {k}_{c}(2)\), for that respective M. Thus, \({k}_{c}(2) < k < {k}_{c}(N)\) is a reasonable indication of PPL. In fact, as k_{c}(2) for \(N=2\) represents the critical value where the two buses would exhibit persistent bunching, for \(N > 2\) this same value k_{c}(2) gives an order of magnitude when two of these N buses may begin to experience persistent bunching as well, hence \(\bar{k}\sim {k}_{c}(2)\). In the real world however, other perturbations like nonconstant speed, traffic influences, as well as stopping at junctions may play a part in affecting the dynamics. Note that although \(k < \overline{k}\) such that all Δθ_{max} = 180°, simulations reveal transient local clustering periodically appearing.
The simulations with different number of bus stops \(M=1,2,\ldots ,12\) affirms that M only acts as a multiplier of the coupling strength, whilst the qualitative features are essentially identical. Furthermore, we also run separate simulations with \(M=12\) bus stops where the set of frequencies in Table 1 are all doubled, as well as all halved, presented in Fig. 4. Once again, the qualitative features are essentially identical to Figs 2 and 3.
Data Analytics on the Nanyang Technological University Campus Buses
We can apply our physical theory of buses as a synchronisation phenomenon to our Nanyang Technological University (NTU) Campus Buses^{34}. We collect and process positional data for buses on the Blue route. Live data can be found here: https://baseride.com/maps/public/ntu/. There are \(M=12\) bus stops along a loop within our campus (see Fig. 5), usually served by 3–4 buses (1–2 during offpeak hours), with 7–8 buses over busy periods (weekdays 8.30–10.30 am). These humandriven buses do not have identical natural frequency, but take an average of 12–18 minutes to complete a loop without stoppages, i.e. \({f}_{i}\in [0.93,1.39]\,{\rm{mHz}}\). This frequency range forms the basis for the prescribed f_{i} in Table 1. Bus bunching is a highly observed phenomenon, with 4–5 buses bunching together being a ubiquitous sight in NTU. This perennial and notorious issue on bus bunching affects students, staff and faculty members who live, work and play in NTU.
Since bus stops have heterogeneous people arrival rates, a fair global measure is obtained by averaging quantities over all 12 bus stops, i.e. to obtain loop averages as the system evolves. As time goes on, a bus would move from one bus stop to the next bus stop. (Each bus stop is a location where people board/alight the bus.) At the current bus stop, we take the average over the 12 bus stops in the loop, i.e. from the past 11 bus stops up to that present bus stop. When the bus moves to the next bus stop, we correspondingly shift the average over all 12 bus stops from the past one revolution to that new bus stop, and so on. Therefore, we calculate loop averages of Δt_{ij} and \({\tau }_{ij}\) to plot the time series for each bus i, thus deducing the average k via Eq. (1). In doing so, we track these averages for each bus with time as the system evolves, as the bus moves from one bus stop to the next bus stop. This tracking over time as the system evolves would form curves connecting the discrete points \(({\rm{\Delta }}{t}_{ij},{\tau }_{ij})\) in a plot of \({\tau }_{ij}\) versus Δt_{ij} as shown in Fig. 6, one curve for each bus being tracked.
Figure 6 shows the time series of our NTU buses recorded over the entire working week 16–20^{th} of April, 2018, clearly depicting the two phases lull and busy, as described in Section 2. The first (left panel) is a quintessential example of two initially antipodallyspaced buses, ending up bunching due to frequency detuning. Their average natural frequencies are 0.94 mHz and 1.14 mHz, respectively. These average natural frequencies fluctuate, which effectively contribute towards greater frequency detuning. This event occurred at 9.32–10.33 pm on the 16^{th}. In fact, the two curves corresponding to tracking each of the two buses vividly indicate that for one of them, its time headway Δt_{ij} and stoppage \({\tau }_{ij}\) progressively get smaller as time goes on, whilst those for the other bus progressively get larger — which signify imminent bunching between these two buses.
Next (middle panel) is a collection of time series between 4–5 pm during those 5 days, where 3 buses were serving during this hour (15 time series in total). Before 4 pm and after 5 pm, buses are rested/replaced, i.e. the system is tweaked or nonisolated. This 4–5 pm is an interval where the system is isolated. This and the 2bus system in the left panel represent realworld examples of the lull phase where bunching occurs periodically with the fast bus pulling off after overtaking. The third (right panel) is a selection of 10 time series throughout those 5 days from 9–10 am, served by 6–7 buses during the morning rush hour. This is a typical situation of the busy phase where clusters of phaselocked buses are recorded. Here, we make a selection because these 6–7 buses often overtake one another constituting a transient state which destroys the loop average sequence. Bunched buses share the load, so the loading rate l gets multiplied — which is not k for a single bus. In addition, these are 10 time series with highest demand, to determine a representative value for peak demand throughout the week. Demand varies during morning rush hour because lectures in NTU start at the halfhour mark, so students travelling from campus residences to faculty buildings are likely to leave at preferred times. For the first two graphs (lull phase), overtaking is not as frequent and no time series is excluded.
The plots in Fig. 6 signify a linear relationship between \({\tau }_{ij}\) and Δt_{ij} [Eq. (1)], with expected realworld stochasticity. A source of deviation from Eq. (1) arises from disembarkation: Buses carrying many passengers may stop longer, although the time headway may be relatively small with few boarding. Also, if bus capacity is reached, excess passengers are ignored. Anyway, we can fit a straight line to obtain the gradient k and the \({\tau }_{ij}\)intercept. The \({\tau }_{ij}\)intercept is not quite zero, but of the order of +10 seconds for all \({\tau }_{ij}\)Δt_{ij} graphs. Note that buses have to wait for clear traffic before rejoining the road. This could only lead to an increase in measured \({\tau }_{ij}\) and never a decrease in \({\tau }_{ij}\). We wrote a computer programme to regularly probe the website https://baseride.com/maps/public/ntu/ for positional data of the buses. However, the positional data on that website are only updated once in approximately every 10 seconds, i.e these positional data would have a resolution of about 10 seconds. Due to this rather coarse resolution, the increase due to waiting for clear traffic would be recorded as an increase by an order of 10 seconds. More specifically, a bus might have waited for, say for example, either 1 second, 2 seconds, 5 seconds, or 10 seconds. These would all be registered as about +10 seconds, in addition to the actual time taken for boarding/alighting. If a bus waits for, say for example, either 11 seconds, 12 seconds, 15 seconds, or 20 seconds, then these would all be registered as about +20 seconds, in addition to the actual time taken for boarding/alighting. Buses would be waiting for clear traffic over a range of values, depending on the traffic conditions. So the \({\tau }_{ij}\)intercept in each graph in Fig. 6 gives an average over 12 bus stops, on how long a bus has to spend waiting for clear traffic before rejoining the road.
From the gradients of the fitted lines, \(k=0.024\pm 0.004\) for the first graph, \(k=0.018\pm 0.007\) for the second [breakdowns for the 5 respective days (4–5 pm) are: \(0.021\pm 0.007\), \(0.028\pm 0.005\), \(0.015\pm 0.006\), \(0.011\pm 0.005\), \(0.024\pm 0.004\)], and \(k=0.065\pm 0.017\) for the third. Estimate: Suppose 1 person takes 1 second to board/alight. If 10 people approach a bus stop per minute at busy hours, compared to 1 in 5 minutes during lull times, these translate to \(k\in [0.003,0.167]\). These estimates serve as extreme boundary values for k, and our results lie moderately within this range without being near either extreme ends.
The data analytics strongly suggest a classification of the bus system into distinct lull and busy phases, as mentioned earlier. Frequency detuning allows a fast bus to pull away after overtaking. Although it gets held up at subsequent bus stops, during lull periods its stoppage is short and its higher speed helps widen the spatial phase difference, Δθ. However, when coupling gets beyond a critical value, the bus system transitions from lull to busy where clusters of phaselocked buses appear: whilst the fast bus escapes, it then experiences lengthy stoppage at the next bus stop and gets caught up. This sequence of events repeats at every bus stop. Since frequency detuning causes periodic bunching under weak coupling, they are also periodically staggered: Δθ_{max} = 180°. If coupling gets beyond the critical threshold, phase locking emerges: Δθ_{max} ~ 0°. Periodic bunching and phase locking are the two stable phases of humandriven bus systems, where their natural frequencies are different.
In summary, data from our NTU buses turn out to fit well according to our physical theory’s predictions:

1.
A 2bus scenario on Monday, 16^{th} of April, 2018 (9.32–10.33 pm) is in the lull phase where they are not phase locked, with measured \(k=0.024\pm 0.004\) being less than \({k}_{c}(2)=0.028\).

2.
The cumulative 3bus scenarios for an entire working week, 16–20^{th} of April, 2018 (4–5 pm, before the evening rush hour) is also in the lull phase, with measured \(k=0.018\pm 0.007\) being less than \({k}_{c}(3)=0.045\). This measured value is also less than \(\overline{k}={k}_{c}(2)=0.028\). No clustering is observed.

3.
The cumulative 6 to 7bus scenarios for an entire working week, 16–20^{th} of April, 2018 (9–10 am, morning rush hour) is in the busy phase, with measured \(k=0.065\pm 0.017\). Although less than \({k}_{c}(6)=0.091\) and \({k}_{c}(7)=0.108\) (thankfully, otherwise this would be a ridiculously inefficient system), it is much higher than \(\overline{k}={k}_{c}(2)=0.028\), indicating the presence of clusters of phaselocked buses.
Figure 7 supports the theoretical deduction of these scenarios based on their measured k, by showing how Δθ between adjacent pairs of NTU buses evolve with time, with the loop isometrically (distancepreserving) mapped to a circle (Fig. 5). Recall that Δθ for each bus is measured with respect to the bus immediately ahead of it. In each graph, there are N curves, one for each of the N buses being tracked. These Δθ for each bus always add up to 360°, at every point in time. Note that there are jumps in the curves corresponding to overtakings amongst the various buses. When overtaking between two buses occurs, the corresponding two curves experience vertical jumps since the bus immediately ahead would change to a different bus. If a bus overtakes the bus immediately ahead of it, then before overtaking its Δθ goes to zero. After overtaking, its Δθ is measured with respect to a different bus that is now immediately ahead of it. This new bus immediately ahead of it could be anywhere around the loop, and so its Δθ would jump from 0° to that value corresponding to measuring with respect to the new bus immediately ahead. Similarly for the bus that is being overtaken, its Δθ could be any value from 0° to 360° before being overtaken, depending on how far away the bus immediately ahead of it is. After it is overtaken, its Δθ drops to 0° because the bus immediately ahead of it is the one that has just overtaken it.
Discussion
Let us now consider N initially staggered buses with identical \(\omega =2\pi f=2\pi \)/T serving M bus stops, as we anticipate a future when selfdriving buses are programmed. It turns out that although this is an equilibrium where they can remain staggered, stability bifurcates from neutrally stable (upon perturbations, the system does not return to the original configuration nor deviate away further) to unstable (upon perturbations, the system deviates away from the original state) at a critical \(k={k}_{c^{\prime} }\):
To derive Eq. (4), note that a bus must spend at least some minimum amount of time to board even one passenger. Let \({\tau }_{{\rm{\min }}}\) denote this minimum duration. If \(l{\tau }_{{\rm{\min }}}\) is at least P_{max} :\(=\) maximum number of people accumulated at each bus stop, then all buses would only spend the minimum stoppage \({\tau }_{{\min }}\) to board them. When the N buses are staggered, we have \({\rm{\Delta }}{t}_{ij}\sim T/N\). Therefore, \({P}_{{\rm{\max }}}=sT/N\) and the critical transition is given by \(l{\tau }_{{\rm{\min }}}={P}_{{\rm{\max }}}=sT\)/N, i.e. Eq. (4). For \(k < {k}_{c^{\prime} }\), the system is neutrally stable since all stoppages are \({\tau }_{{\rm{\min }}}\) even with small perturbations — the buses do not end up bunching, and do not return to its original configuration. If all buses only spend the minimum time of \({\tau }_{{\rm{\min }}}\) at the bus stop, then a small perturbation on the phases of an initially staggered system of buses does not change the fact that they would all still spend the same \({\tau }_{{\rm{\min }}}\) at the bus stop. On the other hand, if \(k > {k}_{c^{\prime} }\), the staggered configuration is generally unstable and all buses end up bunching. Moreover, we have run simulations on several configurations of N buses serving M bus stops in a loop to test this and indeed observed in each case that the buses can remain staggered if \(k < {k}_{c^{\prime} }\), but would bunch if \(k > {k}_{c^{\prime} }\). These stability properties of an initially staggered configuration of buses are analogous to those of the original Kuramoto model^{12}. Reference^{12} provided a rigorous mathematical treatment on the incoherent solution to the Kuramoto system (i.e. where the infinitely many oscillators are randomly distributed around the loop), concluding that it is neutrally stable if the coupling strength is less than the critical value, but is unstable if the coupling strength exceeds the critical value. Intriguingly and unlike the original Kuramoto model, our simulations also show that the system can remain in staggered equilibrium for some values of \(k > {k}_{c^{\prime} }\) due to the widedoors effect allowing multiple passengers boarding simultaneously^{24,25,30}: If a bus can pick up l people per time step, then picking up \(1,2,\ldots ,l\) people all require one time step, i.e. tiny perturbations are tolerable.
Let us compare the efficacy against bunching for bus systems with identical \(\omega \) versus nonidentical \({\omega }_{i}\). With \(N=5\), \(T=15\,{\rm{minutes}}\) (\(\omega =1.11\,{\rm{mHz}}\)) and \({\tau }_{{\rm{\min }}}=5\,{\rm{seconds}}\) (which includes deceleration and acceleration), then \({k}_{c^{\prime} }(5)=0.028\). This is similar to k_{c}(2) for \(M=12\) bus stops with frequency detuning (Table 1), but requires 5 buses. With \(N=2\), \({k}_{c^{\prime} }(2)=0.011\) implies that a coupling strength with, say \(k=0.020\), would cause bunching. Unlike with frequency detuning, bunched buses with identical \(\omega \) stay bunched.
In conclusion, we can model complex real bus systems by a simple physical theory of selfoscillators coupled via Eq. (1), where the latter successfully captures essential underlying features of the former. Perhaps the most significant takeaway from this physical theory is, since selfoscillators can be entrained, buses can be kept staggered by a system of periodic driving forces. As lucidly described in ref.^{1}, ordinary clocks these days need not be very accurate. A highprecision central clock can send periodic pulses (via radio signals) to entrain those clocks, safeguarding their accuracy. Similarly, we can design a set of central oscillators for the bus system that dictates the N ideal phases for the N buses, whereby signals are sent out periodically to entrain them to remain staggered. In the real world, such central oscillators must continuously adapt to varying demands and traffic conditions. Hence, we are presently developing a smart central system using data science and artificial intelligence feeding on live demand, realtime traffic data, etc.^{17,29}, thereby inhibiting bus bunching by driven entrainment.
References
Pikovsky, A., Rosenblum, M. & Kurths, J. Synchronization: A Universal Concept in Nonlinear Sciences. Cambridge Nonlinear Science Series (Cambridge University Press, Cambridge, 2003).
Winfree, A. T. Biological rhythms and the behavior of populations of coupled oscillators. Journal of Theoretical Biology 16, 15–42 (1967).
Aldridge, J. F. & Pavlidis, T. Clocklike behaviour of biological clocks. Nature 259, 343–344 (1976).
Cumin, D. & Unsworth, C. Generalising the kuramoto model for the study of neuronal synchronisation in the brain. Physica D: Nonlinear Phenomena 226, 181–196 (2007).
Wiesenfeld, K., Colet, P. & Strogatz, S. H. Frequency locking in josephson arrays: Connection with the kuramoto model. Phys. Rev. E 57, 1563–1569 (1998).
Daniels, B. C., Dissanayake, S. T. M. & Trees, B. R. Synchronization of coupled rotators: Josephson junction ladders and the locally coupled kuramoto model. Phys. Rev. E 67, 026216 (2003).
Filatrella, G., Pedersen, N. F. & Wiesenfeld, K. Generalized coupling in the kuramoto model. Phys. Rev. E 75, 017201 (2007).
Acebrón, J. A., Bonilla, L. L., Pérez Vicente, C. J., Ritort, F. & Spigler, R. The kuramoto model: A simple paradigm for synchronization phenomena. Rev. Mod. Phys. 77, 137–185 (2005).
Rodrigues, F. A., Peron, T. K. D., Ji, P. & Kurths, J. The kuramoto model in complex networks. Physics Reports 610, 1–98 (2016).
Kuramoto, Y. Selfentrainment of a population of coupled nonlinear oscillators. In Araki, H. (ed.) International Symposium on Mathematical Problems in Theoretical Physics, 420–422 (Springer Berlin Heidelberg, Berlin, Heidelberg, 1975).
Kuramoto, Y. Chemical Oscillations, Waves, and Turbulence. (SpringerVerlag, New York, 1984).
Strogatz, S. H. & Mirollo, R. E. Stability of incoherence in a population of coupled oscillators. Journal of Statistical Physics 63, 613–635 (1991).
Strogatz, S. H. From kuramoto to crawford: exploring the onset of synchronization in populations of coupled oscillators. Physica D: Nonlinear Phenomena 143, 1–20 (2000).
Newell, G. & Potts, R. Maintaining a bus schedule. 2nd Australian Road Research Board 2, 388 (1964).
Chapman, R. A. & Michel, J. F. Modelling the tendency of buses to form pairs. Transportation Science 12, 165–175 (1978).
Powell, W. B. & Sheffi, Y. A probabilistic model of bus route performance. Transportation Science 17, 376–404 (1983).
Bin, Y., Zhongzhen, Y. & Baozhen, Y. Bus arrival time prediction using support vector machines. Journal of Intelligent Transportation Systems 10, 151–158 (2006).
Gershenson, C. & Pineda, L. A. Why does public transport not arrive on time? the pervasiveness of equal headway instability. PLoS One 4, 1–15 (2009).
Daganzo, C. F. A headwaybased approach to eliminate bus bunching: Systematic analysis and comparisons. Transportation Research Part B: Methodological 43, 913–921 (2009).
Bellei, G. & Gkoumas, K. Transit vehicles’ headway distribution and service irregularity. Public Transport 2, 269–289 (2010).
Cats, O., Larijani, A. N., Koutsopoulos, H. N. & Burghout, W. Impacts of holding control strategies on transit performance: Bus simulation model analysis. Transportation Research Record 2216, 51–58 (2011).
Gershenson, C. Selforganization leads to supraoptimal performance in public transportation systems. PLoS One 6, 1–6 (2011).
Bartholdi, J. J. & Eisenstein, D. D. A selfcordinating bus route to resist bus bunching. Transportation Research Part B: Methodological 46, 481–491 (2012).
JaraDíaz, S. & Tirachini, A. Urban bus transport: Open All Doors for Boarding. Journal of Tranport Economics and Policy 47, 91 (2013).
Stewart, C. & ElGeneidy, A. All aboard at all doors: Route selection and runningtime savings estimation for multiscenario alldoor bus boarding. Transportation Research Record 2418, 39–48 (2014).
Sun, L., Tirachini, A., Axhausen, K. W., Erath, A. & Lee, D.H. Models of bus boarding and alighting dynamics. Transportation Research Part A: Policy and Practice 69, 447–460 (2014).
Tirachini, A. The economics and engineering of bus stops: Spacing, design and congestion. Transportation Research Part A: Policy and Practice 59, 37–57 (2014).
Gershenson, C. & Helbing, D. When slower is faster. Complexity 21, 9–15 (2015).
MoreiraMatias, L., Cats, O., Gama, J., MendesMoreira, J. & de Sousa, J. F. An online learning approach to eliminate bus bunching in realtime. Applied Soft Computing 47, 460–482 (2016).
ElGeneidy, A. et al. Get on board: Assessing an alldoor boarding pilot project in montreal, canada. Transportation Research Part A: Policy and Practice 99, 114–124 (2017).
Wang, P., Chen, X., Chen, W., Cheng, L. & Lei, D. Provision of bus realtime information: Turning passengers from being contributors of headway irregularity to controllers. Transportation Research Record 0, 0361198118798722 (2018).
Daido, H. Generic scaling at the onset of macroscopic mutual entrainment in limitcycle oscillators with uniform alltoall coupling. Phys. Rev. Lett. 73, 760–763 (1994).
Crawford, J. D. Scaling and singularities in the entrainment of globally coupled oscillators. Phys. Rev. Lett. 74, 4341–4344 (1995).
Begum, S. Need for higher shuttle bus frequency in the evenings: Survey. The Nanyang Chronicle 24, 2 (2018).
Acknowledgements
This work was supported by MOE AcRF Tier 1 (Grant No. RG93/15) and the Joint WASP/NTU Programme (Project No. M4082189).
Author information
Authors and Affiliations
Contributions
L.Y.C. designed research; V.L.S., L.Y.C. and N.N.C. performed research; V.L.S. collected and analysed data; V.L.S., N.N.C. and Y.E.I.P. performed analytical study; V.L.S. and W.L.Q. performed numerical simulations; V.L.S. and L.Y.C. wrote the manuscript; V.L.S. prepared all figures.
Corresponding author
Ethics declarations
Competing Interests
The authors declare no competing interests.
Additional information
Publisher’s note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as 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. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Saw, VL., Chung, N.N., Quek, W.L. et al. Bus bunching as a synchronisation phenomenon. Sci Rep 9, 6887 (2019). https://doi.org/10.1038/s41598019433107
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598019433107
This article is cited by

Inferring origindestination distribution of agent transfer in a complex network using deep gated recurrent units
Scientific Reports (2023)

Robustness and disturbances in public transport
Public Transport (2022)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.