{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:ZO4TQ5G3T2V4ZUHSGWAJO6EOJU","short_pith_number":"pith:ZO4TQ5G3","canonical_record":{"source":{"id":"2404.11185","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-04-17T09:04:42Z","cross_cats_sorted":[],"title_canon_sha256":"53fb4b4398d11b29bf60e0c416c5817ef0302234d9482f2f2af39edbf10ba117","abstract_canon_sha256":"56d85e5fab2545953d1c411d4aad4e4880bf724068769d640683dbab3c529446"},"schema_version":"1.0"},"canonical_sha256":"cbb93874db9eabccd0f2358097788e4d1d0d9170d097e608e60497bddabcd3ab","source":{"kind":"arxiv","id":"2404.11185","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.11185","created_at":"2026-07-05T11:45:27Z"},{"alias_kind":"arxiv_version","alias_value":"2404.11185v4","created_at":"2026-07-05T11:45:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.11185","created_at":"2026-07-05T11:45:27Z"},{"alias_kind":"pith_short_12","alias_value":"ZO4TQ5G3T2V4","created_at":"2026-07-05T11:45:27Z"},{"alias_kind":"pith_short_16","alias_value":"ZO4TQ5G3T2V4ZUHS","created_at":"2026-07-05T11:45:27Z"},{"alias_kind":"pith_short_8","alias_value":"ZO4TQ5G3","created_at":"2026-07-05T11:45:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:ZO4TQ5G3T2V4ZUHSGWAJO6EOJU","target":"record","payload":{"canonical_record":{"source":{"id":"2404.11185","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-04-17T09:04:42Z","cross_cats_sorted":[],"title_canon_sha256":"53fb4b4398d11b29bf60e0c416c5817ef0302234d9482f2f2af39edbf10ba117","abstract_canon_sha256":"56d85e5fab2545953d1c411d4aad4e4880bf724068769d640683dbab3c529446"},"schema_version":"1.0"},"canonical_sha256":"cbb93874db9eabccd0f2358097788e4d1d0d9170d097e608e60497bddabcd3ab","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:45:27.799189Z","signature_b64":"2igrz45wxo025sbgckFG2sYU9fWZTXQfe34cDj4sSBpAVhR7tNdtLSiGqn6d3OXVfwDLi97oLQ2KIve+BofKDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cbb93874db9eabccd0f2358097788e4d1d0d9170d097e608e60497bddabcd3ab","last_reissued_at":"2026-07-05T11:45:27.798594Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:45:27.798594Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2404.11185","source_version":4,"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-05T11:45:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pexvQFRwwE8x5N0K6EIIHB31Gua9bM3lJ6KSeASrTXwgSdbx7f6UYcKuUdvWcB+8gHa70fjQRbvbCM4SfIzhAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T00:49:40.990999Z"},"content_sha256":"b8a365f010fa518f677d84d1b41fd5fb21b9cba21cf2e98e6694a054fee1bb93","schema_version":"1.0","event_id":"sha256:b8a365f010fa518f677d84d1b41fd5fb21b9cba21cf2e98e6694a054fee1bb93"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:ZO4TQ5G3T2V4ZUHSGWAJO6EOJU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Approximability of the Containment Problem for Zonotopes and Ellipsotopes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Adrian Kulmburg, Lukas Sch\\\"afer, Matthias Althoff","submitted_at":"2024-04-17T09:04:42Z","abstract_excerpt":"The zonotope containment problem, i.e., whether one zonotope is contained in another, is a central problem in control theory. Applications include detecting faults and robustifying controllers by computing invariant sets, and obtain fixed points in reachability analysis. Despite the inherent co-NP-hardness of this problem, an approximation algorithm developed by S. Sadraddini and R. Tedrake has gained widespread recognition for its swift execution and consistent reliability in practice. In our study, we substantiate the precision of the algorithm with a definitive proof, elucidating the empiri"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.11185","kind":"arxiv","version":4},"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/2404.11185/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-05T11:45:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fKoig1l3BcLalxyLRam8yZGbBt61GFtdWlY/KGBTCuH89By/0uaWyQ2ejsMVPHq9FrQjy0h0xH8/CQ/1Dvm3Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T00:49:40.991985Z"},"content_sha256":"553cf306c74ad72446372bb2448ce3c359f4997a54e89abd737d9601ddc07986","schema_version":"1.0","event_id":"sha256:553cf306c74ad72446372bb2448ce3c359f4997a54e89abd737d9601ddc07986"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZO4TQ5G3T2V4ZUHSGWAJO6EOJU/bundle.json","state_url":"https://pith.science/pith/ZO4TQ5G3T2V4ZUHSGWAJO6EOJU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZO4TQ5G3T2V4ZUHSGWAJO6EOJU/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-17T00:49:41Z","links":{"resolver":"https://pith.science/pith/ZO4TQ5G3T2V4ZUHSGWAJO6EOJU","bundle":"https://pith.science/pith/ZO4TQ5G3T2V4ZUHSGWAJO6EOJU/bundle.json","state":"https://pith.science/pith/ZO4TQ5G3T2V4ZUHSGWAJO6EOJU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZO4TQ5G3T2V4ZUHSGWAJO6EOJU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:ZO4TQ5G3T2V4ZUHSGWAJO6EOJU","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":"56d85e5fab2545953d1c411d4aad4e4880bf724068769d640683dbab3c529446","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-04-17T09:04:42Z","title_canon_sha256":"53fb4b4398d11b29bf60e0c416c5817ef0302234d9482f2f2af39edbf10ba117"},"schema_version":"1.0","source":{"id":"2404.11185","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.11185","created_at":"2026-07-05T11:45:27Z"},{"alias_kind":"arxiv_version","alias_value":"2404.11185v4","created_at":"2026-07-05T11:45:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.11185","created_at":"2026-07-05T11:45:27Z"},{"alias_kind":"pith_short_12","alias_value":"ZO4TQ5G3T2V4","created_at":"2026-07-05T11:45:27Z"},{"alias_kind":"pith_short_16","alias_value":"ZO4TQ5G3T2V4ZUHS","created_at":"2026-07-05T11:45:27Z"},{"alias_kind":"pith_short_8","alias_value":"ZO4TQ5G3","created_at":"2026-07-05T11:45:27Z"}],"graph_snapshots":[{"event_id":"sha256:553cf306c74ad72446372bb2448ce3c359f4997a54e89abd737d9601ddc07986","target":"graph","created_at":"2026-07-05T11:45:27Z","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/2404.11185/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The zonotope containment problem, i.e., whether one zonotope is contained in another, is a central problem in control theory. Applications include detecting faults and robustifying controllers by computing invariant sets, and obtain fixed points in reachability analysis. Despite the inherent co-NP-hardness of this problem, an approximation algorithm developed by S. Sadraddini and R. Tedrake has gained widespread recognition for its swift execution and consistent reliability in practice. In our study, we substantiate the precision of the algorithm with a definitive proof, elucidating the empiri","authors_text":"Adrian Kulmburg, Lukas Sch\\\"afer, Matthias Althoff","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-04-17T09:04:42Z","title":"Approximability of the Containment Problem for Zonotopes and Ellipsotopes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.11185","kind":"arxiv","version":4},"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:b8a365f010fa518f677d84d1b41fd5fb21b9cba21cf2e98e6694a054fee1bb93","target":"record","created_at":"2026-07-05T11:45:27Z","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":"56d85e5fab2545953d1c411d4aad4e4880bf724068769d640683dbab3c529446","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-04-17T09:04:42Z","title_canon_sha256":"53fb4b4398d11b29bf60e0c416c5817ef0302234d9482f2f2af39edbf10ba117"},"schema_version":"1.0","source":{"id":"2404.11185","kind":"arxiv","version":4}},"canonical_sha256":"cbb93874db9eabccd0f2358097788e4d1d0d9170d097e608e60497bddabcd3ab","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cbb93874db9eabccd0f2358097788e4d1d0d9170d097e608e60497bddabcd3ab","first_computed_at":"2026-07-05T11:45:27.798594Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:45:27.798594Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2igrz45wxo025sbgckFG2sYU9fWZTXQfe34cDj4sSBpAVhR7tNdtLSiGqn6d3OXVfwDLi97oLQ2KIve+BofKDw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:45:27.799189Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.11185","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b8a365f010fa518f677d84d1b41fd5fb21b9cba21cf2e98e6694a054fee1bb93","sha256:553cf306c74ad72446372bb2448ce3c359f4997a54e89abd737d9601ddc07986"],"state_sha256":"4083520af43a6014adb00703a4857f364c99cc4e9d559cf1a71f5d1362af813e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AQksYkL8XQ6tClASYSroOPd5wg4HlfsxfdxkZya8vBglm8Jp6OopzErWq5x9d7wUvjKjJD8ouLVq5t2deRJcCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T00:49:41.161267Z","bundle_sha256":"ee51377c7961054b6ff8a2db04e3a90e641b555ea899432f9f47669e67e8503c"}}