Showing 1–14 of 14 results for author: Conway, J H

Geometry and the Imagination in Minneapolis

Authors: John H. Conway, Peter G. Doyle, Jane Gilman, William P. Thurston

Abstract: This document consists of the collection of handouts for a two-week summer workshop entitled 'Geometry and the Imagination', led by John Conway, Peter Doyle, Jane Gilman and Bill Thurston at the Geometry Center in Minneapolis, June 17-28, 1991. The workshop was based on a course `Geometry and the Imagination' which we had taught twice before at Princeton. This document consists of the collection of handouts for a two-week summer workshop entitled 'Geometry and the Imagination', led by John Conway, Peter Doyle, Jane Gilman and Bill Thurston at the Geometry Center in Minneapolis, June 17-28, 1991. The workshop was based on a course `Geometry and the Imagination' which we had taught twice before at Princeton. △ Less

Submitted 9 April, 2018; originally announced April 2018.

Expect at most one billionth of a new Fermat Prime!

Authors: Kent D. Boklan, John H. Conway

Abstract: We provide compelling evidence that all Fermat primes were already known to Fermat. We provide compelling evidence that all Fermat primes were already known to Fermat. △ Less

Submitted 9 May, 2016; v1 submitted 4 May, 2016; originally announced May 2016.

The Optimal Isodual Lattice Quantizer in Three Dimensions

Authors: J. H. Conway, N. J. A. Sloane

Abstract: The mean-centered cuboidal (or m.c.c.) lattice is known to be the optimal packing and covering among all isodual three-dimensional lattices. In this note we show that it is also the best quantizer. It thus joins the isodual lattices Z, A_2 and (presumably) D_4, E_8 and the Leech lattice in being simultaneously optimal with respect to all three criteria. The mean-centered cuboidal (or m.c.c.) lattice is known to be the optimal packing and covering among all isodual three-dimensional lattices. In this note we show that it is also the best quantizer. It thus joins the isodual lattices Z, A_2 and (presumably) D_4, E_8 and the Leech lattice in being simultaneously optimal with respect to all three criteria. △ Less

Submitted 3 January, 2007; originally announced January 2007.

Comments: 5 pages

MSC Class: 52C07 (11H55; 94A29)

Journal ref: Advances Math. Communication 1 (2007), 257-260

The D_4 root system is not universally optimal

Authors: Henry Cohn, John H. Conway, Noam D. Elkies, Abhinav Kumar

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 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 construction due to Sali) of deformations of the D_4 root system. △ Less

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

Division by three

Authors: Peter G. Doyle, John Horton Conway

Abstract: We prove without appeal to the Axiom of Choice that for any sets A and B, if there is a one-to-one correspondence between 3 cross A and 3 cross B then there is a one-to-one correspondence between A and B. The first such proof, due to Lindenbaum, was announced by Lindenbaum and Tarski in 1926, and subsequently `lost'; Tarski published an alternative proof in 1949. We argue that the proof presente… ▽ More We prove without appeal to the Axiom of Choice that for any sets A and B, if there is a one-to-one correspondence between 3 cross A and 3 cross B then there is a one-to-one correspondence between A and B. The first such proof, due to Lindenbaum, was announced by Lindenbaum and Tarski in 1926, and subsequently `lost'; Tarski published an alternative proof in 1949. We argue that the proof presented here follows Lindenbaum's original. △ Less

Submitted 31 May, 2006; originally announced May 2006.

Comments: Version dated 1994

MSC Class: 03E10 (Primary); 03E25 (Secondary)

The Mathieu group $M_{12}$ and its pseudogroup extension $M_{13}$

Authors: John H. Conway, Noam D. Elkies, Jeremy L. Martin

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 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 construction is a metric, akin to that induced by a Cayley graph, on both $M_{12}$ and $M_{13}$. We develop these results, and extend them to the double covers and automorphism groups of $M_{12}$ and $M_{13}$, using the ternary Golay code and $12 \x 12$ Hadamard matrices. In addition, we use experimental data on the quasi-Cayley metric to gain some insight into the structure of these groups and pseudogroups. △ Less

Submitted 30 August, 2005; originally announced August 2005.

Comments: 19 pages, uses mathrsfs

MSC Class: 20B25 (Primary); 05B25; 51E20; 20B20 (Secondary)

Describing the platycosms

Authors: John Horton Conway, Juan Pablo Rossetti

Abstract: We study in detail the closed flat Riemannian 3-manifolds. We study in detail the closed flat Riemannian 3-manifolds. △ Less

Submitted 26 November, 2003; originally announced November 2003.

Comments: 47 pages, 35 figures

MSC Class: 20F34; 57S30; 20H15

Hearing the platycosms

Authors: J. P. Rossetti, J. H. Conway

Abstract: A `platycosm' is a flat Riemannian 3-manifold without boundary. In this paper we prove that there is (up to scale) a unique isospectral pair of compact platycosms. A `platycosm' is a flat Riemannian 3-manifold without boundary. In this paper we prove that there is (up to scale) a unique isospectral pair of compact platycosms. △ Less

Submitted 9 February, 2006; v1 submitted 26 November, 2003; originally announced November 2003.

Comments: To appear in Math. Res. Lett. (2006). 20 pages, 20 figures. Minor changes to the 1st version

MSC Class: 58J53; 20H15

Packing Lines, Planes, etc.: Packings in Grassmannian Space

Authors: J. H. Conway, R. H. Hardin, N. J. A. Sloane

