Braess's paradox is the observation that adding one or more roads to a road network can slow down overalltraffic flow through it. The paradox was first discovered byArthur Pigou in 1920,[1] andlater named after the German mathematicianDietrich Braess in 1968.[2]
The paradox may have analogies inelectrical power grids and biological systems. It has been suggested that, in theory, the improvement of a malfunctioning network could be accomplished by removing certain parts of it. The paradox has been used to explain instances of improvedtraffic flow when existing major roads are closed.
Dietrich Braess, a mathematician atRuhr University,Germany, noticed the flow in a road network could be impeded by adding a new road, when he was working ontraffic modelling. His idea was that if each driver is making theoptimal self-interested decision as to which route is quickest, a shortcut could be chosen too often for drivers to have the shortest travel times possible. More formally, the idea behind Braess's discovery is that theNash equilibrium may not equate with the best overall flow through a network.[3]
The paradox is stated as follows:
For each point of a road network, let there be given the number of cars starting from it and the destination of the cars. Under these conditions, one wishes to estimate the distribution of traffic flow. Whether one street is preferable to another depends not only on the quality of the road, but also on thedensity of the flow. If every driver takes the path that looks most favourable to them, the resultant running times need not be minimal. Furthermore, it is indicated by an example that an extension of the road network may cause a redistribution of the traffic that results in longer individual running times.
Adding extra capacity to anetwork when the moving entities selfishly choose their route can in some cases reduce overall performance. That is because the Nash equilibrium of such a system is not necessarily optimal. The network change induces a new game structure which leads to a (multiplayer)prisoner's dilemma. In a Nash equilibrium, drivers have no incentive to change their routes. While the system is not in a Nash equilibrium, individual drivers are able to improve their respective travel times by changing the routes they take. In the case of Braess's paradox, drivers will continue to switch until they reach Nash equilibrium despite the reduction in overall performance.
If the latency functions are linear, adding an edge can never make total travel time at equilibrium worse by a factor of more than 4/3.[4]
Braess's paradox has a counterpart in case of a reduction of the road network, which may cause a reduction of individual commuting time.[5]
InSeoul,South Korea, traffic around the city sped up when the Cheonggye Expressway was removed as part of theCheonggyecheon restoration project.[6] InStuttgart,Germany, after investments into the road network in 1969, the traffic situation did not improve until a section of newly built road was closed for traffic again.[7] In 1990 the temporary closing of42nd Street inManhattan,New York City, forEarth Day reduced the amount of congestion in the area.[8] In 2008 Youn, Gastner and Jeong demonstrated specific routes in Boston, New York City and London where that might actually occur and pointed out roads that could be closed to reduce predicted travel times.[9] In 2009, New York experimented with closures ofBroadway atTimes Square andHerald Square, which resulted in improved traffic flow and permanent pedestrian plazas.[10]
In 2012, Paul Lecroart, of the institute of planning and development of theÎle-de-France, wrote that "Despite initial fears, the removal of main roads does not cause deterioration of traffic conditions beyond the starting adjustments. The traffic transfer are limited and below expectations".[5] He also notes that some private vehicle trips (and related economic activity) are not transferred to public transport and simply disappear ("evaporate").[5]
The same phenomenon was also observed when road closing was not part of an urban project but the consequence of an accident. In 2012 inRouen, a bridge was destroyed by fire. Over the next two years, other bridges were used more, but the total number of cars crossing bridges was reduced.[5]
Consider a road network on which 4000 drivers wish to travel from a Start point to an End point. They have two roads available to choose from, one that goes via point A and one that goes via point B.
The travel time in minutes from the Start to point A is the number of travellers (T) divided by 100, and the time to point B is a constant 45 minutes. These times are then reversed for the routes to the End point: from point A to the End point takes 45 minutes, and from B to the End point takes.
If these are the only routes available, the time needed to drive Start–A–End route with drivers would be. The time needed to drive the Start–B–End route with drivers would be. As there are 4000 drivers, the fact that can be used to derive the fact that when the system is at equilibrium. Therefore, each route takes minutes. If either route took less time, it would not be a Nash equilibrium: a rational driver would switch from the longer route to the shorter route.
Now suppose a new road was built connecting points A and B, with an extremely short travel time of approximately 0 minutes. Suppose that the road is opened and one driver tries Start–A–B–End. To his surprise he finds that his time is minutes, a saving of almost 25 minutes. Soon, more of the 4000 drivers are trying this new route. The time taken rises from 40.01 and keeps climbing. When the number of drivers trying the new route reaches 2500, with 1500 still in the Start–B–End route, their time will be minutes, which is no improvement over the original route. Meanwhile, those 1500 drivers have been slowed to minutes, a 20-minute increase. They are obliged to switch to the new route via A too, so it now takes minutes. Nobody has any incentive to travel A-End or Start-B because any driver trying them will take 85 minutes. Thus, the opening of the cross route triggers an irreversible change to it by everyone, costing everyone 80 minutes instead of the original 65. If every driver were to agree not to use the A–B path, or if that route were closed, every driver would benefit by a 15-minute reduction in travel time.
If one assumes the travel time for each person driving on an edge to be equal, an equilibrium will always exist.
Let be the formula for the travel time of each person traveling along edge when people take that edge. Suppose there is a traffic graph with people driving along edge. Let the energy of,, be
(If let). Let the total energy of the traffic graph be the sum of the energies of every edge in the graph.
Take a choice of routes that minimizes the total energy. Such a choice must exist because there are finitely many choices of routes. That will be an equilibrium.
Assume, for contradiction, this is not the case. Then, there is at least one driver who can switch the route and improve the travel time. Suppose the original route is while the new route is. Let be total energy of the traffic graph, and consider what happens when the route is removed. The energy of each edge will be reduced by and so the will be reduced by. That is simply the total travel time needed to take the original route. If the new route is then added,, the total energy will be increased by the total travel time needed to take the new route. Because the new route is shorter than the original route, must decrease relative to the original configuration, contradicting the assumption that the original set of routes minimized the total energy.
Therefore, the choice of routes minimizing total energy is an equilibrium.
The above proof outlines a procedure known asbest response dynamics, which finds an equilibrium for a linear traffic graph and terminates in a finite number of steps. The algorithm is termed "best response" because at each step of the algorithm, if the graph is not at equilibrium then some driver has a best response to the strategies of all other drivers and switches to that response.
Pseudocode for Best Response Dynamics:
LetP be some traffic pattern.whileP is not at equilibrium: compute the potential energye ofPfor each driverd inP:for each alternate pathp available tod: compute the potential energyn of the pattern whend takes pathpifn <e: modifyP so thatd takes pathpcontinue the topmostwhile
At each step, if some particular driver could do better by taking an alternate path (a "best response"), doing so strictly decreases the energy of the graph. If no driver has a best response, the graph is at equilibrium. Since the energy of the graph strictly decreases with each step, the best response dynamics algorithm must eventually halt.
If the travel time functions are linear, that is for some, then at worst, traffic in the energy-minimizing equilibrium is twice as bad as socially optimal.[11]
Proof: Let be some traffic configuration, with associated energy and total travel time. For each edge, the energy is the sum of anarithmetic progression, and using the formula for the sum of an arithmetic progression, one can show that. If is the socially-optimal traffic flow and is the energy-minimizing traffic flow, the inequality implies that.
Thus, the total travel time for the energy-minimizing equilibrium is at most twice as bad as for the optimal flow.
Mlichtaich[12] proved that Braess's paradox occurs in a two-terminal network if and only if it is not aseries-parallel graph.
In 1983, Steinberg and Zangwill provided, under reasonable[independent source needed] assumptions, the necessary and sufficient conditions for Braess's paradox to occur in a general transportation network when a new route is added. (Note that their result applies to the addition ofany new route, not just to the case of adding a single link.) As a corollary, they obtain that Braess's paradox is about as likely to occur as not occur when a random new route is added.[13]
In 2012, scientists at theMax Planck Institute for Dynamics and Self-Organization demonstrated, throughcomputational modelling, the potential for the phenomenon to occur inpower transmission networks wherepower generation is decentralized.[14]
In 2012, an international team of researchers from Institut Néel (CNRS, France), INP (France), IEMN (CNRS, France) and UCL (Belgium) published inPhysical Review Letters[15] a paper showing that Braess's paradox may occur inmesoscopic electron systems. In particular, they showed that adding a path for electrons in a nanoscopic network paradoxically reduced its conductance. That was shown both by simulations as well as experiments at low temperature usingscanning gate microscopy.
A model with springs and ropes can show that a hung weight can rise in height despite a taut rope in the hanging system being cut, and follows from the same mathematical structure as the original Braess's paradox.[16]
For two identical springs joined in series by a short rope, their total spring constant is half of each individual spring, resulting in a long stretch when a certain weight is hung. This remains the case as we add two longer ropes in slack to connect the lower end of the upper spring to the hung weight (lower end of the lower spring), and the upper end of the lower spring to the hanging point (upper end of the upper spring). However, when the short rope is cut, the longer ropes become taut, and the two springs become parallel (in themechanical sense) to each other. The total spring constant is twice that of each individual spring, and when the length of the long ropes is not too long, the hung weight will actually be higher compared to before the short rope was cut.
The fact that the hung weight rises despite cutting a taut rope (the short rope) in the hanging system is counter-intuitive, but it does follow fromHooke's law and the way springs work in series and in parallel.
Adilson E. Motter and collaborators demonstrated that Braess's paradox outcomes may often occur in biological and ecological systems.[17] Motter suggests removing part of a perturbed network could rescue it. For resource management of endangered speciesfood webs, in which extinction of many species might follow sequentially, selective removal of a doomed species from the network could in principle bring about the positive outcome of preventing a series of further extinctions.[18]
It has been suggested that in basketball, a team can be seen as a network of possibilities for a route to scoring a basket, with a different efficiency for each pathway, and a star player could reduce the overall efficiency of the team, analogous to a shortcut that is overused increasing the overall times for a journey through a road network. A proposed solution for maximum efficiency in scoring is for a star player to shoot about the same number of shots as teammates. However, this approach is not supported by hard statistical evidence, as noted in the original paper.[19]
Braess's paradox has been shown to appear inblockchain payment channel networks, also known as layer-2 networks.[20] Payment channel networks implement a solution to the scalability problem of blockchain networks, allowing transactions of high rates without recording them on the blockchain. In such a network, users can establish a channel by locking funds on each side of the channel. Transactions are executed either through a channel connecting directly the payer and payee or through a path of channels with intermediate users that ask for some fees.
While intuitively, opening new channels allows higher routing flexibility, adding a new channel might cause higher fees, and similarly closing existing channels might decrease fees. The paper presented a theoretical analysis with conditions for the paradox, methods for mitigating the paradox as well as an empirical analysis, showing the appearance in practice of the paradox and its effects on Bitcoin's Lightning network.
