{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:LXWVALZLTQJZVLSV4SFQRZ3AF2","short_pith_number":"pith:LXWVALZL","schema_version":"1.0","canonical_sha256":"5ded502f2b9c139aae55e48b08e7602e92de7ec592d6344c8747ebff08de59fa","source":{"kind":"arxiv","id":"2605.05569","version":3},"attestation_state":"computed","paper":{"title":"Stability of the Monge Map in Semi-Dual Optimal Transport","license":"http://creativecommons.org/licenses/by/4.0/","headline":"The semi-dual optimal transport formulation allows Monge maps to converge under conditions that do not require the dual potential to be optimal.","cross_cats":["cs.LG"],"primary_cat":"math.OC","authors_text":"Anton Selitskiy, David Millard","submitted_at":"2026-05-07T01:22:20Z","abstract_excerpt":"This paper shows that the semi-dual formulation of the optimal transport problem has a degenerate saddle-point structure, and that its numerical solution is equivalent to solving a constrained optimization problem. We derive necessary and sufficient conditions for the convergence of Monge maps without requiring optimality of the dual potential. This analysis helps explain why, in practice, numerical algorithms often require more iterations to update the transport map than the potential."},"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":true},"canonical_record":{"source":{"id":"2605.05569","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2026-05-07T01:22:20Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"cfef1ede2dcce7e53932a2e4334a824792fb27145605189a785093407d594d40","abstract_canon_sha256":"864d89ccb6419222a83e4b402fe30d4d26fc025ba2266097f3a8884871f4fa7d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T01:05:15.401763Z","signature_b64":"B6lHRIPZF+dupCBUxVOzTz9EN2ftwtS0GPXv7tGtN+HDa9i8zEk6BHAnjzd92I11hyX4jgnTnsu5LizbUXCeCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5ded502f2b9c139aae55e48b08e7602e92de7ec592d6344c8747ebff08de59fa","last_reissued_at":"2026-05-20T01:05:15.401111Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T01:05:15.401111Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Stability of the Monge Map in Semi-Dual Optimal Transport","license":"http://creativecommons.org/licenses/by/4.0/","headline":"The semi-dual optimal transport formulation allows Monge maps to converge under conditions that do not require the dual potential to be optimal.","cross_cats":["cs.LG"],"primary_cat":"math.OC","authors_text":"Anton Selitskiy, David Millard","submitted_at":"2026-05-07T01:22:20Z","abstract_excerpt":"This paper shows that the semi-dual formulation of the optimal transport problem has a degenerate saddle-point structure, and that its numerical solution is equivalent to solving a constrained optimization problem. We derive necessary and sufficient conditions for the convergence of Monge maps without requiring optimality of the dual potential. This analysis helps explain why, in practice, numerical algorithms often require more iterations to update the transport map than the potential."},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We derive necessary and sufficient conditions for the convergence of Monge maps without requiring optimality of the dual potential.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The derivation relies on standard regularity assumptions for the cost function and marginal measures in optimal transport; the abstract does not specify whether these are relaxed or if additional technical conditions are introduced.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Semi-dual OT formulation has degenerate saddle-point structure; necessary and sufficient conditions for Monge map convergence are derived without requiring dual potential optimality.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"The semi-dual optimal transport formulation allows Monge maps to converge under conditions that do not require the dual potential to be optimal.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"28f8fe0336d392f21e51a32190f8f7e1ced35b514d735b7f278204e467f652d9"},"source":{"id":"2605.05569","kind":"arxiv","version":3},"verdict":{"id":"cd8fba85-9abf-4e85-9456-c18caa8bb386","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-12T01:44:32.852982Z","strongest_claim":"We derive necessary and sufficient conditions for the convergence of Monge maps without requiring optimality of the dual potential.","one_line_summary":"Semi-dual OT formulation has degenerate saddle-point structure; necessary and sufficient conditions for Monge map convergence are derived without requiring dual potential optimality.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The derivation relies on standard regularity assumptions for the cost function and marginal measures in optimal transport; the abstract does not specify whether these are relaxed or if additional technical conditions are introduced.","pith_extraction_headline":"The semi-dual optimal transport formulation allows Monge maps to converge under conditions that do not require the dual potential to be optimal."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.05569/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"doi_title_agreement","ran_at":"2026-05-19T20:31:19.379802Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-19T13:27:30.054275Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"f0aa2bda6d337ede367266b1033f778e4e18e421afc0e7668bbd30d1c80d5321"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":2,"snapshot_sha256":"81273effb3650941765e27b1b2d045d5269353d9bbe74a8a906dc3d03b4a2174"},"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.05569","created_at":"2026-05-20T01:05:15.401189+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.05569v3","created_at":"2026-05-20T01:05:15.401189+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.05569","created_at":"2026-05-20T01:05:15.401189+00:00"},{"alias_kind":"pith_short_12","alias_value":"LXWVALZLTQJZ","created_at":"2026-05-20T01:05:15.401189+00:00"},{"alias_kind":"pith_short_16","alias_value":"LXWVALZLTQJZVLSV","created_at":"2026-05-20T01:05:15.401189+00:00"},{"alias_kind":"pith_short_8","alias_value":"LXWVALZL","created_at":"2026-05-20T01:05:15.401189+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":2,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/LXWVALZLTQJZVLSV4SFQRZ3AF2","json":"https://pith.science/pith/LXWVALZLTQJZVLSV4SFQRZ3AF2.json","graph_json":"https://pith.science/api/pith-number/LXWVALZLTQJZVLSV4SFQRZ3AF2/graph.json","events_json":"https://pith.science/api/pith-number/LXWVALZLTQJZVLSV4SFQRZ3AF2/events.json","paper":"https://pith.science/paper/LXWVALZL"},"agent_actions":{"view_html":"https://pith.science/pith/LXWVALZLTQJZVLSV4SFQRZ3AF2","download_json":"https://pith.science/pith/LXWVALZLTQJZVLSV4SFQRZ3AF2.json","view_paper":"https://pith.science/paper/LXWVALZL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.05569&json=true","fetch_graph":"https://pith.science/api/pith-number/LXWVALZLTQJZVLSV4SFQRZ3AF2/graph.json","fetch_events":"https://pith.science/api/pith-number/LXWVALZLTQJZVLSV4SFQRZ3AF2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LXWVALZLTQJZVLSV4SFQRZ3AF2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LXWVALZLTQJZVLSV4SFQRZ3AF2/action/storage_attestation","attest_author":"https://pith.science/pith/LXWVALZLTQJZVLSV4SFQRZ3AF2/action/author_attestation","sign_citation":"https://pith.science/pith/LXWVALZLTQJZVLSV4SFQRZ3AF2/action/citation_signature","submit_replication":"https://pith.science/pith/LXWVALZLTQJZVLSV4SFQRZ3AF2/action/replication_record"}},"created_at":"2026-05-20T01:05:15.401189+00:00","updated_at":"2026-05-20T01:05:15.401189+00:00"}