{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:XE2RCTVCJ3QMKZXQO2HSQXFRE3","short_pith_number":"pith:XE2RCTVC","schema_version":"1.0","canonical_sha256":"b935114ea24ee0c566f0768f285cb126f6a497c975af36e2beb8122e0a5c488d","source":{"kind":"arxiv","id":"1407.8330","version":1},"attestation_state":"computed","paper":{"title":"An a posteriori error estimate for Symplectic Euler approximation of optimal control problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Anders Szepessy, Jesper Karlsson, Mattias Sandberg, Ra\\`ul Tempone, Stig Larsson","submitted_at":"2014-07-31T09:39:12Z","abstract_excerpt":"This work focuses on numerical solutions of optimal control problems. A time discretization error representation is derived for the approximation of the associated value function. It concerns Symplectic Euler solutions of the Hamiltonian system connected with the optimal control problem. The error representation has a leading order term consisting of an error density that is computable from Symplectic Euler solutions. Under an assumption of the pathwise convergence of the approximate dual function as the maximum time step goes to zero, we prove that the remainder is of higher order than the le"},"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":"1407.8330","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-07-31T09:39:12Z","cross_cats_sorted":[],"title_canon_sha256":"0e9dc57a58d52d9b19bd27f87ae075ed7333600cc804acb036a87ecc2ba2ebdb","abstract_canon_sha256":"469c04d828ce0b64e37ce9e54ae1be75687f2d614e422f3c5c1f579b236a4ba6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:20:17.653786Z","signature_b64":"rHVHuiK2iYYu3x0A1QREppva1XZrs7IxWPVsIt4OUSztWVlddjcD2x67ls2JKQN5dz7N7cSChshnI6E9fF9mCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b935114ea24ee0c566f0768f285cb126f6a497c975af36e2beb8122e0a5c488d","last_reissued_at":"2026-05-18T01:20:17.653150Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:20:17.653150Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An a posteriori error estimate for Symplectic Euler approximation of optimal control problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Anders Szepessy, Jesper Karlsson, Mattias Sandberg, Ra\\`ul Tempone, Stig Larsson","submitted_at":"2014-07-31T09:39:12Z","abstract_excerpt":"This work focuses on numerical solutions of optimal control problems. A time discretization error representation is derived for the approximation of the associated value function. It concerns Symplectic Euler solutions of the Hamiltonian system connected with the optimal control problem. The error representation has a leading order term consisting of an error density that is computable from Symplectic Euler solutions. Under an assumption of the pathwise convergence of the approximate dual function as the maximum time step goes to zero, we prove that the remainder is of higher order than the le"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.8330","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":""},"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":"1407.8330","created_at":"2026-05-18T01:20:17.653244+00:00"},{"alias_kind":"arxiv_version","alias_value":"1407.8330v1","created_at":"2026-05-18T01:20:17.653244+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.8330","created_at":"2026-05-18T01:20:17.653244+00:00"},{"alias_kind":"pith_short_12","alias_value":"XE2RCTVCJ3QM","created_at":"2026-05-18T12:28:57.508820+00:00"},{"alias_kind":"pith_short_16","alias_value":"XE2RCTVCJ3QMKZXQ","created_at":"2026-05-18T12:28:57.508820+00:00"},{"alias_kind":"pith_short_8","alias_value":"XE2RCTVC","created_at":"2026-05-18T12:28:57.508820+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/XE2RCTVCJ3QMKZXQO2HSQXFRE3","json":"https://pith.science/pith/XE2RCTVCJ3QMKZXQO2HSQXFRE3.json","graph_json":"https://pith.science/api/pith-number/XE2RCTVCJ3QMKZXQO2HSQXFRE3/graph.json","events_json":"https://pith.science/api/pith-number/XE2RCTVCJ3QMKZXQO2HSQXFRE3/events.json","paper":"https://pith.science/paper/XE2RCTVC"},"agent_actions":{"view_html":"https://pith.science/pith/XE2RCTVCJ3QMKZXQO2HSQXFRE3","download_json":"https://pith.science/pith/XE2RCTVCJ3QMKZXQO2HSQXFRE3.json","view_paper":"https://pith.science/paper/XE2RCTVC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1407.8330&json=true","fetch_graph":"https://pith.science/api/pith-number/XE2RCTVCJ3QMKZXQO2HSQXFRE3/graph.json","fetch_events":"https://pith.science/api/pith-number/XE2RCTVCJ3QMKZXQO2HSQXFRE3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XE2RCTVCJ3QMKZXQO2HSQXFRE3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XE2RCTVCJ3QMKZXQO2HSQXFRE3/action/storage_attestation","attest_author":"https://pith.science/pith/XE2RCTVCJ3QMKZXQO2HSQXFRE3/action/author_attestation","sign_citation":"https://pith.science/pith/XE2RCTVCJ3QMKZXQO2HSQXFRE3/action/citation_signature","submit_replication":"https://pith.science/pith/XE2RCTVCJ3QMKZXQO2HSQXFRE3/action/replication_record"}},"created_at":"2026-05-18T01:20:17.653244+00:00","updated_at":"2026-05-18T01:20:17.653244+00:00"}