Two simple proofs of the feasibility of the linear tracing procedure

Summary. Theories of equilibrium selection in non-cooperative games, as well as the notion of risk dominance, depend heavily on the so-called linear tracing procedure. This is the first paper to give direct, simple proofs of the feasibility of the linear tracing procedure. The first proof utilizes a result that is related to Kakutani's fixed point theorem and that is an extension of Browder's fixed point theorem. The second proof shows that it is even possible to avoid the use of correspondences. Received: June 8, 1998; revised version: November 8, 1998     

A theorem on open coverings of a simplex and Scarf's core existence theorem through Brouwer's fixed point theorem

Summary This paper provides simple proofs of a theorem on open coverings of a simplex and Scarf's core existence theorem through Brouwer's fixed point theorem.I want to thank Daniel Abrams, Yakar Kannai, Herbert Scarf, Nicholas Yannelis, Jingang Zhao, and an anonymous referee for their helpful comments. I also gratefully acknowledge the financial support from the Alfred P. Sloan Foundation.     

Nash and Walras equilibrium via Brouwer

Summary. The existence of Nash and Walras equilibrium is proved via Brouwer's Fixed Point Theorem, without recourse to Kakutani's Fixed Point Theorem for correspondences. The domain of the Walras fixed point map is confined to the price simplex, even when there is production and weakly quasi-convex preferences. The key idea is to replace optimization with “satisficing improvement,” i.e., to replace the Maximum Principle with the “Satisficing Principle.” Received: July 9, 2001; revised version: February 25, 2002 RID="*" ID="*" I wish to thank Ken Arrow, Don Brown, and Andreu Mas-Colell for helpful comments. I first thought about using Brouwer's theorem without Kakutani's extension when I heard Herb Scarf's lectures on mathematical economics as an undergraduate in 1974, and then again when I read Tim Kehoe's 1980 Ph.D dissertation under Herb Scarf, but I did not resolve my confusion until I had to discuss Kehoe's presentation at the celebration for Herb Scarf's 65th birthday in September, 1995. RID="*" ID="*"Correspondence to: C. D. Aliprantis     

Equilibrium and quasi-equilibrium existence theorems for a general model without ordered preferences

In previous papers Gale and Mas-Colell (1975) and later Florenzano (1981) obtained a fixed point theorem. Gale and Mas-Colell proved also an existence equilibrium theorem. In this paper I offer a more general fixed point theorem that embodies as special cases the above mentionaed results. The new fixed point theorem is used as a main result in obtaining a general equilibrium theorem in weaker conditions than those of the previous proofs.     

Inverse of the Berge maximum theorem

Summary We consider an inverse of the Berge maximum theorem. We also give an application of our result to fixed point theory.     

Neutrality in arrow and other impossibility theorems

Summary. Although not assumed explicitly, we show that neutrality plays an important role in Arrow and other impossibility theorems. Applying it to pivotal voters we produce direct proofs of classical impossibility theorems, including Arrow's, as well as extend some of these theorems. We further explore the role of neutrality showing that it is equivalent to Pareto or reverse Pareto, and to effective dictatorship for non-null social welfare functions satisfying the principle of independence of irrelevant alternatives. It is also equivalent to Wilson's Citizens' Sovereignty--which is related to the intuition that symmetry over alternatives makes social preference depend only on citizens' preferences. We show that some of these results are more fundamental than others in that they extend both to infinite societies and to considerably smaller domains of preferences. Finally, as an application of Arrow's theorem, we provide a simple proof of the Gibbard-Satterthwaite theorem.Received: 13 April 2000, Revised: 6 December 2002, JEL Classification Numbers: D71, C70.I thank Salvador Barberá, Luis Corchón, Cesar Martinelli, Eric Maskin, Tomas Sjöström, Ricard Torres, José Pedro Ubeda, and an anonymous referee for feedback. The proofs of Arrow's theorem and two Wilson's theorems come from a note I wrote in 1987 at Universitat Autónoma de Barcelona (Ubeda [16]). In 1996 Geanakoplos [7] wrote a proof of Arrow's theorem similar but not identical to mine. All work in this paper is independent of his.     

Infinite-dimensional Gale-Nikaido-Debreu theorem and a fixed-point theorem of Tarafdar

This paper proves the equivalence of five fixed-point theorems in topological vector spaces and then uses them to deduce an infinite-dimensional generalization of the classic Gale-Nikaido-Debreu theorem. The proof is based on the Hahn-Banach theorem and the Tarafdar fixed point theorem. There is also a discussion of the relationship of this generalization to the existence theorems of Aliprantis and Brown, Border, Yannelis and others.     

