{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:IR6SSIPRUJI5FJKYWPLMNPG6BQ","short_pith_number":"pith:IR6SSIPR","schema_version":"1.0","canonical_sha256":"447d2921f1a251d2a558b3d6c6bcde0c2bf5b66c05d80201376c20c22d348654","source":{"kind":"arxiv","id":"2506.22614","version":3},"attestation_state":"computed","paper":{"title":"Computer-Assisted Proofs for Geometric Optimization: From Crystallization to Carbon Nanotubes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math-ph","math.MP"],"primary_cat":"physics.comp-ph","authors_text":"Benedikt Wirth, Miguel Ayala, Rustum Choksi","submitted_at":"2025-06-27T20:21:30Z","abstract_excerpt":"We present a framework based on computer-assisted proofs that turns geometry optimization simulations for atomistic structures into mathematical proofs. Starting from a numerically computed approximation of a local minimizer or saddle point, we use validated numerical computations to prove the existence of a critical point of the potential energy close to this approximation. We demonstrate this framework in two settings. In the first, we study capped carbon nanotubes modeled as minimizers of carbon interatomic potentials (harmonic, Tersoff, and a Huber potential) and obtain proven bounds on tu"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2506.22614","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"physics.comp-ph","submitted_at":"2025-06-27T20:21:30Z","cross_cats_sorted":["math-ph","math.MP"],"title_canon_sha256":"d630c99efe96f5ace72d02f6701ed2dedce2181e3a66248f4e4c9836dea665dd","abstract_canon_sha256":"6240cf2067e2b83e23d64e59c7aaafaf0e3c473a5a57fe329669c85ba755fa09"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-09T01:05:07.499206Z","signature_b64":"Ew7eT+xCr1lUEvEAxR3joZzNOIBHHhgmM/LUHn7GHVt4O/XSVcGxTb/g3OCmpyI18pBIALJdryJmXwM5nVKTDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"447d2921f1a251d2a558b3d6c6bcde0c2bf5b66c05d80201376c20c22d348654","last_reissued_at":"2026-06-09T01:05:07.498426Z","signature_status":"signed_v1","first_computed_at":"2026-06-09T01:05:07.498426Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Computer-Assisted Proofs for Geometric Optimization: From Crystallization to Carbon Nanotubes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math-ph","math.MP"],"primary_cat":"physics.comp-ph","authors_text":"Benedikt Wirth, Miguel Ayala, Rustum Choksi","submitted_at":"2025-06-27T20:21:30Z","abstract_excerpt":"We present a framework based on computer-assisted proofs that turns geometry optimization simulations for atomistic structures into mathematical proofs. Starting from a numerically computed approximation of a local minimizer or saddle point, we use validated numerical computations to prove the existence of a critical point of the potential energy close to this approximation. We demonstrate this framework in two settings. In the first, we study capped carbon nanotubes modeled as minimizers of carbon interatomic potentials (harmonic, Tersoff, and a Huber potential) and obtain proven bounds on tu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.22614","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2506.22614/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2506.22614","created_at":"2026-06-09T01:05:07.498540+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.22614v3","created_at":"2026-06-09T01:05:07.498540+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.22614","created_at":"2026-06-09T01:05:07.498540+00:00"},{"alias_kind":"pith_short_12","alias_value":"IR6SSIPRUJI5","created_at":"2026-06-09T01:05:07.498540+00:00"},{"alias_kind":"pith_short_16","alias_value":"IR6SSIPRUJI5FJKY","created_at":"2026-06-09T01:05:07.498540+00:00"},{"alias_kind":"pith_short_8","alias_value":"IR6SSIPR","created_at":"2026-06-09T01:05:07.498540+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/IR6SSIPRUJI5FJKYWPLMNPG6BQ","json":"https://pith.science/pith/IR6SSIPRUJI5FJKYWPLMNPG6BQ.json","graph_json":"https://pith.science/api/pith-number/IR6SSIPRUJI5FJKYWPLMNPG6BQ/graph.json","events_json":"https://pith.science/api/pith-number/IR6SSIPRUJI5FJKYWPLMNPG6BQ/events.json","paper":"https://pith.science/paper/IR6SSIPR"},"agent_actions":{"view_html":"https://pith.science/pith/IR6SSIPRUJI5FJKYWPLMNPG6BQ","download_json":"https://pith.science/pith/IR6SSIPRUJI5FJKYWPLMNPG6BQ.json","view_paper":"https://pith.science/paper/IR6SSIPR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.22614&json=true","fetch_graph":"https://pith.science/api/pith-number/IR6SSIPRUJI5FJKYWPLMNPG6BQ/graph.json","fetch_events":"https://pith.science/api/pith-number/IR6SSIPRUJI5FJKYWPLMNPG6BQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/IR6SSIPRUJI5FJKYWPLMNPG6BQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/IR6SSIPRUJI5FJKYWPLMNPG6BQ/action/storage_attestation","attest_author":"https://pith.science/pith/IR6SSIPRUJI5FJKYWPLMNPG6BQ/action/author_attestation","sign_citation":"https://pith.science/pith/IR6SSIPRUJI5FJKYWPLMNPG6BQ/action/citation_signature","submit_replication":"https://pith.science/pith/IR6SSIPRUJI5FJKYWPLMNPG6BQ/action/replication_record"}},"created_at":"2026-06-09T01:05:07.498540+00:00","updated_at":"2026-06-09T01:05:07.498540+00:00"}