REVIEW 2 major objections 5 minor 1 cited by
Maximin Share Guarantees for Few Agents with Subadditive Valuations
T0 review · 2 major / 5 minor · reviewed 2026-08-08 · deepseek-v4-flash
Pith's one-line read This paper proves that for at most four agents with subadditive valuations, every instance admits an allocation giving each agent at least half her maximin share, and this factor is tight.
desk verdict Tight 1/2-MMS for four subadditive agents is a real result with a genuine but likely repairable gap in the four-agent case analysis. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The technical engine is the Maximum Desired Half of an agent with respect to a cut. Given a partition P = (S_1, ..., S_r) of all goods and a subset C, the agent marks each S_i ∩ C as good if it is worth at least half of v(S_i), and likewise for S_i \ C; the Maximum Desired Half is whichever side, C or its complement, contains more good intersections. Subadditivity guarantees it contains at least half of the bundles, so it gives the proof a set worth at least 1/2 to one agent while leaving other agents' maximin bundles intact. The paper packages this in the $\alpha$-MMS(d) framework, where each agent i partitions goods into d_i bundles and is promised alpha_i times her minimum, a model that subsumes standard MMS, 1-out-of-d MMS, and ($\alpha$, $\beta$)-MMS and is used for the inductive and few-agent arguments.
What would settle it
To test the proof, run the exact four-agent protocol of Lemma 3 on small subadditive instances and check whether every allowed choice of the two sides of the three cuts forces two of the final bundles to overlap; an instance where the without-loss-of-generality reductions conflict would invalidate the proof. For the theorem itself, a counterexample would be a four-agent subadditive instance in which no allocation gives every agent half her maximin share.
Extended reading notes
Core claim
The central discovery is Theorem 1: for subadditive valuations and n <= 4, a 1/2-MMS allocation always exists. The authors establish it by proving the stronger Lemma 3, which gives a 1/2-MMS(3,3,4,4) allocation: with agents asked to partition into 3, 3, 4, and 4 bundles, the protocol builds up to four candidate partial allocations, using maximum-desired-half sets from adaptively chosen cuts, and argues that if the first candidate cannot be completed via a two-agent cut-and-choose lemma, the failure itself produces the structured partial allocations needed for the next candidate; after at most three failures the final allocation is forced. Tightness comes from the 1/2 upper bound of [16]. Additional results include a two-type valuation theorem for arbitrary n, complete characterizations of 1/2-MMS(d) and (1,1/2,1/2)-MMS(d) for three agents, and Theorem 5, a submodular 3-agent instance in which no (2/3 + epsilon)-MMS allocation exists for any epsilon > 0.
Load-bearing premise
The four-agent result depends on the assumption that every 'without loss of generality' choice of sides of the cuts can be made simultaneously while keeping the four candidate bundles pairwise disjoint; if these symmetry choices interact, the proof's case analysis collapses.
Editorial extensions
If this is right
- For every subadditive instance with at most four agents, a 1/2-MMS allocation exists; combined with the matching upper bound of [16], this makes 1/2 the exact approximation factor for four-agent subadditive and XOS instances.
- The four-agent guarantee automatically improves the known few-agent bounds for every class below subadditive, including submodular, XOS, gross-substitutes, and OXS valuations.
- For any number of agents, if every valuation is one of two fixed subadditive functions, a 1/2-MMS allocation exists.
- For three submodular agents, no (2/3 + epsilon)-MMS allocation can be guaranteed for any epsilon > 0, improving the previous upper bound of 3/4.
- The complete three-agent characterizations of 1/2-MMS(d) and (1,1/2,1/2)-MMS(d) delimit exactly when such thresholded allocations exist under any choice of partition sizes d.
Reading between the lines
- If the proof's without-loss-of-generality reductions in Lemma 3 compose as written, the same maximum-desired-half machinery is a plausible route toward a constant-factor MMS guarantee for more than four agents; the paper does not claim this, and the open question remains.
- The fact that four-agent subadditive instances already hit the 1/2 barrier suggests that any asymptotic improvement for general n would have to start with n at least 5 and might require a genuinely different idea than cut-and-choose over maximin bundles.
- A direct computational check of Lemma 3, enumerating small subadditive instances to see whether the candidate allocations can always be made disjoint, would certify or break the fragile symmetry step in the proof; this is not something the paper does.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies approximate maximin share (MMS) allocations for subadditive valuations. Its main result, Theorem 1, claims that a 1/2-MMS allocation exists for at most four agents with subadditive valuations, and notes that this factor is tight by the upper bound of [16]. The paper also introduces a generalized notion, alpha-MMS(d), develops a technical framework around it, and uses this framework to prove supporting lemmas for two, three, and four agents. Further results include Theorem 2, a 1/2-MMS guarantee when all agents have one of two subadditive valuation functions, two characterization theorems for three agents (Theorems 3 and 4), and Theorem 5, an improved impossibility bound of 2/3 for three agents with submodular valuations.
Significance. If the main theorem is correct, it settles the four-agent subadditive MMS approximation at 1/2 and simultaneously improves the state of the art for XOS and other subclasses. The alpha-MMS(d) model is a useful unifying generalization of several existing MMS variants, and the two characterization theorems for three agents are a strong conceptual contribution. The proofs are constructive, the tightness claims rely on external upper bounds rather than fitted parameters, and there is no circularity or data-dependent selection in the argument. However, as detailed below, the four-agent proof contains an unverified w.l.o.g. reduction that is load-bearing for Theorem 1, and the subadditivity claim in Lemma 8 is not actually proved; these issues are repairable but currently block acceptance.
major comments (2)
- [Section 3.3, Lemma 3] The second-cut w.l.o.g. reduction is not demonstrated. After offering the cut C = S*_2 ∪ R4 to T, the proof assumes without loss of generality that X*_T(C) = X_T(M \ C) and dismisses the case X*_T(C) = X_T(C) in a footnote as 'simpler and can be handled the same way'. This is load-bearing because invariants (2), (3), (4), and (5) all rely on T*_j ⊆ M \ C, giving T*_j ∩ R4 = ∅ and T*_j ∩ S*_2 = ∅. In the omitted branch T*_j ⊆ C, both inclusions fail. Since different agents' MMS partitions can overlap arbitrarily as physical item sets, relabeling bundles such as swapping S*_1 with S*_2 and R3 with R4 requires an explicit verification that all later disjointness claims still hold; the manuscript does not provide that verification.
- [Section 4.1.3, Lemma 8] The assertion that 'Subadditivity is trivially guaranteed' for the constructed valuations is not justified. The valuation is a maximum over three components, and within each component values are assigned by cardinality thresholds and by the B* structure of 4- and 5-element sets. Claim 3 verifies only a monotonicity-type property about complements of B* sets, which is not a proof that v(A) + v(B) ≥ v(A ∪ B) for arbitrary A and B. This lemma is the impossibility construction used for d = (3,3,3) in Theorem 4, so the subadditivity of the valuation functions is essential and needs a complete proof.
minor comments (5)
- [Corollary 4 and Section 3.3] Corollary 4 says 'by Observation 1' but the reduction from Lemma 3 to the 1/2-MMS statement uses Observation 2; the same typo appears in the closing paragraph of Section 3.3.
- [Theorem 4] The final sentence of Theorem 4 says 'there exists an instance with no 1/2-MMS(d) allocation', but the theorem is about (1, 1/2, 1/2)-MMS(d); the statement should be corrected.
- [Lemma 8] The definition of v_R(B) for |B| = 5 uses the expression 1 - v_R(R_i \ B), but the values of singleton sets are not explicitly specified in equation (6); this ambiguity should be removed.
- [Proof of Claim 4, Theorem 5] The submodularity check uses the label 'Case 2' twice, and the line 'v(S) = v(S ∪ {g} = 2/3' has a missing parenthesis; renumber the cases and fix the typo.
- [Figures in Section 3.3] The figure captions say that 'we could construct the same allocation by renaming the bundles', but since bundles from different agents' partitions may overlap in items, 'renaming' is not a free operation unless the w.l.o.g. argument is made explicit; this presentation issue is closely connected to the first major comment.
Circularity Check
No significant circularity: the 1/2-MMS existence proofs are self-contained constructions, and the tightness references are external upper bounds.
full rationale
The paper's main theorem (Theorem 1, via Lemma 3) is a self-contained constructive proof: the candidate allocations are built from the agents' own MMS bundles and the maximum-desired-half definition, and every disjointness invariant (1)-(5) is derived from the cuts rather than assumed from a fitted parameter or a prior result. The alpha-MMS(d) framework is a definition, and Observation 2, which is used to pass from the stronger statements to ordinary 1/2-MMS, is proved directly. The tightness claims rely on the external upper bound of [16], not on any result proved in this paper. The only self-citation, [12], appears in the context of two-agent submodular tightness but is not load-bearing for any theorem here; Theorem 5 proves its own impossibility instance and checks submodularity in Claim 4. The asserted 'w.l.o.g.' cases inside Lemma 3 and the 'trivially guaranteed' subadditivity statement in Lemma 8 are potential proof gaps or exposition shortcuts, but they are not circular: they are omitted case checks, not reductions of a claimed output to an input by definition. No numerical fitting, no data-dependent filtering, and no self-referential benchmark are present. Accordingly, the derivation chain is not circular, and the appropriate score is 0.
Assumptions & free parameters
assumptions (5)
- domain assumption Valuations are monotone, normalized, and scaled so mu^{d_i}_i(M)=1 for every agent.
- domain assumption An agent's MMS-optimal partition into d_i bundles exists; the bundles in it each have value at least 1.
- standard math Subadditivity implies v(S cap C) + v(S \ C) >= v(S), used in Observation 1 and all cut-and-choose arguments.
- standard math Restrictions of subadditive valuations to subsets of items are subadditive, used in Corollary 2 and the induction in Theorem 2.
- ad hoc to paper The step-function valuations defined in Lemma 8 are subadditive.
Cite this review
Pith. "Pith review of Maximin Share Guarantees for Few Agents with Subadditive Valuations." pith.science (2026). https://pith.science/paper/DXE6ANLL
@misc{pith2026250205141,
author = {Pith},
title = {Pith review of: Maximin Share Guarantees for Few Agents with Subadditive Valuations},
year = {2026},
howpublished = {\url{https://pith.science/paper/DXE6ANLL}},
note = {Machine review of arXiv:2502.05141}
}
abstract
We study the problem of fairly allocating a set of indivisible items among a set of agents. We consider the notion of (approximate) maximin share (MMS) and we provide an improved lower bound of $1/2$ (which is tight) for the case of subadditive valuations when the number of agents is at most four. We also provide a tight lower bound for the case of multiple agents, when they are equipped with one of two possible types of valuations. Moreover, we propose a new model that extends previously studied models in the area of fair division, which will hopefully give rise to further research. We demonstrate the usefulness of this model by employing it as a technical tool to derive our main result, and we provide a thorough analysis for this model for the case of three agents. Finally, we provide an improved impossibility result for the case of three submodular agents.
Figures
Figures from the paper (10 more)
Forward citations
Cited by 1 Pith paper
-
From multi-allocations to allocations, with subadditive valuations
A d-multi-allocation with subadditive valuations can be converted to an allocation losing only a factor of about d, yielding an Omega(1/log log n)-MMS guarantee.
Reference graph
Works this paper leans on
-
[16]
Fair allocation of indivisible goods: Beyond additive valuatio ns
Mohammad Ghodsi, Mohammad Taghi Hajiaghayi, Masoud Se ddighin, Saeed Seddighin, and Hadi Y ami. Fair allocation of indivisible goods: Beyond additive valuatio ns. Artif. Intell., 303:103633, 2022
work page 2022
-
[1]
Envy-free mat chings in bipartite graphs and their applications to fair division
Elad Aigner-Horev and Erel Segal-Halevi. Envy-free mat chings in bipartite graphs and their applications to fair division. Inf. Sci., 587:164–187, 2022
work page 2022
-
[2]
Breaking the 3/4 barrier for approximate maximin share
Hannaneh Akrami and Jugal Garg. Breaking the 3/4 barrier for approximate maximin share. In SODA, pages 74–91. SIAM, 2024
work page 2024
-
[3]
Simplification and improvement of MMS approximation
Hannaneh Akrami, Jugal Garg, Eklavya Sharma, and Setare h Taki. Simplification and improvement of MMS approximation. In IJCAI, pages 2485–2493. ijcai.org, 2023
work page 2023
-
[4]
Improving approximation guarantees for maximin share
Hannaneh Akrami, Jugal Garg, Eklavya Sharma, and Setare h Taki. Improving approximation guarantees for maximin share. In EC, page 198. ACM, 2024
work page 2024
-
[5]
Randomized and determin- istic maximin-share approximations for fractionally suba dditive valuations
Hannaneh Akrami, Kurt Mehlhorn, Masoud Seddighin, and G olnoosh Shahkarami. Randomized and determin- istic maximin-share approximations for fractionally suba dditive valuations. In NeurIPS, 2023
work page 2023
-
[6]
Georgios Amanatidis, Haris Aziz, Georgios Birmpas, Ari s Filos-Ratsikas, Bo Li, Herv´ e Moulin, Alexandros A. V oudouris, and Xiaowei Wu. Fair division of indivisible goo ds: Recent progress and open questions. Artif. Intell., 322:103965, 2023
work page 2023
-
[7]
Approximation algorithms for computing maximin share allocations
Georgios Amanatidis, Evangelos Markakis, Afshin Nikza d, and Amin Saberi. Approximation algorithms for computing maximin share allocations. ACM Trans. Algorithms, 13(4):52:1–52:28, 2017
work page 2017
Show all 25 references
-
[8]
Com petitive equilibrium with indivisible goods and generic budgets
Moshe Babaioff, Noam Nisan, and Inbal Talgam-Cohen. Com petitive equilibrium with indivisible goods and generic budgets. Math. Oper . Res., 46(1):382–403, 2021. 19
2021
-
[9]
Appro ximation algorithms for maximin fair division
Siddharth Barman and Sanath Kumar Krishnamurthy. Appro ximation algorithms for maximin fair division. ACM Trans. Economics and Comput., 8(1):5:1–5:28, 2020
2020
-
[10]
The combinatorial assignment problem: Ap proximate competitive equilibrium from equal incomes
Eric Budish. The combinatorial assignment problem: Ap proximate competitive equilibrium from equal incomes. Journal of Political Economy, 119(6):1061–1103, 2011
2011
-
[11]
1/2-approximate MMS allocation for separable piecewise linear concave valuations
Chandra Chekuri, Pooja Kulkarni, Rucha Kulkarni, and R uta Mehta. 1/2-approximate MMS allocation for separable piecewise linear concave valuations. In AAAI, pages 9590–9597. AAAI Press, 2024
2024
-
[12]
Fai r and truthful allocations under leveled valuations
George Christodoulou and V asilis Christoforidis. Fai r and truthful allocations under leveled valuations. CoRR, abs/2407.05891, 2024
2024 arXiv
-
[13]
Improved maximin fair al location of indivisible items to three agents
Uriel Feige and Alexey Norkin. Improved maximin fair al location of indivisible items to three agents. CoRR, abs/2205.05363, 2022
2022 arXiv
-
[14]
An improved approximation algorithm for maximin shares
Jugal Garg and Setareh Taki. An improved approximation algorithm for maximin shares. Artif. Intell. , 300:103547, 2021
2021
-
[15]
Fair allocation of indivisible goods: Improvement
Mohammad Ghodsi, Mohammad Taghi Hajiaghayi, Masoud Se ddighin, Saeed Seddighin, and Hadi Y ami. Fair allocation of indivisible goods: Improvement. Math. Oper . Res., 46(3):1038–1053, 2021
2021
-
[17]
On maximin shareallocations in matroids
Laurent Gourv` es and J´ erˆ ome Monnot. On maximin shareallocations in matroids. Theor . Comput. Sci., 754:50– 64, 2019
2019
-
[18]
Guaranteeing maximin shares: Some agents left behind
Hadi Hosseini and Andrew Searns. Guaranteeing maximin shares: Some agents left behind. In IJCAI, pages 238–244. ijcai.org, 2021
2021
-
[19]
O rdinal maximin share approximation for goods
Hadi Hosseini, Andrew Searns, and Erel Segal-Halevi. O rdinal maximin share approximation for goods. J. Artif. Intell. Res., 74, 2022
2022
-
[20]
Maximin shares in hereditary set syste ms
Halvard Hummel. Maximin shares in hereditary set syste ms. CoRR, abs/2404.11582, 2024
2024 arXiv
-
[21]
Maximi n share allocations for assignment valuations
Pooja Kulkarni, Rucha Kulkarni, and Ruta Mehta. Maximi n share allocations for assignment valuations. In AAMAS, pages 2875–2876. ACM, 2023
2023
-
[22]
Procaccia, and Junxing Wang
David Kurokawa, Ariel D. Procaccia, and Junxing Wang. F air enough: Guaranteeing approximate maximin shares. J. ACM, 65(2):8:1–8:27, 2018
2018
-
[23]
The fair division of heredi tary set systems
Zhentao Li and Adrian V etta. The fair division of heredi tary set systems. ACM Trans. Economics and Comput. , 9(2):12:1–12:19, 2021
2021
-
[24]
Improved maximi n guarantees for subadditive and fractionally subad- ditive fair allocation problem
Masoud Seddighin and Saeed Seddighin. Improved maximi n guarantees for subadditive and fractionally subad- ditive fair allocation problem. Artif. Intell., 327:104049, 2024
2024
-
[25]
On fair allocation of i ndivisible goods to submodular agents
Gilad Ben Uziahu and Uriel Feige. On fair allocation of i ndivisible goods to submodular agents. CoRR, abs/2303.12444, 2023. 20
2023 arXiv
Reviewed August 8, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.