1 Introduction
Internet is ubiquitous these days with ever increasing number of smartphones and computers. There is a large and very complex interaction of people with each other, with the government and the firms. Thus it is quite an important problem to design large scale systems such that when interacted upon by people, who are selfinterested agents and try to maximize their own utilities, the outcome is desirable to the planner. One of the common formulations is to maximize sum of the utilities of all the agents, also called social welfare or network utility [1].
In practice, a system designer does not have complete information to maximize the social welfare directly, while agents may have incentive to misreport such information so as to manipulate the system outcomes to their own advantages. Consequently, mechanism design has been proposed as an engineering side of game theory which aims to design games such that when played by the selfinterested agents while the induced gametheoretic equilibrium leads to social welfare maximization in an efficient allocation. One such celebrated mechanism is Vickery Clark Grove (VCG) Mechanism
[2, 3, 4] that ensures that truthfully revealing each agent’s information is a dominant strategy. However, there are two main drawbacks that prevent VCG Mechanism from being practically implemented in largescale systems, namely unaffordable communications and computation overheads. In particular, VCG Mechanism may incur significantly communication overheads since it requires each agent to submit its entire utility function carrying infinitely many messages. Related research efforts (e.g. [6, 7, 8, 9, 10, 11, 12, 13]) have been proposed towards resolving such an issue, in which case users are only required to submit limited messages while the social welfare is maximized at the induced equilibria. The second main issue of VCG Mechanism that this work considers is the computation issue: as the number of agents becomes large, it becomes difficult to compute the optimal action and implement VCG mechanism. Authors in [5] consider a dynamic mean field model for large scale auctions, where it showed that each agent reports truthfully according to her conjoint valuation.In this paper, we consider the problem of mechanism design where there are a large number of homogeneous players. Each player has a type which is her private information. She takes an action to report of her type to the system designer who, based on everyone’s type, allocates good and prices to the individuals. We present an incentive compatible (IC) mechanism where truthfully reporting one’s type is a dominant strategy of a player. Moreover, the mechanism is individually rational (IR) and also weakly balances budget (BB). We then consider where types of the players are dynamically evolving through a controlled Markov process. In this case, we extend our previous mechanism to this dynamic setting such that revealing one’s type in each time period is a dominant strategy of the players. As before, the mechanism is IC, IR and weakly BB.
The paper is structured as follows. In Section 2 we present the model and revise the VCG mechanism. In Section 3, we present the mechanism for the static setting. In Section 4, we consider the case when player’s types are dynamically evolving and extend our previous mechanism to that setting. We conclude in Section 5.
2 System Model
Consider a system with a set of agents. Each agent has a type , where is finite. Type user’s received allocation is . The resource allocation constraint is given by . Type users’ utilities: .
In the following, we revise the VCG mechanism.
Mechanism 1 (VCG Mechanism).
Each user sends a report of its type and auctioneer selects the allocation such that
(1) 
DSIC: Each user’s (effective) payoff satisfies
(2) 
Note that, from (1), is achieved when type users reveal their truthful type, i.e., . Hence, truthful reporting is each type user’s optimal strategy, regardless of the decisions of all other types of users.
3 LargeScale Mechanism Design
Let be the portion of type users i.e. .
Lemma 1.
The VCG Payment for user converges to when where is the optimal dual variable corresponding to the constraint of the following social welfare maximization problem:
(3a)  
(3b) 
Proof: Let
(4) 
The VCG payment for user is given by:
(5) 
Lemma 2.
There exists a function such that truthfully reporting one’s type is a dominant strategy for a player.
To show this, consider the following mechanism:
Mechanism 2 (LargeScale VCG Mechanism).

Message Space: each agent reports its type ;

