{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:XXVX3UJC5RDGKTLQS4C245VGRN","short_pith_number":"pith:XXVX3UJC","canonical_record":{"source":{"id":"1303.1598","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-03-07T02:48:36Z","cross_cats_sorted":["math.NA"],"title_canon_sha256":"6c3e0fe153ee51e47538ce3e07e7ff021f2569c8587d421431872db95151a0c9","abstract_canon_sha256":"9d8782cd445a76920e7c6224274480f252e99319b497fcf903b6a631a37bdf6c"},"schema_version":"1.0"},"canonical_sha256":"bdeb7dd122ec46654d709705ae76a68b4b68019ccacf93daa68696b117653076","source":{"kind":"arxiv","id":"1303.1598","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.1598","created_at":"2026-05-18T02:50:58Z"},{"alias_kind":"arxiv_version","alias_value":"1303.1598v4","created_at":"2026-05-18T02:50:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.1598","created_at":"2026-05-18T02:50:58Z"},{"alias_kind":"pith_short_12","alias_value":"XXVX3UJC5RDG","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_16","alias_value":"XXVX3UJC5RDGKTLQ","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_8","alias_value":"XXVX3UJC","created_at":"2026-05-18T12:28:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:XXVX3UJC5RDGKTLQS4C245VGRN","target":"record","payload":{"canonical_record":{"source":{"id":"1303.1598","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-03-07T02:48:36Z","cross_cats_sorted":["math.NA"],"title_canon_sha256":"6c3e0fe153ee51e47538ce3e07e7ff021f2569c8587d421431872db95151a0c9","abstract_canon_sha256":"9d8782cd445a76920e7c6224274480f252e99319b497fcf903b6a631a37bdf6c"},"schema_version":"1.0"},"canonical_sha256":"bdeb7dd122ec46654d709705ae76a68b4b68019ccacf93daa68696b117653076","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:50:58.820241Z","signature_b64":"W83o5DLpkzw5CogPxnMZC97nRUNd6e+R9bIPdAkij3O3Vpc1MXyHdQKVGlAxHTsFXywV3LU0yyictFU79EFkBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bdeb7dd122ec46654d709705ae76a68b4b68019ccacf93daa68696b117653076","last_reissued_at":"2026-05-18T02:50:58.819773Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:50:58.819773Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1303.1598","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-18T02:50:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6uggBVY+9DLKK94Yqhy4/9wVuuyt5HnC0Jj3aFlDAz90h0TaCLRPcgoaFJtFyrGFKlA5Cbppdhmo7hY7EcUwCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T01:02:10.495627Z"},"content_sha256":"c3556ec66f79b9f996fe5249a49f236fedede8b519d7030f2f797ea65ac11c8c","schema_version":"1.0","event_id":"sha256:c3556ec66f79b9f996fe5249a49f236fedede8b519d7030f2f797ea65ac11c8c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:XXVX3UJC5RDGKTLQS4C245VGRN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Conditions for Existence of Dual Certificates in Rank-One Semidefinite Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.NA"],"primary_cat":"math.OC","authors_text":"Paul Hand","submitted_at":"2013-03-07T02:48:36Z","abstract_excerpt":"Several signal recovery tasks can be relaxed into semidefinite programs with rank-one minimizers. A common technique for proving these programs succeed is to construct a dual certificate. Unfortunately, dual certificates may not exist under some formulations of semidefinite programs. In order to put problems into a form where dual certificate arguments are possible, it is important to develop conditions under which the certificates exist. In this paper, we provide an example where dual certificates do not exist. We then present a completeness condition under which they are guaranteed to exist."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.1598","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-18T02:50:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8wUXQvRjYFZmVj9NRtCdNAOCyt2p2/qHPWpbg3RMfbG3rWI+SJ1y8VB5VdhnCImmimTQNYrlUE0O+YWhH+2VCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T01:02:10.496271Z"},"content_sha256":"e44b7ffdabad57dbb5179c86cb9270419fa26c41f0fb758198a30a82b25da6ec","schema_version":"1.0","event_id":"sha256:e44b7ffdabad57dbb5179c86cb9270419fa26c41f0fb758198a30a82b25da6ec"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XXVX3UJC5RDGKTLQS4C245VGRN/bundle.json","state_url":"https://pith.science/pith/XXVX3UJC5RDGKTLQS4C245VGRN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XXVX3UJC5RDGKTLQS4C245VGRN/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-06T01:02:10Z","links":{"resolver":"https://pith.science/pith/XXVX3UJC5RDGKTLQS4C245VGRN","bundle":"https://pith.science/pith/XXVX3UJC5RDGKTLQS4C245VGRN/bundle.json","state":"https://pith.science/pith/XXVX3UJC5RDGKTLQS4C245VGRN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XXVX3UJC5RDGKTLQS4C245VGRN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:XXVX3UJC5RDGKTLQS4C245VGRN","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":"9d8782cd445a76920e7c6224274480f252e99319b497fcf903b6a631a37bdf6c","cross_cats_sorted":["math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-03-07T02:48:36Z","title_canon_sha256":"6c3e0fe153ee51e47538ce3e07e7ff021f2569c8587d421431872db95151a0c9"},"schema_version":"1.0","source":{"id":"1303.1598","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.1598","created_at":"2026-05-18T02:50:58Z"},{"alias_kind":"arxiv_version","alias_value":"1303.1598v4","created_at":"2026-05-18T02:50:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.1598","created_at":"2026-05-18T02:50:58Z"},{"alias_kind":"pith_short_12","alias_value":"XXVX3UJC5RDG","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_16","alias_value":"XXVX3UJC5RDGKTLQ","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_8","alias_value":"XXVX3UJC","created_at":"2026-05-18T12:28:06Z"}],"graph_snapshots":[{"event_id":"sha256:e44b7ffdabad57dbb5179c86cb9270419fa26c41f0fb758198a30a82b25da6ec","target":"graph","created_at":"2026-05-18T02:50:58Z","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":"Several signal recovery tasks can be relaxed into semidefinite programs with rank-one minimizers. A common technique for proving these programs succeed is to construct a dual certificate. Unfortunately, dual certificates may not exist under some formulations of semidefinite programs. In order to put problems into a form where dual certificate arguments are possible, it is important to develop conditions under which the certificates exist. In this paper, we provide an example where dual certificates do not exist. We then present a completeness condition under which they are guaranteed to exist.","authors_text":"Paul Hand","cross_cats":["math.NA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-03-07T02:48:36Z","title":"Conditions for Existence of Dual Certificates in Rank-One Semidefinite Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.1598","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:c3556ec66f79b9f996fe5249a49f236fedede8b519d7030f2f797ea65ac11c8c","target":"record","created_at":"2026-05-18T02:50:58Z","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":"9d8782cd445a76920e7c6224274480f252e99319b497fcf903b6a631a37bdf6c","cross_cats_sorted":["math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-03-07T02:48:36Z","title_canon_sha256":"6c3e0fe153ee51e47538ce3e07e7ff021f2569c8587d421431872db95151a0c9"},"schema_version":"1.0","source":{"id":"1303.1598","kind":"arxiv","version":4}},"canonical_sha256":"bdeb7dd122ec46654d709705ae76a68b4b68019ccacf93daa68696b117653076","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bdeb7dd122ec46654d709705ae76a68b4b68019ccacf93daa68696b117653076","first_computed_at":"2026-05-18T02:50:58.819773Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:50:58.819773Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"W83o5DLpkzw5CogPxnMZC97nRUNd6e+R9bIPdAkij3O3Vpc1MXyHdQKVGlAxHTsFXywV3LU0yyictFU79EFkBw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:50:58.820241Z","signed_message":"canonical_sha256_bytes"},"source_id":"1303.1598","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c3556ec66f79b9f996fe5249a49f236fedede8b519d7030f2f797ea65ac11c8c","sha256:e44b7ffdabad57dbb5179c86cb9270419fa26c41f0fb758198a30a82b25da6ec"],"state_sha256":"1f45f961f881deaa5bf1fb844bc35479568373841520493279866208dbaa2ea7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w0rO/KfXUaNxjm9ODm0TI38Cs6pfNTV3qwLd7OZZC6YEI8rYkiwIsr2y/JsdXsEVhGWvz4Zhe/AZ+9Xz8y+tBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T01:02:10.499573Z","bundle_sha256":"5d641952c0d190bb06098c885e61824326ce5500f9c58607813b3ac78256d9b8"}}