https://arxiv.org/api/iTUL07nioWMbrMwbaRclrcCAORY 2026-06-21T17:05:22Z 4059 225 15 http://arxiv.org/abs/2605.13362v2 2026-05-14T15:12:56Z

Computational social choice and algorithmic decision theory offer rich aggregation theory but no comprehensive process for egalitarian self-governance: aggregation, deliberation, amendment, and consensus are each considered in isolation, with key metric-space aggregators being NP-hard. Here, we propose constitutional governance in metric spaces, integrating these stages into a coherent polynomial-time protocol for constitutional governance. The constitution assigns, per amendable component including itself, a metric space, aggregation rule, and supermajority threshold. Amendments proceed by members voting with their ideal elements, followed by members submitting public proposals carrying supermajority public support under the revealed votes. Public proposals can be sourced from deliberation among members, vote aggregation, or AI mediation. The constitutional rule adopts a supported proposal with positive maximal score, if there is one, else retains the status quo. With Constitutional Consensus, a community can run the constitutional governance protocol on members' personal computing devices (e.g., smartphones), achieving digital sovereignty. We focus on the utility of the generalised median, prove that at majority threshold no misreport weakly dominates sincere voting, and study the compromise gap between best peak and unconstrained optimum. We instantiate the framework to seven canonical settings -- electing officers, setting rates, allocating budgets, ranking priorities, selecting boards, drafting bylaws, and amending the constitution. By unifying metric-space aggregation, reality-aware social choice, supermajority amendment, constitutional consensus, deliberative coalition formation, and AI mediation, this work delivers a comprehensive solution to the constitutional governance of digital communities and organisations.

2026-05-13T11:23:34Z Ehud Shapiro Nimrod Talmon http://arxiv.org/abs/2512.22051v2 2026-05-14T12:43:45Z

Consider a social-choice function (SCF) is chosen to decide votes in a formal system, including votes to replace the voting method itself. Agents vote according to their ex-ante belief over what decisions are considered, and whether they prefer them to be decided by the incumbent SCF or the suggested replacement. The existing SCF then aggregates the agents' votes and arrives at a decision of whether it should itself be replaced. An SCF is self-maintaining if it can not be replaced in such fashion by any other SCF. Our focus is on the implications of self-maintenance for centralization. For this purpose, unlike [Barbera and Jackson, 2004], we do not generally restrict attention to anonymous SCFs. We also do not restrict attention to neutral SCFs, unlike [Koray, 2000]. We present results considering optimistic, pessimistic and i.i.d. approaches with respect to agent beliefs, different tie-breaking rules, and different SCF domains. To highlight two of the results, (i) for the i.i.d. unbiased case with arbitrary tie-breaking and general Boolean functions, we prove an Arrow-Style Theorem for Dynamics: We show that only a dictatorship is self-maintaining, and any other SCF has a path of changes that arrives at a dictatorship. (ii) With a pessimistic approach, tie-breaking that prefers the status quo, and WMGs, we provide a tight characterization of the self-maintaining rules, which are exactly all games with minimal winning coalitions of size at most 2. We then consider two extensions, (i) forward-looking voters, (ii) Where the voter utility depends on wisdom of the crowd effects. In both cases, less centralized SCFs become self-maintaining. All in all we provide a basic framework and body of results for centralization dynamics and stability, applicable for institution design, especially in formal De-Jure systems, such as Blockchain Decentralized Autonomous Organizations (DAOs).

2025-12-26T15:02:32Z Yotam Gafni http://arxiv.org/abs/2604.10638v2 2026-05-14T10:15:47Z

