{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:DB2TUOMU2NRBCCIPY62OU2QK7T","short_pith_number":"pith:DB2TUOMU","canonical_record":{"source":{"id":"1812.01426","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-12-04T14:15:17Z","cross_cats_sorted":[],"title_canon_sha256":"aac1adfce5e0b2957684318ef4201066568c7c52993c9fe0a24c928f5afdf0c8","abstract_canon_sha256":"79e57365c3f3f54bcb81f7359c8da993672d65c543bd69f6a2aa23846dd4f199"},"schema_version":"1.0"},"canonical_sha256":"18753a3994d36211090fc7b4ea6a0afcf57c8324d1aac82687b16d38792ab7af","source":{"kind":"arxiv","id":"1812.01426","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.01426","created_at":"2026-05-17T23:59:12Z"},{"alias_kind":"arxiv_version","alias_value":"1812.01426v1","created_at":"2026-05-17T23:59:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.01426","created_at":"2026-05-17T23:59:12Z"},{"alias_kind":"pith_short_12","alias_value":"DB2TUOMU2NRB","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_16","alias_value":"DB2TUOMU2NRBCCIP","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_8","alias_value":"DB2TUOMU","created_at":"2026-05-18T12:32:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:DB2TUOMU2NRBCCIPY62OU2QK7T","target":"record","payload":{"canonical_record":{"source":{"id":"1812.01426","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-12-04T14:15:17Z","cross_cats_sorted":[],"title_canon_sha256":"aac1adfce5e0b2957684318ef4201066568c7c52993c9fe0a24c928f5afdf0c8","abstract_canon_sha256":"79e57365c3f3f54bcb81f7359c8da993672d65c543bd69f6a2aa23846dd4f199"},"schema_version":"1.0"},"canonical_sha256":"18753a3994d36211090fc7b4ea6a0afcf57c8324d1aac82687b16d38792ab7af","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:59:12.513131Z","signature_b64":"4jGpe0/9+WbGaNzddX+Gi6+IcOKpKmKlBCJR5GbxX3uJv4GeAnm8VJnSQlbRNDHC0NVgsvDd235wlKYPLSeVAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"18753a3994d36211090fc7b4ea6a0afcf57c8324d1aac82687b16d38792ab7af","last_reissued_at":"2026-05-17T23:59:12.512539Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:59:12.512539Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1812.01426","source_version":1,"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-17T23:59:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b4pJ5fOV9SY5aADVErpD8KjJreJXctzXZJkWFecqQouBHUmrmMDyQhAA5Z7IXTT+dEDHoiGvbWLMYa3cAnq6Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T16:25:28.013353Z"},"content_sha256":"b4a33b32619068f3cd93caf57dcc056998051fd84c6c4eee6a4431ffdd7cc9ac","schema_version":"1.0","event_id":"sha256:b4a33b32619068f3cd93caf57dcc056998051fd84c6c4eee6a4431ffdd7cc9ac"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:DB2TUOMU2NRBCCIPY62OU2QK7T","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Combinatorial persistency criteria for multicut and max-cut","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Bjoern Andres, Jan-Hendrik Lange, Paul Swoboda","submitted_at":"2018-12-04T14:15:17Z","abstract_excerpt":"In combinatorial optimization, partial variable assignments are called persistent if they agree with some optimal solution. We propose persistency criteria for the multicut and max-cut problem as well as fast combinatorial routines to verify them. The criteria that we derive are based on mappings that improve feasible multicuts, respectively cuts. Our elementary criteria can be checked enumeratively. The more advanced ones rely on fast algorithms for upper and lower bounds for the respective cut problems and max-flow techniques for auxiliary min-cut problems. Our methods can be used as a prepr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.01426","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-17T23:59:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M/C/pIE7xobXRoyRrrL/mMG3DnatS6Z3aqLMB1+4Zpj+rAaqWCJcyjAYQGyNiqjK03HWaefQ9AKG6igpXefbCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T16:25:28.014022Z"},"content_sha256":"ce394fa951beb943daa076dbe7a0786ea89a8cbcac39444c4232f1b8dd7bd018","schema_version":"1.0","event_id":"sha256:ce394fa951beb943daa076dbe7a0786ea89a8cbcac39444c4232f1b8dd7bd018"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DB2TUOMU2NRBCCIPY62OU2QK7T/bundle.json","state_url":"https://pith.science/pith/DB2TUOMU2NRBCCIPY62OU2QK7T/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DB2TUOMU2NRBCCIPY62OU2QK7T/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-06T16:25:28Z","links":{"resolver":"https://pith.science/pith/DB2TUOMU2NRBCCIPY62OU2QK7T","bundle":"https://pith.science/pith/DB2TUOMU2NRBCCIPY62OU2QK7T/bundle.json","state":"https://pith.science/pith/DB2TUOMU2NRBCCIPY62OU2QK7T/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DB2TUOMU2NRBCCIPY62OU2QK7T/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:DB2TUOMU2NRBCCIPY62OU2QK7T","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":"79e57365c3f3f54bcb81f7359c8da993672d65c543bd69f6a2aa23846dd4f199","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-12-04T14:15:17Z","title_canon_sha256":"aac1adfce5e0b2957684318ef4201066568c7c52993c9fe0a24c928f5afdf0c8"},"schema_version":"1.0","source":{"id":"1812.01426","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.01426","created_at":"2026-05-17T23:59:12Z"},{"alias_kind":"arxiv_version","alias_value":"1812.01426v1","created_at":"2026-05-17T23:59:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.01426","created_at":"2026-05-17T23:59:12Z"},{"alias_kind":"pith_short_12","alias_value":"DB2TUOMU2NRB","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_16","alias_value":"DB2TUOMU2NRBCCIP","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_8","alias_value":"DB2TUOMU","created_at":"2026-05-18T12:32:19Z"}],"graph_snapshots":[{"event_id":"sha256:ce394fa951beb943daa076dbe7a0786ea89a8cbcac39444c4232f1b8dd7bd018","target":"graph","created_at":"2026-05-17T23:59:12Z","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"},"paper":{"abstract_excerpt":"In combinatorial optimization, partial variable assignments are called persistent if they agree with some optimal solution. We propose persistency criteria for the multicut and max-cut problem as well as fast combinatorial routines to verify them. The criteria that we derive are based on mappings that improve feasible multicuts, respectively cuts. Our elementary criteria can be checked enumeratively. The more advanced ones rely on fast algorithms for upper and lower bounds for the respective cut problems and max-flow techniques for auxiliary min-cut problems. Our methods can be used as a prepr","authors_text":"Bjoern Andres, Jan-Hendrik Lange, Paul Swoboda","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-12-04T14:15:17Z","title":"Combinatorial persistency criteria for multicut and max-cut"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.01426","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:b4a33b32619068f3cd93caf57dcc056998051fd84c6c4eee6a4431ffdd7cc9ac","target":"record","created_at":"2026-05-17T23:59:12Z","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":"79e57365c3f3f54bcb81f7359c8da993672d65c543bd69f6a2aa23846dd4f199","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-12-04T14:15:17Z","title_canon_sha256":"aac1adfce5e0b2957684318ef4201066568c7c52993c9fe0a24c928f5afdf0c8"},"schema_version":"1.0","source":{"id":"1812.01426","kind":"arxiv","version":1}},"canonical_sha256":"18753a3994d36211090fc7b4ea6a0afcf57c8324d1aac82687b16d38792ab7af","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"18753a3994d36211090fc7b4ea6a0afcf57c8324d1aac82687b16d38792ab7af","first_computed_at":"2026-05-17T23:59:12.512539Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:59:12.512539Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4jGpe0/9+WbGaNzddX+Gi6+IcOKpKmKlBCJR5GbxX3uJv4GeAnm8VJnSQlbRNDHC0NVgsvDd235wlKYPLSeVAA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:59:12.513131Z","signed_message":"canonical_sha256_bytes"},"source_id":"1812.01426","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b4a33b32619068f3cd93caf57dcc056998051fd84c6c4eee6a4431ffdd7cc9ac","sha256:ce394fa951beb943daa076dbe7a0786ea89a8cbcac39444c4232f1b8dd7bd018"],"state_sha256":"58d1a0bb197a57311e56591c428aa0923c2059b79a9b22e09f09258ee32b0c70"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J6WJi8y7G/2gMyHlcZRP9QEEBJ99s+MHvqF3N6nNqhNOAYqOP1ofEzH87vmZfs1SKKzYwdAfBohWKAZIsKaeBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T16:25:28.017276Z","bundle_sha256":"9b4591957083c61ffcbf5aea94be46b22324211df82a543829f1d781e010d8e5"}}