{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:6DXQVWSVFPSE45NDLVKORZCHJ5","short_pith_number":"pith:6DXQVWSV","schema_version":"1.0","canonical_sha256":"f0ef0ada552be44e75a35d54e8e4474f6a301890f1cc9050d13916adb3e37367","source":{"kind":"arxiv","id":"2507.17572","version":3},"attestation_state":"computed","paper":{"title":"Sampling-Based Global Optimal Control and Estimation via Semidefinite Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Antoine Groudiev, \\'Elo\\\"ise Berthier, Fabian Schramm, Frederike D\\\"umbgen, Justin Carpentier","submitted_at":"2025-07-23T15:03:40Z","abstract_excerpt":"Global optimization has gained attraction over the past decades, thanks to the development of both theoretical foundations and efficient numerical routines. Among recent advances, Kernel Sum of Squares (KernelSOS) provides a powerful theoretical framework, combining the expressivity of kernel methods with the guarantees of SOS optimization. In this paper, we take KernelSOS from theory to practice and demonstrate its use on challenging control and robotics problems. We identify and address the practical considerations required to make the method work in applied settings: restarting strategies, "},"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":"2507.17572","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-07-23T15:03:40Z","cross_cats_sorted":[],"title_canon_sha256":"2f3aea6d5152693f68708217bd4c595fecee9491a4748140973dfefcb6fc17a9","abstract_canon_sha256":"1116b312435fbc6c5dcda0148d56770bf3fd0c0ab6f48db641591ea15eb24c28"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:01:35.008307Z","signature_b64":"p1xkDmaQ7FeOzwOENZ+zfPpVUxvawd9H5l9crI0BOBOiSQbs34yO1HDRq/u7hgu6zsSP1g6H380c7lh/Osv6Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f0ef0ada552be44e75a35d54e8e4474f6a301890f1cc9050d13916adb3e37367","last_reissued_at":"2026-05-20T00:01:35.007653Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:01:35.007653Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Sampling-Based Global Optimal Control and Estimation via Semidefinite Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Antoine Groudiev, \\'Elo\\\"ise Berthier, Fabian Schramm, Frederike D\\\"umbgen, Justin Carpentier","submitted_at":"2025-07-23T15:03:40Z","abstract_excerpt":"Global optimization has gained attraction over the past decades, thanks to the development of both theoretical foundations and efficient numerical routines. Among recent advances, Kernel Sum of Squares (KernelSOS) provides a powerful theoretical framework, combining the expressivity of kernel methods with the guarantees of SOS optimization. In this paper, we take KernelSOS from theory to practice and demonstrate its use on challenging control and robotics problems. We identify and address the practical considerations required to make the method work in applied settings: restarting strategies, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.17572","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/2507.17572/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":"2507.17572","created_at":"2026-05-20T00:01:35.007729+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.17572v3","created_at":"2026-05-20T00:01:35.007729+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.17572","created_at":"2026-05-20T00:01:35.007729+00:00"},{"alias_kind":"pith_short_12","alias_value":"6DXQVWSVFPSE","created_at":"2026-05-20T00:01:35.007729+00:00"},{"alias_kind":"pith_short_16","alias_value":"6DXQVWSVFPSE45ND","created_at":"2026-05-20T00:01:35.007729+00:00"},{"alias_kind":"pith_short_8","alias_value":"6DXQVWSV","created_at":"2026-05-20T00:01:35.007729+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":2,"sample":[{"citing_arxiv_id":"2605.21179","citing_title":"KSOS-BO: Improving Sampling in Bayesian Optimization via Kernel Sum of Squares","ref_index":23,"is_internal_anchor":true},{"citing_arxiv_id":"2605.13748","citing_title":"TinySDP: Real Time Semidefinite Optimization for Certifiable and Agile Edge Robotics","ref_index":17,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6DXQVWSVFPSE45NDLVKORZCHJ5","json":"https://pith.science/pith/6DXQVWSVFPSE45NDLVKORZCHJ5.json","graph_json":"https://pith.science/api/pith-number/6DXQVWSVFPSE45NDLVKORZCHJ5/graph.json","events_json":"https://pith.science/api/pith-number/6DXQVWSVFPSE45NDLVKORZCHJ5/events.json","paper":"https://pith.science/paper/6DXQVWSV"},"agent_actions":{"view_html":"https://pith.science/pith/6DXQVWSVFPSE45NDLVKORZCHJ5","download_json":"https://pith.science/pith/6DXQVWSVFPSE45NDLVKORZCHJ5.json","view_paper":"https://pith.science/paper/6DXQVWSV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.17572&json=true","fetch_graph":"https://pith.science/api/pith-number/6DXQVWSVFPSE45NDLVKORZCHJ5/graph.json","fetch_events":"https://pith.science/api/pith-number/6DXQVWSVFPSE45NDLVKORZCHJ5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6DXQVWSVFPSE45NDLVKORZCHJ5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6DXQVWSVFPSE45NDLVKORZCHJ5/action/storage_attestation","attest_author":"https://pith.science/pith/6DXQVWSVFPSE45NDLVKORZCHJ5/action/author_attestation","sign_citation":"https://pith.science/pith/6DXQVWSVFPSE45NDLVKORZCHJ5/action/citation_signature","submit_replication":"https://pith.science/pith/6DXQVWSVFPSE45NDLVKORZCHJ5/action/replication_record"}},"created_at":"2026-05-20T00:01:35.007729+00:00","updated_at":"2026-05-20T00:01:35.007729+00:00"}