The Menu-Induced Core of an Economy with an Excludable Public Good

This paper introduces a core concept in an economy with an excludable public good. In the economy, we assume that each coalition is allowed to achieve an allocation via a menu, a kind of a nonlinear price. Our core concept is called the menu-induced core that is defined as the set of allocations achievable by menus that are robust against all coalitional improvements achieved via menus. We show that the menu-induced core is nonempty. We also investigate certain properties of the menu-induced core that show the difference between the menu-induced core and the core defined in a standard way.


Introduction
This paper examines economies with excludable public goods.The public goods that we consider are those that admit partial exclusion: the amount that each agent consumes may vary from agent to agent.Tollways, pay-per-view TV programs, and public transportation are traditional examples.More recent examples include online commodities such as music and movie downloading services and access rights to databases through the internet.The early researches on such commodities are, for example, Oakland [1] and Drèze [2].
We consider stable allocations in cooperative decision situation of such an economy.In particular, we consider the core of the coalitional form of the economy.If we allow each coalition to achieve allocations with the individualized lump-sum payments, then the core essentially turns out to be that of Foley [3].On the other hand, many examples of the excludable public goods are allocated through prices that may be nonlinear.For example, toll fare for the highway and a bundling sale of pay-per-view TV programs.According to this practice, we allow each coalition to achieve allocations via menus, which are a kind of nonlinear price.
A nonlinear price is a kind of system.In the literature, several authors considered the core of economies where each coalition is allowed to achieve an allocation via a given system.Guesnerie and Oddou [4] [5] considered the core of a pure public good economy where each coalition achieves an allocation via proportional income tax.Spulber [6] considered the core of a production economy with increasing returns to scale where each coalition achieves an allocation via the average cost price.Hara [7] [8] considered the exchange economies where allocations are achieved via menus.Indeed, our concept of the coalitional improvement and the core is an application of his menu-induced improvement and the anonymous core to the economy with an excludable public good.
To justify such a way to achieve an allocation, we implicitly assume the same informational constraint as Hara [7] [8].He assumed that each agent knows the distribution of the characteristics of the agents, but cannot identify who has which characteristic.Under such an informational constraint, it is difficult for the agent to find appropriate members of a coalition and an appropriate allocation achieved in the coalition.In this situation, employing a menu for achieving an allocation is legitimate for revealing the characteristics of the agents.
Our core concept is defined as the menu-induced core.It is defined as the set of allocations satisfying the following two conditions: the allocation is achievable within the grand coalition via a menu; and no coalition can achieve an allocation via a menu that makes each agent in the coalition better off.We show the nonemptiness of the menu-induced core and observe some properties, which clarify the difference between the menu-induced core and the standard Foley's core.
In the next section, we introduce the model of the economy with an excludable public good.In Section 3, we define the menu-induced core and prove its nonemptiness.Then, we investigate certain properties of the menu-induced core in Section 4. In the final section, we conclude with some remarks.

The Economy with an Excludable Public Good
We consider an economy consisting of n agents, one private good, and one public good that is partially excludable.The set of agents is denoted by x y F S ∈ that is an improvement upon ( ) , x y .Obviously, the standard core is essentially equivalent to that of Foley [3] for economies with pure public goods.

