{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:K7XEUUOND6MEGFIJITWGQ745NQ","short_pith_number":"pith:K7XEUUON","canonical_record":{"source":{"id":"1902.06808","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2019-02-18T21:49:03Z","cross_cats_sorted":["cs.DM","math.CO"],"title_canon_sha256":"211a86ae66b36289f6c64b7b0047605322884b7fb02d3cd9f1a71f37ee7a10ef","abstract_canon_sha256":"fdadade85ebb75defd90b8389f667c9832af1498924f8657a503c38a0a78f53d"},"schema_version":"1.0"},"canonical_sha256":"57ee4a51cd1f9843150944ec687f9d6c0cc08fca3fdd3b1fd2f5fc9a3b737afc","source":{"kind":"arxiv","id":"1902.06808","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.06808","created_at":"2026-05-17T23:39:54Z"},{"alias_kind":"arxiv_version","alias_value":"1902.06808v3","created_at":"2026-05-17T23:39:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.06808","created_at":"2026-05-17T23:39:54Z"},{"alias_kind":"pith_short_12","alias_value":"K7XEUUOND6ME","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"K7XEUUOND6MEGFIJ","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"K7XEUUON","created_at":"2026-05-18T12:33:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:K7XEUUOND6MEGFIJITWGQ745NQ","target":"record","payload":{"canonical_record":{"source":{"id":"1902.06808","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2019-02-18T21:49:03Z","cross_cats_sorted":["cs.DM","math.CO"],"title_canon_sha256":"211a86ae66b36289f6c64b7b0047605322884b7fb02d3cd9f1a71f37ee7a10ef","abstract_canon_sha256":"fdadade85ebb75defd90b8389f667c9832af1498924f8657a503c38a0a78f53d"},"schema_version":"1.0"},"canonical_sha256":"57ee4a51cd1f9843150944ec687f9d6c0cc08fca3fdd3b1fd2f5fc9a3b737afc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:54.996979Z","signature_b64":"xdRrXcyUPClW4yTRIIzNCRWWFUehd8EN/fK6fxq5bEFcfND4yOV129tMTODsYkEJ2U1bU4puFResgfrWw5zyBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"57ee4a51cd1f9843150944ec687f9d6c0cc08fca3fdd3b1fd2f5fc9a3b737afc","last_reissued_at":"2026-05-17T23:39:54.996416Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:54.996416Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1902.06808","source_version":3,"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:39:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vnA7OP+hHUkl8r9RV1KL/k8mjMlifOF3iwIa80cQftm6hQxd1amqd+7k08bFFf8Smkp+bJVdazzF7a0n5FsxAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T14:39:02.163545Z"},"content_sha256":"2520db64724a39605cdb3372e87f2eed0b986093f7ff95c1b2802bf200ed70cf","schema_version":"1.0","event_id":"sha256:2520db64724a39605cdb3372e87f2eed0b986093f7ff95c1b2802bf200ed70cf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:K7XEUUOND6MEGFIJITWGQ745NQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Characterizing the Integrality Gap of the Subtour LP for the Circulant Traveling Salesman Problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","math.CO"],"primary_cat":"cs.DS","authors_text":"David P. Williamson, Samuel C. Gutekunst","submitted_at":"2019-02-18T21:49:03Z","abstract_excerpt":"We consider the integrality gap of the subtour LP relaxation of the Traveling Salesman Problem restricted to circulant instances. De Klerk and Dobre conjectured that the value of the optimal solution to the subtour LP on these instances is equal to an entirely combinatorial lower bound from Van der Veen, Van Dal, and Sierksma. We prove this conjecture by giving an explicit optimal solution to the subtour LP. We then use it to show that the integrality gap of the subtour LP is 2 on circulant instances, making such instances one of the few non-trivial classes of TSP instances for which the integ"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.06808","kind":"arxiv","version":3},"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:39:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PwODTVIgaqaiu1PIwqAKpjmvo44QZUJ+9uYLgUOa3qkxnO8vN2sX+IU6cpvN8nS1vbWCgrL6/foYdfIdetdTDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T14:39:02.163890Z"},"content_sha256":"d4ae6f09be1e1ce6b53e259aa0a56d464ffa760e4c0cefafd33aa7e4a973b8b7","schema_version":"1.0","event_id":"sha256:d4ae6f09be1e1ce6b53e259aa0a56d464ffa760e4c0cefafd33aa7e4a973b8b7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K7XEUUOND6MEGFIJITWGQ745NQ/bundle.json","state_url":"https://pith.science/pith/K7XEUUOND6MEGFIJITWGQ745NQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K7XEUUOND6MEGFIJITWGQ745NQ/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-02T14:39:02Z","links":{"resolver":"https://pith.science/pith/K7XEUUOND6MEGFIJITWGQ745NQ","bundle":"https://pith.science/pith/K7XEUUOND6MEGFIJITWGQ745NQ/bundle.json","state":"https://pith.science/pith/K7XEUUOND6MEGFIJITWGQ745NQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K7XEUUOND6MEGFIJITWGQ745NQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:K7XEUUOND6MEGFIJITWGQ745NQ","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":"fdadade85ebb75defd90b8389f667c9832af1498924f8657a503c38a0a78f53d","cross_cats_sorted":["cs.DM","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2019-02-18T21:49:03Z","title_canon_sha256":"211a86ae66b36289f6c64b7b0047605322884b7fb02d3cd9f1a71f37ee7a10ef"},"schema_version":"1.0","source":{"id":"1902.06808","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.06808","created_at":"2026-05-17T23:39:54Z"},{"alias_kind":"arxiv_version","alias_value":"1902.06808v3","created_at":"2026-05-17T23:39:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.06808","created_at":"2026-05-17T23:39:54Z"},{"alias_kind":"pith_short_12","alias_value":"K7XEUUOND6ME","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"K7XEUUOND6MEGFIJ","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"K7XEUUON","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:d4ae6f09be1e1ce6b53e259aa0a56d464ffa760e4c0cefafd33aa7e4a973b8b7","target":"graph","created_at":"2026-05-17T23:39:54Z","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":"We consider the integrality gap of the subtour LP relaxation of the Traveling Salesman Problem restricted to circulant instances. De Klerk and Dobre conjectured that the value of the optimal solution to the subtour LP on these instances is equal to an entirely combinatorial lower bound from Van der Veen, Van Dal, and Sierksma. We prove this conjecture by giving an explicit optimal solution to the subtour LP. We then use it to show that the integrality gap of the subtour LP is 2 on circulant instances, making such instances one of the few non-trivial classes of TSP instances for which the integ","authors_text":"David P. Williamson, Samuel C. Gutekunst","cross_cats":["cs.DM","math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2019-02-18T21:49:03Z","title":"Characterizing the Integrality Gap of the Subtour LP for the Circulant Traveling Salesman Problem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.06808","kind":"arxiv","version":3},"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:2520db64724a39605cdb3372e87f2eed0b986093f7ff95c1b2802bf200ed70cf","target":"record","created_at":"2026-05-17T23:39:54Z","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":"fdadade85ebb75defd90b8389f667c9832af1498924f8657a503c38a0a78f53d","cross_cats_sorted":["cs.DM","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2019-02-18T21:49:03Z","title_canon_sha256":"211a86ae66b36289f6c64b7b0047605322884b7fb02d3cd9f1a71f37ee7a10ef"},"schema_version":"1.0","source":{"id":"1902.06808","kind":"arxiv","version":3}},"canonical_sha256":"57ee4a51cd1f9843150944ec687f9d6c0cc08fca3fdd3b1fd2f5fc9a3b737afc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"57ee4a51cd1f9843150944ec687f9d6c0cc08fca3fdd3b1fd2f5fc9a3b737afc","first_computed_at":"2026-05-17T23:39:54.996416Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:54.996416Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xdRrXcyUPClW4yTRIIzNCRWWFUehd8EN/fK6fxq5bEFcfND4yOV129tMTODsYkEJ2U1bU4puFResgfrWw5zyBA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:54.996979Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.06808","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2520db64724a39605cdb3372e87f2eed0b986093f7ff95c1b2802bf200ed70cf","sha256:d4ae6f09be1e1ce6b53e259aa0a56d464ffa760e4c0cefafd33aa7e4a973b8b7"],"state_sha256":"8d3e6d5ac5b8997f6dabc9d1d8732eb286a45f5a5668430f8e228ef93025dad3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a/BEsLhX+A3fT8Qi0trMtaFsTdoQeW9wXkVWLQgCcV+Atao6NnjMglIy86yRKR/sKzZJyvf9/rDC8N9xAmjmDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T14:39:02.165913Z","bundle_sha256":"319807630e5d00f0eb8e9b7a7f19e20027572ceb7339cfbf6cd92e94048ef3f3"}}