{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:X3I7MR5KFBX25BVHLPVO67Q3AE","short_pith_number":"pith:X3I7MR5K","canonical_record":{"source":{"id":"1705.06551","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-05-18T12:30:46Z","cross_cats_sorted":[],"title_canon_sha256":"7a128f132255d362737a6e1058ab0c974d04e6ef1eb7b20daa66b16cbdb00e5a","abstract_canon_sha256":"a6cacd9414573b08c5d71713d940161cd517cac10ed242ca4decc3736746bcac"},"schema_version":"1.0"},"canonical_sha256":"bed1f647aa286fae86a75beaef7e1b010f248aafd20a3795d25ec57fba915760","source":{"kind":"arxiv","id":"1705.06551","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.06551","created_at":"2026-05-18T00:12:25Z"},{"alias_kind":"arxiv_version","alias_value":"1705.06551v3","created_at":"2026-05-18T00:12:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.06551","created_at":"2026-05-18T00:12:25Z"},{"alias_kind":"pith_short_12","alias_value":"X3I7MR5KFBX2","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"X3I7MR5KFBX25BVH","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"X3I7MR5K","created_at":"2026-05-18T12:31:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:X3I7MR5KFBX25BVHLPVO67Q3AE","target":"record","payload":{"canonical_record":{"source":{"id":"1705.06551","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-05-18T12:30:46Z","cross_cats_sorted":[],"title_canon_sha256":"7a128f132255d362737a6e1058ab0c974d04e6ef1eb7b20daa66b16cbdb00e5a","abstract_canon_sha256":"a6cacd9414573b08c5d71713d940161cd517cac10ed242ca4decc3736746bcac"},"schema_version":"1.0"},"canonical_sha256":"bed1f647aa286fae86a75beaef7e1b010f248aafd20a3795d25ec57fba915760","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:12:25.073599Z","signature_b64":"Jy96DScKilFOmEBnLN8qg+PQFUuMx+U+a9csvgML9jsdppeOK+gow0pKL9e1Q+cYdzMqSBLVXNrT1btOskGfAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bed1f647aa286fae86a75beaef7e1b010f248aafd20a3795d25ec57fba915760","last_reissued_at":"2026-05-18T00:12:25.073103Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:12:25.073103Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.06551","source_version":3,"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:12:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D3eKyC+C4ikhxr9StJCbRjuafOWxZKog7RChOo0yYJce40OFpcSoSxJyS4lBPWCqdtmfyC4PzEf1qZEVryDyAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T23:00:25.721418Z"},"content_sha256":"386384021b9581c74941d8ffbea36fbe4c870e8ded2e843e5fea22b7dd78dffa","schema_version":"1.0","event_id":"sha256:386384021b9581c74941d8ffbea36fbe4c870e8ded2e843e5fea22b7dd78dffa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:X3I7MR5KFBX25BVHLPVO67Q3AE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Exact augmented Lagrangian functions for nonlinear semidefinite programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Bruno F. Louren\\c{c}o, Ellen H. Fukuda","submitted_at":"2017-05-18T12:30:46Z","abstract_excerpt":"In this paper, we study augmented Lagrangian functions for nonlinear semidefinite programming (NSDP) problems with exactness properties. The term exact is used in the sense that the penalty parameter can be taken appropriately, so a single minimization of the augmented Lagrangian recovers a solution of the original problem. This leads to reformulations of NSDP problems into unconstrained nonlinear programming ones. Here, we first establish a unified framework for constructing these exact functions, generalizing Di Pillo and Lucidi's work from 1996, that was aimed at solving nonlinear programmi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.06551","kind":"arxiv","version":3},"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:12:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xL20mP4bu17Ql9t67lAlCpAGUwRT9KmL0DyNyuWS5udHwU8pjmsKjDpI3TEQZCxy1rAjRRze6GAjiSScerXMDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T23:00:25.721760Z"},"content_sha256":"6e446b82914c06a0d09701a06a3b31ded0ce197c60e0486a2a3d009001307b5d","schema_version":"1.0","event_id":"sha256:6e446b82914c06a0d09701a06a3b31ded0ce197c60e0486a2a3d009001307b5d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/X3I7MR5KFBX25BVHLPVO67Q3AE/bundle.json","state_url":"https://pith.science/pith/X3I7MR5KFBX25BVHLPVO67Q3AE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/X3I7MR5KFBX25BVHLPVO67Q3AE/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-02T23:00:25Z","links":{"resolver":"https://pith.science/pith/X3I7MR5KFBX25BVHLPVO67Q3AE","bundle":"https://pith.science/pith/X3I7MR5KFBX25BVHLPVO67Q3AE/bundle.json","state":"https://pith.science/pith/X3I7MR5KFBX25BVHLPVO67Q3AE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/X3I7MR5KFBX25BVHLPVO67Q3AE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:X3I7MR5KFBX25BVHLPVO67Q3AE","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":"a6cacd9414573b08c5d71713d940161cd517cac10ed242ca4decc3736746bcac","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-05-18T12:30:46Z","title_canon_sha256":"7a128f132255d362737a6e1058ab0c974d04e6ef1eb7b20daa66b16cbdb00e5a"},"schema_version":"1.0","source":{"id":"1705.06551","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.06551","created_at":"2026-05-18T00:12:25Z"},{"alias_kind":"arxiv_version","alias_value":"1705.06551v3","created_at":"2026-05-18T00:12:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.06551","created_at":"2026-05-18T00:12:25Z"},{"alias_kind":"pith_short_12","alias_value":"X3I7MR5KFBX2","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"X3I7MR5KFBX25BVH","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"X3I7MR5K","created_at":"2026-05-18T12:31:53Z"}],"graph_snapshots":[{"event_id":"sha256:6e446b82914c06a0d09701a06a3b31ded0ce197c60e0486a2a3d009001307b5d","target":"graph","created_at":"2026-05-18T00:12:25Z","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 this paper, we study augmented Lagrangian functions for nonlinear semidefinite programming (NSDP) problems with exactness properties. The term exact is used in the sense that the penalty parameter can be taken appropriately, so a single minimization of the augmented Lagrangian recovers a solution of the original problem. This leads to reformulations of NSDP problems into unconstrained nonlinear programming ones. Here, we first establish a unified framework for constructing these exact functions, generalizing Di Pillo and Lucidi's work from 1996, that was aimed at solving nonlinear programmi","authors_text":"Bruno F. Louren\\c{c}o, Ellen H. Fukuda","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-05-18T12:30:46Z","title":"Exact augmented Lagrangian functions for nonlinear semidefinite programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.06551","kind":"arxiv","version":3},"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:386384021b9581c74941d8ffbea36fbe4c870e8ded2e843e5fea22b7dd78dffa","target":"record","created_at":"2026-05-18T00:12:25Z","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":"a6cacd9414573b08c5d71713d940161cd517cac10ed242ca4decc3736746bcac","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-05-18T12:30:46Z","title_canon_sha256":"7a128f132255d362737a6e1058ab0c974d04e6ef1eb7b20daa66b16cbdb00e5a"},"schema_version":"1.0","source":{"id":"1705.06551","kind":"arxiv","version":3}},"canonical_sha256":"bed1f647aa286fae86a75beaef7e1b010f248aafd20a3795d25ec57fba915760","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bed1f647aa286fae86a75beaef7e1b010f248aafd20a3795d25ec57fba915760","first_computed_at":"2026-05-18T00:12:25.073103Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:12:25.073103Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Jy96DScKilFOmEBnLN8qg+PQFUuMx+U+a9csvgML9jsdppeOK+gow0pKL9e1Q+cYdzMqSBLVXNrT1btOskGfAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:12:25.073599Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.06551","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:386384021b9581c74941d8ffbea36fbe4c870e8ded2e843e5fea22b7dd78dffa","sha256:6e446b82914c06a0d09701a06a3b31ded0ce197c60e0486a2a3d009001307b5d"],"state_sha256":"c05908d80082f2e7fe59a372a491d09d3abe9e37cd5cf84b21b86dabcc94d841"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sOzQ76ZV5Al8RdwdY/oIY75Dn43dXjSO7tdQnrDVOi5hQUe7P737fpjC2y2EyxOmyqlFjDzk/m1FmAOqWhjtBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T23:00:25.723681Z","bundle_sha256":"e64db6ccf62c1072c59205dab3032b1fe76ac6755d9f5e667d1fdfdc94d24144"}}