arxiv: 2601.22112 · v3 · submitted 2026-01-29 · 💰 econ.TH

Recognition: 1 theorem link

· Lean Theorem

Distributional Competition

Mark Whitmeyer

Authors on Pith no claims yet

Pith reviewed 2026-05-16 09:56 UTC · model grok-4.3

classification 💰 econ.TH

keywords distributional competitionsymmetric equilibriumconvex costfirst-order approachR&D competitionrank-order contestsoligopolistic product design

0 comments

The pith

Symmetric equilibria exist in competitions where each player chooses an arbitrary distribution over a one-dimensional performance index at convex cost.

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

The paper studies symmetric competitions in which identical players each select a distribution over a one-dimensional index while facing a convex cost of their choice. It establishes that a symmetric equilibrium always exists in which every player adopts the identical distribution. The analysis further identifies properties that any such equilibrium must satisfy and derives a characterization of the equilibrium distributions using the first-order approach. These results immediately support applications to R&D races, oligopolistic product design, and rank-order contests.

Core claim

In symmetric distributional competitions with convex costs, a symmetric Nash equilibrium exists in which all players select the same distribution over the performance index. This equilibrium satisfies a set of necessary properties induced by symmetry and convexity and admits an explicit characterization obtained by applying the first-order approach to each player's optimization problem.

What carries the argument

The first-order approach, which supplies the equilibrium conditions by differentiating each player's expected payoff with respect to their chosen distribution.

If this is right

Equilibrium distributions are identical across players and solve the same first-order condition.
The model directly covers R&D competition in which firms choose distributions of innovation outcomes.
Oligopolistic product design reduces to choosing quality distributions at convex cost.
Rank-order contests are special cases in which the performance index determines prize ranks.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The characterization may permit closed-form solutions when the cost function takes standard functional forms such as quadratic.
Comparative statics on cost parameters would predict how equilibrium distributions shift with changes in marginal cost.
The framework could be tested by checking whether observed distributions in laboratory rank-order contests match the first-order predictions for given convex costs.

Load-bearing premise

The cost function is convex and the game is fully symmetric across identical players choosing distributions over a one-dimensional index.

What would settle it

A concrete two-player example with a strictly convex cost function in which no symmetric equilibrium distribution pair exists would falsify the existence result.

read the original abstract

I study symmetric competitions in which each player chooses an arbitrary distribution over a one-dimensional performance index, subject to a convex cost. I establish existence of a symmetric equilibrium, document various properties it must possess, and provide a characterization via the first-order approach. Manifold applications--to R\&D competition, oligopolistic competition with product design, and rank-order contests--follow.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Whitmeyer proves existence of symmetric equilibrium and gives a first-order characterization when players pick arbitrary distributions over a one-dimensional index under convex costs.

read the letter

Whitmeyer proves existence of a symmetric equilibrium in symmetric games where each player selects an arbitrary distribution over a one-dimensional performance index, paying a convex cost. He also records properties of that equilibrium and characterizes it through first-order conditions. This general approach is what stands out. Most existing models in contests or oligopoly pin down strategies more narrowly, so allowing full distributional choice could simplify or improve analysis in areas like R&D races and product design. The paper sets up the model and claims clearly. Convexity of costs and player symmetry are standard assumptions that support the results without apparent problems. The first-order characterization follows the usual method for these problems. The main uncertainty comes from not having the detailed proofs in front of us. It is possible that additional conditions are needed for the existence argument to go through, such as specific continuity requirements on payoffs. The applications are listed but their development is not shown here, so it is unclear how much they change existing analyses. This paper targets theorists interested in contest theory, industrial organization, or mechanism design with continuous actions. A reader building models with probabilistic effort or quality choices would likely find the general result helpful. I recommend sending it for peer review. The core existence and characterization result appears solid and potentially useful for organizing work in those fields.

Referee Report

2 major / 2 minor

Summary. The manuscript studies symmetric competitions in which identical players each select an arbitrary probability distribution over a one-dimensional performance index, subject to a convex cost that depends on the chosen distribution. It establishes existence of a symmetric Nash equilibrium, derives several properties that any such equilibrium must satisfy, and supplies a characterization of equilibrium behavior via the first-order approach. The framework is then applied to R&D races, oligopolistic product design, and rank-order contests.