Abstract: This paper addresses the question: how should N n-dimensional subspaces of m-dimensional Euclidean space be arranged so that they are as far apart as possible? The results of extensive computations for modest values of N, n, m are described, as well as a reformulation of the problem that was suggested by these computations. The reformulation gives a way to describe n-dimensional subspaces of m-s… ▽ More This paper addresses the question: how should N n-dimensional subspaces of m-dimensional Euclidean space be arranged so that they are as far apart as possible? The results of extensive computations for modest values of N, n, m are described, as well as a reformulation of the problem that was suggested by these computations. The reformulation gives a way to describe n-dimensional subspaces of m-space as points on a sphere in dimension (m-1)(m+2)/2, which provides a (usually) lower-dimensional representation than the Pluecker embedding, and leads to a proof that many of the new packings are optimal. The results have applications to the graphical display of multi-dimensional data via Asimov's "Grand Tour" method. △ Less

Submitted 31 July, 2002; originally announced August 2002.

Comments: 36 pages, 15 figures

MSC Class: 51E15; 52C17 (51E23; 65Y25)

Journal ref: Experimental Mathematics, 5 (1996), 139-159

A Note on Optimal Unimodular Lattices

Authors: J. H. Conway, N. J. A. Sloane

Abstract: The highest possible minimal norm of a unimodular lattice is determined in dimensions n <= 33. There are precisely five odd 32-dimensional lattices with the highest possible minimal norm (compared with more than 8*10^20 in dimension 33). Unimodular lattices with no roots exist if and only if n >= 23, n not = 25. The highest possible minimal norm of a unimodular lattice is determined in dimensions n <= 33. There are precisely five odd 32-dimensional lattices with the highest possible minimal norm (compared with more than 8*10^20 in dimension 33). Unimodular lattices with no roots exist if and only if n >= 23, n not = 25. △ Less

Submitted 30 July, 2002; originally announced July 2002.

Comments: 8 pages

MSC Class: 11H31 (11H06)

Journal ref: J. Number Theory, 72 (1998), 357-362

The Antipode Construction for Sphere Packings

Authors: J. H. Conway, N. J. A. Sloane

Abstract: A construction for sphere packings is introduced that is parallel to the ``anticode'' construction for codes. This provides a simple way to view Vardy's recent 20-dimensional sphere packing, and also produces packings in dimensions 22, 44--47 that are denser than any previously known. A construction for sphere packings is introduced that is parallel to the ``anticode'' construction for codes. This provides a simple way to view Vardy's recent 20-dimensional sphere packing, and also produces packings in dimensions 22, 44--47 that are denser than any previously known. △ Less

Submitted 20 July, 2002; originally announced July 2002.

Comments: 4 pages

MSC Class: 11H31 (52C17)

Journal ref: Inventiones math., 123 (1996), 309-313

The Primary Pretenders

Authors: J. H. Conway, R. K. Guy, W. A. Schneeberger, N. J. A. Sloane

Abstract: We call a composite number q such that there exists a positive integer b with b^p == b (mod q) a prime pretender to base b. The least prime pretender to base b is the primary pretender q_b. It is shown that there are only 132 distinct primary pretenders, and that q_b is a periodic function of b whose period is the 122-digit number 19568584333460072587245340037736278982017213829337604336734362-… ▽ More We call a composite number q such that there exists a positive integer b with b^p == b (mod q) a prime pretender to base b. The least prime pretender to base b is the primary pretender q_b. It is shown that there are only 132 distinct primary pretenders, and that q_b is a periodic function of b whose period is the 122-digit number 19568584333460072587245340037736278982017213829337604336734362- 294738647777395483196097971852999259921329236506842360439300. △ Less

Submitted 20 July, 2002; originally announced July 2002.

Comments: 7 pages

MSC Class: 11A07

Journal ref: Acta Arithmetica, 78 (1997), 307-313

On the Existence of Similar Sublattices

Authors: J. H. Conway, E. M. Rains, N. J. A. Sloane

Abstract: Partial answers are given to two questions. When does a lattice Lambda contain a sublattice Lambda' of index N that is geometrically similar to Lambda? When is the sublattice "clean", in the sense that the boundary of the Voronoi cells for Lambda ' do not intersect Lambda? Partial answers are given to two questions. When does a lattice Lambda contain a sublattice Lambda' of index N that is geometrically similar to Lambda? When is the sublattice "clean", in the sense that the boundary of the Voronoi cells for Lambda ' do not intersect Lambda? △ Less

Submitted 20 July, 2002; originally announced July 2002.

Comments: 7 pages; dedicated to H.S.M. Coxeter

MSC Class: 11H06 (52C99)

Journal ref: Canadian J. Math., 51 (1999), 1300-1306

On Angles Whose Squared Trigonometric Functions are Rational

Authors: John H. Conway, Charles Radin, Lorenzo Sadun

Abstract: We consider the rational linear relations between real numbers whose squared trigonometric functions have rational values, angles we call ``geodetic''. We construct a convenient basis for the vector space over Q generated by these angles. Geodetic angles and rational linear combinations of geodetic angles appear naturally in Euclidean geometry; for illustration we apply our results to equidecomp… ▽ More We consider the rational linear relations between real numbers whose squared trigonometric functions have rational values, angles we call ``geodetic''. We construct a convenient basis for the vector space over Q generated by these angles. Geodetic angles and rational linear combinations of geodetic angles appear naturally in Euclidean geometry; for illustration we apply our results to equidecomposability of polyhedra. △ Less

Submitted 18 December, 1998; originally announced December 1998.

Comments: Plain TeX. 16 pages including two embedded postscript figures

Report number: ut-ma/980014 MSC Class: 52B60 (Primary) 52C20; 05B45; 82B0 (Secondary)