 Research
 Open Access
The MDP Procedure for public goods and local strategy proofness
 Kimitoshi Sato^{1}Email author
https://doi.org/10.1186/s4000801600400
© Sato. 2016
 Received: 2 February 2015
 Accepted: 8 March 2016
 Published: 2 April 2016
Abstract
This paper revisits the family of MDP Procedures and analyzes their properties. It also reviews the procedure developed by Sato (Econ Stud Q 34:97–109, 1983) which achieves aggregate correct revelation in the sense that the sum of the Nash equilibrium strategies always coincides with the aggregate value of the correct marginal rates of substitution. The procedure named the Generalized MDP Procedure can possess other desirable properties shared by continuoustime locally strategy proof planning procedures, i.e., feasibility, monotonicity and Pareto efficiency. Under myopia assumption, each player’s dominant strategy in the local incentive game associated at any iteration of the procedure is proved to reveal his/her marginal rate of substitution for a public good. In connection with the Generalized MDP Procedure, this paper analyzes the structure of the locally strategy proof procedures as algorithms and game forms. An alternative characterization theorem of locally strategy proof procedures is given by making use of the new condition, transfer independence. A measure of incentives is proposed to show that the exponent attached to the decision function of public good is characterized. A Piecewise Nonlinearized MDP Procedure is presented, which is coalitionally locally strategy proof. Equivalence between priceguided and quantityguided procedures is also discussed.
Keywords
 Aggregate correct revelation
 Coalitional local strategy proof
 Fujigaki–Sato Procedure
 Generalized MDP Procedure
 Local strategy proof
 Measure of incentives
 Piecewise Nonlinearized MDP Procedure
 Pricequantity equivalence
 Transfer independence
1 Background
According to Samuelson (1954), public goods are characterized by nonrivalness and nonexcludability. Since the appearance of Samuelson’s seminal paper, the prevalent view was that the free rider problem was inevitable in the provision of pure public goods: once the good is made available to one person, it is available to all. It was epochmaking that this pessimistic view was shattered by the advent of the MalinvaudDrèzede la Vallée Poussin (hereafter, MDP) procedure. Since then large literature has accumulated that develops so many kinds of individually rational and incentive compatible planning procedures for optimally providing public goods.
Jacques Drèze and Dominique de la Vallée Poussin, and Edmond Malinvaud independently presented a tâtonnement process for guiding and financing an efficient production of public goods at the 1969 meeting of the Econometric Society in Brussels. As Malinvaud noted in his paper that the two approaches closely resembled each other: each attempted a dynamic presentation of the Samuelson’s Condition for the optimal provision of public goods. Subsequently, Malinvaud published another article on the subject, proposing a mixed (pricequantity) procedure. Their papers are among the most important contributions in planning theory and in public economics. They came to be termed the MDP Procedure and spawned numerous papers.^{1}
The theory of incentives in planning procedures with public goods was initiated by these three great pioneers, and this field of research made a remarkable progress in the last four and half decades. They sowed the seeds for the subsequent developments in the theory of public goods and successfully introduced a game theoretical approach in the planning theory of public goods. Numerous succeeding contributions generated the means of providing incentives to correctly reveal preferences for public goods. The analyses of incentives in tâtonnement procedures began in 1969 and were mathematically refined by the characterization theorems of Champsaur and Rochet (1983), which generalized the previous results of Fujigaki and Sato (1981, 1982) , as well as Laffont and Maskin (1983). Champsaur and Rochet highlighted the incentive theory in the planning context to reach the acme and culminated in their generic theorems. Most of these procedures can be characterized by the conditions, the formal definitions of which are given in Sect. 3.2, i.e., (1) feasibility, (2) monotonicity, (3) Pareto efficiency, (4) local strategy proofness and (5) neutrality.
The MDP theory was very appealing for its mathematical elegance and the direct application of the Samuelson’s Condition, and it received a lot of attention in the 1970s and 1980s, especially on the problem of incentives in planning procedures with public goods, but there has been very little work on it over the last twenty years, leaving some very difficult problems. Sato (2012) is a followup on the literature of the use of processes as mechanisms for aggregating the decentralized information needed for determining an optimal quantity of public goods. ^{2} This paper tries to add some interesting results on the family of MDP procedures. In addition to implementation, it is required that the equilibria of the procedures be limit points of a given dynamic adjustment process. This paper also aims at clarifying the structure of the locally strategy proof planning procedures as algorithms and game forms, including the MDP Procedure. They are called locally strategy proof, if players’ correct revelation for a public good is a dominant strategy for any player in the local incentive game associated with each iteration of procedures. This property is not possessed by the original MDP procedure, when the number of players exceeds three. The task of the MDP Procedure is to enable the planner or the planning center to determine an optimal amount of public goods. As an algorithm, it can reach any Pareto optimum.
This paper revisits the procedure developed by Sato (1983) who advocated Aggregate Correct Revelation in the sense that the sum of the Nash equilibrium strategies always coincides with the aggregate value of correct preferences for public goods. I could escape out of the impossibility theorem among the above five desiderata, without requiring dominance. The procedure developed by Sato (1983) is able to possess similar desirable features shared by continuoustime procedures, i.e., efficiency and incentive compatibility. An alternative characterization theorem of locally strategy proof procedures is given by making use of the new condition, transfer independence. It means that the transfer function of a private good as a numéraire is independent of any strategy of players.
The remainder of the paper is organized as follows. The next section outlines the general framework. Section 3 reviews the MDP Procedure and the Fujigaki–Sato Procedure and introduces the genuine Generalized MDP Procedure which achieves neutrality and aggregate correct revelation. This section explores players’ strategic manipulability in the incentive game associated with each iteration of the procedure and presents the new theorems. Section 4 analyzes the structure of the locally strategy proof planning procedures. A Piecewise Nonlinearized MDP Procedure is presented, which is coalitionally locally strategy proof. Equivalence between priceguided procedures and quantityguided procedures is discussed in Sect. 5. The last section provides some final remarks.
2 The model
The model involves two goods, one public good and one private good, whose quantities are represented by x and y, respectively. Denote \(y_{i}\) as an amount of the private good allocated to the ith consumer. The economy is supposed to possess n individuals. Each consumer \(i\in \mathbf {N}=\{1,\ldots ,n\}\) is characterized by his/her initial endowment of a private good \(\omega _{i}\) and his/her utility function \(u_{i}:\mathbf {R}_{+}^{2}\rightarrow \mathbf {R}\).^{3} The production sector is represented by the transformation function \(g:\mathbf {R}_{+}\rightarrow \mathbf {R}_{+}\), where \(y=g(x)\) signifies the minimal private good quantities needed to produce the public good x. It is assumed as usual that there is no production of private good. Following assumptions and definitions are used throughout this paper.
Assumption 1
For any \(i\in \mathbf {N},\) \(u_{i}(\cdot ,\cdot )\) is strictly concave and at least twice continuously differentiable.
Assumption 2
For any \(i\in \mathbf {N},\) \(\partial u_{i}(x,y_{i})/\partial x\ge 0,\) \(\partial u_{i}(x,y_{i})/\partial y_{i}\) \(>0 \) and \(\partial u_{i}(x,0)/\partial x=0\) for any x.
Assumption 3
\(\ g(x)\) is convex and twice continuously differentiable.
Definition 1
Definition 2
Definition 3
These assumptions and definitions altogether give us conditions for Pareto optimality in our economy.
Lemma 1
3 The family of MDP Procedures
3.1 Reviewing the MDP Procedure and its properties
The MDP Procedure is the bestknown member belonging to the family of the quantityguided procedures in which the relevant information exchanged between the center and the periphery is in the form of quantity. The planning center asks individuals their MRSs between the public good and the private good as a numéraire. Then the center revises an allocation according to the discrepancy between the sum of the reported MRSs and the MRT.
Besides full implementation, an additional property is required: its equilibria must be approachable via an adjustment process. Suppose a game is played repeatedly in continuous time at any iteration \(t\in [0,\infty )\) of the procedure. Denote \(\psi _{i}(t)\) as player i’s strategy announced at t. Let \(\psi (t)=\left( \psi _{1}(t),\ldots ,\psi _{n}(t)\right) \in \mathbf {R}_{+}^{n}\) be the vector of strategies. Needless to say, \(\psi _{i}(t)\) does not necessarily coincide with the true MRS, \(\pi _{i}\); thus, the incentive problem matters.
Remark 1
 (i)
