{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:RWZI4U3O66XNVFVBJE4UHKNGXW","short_pith_number":"pith:RWZI4U3O","canonical_record":{"source":{"id":"2604.06527","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AP","submitted_at":"2026-04-07T23:50:50Z","cross_cats_sorted":[],"title_canon_sha256":"982af4797f134f0842c681ea88c967ab0dcb1ff7a02c668ea59e31e06ee2154c","abstract_canon_sha256":"402b91fc997622941dfa9cfa0e48fb80cde3b4862eaabf69e878038f2817e5b9"},"schema_version":"1.0"},"canonical_sha256":"8db28e536ef7aeda96a1493943a9a6bd8c6b49f6324211469a1167ef7384145c","source":{"kind":"arxiv","id":"2604.06527","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.06527","created_at":"2026-05-22T01:04:01Z"},{"alias_kind":"arxiv_version","alias_value":"2604.06527v2","created_at":"2026-05-22T01:04:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.06527","created_at":"2026-05-22T01:04:01Z"},{"alias_kind":"pith_short_12","alias_value":"RWZI4U3O66XN","created_at":"2026-05-22T01:04:01Z"},{"alias_kind":"pith_short_16","alias_value":"RWZI4U3O66XNVFVB","created_at":"2026-05-22T01:04:01Z"},{"alias_kind":"pith_short_8","alias_value":"RWZI4U3O","created_at":"2026-05-22T01:04:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:RWZI4U3O66XNVFVBJE4UHKNGXW","target":"record","payload":{"canonical_record":{"source":{"id":"2604.06527","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AP","submitted_at":"2026-04-07T23:50:50Z","cross_cats_sorted":[],"title_canon_sha256":"982af4797f134f0842c681ea88c967ab0dcb1ff7a02c668ea59e31e06ee2154c","abstract_canon_sha256":"402b91fc997622941dfa9cfa0e48fb80cde3b4862eaabf69e878038f2817e5b9"},"schema_version":"1.0"},"canonical_sha256":"8db28e536ef7aeda96a1493943a9a6bd8c6b49f6324211469a1167ef7384145c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-22T01:04:01.652548Z","signature_b64":"FDHYmS7ppjs/vqvC/k7WGn7s+MVzrdxXzWhd1pFuoVQ34NvkS0pVv3+SUUrIFzSfmheONH0cHYZbkXRJ6+9AAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8db28e536ef7aeda96a1493943a9a6bd8c6b49f6324211469a1167ef7384145c","last_reissued_at":"2026-05-22T01:04:01.651807Z","signature_status":"signed_v1","first_computed_at":"2026-05-22T01:04:01.651807Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2604.06527","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-22T01:04:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HH8vkmmbh0cYpdze6FaYV4Yj4yMLvfrr8aWQ0psW/GxKZTuBvnmeL3f5G5hMcVPYPIDu2DZX2Q29ekD333deDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T16:17:59.696514Z"},"content_sha256":"f554befe2e4e5b097ce1c869e053c0b161b3f29132eed05ebbe345628177ce15","schema_version":"1.0","event_id":"sha256:f554befe2e4e5b097ce1c869e053c0b161b3f29132eed05ebbe345628177ce15"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:RWZI4U3O66XNVFVBJE4UHKNGXW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Liouville Theorems Above the Critical $9/2$ Threshold for Stationary Navier-Stokes Equations","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Stationary Navier-Stokes flows in three dimensions are necessarily zero when their velocity is integrable to an order strictly above 9/2.","cross_cats":[],"primary_cat":"math.AP","authors_text":"Gaston Vergara-Hermosilla","submitted_at":"2026-04-07T23:50:50Z","abstract_excerpt":"We establish new Liouville-type theorems for the stationary Navier-Stokes equations in $\\mathbb{R}^3$. A central open problem in this context is whether the classical $L^{9/2}(\\mathbb{R}^3)$ condition of G.Galdi can be relaxed. In this note we show that this global integrability requirement can indeed be weakened. More precisely, we prove that triviality already follows under assumptions of the form $u \\in L^{9/2 + \\varepsilon(\\cdot)}(\\mathbb{R}^3)$, where $\\varepsilon(\\cdot)>0$. As a consequence, we obtain a localized Liouville theorem: it is sufficient to impose this integrability condition "},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We prove that triviality already follows under assumptions of the form u ∈ L^{9/2 + ε(·)}(R^3), where ε(·)>0. As a consequence, we obtain a localized Liouville theorem: it is sufficient to impose this integrability condition only at infinity, with no additional assumptions on the behavior of u inside a compact set.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The velocity u belongs to a weak solution class for the stationary Navier-Stokes system, and the variable exponent ε(·) satisfies the technical conditions needed for the Lebesgue space with variable exponents to support the general uniqueness result invoked in the proof.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Stationary Navier-Stokes solutions in R^3 are trivial under L^{9/2 + ε(·)} integrability with ε(·)>0, and the condition suffices when imposed only at infinity.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Stationary Navier-Stokes flows in three dimensions are necessarily zero when their velocity is integrable to an order strictly above 9/2.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"4f9d9136845a52d7dabe460974bd09dd2e607ed43bfb8d0afc879aa60ffebba7"},"source":{"id":"2604.06527","kind":"arxiv","version":2},"verdict":{"id":"78838c23-8188-4394-9ef3-f60d91751cd3","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-10T18:21:20.869199Z","strongest_claim":"We prove that triviality already follows under assumptions of the form u ∈ L^{9/2 + ε(·)}(R^3), where ε(·)>0. As a consequence, we obtain a localized Liouville theorem: it is sufficient to impose this integrability condition only at infinity, with no additional assumptions on the behavior of u inside a compact set.","one_line_summary":"Stationary Navier-Stokes solutions in R^3 are trivial under L^{9/2 + ε(·)} integrability with ε(·)>0, and the condition suffices when imposed only at infinity.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The velocity u belongs to a weak solution class for the stationary Navier-Stokes system, and the variable exponent ε(·) satisfies the technical conditions needed for the Lebesgue space with variable exponents to support the general uniqueness result invoked in the proof.","pith_extraction_headline":"Stationary Navier-Stokes flows in three dimensions are necessarily zero when their velocity is integrable to an order strictly above 9/2."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2604.06527/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":2,"snapshot_sha256":"415c1844b08ada45420c4031ff92e57bff354a95ad03be0dea10f6bdc17842a6"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"78838c23-8188-4394-9ef3-f60d91751cd3"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-22T01:04:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uDLQ+ViOvqBgkcLYJ0RjusoZW8At6ttYKnRMhj00HVkh4jtnixl6yB+c88PKtYFETIcoAKIFBGcSWnf0VUR3Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T16:17:59.697086Z"},"content_sha256":"9ad6a3818a553756c3634abaa3b01bddaed918f826adddef5c0b19192e8e1e60","schema_version":"1.0","event_id":"sha256:9ad6a3818a553756c3634abaa3b01bddaed918f826adddef5c0b19192e8e1e60"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RWZI4U3O66XNVFVBJE4UHKNGXW/bundle.json","state_url":"https://pith.science/pith/RWZI4U3O66XNVFVBJE4UHKNGXW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RWZI4U3O66XNVFVBJE4UHKNGXW/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-03T16:17:59Z","links":{"resolver":"https://pith.science/pith/RWZI4U3O66XNVFVBJE4UHKNGXW","bundle":"https://pith.science/pith/RWZI4U3O66XNVFVBJE4UHKNGXW/bundle.json","state":"https://pith.science/pith/RWZI4U3O66XNVFVBJE4UHKNGXW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RWZI4U3O66XNVFVBJE4UHKNGXW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:RWZI4U3O66XNVFVBJE4UHKNGXW","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":"402b91fc997622941dfa9cfa0e48fb80cde3b4862eaabf69e878038f2817e5b9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AP","submitted_at":"2026-04-07T23:50:50Z","title_canon_sha256":"982af4797f134f0842c681ea88c967ab0dcb1ff7a02c668ea59e31e06ee2154c"},"schema_version":"1.0","source":{"id":"2604.06527","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.06527","created_at":"2026-05-22T01:04:01Z"},{"alias_kind":"arxiv_version","alias_value":"2604.06527v2","created_at":"2026-05-22T01:04:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.06527","created_at":"2026-05-22T01:04:01Z"},{"alias_kind":"pith_short_12","alias_value":"RWZI4U3O66XN","created_at":"2026-05-22T01:04:01Z"},{"alias_kind":"pith_short_16","alias_value":"RWZI4U3O66XNVFVB","created_at":"2026-05-22T01:04:01Z"},{"alias_kind":"pith_short_8","alias_value":"RWZI4U3O","created_at":"2026-05-22T01:04:01Z"}],"graph_snapshots":[{"event_id":"sha256:9ad6a3818a553756c3634abaa3b01bddaed918f826adddef5c0b19192e8e1e60","target":"graph","created_at":"2026-05-22T01:04: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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"We prove that triviality already follows under assumptions of the form u ∈ L^{9/2 + ε(·)}(R^3), where ε(·)>0. As a consequence, we obtain a localized Liouville theorem: it is sufficient to impose this integrability condition only at infinity, with no additional assumptions on the behavior of u inside a compact set."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The velocity u belongs to a weak solution class for the stationary Navier-Stokes system, and the variable exponent ε(·) satisfies the technical conditions needed for the Lebesgue space with variable exponents to support the general uniqueness result invoked in the proof."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Stationary Navier-Stokes solutions in R^3 are trivial under L^{9/2 + ε(·)} integrability with ε(·)>0, and the condition suffices when imposed only at infinity."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Stationary Navier-Stokes flows in three dimensions are necessarily zero when their velocity is integrable to an order strictly above 9/2."}],"snapshot_sha256":"4f9d9136845a52d7dabe460974bd09dd2e607ed43bfb8d0afc879aa60ffebba7"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"415c1844b08ada45420c4031ff92e57bff354a95ad03be0dea10f6bdc17842a6"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2604.06527/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We establish new Liouville-type theorems for the stationary Navier-Stokes equations in $\\mathbb{R}^3$. A central open problem in this context is whether the classical $L^{9/2}(\\mathbb{R}^3)$ condition of G.Galdi can be relaxed. In this note we show that this global integrability requirement can indeed be weakened. More precisely, we prove that triviality already follows under assumptions of the form $u \\in L^{9/2 + \\varepsilon(\\cdot)}(\\mathbb{R}^3)$, where $\\varepsilon(\\cdot)>0$. As a consequence, we obtain a localized Liouville theorem: it is sufficient to impose this integrability condition ","authors_text":"Gaston Vergara-Hermosilla","cross_cats":[],"headline":"Stationary Navier-Stokes flows in three dimensions are necessarily zero when their velocity is integrable to an order strictly above 9/2.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AP","submitted_at":"2026-04-07T23:50:50Z","title":"Liouville Theorems Above the Critical $9/2$ Threshold for Stationary Navier-Stokes Equations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2604.06527","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-10T18:21:20.869199Z","id":"78838c23-8188-4394-9ef3-f60d91751cd3","model_set":{"reader":"grok-4.3"},"one_line_summary":"Stationary Navier-Stokes solutions in R^3 are trivial under L^{9/2 + ε(·)} integrability with ε(·)>0, and the condition suffices when imposed only at infinity.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Stationary Navier-Stokes flows in three dimensions are necessarily zero when their velocity is integrable to an order strictly above 9/2.","strongest_claim":"We prove that triviality already follows under assumptions of the form u ∈ L^{9/2 + ε(·)}(R^3), where ε(·)>0. As a consequence, we obtain a localized Liouville theorem: it is sufficient to impose this integrability condition only at infinity, with no additional assumptions on the behavior of u inside a compact set.","weakest_assumption":"The velocity u belongs to a weak solution class for the stationary Navier-Stokes system, and the variable exponent ε(·) satisfies the technical conditions needed for the Lebesgue space with variable exponents to support the general uniqueness result invoked in the proof."}},"verdict_id":"78838c23-8188-4394-9ef3-f60d91751cd3"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:f554befe2e4e5b097ce1c869e053c0b161b3f29132eed05ebbe345628177ce15","target":"record","created_at":"2026-05-22T01:04: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":"402b91fc997622941dfa9cfa0e48fb80cde3b4862eaabf69e878038f2817e5b9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AP","submitted_at":"2026-04-07T23:50:50Z","title_canon_sha256":"982af4797f134f0842c681ea88c967ab0dcb1ff7a02c668ea59e31e06ee2154c"},"schema_version":"1.0","source":{"id":"2604.06527","kind":"arxiv","version":2}},"canonical_sha256":"8db28e536ef7aeda96a1493943a9a6bd8c6b49f6324211469a1167ef7384145c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8db28e536ef7aeda96a1493943a9a6bd8c6b49f6324211469a1167ef7384145c","first_computed_at":"2026-05-22T01:04:01.651807Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-22T01:04:01.651807Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FDHYmS7ppjs/vqvC/k7WGn7s+MVzrdxXzWhd1pFuoVQ34NvkS0pVv3+SUUrIFzSfmheONH0cHYZbkXRJ6+9AAw==","signature_status":"signed_v1","signed_at":"2026-05-22T01:04:01.652548Z","signed_message":"canonical_sha256_bytes"},"source_id":"2604.06527","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f554befe2e4e5b097ce1c869e053c0b161b3f29132eed05ebbe345628177ce15","sha256:9ad6a3818a553756c3634abaa3b01bddaed918f826adddef5c0b19192e8e1e60"],"state_sha256":"785a51a76a503d2c800ba715f29077fb3b1a177cf1ddb31f3f1eea87c1ccf54c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sPoYWBdgRicvSh7+uMyDV+39SJh1PQb0nhuBR0AznsflY7ejIlfR3HlZSZfEvaQwIOM6EjP5TlXIRnBbDka5Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T16:17:59.699574Z","bundle_sha256":"6ed7416a5568628aa523b44d5f959071407220a58b130bbf9bba92b2f1213c75"}}