{"id":"https://openalex.org/W4415154523","doi":"https://doi.org/10.4230/lipics.icalp.2025.52","title":"Relative-Error Testing of Conjunctions and Decision Lists","display_name":"Relative-Error Testing of Conjunctions and Decision Lists","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4415154523","doi":"https://doi.org/10.4230/lipics.icalp.2025.52"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2504.08987","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2504.08987","pdf_url":"https://arxiv.org/pdf/2504.08987","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,"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"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2504.08987","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100329996","display_name":"Xi Chen","orcid":"https://orcid.org/0000-0002-8911-4172"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chen, Xi","raw_affiliation_strings":["Columbia University, New York, NY, USA"],"raw_orcid":"https://orcid.org/0000-0001-5661-515X","affiliations":[{"raw_affiliation_string":"Columbia University, New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5119988464","display_name":"William Pires","orcid":null},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pires, William","raw_affiliation_strings":["Columbia University, New York, NY, USA"],"raw_orcid":"https://orcid.org/0009-0006-2242-1078","affiliations":[{"raw_affiliation_string":"Columbia University, New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003318200","display_name":"Toniann Pitassi","orcid":"https://orcid.org/0000-0002-8668-2174"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pitassi, Toniann","raw_affiliation_strings":["Columbia University, New York, NY, USA"],"raw_orcid":"https://orcid.org/0000-0002-8668-2174","affiliations":[{"raw_affiliation_string":"Columbia University, New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014866889","display_name":"Rocco A. Servedio","orcid":"https://orcid.org/0000-0003-2407-543X"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Servedio, Rocco A.","raw_affiliation_strings":["Columbia University, New York, NY, USA"],"raw_orcid":"https://orcid.org/0000-0003-2407-543X","affiliations":[{"raw_affiliation_string":"Columbia University, New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I78577930"],"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":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9847000241279602,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9847000241279602,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9185000061988831,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9103000164031982,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6654999852180481},{"id":"https://openalex.org/keywords/property-testing","display_name":"Property testing","score":0.661899983882904},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.6550999879837036},{"id":"https://openalex.org/keywords/testability","display_name":"Testability","score":0.6431000232696533},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5002999901771545},{"id":"https://openalex.org/keywords/conjunction","display_name":"Conjunction (astronomy)","score":0.46459999680519104},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.44040000438690186},{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.42660000920295715}],"concepts":[{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6654999852180481},{"id":"https://openalex.org/C123842658","wikidata":"https://www.wikidata.org/wiki/Q2918980","display_name":"Property testing","level":2,"score":0.661899983882904},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.6550999879837036},{"id":"https://openalex.org/C51234621","wikidata":"https://www.wikidata.org/wiki/Q2149495","display_name":"Testability","level":2,"score":0.6431000232696533},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5162000060081482},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5002999901771545},{"id":"https://openalex.org/C59656382","wikidata":"https://www.wikidata.org/wiki/Q191536","display_name":"Conjunction (astronomy)","level":2,"score":0.46459999680519104},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4542999863624573},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4429999887943268},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.44040000438690186},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.42660000920295715},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41990000009536743},{"id":"https://openalex.org/C193319292","wikidata":"https://www.wikidata.org/wiki/Q272172","display_name":"Hamming distance","level":2,"score":0.4163999855518341},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.41530001163482666},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.37770000100135803},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.3614000082015991},{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.3409000039100647},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.32440000772476196},{"id":"https://openalex.org/C115988155","wikidata":"https://www.wikidata.org/wiki/Q3262192","display_name":"Decision problem","level":2,"score":0.3012000024318695},{"id":"https://openalex.org/C87007009","wikidata":"https://www.wikidata.org/wiki/Q210832","display_name":"Statistical hypothesis testing","level":2,"score":0.27810001373291016},{"id":"https://openalex.org/C136726353","wikidata":"https://www.wikidata.org/wiki/Q903789","display_name":"Disjunctive normal form","level":2,"score":0.26499998569488525},{"id":"https://openalex.org/C9429942","wikidata":"https://www.wikidata.org/wiki/Q1781698","display_name":"Product term","level":5,"score":0.26080000400543213},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.2605000138282776}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:arXiv.org:2504.08987","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2504.08987","pdf_url":"https://arxiv.org/pdf/2504.08987","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,"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.2504.08987","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2504.08987","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,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.4230/lipics.icalp.2025.52","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.icalp.2025.52","pdf_url":null,"source":null,"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":"pmh:oai:arXiv.org:2504.08987","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2504.08987","pdf_url":"https://arxiv.org/pdf/2504.08987","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,"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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0],"study":[1,119],"the":[2,15,26,52,68,71,91,98,106,111,120,161,165,175,190,221,225,229],"relative-error":[3,24,64,72,114,141,191,214],"property":[4,53,150],"testing":[5,27,115,142],"model":[6,231],"for":[7,153,200,217],"Boolean":[8,124,158],"functions":[9,125],"that":[10,54,62,102,126,140],"was":[11,132],"recently":[12],"introduced":[13],"in":[14,97,105,134,228],"work":[16],"of":[17,122,180,224],"Chen":[18,135],"et":[19,136,237],"al.":[20,137,238],"(SODA":[21,138],"2025).":[22],"In":[23,170,189],"testing,":[25,151],"algorithm":[28,227],"gets":[29],"uniform":[30],"random":[31],"satisfying":[32,129],"assignments":[33],"as":[34,36,96,146,148],"well":[35],"black-box":[37],"queries":[38],"to":[39,76,84,90,118],"$f$,":[40],"and":[41,58,156,177,184,205,235],"it":[42],"must":[43],"accept":[44],"$f$":[45,50,61,75],"with":[46,82,88,202],"high":[47],"probability":[48],"whenever":[49],"has":[51],"is":[55,63,80,103,143,168],"being":[56,181,185],"tested":[57],"reject":[59],"any":[60],"far":[65],"from":[66,74],"having":[67],"property.":[69],"Here":[70],"distance":[73,100],"a":[77,182,186,212],"function":[78,159],"$g$":[79],"measured":[81],"respect":[83,89],"$|f^{-1}(1)|$":[85],"rather":[86],"than":[87],"entire":[92],"domain":[93],"size":[94],"$2^n$":[95],"Hamming":[99],"measure":[101],"used":[104],"standard":[107,112,230],"model;":[108],"thus,":[109],"unlike":[110],"model,":[113],"allows":[116],"us":[117],"testability":[121],"sparse":[123],"have":[127],"few":[128],"assignments.":[130],"It":[131],"shown":[133],"2025)":[139],"at":[144],"least":[145],"difficult":[147],"standard-model":[149],"but":[152],"many":[154],"natural":[155],"important":[157],"classes":[160],"precise":[162],"relationship":[163],"between":[164],"two":[166],"notions":[167],"unknown.":[169],"this":[171],"paper":[172],"we":[173,193,210],"consider":[174],"well-studied":[176],"fundamental":[178],"properties":[179],"conjunction":[183],"decision":[187,218],"list.":[188],"setting,":[192],"give":[194,211],"an":[195],"efficient":[196],"one-sided":[197],"error":[198],"tester":[199,216],"conjunctions":[201],"running":[203],"time":[204],"query":[206,222],"complexity":[207,223],"$O(1/\u03b5)$.":[208],"Secondly,":[209],"two-sided":[213],"$\\tilde{O}$$(1/\u03b5)$":[215],"lists,":[219],"matching":[220],"state-of-the-art":[226],"Bshouty":[232],"(RANDOM":[233],"2020)":[234],"Diakonikolas":[236],"(FOCS":[239],"2007).":[240]},"counts_by_year":[],"updated_date":"2026-08-05T07:39:15.569665","created_date":"2025-10-14T00:00:00"}