Showing 1–30 of 30 results for author: Conway, J

Mean Rational Approximation for Compact Subsets with Thin Boundaries

Authors: John B. Conway, Liming Yang

Abstract: In 1991, J. Thomson obtained a celebrated decomposition theorem for $P^t(μ),$ the closed subspace of $L^t(μ)$ spanned by the analytic polynomials, when $1 \le t < ı.$ In 2008, J. Brennan \cite{b08} generalized Thomson's theorem to $R^t(K, μ),$ the closed subspace of $L^t(μ)$ spanned by the rational functions with poles off a compact subset $K$ containing the support of $μ,$ when the diameters of t… ▽ More In 1991, J. Thomson obtained a celebrated decomposition theorem for $P^t(μ),$ the closed subspace of $L^t(μ)$ spanned by the analytic polynomials, when $1 \le t < ı.$ In 2008, J. Brennan \cite{b08} generalized Thomson's theorem to $R^t(K, μ),$ the closed subspace of $L^t(μ)$ spanned by the rational functions with poles off a compact subset $K$ containing the support of $μ,$ when the diameters of the components of $\mathbb C\setminus K$ are bounded below. We extend the above decomposition theorems for $R^t(K, μ)$ when the boundary of $K$ is not too wild. △ Less

Submitted 14 February, 2023; v1 submitted 21 December, 2022; originally announced December 2022.

Comments: arXiv admin note: text overlap with arXiv:1904.06446, arXiv:2212.05392

Mean Rational Approximation for Some Compact Planar Subsets

Authors: John B. Conway, Liming Yang

Abstract: In 1991, J. Thomson obtained celebrated structural results for $P^t(μ).$ Later, J. Brennan (2008) generalized Thomson's theorem to $R^t(K,μ)$ when the diameters of the components of $\mathbb C\setminus K$ are bounded below. The results indicate that if $R^t(K,μ)$ is pure, then $R^t(K,μ) \cap L^\infty (μ)$ is the "same as" the algebra of bounded analytic functions on $\mbox{abpe}(R^t(K, μ)),$ the s… ▽ More In 1991, J. Thomson obtained celebrated structural results for $P^t(μ).$ Later, J. Brennan (2008) generalized Thomson's theorem to $R^t(K,μ)$ when the diameters of the components of $\mathbb C\setminus K$ are bounded below. The results indicate that if $R^t(K,μ)$ is pure, then $R^t(K,μ) \cap L^\infty (μ)$ is the "same as" the algebra of bounded analytic functions on $\mbox{abpe}(R^t(K, μ)),$ the set of analytic bounded point evaluations. We show that if the diameters of the components of $\mathbb C\setminus K$ are allowed to tend to zero, then even though $\text{int}(K) = \mbox{abpe}(R^t(K, μ))$ and $K =\overline {\text{int}(K)},$ the algebra $R^t(K,μ) \cap L^\infty (μ)$ may "be equal to" a proper sub-algebra of bounded analytic functions on $\text{int}(K),$ where functions in the sub-algebra are "continuous" on certain portions of the inner boundary of $K.$ △ Less

Submitted 10 December, 2022; originally announced December 2022.

Comments: arXiv admin note: text overlap with arXiv:1904.06446

Approximation in the mean by rational functions

Authors: John B. Conway, Liming Yang

