On the integrality of nth roots of generating functions

DOI10.1016/J.JCTA.2006.03.018zbMATH Open1203.94138DBLPjournals/jct/HeningerRS06arXivmath/0509316OpenAlexW1581066001WikidataQ60692207 ScholiaQ60692207MaRDI QIDQ855873FDOQ855873

N. J. A. Sloane, Nadia Heninger, Eric Rains

Publication date: 7 December 2006

Published in: Journal of Combinatorial Theory. Series A (Search for Journal in Brave)

Abstract: Motivated by the discovery that the eighth root of the theta series of the E_8 lattice and the 24th root of the theta series of the Leech lattice both have integer coefficients, we investigate the question of when an arbitrary element f in R (where R = 1 + xZx) can be written as f = g^n for g in R, n >= 2. Let P_n := {g^n : g in R} and let mu_n := n Product_{p|n} p. We show among other things that (i) for f in R, f in P_n <=> f mod mu_n in P_n, and (ii) if f in P_n, there is a unique g in P_n with coefficients mod mu_n/n such that f == g^n (mod mu_n). In particular, if f == 1 (mod mu_n) then f in P_n. The latter assertion implies that the theta series of any extremal even unimodular lattice in R^n (e.g. E_8 in R^8) is in P_n if n is of the form 2^i 3^j 5^k (i >= 3). There do not seem to be any exact analogues for codes, although we show that the weight enumerator of the r-th order Reed-Muller code of length 2^m is in P_{2^r}. We give a number of other results and conjectures, and establish a conjecture of Paul D. Hanna that there is a unique element f in P_n (n != 2) with coefficients restricted to the set {1, 2, ..., n}.

Full work available at URL: https://arxiv.org/abs/math/0509316

zbMATH Keywords

formal power seriesBCH codesfractional powerstheta seriesLeech latticeinteger sequencesKerdock codes\(E_8\) latticePreparata codesBarnes--Wall latticesReed--Muller codessquare roots of seriesWeight enumerators

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Combinatorial codes (94B25) Theta series; Weil representation; theta correspondences (11F27) Relations with coding theory (11H71)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The On-Line Encyclopedia of Integer Sequences
• Upper bounds for modular forms, lattices, and codes
• The Z/sub 4/-linearity of Kerdock, Preparata, Goethals, and related codes
• A note on optimal unimodular lattices
• More on replicable functions
• Weight enumerator for second-order Reed-Muller codes
• Codes and invariant theory
• \(p\)-adic numbers. An introduction
• On unique factorization domains
• On the weight enumeration of weights less than 2.5d of Reed—Muller codes
• Some cyclo-quaternionic lattices
• Modular lattices in Euclidean spaces
• Theq—-series of monstrous moonshine & the decomposition of the head characters
• Self-dual codes over GF(4)
• Coding theory
• Lattices, linear codes, and invariants. I
• Extremal self‐dual lattices exist only in dimensions 1 to 8, 12, 14, 15, 23, and 24
• The weight distribution of the third-order Reed-Muller code of length 512
• A (48, 31, 8) linear code (Corresp.)
• The automorphism group of an [18,9,8] quaternary code

Cited In (9)

• Integrality of the Taylor coefficients of roots of mirror maps
• Nonlinear differential equations satisfied by certain classical modular forms
• On the generating function of the integer part: \([n\alpha{}+ \gamma{}]\)
• Criteria for the integrality of \(n\)th roots of power series
• On Dwork’s 𝑝-adic formal congruences theorem and hypergeometric mirror maps
• ON EXTREMAL QUASI-MODULAR FORMS AFTER KANEKO AND KOIKE
• The partition-frequency enumeration matrix
• Arithmetic properties of Picard-Fuchs equations and holonomic recurrences
• On the integrality of the Taylor coefficients of mirror maps

Uses Software

• Maple
• OEIS

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A Note onq-Integrals and Certain Generating Functions 👍 👎
• Asymptotics and algebraicity of some generating functions 👍 👎
• On the \(r\)-th root partition function 👍 👎
• On a generalization of the Rogers generating function 👍 👎
• On the kth root partition function 👍 👎
• On the roots of the generalized Rogers-Ramanujan function 👍 👎
• Some generating functions due to certain entire functions 👍 👎
• Корни производящих функций и суммы целочисленных случайных величин 👍 👎

This page was built for publication: On the integrality of \(n\)th roots of generating functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q855873)