{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:XAESMXFMC46GH4L42ZBMKAOV4O","short_pith_number":"pith:XAESMXFM","canonical_record":{"source":{"id":"1701.01549","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-01-06T05:48:40Z","cross_cats_sorted":[],"title_canon_sha256":"902347fe36039981a1ce07d5199a24b9b730b676640f5172d2af19fbbf685201","abstract_canon_sha256":"b02410f2117747c41bd4bf0e912bc101c51284cfaa8acfe2a7b6a30b95f3ae9d"},"schema_version":"1.0"},"canonical_sha256":"b809265cac173c63f17cd642c501d5e3b4f1123ff32957ab5f59769f6047c63d","source":{"kind":"arxiv","id":"1701.01549","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.01549","created_at":"2026-05-18T00:19:09Z"},{"alias_kind":"arxiv_version","alias_value":"1701.01549v2","created_at":"2026-05-18T00:19:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.01549","created_at":"2026-05-18T00:19:09Z"},{"alias_kind":"pith_short_12","alias_value":"XAESMXFMC46G","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"XAESMXFMC46GH4L4","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"XAESMXFM","created_at":"2026-05-18T12:31:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:XAESMXFMC46GH4L42ZBMKAOV4O","target":"record","payload":{"canonical_record":{"source":{"id":"1701.01549","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-01-06T05:48:40Z","cross_cats_sorted":[],"title_canon_sha256":"902347fe36039981a1ce07d5199a24b9b730b676640f5172d2af19fbbf685201","abstract_canon_sha256":"b02410f2117747c41bd4bf0e912bc101c51284cfaa8acfe2a7b6a30b95f3ae9d"},"schema_version":"1.0"},"canonical_sha256":"b809265cac173c63f17cd642c501d5e3b4f1123ff32957ab5f59769f6047c63d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:19:09.021053Z","signature_b64":"M24w94ocoHc6RNm8vWCHZzfFLC3YSEdkCjnvJt4sL1IhaehiikV690ohEwpMu+MKsN1isrJ3acaDxNKebjqZBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b809265cac173c63f17cd642c501d5e3b4f1123ff32957ab5f59769f6047c63d","last_reissued_at":"2026-05-18T00:19:09.020257Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:19:09.020257Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1701.01549","source_version":2,"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:19:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yOqp2MfSMHXSaNnJ2Xzyrhcv872ZSVZ1riP8iI/FTTE7sK8hubdxig4MHnEJc8dgJJSrt50LRKfqnwLvOLR0AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T20:12:59.755787Z"},"content_sha256":"4888a5a439ad9a758a51f974cdf1d7c95a0813824889d730986efd910fcb7441","schema_version":"1.0","event_id":"sha256:4888a5a439ad9a758a51f974cdf1d7c95a0813824889d730986efd910fcb7441"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:XAESMXFMC46GH4L42ZBMKAOV4O","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Tight Relaxations for Polynomial Optimization and Lagrange Multiplier Expressions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Jiawang Nie","submitted_at":"2017-01-06T05:48:40Z","abstract_excerpt":"This paper proposes tight semidefinite relaxations for polynomial optimization. The optimality conditions are investigated. We show that generally Lagrange multipliers can be expressed as polynomial functions in decision variables over the set of critical points. The polynomial expressions can be determined by linear equations. Based on these expressions, new Lasserre type semidefinite relaxations are constructed for solving polynomial optimization. We show that the hierarchy of new relaxations has finite convergence, or equivalently, the new relaxations are tight for a finite relaxation order"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.01549","kind":"arxiv","version":2},"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:19:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SVDsAa1sQLQ9/CbjZjjV+lSe0evd4fZN8oitFKas7VyRENSAKYLo63/AS4X7IvLv3oLTGw8FVwCVL2o4jMkUCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T20:12:59.756141Z"},"content_sha256":"b71532ffc7dcd56f912ac9288790006a9bc2cb59cbf531fcc95bd8115039c5b0","schema_version":"1.0","event_id":"sha256:b71532ffc7dcd56f912ac9288790006a9bc2cb59cbf531fcc95bd8115039c5b0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XAESMXFMC46GH4L42ZBMKAOV4O/bundle.json","state_url":"https://pith.science/pith/XAESMXFMC46GH4L42ZBMKAOV4O/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XAESMXFMC46GH4L42ZBMKAOV4O/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-01T20:12:59Z","links":{"resolver":"https://pith.science/pith/XAESMXFMC46GH4L42ZBMKAOV4O","bundle":"https://pith.science/pith/XAESMXFMC46GH4L42ZBMKAOV4O/bundle.json","state":"https://pith.science/pith/XAESMXFMC46GH4L42ZBMKAOV4O/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XAESMXFMC46GH4L42ZBMKAOV4O/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:XAESMXFMC46GH4L42ZBMKAOV4O","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":"b02410f2117747c41bd4bf0e912bc101c51284cfaa8acfe2a7b6a30b95f3ae9d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-01-06T05:48:40Z","title_canon_sha256":"902347fe36039981a1ce07d5199a24b9b730b676640f5172d2af19fbbf685201"},"schema_version":"1.0","source":{"id":"1701.01549","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.01549","created_at":"2026-05-18T00:19:09Z"},{"alias_kind":"arxiv_version","alias_value":"1701.01549v2","created_at":"2026-05-18T00:19:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.01549","created_at":"2026-05-18T00:19:09Z"},{"alias_kind":"pith_short_12","alias_value":"XAESMXFMC46G","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"XAESMXFMC46GH4L4","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"XAESMXFM","created_at":"2026-05-18T12:31:53Z"}],"graph_snapshots":[{"event_id":"sha256:b71532ffc7dcd56f912ac9288790006a9bc2cb59cbf531fcc95bd8115039c5b0","target":"graph","created_at":"2026-05-18T00:19:09Z","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":"This paper proposes tight semidefinite relaxations for polynomial optimization. The optimality conditions are investigated. We show that generally Lagrange multipliers can be expressed as polynomial functions in decision variables over the set of critical points. The polynomial expressions can be determined by linear equations. Based on these expressions, new Lasserre type semidefinite relaxations are constructed for solving polynomial optimization. We show that the hierarchy of new relaxations has finite convergence, or equivalently, the new relaxations are tight for a finite relaxation order","authors_text":"Jiawang Nie","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-01-06T05:48:40Z","title":"Tight Relaxations for Polynomial Optimization and Lagrange Multiplier Expressions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.01549","kind":"arxiv","version":2},"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:4888a5a439ad9a758a51f974cdf1d7c95a0813824889d730986efd910fcb7441","target":"record","created_at":"2026-05-18T00:19:09Z","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":"b02410f2117747c41bd4bf0e912bc101c51284cfaa8acfe2a7b6a30b95f3ae9d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-01-06T05:48:40Z","title_canon_sha256":"902347fe36039981a1ce07d5199a24b9b730b676640f5172d2af19fbbf685201"},"schema_version":"1.0","source":{"id":"1701.01549","kind":"arxiv","version":2}},"canonical_sha256":"b809265cac173c63f17cd642c501d5e3b4f1123ff32957ab5f59769f6047c63d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b809265cac173c63f17cd642c501d5e3b4f1123ff32957ab5f59769f6047c63d","first_computed_at":"2026-05-18T00:19:09.020257Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:19:09.020257Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"M24w94ocoHc6RNm8vWCHZzfFLC3YSEdkCjnvJt4sL1IhaehiikV690ohEwpMu+MKsN1isrJ3acaDxNKebjqZBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:19:09.021053Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.01549","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4888a5a439ad9a758a51f974cdf1d7c95a0813824889d730986efd910fcb7441","sha256:b71532ffc7dcd56f912ac9288790006a9bc2cb59cbf531fcc95bd8115039c5b0"],"state_sha256":"e71d5ebb58a0d12e220e2932d5c12c72bbe69fc8ff91bac4af6b440ce7236799"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QrpfBFj4SZC+1msM0qscWSVz8TrOJ8XhWj5MTQAyZNKR46Mo2sSU0Lhrl9cAL+DhKBIVEcqc2q1Y+G90Go/fDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T20:12:59.758070Z","bundle_sha256":"d56f1c7469b55d61c9e909f0e0268018072233fca2781373d7210ab000f815fc"}}