When Is a Cheap Fairness Edit Safe? Screening Post-Hoc Edits in Two-Sided Matching Markets
Organizations: Department of Computer Science and Engineering, Dibrugarh University Institute of Engineering and Technology, Dibrugarh University, Dibrugarh, Assam, India
Abstract
Two-sided matching systems, such as admissions pipelines, allocate opportunities jointly. Reducing a protected at tribute's influence usually requires encoder retraining. We study a closed-form linear projector that does this at inference time. For markets that stay vertically ordered before and after the edit, we bound the mean welfare change by the edit-induced appeal shift and an explicit remainder. A probabilistic refinement replaces worst-case constants with a data-dependent deviation term. A pre-deployment screen combines a verticality test with a welfare sweep and returns PASS, KILL, or OUT-OF-SCOPE. An exact tier requires every opportunity to rank applicants by appeal, and a graded tier admits near-vertical markets. On 30 held-out synthetic markets, the screen agrees with every pre-specified regime verdict, with no observed false PASS. On 60 exactly vertical markets, no bound is violated, and the probabilistic bound is informative in 69% to 87% of configurations. On 2700 configurations from three realistic markets, which do not reach the exact tier, no plug-in bound expression is violated. A closed-form factorization stays within graded scope in 90% to 100% of instances, whereas two-tower and graph neural network encoders fall outside it in every instance. Architecture choice thus appears to affect whether a post-hoc edit is admissible.
Figures & tables
| Method | Post-hoc | Retargetable | Closed-form | Welfare Bound |
|---|---|---|---|---|
| Concept erasure | Yes | Yes | Partial | No |
| Post-processing fairness | Yes | Yes | Partial | No |
| In-processing fair ranking/recommendation | No | No | No | No |
| Fair matching mechanisms | N/A | N/A | N/A | No (mechanism only) |
| This work | Yes | Yes | Yes | Yes (conditional) |
| Regime (reference) | Screening-rule verdict | ||
|---|---|---|---|
| PASS | KILL | OUT | |
| LM-HB (PASS) | 10 | 0 | 0 |
| HM-LB (KILL) | 0 | 10 | 0 |
| NV (OUT) | 0 | 0 | 10 |
| Regime | Bound | Mean RHS | Tightness | Informative | Violations |
|---|---|---|---|---|---|
| LM-HB | Theorem 1 | 0/30 | |||
| LM-HB | Theorem 2 | 0/30 | |||
| LM-HB | Proposition 1 | 0/30 | |||
| HM-LB | Theorem 1 | 0/30 | |||
| HM-LB | Theorem 2 | 0/30 | |||
| HM-LB | Proposition 1 | 0/30 |
| Worst-Case | Probabilistic | |||
|---|---|---|---|---|
| Regime | Mean RHS | Tightness | Mean RHS | Tightness |
| LM-HB | 1.79 | |||
| HM-LB | 1.86 | |||
| NV | ||||
| Regime | ||||||
|---|---|---|---|---|---|---|
| LM-HB | 4.90 | 0.21 | 6.11 | 1.35 | 0.02 | 4.71 |
| HM-LB | 5.95 | 2.12 | 1.59 | 0.69 | 0.63 | 2.92 |
| NV | 0.51 | 0.46 | 0.17 | 0.17 | 0.62 |
| Statistic | Value |
|---|---|
| Spearman | 0.779 |
| -value | |
| Grid samples ( ) | 245 |
| Positive-loss samples | 102 |
| Log–log slope | 0.79 |
| 95% CI (slope) |
| Statistic | Value |
|---|---|
| Exact partner-match rate | CI |
| Kendall’s (partner-quality rank) | CI |
| vs. discordance, Spearman | ( ) |
| vs. rank-one share, Spearman | ( ) |
| Comparison | Value | Test statistic |
| Random / structured cost ratio | CI | , rank-biserial |
| Residual gap: one-sided | ||
| Residual gap: one-sided | , effect ( vs. both) | |
| Residual gap: two-sided | ||
| Gap AUC: one-sided | ||
| Gap AUC: one-sided | , effect |
| Dataset | Arch. | Ent. | P2, discordance (range) | Rank-1 share | PASS | OUT | Mean RHS | Prop. 1 RHS | Viol. |
|---|---|---|---|---|---|---|---|---|---|
| Law School | A0 | 0.98 | 0.42 [0.29, 0.59] | 0.99 | 0.00 | 0.10 | 1.05 | 0/300 | |
| Law School | A1 | 0.08 | 0.99 [0.94, 1.00] | 0.99 | 0.00 | 1.00 | 2.04 | 0/300 | |
| Law School | A2 | 0.63 | 1.00 [1.00, 1.00] | 0.87 | 0.00 | 1.00 | 1.71 | 0/300 | |
| ENEM | A0 | 0.96 | 0.27 [0.16, 0.41] | 0.99 | 0.70 | 0.00 | 0.95 | 0/300 | |
| ENEM | A1 | 0.07 | 1.00 [0.93, 1.00] | 0.99 | 0.00 | 1.00 | 1.06 | 0/300 | |
| ENEM | A2 | 0.43 | 1.00 [1.00, 1.00] | 0.82 | 0.00 | 1.00 | 0.81 | 0/300 |
| Method | Gap (%) | Welfare (%) | Verdict | Retrain |
|---|---|---|---|---|
| Ours (with verdict) | 61.1 | 102.4 | Yes | No |
| INLP [ 18 ] | 69.9 | 102.5 | No | No |
| RLACE-style [ 19 ] | 36.5 | 101.7 | No | No |
| Group score standardization [ 10 ] | 97.0 | 101.2 | No | No |
| Reject-option-style [ 14 ] | 5.5 | 98.2 | No | No |
| Method | Gap (%) | Welfare (%) | Verdict | Retrain |
|---|---|---|---|---|
| Ours (with verdict) | 85.6 | 95.0 | Yes | No |
| INLP [ 18 ] | 6.3 | 100.1 | No | No |
| RLACE-style [ 19 ] | 47.1 | 87.8 | No | No |
| Group score standardization [ 10 ] | 98.0 | 96.9 | No | No |
| Reject-option-style [ 14 ] | 25.3 | 99.0 | No | No |
| Claim | Test / Metric | Key Evidence |
|---|---|---|
| Screening accuracy on labeled markets | Wilson 95% CI | 0/20 false PASS among markets with a non-PASS reference verdict; 30/30 verdicts agree with the reference regime verdict; upper 95% bound = 0.161 |
| Scope test detects sign failures | Discordance vs. rank-one share | Rank-one share 0.99 with discordance 0.99 (Law School and ENEM under A1); share 0.10 with discordance 0.47 (Ratings under A0) |
| Entanglement is associated with welfare loss | Spearman, bootstrap | , ; log–log slope (95% CI ) |
| Residual-bound expression (Prop. 1 ) | Violation count; dominance check | No observed violation in 990 synthetic configurations across three regimes and 2700 real-data configurations; dominated the realized shift in every instance |
| No bound violation within the exact scope | Violation count | 0/60 exactly vertical markets violate any evaluated bound; probabilistic bound informative in 68.7% (LM-HB) and 87.3% (HM-LB) of configurations |
| Assortativity tracks discordance | Kendall , Spearman | (95% CI ); with discordance, |
Fair Resource Allocation
Fair resource allocation studies how to distribute scarce goods, services, and computing capacity equitably while accounting for efficiency and constraints.
See all 57 papers