{"id":"https://openalex.org/W7223051895","doi":"https://doi.org/10.48550/arxiv.2610.24408","title":"A Recursive Construction of Perfect $K^n\\times K^n$ Arrays over $K$ Roots of Unity","display_name":"A Recursive Construction of Perfect $K^n\\times K^n$ Arrays over $K$ Roots of Unity","publication_year":2026,"publication_date":"2026-10-17","ids":{"openalex":"https://openalex.org/W7223051895","doi":"https://doi.org/10.48550/arxiv.2610.24408"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.24408","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.24408","pdf_url":"https://arxiv.org/pdf/2610.24408","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/2610.24408","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5129649539","display_name":"Sam Blake","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Blake, Sam","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5129649539"],"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/T11130","display_name":"Coding theory and cryptography","score":0.9603999853134155,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.9603999853134155,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10849","display_name":"Finite Group Theory Research","score":0.009399999864399433,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.005499999970197678,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/periodic-autocorrelation","display_name":"periodic autocorrelation","score":0.8690000176429749},{"id":"https://openalex.org/keywords/roots-of-unity","display_name":"roots of unity","score":0.9710000157356262},{"id":"https://openalex.org/keywords/recursive-construction","display_name":"recursive construction","score":0.9100000262260437},{"id":"https://openalex.org/keywords/floor-function","display_name":"floor function","score":0.7099999785423279},{"id":"https://openalex.org/keywords/relative-difference-sets","display_name":"relative difference sets","score":0.9259999990463257},{"id":"https://openalex.org/keywords/abelian-p-groups","display_name":"abelian p-groups","score":0.8339999914169312}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8722000122070312},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.67330002784729},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.516700029373169},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.5127999782562256},{"id":"https://openalex.org/C206343339","wikidata":"https://www.wikidata.org/wiki/Q756747","display_name":"Root of unity","level":3,"score":0.48429998755455017},{"id":"https://openalex.org/C85307737","wikidata":"https://www.wikidata.org/wiki/Q751969","display_name":"Coset","level":2,"score":0.4693000018596649},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.44350001215934753},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.37929999828338623},{"id":"https://openalex.org/C46681722","wikidata":"https://www.wikidata.org/wiki/Q4725589","display_name":"Alias","level":2,"score":0.3711000084877014},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.3601999878883362},{"id":"https://openalex.org/C136170076","wikidata":"https://www.wikidata.org/wiki/Q181296","display_name":"Abelian group","level":2,"score":0.35089999437332153},{"id":"https://openalex.org/C2780286412","wikidata":"https://www.wikidata.org/wiki/Q1188344","display_name":"Unknot","level":3,"score":0.34439998865127563},{"id":"https://openalex.org/C32795469","wikidata":"https://www.wikidata.org/wiki/Q5156430","display_name":"Complementary sequences","level":2,"score":0.33559998869895935},{"id":"https://openalex.org/C93446932","wikidata":"https://www.wikidata.org/wiki/Q1972803","display_name":"Perfect power","level":2,"score":0.3294000029563904},{"id":"https://openalex.org/C7655956","wikidata":"https://www.wikidata.org/wiki/Q5282259","display_name":"Disjoint union (topology)","level":2,"score":0.2989000082015991},{"id":"https://openalex.org/C60292330","wikidata":"https://www.wikidata.org/wiki/Q1014065","display_name":"Hadamard transform","level":2,"score":0.2989000082015991},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.28929999470710754},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.28110000491142273},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.2799000144004822},{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.27799999713897705},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.27619999647140503},{"id":"https://openalex.org/C173734053","wikidata":"https://www.wikidata.org/wiki/Q47577","display_name":"Fibonacci number","level":2,"score":0.2720000147819519},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.2694999873638153},{"id":"https://openalex.org/C139002025","wikidata":"https://www.wikidata.org/wiki/Q3001212","display_name":"Lift (data mining)","level":2,"score":0.26330000162124634},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.2565999925136566},{"id":"https://openalex.org/C139676723","wikidata":"https://www.wikidata.org/wiki/Q1193832","display_name":"Sign (mathematics)","level":2,"score":0.2556000053882599}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.24408","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.24408","pdf_url":"https://arxiv.org/pdf/2610.24408","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.2610.24408","doi":"https://doi.org/10.48550/arxiv.2610.24408","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.24408","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:2610.24408","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.24408","pdf_url":"https://arxiv.org/pdf/2610.24408","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/W7223051895.pdf","grobid_xml":"https://content.openalex.org/works/W7223051895.grobid-xml"},"referenced_works_count":6,"referenced_works":["https://openalex.org/W2586008571","https://openalex.org/W2916798803","https://openalex.org/W2921527302","https://openalex.org/W2923049025","https://openalex.org/W2969418984","https://openalex.org/W4386097010"],"related_works":["https://openalex.org/W1968986695","https://openalex.org/W3093433899","https://openalex.org/W2167026259","https://openalex.org/W2588197031","https://openalex.org/W2278152653","https://openalex.org/W2153150808","https://openalex.org/W2030141814","https://openalex.org/W2571516911","https://openalex.org/W4388228996","https://openalex.org/W2950590070"],"abstract_inverted_index":{"We":[0],"give":[1],"a":[2,18,36,50,65,173,177,196,200,207,225],"uniform,":[3],"explicit":[4],"and":[5,26,33,88,98,119,121,199,244],"elementary":[6],"recursive":[7,253],"construction":[8,57],"of":[9,21,24,46,53,68,96,125,133,142,149,172,184,202,215,255,259],"two-dimensional":[10],"arrays":[11,62,72,87,104,129,187,258],"with":[12,59,160,206],"perfect":[13,37,71,85,126,197],"(ideal)":[14],"periodic":[15,170],"autocorrelation":[16],"over":[17,130],"\\emph{fixed}":[19],"alphabet":[20],"$K$":[22,102,131],"roots":[23,45,132],"unity":[25,134],"\\emph{unbounded}":[27],"size:":[28],"for":[29,100,136,241],"every":[30,34,137,230,236],"integer":[31],"$K\\ge2$":[32],"$n\\ge1$":[35],"$K^n\\times":[38,127],"K^n$":[39,128],"array":[40,175],"whose":[41,110,188,219],"entries":[42,162],"are":[43,73,82,105,190,221],"$K$-th":[44],"unity,":[47],"given":[48],"by":[49,64,117],"nested":[51],"sum":[52],"floor":[54],"terms.":[55],"The":[56,147],"works":[58],"\\emph{twisted}":[60],"(quasi-perfect)":[61],"indexed":[63],"type":[66,75,231,237],"$v\\in\\Z_K^2$,":[67],"which":[69,250],"ordinary":[70],"the":[74,80,89,93,103,106,122,157,203,213,222,245,252,256],"$v=0$":[76],"members.":[77],"For":[78],"$K=2$":[79],"types":[81,159,211],"Jedwab's":[83],"generalised":[84],"binary":[86],"recursion":[90],"specialises":[91],"to":[92],"doubling":[94],"constructions":[95,141],"Jedwab--Mitchell":[97],"Wild;":[99],"prime":[101],"relative":[107],"difference":[108],"sets":[109],"existence":[111,124,155],"in":[112,163],"abelian":[113],"$p$-groups":[114],"was":[115],"settled":[116],"Ma":[118],"Schmidt;":[120],"bare":[123],"follows,":[135],"$K$,":[138],"from":[139,235],"recent":[140],"group-invariant":[143],"Butson":[144],"Hadamard":[145],"matrices.":[146],"contribution":[148],"this":[150],"note":[151],"is":[152,251],"therefore":[153],"not":[154],"but":[156],"calculus:":[158],"arbitrary":[161,242],"$\\Z_K^2$;":[164],"three":[165],"spectral":[166],"lemmas":[167],"(a":[168],"twisted":[169],"extension":[171],"type-$v$":[174],"has":[176],"flat":[178,191],"spectrum":[179],"supported":[180],"on":[181,192,217],"one":[182],"coset":[183],"$K\\Z^2$;":[185],"interleaving":[186],"spectra":[189],"disjoint":[193],"cosets":[194],"gives":[195],"array;":[198],"shear":[201],"index":[204,248],"plane":[205],"floor-function":[208,257],"carry":[209],"permutes":[210],"through":[212],"action":[214],"$SL_2(\\Z_K)$":[216],"$\\Z_K^2$,":[218],"orbits":[220],"classes":[223],"$\\gcd(v_1,v_2,K)=g$);":[224],"one-directional":[226],"lift":[227],"that":[228],"produces":[229],"at":[232,238],"side":[233,239],"$KM$":[234],"$M$":[240],"$K$;":[243],"resulting":[246],"closed":[247],"function,":[249],"form":[254],"\\cite{Blake2017}.":[260]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-10-21T00:00:00"}