paper-with-me

Papers

The probability of satisfying axioms: a non-binary perspective on economic design

2025-02-19 · Pierre Bardier

We provide a formal framework accounting for a widespread idea in the theory of economic design: analytically established incompatibilities between given axioms should be qualified by the likelihood of their violation. We define the degree to which rules satisfy an axiom, as well as several axioms, on the basis of a probability measure over the inputs of the rules. Armed with this notion of degree, we propose and characterize i) a criterion to evaluate and compare rules given a set of axioms, allowing the importance of each combination of axioms to differ, and ii) a criterion to measure the compatibility between given axioms, building on a analogy with cooperative game theory.

📄 PDF Abstract BibTeX arXiv:2502.13850

Code (0)

등록된 구현이 없습니다.

Methods 이 논문이 사용한 방법론

SET Dynamic Sparse Training method where weight mask is updated randomly periodically

Similar Papers 제목 키워드 기반

Generalizations of Szpilrajn's Theorem in economic and game theories

2017-08-15

Szpilrajn's Lemma entails that each partial order extends to a linear order. Dushnik and Miller use Szpilrajn's Lemma to show that each partial order has a relizer. Since then, many authors utilize Szpilrajn's Theorem an…

LEMMAVocal Bursts Type Prediction

Towards an Axiomatic Approach to Hierarchical Clustering of Measures

2015-08-15 · Philipp Thomann, Ingo Steinwart, Nico Schmid

We propose some axioms for hierarchical clustering of probability measures and investigate their ramifications. The basic idea is to let the user stipulate the clusters for some elementary measures. This is done without …

Clustering

An extension of May's Theorem to three alternatives: axiomatizing Minimax voting

2023-12-21 · Wesley H. Holliday, Eric Pacuit

May's Theorem [K. O. May, Econometrica 20 (1952) 680-684] characterizes majority voting on two alternatives as the unique preferential voting method satisfying several simple axioms. Here we show that by adding some desi…

From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem

2025-06-08 · Li Jingyuan

This paper presents a comprehensive formalization of the von Neumann-Morgenstern (vNM) expected utility theorem using the Lean 4 interactive theorem prover. We implement the classical axioms of preference-completeness, t…

Management

Anonymous and Strategy-Proof Voting under Subjective Expected Utility Preferences

2024-01-08 · Eric Bahel

We study three axioms in the model of constrained social choice under uncertainty where (i) agents have subjective expected utility preferences over acts and (ii) different states of nature have (possibly) different sets…