{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:U7DXWYP55OH7EQCDTT6WBLSXE4","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":"67562907ecbe9805b95e102a6b05ecbb682c14d16b89684aa3747119cf32e337","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-04-06T18:35:25Z","title_canon_sha256":"d79f1124d8fa17c0605542227418cea3692f0093d5764283976e863916297ba1"},"schema_version":"1.0","source":{"id":"2504.04577","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.04577","created_at":"2026-07-05T10:45:26Z"},{"alias_kind":"arxiv_version","alias_value":"2504.04577v1","created_at":"2026-07-05T10:45:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.04577","created_at":"2026-07-05T10:45:26Z"},{"alias_kind":"pith_short_12","alias_value":"U7DXWYP55OH7","created_at":"2026-07-05T10:45:26Z"},{"alias_kind":"pith_short_16","alias_value":"U7DXWYP55OH7EQCD","created_at":"2026-07-05T10:45:26Z"},{"alias_kind":"pith_short_8","alias_value":"U7DXWYP5","created_at":"2026-07-05T10:45:26Z"}],"graph_snapshots":[{"event_id":"sha256:db7bf3c2d0758376f7310b1aaca4591279fb3bc84975afde98db5480cda07176","target":"graph","created_at":"2026-07-05T10:45:26Z","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/2504.04577/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce and study Minimum Cut Representability, a framework to solve optimization and feasibility problems over stable matchings by representing them as minimum s-t cut problems on digraphs over rotations. We provide necessary and sufficient conditions on objective functions and feasibility sets for problems to be minimum cut representable. In particular, we define the concepts of first and second order differentials of a function over stable matchings and show that a problem is minimum cut representable if and only if, roughly speaking, the objective function can be expressed solely usin","authors_text":"Ayoub Foussoul, Chengyue He, Yuri Faenza","cross_cats":["cs.DM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-04-06T18:35:25Z","title":"Minimum Cut Representability of Stable Matching Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.04577","kind":"arxiv","version":1},"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:304b7ac24be927f7f29341aadceacf639994e480c218b5e0cae6bd264dcb0364","target":"record","created_at":"2026-07-05T10:45:26Z","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":"67562907ecbe9805b95e102a6b05ecbb682c14d16b89684aa3747119cf32e337","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-04-06T18:35:25Z","title_canon_sha256":"d79f1124d8fa17c0605542227418cea3692f0093d5764283976e863916297ba1"},"schema_version":"1.0","source":{"id":"2504.04577","kind":"arxiv","version":1}},"canonical_sha256":"a7c77b61fdeb8ff240439cfd60ae57271fcf50b3287081e33129a8015e380516","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a7c77b61fdeb8ff240439cfd60ae57271fcf50b3287081e33129a8015e380516","first_computed_at":"2026-07-05T10:45:26.382896Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:45:26.382896Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ejos/nbWBl0NWVIADmZVW+jI0XOyWTKdPc++DaD/URm8WueYnwc7LxJooIKGykX2r9ZVODewDPjWvpZ4suc9Dg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:45:26.383351Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.04577","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:304b7ac24be927f7f29341aadceacf639994e480c218b5e0cae6bd264dcb0364","sha256:db7bf3c2d0758376f7310b1aaca4591279fb3bc84975afde98db5480cda07176"],"state_sha256":"9ec864b73a553faaf02925edb90110588cd06d1a1ad8d304c4efceb3a4c50026"}