{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:MJ5QEDKOAQ6MVB7GX2HWD6MU7X","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":"10511634c7bab4c82616b4857667bfc889443604149ec8f326cf5bd68b88ac20","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2011-03-23T13:50:20Z","title_canon_sha256":"d725e9587f4577a8a8308917bfda556e3c63ac506dffb6ba60118f8783156a8b"},"schema_version":"1.0","source":{"id":"1103.4518","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1103.4518","created_at":"2026-05-18T04:26:01Z"},{"alias_kind":"arxiv_version","alias_value":"1103.4518v1","created_at":"2026-05-18T04:26:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1103.4518","created_at":"2026-05-18T04:26:01Z"},{"alias_kind":"pith_short_12","alias_value":"MJ5QEDKOAQ6M","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_16","alias_value":"MJ5QEDKOAQ6MVB7G","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_8","alias_value":"MJ5QEDKO","created_at":"2026-05-18T12:26:34Z"}],"graph_snapshots":[{"event_id":"sha256:c943b7de4f8451ba46af9c0ad3123584d078fb18d0a24efc16f4f9914e9523e5","target":"graph","created_at":"2026-05-18T04:26:01Z","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 1934, Reinhardt asked for the centrally symmetric convex domain in the plane whose best lattice packing has the lowest density. He conjectured that the unique solution up to an affine transformation is the smoothed octagon (an octagon rounded at corners by arcs of hyperbolas). This article offers a detailed strategy of proof. In particular, we show that the problem is an instance of the classical problem of Bolza in the calculus of variations. A minimizing solution is known to exist. The boundary of every minimizer is a differentiable curve with Lipschitz continuous derivative. If a minimiz","authors_text":"Thomas C. Hales","cross_cats":["math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2011-03-23T13:50:20Z","title":"On the Reinhardt Conjecture"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1103.4518","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:e6383858b1a81b6bb31aa485ffcc0ed75888889fbc723d1e0acace3f03c9976b","target":"record","created_at":"2026-05-18T04:26:01Z","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":"10511634c7bab4c82616b4857667bfc889443604149ec8f326cf5bd68b88ac20","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2011-03-23T13:50:20Z","title_canon_sha256":"d725e9587f4577a8a8308917bfda556e3c63ac506dffb6ba60118f8783156a8b"},"schema_version":"1.0","source":{"id":"1103.4518","kind":"arxiv","version":1}},"canonical_sha256":"627b020d4e043cca87e6be8f61f994fdff30a3d8f9c38d4ebe2fbc373f2f4be5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"627b020d4e043cca87e6be8f61f994fdff30a3d8f9c38d4ebe2fbc373f2f4be5","first_computed_at":"2026-05-18T04:26:01.868535Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:26:01.868535Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KrPRgDeHgOCJtdDtwZsLponE13e1fbBOS1hkbeROHeDpcJ3r8VKcEhLY5SyYG/E8fFO3ddF7eXyYouYtVSv4Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:26:01.868960Z","signed_message":"canonical_sha256_bytes"},"source_id":"1103.4518","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e6383858b1a81b6bb31aa485ffcc0ed75888889fbc723d1e0acace3f03c9976b","sha256:c943b7de4f8451ba46af9c0ad3123584d078fb18d0a24efc16f4f9914e9523e5"],"state_sha256":"c82384afdd8bfa1d3f84b8d3f5ccec5db82f590d021edf8dbca746c51e647515"}