Network Investment Game with Wardrop Followers
Daniel Schmand, Marc Schr\"oder, Alexander Skopalik

TL;DR
This paper models a two-stage network investment game involving providers investing in bandwidth and users selecting services to minimize processing time, analyzing equilibrium outcomes and the impact of competition.
Contribution
It introduces a novel two-stage game model with Wardrop followers and provides reduction techniques for series-parallel graphs to analyze equilibria.
Findings
Competition influences total user costs
Series-parallel graphs can be simplified to single-edge games
Equilibrium analysis reveals strategic investment and routing behaviors
Abstract
We study a two-sided network investment game consisting of two sets of players, called providers and users. The game is set in two stages. In the first stage, providers aim to maximize their profit by investing in bandwidth of cloud computing services. The investments of the providers yield a set of usable services for the users. In the second stage, each user wants to process a task and therefore selects a bundle of services so as to minimize the total processing time. We assume the total processing time to be separable over the chosen services and the processing time of each service to depend on the utilization of the service and the installed bandwidth. We provide insights on how competition between providers affects the total costs of the users and show that every game on a series-parallel graph can be reduced to an equivalent single edge game when analyzing the set of subgame…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Network Investment Games with Wardrop Followers
Daniel Schmand Goethe University Frankfurt, Germany. [email protected].
Alexander Skopalik University of Twente, Netherlands. [email protected].
Marc Schröder RWTH Aachen University, [email protected].
Abstract
We study a two-sided network investment game consisting of two sets of players, called providers and users. The game is set in two stages. In the first stage, providers aim to maximize their profit by investing in bandwidth of cloud computing services. The investments of the providers yield a set of usable services for the users. In the second stage, each user wants to process a task and therefore selects a bundle of services so as to minimize the total processing time. We assume the total processing time to be separable over the chosen services and the processing time of each service to depend on the utilization of the service and the installed bandwidth. We provide insights on how competition between providers affects the total costs of the users and show that every game on a series-parallel graph can be reduced to an equivalent single edge game when analyzing the set of subgame perfect Nash equilibria.
1 Introduction
With the increasing availability of a fast and reliable internet connection, the demand for and the importance of cloud-computing services is heavily growing. That is why large IT-companies such as Amazon, Google or Microsoft have been investing massively in the improvement of their cloud services in recent years. New high-speed cables are being placed, high performance hardware has been installed, new software has been developed, and machine numbers have been scaled up [21]. Interestingly, prices for these services are typically charged per usage time (see for example, Amazon Web Services [3], Microsoft Azure [26] and Google Cloud [17]). This might a-priory lead to a situation, where a non-optimal infrastructure takes longer to process the users’ tasks, and thus even leads to a higher income for the corresponding provider. This paper addresses this issue by means of a theoretical model and provides some results on how competition between providers helps to prevent this behavior of providers.
We study the problem by means of a two-stage game, which we call a network investment game. In the first stage, a set of providers invests in bandwidths of services that are used by users in the second stage to process their task. These services could be different types of on-demand cloud computing, storage, data-base, security or media services. We assume that these services are either complements or substitutes to each other. This implies that the set of feasible bundles of services for the users can be represented by means of source-sink paths in a series-parallel network. Two services that are complementary can be modeled as two edges that are connected in series, whereas two services that are substitutes to each other can be modeled by means of two parallel edges. A similar idea has been used by Correa et al. in [14]. We call this underlying graph the technology graph. However, before a user can use a particular service, there must be a provider that has invested in bandwidth for that particular service. In other words, the investments of the providers induce a subgraph, the set of usable services, of the original technology graph that can be used by the users to process their task. Each user selects a bundle of services that is needed to perform the user’s task at minimum total processing time. The total processing time of a service depends on the quantity of users that chooses the particular service and the installed bandwidth of the providers. We assume that each user has a given willingness to pay for taking part in the game and is only present if the total costs do not exceed this value. Given that users impose externalities on each other, we assume that users in the second stage choose their bundle of services according to a Wardrop equilibrium [32] in the corresponding graph of usable services.
Given that prices for services are typically charged per usage time, we use the users’ costs as a proxy for the total revenue of the providers investing in a service. This total revenue is shared proportionally among those providers investing in the service. Proportional sharing is used in many different settings, e.g., in cooperative game theory [28] and in the context of congestion games [27]. We assume that the providers’ aim is to maximize profit, which depends on the amount of users using their services and the total amount invested. Intuitively, little investment in a service implies a high processing time and thus a high price paid by users, but only a small fraction of users will choose the service. Too much investment might lead to a large fraction of users, but only for a low price.
1.1 Contribution
We are interested in how competition between selfish providers affects the choices made by the users in the network investment game. More formally, we study the existence and uniqueness of subgame perfect Nash equilibria in which in the first stage, providers maximize profit and in the second stage, users choose a Wardrop equilibrium given the strategies of the providers in the first stage. We then consider the performance of equilibria in terms of the price of anarchy [23]. The price of anarchy measures the difference in performance between the worst subgame perfect Nash equilibrium and the social optimum. In fact, for all instances we consider, the performance of all subgame perfect Nash equilibria is the same and we are able to provide an exact characterization of this performance.
Our main result, Theorem 6, provides a simplification of the structure of equilibrium investments for series-parallel networks. We focus on series-parallel networks as this represents bundles of services consisting of complements and substitutes. We show that we can restrict attention to investments in which each provider invests in shortest paths (with respect to the number of services). This means that providers have no incentive to diversify their portfolio and invest in complements, nor to invest in services that can be replaced by less services. The result has some interesting implications. When being interested in either a subgame perfect Nash equilibrium, the social optimum, or combining both in the price of anarchy, it is without loss of generality to assume that the network consists of a single edge. This greatly simplifies the remaining analysis.
We then study the quality of subgame perfect Nash equilibria for different classes of users. In Section 4, we assume that all users have a fixed common willingness to pay. We precisely characterize the society’s surplus and the providers’ profits both in a corresponding optimal solution and in every subgame perfect Nash equilibrium. It turns out that the price of anarchy with respect to society’s surplus can be bounded by a constant, whereas the ratio with respect to providers’ profits can grow linearly with the number of providers. In Section 5, we redo the same analysis for users that have different willingnesses to pay and obtain similar results as for the fixed reservation value case.
1.2 Related work
Our model is closely related to several different classes of recently studied models. There is a close connection with network design games, as introduced by Anshelevich et al. [5] and extended by Anshelevich et al. [4]. In these games, selfish agents want to connect a personal source to sink by means of a path, and they share the costs of an edge in case multiple agents use that edge in their path. In network investment games, providers do not share the cost of an edge, but rather the revenue from the users using that edge. As a result, we obtain that providers want to invest in paths in equilibrium, an assumption that is not made a-priori.
In network investment games, we assume that users in the second stage behave as in a non-atomic network congestion game. The idea behind congestion games is that selfish users try to minimize their cost in an already existing network. The best-known solution concept for these games is the Wardrop equilibrium [32]. Beckmann et al. [7] and Dafermos and Sparrow [16] proved some structural results of this equilibrium concept. Roughgarden and Tardos [30] were the first to obtain a bound on the price of anarchy for non-atomic routing games.
Recently, starting with Acemoglu and Ozdaglar [1], several authors considered a two-stage game in which edge owners compete for users by means of tolling. In those games, the users in the second stage also choose a Wardrop equilibrium. Acemoglu and Ozdaglar [1] only considered parallel networks, which was then generalized to parallel-serial networks by Acemoglu and Ozdaglar [2]. Ozdaglar [29] and Hayrapetyan et al. [20] allowed for elastic users. Johari et al. [22] studied an extension that includes entry and investments decisions. Recently, Correa et al. [13] and Harks et al. [18] considered the game in which a central authority is allowed to impose price caps. In the former paper, caps are allowed to be different on different edges, in the latter the cap is uniform. Almost all of the above models, with the exception of Acemoglu and Ozdaglar [2], impose the simplifying assumption that the topology of the network is restricted to be parallel. We allow for arbitrary series-parallel graphs and do not impose any restriction on the strategy space of the providers, that is, every provider is allowed to invest in every edge of the network.
A slightly different, but closely related model is the game analyzed by Correa et al. [14]. Here each edge in a series-parallel network represents a producer that competes by selecting a markup that then determines a price function. The main difference to our work is that producers are identified by an edge and thus do not have the possibility to compete on other edges.
Leader-follower models as the previous ones are also known as Stackelberg games [31]. Recently, lots of attention has been placed on Stackelberg pricing games. Starting with Labbé et al. [24], who considered the problem in which a leader sets prices on a subset of edges and the follower chooses a shortest path, several authors generalized to different combinatorial problems for the follower. For example, Cardinal et al. [12] studied the Stackelberg minimum spanning tree problem, and Bilò el al. [8] and later Cabello [11] investigated the Stackelberg shortest path tree problem. Balcan et al. [6] and Briest et al. [10] considered the power of single-price strategies. Böhnlein et al. [9] extended the analysis of this simple algorithm beyond the combinatorial setting.
Lastly, there is a close connection to some of the traditional models of competition in economics, like Cournot competition [15]. We refer to Harks and Timmermans [19] for some other recent work connecting atomic splittable congestion games to multimarket Cournot oligopolies.
2 Preliminaries
We consider a two-sided market in which users purchase bundles of services. The set of feasible bundles is specified by a technology graph , which is a directed series-parallel network with source and sink . Each edge corresponds to a service. Every - path in describes a feasible bundle of services. Note that serial edges in correspond to complements, whereas parallel edges correspond to substitutes.
We model such a market as a two-stage game. In the first stage, a set of providers chooses to invest into services represented by edges. In the second stage, the users select bundles of services or paths in given the investments of the providers in the first stage.
The amount of investment affects the speed of the services. We assume for simplicity that prices for each service are charged automatically on a per-time basis. That is, the price function of an edge directly depends on the chosen investments into the corresponding service in the first stage and the current load induced by the users in the second stage. These two quantities highly influence the time that is needed to finish a job on a cloud computing device. Our choice of the price functions and the model of network investment games are motivated by time-dependent prices that are implemented in Amazon Web Services [3], Microsoft Azure [26] and Google Cloud [17] for using on-demand virtual machines.
We assume for simplicity that each user is of infinitesimal size which allows us to model the second stage as a non-atomic routing game. However it is important to note that the overall demand is not fixed, but depends on the total price the users have to pay for the services. The demand thus depends on the investment of the providers.
More formally, a network investment game is given by a tuple , where is a directed series-parallel network with source and sink , is the set of providers, and is the reservation function. Reservation functions model the users’ willingness to pay and impose elastic demand. This concept has already been used in the work of Beckmann, McGuire, and Winsten [7]. Intuitively, there is a total demand of in the game if the total price for bundles of services under demand is not larger than . We assume that is non-increasing.
The Provider’s Strategies. Each provider chooses an investment for every edge . Let be the investments of provider . Given an investment matrix , the total investment on edge is . Given , we define the set of relevant edges by . The price for a user using an edge , i.e., a service, is an increasing function of the amount of users using edge and defined by
[TABLE]
Note that this cost function is a very simple model for prices that depend on the total load of a service and the total investment. Here, we use the simplifying assumption that the time that is needed to complete a service request scales linearly with the load on the machines and inverse linearly with the investment.
The User’s Actions. Let denote the set of - paths, and let denote the set of - paths with minimum number of edges in . We model the behavior of the users by a flow in . The flow is defined to be a non-negative vector . Note that we stick to the path-definition of flows, because we assume strong flow conservation. For a flow and an edge , let denote the amount of flow on edge . Let be the total amount of users that are routed through the network under .
For a given investment matrix , we call some flow a Wardrop equilibrium if for all with , we have
[TABLE]
In a network investment game, we assume that both the providers and the users act selfishly. For simplicity, we assume that users are infinitesimal small and thus, a Wardop flow arises in the second stage. We will remark below that, for a given investment matrix and a given non-increasing reservation function, the arising Wardrop flow is uniquely defined, which is necessary for our model to be well-defined. Given the investment matrix , we denote the corresponding Wardrop flow by . If and/or is clear from the context, we often omit the dependency on and/or in order to improve readability. If and are clear from the context, we sometimes write instead of .
The Provider’s Profits. The profit of provider depends on the associated Wardrop flow , the investment matrix and the actual cost for the users . We define it by
[TABLE]
where is the proportional share of provider and her investment costs. This profit function is motivated by that fact that each user pays a load-dependent price for using a service of the provider, which is proportionally divided among those providers investing in the service, and the provider has some cost for installing bandwidth for the services. We consider the very simple model that investment costs are linear and the profit is given by the payment of the users minus the investment costs.
We call an investment matrix a subgame perfect Nash equilibrium if for all and all ,
[TABLE]
Given , we call a better response for provider if . In a subgame perfect Nash equilibrium, no provider has a better response. We call a better response demand preserving if .
The Social Welfare, or social surplus, is traditionally defined as the sum of the providers’ surplus and the user’s surplus. In our model, similarly as in Hayrapetyan et al. [20], this boils down to,
[TABLE]
Note that payments do not appear in the social welfare, as they are transfers from users to providers. An investment matrix is called a social optimum if maximizes the social welfare.
For a given instance , let denote the set of subgame perfect Nash equilibria. Notice that might be empty. A natural question is to quantify the loss in social welfare due to competition. Typically, researchers provide upper bounds for the loss in efficiency. We are able to precisely bound this inefficiency for any given instance. To this end, we define the price of anarchy and price of stability for a given instance as
[TABLE]
We assume that and if is empty.
A second natural question is to quantify the loss in total profit due to competition. We call this the providers’ price of anarchy and providers’ price of stability, and define it by
[TABLE]
As before, we assume that and if is empty.
We start with some simple observations on Wardrop equilibria for this model. To calculate the flow that models the users, we distinguish between two cases. Either there exists a - path such that for all , or not. Put differently, either there is a path such that for all we have , or all paths have investment [math] for at least one edge. If there is no - path with strictly positive investment on every edge, the Wardrop equilibrium is the empty flow with . If there is some with on all edges , we obtain the following results.
Remark 1** ([7, 16]).**
If is a Wardrop equilibrium, then there is a constant such that whenever with for all , and otherwise.
Remark 2** ([7, 16]).**
For two Wardrop flows with in a network with strictly increasing cost functions on every edge, we have that for all .
Note that, by Remarks 1 and 2, we have that the cost per user in the network investment game , as defined in Remark 1, only depends on the total demand for all Wardrop flows and a fixed . Let us focus on this dependence and write instead of . It turns out that is in fact strictly increasing in . The following proposition is due to Lin, Roughgarden, and Tardos [25]. However, in their variant of the proposition they only assume non-decreasing cost functions and show that is non-decreasing in . Since we have strictly increasing cost functions, we modify their proof in the appendix such that we get a slightly stronger statement.
Proposition 3** ([25]).**
* is strictly increasing in .*
We note that we can extend Proposition 3 and show that for network investment games, is even linear in . The proof uses the series-parallel structure of the graph and can be found in the appendix.
Proposition 4**.**
Given a vector of investment levels , is a linear function of .
The above two propositions are very important for the setup of network investment games. We assume that demand directly depends on the actual cost for the users, and thus indirectly on . In order to do so, we use that the costs for each user are given by a linear function . Combining this with the reservation function stating that an amount of has a willingness to pay at least , we define
[TABLE]
Note that this infimum is well defined, since is non-increasing and is strictly increasing due to Proposition 3. Furthermore, let us illustrate the dependence of on by the following observation. An increase of some for fixed induces a change in the corresponding edge cost and weakly decreases the cost of the flow . Since Wardrop flows are optimal flows for linear cost functions, this weakly decreases the value of for any fixed . Overall, one can show that a change of changes the slope of in the definition above, which then might result in a different demand.
3 Characterization of Equilibria
In this section, we derive some important properties of subgame perfect Nash equilibria. First, we prove our main result that in every subgame perfect Nash equilibrium, every provider only invests in shortest (with respect to the number of edges) paths. The implications of this result are quite significant and twofold. First, it implies a nice characterization of markets that can be modeled by means of a network investment game. Second, the result simplifies the further analysis of the game significantly. As long as we are interested in equilibrium investments, the analysis gets notably easier. Instead of considering a strategy space in which every provider is allowed to invest in every edge separately, we can restrict attention to strategies in which providers invest in shortest paths. We will heavily use this characterization in the later sections.
Definition 5**.**
We call a strategy a path strategy of provider if there exist values with such that for all .
Note that the definition ensures that we can always decompose a path strategy of a provider defined on edges into a path decomposition. Thus, when considering path strategies, we can work with the path decomposition of investments, instead of the investments defined on edges. If all providers’ investments are path strategies, it is immediately clear that we can also define for all and .
Note that, when using the term shortest paths, we always refer to shortest paths with respect to the number of edges in the path. Now, we are able to state and prove our main theorem of this section.
Theorem 6**.**
**
- (i)
In every subgame perfect Nash equilibrium, every provider chooses a path strategy on shortest paths. 2. (ii)
Let . If every provider chooses a path strategy on shortest paths then the following holds: For every strategy of provider , there is a path strategy on shortest paths inducing the same amount of flow and at least the same profit for provider .
For the proof of Theorem 6, we need the following two lemmas. In the first lemma we observe that in equilibrium a provider cannot choose positive investments on two paths of different length. If so, there is always a better response that only invests in the shorter of the two paths.
Lemma 7**.**
Let be a series-parallel graph that is a parallel composition of series-parallel graphs and . Let be a vector of path strategies of paths that all are either shortest - paths in with length or shortest - paths in with length . If , and for some provider and , then there is a demand preserving better response for with .
Next we turn to graphs that are a series composition of two subgraphs. Assuming that every provider’s strategy can be decomposed into two path strategies for the two subgraphs, we show that in equilibrium they must invest the same value in both subgraphs. Furthermore, if all other providers play shortest path strategies, for all strategies of a provider, the provider always has an at least as good strategy in shortest paths.
Lemma 8**.**
Let be a series-parallel graph that is a series composition of series-parallel graphs and . Let be a vector of investments that can be partitioned into and such that and are shortest path strategies in their corresponding graphs and , respectively.
- (i)
If for some provider , then there is a demand preserving better response for some . 2. (ii)
If, additionally, for all providers , then the following holds. For every strategy there is a shortest path strategy with and at least the same profit for provider , i.e., .
Now, we are ready to prove Theorem 6.
Proof of Theorem 6.
The main difficulty in proving statements on strategy changes of providers lies in the fact that the users’ costs and, hence, demand and flow might change. However, we are able to circumvent the dependency on the reservation function by only considering demand preserving better responses. In fact, we prove the first statement of the theorem by showing the following stronger statement. (i’) If there is a provider such that is not a path strategy on shortest paths, then there is a provider with a demand preserving better response. Note that statement (i’) implies part (i) of the theorem. We show statement (i’) and part (ii) of the theorem by induction on the structure of the series-parallel graph . For the base case, a graph with a single edge, both statements are trivially fulfilled. For the induction step, assume the statements are true for series-parallel graphs and , and we will argue that the statements are true for a new series-parallel graph that either arises from a parallel composition or a series composition of and .
For (i’), observe the following: If there is a provider such that is not a path strategy in one of the two subgraphs or , we can assume w.l.o.g. that it is not a path strategy in . Then there is a demand preserving better response in for some provider . This is also a demand preserving better response for in , since it is demand preserving in , and thus does not change any flow in , and thus any profit in . So we can assume that the investments are shortest paths within and within for all .
Case 1: Parallel Composition. Assume is the result of a parallel composition of series-parallel networks and . For proving (i’), denote the length of the shortest paths in by and the length of the shortest paths in by . If and there is a provider that invests in the longer path, we can apply Lemma 7 to show that there is a demand preserving better response for provider . For (ii), observe that if is a path strategy on shortest paths for every provider , it is also a path strategy on shortest paths in both subgraphs. Thus, by induction, provider has a shortest path strategy that is demand preserving w.r.t. within and . Note that this is already a strategy on paths that does not change the overall demand and yields at least as much profit as . Note that this is not a shortest path strategy in only if , say w.l.o.g. and invests in . In this case, we apply Lemma 7 and conclude that has a demand preserving better response and, thus in fact has the desired strategy on shortest paths in .
Case 2: Series Composition. Assume is the result of a series composition of series-parallel networks and . For (i’), note that have already argued that is a shortest path strategy within and within for every provider. However, if it is not a shortest path strategy in for some , we fulfill the conditions of Lemma 8 (i).
For (ii), note that we also fulfill the additional condition of Lemma 8 (ii). By using the lemma, we can conclude that for every strategy , provider has a strategy on shortest paths inducing the same demand and at least the same profit. ∎
Note that we have proven that in a subgame perfect Nash equilibrium, all providers invest in shortest path strategies. Additionally, for proving that some investment matrix is an equilibrium, we can restrict the strategy set to shortest path strategies.
We proceed with a proposition that significantly reduces the set of shortest path strategies. We show that if each provider chooses an investment on shortest paths, it is irrelevant how this investment is distributed over the shortest paths. The proof of the proposition is moved to the appendix.
Proposition 9**.**
Let and be investment matrices such that for all , and are path strategies, and and can be decomposed into path decompositions and only using shortest paths, respectively. Additionally, let for all . Then, for all and .
By using Proposition 9, we can classify shortest path strategies into equivalence classes, represented by a single number.
Observation 10**.**
In order to analyze subgame perfect Nash equilibria and check their existence, it is sufficient to check investments on shortest paths. By Proposition 9, we know that it is irrelevant on which shortest path a provider invests. Thus, we can assume that each strategy of a provider is not a vector of investments , but a single number representing the total investment in shortest paths.
4 Homogeneous Users
In this section, we assume that all users are homogeneous and have the same fixed reservation value for processing a task, and decide not to process their task if the price is above . More formally, we assume that for all , and for all , where represents the size of the population of users. We show that there always exists a subgame perfect Nash equilibrium and analyze the inefficiency of equilibria in terms of the PoA and PPoA.
Recall that, by Observation 10, we can restrict the strategy spaces of the providers to path strategies on shortest paths and denote them by a single number. We slightly abuse notation and denote the strategy chosen by provider by .
We first compute the demand and profits of providers in a network investment game with a fixed reservation value.
Lemma 11**.**
For for all , and for all , where ,
- (i)
the demand is given by the function and
- (ii)
the profit is given by ,
where denotes the length of a shortest - path.
Using the closed form for the demand and the profit, we show by a case distinction of , and in the appendix that a subgame perfect Nash equilibrium always exists and has the same total investment.
Theorem 12**.**
There always exists a subgame perfect Nash equilibrium.
The following example illustrates that a subgame perfect Nash equilibrium need not be unique.
Example 13**.**
Let consist of a single edge connecting to , , and for all , and for all . Then for , . From the first order conditions of provider , we get that all with and are subgame perfect Nash equilibria. Notice that the total investment is the same in all subgame perfect Nash equilibria.
Given that a subgame perfect Nash equilibrium exists, we might wonder about the induced performance of an equilibrium. In order to answer this question, we consider two different measures of performance: the social welfare and the total providers’ profits.
The main result of this section gives a tight characterization on the price of anarchy for fixed reservation value users.
Theorem 14**.**
For an instance with for all , and for all , where ,
[TABLE]
Proof.
First, observe from the definition of the social welfare that for all with . Moreover, is decreasing in for . This implies that is attained at some with . In particular, if , all subgame perfect Nash equilibrium maximize the social welfare.
So assume that . Then, . From the proof of Theorem 12, it follows that either or . In the former case, we have that all subgame perfect Nash equilibrium maximize the social welfare. In the latter case, we have , where the last inequality follows since . ∎
Corollary 15**.**
For all with for all , and for all , where , .
Note that the above result is quite robust, and states that, independent of , the social welfare under competition is at least the optimal social welfare.
However, the following result shows that the providers’ price of anarchy is not bounded by a constant, but could grow linearly with the number of providers (by at most ), even for fixed reservation value users.
Theorem 16**.**
For an instance with for all , and for all , where ,
[TABLE]
Proof.
First, observe that if , then for all and thus all subgame perfect Nash equilbria maximize the sum of providers’ profits.
Second, if , then by Lemma 11, has . In particular, if , all subgame perfect Nash equilibrium maximize the sum of the providers’ profits.
Third, if and , then from the proof of Theorem 12, it follows that in a subgame perfect Nash equilibrium, . Hence, we get
. ∎
5 Heterogeneous Users
We now turn to reservation functions that correspond to heterogeneous users with differing reservation values. As an example we choose one of the arguably simplest class of functions. We note that the study of different and application specific functions is an interesting open question. Here, we consider the reservation functions , where , for all . We distinguish between one and multiple provider games as for one provider games a subgame perfect Nash equilibrium might not exist. We study equilibrium existence, equilibrium uniqueness and the inefficiency in terms of the PoA and PPoA. Note that we again restrict the strategy spaces of the providers to path strategies on shortest paths and denote them by a single number due to Observation 10.
We show that for network investment games with a single provider a monopoly equilibrium exists if and only if . If , it is always beneficial for the provider to decrease investment to a smaller, strictly positive amount. For the case of there is a unique subgame perfect equilibrium.
Theorem 17**.**
Let denote the length of a shortest - path in . For , there exists a subgame perfect Nash equilibrium if and only if . If , the equilibrium is unique and given by .
For , there is a unique Nash equilibrium given by for all .
For , we refer to the appendix. For the proof of the theorem for , we need the following lemmas that are proven in the appendix.
Lemma 18**.**
Let be the set of providers with for some investment vector . Then, if there is some with , then is not a subgame perfect Nash equilibrium.
Lemma 19**.**
Let be the set of providers with . If , then this is not a subgame perfect Nash equilibrium.
Proof of Theorem 17.
Assume . First, note that by Lemma 19 all providers have to invest and by Lemma 18 in a Nash equilibrium all have to invest . Thus, is the only possibility for a Nash equilibrium. It remains to show that is in fact a Nash equlibrium. In order to do so, we fix some provider and prove that is in fact a best response to . First, we observe in Lemma 26 in the appendix that is continuous in . We proceed by showing that (i) is the only value fulfilling the first order conditions and (ii) yields a positive profit. For (i) note that
[TABLE]
We have shown in Lemma 18 that fulfills the first order condition for all . For showing uniqueness, define and observe that if for some , then for all . We conclude that all values fulfilling the first order condition have the property . However, for all , the is decreasing in . This shows that there is in fact only one value fulfilling the first order condition.
For (ii), observe that evaluates to , which is positive since . ∎
We are now ready to precisely quantify the inefficiency of subgame perfect Nash equilibria for any instance of a network investment game with reservation function , where . The proof can be found in the appendix. As in immediate consequence, we obtain that the price of anarchy is upper bounded by a surprisingly small constant of approximately for every graph and every .
Theorem 20**.**
For an instance with , where ,
[TABLE]
As an interesting consequence, we would like to point out that the equilibrium for a two providers game is in fact optimal.
Corollary 21**.**
For , where , and , we have .
We now consider the total providers’ profit and derive tight bounds on the PPoA. Interestingly, in contrast to the PoA, the PPoA is not constant but grows almost linearly with the number of providers.
Theorem 22**.**
For an instance with , where , and ,
[TABLE]
6 Conclusion
We have considered a class of games, called network investment games, in which providers invest in bandwidth of particular services that are then used by users to process a specific task. We studied the existence and inefficiency of subgame perfect Nash equilibria when the underlying technology graph is series-parallel, reflecting that services can be either complements or substitutes. We showed that it is essentially without loss of generality to restrict attention to one-edge networks. For two particular classes of reservation functions we studied the performance of subgame perfect Nash equilibria and we quantified this performance in terms of the social welfare and the total providers’ profit.
Several questions remain open. We have given examples for which subgame perfect Nash equilibria exist and do not exit, and we have shown that for series-parallel graphs the existence of subgame perfect Nash equilibria is essentially independent of the technology graph. It would be interesting to know if there is a (general) property of the reservation functions that characterize the existence of subgame perfect Nash equilibria. In case there is such an existence condition, it would be nice to find a price of anarchy bound that is independent of the class of reservation functions being used? Unfortunately, our results have far less implications for graphs that are not series-parallel, like for example the Braess’ graph. Is it still true that for more general networks providers only invest in shortest paths in equilibrium?
Appendix A Omitted Proofs and Lemmas
Preliminaries
See 3
Proof.
Given an investment matrix , let be corresponding Wardrop flows with . We will prove that there exists a such that for all . Suppose not, then we construct a set of vertices with and as follows. First, add to . As long as there is an edge from to with add to . Since there is at least one edge with for all , we have that will never be added to . Thus, is a proper subset of and for all edges from to , . Given that is series-parallel, there are no edges from to , which would imply that which is a contradiction.
Since there exists a such that for all and cost functions are strictly increasing by definition, the proposition follows by Remark 1. ∎
See 4
Before we can prove the proposition by means of induction, we need the following structural lemma about series-parallel graphs.
Lemma 23**.**
Let be a series-parallel graph and be the set of simple - paths in . Let arise from by choosing any non-empty set and defining . Then is a series-parallel graph.
Proof.
We show the lemma by induction on the series-parallel graph structure. First, note that the lemma is clearly fulfilled for a series-parallel graph with a single edge. Next, assume that arises from a series composition of series-parallel graphs and . In this case, each path in also forms a path in and , so and are series-parallel, where and . Due to the definition of and , the graph can be constructed by a series composition of and , thus is also series-parallel.
Now, assume that arises from a parallel composition of series-parallel graphs and . In this case, each path in forms an - path in either or , so and are series-parallel, where and are defined as above. Due to the definition of and , the graph can be constructed by a parallel composition of and , thus is also series-parallel. ∎
Proof of Proposition 4.
Let be a series-parallel graph and some investment vector. First, we do the following preprocessing. Observe that the flow particles can only use edges that are on at least one - path with for all . Thus, we can ignore and delete all other edges without changing . By using Lemma 23, we observe that the remaining graph is series-parallel. In the following, we show the Proposition by induction on the series-parallel structure.
First, note that if , i.e., contains only the edge , then the cost function is given by definition of the cost function of edge , since . We have
[TABLE]
which is a linear function in . Now suppose arises from a series or a parallel composition of series-parallel graphs and , or and , respectively. We assume that the Proposition holds for the two subgraphs and we have for and for , where and are the corresponding slopes that do not depend on . In the following, we calculate the cost function in . First, consider the case of a series composition. Then, the total cost of any flow particle is clearly , which is a linear function in with slope . Second, for a parallel composition, note that a particle either uses graph or . Both routes have the same cost, due to the definition of the Wardrop flow. Assume w.l.o.g. that the particle travels through . Let denote the amount of particles using and the amount of particles using , respectively. Then, , where arises such that with . We conclude , i.e.,
[TABLE]
which is a linear function in and finishes the proof. ∎
Characterization of Equilibria
See 9
Proof.
We calculate the profit of some provider and show that it only depends on the sum of the invested bandwidths. Using the Wardflow as defined in Lemma 24, we obtain
[TABLE]
Note that only depends on , and . We can thus conclude that the actual choice of shortest paths is irrelevant as long as the total investment level of a provider remains the same.
We show in the following Lemma 24, that the cost of each path only depends on , and . Given that , we can conclude that . ∎
Lemma 24**.**
Given that all providers choose path strategies on shortest paths, the flow with
[TABLE]
is a Wardrop flow. The corresponding price of edge for a user equals for all .
Proof.
Let be the length of all shortest paths. Since is series-parallel, the graph is a graph with the property that all - paths in this graph have length . For all other , the cost of the path equals by definition, since there must be an edge that is not part of any shortest path, and thus without bandwidth. It remains to consider the paths . First, let with for all . We observe
[TABLE]
which proves the second part of the theorem. We conclude that
[TABLE]
Thus the cost of any path with for all only depends on , and . Note that all paths with some have cost equal to by definition. We conclude that there is no path in with smaller cost than the used paths in the flow constructed above. Assuming that all providers choose path strategies on shortest paths, the constructed flow is a Wardrop equilibrium. ∎
See 7
Proof.
Define and . We will prove that the flow defined by
[TABLE]
for all , and
[TABLE]
for all , is a Wardrop flow.
We will show the proof only for paths . For all , the proof is analogous. Notice that for all , the costs are infinity as there is at least one edge without investment. For all , we have
[TABLE]
Thus the cost of all used paths are the same, and hence the constructed flow is a Wardrop flow.
Now, suppose that there is a provider with for some . We show that provider has a demand preserving better response. First, note that the total profit of provider equals
[TABLE]
Next, we show that has a demand preserving better response by shifting some investment from to a path . Let on path and on . We observe that , since
[TABLE]
The total difference in the profit of provider is
[TABLE]
Since , this term is positive and the deviation is profitable. ∎
See 8
Proof.
We start the proof by showing (i). Define and for all , and and . Observe that in a subgame perfect Nash equilibrium if , then either or . In that case, provider with has a demand preserving better response by not investing at all. So we can assume that . W.l.o.g. suppose that . We show that there exists a provider that has a profitable deviation.
Since there is a provider with , there is a provider with and . This provider exists, because , and for all providers with , we have .
Let denote the length of a shortest - path in , and the length of a shortest - path in . In the following we will observe that only depends on and and not on the particular investments on shortest paths.
[TABLE]
where the fourth equality follows because the Wardrop flow in can be decomposed into a Wardrop flow in and as all providers are investing in shortest paths.
Assume that provider chooses a vector of investments with and , where is sufficiently small. We observe that , since
[TABLE]
where the third equality follows from basic calculus.
The total difference in the profit of provider is
[TABLE]
and thus
[TABLE]
where the inequality follows because either and then , or and , which completes the proof of (i).
In order to show (ii) we revisit the proof of (i) and use the additional property that . From (i) we conclude
[TABLE]
In order to construct a path strategy on shortest paths, we choose a shortest path strategy with for
[TABLE]
We can check easily that is exactly chosen in a way that
[TABLE]
i.e., such that , thus the switch of provider from to is demand preserving. It remains to show that the profit is not decreasing. We observe
[TABLE]
which completes the proof of (ii). ∎
Homogeneous Users
See 11
Proof.
Suppose that . Then the following equivalence follows . This implies that .
Using the definition of a provider’s profit, we also get that . ∎
See 12
Proof.
By Lemma 11,
[TABLE]
We distinguish the following three cases: , , and .
Suppose that . Then and thus for all with and all . Hence for all is the unique subgame perfect Nash equilibrium.
Now, suppose that . Then and thus for all and all with , and for all with and all with . Hence all with are a subgame perfect Nash equilibrium.
Finally, suppose that . Assume that is a subgame perfect Nash equilibrium, we will derive some properties. First, since , there cannot be a subgame perfect Nash equilibrium with , as the profit function of all is a strictly increasing linear function in that region, and thus we can conclude that . Second, since for all , we must have . In particular, this implies that for all with , as by slightly decreasing the investment, the provider would gain a strictly positive profit. But then for all , as and a provider without investment could gain a strictly positive profit by investing an arbitrary small, but positive amount. This implies that it is sufficient to check the first order conditions of all providers . Given the kink in the profit function at , the first order condition is given by for all , where the inequality is an equality if . We now consider two subcases: either for some , or for all .
First, suppose that for some . Then by the first order conditions, and for all . Summing over all , yields . In particular, for all is a subgame perfect Nash equilibrium, because and .
Second, suppose that for all . Then by rewriting the first order condition, we have for all . This is a subgame perfect Nash equilibrium if , or equivalently . Notice that in this case the subgame perfect Nash equilibrium is unique.
∎
Heterogeneous Users
Lemma 25**.**
Let denote the number of edges on a shortest - path in . For , where ,
- (i)
the demand is given by the function and
- (ii)
the profit is given by
Proof.
We prove the two parts separately.
- (i)
.
- (ii)
∎
Lemma 26**.**
Let . If there exists a provider with or , then is continuous in .
Proof.
By Lemma 25, the profit function is a continuous function on . So the only possible point of discontinuity is at [math]. Notice that by definition. Remains to show that .
Case 1: there exists a provider with . Then as , the quantity in the bracket converges to the constant and as , we have .
Case 2: for all and . Then by Lemma 25, we have Since , and hence . ∎
See 17
Proof.
Assume . By Lemma 25 the payoff for one provider evaluates to . We consider three different cases.
Case 1: . Then and thus there is no best response.
Case 2: . Then and and thus there is no best response.
Case 3: . By Lemma 26, the profit function is continuous. Moreover, we have . This implies that any Nash equilibrium with positive profit for provider has to fulfill the first-order condition: yielding Since this is the unique point satisfying the first order conditions, this must be a global maximum. ∎
See 18
Proof.
If , see Theorem 17. Assume that . By Lemma 26, the profit function is continuous. Moreover, and hence . This implies that any Nash equilibrium with positive profit for provider has to fulfill the first-order condition for all :
[TABLE]
The right-hand side is independent on and the same for all providers . Hence for all . Setting yields . ∎
See 19 Before we can prove Lemma 19, we need the following two lemmas.
Lemma 27**.**
* for all is not a Nash equilibrium.*
Proof.
Let and assume that for all . Suppose that is a best response. We derive a contradiction.
[TABLE]
Hence there always exists a so that . ∎
Lemma 28**.**
* for some and for all is not a Nash equilibrium.*
Proof.
Let and assume that for all . Suppose that is a best response. We derive a contradiction. Recall that .
Case 1: . Then and hence is a better response.
Case 2: . Then and hence is a better response.
Case 3: . By Theorem 17, . Since the profit function of provider is continuous by Lemma 26, it is sufficient to show that at . Hence . ∎
Proof of Lemma 19.
If , see Lemma 27. If , see Lemma 28. Suppose that . By Lemma 18, . Since the profit function of provider is continuous by Lemma 26, it is sufficient to show that at . Evaluating at yields . Plugging in yields , which is clearly positive since . ∎
See 20
Proof.
We begin the proof by deriving a closed form expression for the social welfare.
[TABLE]
where we used which is proven in Lemma 25 in the appendix.
In the following, we can compute the social optimum. Note that the social welfare function is continuous in and . Hence the first order conditions, if unique, are sufficient to ensure a global maximum, Thus, the optimal social welfare is
By Theorem 17, the equilibrium social welfare is
Thus,
To prove the last inequality, observe that if ,
For , we have
As , ∎
See 22
For the proof of the theorem, the following simple lemma on the providers’ profit in equilibrium is crucial.
Lemma 29**.**
If , then
Proof.
Proof of Theorem 22.
We consider three different cases. Case 1: . Since as and , we conclude the result.
Case 2: . Since for all , we have by Lemma 29 that
Case 3: . By Lemma 29, ∎
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] Daron Acemoglu and Asuman Ozdaglar. Competition and efficiency in congested markets. Mathematics of Operations Research , 32(1):1–31, 2007.
- 2[2] Daron Acemoglu and Asuman Ozdaglar. Competition in parallel-serial networks. IEEE Journal on Selected Areas in Communications , 25(6), 2007.
- 3[3] Amazon Web Services - Cloud Computing Services. https://aws.amazon.com/pricing/ . Accessed: 2018-12-19.
- 4[4] Elliot Anshelevich, Anirban Dasgupta, Jon Kleinberg, Eva Tardos, Tom Wexler, and Tim Roughgarden. The price of stability for network design with fair cost allocation. SIAM Journal on Computing , 38(4):1602–1623, 2008.
- 5[5] Elliot Anshelevich, Anirban Dasgupta, Éva Tardos, and Tom Wexler. Near-optimal network design with selfish agents. In ACM Symposium on Theory of Computing , pages 511–520, 2003.
- 6[6] Maria-Florina Balcan, Avrim Blum, and Yishay Mansour. Item pricing for revenue maximization. In Proceedings of the 9th ACM conference on Electronic commerce , pages 50–59. ACM, 2008.
- 7[7] Martin Beckmann, Charles Mc Guire, and Christopher Winsten. Studies in the economics of transportation. Technical report, 1956.
- 8[8] Davide Bilò, Luciano Gualà, Guido Proietti, and Peter Widmayer. Computational aspects of a 2-player stackelberg shortest paths tree game. In International Workshop on Internet and Network Economics , pages 251–262. Springer, 2008.
