Axiomatic Characterizations of Draft Rules

Ivan Balbuzanov; Jacob Coreno

REVIEW 1 major objections 2 minor 4 references

Axiomatic Characterizations of Draft Rules

T0 review · 1 major / 2 minor · reviewed 2026-05-24 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗

Pith's one-line read Draft rules are the only allocation procedures that respect a priority order, are envy-free up to one object, non-wasteful, and resource monotonic.

desk verdict The paper gives a four-axiom characterization of draft rules plus two strategy-proofness impossibilities, but the uniqueness result is tied to pairwise bundle comparison. read the letter →

arxiv 2204.08300 v7 submitted 2022-04-18 econ.TH

Jacob Coreno , Ivan Balbuzanov This is my paper

classification econ.TH

keywords draftrulesaxiomaticcharacterizationenvy-freeuptooneobjectresourcemonotonicitypriorityrespectindivisibleallocationstrategy-proofnesssportsleaguedrafts

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper establishes that draft rules, which assign indivisible objects through sequential rounds following a fixed priority among agents, are exactly the rules meeting four axioms. These axioms ensure the priority is honored, no agent envies another's bundle except possibly for one object, nothing is left unallocated when it could be, and everyone benefits or stays the same when extra objects become available. This matters for applications like sports league drafts, where the axioms encode competitive balance without requiring full strategy-proofness. The authors also prove that the two balance axioms cannot hold together with ordinary strategy-proofness, though drafts meet a maxmin version of it, and they extend the characterization to cases where agents can reject some objects.

What carries the argument

The draft rule: a sequential round-robin procedure that assigns one object at a time according to a fixed priority order over agents.

What would settle it

An allocation rule that meets RP, EF1, NW, and RM but fails to be a draft rule, or a draft rule that violates one of those four axioms on some preference profile.

Watch

Extended reading notes

Core claim

Draft rules are the only allocation rules that are respectful of a priority (RP), envy-free up to one object (EF1), non-wasteful (NW), and resource monotonic (RM). Agents report ordinal preferences over objects, and bundles are compared by pairwise dominance. Two impossibility theorems show that RP and EF1 together are incompatible with strategy-proofness in general. Draft rules nonetheless satisfy maxmin strategy-proofness. When agents can declare objects unacceptable, the same four axioms plus individual rationality and truncation invariance continue to characterize draft rules uniquely.

Load-bearing premise

Agents state only ordinal rankings over single objects, and one bundle is ranked above another only when it contains every object of the other plus at least one more.

Editorial extensions

If this is right

Allocations produced by draft rules will respect any given priority order while keeping envy limited to a single object.
When the set of available objects grows, every agent receives a weakly preferred bundle under the rule.
Draft rules remain non-wasteful: an object is left unassigned only if no agent finds it acceptable.
The two competitive-balance axioms RP and EF1 cannot be achieved together with full strategy-proofness, though drafts satisfy the weaker maxmin strategy-proofness property.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The characterization suggests that similar sequential procedures could isolate fair rules in other indivisible-object settings such as course seats or housing assignments.
If agents instead report full rankings over bundles rather than pairwise comparisons, the uniqueness result may require additional axioms.
The maxmin strategy-proofness of drafts offers a practical compromise when full incentive compatibility is impossible alongside the balance axioms.
Resource monotonicity implies that expanding the object pool never harms any participant, which could guide policy when new items become available.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The main contribution is a characterization: draft rules are the only allocation rules that satisfy respect for priority, EF1, non-wastefulness, and resource monotonicity. They also show that RP and EF1 are incompatible with strategy-proofness in general, though draft rules meet a maxmin version of it. When some objects can be unacceptable, the same four axioms plus individual rationality and truncation invariance pin down the rules again. This is the first time these four axioms have been shown to isolate draft procedures exactly, and the link to competitive balance in sports is direct and useful. The modeling choices line up with standard indivisible-goods settings, and the impossibility results are clean extensions of the characterization work. The proofs are not visible in the abstract, but the statements are internally consistent and build on existing axioms without circularity or free parameters. The soft spot is the bundle ordering. The paper uses pairwise comparison to rank bundles, and the uniqueness direction depends on that choice. A different extension, such as responsive or lexicographic, could let other rules satisfy the four axioms, so the result does not automatically travel outside this domain. The abstract states the domain clearly, so there is no overclaim, but the limitation is real and worth noting in a review. The paper is aimed at people working on priority-based allocation and sports-league design. A reader who follows axiomatic work on sequential procedures will get value from the precise characterization and the strategy-proofness results. It is solid enough and sufficiently grounded to deserve a serious referee.

Referee Report

1 major / 2 minor