On platforms where time-to-contract is itself payoff-relevant--Aalsmeer's flower auctions, ride-hailing dispatch, on-demand-labor matching--the textbook revenue equivalence between Dutch and first-price formats holds the trading outcome fixed. Once participation is endogenous and both sides bear waiting costs, the trading format directly shapes who enters, market thickness, volume, and platform revenue. The platform's ranking of the descending clock against immediate and batched posted-price benchmarks is decided by two estimable primitives on each side of the market: an earnings gap and a timing gap. A bidirectional four-case classification identifies when the descending clock dominates at every level of waiting costs, only above a floor, only below a ceiling, or not at all; the last case is unconditional -- when the descending clock charges no more per trade and contracts no faster than the posted-price benchmark, it cannot win. No format admits a universal ranking. The local verdict propagates through endogenous entry, and cross-side complementarity amplifies shared local advantages into joint dominance. A conditional revenue theorem converts entry and volume gains into a platform-revenue ranking. In calibrated parameterizations the revenue-ranking switching boundary lies near $p_0/\bar v\approx 1$, inside the empirical range for ride-hailing platforms. A measurement protocol provides explicit nonparametric estimators for the six reduced-form objects and a test statistic for the dominance condition, and a Lean~4 formalization audits the algebraic and order-theoretic content. In markets where goods or services cannot wait, the speed of the trading mechanism is a primitive of market design.

2026-04-12T13:30:55Z Substantially revised. Paper reframed as a trading-format design framework with a bidirectional four-case classifier identifying when each mechanism wins. Batch and revenue results conditional; Lean 4 audit covers algebraic content with Brouwer step the single gap. Code: github.com/vferraz/dutch-auctions-matching-markets. App: vferraz.github.io/dutch-auctions-matching-markets Thomas Pitz Vinicius Ferraz http://arxiv.org/abs/2605.14485v1 2026-05-14T07:25:52Z

We study a model in which shocks propagate along a path chosen by agents embedded in a network. When a shock hits an agent, the affected agent cancels one of her outgoing edges. This cancellation cascades sequentially along a chosen path until reaching a terminal agent, resulting in a systemic cost equal to the sum of individual cancellation losses. A liability rule determines agent payments for realized losses, and we seek to implement efficient path selection in the induced sequential-move game. Our main axiomatic result characterizes a family of rules, which set each agent's liability to be proportional to the system's total realized losses with agent weights depending only on the network structure. We propose a way to set such weights based on a simple path-based procedure that assigns equal importance to all non-sink agents along each path and then aggregates these contributions across paths. These weights coincide with the Shapley value of an associated "path-counting" cooperative game and can be computed in polynomial time. A simulation study illustrates the mechanics of our approach.

2026-05-14T07:25:52Z Jens Gudmundsson Jens Leth Hougaard Kohmei Makihara Alexandros Rigos http://arxiv.org/abs/2405.04764v3 2026-05-14T06:14:11Z

We study a dynamic model in which a principal monitors agents based on historical data of infractions. This data informs when and at what intensity to monitor; the monitoring decision, in turn, selects the collected data, shaping the principal's future learning. We analyze this feedback loop using a bandit model in which the underlying monitoring environment evolves according to a hidden Markov process. Because data collection is endogenous, how the principal uses this information is critical: surprisingly, a myopic approach renders historical data completely valueless. By endogenizing the agent's incentives, we demonstrate that the principal's purely informational motive to explore serves as an endogenous commitment device. This inherent drive to gather data compels persistent vigilance, strictly lowering the equilibrium infraction rate and restoring the power of deterrence.

2024-05-08T02:22:12Z Yeon-Koo Che Jinwoo Kim Konrad Mierendorff http://arxiv.org/abs/2509.19019v2 2026-05-13T19:51:37Z

A well-known feature of overlapping generations economies is that the First Welfare Theorem fails and equilibrium may be inefficient. The Cass (1972) criterion furnishes a necessary and sufficient condition for efficiency, but it does not address the existence of efficient equilibria, and Cass, Okuno, and Zilcha (1979) provide nonexistence examples. A closely related question (known as the Hahn (1965) problem) deals with the existence of monetary equilibria. In this paper, I provide sufficient conditions for the existence of optimal monetary equilibria on consumption-loan, non-stationary overlapping generations economies without durable, dividend-paying assets, cash-in-advance constraints, wealth-transfer mechanisms, or transaction costs. Essentially, the economy must be prone to savings. Furthermore, I develop an algorithm to find these optimal monetary equilibria as the limit of nested compact sets. These compact sets are the result of a backward calculation through equilibrium equations departing from the set of optimal monetary equilibria of well-behaved tail economies.