Allocation Outcome: let be the portion of reported type agents for all . The auctioneer solves the following problem:
(8a) (8b) Let be the optimal primal solution and be the optimal dual solution. Each agent receives an allocation
(9) and needs to pay
(10)
We next prove such a mechanism achieves dominantstrategy incentive compatibility.
Proof.
Given all other agents’ reports’ , each agent’s payoff maximization problem is:
(11) 
Note that is determined in (24). As , the value of remains the same even if agent solely deviates from reporting , so does . Hence, we can safely remove from .
Note that each agent’s payoff in (27) is bounded by
(12) 
which can be readily shown by contradiction. In addition, the maximizer of satisfies
(13) 
By analyzing the KKT conditions of (24), is exactly achieved when agent reports , i.e., , and, from (27),
(14) 
From (28), we see that the truthful report maximizes agent ’s payoff. Therefore, the LargeScale VCG Mechanism achieves dominantstrategy incentive compatibility. ∎
We next prove the remaining two properties, namely Individual Rationality (IR) and weakly Budget Balance (BB).
Proposition 1.
The LargeScale VCG Mechanism satisfies IR and weakly BB.
Proof.
The dual variable is positive, and so is every user ’s payment . This shows that weakly BB is satisfied.
From (14), each agent’s payoff when truthful reporting satisfies
(15) 
which shows that IR is achieved. ∎
4 Dynamic LargeScale VCG Mechanism
In this section, we generalize the idea of the largescale mechanism into dynamic environments.
The utility function of agent is
(16) 
where for agent is a general Markov process, where the Markov processes of agents are independent across agents.
(17) 
All agents discount the future with a common discount factor . The socially efficient policy is obtained by maximizing the expected discounted of valuations.
The socially optimal program starting in period at state can be written as
(18)  
(19) 
Define an optimum policy of the designer as
(20) 
Also define for a Markovian policy for a user, her utility to go such that, for ,
(21)  
(22) 
can be rewritten as
(23) 
Mechanism 3 (Dynamic LargeScale VCG Mechanism).

Message Space: each agent reports its type ;

Allocation Outcome: let be the portion of reported type agents for all . The auctioneer solves the following problem:
(24a) (24b) Let be the optimal primal solution and be the optimal dual solution. Each agent receives an allocation
(25) and needs to pay
(26)
Given all other agents’ reports’ , each agent’s payoff to go maximization problem is:
(27) 
Note that is determined in (24). As , the value of remains the same even if agent solely deviates from reporting , so does . Hence, we can safely remove from .
Note that each agent’s payoff in (27) is bounded by
(28) 
which can be readily shown by contradiction. In addition, the maximizer of satisfies
(29) 
By analyzing the KKT conditions of (24), is exactly achieved when agent reports , i.e., , and, from (27),
From (28), we see that the truthful report maximizes agent ’s payoff. Therefore, the Dynamic LargeScale VCG Mechanism achieves dominantstrategy incentive compatibility.
Proposition 2.
The Dynamic LargeScale VCG Mechanism satisfies IR and weakly BB.
Proof.
The dual variable is positive, and so is every user ’s payment . This shows that weakly BB is satisfied.
From (14), each agent’s payoff when truthful reporting satisfies
(30) 
which shows that IR is achieved. ∎
5 Conclusion
In this paper, we considered both static and dynamic models where players have private types that parameterize their utilities. We presented mechanisms that incentivize the users to reveal their private types, which are incentive compatible, individually rational and weakly budget balanced.
References
 [1] D. P. Palomar and M. Chiang, “A tutorial on decomposition methods for network utility maximization,” in IEEE JSAC, vol. 24, no. 8, pp. 14391451, Aug. 2006.
 [2] W. Vickery, “Counterspectulation, auctions, and competitive sealed tenders,” J. Finance, vol. 16, no. 1, 1961.
 [3] E. H. Clarke, “Multipart pricing of public goods,” Public choice, pp.1733, 1971.
 [4] T. Groves, “Incentives in teams,” Econometrica, 1973.
 [5] Iyer, Krishnamurthy, Ramesh Johari, and Mukund Sundararajan. ”Mean field equilibria of dynamic auctions with learning.” Management Science, 60.12 (2014): 29492970.
 [6] S. Yang and B. Hajek, “VCGKelly mechanisms for allocation of di visible goods: Adapting VCG mechanisms to onedimensional signals,” IEEE J. Sel. Areas Commun., 2007.
 [7] R. Johari and J. N. Tsitsiklis, “Efficiency of scalarparameterized mech anisms,” Operations Research, 2009.
 [8] R. Jain and J. Walrand, “An efficient Nashimplementation mechanism for network resource allocation.” Automatica, 2010.
 [9] A. Kakhbod and D. Teneketzis, “An efficient game form for multirate multicast service provisioning,” IEEE J. Sel. Areas Commun., 2012.
 [10] S. Sharma and D. Teneketzis, “Local public good provisioning in networks: A Nash implementation mechanism,” IEEE J. Sel. Areas Commun., 2012.
 [11] A. Sinha and A. Anastasopoulos, “Distributed mechanism design with learning guarantees,” in Proc. IEEE CDC, 2017.
 [12] H. Ge and R. A. Berry, “Dominant strategy allocation of divisible network resources with limited information exchange”, in Proc. IEEE INFOCOM, 2018.
 [13] M. Zhang and J. Huang, “Efficient Network Sharing with Asymmetric Constraint Information”, IEEE J. Sel. Areas Commun., 2019.