{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:4W7CLTBM5KDQBR3KPVMDQN5MKA","short_pith_number":"pith:4W7CLTBM","canonical_record":{"source":{"id":"1211.2102","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-11-09T11:20:39Z","cross_cats_sorted":[],"title_canon_sha256":"fd55beabe5359410ec303c150605d64c01c2bcc5bb1da062376962e8b7f0b335","abstract_canon_sha256":"73bf4a5023cc0af23363a0640b845cbdc48cb11ee170c5e51c00559d5baf134d"},"schema_version":"1.0"},"canonical_sha256":"e5be25cc2cea8700c76a7d583837ac500de074a2683156634197b251642b16d0","source":{"kind":"arxiv","id":"1211.2102","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.2102","created_at":"2026-05-18T03:08:38Z"},{"alias_kind":"arxiv_version","alias_value":"1211.2102v2","created_at":"2026-05-18T03:08:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.2102","created_at":"2026-05-18T03:08:38Z"},{"alias_kind":"pith_short_12","alias_value":"4W7CLTBM5KDQ","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_16","alias_value":"4W7CLTBM5KDQBR3K","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_8","alias_value":"4W7CLTBM","created_at":"2026-05-18T12:26:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:4W7CLTBM5KDQBR3KPVMDQN5MKA","target":"record","payload":{"canonical_record":{"source":{"id":"1211.2102","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-11-09T11:20:39Z","cross_cats_sorted":[],"title_canon_sha256":"fd55beabe5359410ec303c150605d64c01c2bcc5bb1da062376962e8b7f0b335","abstract_canon_sha256":"73bf4a5023cc0af23363a0640b845cbdc48cb11ee170c5e51c00559d5baf134d"},"schema_version":"1.0"},"canonical_sha256":"e5be25cc2cea8700c76a7d583837ac500de074a2683156634197b251642b16d0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:08:38.244064Z","signature_b64":"oU4v/ruWGhfbKn5IAG4q113iVT8s/X//dta68EXgd083ZshiC28T1lv0h5soYyS/dT+zepp32XQ44IaIIwnCAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e5be25cc2cea8700c76a7d583837ac500de074a2683156634197b251642b16d0","last_reissued_at":"2026-05-18T03:08:38.243474Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:08:38.243474Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1211.2102","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-18T03:08:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J7QG8kdsi6TKhxbNBb4GQtifkw08hOVYUxyvfrUvoyheGevoXlyP1kCRiKQpJCtB1qVr2LY856vvgOnDBq6nDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T14:02:33.757859Z"},"content_sha256":"d12eeb9889eb35519772ae2dc54fe0c5eddf7fea7f8944d70031754a8c289934","schema_version":"1.0","event_id":"sha256:d12eeb9889eb35519772ae2dc54fe0c5eddf7fea7f8944d70031754a8c289934"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:4W7CLTBM5KDQBR3KPVMDQN5MKA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Local null controllability of the three-dimensional Navier-Stokes system with a distributed control having two vanishing components","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Jean-Michel Coron, Pierre Lissy","submitted_at":"2012-11-09T11:20:39Z","abstract_excerpt":"In this paper, we prove a local null controllability result for the three-dimensional Navier-Stokes equations on a (smooth) bounded domain of R^3 with null Dirichlet boundary conditions. The control is distributed in an arbitrarily small nonempty open subset and has two vanishing components. J.-L. Lions and E. Zuazua proved that the linearized system is not necessarily null controllable even if the control is distributed on the entire domain, hence the standard linearization method fails. We use the return method together with a new algebraic method inspired by the works of M. Gromov and previ"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.2102","kind":"arxiv","version":2},"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-18T03:08:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N+L/8Ee5SPTXaJ0iuZutaHnYG4zmi37PrbG6aMZdglH9teXgeK/6KKirLtIHKe7TM2Uc3h7/TkqvIuqjasBaAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T14:02:33.758199Z"},"content_sha256":"a695fb1d3c65907d02af530cfd0df4f0755c817d2364af34e68b275b2415aeff","schema_version":"1.0","event_id":"sha256:a695fb1d3c65907d02af530cfd0df4f0755c817d2364af34e68b275b2415aeff"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4W7CLTBM5KDQBR3KPVMDQN5MKA/bundle.json","state_url":"https://pith.science/pith/4W7CLTBM5KDQBR3KPVMDQN5MKA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4W7CLTBM5KDQBR3KPVMDQN5MKA/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-01T14:02:33Z","links":{"resolver":"https://pith.science/pith/4W7CLTBM5KDQBR3KPVMDQN5MKA","bundle":"https://pith.science/pith/4W7CLTBM5KDQBR3KPVMDQN5MKA/bundle.json","state":"https://pith.science/pith/4W7CLTBM5KDQBR3KPVMDQN5MKA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4W7CLTBM5KDQBR3KPVMDQN5MKA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:4W7CLTBM5KDQBR3KPVMDQN5MKA","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":"73bf4a5023cc0af23363a0640b845cbdc48cb11ee170c5e51c00559d5baf134d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-11-09T11:20:39Z","title_canon_sha256":"fd55beabe5359410ec303c150605d64c01c2bcc5bb1da062376962e8b7f0b335"},"schema_version":"1.0","source":{"id":"1211.2102","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.2102","created_at":"2026-05-18T03:08:38Z"},{"alias_kind":"arxiv_version","alias_value":"1211.2102v2","created_at":"2026-05-18T03:08:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.2102","created_at":"2026-05-18T03:08:38Z"},{"alias_kind":"pith_short_12","alias_value":"4W7CLTBM5KDQ","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_16","alias_value":"4W7CLTBM5KDQBR3K","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_8","alias_value":"4W7CLTBM","created_at":"2026-05-18T12:26:53Z"}],"graph_snapshots":[{"event_id":"sha256:a695fb1d3c65907d02af530cfd0df4f0755c817d2364af34e68b275b2415aeff","target":"graph","created_at":"2026-05-18T03:08:38Z","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":"In this paper, we prove a local null controllability result for the three-dimensional Navier-Stokes equations on a (smooth) bounded domain of R^3 with null Dirichlet boundary conditions. The control is distributed in an arbitrarily small nonempty open subset and has two vanishing components. J.-L. Lions and E. Zuazua proved that the linearized system is not necessarily null controllable even if the control is distributed on the entire domain, hence the standard linearization method fails. We use the return method together with a new algebraic method inspired by the works of M. Gromov and previ","authors_text":"Jean-Michel Coron, Pierre Lissy","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-11-09T11:20:39Z","title":"Local null controllability of the three-dimensional Navier-Stokes system with a distributed control having two vanishing components"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.2102","kind":"arxiv","version":2},"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:d12eeb9889eb35519772ae2dc54fe0c5eddf7fea7f8944d70031754a8c289934","target":"record","created_at":"2026-05-18T03:08:38Z","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":"73bf4a5023cc0af23363a0640b845cbdc48cb11ee170c5e51c00559d5baf134d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-11-09T11:20:39Z","title_canon_sha256":"fd55beabe5359410ec303c150605d64c01c2bcc5bb1da062376962e8b7f0b335"},"schema_version":"1.0","source":{"id":"1211.2102","kind":"arxiv","version":2}},"canonical_sha256":"e5be25cc2cea8700c76a7d583837ac500de074a2683156634197b251642b16d0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e5be25cc2cea8700c76a7d583837ac500de074a2683156634197b251642b16d0","first_computed_at":"2026-05-18T03:08:38.243474Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:08:38.243474Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oU4v/ruWGhfbKn5IAG4q113iVT8s/X//dta68EXgd083ZshiC28T1lv0h5soYyS/dT+zepp32XQ44IaIIwnCAg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:08:38.244064Z","signed_message":"canonical_sha256_bytes"},"source_id":"1211.2102","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d12eeb9889eb35519772ae2dc54fe0c5eddf7fea7f8944d70031754a8c289934","sha256:a695fb1d3c65907d02af530cfd0df4f0755c817d2364af34e68b275b2415aeff"],"state_sha256":"c1ca3de9816e94db6e5732838bf2a30271c3093a6d75ede70e35c28de4d7b075"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7OYiimAp5uYicvuwJ/5QhC9MuNFM5eT/nfv1J0k63G1v5xIpwYHXGvgMFvJtE/A7dPiwxyk2XfmCpYZbschmAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T14:02:33.760234Z","bundle_sha256":"042e54fca0555609b01908ae0963f1a80979ade5d07d4a0559e9f80ede1a2475"}}