{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:F3Q3K767OKM73EVISMYRISCYVF","short_pith_number":"pith:F3Q3K767","canonical_record":{"source":{"id":"2604.25308","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.OC","submitted_at":"2026-04-28T07:17:07Z","cross_cats_sorted":[],"title_canon_sha256":"3448dc7a93ff6f1d044e2268ebc05c7f56a4172f1b676f013cdedb21eeb69f42","abstract_canon_sha256":"0eb3d7ca08b175fa114f82e943b956ec23f6237d0d084e8498ae1fc8266cd231"},"schema_version":"1.0"},"canonical_sha256":"2ee1b57fdf7299fd92a89331144858a95f7829c6dd0970350b749e70e1042aea","source":{"kind":"arxiv","id":"2604.25308","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.25308","created_at":"2026-05-28T01:04:40Z"},{"alias_kind":"arxiv_version","alias_value":"2604.25308v2","created_at":"2026-05-28T01:04:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.25308","created_at":"2026-05-28T01:04:40Z"},{"alias_kind":"pith_short_12","alias_value":"F3Q3K767OKM7","created_at":"2026-05-28T01:04:40Z"},{"alias_kind":"pith_short_16","alias_value":"F3Q3K767OKM73EVI","created_at":"2026-05-28T01:04:40Z"},{"alias_kind":"pith_short_8","alias_value":"F3Q3K767","created_at":"2026-05-28T01:04:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:F3Q3K767OKM73EVISMYRISCYVF","target":"record","payload":{"canonical_record":{"source":{"id":"2604.25308","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.OC","submitted_at":"2026-04-28T07:17:07Z","cross_cats_sorted":[],"title_canon_sha256":"3448dc7a93ff6f1d044e2268ebc05c7f56a4172f1b676f013cdedb21eeb69f42","abstract_canon_sha256":"0eb3d7ca08b175fa114f82e943b956ec23f6237d0d084e8498ae1fc8266cd231"},"schema_version":"1.0"},"canonical_sha256":"2ee1b57fdf7299fd92a89331144858a95f7829c6dd0970350b749e70e1042aea","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-28T01:04:40.889356Z","signature_b64":"LDK3nAljuzF+A0g7eoGfnpMx2Ywm8/T3cFRg8Dfy6d0AsOV3YeqXGYLYmcKrnplaf8jA5MFehJsj+PazKmtsCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2ee1b57fdf7299fd92a89331144858a95f7829c6dd0970350b749e70e1042aea","last_reissued_at":"2026-05-28T01:04:40.888817Z","signature_status":"signed_v1","first_computed_at":"2026-05-28T01:04:40.888817Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2604.25308","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-28T01:04:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NuKgG+UWzEbxiCT3Cmhj4g933DlM1Vslj1jJBR7F8uwvWSbfUUj8w6QMVNCSaNDEfi/OD7kA+KZVteLYp6v5AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T12:28:03.072849Z"},"content_sha256":"5a6b896c1775576a767031e1173a3632e9b038a0d30cc620f177176b53b1b801","schema_version":"1.0","event_id":"sha256:5a6b896c1775576a767031e1173a3632e9b038a0d30cc620f177176b53b1b801"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:F3Q3K767OKM73EVISMYRISCYVF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Computing welfare and fairness in allocating identical goods with entitlements and general utility functions","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"A polynomial-time algorithm computes the maximum weighted Rawlsian and Leximin welfare for identical goods under arbitrary increasing agent utilities.","cross_cats":[],"primary_cat":"math.OC","authors_text":"Manouchehr Zaker","submitted_at":"2026-04-28T07:17:07Z","abstract_excerpt":"A number of goods are called identical if they provide the same level of utility to each agent. In various real-world instances of fair division scenarios, identical indivisible items are allocated to consumers and demandants with different entitlements. We assume that the utility of $t$ identical items to each agent $A$ equals $f_A(t)$, where $f_A$ is an arbitrary increasing function corresponding to $A$. We present a polynomial time algorithm that determines the maximum weighted Rawlsian and Leximin welfare for scenarios with identical goods and show that the allocation obtained by the algor"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We present a polynomial time algorithm that determines the maximum weighted Rawlsian and Leximin welfare for scenarios with identical goods and show that the allocation obtained by the algorithm is equitable up to any item (WEQX).","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"We assume that the utility of t identical items to each agent A equals f_A(t), where f_A is an arbitrary increasing function associated with A.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"A polynomial-time algorithm computes maximum weighted Rawlsian and Leximin welfare for identical goods and uses total weighted deficit to achieve equitable allocations with minimal compensation.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"A polynomial-time algorithm computes the maximum weighted Rawlsian and Leximin welfare for identical goods under arbitrary increasing agent utilities.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"fa6244676616d34f1baf79aa8427e81138ef97d278cf0286208a4c43f7e7f160"},"source":{"id":"2604.25308","kind":"arxiv","version":2},"verdict":{"id":"26bc3a28-59c7-4420-9c47-901f8af2ea9d","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-07T15:45:41.842179Z","strongest_claim":"We present a polynomial time algorithm that determines the maximum weighted Rawlsian and Leximin welfare for scenarios with identical goods and show that the allocation obtained by the algorithm is equitable up to any item (WEQX).","one_line_summary":"A polynomial-time algorithm computes maximum weighted Rawlsian and Leximin welfare for identical goods and uses total weighted deficit to achieve equitable allocations with minimal compensation.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"We assume that the utility of t identical items to each agent A equals f_A(t), where f_A is an arbitrary increasing function associated with A.","pith_extraction_headline":"A polynomial-time algorithm computes the maximum weighted Rawlsian and Leximin welfare for identical goods under arbitrary increasing agent utilities."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2604.25308/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"ai_meta_artifact","ran_at":"2026-05-21T05:33:46.081300Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-19T21:13:45.850697Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"3bba0029f697fc2951f8d52352cbc00128f1e4820fb62be617b5128a9bdc3bd7"},"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"},"verdict_id":"26bc3a28-59c7-4420-9c47-901f8af2ea9d"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-28T01:04:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A+xhxbXmHshXJiD8xW+fnhvXxtd5RVNY6LkvniJfmn/lWFhaAmBlWVfRyBjroZNb29yb6q2c1YiPBioQsrlgBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T12:28:03.073355Z"},"content_sha256":"374bea14df583abcfe825f5a2f2b50dc5512167f73342f6015639afd27c5fac5","schema_version":"1.0","event_id":"sha256:374bea14df583abcfe825f5a2f2b50dc5512167f73342f6015639afd27c5fac5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/F3Q3K767OKM73EVISMYRISCYVF/bundle.json","state_url":"https://pith.science/pith/F3Q3K767OKM73EVISMYRISCYVF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/F3Q3K767OKM73EVISMYRISCYVF/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-26T12:28:03Z","links":{"resolver":"https://pith.science/pith/F3Q3K767OKM73EVISMYRISCYVF","bundle":"https://pith.science/pith/F3Q3K767OKM73EVISMYRISCYVF/bundle.json","state":"https://pith.science/pith/F3Q3K767OKM73EVISMYRISCYVF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/F3Q3K767OKM73EVISMYRISCYVF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:F3Q3K767OKM73EVISMYRISCYVF","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"0eb3d7ca08b175fa114f82e943b956ec23f6237d0d084e8498ae1fc8266cd231","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.OC","submitted_at":"2026-04-28T07:17:07Z","title_canon_sha256":"3448dc7a93ff6f1d044e2268ebc05c7f56a4172f1b676f013cdedb21eeb69f42"},"schema_version":"1.0","source":{"id":"2604.25308","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.25308","created_at":"2026-05-28T01:04:40Z"},{"alias_kind":"arxiv_version","alias_value":"2604.25308v2","created_at":"2026-05-28T01:04:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.25308","created_at":"2026-05-28T01:04:40Z"},{"alias_kind":"pith_short_12","alias_value":"F3Q3K767OKM7","created_at":"2026-05-28T01:04:40Z"},{"alias_kind":"pith_short_16","alias_value":"F3Q3K767OKM73EVI","created_at":"2026-05-28T01:04:40Z"},{"alias_kind":"pith_short_8","alias_value":"F3Q3K767","created_at":"2026-05-28T01:04:40Z"}],"graph_snapshots":[{"event_id":"sha256:374bea14df583abcfe825f5a2f2b50dc5512167f73342f6015639afd27c5fac5","target":"graph","created_at":"2026-05-28T01:04:40Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"We present a polynomial time algorithm that determines the maximum weighted Rawlsian and Leximin welfare for scenarios with identical goods and show that the allocation obtained by the algorithm is equitable up to any item (WEQX)."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"We assume that the utility of t identical items to each agent A equals f_A(t), where f_A is an arbitrary increasing function associated with A."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"A polynomial-time algorithm computes maximum weighted Rawlsian and Leximin welfare for identical goods and uses total weighted deficit to achieve equitable allocations with minimal compensation."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"A polynomial-time algorithm computes the maximum weighted Rawlsian and Leximin welfare for identical goods under arbitrary increasing agent utilities."}],"snapshot_sha256":"fa6244676616d34f1baf79aa8427e81138ef97d278cf0286208a4c43f7e7f160"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-21T05:33:46.081300Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T21:13:45.850697Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2604.25308/integrity.json","findings":[],"snapshot_sha256":"3bba0029f697fc2951f8d52352cbc00128f1e4820fb62be617b5128a9bdc3bd7","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A number of goods are called identical if they provide the same level of utility to each agent. In various real-world instances of fair division scenarios, identical indivisible items are allocated to consumers and demandants with different entitlements. We assume that the utility of $t$ identical items to each agent $A$ equals $f_A(t)$, where $f_A$ is an arbitrary increasing function corresponding to $A$. We present a polynomial time algorithm that determines the maximum weighted Rawlsian and Leximin welfare for scenarios with identical goods and show that the allocation obtained by the algor","authors_text":"Manouchehr Zaker","cross_cats":[],"headline":"A polynomial-time algorithm computes the maximum weighted Rawlsian and Leximin welfare for identical goods under arbitrary increasing agent utilities.","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.OC","submitted_at":"2026-04-28T07:17:07Z","title":"Computing welfare and fairness in allocating identical goods with entitlements and general utility functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2604.25308","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-07T15:45:41.842179Z","id":"26bc3a28-59c7-4420-9c47-901f8af2ea9d","model_set":{"reader":"grok-4.3"},"one_line_summary":"A polynomial-time algorithm computes maximum weighted Rawlsian and Leximin welfare for identical goods and uses total weighted deficit to achieve equitable allocations with minimal compensation.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"A polynomial-time algorithm computes the maximum weighted Rawlsian and Leximin welfare for identical goods under arbitrary increasing agent utilities.","strongest_claim":"We present a polynomial time algorithm that determines the maximum weighted Rawlsian and Leximin welfare for scenarios with identical goods and show that the allocation obtained by the algorithm is equitable up to any item (WEQX).","weakest_assumption":"We assume that the utility of t identical items to each agent A equals f_A(t), where f_A is an arbitrary increasing function associated with A."}},"verdict_id":"26bc3a28-59c7-4420-9c47-901f8af2ea9d"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:5a6b896c1775576a767031e1173a3632e9b038a0d30cc620f177176b53b1b801","target":"record","created_at":"2026-05-28T01:04:40Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"0eb3d7ca08b175fa114f82e943b956ec23f6237d0d084e8498ae1fc8266cd231","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.OC","submitted_at":"2026-04-28T07:17:07Z","title_canon_sha256":"3448dc7a93ff6f1d044e2268ebc05c7f56a4172f1b676f013cdedb21eeb69f42"},"schema_version":"1.0","source":{"id":"2604.25308","kind":"arxiv","version":2}},"canonical_sha256":"2ee1b57fdf7299fd92a89331144858a95f7829c6dd0970350b749e70e1042aea","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2ee1b57fdf7299fd92a89331144858a95f7829c6dd0970350b749e70e1042aea","first_computed_at":"2026-05-28T01:04:40.888817Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-28T01:04:40.888817Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LDK3nAljuzF+A0g7eoGfnpMx2Ywm8/T3cFRg8Dfy6d0AsOV3YeqXGYLYmcKrnplaf8jA5MFehJsj+PazKmtsCw==","signature_status":"signed_v1","signed_at":"2026-05-28T01:04:40.889356Z","signed_message":"canonical_sha256_bytes"},"source_id":"2604.25308","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5a6b896c1775576a767031e1173a3632e9b038a0d30cc620f177176b53b1b801","sha256:374bea14df583abcfe825f5a2f2b50dc5512167f73342f6015639afd27c5fac5"],"state_sha256":"532b84454b4ecad0a8ba44138e79d0091c3ffd88604fc056e3cf68f7c9db1060"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jK3gHZ0Az0F+cgAEDA4iYZduxoIt61UgIXClXwmN306KOQ1CCU1EgyHUupkn72pVakIeUtv/cRstD/yYyXkLAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T12:28:03.075765Z","bundle_sha256":"4f0ebfe5467d8b12e59c265874f213d46845b33c859403d34c3b9a5736d44c97"}}