2025-09-23T13:58:15Z Journal of Mathematical Economics (2026) Leandro Lyra Braga Dognini 10.1016/j.jmateco.2026.103255 http://arxiv.org/abs/2302.14234v5 2026-05-13T15:43:09Z

We develop a versatile methodology for multidimensional mechanism design that incorporates side information about agents to generate high welfare and high revenue simultaneously. Side information sources include advice from domain experts, predictions from machine learning models, and even the mechanism designer's gut instinct. We design a tunable mechanism that integrates side information with an improved VCG-like mechanism based on weakest types, which are agent types that generate the least welfare. We show that our mechanism, when its side information is of high quality, generates welfare and revenue competitive with the prior-free total social surplus, and its performance decays gracefully as the side information quality decreases. We consider a number of side information formats including distribution-free predictions, predictions that express uncertainty, agent types constrained to low-dimensional subspaces of the ambient type space, and the traditional setting with known priors over agent types. In each setting we design mechanisms based on weakest types and prove performance guarantees.

2023-02-28T01:33:14Z Mathematics of Operations Research Special Issue on Market Design; supersedes the NeurIPS 2023 paper of the same title Maria-Florina Balcan Siddharth Prasad Tuomas Sandholm http://arxiv.org/abs/2510.04698v3 2026-05-13T13:27:40Z

Humans systematically misrepresent probability in a stereotyped inverse-S pattern. It has been documented for decades, but its origin remains unexplained. We propose a Bayesian encoding-decoding account in which probabilities are represented by noisy internal signals and decoded by Bayes-risk minimization. For bounded probability stimuli, we show that distortion decomposes into boundary regression, likelihood repulsion, and prior attraction, yielding a key prediction: the classic inverse-S-shaped weighting pattern implies a U-shaped allocation of encoding precision with greater sensitivity near 0 and 1. Across judgment of relative frequency, lottery pricing, and risky choice, this U-shape is recovered from data without imposing any functional form on the encoding, and our framework outperforms deterministic weighting functions, bounded log-odds models, uniform-encoding Bayesian accounts, and matched efficient-coding models on held-out data. In a new dot probability estimation experiment with bimodal stimulus statistics, the recovered prior tracks the new distribution while the recovered encoding remains U-shaped. Together, these results identify the inverse-S-shaped probability weighting function as the joint product of a stable U-shaped encoding and a flexible prior, integrated by optimal Bayesian decoding.

2025-10-06T11:10:55Z Xin Tong Thi Thu Uyen Hoang Xue-Xin Wei Michael Hahn http://arxiv.org/abs/2506.15310v7 2026-05-13T09:59:47Z

In this paper, I introduce a novel stability axiom for stochastic voting rules, called self-equivalence, by which a society considering whether to replace its voting rule using itself will choose not to do so. I then show that under the unrestricted strict preference domain, the unique voting rule satisfying the democratic principles of anonymity, optimality, monotonicity, and neutrality as well as the stability principle of self-equivalence must assign to every voter equal probability of being a dictator (i.e., uniform random dictatorship). Thus, any society that desires stability and adheres to the aforementioned democratic principles is bound to either employ the uniform random dictatorship or decide whether to change its voting rule using a voting rule other than itself.

2025-06-18T09:39:52Z Héctor Hermida-Rivera http://arxiv.org/abs/2605.13222v1 2026-05-13T09:13:32Z

Strategic crisis analysis needs representations that combine qualitative expert judgement, explicit interdependence, and auditable update rules without requiring fully specified payoffs or probabilities. Scenario Bundle Analysis (SBA), developed by Amos Perlmutter and Reinhard Selten, provides such a starting point, but the original formulation leaves several database, topology, and update interfaces implicit. This paper presents a formal refinement and extension of the original SBA framework, introducing a two-layer architecture that separates a static scenario database from a dynamic scenario tree system. The extended framework incorporates a richer attitude vocabulary: beliefs, desires, intentions, fears, and coalitional commitments, with expectations treated as doxastic attitudes. It also adds a domain/modifier layer for contextual framing, a topology on admissible scenario spaces\index{Scenario space}, typed assessment-state updates, and multi-criteria evaluation. Mathematical definitions are stated with sufficient precision to support computational implementation.

