arXiv AI

Pushing the Frontier on Approximate EFX Allocations

arXiv:2406. 12413v3 Announce Type: replace-cross Abstract: We study the problem of allocating a set of indivisible goods to a set of agents with additive valuation functions, aiming to achieve approximate envy-freeness up to any good ($\alpha$-EFX).

arXiv AI
Aug 28

Simultaneous Envy and Equitability Guarantees

The paper investigates the compatibility of envy-freeness and equitability in fair division, focusing on both indivisible goods and chores. It shows that the relaxed notions EF1+EQ1 may not exist even for normalized additive valuations, but provides an algorithm that finds an EF1+EQ1 allocation for up to seven agents with binary goods. For chores, the authors prove that a stronger EFX+EQX guarantee always exists, regardless of normalization, and they also explore cross-notion ex‑ante and ex‑post fairness guarantees.

By Hadi Hosseini, Shraddha Pathak, Lirong Xia, Chengkai Zhang
arXiv AI
Jul 28

Formalizing Flag Algebras in Lean

arXiv:2607. 23500v1 Announce Type: cross Abstract: Razborov's flag algebra method is a powerful tool for proving asymptotic inequalities in extremal graph theory, often reducing the task to finding a finite certificate by semidefinite programming.

By Gyeongwon Jeong, Seonghun Park, Jihoon Hyun, Sang-il Oum, Hongseok Yang
Hugging Face Trending Papers
Aug 5

Computationally Efficient Collaborative Communication Via Regularity-Based Coarsening

Our results show that the existence of a short high-utility protocol already suffices for efficient communication. In particular, in a game with $n$ possible observations and $m$ actions: (1) For any achievable target utility $α$, we give an algorithm with $\mathrm{poly}(n, m, 1/ε)$ runtime that designs a protocol achieving utility at least $α-ε$ using only $2^{\mathcal O(CC_α(G))}/ε^2$ bits of communication.