{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:DKINN3YQHMAKVQO6Z34CSJ7CM5","short_pith_number":"pith:DKINN3YQ","canonical_record":{"source":{"id":"1507.00290","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-07-01T17:18:16Z","cross_cats_sorted":[],"title_canon_sha256":"2e9fb6e7c110cb0880510cc15b959fc754ae878726635d72deb3bc81be255f97","abstract_canon_sha256":"e6db00c70337e350960b5f1380812d9edc9f56ac60961a1c7a55484f73fa5c08"},"schema_version":"1.0"},"canonical_sha256":"1a90d6ef103b00aac1decef82927e2674bd925c9e450fd1fc1d1140b1a487ad3","source":{"kind":"arxiv","id":"1507.00290","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.00290","created_at":"2026-05-18T00:46:26Z"},{"alias_kind":"arxiv_version","alias_value":"1507.00290v4","created_at":"2026-05-18T00:46:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.00290","created_at":"2026-05-18T00:46:26Z"},{"alias_kind":"pith_short_12","alias_value":"DKINN3YQHMAK","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_16","alias_value":"DKINN3YQHMAKVQO6","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_8","alias_value":"DKINN3YQ","created_at":"2026-05-18T12:29:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:DKINN3YQHMAKVQO6Z34CSJ7CM5","target":"record","payload":{"canonical_record":{"source":{"id":"1507.00290","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-07-01T17:18:16Z","cross_cats_sorted":[],"title_canon_sha256":"2e9fb6e7c110cb0880510cc15b959fc754ae878726635d72deb3bc81be255f97","abstract_canon_sha256":"e6db00c70337e350960b5f1380812d9edc9f56ac60961a1c7a55484f73fa5c08"},"schema_version":"1.0"},"canonical_sha256":"1a90d6ef103b00aac1decef82927e2674bd925c9e450fd1fc1d1140b1a487ad3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:46:26.571225Z","signature_b64":"oVI6UoN1Ftiu/3O0C+c4Jn3LgIBWf4IjYVLo52l+ogLc5mqMuxl4PEUe3+gqZt8x+lgfk+8gikFgebgQ8UuMBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1a90d6ef103b00aac1decef82927e2674bd925c9e450fd1fc1d1140b1a487ad3","last_reissued_at":"2026-05-18T00:46:26.570845Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:46:26.570845Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1507.00290","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-05-18T00:46:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LTR21lBJ6xy+Xr9WQrlKYwfOUZI4YBEgY4x6Izs2FGpr8ZVlKTNseSYqO8E1G2+NAFnDy2FOknWYNGIpus+mDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T22:25:45.161536Z"},"content_sha256":"3b5f74faabb95fad78255e03c570cbfb9ae945e52f9694374083a5c5a3a0c8ed","schema_version":"1.0","event_id":"sha256:3b5f74faabb95fad78255e03c570cbfb9ae945e52f9694374083a5c5a3a0c8ed"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:DKINN3YQHMAKVQO6Z34CSJ7CM5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Exact duals and short certificates of infeasibility and weak infeasibility in conic linear programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Gabor Pataki, Minghui Liu","submitted_at":"2015-07-01T17:18:16Z","abstract_excerpt":"In conic linear programming -- in contrast to linear programming -- the Lagrange dual is not an exact dual: it may not attain its optimal value, or there may be a positive duality gap. The corresponding Farkas' lemma is also not exact (it does not always prove infeasibility). We describe exact duals, and certificates of infeasibility and weak infeasibility for conic LPs which are nearly as simple as the Lagrange dual, but do not rely on any constraint qualification. Some of our exact duals generalize the SDP duals of Ramana, and Klep and Schweighofer to the context of general conic LPs. Some o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.00290","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":""},"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:46:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jaUAMgyI6MYEbkktDF53MgHhQoZwtRfUIG9T5vOnPN+hhOdSlhWHwbAxC795BigSt0jjO4zMwCITF8zPIVLYBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T22:25:45.162218Z"},"content_sha256":"3b6284c16ef61ed7330b7463b0dd08011e35f350cc43a59c02ade51763759139","schema_version":"1.0","event_id":"sha256:3b6284c16ef61ed7330b7463b0dd08011e35f350cc43a59c02ade51763759139"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DKINN3YQHMAKVQO6Z34CSJ7CM5/bundle.json","state_url":"https://pith.science/pith/DKINN3YQHMAKVQO6Z34CSJ7CM5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DKINN3YQHMAKVQO6Z34CSJ7CM5/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-04T22:25:45Z","links":{"resolver":"https://pith.science/pith/DKINN3YQHMAKVQO6Z34CSJ7CM5","bundle":"https://pith.science/pith/DKINN3YQHMAKVQO6Z34CSJ7CM5/bundle.json","state":"https://pith.science/pith/DKINN3YQHMAKVQO6Z34CSJ7CM5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DKINN3YQHMAKVQO6Z34CSJ7CM5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:DKINN3YQHMAKVQO6Z34CSJ7CM5","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":"e6db00c70337e350960b5f1380812d9edc9f56ac60961a1c7a55484f73fa5c08","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-07-01T17:18:16Z","title_canon_sha256":"2e9fb6e7c110cb0880510cc15b959fc754ae878726635d72deb3bc81be255f97"},"schema_version":"1.0","source":{"id":"1507.00290","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.00290","created_at":"2026-05-18T00:46:26Z"},{"alias_kind":"arxiv_version","alias_value":"1507.00290v4","created_at":"2026-05-18T00:46:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.00290","created_at":"2026-05-18T00:46:26Z"},{"alias_kind":"pith_short_12","alias_value":"DKINN3YQHMAK","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_16","alias_value":"DKINN3YQHMAKVQO6","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_8","alias_value":"DKINN3YQ","created_at":"2026-05-18T12:29:17Z"}],"graph_snapshots":[{"event_id":"sha256:3b6284c16ef61ed7330b7463b0dd08011e35f350cc43a59c02ade51763759139","target":"graph","created_at":"2026-05-18T00:46:26Z","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":"In conic linear programming -- in contrast to linear programming -- the Lagrange dual is not an exact dual: it may not attain its optimal value, or there may be a positive duality gap. The corresponding Farkas' lemma is also not exact (it does not always prove infeasibility). We describe exact duals, and certificates of infeasibility and weak infeasibility for conic LPs which are nearly as simple as the Lagrange dual, but do not rely on any constraint qualification. Some of our exact duals generalize the SDP duals of Ramana, and Klep and Schweighofer to the context of general conic LPs. Some o","authors_text":"Gabor Pataki, Minghui Liu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-07-01T17:18:16Z","title":"Exact duals and short certificates of infeasibility and weak infeasibility in conic linear programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.00290","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:3b5f74faabb95fad78255e03c570cbfb9ae945e52f9694374083a5c5a3a0c8ed","target":"record","created_at":"2026-05-18T00:46:26Z","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":"e6db00c70337e350960b5f1380812d9edc9f56ac60961a1c7a55484f73fa5c08","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-07-01T17:18:16Z","title_canon_sha256":"2e9fb6e7c110cb0880510cc15b959fc754ae878726635d72deb3bc81be255f97"},"schema_version":"1.0","source":{"id":"1507.00290","kind":"arxiv","version":4}},"canonical_sha256":"1a90d6ef103b00aac1decef82927e2674bd925c9e450fd1fc1d1140b1a487ad3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1a90d6ef103b00aac1decef82927e2674bd925c9e450fd1fc1d1140b1a487ad3","first_computed_at":"2026-05-18T00:46:26.570845Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:46:26.570845Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oVI6UoN1Ftiu/3O0C+c4Jn3LgIBWf4IjYVLo52l+ogLc5mqMuxl4PEUe3+gqZt8x+lgfk+8gikFgebgQ8UuMBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:46:26.571225Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.00290","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3b5f74faabb95fad78255e03c570cbfb9ae945e52f9694374083a5c5a3a0c8ed","sha256:3b6284c16ef61ed7330b7463b0dd08011e35f350cc43a59c02ade51763759139"],"state_sha256":"2ff8d28a90ac9ad2116a1ab6dd062bf93c4c1d7b5b734c76c70b5dd07a0dfb01"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pFzVKGKB/q1/UXyuq3CZRetl+oiHRZWYKVmyxHFSCtDu7x/lb+/9kK5MPScPB7VSQXPhL8Ce4vPxZAk0Yn/1CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T22:25:45.165760Z","bundle_sha256":"b5ae5a863ff9d00cb67a972d2273902de662c93fb18e376c67a873b760553e7d"}}