The Menu-Induced Core
This section introduces the main concepts of this paper, which are defined as an application of the similar concepts of Hara [7] [8] with slight modifications.Then, its nonemptiness is proved.
The menu is defined as a subset M of means that − of the private good must be paid for consuming m of the public good.Thus, the resulting consumption of i N ∈ choosing ( ) V S be a set of S -allocations such that ( ) ( ) ∈ and there exists some ∈ is called a menu-induced coalitional form of an economy.
An allocation ( ) x y is said to be menu-induced iff ( ) ( ) This definition describes the situation as follows: once a menu is proposed, each agent chooses the most preferable net consumption from the proposed menu.The menu can be proposed by an agent who may find it by oneself or consulting with an outside intervener.
Given an allocation ( ) , x y , a coalition S has a menu-induced improvement upon ( ) , x y iff there exists some ( ) ( ) The improvement by a menu describes the following situation.Given an allocation, an agent a to the economy.Again, the proposing agent may find it by oneself or consulting with an outside intervener.Then, each agent responds to the menu when one can make oneself better off by choosing the most preferable net consumption from the menu.The coalition is formed among the agents who respond to the proposed menu.One may notice that the definition of the menu-induced improvement does not take the behavior of the agents outside the coalition into account.The original definition of Hara [7] [8] described the behavior of the agents outside the coalition as follows: no agent outside the coalition finds it more preferable to choose a net consumption from the menu.Thus, we may also impose the following condition on the menu-induced improvement ( ) x y upon a given allocation ( ) , , for any ( ) . This condition is, however, redundant in our economy from the nonrivalry of the excludable public good.More precisely, for any allocation, there is a menu-induced improvement upon the allocation for S ∈  if and only if there is a T -allocation with S T ⊂ that satisfies both the definition of the menu-induced improvement and the additional condition.Therefore, imposing the additional condition does not change the nature of the menu-induced core that is defined below.

Definition 2. An allocation ( )
x y is said to be in the menu-induced core iff ( ) ( ) x y V S ∈ such that ( ) x y is a menu-induced improvement upon ( ) , x y for S .Now, we prove the nonemptiness of the menu-induced core.Theorem 1.The menu-induced core is nonempty.Proof.For any 0 q ≥ , define .
It can be easily confirmed that both Y and Z are compact sets by the assumptions of i u and c .
First, assume that there exists some ( ) for all i N ∈ and any ( ) Suppose that there exist some S ∈  and a menu-induced improvement ( ) x y upon ( ) ∑ from the S -feasibility of ( ) x y , a contradiction.Hence ( ) Next, assume that ( ) , Q x y is bounded for any ( ) for all i N ∈ and for all k .It follows from the continuity of i u that ( ) ( )  for all i N ∈ .Thus, in conjunction with the boundedness, ( ) Thus, we can define ( ) ( ) { } , max , q x y q q Q x y = ∈ for any ( ) is closed for any 0 q ≥ by the definition of q .Fix an arbitrary ˆ0 q ≥ .Let ( ) ( ) be a sequence taken from ( ) x y .Then, we have and for all k .It follows from the for all i N ∈ .Thus, ( ) ( )

ˆˆ,
x y P q ∈ .Hence q is an upper semi-continuous function.
Since Z is a compact set and : q Z + →  is an upper semi-continuous function, there exists some ( ) for any ( ) is in the menuinduced core.Let ( ) , q q x y * * * = . Suppose that there exist some T ∈  and a menu-induced improvement ( ) Then, ( ) ( ) ( ) ( ) for T ′ by its construction.

Then, >
i y q *  for all i T′ ∈ by the monotonicity of i u .Define where > 0 ε is a sufficiently small real number so that ( ) ( ) by its construction.
We confirm that ( ) ( ) By the construction of ( ) x y , ( ) for all i N ∈ .By the definitions of ( ) for any ( ) , , for all Thus, ( ) ( ) This contradicts the definition of q * .Hence ( ) is in the menu-induced core. Note that we require neither the quasi-concavity of the utility functions nor the convexity of the cost function.Note also that the proof of Theorem 1 applies the idea of Mas-Colell [9], which provides an alternative proof of a result of Champsaur [10]: the core of the coalitional game derived from an economy with one private good and one pure public good is nonempty.One may, therefore, consider that Theorem 1 is not surprising.However, the menu-induced core is generally much different from the standard core, which will be discussed in the next section.

