{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:MQO6FGV62L3B6YSLUORSGVV3GW","short_pith_number":"pith:MQO6FGV6","canonical_record":{"source":{"id":"1712.01150","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2017-12-04T15:35:18Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"3d85453a76954c8da3b191ab700b5b08c8b3e7ad98c63128a202266bd5e736a6","abstract_canon_sha256":"cccfd76abd0a19e6227fee3a73e526027ac75fbdbbc7f1f6922fb23ccc27762c"},"schema_version":"1.0"},"canonical_sha256":"641de29abed2f61f624ba3a32356bb3585cb82694f2643a277a01eff24669a12","source":{"kind":"arxiv","id":"1712.01150","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.01150","created_at":"2026-05-18T00:28:57Z"},{"alias_kind":"arxiv_version","alias_value":"1712.01150v1","created_at":"2026-05-18T00:28:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.01150","created_at":"2026-05-18T00:28:57Z"},{"alias_kind":"pith_short_12","alias_value":"MQO6FGV62L3B","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"MQO6FGV62L3B6YSL","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"MQO6FGV6","created_at":"2026-05-18T12:31:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:MQO6FGV62L3B6YSLUORSGVV3GW","target":"record","payload":{"canonical_record":{"source":{"id":"1712.01150","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2017-12-04T15:35:18Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"3d85453a76954c8da3b191ab700b5b08c8b3e7ad98c63128a202266bd5e736a6","abstract_canon_sha256":"cccfd76abd0a19e6227fee3a73e526027ac75fbdbbc7f1f6922fb23ccc27762c"},"schema_version":"1.0"},"canonical_sha256":"641de29abed2f61f624ba3a32356bb3585cb82694f2643a277a01eff24669a12","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:28:57.777076Z","signature_b64":"qHEQEq+hnBUhUl/bYEopq9D4guhNeJ/eTI9thiKoYFn9n+A/q2Ocl9LJ6e/7mgxYaBMq2Ux66nVaEs9etqdpCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"641de29abed2f61f624ba3a32356bb3585cb82694f2643a277a01eff24669a12","last_reissued_at":"2026-05-18T00:28:57.776629Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:28:57.776629Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1712.01150","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-18T00:28:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"828uFjvLPMghIuEKSKKtppLKY+gqbJa4gTDEB37sazgxo/2sltfxsLxq1tWDnJM0ktW4AAF2EAmFA5idwa+ZBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T10:23:41.495259Z"},"content_sha256":"4813eadb92accdee2f7f307f3eda4a9bd71759f7181fab32c0e0bd111b742443","schema_version":"1.0","event_id":"sha256:4813eadb92accdee2f7f307f3eda4a9bd71759f7181fab32c0e0bd111b742443"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:MQO6FGV62L3B6YSLUORSGVV3GW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Maximal Positively Invariant Set: Polynomial Setting","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"math.DS","authors_text":"Mario E. Villanueva, Sa\\v{s}a V. Rakovi\\'c","submitted_at":"2017-12-04T15:35:18Z","abstract_excerpt":"This note considers the maximal positively invariant set for polynomial discrete time dynamics subject to constraints specified by a basic semialgebraic set. The note utilizes a relatively direct, but apparently overlooked, fact stating that the related preimage map preserves basic semialgebraic structure. In fact, this property propagates to underlying set--dynamics induced by the associated restricted preimage map in general and to its maximal trajectory in particular. The finite time convergence of the corresponding maximal trajectory to the maximal positively invariant set is verified unde"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.01150","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-18T00:28:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HEkKMWgNLYb/taSMb9JpBB2lD8FXFfalAOsan83wSFlH2i8yJc3u4a8zvLzZnWNun5OVjhMUibdCDqZlYsr1CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T10:23:41.495621Z"},"content_sha256":"5ab74495070d830b8fb860ffeb214c45b5431ed22c5e066d5c51d18751b0e04b","schema_version":"1.0","event_id":"sha256:5ab74495070d830b8fb860ffeb214c45b5431ed22c5e066d5c51d18751b0e04b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MQO6FGV62L3B6YSLUORSGVV3GW/bundle.json","state_url":"https://pith.science/pith/MQO6FGV62L3B6YSLUORSGVV3GW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MQO6FGV62L3B6YSLUORSGVV3GW/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-05T10:23:41Z","links":{"resolver":"https://pith.science/pith/MQO6FGV62L3B6YSLUORSGVV3GW","bundle":"https://pith.science/pith/MQO6FGV62L3B6YSLUORSGVV3GW/bundle.json","state":"https://pith.science/pith/MQO6FGV62L3B6YSLUORSGVV3GW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MQO6FGV62L3B6YSLUORSGVV3GW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:MQO6FGV62L3B6YSLUORSGVV3GW","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":"cccfd76abd0a19e6227fee3a73e526027ac75fbdbbc7f1f6922fb23ccc27762c","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2017-12-04T15:35:18Z","title_canon_sha256":"3d85453a76954c8da3b191ab700b5b08c8b3e7ad98c63128a202266bd5e736a6"},"schema_version":"1.0","source":{"id":"1712.01150","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.01150","created_at":"2026-05-18T00:28:57Z"},{"alias_kind":"arxiv_version","alias_value":"1712.01150v1","created_at":"2026-05-18T00:28:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.01150","created_at":"2026-05-18T00:28:57Z"},{"alias_kind":"pith_short_12","alias_value":"MQO6FGV62L3B","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"MQO6FGV62L3B6YSL","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"MQO6FGV6","created_at":"2026-05-18T12:31:31Z"}],"graph_snapshots":[{"event_id":"sha256:5ab74495070d830b8fb860ffeb214c45b5431ed22c5e066d5c51d18751b0e04b","target":"graph","created_at":"2026-05-18T00:28:57Z","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":"This note considers the maximal positively invariant set for polynomial discrete time dynamics subject to constraints specified by a basic semialgebraic set. The note utilizes a relatively direct, but apparently overlooked, fact stating that the related preimage map preserves basic semialgebraic structure. In fact, this property propagates to underlying set--dynamics induced by the associated restricted preimage map in general and to its maximal trajectory in particular. The finite time convergence of the corresponding maximal trajectory to the maximal positively invariant set is verified unde","authors_text":"Mario E. Villanueva, Sa\\v{s}a V. Rakovi\\'c","cross_cats":["math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2017-12-04T15:35:18Z","title":"The Maximal Positively Invariant Set: Polynomial Setting"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.01150","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:4813eadb92accdee2f7f307f3eda4a9bd71759f7181fab32c0e0bd111b742443","target":"record","created_at":"2026-05-18T00:28:57Z","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":"cccfd76abd0a19e6227fee3a73e526027ac75fbdbbc7f1f6922fb23ccc27762c","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2017-12-04T15:35:18Z","title_canon_sha256":"3d85453a76954c8da3b191ab700b5b08c8b3e7ad98c63128a202266bd5e736a6"},"schema_version":"1.0","source":{"id":"1712.01150","kind":"arxiv","version":1}},"canonical_sha256":"641de29abed2f61f624ba3a32356bb3585cb82694f2643a277a01eff24669a12","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"641de29abed2f61f624ba3a32356bb3585cb82694f2643a277a01eff24669a12","first_computed_at":"2026-05-18T00:28:57.776629Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:28:57.776629Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qHEQEq+hnBUhUl/bYEopq9D4guhNeJ/eTI9thiKoYFn9n+A/q2Ocl9LJ6e/7mgxYaBMq2Ux66nVaEs9etqdpCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:28:57.777076Z","signed_message":"canonical_sha256_bytes"},"source_id":"1712.01150","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4813eadb92accdee2f7f307f3eda4a9bd71759f7181fab32c0e0bd111b742443","sha256:5ab74495070d830b8fb860ffeb214c45b5431ed22c5e066d5c51d18751b0e04b"],"state_sha256":"56fd385a24c7546a5363507745ee07e8ae0958c7709c0214b6dd624019ecc547"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H6yllba4RBravT1PfdDu2YQ3gyhe6mjJU9nRGJrtx1TUxpIjJ1Q0IyUgSSiBL+syTBxs7PHPIblum4o2cPvYBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T10:23:41.497450Z","bundle_sha256":"7ab0efc67b7651497cdde1e6878489351ac95de467ab0639c57d322211c2a2af"}}