{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:YDBVMQV7OO4VZC6GLZP2BFKPVF","short_pith_number":"pith:YDBVMQV7","canonical_record":{"source":{"id":"1401.3026","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-01-13T22:19:49Z","cross_cats_sorted":[],"title_canon_sha256":"1f33c97b137900b95d058e566b51fbf6a4d378e1dd3ab100b5b448622db2d8d9","abstract_canon_sha256":"a3e9842f654bdf239f5c80eaa7bbeceffaa6eb5d65448af5a87c8b7cb1ca885c"},"schema_version":"1.0"},"canonical_sha256":"c0c35642bf73b95c8bc65e5fa0954fa967ca8700c51b7c09ac1645325f0b4d2f","source":{"kind":"arxiv","id":"1401.3026","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.3026","created_at":"2026-05-18T01:00:20Z"},{"alias_kind":"arxiv_version","alias_value":"1401.3026v2","created_at":"2026-05-18T01:00:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3026","created_at":"2026-05-18T01:00:20Z"},{"alias_kind":"pith_short_12","alias_value":"YDBVMQV7OO4V","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_16","alias_value":"YDBVMQV7OO4VZC6G","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_8","alias_value":"YDBVMQV7","created_at":"2026-05-18T12:28:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:YDBVMQV7OO4VZC6GLZP2BFKPVF","target":"record","payload":{"canonical_record":{"source":{"id":"1401.3026","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-01-13T22:19:49Z","cross_cats_sorted":[],"title_canon_sha256":"1f33c97b137900b95d058e566b51fbf6a4d378e1dd3ab100b5b448622db2d8d9","abstract_canon_sha256":"a3e9842f654bdf239f5c80eaa7bbeceffaa6eb5d65448af5a87c8b7cb1ca885c"},"schema_version":"1.0"},"canonical_sha256":"c0c35642bf73b95c8bc65e5fa0954fa967ca8700c51b7c09ac1645325f0b4d2f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:00:20.551375Z","signature_b64":"YrdLb/xMHYted94ZV5B+UpByFSHrdDN49y333ZvSbEb48dyEzzbwnIB9X7kAVLdtnFQOTS7nDyVOcSJkyLGTCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c0c35642bf73b95c8bc65e5fa0954fa967ca8700c51b7c09ac1645325f0b4d2f","last_reissued_at":"2026-05-18T01:00:20.550807Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:00:20.550807Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1401.3026","source_version":2,"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-18T01:00:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zEU79UsRaoMrCXdgD6b3BXCwynXZLG2r69Qz/1hGC+JUdZBymfPCeon5ML3bUwpZLfqq7ghs0hXiZMsjg5HcDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T21:02:17.845661Z"},"content_sha256":"0e0dd38e1493e1c948d24a8ad6f4d2549e587b3e2a0776947465e56a1bb9a8e3","schema_version":"1.0","event_id":"sha256:0e0dd38e1493e1c948d24a8ad6f4d2549e587b3e2a0776947465e56a1bb9a8e3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:YDBVMQV7OO4VZC6GLZP2BFKPVF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A limit formula for joint spectral radius with $p$-radius of probability distributions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Clyde F. Martin, Masaki Ogura","submitted_at":"2014-01-13T22:19:49Z","abstract_excerpt":"In this paper we show a characterization of the joint spectral radius of a set of matrices as the limit of the $p$-radius of an associated probability distribution when $p$ tends to $\\infty$. Allowing the set to have infinitely many matrices, the obtained formula extends the results in the literature. Based on the formula, we then present a novel characterization of the stability of switched linear systems for an arbitrary switching signal via the existence of stochastic Lyapunov functions of any higher degrees. Numerical examples are presented to illustrate the results."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3026","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":""},"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-18T01:00:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9+1QdopH+sdFd30bVeiasf9dMTd3GZmrrMCOUMy/s9U2+oNF9PL9MOznPnBGIhIzeWFDfL3GD3Di9pLFJb+qAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T21:02:17.846255Z"},"content_sha256":"ad7d9882990109b22e839304d814bc3aff55b474461fff3b3e758ab2542721c6","schema_version":"1.0","event_id":"sha256:ad7d9882990109b22e839304d814bc3aff55b474461fff3b3e758ab2542721c6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YDBVMQV7OO4VZC6GLZP2BFKPVF/bundle.json","state_url":"https://pith.science/pith/YDBVMQV7OO4VZC6GLZP2BFKPVF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YDBVMQV7OO4VZC6GLZP2BFKPVF/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-07T21:02:17Z","links":{"resolver":"https://pith.science/pith/YDBVMQV7OO4VZC6GLZP2BFKPVF","bundle":"https://pith.science/pith/YDBVMQV7OO4VZC6GLZP2BFKPVF/bundle.json","state":"https://pith.science/pith/YDBVMQV7OO4VZC6GLZP2BFKPVF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YDBVMQV7OO4VZC6GLZP2BFKPVF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:YDBVMQV7OO4VZC6GLZP2BFKPVF","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":"a3e9842f654bdf239f5c80eaa7bbeceffaa6eb5d65448af5a87c8b7cb1ca885c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-01-13T22:19:49Z","title_canon_sha256":"1f33c97b137900b95d058e566b51fbf6a4d378e1dd3ab100b5b448622db2d8d9"},"schema_version":"1.0","source":{"id":"1401.3026","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.3026","created_at":"2026-05-18T01:00:20Z"},{"alias_kind":"arxiv_version","alias_value":"1401.3026v2","created_at":"2026-05-18T01:00:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3026","created_at":"2026-05-18T01:00:20Z"},{"alias_kind":"pith_short_12","alias_value":"YDBVMQV7OO4V","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_16","alias_value":"YDBVMQV7OO4VZC6G","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_8","alias_value":"YDBVMQV7","created_at":"2026-05-18T12:28:57Z"}],"graph_snapshots":[{"event_id":"sha256:ad7d9882990109b22e839304d814bc3aff55b474461fff3b3e758ab2542721c6","target":"graph","created_at":"2026-05-18T01:00:20Z","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 this paper we show a characterization of the joint spectral radius of a set of matrices as the limit of the $p$-radius of an associated probability distribution when $p$ tends to $\\infty$. Allowing the set to have infinitely many matrices, the obtained formula extends the results in the literature. Based on the formula, we then present a novel characterization of the stability of switched linear systems for an arbitrary switching signal via the existence of stochastic Lyapunov functions of any higher degrees. Numerical examples are presented to illustrate the results.","authors_text":"Clyde F. Martin, Masaki Ogura","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-01-13T22:19:49Z","title":"A limit formula for joint spectral radius with $p$-radius of probability distributions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3026","kind":"arxiv","version":2},"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:0e0dd38e1493e1c948d24a8ad6f4d2549e587b3e2a0776947465e56a1bb9a8e3","target":"record","created_at":"2026-05-18T01:00:20Z","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":"a3e9842f654bdf239f5c80eaa7bbeceffaa6eb5d65448af5a87c8b7cb1ca885c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-01-13T22:19:49Z","title_canon_sha256":"1f33c97b137900b95d058e566b51fbf6a4d378e1dd3ab100b5b448622db2d8d9"},"schema_version":"1.0","source":{"id":"1401.3026","kind":"arxiv","version":2}},"canonical_sha256":"c0c35642bf73b95c8bc65e5fa0954fa967ca8700c51b7c09ac1645325f0b4d2f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c0c35642bf73b95c8bc65e5fa0954fa967ca8700c51b7c09ac1645325f0b4d2f","first_computed_at":"2026-05-18T01:00:20.550807Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:00:20.550807Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YrdLb/xMHYted94ZV5B+UpByFSHrdDN49y333ZvSbEb48dyEzzbwnIB9X7kAVLdtnFQOTS7nDyVOcSJkyLGTCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:00:20.551375Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.3026","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0e0dd38e1493e1c948d24a8ad6f4d2549e587b3e2a0776947465e56a1bb9a8e3","sha256:ad7d9882990109b22e839304d814bc3aff55b474461fff3b3e758ab2542721c6"],"state_sha256":"4354f0af8fe3ccae929e9e0024b175863350de7cd386c21385713099ac75408a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"82kGzsUY3tsgJUVTflfcdMwkq6W2Q9uVue+Cw4fmUE5nK2+0K+G+F5BfWnwn8tFmwL8sVMsZ4NVQz3CCujopCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T21:02:17.850107Z","bundle_sha256":"9d46c68bca808607407c1f99a2047de0701223fcf71c48a8427cfb58dda5020c"}}