Build Boy's Surface
This article describes Boy's surface in a nice way that does not make many demands on three-dimensional visualization. The article includes a kit that you can print out onto card stock and assemble with scissors and tape.
Source author record
Richard Evan Schwartz
Richard Evan Schwartz appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
29works
13topics
4close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
29 published item(s)
preprint2026arXiv
Continued Fractions and the 4-Color Theorem
We study the geometry of some proper 4-colorings of the vertices of sphere triangulations with degree sequence 6,...,6,2,2,2. Such triangulations are the simplest examples which have non-negative combinatorial curvature. The examples we construct, which are roughly extremal in some sense, are based on a novel geometric interpretation of continued fractions. We also present a conjectural sharp "isoperimetric inequality" for colorings of this kind of triangulation.
0 citations0 reviewsNo code linkedOpen access
preprint2026arXiv
Vertex-Minimal Paper Tori
A paper torus is an embedded polyhedral torus that is isometric to a flat torus in the intrinsic sense. We prove that there does not exist a paper torus with $7$ vertices, and that there does exist a paper torus with $8$ vertices. This settles the question of the minimum number of vertices needed for a paper torus.
0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv
Conway's Nightmare: Brahmagupta and Butterflies
This note gives a very succinct conceptual proof of Brahmagupta's formula for cyclic quadrilaterals, and then a long discussion about how the proof is inspired by ideas from modern mathematics.
0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv
Trisecting the 9-vertex complex projective plane
In this paper we will give a short and direct proof that Wolfgang Kuehnel's 9-vertex triangulation of the complex projective plane really is the complex projective plane. The idea of our proof is to recall the trisection of the complex projective plane into 3 bi-disks and then to see this trisection inside a symmetry-breaking subdivision of the triangulation. Following the basic proof, we will elaborate on the construction.
0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv
On Area Growth in Sol
Let Sol be the $3$-dimensional solvable Lie group whose underlying space is $\mathbb{R}^3$ and whose left-invariant Riemannian metric is given by $$e^{-2z} dx^2 + e^{2z} dy^2 + dz^2.$$ Building on previous joint work with Matei Coiculescu, which characterizes the cut locus in Sol, we prove that the sphere of radius r in sol has area at most $20 πe^r$ provided that r is sufficiently large. This estimate is sharp up to a factor of 10
0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv
The Farthest Point Map on the Regular Octahedron
On any compact space one can consider the map which sends a point to the set of points farthest from this point. In nice cases, there is just a single point farthest from a given point and so by restricting the domain slightly one can form a dynamical system on the space based on this map. We give a complete characterization of this map, including explicit formulas, when the metric space is the regular octahedron equipped with its intrinsic flat cone metric.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
On Spaces of Inscribed Triangles
Meyerson's Theorem says that all but at most 2 points of any Jordan loop are vertices of inscribed equilateral triangles. We show that for any Jordan loop there are uncountable many other triangle shapes for which this same result is true. Our result comes from taking the limit of a structural result about spaces of triangles inscribed in polygons.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
The Phase Transition in 5 Point Energy Minimization
Let R_s(r)=sign(s)/r^s be the Riesz s-energy potential. (This is the usual power-law potential.) This monograph proves the existence of a computable number S=15.048... such that the triangular bi-pyramid is the unique minimizer with respect to R_s, amongst all 5-point configurations on the sphere, if and only if s lies in (-2,0) or (0,S). This establishes the existence of the long-conjectured phase transition constant in 5-point energy minimization.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
The Triangular Bi-Pyramid Minimizes a Range of Power Law Potentials
Combining a brilliant obserbation of A. Tumanov with our computational approach to Thomson's 5-electron problem, we prove that the triangular bi-pyramid is the unique global minimizer for the Rieze potential R_s(r) = sign(s) r^{-s} amongst all configurations of 5 points on the unit sphere, provided that s in (-2,0) or s in (0,13]. The lower bound is sharp and the upper bound is pretty close to the presumed sharp cutoff of about 15.040908. I hope to reach the sharp cutoff in a sequel paper. The discussion section of this paper has a brief sketch of the approach I will take in the sequel to deal with exponents in the range [13,15.04.0809...].
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Introducing the Plaid Model
We introduce and prove some basic results about a combinatorial model which produces embedded polygons in the plane. The model is closely related to outer billiards on kites, and also is related to corner percolation, to Hooper's Truchet tile system, to self-similar tilings, and to polyhedron exchange transformations.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Notes on Shapes of Polyhedra
These are course notes I wrote for my Fall 2013 graduate topics course on geometric structures, taught at ICERM. The notes rework many of proofs in William P. Thurston's beautiful but hard-to-understand paper, "Shapes of Polyhedra". A number of people, both in and out of the class, found these notes very useful and so I decided to put them on the arXiv.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Pan Galactic Division
This is a light expository article. It explains a proof, due to Peter Doyle and Cecil Qiu, the following result from set theory. Let A and B be sets. Suppose there is an injective map from A x {0,...,n-1} into B x {0,...,n-1}. Then there is an injection from A into B. Unlike previous proofs, this one is a very simple one.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
The plaid model and outer billiards on kites
This paper is the third in a series which explores a combinatorial method for generating lattice polygons in the plane. I call this method the plaid model. In this paper I prove the main result I had been aiming for since the beginning, which is to show that there is a coarse isomorphism between the plaid model and the so-called arithmetic graph for outer billiards on kites. The content of the theorem is that the plaid model predicts the symbolic dynamics of the outer billiards orbits, up to an error of one unit. This result combines with the work in the other papers to give a second proof that outer billiards has unbounded orbits for every irrational kite. So far, these are the only known polygonal examples with this property.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Unbounded orbits for the Plaid Model
This paper is a sequel to my paper "Introducing the Plaid Model". In this paper it is shown that the plaid model has unbounded polygonal paths for every irrational parameter. This result parallels my result that outer billiards on kites has unbounded orbits for every irrational parameter
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Unit Lengthenings of Tetrahedra
In this paper we give an affirmative answer to the following question posed by Daryl Cooper: If one lengthens the sides of a tetrahedron by one unit, is the result still a tetrahedron and (if so) does the volume increase? Our proof involves a (presumably) new and sharp inequality involving the Cayley-Menger determinant and one of its directional derivatives. We give a rigorous computer-assisted proof of the inequality. We also sketch an argument which derives the existence portion of the result, in all dimensions, from an old theorem of Von Neumann. Finally, we prove a number of additional results concerning the effect on volume of selectively lengthening some of the sides of a tetrahedron.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Billiards in Nearly Isosceles Triangles
We prove that any sufficiently small perturbation of an isosceles triangle has a periodic billiard path. Our proof involves the analysis of certain infinite families of Fourier series that arise in connection with triangular billiards, and reveals some self-similarity phenomena in irrational triangular billiards. Our analysis illustrates the surprising fact that billiards on a triangle near a Veech triangle is extremely complicated even though Billiards on a Veech triangle is very well understood.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Linear difference equations, frieze patterns and combinatorial Gale transform
We study the space of linear difference equations with periodic coefficients and (anti)periodic solutions. We show that this space is isomorphic to the space of tame frieze patterns and closely related to the moduli space of configurations of points in the projective space. We define the notion of combinatorial Gale transform which is a duality between periodic difference equations of different orders. We describe periodic rational maps generalizing the classical Gauss map.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Pentagram Spirals
We introduce a geometric construction which relates to the pentagram map much in the way that a logarithmic spiral relates to a circle. After introducing the construction, we establish some basic geometric facts about it, and speculate on some of the deeper algebraic structure, such as the complete integrability of the associated dynamical system.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Square Turning Maps and their Compactifications
In this paper we introduce some infinite rectangle exchange transformations which are based on the simultaneous turning of the squares within a sequence of square grids. We will show that such noncompact systems have higher dimensional dynamical compactifications. In good cases, these compactifications are polytope exchange transformations based on pairs of Euclidean lattices. In each dimension $8m+4$ there is a $4m+2$ dimensional family of them. Here $m=0,1,2,...$ The case $m=0$, which we studied in depth in an earlier paper, has close connections to the $E_4$ Weyl group and the $(2,4,\infty)$ hyperbolic triangle group.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
The Octagonal PET I: Renormalization and Hyperbolic Symmetry
We introduce a family of polytope exchange transformations (PETs) acting on parallelotopes in $\R^{2n}$ for $n=1,2,3...$. These PETs are constructed using a pair of lattices in $\R^{2n}$. The moduli space of these PETs is $GL_n(\R)$. We study the case n=1 in detail. In this case, we show that the 2-dimensional family is completely renormalizable and that the $(2,4,\infty)$ hyperbolic reflection triangle group acts (by linear fractional transformations) as the renormalization group on the moduli space. These results have a number of geometric corollaries for the system. Most of the paper is traditional mathematics, but some part of the paper relies on a rigorous computer-assisted proof involving integer calculations.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
The Octagonal PET II: The Topology of the Limit Sets
This is a sequel to my paper "The Octagonal PET I: Renormalization and Hyperbolic Symmetry". In this paper we use the renormalization scheme found in the first paper to classify the limit sets of the systems according to their topology. The main result is that the limit set is either a finite forest or a Cantor set, with an explicit description of which cases occur for which parameters. In one special case, the limit set is a disjoint union of 2 arcs if and only if the continued fraction expansion of the parameter has the form [a0:a1:a2:a3...] with a_k even for every odd k.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Outer Billiards on the Penrose Kite: Compactification and Renormalizaiton
In this long paper we give a fairly complete analysis of outer billiards on the Penrose kite. Our analysis reveals that this 2-dimensional non-compact system has a 3-dimensional compactification, a certain polyhedron exchange map, and that this compactification has a renormalization scheme. These two features allow us to make some sharp statements concerning the distribution, large-scale geometry, fine-scale geometry, and hidden algebraic symmetries of the orbits. For instance, one of our results is that the union of the unbounded orbits has Hausdorff dimension 1. We give a computer-aided proof of the results concerning the compactification and the renormalization. This proof involves finitely many calculations done with exact integer arithmetic.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Outer Billiards and the Pinwheel Map
In this paper we establish a kind of bijection between the orbits of a polygonal outer billiards system and the orbits of a related (and simpler to analyze) system called the pinwheel map. One consequence of the result is that the outer billiards system has unbounded orbits if and only if the pinwheel map has unbounded orbits. As the pinwheel map is much easier to analyze directly, we think that this bijection will be helpful in attacking some of the main questions about polyonal outer billiards.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Outer Billiards, Arithmetic Graphs, and the Octagon
Outer Billiards is a geometrically inspired dynamical system based on a convex shape in the plane. When the shape is a polygon, the system has a combinatorial flavor. In the polygonal case, there is a natural acceleration of the map, a first return map to a certain strip in the plane. The arithmetic graph is a geometric encoding of the symbolic dynamics of this first return map. In the case of the regular octagon, the case we study, the arithmetic graphs associated to periodic orbits are polygonal paths in R^8. We are interested in the asymptotic shapes of these polygonal paths, as the period tends to infinity. We show that the rescaled limit of essentially any sequence of these graphs converges to a fractal curve that simultaneously projects one way onto a variant of the Koch snowflake and another way onto a variant of the Sierpinski carpet. In a sense, this gives a complete description of the asymptotic behavior of the symbolic dynamics of the first return map. What makes all our proofs work is an efficient (and basically well known) renormalization scheme for the dynamics.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
The 5 Electron Case of Thomson's Problem
We give a rigorous computer-assisted proof that the triangular bi-pyramid is the unique configuration of 5 points on the 2-sphere that globally minimizes the Coulomb (1/r) potential. We also prove the same result for the (1/r^2) potential. The main mathematical contribution of the paper is a fairly efficient energy estimate that works for any number of points and any power-law potential.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
The Pentagram Integrals on Inscribed Polygons
The pentagram map is a natural iteration on projective equivalence classes of (twisted) n-gons in the projective plane. It was recently proved ([OST]) that the pentagram map is completely integrable, with the complete set of Poisson commuting integrals given by the polynomials O1,...,O[n/2],On and E1,...,E[n/2],En, previously constructed in [S3]. These polynomials are somewhat reminiscent of the symmetric polynomials. It was observed in computer experiments that if a polygon is inscribed into a conic then Oi=Ei for all i. The goal of the paper is to prove this theorem. The proof is combinatorial, and it was also suggested by computer experimentation.
0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv
A better proof of the Goldman-Parker conjecture
The Goldman-Parker Conjecture classifies the complex hyperbolic C-reflection ideal triangle groups up to discreteness. We proved the Goldman-Parker Conjecture in [Ann. of Math. 153 (2001) 533--598] using a rigorous computer-assisted proof. In this paper we give a new and improved proof of the Goldman-Parker Conjecture. While the proof relies on the computer for extensive guidance, the proof itself is traditional.
0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv
Modular circle quotients and PL limit sets
We say that a collection Gamma of geodesics in the hyperbolic plane H^2 is a modular pattern if Gamma is invariant under the modular group PSL_2(Z), if there are only finitely many PSL_2(Z)-equivalence classes of geodesics in Gamma, and if each geodesic in Gamma is stabilized by an infinite order subgroup of PSL_2(Z). For instance, any finite union of closed geodesics on the modular orbifold H^2/PSL_2(Z) lifts to a modular pattern. Let S^1 be the ideal boundary of H^2. Given two points p,q in S^1 we write pq if p and q are the endpoints of a geodesic in Gamma. (In particular pp.) We show that is an equivalence relation. We let Q_Gamma=S^1/ be the quotient space. We call Q_Gamma a modular circle quotient. In this paper we will give a sense of what modular circle quotients `look like' by realizing them as limit sets of piecewise-linear group actions
0 citations0 reviewsNo code linkedOpen access