{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:OBNMSBMBY6MTJCOBINHVSXJJT7","short_pith_number":"pith:OBNMSBMB","canonical_record":{"source":{"id":"1508.06985","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-08-27T19:56:01Z","cross_cats_sorted":[],"title_canon_sha256":"63fedbdc09769bc23f8c8ddd0338e7eb3e901f606fbfb383377908cf21237d34","abstract_canon_sha256":"661848ec470192f6db5057fa6bd612f9606117c71f1af4b35419a166123acb17"},"schema_version":"1.0"},"canonical_sha256":"705ac90581c7993489c1434f595d299fdd97077359d25e0b72d4fef03b297b6b","source":{"kind":"arxiv","id":"1508.06985","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.06985","created_at":"2026-05-18T01:00:19Z"},{"alias_kind":"arxiv_version","alias_value":"1508.06985v3","created_at":"2026-05-18T01:00:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.06985","created_at":"2026-05-18T01:00:19Z"},{"alias_kind":"pith_short_12","alias_value":"OBNMSBMBY6MT","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"OBNMSBMBY6MTJCOB","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"OBNMSBMB","created_at":"2026-05-18T12:29:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:OBNMSBMBY6MTJCOBINHVSXJJT7","target":"record","payload":{"canonical_record":{"source":{"id":"1508.06985","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-08-27T19:56:01Z","cross_cats_sorted":[],"title_canon_sha256":"63fedbdc09769bc23f8c8ddd0338e7eb3e901f606fbfb383377908cf21237d34","abstract_canon_sha256":"661848ec470192f6db5057fa6bd612f9606117c71f1af4b35419a166123acb17"},"schema_version":"1.0"},"canonical_sha256":"705ac90581c7993489c1434f595d299fdd97077359d25e0b72d4fef03b297b6b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:00:19.773678Z","signature_b64":"X0EUJe6vuhXIywpYWIuwODsCsFCqjNsWy49CKJ5kNjlFf/zYlmlU17ZZfyBOa/6Xi8L9TLGhrHc5LMWOEmRLAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"705ac90581c7993489c1434f595d299fdd97077359d25e0b72d4fef03b297b6b","last_reissued_at":"2026-05-18T01:00:19.773058Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:00:19.773058Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1508.06985","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-18T01:00:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o7396xD34kr5GhJtRHkh4T4FUaAsShCSUmZqgvlkjDbwvwTV55WasTOixzZ7K7PEHWEdugdy9bL+mBi2UqG+CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:50:58.127169Z"},"content_sha256":"d442e31a81caa2fbc44c44fe67e39a6f2e54c94fa3c067de931f7798011d12bd","schema_version":"1.0","event_id":"sha256:d442e31a81caa2fbc44c44fe67e39a6f2e54c94fa3c067de931f7798011d12bd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:OBNMSBMBY6MTJCOBINHVSXJJT7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bilevel Polynomial Programs and Semidefinite Relaxation Methods","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Jane Ye, Jiawang Nie, Li Wang","submitted_at":"2015-08-27T19:56:01Z","abstract_excerpt":"A bilevel program is an optimization problem whose constraints involve another optimization problem. This paper studies bilevel polynomial programs (BPPs), i.e., all the functions are polynomials. We reformulate BPPs equivalently as semi-infinite polynomial programs (SIPPs), using Fritz John conditions and Jacobian representations. Combining the exchange technique and Lasserre type semidefinite relaxations, we propose numerical methods for solving both simple and general BPPs. For simple BPPs, we prove the convergence to global optimal solutions. Numerical experiments are presented to show the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.06985","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-18T01:00:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GGHqZCd3CkqubTjuiq6wYwcBjMKYBoc9+fOg4x65zo8G4v9zBJdV40S/EoYwWF7g8eG1zzFr5hNg3BRqK/4dCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:50:58.127756Z"},"content_sha256":"51897bd24e9ec2982ca0cf442701942ee6499533cde112876adfc6997244a89a","schema_version":"1.0","event_id":"sha256:51897bd24e9ec2982ca0cf442701942ee6499533cde112876adfc6997244a89a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OBNMSBMBY6MTJCOBINHVSXJJT7/bundle.json","state_url":"https://pith.science/pith/OBNMSBMBY6MTJCOBINHVSXJJT7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OBNMSBMBY6MTJCOBINHVSXJJT7/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-01T21:50:58Z","links":{"resolver":"https://pith.science/pith/OBNMSBMBY6MTJCOBINHVSXJJT7","bundle":"https://pith.science/pith/OBNMSBMBY6MTJCOBINHVSXJJT7/bundle.json","state":"https://pith.science/pith/OBNMSBMBY6MTJCOBINHVSXJJT7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OBNMSBMBY6MTJCOBINHVSXJJT7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:OBNMSBMBY6MTJCOBINHVSXJJT7","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":"661848ec470192f6db5057fa6bd612f9606117c71f1af4b35419a166123acb17","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-08-27T19:56:01Z","title_canon_sha256":"63fedbdc09769bc23f8c8ddd0338e7eb3e901f606fbfb383377908cf21237d34"},"schema_version":"1.0","source":{"id":"1508.06985","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.06985","created_at":"2026-05-18T01:00:19Z"},{"alias_kind":"arxiv_version","alias_value":"1508.06985v3","created_at":"2026-05-18T01:00:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.06985","created_at":"2026-05-18T01:00:19Z"},{"alias_kind":"pith_short_12","alias_value":"OBNMSBMBY6MT","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"OBNMSBMBY6MTJCOB","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"OBNMSBMB","created_at":"2026-05-18T12:29:34Z"}],"graph_snapshots":[{"event_id":"sha256:51897bd24e9ec2982ca0cf442701942ee6499533cde112876adfc6997244a89a","target":"graph","created_at":"2026-05-18T01:00:19Z","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":"A bilevel program is an optimization problem whose constraints involve another optimization problem. This paper studies bilevel polynomial programs (BPPs), i.e., all the functions are polynomials. We reformulate BPPs equivalently as semi-infinite polynomial programs (SIPPs), using Fritz John conditions and Jacobian representations. Combining the exchange technique and Lasserre type semidefinite relaxations, we propose numerical methods for solving both simple and general BPPs. For simple BPPs, we prove the convergence to global optimal solutions. Numerical experiments are presented to show the","authors_text":"Jane Ye, Jiawang Nie, Li Wang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-08-27T19:56:01Z","title":"Bilevel Polynomial Programs and Semidefinite Relaxation Methods"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.06985","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:d442e31a81caa2fbc44c44fe67e39a6f2e54c94fa3c067de931f7798011d12bd","target":"record","created_at":"2026-05-18T01:00:19Z","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":"661848ec470192f6db5057fa6bd612f9606117c71f1af4b35419a166123acb17","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-08-27T19:56:01Z","title_canon_sha256":"63fedbdc09769bc23f8c8ddd0338e7eb3e901f606fbfb383377908cf21237d34"},"schema_version":"1.0","source":{"id":"1508.06985","kind":"arxiv","version":3}},"canonical_sha256":"705ac90581c7993489c1434f595d299fdd97077359d25e0b72d4fef03b297b6b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"705ac90581c7993489c1434f595d299fdd97077359d25e0b72d4fef03b297b6b","first_computed_at":"2026-05-18T01:00:19.773058Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:00:19.773058Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"X0EUJe6vuhXIywpYWIuwODsCsFCqjNsWy49CKJ5kNjlFf/zYlmlU17ZZfyBOa/6Xi8L9TLGhrHc5LMWOEmRLAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:00:19.773678Z","signed_message":"canonical_sha256_bytes"},"source_id":"1508.06985","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d442e31a81caa2fbc44c44fe67e39a6f2e54c94fa3c067de931f7798011d12bd","sha256:51897bd24e9ec2982ca0cf442701942ee6499533cde112876adfc6997244a89a"],"state_sha256":"5f558e0ce0909a90ee514db4a0e1a783b63f629e85b97cf1fb84639c0905b4da"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ffaT7H0hw+h6Gktqo5eDX1FmtMYe+n1CXJnoSMM8aHwKz+ROoSBUi/hDsNWhm6LMTxLTCVayM78zU5ZV0lnwCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T21:50:58.130496Z","bundle_sha256":"91771033fc2eda43c1d6c2c7eae3b843d73909d2ef88ee0a1d061a49a4966f54"}}