{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:R5XJFEPT5LVN3EH3J5YBM4ALOG","short_pith_number":"pith:R5XJFEPT","schema_version":"1.0","canonical_sha256":"8f6e9291f3eaeadd90fb4f7016700b71b22282881915a42956230bdc00b36668","source":{"kind":"arxiv","id":"2606.19143","version":1},"attestation_state":"computed","paper":{"title":"Single-loop approaches to nonsmooth bilevel optimisation","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":"2026-06-17T14:47:53Z","abstract_excerpt":"We study bilevel optimisation problems in which the inner problem is represented as a set-valued, parametric constraint. We develop relevant optimistic and pessimistic calculus rules, derive corresponding optimality conditions, and formulate nonsmooth adjoint inclusions based on both the Fr\\'echet and limiting coderivatives. Founded on these results, we propose a single-loop algorithm that accommodates a wide range of inner and adjoint steps, including those of primal-dual methods. We prove its convergence. Numerical experiments on total variation regularised inverse problems demonstrate the p"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2606.19143","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-06-17T14:47:53Z","cross_cats_sorted":[],"title_canon_sha256":"3a66d7452ca66e40146921568f0eebe18aae9f16e58066086a07789bd455e5e7","abstract_canon_sha256":"3c9b7ee2ab4739d9de63aa412016844634970192a229f9219ffc944f992fb3fb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-19T16:11:57.692979Z","signature_b64":"ZjnCXEgWsIXN45vd3XVoW9nzC5PJ6omFyQRN09A1eSKsZQEn5KUNIRa96VTzsqfIpQXxfTuRHjiUzzkMwQB7Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8f6e9291f3eaeadd90fb4f7016700b71b22282881915a42956230bdc00b36668","last_reissued_at":"2026-06-19T16:11:57.692574Z","signature_status":"signed_v1","first_computed_at":"2026-06-19T16:11:57.692574Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Single-loop approaches to nonsmooth bilevel optimisation","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":"2026-06-17T14:47:53Z","abstract_excerpt":"We study bilevel optimisation problems in which the inner problem is represented as a set-valued, parametric constraint. We develop relevant optimistic and pessimistic calculus rules, derive corresponding optimality conditions, and formulate nonsmooth adjoint inclusions based on both the Fr\\'echet and limiting coderivatives. Founded on these results, we propose a single-loop algorithm that accommodates a wide range of inner and adjoint steps, including those of primal-dual methods. We prove its convergence. Numerical experiments on total variation regularised inverse problems demonstrate the p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.19143","kind":"arxiv","version":1},"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/2606.19143/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.19143","created_at":"2026-06-19T16:11:57.692638+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.19143v1","created_at":"2026-06-19T16:11:57.692638+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.19143","created_at":"2026-06-19T16:11:57.692638+00:00"},{"alias_kind":"pith_short_12","alias_value":"R5XJFEPT5LVN","created_at":"2026-06-19T16:11:57.692638+00:00"},{"alias_kind":"pith_short_16","alias_value":"R5XJFEPT5LVN3EH3","created_at":"2026-06-19T16:11:57.692638+00:00"},{"alias_kind":"pith_short_8","alias_value":"R5XJFEPT","created_at":"2026-06-19T16:11:57.692638+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/R5XJFEPT5LVN3EH3J5YBM4ALOG","json":"https://pith.science/pith/R5XJFEPT5LVN3EH3J5YBM4ALOG.json","graph_json":"https://pith.science/api/pith-number/R5XJFEPT5LVN3EH3J5YBM4ALOG/graph.json","events_json":"https://pith.science/api/pith-number/R5XJFEPT5LVN3EH3J5YBM4ALOG/events.json","paper":"https://pith.science/paper/R5XJFEPT"},"agent_actions":{"view_html":"https://pith.science/pith/R5XJFEPT5LVN3EH3J5YBM4ALOG","download_json":"https://pith.science/pith/R5XJFEPT5LVN3EH3J5YBM4ALOG.json","view_paper":"https://pith.science/paper/R5XJFEPT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.19143&json=true","fetch_graph":"https://pith.science/api/pith-number/R5XJFEPT5LVN3EH3J5YBM4ALOG/graph.json","fetch_events":"https://pith.science/api/pith-number/R5XJFEPT5LVN3EH3J5YBM4ALOG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/R5XJFEPT5LVN3EH3J5YBM4ALOG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/R5XJFEPT5LVN3EH3J5YBM4ALOG/action/storage_attestation","attest_author":"https://pith.science/pith/R5XJFEPT5LVN3EH3J5YBM4ALOG/action/author_attestation","sign_citation":"https://pith.science/pith/R5XJFEPT5LVN3EH3J5YBM4ALOG/action/citation_signature","submit_replication":"https://pith.science/pith/R5XJFEPT5LVN3EH3J5YBM4ALOG/action/replication_record"}},"created_at":"2026-06-19T16:11:57.692638+00:00","updated_at":"2026-06-19T16:11:57.692638+00:00"}