{"id":"https://openalex.org/W7170142111","doi":"https://doi.org/10.4230/lipics.ccc.2026.31","title":"Optimal Testing of Reed-Muller Codes with an Online Adversary","display_name":"Optimal Testing of Reed-Muller Codes with an Online Adversary","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7170142111","doi":"https://doi.org/10.4230/lipics.ccc.2026.31"},"language":"en","primary_location":{"id":"doi:10.4230/lipics.ccc.2026.31","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.ccc.2026.31","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},"type":"conference-paper","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.4230/lipics.ccc.2026.31","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028191415","display_name":"Esty Kelman","orcid":"https://orcid.org/0009-0007-4962-848X"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]},{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kelman, Esty","raw_affiliation_strings":["Department of Mathematics, Massachusetts Institute of Technology, Cambridge, MA, USA","Boston University, Cambridge, MA, USA"],"raw_orcid":"https://orcid.org/0009-0007-4962-848X","affiliations":[{"raw_affiliation_string":"Department of Mathematics, Massachusetts Institute of Technology, Cambridge, MA, USA","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"Boston University, Cambridge, MA, USA","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019641705","display_name":"Uri Meir","orcid":"https://orcid.org/0009-0003-4274-346X"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Meir, Uri","raw_affiliation_strings":["Blavatnik School of Computer Science, Tel Aviv University, Israel"],"raw_orcid":"https://orcid.org/0009-0003-4274-346X","affiliations":[{"raw_affiliation_string":"Blavatnik School of Computer Science, Tel Aviv University, Israel","institution_ids":["https://openalex.org/I16391192"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039861331","display_name":"Kai Zhe Zheng","orcid":"https://orcid.org/0000-0002-0436-8131"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zheng, Kai Zhe","raw_affiliation_strings":["Department of Mathematics, Massachusetts Institute of Technology, Cambridge, MA, USA"],"raw_orcid":"https://orcid.org/0000-0002-0436-8131","affiliations":[{"raw_affiliation_string":"Department of Mathematics, Massachusetts Institute of Technology, Cambridge, MA, USA","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6730999946594238},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6391000151634216},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6104999780654907},{"id":"https://openalex.org/keywords/property-testing","display_name":"Property testing","score":0.6065999865531921},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5809000134468079},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5631999969482422},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.53329998254776}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6730999946594238},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6467000246047974},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6391000151634216},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6104999780654907},{"id":"https://openalex.org/C123842658","wikidata":"https://www.wikidata.org/wiki/Q2918980","display_name":"Property testing","level":2,"score":0.6065999865531921},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5809000134468079},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5631999969482422},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.53329998254776},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5257999897003174},{"id":"https://openalex.org/C41065033","wikidata":"https://www.wikidata.org/wiki/Q2825412","display_name":"Adversary","level":2,"score":0.4537000060081482},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37950000166893005},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.37209999561309814},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.36809998750686646},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.3199000060558319},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2928999960422516},{"id":"https://openalex.org/C87007009","wikidata":"https://www.wikidata.org/wiki/Q210832","display_name":"Statistical hypothesis testing","level":2,"score":0.2750000059604645},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.26100000739097595},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.2563000023365021},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.25619998574256897}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4230/lipics.ccc.2026.31","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.ccc.2026.31","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"ConferencePaper"}],"best_oa_location":{"id":"doi:10.4230/lipics.ccc.2026.31","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.ccc.2026.31","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Motivated":[0],"by":[1,160],"applications":[2],"to":[3,37,48,62,100,135],"property":[4],"testing":[5,35,67,218],"in":[6,33,75,111,156,205,222,270],"the":[7,49,77,104,113,136,153,167,185,206,219,223,250,263,271],"online-erasure":[8,86,154,224,272],"model":[9,87,155],"of":[10,19,103,166,178,193,208,232,254],"Kalemaj,":[11],"Raskhodnikova,":[12],"and":[13,17,24,80,140,158,169,188,211,234,257],"Varma":[14],"(ITCS":[15,259],"2022":[16],"Theory":[18],"Computing":[20],"2023),":[21],"we":[22,197,242],"define":[23],"analyze":[25],"semi-sample-based":[26,182,200,245],"testers":[27,120,126,183,201,246,266],"for":[28,184,217,249,267],"Reed-Muller":[29,34,50,66,186,220],"codes.":[30],"The":[31,85],"task":[32,71],"is":[36,53,68],"determine":[38],"whether":[39],"an":[40,95,190,239],"input":[41,105,137],"function":[42,138],"f:":[43],"\ud835\udd3d\u207f":[44],"\u2192":[45],"\ud835\udd3d":[46],"belongs":[47],"code":[51,187,221],"or":[52],"far":[54],"from":[55],"it,":[56],"using":[57],"as":[58,64],"few":[59],"point":[60],"queries":[61,114,134,147,173],"f":[63],"possible.":[65],"a":[69,89,116,122],"well-studied":[70],"with":[72,152],"its":[73],"roots":[74],"both":[76],"Property":[78],"Testing":[79],"Probabilistically":[81],"Checkable":[82],"Proofs":[83],"literature.":[84],"introduces":[88],"twist:":[90],"after":[91],"each":[92],"query":[93,215],"made,":[94],"adversary":[96],"may":[97],"erase":[98],"up":[99],"t":[101],"points":[102],"function,":[106],"potentially":[107],"thwarting":[108],"any":[109],"test":[110],"which":[112,128,143],"follow":[115],"predictable":[117],"pattern.":[118],"Semi-sample-based":[119],"are":[121,150,202],"hybrid":[123],"between":[124],"sample-based":[125],"-":[127,139],"can":[129,144],"only":[130],"make":[131],"uniformly":[132,174],"random":[133,176],"standard":[141],"testers,":[142],"choose":[145],"their":[146,172,194],"freely.":[148],"They":[149],"designed":[151],"mind":[157],"operate":[159],"first":[161,264],"choosing":[162],"some":[163],"subset":[164],"S":[165],"domain":[168],"then":[170],"making":[171],"at":[175],"inside":[177],"S.":[179],"We":[180],"describe":[181],"give":[189],"optimal":[191,214],"analysis":[192],"soundness.":[195],"Consequently,":[196],"show":[198,243],"that":[199,244],"indeed":[203],"effective":[204],"presence":[207],"online":[209],"erasures,":[210],"thereby":[212,261],"achieve":[213],"complexity":[216],"model.":[225,273],"This":[226],"result":[227],"improves":[228],"upon":[229],"prior":[230],"work":[231],"Minzer":[233],"Zheng":[235],"(SODA":[236],"2024).":[237],"As":[238],"added":[240],"bonus,":[241],"also":[247],"exist":[248],"lifted":[251],"affine-invariant":[252],"codes":[253,269],"Guo,":[255],"Kopparty,":[256],"Sudan":[258],"2013),":[260],"providing":[262],"known":[265],"these":[268]},"counts_by_year":[],"updated_date":"2026-07-24T06:07:23.975819","created_date":"2026-07-24T00:00:00"}