The term, \(\psi _{i}(t)\dot{x}<0\) is a contribution to \(\dot{x}>0\), and \(\psi _{i}(t)\dot{x}>0\) is a compensation from \(\dot{x}<0.\) Denote a distributional coefficient \(\delta _{i}>0,\) \(\forall i\in \mathbf {N},\) with \(\sum _{i\in \mathbf {N}}\delta _{i}=1,\) determined by the planner prior to the beginning of an operation of the procedure. Its role is to share among individuals the “social surplus,” \(\dot{x}^{2}\), generated along the procedure, which is always positive except at the equilibrium.
 (ii)Drèze and de la Vallée Poussin (1971) set \(\delta _{i}>0\), which was followed by Roberts (1979a, b), whereas \(\delta _{i}\ge 0\) was assumed by Champsaur (1976) who advocated a notion of neutrality to be explained below. A local incentive game associated with each iteration of the process is formally defined as the normal form game \((\mathbf {N},\mathbf {\Psi },\mathbf {U})\); \(\mathbf {\Psi }=\Pi _{i\in \mathbf {N}}\mathbf {\Psi }_{i}\subset \mathbf {R}_{+}\) is the Cartesian product of the \(\mathbf {\Psi }_{i},\) which is the set of player i’s strategies, and \(\mathbf {U}=(\dot{u}_{1},\ldots ,\dot{u}_{n})\) is the ntuple of payoff functions. The time derivative of consumer i’s utility is such thatwhich is the payoff that each player obtains at iteration t in the local incentive game along the procedure.$$\begin{aligned} \dot{u}_{i}\left( \psi (t)\right) =\frac{\partial u_{i}}{\partial x}\dot{x}+\frac{\partial u_{i}}{\partial y_{i}}\dot{y}_{i}=\frac{\partial u_{i}}{\partial y_{i}}(\pi _{i}\dot{x}+\dot{y}_{i}) \end{aligned}$$(7)
Denote \(\psi _{i}=\left( \psi _{1},\ldots ,\psi _{i1},\psi _{i+1},\ldots ,\psi _{n}\right) \in \mathbf {\Psi }_{i}=\Pi _{j\in \mathbf {N}\{i\}}\mathbf {\Psi }_{j}\) and we introduce the defnition.
Definition 4
In the Procedure, the planning center plans to provide an optimal quantity of a public good by revising its quantity at iteration \(t=[0,\infty )\). In order for the center to decide in what direction an allocation should be changed, it proposes a tentative feasible amount of the public good, x(0) at the initial time 0 given by the center to which agents are asked to report his/her true MRS, \(\pi _{i}(x(t),\omega _{i}),\) \(\forall i\in \mathbf {N},\) \(\forall t\in [0,\infty )\), as a local privately held information. The planning center can easily calculate for any t the sum of their announced MRSs to change the allocation at the next iteration \(t+dt. \) It is supposed that the center can get an exact value of MRT.

