{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:XG335CY33URKBASZDSLE54UYNW","short_pith_number":"pith:XG335CY3","schema_version":"1.0","canonical_sha256":"b9b7be8b1bdd22a082591c964ef2986d8301c63fdba000c34d3fdf346ac36fa2","source":{"kind":"arxiv","id":"2605.12751","version":1},"attestation_state":"computed","paper":{"title":"Asymptotic KKT Conditions for Continuous-Time Nonlinear Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Continuous-time nonlinear programs have asymptotic KKT conditions satisfied along a convergent sequence of approximate solutions.","cross_cats":[],"primary_cat":"math.OC","authors_text":"Mois\\'es R. C. do Monte, Rodrigo B. Moreira, Valeriano A. de Oliveira","submitted_at":"2026-05-12T21:02:06Z","abstract_excerpt":"This paper addresses the class of continuous-time nonlinear programming problems with equality and inequality constraints. The paper presents necessary optimality conditions of the sequential form. To be more precise, a sequence of solutions converging to the optimal solution is demonstrated to exist, and such that Karush-Kuhn-Tucker-type conditions are satisfied asymptotically. It is shown that these sequential Karush-Kuhn-Tucker-type conditions also become sufficient for optimality under convexity assumptions. Sequential optimality conditions are a valuable tool for determining when to termi"},"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":true,"formal_links_present":true},"canonical_record":{"source":{"id":"2605.12751","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-05-12T21:02:06Z","cross_cats_sorted":[],"title_canon_sha256":"4c19be5e6a478c1626111b1bc12dc2e8004c099131408827f70c789d9660a71e","abstract_canon_sha256":"cfe3e59c867b60ed04ef18da09ea2e8f51549ef35427e0d578273f3493067cfb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:09:48.769084Z","signature_b64":"9dibFPSQXLD729xZXXvHz15gbwnE/wQ3GCx81GOp5T7hfWekjVETrOIzaOlzSPsYHU7J5VXgu+lMt/Pj9i9QDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b9b7be8b1bdd22a082591c964ef2986d8301c63fdba000c34d3fdf346ac36fa2","last_reissued_at":"2026-05-18T03:09:48.768250Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:09:48.768250Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Asymptotic KKT Conditions for Continuous-Time Nonlinear Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Continuous-time nonlinear programs have asymptotic KKT conditions satisfied along a convergent sequence of approximate solutions.","cross_cats":[],"primary_cat":"math.OC","authors_text":"Mois\\'es R. C. do Monte, Rodrigo B. Moreira, Valeriano A. de Oliveira","submitted_at":"2026-05-12T21:02:06Z","abstract_excerpt":"This paper addresses the class of continuous-time nonlinear programming problems with equality and inequality constraints. The paper presents necessary optimality conditions of the sequential form. To be more precise, a sequence of solutions converging to the optimal solution is demonstrated to exist, and such that Karush-Kuhn-Tucker-type conditions are satisfied asymptotically. It is shown that these sequential Karush-Kuhn-Tucker-type conditions also become sufficient for optimality under convexity assumptions. Sequential optimality conditions are a valuable tool for determining when to termi"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"A sequence of solutions converging to the optimal solution exists such that Karush-Kuhn-Tucker-type conditions are satisfied asymptotically; these conditions are also sufficient under convexity assumptions.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The existence of a sequence of approximate solutions that converge to the true optimum while satisfying the asymptotic KKT conditions (implicit in the necessary-conditions claim and not derived from first principles in the abstract).","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"The work establishes asymptotic KKT-type necessary optimality conditions for continuous-time nonlinear programming and shows sufficiency under convexity, while proposing a convergent augmented Lagrangian solver.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Continuous-time nonlinear programs have asymptotic KKT conditions satisfied along a convergent sequence of approximate solutions.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"40ea8ae4b05ff9d2356e1def4a18c5513dce5facdeaa873da0924d2bc84bbc85"},"source":{"id":"2605.12751","kind":"arxiv","version":1},"verdict":{"id":"6f1a9588-ce66-44de-be2a-025f9c66a19a","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-14T20:12:05.842932Z","strongest_claim":"A sequence of solutions converging to the optimal solution exists such that Karush-Kuhn-Tucker-type conditions are satisfied asymptotically; these conditions are also sufficient under convexity assumptions.","one_line_summary":"The work establishes asymptotic KKT-type necessary optimality conditions for continuous-time nonlinear programming and shows sufficiency under convexity, while proposing a convergent augmented Lagrangian solver.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The existence of a sequence of approximate solutions that converge to the true optimum while satisfying the asymptotic KKT conditions (implicit in the necessary-conditions claim and not derived from first principles in the abstract).","pith_extraction_headline":"Continuous-time nonlinear programs have asymptotic KKT conditions satisfied along a convergent sequence of approximate solutions."},"references":{"count":40,"sample":[{"doi":"","year":2019,"title":"R. Andreani, N. S. Fazzio, M. L. Schuverdt, and L. D. Secchin. A sequen- tial optimality condition related to the quasi-normality constraint qualifi- cation and its algorithmic consequences.SIAM Journ","work_id":"3bf1c480-66eb-43ea-8895-91adcdd79b6f","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2022,"title":"R. Andreani, W. G´ omez, G. Haeser, L. M. Mito, and A. Ramos. On optimality conditions for nonlinear conic programming.Mathematics of Operations Research, 47(3):2160–2185, 2022","work_id":"40eb9ff2-e1cb-4242-876c-b5ac725c4775","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2004,"title":"R. Andreani, P.S. Gon¸ calves, and G. N. Silva. Discrete approximations for strict convex continuous time problems and duality.Comp. Appl. Math., 23:81–105, 2004","work_id":"0284639f-2ff7-4fac-822d-757b267cea62","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2011,"title":"R. Andreani, G. Haeser, and J. M. Mart´ ınez. On sequential optimality conditions for smooth constrained optimization.Optimization, 60(5):627– 641, 2011","work_id":"10f149c4-9563-44e6-a9eb-2a73a97923e8","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1902,"title":"R. Andreani, G. Haeser, A. Ramos, and P. J. S. Silva. A second-order se- quential optimality condition associated to the convergence of optimization algorithms.IMA Journal of Numerical Analysis, 37(4)","work_id":"5633b40b-91a8-40b4-84cb-7e6d857295e0","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":40,"snapshot_sha256":"a0c706162b9509b2dbad215dc26267b97dd4b23024c10ba78ebe6f9560e5dbe0","internal_anchors":0},"formal_canon":{"evidence_count":1,"snapshot_sha256":"04a24d6ff27c502d49c32bc7c3ba9d2386d7c29bcc25b4c0d6af071a337426ec"},"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":"2605.12751","created_at":"2026-05-18T03:09:48.768403+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.12751v1","created_at":"2026-05-18T03:09:48.768403+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.12751","created_at":"2026-05-18T03:09:48.768403+00:00"},{"alias_kind":"pith_short_12","alias_value":"XG335CY33URK","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_16","alias_value":"XG335CY33URKBASZ","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_8","alias_value":"XG335CY3","created_at":"2026-05-18T12:33:37.589309+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":1,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/XG335CY33URKBASZDSLE54UYNW","json":"https://pith.science/pith/XG335CY33URKBASZDSLE54UYNW.json","graph_json":"https://pith.science/api/pith-number/XG335CY33URKBASZDSLE54UYNW/graph.json","events_json":"https://pith.science/api/pith-number/XG335CY33URKBASZDSLE54UYNW/events.json","paper":"https://pith.science/paper/XG335CY3"},"agent_actions":{"view_html":"https://pith.science/pith/XG335CY33URKBASZDSLE54UYNW","download_json":"https://pith.science/pith/XG335CY33URKBASZDSLE54UYNW.json","view_paper":"https://pith.science/paper/XG335CY3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.12751&json=true","fetch_graph":"https://pith.science/api/pith-number/XG335CY33URKBASZDSLE54UYNW/graph.json","fetch_events":"https://pith.science/api/pith-number/XG335CY33URKBASZDSLE54UYNW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XG335CY33URKBASZDSLE54UYNW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XG335CY33URKBASZDSLE54UYNW/action/storage_attestation","attest_author":"https://pith.science/pith/XG335CY33URKBASZDSLE54UYNW/action/author_attestation","sign_citation":"https://pith.science/pith/XG335CY33URKBASZDSLE54UYNW/action/citation_signature","submit_replication":"https://pith.science/pith/XG335CY33URKBASZDSLE54UYNW/action/replication_record"}},"created_at":"2026-05-18T03:09:48.768403+00:00","updated_at":"2026-05-18T03:09:48.768403+00:00"}