The Role of the Assumptions for the Existence of a General Equilibrium

Pablo Ahumada

REVIEW 2 major objections 4 minor 2 references

The Role of the Assumptions for the Existence of a General Equilibrium

T0 review · 2 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper claims that a general equilibrium always exists whenever excess consumption is upper hemicontinuous, convex valued, and obeys Walras's law, and traces each condition to specific assumptions about individuals.

desk verdict A clear and honest pedagogical restatement of the Arrow-Debreu existence proof, with no new results and one important missing compactness argument in Section 4. read the letter →

arxiv 2411.17072 v2 pith:ACN6OITC submitted 2024-11-26 econ.TH

Pablo Ahumada This is my paper · ORCID

classification econ.TH MSC 91B50

keywords GeneralEquilibriumTheoryExistenceofAssumptionsfortheKakutanifixed-pointtheoremWalras'slawUpperhemicontinuityPureexchangeeconomyFreedisposal

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

General equilibrium theory's core promise is that a system of markets always settles: there exists a list of relative prices at which every good's planned consumption fits within the total stocks available. This paper is a conceptual review of the proof of that promise, in the simplest pure-exchange setting, organized around Kakutani's fixed-point theorem. Its central claim is that the existence result is carried by three conditions on the excess-consumption correspondence — upper hemicontinuity, convex values, and Walras's law — and that each condition can be traced to explicit assumptions about individuals: seven assumptions (closed, convex, bounded-below consumption sets; continuous preferences; utility maximization; fixed total stocks; and a strict endowment condition) buy upper hemicontinuity, convex preferences buy convex values, and local non-satiation with free disposal keep equilibrium exchange values non-negative and non-zero. If the paper is right, an economist who wants to weaken any assumption can see immediately which mathematical condition is at risk, because each assumption plays exactly one named role.

What carries the argument

The load-bearing object is the product correspondence $\psi(p, z) = \mu(z) \times \zeta(p)$ on the product space $P \times Z$. $\zeta$ is the excess consumption correspondence — the set of gaps between total planned consumption and total stocks, given exchange values — and $\mu$ is the exchange value correspondence, which returns the price lists in the simplex that maximize $p \cdot z$, the formal expression of the market rule that exchange values rise for goods in excess demand and fall for goods in surplus. Kakutani's fixed-point theorem is the engine: it guarantees a pair $(p^*, z^*)$ such that prices respond to excess consumption while excess consumption responds to prices, and the two are mutually consistent; Walras's law then converts that mathematical fixed point into an economic equilibrium by forcing $z^* \leq 0$. Two intermediate results translate economic assumptions into theorem hypotheses: a maximum-type lemma stating that the maximizer correspondence of a continuous function on a continuous feasible correspondence is upper hemicontinuous, and a budget-continuity result stating that the budget set is continuous at every price list provided the individual's endowment is strictly larger than some feasible consumption.

What would settle it

The decisive test is a boundary economy: take two goods and two consumers, give one consumer an endowment containing none of good 2, and compute the budget set at the price vector where good 2's exchange value is zero. If the budget set is not lower hemicontinuous there and the excess consumption correspondence consequently fails upper hemicontinuity, the paper's claim that the strict endowment condition is the load-bearing point is confirmed; if a sufficiently large holding of good 1 keeps the budget set continuous, then the condition is stronger than necessary and the paper's partition of roles needs revision.

Watch

Extended reading notes

Core claim

The paper's central claim is the conditional existence theorem of Section 3: if the excess consumption correspondence $\zeta$ is upper hemicontinuous, convex valued, and satisfies Walras's law, then the product correspondence $\psi(p, z) = \mu(z) \times \zeta(p)$ — where $\mu$ selects the exchange values that maximize the value $p \cdot z$ of excess consumption — satisfies all the hypotheses of Kakutani's fixed-point theorem. Hence a fixed point $(p^*, z^*)$ exists in which the price list is self-consistent with the consumption gap, and Walras's law forces $z^* \leq 0$, which is exactly the statement that planned consumption nowhere exceeds available stocks: a general equilibrium. The paper further claims that a chain of seven assumptions on individuals — closed, convex, bounded-below consumption sets; continuous preferences that agents maximize; fixed total stocks; and the strict endowment condition that every individual owns a positive amount of every good — makes the excess consumption correspondence upper hemicontinuous, that semi-strictly convex preferences make it convex valued, and that local non-satiation together with free disposal guarantee equilibrium exchange values are non-negative and not all zero, with Walras's law falling out of the sum of individual budget constraints. The roles are strictly separated: the endowment condition keeps budget sets continuous, convexity makes the consumption correspondence convex valued, and non-satiation plus free disposal exclude degenerate price lists.

Load-bearing premise