Abstract: For $1\le t < \infty$, a compact subset $K\subset\mathbb C$, and a finite positive measure $μ$ supported on $K$, $R^t(K, μ)$ denotes the closure in $L^t(μ)$ of rational functions with poles off $K$. Let $\text{abpe}(R^t(K, μ))$ denote the set of analytic bounded point evaluations. The objective of this paper is to describe the structure of $R^t(K, μ)$. In the work of Thomson on describing the clos… ▽ More For $1\le t < \infty$, a compact subset $K\subset\mathbb C$, and a finite positive measure $μ$ supported on $K$, $R^t(K, μ)$ denotes the closure in $L^t(μ)$ of rational functions with poles off $K$. Let $\text{abpe}(R^t(K, μ))$ denote the set of analytic bounded point evaluations. The objective of this paper is to describe the structure of $R^t(K, μ)$. In the work of Thomson on describing the closure in $L^t(μ)$ of analytic polynomials, $P^t(μ)$, the existence of analytic bounded point evaluations plays critical roles, while $\text{abpe}(R^t(K, μ))$ may be empty. We introduce the concept of non-removable boundary $\mathcal F$ such that the removable set $\mathcal R = K\setminus \mathcal F$ contains $\text{abpe}(R^t(K, μ))$. Recent remarkable developments in analytic capacity and Cauchy transform provide us the necessary tools to describe $\mathcal F$ and obtain structural results for $R^t(K, μ)$. Assume that $R^t(K, μ)$ does not have a direct $L^t$ summand. Let $H^\infty_{\mathcal R}(\mathcal L^2_{\mathcal R})$ be the weak$^*$ closure in $L^\infty (\mathcal L^2_{\mathcal R})$ of the functions that are bounded analytic off compact subsets of $\mathcal F$, where $\mathcal L^2_{\mathcal R}$ denotes the planar Lebesgue measure restricted to $\mathcal R$. We prove that the identity map ($r\rightarrow r$, $r$ is a rational function with poles off $K$) extends an isometric isomorphism and a weak$^*$ homeomorphism from $R^t(K, μ)\cap L^\infty(μ)$ onto $H^\infty_{\mathcal R}(\mathcal L^2_{\mathcal R })$. Consequently, we show that a decomposition theorem (Main Theorem II) of $R^t(K, μ)$ holds for an arbitrary compact subset $K$ and a finite positive measure $μ$ supported on $K$, which extends the central results regarding $P^t(μ)$. △ Less

Submitted 7 September, 2020; v1 submitted 12 April, 2019; originally announced April 2019.

Classification of tight contact structures on surgeries on the figure-eight knot

Authors: James Conway, Hyunki Min

Abstract: Two of the basic questions in contact topology are which manifolds admit tight contact structures, and on those that do, can we classify such structures. We present the first such classification on an infinite family of (mostly) hyperbolic 3-manifolds: surgeries on the figure-eight knot. We also determine which of the tight contact structures are symplectically fillable and which are universally t… ▽ More Two of the basic questions in contact topology are which manifolds admit tight contact structures, and on those that do, can we classify such structures. We present the first such classification on an infinite family of (mostly) hyperbolic 3-manifolds: surgeries on the figure-eight knot. We also determine which of the tight contact structures are symplectically fillable and which are universally tight. △ Less

Submitted 1 January, 2021; v1 submitted 17 January, 2019; originally announced January 2019.

Comments: 47 pages, many color figures; v2: minor corrections, updated title

Journal ref: Geom. Topol. 24 (2020) 1457-1517

Contact surgery and symplectic caps

Authors: James Conway, John B. Etnyre

Abstract: In this note we show that a closed oriented contact manifold is obtained from the standard contact sphere of the same dimension by contact surgeries on isotropic and coisotropic spheres. In addition, we observe that all closed oriented contact manifolds admit symplectic caps. In this note we show that a closed oriented contact manifold is obtained from the standard contact sphere of the same dimension by contact surgeries on isotropic and coisotropic spheres. In addition, we observe that all closed oriented contact manifolds admit symplectic caps. △ Less

Submitted 31 December, 2019; v1 submitted 1 November, 2018; originally announced November 2018.

Comments: 16 pages, minor edits

On Nontangential Limits and Shift Invariant Subspaces

Authors: John R. Akeroyd, John B. Conway, Liming Yang

Abstract: In 1998, John B. Conway and Liming Yang wrote a paper in which they posed a number of open questions regarding the shift on $P^t(μ)$ spaces. A few of these have been completely resolved, while at least one remains wide open. In this paper, we review some of the solutions, mention some alternate approaches and discuss further the problem that remains unsolved. In 1998, John B. Conway and Liming Yang wrote a paper in which they posed a number of open questions regarding the shift on $P^t(μ)$ spaces. A few of these have been completely resolved, while at least one remains wide open. In this paper, we review some of the solutions, mention some alternate approaches and discuss further the problem that remains unsolved. △ Less

Submitted 26 September, 2018; originally announced September 2018.

MSC Class: Primary 47A15; Secondary 30C85; 31A15; 46E15; 47B38

Journal ref: Integral Equations Operator Theory 91 (2019), no. 1, Art. 2, 18 pp

Mazur-type manifolds with $L$-space boundaries

Authors: James Conway, Bülent Tosun

Abstract: In this note, we prove that if the boundary of a Mazur-type $4$-manifold is an irreducible Heegaard Floer homology $L$-space, then the manifold must be the $4$-ball, and the boundary must be the $3$-sphere. We use this to give a new proof of Gabai's Property R. In this note, we prove that if the boundary of a Mazur-type $4$-manifold is an irreducible Heegaard Floer homology $L$-space, then the manifold must be the $4$-ball, and the boundary must be the $3$-sphere. We use this to give a new proof of Gabai's Property R. △ Less

