{"id":"https://openalex.org/W7225050329","doi":"https://doi.org/10.5281/zenodo.23853935","title":"Exactly three theta mates for a family of rank-four lattices","display_name":"Exactly three theta mates for a family of rank-four lattices","publication_year":2026,"publication_date":"2026-11-01","ids":{"openalex":"https://openalex.org/W7225050329","doi":"https://doi.org/10.5281/zenodo.23853935"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23853935","doi":"https://doi.org/10.5281/zenodo.23853935","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23853935","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23853935","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5156989341","display_name":"bigjokker","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"bigjokker","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5156989341"],"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":{"id":"https://openalex.org/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.298799991607666,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.298799991607666,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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/T11166","display_name":"Analytic Number Theory Research","score":0.2660999894142151,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/T11680","display_name":"Advanced Algebra and Geometry","score":0.16200000047683716,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/theta-series","display_name":"theta series","score":0.8349999785423279},{"id":"https://openalex.org/keywords/theta-correspondence","display_name":"theta correspondence","score":0.45500001311302185},{"id":"https://openalex.org/keywords/even-lattices","display_name":"even lattices","score":0.675000011920929},{"id":"https://openalex.org/keywords/eisenstein-integers","display_name":"Eisenstein integers","score":0.9710000157356262},{"id":"https://openalex.org/keywords/isometry-classification","display_name":"isometry classification","score":0.6430000066757202},{"id":"https://openalex.org/keywords/computer-assisted-proof","display_name":"computer-assisted proof","score":0.8510000109672546},{"id":"https://openalex.org/keywords/lattice-enumeration","display_name":"lattice enumeration","score":0.3140000104904175}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7412999868392944},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.6222000122070312},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.58160001039505},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.4941999912261963},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4578999876976013},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4480000138282776},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.44179999828338623},{"id":"https://openalex.org/C184898388","wikidata":"https://www.wikidata.org/wiki/Q1435712","display_name":"Pairwise comparison","level":2,"score":0.4138000011444092},{"id":"https://openalex.org/C23230895","wikidata":"https://www.wikidata.org/wiki/Q104752","display_name":"Coprime integers","level":2,"score":0.4081000089645386},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.4009000062942505},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.3982999920845032},{"id":"https://openalex.org/C171988527","wikidata":"https://www.wikidata.org/wiki/Q188276","display_name":"Pigeonhole principle","level":2,"score":0.3833000063896179},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.37549999356269836},{"id":"https://openalex.org/C49712288","wikidata":"https://www.wikidata.org/wiki/Q77601250","display_name":"Positive-definite matrix","level":3,"score":0.3391000032424927},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.28029999136924744}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23853935","doi":"https://doi.org/10.5281/zenodo.23853935","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23853935","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},{"id":"doi:10.5281/zenodo.23853936","doi":"https://doi.org/10.5281/zenodo.23853936","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23853936","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"doi:10.5281/zenodo.23853935","doi":"https://doi.org/10.5281/zenodo.23853935","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23853935","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7214524266","https://openalex.org/W4242718932","https://openalex.org/W7213263155","https://openalex.org/W2067100039","https://openalex.org/W7220651865","https://openalex.org/W2029696348","https://openalex.org/W7213255251","https://openalex.org/W1887865527","https://openalex.org/W2964911796","https://openalex.org/W1979846384"],"abstract_inverted_index":{"A":[0],"tensor":[1],"construction":[2],"over":[3],"the":[4,30,65,126,129,137,146,185,190,241],"Eisenstein":[5],"integers":[6,49],"gives,":[7],"for":[8,36,105],"every":[9,57],"positive":[10,58],"definite":[11,59],"integral":[12],"binary":[13],"form":[14],"M":[15,38],"=":[16,116,119,123],"(a,":[17],"b,":[18,70,87],"c),":[19],"three":[20],"even":[21],"lattices":[22],"L0,":[23,78],"L1,":[24,79],"L2":[25],"of":[26,61,68,77],"rank":[27,62],"four":[28,63],"with":[29,64,165,238,247],"same":[31],"theta":[32,66,107],"series,":[33],"pairwise":[34],"non-isometric":[35],"generic":[37],"(0":[39],"<":[40,42,44,51,53,55],"2b":[41,52,118],"a":[43,54,120,122],"c).":[45],"Main":[46],"theorem.":[47],"For":[48],"0":[50],"c,":[56],"lattice":[60],"series":[67],"L0(a,":[69],"c)":[71],"is":[72,82,152,156,257],"isometric":[73],"to":[74],"exactly":[75],"one":[76,226],"L2.":[80],"There":[81],"no":[83,90,102,149],"bound":[84,104,151],"on":[85,189,221],"a,":[86],"c":[88],"and":[89,111,171,184,206,215],"residue":[91],"condition.":[92],"The":[93,154,233],"theorem":[94],"concerns":[95],"this":[96],"constructed":[97],"family":[98],"only;":[99],"it":[100],"gives":[101],"upper":[103,150],"rank-four":[106],"fibres":[108],"in":[109,141,161],"general":[110],"does":[112],"not":[113,251],"treat":[114],"b":[115],"0,":[117],"or":[121],"c.":[124],"About":[125],"invariant":[127],"\u266d4":[128,133],"release":[130],"says":[131],"only:":[132],"\u2265":[134],"3,":[135],"contradicting":[136],"conjecture":[138],"as":[139],"stated":[140],"arXiv:2412.16709v1,":[142],"which":[143],"follows":[144],"from":[145,225],"triples":[147],"themselves;":[148],"proved.":[153],"proof":[155],"computer-assisted.":[157],"Hand":[158],"reductions":[159],"accepted":[160],"review":[162],"are":[163,197,244],"combined":[164],"exact":[166,168,195],"certificates,":[167],"isometry":[169],"tests":[170],"complete":[172],"finite":[173],"searches;":[174],"independent":[175,248],"standard-library":[176],"consumers":[177],"check":[178],"all":[179],"27,515,815":[180],"routine":[181],"branch":[182],"decisions,":[183],"nonroutine":[186],"audits":[187],"rely":[188],"SMT":[191],"solver":[192],"z3,":[193],"whose":[194],"decisions":[196],"trusted.":[198],"Every":[199],"computational":[200,249],"step":[201],"has":[202],"an":[203],"executable":[204],"route,":[205],"both":[207],"manifests":[208],"(170":[209],"required":[210],"jobs;":[211],"117":[212],"regeneration,":[213],"supporting":[214],"provenance":[216],"jobs)":[217],"were":[218],"re-executed":[219],"completely":[220],"31":[222],"October":[223],"2026":[224],"frozen":[227],"evidence":[228],"archive,":[229],"release_tree.tar,":[230],"sha256":[231],"ba42fe97adb4202a445d60f34d5b47d5c632ecc4f770790cb911acfc53ba572f.":[232],"work":[234],"was":[235],"carried":[236],"out":[237],"AI":[239],"assistance;":[240],"included":[242],"reviews":[243,246],"AI-assisted":[245],"replication,":[250],"peer":[252],"review.":[253],"No":[254],"literature-priority":[255],"claim":[256],"made.":[258]},"counts_by_year":[],"updated_date":"2026-11-03T10:50:19.383937","created_date":"2026-11-02T00:00:00"}