{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:X6ZLRS3ZOLM7HYM3SV76MXFA3N","short_pith_number":"pith:X6ZLRS3Z","canonical_record":{"source":{"id":"1609.07908","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2016-09-26T10:06:13Z","cross_cats_sorted":["math.AG"],"title_canon_sha256":"257b12744e26e0bccfd63fbc7433ad19bd5b48c132be1e552e16a2f33e328a96","abstract_canon_sha256":"dcec081e339e9829a7b1928c5776dd55dbe06d595b6fb906ef47528f2d3aeb57"},"schema_version":"1.0"},"canonical_sha256":"bfb2b8cb7972d9f3e19b957fe65ca0db504734c6edb3ab288c6f36abd126c142","source":{"kind":"arxiv","id":"1609.07908","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.07908","created_at":"2026-05-18T00:33:53Z"},{"alias_kind":"arxiv_version","alias_value":"1609.07908v2","created_at":"2026-05-18T00:33:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.07908","created_at":"2026-05-18T00:33:53Z"},{"alias_kind":"pith_short_12","alias_value":"X6ZLRS3ZOLM7","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"X6ZLRS3ZOLM7HYM3","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"X6ZLRS3Z","created_at":"2026-05-18T12:30:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:X6ZLRS3ZOLM7HYM3SV76MXFA3N","target":"record","payload":{"canonical_record":{"source":{"id":"1609.07908","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2016-09-26T10:06:13Z","cross_cats_sorted":["math.AG"],"title_canon_sha256":"257b12744e26e0bccfd63fbc7433ad19bd5b48c132be1e552e16a2f33e328a96","abstract_canon_sha256":"dcec081e339e9829a7b1928c5776dd55dbe06d595b6fb906ef47528f2d3aeb57"},"schema_version":"1.0"},"canonical_sha256":"bfb2b8cb7972d9f3e19b957fe65ca0db504734c6edb3ab288c6f36abd126c142","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:33:53.125768Z","signature_b64":"SNIU18NOltkzyK3JjUz3KH9PX8p52juK2dIKsLmMhYDVqM2LCNuMpJgQKj0Sx4EEB11FCLRR5kBhsmnTDdL+DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bfb2b8cb7972d9f3e19b957fe65ca0db504734c6edb3ab288c6f36abd126c142","last_reissued_at":"2026-05-18T00:33:53.125235Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:33:53.125235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1609.07908","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-18T00:33:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ag/SIoszpdBeY0IQW2cv0XIjc9lfuL+m9IhK3Fb7TrU3Ar12Ep74ghnk7uiF0jI/zdQL6XalsZBS8jI8+3bqBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T13:39:33.012048Z"},"content_sha256":"20201564c5f90691b90c07e23b794d65662c6740fc3c4f52ffe2c1c4a2a7bc61","schema_version":"1.0","event_id":"sha256:20201564c5f90691b90c07e23b794d65662c6740fc3c4f52ffe2c1c4a2a7bc61"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:X6ZLRS3ZOLM7HYM3SV76MXFA3N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Spectrahedral Containment and Operator Systems with Finite-Dimensional Realization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AG"],"primary_cat":"math.FA","authors_text":"Andreas Thom, Tim Netzer, Tobias Fritz","submitted_at":"2016-09-26T10:06:13Z","abstract_excerpt":"Containment problems for polytopes and spectrahedra appear in various applications, such as linear and semidefinite programming, combinatorics, convexity and stability analysis of differential equations. This paper explores the theoretical background of a method proposed by Ben-Tal and Nemirovksi. Their method provides a strengthening of the containment problem, that is algorithmically well tractable. To analyze this method, we study abstract operator systems, and investigate when they have a finite-dimensional concrete realization. Our results give some profound insight into their approach. T"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.07908","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-18T00:33:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RH9J5ebDLPzjXnDQr+iECRF+eA7/YVFowzgFH2c4fNJnfUguv9AL4efUMA+Dv0JwHXX6ge8mmoWnUkF0OD1IDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T13:39:33.012414Z"},"content_sha256":"65b993454bc2c0fd06a2e137f25fd159ead33a4944cce25461e95df08f89e5e8","schema_version":"1.0","event_id":"sha256:65b993454bc2c0fd06a2e137f25fd159ead33a4944cce25461e95df08f89e5e8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/X6ZLRS3ZOLM7HYM3SV76MXFA3N/bundle.json","state_url":"https://pith.science/pith/X6ZLRS3ZOLM7HYM3SV76MXFA3N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/X6ZLRS3ZOLM7HYM3SV76MXFA3N/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-25T13:39:33Z","links":{"resolver":"https://pith.science/pith/X6ZLRS3ZOLM7HYM3SV76MXFA3N","bundle":"https://pith.science/pith/X6ZLRS3ZOLM7HYM3SV76MXFA3N/bundle.json","state":"https://pith.science/pith/X6ZLRS3ZOLM7HYM3SV76MXFA3N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/X6ZLRS3ZOLM7HYM3SV76MXFA3N/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:X6ZLRS3ZOLM7HYM3SV76MXFA3N","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":"dcec081e339e9829a7b1928c5776dd55dbe06d595b6fb906ef47528f2d3aeb57","cross_cats_sorted":["math.AG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2016-09-26T10:06:13Z","title_canon_sha256":"257b12744e26e0bccfd63fbc7433ad19bd5b48c132be1e552e16a2f33e328a96"},"schema_version":"1.0","source":{"id":"1609.07908","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.07908","created_at":"2026-05-18T00:33:53Z"},{"alias_kind":"arxiv_version","alias_value":"1609.07908v2","created_at":"2026-05-18T00:33:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.07908","created_at":"2026-05-18T00:33:53Z"},{"alias_kind":"pith_short_12","alias_value":"X6ZLRS3ZOLM7","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"X6ZLRS3ZOLM7HYM3","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"X6ZLRS3Z","created_at":"2026-05-18T12:30:51Z"}],"graph_snapshots":[{"event_id":"sha256:65b993454bc2c0fd06a2e137f25fd159ead33a4944cce25461e95df08f89e5e8","target":"graph","created_at":"2026-05-18T00:33:53Z","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":"Containment problems for polytopes and spectrahedra appear in various applications, such as linear and semidefinite programming, combinatorics, convexity and stability analysis of differential equations. This paper explores the theoretical background of a method proposed by Ben-Tal and Nemirovksi. Their method provides a strengthening of the containment problem, that is algorithmically well tractable. To analyze this method, we study abstract operator systems, and investigate when they have a finite-dimensional concrete realization. Our results give some profound insight into their approach. T","authors_text":"Andreas Thom, Tim Netzer, Tobias Fritz","cross_cats":["math.AG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2016-09-26T10:06:13Z","title":"Spectrahedral Containment and Operator Systems with Finite-Dimensional Realization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.07908","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:20201564c5f90691b90c07e23b794d65662c6740fc3c4f52ffe2c1c4a2a7bc61","target":"record","created_at":"2026-05-18T00:33:53Z","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":"dcec081e339e9829a7b1928c5776dd55dbe06d595b6fb906ef47528f2d3aeb57","cross_cats_sorted":["math.AG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2016-09-26T10:06:13Z","title_canon_sha256":"257b12744e26e0bccfd63fbc7433ad19bd5b48c132be1e552e16a2f33e328a96"},"schema_version":"1.0","source":{"id":"1609.07908","kind":"arxiv","version":2}},"canonical_sha256":"bfb2b8cb7972d9f3e19b957fe65ca0db504734c6edb3ab288c6f36abd126c142","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bfb2b8cb7972d9f3e19b957fe65ca0db504734c6edb3ab288c6f36abd126c142","first_computed_at":"2026-05-18T00:33:53.125235Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:33:53.125235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SNIU18NOltkzyK3JjUz3KH9PX8p52juK2dIKsLmMhYDVqM2LCNuMpJgQKj0Sx4EEB11FCLRR5kBhsmnTDdL+DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:33:53.125768Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.07908","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:20201564c5f90691b90c07e23b794d65662c6740fc3c4f52ffe2c1c4a2a7bc61","sha256:65b993454bc2c0fd06a2e137f25fd159ead33a4944cce25461e95df08f89e5e8"],"state_sha256":"383bf986cf652db6c81ece912acd8334e44d280706deffc4d3a9c1fec5587e0b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nZWuBBbsAKehavplc4inHHGSNPljy16mLg1ujbV/0bTZnVRoQNvrPgMYvvQ+RLhaNx8knZ7o3OBJXCGxRxegDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T13:39:33.014460Z","bundle_sha256":"7bf1e8ee2c8536f3eb2ba358286b7096cc82af05ad020bc31d33abb1f3e363cf"}}