{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:AJMANPSK4BIAMPX54M4J2PCLZF","short_pith_number":"pith:AJMANPSK","canonical_record":{"source":{"id":"1710.01814","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-10-04T21:34:08Z","cross_cats_sorted":[],"title_canon_sha256":"0596f07ccbc57d39601af7ea7d8e1596f8b7ecddc7472bea9e2362d3c85aef47","abstract_canon_sha256":"1eb494eff05dc3646269c3a9a34ecaa6fa2bb3c99751f654b8bcd3ff566cb0d6"},"schema_version":"1.0"},"canonical_sha256":"025806be4ae050063efde3389d3c4bc9762197154a19de602a17e3a60cb2f8e3","source":{"kind":"arxiv","id":"1710.01814","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.01814","created_at":"2026-05-18T00:33:38Z"},{"alias_kind":"arxiv_version","alias_value":"1710.01814v1","created_at":"2026-05-18T00:33:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.01814","created_at":"2026-05-18T00:33:38Z"},{"alias_kind":"pith_short_12","alias_value":"AJMANPSK4BIA","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_16","alias_value":"AJMANPSK4BIAMPX5","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_8","alias_value":"AJMANPSK","created_at":"2026-05-18T12:31:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:AJMANPSK4BIAMPX54M4J2PCLZF","target":"record","payload":{"canonical_record":{"source":{"id":"1710.01814","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-10-04T21:34:08Z","cross_cats_sorted":[],"title_canon_sha256":"0596f07ccbc57d39601af7ea7d8e1596f8b7ecddc7472bea9e2362d3c85aef47","abstract_canon_sha256":"1eb494eff05dc3646269c3a9a34ecaa6fa2bb3c99751f654b8bcd3ff566cb0d6"},"schema_version":"1.0"},"canonical_sha256":"025806be4ae050063efde3389d3c4bc9762197154a19de602a17e3a60cb2f8e3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:33:38.379598Z","signature_b64":"32oqcUkGpM3YddyhBXflXK3lnvOK28lU7l1XeuhngbaMUupzSG7z0D/ePx/PpMBdj2azWcILn7AKm1Sc/gBVDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"025806be4ae050063efde3389d3c4bc9762197154a19de602a17e3a60cb2f8e3","last_reissued_at":"2026-05-18T00:33:38.378971Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:33:38.378971Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1710.01814","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:33:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Oa4Xy3LxG0vFd0hZ9KpjWGBBRJkfU5dTi4lUve82bAfRHpoYnvxPM51gWXvtJBrlnyhd+bl6+JVYx1SzmxBjDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T06:06:02.562890Z"},"content_sha256":"7b215b888d56c1686a8d02cc07d0f455b3e7e284239207365a83d5c61a6fa8f0","schema_version":"1.0","event_id":"sha256:7b215b888d56c1686a8d02cc07d0f455b3e7e284239207365a83d5c61a6fa8f0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:AJMANPSK4BIAMPX54M4J2PCLZF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Certifying unstability of Switched Systems using Sum of Squares Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"B. Legat, P. A. Parrilo, R. M. Jungers","submitted_at":"2017-10-04T21:34:08Z","abstract_excerpt":"The joint spectral radius (JSR) of a set of matrices characterizes the maximal asymptotic growth rate of an infinite product of matrices of the set. This quantity appears in a number of applications including the stability of switched and hybrid systems. A popular method used for the stability analysis of these systems searches for a Lyapunov function with convex optimization tools. We investigate dual formulations for this approach and leverage these dual programs for developing new analysis tools for the JSR. We show that the dual of this convex problem searches for the occupations measures "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.01814","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:33:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4CerN1lRv5vIWAe9voH4XA1iWRPVTv9MN/2OCPWRaalvRvmGPutgn27Vdv3tJZUwQ5+EmI0OHle+C/WGpuALAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T06:06:02.563253Z"},"content_sha256":"38dc066f54ea05c636063a262b394cce802e8af66d2dd344d7cb7131cf4f5b26","schema_version":"1.0","event_id":"sha256:38dc066f54ea05c636063a262b394cce802e8af66d2dd344d7cb7131cf4f5b26"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AJMANPSK4BIAMPX54M4J2PCLZF/bundle.json","state_url":"https://pith.science/pith/AJMANPSK4BIAMPX54M4J2PCLZF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AJMANPSK4BIAMPX54M4J2PCLZF/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-26T06:06:02Z","links":{"resolver":"https://pith.science/pith/AJMANPSK4BIAMPX54M4J2PCLZF","bundle":"https://pith.science/pith/AJMANPSK4BIAMPX54M4J2PCLZF/bundle.json","state":"https://pith.science/pith/AJMANPSK4BIAMPX54M4J2PCLZF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AJMANPSK4BIAMPX54M4J2PCLZF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:AJMANPSK4BIAMPX54M4J2PCLZF","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":"1eb494eff05dc3646269c3a9a34ecaa6fa2bb3c99751f654b8bcd3ff566cb0d6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-10-04T21:34:08Z","title_canon_sha256":"0596f07ccbc57d39601af7ea7d8e1596f8b7ecddc7472bea9e2362d3c85aef47"},"schema_version":"1.0","source":{"id":"1710.01814","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.01814","created_at":"2026-05-18T00:33:38Z"},{"alias_kind":"arxiv_version","alias_value":"1710.01814v1","created_at":"2026-05-18T00:33:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.01814","created_at":"2026-05-18T00:33:38Z"},{"alias_kind":"pith_short_12","alias_value":"AJMANPSK4BIA","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_16","alias_value":"AJMANPSK4BIAMPX5","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_8","alias_value":"AJMANPSK","created_at":"2026-05-18T12:31:05Z"}],"graph_snapshots":[{"event_id":"sha256:38dc066f54ea05c636063a262b394cce802e8af66d2dd344d7cb7131cf4f5b26","target":"graph","created_at":"2026-05-18T00:33: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"},"paper":{"abstract_excerpt":"The joint spectral radius (JSR) of a set of matrices characterizes the maximal asymptotic growth rate of an infinite product of matrices of the set. This quantity appears in a number of applications including the stability of switched and hybrid systems. A popular method used for the stability analysis of these systems searches for a Lyapunov function with convex optimization tools. We investigate dual formulations for this approach and leverage these dual programs for developing new analysis tools for the JSR. We show that the dual of this convex problem searches for the occupations measures ","authors_text":"B. Legat, P. A. Parrilo, R. M. Jungers","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-10-04T21:34:08Z","title":"Certifying unstability of Switched Systems using Sum of Squares Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.01814","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:7b215b888d56c1686a8d02cc07d0f455b3e7e284239207365a83d5c61a6fa8f0","target":"record","created_at":"2026-05-18T00:33: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":"1eb494eff05dc3646269c3a9a34ecaa6fa2bb3c99751f654b8bcd3ff566cb0d6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-10-04T21:34:08Z","title_canon_sha256":"0596f07ccbc57d39601af7ea7d8e1596f8b7ecddc7472bea9e2362d3c85aef47"},"schema_version":"1.0","source":{"id":"1710.01814","kind":"arxiv","version":1}},"canonical_sha256":"025806be4ae050063efde3389d3c4bc9762197154a19de602a17e3a60cb2f8e3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"025806be4ae050063efde3389d3c4bc9762197154a19de602a17e3a60cb2f8e3","first_computed_at":"2026-05-18T00:33:38.378971Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:33:38.378971Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"32oqcUkGpM3YddyhBXflXK3lnvOK28lU7l1XeuhngbaMUupzSG7z0D/ePx/PpMBdj2azWcILn7AKm1Sc/gBVDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:33:38.379598Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.01814","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7b215b888d56c1686a8d02cc07d0f455b3e7e284239207365a83d5c61a6fa8f0","sha256:38dc066f54ea05c636063a262b394cce802e8af66d2dd344d7cb7131cf4f5b26"],"state_sha256":"d8a51de3621238207b1251cd084db847b898cadf82771305fe279219dbd05d94"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r1nVK0Pm/d5NhLauwLiCIY8LEdBgbZRjiN7HGgFnhNg5ptKbKEor2Dl13P+rnt/CEPlpi7VI5WzsFWSinETcCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T06:06:02.565401Z","bundle_sha256":"aab7f1612d85f2b44e1cd86a0bcb694aade5726130b4402cd633ba380c0c4e74"}}