The load-bearing premise is the strict endowment condition — every individual must own a positive quantity of every good — which is what keeps every budget set continuous at every price list; most real economies do not satisfy it, and where it fails the paper's fixed-point construction needs the irreducibility-style assumptions the paper cites from the literature.

Editorial extensions

If this is right

If the three Section 3 conditions hold, equilibrium exists even when preferences are only continuous and convex — no differentiability of utility functions is required.
Because Walras's law forces $z^* \leq 0$ at any fixed point, equilibrium means no good is consumed beyond its stocks; goods with positive exchange value are exactly consumed, while free goods may be left unconsumed.
The strict endowment condition is the point where the standard proof's assumptions outrun ordinary economies; where it fails, one must either add a resource-relatedness or irreducibility condition, as the cited literature does, or give up the construction.
Normalizing exchange values to the simplex is legitimate because budget sets and disposal decisions are homogeneous of degree zero in exchange values — only relative prices matter.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The paper's role-map suggests a diagnostic tool the author does not develop: for any proposed weakening of an assumption — indivisible goods, boundary endowments, no free disposal — one can predict which Kakutani hypothesis fails and whether a fixed-point proof can be patched, which is a concrete way to read the existence literature.
The construction implies the specific price-adjustment rule $\mu$ is not essential: any upper hemicontinuous, convex valued correspondence that increases the value of excess demand would work, so the 'invisible hand' can be replaced by any continuous, convex adjustment rule.
The boundary-endowment failure points to a quantitative question: in real endowment distributions, how often do equilibrium prices approach the region where some consumer's budget set is discontinuous, and how far is the strict endowment condition from holding in practice?
The aggregate excess-demand characterization results cited in the paper show that homogeneity, continuity, and Walras's law are the properties that survive aggregation; the paper's Section 3 shows these same three conditions are all the existence proof needs, marking them as the natural frontier for aggregate-level analysis.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Here's the short version: this is a competent, unusually readable restatement of the Arrow-Debreu existence proof, written for people who know some micro but never got through Debreu (1959) or the 1982 Handbook chapter. There are no new theorems, and the author doesn't claim any. The new terminology—exchange values, excess consumption—is mostly harmless renaming. If you want to know what's actually new: almost nothing. If you want to know whether it's useful: yes, for teaching.

The paper does several things well. It goes from Kakutani's fixed point theorem backward to the individual assumptions, which is the right order for intuition. The Section 3 argument—excess consumption correspondence plus price adjustment correspondence, product, fixed point, Walras's law to force z* ≤ 0—is clean and correct. The proof of convex valuedness of the price correspondence is fine. The citation practice is honest: it leans on Debreu (1982) for Lemma 1 and Lemma 3, and it says so.

The soft spot is real and it's in Section 4. The stress-test note is right: the paper introduces a compact X_i' and proves the budget correspondence is upper hemicontinuous on X_i', but then defines the demand correspondence on the original, unbounded X_i. At price vectors where some p_j = 0, the budget set is unbounded in good j, and with locally nonsatiated preferences the maximizer set can be empty. The strict endowment condition x0_i << h_i is the standard device that makes the boundary non-binding in equilibrium, but the paper never uses it to show the equilibrium consumption lies in the interior of the compact set. So the sufficiency claim connecting Section 4's assumptions to Section 3's hypotheses is incomplete as written. It's repairable—Debreu's 1959 chapter has the argument—but the paper doesn't fill it in. That's a moderate flaw, not a fatal one, because the theorem is standard and the gap is well-defined.

Another minor thing: the Walras's law proof at the fixed point is correct but slightly terse; the claim that {0} ∉ P is doing more work than it needs.

Who's this for? A grad student in the first year of theory, or a colleague in another field who wants the intuition. It would be a good reading group piece. I wouldn't cite it in my own research, but I'd encourage a student to read it.

For peer review: if the journal takes expository surveys, yes, send it out—the gap in Section 4 is fixable and a referee could catch it. If the venue is a straight research journal, it's not a research contribution, so desk reject is defensible. My own vote: worth a referee round, not worth publication as a research paper.

Referee Report

2 major / 4 minor

Summary. The paper is an expository article on the classical Arrow–Debreu existence proof for pure-exchange economies via Kakutani's fixed-point theorem. It first states the theorem and then works backwards: Section 3 shows that if the excess consumption correspondence is upper hemicontinuous, convex valued, and satisfies Walras's law, and if the price (exchange value) correspondence is defined as the set of maximizers of the value of excess demand over the simplex, then Kakutani's theorem yields a fixed point that is an equilibrium. Section 4 then asks which assumptions on individual consumers (closed, convex, bounded-below consumption sets; continuous, semi-strictly convex preferences; utility maximization; a strict endowment condition; local non-satiation; free disposal) ensure these aggregate conditions. The paper concludes with a discussion of the role of each assumption.

