{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:3P65ZJSIJUGCAUJMBLXWRKZCE7","short_pith_number":"pith:3P65ZJSI","canonical_record":{"source":{"id":"2311.14857","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2023-11-24T22:24:23Z","cross_cats_sorted":[],"title_canon_sha256":"08c77da4cda5681f1f39ddfff0e4f1e1d9d519122c716f692a94e67b45360f30","abstract_canon_sha256":"aaf457732323a72c4e5fc7afb5c197b74ef2f003a74368e6e931ce46e9bb5f43"},"schema_version":"1.0"},"canonical_sha256":"dbfddca6484d0c20512c0aef68ab2227fcb54113ba2a6aead0d0344722736352","source":{"kind":"arxiv","id":"2311.14857","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.14857","created_at":"2026-07-05T07:54:34Z"},{"alias_kind":"arxiv_version","alias_value":"2311.14857v2","created_at":"2026-07-05T07:54:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.14857","created_at":"2026-07-05T07:54:34Z"},{"alias_kind":"pith_short_12","alias_value":"3P65ZJSIJUGC","created_at":"2026-07-05T07:54:34Z"},{"alias_kind":"pith_short_16","alias_value":"3P65ZJSIJUGCAUJM","created_at":"2026-07-05T07:54:34Z"},{"alias_kind":"pith_short_8","alias_value":"3P65ZJSI","created_at":"2026-07-05T07:54:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:3P65ZJSIJUGCAUJMBLXWRKZCE7","target":"record","payload":{"canonical_record":{"source":{"id":"2311.14857","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2023-11-24T22:24:23Z","cross_cats_sorted":[],"title_canon_sha256":"08c77da4cda5681f1f39ddfff0e4f1e1d9d519122c716f692a94e67b45360f30","abstract_canon_sha256":"aaf457732323a72c4e5fc7afb5c197b74ef2f003a74368e6e931ce46e9bb5f43"},"schema_version":"1.0"},"canonical_sha256":"dbfddca6484d0c20512c0aef68ab2227fcb54113ba2a6aead0d0344722736352","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:54:34.428560Z","signature_b64":"U9GVaCha7PRla9gpDApu1/sEs2187XpsXfpMh1ZuhjypF1XGxkop/mdGmns7p+qFFivdbgWdlKTDAiPmuaAgDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dbfddca6484d0c20512c0aef68ab2227fcb54113ba2a6aead0d0344722736352","last_reissued_at":"2026-07-05T07:54:34.428107Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:54:34.428107Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2311.14857","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-07-05T07:54:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4OZJqlij2NUhD6pKeIFzgE4JKlwmsb5BYrP4RwgqST7HbRRujAMdoDnLWOis/qsNdwQS7wX3wwLR8HceITCkAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T05:00:35.343226Z"},"content_sha256":"fe947155a3845f69b977224e30e4249cd55e82af8d00bb95d91bc1d01688c020","schema_version":"1.0","event_id":"sha256:fe947155a3845f69b977224e30e4249cd55e82af8d00bb95d91bc1d01688c020"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:3P65ZJSIJUGCAUJMBLXWRKZCE7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Optimality conditions for bilevel programs via Moreau envelope reformulation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Jane Ye, Kuang Bai, Shangzhi Zeng","submitted_at":"2023-11-24T22:24:23Z","abstract_excerpt":"For bilevel programs with a convex lower level program, the classical approach replaces the lower level program with its Karush-Kuhn-Tucker condition and solve the resulting mathematical program with complementarity constraint (MPCC). It is known that when the set of lower level multipliers is not unique, MPCC may not be equivalent to the original bilevel problem, and many MPCC-tailored constraint qualifications do not hold. In this paper, we study bilevel programs where the lower level is generalized convex. Applying the equivalent reformulation via Moreau envelope, we derive new directional "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.14857","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2311.14857/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T07:54:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u0OzFXXbd3bHOJ+zC8af5L5zDoniZdovyxWXAch7syQOkJgD/rfHpyHw6ZRV8tLDGrt/cKEQJkLqkZs5b92EAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T05:00:35.343712Z"},"content_sha256":"c091fd6f7872c319ed1e94624f58c9a900c8d5d06243a6c1da5f0fe82dcb6f68","schema_version":"1.0","event_id":"sha256:c091fd6f7872c319ed1e94624f58c9a900c8d5d06243a6c1da5f0fe82dcb6f68"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3P65ZJSIJUGCAUJMBLXWRKZCE7/bundle.json","state_url":"https://pith.science/pith/3P65ZJSIJUGCAUJMBLXWRKZCE7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3P65ZJSIJUGCAUJMBLXWRKZCE7/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-08-05T05:00:35Z","links":{"resolver":"https://pith.science/pith/3P65ZJSIJUGCAUJMBLXWRKZCE7","bundle":"https://pith.science/pith/3P65ZJSIJUGCAUJMBLXWRKZCE7/bundle.json","state":"https://pith.science/pith/3P65ZJSIJUGCAUJMBLXWRKZCE7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3P65ZJSIJUGCAUJMBLXWRKZCE7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:3P65ZJSIJUGCAUJMBLXWRKZCE7","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":"aaf457732323a72c4e5fc7afb5c197b74ef2f003a74368e6e931ce46e9bb5f43","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2023-11-24T22:24:23Z","title_canon_sha256":"08c77da4cda5681f1f39ddfff0e4f1e1d9d519122c716f692a94e67b45360f30"},"schema_version":"1.0","source":{"id":"2311.14857","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.14857","created_at":"2026-07-05T07:54:34Z"},{"alias_kind":"arxiv_version","alias_value":"2311.14857v2","created_at":"2026-07-05T07:54:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.14857","created_at":"2026-07-05T07:54:34Z"},{"alias_kind":"pith_short_12","alias_value":"3P65ZJSIJUGC","created_at":"2026-07-05T07:54:34Z"},{"alias_kind":"pith_short_16","alias_value":"3P65ZJSIJUGCAUJM","created_at":"2026-07-05T07:54:34Z"},{"alias_kind":"pith_short_8","alias_value":"3P65ZJSI","created_at":"2026-07-05T07:54:34Z"}],"graph_snapshots":[{"event_id":"sha256:c091fd6f7872c319ed1e94624f58c9a900c8d5d06243a6c1da5f0fe82dcb6f68","target":"graph","created_at":"2026-07-05T07:54:34Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2311.14857/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"For bilevel programs with a convex lower level program, the classical approach replaces the lower level program with its Karush-Kuhn-Tucker condition and solve the resulting mathematical program with complementarity constraint (MPCC). It is known that when the set of lower level multipliers is not unique, MPCC may not be equivalent to the original bilevel problem, and many MPCC-tailored constraint qualifications do not hold. In this paper, we study bilevel programs where the lower level is generalized convex. Applying the equivalent reformulation via Moreau envelope, we derive new directional ","authors_text":"Jane Ye, Kuang Bai, Shangzhi Zeng","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2023-11-24T22:24:23Z","title":"Optimality conditions for bilevel programs via Moreau envelope reformulation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.14857","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:fe947155a3845f69b977224e30e4249cd55e82af8d00bb95d91bc1d01688c020","target":"record","created_at":"2026-07-05T07:54:34Z","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":"aaf457732323a72c4e5fc7afb5c197b74ef2f003a74368e6e931ce46e9bb5f43","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2023-11-24T22:24:23Z","title_canon_sha256":"08c77da4cda5681f1f39ddfff0e4f1e1d9d519122c716f692a94e67b45360f30"},"schema_version":"1.0","source":{"id":"2311.14857","kind":"arxiv","version":2}},"canonical_sha256":"dbfddca6484d0c20512c0aef68ab2227fcb54113ba2a6aead0d0344722736352","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dbfddca6484d0c20512c0aef68ab2227fcb54113ba2a6aead0d0344722736352","first_computed_at":"2026-07-05T07:54:34.428107Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:54:34.428107Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"U9GVaCha7PRla9gpDApu1/sEs2187XpsXfpMh1ZuhjypF1XGxkop/mdGmns7p+qFFivdbgWdlKTDAiPmuaAgDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:54:34.428560Z","signed_message":"canonical_sha256_bytes"},"source_id":"2311.14857","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fe947155a3845f69b977224e30e4249cd55e82af8d00bb95d91bc1d01688c020","sha256:c091fd6f7872c319ed1e94624f58c9a900c8d5d06243a6c1da5f0fe82dcb6f68"],"state_sha256":"108e258723220b29966ba4709501cfc49baaf056e73f907a26c7c17277d2d664"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0up1Qy93t387AGoeq4Nva7JTO1pZyAr7x4k/vUk+DSoSLmrCZDjfLBT8xCXRDbWvMKdNlduksywLHt2T0YidAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T05:00:35.347412Z","bundle_sha256":"2f28621129d4cb8d0602e2a66076c5e78d7bd17c15be58a2acef57616b39d0b5"}}