{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:XYJ47FRKC4HCKPK2SYERGAYM6A","short_pith_number":"pith:XYJ47FRK","canonical_record":{"source":{"id":"1804.01327","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-04-04T10:05:48Z","cross_cats_sorted":[],"title_canon_sha256":"30c866eff1ea501b6135b8dce0535ef932a897c269da191f7e16043e3ceb231f","abstract_canon_sha256":"ce17550f9ee7e5b7b5e3397371d6027a40dafe74765afd18deece9aa4d36896f"},"schema_version":"1.0"},"canonical_sha256":"be13cf962a170e253d5a960913030cf0378ba02cc58a9bf863261c582f2cf9c1","source":{"kind":"arxiv","id":"1804.01327","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.01327","created_at":"2026-05-17T23:55:59Z"},{"alias_kind":"arxiv_version","alias_value":"1804.01327v2","created_at":"2026-05-17T23:55:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.01327","created_at":"2026-05-17T23:55:59Z"},{"alias_kind":"pith_short_12","alias_value":"XYJ47FRKC4HC","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"XYJ47FRKC4HCKPK2","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"XYJ47FRK","created_at":"2026-05-18T12:33:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:XYJ47FRKC4HCKPK2SYERGAYM6A","target":"record","payload":{"canonical_record":{"source":{"id":"1804.01327","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-04-04T10:05:48Z","cross_cats_sorted":[],"title_canon_sha256":"30c866eff1ea501b6135b8dce0535ef932a897c269da191f7e16043e3ceb231f","abstract_canon_sha256":"ce17550f9ee7e5b7b5e3397371d6027a40dafe74765afd18deece9aa4d36896f"},"schema_version":"1.0"},"canonical_sha256":"be13cf962a170e253d5a960913030cf0378ba02cc58a9bf863261c582f2cf9c1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:55:59.188611Z","signature_b64":"kmLQ4US13pkFMGg2H6hWbzIaO90WH/GG4GDJkEivimvVpxO/puhpspdGGXA0nYjSfAYcHzZZkLLulD4oRgUYDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"be13cf962a170e253d5a960913030cf0378ba02cc58a9bf863261c582f2cf9c1","last_reissued_at":"2026-05-17T23:55:59.187930Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:55:59.187930Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.01327","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-17T23:55:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vQG3lR094tV27O5FIK3Wz4xjLoRvbCyv/uarKYZsWjI54+pFCRwqBQiVSTp1rFwbFw9HsfIPOEy8A/ur2zh2CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-20T08:43:16.453846Z"},"content_sha256":"23e7bab2f579000940e8062c9735df3eb42a34b3856e51a4244ac169b1fd10b1","schema_version":"1.0","event_id":"sha256:23e7bab2f579000940e8062c9735df3eb42a34b3856e51a4244ac169b1fd10b1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:XYJ47FRKC4HCKPK2SYERGAYM6A","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Irreducible infeasible subsystems of semidefinite systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Kai Kellner, Marc E. Pfetsch, Thorsten Theobald","submitted_at":"2018-04-04T10:05:48Z","abstract_excerpt":"Farkas' lemma for semidefinite programming characterizes semidefinite feasibility of linear matrix pencils in terms of an alternative spectrahedron. In the well-studied special case of linear programming, a theorem by Gleeson and Ryan states that the index sets of irreducible infeasible subsystems are exactly the supports of the vertices of the corresponding alternative polyhedron.\n  We show that one direction of this theorem can be generalized to the nonlinear situation of extreme points of general spectrahedra. The reverse direction, however, is not true in general, which we show by means of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.01327","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-17T23:55:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jput9EIvbsPaeQRUvWW5n/TlYibqTnSk7gIO2HpirL6trdim/MScJ5NBflCeeQG0PPuxecQfdnG8+sLaUCfpAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-20T08:43:16.454182Z"},"content_sha256":"4d969ca5aa5a5dcc1e4fa16ce79cc3d45bc7b44d5b44dc8bde9030425f6929bd","schema_version":"1.0","event_id":"sha256:4d969ca5aa5a5dcc1e4fa16ce79cc3d45bc7b44d5b44dc8bde9030425f6929bd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XYJ47FRKC4HCKPK2SYERGAYM6A/bundle.json","state_url":"https://pith.science/pith/XYJ47FRKC4HCKPK2SYERGAYM6A/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XYJ47FRKC4HCKPK2SYERGAYM6A/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-20T08:43:16Z","links":{"resolver":"https://pith.science/pith/XYJ47FRKC4HCKPK2SYERGAYM6A","bundle":"https://pith.science/pith/XYJ47FRKC4HCKPK2SYERGAYM6A/bundle.json","state":"https://pith.science/pith/XYJ47FRKC4HCKPK2SYERGAYM6A/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XYJ47FRKC4HCKPK2SYERGAYM6A/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:XYJ47FRKC4HCKPK2SYERGAYM6A","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":"ce17550f9ee7e5b7b5e3397371d6027a40dafe74765afd18deece9aa4d36896f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-04-04T10:05:48Z","title_canon_sha256":"30c866eff1ea501b6135b8dce0535ef932a897c269da191f7e16043e3ceb231f"},"schema_version":"1.0","source":{"id":"1804.01327","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.01327","created_at":"2026-05-17T23:55:59Z"},{"alias_kind":"arxiv_version","alias_value":"1804.01327v2","created_at":"2026-05-17T23:55:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.01327","created_at":"2026-05-17T23:55:59Z"},{"alias_kind":"pith_short_12","alias_value":"XYJ47FRKC4HC","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"XYJ47FRKC4HCKPK2","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"XYJ47FRK","created_at":"2026-05-18T12:33:04Z"}],"graph_snapshots":[{"event_id":"sha256:4d969ca5aa5a5dcc1e4fa16ce79cc3d45bc7b44d5b44dc8bde9030425f6929bd","target":"graph","created_at":"2026-05-17T23:55:59Z","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":"Farkas' lemma for semidefinite programming characterizes semidefinite feasibility of linear matrix pencils in terms of an alternative spectrahedron. In the well-studied special case of linear programming, a theorem by Gleeson and Ryan states that the index sets of irreducible infeasible subsystems are exactly the supports of the vertices of the corresponding alternative polyhedron.\n  We show that one direction of this theorem can be generalized to the nonlinear situation of extreme points of general spectrahedra. The reverse direction, however, is not true in general, which we show by means of","authors_text":"Kai Kellner, Marc E. Pfetsch, Thorsten Theobald","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-04-04T10:05:48Z","title":"Irreducible infeasible subsystems of semidefinite systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.01327","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:23e7bab2f579000940e8062c9735df3eb42a34b3856e51a4244ac169b1fd10b1","target":"record","created_at":"2026-05-17T23:55:59Z","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":"ce17550f9ee7e5b7b5e3397371d6027a40dafe74765afd18deece9aa4d36896f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-04-04T10:05:48Z","title_canon_sha256":"30c866eff1ea501b6135b8dce0535ef932a897c269da191f7e16043e3ceb231f"},"schema_version":"1.0","source":{"id":"1804.01327","kind":"arxiv","version":2}},"canonical_sha256":"be13cf962a170e253d5a960913030cf0378ba02cc58a9bf863261c582f2cf9c1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"be13cf962a170e253d5a960913030cf0378ba02cc58a9bf863261c582f2cf9c1","first_computed_at":"2026-05-17T23:55:59.187930Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:55:59.187930Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kmLQ4US13pkFMGg2H6hWbzIaO90WH/GG4GDJkEivimvVpxO/puhpspdGGXA0nYjSfAYcHzZZkLLulD4oRgUYDQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:55:59.188611Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.01327","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:23e7bab2f579000940e8062c9735df3eb42a34b3856e51a4244ac169b1fd10b1","sha256:4d969ca5aa5a5dcc1e4fa16ce79cc3d45bc7b44d5b44dc8bde9030425f6929bd"],"state_sha256":"12a37a9f8041ad3bfcc5e317838a8cb6c9d023cc2c4f49ed176c2a11a5124d62"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qxYiLWFNFh3G7Tfz6MCD/bbevmwhUXBroemVpWL7vrSJckJUKHF7STtG+6sZAtEYNK7yIQdYP5tNWDF3a0RVAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-20T08:43:16.455987Z","bundle_sha256":"8001a261676db5f61a89a966d79d4c2bd67f717c0b39ccb7990433281bfad889"}}