-
Holonomy of parabolic geometries near isolated higher-order fixed points
Authors:
Jacob W. Erickson
Abstract:
For Cartan geometries admitting automorphisms with isotropies satisfying a particular, loosely dynamical property on their model geometries, we demonstrate the existence of an open subset of the geometry with trivial holonomy. This property, which generalizes characteristics of isotropies corresponding to isolated higher-order fixed points in parabolic geometries that are known to require a nearby…
▽ More
For Cartan geometries admitting automorphisms with isotropies satisfying a particular, loosely dynamical property on their model geometries, we demonstrate the existence of an open subset of the geometry with trivial holonomy. This property, which generalizes characteristics of isotropies corresponding to isolated higher-order fixed points in parabolic geometries that are known to require a nearby open subset to have vanishing curvature, only relies upon the behavior of the isotropy in the model geometry, and therefore applies regardless of initial curvature assumptions, such as regularity or normality. Along the way to proving our main results, we also derive a couple of results for working with holonomy, relating to limits of sequences of developments and the existence of antidevelopments, that are useful in their own right. To showcase the effectiveness of the techniques developed, we use them to completely characterize all almost c-projective and almost quaternionic structures that admit a nontrivial automorphism with a higher-order fixed point, as well as all nondegenerate partially integrable almost CR structures that admit a higher-order fixed point with non-null isotropy.
△ Less
Submitted 18 April, 2025; v1 submitted 8 June, 2024;
originally announced June 2024.
-
Reconstructing Graphs from Connected Triples
Authors:
Paul Bastide,
Linda Cook,
Jeff Erickson,
Carla Groenland,
Marc van Kreveld,
Isja Mannens,
Jordi L. Vermeulen
Abstract:
We introduce a new model of indeterminacy in graphs: instead of specifying all the edges of the graph, the input contains all triples of vertices that form a connected subgraph. In general, different (labelled) graphs may have the same set of connected triples, making unique reconstruction of the original graph from the triples impossible. We identify some families of graphs (including triangle-fr…
▽ More
We introduce a new model of indeterminacy in graphs: instead of specifying all the edges of the graph, the input contains all triples of vertices that form a connected subgraph. In general, different (labelled) graphs may have the same set of connected triples, making unique reconstruction of the original graph from the triples impossible. We identify some families of graphs (including triangle-free graphs) for which all graphs have a different set of connected triples. We also give algorithms that reconstruct a graph from a set of triples, and for testing if this reconstruction is unique. Finally, we study a possible extension of the model in which the subsets of size $k$ that induce a connected graph are given for larger (fixed) values of $k$.
△ Less
Submitted 12 March, 2023;
originally announced March 2023.
-
A method for determining Cartan geometries from the local behavior of automorphisms
Authors:
Jacob W. Erickson
Abstract:
We introduce a construction for a Cartan geometry that captures the local behavior of a given geometric automorphism near a distinguished element. The result of this construction, which we call the sprawl generated by the automorphism, is uniquely characterized by a kind of universal property that allows us to compare different Cartan geometries that admit automorphisms with equivalent local behav…
▽ More
We introduce a construction for a Cartan geometry that captures the local behavior of a given geometric automorphism near a distinguished element. The result of this construction, which we call the sprawl generated by the automorphism, is uniquely characterized by a kind of universal property that allows us to compare different Cartan geometries that admit automorphisms with equivalent local behavior near a distinguished element. As example applications, we describe how to construct non-flat real projective structures admitting nontrivial automorphisms with higher-order fixed points and extend some known local automorphisms with higher-order fixed points on non-flat parabolic geometries to global automorphisms.
△ Less
Submitted 1 May, 2025; v1 submitted 1 March, 2023;
originally announced March 2023.
-
The vibrational modes of simplicial molecules
Authors:
Charles H. Conley,
Jon Erickson
Abstract:
Consider a "simplicial molecule": $n$ equal point masses placed at the vertices of a regular $(n-1)$-simplex, connected by ${n \choose 2}$ identical springs. We apply the representation theory of the symmetric group $S_n$ to compute its vibrational modes.
Consider a "simplicial molecule": $n$ equal point masses placed at the vertices of a regular $(n-1)$-simplex, connected by ${n \choose 2}$ identical springs. We apply the representation theory of the symmetric group $S_n$ to compute its vibrational modes.
△ Less
Submitted 30 May, 2022;
originally announced May 2022.
-
Higher rank parabolic geometries with essential automorphisms and nonvanishing curvature
Authors:
Jacob W. Erickson
Abstract:
We construct infinite families of regular normal Cartan geometries with nonvanishing curvature and essential automorphisms on closed manifolds for many higher rank parabolic model geometries. To do this, we use particular elements of the kernel of the Kostant Laplacian to construct homogeneous Cartan geometries of the desired type, giving a global realization of an elegant local construction due t…
▽ More
We construct infinite families of regular normal Cartan geometries with nonvanishing curvature and essential automorphisms on closed manifolds for many higher rank parabolic model geometries. To do this, we use particular elements of the kernel of the Kostant Laplacian to construct homogeneous Cartan geometries of the desired type, giving a global realization of an elegant local construction due to Kruglikov and The, and then modify these homogeneous geometries to make their base manifolds compact. As a demonstration, we apply the construction to quaternionic contact structrures of mixed signature, among other examples.
△ Less
Submitted 17 February, 2022;
originally announced February 2022.
-
Intrinsic holonomy and curved cosets of Cartan geometries
Authors:
Jacob W. Erickson
Abstract:
We provide an intrinsic notion of curved cosets for arbitrary Cartan geometries, simplifying the existing construction of curved orbits for a given holonomy reduction. To do this, we define an intrinsic holonomy group, which is shown to coincide precisely with the standard definition of the holonomy group for Cartan geometries in terms of an associated principal connection. These curved cosets ret…
▽ More
We provide an intrinsic notion of curved cosets for arbitrary Cartan geometries, simplifying the existing construction of curved orbits for a given holonomy reduction. To do this, we define an intrinsic holonomy group, which is shown to coincide precisely with the standard definition of the holonomy group for Cartan geometries in terms of an associated principal connection. These curved cosets retain many characteristics of their homogeneous counterparts, and they behave well under the action of automorphisms. We conclude the paper by using the machinery developed to generalize the de Rham decomposition theorem for Riemannian manifolds and give a potentially useful characterization of inessential automorphism groups for parabolic geometries.
△ Less
Submitted 11 September, 2021;
originally announced September 2021.
-
Planar and Toroidal Morphs Made Easier
Authors:
Jeff Erickson,
Patrick Lin
Abstract:
We present simpler algorithms for two closely related morphing problems, both based on the barycentric interpolation paradigm introduced by Floater and Gotsman, which is in turn based on Floater's asymmetric extension of Tutte's classical spring-embedding theorem. First, we give a much simpler algorithm to construct piecewise-linear morphs between planar straight-line graphs. Specifically, given i…
▽ More
We present simpler algorithms for two closely related morphing problems, both based on the barycentric interpolation paradigm introduced by Floater and Gotsman, which is in turn based on Floater's asymmetric extension of Tutte's classical spring-embedding theorem. First, we give a much simpler algorithm to construct piecewise-linear morphs between planar straight-line graphs. Specifically, given isomorphic straight-line drawings $Γ_0$ and $Γ_1$ of the same 3-connected planar graph $G$, with the same convex outer face, we construct a morph from $Γ_0$ to $Γ_1$ that consists of $O(n)$ unidirectional morphing steps, in $O(n^{1+ω/2})$ time. Our algorithm entirely avoids the classical edge-collapsing strategy dating back to Cairns; instead, in each morphing step, we interpolate the pair of weights associated with a single edge. Second, we describe a natural extension of barycentric interpolation to geodesic graphs on the flat torus. Barycentric interpolation cannot be applied directly in this setting, because the linear systems defining intermediate vertex positions are not necessarily solvable. We describe a simple scaling strategy that circumvents this issue. Computing the appropriate scaling requires $O(n^{ω/2})$ time, after which we can can compute the drawing at any point in the morph in $O(n^{ω/2})$ time. Our algorithm is considerably simpler than the recent algorithm of Chambers et al. (arXiv:2007.07927) and produces more natural morphs. Our techniques also yield a simple proof of a conjecture of Connelly et al. for geodesic torus triangulations.
△ Less
Submitted 14 September, 2021; v1 submitted 26 June, 2021;
originally announced June 2021.
-
Fusible numbers and Peano Arithmetic
Authors:
Jeff Erickson,
Gabriel Nivasch,
Junyan Xu
Abstract:
Inspired by a mathematical riddle involving fuses, we define the "fusible numbers" as follows: $0$ is fusible, and whenever $x,y$ are fusible with $|y-x|<1$, the number $(x+y+1)/2$ is also fusible. We prove that the set of fusible numbers, ordered by the usual order on $\mathbb R$, is well-ordered, with order type $\varepsilon_0$. Furthermore, we prove that the density of the fusible numbers along…
▽ More
Inspired by a mathematical riddle involving fuses, we define the "fusible numbers" as follows: $0$ is fusible, and whenever $x,y$ are fusible with $|y-x|<1$, the number $(x+y+1)/2$ is also fusible. We prove that the set of fusible numbers, ordered by the usual order on $\mathbb R$, is well-ordered, with order type $\varepsilon_0$. Furthermore, we prove that the density of the fusible numbers along the real line grows at an incredibly fast rate: Letting $g(n)$ be the largest gap between consecutive fusible numbers in the interval $[n,\infty)$, we have $g(n)^{-1} \ge F_{\varepsilon_0}(n-c)$ for some constant $c$, where $F_α$ denotes the fast-growing hierarchy. Finally, we derive some true statements that can be formulated but not proven in Peano Arithmetic, of a different flavor than previously known such statements: PA cannot prove the true statement "For every natural number $n$ there exists a smallest fusible number larger than $n$." Also, consider the algorithm "$M(x)$: if $x<0$ return $-x$, else return $M(x-M(x-1))/2$." Then $M$ terminates on real inputs, although PA cannot prove the statement "$M$ terminates on all natural inputs."
△ Less
Submitted 27 July, 2022; v1 submitted 31 March, 2020;
originally announced March 2020.
-
A Toroidal Maxwell-Cremona-Delaunay Correspondence
Authors:
Jeff Erickson,
Patrick Lin
Abstract:
We consider three classes of geodesic embeddings of graphs on Euclidean flat tori: (1) A toroidal graph embedding $Γ$ is positive equilibrium if it is possible to place positive weights on the edges, such that the weighted edge vectors incident to each vertex of $Γ$ sum to zero. (2) A toroidal graph embedding $Γ$ is reciprocal if there is a geodesic embedding $Γ^*$ of its dual on the same flat tor…
▽ More
We consider three classes of geodesic embeddings of graphs on Euclidean flat tori: (1) A toroidal graph embedding $Γ$ is positive equilibrium if it is possible to place positive weights on the edges, such that the weighted edge vectors incident to each vertex of $Γ$ sum to zero. (2) A toroidal graph embedding $Γ$ is reciprocal if there is a geodesic embedding $Γ^*$ of its dual on the same flat torus, where each edge of $Γ$ is orthogonal to the corresponding dual edge in $Γ^*$. (3) A toroidal graph embedding $Γ$ is coherent if it is possible to assign weights to the vertices, so that $Γ$ is the (intrinsic) weighted Delaunay graph of its vertices. The classical Maxwell-Cremona correspondence and the well-known correspondence between convex hulls and weighted Delaunay triangulations imply that the analogous concepts for planar graph embeddings (with convex outer faces) are equivalent. Indeed, all three conditions are equivalent to $Γ$ being the projection of the 1-skeleton of the lower convex hull of points in $\mathbb{R}^3$. However, this three-way equivalence does not extend directly to geodesic graph embeddings on flat tori. On any flat torus, reciprocal and coherent embeddings are equivalent, and every reciprocal embedding is in positive equilibrium, but not every positive equilibrium embedding is reciprocal. We establish a weaker correspondence: Every positive equilibrium embedding on any flat torus is affinely equivalent to a reciprocal/coherent embedding on some flat torus.
△ Less
Submitted 5 February, 2022; v1 submitted 22 March, 2020;
originally announced March 2020.
-
Smoothing the gap between NP and ER
Authors:
Jeff Erickson,
Ivor van der Hoog,
Tillmann Miltzow
Abstract:
We study algorithmic problems that belong to the complexity class of the existential theory of the reals (ER). A problem is ER-complete if it is as hard as the problem ETR and if it can be written as an ETR formula. Traditionally, these problems are studied in the real RAM, a model of computation that assumes that the storage and comparison of real-valued numbers can be done in constant space and…
▽ More
We study algorithmic problems that belong to the complexity class of the existential theory of the reals (ER). A problem is ER-complete if it is as hard as the problem ETR and if it can be written as an ETR formula. Traditionally, these problems are studied in the real RAM, a model of computation that assumes that the storage and comparison of real-valued numbers can be done in constant space and time, with infinite precision. The complexity class ER is often called a real RAM analogue of NP, since the problem ETR can be viewed as the real-valued variant of SAT.
In this paper we prove a real RAM analogue to the Cook-Levin theorem which shows that ER membership is equivalent to having a verification algorithm that runs in polynomial-time on a real RAM. This gives an easy proof of ER-membership, as verification algorithms on a real RAM are much more versatile than ETR-formulas. We use this result to construct a framework to study ER-complete problems under smoothed analysis. We show that for a wide class of ER-complete problems, its witness can be represented with logarithmic input-precision by using smoothed analysis on its real RAM verification algorithm. This shows in a formal way that the boundary between NP and ER (formed by inputs whose solution witness needs high input-precision) consists of contrived input. We apply our framework to well-studied ER-complete recognition problems which have the exponential bit phenomenon such as the recognition of realizable order types or the Steinitz problem in fixed dimension.
△ Less
Submitted 18 November, 2021; v1 submitted 4 December, 2019;
originally announced December 2019.
-
Untangling Planar Curves
Authors:
Hsien-Chih Chang,
Jeff Erickson
Abstract:
Any generic closed curve in the plane can be transformed into a simple closed curve by a finite sequence of local transformations called homotopy moves. We prove that simplifying a planar closed curve with $n$ self-crossings requires $Θ(n^{3/2})$ homotopy moves in the worst case. Our algorithm improves the best previous upper bound $O(n^2)$, which is already implicit in the classical work of Stein…
▽ More
Any generic closed curve in the plane can be transformed into a simple closed curve by a finite sequence of local transformations called homotopy moves. We prove that simplifying a planar closed curve with $n$ self-crossings requires $Θ(n^{3/2})$ homotopy moves in the worst case. Our algorithm improves the best previous upper bound $O(n^2)$, which is already implicit in the classical work of Steinitz; the matching lower bound follows from the construction of closed curves with large defect, a topological invariant of generic closed curves introduced by Aicardi and Arnold. Our lower bound also implies that $Ω(n^{3/2})$ facial electrical transformations are required to reduce any plane graph with treewidth $Ω(\sqrt{n})$ to a single vertex, matching known upper bounds for rectangular and cylindrical grid graphs. More generally, we prove that transforming one immersion of $k$ circles with at most $n$ self-crossings into another requires $Θ(n^{3/2} + nk + k^2)$ homotopy moves in the worst case. Finally, we prove that transforming one noncontractible closed curve to another on any orientable surface requires $Ω(n^2)$ homotopy moves in the worst case; this lower bound is tight if the curve is homotopic to a simple closed curve.
△ Less
Submitted 1 February, 2017;
originally announced February 2017.
-
Some elementary observations regarding reductive Cartan geometries
Authors:
Jacob W. Erickson
Abstract:
After defining generalizations of the notions of covariant derivatives and geodesics from Riemannian geometry for reductive Cartan geometries in general, various results for reductive Cartan geometries analogous to important elementary results from Riemannian geometry are proven using these generalizations. In particular, a generalization of the Hopf-Rinow theorem is given with a pleasantly concis…
▽ More
After defining generalizations of the notions of covariant derivatives and geodesics from Riemannian geometry for reductive Cartan geometries in general, various results for reductive Cartan geometries analogous to important elementary results from Riemannian geometry are proven using these generalizations. In particular, a generalization of the Hopf-Rinow theorem is given with a pleasantly concise proof.
△ Less
Submitted 4 July, 2023; v1 submitted 5 July, 2016;
originally announced July 2016.
-
Electrical Reduction, Homotopy Moves, and Defect
Authors:
Hsien-Chih Chang,
Jeff Erickson
Abstract:
We prove the first nontrivial worst-case lower bounds for two closely related problems. First, $Ω(n^{3/2})$ degree-1 reductions, series-parallel reductions, and $Δ$Y transformations are required in the worst case to reduce an $n$-vertex plane graph to a single vertex or edge. The lower bound is achieved by any planar graph with treewidth $Θ(\sqrt{n})$. Second, $Ω(n^{3/2})$ homotopy moves are requi…
▽ More
We prove the first nontrivial worst-case lower bounds for two closely related problems. First, $Ω(n^{3/2})$ degree-1 reductions, series-parallel reductions, and $Δ$Y transformations are required in the worst case to reduce an $n$-vertex plane graph to a single vertex or edge. The lower bound is achieved by any planar graph with treewidth $Θ(\sqrt{n})$. Second, $Ω(n^{3/2})$ homotopy moves are required in the worst case to reduce a closed curve in the plane with $n$ self-intersection points to a simple closed curve. For both problems, the best upper bound known is $O(n^2)$, and the only lower bound previously known was the trivial $Ω(n)$.
The first lower bound follows from the second using medial graph techniques ultimately due to Steinitz, together with more recent arguments of Noble and Welsh [J. Graph Theory 2000]. The lower bound on homotopy moves follows from an observation by Haiyashi et al. [J. Knot Theory Ramif. 2012] that the standard projections of certain torus knots have large defect, a topological invariant of generic closed curves introduced by Aicardi and Arnold. Finally, we prove that every closed curve in the plane with $n$ crossings has defect $O(n^{3/2})$, which implies that better lower bounds for our algorithmic problems will require different techniques.
△ Less
Submitted 2 October, 2015;
originally announced October 2015.
-
Quantum Intermittency for Sparse CMV Matrices with an Application to Quantum Walks on the Half-Line
Authors:
David Damanik,
Jon Erickson,
Jake Fillman,
Gerhardt Hinkle,
Alan Vu
Abstract:
We study the dynamics given by the iteration of a (half-line) CMV matrix with sparse, high barriers. Using an approach of Tcheremchantsev, we are able to explicitly compute the transport exponents for this model in terms of the given parameters. In light of the connection between CMV matrices and quantum walks on the half-line due to Cantero-Grünbaum-Moral-Velázquez, our result also allows us to c…
▽ More
We study the dynamics given by the iteration of a (half-line) CMV matrix with sparse, high barriers. Using an approach of Tcheremchantsev, we are able to explicitly compute the transport exponents for this model in terms of the given parameters. In light of the connection between CMV matrices and quantum walks on the half-line due to Cantero-Grünbaum-Moral-Velázquez, our result also allows us to compute transport exponents corresponding to a quantum walk which is sparsely populated with strong reflectors. To the best of our knowledge, this provides the first rigorous example of a quantum walk which exhibits quantum intermittency, i.e., nonconstancy of the transport exponents. When combined with the CMV version of the Jitomirskaya-Last theory of subordinacy and the general discrete-time dynamical bounds from Damanik-Fillman-Vance, we are able to exactly compute the Hausdorff dimension of the associated spectral measure.
△ Less
Submitted 14 June, 2016; v1 submitted 8 July, 2015;
originally announced July 2015.
-
Rips Complexes of Planar Point Sets
Authors:
Erin W. Chambers,
Vin de Silva,
Jeff Erickson,
Robert Ghrist
Abstract:
Fix a finite set of points in Euclidean $n$-space $\euc^n$, thought of as a point-cloud sampling of a certain domain $D\subset\euc^n$. The Rips complex is a combinatorial simplicial complex based on proximity of neighbors that serves as an easily-computed but high-dimensional approximation to the homotopy type of $D$. There is a natural ``shadow'' projection map from the Rips complex to…
▽ More
Fix a finite set of points in Euclidean $n$-space $\euc^n$, thought of as a point-cloud sampling of a certain domain $D\subset\euc^n$. The Rips complex is a combinatorial simplicial complex based on proximity of neighbors that serves as an easily-computed but high-dimensional approximation to the homotopy type of $D$. There is a natural ``shadow'' projection map from the Rips complex to $\euc^n$ that has as its image a more accurate $n$-dimensional approximation to the homotopy type of $D$.
We demonstrate that this projection map is 1-connected for the planar case $n=2$. That is, for planar domains, the Rips complex accurately captures connectivity and fundamental group data. This implies that the fundamental group of a Rips complex for a planar point set is a free group. We show that, in contrast, introducing even a small amount of uncertainty in proximity detection leads to `quasi'-Rips complexes with nearly arbitrary fundamental groups. This topological noise can be mitigated by examining a pair of quasi-Rips complexes and using ideas from persistent topology. Finally, we show that the projection map does not preserve higher-order topological data for planar sets, nor does it preserve fundamental group data for point sets in dimension larger than three.
△ Less
Submitted 3 December, 2007;
originally announced December 2007.
-
Arbitrarily Large Neighborly Families of Congruent Symmetric Convex 3-Polytopes
Authors:
Jeff Erickson
Abstract:
We construct, for any positive integer n, a family of n congruent convex polyhedra in R^3, such that every pair intersects in a common facet. Previously, the largest such family contained only eight polytopes. Our polyhedra are Voronoi regions of evenly distributed points on the helix (t, cos t, sin t). With a simple modification, we can ensure that each polyhedron in the family has a point, a l…
▽ More
We construct, for any positive integer n, a family of n congruent convex polyhedra in R^3, such that every pair intersects in a common facet. Previously, the largest such family contained only eight polytopes. Our polyhedra are Voronoi regions of evenly distributed points on the helix (t, cos t, sin t). With a simple modification, we can ensure that each polyhedron in the family has a point, a line, and a plane of symmetry. We also generalize our construction to higher dimensions and introduce a new family of cyclic polytopes.
△ Less
Submitted 12 June, 2001;
originally announced June 2001.
-
Flipturning polygons
Authors:
Oswin Aichholzer,
Carmen Cortes,
Erik D. Demaine,
Vida Dujmovic,
Jeff Erickson,
Henk Meijer,
Mark Overmars,
Belen Palop,
Suneeta Ramaswami,
Godfried T. Toussaint
Abstract:
A flipturn is an operation that transforms a nonconvex simple polygon into another simple polygon, by rotating a concavity 180 degrees around the midpoint of its bounding convex hull edge. Joss and Shannon proved in 1973 that a sequence of flipturns eventually transforms any simple polygon into a convex polygon. This paper describes several new results about such flipturn sequences. We show that…
▽ More
A flipturn is an operation that transforms a nonconvex simple polygon into another simple polygon, by rotating a concavity 180 degrees around the midpoint of its bounding convex hull edge. Joss and Shannon proved in 1973 that a sequence of flipturns eventually transforms any simple polygon into a convex polygon. This paper describes several new results about such flipturn sequences. We show that any orthogonal polygon is convexified after at most n-5 arbitrary flipturns, or at most 5(n-4)/6 well-chosen flipturns, improving the previously best upper bound of (n-1)!/2. We also show that any simple polygon can be convexified by at most n^2-4n+1 flipturns, generalizing earlier results of Ahn et al. These bounds depend critically on how degenerate cases are handled; we carefully explore several possibilities. We describe how to maintain both a simple polygon and its convex hull in O(log^4 n) time per flipturn, using a data structure of size O(n). We show that although flipturn sequences for the same polygon can have very different lengths, the shape and position of the final convex polygon is the same for all sequences and can be computed in O(n log n) time. Finally, we demonstrate that finding the longest convexifying flipturn sequence of a simple polygon is NP-hard.
△ Less
Submitted 16 August, 2000;
originally announced August 2000.