Summary. The manuscript provides axiomatic characterizations of draft rules, which are sequential round-robin procedures for allocating heterogeneous indivisible objects under a priority order. It claims that draft rules are the only allocation rules satisfying respect for a priority (RP), envy-free up to one object (EF1), non-wasteful (NW), and resource monotonic (RM). It also establishes two impossibility theorems on the incompatibility of RP and EF1 with strategy-proofness (while draft rules satisfy maxmin strategy-proofness) and extends the characterization to the case where agents may find some objects unacceptable by adding individual rationality and truncation invariance.

Significance. If the results hold, the work is significant for supplying a simple, intuitive axiomatic foundation for draft rules that are widely used in practice (e.g., sports leagues) and for linking them directly to competitive-balance properties via RP and EF1. The impossibility results clarify incentive-compatibility trade-offs, and the extension to unacceptable objects broadens the result's applicability. The characterization rests on standard axioms without ad-hoc parameters.

major comments (1)

[Abstract / domain definition] Abstract and domain setup (first paragraph): the uniqueness claim in the characterization (draft rules are the only rules satisfying RP + EF1 + NW + RM) is load-bearing on the specific partial order over bundles induced by pairwise comparison of objects. The paper must either prove robustness of the uniqueness result to alternative bundle extensions (e.g., responsive or lexicographic) or explicitly delimit the domain, because a different extension may admit additional rules satisfying the four axioms and thereby falsify the 'only' direction.

minor comments (2)

The term 'maxmin strategy-proofness' is used in the abstract without a definition or reference; a one-sentence clarification would improve readability.
Consider adding a short table in the introduction that lists the axioms used in each theorem for quick comparison.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the constructive comment on domain definition. We address the point below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [Abstract / domain definition] Abstract and domain setup (first paragraph): the uniqueness claim in the characterization (draft rules are the only rules satisfying RP + EF1 + NW + RM) is load-bearing on the specific partial order over bundles induced by pairwise comparison of objects. The paper must either prove robustness of the uniqueness result to alternative bundle extensions (e.g., responsive or lexicographic) or explicitly delimit the domain, because a different extension may admit additional rules satisfying the four axioms and thereby falsify the 'only' direction.

Authors: We agree that the uniqueness result is tied to the specific partial order over bundles induced by pairwise comparison of objects, as stated in the domain setup. This partial order is the natural one for draft rules (where agents have ordinal preferences over objects). The characterization is intended only for this domain. We will explicitly delimit the domain in the abstract and the opening paragraph of the introduction to remove any ambiguity. We make no claim of robustness to alternative bundle extensions such as responsive or lexicographic preferences, which lie outside the paper's scope. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity; standard axiomatic characterization

full rationale

The paper claims a characterization theorem: draft rules are exactly the rules satisfying RP + EF1 + NW + RM (under the stated ordinal preferences and pairwise bundle comparison). This is a direct equivalence proof between a defined class of procedures and a set of axioms; the axioms are externally standard and the proof direction does not reduce any result to a fitted parameter or self-citation. The domain restriction (pairwise comparison) is an explicit modeling choice, not a hidden self-definition. No load-bearing self-citations, ansatzes, or renamings are indicated in the abstract or reader summary. The result is self-contained against the stated axioms.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

The central claim rests on standard domain assumptions for ordinal preferences and the definitions of RP, EF1, NW, and RM. No free parameters or invented entities appear in the abstract.

assumptions (2)

domain assumption Agents report ordinal preferences over objects
Stated in the abstract as the input to allocation rules.
domain assumption Bundles are partially ordered by pairwise comparison
Mentioned in the abstract as the method for comparing bundles.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Axiomatic Characterizations of Draft Rules." pith.science (2026). https://pith.science/paper/2204.08300

@misc{pith2026220408300,
  author       = {Pith},
  title        = {Pith review of: Axiomatic Characterizations of Draft Rules},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2204.08300}},
  note         = {Machine review of arXiv:2204.08300}
}

read the original abstract

