{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:YWAKK42NGCYN6MXKJOBNDY5GRL","short_pith_number":"pith:YWAKK42N","schema_version":"1.0","canonical_sha256":"c580a5734d30b0df32ea4b82d1e3a68ad8609ef3ddf51d41df963dade6a60927","source":{"kind":"arxiv","id":"2507.22385","version":1},"attestation_state":"computed","paper":{"title":"Set Invariance with Probability One for Controlled Diffusion: Score-based Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.SY","eess.SY","math.PR","stat.ME"],"primary_cat":"math.OC","authors_text":"Abhishek Halder, Alexis M.H. Teter, Murat Arcak, Wenqing Wang","submitted_at":"2025-07-30T05:13:31Z","abstract_excerpt":"Given a controlled diffusion and a connected, bounded, Lipschitz set, when is it possible to guarantee controlled set invariance with probability one? In this work, we answer this question by deriving the necessary and sufficient conditions for the same in terms of gradients of certain log-likelihoods -- a.k.a. score vector fields -- for two cases: given finite time horizon and infinite time horizon. The deduced conditions comprise a score-based test that provably certifies or falsifies the existence of Markovian controllers for given controlled set invariance problem data. Our results are con"},"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.22385","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-07-30T05:13:31Z","cross_cats_sorted":["cs.LG","cs.SY","eess.SY","math.PR","stat.ME"],"title_canon_sha256":"cdc6aaa96887b0440f74c5b9934cc77a0edd658757427e009d6c5ba6cc424e15","abstract_canon_sha256":"cd6cf4feadc5b189b50b470ad779039a4ef405c69692bb389aed12d7c93ad6a1"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:45:41.031543Z","signature_b64":"NX0wclU+XgWiy2VJL9KuW12jnd8BLt44uF6Yrvw0fGQ0/9Kt36NkIettqY1XP2vSP/Ox3qQPrT/cjLTgAYjWDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c580a5734d30b0df32ea4b82d1e3a68ad8609ef3ddf51d41df963dade6a60927","last_reissued_at":"2026-07-05T11:45:41.030924Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:45:41.030924Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Set Invariance with Probability One for Controlled Diffusion: Score-based Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.SY","eess.SY","math.PR","stat.ME"],"primary_cat":"math.OC","authors_text":"Abhishek Halder, Alexis M.H. Teter, Murat Arcak, Wenqing Wang","submitted_at":"2025-07-30T05:13:31Z","abstract_excerpt":"Given a controlled diffusion and a connected, bounded, Lipschitz set, when is it possible to guarantee controlled set invariance with probability one? In this work, we answer this question by deriving the necessary and sufficient conditions for the same in terms of gradients of certain log-likelihoods -- a.k.a. score vector fields -- for two cases: given finite time horizon and infinite time horizon. The deduced conditions comprise a score-based test that provably certifies or falsifies the existence of Markovian controllers for given controlled set invariance problem data. Our results are con"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.22385","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/2507.22385/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.22385","created_at":"2026-07-05T11:45:41.030986+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.22385v1","created_at":"2026-07-05T11:45:41.030986+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.22385","created_at":"2026-07-05T11:45:41.030986+00:00"},{"alias_kind":"pith_short_12","alias_value":"YWAKK42NGCYN","created_at":"2026-07-05T11:45:41.030986+00:00"},{"alias_kind":"pith_short_16","alias_value":"YWAKK42NGCYN6MXK","created_at":"2026-07-05T11:45:41.030986+00:00"},{"alias_kind":"pith_short_8","alias_value":"YWAKK42N","created_at":"2026-07-05T11:45:41.030986+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/YWAKK42NGCYN6MXKJOBNDY5GRL","json":"https://pith.science/pith/YWAKK42NGCYN6MXKJOBNDY5GRL.json","graph_json":"https://pith.science/api/pith-number/YWAKK42NGCYN6MXKJOBNDY5GRL/graph.json","events_json":"https://pith.science/api/pith-number/YWAKK42NGCYN6MXKJOBNDY5GRL/events.json","paper":"https://pith.science/paper/YWAKK42N"},"agent_actions":{"view_html":"https://pith.science/pith/YWAKK42NGCYN6MXKJOBNDY5GRL","download_json":"https://pith.science/pith/YWAKK42NGCYN6MXKJOBNDY5GRL.json","view_paper":"https://pith.science/paper/YWAKK42N","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.22385&json=true","fetch_graph":"https://pith.science/api/pith-number/YWAKK42NGCYN6MXKJOBNDY5GRL/graph.json","fetch_events":"https://pith.science/api/pith-number/YWAKK42NGCYN6MXKJOBNDY5GRL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YWAKK42NGCYN6MXKJOBNDY5GRL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YWAKK42NGCYN6MXKJOBNDY5GRL/action/storage_attestation","attest_author":"https://pith.science/pith/YWAKK42NGCYN6MXKJOBNDY5GRL/action/author_attestation","sign_citation":"https://pith.science/pith/YWAKK42NGCYN6MXKJOBNDY5GRL/action/citation_signature","submit_replication":"https://pith.science/pith/YWAKK42NGCYN6MXKJOBNDY5GRL/action/replication_record"}},"created_at":"2026-07-05T11:45:41.030986+00:00","updated_at":"2026-07-05T11:45:41.030986+00:00"}