{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:NKDAUKBDOKBG5G27ECEV35HJ7Z","short_pith_number":"pith:NKDAUKBD","canonical_record":{"source":{"id":"1710.07410","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-10-20T04:12:24Z","cross_cats_sorted":[],"title_canon_sha256":"e8220d08194b15a57a7245e57c05a4699b08176a84c92b4143383c0699cee4a6","abstract_canon_sha256":"892f5af5eefabcbe5207ddf2a2a25a5a43ae4d785119b9134d1ef0c7cb6326b1"},"schema_version":"1.0"},"canonical_sha256":"6a860a282372826e9b5f20895df4e9fe621b3e8d9c96409d956a857f1ef31db6","source":{"kind":"arxiv","id":"1710.07410","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.07410","created_at":"2026-05-18T00:32:24Z"},{"alias_kind":"arxiv_version","alias_value":"1710.07410v1","created_at":"2026-05-18T00:32:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.07410","created_at":"2026-05-18T00:32:24Z"},{"alias_kind":"pith_short_12","alias_value":"NKDAUKBDOKBG","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"NKDAUKBDOKBG5G27","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"NKDAUKBD","created_at":"2026-05-18T12:31:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:NKDAUKBDOKBG5G27ECEV35HJ7Z","target":"record","payload":{"canonical_record":{"source":{"id":"1710.07410","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-10-20T04:12:24Z","cross_cats_sorted":[],"title_canon_sha256":"e8220d08194b15a57a7245e57c05a4699b08176a84c92b4143383c0699cee4a6","abstract_canon_sha256":"892f5af5eefabcbe5207ddf2a2a25a5a43ae4d785119b9134d1ef0c7cb6326b1"},"schema_version":"1.0"},"canonical_sha256":"6a860a282372826e9b5f20895df4e9fe621b3e8d9c96409d956a857f1ef31db6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:32:24.911390Z","signature_b64":"TKYBnDT8Omv0gFbXBJrMKeEgyyjeZeicgc2r6Al3AyBE4ExAMZx9ZfaFEP7T1kZnyvbfexGNYcb7FMXo4OgNAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6a860a282372826e9b5f20895df4e9fe621b3e8d9c96409d956a857f1ef31db6","last_reissued_at":"2026-05-18T00:32:24.910785Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:32:24.910785Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1710.07410","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:32:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IdVCgFgAbTJ7ftqtUWpFlYGGDPqV8SJAMDkeP6SqO8jRxYb6Am32s63xkx/PSdFSE8MjdCxCIeHHyAf7g6i2Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T18:13:43.876302Z"},"content_sha256":"f41bb95c9ae0c760fa616a6eef09edc8ead1a5c88fee440a8c63828210928c26","schema_version":"1.0","event_id":"sha256:f41bb95c9ae0c760fa616a6eef09edc8ead1a5c88fee440a8c63828210928c26"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:NKDAUKBDOKBG5G27ECEV35HJ7Z","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Complete Facial Reduction in One Step for Spectrahedra","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Henry Wolkowicz, Hugo Woerdeman, Stefan Sremac","submitted_at":"2017-10-20T04:12:24Z","abstract_excerpt":"A spectrahedron is the feasible set of a semidefinite program, SDP, i.e., the intersection of an affine set with the positive semidefinite cone. While strict feasibility is a generic property for random problems, there are many classes of problems where strict feasibility fails and this means that strong duality can fail as well. If the minimal face containing the spectrahedron is known, the SDPcan easily be transformed into an equivalent problem where strict feasibility holds and thus strong duality follows as well. The minimal face is fully characterized by the range or nullspace of any of t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.07410","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:32:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MSP1m8AiBS989lsXbXjJvlb0ToUcQDByEELGshQT4dWW8pm1bz5viwm1Sa4xVjRluQjRE5B/69j8d0VoN2f0DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T18:13:43.876987Z"},"content_sha256":"b0cf826617b947a1d6b66f3f7d741f4264d19026d571926da3dac78f4863c00c","schema_version":"1.0","event_id":"sha256:b0cf826617b947a1d6b66f3f7d741f4264d19026d571926da3dac78f4863c00c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NKDAUKBDOKBG5G27ECEV35HJ7Z/bundle.json","state_url":"https://pith.science/pith/NKDAUKBDOKBG5G27ECEV35HJ7Z/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NKDAUKBDOKBG5G27ECEV35HJ7Z/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-05-28T18:13:43Z","links":{"resolver":"https://pith.science/pith/NKDAUKBDOKBG5G27ECEV35HJ7Z","bundle":"https://pith.science/pith/NKDAUKBDOKBG5G27ECEV35HJ7Z/bundle.json","state":"https://pith.science/pith/NKDAUKBDOKBG5G27ECEV35HJ7Z/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NKDAUKBDOKBG5G27ECEV35HJ7Z/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:NKDAUKBDOKBG5G27ECEV35HJ7Z","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":"892f5af5eefabcbe5207ddf2a2a25a5a43ae4d785119b9134d1ef0c7cb6326b1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-10-20T04:12:24Z","title_canon_sha256":"e8220d08194b15a57a7245e57c05a4699b08176a84c92b4143383c0699cee4a6"},"schema_version":"1.0","source":{"id":"1710.07410","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.07410","created_at":"2026-05-18T00:32:24Z"},{"alias_kind":"arxiv_version","alias_value":"1710.07410v1","created_at":"2026-05-18T00:32:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.07410","created_at":"2026-05-18T00:32:24Z"},{"alias_kind":"pith_short_12","alias_value":"NKDAUKBDOKBG","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"NKDAUKBDOKBG5G27","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"NKDAUKBD","created_at":"2026-05-18T12:31:31Z"}],"graph_snapshots":[{"event_id":"sha256:b0cf826617b947a1d6b66f3f7d741f4264d19026d571926da3dac78f4863c00c","target":"graph","created_at":"2026-05-18T00:32:24Z","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":"A spectrahedron is the feasible set of a semidefinite program, SDP, i.e., the intersection of an affine set with the positive semidefinite cone. While strict feasibility is a generic property for random problems, there are many classes of problems where strict feasibility fails and this means that strong duality can fail as well. If the minimal face containing the spectrahedron is known, the SDPcan easily be transformed into an equivalent problem where strict feasibility holds and thus strong duality follows as well. The minimal face is fully characterized by the range or nullspace of any of t","authors_text":"Henry Wolkowicz, Hugo Woerdeman, Stefan Sremac","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-10-20T04:12:24Z","title":"Complete Facial Reduction in One Step for Spectrahedra"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.07410","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:f41bb95c9ae0c760fa616a6eef09edc8ead1a5c88fee440a8c63828210928c26","target":"record","created_at":"2026-05-18T00:32:24Z","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":"892f5af5eefabcbe5207ddf2a2a25a5a43ae4d785119b9134d1ef0c7cb6326b1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-10-20T04:12:24Z","title_canon_sha256":"e8220d08194b15a57a7245e57c05a4699b08176a84c92b4143383c0699cee4a6"},"schema_version":"1.0","source":{"id":"1710.07410","kind":"arxiv","version":1}},"canonical_sha256":"6a860a282372826e9b5f20895df4e9fe621b3e8d9c96409d956a857f1ef31db6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6a860a282372826e9b5f20895df4e9fe621b3e8d9c96409d956a857f1ef31db6","first_computed_at":"2026-05-18T00:32:24.910785Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:32:24.910785Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TKYBnDT8Omv0gFbXBJrMKeEgyyjeZeicgc2r6Al3AyBE4ExAMZx9ZfaFEP7T1kZnyvbfexGNYcb7FMXo4OgNAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:32:24.911390Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.07410","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f41bb95c9ae0c760fa616a6eef09edc8ead1a5c88fee440a8c63828210928c26","sha256:b0cf826617b947a1d6b66f3f7d741f4264d19026d571926da3dac78f4863c00c"],"state_sha256":"404bee4b94926dcb54168f4e1154a9383dfe9854351e286e17ea59b2d7ddf9e2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rK2K1d1It5aNuuIY/OhABFlS1aevy0EQpvQkomDq7YFcFqLTjgXvUMYQ0XXYXs4uCeywBeOVkzzfw33YIyycAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T18:13:43.881094Z","bundle_sha256":"0cb24196286c87fd3f9b48177218107696fcad6c9c7579cbb3a02b40361a793a"}}