Submitted 23 July, 2018; originally announced July 2018.

Comments: 5 pages, 3 figures

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.

Symplectic fillings, contact surgeries, and Lagrangian disks

Authors: James Conway, John B. Etnyre, Bülent Tosun

Abstract: This paper completely answers the question of when contact (r)-surgery on a Legendrian knot in the standard contact structure on the 3-sphere yields a symplectically fillable contact manifold for r in (0,1]. We also give obstructions for other positive r and investigate Lagrangian fillings of Legendrian knots. This paper completely answers the question of when contact (r)-surgery on a Legendrian knot in the standard contact structure on the 3-sphere yields a symplectically fillable contact manifold for r in (0,1]. We also give obstructions for other positive r and investigate Lagrangian fillings of Legendrian knots. △ Less

Submitted 24 January, 2019; v1 submitted 19 December, 2017; originally announced December 2017.

Comments: 23 pages, 8 figures. Improved exposition and changed claim relating decomposable and regular Lagrangians. This version to appear in IMRN

Contact Surgeries on the Legendrian Figure-Eight Knot

Authors: James Conway

Abstract: We show that all positive contact surgeries on every Legendrian figure-eight knot in $(S^3, ξ_{\rm{std}})$ result in an overtwisted contact structure. The proof uses convex surface theory and invariants from Heegaard Floer homology. We show that all positive contact surgeries on every Legendrian figure-eight knot in $(S^3, ξ_{\rm{std}})$ result in an overtwisted contact structure. The proof uses convex surface theory and invariants from Heegaard Floer homology. △ Less

Submitted 13 October, 2016; originally announced October 2016.

Comments: 12 pages, 9 figures

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.

Tight Contact Structures via Admissible Transverse Surgery

Authors: James Conway

Abstract: We investigate the line between tight and overtwisted for surgeries on fibred transverse knots in contact 3-manifolds. When the contact structure $ξ_K$ is supported by the fibred knot $K \subset M$, we obtain a characterisation of when negative surgeries result in a contact structure with non-vanishing Heegaard Floer contact class. To do this, we leverage information about the contact structure… ▽ More We investigate the line between tight and overtwisted for surgeries on fibred transverse knots in contact 3-manifolds. When the contact structure $ξ_K$ is supported by the fibred knot $K \subset M$, we obtain a characterisation of when negative surgeries result in a contact structure with non-vanishing Heegaard Floer contact class. To do this, we leverage information about the contact structure $ξ_{\overline{K}}$ supported by the mirror knot $\overline{K} \subset -M$. We derive several corollaries about the existence of tight contact structures, L-space knots outside $S^3$, non-planar contact structures, and non-planar Legendrian knots. △ Less

Submitted 25 December, 2016; v1 submitted 3 August, 2015; originally announced August 2015.

Comments: 17 pages, 3 figures; v2 has stronger results, more corollaries, shorter proofs

A Lagrangian Method for Deriving New Indefinite Integrals of Special Functions

Authors: John T. Conway

Abstract: A new method is presented for obtaining indefinite integrals of common special functions. The approach is based on a Lagrangian formulation of the general homogeneous linear ordinary differential equation of second order. A general integral is derived which involves an arbitrary function, and therefore yields an infinite number of indefinite integrals for any special function which obeys such a di… ▽ More A new method is presented for obtaining indefinite integrals of common special functions. The approach is based on a Lagrangian formulation of the general homogeneous linear ordinary differential equation of second order. A general integral is derived which involves an arbitrary function, and therefore yields an infinite number of indefinite integrals for any special function which obeys such a differential equation. Techniques are presented to obtain the more interesting integrals generated by such an approach, and many integrals, both previously known and completely new are derived using the method. Sample results are given for Bessel functions, Airy functions, Legendre functions and hypergeometric functions. More extensive results are given for the complete elliptic integrals of the first and second kinds. Integrals can be derived which combine common special functions as separate factors. △ Less

Submitted 23 April, 2015; originally announced April 2015.

Transverse Surgery on Knots in Contact 3-Manifolds

Authors: James Conway

