{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:SJAH2HYMECOUQ62HSM7FAML7BS","short_pith_number":"pith:SJAH2HYM","canonical_record":{"source":{"id":"2507.14957","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2025-07-20T13:32:12Z","cross_cats_sorted":["cs.AI","cs.DS"],"title_canon_sha256":"58e12aed4cd4f51d73e82dca417dc777c60d34c77cf8d93cf61bab9ec0250d95","abstract_canon_sha256":"8c15f600d53be736361ea88d424d064d9f10ffe77a31286af0fb44e9e40b8a9d"},"schema_version":"1.0"},"canonical_sha256":"92407d1f0c209d487b47933e50317f0cb570e9f723e7ee4dda834bf0409e5336","source":{"kind":"arxiv","id":"2507.14957","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.14957","created_at":"2026-07-05T11:45:37Z"},{"alias_kind":"arxiv_version","alias_value":"2507.14957v2","created_at":"2026-07-05T11:45:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.14957","created_at":"2026-07-05T11:45:37Z"},{"alias_kind":"pith_short_12","alias_value":"SJAH2HYMECOU","created_at":"2026-07-05T11:45:37Z"},{"alias_kind":"pith_short_16","alias_value":"SJAH2HYMECOUQ62H","created_at":"2026-07-05T11:45:37Z"},{"alias_kind":"pith_short_8","alias_value":"SJAH2HYM","created_at":"2026-07-05T11:45:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:SJAH2HYMECOUQ62HSM7FAML7BS","target":"record","payload":{"canonical_record":{"source":{"id":"2507.14957","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2025-07-20T13:32:12Z","cross_cats_sorted":["cs.AI","cs.DS"],"title_canon_sha256":"58e12aed4cd4f51d73e82dca417dc777c60d34c77cf8d93cf61bab9ec0250d95","abstract_canon_sha256":"8c15f600d53be736361ea88d424d064d9f10ffe77a31286af0fb44e9e40b8a9d"},"schema_version":"1.0"},"canonical_sha256":"92407d1f0c209d487b47933e50317f0cb570e9f723e7ee4dda834bf0409e5336","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:45:37.672525Z","signature_b64":"aXGqVt+wBhtq9AMGzBen8dWuRaRS11BuQW6aNcXwq+AGxP0VP43l1S7WlvesHesBEy2QOxmWl5uC6zv2WbFTCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"92407d1f0c209d487b47933e50317f0cb570e9f723e7ee4dda834bf0409e5336","last_reissued_at":"2026-07-05T11:45:37.671979Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:45:37.671979Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.14957","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-07-05T11:45:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B1XuVTffx3DHMGczf5W8VHK+9T6OG3dFAhKg2gFAwDAyII/IjuppfknJNjlmUYpTWjMvnQHIXOF8Yh2nv5UQDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T13:10:29.340048Z"},"content_sha256":"2aac64e8d7a7466caf13a2a81c7c3dfa870825cadd7e6471f2d081060c083458","schema_version":"1.0","event_id":"sha256:2aac64e8d7a7466caf13a2a81c7c3dfa870825cadd7e6471f2d081060c083458"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:SJAH2HYMECOUQ62HSM7FAML7BS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Probing EFX via PMMS: (Non-)Existence Results in Discrete Fair Division","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.DS"],"primary_cat":"cs.GT","authors_text":"Franciszek Malinka, Jaros{\\l}aw Byrka, Tomasz Ponitka","submitted_at":"2025-07-20T13:32:12Z","abstract_excerpt":"We study the fair division of indivisible items and provide new insights into the EFX problem, which is widely regarded as the central open question in fair division, and the PMMS problem, a strictly stronger variant of EFX. Our first result constructs a three-agent instance with two monotone valuations and one additive valuation in which no PMMS allocation exists. Since EFX allocations are known to exist under these assumptions, this establishes a formal separation between EFX and PMMS.\n  We prove existence of fair allocations for three important special cases. We show that EFX allocations ex"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.14957","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2507.14957/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:45:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"945W2YyJ/wckFfvADL2BdFMgm/qnCWONVJtgw3Z3/TBP5ba5Ebpobsf7WOsMOmF0d7Q8x2upyyWGfTyUJDg2BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T13:10:29.340617Z"},"content_sha256":"ad360494f8ffec3225aa93d79f29c8629240dc037223b1fe80e7514d87501c3a","schema_version":"1.0","event_id":"sha256:ad360494f8ffec3225aa93d79f29c8629240dc037223b1fe80e7514d87501c3a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SJAH2HYMECOUQ62HSM7FAML7BS/bundle.json","state_url":"https://pith.science/pith/SJAH2HYMECOUQ62HSM7FAML7BS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SJAH2HYMECOUQ62HSM7FAML7BS/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-08-08T13:10:29Z","links":{"resolver":"https://pith.science/pith/SJAH2HYMECOUQ62HSM7FAML7BS","bundle":"https://pith.science/pith/SJAH2HYMECOUQ62HSM7FAML7BS/bundle.json","state":"https://pith.science/pith/SJAH2HYMECOUQ62HSM7FAML7BS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SJAH2HYMECOUQ62HSM7FAML7BS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:SJAH2HYMECOUQ62HSM7FAML7BS","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":"8c15f600d53be736361ea88d424d064d9f10ffe77a31286af0fb44e9e40b8a9d","cross_cats_sorted":["cs.AI","cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2025-07-20T13:32:12Z","title_canon_sha256":"58e12aed4cd4f51d73e82dca417dc777c60d34c77cf8d93cf61bab9ec0250d95"},"schema_version":"1.0","source":{"id":"2507.14957","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.14957","created_at":"2026-07-05T11:45:37Z"},{"alias_kind":"arxiv_version","alias_value":"2507.14957v2","created_at":"2026-07-05T11:45:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.14957","created_at":"2026-07-05T11:45:37Z"},{"alias_kind":"pith_short_12","alias_value":"SJAH2HYMECOU","created_at":"2026-07-05T11:45:37Z"},{"alias_kind":"pith_short_16","alias_value":"SJAH2HYMECOUQ62H","created_at":"2026-07-05T11:45:37Z"},{"alias_kind":"pith_short_8","alias_value":"SJAH2HYM","created_at":"2026-07-05T11:45:37Z"}],"graph_snapshots":[{"event_id":"sha256:ad360494f8ffec3225aa93d79f29c8629240dc037223b1fe80e7514d87501c3a","target":"graph","created_at":"2026-07-05T11:45:37Z","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":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2507.14957/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study the fair division of indivisible items and provide new insights into the EFX problem, which is widely regarded as the central open question in fair division, and the PMMS problem, a strictly stronger variant of EFX. Our first result constructs a three-agent instance with two monotone valuations and one additive valuation in which no PMMS allocation exists. Since EFX allocations are known to exist under these assumptions, this establishes a formal separation between EFX and PMMS.\n  We prove existence of fair allocations for three important special cases. We show that EFX allocations ex","authors_text":"Franciszek Malinka, Jaros{\\l}aw Byrka, Tomasz Ponitka","cross_cats":["cs.AI","cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2025-07-20T13:32:12Z","title":"Probing EFX via PMMS: (Non-)Existence Results in Discrete Fair Division"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.14957","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:2aac64e8d7a7466caf13a2a81c7c3dfa870825cadd7e6471f2d081060c083458","target":"record","created_at":"2026-07-05T11:45:37Z","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":"8c15f600d53be736361ea88d424d064d9f10ffe77a31286af0fb44e9e40b8a9d","cross_cats_sorted":["cs.AI","cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2025-07-20T13:32:12Z","title_canon_sha256":"58e12aed4cd4f51d73e82dca417dc777c60d34c77cf8d93cf61bab9ec0250d95"},"schema_version":"1.0","source":{"id":"2507.14957","kind":"arxiv","version":2}},"canonical_sha256":"92407d1f0c209d487b47933e50317f0cb570e9f723e7ee4dda834bf0409e5336","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"92407d1f0c209d487b47933e50317f0cb570e9f723e7ee4dda834bf0409e5336","first_computed_at":"2026-07-05T11:45:37.671979Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:45:37.671979Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aXGqVt+wBhtq9AMGzBen8dWuRaRS11BuQW6aNcXwq+AGxP0VP43l1S7WlvesHesBEy2QOxmWl5uC6zv2WbFTCw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:45:37.672525Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.14957","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2aac64e8d7a7466caf13a2a81c7c3dfa870825cadd7e6471f2d081060c083458","sha256:ad360494f8ffec3225aa93d79f29c8629240dc037223b1fe80e7514d87501c3a"],"state_sha256":"6f78e11fc15fa8b0f65030006736cd2f2c05ae6a94ecaa95aad66d5d3d859121"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BMZspvp97Kc53GYnswpX9B6YS2GXNEwFIu6agQeQncx5/LQfu+Dj6eu3mKYuTOa1J4jKleM9BasbTnZDI94DDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T13:10:29.345231Z","bundle_sha256":"5c12cd2a1f5c6caabc070f7dd127d8d798173881bd079575980b6552150cfcd7"}}