2026-05-13T09:13:32Z 129 pages, 20 figures, 17 tables, 137 references. Preprint; comments welcome Thomas Pitz Vinícius Ferraz http://arxiv.org/abs/2605.13039v1 2026-05-13T05:50:02Z

A principal decides whether to approve an agent based on a noisy signal (e.g., test scores) generated by the agent. High-quality agents can produce high signals on average at lower cost, but the realizations are subject to noise that depends on the screening technology's precision. We uncover a paradoxical "pitfall of precision": when precision is already high, further improvements reduce screening accuracy and lower the principal's welfare. This occurs because greater precision incentivizes strategic signaling from more low-quality agents, outweighing the direct benefit from improved precision. The pitfall of precision also has implications for statistical discrimination: groups with noisier technologies face lower approval rates yet may be favored ex ante -- a reversal of discrimination. We also examine how commitment power helps mitigate the pitfall.

2026-05-13T05:50:02Z Shuhua Si Yangfan Zhou http://arxiv.org/abs/2603.20609v2 2026-05-13T01:01:16Z

Data regulations increasingly enable consumers to switch among market segments, making segmentation an endogenous outcome of strategic interaction. We study a model in which consumers choose segments before a monopolist sets segment-specific prices, and define a segmentation as strategy-proof when no consumer with positive measure can profitably deviate. Our main result provides a complete welfare characterization: in every strategy-proof segmentation, producer surplus is pinned at the uniform monopoly profit, consumer surplus ranges from the uniform monopoly level to the buyer-optimal level, and every consumer is weakly better off. We construct strategy-proof segmentations attaining every feasible outcome in this range. A finite-consumer model microfounds our solution concept, with equilibrium outcomes converging to our characterization as the population grows large.

2026-03-21T02:51:36Z Zhonghong Kuang Sanxi Li Yi Liu Yang Yu http://arxiv.org/abs/2605.12802v1 2026-05-12T22:45:16Z

This paper studies when strategic understanding acquired in one mechanism can be transferred to another. We introduce a framework in which agents' knowledge is represented as a set of payoff comparisons they can make, and use it to formalize what it means to understand that a strategy profile is an equilibrium. We first apply this framework to mechanisms that are strategically equivalent-that is, share the same game form up to relabeling of actions-and show that agents' understanding of equilibrium transfers across such mechanisms once the relevant action correspondences are explained to them. We then define strategic analogy, a weaker notion that allows not only actions but also types to be remapped, and show that understanding of equilibrium transfers across strategically analogous mechanisms once agents recognize how actions and types correspond. Applications include single-item auctions, scoring auctions, and nonlinear pricing with capacity constraints.

2026-05-12T22:45:16Z Joseph Feffer Filip Tokarski http://arxiv.org/abs/2406.14174v6 2026-05-12T18:13:56Z

We study how to optimally segment monopolistic markets with a redistributive objective. We characterize optimal redistributive segmentations and show that they (i) induce the seller to price progressively, i.e., charge richer consumers higher prices than poorer ones, and (ii) may not maximize consumer surplus, instead granting extra profits to the monopolist. We further show that optimal redistributive segmentations are implementable via price-based regulation.

2024-06-20T10:28:16Z Victor Augias Alexis Ghersengorin Daniel M. A. Barreto 10.1145/3670865.3673591 http://arxiv.org/abs/2605.12094v1 2026-05-12T13:12:56Z

We study Bayesian persuasion when the receiver evaluates actions by reward-side Conditional Value-at-Risk (CVaR) rather than expected utility. CVaR preferences break the standard action-based direct-recommendation reduction: merging signals that recommend the same action can change the receiver's tail-risk ranking and destroy incentive compatibility. We show that this failure does not imply intractability in the explicit finite-state model. Each CVaR action value is max-affine in the posterior, and refining recommendations by the active affine piece yields an active-facet revelation principle and an exact polynomial-size linear program. We further identify a representation boundary: listed polyhedral risks remain tractable by the same LP, whereas succinctly represented facet families make exact persuasion NP-hard. Finally, we give a finite-precision approximation scheme for risk preferences determined by finitely many stable posterior statistics.

2026-05-12T13:12:56Z 32 pages, 3 figures Yujing Chen