Drafts are sequential round-robin allocation procedures for distributing heterogeneous and indivisible objects among agents subject to some priority order (e.g., allocating players' contract rights to teams in professional sports leagues). Agents report ordinal preferences over objects and bundles are partially ordered by pairwise comparison. We provide a simple characterization of draft rules: they are the only allocation rules that are respectful of a priority (RP), envy-free up to one object (EF1), non-wasteful (NW), and resource monotonic (RM). RP and EF1 are crucial for competitive balance in sports leagues. We also prove two related impossibility theorems showing that the competitive-balance axioms RP and EF1 are generally incompatible with strategy-proofness. Nevertheless, draft rules satisfy maxmin strategy-proofness. If agents may declare some objects unacceptable, then draft rules are characterized by RP, EF1, NW, and RM, in conjunction with individual rationality and truncation invariance.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

4 extracted references · 4 canonical work pages

[1]

School Choice: A Mechanism Design Ap- proach,

Abdulkadiroğlu, A., and T. Sönmez (2003): “School Choice: A Mechanism Design Ap- proach,” American Economic Review , 93, 729–747. Aziz, H., S. Bouveret, J. Lang, and S. Mackenzie (2017): “Complexity of Manipulat- ing Sequential Allocation,” in Proceedings of the AAAI Conference of Artiﬁcial Intelligen ce Volume 31: AAAI Press. Biró, P., F. Klijn, and S. P...

work page doi:10.2139/ssrn.4213510 2003
[2]

Two Axiomatic Approaches to the Probabilistic Serial Mechanis m,

Hashimoto, T., D. Hirata, O. Kesten, M. Kurino, and M. U. Ünver (2014): “Two Axiomatic Approaches to the Probabilistic Serial Mechanis m,” Theoretical Economics, 9, 253–277. Hatfield, J. W. (2009): “Strategy-Proof, Eﬃcient, and Nonbossy Quota Allo cations,” Social Choice and Welfare , 33, 505–515. Heath, T. (2018): “How to Divvy Up the Inheritance—and Kee...

work page 2014
[3]

Alternative Measures of Competitive Balance in Sp orts Leagues,

Humphreys, B. R. (2002): “Alternative Measures of Competitive Balance in Sp orts Leagues,” Journal of Sports Economics , 3, 133–148. Kohler, D. A., and R. Chandrasekaran (1971): “A Class of Sequential Games,” Opera- tions Research, 19, 270–277. 62 Lipton, R. J., E. Markakis, E. Mossel, and A. Saberi (2004): “On Approximately Fair Allocations of Indivisibl...

work page 2002
[4]

Strategyproof Multiple Assignment Using Quotas,

Pápai, S. (2000): “Strategyproof Multiple Assignment Using Quotas, ” Review of Economic Design, 5, 91–105. (2001): “Strategyproof and Nonbossy Multiple Assignments ,” Journal of Public Eco- nomic Theory , 3, 257–271. Roth, A. E. (1985): “The College Admissions Problem Is Not Equivalent t o the Marriage Problem,” Journal of Economic Theory , 36, 277–288. R...

work page 2000

Pith tools

Reviewed May 24, 2026 · model on record in the stance chip above.

[1] [1]

School Choice: A Mechanism Design Ap- proach,

Abdulkadiroğlu, A., and T. Sönmez (2003): “School Choice: A Mechanism Design Ap- proach,” American Economic Review , 93, 729–747. Aziz, H., S. Bouveret, J. Lang, and S. Mackenzie (2017): “Complexity of Manipulat- ing Sequential Allocation,” in Proceedings of the AAAI Conference of Artiﬁcial Intelligen ce Volume 31: AAAI Press. Biró, P., F. Klijn, and S. P...

work page doi:10.2139/ssrn.4213510 2003

[2] [2]

Two Axiomatic Approaches to the Probabilistic Serial Mechanis m,

Hashimoto, T., D. Hirata, O. Kesten, M. Kurino, and M. U. Ünver (2014): “Two Axiomatic Approaches to the Probabilistic Serial Mechanis m,” Theoretical Economics, 9, 253–277. Hatfield, J. W. (2009): “Strategy-Proof, Eﬃcient, and Nonbossy Quota Allo cations,” Social Choice and Welfare , 33, 505–515. Heath, T. (2018): “How to Divvy Up the Inheritance—and Kee...

work page 2014

[3] [3]

Alternative Measures of Competitive Balance in Sp orts Leagues,

Humphreys, B. R. (2002): “Alternative Measures of Competitive Balance in Sp orts Leagues,” Journal of Sports Economics , 3, 133–148. Kohler, D. A., and R. Chandrasekaran (1971): “A Class of Sequential Games,” Opera- tions Research, 19, 270–277. 62 Lipton, R. J., E. Markakis, E. Mossel, and A. Saberi (2004): “On Approximately Fair Allocations of Indivisibl...

work page 2002

[4] [4]

Strategyproof Multiple Assignment Using Quotas,

Pápai, S. (2000): “Strategyproof Multiple Assignment Using Quotas, ” Review of Economic Design, 5, 91–105. (2001): “Strategyproof and Nonbossy Multiple Assignments ,” Journal of Public Eco- nomic Theory , 3, 257–271. Roth, A. E. (1985): “The College Admissions Problem Is Not Equivalent t o the Marriage Problem,” Journal of Economic Theory , 36, 277–288. R...

work page 2000