Rochet's Cyclic-Monotonicity Characterization

Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz

Palomar Registrypalomar/PALOMAR-2026-10-01-000016Oct 1, 2026econ.THscore 0

For any nonempty report type T, any outcome type X, any real-valued valuation v : T -> X -> Real and allocation f : T -> X, DSIC payments exist exactly when every finite closed walk has nonnegative sum of weights l(s,t) = v(t,f(t)) - v(t,f(s)). The proof constructs payments as the infimum of finite path weights from a fixed anchor. Direct edges establish nonemptiness; a return edge supplies an explicit real lower bound before using the infimum's order properties. The payments are zero at the anchor and satisfy every implementing difference inequality. The characterization also holds for…

SourceRepositoryJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/palomar/PALOMAR-2026-10-01-000016
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-01-000016/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-01-000016/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'