{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:4HVGQHUO23FZH2ZQ7V3QOEWZ2X","short_pith_number":"pith:4HVGQHUO","canonical_record":{"source":{"id":"1610.00875","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-10-04T07:22:15Z","cross_cats_sorted":[],"title_canon_sha256":"51fd7d31e47804d6039b4b86af701063bd12e5cd3d4470e1daa421975ab41b0d","abstract_canon_sha256":"38ac55c5104ffd97454e7b79730079dc2807a08d800bf13e65d809aa9c1f05d7"},"schema_version":"1.0"},"canonical_sha256":"e1ea681e8ed6cb93eb30fd770712d9d5de9ffcac01dfe7a25102f380021f6577","source":{"kind":"arxiv","id":"1610.00875","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.00875","created_at":"2026-05-18T01:03:13Z"},{"alias_kind":"arxiv_version","alias_value":"1610.00875v1","created_at":"2026-05-18T01:03:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.00875","created_at":"2026-05-18T01:03:13Z"},{"alias_kind":"pith_short_12","alias_value":"4HVGQHUO23FZ","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"4HVGQHUO23FZH2ZQ","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"4HVGQHUO","created_at":"2026-05-18T12:29:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:4HVGQHUO23FZH2ZQ7V3QOEWZ2X","target":"record","payload":{"canonical_record":{"source":{"id":"1610.00875","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-10-04T07:22:15Z","cross_cats_sorted":[],"title_canon_sha256":"51fd7d31e47804d6039b4b86af701063bd12e5cd3d4470e1daa421975ab41b0d","abstract_canon_sha256":"38ac55c5104ffd97454e7b79730079dc2807a08d800bf13e65d809aa9c1f05d7"},"schema_version":"1.0"},"canonical_sha256":"e1ea681e8ed6cb93eb30fd770712d9d5de9ffcac01dfe7a25102f380021f6577","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:03:13.024084Z","signature_b64":"ps3KJ+lvM8WfcPB3dfVzcl6EkLr1MDAFxpt94s4jh2yhCxwWNpNLHVSZfq2QxfJGuqol5wXPra5XtF5+xd+uDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e1ea681e8ed6cb93eb30fd770712d9d5de9ffcac01dfe7a25102f380021f6577","last_reissued_at":"2026-05-18T01:03:13.023545Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:03:13.023545Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1610.00875","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-18T01:03:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mL9E4Tlix+d+ZZWcFf5o3li6Du22ThdFjOhLiLjc4E4t47JYrSTJquFqysuhzHZ8fIAdjHzneHri8mx3QzXLCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T03:01:08.825980Z"},"content_sha256":"680f990df8827e597c9319c036dfcb4a2f8530feda6cbb8e797034ffeecad75d","schema_version":"1.0","event_id":"sha256:680f990df8827e597c9319c036dfcb4a2f8530feda6cbb8e797034ffeecad75d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:4HVGQHUO23FZH2ZQ7V3QOEWZ2X","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Asymptotic Superlinear Convergence of the Augmented Lagrangian Method for Semidefinite Programming with Multiple Solutions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Defeng Sun, Kim-Chuan Toh, Ying Cui","submitted_at":"2016-10-04T07:22:15Z","abstract_excerpt":"Solving large scale convex semidefinite programming (SDP) problems has long been a challenging task numerically. Fortunately, several powerful solvers including SDPNAL, SDPNAL+ and QSDPNAL have recently been developed to solve linear and convex quadratic SDP problems to high accuracy successfully. These solvers are based on the augmented Lagrangian method (ALM) applied to the dual problems with the subproblems being solved by semismooth Newton-CG methods. Noticeably, thanks to Rockafellar's general theory on the proximal point algorithms, the primal iteration sequence generated by the ALM enjo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.00875","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-18T01:03:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HE4DX94aQnBlALAOAlNrIvmQtpJ1CcwPi9KQ9FeQt4IS9xy27lYn/94l9AiNdVBGNSJO8Pl+Kh+U+CKktiKjCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T03:01:08.826634Z"},"content_sha256":"aa80643a0e32ad132b8f1390d34ab842df7318733384097da83d587931e37f61","schema_version":"1.0","event_id":"sha256:aa80643a0e32ad132b8f1390d34ab842df7318733384097da83d587931e37f61"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4HVGQHUO23FZH2ZQ7V3QOEWZ2X/bundle.json","state_url":"https://pith.science/pith/4HVGQHUO23FZH2ZQ7V3QOEWZ2X/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4HVGQHUO23FZH2ZQ7V3QOEWZ2X/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-27T03:01:08Z","links":{"resolver":"https://pith.science/pith/4HVGQHUO23FZH2ZQ7V3QOEWZ2X","bundle":"https://pith.science/pith/4HVGQHUO23FZH2ZQ7V3QOEWZ2X/bundle.json","state":"https://pith.science/pith/4HVGQHUO23FZH2ZQ7V3QOEWZ2X/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4HVGQHUO23FZH2ZQ7V3QOEWZ2X/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:4HVGQHUO23FZH2ZQ7V3QOEWZ2X","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":"38ac55c5104ffd97454e7b79730079dc2807a08d800bf13e65d809aa9c1f05d7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-10-04T07:22:15Z","title_canon_sha256":"51fd7d31e47804d6039b4b86af701063bd12e5cd3d4470e1daa421975ab41b0d"},"schema_version":"1.0","source":{"id":"1610.00875","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.00875","created_at":"2026-05-18T01:03:13Z"},{"alias_kind":"arxiv_version","alias_value":"1610.00875v1","created_at":"2026-05-18T01:03:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.00875","created_at":"2026-05-18T01:03:13Z"},{"alias_kind":"pith_short_12","alias_value":"4HVGQHUO23FZ","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"4HVGQHUO23FZH2ZQ","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"4HVGQHUO","created_at":"2026-05-18T12:29:58Z"}],"graph_snapshots":[{"event_id":"sha256:aa80643a0e32ad132b8f1390d34ab842df7318733384097da83d587931e37f61","target":"graph","created_at":"2026-05-18T01:03:13Z","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":"Solving large scale convex semidefinite programming (SDP) problems has long been a challenging task numerically. Fortunately, several powerful solvers including SDPNAL, SDPNAL+ and QSDPNAL have recently been developed to solve linear and convex quadratic SDP problems to high accuracy successfully. These solvers are based on the augmented Lagrangian method (ALM) applied to the dual problems with the subproblems being solved by semismooth Newton-CG methods. Noticeably, thanks to Rockafellar's general theory on the proximal point algorithms, the primal iteration sequence generated by the ALM enjo","authors_text":"Defeng Sun, Kim-Chuan Toh, Ying Cui","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-10-04T07:22:15Z","title":"On the Asymptotic Superlinear Convergence of the Augmented Lagrangian Method for Semidefinite Programming with Multiple Solutions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.00875","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:680f990df8827e597c9319c036dfcb4a2f8530feda6cbb8e797034ffeecad75d","target":"record","created_at":"2026-05-18T01:03:13Z","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":"38ac55c5104ffd97454e7b79730079dc2807a08d800bf13e65d809aa9c1f05d7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-10-04T07:22:15Z","title_canon_sha256":"51fd7d31e47804d6039b4b86af701063bd12e5cd3d4470e1daa421975ab41b0d"},"schema_version":"1.0","source":{"id":"1610.00875","kind":"arxiv","version":1}},"canonical_sha256":"e1ea681e8ed6cb93eb30fd770712d9d5de9ffcac01dfe7a25102f380021f6577","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e1ea681e8ed6cb93eb30fd770712d9d5de9ffcac01dfe7a25102f380021f6577","first_computed_at":"2026-05-18T01:03:13.023545Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:03:13.023545Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ps3KJ+lvM8WfcPB3dfVzcl6EkLr1MDAFxpt94s4jh2yhCxwWNpNLHVSZfq2QxfJGuqol5wXPra5XtF5+xd+uDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:03:13.024084Z","signed_message":"canonical_sha256_bytes"},"source_id":"1610.00875","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:680f990df8827e597c9319c036dfcb4a2f8530feda6cbb8e797034ffeecad75d","sha256:aa80643a0e32ad132b8f1390d34ab842df7318733384097da83d587931e37f61"],"state_sha256":"14ecf9a8eb16498cfa48f0e4ba787ab688f1893054cebb04a612cb4093eb318c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wC7jA+0jvr7kZxqiEU65YfgsH/htrLPWiRW6htEInzknE7xTxSZRp52EsnKlzDjxRjyI5titw6j4Q+AQTNpKBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T03:01:08.829009Z","bundle_sha256":"0fb6477ee5dce6d4ff29fdac2d47d863e1a2e35fd5d318a35aa27ecb6e1104a0"}}