The limit theorem on the core of a production economy in vector lattices with unordered preferences

Summary. We prove Aliprantis, Brown, and Burkinshaw's (1987) theorem on the equivalence of Edgeworth production equilibria and pseudo-equilibria in a more general setting. We consider production economies with unordered preferences and general consumption sets in a vector lattice commodity space. We adapt the approach of Mas-Colell and Richard (1991) and prove our theorem by applying a separating hyperplane argument in the space of all allocations. We also generalize Podczeck's (1996) important result on the relationship between continuous and discontinuous equilibrium prices to the case of production. Received: April 18, 1997; revised version: February 6, 1998     

A simple proof of K-K-M-S theorem

Summary We give a simple proof of the K-K-M-S theorem based on the Kakutani fixed point theorem, the separation theorem for convex sets and the Berge maximum theorem.The author is grateful to Gerard Debreu for his advice and to Tatsuro Ichiishi, Michael Todd, Rajiv Vohra, Nicholas Yannelis, Lin Zhou and two anonymous referees for their comments. The original version of this note was written in the fall 1992 while the author was visiting the Department of Economics, University of California at Berkeley.     

Negative externalities and Sen’s liberalism theorem

Summary. Sen’s seminal, negative theorem about minimal liberalism has had a profound effect on economics, philosophy, and the social sciences. To address concerns raised by his result, we show how Sen’s assumptions must be modified to obtain positive conclusions; e.g., one resolution allows an agent to be decisive only if his choice does not impose “strong negative externalities” on others. We also uncover a significantly different interpretation of Sen’s societal cycles: rather than describing the rights of individuals to choose, the cycles identify when these choices impose difficulties on others. Other ways to address Sen’s difficulties come from game theory.Received: 14 October 2004, Revised: 7 March 2005, JEL Classification Numbers: D71, C70, D62.Donald G. Saari: Correspondenc toThe research of D. Saari was supported by NSF grant DMI-0233798. Our thanks to P. Hammond for suggesting some useful references. Some of our joint results were reported in Brunel (now Petron) (1998).     

English auctions and the Stolper-Samuelson theorem

We prove that the English auction (with bidders that need not be ex ante identical and may have interdependent valuations) has an efficient ex post equilibrium. We establish this result for environments where it has not been previously obtained. We also prove two versions of the Stolper-Samuelson theorem, one for economies with n goods and n factors, and one for non-square economies. Similar assumptions and methods underlie these seemingly unrelated results.     

Bargaining foundations of the median voter theorem

We give a game-theoretic foundation for the median voter theorem in a one-dimensional bargaining model based on Baron and Ferejohn's [D. Baron, J. Ferejohn, Bargaining in legislatures, Amer. Polit. Sci. Rev. 83 (1989) 1181-1206] model of distributive politics. We prove that as the agents become arbitrarily patient, the set of proposals that can be passed in any pure strategy, subgame perfect equilibrium collapses to the median voter's ideal point. While we leave the possibility of some delay, we prove that the agents' equilibrium continuation payoffs converge to the utility from the median, so that delay, if it occurs, is inconsequential. We do not impose stationarity or any other refinements. Our result counters intuition based on the folk theorem for repeated games, and it contrasts with the known result for the distributive bargaining model that as agents become patient, any division of the dollar can be supported as a subgame perfect equilibrium outcome.     

Satisficing behavior, Brouwer’s Fixed Point Theorem and Nash Equilibrium

Summary. We show that Nash Equilibrium points can be obtained by using response maps or reply functions that simply use better responses rather than best responses. We demonstrate the existence of a Nash Equilibrium as the fixed point of a better response map and since the better response map is continuous the fixed point can be established by simply using Brouwers fixed point theorem. The proof applies to games with a finite number of strategies as well as to games with a continuum of strategies. In case the games have a continuum of strategies the payoff functions have to be continuous on the action sets and quasi concave on the players action set.Received: 22 September 2003, Revised: 31 March 2004, JEL Classification Numbers: C72, D00, D40. Correspondence to: Robert A. BeckerWe have benefited from comments on an earlier draft made by participants at Indiana Universitys Microeconomics workshop (October 2002) and the Midwest Economic Theory Conference held at the University of Pittsburgh (May 2003). We also thank Roy Gardner for comments on earlier versions. We thank the Associate Editor, Mark Machina, for his detailed comments and suggestions. This project began when Subir Chakrabarti was a visitor in the Department of Economics, Indiana University, Bloomington in the Spring of 2002. He thanks that department for its support.     

A general revealed preference theorem for stochastic demand behavior

