{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:QP7PVNJQDA3SKXJPSZ5OXDRVAI","short_pith_number":"pith:QP7PVNJQ","schema_version":"1.0","canonical_sha256":"83fefab5301837255d2f967aeb8e350238520d76f23b1970fc8a495d4515d076","source":{"kind":"arxiv","id":"2503.01800","version":1},"attestation_state":"computed","paper":{"title":"Hilbert's sixth problem: derivation of fluid equations via Boltzmann's kinetic theory","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math-ph","math.MP"],"primary_cat":"math.AP","authors_text":"Xiao Ma, Yu Deng, Zaher Hani","submitted_at":"2025-03-03T18:29:05Z","abstract_excerpt":"In this paper, we rigorously derive the fundamental PDEs of fluid mechanics, such as the compressible Euler and incompressible Navier-Stokes-Fourier equations, starting from the hard sphere particle systems undergoing elastic collisions. This resolves Hilbert's sixth problem, as it pertains to the program of deriving the fluid equations from Newton's laws by way of Boltzmann's kinetic theory. The proof relies on the derivation of Boltzmann's equation on 2D and 3D tori, which is an extension of our previous work (arXiv:2408.07818)."},"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":"2503.01800","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AP","submitted_at":"2025-03-03T18:29:05Z","cross_cats_sorted":["math-ph","math.MP"],"title_canon_sha256":"480f1e144b823724434eb0eb76b607fcd7d77f9344d858cc5661c261253f4dc8","abstract_canon_sha256":"be98b37c6bfa7ae466d055eb555c35e8be26d68b4b01083fda5cce560d995a55"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:23:14.926479Z","signature_b64":"mm6gsRfkeYiS2ZBwvkLKRP8aevMTKXneP1Xxde3ZG9D37WgxkKrEZijc9IGm+qHZpgCQIdQf3IQhZ8xS6KpbCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"83fefab5301837255d2f967aeb8e350238520d76f23b1970fc8a495d4515d076","last_reissued_at":"2026-07-05T10:23:14.925577Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:23:14.925577Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Hilbert's sixth problem: derivation of fluid equations via Boltzmann's kinetic theory","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math-ph","math.MP"],"primary_cat":"math.AP","authors_text":"Xiao Ma, Yu Deng, Zaher Hani","submitted_at":"2025-03-03T18:29:05Z","abstract_excerpt":"In this paper, we rigorously derive the fundamental PDEs of fluid mechanics, such as the compressible Euler and incompressible Navier-Stokes-Fourier equations, starting from the hard sphere particle systems undergoing elastic collisions. This resolves Hilbert's sixth problem, as it pertains to the program of deriving the fluid equations from Newton's laws by way of Boltzmann's kinetic theory. The proof relies on the derivation of Boltzmann's equation on 2D and 3D tori, which is an extension of our previous work (arXiv:2408.07818)."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.01800","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/2503.01800/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":"2503.01800","created_at":"2026-07-05T10:23:14.925715+00:00"},{"alias_kind":"arxiv_version","alias_value":"2503.01800v1","created_at":"2026-07-05T10:23:14.925715+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.01800","created_at":"2026-07-05T10:23:14.925715+00:00"},{"alias_kind":"pith_short_12","alias_value":"QP7PVNJQDA3S","created_at":"2026-07-05T10:23:14.925715+00:00"},{"alias_kind":"pith_short_16","alias_value":"QP7PVNJQDA3SKXJP","created_at":"2026-07-05T10:23:14.925715+00:00"},{"alias_kind":"pith_short_8","alias_value":"QP7PVNJQ","created_at":"2026-07-05T10:23:14.925715+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":4,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.26696","citing_title":"Applicability of kinetic theory in strongly coupled thermal quantum systems","ref_index":27,"is_internal_anchor":false},{"citing_arxiv_id":"2603.23298","citing_title":"Kruskal-style algorithm for cubic Schr\\\"odinger equation molecule reduction","ref_index":13,"is_internal_anchor":false},{"citing_arxiv_id":"2605.19308","citing_title":"Rigorous Derivation of the Wave Kinetic Equation for full $\\beta$-FPUT System","ref_index":26,"is_internal_anchor":false},{"citing_arxiv_id":"2603.17493","citing_title":"DustNET: enabling machine learning and AI models of dusty plasmas","ref_index":111,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/QP7PVNJQDA3SKXJPSZ5OXDRVAI","json":"https://pith.science/pith/QP7PVNJQDA3SKXJPSZ5OXDRVAI.json","graph_json":"https://pith.science/api/pith-number/QP7PVNJQDA3SKXJPSZ5OXDRVAI/graph.json","events_json":"https://pith.science/api/pith-number/QP7PVNJQDA3SKXJPSZ5OXDRVAI/events.json","paper":"https://pith.science/paper/QP7PVNJQ"},"agent_actions":{"view_html":"https://pith.science/pith/QP7PVNJQDA3SKXJPSZ5OXDRVAI","download_json":"https://pith.science/pith/QP7PVNJQDA3SKXJPSZ5OXDRVAI.json","view_paper":"https://pith.science/paper/QP7PVNJQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2503.01800&json=true","fetch_graph":"https://pith.science/api/pith-number/QP7PVNJQDA3SKXJPSZ5OXDRVAI/graph.json","fetch_events":"https://pith.science/api/pith-number/QP7PVNJQDA3SKXJPSZ5OXDRVAI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QP7PVNJQDA3SKXJPSZ5OXDRVAI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QP7PVNJQDA3SKXJPSZ5OXDRVAI/action/storage_attestation","attest_author":"https://pith.science/pith/QP7PVNJQDA3SKXJPSZ5OXDRVAI/action/author_attestation","sign_citation":"https://pith.science/pith/QP7PVNJQDA3SKXJPSZ5OXDRVAI/action/citation_signature","submit_replication":"https://pith.science/pith/QP7PVNJQDA3SKXJPSZ5OXDRVAI/action/replication_record"}},"created_at":"2026-07-05T10:23:14.925715+00:00","updated_at":"2026-07-05T10:23:14.925715+00:00"}