{"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"}