Summary. We present a general revealed preference theorem concerning stochastic choice behavior by consumers. We show that, when the consumer spends her entire wealth, the Weak Axiom of Stochastic Revealed Preference due to Bandyopadhyay, Dasgupta, and Pattanaik (1999) is equivalent to a restriction on stochastic demand behavior that we call stochastic substitutability. We also show that the relationship between the Weak Axiom of Revealed Preference and Samuelson's inequality in the deterministic theory, and the main result of Bandyopadhyay, Dasgupta, and Pattanaik (1999) are both special cases of our result.Received: 10 September 2001, Revised: 4 April 2003, JEL Classification Numbers: D11. Correspondence to: Prasanta K. PattanaikOur greatest debt is to the referee of this paper, who made numerous helpful suggestions. We thank Robin Cubitt, Kunal Sengupta and seminar audiences at Jawaharlal Nehru University, Indian Statistical Institute, University of East Anglia, Universidad Carlos III, University of Essex and University of Montreal for their helpful comments. Prasanta K. Pattanaik acknowledges his intellectual debt to Salvador Barbera, Tapas Majumdar and Amartya Sen.     

An elementary proof of the Knaster-Kuratowski-Mazurkiewicz-Shapley Theorem

Summary This note provides an elementary short proof of the Knaster-Kuratowski-Mazurkiewicz-Shapley (K-K-M-S) Theorem based on Brouwer's fixed point theorem. The usefulness of the K-K-M-S Theorem lies in the fact that it can be applied to prove directly Scarf's (1967) Theorem, i.e. any balanced game has a non-empty core. We also show that the K-K-M-S Theorem and the Gale-Nikaido-Debreu Theorem can be proved by the same arguments.We wish to thank Roko Aliprantis for useful comments.     

Technological Activity and Employment in a Panel of UK Firms

We investigate the relationship between technological activity, proxied by R&D, patents, and trade marks, and employment for a panel of British production firms from 1987 to 1994. We modify standard derived demand for labour to include technology variables. We find employment is fostered by R&D expenditure and UK patent publications, ceteris paribus on factor costs and current sales. The employment impact of R&D is bigger in high technology sectors, but employment increase from UK patenting activity is bigger in mature technology sectors. In further analysis of persistent differences (the estimated firm fixed effects) UK trade marks and US patents are also positively associated with employment.     

An Elementary Approach to Approximate Equilibria with Infinitely Many Commodities

We prove the existence of approximate equilibria in a finite exchange economy with a countably infinite number of commodities and nonconvex preferences, when every trader has an excess demand set that is finitely spannable, i.e., that could be covered by a union of its convex subsets in finitely many steps. We show that the bound on the norm of the per capita aggregate excess demand is reciprocally related to the square root of the population. Extensions are also made to the case where countably many commodities are indivisible. The proofs are elementary. Journal of Economic Literature Classification Numbers: D50, C62, D52.     

On equilibrium existence in payoff secure games

We propose a single framework for studying the existence of approximate and exact pure strategy equilibria in payoff secure games. Central to the framework is the notion of a multivalued mapping with the local intersection property. By means of the Fan-Browder collective fixed point theorem, we first show an approximate equilibrium existence theorem that covers a number of known games. Then a short proof of Reny’s (Econometrica 67:1029–1056, 1999) equilibrium existence theorem is provided for payoff secure games with metrizable strategy spaces. We also give a simple proof of Reny’s theorem in its general form for metric games in an appendix for the sake of completeness.     

Scope economies in the pharmaceutical sector

The paper’s objectives are twofold: to propose an experimental simulation to measure scope economies between pairs of submarkets and to point out the role of submarkets in explaining the concentration level in the pharmaceutical market. We simulate scope economies consistent with the diversification choices of large international companies in the years 1987 and 1997. Our results suggest that: i) the random diversification (that is no scope economies hypothesis) is rejected, and ii) scope economies are significant. (JEL: C15, D21, L11, L65)     

A Proof of Calibration via Blackwell's Approachability Theorem

Over the past few years many proofs of the existence of calibration have been discovered. Each of the following provides a different algorithm and proof of convergence: D. Foster and R. Vohra (1991, Technical Report, University of Chicago), (1998, Biometrika85, 379–390), S. Hart (1995, personal communication), D. Fudenberg and D. Levine (1999, Games Econ. Behavior29, 104–130), and S. Hart and A. Mas-Colell (1997, Technical Report, Hebrew University). Does the literature really need one more? Probably not. But the algorithm proposed here has two virtues. First, it only randomizes between two forecasts that are very close to each other (either p or p + ε). In other words, the randomization only hides the last digit of the forecast. Second, it follows directly from Blackwell's approachability theorem, which shortens the proof substantially. Journal of Economic Literature Classification Numbers: C70, C73, C53.