{"id":"https://openalex.org/W7214040992","doi":"https://doi.org/10.48550/arxiv.2609.23094","title":"Counting and Covering in Nearest-Neighbour Representations of Boolean Functions","display_name":"Counting and Covering in Nearest-Neighbour Representations of Boolean Functions","publication_year":2026,"publication_date":"2026-09-19","ids":{"openalex":"https://openalex.org/W7214040992","doi":"https://doi.org/10.48550/arxiv.2609.23094"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.23094","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.23094","pdf_url":"https://arxiv.org/pdf/2609.23094","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.23094","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5152464188","display_name":"Martin Anthony","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I909854389","display_name":"London School of Economics and Political Science","ror":"https://ror.org/0090zs177","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I909854389"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Anthony, Martin","raw_affiliation_strings":["Department of Mathematics London School of Economics and Political Science , London , UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics London School of Economics and Political Science , London , UK","institution_ids":["https://openalex.org/I909854389"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5152464188"],"corresponding_institution_ids":["https://openalex.org/I909854389"],"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.5536999702453613,"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"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.5536999702453613,"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/T10320","display_name":"Neural Networks and Applications","score":0.09969999641180038,"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"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.07900000363588333,"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/boolean-functions","display_name":"Boolean functions","score":0.7319999933242798},{"id":"https://openalex.org/keywords/nearest-neighbor-classification","display_name":"nearest neighbor classification","score":0.9610000252723694},{"id":"https://openalex.org/keywords/vc-dimension","display_name":"VC dimension","score":0.7350000143051147},{"id":"https://openalex.org/keywords/covering-designs","display_name":"covering designs","score":0.9670000076293945},{"id":"https://openalex.org/keywords/covering-number","display_name":"covering number","score":0.7870000004768372},{"id":"https://openalex.org/keywords/monotone-boolean-functions","display_name":"monotone Boolean functions","score":0.7639999985694885},{"id":"https://openalex.org/keywords/random-boolean-functions","display_name":"random Boolean functions","score":0.781000018119812},{"id":"https://openalex.org/keywords/symmetric-boolean-functions","display_name":"symmetric Boolean functions","score":0.8970000147819519},{"id":"https://openalex.org/keywords/vertex-cover-problem","display_name":"vertex cover","score":0.6240000128746033},{"id":"https://openalex.org/keywords/lower-bounds","display_name":"lower bounds","score":0.5080000162124634}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7628999948501587},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.7412999868392944},{"id":"https://openalex.org/C188183281","wikidata":"https://www.wikidata.org/wiki/Q2898309","display_name":"Parity function","level":4,"score":0.7110000252723694},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.6136000156402588},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5907999873161316},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5555999875068665},{"id":"https://openalex.org/C134444547","wikidata":"https://www.wikidata.org/wiki/Q585230","display_name":"Boolean network","level":3,"score":0.5239999890327454},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.505299985408783},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.45719999074935913},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4544999897480011},{"id":"https://openalex.org/C67499762","wikidata":"https://www.wikidata.org/wiki/Q4943358","display_name":"Boolean model","level":2,"score":0.453000009059906},{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.44530001282691956},{"id":"https://openalex.org/C81518389","wikidata":"https://www.wikidata.org/wiki/Q5156447","display_name":"Complete Boolean algebra","level":5,"score":0.42489999532699585},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.4203000068664551},{"id":"https://openalex.org/C200415742","wikidata":"https://www.wikidata.org/wiki/Q1350285","display_name":"True quantified Boolean formula","level":2,"score":0.41429999470710754},{"id":"https://openalex.org/C9429942","wikidata":"https://www.wikidata.org/wiki/Q1781698","display_name":"Product term","level":5,"score":0.40880000591278076},{"id":"https://openalex.org/C207764348","wikidata":"https://www.wikidata.org/wiki/Q7858706","display_name":"Two-element Boolean algebra","level":4,"score":0.359499990940094},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.3391999900341034},{"id":"https://openalex.org/C6435147","wikidata":"https://www.wikidata.org/wiki/Q5156627","display_name":"Complexity index","level":3,"score":0.3352000117301941},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.3240000009536743},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.32339999079704285},{"id":"https://openalex.org/C68481662","wikidata":"https://www.wikidata.org/wiki/Q176197","display_name":"Standard Boolean model","level":5,"score":0.31610000133514404},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.3052000105381012},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.3025999963283539},{"id":"https://openalex.org/C94992772","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Circuit minimization for Boolean functions","level":4,"score":0.2930000126361847},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.28760001063346863},{"id":"https://openalex.org/C90702460","wikidata":"https://www.wikidata.org/wiki/Q1055112","display_name":"Circuit complexity","level":3,"score":0.27970001101493835},{"id":"https://openalex.org/C45503250","wikidata":"https://www.wikidata.org/wiki/Q4943350","display_name":"Boolean algebras canonically defined","level":5,"score":0.27079999446868896},{"id":"https://openalex.org/C10021369","wikidata":"https://www.wikidata.org/wiki/Q1166774","display_name":"Stone's representation theorem for Boolean algebras","level":5,"score":0.2574999928474426},{"id":"https://openalex.org/C39685927","wikidata":"https://www.wikidata.org/wiki/Q173183","display_name":"Boolean algebra","level":2,"score":0.2538999915122986}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.23094","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.23094","pdf_url":"https://arxiv.org/pdf/2609.23094","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.23094","doi":"https://doi.org/10.48550/arxiv.2609.23094","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.23094","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.23094","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.23094","pdf_url":"https://arxiv.org/pdf/2609.23094","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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7214040992.pdf","grobid_xml":"https://content.openalex.org/works/W7214040992.grobid-xml"},"referenced_works_count":3,"referenced_works":["https://openalex.org/W1571018443","https://openalex.org/W2911450606","https://openalex.org/W4391835394"],"related_works":["https://openalex.org/W7099105373","https://openalex.org/W2056911937","https://openalex.org/W7123348669","https://openalex.org/W4391800405","https://openalex.org/W2395018377","https://openalex.org/W4252760422","https://openalex.org/W7098658482","https://openalex.org/W2331440560","https://openalex.org/W7095933790","https://openalex.org/W1788936577"],"abstract_inverted_index":{"We":[0,79,105],"study":[1,107],"the":[2,19,37,71,74,121,170,178,213,219,265,272,277],"number":[3,64,89,123],"of":[4,25,65,90,124,133,153,177,264],"prototypes":[5,20,125,207,260,278],"needed":[6],"to":[7,34,58,139,184,188,262,281],"represent":[8],"Boolean":[9,38,52,108,168,171,198,234,237],"functions":[10],"by":[11,243],"nearest-neighbour":[12,59,172,238],"classification.":[13],"There":[14],"are":[15,210,279],"two":[16],"distinct":[17],"settings:":[18],"may":[21,30],"be":[22,32],"arbitrary":[23,232],"points":[24,211],"Euclidean":[26,285],"space,":[27],"or":[28,187],"they":[29],"themselves":[31],"required":[33],"lie":[35,282],"in":[36,98,100,131,212,284],"cube.":[39,266],"For":[40,164],"unrestricted":[41],"prototypes,":[42,91,109],"we":[43,230],"strengthen":[44],"a":[45,81,87,134,151,155,158,165,175,225,244,251,253],"known":[46,75,275],"lower":[47,226],"bound":[48,55,83,227],"for":[49,84,143,222],"almost":[50,196],"all":[51],"functions.":[53,114,235],"The":[54],"applies":[56],"simultaneously":[57],"voting":[60,66],"rules":[61],"with":[62,73,86,111,117,157,190],"any":[63],"neighbours,":[67],"and":[68,92,137,150,215],"substantially":[69],"narrows":[70],"gap":[72],"general":[76],"upper":[77,273],"bound.":[78],"obtain":[80],"VC-dimension":[82],"classes":[85],"bounded":[88],"show":[93],"that":[94],"it":[95],"is":[96,162,180,218,240,268],"sharp":[97],"order":[99],"dimensions":[101],"at":[102,126,201],"least":[103,202],"four.":[104],"then":[106],"beginning":[110],"symmetric":[112,233,256],"threshold":[113,128],"A":[115],"connection":[116],"covering":[118,135],"designs":[119],"expresses":[120],"minimum":[122],"every":[127,197],"level":[129],"exactly":[130],"terms":[132],"number,":[136],"leads":[138],"further":[140],"exact":[141],"results":[142],"related":[144],"monotone":[145],"functions,":[146],"including":[147],"disjunctive":[148],"extensions":[149],"characterisation":[152],"when":[154,276],"representation":[156],"single":[159],"negative":[160],"prototype":[161],"possible.":[163],"uniformly":[166,254],"random":[167,255],"function,":[169],"complexity,":[173],"as":[174,205,208],"proportion":[176,221],"cube,":[179,214],"asymptotically":[181],"close":[182],"either":[183],"one":[185,216],"half":[186,204,217],"one,":[189],"explicit":[191],"limiting":[192],"probabilities.":[193],"In":[194],"particular,":[195],"function":[199,257],"requires":[200,259],"approximately":[203],"many":[206],"there":[209],"largest":[220],"which":[223],"such":[224],"holds.":[228],"Finally,":[229],"consider":[231],"Their":[236],"complexity":[239],"closely":[241],"approximated":[242],"weighted":[245],"vertex-cover":[246],"problem":[247],"on":[248],"paths.":[249],"As":[250],"consequence,":[252],"typically":[258],"amounting":[261],"$11/20$":[263],"This":[267],"much":[269],"larger":[270],"than":[271],"bounds":[274],"allowed":[280],"anywhere":[283],"space.":[286]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-23T00:00:00"}