{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:4MJBY2FNUVZPAHL5XBI3FEYSQY","short_pith_number":"pith:4MJBY2FN","canonical_record":{"source":{"id":"1708.04040","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2017-08-14T09:08:22Z","cross_cats_sorted":[],"title_canon_sha256":"f61ab91abc72e8d097074e587535bda9e245ec363381fa7e82f282f7b3cdb6a8","abstract_canon_sha256":"2e53d6bce54718ad3334fe2b118da3b05f4d3cc183ece6e5c93677e356e75746"},"schema_version":"1.0"},"canonical_sha256":"e3121c68ada572f01d7db851b293128625be598ecc5c9e5f92e057e1d6780c38","source":{"kind":"arxiv","id":"1708.04040","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.04040","created_at":"2026-05-18T00:15:21Z"},{"alias_kind":"arxiv_version","alias_value":"1708.04040v1","created_at":"2026-05-18T00:15:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.04040","created_at":"2026-05-18T00:15:21Z"},{"alias_kind":"pith_short_12","alias_value":"4MJBY2FNUVZP","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"4MJBY2FNUVZPAHL5","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"4MJBY2FN","created_at":"2026-05-18T12:31:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:4MJBY2FNUVZPAHL5XBI3FEYSQY","target":"record","payload":{"canonical_record":{"source":{"id":"1708.04040","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2017-08-14T09:08:22Z","cross_cats_sorted":[],"title_canon_sha256":"f61ab91abc72e8d097074e587535bda9e245ec363381fa7e82f282f7b3cdb6a8","abstract_canon_sha256":"2e53d6bce54718ad3334fe2b118da3b05f4d3cc183ece6e5c93677e356e75746"},"schema_version":"1.0"},"canonical_sha256":"e3121c68ada572f01d7db851b293128625be598ecc5c9e5f92e057e1d6780c38","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:15:21.406432Z","signature_b64":"f/SFUCv1xiRRgkoA9SXUi/U7FnMeCcWQGmxcSLYSTYSSDel2L6ObqjSb3Rx8s6AGpHGCRZuJhAZXTSWcQYbeCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e3121c68ada572f01d7db851b293128625be598ecc5c9e5f92e057e1d6780c38","last_reissued_at":"2026-05-18T00:15:21.405653Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:15:21.405653Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1708.04040","source_version":1,"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-18T00:15:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DM92NjmrQMhDqY6qy350zsUkpeZTHO3frDFnjDYftI4Asf1FzPsgIK2i/o+Np6ekh4cMszAdSA8ElhVbskr1CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T23:13:02.643949Z"},"content_sha256":"bf479624fb90f15a3f6a691cee37fb9b34617ee1a11ced598a4f842276867f4a","schema_version":"1.0","event_id":"sha256:bf479624fb90f15a3f6a691cee37fb9b34617ee1a11ced598a4f842276867f4a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:4MJBY2FNUVZPAHL5XBI3FEYSQY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the convergence of a fully discrete scheme of LES type to physically relevant solutions of the incompressible Navier-Stokes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AP","authors_text":"Luigi C. Berselli, Stefano Spirito","submitted_at":"2017-08-14T09:08:22Z","abstract_excerpt":"Obtaining reliable numerical simulations of turbulent fluids is a challenging problem in computational fluid mechanics. The Large Eddy Simulations (LES) models are efficient tools to approximate turbulent fluids and an important step in the validation of these models is the ability to reproduce relevant properties of the flow. In this paper we consider a fully discrete approximation of the Navier-Stokes-Voigt model by an implicit Euler algorithm (with respect to the time variable) and a Fourier-Galerkin method (in the space variables). We prove the convergence to weak solutions of the incompre"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.04040","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":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:15:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xAcmHFNQ1WmpPCkV2gS/QcWUSwakAEF3MgFLDgxyAnBWVjeLOUSlZbbXo13BqTFfgmBpOgSrusccaRWvCapnCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T23:13:02.644293Z"},"content_sha256":"9f1be3d926e3d5a4642ccac2072b7546c5a35d94dfe49ee62f133ad854da06dc","schema_version":"1.0","event_id":"sha256:9f1be3d926e3d5a4642ccac2072b7546c5a35d94dfe49ee62f133ad854da06dc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4MJBY2FNUVZPAHL5XBI3FEYSQY/bundle.json","state_url":"https://pith.science/pith/4MJBY2FNUVZPAHL5XBI3FEYSQY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4MJBY2FNUVZPAHL5XBI3FEYSQY/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-08T23:13:02Z","links":{"resolver":"https://pith.science/pith/4MJBY2FNUVZPAHL5XBI3FEYSQY","bundle":"https://pith.science/pith/4MJBY2FNUVZPAHL5XBI3FEYSQY/bundle.json","state":"https://pith.science/pith/4MJBY2FNUVZPAHL5XBI3FEYSQY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4MJBY2FNUVZPAHL5XBI3FEYSQY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:4MJBY2FNUVZPAHL5XBI3FEYSQY","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":"2e53d6bce54718ad3334fe2b118da3b05f4d3cc183ece6e5c93677e356e75746","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2017-08-14T09:08:22Z","title_canon_sha256":"f61ab91abc72e8d097074e587535bda9e245ec363381fa7e82f282f7b3cdb6a8"},"schema_version":"1.0","source":{"id":"1708.04040","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.04040","created_at":"2026-05-18T00:15:21Z"},{"alias_kind":"arxiv_version","alias_value":"1708.04040v1","created_at":"2026-05-18T00:15:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.04040","created_at":"2026-05-18T00:15:21Z"},{"alias_kind":"pith_short_12","alias_value":"4MJBY2FNUVZP","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"4MJBY2FNUVZPAHL5","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"4MJBY2FN","created_at":"2026-05-18T12:31:00Z"}],"graph_snapshots":[{"event_id":"sha256:9f1be3d926e3d5a4642ccac2072b7546c5a35d94dfe49ee62f133ad854da06dc","target":"graph","created_at":"2026-05-18T00:15:21Z","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"},"paper":{"abstract_excerpt":"Obtaining reliable numerical simulations of turbulent fluids is a challenging problem in computational fluid mechanics. The Large Eddy Simulations (LES) models are efficient tools to approximate turbulent fluids and an important step in the validation of these models is the ability to reproduce relevant properties of the flow. In this paper we consider a fully discrete approximation of the Navier-Stokes-Voigt model by an implicit Euler algorithm (with respect to the time variable) and a Fourier-Galerkin method (in the space variables). We prove the convergence to weak solutions of the incompre","authors_text":"Luigi C. Berselli, Stefano Spirito","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2017-08-14T09:08:22Z","title":"On the convergence of a fully discrete scheme of LES type to physically relevant solutions of the incompressible Navier-Stokes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.04040","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:bf479624fb90f15a3f6a691cee37fb9b34617ee1a11ced598a4f842276867f4a","target":"record","created_at":"2026-05-18T00:15:21Z","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":"2e53d6bce54718ad3334fe2b118da3b05f4d3cc183ece6e5c93677e356e75746","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2017-08-14T09:08:22Z","title_canon_sha256":"f61ab91abc72e8d097074e587535bda9e245ec363381fa7e82f282f7b3cdb6a8"},"schema_version":"1.0","source":{"id":"1708.04040","kind":"arxiv","version":1}},"canonical_sha256":"e3121c68ada572f01d7db851b293128625be598ecc5c9e5f92e057e1d6780c38","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e3121c68ada572f01d7db851b293128625be598ecc5c9e5f92e057e1d6780c38","first_computed_at":"2026-05-18T00:15:21.405653Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:15:21.405653Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"f/SFUCv1xiRRgkoA9SXUi/U7FnMeCcWQGmxcSLYSTYSSDel2L6ObqjSb3Rx8s6AGpHGCRZuJhAZXTSWcQYbeCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:15:21.406432Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.04040","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bf479624fb90f15a3f6a691cee37fb9b34617ee1a11ced598a4f842276867f4a","sha256:9f1be3d926e3d5a4642ccac2072b7546c5a35d94dfe49ee62f133ad854da06dc"],"state_sha256":"70cb300ba08e1a2ce2ced280a4aabe98eeb0ad349f394035f5b7a6c13a39c190"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V+V6rVAyySV0+gzKaU4gVSVDneohObQlrZZ7XVTN9eJWPbaIZlnW4yB7rhSI7S/53dDo7NQjvRNt2BJEMmPEDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T23:13:02.646215Z","bundle_sha256":"a56222936b83eb86dadf8ffff150399eff258e591e9f9cf3bfbad945f4dfc6d6"}}