Abstract: We study the effect of surgery on transverse knots in contact 3-manifolds. In particular, we investigate the effect of such surgery on open books, the Heegaard Floer contact invariant, and tightness. The overarching theme of this paper is to show that in many contexts, surgery on transverse knots is more natural than surgery on Legendrian knots. Besides reinterpreting surgery on Legendrian knots… ▽ More We study the effect of surgery on transverse knots in contact 3-manifolds. In particular, we investigate the effect of such surgery on open books, the Heegaard Floer contact invariant, and tightness. The overarching theme of this paper is to show that in many contexts, surgery on transverse knots is more natural than surgery on Legendrian knots. Besides reinterpreting surgery on Legendrian knots in terms of transverse knots, our main results on are in two complementary directions: conditions under which inadmissible transverse surgery (\textit{cf.\@} positive contact surgery on Legendrian knots) preserves tightness, and conditions under which it creates overtwistedness. In the first direction, we give the first result on the tightness of inadmissible transverse surgery for contact manifolds with vanishing Heegaard Floer contact invariant. In particular, inadmissible transverse surgery on the connected binding of a genus $g$ open book that supports a tight contact structure preserves tightness if the surgery coefficient is greater than $2g-1$. In the second direction, along with more general statements, we deduce a partial generalisation to a result of Lisca and Stipsicz: when $L$ is a Legendrian knot with $tb(L) \leq -2$, and $|rot(L)| \geq 2g(L)+tb(L)$, then contact $(+1)$-surgery on $L$ is overtwisted. △ Less

Submitted 14 October, 2016; v1 submitted 24 September, 2014; originally announced September 2014.

Comments: 41 pages, 11 figures; better explanations, mistakes corrected

Tight Planar Contact Manifolds with Vanishing Heegaard Floer Contact Invariants

Authors: James Conway, Amey Kaloti, Dheeraj Kulkarni

Abstract: In this note, we exhibit infinite families of tight non-fillable contact manifolds supported by planar open books with vanishing Heegaard Floer contact invariants. Moreover, we also exhibit an infinite such family where the supported manifold is hyperbolic. In this note, we exhibit infinite families of tight non-fillable contact manifolds supported by planar open books with vanishing Heegaard Floer contact invariants. Moreover, we also exhibit an infinite such family where the supported manifold is hyperbolic. △ Less

Submitted 16 September, 2016; v1 submitted 14 September, 2014; originally announced September 2014.

Comments: 10 pages, 4 figures; final version

Journal ref: Top. and its Appl. 212 (2016), 19-28

Some planar isospectral domains

Authors: Peter Buser, John Conway, Peter Doyle, Klaus-Dieter Semmler

Abstract: We give a number of examples of isospectral pairs of plane domains, and a particularly simple method of proving isospectrality. One of our examples is a pair of domains that are not only isospectral but homophonic: Each domain has a distinguished point such that corresponding normalized Dirichlet eigenfunctions take equal values at the distinguished points. This shows that one really can't hear th… ▽ More We give a number of examples of isospectral pairs of plane domains, and a particularly simple method of proving isospectrality. One of our examples is a pair of domains that are not only isospectral but homophonic: Each domain has a distinguished point such that corresponding normalized Dirichlet eigenfunctions take equal values at the distinguished points. This shows that one really can't hear the shape of a drum. △ Less

Submitted 11 May, 2010; originally announced May 2010.

Comments: Version 1.0.1 dated 15 September 1994

MSC Class: 58J53

Galois groups over function fields of positive characteristic

Authors: John Conway, John McKay, Allan Trojan

Abstract: We describe examples motivated by the work of Serre and Abhyankar. We describe examples motivated by the work of Serre and Abhyankar. △ Less

Submitted 3 November, 2008; originally announced November 2008.

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 Three-Dimensional Space Groups

Authors: John Conway, Olaf Delgado Friedrichs, Daniel H. Huson, William P. Thurston

Abstract: An entirely new and independent enumeration of the crystallographic space groups is given, based on obtaining the groups as fibrations over the plane crystallographic groups, when this is possible. For the 35 ``irreducible'' groups for which it is not, an independent method is used that has the advantage of elucidating their subgroup relationships. Each space group is given a short ``fibrifold n… ▽ More An entirely new and independent enumeration of the crystallographic space groups is given, based on obtaining the groups as fibrations over the plane crystallographic groups, when this is possible. For the 35 ``irreducible'' groups for which it is not, an independent method is used that has the advantage of elucidating their subgroup relationships. Each space group is given a short ``fibrifold name'' which, much like the orbifold names for two-dimensional groups, while being only specified up to isotopy, contains enough information to allow the construction of the group from the name. △ Less

Submitted 23 November, 1999; originally announced November 1999.

Comments: 26 pages, 8 figures

MSC Class: 20H15; 51F15

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)