{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:HCCEMMCXRFPDYASEKFUJQLQI2G","short_pith_number":"pith:HCCEMMCX","schema_version":"1.0","canonical_sha256":"3884463057895e3c02445168982e08d198eb308061a85af1641b59640591a8ae","source":{"kind":"arxiv","id":"1802.08240","version":2},"attestation_state":"computed","paper":{"title":"Bounds on mean energy in the Kuramoto-Sivashinsky equation computed using semidefinite programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NA","math.NA","physics.flu-dyn"],"primary_cat":"math.DS","authors_text":"David Goluskin, Giovanni Fantuzzi","submitted_at":"2018-02-22T18:52:32Z","abstract_excerpt":"We present methods for bounding infinite-time averages in dynamical systems governed by nonlinear PDEs. The methods rely on auxiliary functionals, which are similar to Lyapunov functionals but satisfy different inequalities. The inequalities are enforced by requiring certain expressions to be sums of squares of polynomials, and the optimal choice of auxiliary functional is posed as a semidefinite program (SDP) that can be solved computationally. To formulate these SDPs we approximate the PDE by truncated systems of ODEs and proceed in one of two ways. The first approach is to compute bounds fo"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1802.08240","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2018-02-22T18:52:32Z","cross_cats_sorted":["cs.NA","math.NA","physics.flu-dyn"],"title_canon_sha256":"d198ce17f0164926915851436b3886c063848fcb24615b29bab6a7a6e469f1a7","abstract_canon_sha256":"027047b3f1d45f15da2f304c18533de7130e731e711762bc5a977bd76835606d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-04T19:11:32.887303Z","signature_b64":"qAHHgP+93l9WcNvVj4xx+DUcrtv3J+/1piMgxAnMHMOcUXP2JuLRgsxfJVo3OepPQg7w8p3rlVx7j1hUVsw0CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3884463057895e3c02445168982e08d198eb308061a85af1641b59640591a8ae","last_reissued_at":"2026-06-04T19:11:32.886776Z","signature_status":"signed_v1","first_computed_at":"2026-06-04T19:11:32.886776Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Bounds on mean energy in the Kuramoto-Sivashinsky equation computed using semidefinite programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NA","math.NA","physics.flu-dyn"],"primary_cat":"math.DS","authors_text":"David Goluskin, Giovanni Fantuzzi","submitted_at":"2018-02-22T18:52:32Z","abstract_excerpt":"We present methods for bounding infinite-time averages in dynamical systems governed by nonlinear PDEs. The methods rely on auxiliary functionals, which are similar to Lyapunov functionals but satisfy different inequalities. The inequalities are enforced by requiring certain expressions to be sums of squares of polynomials, and the optimal choice of auxiliary functional is posed as a semidefinite program (SDP) that can be solved computationally. To formulate these SDPs we approximate the PDE by truncated systems of ODEs and proceed in one of two ways. The first approach is to compute bounds fo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.08240","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1802.08240/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1802.08240","created_at":"2026-06-04T19:11:32.886838+00:00"},{"alias_kind":"arxiv_version","alias_value":"1802.08240v2","created_at":"2026-06-04T19:11:32.886838+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.08240","created_at":"2026-06-04T19:11:32.886838+00:00"},{"alias_kind":"pith_short_12","alias_value":"HCCEMMCXRFPD","created_at":"2026-06-04T19:11:32.886838+00:00"},{"alias_kind":"pith_short_16","alias_value":"HCCEMMCXRFPDYASE","created_at":"2026-06-04T19:11:32.886838+00:00"},{"alias_kind":"pith_short_8","alias_value":"HCCEMMCX","created_at":"2026-06-04T19:11:32.886838+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/HCCEMMCXRFPDYASEKFUJQLQI2G","json":"https://pith.science/pith/HCCEMMCXRFPDYASEKFUJQLQI2G.json","graph_json":"https://pith.science/api/pith-number/HCCEMMCXRFPDYASEKFUJQLQI2G/graph.json","events_json":"https://pith.science/api/pith-number/HCCEMMCXRFPDYASEKFUJQLQI2G/events.json","paper":"https://pith.science/paper/HCCEMMCX"},"agent_actions":{"view_html":"https://pith.science/pith/HCCEMMCXRFPDYASEKFUJQLQI2G","download_json":"https://pith.science/pith/HCCEMMCXRFPDYASEKFUJQLQI2G.json","view_paper":"https://pith.science/paper/HCCEMMCX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1802.08240&json=true","fetch_graph":"https://pith.science/api/pith-number/HCCEMMCXRFPDYASEKFUJQLQI2G/graph.json","fetch_events":"https://pith.science/api/pith-number/HCCEMMCXRFPDYASEKFUJQLQI2G/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HCCEMMCXRFPDYASEKFUJQLQI2G/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HCCEMMCXRFPDYASEKFUJQLQI2G/action/storage_attestation","attest_author":"https://pith.science/pith/HCCEMMCXRFPDYASEKFUJQLQI2G/action/author_attestation","sign_citation":"https://pith.science/pith/HCCEMMCXRFPDYASEKFUJQLQI2G/action/citation_signature","submit_replication":"https://pith.science/pith/HCCEMMCXRFPDYASEKFUJQLQI2G/action/replication_record"}},"created_at":"2026-06-04T19:11:32.886838+00:00","updated_at":"2026-06-04T19:11:32.886838+00:00"}