{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:JJKY5ET4QUJBXEKWPFVA6K6AZV","short_pith_number":"pith:JJKY5ET4","canonical_record":{"source":{"id":"1712.08833","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-12-23T20:28:55Z","cross_cats_sorted":["math-ph","math.DS","math.MP","nlin.CD"],"title_canon_sha256":"6b414d7c30bb222c564bbe558c0274fe8bd851223636e91b18796c991147a78d","abstract_canon_sha256":"539efa0f7b0cf9c8ee8794a167d8d0beb23f9060ed2159028081d8af5738a197"},"schema_version":"1.0"},"canonical_sha256":"4a558e927c85121b9156796a0f2bc0cd44f96dccbaed87db656006284f2d4e43","source":{"kind":"arxiv","id":"1712.08833","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.08833","created_at":"2026-05-18T00:27:16Z"},{"alias_kind":"arxiv_version","alias_value":"1712.08833v1","created_at":"2026-05-18T00:27:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.08833","created_at":"2026-05-18T00:27:16Z"},{"alias_kind":"pith_short_12","alias_value":"JJKY5ET4QUJB","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"JJKY5ET4QUJBXEKW","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"JJKY5ET4","created_at":"2026-05-18T12:31:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:JJKY5ET4QUJBXEKWPFVA6K6AZV","target":"record","payload":{"canonical_record":{"source":{"id":"1712.08833","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-12-23T20:28:55Z","cross_cats_sorted":["math-ph","math.DS","math.MP","nlin.CD"],"title_canon_sha256":"6b414d7c30bb222c564bbe558c0274fe8bd851223636e91b18796c991147a78d","abstract_canon_sha256":"539efa0f7b0cf9c8ee8794a167d8d0beb23f9060ed2159028081d8af5738a197"},"schema_version":"1.0"},"canonical_sha256":"4a558e927c85121b9156796a0f2bc0cd44f96dccbaed87db656006284f2d4e43","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:27:16.686192Z","signature_b64":"I2QFjoWNk7JLEDW9k72Bf0wykJYRTfJ72mmUPEIsoOFC7wPmNsG3/VMkdWJyIwMghuIRvfa9l5T8pGbMAxEPBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4a558e927c85121b9156796a0f2bc0cd44f96dccbaed87db656006284f2d4e43","last_reissued_at":"2026-05-18T00:27:16.685821Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:27:16.685821Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1712.08833","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:27:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wC3YavPUB8rUGyVDD1vFXjX4J4hOqKyOSnG5uolIJijZa2M5pN2Vpw2+9vo0ZKTClCqE5m8sDXXba6Phgw86AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T18:43:55.596480Z"},"content_sha256":"c5b86e5337bd7b994d4924653a1363c5af6578249fe92c8e17c7b1d3e8ef3748","schema_version":"1.0","event_id":"sha256:c5b86e5337bd7b994d4924653a1363c5af6578249fe92c8e17c7b1d3e8ef3748"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:JJKY5ET4QUJBXEKWPFVA6K6AZV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Exponentially convergent data assimilation algorithm for Navier-Stokes equations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math-ph","math.DS","math.MP","nlin.CD"],"primary_cat":"math.OC","authors_text":"Jason Frank, Sergiy Zhuk, Tigran Tchrakian","submitted_at":"2017-12-23T20:28:55Z","abstract_excerpt":"The paper presents a new state estimation algorithm for a bilinear equation representing the Fourier- Galerkin (FG) approximation of the Navier-Stokes (NS) equations on a torus in R2. This state equation is subject to uncertain but bounded noise in the input (Kolmogorov forcing) and initial conditions, and its output is incomplete and contains bounded noise. The algorithm designs a time-dependent gain such that the estimation error converges to zero exponentially. The sufficient condition for the existence of the gain are formulated in the form of algebraic Riccati equations. To demonstrate th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.08833","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:27:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FlGe8p54Xk0ChlHewxEQ+jyd0u/Dn/gvk1fInUb+Kc1Z42BtaU3XmRgHE7THmEMREjVplNXpWnaxjEZT64CvDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T18:43:55.596839Z"},"content_sha256":"cf13452fbbc86326542e1f51c133ac1d38033ad98d2f4714ff503b2c245e51c5","schema_version":"1.0","event_id":"sha256:cf13452fbbc86326542e1f51c133ac1d38033ad98d2f4714ff503b2c245e51c5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JJKY5ET4QUJBXEKWPFVA6K6AZV/bundle.json","state_url":"https://pith.science/pith/JJKY5ET4QUJBXEKWPFVA6K6AZV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JJKY5ET4QUJBXEKWPFVA6K6AZV/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-22T18:43:55Z","links":{"resolver":"https://pith.science/pith/JJKY5ET4QUJBXEKWPFVA6K6AZV","bundle":"https://pith.science/pith/JJKY5ET4QUJBXEKWPFVA6K6AZV/bundle.json","state":"https://pith.science/pith/JJKY5ET4QUJBXEKWPFVA6K6AZV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JJKY5ET4QUJBXEKWPFVA6K6AZV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:JJKY5ET4QUJBXEKWPFVA6K6AZV","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":"539efa0f7b0cf9c8ee8794a167d8d0beb23f9060ed2159028081d8af5738a197","cross_cats_sorted":["math-ph","math.DS","math.MP","nlin.CD"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-12-23T20:28:55Z","title_canon_sha256":"6b414d7c30bb222c564bbe558c0274fe8bd851223636e91b18796c991147a78d"},"schema_version":"1.0","source":{"id":"1712.08833","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.08833","created_at":"2026-05-18T00:27:16Z"},{"alias_kind":"arxiv_version","alias_value":"1712.08833v1","created_at":"2026-05-18T00:27:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.08833","created_at":"2026-05-18T00:27:16Z"},{"alias_kind":"pith_short_12","alias_value":"JJKY5ET4QUJB","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"JJKY5ET4QUJBXEKW","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"JJKY5ET4","created_at":"2026-05-18T12:31:24Z"}],"graph_snapshots":[{"event_id":"sha256:cf13452fbbc86326542e1f51c133ac1d38033ad98d2f4714ff503b2c245e51c5","target":"graph","created_at":"2026-05-18T00:27:16Z","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":"The paper presents a new state estimation algorithm for a bilinear equation representing the Fourier- Galerkin (FG) approximation of the Navier-Stokes (NS) equations on a torus in R2. This state equation is subject to uncertain but bounded noise in the input (Kolmogorov forcing) and initial conditions, and its output is incomplete and contains bounded noise. The algorithm designs a time-dependent gain such that the estimation error converges to zero exponentially. The sufficient condition for the existence of the gain are formulated in the form of algebraic Riccati equations. To demonstrate th","authors_text":"Jason Frank, Sergiy Zhuk, Tigran Tchrakian","cross_cats":["math-ph","math.DS","math.MP","nlin.CD"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-12-23T20:28:55Z","title":"Exponentially convergent data assimilation algorithm for Navier-Stokes equations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.08833","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:c5b86e5337bd7b994d4924653a1363c5af6578249fe92c8e17c7b1d3e8ef3748","target":"record","created_at":"2026-05-18T00:27:16Z","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":"539efa0f7b0cf9c8ee8794a167d8d0beb23f9060ed2159028081d8af5738a197","cross_cats_sorted":["math-ph","math.DS","math.MP","nlin.CD"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-12-23T20:28:55Z","title_canon_sha256":"6b414d7c30bb222c564bbe558c0274fe8bd851223636e91b18796c991147a78d"},"schema_version":"1.0","source":{"id":"1712.08833","kind":"arxiv","version":1}},"canonical_sha256":"4a558e927c85121b9156796a0f2bc0cd44f96dccbaed87db656006284f2d4e43","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4a558e927c85121b9156796a0f2bc0cd44f96dccbaed87db656006284f2d4e43","first_computed_at":"2026-05-18T00:27:16.685821Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:27:16.685821Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"I2QFjoWNk7JLEDW9k72Bf0wykJYRTfJ72mmUPEIsoOFC7wPmNsG3/VMkdWJyIwMghuIRvfa9l5T8pGbMAxEPBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:27:16.686192Z","signed_message":"canonical_sha256_bytes"},"source_id":"1712.08833","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c5b86e5337bd7b994d4924653a1363c5af6578249fe92c8e17c7b1d3e8ef3748","sha256:cf13452fbbc86326542e1f51c133ac1d38033ad98d2f4714ff503b2c245e51c5"],"state_sha256":"81a1fcc930e89b8812540a246d7c77ec9fbb8743ead0526b1bd8758a43563699"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZQGre8U+V25QRvTGbdzYj3VSJ+hJdhqoPxxIcvkZz0FiWbSBhhAi9iuAmHEJF95k9akTmkzRAtBfMJd28QkRAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-22T18:43:55.598851Z","bundle_sha256":"4f4a3703120a447593079536d7bca62a654c59c7dd7315bd16205ed3471da639"}}