{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:BKVPATX36E254JDR3XFIS53RHK","short_pith_number":"pith:BKVPATX3","canonical_record":{"source":{"id":"2602.07407","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AP","submitted_at":"2026-02-07T06:57:57Z","cross_cats_sorted":[],"title_canon_sha256":"dd77008a21c890c4276092df92843e8eef7df97369a8c51189ab59a22e2e44a4","abstract_canon_sha256":"da212d0aaab1ad80efafdcf2492e74d50160833d00dc054467e19dd3531dcccb"},"schema_version":"1.0"},"canonical_sha256":"0aaaf04efbf135de2471ddca8977713ab50ac0c99e62b5e348e375af3312cc07","source":{"kind":"arxiv","id":"2602.07407","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.07407","created_at":"2026-07-20T01:18:27Z"},{"alias_kind":"arxiv_version","alias_value":"2602.07407v4","created_at":"2026-07-20T01:18:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.07407","created_at":"2026-07-20T01:18:27Z"},{"alias_kind":"pith_short_12","alias_value":"BKVPATX36E25","created_at":"2026-07-20T01:18:27Z"},{"alias_kind":"pith_short_16","alias_value":"BKVPATX36E254JDR","created_at":"2026-07-20T01:18:27Z"},{"alias_kind":"pith_short_8","alias_value":"BKVPATX3","created_at":"2026-07-20T01:18:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:BKVPATX36E254JDR3XFIS53RHK","target":"record","payload":{"canonical_record":{"source":{"id":"2602.07407","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AP","submitted_at":"2026-02-07T06:57:57Z","cross_cats_sorted":[],"title_canon_sha256":"dd77008a21c890c4276092df92843e8eef7df97369a8c51189ab59a22e2e44a4","abstract_canon_sha256":"da212d0aaab1ad80efafdcf2492e74d50160833d00dc054467e19dd3531dcccb"},"schema_version":"1.0"},"canonical_sha256":"0aaaf04efbf135de2471ddca8977713ab50ac0c99e62b5e348e375af3312cc07","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-20T01:18:27.082541Z","signature_b64":"ofRA31HXGHtRlTY4HCMqA30C5GsQ5IYGaXApIcADSF+f6xxuqBCv7y5QaZP5uv96pFA26OOT/m/n/AGvlrpiDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0aaaf04efbf135de2471ddca8977713ab50ac0c99e62b5e348e375af3312cc07","last_reissued_at":"2026-07-20T01:18:27.081533Z","signature_status":"signed_v1","first_computed_at":"2026-07-20T01:18:27.081533Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2602.07407","source_version":4,"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-07-20T01:18:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h4df01Kqi8MymihIdYXHC1XPc0CkF3IQweJ2OqN0wv9UoOd2sWylrl5MRIXOPJcOKEzJIaFfj5OlN2zcyoPJBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T17:59:48.567578Z"},"content_sha256":"44dc1a6264e3902738d8d2d6ead18c7c62493c6a701e2ba702454afa053ed239","schema_version":"1.0","event_id":"sha256:44dc1a6264e3902738d8d2d6ead18c7c62493c6a701e2ba702454afa053ed239"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:BKVPATX36E254JDR3XFIS53RHK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On two-dimensional steady compactly supported Euler flows with constant vorticity","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Perturbations of annular equilibria produce both nontrivial domains and stable solutions for constant-vorticity Euler flows across three classes of overdetermined free-boundary problems.","cross_cats":[],"primary_cat":"math.AP","authors_text":"Changfeng Gui, Jun Wang, Wen Yang, Yong Zhang","submitted_at":"2026-02-07T06:57:57Z","abstract_excerpt":"In this paper, we study the two-dimensional steady compactly supported incompressible Euler equations with free boundaries. We consider flows with constant vorticity that are perturbations of annular equilibria, in contrast to the laminar flows that predominate in the existing literature on steady water waves. More precisely, we analyze three distinct classes of steady Euler flows with compact support, which correspond, respectively, to partially overdetermined, two-phase overdetermined, and (fully) overdetermined elliptic free-boundary problems. Our main contributions are threefold. For each "},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"For each class, we first prove a flexibility result-the existence of nontrivial admissible domains-by combining shape derivatives with local bifurcation theory. Second, we establish the corresponding rigidity results. Third, we apply the implicit function theorem to show that the standard annular flows are stable under small perturbations of the Neumann boundary condition.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The flows are small perturbations of annular equilibria with constant vorticity, allowing the linearized operators from shape derivatives to satisfy the conditions for local bifurcation and the implicit function theorem to apply directly to the overdetermined problems.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Existence, rigidity, and stability theorems are established for compactly supported steady Euler flows with constant vorticity in partially, two-phase, and fully overdetermined free-boundary problems.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Perturbations of annular equilibria produce both nontrivial domains and stable solutions for constant-vorticity Euler flows across three classes of overdetermined free-boundary problems.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"4612efc058ea2b30ea14f40554cce7a0d29dbc60c9b556114776e56e6ddda13d"},"source":{"id":"2602.07407","kind":"arxiv","version":4},"verdict":{"id":"70974286-9f2d-48ad-a131-828524d3904b","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-16T06:37:43.635566Z","strongest_claim":"For each class, we first prove a flexibility result-the existence of nontrivial admissible domains-by combining shape derivatives with local bifurcation theory. Second, we establish the corresponding rigidity results. Third, we apply the implicit function theorem to show that the standard annular flows are stable under small perturbations of the Neumann boundary condition.","one_line_summary":"Existence, rigidity, and stability theorems are established for compactly supported steady Euler flows with constant vorticity in partially, two-phase, and fully overdetermined free-boundary problems.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The flows are small perturbations of annular equilibria with constant vorticity, allowing the linearized operators from shape derivatives to satisfy the conditions for local bifurcation and the implicit function theorem to apply directly to the overdetermined problems.","pith_extraction_headline":"Perturbations of annular equilibria produce both nontrivial domains and stable solutions for constant-vorticity Euler flows across three classes of overdetermined free-boundary problems."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2602.07407/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"},"verdict_id":"70974286-9f2d-48ad-a131-828524d3904b"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-20T01:18:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3q7aqrfAvjx5dfwgc5FbLRfQccYUpHFdg6I9qOCMsp68BOCleEM3a6Wf/zSBCNliEt9vLs4nYHiO7i+87bcpBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T17:59:48.568495Z"},"content_sha256":"70c9d9353543dd3018571d2a95407cb51f9cf9d6e1d21ef3859faef778072a0d","schema_version":"1.0","event_id":"sha256:70c9d9353543dd3018571d2a95407cb51f9cf9d6e1d21ef3859faef778072a0d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BKVPATX36E254JDR3XFIS53RHK/bundle.json","state_url":"https://pith.science/pith/BKVPATX36E254JDR3XFIS53RHK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BKVPATX36E254JDR3XFIS53RHK/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-08-15T17:59:48Z","links":{"resolver":"https://pith.science/pith/BKVPATX36E254JDR3XFIS53RHK","bundle":"https://pith.science/pith/BKVPATX36E254JDR3XFIS53RHK/bundle.json","state":"https://pith.science/pith/BKVPATX36E254JDR3XFIS53RHK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BKVPATX36E254JDR3XFIS53RHK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:BKVPATX36E254JDR3XFIS53RHK","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":"da212d0aaab1ad80efafdcf2492e74d50160833d00dc054467e19dd3531dcccb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AP","submitted_at":"2026-02-07T06:57:57Z","title_canon_sha256":"dd77008a21c890c4276092df92843e8eef7df97369a8c51189ab59a22e2e44a4"},"schema_version":"1.0","source":{"id":"2602.07407","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.07407","created_at":"2026-07-20T01:18:27Z"},{"alias_kind":"arxiv_version","alias_value":"2602.07407v4","created_at":"2026-07-20T01:18:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.07407","created_at":"2026-07-20T01:18:27Z"},{"alias_kind":"pith_short_12","alias_value":"BKVPATX36E25","created_at":"2026-07-20T01:18:27Z"},{"alias_kind":"pith_short_16","alias_value":"BKVPATX36E254JDR","created_at":"2026-07-20T01:18:27Z"},{"alias_kind":"pith_short_8","alias_value":"BKVPATX3","created_at":"2026-07-20T01:18:27Z"}],"graph_snapshots":[{"event_id":"sha256:70c9d9353543dd3018571d2a95407cb51f9cf9d6e1d21ef3859faef778072a0d","target":"graph","created_at":"2026-07-20T01:18:27Z","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":"For each class, we first prove a flexibility result-the existence of nontrivial admissible domains-by combining shape derivatives with local bifurcation theory. Second, we establish the corresponding rigidity results. Third, we apply the implicit function theorem to show that the standard annular flows are stable under small perturbations of the Neumann boundary condition."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The flows are small perturbations of annular equilibria with constant vorticity, allowing the linearized operators from shape derivatives to satisfy the conditions for local bifurcation and the implicit function theorem to apply directly to the overdetermined problems."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Existence, rigidity, and stability theorems are established for compactly supported steady Euler flows with constant vorticity in partially, two-phase, and fully overdetermined free-boundary problems."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Perturbations of annular equilibria produce both nontrivial domains and stable solutions for constant-vorticity Euler flows across three classes of overdetermined free-boundary problems."}],"snapshot_sha256":"4612efc058ea2b30ea14f40554cce7a0d29dbc60c9b556114776e56e6ddda13d"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2602.07407/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we study the two-dimensional steady compactly supported incompressible Euler equations with free boundaries. We consider flows with constant vorticity that are perturbations of annular equilibria, in contrast to the laminar flows that predominate in the existing literature on steady water waves. More precisely, we analyze three distinct classes of steady Euler flows with compact support, which correspond, respectively, to partially overdetermined, two-phase overdetermined, and (fully) overdetermined elliptic free-boundary problems. Our main contributions are threefold. For each ","authors_text":"Changfeng Gui, Jun Wang, Wen Yang, Yong Zhang","cross_cats":[],"headline":"Perturbations of annular equilibria produce both nontrivial domains and stable solutions for constant-vorticity Euler flows across three classes of overdetermined free-boundary problems.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AP","submitted_at":"2026-02-07T06:57:57Z","title":"On two-dimensional steady compactly supported Euler flows with constant vorticity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.07407","kind":"arxiv","version":4},"verdict":{"created_at":"2026-05-16T06:37:43.635566Z","id":"70974286-9f2d-48ad-a131-828524d3904b","model_set":{"reader":"grok-4.3"},"one_line_summary":"Existence, rigidity, and stability theorems are established for compactly supported steady Euler flows with constant vorticity in partially, two-phase, and fully overdetermined free-boundary problems.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Perturbations of annular equilibria produce both nontrivial domains and stable solutions for constant-vorticity Euler flows across three classes of overdetermined free-boundary problems.","strongest_claim":"For each class, we first prove a flexibility result-the existence of nontrivial admissible domains-by combining shape derivatives with local bifurcation theory. Second, we establish the corresponding rigidity results. Third, we apply the implicit function theorem to show that the standard annular flows are stable under small perturbations of the Neumann boundary condition.","weakest_assumption":"The flows are small perturbations of annular equilibria with constant vorticity, allowing the linearized operators from shape derivatives to satisfy the conditions for local bifurcation and the implicit function theorem to apply directly to the overdetermined problems."}},"verdict_id":"70974286-9f2d-48ad-a131-828524d3904b"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:44dc1a6264e3902738d8d2d6ead18c7c62493c6a701e2ba702454afa053ed239","target":"record","created_at":"2026-07-20T01:18:27Z","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":"da212d0aaab1ad80efafdcf2492e74d50160833d00dc054467e19dd3531dcccb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AP","submitted_at":"2026-02-07T06:57:57Z","title_canon_sha256":"dd77008a21c890c4276092df92843e8eef7df97369a8c51189ab59a22e2e44a4"},"schema_version":"1.0","source":{"id":"2602.07407","kind":"arxiv","version":4}},"canonical_sha256":"0aaaf04efbf135de2471ddca8977713ab50ac0c99e62b5e348e375af3312cc07","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0aaaf04efbf135de2471ddca8977713ab50ac0c99e62b5e348e375af3312cc07","first_computed_at":"2026-07-20T01:18:27.081533Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-20T01:18:27.081533Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ofRA31HXGHtRlTY4HCMqA30C5GsQ5IYGaXApIcADSF+f6xxuqBCv7y5QaZP5uv96pFA26OOT/m/n/AGvlrpiDA==","signature_status":"signed_v1","signed_at":"2026-07-20T01:18:27.082541Z","signed_message":"canonical_sha256_bytes"},"source_id":"2602.07407","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:44dc1a6264e3902738d8d2d6ead18c7c62493c6a701e2ba702454afa053ed239","sha256:70c9d9353543dd3018571d2a95407cb51f9cf9d6e1d21ef3859faef778072a0d"],"state_sha256":"6031af8773dc4590cb49d9aadf6fed994ddc266de147821d71ac46580bb7535d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OudcPZO6NRVGIVHIdm+TXSJ/DfdXQdPNLHtul7ZcW5ow+LBR0f+v+qeHJ1to1Qn2C1fP5KnWGIxt1kkF2v52AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T17:59:48.573195Z","bundle_sha256":"1aa13729a95fef55defae0be99ddb3e42bd21cb59db07c7344fd96cdc4efe3e1"}}