{"id":"https://openalex.org/W3205757119","doi":"https://doi.org/10.1109/tit.2021.3120088","title":"Hexagonal Run-Length Zero Capacity Region\u2014Part II: Automated Proofs","display_name":"Hexagonal Run-Length Zero Capacity Region\u2014Part II: Automated Proofs","publication_year":2021,"publication_date":"2021-10-15","ids":{"openalex":"https://openalex.org/W3205757119","doi":"https://doi.org/10.1109/tit.2021.3120088","mag":"3205757119"},"language":"en","primary_location":{"id":"doi:10.1109/tit.2021.3120088","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tit.2021.3120088","pdf_url":null,"source":{"id":"https://openalex.org/S4502562","display_name":"IEEE Transactions on Information Theory","issn_l":"0018-9448","issn":["0018-9448","1557-9654"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Information Theory","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049503829","display_name":"Spencer Congero","orcid":"https://orcid.org/0000-0002-3099-5884"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Spencer Congero","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of California, San Diego, La Jolla, CA, USA"],"raw_orcid":"https://orcid.org/0000-0002-3099-5884","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of California, San Diego, La Jolla, CA, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072111370","display_name":"K. Zeger","orcid":"https://orcid.org/0000-0001-6415-1447"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kenneth Zeger","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of California, San Diego, La Jolla, CA, USA"],"raw_orcid":"https://orcid.org/0000-0001-6415-1447","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of California, San Diego, La Jolla, CA, USA","institution_ids":["https://openalex.org/I36258959"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5049503829"],"corresponding_institution_ids":["https://openalex.org/I36258959"],"apc_list":null,"apc_paid":null,"fwci":0.1514,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.53923275,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"68","issue":"1","first_page":"153","last_page":"177"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12162","display_name":"Cellular Automata and Applications","score":0.9969000220298767,"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/T12162","display_name":"Cellular Automata and Applications","score":0.9969000220298767,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11269","display_name":"Algorithms and Data Compression","score":0.9955000281333923,"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/notation","display_name":"Notation","score":0.6581772565841675},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4724341332912445},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.453273206949234},{"id":"https://openalex.org/keywords/zero","display_name":"Zero (linguistics)","score":0.441691130399704},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3506259024143219},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.33482494950294495},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.139812171459198},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.09473523497581482},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.05310317873954773}],"concepts":[{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.6581772565841675},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4724341332912445},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.453273206949234},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.441691130399704},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3506259024143219},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33482494950294495},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.139812171459198},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.09473523497581482},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.05310317873954773},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tit.2021.3120088","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tit.2021.3120088","pdf_url":null,"source":{"id":"https://openalex.org/S4502562","display_name":"IEEE Transactions on Information Theory","issn_l":"0018-9448","issn":["0018-9448","1557-9654"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Information Theory","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1530042113","https://openalex.org/W1579764623","https://openalex.org/W1586667417","https://openalex.org/W1976205112","https://openalex.org/W1988575935","https://openalex.org/W1994768492","https://openalex.org/W2016271082","https://openalex.org/W2030859021","https://openalex.org/W2031392878","https://openalex.org/W2031521232","https://openalex.org/W2053015204","https://openalex.org/W2055211453","https://openalex.org/W2074670256","https://openalex.org/W2096903743","https://openalex.org/W2104557113","https://openalex.org/W2104667481","https://openalex.org/W2105353526","https://openalex.org/W2118382442","https://openalex.org/W2125069069","https://openalex.org/W2158305334","https://openalex.org/W2168380555","https://openalex.org/W2582449852","https://openalex.org/W3105502192","https://openalex.org/W3205682614"],"related_works":["https://openalex.org/W2808944898","https://openalex.org/W3196207352","https://openalex.org/W2951724202","https://openalex.org/W3084261076","https://openalex.org/W1996614773","https://openalex.org/W4387820098","https://openalex.org/W2576399385","https://openalex.org/W2963408011","https://openalex.org/W4236324517","https://openalex.org/W1586813864"],"abstract_inverted_index":{"The":[0,35,231,292],"zero":[1,53,147,232,250,280,342],"capacity":[2,51,145,198,283,340],"region":[3],"for":[4,16,43,234,343,349,378],"hexagonal":[5],"<inline-formula":[6,21,28,37,59,66,75,82,92,100,107,116,127,134,152,167,183,205,218,235,252,353,371,381],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[7,22,29,38,60,67,76,83,93,101,108,117,128,135,153,168,184,206,219,236,253,354,372,382],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">":[8,23,30,39,61,68,77,84,94,102,109,118,129,136,154,169,185,207,220,237,254,355,373,383],"<tex-math":[9,24,31,40,62,69,78,85,95,103,110,119,130,137,155,170,186,208,221,238,255,356,374,384],"notation=\"LaTeX\">$(d,k)$":[10,41],"</tex-math></inline-formula>":[11,26,33,42,64,72,80,89,97,105,112,123,132,139,161,176,192,212,225,240,259,360,376,388],"run-length":[12],"constraints":[13],"is":[14,52,113,146,199,336,341],"known":[15,246],"many,":[17],"but":[18],"not":[19],"all,":[20],"notation=\"LaTeX\">$d$":[25,111],"and":[27,115,125,178,227,244,273,348],"notation=\"LaTeX\">$k$":[32],".":[34,140,193,260,361,389],"pairs":[36],"which":[44],"it":[45,335],"has":[46],"been":[47],"unproven":[48],"whether":[49],"the":[50,144,197,242,279,298,318,339,363],"or":[54,106,281,310],"positive":[55,200,282],"consist":[56],"of:":[57],"(i)":[58,150],"notation=\"LaTeX\">$k=d+2$":[63],"when":[65,81,98,133,151,166,182,204,217,251,370],"notation=\"LaTeX\">$d\\ge":[70],"2$":[71],";":[73,90,124],"(ii)":[74,165,203,351],"notation=\"LaTeX\">$k=d+3$":[79],"notation=\"LaTeX\">$d":[86,120,187,209,222,357,385],"\\ge":[87,121,358,386],"1$":[88],"(iii)":[91,181,216],"notation=\"LaTeX\">$k=d+4$":[96,239,375],"either":[99,278,295],"notation=\"LaTeX\">$d=4$":[104,138],"odd":[114,380],"3$":[122,224,258],"(iv)":[126],"notation=\"LaTeX\">$k=d+5$":[131],"Here,":[141],"we":[142],"prove":[143,196],"in":[148,163,179,201,214,228,276],"case":[149,164,180,202,215,229,346,350],"notation=\"LaTeX\">$2":[156],"\\le":[157,159,172,174],"d":[158,173],"9$":[160],",":[162,177,213,226,377],"notation=\"LaTeX\">$3":[171],"11$":[175,387],"\\in":[188,210],"\\{":[189],"4,5,7,9":[190],"\\}$":[191],"We":[194],"also":[195],"\\{1,2\\}$":[211],"=":[223],"(iv).":[230],"capacities":[233],"are":[241,265,368],"first":[243],"only":[245,364],"cases":[247,324,367],"equal":[248],"to":[249],"notation=\"LaTeX\">$k-d":[256],"&gt;":[257],"All":[261],"of":[262,290,300,317,331,345],"our":[263],"results":[264,284],"obtained":[266],"by":[267,285],"developing":[268],"three":[269],"algorithms":[270],"that":[271,338],"automatically":[272],"rigorously":[274],"assist":[275],"proving":[277],"efficiently":[286],"searching":[287],"large":[288,304],"numbers":[289],"configurations.":[291],"proofs":[293,319],"involve":[294],"upper":[296],"bounding":[297],"number":[299],"paths":[301],"through":[302],"certain":[303],"directed":[305],"graphs,":[306],"finding":[307],"forbidden":[308],"strings,":[309],"building":[311],"distinct":[312],"tileable":[313],"square":[314],"labelings.":[315],"Some":[316],"examine":[320],"over":[321],"20":[322],"billion":[323],"using":[325],"a":[326],"supercomputer.":[327],"In":[328],"Part":[329],"I":[330],"this":[332],"two-part":[333],"series,":[334],"proven":[337],"all":[344],"(i),":[347],"whenever":[352],"7$":[359],"Thus,":[362],"remaining":[365],"unknown":[366],"now":[369],"any":[379]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}