Witness-Certified Fair Division with Comparison Queries
We study fair division of indivisible goods when agents'valuations are accessed only through ordinal comparisons between bundles, with arbitrary tie-breaking. In this model, even deciding whether a given allocation is envy-free up to one good (EF1) can be impossible. This suggests explicit fairness certificates as a na...