Step 0: At initial iteration 0, the center proposes a feasible allocation \((x(0),\omega _{1},\ldots ,\omega _{n})\) and asks players to reveal their preference for the public good, \(\pi _{i}(x(0),\omega _{i})\).

Step t: At each iteration t, players report their information and the center calculates the discrepancy between the sum of MRSs and the MRT. Unless the equality of these two values holds, the center suggests a new proposal allocation, and players update and reveal their preferences. If the Samuelson’s Condition holds at some iteration, the MDP Procedure is truncated and an optimal quantity of the public good is determined and supplied.
3.2 Normative conditions for the family of the procedures
The conditions presented in the Introduction are in order. They characterize procedures. The conditions except PE must be fulfilled for any \(t\in [0,\infty ).\) PE is based on the announced values, \(\psi _{i},\forall i\in \mathbf {N},\) which implies that a Pareto optimum reached is not necessarily equal to one achieved under the truthful revelation of preferences for the public good. Condition LSP signifies that truthtelling is a dominant strategy for each player. It is also called Strongly Locally Individual Incentive Compatibility (SLIIC).
Let \(\mathbf {P}_{0}\) be the set of individually rational Pareto optima (IRPO) which are better than the status quo among Pareto optima. Let \(\Delta \) be the set of \(\delta =(\delta _{1},\ldots ,\delta _{n}),\) and \(z\left( \cdot \right) \) a solution along the procedure. Condition N means that for every efficient point \(z^{*}\in \mathbf {Z}\) and for any initial point \(z_{0}\in \mathbf {Z}\), there exists \(\delta \) and \(z(t,\delta )\), a trajectory starting from \(z_{0}\), such that \(z^{*}=z(\infty ,\delta ).\) It was Champsaur (1976) who advocated the notion of neutrality for the MDP Procedure, and Cornet (1983) generalized it by omitting two restrictive assumptions imposed by Champsaur, i.e., (i) uniqueness of solution and (ii) concavity of the utility functions. Neutrality depends on the distributional coefficient vector \(\delta .\) Remember that the role of \(\delta \) is to attain any IRPO by distributing the social surplus generated during the operation of the procedure: \(\delta \) varies trajectories to reach every IRPO. In other words, the planning center can guide an allocation via the choice of \(\delta \); however, it cannot predetermine a final allocation to be achieved. This is a very important property for the noncooperative games, since the equity considerations among players matter.^{5}
3.3 The locally strategy proof MDP Procedure
In our context, as the planning center’s most important task is to achieve an optimal allocation of the public good, it has to collect the relevant information from the periphery so as to meet the conditions presented above. Fortunately, the necessary information is available if the procedure is locally strategy proof. It was already shown by Fujigaki and Sato (1981), however, that the incentive compatible nperson MDP Procedure cannot preserve neutrality, since \(\delta _{i},\) \(\forall i\in \mathbf {N},\) was concluded to be fixed, i.e., 1 / n to accomplish LSP, keeping the other conditions fulfilled. This is a sharp contrasting result between local and global games, since the class of Groves mechanisms is neutral. [See Green and Laffont (1979), pp. 75–76.]
Remark 3
We termed our procedure the “Generalized MDP Procedure” in our paper (1981). Certainly, the public good adjustment function was generalized to include the MDP Procedure, whereas the distributional vector was concluded to be fixed to the above specific value: 1/n. Let me call hereafter the above procedure the Fujigaki–Sato Procedure as named by Laffont and Rochet (1985). The genuine Generalized MDP Procedure is presented below.
 (i)
The Procedure monotonically converges to an individually rational Pareto optimum, even if agents do not report their true valuation, i.e., MRS for the public good.
 (ii)
Revealing his/her true MRS is always a dominant strategy for each myopically behaving agent.
 (iii)
