{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:O6SPCW5CW5RIRE6PEUZEGLNJY3","short_pith_number":"pith:O6SPCW5C","canonical_record":{"source":{"id":"1210.3184","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-10-11T11:40:37Z","cross_cats_sorted":[],"title_canon_sha256":"65f0f62f0654c3fd078fca4c16b6692b65132a3bb5bf4cced0957940742702d2","abstract_canon_sha256":"0c2ba2b475e4f514c78778244c019bc4d2b0ebf60c399a99d8a515c9e388590a"},"schema_version":"1.0"},"canonical_sha256":"77a4f15ba2b7628893cf2532432da9c6cc60c2f87a5a2f857b4e738553b34c79","source":{"kind":"arxiv","id":"1210.3184","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.3184","created_at":"2026-05-18T03:43:28Z"},{"alias_kind":"arxiv_version","alias_value":"1210.3184v1","created_at":"2026-05-18T03:43:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.3184","created_at":"2026-05-18T03:43:28Z"},{"alias_kind":"pith_short_12","alias_value":"O6SPCW5CW5RI","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_16","alias_value":"O6SPCW5CW5RIRE6P","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_8","alias_value":"O6SPCW5C","created_at":"2026-05-18T12:27:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:O6SPCW5CW5RIRE6PEUZEGLNJY3","target":"record","payload":{"canonical_record":{"source":{"id":"1210.3184","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-10-11T11:40:37Z","cross_cats_sorted":[],"title_canon_sha256":"65f0f62f0654c3fd078fca4c16b6692b65132a3bb5bf4cced0957940742702d2","abstract_canon_sha256":"0c2ba2b475e4f514c78778244c019bc4d2b0ebf60c399a99d8a515c9e388590a"},"schema_version":"1.0"},"canonical_sha256":"77a4f15ba2b7628893cf2532432da9c6cc60c2f87a5a2f857b4e738553b34c79","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:43:28.125347Z","signature_b64":"BKmCfu+Im616mzJn0gaPyqLXrfecN/7dgpPyiGxi6FsKYYxymfzhWrNOSeQ5rrYJzT37GM5VI5DZGjXMuyRcBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"77a4f15ba2b7628893cf2532432da9c6cc60c2f87a5a2f857b4e738553b34c79","last_reissued_at":"2026-05-18T03:43:28.124717Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:43:28.124717Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1210.3184","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-18T03:43:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O2qHzcM/SUMk/JGs/NYO3vMYsPPzNB6PiAhruvywCGNumjD6/Z0E/xuOr70UCms/y5Otq+XP9PSPCJMmDoslCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T19:41:26.144896Z"},"content_sha256":"8eae1a2c928abb3afb5b755bac4902cfacae4d1ce71764c33ba0479ee24ffe6c","schema_version":"1.0","event_id":"sha256:8eae1a2c928abb3afb5b755bac4902cfacae4d1ce71764c33ba0479ee24ffe6c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:O6SPCW5CW5RIRE6PEUZEGLNJY3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Inner approximations of the region of attraction for polynomial dynamical systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Colin N. Jones (EPFL), CTU/FEE), Didier Henrion (LAAS, Milan Korda (EPFL)","submitted_at":"2012-10-11T11:40:37Z","abstract_excerpt":"In a previous work we developed a convex infinite dimensional linear programming (LP) approach to approximating the region of attraction (ROA) of polynomial dynamical systems subject to compact basic semialgebraic state constraints. Finite dimensional relaxations to the infinite-dimensional LP lead to a truncated moment problem in the primal and a polynomial sum-of-squares problem in the dual. This primal-dual linear matrix inequality (LMI) problem can be solved numerically with standard semidefinite programming solvers, producing a hierarchy of outer (i.e. exterior) approximations of the ROA "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.3184","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-18T03:43:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Xl+lgGnuZrrzxCKN9qjpT/z8u74IckQW+5A6J45IMQjii1P3r6Mrmb8wtCJKDIRiIPnaf37E+e++bmLc96YxBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T19:41:26.145230Z"},"content_sha256":"c9c993e113e3d594e98f2cb47c561c4dd3488858b432a38ad6155d5c6485cb07","schema_version":"1.0","event_id":"sha256:c9c993e113e3d594e98f2cb47c561c4dd3488858b432a38ad6155d5c6485cb07"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O6SPCW5CW5RIRE6PEUZEGLNJY3/bundle.json","state_url":"https://pith.science/pith/O6SPCW5CW5RIRE6PEUZEGLNJY3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O6SPCW5CW5RIRE6PEUZEGLNJY3/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-29T19:41:26Z","links":{"resolver":"https://pith.science/pith/O6SPCW5CW5RIRE6PEUZEGLNJY3","bundle":"https://pith.science/pith/O6SPCW5CW5RIRE6PEUZEGLNJY3/bundle.json","state":"https://pith.science/pith/O6SPCW5CW5RIRE6PEUZEGLNJY3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O6SPCW5CW5RIRE6PEUZEGLNJY3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:O6SPCW5CW5RIRE6PEUZEGLNJY3","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":"0c2ba2b475e4f514c78778244c019bc4d2b0ebf60c399a99d8a515c9e388590a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-10-11T11:40:37Z","title_canon_sha256":"65f0f62f0654c3fd078fca4c16b6692b65132a3bb5bf4cced0957940742702d2"},"schema_version":"1.0","source":{"id":"1210.3184","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.3184","created_at":"2026-05-18T03:43:28Z"},{"alias_kind":"arxiv_version","alias_value":"1210.3184v1","created_at":"2026-05-18T03:43:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.3184","created_at":"2026-05-18T03:43:28Z"},{"alias_kind":"pith_short_12","alias_value":"O6SPCW5CW5RI","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_16","alias_value":"O6SPCW5CW5RIRE6P","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_8","alias_value":"O6SPCW5C","created_at":"2026-05-18T12:27:16Z"}],"graph_snapshots":[{"event_id":"sha256:c9c993e113e3d594e98f2cb47c561c4dd3488858b432a38ad6155d5c6485cb07","target":"graph","created_at":"2026-05-18T03:43:28Z","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 a previous work we developed a convex infinite dimensional linear programming (LP) approach to approximating the region of attraction (ROA) of polynomial dynamical systems subject to compact basic semialgebraic state constraints. Finite dimensional relaxations to the infinite-dimensional LP lead to a truncated moment problem in the primal and a polynomial sum-of-squares problem in the dual. This primal-dual linear matrix inequality (LMI) problem can be solved numerically with standard semidefinite programming solvers, producing a hierarchy of outer (i.e. exterior) approximations of the ROA ","authors_text":"Colin N. Jones (EPFL), CTU/FEE), Didier Henrion (LAAS, Milan Korda (EPFL)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-10-11T11:40:37Z","title":"Inner approximations of the region of attraction for polynomial dynamical systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.3184","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:8eae1a2c928abb3afb5b755bac4902cfacae4d1ce71764c33ba0479ee24ffe6c","target":"record","created_at":"2026-05-18T03:43:28Z","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":"0c2ba2b475e4f514c78778244c019bc4d2b0ebf60c399a99d8a515c9e388590a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-10-11T11:40:37Z","title_canon_sha256":"65f0f62f0654c3fd078fca4c16b6692b65132a3bb5bf4cced0957940742702d2"},"schema_version":"1.0","source":{"id":"1210.3184","kind":"arxiv","version":1}},"canonical_sha256":"77a4f15ba2b7628893cf2532432da9c6cc60c2f87a5a2f857b4e738553b34c79","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"77a4f15ba2b7628893cf2532432da9c6cc60c2f87a5a2f857b4e738553b34c79","first_computed_at":"2026-05-18T03:43:28.124717Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:43:28.124717Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BKmCfu+Im616mzJn0gaPyqLXrfecN/7dgpPyiGxi6FsKYYxymfzhWrNOSeQ5rrYJzT37GM5VI5DZGjXMuyRcBg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:43:28.125347Z","signed_message":"canonical_sha256_bytes"},"source_id":"1210.3184","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8eae1a2c928abb3afb5b755bac4902cfacae4d1ce71764c33ba0479ee24ffe6c","sha256:c9c993e113e3d594e98f2cb47c561c4dd3488858b432a38ad6155d5c6485cb07"],"state_sha256":"e34f712195ff10bca4618fa527d4a58b1a83e1a548a796112ce2b6ab3048ddc6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r/5oBKENaSlAp1x0I51Uy8kPV6Z94YtT+PUOBMz8KuE24bSkxUqRaL9NEFp8we6x7zmp+qpv0bFoTuRzHmw1BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T19:41:26.147067Z","bundle_sha256":"dc6aef7c169fa33cd7ad571a720b27b10c7e8f7401c4a2e82e03950d6625b4a0"}}