---
title: Binary XOS Valuations
url: https://www.emergentmind.com/topics/binary-xos-valuations
type: topic
---

# Binary XOS Valuations

A binary XOS valuation is a set function $v:2^M \rightarrow \mathbb{Z}_+$ on a ground set $M$ of $m$ goods, defined by expressing $v$ as the pointwise maximum over (possibly exponentially many) additive clauses with binary item weights. Binary XOS valuations constitute a broad, complement-free class that generalizes both binary additive and matroid-rank valuations and play a central role in fair division, mechanism design, and complexity analyses of allocation problems. They exhibit strong combinatorial structure—bounded, integral marginals and subadditivity—but notably need not be submodular. This entry surveys definitions, structural properties, placement within valuation hierarchies, mechanism design implications, and algorithmic aspects.

## 1. Formal Definitions and Representation

A set function $v:2^M\to\mathbb{Z}_+$ is a binary XOS valuation if it admits any of the following (equivalent) representations:

- **Clause form:** There exists a family $\mathcal{F}\subseteq 2^M$ such that for every $S\subseteq M$,
  $$
  v(S) = \max_{F\in\mathcal{F}}\,|F\cap S|
  $$
  Each $F\in\mathcal{F}$ is called an additive “clause,” with value given by simple cardinality on intersection with $S$.

- **Additive maximum form:** There is a (possibly exponential-sized) collection of additive functions $\{\ell_{\ell}\}_{\ell=1}^L$ with weights $w_{\ell,j}\in\{0,1\}$ so that for all $S\subseteq M$,
  $$
  v(S) = \max_{1\leq\ell\leq L}\;\sum_{j\in S} w_{\ell,j}
  $$

- **Binary marginals property:** For every $S\subseteq M$ and $g\notin S$,
  $$
  v(S\cup \{g\})\, -\, v(S) \in \{0,1\}
  $$

- **Extractability property:** For every $S\subseteq M$, there exists $X\subseteq S$ with $v(X)=|X|=v(S)$.

Each of these explicitly appears and is shown equivalent in [2106.02656] and [2109.05810]. These canonical representations are critical for structural and algorithmic arguments.

## 2. Placement in Valuation Hierarchies

Binary XOS valuations strictly generalize several familiar classes:

| Class                | Definition                                                      | Containment in Binary XOS            |
|----------------------|-----------------------------------------------------------------|--------------------------------------|
| Additive             | $v(S)=\sum_{g\in S}w_g$, $w_g\in\{0,1\}$                        | Special case (one clause per $g:w_g=1$) |
| Matroid-rank         | Submodular, $0$–$1$ marginals; $v(S)$ = matroid rank of $S$     | Special case ($\mathcal{F}$ = independent sets) |
| General XOS          | $v(S)=\max_{\ell}\sum_{j\in S}w_{\ell,j}$, $w_{\ell,j}\ge 0$    | Binary XOS imposes $w_{\ell,j}\in\{0,1\}$ |
| Binary subadditive   | $\forall S,g$: $v(S\cup\{g\})-v(S)\in\{0,1\}$ and subadditive   | Binary XOS is strictly contained     |

Matroid-rank (i.e., binary submodular) valuations are precisely those binary XOS valuations that are submodular; their hereditary structure implies powerful combinatorial properties not shared by all binary XOS functions [2109.05810, 2312.08509].

## 3. Structural Properties

Key structural results include:

- **Nonnegativity and monotonicity:** Immediate from the form as a max of nonnegative, monotonic clauses.
- **Subadditivity:** Holds since XOS (fractionally subadditive) implies $v(A\cup B) \leq v(A)+ v(B)$.
- **Binary marginals:** The value jump on adding any good is $0$ or $1$.
- **Non-wasteful extractability (doubling):** For any $S$, one can find $X\subseteq S$ with $v(X)=|X|=v(S)$; new goods can always be split off efficiently, a property heavily exploited algorithmically [2106.02656].
- **Closure under restriction:** Restricting $v$ to any $X\subseteq M$ (intersecting every clause $F$ with $X$) yields a new binary XOS function.
- **Not closed under union:** Arbitrary unions of binary XOS functions may lose clause structure.
- **Potential exponential clause size:** An arbitrary binary XOS function may need exponentially many clauses in $m$ for explicit representation, in contrast to the polynomial representability of matroid-rank functions via independence oracles.

## 4. Distinction from Matroid-Rank Functions

All matroid-rank valuations (binary, submodular with $0$–$1$ marginals) are binary XOS, but the converse fails: binary XOS functions need not be submodular.

Counterexample: On $M=\{1,2\}$, $v$ with clauses $F_1 = \{1\}, F_2 = \{2\}$ yields $v(\{1\})=v(\{2\})=1$, $v(\{1,2\})=1$, violating submodularity at $(\emptyset,\{1\})$ [2109.05810, 2312.08509].

