{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:FTV4FFKUD3DHMVOZF3SUC7GNEP","short_pith_number":"pith:FTV4FFKU","schema_version":"1.0","canonical_sha256":"2cebc295541ec67655d92ee5417ccd23c862bdcef26764f3a7e092ba9bec8f14","source":{"kind":"arxiv","id":"2509.04251","version":1},"attestation_state":"computed","paper":{"title":"An explicit splitting SAV scheme for the kinetic Langevin dynamics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NA"],"primary_cat":"math.NA","authors_text":"Lei Dai, Xiaojie Wang, Yingsong Jiang","submitted_at":"2025-09-04T14:24:08Z","abstract_excerpt":"The kinetic Langevin dynamics finds diverse applications in various disciplines such as molecular dynamics and Hamiltonian Monte Carlo sampling. In this paper, a novel splitting scalar auxiliary variable (SSAV) scheme is proposed for the dynamics, where the gradient of the potential $U$ is possibly non-globally Lipschitz continuous with superlinear growth. As an explicit scheme, the SSAV method is efficient, robust and is able to reproduce the energy structure of the original dynamics. By an energy argument, the SSAV scheme is proved to possess an exponential integrability property, which is c"},"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":"2509.04251","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2025-09-04T14:24:08Z","cross_cats_sorted":["cs.NA"],"title_canon_sha256":"001397d58a6b88b9f3ef48c7fe317c72b67219de024e0dd92481b205ffa727fd","abstract_canon_sha256":"94d4f0b010ae327c4187f4d36882961bb396f0f0178af92df40870fe538777a6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:04:56.227371Z","signature_b64":"iRTb+yQFuLgBBgMFgjeBb0q02A3zc5pskLl/vL0iiy269fYN/ZL15m129UjmkPLN8n7+U9Ahw7hrRueactXbCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2cebc295541ec67655d92ee5417ccd23c862bdcef26764f3a7e092ba9bec8f14","last_reissued_at":"2026-07-05T12:04:56.226810Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:04:56.226810Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An explicit splitting SAV scheme for the kinetic Langevin dynamics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NA"],"primary_cat":"math.NA","authors_text":"Lei Dai, Xiaojie Wang, Yingsong Jiang","submitted_at":"2025-09-04T14:24:08Z","abstract_excerpt":"The kinetic Langevin dynamics finds diverse applications in various disciplines such as molecular dynamics and Hamiltonian Monte Carlo sampling. In this paper, a novel splitting scalar auxiliary variable (SSAV) scheme is proposed for the dynamics, where the gradient of the potential $U$ is possibly non-globally Lipschitz continuous with superlinear growth. As an explicit scheme, the SSAV method is efficient, robust and is able to reproduce the energy structure of the original dynamics. By an energy argument, the SSAV scheme is proved to possess an exponential integrability property, which is c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.04251","kind":"arxiv","version":1},"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/2509.04251/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":"2509.04251","created_at":"2026-07-05T12:04:56.226872+00:00"},{"alias_kind":"arxiv_version","alias_value":"2509.04251v1","created_at":"2026-07-05T12:04:56.226872+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.04251","created_at":"2026-07-05T12:04:56.226872+00:00"},{"alias_kind":"pith_short_12","alias_value":"FTV4FFKUD3DH","created_at":"2026-07-05T12:04:56.226872+00:00"},{"alias_kind":"pith_short_16","alias_value":"FTV4FFKUD3DHMVOZ","created_at":"2026-07-05T12:04:56.226872+00:00"},{"alias_kind":"pith_short_8","alias_value":"FTV4FFKU","created_at":"2026-07-05T12:04:56.226872+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2604.25717","citing_title":"Splitting AVF method for generalized Langevin equations: probability density function and geometric ergodicity","ref_index":7,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/FTV4FFKUD3DHMVOZF3SUC7GNEP","json":"https://pith.science/pith/FTV4FFKUD3DHMVOZF3SUC7GNEP.json","graph_json":"https://pith.science/api/pith-number/FTV4FFKUD3DHMVOZF3SUC7GNEP/graph.json","events_json":"https://pith.science/api/pith-number/FTV4FFKUD3DHMVOZF3SUC7GNEP/events.json","paper":"https://pith.science/paper/FTV4FFKU"},"agent_actions":{"view_html":"https://pith.science/pith/FTV4FFKUD3DHMVOZF3SUC7GNEP","download_json":"https://pith.science/pith/FTV4FFKUD3DHMVOZF3SUC7GNEP.json","view_paper":"https://pith.science/paper/FTV4FFKU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2509.04251&json=true","fetch_graph":"https://pith.science/api/pith-number/FTV4FFKUD3DHMVOZF3SUC7GNEP/graph.json","fetch_events":"https://pith.science/api/pith-number/FTV4FFKUD3DHMVOZF3SUC7GNEP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FTV4FFKUD3DHMVOZF3SUC7GNEP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FTV4FFKUD3DHMVOZF3SUC7GNEP/action/storage_attestation","attest_author":"https://pith.science/pith/FTV4FFKUD3DHMVOZF3SUC7GNEP/action/author_attestation","sign_citation":"https://pith.science/pith/FTV4FFKUD3DHMVOZF3SUC7GNEP/action/citation_signature","submit_replication":"https://pith.science/pith/FTV4FFKUD3DHMVOZF3SUC7GNEP/action/replication_record"}},"created_at":"2026-07-05T12:04:56.226872+00:00","updated_at":"2026-07-05T12:04:56.226872+00:00"}