Significance. If completed rigorously, this would be a useful pedagogical bridge. It correctly identifies the three key aggregate hypotheses and the structure of the fixed-point argument, and it is carefully referenced to the standard literature. The paper contains no fitted parameters or claimed novelties; its value lies in clarity of exposition. It also explicitly acknowledges that the assumptions are sufficient rather than necessary and cites the weaker alternatives of Arrow–Hahn and McKenzie. However, the current version has a significant gap in the sufficiency proof (the truncation/boundary non-binding step), and one explanation of the role of free disposal is inaccurate. With those repaired, the exposition could serve as a first entry point to general equilibrium theory.

major comments (2)

[§4, Lemma 3 application] The proof that the seven individual-level assumptions imply the Section 3 hypotheses is incomplete. X_i is assumed only closed, convex, and bounded below, hence not compact, and the paper introduces a compact X_i' containing feasible consumptions in its interior. However, the demand correspondence ξ_i is then defined for every p∈P as the maximizer of u_i over the original budget set β_i(p)={x∈X_i | p·x≤p·h_i}, not over X_i'. At price vectors with p_j=0, β_i(p) is unbounded in good j, so with locally nonsatiated preferences the maximum may fail to exist and Lemma 1 cannot be applied. The strict endowment condition x0_i≪h_i is used only to derive p·h_i>p·x0_i and hence budget-set continuity; it is never used to show that equilibrium demands lie in the interior of X_i', i.e., the boundary non-binding lemma (Debreu 1959, §5.7) is missing. Consequently, the central claim that the assumptions of Section 4 are sufficient for the excess consumption correspondence to be upper hemicontinuous is not established as written.
[§4, Lemma 3 application] Lemma 3 is stated for a non-empty, compact, convex consumption set, but the paper's consumption set X_i is not compact. If the lemma is meant to apply to the truncation X_i', the paper must show both that the strict endowment condition implies p·h_i > min_{x∈X_i'} p·x and that restricting demand to X_i' is without loss of generality for the equilibrium allocation. Neither condition is proved; the text merely asserts that the budget set is upper hemicontinuous on X_i' and then proceeds as though Lemma 3 applied to the original X_i. This is a formal gap in the sufficiency argument.

minor comments (4)

[§4, free disposal] The claim that free disposal 'ensures that all equilibrium lists of exchange values are non-negative' is not supported and is in fact unnecessary for that purpose, since prices have already been restricted to the non-negative simplex P in Section 3. The role of free disposal is to allow disposal of excess supplies and to make p_j=0 for goods in excess supply; the paper should either remove the claim or explain precisely how free disposal interacts with the normalization to P.
[§2 and §4, notation for vectors] The paper uses 'p>0' both for the strict vector inequality (p_j>0 for all j, as defined in Section 2) and for 'non-negative and not all zero' (e.g., 'p* > 0' in Section 4). This conflicts with the formal definition and should be fixed, for instance by writing p≥0, p≠0 where that is the intended meaning.
[§5, conclusion] The conclusion says 'Seven assumptions must be made' to ensure upper hemicontinuity, but the paper itself correctly notes in Section 4 that the assumptions are sufficient rather than necessary. Replace 'must be made' with 'are sufficient' to avoid implying necessity.
[§4, budget set upper hemicontinuity] The phrase 'provided that the set on which it is defined is compact' (in the discussion of the budget set) is vague: the budget set is defined on P×X_i, which is not compact, and only its restriction to X_i' is compact. The author should specify precisely which truncated budget correspondence is being used in the upper hemicontinuity claim.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the paper is a pedagogical review whose load-bearing results are external fixed-point and continuity lemmas, not the paper's own fitted outputs.

full rationale

The paper's derivation chain runs from Kakutani's fixed-point theorem, stated as an external mathematical result, to assumptions on the excess consumption correspondence in Section 3, and then to individual-level assumptions in Section 4. Each load-bearing step is imported from independent classical sources: Lemma 1 and Lemma 3 are cited to Debreu (1982), and the individual assumptions are presented as sufficient conditions in the Arrow-Debreu tradition. There are no fitted parameters, no quantity is predicted from a subset of data, and the paper contains no self-citations by the author. Walras's law is obtained by summing individual budget constraints, not by assuming the conclusion. The fixed point (p*, z*) is shown to satisfy z* ≤ 0 using Walras's law plus the definition of the price correspondence μ, which is a standard application rather than a circular reduction. The paper explicitly says 'the proof is not discussed,' and any truncation or compactness concern is a completeness issue about the sufficiency argument, not a circularity: the strict-endowment condition is used to ensure budget continuity over the whole simplex, and the absence of a detailed boundary non-binding argument does not make the conclusion equal to an input. Accordingly, the appropriate circularity score is 0.

Assumptions & free parameters 0 free parameters · 8 assumptions · 0 invented entities

This is a review of established theory, so the ledger lists the standard mathematical tools and the economic assumptions the paper invokes. There are no fitted parameters and no newly invented entities. The paper renames existing concepts, but renaming does not create a new entity.

assumptions (8)

standard math Kakutani's fixed-point theorem
Invoked in Section 3 to guarantee a fixed point (p*, z*) for the product correspondence ψ.
standard math Lemma 1 (Debreu's maximum theorem)
Cited from Debreu (1982, p. 701) and used in Sections 3 and 4 to prove upper hemicontinuity of μ and ξ_i.
standard math Lemma 3 (budget set continuity)
Cited from Debreu (1982, p. 707) to establish that β_i is continuous when the endowment is strictly larger than some feasible consumption.
domain assumption Consumption set closed, convex, and bounded from below
Assumed for each individual in Section 4 to ensure utility representation, convex budget sets, and compact feasible subsets.
domain assumption Preferences are continuous (closed graph)
Assumed in Section 4 so that preferences admit a continuous utility function and the consumption correspondence is upper hemicontinuous.
domain assumption Endowment strictly larger than one feasible consumption: x_0^i ≪ h_i
Assumed in Section 4 to guarantee the budget set is non-empty and continuous on the entire price simplex, a key condition for Lemma 1.
domain assumption Local non-satiation over feasible consumptions
Assumed in Section 4 to rule out zero equilibrium price vectors and to ensure fixed points are optimal for consumers.
domain assumption Free disposal (Y_i ⊆ R_-^l and ΣY_i = R_-^l)
Assumed in Section 4 to ensure equilibrium exchange values are non-negative and that unused goods can be discarded without cost.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The Role of the Assumptions for the Existence of a General Equilibrium." pith.science (2026). https://pith.science/paper/ACN6OITC

@misc{pith2026241117072,
  author       = {Pith},
  title        = {Pith review of: The Role of the Assumptions for the Existence of a General Equilibrium},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ACN6OITC}},
  note         = {Machine review of arXiv:2411.17072}
}

