{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:SFFRBCNZGVKXM2SUAUGOAHHZOF","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":"ad86c397d2c58346225c9ad1e20884cc23a964000cfadcbc13c56bf3cf98b0bc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-01-24T09:47:17Z","title_canon_sha256":"004694087e61cd6e688179b0d58aa498b061ecdab546ecb61830c36ad86eb440"},"schema_version":"1.0","source":{"id":"1701.06784","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.06784","created_at":"2026-05-18T00:39:37Z"},{"alias_kind":"arxiv_version","alias_value":"1701.06784v2","created_at":"2026-05-18T00:39:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.06784","created_at":"2026-05-18T00:39:37Z"},{"alias_kind":"pith_short_12","alias_value":"SFFRBCNZGVKX","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"SFFRBCNZGVKXM2SU","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"SFFRBCNZ","created_at":"2026-05-18T12:31:43Z"}],"graph_snapshots":[{"event_id":"sha256:865fa510276d027badfcbce31e413c9c75816974dfe87e368a50d47ad57e76ae","target":"graph","created_at":"2026-05-18T00:39: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"},"paper":{"abstract_excerpt":"Koml\\'os conjectured in 1981 that among all graphs with minimum degree at least $d$, the complete graph $K_{d+1}$ minimises the number of Hamiltonian subsets, where a subset of vertices is Hamiltonian if it contains a spanning cycle. We prove this conjecture when $d$ is sufficiently large. In fact we prove a stronger result: for large $d$, any graph $G$ with average degree at least $d$ contains almost twice as many Hamiltonian subsets as $K_{d+1}$, unless $G$ is isomorphic to $K_{d+1}$ or a certain other graph which we specify.","authors_text":"Hong Liu, Jaehoon Kim, Katherine Staden, Maryam Sharifzadeh","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-01-24T09:47:17Z","title":"Proof of Koml\\'os's conjecture on Hamiltonian subsets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.06784","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:2ce98c201aadb6064c176c2ab92c5834bd14a4b18a50f281d0c6a704cb356733","target":"record","created_at":"2026-05-18T00:39: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":"ad86c397d2c58346225c9ad1e20884cc23a964000cfadcbc13c56bf3cf98b0bc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-01-24T09:47:17Z","title_canon_sha256":"004694087e61cd6e688179b0d58aa498b061ecdab546ecb61830c36ad86eb440"},"schema_version":"1.0","source":{"id":"1701.06784","kind":"arxiv","version":2}},"canonical_sha256":"914b1089b93555766a54050ce01cf97149e07007fbbbd281ef392bc69b989384","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"914b1089b93555766a54050ce01cf97149e07007fbbbd281ef392bc69b989384","first_computed_at":"2026-05-18T00:39:37.197100Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:39:37.197100Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"y2qopg9toMNY4H8d/VixQyPyYWkIRoXiiJOMqBqBjSaBVL7IQ+G5x6a2b2duI3Nmpz2eXvcSRh4xov7zk2BiDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:39:37.197765Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.06784","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2ce98c201aadb6064c176c2ab92c5834bd14a4b18a50f281d0c6a704cb356733","sha256:865fa510276d027badfcbce31e413c9c75816974dfe87e368a50d47ad57e76ae"],"state_sha256":"37ae0be97062edede19c82c7dfa75f1839e664fbfdf12ffb19eabd6e9f78d3b9"}