{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2008:2SK4YIRDBWBBSWUMQT6RZR4KTY","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":"80fe42cd96ff673fb08ec062520d288c15b8c1eb9a33b922cef14bc455a79461","cross_cats_sorted":["cs.NA","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2008-11-14T01:17:14Z","title_canon_sha256":"48073e9198d28dce499981dc52242aa41ae8d460bfe2f06d0d4133507f99bd23"},"schema_version":"1.0","source":{"id":"0811.2249","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0811.2249","created_at":"2026-06-03T23:06:08Z"},{"alias_kind":"arxiv_version","alias_value":"0811.2249v1","created_at":"2026-06-03T23:06:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0811.2249","created_at":"2026-06-03T23:06:08Z"},{"alias_kind":"pith_short_12","alias_value":"2SK4YIRDBWBB","created_at":"2026-06-03T23:06:08Z"},{"alias_kind":"pith_short_16","alias_value":"2SK4YIRDBWBBSWUM","created_at":"2026-06-03T23:06:08Z"},{"alias_kind":"pith_short_8","alias_value":"2SK4YIRD","created_at":"2026-06-03T23:06:08Z"}],"graph_snapshots":[{"event_id":"sha256:893d0ea84345d791cd1c8fd74c16354894c92317b5afb770e4ae9b246137fe15","target":"graph","created_at":"2026-06-03T23:06:08Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/0811.2249/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We propose a general algorithm to enumerate all solutions of a zero-dimensional polynomial system with respect to a given cost function. The algorithm is developed and is used to study a polynomial system obtained by discretizing the steady cavity flow problem in two dimensions. The key technique on which our algorithm is based is to solve polynomial optimization problems via sparse semidefinite programming relaxations (SDPR), which has been adopted successfully to solve reaction-diffusion boundary value problems recently. The cost function to be minimized is derived from discretizing the flui","authors_text":"Kosuke Yokoyama, Martin Mevissen, Nobuki Takayama","cross_cats":["cs.NA","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2008-11-14T01:17:14Z","title":"Solutions of Polynomial Systems Derived from the Steady Cavity Flow Problem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0811.2249","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:d79830165c85064a91ec8b78ae1c86dff1adff735c541bc147c63a7e0f85627d","target":"record","created_at":"2026-06-03T23:06:08Z","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":"80fe42cd96ff673fb08ec062520d288c15b8c1eb9a33b922cef14bc455a79461","cross_cats_sorted":["cs.NA","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2008-11-14T01:17:14Z","title_canon_sha256":"48073e9198d28dce499981dc52242aa41ae8d460bfe2f06d0d4133507f99bd23"},"schema_version":"1.0","source":{"id":"0811.2249","kind":"arxiv","version":1}},"canonical_sha256":"d495cc22230d82195a8c84fd1cc78a9e3f32f4f97bf38474e028113ceac32584","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d495cc22230d82195a8c84fd1cc78a9e3f32f4f97bf38474e028113ceac32584","first_computed_at":"2026-06-03T23:06:08.724023Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-03T23:06:08.724023Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9eNWiwgIqisl/byp5IOLVmdTDm6ae6R0aR4TKZl6EX4CUaq+OjpvFDDg0B6/KTP6qCkz2WSgJLS+CH9H3XdbDA==","signature_status":"signed_v1","signed_at":"2026-06-03T23:06:08.724454Z","signed_message":"canonical_sha256_bytes"},"source_id":"0811.2249","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d79830165c85064a91ec8b78ae1c86dff1adff735c541bc147c63a7e0f85627d","sha256:893d0ea84345d791cd1c8fd74c16354894c92317b5afb770e4ae9b246137fe15"],"state_sha256":"1ef64bc2b1539e73100aebc2aad89eb3773369e436a51e15ddd107a326638d82"}