read the original abstract

General Equilibrium Theory is the benchmark of economics, especially its results concerning the efficient allocation of resources, known as the First and Second Welfare Theorems. Yet, General Equilibrium Theory is beyond the scope of most economists. This paper is pitched as the first entry point into the theory. General Equilibrium Theory proves that at least one state of equilibrium always exists. In its most general approach, it uses fixed-point theorems to this end. This paper discusses the assumptions on individuals' behaviour and the structure of the system of exchange that guarantee that the conditions of the fixed-point theorems are satisfied. The purpose is to lay bare the role each plays in proving the existence of equilibrium and provide a clear picture of the relationship between the assumptions and the result. The discussion is presented in the simplest possible setting that captures the fundamental features of commodity exchange.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

2 extracted references · 1 canonical work pages

[1]

J., & Debreu, G

Arrow, K. J., & Debreu, G. (1954). Existence of an equilibrium for a competitive economy. Econometrica, 22(3), 265-290. doi:10.2307/1907353 Arrow, K. J., & Hahn, F. H. (1971). General competitive analysis. San Francisco: Holden-Day. Balasko, Y. (2016). Foundations of the theory of general equilibrium. In (2nd ed.). New Jersey: World Scientific. Barten, A....

doi:10.2307/1907353 1954
[155]

doi:10.7146/math.scand.a-10436 Green, J., & Heller, W. P. (1981). Mathematical analysis and convexity with applications to economics. In M. D. Intriligator & K. J. Arrow (Eds.), Handbook of Mathematical Economics (Vol. 1). Amsterdam: Elsevier science. Mantel, R. R. (1966). Toward a constructive proof of the existence of equilibrium in a competitive econom...

work page doi:10.7146/math.scand.a-10436 1981

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.

[1] [1]

J., & Debreu, G

Arrow, K. J., & Debreu, G. (1954). Existence of an equilibrium for a competitive economy. Econometrica, 22(3), 265-290. doi:10.2307/1907353 Arrow, K. J., & Hahn, F. H. (1971). General competitive analysis. San Francisco: Holden-Day. Balasko, Y. (2016). Foundations of the theory of general equilibrium. In (2nd ed.). New Jersey: World Scientific. Barten, A....

doi:10.2307/1907353 1954

[2] [155]

doi:10.7146/math.scand.a-10436 Green, J., & Heller, W. P. (1981). Mathematical analysis and convexity with applications to economics. In M. D. Intriligator & K. J. Arrow (Eds.), Handbook of Mathematical Economics (Vol. 1). Amsterdam: Elsevier science. Mantel, R. R. (1966). Toward a constructive proof of the existence of equilibrium in a competitive econom...

work page doi:10.7146/math.scand.a-10436 1981