{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:EK2MSC3L7DUKX7KVVETCTQ6ND3","short_pith_number":"pith:EK2MSC3L","canonical_record":{"source":{"id":"2511.05045","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-11-07T07:30:53Z","cross_cats_sorted":[],"title_canon_sha256":"91a409c8457d0a0faad4d96b1c632453aa5b7932b831aff204308868e6226f45","abstract_canon_sha256":"887ace289172c4fee1e65f99917cc42da0f6c4dfa3c324792699c03b1c1f1a43"},"schema_version":"1.0"},"canonical_sha256":"22b4c90b6bf8e8abfd55a92629c3cd1ee2cdf6df83963d3583399a5d36df839a","source":{"kind":"arxiv","id":"2511.05045","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2511.05045","created_at":"2026-06-23T03:13:51Z"},{"alias_kind":"arxiv_version","alias_value":"2511.05045v2","created_at":"2026-06-23T03:13:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2511.05045","created_at":"2026-06-23T03:13:51Z"},{"alias_kind":"pith_short_12","alias_value":"EK2MSC3L7DUK","created_at":"2026-06-23T03:13:51Z"},{"alias_kind":"pith_short_16","alias_value":"EK2MSC3L7DUKX7KV","created_at":"2026-06-23T03:13:51Z"},{"alias_kind":"pith_short_8","alias_value":"EK2MSC3L","created_at":"2026-06-23T03:13:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:EK2MSC3L7DUKX7KVVETCTQ6ND3","target":"record","payload":{"canonical_record":{"source":{"id":"2511.05045","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-11-07T07:30:53Z","cross_cats_sorted":[],"title_canon_sha256":"91a409c8457d0a0faad4d96b1c632453aa5b7932b831aff204308868e6226f45","abstract_canon_sha256":"887ace289172c4fee1e65f99917cc42da0f6c4dfa3c324792699c03b1c1f1a43"},"schema_version":"1.0"},"canonical_sha256":"22b4c90b6bf8e8abfd55a92629c3cd1ee2cdf6df83963d3583399a5d36df839a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-23T03:13:51.081189Z","signature_b64":"H9eI2YVcrkwx0cjUtfL5836cO+CxFHD+pJF6gFfSzqsu9dZD6WGPszPwmQipfeJZC5oOX5vTP8gzv2Gzz52oAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"22b4c90b6bf8e8abfd55a92629c3cd1ee2cdf6df83963d3583399a5d36df839a","last_reissued_at":"2026-06-23T03:13:51.080629Z","signature_status":"signed_v1","first_computed_at":"2026-06-23T03:13:51.080629Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2511.05045","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-06-23T03:13:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"liuGvTseqhr9sLyQikGNoTBHBNv6bopcWvz+mwqY1wdV6LQimUgfWOD/klBmr33ZBwOpBfexikwC52+Q1cGkDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T08:17:26.102077Z"},"content_sha256":"8d94450bcfc088a6cf93a30a4ca14cb107dfa60edde1c5a3252c9c06768b18e7","schema_version":"1.0","event_id":"sha256:8d94450bcfc088a6cf93a30a4ca14cb107dfa60edde1c5a3252c9c06768b18e7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:EK2MSC3L7DUKX7KVVETCTQ6ND3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Cloven Traveling Salesman: Cycle Covers and the Integrality Gap of Small ATSP Instances","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Alessandro Sosso, Ambrogio Maria Bernardelli, Stefano Gualandi","submitted_at":"2025-11-07T07:30:53Z","abstract_excerpt":"This work proposes a novel enumeration algorithm for computing the integrality gap of small instances of the subtour elimination formulation for the Asymmetric Traveling Salesman Problem (ATSP).The core idea is to enumerate pairs of cycle covers that can be filtered and mapped to half-integer vertices of the subtour elimination polytope. The two-cycle covers are encoded as lexicographically ordered partitions of $n$ numbers, with an encoding that prevents the generation of several isomorphic vertices. However, since not every cycle cover pair can be mapped to a vertex of the subtour eliminatio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2511.05045","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/2511.05045/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-06-23T03:13:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iIB+qKqqeSSrlTFeFe/2y2tQJkv48Yk3RX2XmrlWO7KaHKWUAurTY8aLM2GGmKpqj+D/GnPR4E73fbF6MuKaDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T08:17:26.102478Z"},"content_sha256":"45553f6a5118f1dbf7f151cc6ab244a840d377d200227a77c5ad3ad1ad31b842","schema_version":"1.0","event_id":"sha256:45553f6a5118f1dbf7f151cc6ab244a840d377d200227a77c5ad3ad1ad31b842"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EK2MSC3L7DUKX7KVVETCTQ6ND3/bundle.json","state_url":"https://pith.science/pith/EK2MSC3L7DUKX7KVVETCTQ6ND3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EK2MSC3L7DUKX7KVVETCTQ6ND3/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-24T08:17:26Z","links":{"resolver":"https://pith.science/pith/EK2MSC3L7DUKX7KVVETCTQ6ND3","bundle":"https://pith.science/pith/EK2MSC3L7DUKX7KVVETCTQ6ND3/bundle.json","state":"https://pith.science/pith/EK2MSC3L7DUKX7KVVETCTQ6ND3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EK2MSC3L7DUKX7KVVETCTQ6ND3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:EK2MSC3L7DUKX7KVVETCTQ6ND3","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":"887ace289172c4fee1e65f99917cc42da0f6c4dfa3c324792699c03b1c1f1a43","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-11-07T07:30:53Z","title_canon_sha256":"91a409c8457d0a0faad4d96b1c632453aa5b7932b831aff204308868e6226f45"},"schema_version":"1.0","source":{"id":"2511.05045","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2511.05045","created_at":"2026-06-23T03:13:51Z"},{"alias_kind":"arxiv_version","alias_value":"2511.05045v2","created_at":"2026-06-23T03:13:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2511.05045","created_at":"2026-06-23T03:13:51Z"},{"alias_kind":"pith_short_12","alias_value":"EK2MSC3L7DUK","created_at":"2026-06-23T03:13:51Z"},{"alias_kind":"pith_short_16","alias_value":"EK2MSC3L7DUKX7KV","created_at":"2026-06-23T03:13:51Z"},{"alias_kind":"pith_short_8","alias_value":"EK2MSC3L","created_at":"2026-06-23T03:13:51Z"}],"graph_snapshots":[{"event_id":"sha256:45553f6a5118f1dbf7f151cc6ab244a840d377d200227a77c5ad3ad1ad31b842","target":"graph","created_at":"2026-06-23T03:13:51Z","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/2511.05045/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This work proposes a novel enumeration algorithm for computing the integrality gap of small instances of the subtour elimination formulation for the Asymmetric Traveling Salesman Problem (ATSP).The core idea is to enumerate pairs of cycle covers that can be filtered and mapped to half-integer vertices of the subtour elimination polytope. The two-cycle covers are encoded as lexicographically ordered partitions of $n$ numbers, with an encoding that prevents the generation of several isomorphic vertices. However, since not every cycle cover pair can be mapped to a vertex of the subtour eliminatio","authors_text":"Alessandro Sosso, Ambrogio Maria Bernardelli, Stefano Gualandi","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-11-07T07:30:53Z","title":"The Cloven Traveling Salesman: Cycle Covers and the Integrality Gap of Small ATSP Instances"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2511.05045","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:8d94450bcfc088a6cf93a30a4ca14cb107dfa60edde1c5a3252c9c06768b18e7","target":"record","created_at":"2026-06-23T03:13:51Z","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":"887ace289172c4fee1e65f99917cc42da0f6c4dfa3c324792699c03b1c1f1a43","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-11-07T07:30:53Z","title_canon_sha256":"91a409c8457d0a0faad4d96b1c632453aa5b7932b831aff204308868e6226f45"},"schema_version":"1.0","source":{"id":"2511.05045","kind":"arxiv","version":2}},"canonical_sha256":"22b4c90b6bf8e8abfd55a92629c3cd1ee2cdf6df83963d3583399a5d36df839a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"22b4c90b6bf8e8abfd55a92629c3cd1ee2cdf6df83963d3583399a5d36df839a","first_computed_at":"2026-06-23T03:13:51.080629Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T03:13:51.080629Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"H9eI2YVcrkwx0cjUtfL5836cO+CxFHD+pJF6gFfSzqsu9dZD6WGPszPwmQipfeJZC5oOX5vTP8gzv2Gzz52oAw==","signature_status":"signed_v1","signed_at":"2026-06-23T03:13:51.081189Z","signed_message":"canonical_sha256_bytes"},"source_id":"2511.05045","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8d94450bcfc088a6cf93a30a4ca14cb107dfa60edde1c5a3252c9c06768b18e7","sha256:45553f6a5118f1dbf7f151cc6ab244a840d377d200227a77c5ad3ad1ad31b842"],"state_sha256":"c7ef2294077d5e6985c0172e5e9f50bccd1134df823c27d7b2b7ec7a920eacac"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T/bbZPX8sivVOJSDOFLxjSANn9RqR/Io1NjJF8sDFpNNvXF8bXQ1n163d0R7nIIWVm47veSAwHC3JiyxoSOACQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T08:17:26.104534Z","bundle_sha256":"91c7dbead2239ac9e9664769c231663c5bf028d6c9ce6e67ca77172fe1e31878"}}