Significance. If the existence proof and first-order characterization are rigorous, the paper supplies a unified, tractable model for a broad class of distributional games under symmetry and convex costs. This could streamline analysis across contest theory, industrial organization, and mechanism design by replacing ad-hoc functional-form assumptions with a general first-order condition. The explicit applications demonstrate immediate relevance, and the absence of free parameters or fitted constructs in the core claims is a methodological strength.

major comments (2)

[§3] §3 (Existence): The argument for existence of a symmetric equilibrium invokes convexity of the cost function and symmetry across players, but does not explicitly verify that the strategy space of probability measures is compact in a topology that makes the payoff continuous (e.g., weak convergence or Wasserstein metric). Without this step the application of a fixed-point theorem remains incomplete.
[§4] §4 (First-order characterization): The derivation of the equilibrium condition via the first-order approach assumes an interior solution and differentiability of the cost functional with respect to the distribution; the paper should state the precise Gateaux or Fréchet differentiability requirement and confirm that boundary solutions are ruled out or handled separately.

minor comments (2)

Notation for the performance index and the cost functional should be introduced once and used consistently; currently the same symbol appears to denote both the random variable and its distribution in several places.
The applications section would benefit from a short table comparing the general model’s predictions with those of the leading special cases in the R&D and contest literatures.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. We address each major comment below and will incorporate the requested clarifications into the revised manuscript.

read point-by-point responses

Referee: [§3] §3 (Existence): The argument for existence of a symmetric equilibrium invokes convexity of the cost function and symmetry across players, but does not explicitly verify that the strategy space of probability measures is compact in a topology that makes the payoff continuous (e.g., weak convergence or Wasserstein metric). Without this step the application of a fixed-point theorem remains incomplete.

Authors: We agree that the topological requirements should be stated explicitly. The strategy space consists of probability measures on a compact interval, which is compact in the weak topology by Prokhorov's theorem. The payoff function is continuous in this topology because the cost functional is convex and weakly lower semicontinuous while the expected performance term is continuous under weak convergence. We will add this verification to complete the application of Kakutani's fixed-point theorem in the revised version. revision: yes
Referee: [§4] §4 (First-order characterization): The derivation of the equilibrium condition via the first-order approach assumes an interior solution and differentiability of the cost functional with respect to the distribution; the paper should state the precise Gateaux or Fréchet differentiability requirement and confirm that boundary solutions are ruled out or handled separately.

Authors: We will add an explicit statement that the cost functional is Gateaux differentiable at candidate equilibria. We will also include a short argument showing that, under strict convexity of the cost and the maintained assumptions on the performance index, any symmetric equilibrium must be interior (i.e., the equilibrium distribution cannot place mass only at the boundary). Boundary cases will be ruled out or handled by direct verification in the applications. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper claims existence of a symmetric equilibrium for players choosing distributions over a one-dimensional index under convex costs, documents properties of that equilibrium, and provides a characterization using the first-order approach. The first-order approach is a standard external technique from game theory and does not reduce to any input of the model by construction. No self-definitional steps, fitted inputs relabeled as predictions, self-citation load-bearing arguments, uniqueness theorems imported from the same authors, or ansatzes smuggled via citation are present in the abstract or described central claims. The derivation chain relies on general mathematical results that remain independent of the paper's specific fitted values or definitions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard game-theoretic domain assumptions rather than new free parameters or invented entities.

axioms (2)

domain assumption The cost of choosing a distribution is convex.
Explicitly stated in the abstract as the constraint on strategy choice.
domain assumption The game is symmetric with identical players.
Required to establish and characterize the symmetric equilibrium.

pith-pipeline@v0.9.0 · 5329 in / 1148 out tokens · 34452 ms · 2026-05-16T09:56:36.524983+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

I establish existence of a symmetric equilibrium... characterization via the first-order approach... convex cost... Gâteaux differentiable... Φ(F, x) = a_F(x) − c_F(x) ≤ λ_g ... equal on supp(dF)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.