Matroid-rank functions possess additional hereditary clause structure, enabling strong results such as equality of AnyPrice Share (APS) and Maximin Share (MMS) [2312.08509]. This equality collapses generically in the larger binary XOS class.

## 5. Mechanism Design and Characterization of Truthfulness

For allocation of indivisible goods among agents with binary XOS valuations (without money), a full characterization of truthful (strategy-proof) mechanisms is available [2109.05810]:

- **Gradualness definition:** A non-wasteful deterministic mechanism $f$ is *gradual* if, for every agent $i$, profile $\vec{v}$, and assigned bundle $A_i$:
  - (C₁) For any good $g$, removing $g$ from $v_i$ reduces bundle size by at most $1$.
  - (C₂) For any $X \supseteq A_i$, restricting $v_i$ to $X$ retains the same bundle size.

- **Theorem:** $f$ is truthful if and only if it is gradual.

The proof employs binary marginals to tie value to bundle cardinality, enabling a chain of local operations (removals/restrictions) to bound possible improvements from misreporting. This result extends all matroid-rank–based fair division mechanisms to the entire binary XOS class, provided one can access the requisite (possibly exponential) clause structure.

From a complexity perspective, checking strategy-proofness for arbitrary allocation rules remains coNP-hard even for simpler classes, but this characterization offers a sufficient (syntactic) test for binary XOS if the mechanism is explicit.

## 6. Algorithmic and Complexity Aspects

- **Nash Social Welfare (NSW):** For $n$ agents with binary XOS valuations, a polynomial-time constant-factor (specifically, $1/288$) approximation algorithm for maximizing NSW is available in the value-oracle model [2106.02656]. The allocation simultaneously provides $O(1)$-approximation to total welfare and groupwise maximin share (GMMS), using only non-wasteful bundles and “doubling” to find value-extracting subsets.

- **APX-hardness:** Exact NSW maximization is APX-hard for binary XOS, even with identical valuations, and stronger (polynomial-factor) approximations are impossible unless P=NP.

- **Fairness metrics:**
  - **APS vs. MMS:** In the matroid-rank (i.e., binary submodular) case, APS = MMS and both can be maximized efficiently [2312.08509]. For general binary XOS, $MMS \leq APS \leq 2 \cdot MMS + 1$, and there exist instances achieving APS arbitrarily close to $2\cdot MMS$ [2312.08509].
  - **APS approximation:** No approximation better than $1/2$ is possible, and a $0.1222$-APS allocation can be computed in polynomial time using a reduction to hereditary set systems [2312.08509].
  - **AnyPrice Share (APS) under asymmetric entitlements:** For asymmetric agents, a $1/2$-APS guarantee is best-possible and can be obtained in polynomial time, closing a previous gap for general XOS [2601.09299].
  - **Weighted maximin share:** A $1/n$-WMMS allocation always exists for binary XOS; this is tight, in contrast to the binary additive case where exact WMMS allocation is possible in polynomial time [2601.09299].

- **Representation and query access:** Efficient algorithms often rely on value-oracle access due to potentially exponential clauses; explicit representations are infeasible in general [2109.05810]. The “extractability” property enables subroutine primitives such as extracting non-wasteful bundles of prescribed size in $O(m)$ time given a value oracle [2106.02656].

| Task                                        | Binary XOS Complexity         | Matroid-rank/ Additive       |
|----------------------------------------------|------------------------------|------------------------------|
| NSW approximation (constant factor)          | Poly-time [2106.02656]       | Poly-time, optimal possible  |
| Exact NSW                                   | APX-hard                     | Poly-time (matroid-rank only)|
| APS approx (symmetric/asymmetric)           | $0.1222$ / $1/2$ poly-time   | $1$ (exact), poly-time       |
| WMMS guarantee                              | $1/n$, tight                 | $1/n$, tight                 |
| Explicit representation                     | Exponential (in general)     | Poly-time/compact            |

## 7. Implications and Open Directions

Binary XOS valuations provide a robust, combinatorially tractable framework for complement-free preferences that is strictly more expressive than matroid-rank but remains structurally amenable to constant-factor approximations for Nash welfare and various fairness criteria. The binary marginal property enables strong algorithmic primitives—non-wasteful bundle extraction, doubling, gradualness—that collapse in more general XOS or subadditive settings.

Nevertheless, significant gaps remain between algorithmic upper bounds and existential lower bounds for some metrics (such as APS approximability), and computationally efficient, simple representations remain elusive outside the matroid-rank fragment. Truthfulness characterization via gradualness extends powerful mechanism design paradigms but is only practical for explicit or oracle-represented mechanisms.

Recent work demonstrates that the binary-marginal restriction sharply delineates the frontier of tractability and fairness guarantees in fair allocation—stringent enough to admit strong guarantees, but weak enough to capture essential combinatorial hardness phenomena [2109.05810, 2106.02656, 2312.08509, 2601.09299].

Source: https://www.emergentmind.com/topics/binary-xos-valuations