{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:OFCRNK54UOOM4GYGUZ6AJ26X3O","short_pith_number":"pith:OFCRNK54","canonical_record":{"source":{"id":"2012.05572","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2020-12-10T10:38:15Z","cross_cats_sorted":[],"title_canon_sha256":"162611af1941bc79c06940315ff818b18b07aea9270109e938f24b36bdc730f3","abstract_canon_sha256":"f3ab48716aae23e8d28d6112d2194df706c1fc069d432378ac965e01a38a7b71"},"schema_version":"1.0"},"canonical_sha256":"714516abbca39cce1b06a67c04ebd7dbba504f91a081091df80923332cf2e6fb","source":{"kind":"arxiv","id":"2012.05572","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2012.05572","created_at":"2026-07-05T08:51:38Z"},{"alias_kind":"arxiv_version","alias_value":"2012.05572v3","created_at":"2026-07-05T08:51:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.05572","created_at":"2026-07-05T08:51:38Z"},{"alias_kind":"pith_short_12","alias_value":"OFCRNK54UOOM","created_at":"2026-07-05T08:51:38Z"},{"alias_kind":"pith_short_16","alias_value":"OFCRNK54UOOM4GYG","created_at":"2026-07-05T08:51:38Z"},{"alias_kind":"pith_short_8","alias_value":"OFCRNK54","created_at":"2026-07-05T08:51:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:OFCRNK54UOOM4GYGUZ6AJ26X3O","target":"record","payload":{"canonical_record":{"source":{"id":"2012.05572","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2020-12-10T10:38:15Z","cross_cats_sorted":[],"title_canon_sha256":"162611af1941bc79c06940315ff818b18b07aea9270109e938f24b36bdc730f3","abstract_canon_sha256":"f3ab48716aae23e8d28d6112d2194df706c1fc069d432378ac965e01a38a7b71"},"schema_version":"1.0"},"canonical_sha256":"714516abbca39cce1b06a67c04ebd7dbba504f91a081091df80923332cf2e6fb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:51:38.969682Z","signature_b64":"JI24slw9B3WRVnvcermKtIL6sX2kr7xHrFuqmLzGcWMcID/7MzyUft4MqCx+69OZfo+wGZkUs8R2DAUN2ueGBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"714516abbca39cce1b06a67c04ebd7dbba504f91a081091df80923332cf2e6fb","last_reissued_at":"2026-07-05T08:51:38.969244Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:51:38.969244Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2012.05572","source_version":3,"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-05T08:51:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I0J9SHukAhCHWDgSRhnBlBJPsFzxbFoSoptK6J+voD6jMdztXdIMfZAIwRW4l3m8eOh7N1ArfBt4+zsYSOIeAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T05:50:12.717911Z"},"content_sha256":"d34a20a73d151cb8aeb43e3c419433c02627342d463b1e4de4930af641e7d2ea","schema_version":"1.0","event_id":"sha256:d34a20a73d151cb8aeb43e3c419433c02627342d463b1e4de4930af641e7d2ea"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:OFCRNK54UOOM4GYGUZ6AJ26X3O","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Sparse decompositions of nonlinear dynamical systems and applications to moment-sum-of-squares relaxations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Corbinian Schlosser, Milan Korda","submitted_at":"2020-12-10T10:38:15Z","abstract_excerpt":"In this paper, we propose a general sparse decomposition of dynamical systems provided that the vector field and constraint set possess certain sparse structures, which we call subsystems. This notion is based on causal dependence in the dynamics between the different states. This results in sparse descriptions for fundamental problems from nonlinear dynamical systems: region of attraction, maximum positively invariant set, and global attractor. The decompositions can be paired with any method for computing (outer) approximations of these sets to reduce the computation to lower dimensional sys"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.05572","kind":"arxiv","version":3},"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/2012.05572/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":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T08:51:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a2Z4gYCrzezNKjcNLjCgs/OmkfKVc3WwFBnA4nQd+zvhvlyW9Ry1NG50X7C/ULEl8KnjCpQdTKBdCk9CZfC6AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T05:50:12.718860Z"},"content_sha256":"f87a62663e15ac45af6a1bbf7957c68e31223ec045f1a07e279151dd8a4a6cfd","schema_version":"1.0","event_id":"sha256:f87a62663e15ac45af6a1bbf7957c68e31223ec045f1a07e279151dd8a4a6cfd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OFCRNK54UOOM4GYGUZ6AJ26X3O/bundle.json","state_url":"https://pith.science/pith/OFCRNK54UOOM4GYGUZ6AJ26X3O/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OFCRNK54UOOM4GYGUZ6AJ26X3O/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-04T05:50:12Z","links":{"resolver":"https://pith.science/pith/OFCRNK54UOOM4GYGUZ6AJ26X3O","bundle":"https://pith.science/pith/OFCRNK54UOOM4GYGUZ6AJ26X3O/bundle.json","state":"https://pith.science/pith/OFCRNK54UOOM4GYGUZ6AJ26X3O/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OFCRNK54UOOM4GYGUZ6AJ26X3O/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:OFCRNK54UOOM4GYGUZ6AJ26X3O","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":"f3ab48716aae23e8d28d6112d2194df706c1fc069d432378ac965e01a38a7b71","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2020-12-10T10:38:15Z","title_canon_sha256":"162611af1941bc79c06940315ff818b18b07aea9270109e938f24b36bdc730f3"},"schema_version":"1.0","source":{"id":"2012.05572","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2012.05572","created_at":"2026-07-05T08:51:38Z"},{"alias_kind":"arxiv_version","alias_value":"2012.05572v3","created_at":"2026-07-05T08:51:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.05572","created_at":"2026-07-05T08:51:38Z"},{"alias_kind":"pith_short_12","alias_value":"OFCRNK54UOOM","created_at":"2026-07-05T08:51:38Z"},{"alias_kind":"pith_short_16","alias_value":"OFCRNK54UOOM4GYG","created_at":"2026-07-05T08:51:38Z"},{"alias_kind":"pith_short_8","alias_value":"OFCRNK54","created_at":"2026-07-05T08:51:38Z"}],"graph_snapshots":[{"event_id":"sha256:f87a62663e15ac45af6a1bbf7957c68e31223ec045f1a07e279151dd8a4a6cfd","target":"graph","created_at":"2026-07-05T08:51:38Z","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/2012.05572/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we propose a general sparse decomposition of dynamical systems provided that the vector field and constraint set possess certain sparse structures, which we call subsystems. This notion is based on causal dependence in the dynamics between the different states. This results in sparse descriptions for fundamental problems from nonlinear dynamical systems: region of attraction, maximum positively invariant set, and global attractor. The decompositions can be paired with any method for computing (outer) approximations of these sets to reduce the computation to lower dimensional sys","authors_text":"Corbinian Schlosser, Milan Korda","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2020-12-10T10:38:15Z","title":"Sparse decompositions of nonlinear dynamical systems and applications to moment-sum-of-squares relaxations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.05572","kind":"arxiv","version":3},"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:d34a20a73d151cb8aeb43e3c419433c02627342d463b1e4de4930af641e7d2ea","target":"record","created_at":"2026-07-05T08:51:38Z","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":"f3ab48716aae23e8d28d6112d2194df706c1fc069d432378ac965e01a38a7b71","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2020-12-10T10:38:15Z","title_canon_sha256":"162611af1941bc79c06940315ff818b18b07aea9270109e938f24b36bdc730f3"},"schema_version":"1.0","source":{"id":"2012.05572","kind":"arxiv","version":3}},"canonical_sha256":"714516abbca39cce1b06a67c04ebd7dbba504f91a081091df80923332cf2e6fb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"714516abbca39cce1b06a67c04ebd7dbba504f91a081091df80923332cf2e6fb","first_computed_at":"2026-07-05T08:51:38.969244Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:51:38.969244Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JI24slw9B3WRVnvcermKtIL6sX2kr7xHrFuqmLzGcWMcID/7MzyUft4MqCx+69OZfo+wGZkUs8R2DAUN2ueGBg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:51:38.969682Z","signed_message":"canonical_sha256_bytes"},"source_id":"2012.05572","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d34a20a73d151cb8aeb43e3c419433c02627342d463b1e4de4930af641e7d2ea","sha256:f87a62663e15ac45af6a1bbf7957c68e31223ec045f1a07e279151dd8a4a6cfd"],"state_sha256":"f423f60e309879ac1c1ad756945e4f38e6a45a4e7c99f6910bb4c61cfe7142f4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Xc0VeD8bA59uKlJbpkavlYbGhplodGLcCfREfbFhQcIMGp8/EwwCKnOSlOBG72yemo1twjvMwAu+WWjvUK/QAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T05:50:12.726406Z","bundle_sha256":"963444d03ee79af33ff726599949706f66e64888a1da2b4605a69f04ae8791b5"}}