{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:OFDIGVOIZKHVPYN7HI5RL6BWJ2","short_pith_number":"pith:OFDIGVOI","schema_version":"1.0","canonical_sha256":"71468355c8ca8f57e1bf3a3b15f8364eb7f60a01dc14cdc14c95b696f13f692b","source":{"kind":"arxiv","id":"2605.06721","version":2},"attestation_state":"computed","paper":{"title":"A Simple Method for School Choice Lotteries","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"The ETE reassignment applied to any constrained efficient stable matching produces an ex ante stable school choice lottery that satisfies equal treatment of equals and is not ordinally dominated by any other such lottery.","cross_cats":["econ.TH"],"primary_cat":"cs.GT","authors_text":"Yasunori Okumura","submitted_at":"2026-05-07T07:06:05Z","abstract_excerpt":"This note proposes a simple polynomial-time method for constructing an ex ante stable school-choice lottery satisfying equal treatment of equals (ETE). We show that the ETE reassignment of any constrained efficient stable matching is ex ante stable, satisfies ETE, and is not ordinally dominated by any other ex ante stable lottery. We further show that there exists a constrained efficient stable matching whose ETE reassignment is not ordinally dominated by any ex post stable lottery."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2605.06721","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2026-05-07T07:06:05Z","cross_cats_sorted":["econ.TH"],"title_canon_sha256":"5db407223cee386410c030196075dd55cbc4cdd63a5c74e4b275b7b347644add","abstract_canon_sha256":"efef85699f33d6cd3d889e1939380a6868915ad0c0b106539676e6ce6606d746"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-12T01:09:28.864996Z","signature_b64":"jx5v79M3M2fSUNsU2CagZ8U0b+eiXBY0GRUcTe+BLDD0aN8+wImASD9bQhClOVcjr15/T0zT6eL/dTCvAH6ZBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"71468355c8ca8f57e1bf3a3b15f8364eb7f60a01dc14cdc14c95b696f13f692b","last_reissued_at":"2026-06-12T01:09:28.864573Z","signature_status":"signed_v1","first_computed_at":"2026-06-12T01:09:28.864573Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Simple Method for School Choice Lotteries","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"The ETE reassignment applied to any constrained efficient stable matching produces an ex ante stable school choice lottery that satisfies equal treatment of equals and is not ordinally dominated by any other such lottery.","cross_cats":["econ.TH"],"primary_cat":"cs.GT","authors_text":"Yasunori Okumura","submitted_at":"2026-05-07T07:06:05Z","abstract_excerpt":"This note proposes a simple polynomial-time method for constructing an ex ante stable school-choice lottery satisfying equal treatment of equals (ETE). We show that the ETE reassignment of any constrained efficient stable matching is ex ante stable, satisfies ETE, and is not ordinally dominated by any other ex ante stable lottery. We further show that there exists a constrained efficient stable matching whose ETE reassignment is not ordinally dominated by any ex post stable lottery."},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"The method applies the ETE reassignment to a constrained efficient stable matching and yields a lottery that is not ordinally dominated by any other ex ante stable lottery.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That the ETE reassignment applied to any constrained efficient stable matching produces an ex ante stable lottery satisfying equal treatment of equals without further restrictions on the preference or priority structure.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"A polynomial-time method constructs an ex ante stable school-choice lottery with equal treatment of equals by reassigning from a constrained efficient stable matching, yielding a lottery not ordinally dominated by any other ex ante stable lottery.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"The ETE reassignment applied to any constrained efficient stable matching produces an ex ante stable school choice lottery that satisfies equal treatment of equals and is not ordinally dominated by any other such lottery.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"7b79074310cce3b238f19ce1df074f7f0dd7da753b33c76d27e084412c21a649"},"source":{"id":"2605.06721","kind":"arxiv","version":2},"verdict":{"id":"baefc55a-4717-43a9-8ed7-4c328ba277a3","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-11T00:45:03.720459Z","strongest_claim":"The method applies the ETE reassignment to a constrained efficient stable matching and yields a lottery that is not ordinally dominated by any other ex ante stable lottery.","one_line_summary":"A polynomial-time method constructs an ex ante stable school-choice lottery with equal treatment of equals by reassigning from a constrained efficient stable matching, yielding a lottery not ordinally dominated by any other ex ante stable lottery.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That the ETE reassignment applied to any constrained efficient stable matching produces an ex ante stable lottery satisfying equal treatment of equals without further restrictions on the preference or priority structure.","pith_extraction_headline":"The ETE reassignment applied to any constrained efficient stable matching produces an ex ante stable school choice lottery that satisfies equal treatment of equals and is not ordinally dominated by any other such lottery."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.06721/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"claim_evidence","ran_at":"2026-05-20T13:42:04.660713Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"ai_meta_artifact","ran_at":"2026-05-20T09:35:20.908536Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_title_agreement","ran_at":"2026-05-19T20:01:19.459029Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-19T13:16:54.070522Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"dc8ac573c3994644a85de4766b460cc967eb67ffff0a91aad112260268f6ab3b"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2605.06721","created_at":"2026-06-12T01:09:28.864642+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.06721v2","created_at":"2026-06-12T01:09:28.864642+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.06721","created_at":"2026-06-12T01:09:28.864642+00:00"},{"alias_kind":"pith_short_12","alias_value":"OFDIGVOIZKHV","created_at":"2026-06-12T01:09:28.864642+00:00"},{"alias_kind":"pith_short_16","alias_value":"OFDIGVOIZKHVPYN7","created_at":"2026-06-12T01:09:28.864642+00:00"},{"alias_kind":"pith_short_8","alias_value":"OFDIGVOI","created_at":"2026-06-12T01:09:28.864642+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/OFDIGVOIZKHVPYN7HI5RL6BWJ2","json":"https://pith.science/pith/OFDIGVOIZKHVPYN7HI5RL6BWJ2.json","graph_json":"https://pith.science/api/pith-number/OFDIGVOIZKHVPYN7HI5RL6BWJ2/graph.json","events_json":"https://pith.science/api/pith-number/OFDIGVOIZKHVPYN7HI5RL6BWJ2/events.json","paper":"https://pith.science/paper/OFDIGVOI"},"agent_actions":{"view_html":"https://pith.science/pith/OFDIGVOIZKHVPYN7HI5RL6BWJ2","download_json":"https://pith.science/pith/OFDIGVOIZKHVPYN7HI5RL6BWJ2.json","view_paper":"https://pith.science/paper/OFDIGVOI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.06721&json=true","fetch_graph":"https://pith.science/api/pith-number/OFDIGVOIZKHVPYN7HI5RL6BWJ2/graph.json","fetch_events":"https://pith.science/api/pith-number/OFDIGVOIZKHVPYN7HI5RL6BWJ2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OFDIGVOIZKHVPYN7HI5RL6BWJ2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OFDIGVOIZKHVPYN7HI5RL6BWJ2/action/storage_attestation","attest_author":"https://pith.science/pith/OFDIGVOIZKHVPYN7HI5RL6BWJ2/action/author_attestation","sign_citation":"https://pith.science/pith/OFDIGVOIZKHVPYN7HI5RL6BWJ2/action/citation_signature","submit_replication":"https://pith.science/pith/OFDIGVOIZKHVPYN7HI5RL6BWJ2/action/replication_record"}},"created_at":"2026-06-12T01:09:28.864642+00:00","updated_at":"2026-06-12T01:09:28.864642+00:00"}