Making agents open-source can make selfish learning cooperative: in parametric open-source games the authors prove an exact coupling threshold where gradient-ascent learners flip from defection to cooperation, and show that a neural-semantics sensitivity ratio predicts when shared parameter access steers outcomes toward cooperation.
Open-source game theory studies agents whose behavior may depend on one another's decision procedures, but most existing models use discrete or symbolic programs. We introduce parametric open-source games, a continuous analogue of program equilibria in which players choose parameter vectors and semantics maps convert the full parameter profile into mixed actions in an underlying finite game. We establish equilibrium existence results, derive an exact coupling threshold at which selfish gradient ascent in symmetric $2\times2$ games switches from defection toward cooperation, and give a one-dimensional boundary test for parametric program Nash equilibria. We further extend the framework to a neural semantics class whose first-order cooperation condition is governed by the ratio of cross-player to self-player sensitivity. Across canonical games, the framework shows how access to internal parameterizations can qualitatively reshape learning dynamics and equilibrium structure, and how sufficiently strong open-source coupling can steer selfish optimization toward cooperative outcomes.
Summary
Main Finding
The paper defines parametric open-source games — a continuous analogue of program equilibria where players choose parameter vectors and continuous semantics maps convert the joint parameter profile into mixed actions of an underlying finite game — and shows that access to opponents’ internal parameters can qualitatively reshape (i) gradient-based learning dynamics and (ii) equilibrium structure. In symmetric 2×2 games the authors derive an exact local coupling threshold γ* that flips selfish projected gradient ascent from moving toward defection to moving toward cooperation, give a one-dimensional boundary test to certify parametric program Nash equilibria (PPNEs), and show the same local criterion carries over to a neural semantics class via the first-order sensitivity ratio β/α. Empirics across canonical 2×2 games confirm the analytical phase transition and highlight an optimization barrier for learning cooperative semantics from cold starts.
Key Points
- Model
- Parametric open-source game: each player i chooses θi ∈ Θi and a continuous semantics ϕi(θ) ∈ Δ(Si) maps the full parameter profile θ to mixed play in a base finite game. Open-source when ϕi depends on opponents’ θ−i.
- PPNE: θ is a parametric program Nash equilibrium if no unilateral change in θi increases Ui(θi, θ−i).
- Existence
- Mixed-strategy PPNE over Θ exists by Glicksberg. A pure PPNE exists under additional quasiconcavity of Ui(·, θ−i).
- Sigmoid semantics (analytic tractability)
- Two-action games, θi ∈ [−B,B], semantics pi(θ) = σ(θi + γ θ−i) where γ ≥ 0 controls cross-player coupling; γ = 0 is closed-source.
- Theorem (Phase transition): assuming R + T − P − S > 0 (standard payoff notation), define γ = (T + P − R − S)/(R + T − P − S). For initializations near θ = (0,0), selfish projected gradient ascent moves toward less cooperation when γ < γ and toward more cooperation when γ > γ*.
- Empirical simulations (Prisoner’s Dilemma, Chicken, Stag Hunt, Harsh PD) match the analytical γ*.
- Boundary equilibrium test
- Theorem (Boundary PPNE characterization): if for candidate boundary (B,B) the unilateral payoff derivative d/dθi Ui(θi, B) ≥ 0 for all θi ∈ (−B,B), then (B,B) is a PPNE. This allows one-dimensional verification of boundary equilibria.
- Neural semantics (expressivity + first-order interpretability)
- Semantics: pi(θ) = σ(α θi + β θ−i + h(quadratic features; W)), where h is a small quadratic-feature residual net whose first-order derivative at θ = 0 vanishes.
- Local cooperation condition reduces to the sensitivity ratio: cooperation initially attractive iff β/α > γ* (provided α > 0).
- Experiments: fixed neural semantics with matched β/α reproduce sigmoid behavior; jointly learned neural semantics reach cooperative, high-welfare regimes only from warm starts with initial β/α above threshold — cold starts often fail to discover cooperative coupling (optimization barrier).
- Practical observations
- Open-source coupling can steer selfish gradient ascent toward socially preferable outcomes, but sufficient coupling is required.
- Representational capacity to encode cooperative semantics is not the same as learnability: optimization dynamics and initialization matter.
Data & Methods
- Theoretical methods:
- Formal definitions of parametric open-source games and PPNE.
- Existence proofs: mixed PPNE by Glicksberg; pure PPNE under quasiconcavity via Kakutani-type arguments.
- Analytic derivations for symmetric 2×2 games using the sigmoid semantics; closed-form expression γ* derived from payoff parameters (R, S, T, P).
- Boundary PPNE criterion based on unilateral payoff sweeps (derivative sign).
- Extension to neural semantics via first-order Taylor analysis: residual net chosen so its first-order derivative at 0 is zero, isolating α, β sensitivities.
- Empirical methods:
- Simulations of projected gradient ascent on Θ = [−B,B]^2 with finite-difference gradients and projection; learning rate η; multiple random seeds.
- Canonical games tested: Prisoner’s Dilemma, Stag Hunt, Chicken, Harsh PD.
- Experiments include sigmoid closed/open semantics, fixed neural semantics (various β/α), and jointly learned neural semantics (warm vs cold initialization). Results averaged across seeds (typically 20).
- Verification of boundary PPNE by numerically sweeping a player’s θi while fixing opponent at boundary value and checking derivative/nonprofitability.
Implications for AI Economics
- Transparency as a policy instrument: revealing internal model parameters (or enabling functional access) can change incentives in multi-agent systems. Platforms, regulators, and designers might strategically expose or withhold parameter-level information to steer decentralized learning toward more cooperative/welfare-improving equilibria.
- Mechanism design and disclosure: the paper provides a concrete parametrization (γ or β/α) by which disclosure can be tuned to induce desirable equilibria. This suggests new levers for mechanism designers — e.g., certifying or enforcing semantics with sufficient cross-agent sensitivity to avoid destructive competitive dynamics.
- Collusion and welfare trade-offs: while stronger open-source coupling can improve social welfare (e.g., induce cooperation), it may also enable collusion or coordinated manipulation. Policymakers must weigh welfare gains against anticompetitive risks and consider partial/noisy disclosure regimes.
- Representation vs learnability: even if semantics classes can represent cooperative behavior, gradient-based training may fail to find them from generic initializations (optimization barriers). Economically, this matters for interventions that assume firms or agents will converge to welfare-improving equilibria once transparency is introduced — initial conditions, training procedures, and incentives to adopt particular semantics will shape outcomes.
- Design of marketplaces and standards: when deploying interacting AI agents (market-making, ad auctions, automated bidding), platform designers should account for how internal-parameter access alters strategic dynamics. Standards could specify what kinds of internal information can be exposed (or certified) to promote socially beneficial equilibria.
- Directions for applied work: the model points to important extensions for economic relevance — partial/noisy transparency, asymmetric disclosure, population games, repeated/Markov settings, and strategic signaling of internal properties — each of which will affect market structure, incentives, and regulation.
- Research caution: the current results are for idealized symmetric two-player, one-shot base games and assume full parameter access; applying these insights to realistic economic systems requires careful modelling of information constraints, heterogeneity, and dynamic strategic behavior.
Assessment
Claims (7)
| Claim | Direction | Outcome | Confidence & Evidence | Details |
|---|---|---|---|---|
| We introduce parametric open-source games, a continuous analogue of program equilibria in which players choose parameter vectors and semantics maps convert the full parameter profile into mixed actions in an underlying finite game. Other | positive | introduction/definition of a new game-theoretic model (parametric open-source games) |
Reading fidelity
high
Study strength
high
|
not reported
|
| We establish equilibrium existence results for parametric open-source games. Other | positive | existence of Nash equilibria in the defined game class |
Reading fidelity
high
Study strength
high
|
not reported
|
| We derive an exact coupling threshold at which selfish gradient ascent in symmetric 2x2 games switches from defection toward cooperation. Decision Quality | positive | strategy outcome (defection vs. cooperation) under selfish gradient ascent |
Reading fidelity
high
Study strength
high
|
not reported
|
| We give a one-dimensional boundary test for parametric program Nash equilibria. Other | positive | existence/verification of parametric program Nash equilibria (via a 1-D boundary test) |
Reading fidelity
high
Study strength
high
|
not reported
|
| We extend the framework to a neural semantics class whose first-order cooperation condition is governed by the ratio of cross-player to self-player sensitivity. Decision Quality | positive | analytic condition for cooperation in neural-semantics parametrizations (ratio of sensitivities) |
Reading fidelity
high
Study strength
medium
|
not reported
|
| Across canonical games, the framework shows how access to internal parameterizations can qualitatively reshape learning dynamics and equilibrium structure. Organizational Efficiency | positive | qualitative change in learning dynamics and equilibrium structure when internal parameterizations are accessible |
Reading fidelity
high
Study strength
medium
|
not reported
|
| Sufficiently strong open-source coupling can steer selfish optimization toward cooperative outcomes. Decision Quality | positive | prevalence of cooperative vs. defective outcomes under selfish optimization as a function of coupling strength |
Reading fidelity
high
Study strength
medium
|
not reported
|