The Procedure generates in the feasible allocation space similar trajectories as the MDP Procedure with uniform distribution of the instantaneous surplus occurred at each iteration, which leaves no influence of the planning center on the final plan. Hence, the Procedure is nonneutral.
Remark 4
The property (ii) is an important one that cannot be enjoyed by the original MDP Procedure except when there are only two agents with the equal surplus share, i.e., \(\delta _{i}=1/2\), \(i=1,2\). [See Roberts (1979a, b) for these properties]. The result on nonneutrality in (iii) can be modified by designing the Generalized MDP Procedure below.
3.4 Best reply strategy and the Nash equilibrium strategy
3.5 Aggregate correct revelation of preferences
Let \(\pi =\left( \pi _{1},\ldots ,\pi _{n}\right) \) be a vector of true MRSs for the public good and \(\mathbf {\Pi }\) be its set. Sato (1983) named Condition Aggregate Correct Revelation (ACR) which insists that the sum of Nash equilibrium strategies, \(\phi _{i},\) \(\forall i\in \mathbf {N}\), always coincides with the aggregate correct revelation of MRSs. Clearly, ACR only claims truthfulness in the aggregate.
Theorems are enumerated with the proofs.
Theorem 1
Proof
Theorem 2
Truthful revelation of preferences in any Generalized MDP Procedure is a minimax strategy for any i \(\in \mathbf {N}.\) It is the only minimax strategy for any i \(\in \mathbf {N},\) when \(x>0.\)
Proof
Theorem 3
\(\phi _{i}=\pi _{i}\) holds for any i \(\in \mathbf {N}\) at the equilibrium of any Generalized MDP Procedure.
Proof
Theorem 4
There exists a vector of transfers T and a trajectory z \(\left( \cdot \right) :[0,\infty )\rightarrow \mathbf {Z} \) of the Generalized MDP Procedures such that \(u_{i}\left( z^{*}\right) =\lim _{t\rightarrow \infty }u_{i}\left( x\left( t\right) ,y_{i}\left( t\right) \right) ,\forall i\in \mathbf {N},\) for every individually rational Pareto optimum \(z^{*}.\)
Proof
Keeping the same nonlinear public good decision function as derived from Condition LSP, Sato (1983) could state the above characterization theorem. In the sequel, I use the Generalized MDP Procedure with \(T_{i}\left( \sum _{i\in \mathbf {N}}\psi _{i}\gamma \right) =\delta _{i}\left( \sum _{i\in \mathbf {N}}\psi _{i}\gamma \right) \dot{x}\left( \psi \right) .\) Via the pertinent choice of \(T_{i}\left( \cdot \right) \) we can make the family of the Generalized MDP Procedures, including the MDP Procedure and the Fujigaki–Sato Procedure as special members.
Remark 5
Champsaur and Rochet (1983) gave a systematic study on the family of planning procedures that are asymptotically efficient and locally strategy proof. Now we know that the family of the LSP procedures is large enough; Rochet’s (1982) classification includes the Bowen Procedure, the Bowen–Laffont Procedure, the Champsaur–Rochet Procedure, the Fujigaki–Sato Procedure, the Generalized Wicksell Procedure and the Laffont–Maskin Procedure as special members.^{6}
4 The structure of locally strategy proof procedures
4.1 The MDP Procedure versus the Fujigaki–Sato Procedure
The existence of Fujigaki–Sato Procedure is assured by the integrability and differentiability of the adjustment functions which define the procedure. The MDP Procedure has a linear adjustment function and its adjustment speed of public good is constant, whereas the Fujigaki–Sato Procedure has a nonlinear adjustment function which is a kind of “turnpike.” If illustrated in the coordinates, when the Fujigaki–Sato MDP Procedure evolves far from the origin, it runs more nimbly, while its adjustment speed of public good reduces in the neighborhood of the origin. This structural difference of these procedures has made a sharp contrast about the strength of incentive compatibility. This difference stems from the integrability and differentiability of the adjustment function of public good.^{7}
Let me show the incentive property of the Fujigaki–Sato Procedure.
Theorem 5
The Fujigaki–Sato Procedure cannot be manipulated by more than three players’s strategic behaviors.
Sketch of the Proof
Let me show a numerical example. Specify their quasilinear utility function as \(u_{1}=2x+y_{1}\), \(u_{2}=3x+y_{2}\) and \(u_{3}=5x+y_{3}.\) Then, \(\partial u_{i}/\partial y_{i}=1,\) \(i=1,2,\) and 3, \(\pi _{1}=\psi _{1}=2\) and \(\pi _{2}=\psi _{2}=3\). Suppose that the public good is produced as \(g(x)=3x\) and \(\gamma =3.\) Provided that individual 3 underreports his preference by announcing \(\psi _{3}=1\) instead of his true MRS, \(\pi _{3}=5\).
4.2 A characterization theorem with transfer independence
Next, let me give a proof to the following theorem by making use of a new axiom. This is a modified version of the property introduced by Green and Laffont (1977, 1979), which means the equality of the increment of transfer in accordance with the marginal change of strategy. This is an important condition which is connected with equity.
Theorem 6
Proof
4.3 A measure of incentives
It is shown that the exponent attached to the public good decision function is closely related to the number of players taking part in the LSP procedures and that this fact enables procedures to achieve local strategy proofness.
Theorem 7
The exponent attached to the public good decision function is \(\beta =n1\), if and only if the Fujigaki–Sato Procedure fulfills LSP.
Proof
4.4 Coalitional local strategy proofness
The problem of falsificating preferences by colluding individuals was dealt with for static revelation mechanisms or demand revealing mechanisms by some authors. For instance, Bennett and Conn (1977) considered an economy with one public good and proved that there is no revelation mechanism which is group incentive compatible. For any revelation mechanism to provide public goods, if any coalition formation is possible, some group of individuals are able to gain by misrepresenting their preferences for the public goods. Green and Laffont (1979) also studied the problem of coalitional manipulability in a generic context. They verified under the separability of utility functions that revelation of the truth was a dominant strategy for each individual in demand revealing mechanisms used to provide public goods. They also showed that any revelation mechanism can be manipulated by coalitions of two or more agents. Their payoff by colluding, however, approaches zero as the number of agents becomes infinite, i.e., the large economy.
The main purpose of this subsection is to show whether the Fujigaki–Sato Procedure is robust to coalitional manipulation of preferences on the part of the agents. If the structure of coalitions is fixed and known to the planner, their misrepresentation can be overcome by treating each coalition as an individual agent and applying the Fujigaki–Sato Procedure to the strategies composing of the aggregated preferences over the members of each coalition, then we can have a Coalitionally Locally Strategy Proof (CLSP) planning procedure.
However, what could happen if the coalition structure is flexible and unknown to the planner? Is it possible to construct a CLSP planning process in this case? The answer is partly negative and partly affirmative. Chakravorti (1995) presented coalitionproof procedures; however, he required the assumption of separable utility functions. He extended the method of Truchon (1984) who examined a nonmyopic incentive game, where each agent’s payoff is a utility at the final allocation. Different from the others, Truchon introduced a “threshold” level of a public good into his model to analyze agents’ strategic behaviors. We propose a Piecewise Nonlinearized Procedure which is CLSP.
Retaining the same assumptions as in Sato (2012), we add some new definitions and notation. Let \(\mathbf {C}\subseteq \mathbf {N}\) be a coalition of individual agents. The vector \(\psi _{C}\) denotes the projection of \(\psi \in \mathbf {R}^{n},\) the marginal rate of substitution announced by the coalition C. Let \(\pi _{c}\in \mathbf {R}^{n}\) be a vector of the true MRS of the coalition C. We use \((\psi \backslash \psi _{C})\) to signify the components of \(\psi \) with the exception of \(\psi _{i},\) \(\forall i\in \mathbf {C},\) and we also use the notation \((\psi _{C},\psi _{N\backslash C})\) and  as a cardinality.
Definition 5
Definition 6
Thus, we can state the condition related to coalitions.
Theorem 8
With the nonseparable utility functions, there exists no continuous procedure which fulfills Condition CLSP.
Proof
Next, we show the existence of a full coalition of players even with LSP procedures.
Theorem 9
In the Fujigaki–Sato Procedure, there exists a full coalition of players with a vector of strategies \(\hat{\psi }=\left( \hat{\psi }_{1},\ldots ,\hat{\psi }_{n}\right) \) such that \(\dot{u}_{i}(\hat{\psi })=\infty ,\) \(\forall i\in \mathbf {N}\).
Proof

