{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:4PVQQLGCNPQVR2IZK337E5GGIP","short_pith_number":"pith:4PVQQLGC","schema_version":"1.0","canonical_sha256":"e3eb082cc26be158e91956f7f274c643d265f99daebd4a388e7d8f97b2f932f5","source":{"kind":"arxiv","id":"2606.03048","version":1},"attestation_state":"computed","paper":{"title":"The Value Function Semi-Algebraic Set in Partially Observable Markov Decision Processes","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.AG","stat.ML"],"primary_cat":"math.OC","authors_text":"Guido Montufar, Ryan A. Anderson","submitted_at":"2026-06-02T02:30:49Z","abstract_excerpt":"We study the geometry of feasible value functions in infinite-horizon partially observable Markov decision processes (POMDPs) under memoryless stochastic policies. Our main contribution is a characterization of the feasible set of value functions as a semi-algebraic set, defined by explicit polynomial inequalities determined by the transition dynamics, observation kernel, and reward structure of the POMDP. This result extends prior work for fully observable Markov decision processes, where the feasible set is known to be a polytope, to the substantially more intricate partially observable sett"},"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":"2606.03048","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2026-06-02T02:30:49Z","cross_cats_sorted":["math.AG","stat.ML"],"title_canon_sha256":"c2ba99365129c74751f988fa236c9dfee162aef36c4deddbb68eb5fbb8c53223","abstract_canon_sha256":"20c303daa84b1c526695a21c4cee7a0cd67a642c0de909faf91bb94c3ba5586e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-03T01:05:30.213455Z","signature_b64":"QPRtqDrXekv6rbbDHloGCz4vE7eLmMkH175dImbtSqZyyVQFPMDrCr+PrNmEcHMBWEUpbi0ycw8ztxwcR5uJCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e3eb082cc26be158e91956f7f274c643d265f99daebd4a388e7d8f97b2f932f5","last_reissued_at":"2026-06-03T01:05:30.212978Z","signature_status":"signed_v1","first_computed_at":"2026-06-03T01:05:30.212978Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Value Function Semi-Algebraic Set in Partially Observable Markov Decision Processes","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.AG","stat.ML"],"primary_cat":"math.OC","authors_text":"Guido Montufar, Ryan A. Anderson","submitted_at":"2026-06-02T02:30:49Z","abstract_excerpt":"We study the geometry of feasible value functions in infinite-horizon partially observable Markov decision processes (POMDPs) under memoryless stochastic policies. Our main contribution is a characterization of the feasible set of value functions as a semi-algebraic set, defined by explicit polynomial inequalities determined by the transition dynamics, observation kernel, and reward structure of the POMDP. This result extends prior work for fully observable Markov decision processes, where the feasible set is known to be a polytope, to the substantially more intricate partially observable sett"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.03048","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/2606.03048/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":"2606.03048","created_at":"2026-06-03T01:05:30.213042+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.03048v1","created_at":"2026-06-03T01:05:30.213042+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.03048","created_at":"2026-06-03T01:05:30.213042+00:00"},{"alias_kind":"pith_short_12","alias_value":"4PVQQLGCNPQV","created_at":"2026-06-03T01:05:30.213042+00:00"},{"alias_kind":"pith_short_16","alias_value":"4PVQQLGCNPQVR2IZ","created_at":"2026-06-03T01:05:30.213042+00:00"},{"alias_kind":"pith_short_8","alias_value":"4PVQQLGC","created_at":"2026-06-03T01:05:30.213042+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/4PVQQLGCNPQVR2IZK337E5GGIP","json":"https://pith.science/pith/4PVQQLGCNPQVR2IZK337E5GGIP.json","graph_json":"https://pith.science/api/pith-number/4PVQQLGCNPQVR2IZK337E5GGIP/graph.json","events_json":"https://pith.science/api/pith-number/4PVQQLGCNPQVR2IZK337E5GGIP/events.json","paper":"https://pith.science/paper/4PVQQLGC"},"agent_actions":{"view_html":"https://pith.science/pith/4PVQQLGCNPQVR2IZK337E5GGIP","download_json":"https://pith.science/pith/4PVQQLGCNPQVR2IZK337E5GGIP.json","view_paper":"https://pith.science/paper/4PVQQLGC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.03048&json=true","fetch_graph":"https://pith.science/api/pith-number/4PVQQLGCNPQVR2IZK337E5GGIP/graph.json","fetch_events":"https://pith.science/api/pith-number/4PVQQLGCNPQVR2IZK337E5GGIP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4PVQQLGCNPQVR2IZK337E5GGIP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4PVQQLGCNPQVR2IZK337E5GGIP/action/storage_attestation","attest_author":"https://pith.science/pith/4PVQQLGCNPQVR2IZK337E5GGIP/action/author_attestation","sign_citation":"https://pith.science/pith/4PVQQLGCNPQVR2IZK337E5GGIP/action/citation_signature","submit_replication":"https://pith.science/pith/4PVQQLGCNPQVR2IZK337E5GGIP/action/replication_record"}},"created_at":"2026-06-03T01:05:30.213042+00:00","updated_at":"2026-06-03T01:05:30.213042+00:00"}