Decomposition envy-freeness in random assignment

In random assignment, fairness is often captured by stochastic-dominance envy-freeness (SD-EF). We observe that assignments satisfying SD-EF may admit decompositions that result in each agent envying another agent with high probability. To address this, we introduce decomposition envy-freeness (Dec-EF), which is a property of a decomposition rather than of an assignment matrix. We show that an SD-EF assignment matrix always admits a Dec-EF decomposition when there are at most three agents or the agents have at most two distinct preferences.