{"id":"https://openalex.org/W7214296148","doi":"https://doi.org/10.48550/arxiv.2609.28520","title":"Certified Task-Conditioned Active Observability","display_name":"Certified Task-Conditioned Active Observability","publication_year":2026,"publication_date":"2026-09-22","ids":{"openalex":"https://openalex.org/W7214296148","doi":"https://doi.org/10.48550/arxiv.2609.28520"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.28520","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.28520","pdf_url":"https://arxiv.org/pdf/2609.28520","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.28520","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030007678","display_name":"Linzhe Zhang","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Linzhe","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5152844556","display_name":"Changming Xu","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xu, Changming","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11236","display_name":"Control Systems and Identification","score":0.673799991607666,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11236","display_name":"Control Systems and Identification","score":0.673799991607666,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.10499999672174454,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13898","display_name":"Diverse Interdisciplinary Research Studies","score":0.03150000050663948,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/autonomous-agents","display_name":"autonomous agents","score":0.6110000014305115},{"id":"https://openalex.org/keywords/hypothesis-pruning","display_name":"hypothesis pruning","score":0.5479999780654907}],"concepts":[{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.8373000025749207},{"id":"https://openalex.org/C2780695315","wikidata":"https://www.wikidata.org/wiki/Q3799040","display_name":"Unobservable","level":2,"score":0.7886000275611877},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4293000102043152},{"id":"https://openalex.org/C95611797","wikidata":"https://www.wikidata.org/wiki/Q17502105","display_name":"Infimum and supremum","level":2,"score":0.42809998989105225},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4101000130176544},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.38839998841285706},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.376800000667572},{"id":"https://openalex.org/C48406656","wikidata":"https://www.wikidata.org/wiki/Q534112","display_name":"Martingale (probability theory)","level":2,"score":0.36480000615119934},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.36480000615119934},{"id":"https://openalex.org/C122770356","wikidata":"https://www.wikidata.org/wiki/Q1656753","display_name":"Identifiability","level":2,"score":0.3465000092983246},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.3133000135421753},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3098999857902527},{"id":"https://openalex.org/C2780704645","wikidata":"https://www.wikidata.org/wiki/Q9251458","display_name":"Observer (physics)","level":2,"score":0.29809999465942383},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.29429998993873596},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.2840000092983246},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2791999876499176},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.2761000096797943},{"id":"https://openalex.org/C2777021972","wikidata":"https://www.wikidata.org/wiki/Q22976830","display_name":"Uniqueness","level":2,"score":0.26579999923706055},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.25440001487731934},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.25110000371932983}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.28520","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.28520","pdf_url":"https://arxiv.org/pdf/2609.28520","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.28520","doi":"https://doi.org/10.48550/arxiv.2609.28520","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.28520","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.28520","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.28520","pdf_url":"https://arxiv.org/pdf/2609.28520","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7214296148.pdf","grobid_xml":"https://content.openalex.org/works/W7214296148.grobid-xml"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W1989445634","https://openalex.org/W1990503235","https://openalex.org/W2011762419","https://openalex.org/W2045030310","https://openalex.org/W2105934661","https://openalex.org/W2121608840","https://openalex.org/W2140998418","https://openalex.org/W2160282650","https://openalex.org/W2583228413","https://openalex.org/W3162237504","https://openalex.org/W4232896127"],"related_works":["https://openalex.org/W2626764065","https://openalex.org/W2118185136","https://openalex.org/W3012140315","https://openalex.org/W7214030584","https://openalex.org/W2123033496","https://openalex.org/W3136198742","https://openalex.org/W7212143758","https://openalex.org/W4409257340","https://openalex.org/W7166449877","https://openalex.org/W2058760124"],"abstract_inverted_index":{"Before":[0],"acting":[1],"upon":[2,170],"an":[3,7,41,124],"unobservable":[4],"physical":[5,187],"system,":[6],"autonomous":[8],"agent":[9],"must":[10],"determine":[11],"which":[12],"latent":[13,51],"distinctions":[14],"govern":[15],"downstream":[16],"tasks,":[17],"how":[18],"many":[19],"active":[20,73,107,167],"interventions":[21],"are":[22],"necessary":[23],"to":[24,29,31,83],"certify":[25],"them,":[26],"and":[27,61,90,129,142,189,202,208],"when":[28,46],"abstain":[30],"prevent":[32],"catastrophic":[33],"errors.":[34],"Classical":[35],"observability":[36,74,108],"treats":[37],"state":[38,196],"reconstruction":[39],"as":[40],"unconditioned":[42],"binary":[43],"predicate,":[44],"failing":[45],"passive":[47],"observations":[48],"cannot":[49],"break":[50],"degeneracies":[52],"without":[53,148,179],"perturbation,":[54],"full":[55],"microscopic":[56],"inversion":[57],"is":[58,121],"prohibitively":[59],"costly,":[60],"distinguishing":[62,127],"task-irrelevant":[63],"degrees":[64],"of":[65,191],"freedom":[66],"wastes":[67],"interaction":[68,80],"budgets.":[69],"We":[70,94,151],"formalize":[71],"task-conditioned":[72],"complexity:":[75],"the":[76,100],"minimum":[77],"worst-case":[78],"expected":[79],"cost":[81],"required":[82],"identify":[84],"task-relevant":[85],"states":[86],"under":[87],"certified":[88,155,195],"error":[89],"safe":[91],"abstention":[92],"guarantees.":[93],"prove":[95],"that":[96,146],"task-predictive":[97],"equivalence":[98],"induces":[99],"unique":[101],"minimal":[102],"sufficient":[103],"quotient":[104],"$\\mathcal{H}/\\!\\sim_\u03c4$,":[105],"leaving":[106],"complexity":[109,120],"strictly":[110],"invariant":[111],"while":[112,172],"eliminating":[113],"superfluous":[114],"distinctions.":[115],"In":[116],"deterministic":[117],"regimes,":[118,134],"this":[119],"characterized":[122],"by":[123],"optimal":[125],"adaptive":[126,143],"tree":[128],"Bellman":[130],"recursion;":[131],"in":[132,205],"noisy":[133],"it":[135],"obeys":[136],"a":[137,153,160,173],"stopped-transcript":[138],"relative-entropy":[139],"lower":[140],"bound":[141],"martingale":[144],"certificates":[145],"compose":[147],"independence":[149],"assumptions.":[150],"instantiate":[152],"prospective":[154],"observer":[156],"with":[157,198],"staged":[158],"recovery:":[159],"nominal":[161],"verifier":[162],"defers":[163],"candidate":[164],"compilation,":[165],"triggering":[166],"probing":[168],"only":[169],"evidence,":[171],"history-measurable":[174],"score":[175],"shell":[176],"prunes":[177],"hypotheses":[178],"sacrificing":[180],"risk":[181],"bounds.":[182],"Stress":[183],"audits":[184],"across":[185],"high-dimensional":[186],"systems":[188],"thousands":[190],"operational":[192],"trials":[193],"demonstrate":[194],"recovery":[197],"zero":[199],"false":[200],"acceptances":[201],"substantial":[203],"reductions":[204],"sensor":[206],"reads":[207],"model":[209],"steps.":[210]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-26T00:00:00"}