{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:MOL53MP4UKLIY6SPPO5NUIXOMG","short_pith_number":"pith:MOL53MP4","canonical_record":{"source":{"id":"2205.04862","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2022-05-10T13:02:07Z","cross_cats_sorted":[],"title_canon_sha256":"33e2e5817a68b0500576738a50b52ea296aedabe6e3d921a27ac0e83cc99d209","abstract_canon_sha256":"a0a8981b015a868dffa74b0eab2d945b9173c345fbf3bee4a76a63f2c0a430df"},"schema_version":"1.0"},"canonical_sha256":"6397ddb1fca2968c7a4f7bbada22ee61b78d7645012496140adcfe52bcd06454","source":{"kind":"arxiv","id":"2205.04862","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.04862","created_at":"2026-07-05T08:16:18Z"},{"alias_kind":"arxiv_version","alias_value":"2205.04862v3","created_at":"2026-07-05T08:16:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.04862","created_at":"2026-07-05T08:16:18Z"},{"alias_kind":"pith_short_12","alias_value":"MOL53MP4UKLI","created_at":"2026-07-05T08:16:18Z"},{"alias_kind":"pith_short_16","alias_value":"MOL53MP4UKLIY6SP","created_at":"2026-07-05T08:16:18Z"},{"alias_kind":"pith_short_8","alias_value":"MOL53MP4","created_at":"2026-07-05T08:16:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:MOL53MP4UKLIY6SPPO5NUIXOMG","target":"record","payload":{"canonical_record":{"source":{"id":"2205.04862","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2022-05-10T13:02:07Z","cross_cats_sorted":[],"title_canon_sha256":"33e2e5817a68b0500576738a50b52ea296aedabe6e3d921a27ac0e83cc99d209","abstract_canon_sha256":"a0a8981b015a868dffa74b0eab2d945b9173c345fbf3bee4a76a63f2c0a430df"},"schema_version":"1.0"},"canonical_sha256":"6397ddb1fca2968c7a4f7bbada22ee61b78d7645012496140adcfe52bcd06454","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:16:18.680561Z","signature_b64":"h+1dSjz5IyHW8Uqv2OKo0Rg4MVAHOcrBSHTmY8AjNxEbWauKtG/Z0yoB8UXG20q73YTRXdG7Wf0U3KRDzcZcDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6397ddb1fca2968c7a4f7bbada22ee61b78d7645012496140adcfe52bcd06454","last_reissued_at":"2026-07-05T08:16:18.680150Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:16:18.680150Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2205.04862","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-07-05T08:16:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/Z2UPboOa1sPTX3MQP7Pi7pIgcRWFMRK79m1NrhnOsAOnuwQeL4GnBcToCaPaBs+m2suAFzw9rTpVwkJvS8iDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T14:30:36.152047Z"},"content_sha256":"a72a56bb6eab2208540d16f1a38ddd0b97c5374c2eeac4fac6f2e6d8eea6789b","schema_version":"1.0","event_id":"sha256:a72a56bb6eab2208540d16f1a38ddd0b97c5374c2eeac4fac6f2e6d8eea6789b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:MOL53MP4UKLIY6SPPO5NUIXOMG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Linearly convergent bilevel optimization with single-step inner methods","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Ensio Suonper\\\"a, Tuomo Valkonen","submitted_at":"2022-05-10T13:02:07Z","abstract_excerpt":"We propose a new approach to solving bilevel optimization problems, intermediate between solving full-system optimality conditions with a Newton-type approach, and treating the inner problem as an implicit function. The overall idea is to solve the full-system optimality conditions, but to precondition them to alternate between taking steps of simple conventional methods for the inner problem, the adjoint equation, and the outer problem. While the inner objective has to be smooth, the outer objective may be nonsmooth subject to a prox-contractivity condition. We prove linear convergence of the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.04862","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2205.04862/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-05T08:16:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TfHx8ZLNcBu1GoSvoyI1snPbFgWS8aj9KizEHNH6tnxSOmyw/Oo/Z+tzgWqHesy3p9W8/Pmrz6wGp4ojYGGFCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T14:30:36.152438Z"},"content_sha256":"0b01f1547a4001ff988150e1eb884a9445660087b37e6e464fa24cdabad518a5","schema_version":"1.0","event_id":"sha256:0b01f1547a4001ff988150e1eb884a9445660087b37e6e464fa24cdabad518a5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MOL53MP4UKLIY6SPPO5NUIXOMG/bundle.json","state_url":"https://pith.science/pith/MOL53MP4UKLIY6SPPO5NUIXOMG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MOL53MP4UKLIY6SPPO5NUIXOMG/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-07-05T14:30:36Z","links":{"resolver":"https://pith.science/pith/MOL53MP4UKLIY6SPPO5NUIXOMG","bundle":"https://pith.science/pith/MOL53MP4UKLIY6SPPO5NUIXOMG/bundle.json","state":"https://pith.science/pith/MOL53MP4UKLIY6SPPO5NUIXOMG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MOL53MP4UKLIY6SPPO5NUIXOMG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:MOL53MP4UKLIY6SPPO5NUIXOMG","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":"a0a8981b015a868dffa74b0eab2d945b9173c345fbf3bee4a76a63f2c0a430df","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2022-05-10T13:02:07Z","title_canon_sha256":"33e2e5817a68b0500576738a50b52ea296aedabe6e3d921a27ac0e83cc99d209"},"schema_version":"1.0","source":{"id":"2205.04862","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.04862","created_at":"2026-07-05T08:16:18Z"},{"alias_kind":"arxiv_version","alias_value":"2205.04862v3","created_at":"2026-07-05T08:16:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.04862","created_at":"2026-07-05T08:16:18Z"},{"alias_kind":"pith_short_12","alias_value":"MOL53MP4UKLI","created_at":"2026-07-05T08:16:18Z"},{"alias_kind":"pith_short_16","alias_value":"MOL53MP4UKLIY6SP","created_at":"2026-07-05T08:16:18Z"},{"alias_kind":"pith_short_8","alias_value":"MOL53MP4","created_at":"2026-07-05T08:16:18Z"}],"graph_snapshots":[{"event_id":"sha256:0b01f1547a4001ff988150e1eb884a9445660087b37e6e464fa24cdabad518a5","target":"graph","created_at":"2026-07-05T08:16:18Z","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/2205.04862/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We propose a new approach to solving bilevel optimization problems, intermediate between solving full-system optimality conditions with a Newton-type approach, and treating the inner problem as an implicit function. The overall idea is to solve the full-system optimality conditions, but to precondition them to alternate between taking steps of simple conventional methods for the inner problem, the adjoint equation, and the outer problem. While the inner objective has to be smooth, the outer objective may be nonsmooth subject to a prox-contractivity condition. We prove linear convergence of the","authors_text":"Ensio Suonper\\\"a, Tuomo Valkonen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2022-05-10T13:02:07Z","title":"Linearly convergent bilevel optimization with single-step inner methods"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.04862","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:a72a56bb6eab2208540d16f1a38ddd0b97c5374c2eeac4fac6f2e6d8eea6789b","target":"record","created_at":"2026-07-05T08:16:18Z","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":"a0a8981b015a868dffa74b0eab2d945b9173c345fbf3bee4a76a63f2c0a430df","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2022-05-10T13:02:07Z","title_canon_sha256":"33e2e5817a68b0500576738a50b52ea296aedabe6e3d921a27ac0e83cc99d209"},"schema_version":"1.0","source":{"id":"2205.04862","kind":"arxiv","version":3}},"canonical_sha256":"6397ddb1fca2968c7a4f7bbada22ee61b78d7645012496140adcfe52bcd06454","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6397ddb1fca2968c7a4f7bbada22ee61b78d7645012496140adcfe52bcd06454","first_computed_at":"2026-07-05T08:16:18.680150Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:16:18.680150Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"h+1dSjz5IyHW8Uqv2OKo0Rg4MVAHOcrBSHTmY8AjNxEbWauKtG/Z0yoB8UXG20q73YTRXdG7Wf0U3KRDzcZcDg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:16:18.680561Z","signed_message":"canonical_sha256_bytes"},"source_id":"2205.04862","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a72a56bb6eab2208540d16f1a38ddd0b97c5374c2eeac4fac6f2e6d8eea6789b","sha256:0b01f1547a4001ff988150e1eb884a9445660087b37e6e464fa24cdabad518a5"],"state_sha256":"163cfb6376313334247591eb6ba9c9896c0418e232d75d04c998b09ef57457db"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Yx58vbKZBQlkMRpAFLG2Y4RdCqQ21USYiP0n9k4G9qQ4mZPh3et7LOEW/B/HDNn5yyKkzQ5/cAtvCKDFh52ABA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-05T14:30:36.154850Z","bundle_sha256":"11aeb5743d9b507176721798adc4048e829f58054e2f8615b59d244870fdb682"}}