-
Equations for a K3 Lehmer map
Abstract: McMullen proved that there exists an automorphism of minimal topological entropy on a projective K3 surface. We derive equations for the surface and its automorphism. We reconstruct the surface and its automorphism from the Hodge theoretic model provided by McMullen. The approach is computer aided and relies on finite non-symplectic automorphisms, $p$-adic lifting, elliptic fibrations and the Knes… ▽ More
Submitted 26 September, 2022; v1 submitted 28 March, 2021; originally announced March 2021.
Comments: V2: includes a picture of Lehmer's K3
MSC Class: 37F80; 11R06; 14J50; 14J27 14J28; 14Q10
-
arXiv:2003.00077 [pdf, ps, other]
New Rank Records For Elliptic Curves Having Rational Torsion
Abstract: We present rank-record breaking elliptic curves having torsion subgroups Z/2Z, Z/3Z, Z/4Z, Z/6Z, and Z/7Z.
Submitted 28 February, 2020; originally announced March 2020.
MSC Class: 11G05
-
arXiv:1909.11214 [pdf, ps, other]
Periodic continued fractions over $S$-integers in number fields and Skolem's $p$-adic method
Abstract: We generalize the classical theory of periodic continued fractions (PCFs) over ${\mathbf Z}$ to rings ${\mathcal O}$ of $S$-integers in a number field. Let ${\mathcal B}=\{β, {β^*}\}$ be the multi-set of roots of a quadratic polynomial in ${\mathcal O}[x]$. We show that PCFs $P=[b_1,\ldots,b_N,\bar{a_1\ldots ,a_k}]$ of type $(N,k)$ potentially converging to a limit in ${\mathcal B}$ are given by… ▽ More
Submitted 27 September, 2019; v1 submitted 24 September, 2019; originally announced September 2019.
MSC Class: 20G30; 11C20
Journal ref: Acta Arithmetica 197 (2021), 379-420
-
arXiv:1601.07541 [pdf, ps, other]
Permutations that Destroy Arithmetic Progressions in Elementary $p$-Groups
Abstract: Given an abelian group $G$, it is natural to ask whether there exists a permutation $π$ of $G$ that "destroys" all nontrivial 3-term arithmetic progressions (APs), in the sense that $π(b) - π(a) \neq π(c) - π(b)$ for every ordered triple $(a,b,c) \in G^3$ satisfying $b-a = c-b \neq 0$. This question was resolved for infinite groups $G$ by Hegarty, who showed that there exists an AP-destroying perm… ▽ More
Submitted 16 January, 2017; v1 submitted 27 January, 2016; originally announced January 2016.
Comments: 10 pages
MSC Class: 11B75; 11L40
-
arXiv:1503.04297 [pdf, ps, other]
Configurations of Extremal Type II Codes
Abstract: We prove configuration results for extremal Type II codes, analogous to the configuration results of Ozeki and of the second author for extremal Type II lattices. Specifically, we show that for $n \in \{8, 24, 32, 48, 56, 72, 96\}$ every extremal Type II code of length $n$ is generated by its codewords of minimal weight. Where Ozeki and Kominers used spherical harmonics and weighted theta function… ▽ More
Submitted 14 March, 2015; originally announced March 2015.
Comments: 7 pages
MSC Class: 94B05 (Primary) 05B05; 11H71; 33C50 (Secondary)
-
arXiv:1305.1054 [pdf, ps, other]
Moduli spaces of quadratic rational maps with a marked periodic point of small order
Abstract: The surface corresponding to the moduli space of quadratic endomorphisms of $\mathbb{P}^1$ with a marked periodic point of order $n$ is studied. It is shown that the surface is rational over $\mathbb{Q}$ when $n\le 5$ and is of general type for $n=6$. An explicit description of the $n=6$ surface lets us find several infinite families of quadratic endomorphisms $f: \mathbb{P}^1 \to \mathbb{P}^1$… ▽ More
Submitted 5 May, 2014; v1 submitted 5 May, 2013; originally announced May 2013.
MSC Class: 37P05; 37P35; 14G05
-
arXiv:1207.1239 [pdf, ps, other]
Genus 1 fibrations on the supersingular K3 surface in characteristic 2 with Artin invariant 1
Abstract: The supersingular K3 surface X in characteristic 2 with Artin invariant 1 admits several genus 1 fibrations (elliptic and quasi-elliptic). We use a bijection between fibrations and definite even lattices of rank 20 and discriminant 4 to classify the fibrations, and exhibit isomorphisms between the resulting models of X. We also study a configuration of (-2)-curves on X related to the incidence gra… ▽ More
Submitted 28 March, 2014; v1 submitted 5 July, 2012; originally announced July 2012.
Comments: 31 pages; 1 table, 17 figures; v2: typos corrected, references updated
MSC Class: 14J27; 14J28; 06B05; 11G25; 51A20; 14N20
-
arXiv:1202.2520 [pdf, ps, other]
On real part theorem for the higher derivatives of analytic functions in the unit disk
Abstract: Let $n$ be a positive integer. Let $\mathbf U$ be the unit disk, $p\ge 1$ and let $h^p(\mathbf U)$ be the Hardy space of harmonic functions. Kresin and Maz'ya in a recent paper found the representation for the function $H_{n,p}(z)$ in the inequality $$|f^{(n)} (z)|\leq H_{n,p}(z)|\Re(f-\mathcal P_l)|_{h^p(\mathbf U)}, \Re f\in h^p(\mathbf U), z\in \mathbf U,$$ where $\mathcal P_l$ is a polynomial… ▽ More
Submitted 19 February, 2013; v1 submitted 12 February, 2012; originally announced February 2012.
-
arXiv:1111.2392 [pdf, ps, other]
Weighted Generating Functions for Type II Lattices and Codes
Abstract: We give a new structural development of harmonic polynomials on Hamming space, and harmonic weight enumerators of binary linear codes, that parallels one approach to harmonic polynomials on Euclidean space and weighted theta functions of Euclidean lattices. Namely, we use the finite-dimensional representation theory of sl_2 to derive a decomposition theorem for the spaces of discrete homogeneous p… ▽ More
Submitted 9 November, 2011; originally announced November 2011.
Comments: 34 pages
MSC Class: 94B05 (Primary) 05B05; 11H71; 33C50; 33C55 (Secondary)
-
arXiv:1101.5662 [pdf, ps, other]
Minimal S-universality criteria may vary in size
Abstract: In this note, we give simple examples of sets S of quadratic forms that have minimal S-universality criteria of multiple cardinalities. This answers a question of Kim, Kim, and Oh in the negative.
Submitted 28 January, 2011; originally announced January 2011.
Comments: 5 pages
MSC Class: 11E20; 11E25
-
arXiv:1009.3983 [pdf, ps, other]
Every even number greater than 454 is the sum of seven cubes
Abstract: It is conjectured that every integer N>454 is the sum of seven nonnegative cubes. We prove the conjecture when N is congruent to 2 mod 4. This result, together with a recent proof for 4|N, shows that the conjecture is true for all even N.
Submitted 20 September, 2010; originally announced September 2010.
Comments: 9 pages
MSC Class: Primary 11P05
-
arXiv:1006.0822 [pdf, ps, other]
Genus bounds for curves with fixed Frobenius eigenvalues
Abstract: For every finite collection C of abelian varieties over F_q, we produce an explicit upper bound on the genus of curves over F_q whose Jacobians are isogenous to a product of powers of elements of C.
Submitted 9 January, 2012; v1 submitted 4 June, 2010; originally announced June 2010.
Comments: 14 pages. The new version includes new references to papers with related results; also, the main result has been greatly improved, thanks to an argument suggested by Zeev Rudnick and Sergei Konyagin
MSC Class: 14G10; 11G20; 14G15; 14H25
Journal ref: Proc. Amer. Math. Soc. 142 (2014) 71-84
-
arXiv:0905.4306 [pdf, ps, other]
Refined Configuration Results for Extremal Type II Lattices of Ranks 40 and 80
Abstract: We show that, if L is an extremal Type II lattice of rank 40 or 80, then L is generated by its vectors of norm min(L)+2. This sharpens earlier results of Ozeki, and the second author and Abel, which showed that such lattices L are generated by their vectors of norms min(L) and min(L)+2.
Submitted 27 May, 2009; originally announced May 2009.
Comments: 3 pages
MSC Class: 11H55 (Primary) 05B30; 11F11 (Secondary)
Journal ref: Proceedings of the American Mathematical Society 138(1), (2010), 105-108
-
arXiv:0903.4503 [pdf, ps, other]
Every multiple of 4 except 212, 364, 420, and 428 is the sum of seven cubes
Abstract: It is conjectured that every integer N>454 is the sum of seven nonnegative cubes. We prove the conjecture when N is a multiple of 4.
Submitted 25 March, 2009; originally announced March 2009.
Comments: 8 pages; to appear in Bull. LMS
MSC Class: 11P05
-
arXiv:0902.1942 [pdf, ps, other]
On the Classification of Type II Codes of Length 24
Abstract: We give a new, purely coding-theoretic proof of Koch's criterion on the tetrad systems of Type II codes of length 24 using the theory of harmonic weight enumerators. This approach is inspired by Venkov's approach to the classification of the root systems of Type II lattices in R^{24}, and gives a new instance of the analogy between lattices and codes.
Submitted 19 February, 2009; v1 submitted 11 February, 2009; originally announced February 2009.
Comments: 5 pages; v2: fixed minor typos
MSC Class: 94B05; 11H71
Journal ref: SIAM Journal on Discrete Mathematics 23(4), (2010), 2173-2177
-
arXiv:0812.2579 [pdf, ps, other]
Point configurations that are asymmetric yet balanced
Abstract: A configuration of particles confined to a sphere is balanced if it is in equilibrium under all force laws (that act between pairs of points with strength given by a fixed function of distance). It is straightforward to show that every sufficiently symmetrical configuration is balanced, but the converse is far from obvious. In 1957 Leech completely classified the balanced configurations in R^3, an… ▽ More
Submitted 23 June, 2012; v1 submitted 13 December, 2008; originally announced December 2008.
Comments: 10 pages
Journal ref: Proceedings of the American Mathematical Society 138 (2010), 2863-2872
-
arXiv:0809.0830 [pdf, ps, other]
Modular forms and K3 surfaces
Abstract: For every known Hecke eigenform of weight 3 with rational eigenvalues we exhibit a K3 surface over QQ associated to the form. This answers a question asked independently by Mazur and van Straten. The proof builds on a classification of CM forms by the second author.
Submitted 25 March, 2013; v1 submitted 4 September, 2008; originally announced September 2008.
Comments: 29 pages; v4: few typos corrected
MSC Class: 14J28; 11F11; 11F23; 11G40; 14G10
-
arXiv:0802.1301 [pdf, ps, other]
Shimura curve computations via K3 surfaces of Neron-Severi rank at least 19
Abstract: It is known that K3 surfaces S whose Picard number rho (= rank of the Neron-Severi group of S) is at least 19 are parametrized by modular curves X, and these modular curves X include various Shimura modular curves associated with congruence subgroups of quaternion algebras over Q. In a family of such K3 surfaces, a surface has rho=20 if and only if it corresponds to a CM point on X. We use this… ▽ More
Submitted 9 February, 2008; originally announced February 2008.
Comments: 16 pages (1 figure drawn with the LaTeX picture environment); To appear in the proceedings of ANTS-VIII, Banff, May 2008
MSC Class: 11G18; 14J28 (Primary); 11G15 (Secondary)
-
arXiv:0709.2908 [pdf, ps, other]
Three lectures on elliptic surfaces and curves of high rank
Abstract: Over the past two years we have improved several of the (Mordell-Weil) rank records for elliptic curves over Q and nonconstant elliptic curves over Q(t). For example, we found the first example of a curve E/Q with 28 independent points P_i in E(Q) (the previous record was 24, by R.Martin and W.McMillen 2000), and the first example of a curve over Q with Mordell-Weil group isomorphic with (Z/2Z)… ▽ More
Submitted 18 September, 2007; originally announced September 2007.
Comments: 14 pages; extended abstract for an invited lecture series at the 7/2007 Oberwolfach workshop ``Explicit Methods in Number Theory'', expanded from my lecture notes for publication in the Oberwolfach Reports
MSC Class: 14J27; 11G05
-
arXiv:math/0612749 [pdf, ps, other]
On some points-and-lines problems and configurations
Abstract: We apply an old method for constructing points-and-lines configurations in the plane to study some recent questions in incidence geometry.
Submitted 23 December, 2006; originally announced December 2006.
Comments: 14 pages, numerous figures of point-and-line configurations; to appear in the Bezdek-50 special issue of Periodica Mathematica Hungarica
MSC Class: 52C35 (52C10)
-
arXiv:math/0612734 [pdf, ps, other]
Elliptic curves with 3-adic Galois representation surjective mod 3 but not mod 9
Abstract: Let E be an elliptic curve over Q, and rho_l: Gal(Q) --> GL_2(Z_l) its l-adic Galois representation. Serre observed that for l>3 there is no proper closed subgroup of SL_2(Z_l) that maps surjectively onto SL_2(Z/lZ), and concluded that if rho_l is surjective mod l then it is surjective onto GL_2(Z_l). We show that this no longer holds for l=3 by describing a modular curve X of genus 0 parametriz… ▽ More
Submitted 22 December, 2006; originally announced December 2006.
Comments: 8 pages
MSC Class: 11G05; 11G18
-
arXiv:math/0608593 [pdf, ps, other]
Points of Low Height on Elliptic Curves and Surfaces, I: Elliptic surfaces over P^1 with small d
Abstract: For each of n=1,2,3 we find the minimal height h^(P) of a nontorsion point P of an elliptic curve E over C(T) of discriminant degree d=12n (equivalently, of arithmetic genus n), and exhibit all (E,P) attaining this minimum. The minimal h^(P) was known to equal 1/30 for n=1 (Oguiso-Shioda) and 11/420 for n=2 (Nishiyama), but the formulas for the general (E,P) were not known, nor was the fact that… ▽ More
Submitted 23 August, 2006; originally announced August 2006.
Comments: 15 pages; some lines in the TeX source are commented out with "%" to meet the 15-page limit for ANTS proceedings
MSC Class: 11G50; 11G05
Journal ref: Lecture Notes in Computer Science 4076 (proceedings of ANTS-7, 2004; F.Hess, S.Pauli, and M.Pohst, ed.), 287--301
-
arXiv:math/0607447 [pdf, ps, other]
The D_4 root system is not universally optimal
Abstract: We prove that the D_4 root system (equivalently, the set of vertices of the regular 24-cell) is not a universally optimal spherical code. We further conjecture that there is no universally optimal spherical code of 24 points in S^3, based on numerical computations suggesting that every 5-design consisting of 24 points in S^3 is in a 3-parameter family (which we describe explicitly, based on a co… ▽ More
Submitted 8 September, 2008; v1 submitted 18 July, 2006; originally announced July 2006.
Comments: 11 pages, updated to incorporate small changes in published version
Journal ref: Experimental Mathematics 16 (2007), 313-320
-
arXiv:math/0604097 [pdf, ps, other]
A note on integral points on elliptic curves
Abstract: We investigate a problem considered by Zagier and Elkies, of finding large integral points on elliptic curves. By writing down a generic polynomial solution and equating coefficients, we are led to suspect four extremal cases that still might have nondegenerate solutions. Each of these cases gives rise to a polynomial system of equations, the first being solved by Elkies in 1988 using the result… ▽ More
Submitted 5 April, 2006; originally announced April 2006.
Comments: Submitted to the Pohst Birthday volume of the Journal de Théorie des Nombres de Bordeaux. With an appendix by Noam D. Elkies
-
arXiv:math/0512350 [pdf, ps, other]
Reduction of CM elliptic curves and modular function congruences
Abstract: We study congruences of the form F(j(z)) | U(p) = G(j(z)) mod p, where U(p) is the p-th Hecke operator, j is the basic modular invariant 1/q+744+196884q+... for SL2(Z), and F,G are polynomials with integer coefficients. Using the interplay between singular (a.k.a. CM) j-invariants in characteristic zero and supersingular ones in characteristic p, we obtain such congruences in which F is the mini… ▽ More
Submitted 14 December, 2005; originally announced December 2005.
Comments: 11 pages
MSC Class: 11F33 (11G05; 11G15)
Journal ref: International Math. Research Notices, Vol. 2005, #44, pages 2695--2707
-
arXiv:math/0508645 [pdf, ps, other]
New directions in enumerative chess problems
Abstract: Normally a chess problem must have a unique solution, and is deemed unsound even if there are alternatives that differ only in the order in which the same moves are played. In an enumerative chess problem, the set of moves in the solution is (usually) unique but the order is not, and the task is to count the feasible permutations via an isomorphic problem in enumerative combinatorics. Almost all… ▽ More
Submitted 31 August, 2005; originally announced August 2005.
Comments: 14 pages, including many chess diagrams created with the Tutelaers fonts
MSC Class: 05A10; 05A15; 05E10; 97A20
Journal ref: Electronic Journal of Combinatorics 11(2) (2004-2005) [Stanley-60 Festschrift], Article #4
-
arXiv:math/0508630 [pdf, ps, other]
The Mathieu group $M_{12}$ and its pseudogroup extension $M_{13}$
Abstract: We study a construction of the Mathieu group $M_{12}$ using a game reminiscent of Loyd's ``15-puzzle''. The elements of $M_{12}$ are realized as permutations on~12 of the~13 points of the finite projective plane of order~3. There is a natural extension to a ``pseudogroup'' $M_{13}$ acting on all~13 points, which exhibits a limited form of sextuple transitivity. Another corollary of the construct… ▽ More
Submitted 30 August, 2005; originally announced August 2005.
Comments: 19 pages, uses mathrsfs
MSC Class: 20B25 (Primary); 05B25; 51E20; 20B20 (Secondary)
-
arXiv:math/0409020 [pdf, ps, other]
Shimura curves for level-3 subgroups of the (2,3,7) triangle group, and some other examples
Abstract: We determine the Shimura modular curve X_0(3) and the Jacobian of the Shimura modular curve X_1(3) associated with the congruence subgroups Gamma_0(3), Gamma_1(3) of the (2,3,7) triangle group. This group is known to be arithmetic and associated with a quaternion algebra A/K ramified at two of the three real places of K=Q(\cos 2π/7) and at no finite primes of K. Since the rational prime 3 is ine… ▽ More
Submitted 24 December, 2006; v1 submitted 1 September, 2004; originally announced September 2004.
Comments: 15 pages. This is the published version, considerably improved by the suggestions of the referees, one of whom identified himself as John Voight. Several sentences and formulas that were removed to bring the paper under the 15-page limit for contributed ANTS papers can still be seen as %-commented lines in the TeX source
MSC Class: 11G18 (Primary); 14G35; 11G15 (secondary)
Journal ref: Lecture Notes in Computer Science 4076 (proceedings of ANTS-7, Berlin 2006; F.Hess, S.Pauli, and M.Pohst, ed.), 302--316
-
arXiv:math/0403374 [pdf, ps, other]
Elliptic curves of large rank and small conductor
Abstract: For r=6,7,...,11 we find an elliptic curve E/Q of rank at least r and the smallest conductor known, improving on the previous records by factors ranging from 1.0136 (for r=6) to over 100 (for r=10 and r=11). We describe our search methods, and tabulate, for each r=5,6,...,11, the five curves of lowest conductor, and (except for r=11) also the five of lowest absolute discriminant, that we found.
Submitted 11 May, 2004; v1 submitted 22 March, 2004; originally announced March 2004.
Comments: 16 pages, including tables and one .eps figure; to appear in the Proceedings of ANTS-6 (June 2004, Burlington, VT). Revised somewhat after comments by J.Silverman on the previous draft, and again to get the correct page breaks
MSC Class: 11G05; 11Y99
-
arXiv:math/0403116 [pdf, ps, other]
Elliptic Curves x^3 + y^3 = k of High Rank
Abstract: We use rational parametrizations of certain cubic surfaces and an explicit formula for descent via 3-isogeny to construct the first examples of elliptic curves E_k: x^3 + y^3 = k of ranks 8, 9, 10, and 11 over Q. As a corollary we produce examples of elliptic curves xy(x+y)=k over Q with a rational 3-torsion point and rank as high as 11. We also discuss the problem of finding the minimal curve E… ▽ More
Submitted 6 March, 2004; originally announced March 2004.
Comments: 10 pages; to appear in the Proceedings of ANTS-VI (Algorithmic Number Theory Symposium, 2004)
MSC Class: 11G05
-
arXiv:math/0308069 [pdf, ps, other]
The conjugate dimension of algebraic numbers
Abstract: We find sharp upper and lower bounds for the degree of an algebraic number in terms of the $Q$-dimension of the space spanned by its conjugates. For all but seven nonnegative integers $n$ the largest degree of an algebraic number whose conjugates span a vector space of dimension $n$ is equal to $2^n n!$. The proof, which covers also the seven exceptional cases, uses a result of Feit on the maxim… ▽ More
Submitted 4 May, 2004; v1 submitted 7 August, 2003; originally announced August 2003.
Comments: 17 pages
MSC Class: 11R06
Journal ref: Quart. J. Math. 55 (2004), 237-252
-
arXiv:math/0308046 [pdf, ps, other]
Still better nonlinear codes from modular curves
Abstract: We give a new construction of nonlinear error-correcting codes over suitable finite fields k from the geometry of modular curves with many rational points over k, combining two recent improvements on Goppa's construction. The resulting codes are asymptotically the best currently known.
Submitted 5 August, 2003; originally announced August 2003.
Comments: 10 pages
MSC Class: 94B27; 94B65
-
arXiv:math/0208060 [pdf, ps, other]
Curves of every genus with many points, II: Asymptotically good families
Abstract: We resolve a 1983 question of Serre by constructing curves with many points of every genus over every finite field. More precisely, we show that for every prime power q there is a positive constant c_q with the following property: for every non-negative integer g, there is a genus-g curve over F_q with at least c_q * g rational points over F_q. Moreover, we show that there exists a positive cons… ▽ More
Submitted 7 August, 2002; originally announced August 2002.
Comments: LaTeX, 18 pages
MSC Class: 14G05 (Primary) 11G20; 14G15 (Secondary)
Journal ref: Duke Math. J. 122, no. 2 (2004), 399--422
-
arXiv:math/0208056 [pdf, ps, other]
Curves D y^2 = x^3 - x of odd analytic rank
Abstract: For nonzero rational D, which may be taken to be a squarefree integer, let E_D be the elliptic curve Dy^2=x^3-x over Q arising in the "congruent number" problem. It is known that the L-function of E_D has sign -1, and thus odd analytic rank, if and only if |D| is congruent to 5, 6, or 7 mod 8. For such D, we expect by the conjecture of Birch and Swinnerton-Dyer that the arithmetic rank of each o… ▽ More
Submitted 7 August, 2002; originally announced August 2002.
Comments: 8 pages, 1 figure
MSC Class: 14H52; 11G15 (Primary) 11Y50; 11Y70 (secondary)
Journal ref: Pages 244-251 of the proceedings of ANTS-V (LNCS 2369 (2002), ed. C.Fieker and D.Kohel)
-
arXiv:math/0105007 [pdf, ps, other]
On finite sequences satisfying linear recursions
Abstract: For any field k and any integers m,n with 0 <= 2m <= n+1, let W_n be the k-vector space of sequences (x_0,...,x_n), and let H_m be the subset of W_n consisting of the sequences that satisfy a degree-m linear recursion, that is, for which there exist a_0,...,a_m in k, not all zero, such that sum(a_i x_{i+j}, i=0..m) = 0 holds for each j=0,1,...,n-m. Equivalently, H_m is the set of (x_0,...,x_n) s… ▽ More
Submitted 11 June, 2002; v1 submitted 1 May, 2001; originally announced May 2001.
Comments: 13 pages. Revised to include publication data and to correct minor errors (mostly noted by the referee)
MSC Class: 47B35; 15A57
Journal ref: New York J. Math._8_ (2002) 85-97 = http://nyjm.albany.edu:8000/j/2002/8-5.html
-
arXiv:math/0104115 [pdf, ps, other]
Excellent nonlinear codes from modular curves
Abstract: We introduce a new construction of error-correcting codes from algebraic curves over finite fields. Modular curves of genus g -> infty over a field of size q0^2 yield nonlinear codes more efficient than the linear Goppa codes obtained from the same curves. These new codes now have the highest asymptotic transmission rates known for certain ranges of alphabet size and error rate. Both the theory… ▽ More
Submitted 10 April, 2001; originally announced April 2001.
Comments: Accepted for STOC-'01; 10 single-spaced twocolumn pages
MSC Class: 94B27;94B65
-
arXiv:math/0103107 [pdf, ps, other]
Explicit modular towers
Abstract: We give a general recipe for explicitly constructing asymptotically optimal towers of modular curves such as {X_0(l^n): n=1,2,3,...}. We illustrate the method by giving equations for eight towers with various geometric features. We conclude by observing that such towers are all of a specific recursive form, and speculate that perhaps every tower of this form that attains the Drinfeld-Vladut boun… ▽ More
Submitted 16 March, 2001; originally announced March 2001.
Comments: 10 pages; presented at Allerton 1998 (see Journal-ref field)
MSC Class: 11G18 (Primary) 14G50 (Seconday)
Journal ref: Pages 23-32 in Proceedings of the Thirty-Fifth Annual Allerton Conference on Communication, Control and Computing (1997; T.Basar and A.Vardy, eds.), Univ. of Illinois at Urbana-Champaign 1998
-
arXiv:math/0101168 [pdf, ps, other]
On the sums Sum((4k+1)^(-n),k,-inf,+inf)
Abstract: The sum in the title is a rational multiple of pi^n for all integers n=2,3,4,... for which the sum converges absolutely. This is equivalent to a celebrated theorem of Euler. Of the many proofs that have appeared since Euler, a simple one was discovered only recently by Calabi: the sum is written as a definite integral over the unit n-cube, then transformed into the volume of a polytope Pi_n in R… ▽ More
Submitted 5 August, 2003; v1 submitted 20 January, 2001; originally announced January 2001.
Comments: 14 pages. A partly expository article, now published in the American Math. Monthly. Third revision, to include publication data and correct a few trivial typos. Includes the Abstract, which did not appear in the Monthly
MSC Class: 11B68 (Primary) 11M06; 05A15 (Secondary)
Journal ref: Amer. Math. Monthly_110_ #7 (Aug.-Sep. 2003), 561-573
-
arXiv:math/0011253 [pdf, ps, other]
Higher Nimbers in pawn endgames on large chessboards
Abstract: We answer a question posed in [Elkies 1996] (math.CO/9905198) by constructing a class of pawn endgames on m-by-n boards that show the Nimbers *k for large k. We do this by modifying and generalizing T.R. Dawson's ``pawns game'' [Berlekamp et al. 1982] (Winning Ways I). Our construction works for m>8 and n sufficiently large; on the basis of computational evidence we conjecture, but cannot yet pr… ▽ More
Submitted 29 November, 2000; originally announced November 2000.
Comments: 21 pages, including many chess diagrams created with the Tutelaers fonts; presented 7/2000 at the second MSRI workshop on combinatorial games
-
arXiv:math/0011171 [pdf, ps, other]
Mordell-Weil lattices in characteristic 2, III: A Mordell-Weil lattice of rank 128
Abstract: In the first paper of this series, we constructed a family of lattices in dimensions 2^{n+1} for positive integers n, and proved that the associated lattice packings of spheres equal or exceed the previous records for several values of n. In this paper we analyze the case n=6, which is now the first case where the resulting lattice MW128 yields a previously unknown lattice of record density. We… ▽ More
Submitted 21 November, 2000; originally announced November 2000.
Comments: 9 pages; supporting data at http://www.math.harvard.edu/~elkies/mv128.txt
MSC Class: 11G05; 11H31 (Primary) 11H55; 11H56; 11Y50 (Secondary)
-
arXiv:math/0005160 [pdf, ps, other]
Shimura curve computations
Abstract: We give some methods for computing equations for certain Shimura curves, natural maps between them, and special points on them. We then illustrate these methods by working out several examples in varying degrees of detail. For instance, we compute coordinates for all the rational CM points on the curves "X(1)" associated with the quaternion algebras over Q ramified at {2,3}, {2,5}, {2,7}, and {3… ▽ More
Submitted 16 May, 2000; originally announced May 2000.
Comments: Invited talk at ANTS-III (see Journal-ref); 48 pages, including several tables, and various corrections not in the 1998 publication
MSC Class: 11G18 (Primary); 12F12; 11G15 (Secondary)
Journal ref: "Algorithmic Number Theory: 3rd International Symposium, ANTS-III; Portland, OR, 6/98: Proceedings", J.P.Buhler, ed.; Lecture Notes in Computer Science, Vol.1423, pages 1-47
-
arXiv:math/0005140 [pdf, ps, other]
Explicit towers of Drinfeld modular curves
Abstract: We give explicit equations for the simplest towers of Drinfeld modular curves over any finite field, and observe that they coincide with the asymptotically optimal towers of curves constructed by Garcia and Stichtenoth.
Submitted 24 May, 2000; v1 submitted 14 May, 2000; originally announced May 2000.
Comments: 10 pages. For mini-symposium on "curves over finite fields and codes" at the 3rd European Congress in Barcelona 7/2000 Revised to correct minor typographical and grammatical errors
MSC Class: 11G18; 11G09 (Primary); 14G50; 94B27 (Secondary)
-
arXiv:math/0005139 [pdf, ps, other]
Rational points near curves and small nonzero |x^3-y^2| via lattice reduction
Abstract: We give a new algorithm using linear approximation and lattice reduction to efficiently calculate all rational points of small height near a given plane curve C. For instance, when C is the Fermat cubic, we find all integer solutions of |x^3+y^3-z^3|<M with 0<x<=y<z<N in heuristic time << L(N) M [where L(X):= (log X)^O(1)] provided M>>N, using only O(log N) space. Since the number of solutions s… ▽ More
Submitted 14 May, 2000; originally announced May 2000.
Comments: 31 pages, including 2 numerical tables; invited talk at ANTS-IV (4th Algorithmic Number Theory Symposium, Leiden 7/2000). Similar results and methods for integer points near curves and higher-dimensional varieties will appear elsewhere
MSC Class: 11Y50 (Primary) 11D45; 11H55; 11J71; 11J99; 11K99 (Seconday)
-
arXiv:math/9906086 [pdf, ps, other]
Lattices and codes with long shadows
Abstract: In an earlier paper (math.NT/9906019) we showed that any integral unimodular lattice L of rank n which is not isometric with Z^n has a characteristic vector of norm at most n-8. [A "characteristic vector" of L is a vector w in L such that 2|(v,w-v) for all v in L; it is known that the characteristic vectors all have norm congruent to n mod 8 and comprise a coset of 2L in L.] Here we use modular… ▽ More
Submitted 12 June, 1999; originally announced June 1999.
Comments: 8 pages. Note: Mark Gaulter has since established the existence of integers N_k also for k=2,3
MSC Class: 11H55; 11F11; 11H06; 94B05
Journal ref: Math. Research Letters 2 (1995), 643-651
-
arXiv:math/9906019 [pdf, ps, other]
A characterization of the Z^n lattice
Abstract: We use theta series and modular forms to prove that Z^n is the only integral unimodular lattice of rank n without characteristic vectors of norm <n, i.e. the only integral unimodular lattice not containing a vector w such that (w,w)<n and 2|(v,v+w) for all lattice vectors v. By the work of Kronheimer and others on the Seiberg-Witten equation this yields an alternative proof of a theorem of Donal… ▽ More
Submitted 2 June, 1999; originally announced June 1999.
Comments: 6 pages
MSC Class: 11H55 (Primary) 11F11; 11H06; 57R55 (Secondary)
Journal ref: Math. Research Letters 2 (1995), 321-326
-
arXiv:math/9905198 [pdf, ps, other]
On numbers and endgames: Combinatorial game theory in chess endgames
Abstract: In an investigation of the applications of Combinatorial Game Theory to chess, we construct novel mutual Zugzwang positions, explain an otherwise mysterious pawn endgame from "A Guide to Chess Endings" (Euwe and Hooper), show positions containing non-integer values (fractions, switches, tinies, and loopy games), and pose open problems concerning the values that may be realized by positions on ei… ▽ More
Submitted 31 May, 1999; originally announced May 1999.
Comments: 18 pages, including many chess diagrams printed with the Tutelaers fonts (differs only in trivial stylistic details from the version published in "Games of No Chance")
MSC Class: 90D46; 90D80
Journal ref: Pages 135-150 of "Games of No Choice" (Proceedings of 7/94 MSRI conference on combinatorial games), MSRI Publ. #29 (1996) via Cambridge U. Press
-
arXiv:math/9905195 [pdf, ps, other]
The identification of three moduli spaces
Abstract: It is one of the wonderful ``coincidences'' of the theory of finite groups that the simple group G of order 25920 arises as both a symplectic group in characteristic 3 and a unitary group in characteristic 2. These two realizations of G yield two G-covers of the moduli space of configurations of six points on the projective line modulo PGL_2, via the 3- and 2-torsion of the Jacobians of the doub… ▽ More
Submitted 30 May, 1999; originally announced May 1999.
Comments: 23 pages
MSC Class: 14H10; 14D22; 14H45 (Primary); 14J25; 14J26; 14J27; 14H40 (Secondary)
-
arXiv:math/9905194 [pdf, ps, other]
The still-Life density problem and its generalizations
Abstract: A "still Life" is a subset S of the square lattice Z^2 fixed under the transition rule of Conway's Game of Life, i.e. a subset satisfying the following three conditions: 1. No element of Z^2-S has exactly three neighbors in S; 2. Every element of S has at least two neighbors in S; 3. Every element of S has at most three neighbors in S. Here a ``neighbor'' of any x \in Z^2 is one of the e… ▽ More
Submitted 31 May, 1999; originally announced May 1999.
Comments: 29 pages, including many figures drawn as LaTeX "pictures"
MSC Class: 05B40; 05B45
Journal ref: Pages 228--253 of_Voronoi's Impact on Modern Science, Book I_ (P. Engel, H. Syta, eds.; Institute of Math., Kyiv 1998 = Vol.21 of Proc. Inst. Math. Nat. Acad. Sci. Ukraine)