{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:EDJGSKOJPRCAVKO7IM2RJEGLOQ","short_pith_number":"pith:EDJGSKOJ","canonical_record":{"source":{"id":"1604.02031","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-04-07T15:11:43Z","cross_cats_sorted":[],"title_canon_sha256":"dab47253c1640caefb0e9c4bb4adbbc5c21c9a56bca3c3f67f0eeeb0cc0c2b5a","abstract_canon_sha256":"be9597d8a30ed25d4fbe5243ad32b60b2fa4c9367696f655dc225037ba86a70e"},"schema_version":"1.0"},"canonical_sha256":"20d26929c97c440aa9df43351490cb7402f9c99656d211e65b7525c4fb7887b1","source":{"kind":"arxiv","id":"1604.02031","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.02031","created_at":"2026-05-18T00:13:08Z"},{"alias_kind":"arxiv_version","alias_value":"1604.02031v3","created_at":"2026-05-18T00:13:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.02031","created_at":"2026-05-18T00:13:08Z"},{"alias_kind":"pith_short_12","alias_value":"EDJGSKOJPRCA","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"EDJGSKOJPRCAVKO7","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"EDJGSKOJ","created_at":"2026-05-18T12:30:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:EDJGSKOJPRCAVKO7IM2RJEGLOQ","target":"record","payload":{"canonical_record":{"source":{"id":"1604.02031","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-04-07T15:11:43Z","cross_cats_sorted":[],"title_canon_sha256":"dab47253c1640caefb0e9c4bb4adbbc5c21c9a56bca3c3f67f0eeeb0cc0c2b5a","abstract_canon_sha256":"be9597d8a30ed25d4fbe5243ad32b60b2fa4c9367696f655dc225037ba86a70e"},"schema_version":"1.0"},"canonical_sha256":"20d26929c97c440aa9df43351490cb7402f9c99656d211e65b7525c4fb7887b1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:13:08.097009Z","signature_b64":"hY90V6BkoT0aHkvyyrtrbO64LxeKrUpGl8WMd3TmMCPv6+ikYhsFylMRbLCO8b0IgGhadFaFdTZ17egmXYIRAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"20d26929c97c440aa9df43351490cb7402f9c99656d211e65b7525c4fb7887b1","last_reissued_at":"2026-05-18T00:13:08.096254Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:13:08.096254Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.02031","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-05-18T00:13:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jxb8aJ9tEM8hG64/rqQ1htAWSPK4osFQ+PJG6DHIkfiSboHO4J0BbwsJSVwSTS2B+fCtQNb6Zv1if3iosTjfCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T06:59:14.336242Z"},"content_sha256":"66401c4b62699b877535de4eca61a83b835c3a29be1a545e75d83af92fb50ecc","schema_version":"1.0","event_id":"sha256:66401c4b62699b877535de4eca61a83b835c3a29be1a545e75d83af92fb50ecc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:EDJGSKOJPRCAVKO7IM2RJEGLOQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A unified framework for deterministic and probabilistic D-stability analysis of uncertain polynomial matrices","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Alessio Benavoli, Dario Piga","submitted_at":"2016-04-07T15:11:43Z","abstract_excerpt":"Many problems in systems and control theory can be formulated in terms of robust D-stability analysis, which aims at verifying if all the eigenvalues of an uncertain matrix lie in a given region D of the complex plane. Robust D-stability analysis is an NP-hard problem and many polynomial-time algorithms providing either sufficient or necessary conditions for an uncertain matrix to be robustly D-stable have been developed in the past decades. Despite the vast literature on the subject, most of the contributions consider specific families of uncertain matrices, mainly with interval or polytopic "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.02031","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":""},"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:13:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6ft645aUVodyGl0Zj7zO17BqUN4kyE3Bqci7d3sIJDkDsccrDg5Fd08REuJkzapdJNNn0Ua3Xo8Fv+p5ai0HDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T06:59:14.336606Z"},"content_sha256":"3a85b47dbf4dd4345322100e7f97b19e853ac4163905e491096f31c87b665daa","schema_version":"1.0","event_id":"sha256:3a85b47dbf4dd4345322100e7f97b19e853ac4163905e491096f31c87b665daa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EDJGSKOJPRCAVKO7IM2RJEGLOQ/bundle.json","state_url":"https://pith.science/pith/EDJGSKOJPRCAVKO7IM2RJEGLOQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EDJGSKOJPRCAVKO7IM2RJEGLOQ/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-21T06:59:14Z","links":{"resolver":"https://pith.science/pith/EDJGSKOJPRCAVKO7IM2RJEGLOQ","bundle":"https://pith.science/pith/EDJGSKOJPRCAVKO7IM2RJEGLOQ/bundle.json","state":"https://pith.science/pith/EDJGSKOJPRCAVKO7IM2RJEGLOQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EDJGSKOJPRCAVKO7IM2RJEGLOQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:EDJGSKOJPRCAVKO7IM2RJEGLOQ","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":"be9597d8a30ed25d4fbe5243ad32b60b2fa4c9367696f655dc225037ba86a70e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-04-07T15:11:43Z","title_canon_sha256":"dab47253c1640caefb0e9c4bb4adbbc5c21c9a56bca3c3f67f0eeeb0cc0c2b5a"},"schema_version":"1.0","source":{"id":"1604.02031","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.02031","created_at":"2026-05-18T00:13:08Z"},{"alias_kind":"arxiv_version","alias_value":"1604.02031v3","created_at":"2026-05-18T00:13:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.02031","created_at":"2026-05-18T00:13:08Z"},{"alias_kind":"pith_short_12","alias_value":"EDJGSKOJPRCA","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"EDJGSKOJPRCAVKO7","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"EDJGSKOJ","created_at":"2026-05-18T12:30:12Z"}],"graph_snapshots":[{"event_id":"sha256:3a85b47dbf4dd4345322100e7f97b19e853ac4163905e491096f31c87b665daa","target":"graph","created_at":"2026-05-18T00:13:08Z","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":"Many problems in systems and control theory can be formulated in terms of robust D-stability analysis, which aims at verifying if all the eigenvalues of an uncertain matrix lie in a given region D of the complex plane. Robust D-stability analysis is an NP-hard problem and many polynomial-time algorithms providing either sufficient or necessary conditions for an uncertain matrix to be robustly D-stable have been developed in the past decades. Despite the vast literature on the subject, most of the contributions consider specific families of uncertain matrices, mainly with interval or polytopic ","authors_text":"Alessio Benavoli, Dario Piga","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-04-07T15:11:43Z","title":"A unified framework for deterministic and probabilistic D-stability analysis of uncertain polynomial matrices"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.02031","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:66401c4b62699b877535de4eca61a83b835c3a29be1a545e75d83af92fb50ecc","target":"record","created_at":"2026-05-18T00:13:08Z","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":"be9597d8a30ed25d4fbe5243ad32b60b2fa4c9367696f655dc225037ba86a70e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-04-07T15:11:43Z","title_canon_sha256":"dab47253c1640caefb0e9c4bb4adbbc5c21c9a56bca3c3f67f0eeeb0cc0c2b5a"},"schema_version":"1.0","source":{"id":"1604.02031","kind":"arxiv","version":3}},"canonical_sha256":"20d26929c97c440aa9df43351490cb7402f9c99656d211e65b7525c4fb7887b1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"20d26929c97c440aa9df43351490cb7402f9c99656d211e65b7525c4fb7887b1","first_computed_at":"2026-05-18T00:13:08.096254Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:13:08.096254Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hY90V6BkoT0aHkvyyrtrbO64LxeKrUpGl8WMd3TmMCPv6+ikYhsFylMRbLCO8b0IgGhadFaFdTZ17egmXYIRAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:13:08.097009Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.02031","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:66401c4b62699b877535de4eca61a83b835c3a29be1a545e75d83af92fb50ecc","sha256:3a85b47dbf4dd4345322100e7f97b19e853ac4163905e491096f31c87b665daa"],"state_sha256":"fe869429f7fe9d0d482020b5a4a7ad6ed33867df524f19b5736d56b9e3b74a78"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Li72tbnmpc1WsZgvOwUV67O4kqt44+9rV5Mv4ARg1usB02t/BSixq1KNUcZ9cV6XTCT+VK6mZk3oJp2Obx3CBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-21T06:59:14.338598Z","bundle_sha256":"b1ebe74e1950b5d6c6babbdfeae2b679f5f427436670cb87c7cf63115c4e9124"}}