{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:MNGLX2J6ITFIGHWVZKCNH3KXAR","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":"9dd1b91c4c0d96646ec395b4667f5e2f029824db93e5b658f927e6ddde94ed2f","cross_cats_sorted":["math-ph","math.DS","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.SG","submitted_at":"2026-06-11T05:10:50Z","title_canon_sha256":"7b302cf82e5713203cb426dbba570082fb2cdf522b4e2fa6301d9aa03f8b421a"},"schema_version":"1.0","source":{"id":"2606.12912","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.12912","created_at":"2026-06-12T01:09:34Z"},{"alias_kind":"arxiv_version","alias_value":"2606.12912v1","created_at":"2026-06-12T01:09:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.12912","created_at":"2026-06-12T01:09:34Z"},{"alias_kind":"pith_short_12","alias_value":"MNGLX2J6ITFI","created_at":"2026-06-12T01:09:34Z"},{"alias_kind":"pith_short_16","alias_value":"MNGLX2J6ITFIGHWV","created_at":"2026-06-12T01:09:34Z"},{"alias_kind":"pith_short_8","alias_value":"MNGLX2J6","created_at":"2026-06-12T01:09:34Z"}],"graph_snapshots":[{"event_id":"sha256:f7398c27f92d2ac195fc547160f34264b0f11d031e8f3af92098e5ef2bd08539","target":"graph","created_at":"2026-06-12T01:09:34Z","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/2606.12912/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We prove Birkhoff's retrograde orbit conjecture in Hill's lunar problem by showing that the retrograde orbit bounds a disk-like global surface of section for every energy below the critical value. We also obtain a global description of the dynamics through the critical energy level by constructing finite energy foliations for energies slightly above it. The binding of these foliations consists of the retrograde orbit together with the Lyapunov orbits near the critical points. As a consequence, there exist infinitely many periodic orbits and infinitely many trajectories asymptotic to the Lyapun","authors_text":"Lei Liu, Pedro A. S. Salom\\~ao","cross_cats":["math-ph","math.DS","math.MP"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.SG","submitted_at":"2026-06-11T05:10:50Z","title":"Birkhoff conjecture and finite energy foliations in Hill's lunar problem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.12912","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:3033703812c1813870b4e8c86f094dea1f1d5bd8923037651f5d9eadd3671fa1","target":"record","created_at":"2026-06-12T01:09:34Z","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":"9dd1b91c4c0d96646ec395b4667f5e2f029824db93e5b658f927e6ddde94ed2f","cross_cats_sorted":["math-ph","math.DS","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.SG","submitted_at":"2026-06-11T05:10:50Z","title_canon_sha256":"7b302cf82e5713203cb426dbba570082fb2cdf522b4e2fa6301d9aa03f8b421a"},"schema_version":"1.0","source":{"id":"2606.12912","kind":"arxiv","version":1}},"canonical_sha256":"634cbbe93e44ca831ed5ca84d3ed57044d1b4bf41aab5f0561b81bc76cbbef83","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"634cbbe93e44ca831ed5ca84d3ed57044d1b4bf41aab5f0561b81bc76cbbef83","first_computed_at":"2026-06-12T01:09:34.219902Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-12T01:09:34.219902Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Lzm3juy2WQh03BWe5/KEwd1vZwzKtE8Yg+80eaCaZ7vA1nCGf+ALwAXf9o+9OKPxID3TQnMVwBp0d8z/JEaiCw==","signature_status":"signed_v1","signed_at":"2026-06-12T01:09:34.220468Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.12912","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3033703812c1813870b4e8c86f094dea1f1d5bd8923037651f5d9eadd3671fa1","sha256:f7398c27f92d2ac195fc547160f34264b0f11d031e8f3af92098e5ef2bd08539"],"state_sha256":"f1db8cc7cde5f1464ad6ff6d2337aea3fe8747cfd959299c76e773a2d6a3a749"}