(i) \(\ \sum _{j}\psi _{j}\gamma >a^{1/(n2)}\)

(ii) \(a^{1/(n2)}\le \sum _{j}\psi _{j}\gamma \le a^{1/(n2)}\)

(iii) \(a^{1/(n2)}>\sum _{j}\psi _{j}\gamma \)
Theorem 10
The Piecewise Nonlinearized MDP Procedure satisfies CLSP, F, M, N and PE.
Proof
Conditions F, M, N and PE follow straightforwardly from the construction of the Piecewise Nonlinearized MDP Procedure which is not differentiable. With this process, nobody can make his/her utility increment to be \(\infty ,\) because of the boundedness of the public good decision function which is predetermined. \(\square \)
5 Pricequantity equivalence in planning procedures
5.1 Priceguided procedures and their normative conditions
This section establishes the equivalence on equity between priceguided and quantityguided planning procedures, which is an extension of Laffont and Rochet (1985). Their nonlinear pricing scheme and the duality results on the conditions overtuned the widely held view as to the superiority of the quantityguided procedures, particularly with public goods. Contrary to the conjecture in Malinvaud (1971) about the falsification of preferences, Laffont and Rochet (1985) proved the equivalence between price and quantity planning procedures. To tackle the equity issue, this paper adopts Kolm’s superequity and transforms it into our dynamic context.
Despite the dramatical growth in the theory of incentives in planning procedures with public goods, one of their vital aspects has been largely neglected; that is equity and fairness which are another prerequisites for the processes to be accomplished. It is recognized that the planning procedures could go further than one expected; that is, they attain some measure of equity and fairness in an economy with or without public goods. The notion of Kolm (1973) may help to fill the gap. Kolm’s superequity involves the Foley’s equity. Superfairness, which is formally defined below, can bring us fruitful equivalence results on the priceguided and quantityguided planning processes.^{8}
For the sake of completeness, let us summarize the Laffont/Rochet’s framework in this subsection. Laffont and Rochet (1985) established the equivalence theorem between locally strategy proof quantityguided planning procedures and nonlinear priceguided planning procedures well defined.
Now, the conditions for priceguided procedures are in order.
Theorem 11
(ii) Let z be a quantityguided planning procedure satisfying LSP and \(\{\zeta _{i},R_{i}\}_{i\in \mathbf {N}}\) its dual formulation in terms of prices.
5.2 Equity and fairness along the procedures
My concern in this subsection has concentrated on the theory of incentives in planning procedures having asymptotic efficiency and local strategy proofness. Let us dip into a particular topic of equity and fairness in what follows. Malinvaud (1972) was the earliest to discuss the central role that the conception of equity played along planning procedures. In brief, Malinvaud’s findings are as follows: the direction of the utility change is the same over individuals; namely, utility increment of one person increases, those of all the others also increase, and vice versa. We can describe Malinvaud’s equity in a somewhat different way from the original expression. Let \(\dot{u}_{i}(x,y_{i})=(\partial u_{i}/\partial y_{i})(\pi _{i}\dot{x}+\dot{y}_{i}).\)
Definition 7
In the celebrated book (1979, p. 274), Green and Laffont wrote, “By choosing equal shares of the cost, the procedure can be made equitable in the following sense: if the agents consider the procedure before knowing their own preferences, in the spirit of the Rawlsian approach, no particular agent is favored.” According to their criterion, their procedure can be equitable for the agents as in the original position à la Rawls, since these procedures can involve equal shares of the cost.
The first concept of equity was proposed by Foley (1967), and the Foley’s theorem states under suitable assumptions that there exists an equitable allocation in a pure exchange economy. Kolm’s famous monograph (1971) gave a systematic study on equity and justice in pure exchange economies. Just after the publication of this wellknown book, Kolm (1973) proposed a concept of superequity which includes that of noenvy equity. Suzumura and Sato (1985) verified that the concept of noenvy equity is neither robust nor appropriate for an economy with public goods. In so doing, we checked the performances of the Lindahl equilibrium, the Zeuten–Nash bargaining solution, the Kalai–Smorodinsky arbitration scheme and the Perles–Machler superadditive solution. With their numerical examples, Suzumura and Sato concluded that none of these approaches could not achieve noenvy equity for an economy with public goods.
Here introduced are two concepts of equity.
Definition 8
Definition 9
The theory developed in this field being basically static, we add a dynamic touch to the theory of equity and fairness of planning procedures. Let me propose two conditions on superequity on price and quantity procedures, then we get the theorem.
Theorem 12
Proof
The normative analysis of planning procedures has focused almost exclusively upon their efficiency and incentive facts. This paper has proposed a concept of transversal superequity in an economy with a public good, where equity as well as efficiency and local strategy proofness are salient concepts. The focus has been upon issues pertaining to the performance characteristics of priceguided and quantityguided planning procedures. The methodology of this paper is chiefly based on Laffont and Rochet (1985). I have borrowed from their insightful work in much of my analysis. The concept of transversal superequity is consistent with the conditions already established for planning procedures. For our purpose, the notion of superequity must have been transformed into our dynamic setting of planning procedures.
6 Final remarks
This paper has revisited the family of MDP Procedures and analyzed their properties. In the local game associated with any iteration of any procedure each player’s payoff is the utility increment at each point of time. Laffont’s differential method is used to formalize the procedures with desirable properties. I have shown that the Nonlinearized MDP Procedure or Fujigaki–Sato Procedure can simultaneously achieve efficiency and local strategy proofness. That is, it converges to a Pareto optimum and that the best replay strategy of each player at each iteration is to declare his/her true MRS. Instead, the Generalized MDP Procedure can possess aggregate correct revelation which means the equality between the sum of true MRSs and that of Nash equilibrium strategies.
Recognizing the difficulties concerning the possibility of manipulating private information by individuals, the literature has verified that this incentive problem could be treated by the planning procedures that require a continuous revelation of information, provided that agents adopt a myopic behavior, whereas, if individuals are farsighted, the traditional impossibility results occur; i.e., incentive compatibility is incompatible with efficiency, as were pointed out by Champsaur, Laroque and Rochet. This paper has studied an instantaneous situation where agents are only asked to reveal their true MRS at continuous dates, and the direction and speed of adjustment are changed according to the information collected. Consequently, the associated dynamic process named as the Fujigaki–Sato Procedure has concluded to be nonlinearized. Individuals are assumed to take myopic behaviors at each date. Their behavior is hence characterized to be myopia, not farsightedness. The idea of looking at an intermediate time horizon for agents’ manipulations of information is more natural and more realistic, but more difficult than myopia and perfect foresight. [See Roberts (1987) for this point.]
In the literature on the problem of incentives in planning procedures with public goods, the myopic strategic behavior prevailed. Many papers imposed this behavioral hypothesis; i.e., myopia, on which the forgoing discussions crucially depended, spawning numerous desirable results in connection with the family of MDP Procedures. The aim of this paper has been to examine the consequences of the assumption that individuals choose their strategies to maximize an instantaneous change in utility function at each iteration along the procedure, as analyzed by Sato (1983).
Also verified is that the Generalized MDP Procedure can always keep neutrality which is different from Champsaur and Laroque (1981, 1982) and Laroque and Rochet (1983). They analyzed the properties of the MDP Procedure under the nonmyopic assumption. They treated the case where each individual attempts to forecast the influence of his/her announcement to the planning center over a predetermined time horizon and optimizes his/her responses accordingly. It is proved that, if the time horizon is long enough, any noncooperative equilibrium of intertemporal game attains an approximately Pareto optimal allocation. But at such an equilibrium, the influence of the center on the final allocation is negligible, which entails nonneutrality of the procedure. Their attempt is to bridge the gap between the local instantaneous game and the global game, as was pointed out by Hammond (1979). Sato (2012) aimed, however, to bridge the gap between the local game and intertemporal game, by constructing a compromise of continuous and discrete procedures: i.e., the piecewise linearized procedure that Sato presented.
See Malinvaud (1969, 1970, 1970–1971, 1971, 1972) and Drèze and de la Vallée Poussin (1969, 1971). For an idea of the tâtonnement process, see also Drèze (1972, 1974).
Drèze and de la Vallée Poussin (1971) did not explicitly introduce initial resources, but implicitly incorporated them in the production set.
See Samuelson (1954) and Mukherji (1990). See also McLure (1968), Milleron (1972) and Laffont (1982, 1985) for diagrams with public goods.
For the concepts of neutrality associated with planning procedures, see Cornet (1977a, b, c, d) and Cornet (1979), Cornet and Lasry (1976), Roberts (1982) and Sato (1983). See also D’Aspremont and Drèze (1979) for a version of neutrality which is valid for the generic context.
Declarations
Acknowledgements
This is a paper dedicated to the XXXXVth Anniversary of the MDP Procedure and the Lth Anniversary of CORE at l’Université Catholique de Louvain. This is a revised version of the paper presented at the Regional Science Workshop in Sendai held at the Graduate School of Information Sciences, Tohoku University, June 17, 2011. The revised version of this paper was presented at the Open Lecture held at International Christian University, October 18, 2013. Its further revised version was presented at the Public Economics Seminar held at Keio University, April 18, 2014 and at the annual meeting of the Japanese Economic Association held at Doshisha University, June 15, 2014. Moreover, it was presented at the Microeconomics Workshop held at the Graduate School of Economics, The University of Tokyo, June 30, 2015. Thanks are due to the participants for their useful comments and helpful suggestions. The author thanks Jacques Drèze, Claude Henry, JeanJacques Laffont and Henry Tulkens for their useful discussions and their encouragement on my research of the problems of incentives in planning procedures with public goods.
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Authors’ Affiliations
References
 Arrow K, Hurwicz L (1960) Decentralization and computation in resource allocation. In: Pfouts R (ed) Essays in economics and econometrics in honor of Harold hotelling. University of North Carolina Press, Chapel Hill, pp 34–104Google Scholar
 Attouch H, Damlamian A (1972) On multivalued evolution equations in Hilbert spaces. Isr J Math 12:373–390View ArticleGoogle Scholar
 Bennett E, Conn D (1977) The group incentive properties of mechanisms for the provision of public goods. Public Choice 29:95–102View ArticleGoogle Scholar
 Castaing C, Valadier M (1969) Equations différentielles multivoques dans les espaces localement convexes. Revue Française d’Informatique et de Recherche Opérationnelle 16:3–16Google Scholar
 Chakravorti B (1995) Dynamic public goods provision with coalitional manipulation. J Public Econ 56:143–161View ArticleGoogle Scholar
 Champsaur P (1976) Neutrality of planning procedures in an economy with public goods. Rev Econ Stud 43:293–300View ArticleGoogle Scholar
 Champsaur P, Laroque G (1981) Le plan face aux comportements stratégiques des unités décentralizées. Annales de $$l^{\prime }INSEE$$ l ′ I N S E E 42: 19–33Google Scholar
 Champsaur P, Laroque G (1982) Strategic behavior and decentralized planning procedures. Econometrica 50:325–344View ArticleGoogle Scholar
 Champsaur P, Rochet JC (1983) On planning procedures which are locally strategy proof. J Econ Theory 30:353–369View ArticleGoogle Scholar
 Champsaur P, DrèZe J, Henry C (1977) Stability theorems with economic applications. Econometrica 45:272–294View ArticleGoogle Scholar
 Cornet B (1977a) An abstract theorem for planning procedures. In: Auslender A (ed) Convex analysis and its application. Lecture notes in economics and mathematical systems, vol 144. Springer, pp 53–59Google Scholar
 Cornet B (1977b) Accessibilités des optimums de pareto par des processus monotones. Comptes Rendus de l’Académie des Sciences, Série A 282:641–644Google Scholar
 Cornet B (1977c) On planning procedures defined by multivalued differential equations. In: Systèmes Dynamiques et Modèles Economiques, Colloques Internationaux du C.N.R.S., Paris, N $$^{0}$$ 0 , vol 259, Chapter 2Google Scholar
 Cornet B (1977d) Sur la Neutralité d’une Procédure de Planification. Cahiers du Séminaire d’Économétrie, 19. C.N.R.S, Paris, pp 71–81Google Scholar
 Cornet B (1979) Monotone planning procedures and accessibility of Pareto optima. In: Aoki M, Marzollo A (eds) New trends in dynamic system theory and economics. Academic Press, Cambridge, pp 337–349Google Scholar
 Cornet B (1983) Neutrality of planning procedures. J Math Econ 11:141–160View ArticleGoogle Scholar
 Cornet B, Lasry JM (1976) Un théorème de surjectivité pour une procédure de planification. Comptes Rendus de l’Académie des Sciences. Série A 282:1375–1378Google Scholar
 D’Aspremont C, Drèze J (1979) On the stability of dynamic processes in economic theory. Econometrica 47:733–737View ArticleGoogle Scholar
 Drèze J (1972) A tâtonnement process for investment under uncertainty in private ownership economies. In: Szegö G, Shell K (eds) Mathematical methods in investment and finance. NorthHolland, Amsterdam, pp 3–23Google Scholar
 Drèze J (1974) Investment under private ownership: optimality, equilibrium and stability. In: Drèze J (ed) Allocation under uncertainty: equilibrium and optimality. Macmillan, New York, pp 129–166View ArticleGoogle Scholar
 Drèze, J and de la Vallée Poussin (1969) A tâtonnement process for guiding and financing an efficient production of public goods. In: CORE Discussion Paper No. 6922. Presented at the Brussels Meeting of the Econometric Society, September 1969Google Scholar
 Drèze J, de la Vallée Poussin D (1971) A tâtonnement process for public goods. Rev Econ Stud 38:133–150View ArticleGoogle Scholar
 Foley D (1967) Resource allocation and the public sector. Yale Econ Essays 7:43–98Google Scholar
 Fujigaki Y, Sato K (1981) Incentives in the generalized MDP procedure for the provision of public goods. Rev Econ Stud 48:473–485View ArticleGoogle Scholar
 Fujigaki Y, Sato K (1982) Characterization of SIIC continuous planning procedures for the optimal provision of public goods. Econ Stud Q 33:211–226Google Scholar
 Green J, Laffont JJ (1977) Révélation des Préférences pour les biens publics: charactérization des mécanisms satisfaisants. In: Malinvaud E (ed) Cahiers du Séminaire d’Économétrie, No. vol 19, C.N.R.S., pp 83–103Google Scholar
 Green J, Laffont JJ (1979a) Incentives in public decisionmaking, studies in public economics, vol 1. NorthHolland, AmsterdamGoogle Scholar
 Hammond P (1979) Symposium on incentive compatibility: introduction. Rev Econ Stud 47:181–184Google Scholar
 Henry C (1972) Differential equations with discontinuous righthand side for planning procedures. J Econ Theory 4:545–551View ArticleGoogle Scholar
 Henry C (1973) Problèmes d’Existence et de Stabilité pour des Processus Dynamique Considerés en Economie Mathématique, Laboratoire d’Econométrie de l’Ecole Polytechnique, March 1973Google Scholar
 Henry C (1979) On the free rider problem in the M.D.P. procedure. Rev Econ Stud 46:293–303View ArticleGoogle Scholar
 Kakhbod A, Koo J, Teneketzis D (2013) An efficienct tâtonnement process for the public good problem: a decentralized subgradient approach, unpublishedGoogle Scholar
 Kolm SC (1971) Justice et Equité, Editions du Centre National de la Recherche Scientifique, CEPREMAP, Paris; English translation (1998), Justice and Equity. MIT Press, CambridgeGoogle Scholar
 Kolm SC (1973) SuperEquité. Kyklos 26:841–843View ArticleGoogle Scholar
 Laffont JJ, (1982), Cours de Théorie Microéconomique: vol 1Fondements de $$l^{\prime }$$ l ′ Economie Publique, Economica, translated by BONIN, J. and H. (1985) Fundamentals of Public Economics. The MIT Press, CambridgeGoogle Scholar
 Laffont JJ (1985) Incitations dans les procédures de planification. Annales de l INSEE 58:3–37Google Scholar
 Laffont JJ, Maskin E (1980) A differentiable approach to dominant strategy mechanisms. Econometrica 48:1507–1520View ArticleGoogle Scholar
 Laffont JJ, Maskin E (1983) A characterization of strongly locally incentive compatible planning procedures with public goods. Rev Econ Stud 50:171–186View ArticleGoogle Scholar
 Laffont JJ, Rochet JC (1985) Pricequantity duality in planning procedures. Soc Choice Welfare 2:311–322View ArticleGoogle Scholar
 Laroque G, Rochet JC (1983) Myopic versus intertemporal manipulation in decentralized planning procedures. Rev Econ Stud 50:187–196View ArticleGoogle Scholar
 Malinvaud E (1969) Procédures pour la determination d’un programme de consommation collective. In: Paper presented at the Brussels meeting of the econometric society, September 1969Google Scholar
 Malinvaud E (1970) The theory of planning for individual and collective consumption, INSEE, Paris. In: presented at symposium on the problems of the national economy modelling, June 1970, NovosibirskGoogle Scholar
 Malinvaud E (1970–1971) Procedures for the determination of collective consumption. Eur Econ Rev 2:187–217Google Scholar
 Malinvaud E (1971) A planning approach to the public good problem. Swed J Econ 73:96–121View ArticleGoogle Scholar
 Malinvaud E (1972) Prices for individual consumption, quantity indicators for collective consumption. Rev Econ Stud 39:385–406View ArticleGoogle Scholar
 McLure C (1968) Welfare maximization: the simple analytics with public goods. Can J Econ 12:21–34Google Scholar
 Milleron JC (1972) Theory of value with public goods: a survey article. J Econ Theory 5:419–477View ArticleGoogle Scholar
 Mukherji A (1990) Walrasian and nonWalrasian equilibria. Clarendon Press, OxfordGoogle Scholar
 Roberts J (1979a) Incentives in planning procedures for the provision of public goods. Rev Econ Stud 46:283–292View ArticleGoogle Scholar
 Roberts J (1979b) Strategic behavior in the MDP procedure. in Laffont JJ (ed) Aggregation and revelation of preferences, studies in public economics, vol 2, NorthHolland, Amsterdam, Chapter 19Google Scholar
 Roberts J (1987) Incentives, information, and iterative planning. In: Groves T, Radner R, Reiter S (eds) Information, incentives, and economic mechanisms: essays in honor of Leonid Hurwicz. Basil Blackwell, OxfordGoogle Scholar
 Rochet JC (1982) Planning procedures in an economy with public goods: a survey article. In: CEREMADE, DP. No. 213, Université de ParisGoogle Scholar
 Samuelson P (1954) The pure theory of public expenditures. Rev Econ Stat 36:387–389View ArticleGoogle Scholar
 Sato K (1983) On compatibility between neutrality and aggregate correct revelation for public goods. Econ Stud Q 34:97–109Google Scholar
 Sato K (2012) Nonmyopia and incentives in the piecewise linearized MDP procedures with variable stepsizes. J Econ Struct 1:1–22View ArticleGoogle Scholar
 Schoumaker F (1977) Révélation des préférences et planification: une approche stratégique. Recherches Economiques de Louvain 43:245–259Google Scholar
 Suzumura K, Sato K (1985) Equity and efficiency in the public goods economy: some counterexamples. Hitotsubashi J Econ 26:59–82Google Scholar
 Truchon M (1984) Nonmyopic strategic behaviour in the MDP planning procedure. Econometrica 52:1179–1189View ArticleGoogle Scholar
 Tulkens H (1978) Dynamic processes for public goods: a processoriented survey. J Public Econ 9:163–201; reprinted in Chander P, Drèze J, Lovell C, Mintz J (2006) Public economics, environmental externalities and fiscal competition, essays by Henry Tulkens, chap 1. Springer, New YorkGoogle Scholar