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.
Researcher profile
Richard Evan Schwartz
Richard Evan Schwartz contributes to research discovery and scholarly infrastructure.
ResearcherAffiliation not importedOpen to collaborate
Trust snapshot
Quick read
Trust 21 - EmergingVerification L1Unclaimed author
19works
0followers
11topics
4close collaborators
Actions
Decide how to stay connected
Identity and collaboration
How to connect with this researcher
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Open a focused conversation when the fit is right
Claim this author entity first to unlock direct invitations.
Research graph
See the researcher in context
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
Building this graph slice
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
19 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
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