Observations
In this section, we observe some properties of the menu-induced core, and discuss the difference from the standard core.One straightforward property from the definition is the symmetry of the allocations.Two agents i and j are symmetric iff = .An allocation ( ) for any symmetric agents i and j .It can be easily confirmed that any allocation in the standard core may not be symmetric.
Property 1.Any allocation in the menu-induced core is symmetric.
The next property shows that the coalitional form of our economy may not satisfy the following usual property.The coalitional form of an economy ∈ is said to be superadditive at N iff for all disjoint , S T ∈  , for any ( ) ( ) x y V S ∈ and any ( ) ( ) x y V T ∈ , there exists some ( ) ( ) ( ) may not be superadditive at N .The following example shows Property 2.
( ) Let ( ) ( ) , induced by a menu M , such that ( ) ( ) for some ( ) and some ( ) Thus, the most LHS of (2) is negative since α is sufficiently large.In this case, ( ) , x y is not feasible.Hence the coalitional form of the economy may not be superadditive.
 Property 2 shows that our coalitional form is quite different from those in the literature.The coalitional form of an economy with one pure public good and one private good is known to be ordinary convex (see for example Peleg [11] for the definition of the ordinary convexity), which is a stronger condition than the superadditivity.See also Ichiishi [12].On the other hand, Guesnerie and Oddou [4] [5] considered a coalitional form of an economy with one pure public good and one private good where each coalition is allowed to achieve an allocation through a proportional income tax.They showed that this coalitional form may not be superadditive and the core may be empty, while the menu-induced core is always nonempty in spite of the nonsuperadditivity.
The next property shows that there is a case where the menu-induced core is a subset of the standard core.Property 3. If all agents are symmetric, then the menu-induced core is included in the standard core.
Proof.Assume that all agents are symmetric.Fix an arbitrary ( ) , x y that is in the menu-induced core.For for all i N ∈ .Suppose that there exists some j N ∈ such that  ) Then, we show that ( ) , x y is in the standard core.Suppose that there exist some S ∈  and an S - feasible allocation ( ) x y that is an improvement upon ( ) for all i N ∈ .Thus, ( ) x y F S ∈ .
Hecne ( ) , x y is in the standard core. On the other hand, there is a case where the menu-induced core is disjoint with the standard core.Property 4. The intersection of the menu-induced core and the standard core may be empty.
The following example shows Property 4, which is a modification of an example in Guesnerie and Oddou [5].
At any allocation ( ) , x y in the standard core, it can be easily confirmed that for all , i j N ∈ .Thus, there exists some Let us consider two menus ( ) { } x y is not in the menu-induced core.Thus, if ( ) x y is in the menu-induced core, it must be both ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) However, there exists no ] [ 0,1 z ∈ that simultaneously satisfies (3) and (4) if α is sufficiently small.Thus, in this example, the intersection of the standard core and the menu-induced core is empty. By Property 3 and 4, there is no general relationship between the menu-induced core and the standard core.

Concluding Remarks
This paper defined the menu-induced core and showed its nonemptiness in an economy with an excludable public good.We also discussed some properties of the menu-induced core.One remaining problem is the evaluation of the efficiency of the menu-induced core.In general, the menu-induced core fails to achieve the Pareto efficiency, which may be caused by the underlying informational constraints.We may consider the extent of the inefficiency, or efficiency evaluation under the similar informational constraints.
Another remaining problem is to design a mechanism that implements the allocations in the menu-induced core.In the economy with an excludable public good, some mechanisms are proposed.For example, Moulin [13] proposed the serial cost sharing mechanism, and Moldovanu [14] and Bag and Winter [15] proposed mechanisms that implement the standard core.However, all of them do not implement the menu-induced core.We leave these problems for future research.
i N ∈ .Note that such * z exists by the symmetry of the agents.Then, we can easily confirm that ( ) .This contradicts that ( ) , x y is in the menu-induced core.Hence

(
functions are continuous and strictly increasing in the interior of2   an allocation in the standard core.If ( ),x y is a menu-induced allocation, then it must be

.
If at least k agents prefer ( )

, an S -allocation is a tuple of the consumptions of agents in S . For each S ∈  , an S -
The set of all coalitions is denoted by  .