-
The infinite dimensional geometry of conjugation invariant generating sets
Authors:
Sabine Chu,
George Domat,
Christine Gao,
Ananya Prasanna,
Alex Wright
Abstract:
We consider a number of examples of groups together with an infinite conjugation invariant generating set, including: the free group with the generating set of all separable elements; surface groups with the generating set of all non-filling curves; mapping class groups and outer automorphism groups of free groups with the generating sets of all reducible elements; and groups with suitable actions…
▽ More
We consider a number of examples of groups together with an infinite conjugation invariant generating set, including: the free group with the generating set of all separable elements; surface groups with the generating set of all non-filling curves; mapping class groups and outer automorphism groups of free groups with the generating sets of all reducible elements; and groups with suitable actions on Gromov hyperbolic spaces with a generating set of elliptic elements. In these Cayley graphs we show that there are quasi-isometrically embedded copies of $\mathbb{Z}^m$ for all $m \geq 1$. A corollary is that these Cayley graphs have infinite asymptotic dimension.
By additionally building a new subsurface projection analogue for the free splitting graph, valued in the above Cayley graph of the free group, we are able to recover Sabalka-Savchuk's result that the edge-splitting graph of the free group has quasi-isometrically embedded copies of $\mathbb{Z}^m$ for all $m \geq 1$.
Our analysis for Cayley graphs builds on a construction of Brandenbursky-Gal-Kȩdra-Marcinkowski using quasi-morphisms.
We observe in particular that the Cayley graph of a closed surface group with the generating set of all simple closed curves is not hyperbolic, answering a question of Margalit-Putman.
△ Less
Submitted 23 June, 2025;
originally announced June 2025.
-
Colorings of symmetric unions and partial knots
Authors:
Ben Clingenpeel,
Zongzheng Dai,
Gabriel Diraviam,
Kareem Jaber,
Krishnendu Kar,
Ziyun Liu,
Teo Miklethun,
Haritha Nagampoozhy,
Michael Perry,
Moses Samuelson-Lynn,
Eli Seamans,
Ana Wright,
Nicole Xie,
Ruiqi Zou,
Alexander Zupan
Abstract:
Motivated by work of Kinoshita and Teraska, Lamm introduced the notion of a symmetric union, which can be constructed from a partial knot $J$ by introducing additional crossings to a diagram of $J \# -\!J$ along its axis of symmetry. If both $J$ and $J'$ are partial knots for different symmetric union presentations of the same ribbon knot $K$, the knots $J$ and $J'$ are said to be symmetrically re…
▽ More
Motivated by work of Kinoshita and Teraska, Lamm introduced the notion of a symmetric union, which can be constructed from a partial knot $J$ by introducing additional crossings to a diagram of $J \# -\!J$ along its axis of symmetry. If both $J$ and $J'$ are partial knots for different symmetric union presentations of the same ribbon knot $K$, the knots $J$ and $J'$ are said to be symmetrically related. Lamm proved that if $J$ and $J'$ are symmetrically related, then $\det J = \det J'$, asking whether the converse is true. In this article, we give a negative answer to Lamm's question, constructing for any natural number $m$ a family of $2^m$ knots with the same determinant but such that no two knots in the family are symmetrically related. This result is a corollary to our main theorem, that if $J$ is the partial knot in a symmetric union presentation for $K$, then $\text{col}_p(J) \leq \text{col}_p(K) \leq \frac{(\text{col}_p(J))^2}{2}$, where $\text{col}_p(\cdot )$ denotes the number of $p$-colorings of a knot.
△ Less
Submitted 11 April, 2025;
originally announced April 2025.
-
The geometry of totally geodesic subvarieties of moduli spaces of Riemann surfaces
Authors:
Francisco Arana-Herrera,
Alex Wright
Abstract:
We prove a semisimplicity result for the boundary, in the corresponding Deligne-Mumford compactification, of a totally geodesic subvariety of a moduli space of Riemann surfaces. At the level of Teichmüller space, this semisimplicity theorem gives that each component of the boundary is a product of simple factors, each of which behaves metrically like a diagonal embedding. Building on this result,…
▽ More
We prove a semisimplicity result for the boundary, in the corresponding Deligne-Mumford compactification, of a totally geodesic subvariety of a moduli space of Riemann surfaces. At the level of Teichmüller space, this semisimplicity theorem gives that each component of the boundary is a product of simple factors, each of which behaves metrically like a diagonal embedding. Building on this result, we also show that the associated totally geodesic submanifolds of Teichmüller space and orbifold fundamental groups are hierarchically hyperbolic.
The proof intertwines in a novel way results and perspectives originating in dynamics, algebraic geometry, geometric group theory, and both classical and modern Teichmüller theory. It establishes both new rigidity and new flexibility for totally geodesic submanifolds and their associated varieties and orbifold fundamental groups and provides a rich set of new tools for the study of these objects.
△ Less
Submitted 23 April, 2025; v1 submitted 20 December, 2024;
originally announced December 2024.
-
Strategies for optimizing double-bracket quantum algorithms
Authors:
Li Xiaoyue,
Matteo Robbiati,
Andrea Pasquale,
Edoardo Pedicillo,
Andrew Wright,
Stefano Carrazza,
Marek Gluza
Abstract:
Recently double-bracket quantum algorithms have been proposed as a way to compile circuits for approximating eigenstates. Physically, they consist of appropriately composing evolutions under an input Hamiltonian together with diagonal evolutions. Here, we present strategies to optimize the choice of the double-bracket evolutions to enhance the diagonalization efficiency. This can be done by findin…
▽ More
Recently double-bracket quantum algorithms have been proposed as a way to compile circuits for approximating eigenstates. Physically, they consist of appropriately composing evolutions under an input Hamiltonian together with diagonal evolutions. Here, we present strategies to optimize the choice of the double-bracket evolutions to enhance the diagonalization efficiency. This can be done by finding optimal generators and durations of the evolutions. We present numerical results regarding the preparation of double-bracket iterations, both in ideal cases where the algorithm's setup provides analytical convergence guarantees and in more heuristic cases, where we use an adaptive and variational approach to optimize the generators of the evolutions. As an example, we discuss the efficacy of these optimization strategies when considering a spin-chain Hamiltonian as the target. To propose algorithms that can be executed starting today, fully aware of the limitations of the quantum technologies at our disposal, we finally present a selection of diagonal evolution parametrizations that can be directly compiled into CNOTs and single-qubit rotation gates. We discuss the advantages and limitations of this compilation and propose a way to take advantage of this approach when used in synergy with other existing methods.
△ Less
Submitted 14 August, 2024;
originally announced August 2024.
-
Walking on Spheres and Talking to Neighbors: Variance Reduction for Laplace's Equation
Authors:
Michael Czekanski,
Benjamin Faber,
Margaret Fairborn,
Adelle Wright,
David Bindel
Abstract:
Walk on Spheres algorithms leverage properties of Brownian Motion to create Monte Carlo estimates of solutions to a class of elliptic partial differential equations. We propose a new caching strategy which leverages the continuity of paths of Brownian Motion. In the case of Laplace's equation with Dirichlet boundary conditions, our algorithm has improved asymptotic runtime compared to previous app…
▽ More
Walk on Spheres algorithms leverage properties of Brownian Motion to create Monte Carlo estimates of solutions to a class of elliptic partial differential equations. We propose a new caching strategy which leverages the continuity of paths of Brownian Motion. In the case of Laplace's equation with Dirichlet boundary conditions, our algorithm has improved asymptotic runtime compared to previous approaches. Until recently, estimates were constructed pointwise and did not use the relationship between solutions at nearby points within a domain. Instead, our results are achieved by passing information from a cache of fixed size. We also provide bounds on the performance of our algorithm and demonstrate its performance on example problems of increasing complexity.
△ Less
Submitted 8 April, 2025; v1 submitted 26 April, 2024;
originally announced April 2024.
-
An Approximate Counting Version of the Multidimensional Szemerédi Theorem
Authors:
Natalie Behague,
Joseph Hyde,
Natasha Morrison,
Jonathan A. Noel,
Ashna Wright
Abstract:
For any fixed $d\geq1$ and subset $X$ of $\mathbb{N}^d$, let $r_X(n)$ be the maximum cardinality of a subset $A$ of $\{1,\dots,n\}^d$ which does not contain a subset of the form $\vec{b} + rX$ for $r>0$ and $\vec{b} \in \mathbb{R}^d$. Such a set $A$ is said to be \emph{$X$-free}. The Multidimensional Szemerédi Theorem of Furstenberg and Katznelson states that $r_X(n)=o(n^d)$. We show that, for…
▽ More
For any fixed $d\geq1$ and subset $X$ of $\mathbb{N}^d$, let $r_X(n)$ be the maximum cardinality of a subset $A$ of $\{1,\dots,n\}^d$ which does not contain a subset of the form $\vec{b} + rX$ for $r>0$ and $\vec{b} \in \mathbb{R}^d$. Such a set $A$ is said to be \emph{$X$-free}. The Multidimensional Szemerédi Theorem of Furstenberg and Katznelson states that $r_X(n)=o(n^d)$. We show that, for $|X|\geq 3$ and infinitely many $n\in\mathbb{N}$, the number of $X$-free subsets of $\{1,\dots,n\}^d$ is at most $2^{O(r_X(n))}$. The proof involves using a known multidimensional extension of Behrend's construction to obtain a supersaturation theorem for copies of $X$ in dense subsets of $[n]^d$ for infinitely many values of $n$ and then applying the powerful hypergraph container lemma. Our result generalizes work of Balogh, Liu, and Sharifzadeh on $k$-AP-free sets and Kim on corner-free sets.
△ Less
Submitted 22 November, 2023;
originally announced November 2023.
-
Spheres in the curve graph and linear connectivity of the Gromov boundary
Authors:
Alex Wright
Abstract:
We consider the curve graph in the cases where it is not a Farey graph, and show that its Gromov boundary is linearly connected. For a fixed center point c and radius r, we define the sphere of radius r to be the induced subgraph on the set of vertices of distance r from c. We show that these spheres are always connected in high enough complexity, and prove a slightly weaker result for low complex…
▽ More
We consider the curve graph in the cases where it is not a Farey graph, and show that its Gromov boundary is linearly connected. For a fixed center point c and radius r, we define the sphere of radius r to be the induced subgraph on the set of vertices of distance r from c. We show that these spheres are always connected in high enough complexity, and prove a slightly weaker result for low complexity surfaces.
△ Less
Submitted 5 August, 2024; v1 submitted 6 April, 2023;
originally announced April 2023.
-
Tri-plane diagrams for simple surfaces in $S^4$
Authors:
Wolfgang Allred,
Manuel Aragón,
Zack Dooley,
Alexander Goldman,
Yucong Lei,
Isaiah Martinez,
Nicholas Meyer,
Devon Peters,
Scott Warrander,
Ana Wright,
Alexander Zupan
Abstract:
Meier and Zupan proved that an orientable surface $\mathcal{K}$ in $S^4$ admits a tri-plane diagram with zero crossings if and only if $\mathcal{K}$ is unknotted, so that the crossing number of $\mathcal{K}$ is zero. We determine the minimal crossing numbers of nonorientable unknotted surfaces in $S^4$, proving that $c(\mathcal{P}^{n,m}) = \max\{1,|n-m|\}$, where $\mathcal{P}^{n,m}$ denotes the co…
▽ More
Meier and Zupan proved that an orientable surface $\mathcal{K}$ in $S^4$ admits a tri-plane diagram with zero crossings if and only if $\mathcal{K}$ is unknotted, so that the crossing number of $\mathcal{K}$ is zero. We determine the minimal crossing numbers of nonorientable unknotted surfaces in $S^4$, proving that $c(\mathcal{P}^{n,m}) = \max\{1,|n-m|\}$, where $\mathcal{P}^{n,m}$ denotes the connected sum of $n$ unknotted projective planes with normal Euler number $+2$ and $m$ unknotted projective planes with normal Euler number $-2$. In addition, we convert Yoshikawa's table of knotted surface ch-diagrams to tri-plane diagrams, finding the minimal bridge number for each surface in the table and providing upper bounds for the crossing numbers.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
Improved bounds for cross-Sperner systems
Authors:
Natalie Behague,
Akina Kuperus,
Natasha Morrison,
Ashna Wright
Abstract:
A collection of families $(\mathcal{F}_{1}, \mathcal{F}_{2} , \cdots , \mathcal{F}_{k}) \in \mathcal{P}([n])^k$ is cross-Sperner if there is no pair $i \not= j$ for which some $F_i \in \mathcal{F}_i$ is comparable to some $F_j \in \mathcal{F}_j$. Two natural measures of the `size' of such a family are the sum $\sum_{i = 1}^k |\mathcal{F}_i|$ and the product $\prod_{i = 1}^k |\mathcal{F}_i|$. We pr…
▽ More
A collection of families $(\mathcal{F}_{1}, \mathcal{F}_{2} , \cdots , \mathcal{F}_{k}) \in \mathcal{P}([n])^k$ is cross-Sperner if there is no pair $i \not= j$ for which some $F_i \in \mathcal{F}_i$ is comparable to some $F_j \in \mathcal{F}_j$. Two natural measures of the `size' of such a family are the sum $\sum_{i = 1}^k |\mathcal{F}_i|$ and the product $\prod_{i = 1}^k |\mathcal{F}_i|$. We prove new upper and lower bounds on both of these measures for general $n$ and $k \ge 2$ which improve considerably on the previous best bounds. In particular, we construct a rich family of counterexamples to a conjecture of Gerbner, Lemons, Palmer, Patkós, and Szécsi from 2011.
△ Less
Submitted 5 February, 2023;
originally announced February 2023.
-
Gordian Distance and Complete Alexander Neighbors
Authors:
Ana Wright
Abstract:
We call a knot $K$ a complete Alexander neighbor if every possible Alexander polynomial is realized by a knot one crossing change away from $K$. It is unknown whether there exists a complete Alexander neighbor with nontrivial Alexander polynomial. We eliminate infinite families of knots with nontrivial Alexander polynomial from having this property and discuss possible strategies for unresolved ca…
▽ More
We call a knot $K$ a complete Alexander neighbor if every possible Alexander polynomial is realized by a knot one crossing change away from $K$. It is unknown whether there exists a complete Alexander neighbor with nontrivial Alexander polynomial. We eliminate infinite families of knots with nontrivial Alexander polynomial from having this property and discuss possible strategies for unresolved cases.
Additionally, we use a condition on determinants of knots one crossing change away from unknotting number one knots to improve KnotInfo's unknotting number data on 11 and 12 crossing knots. Lickorish introduced an obstruction to unknotting number one which proves the same result. However, we show that Lickorish's obstruction does not subsume the obstruction coming from the condition on determinants.
△ Less
Submitted 14 October, 2022;
originally announced October 2022.
-
The asymmetry of Thurston's earthquake flow
Authors:
Francisco Arana-Herrera,
Alex Wright
Abstract:
We show that Thurston's earthquake flow is strongly asymmetric in the sense that its normalizer is as small as possible inside the group of orbifold automorphisms of the bundle of measured geodesic laminations over moduli space. (At the level of Teichmüller space, such automorphisms correspond to homeomorphisms that are equivariant with respect to an automorphism of the mapping class group.) It fo…
▽ More
We show that Thurston's earthquake flow is strongly asymmetric in the sense that its normalizer is as small as possible inside the group of orbifold automorphisms of the bundle of measured geodesic laminations over moduli space. (At the level of Teichmüller space, such automorphisms correspond to homeomorphisms that are equivariant with respect to an automorphism of the mapping class group.) It follows that the earthquake flow does not extend to an $\mathrm{SL}(2,\mathbf{R})$-action of orbifold automorphisms and does not admit continuous renormalization self-symmetries. In particular, it is not conjugate to the Teichmüller horocycle flow via an orbifold map. This contrasts with a number of previous results, most notably Mirzakhani's theorem that the earthquake and Teichmüller horocycle flows are measurably conjugate.
△ Less
Submitted 29 March, 2023; v1 submitted 11 January, 2022;
originally announced January 2022.
-
Constructing Triangle Decomposable Multigraphs with Minimum Multi-edges
Authors:
C. M. Mynhardt,
A. K. Wright
Abstract:
We study triangle decompositions of graphs. We consider constructions of classes of graphs where every edge lies on a triangle and the addition of the minimum number of multiple edges between already adjacent vertices results in a strongly triangle divisible graph that is also triangle decomposable. We explore several classes of planar graphs as well as a class of toroidal graphs.
We study triangle decompositions of graphs. We consider constructions of classes of graphs where every edge lies on a triangle and the addition of the minimum number of multiple edges between already adjacent vertices results in a strongly triangle divisible graph that is also triangle decomposable. We explore several classes of planar graphs as well as a class of toroidal graphs.
△ Less
Submitted 19 August, 2021; v1 submitted 17 August, 2021;
originally announced August 2021.
-
Hodge and Teichmüller
Authors:
Jeremy Kahn,
Alex Wright
Abstract:
We consider the derivative $Dπ$ of the projection $π$ from a stratum of Abelian or quadratic differentials to Teichmüller space. A closed one-form $η$ determines a relative cohomology class $[η]_Σ$, which is a tangent vector to the stratum. We give an integral formula for the pairing of of $Dπ([η]_Σ)$ with a cotangent vector to Teichmüller space (a quadratic differential).
We derive from this a…
▽ More
We consider the derivative $Dπ$ of the projection $π$ from a stratum of Abelian or quadratic differentials to Teichmüller space. A closed one-form $η$ determines a relative cohomology class $[η]_Σ$, which is a tangent vector to the stratum. We give an integral formula for the pairing of of $Dπ([η]_Σ)$ with a cotangent vector to Teichmüller space (a quadratic differential).
We derive from this a comparison between Hodge and Teichmüller norms, which has been used in the work of Arana-Herrera on effective dynamics of mapping class groups, and which may clarify the relationship between dynamical and geometric hyperbolicity results in Teichmüller theory.
△ Less
Submitted 8 June, 2021;
originally announced June 2021.
-
Towards optimal spectral gaps in large genus
Authors:
Michael Lipnowski,
Alex Wright
Abstract:
We show that the Weil-Petersson probability that a random surface has first eigenvalue of the Laplacian less than $3/16-ε$ goes to zero as the genus goes to infinity.
We show that the Weil-Petersson probability that a random surface has first eigenvalue of the Laplacian less than $3/16-ε$ goes to zero as the genus goes to infinity.
△ Less
Submitted 13 July, 2023; v1 submitted 12 March, 2021;
originally announced March 2021.
-
High rank invariant subvarieties
Authors:
Paul Apisa,
Alex Wright
Abstract:
We classify GL(2,R) orbit closures of translation surfaces of rank at least half the genus plus 1.
We classify GL(2,R) orbit closures of translation surfaces of rank at least half the genus plus 1.
△ Less
Submitted 12 February, 2021;
originally announced February 2021.
-
Generalizations of the Eierlegende-Wollmilchsau
Authors:
Paul Apisa,
Alex Wright
Abstract:
We classify a natural collection of GL(2,R)-invariant subvarieties, which includes loci of double covers, the orbits of the Eierlegende-Wollmilchsau, Ornithorynque, and Matheus-Yoccoz surfaces, and loci appearing naturally in the study of the complex geometry of Teichmuller space. This classification is the key input in subsequent work of the authors that classifies "high rank" invariant subvariet…
▽ More
We classify a natural collection of GL(2,R)-invariant subvarieties, which includes loci of double covers, the orbits of the Eierlegende-Wollmilchsau, Ornithorynque, and Matheus-Yoccoz surfaces, and loci appearing naturally in the study of the complex geometry of Teichmuller space. This classification is the key input in subsequent work of the authors that classifies "high rank" invariant subvarieties, and in subsequent work of the first author that classifies certain invariant subvarieties with "Lyapunov spectrum as degenerate as possible". We also derive applications to the complex geometry of Teichmuller space and construct new examples, which negatively resolve two questions of Mirzakhani and Wright and illustrate previously unobserved phenomena for the finite blocking problem.
△ Less
Submitted 23 May, 2022; v1 submitted 18 November, 2020;
originally announced November 2020.
-
Reconstructing orbit closures from their boundaries
Authors:
Paul Apisa,
Alex Wright
Abstract:
We introduce and study diamonds of GL(2,R)-invariant subvarieties of Abelian and quadratic differentials, which allow us to recover information on an invariant subvariety by simultaneously considering two degenerations, and which provide a new tool for the classification of invariant subvarieties. We classify a surprisingly rich collection of diamonds where the two degenerations are contained in t…
▽ More
We introduce and study diamonds of GL(2,R)-invariant subvarieties of Abelian and quadratic differentials, which allow us to recover information on an invariant subvariety by simultaneously considering two degenerations, and which provide a new tool for the classification of invariant subvarieties. We classify a surprisingly rich collection of diamonds where the two degenerations are contained in trivial invariant subvarieties. Our main results have been applied to classify large collections of invariant subvarieties; the statement of those results do not involve diamonds, but their proofs rely on them.
△ Less
Submitted 14 September, 2021; v1 submitted 17 November, 2020;
originally announced November 2020.
-
L-space knots with tunnel number >1 by experiment
Authors:
Chris Anderson,
Kenneth L. Baker,
Xinghua Gao,
Marc Kegel,
Khanh Le,
Kyle Miller,
Sinem Onaran,
Geoffrey Sangston,
Samuel Tripp,
Adam Wood,
Ana Wright
Abstract:
In Dunfield's catalog of the hyperbolic manifolds in the SnapPy census which are complements of L-space knots in $S^3$, we determine that $22$ have tunnel number $2$ while the remaining all have tunnel number $1$. Notably, these $22$ manifolds contain $9$ asymmetric L-space knot complements. Furthermore, using SnapPy and KLO we find presentations of these $22$ knots as closures of positive braids…
▽ More
In Dunfield's catalog of the hyperbolic manifolds in the SnapPy census which are complements of L-space knots in $S^3$, we determine that $22$ have tunnel number $2$ while the remaining all have tunnel number $1$. Notably, these $22$ manifolds contain $9$ asymmetric L-space knot complements. Furthermore, using SnapPy and KLO we find presentations of these $22$ knots as closures of positive braids that realize the Morton-Franks-Williams bound on braid index. The smallest of these has genus $12$ and braid index $4$.
△ Less
Submitted 18 January, 2021; v1 submitted 2 September, 2019;
originally announced September 2019.
-
Macroscopic Modeling, Calibration, and Simulation of Managed Lane-Freeway Networks, Part II: Network-scale Calibration and Case Studies
Authors:
Matthew A. Wright,
Roberto Horowitz,
Alex A. Kurzhanskiy
Abstract:
In Part I of this paper series, several macroscopic traffic model elements for mathematically describing freeway networks equipped with managed lane facilities were proposed. These modeling techniques seek to capture at the macroscopic the complex phenomena that occur on managed lane-freeway networks, where two parallel traffic flows interact with each other both in the physical sense (how and whe…
▽ More
In Part I of this paper series, several macroscopic traffic model elements for mathematically describing freeway networks equipped with managed lane facilities were proposed. These modeling techniques seek to capture at the macroscopic the complex phenomena that occur on managed lane-freeway networks, where two parallel traffic flows interact with each other both in the physical sense (how and where cars flow between the two lane groups) and the physiological sense (how driving behaviors are changed by being adjacent to a quantitatively and qualitatively different traffic flow).
The local descriptions we developed in Part I are not the only modeling complexity introduced in managed lane-freeway networks. The complex topologies mean that network-scale modeling of a freeway corridor is increased in complexity as well. The already-difficult model calibration problem for a dynamic model of a freeway becomes more complex when the freeway becomes, in effect, two interrelating flow streams. In the present paper, we present an iterative-learning-based approach to calibrating our model's physical and driver-behavioral parameters. We consider the common situation where a complex traffic model needs to be calibrated to recreate real-world baseline traffic behavior, such that counterfactuals can be generated by training purposes. Our method is used to identify traditional freeway parameters as well as the proposed parameters that describe managed lane-freeway-network-specific behaviors. We validate our model and calibration methodology with case studies of simulations of two managed lane-equipped California freeways.
△ Less
Submitted 26 August, 2019;
originally announced August 2019.
-
The WYSIWYG compactification
Authors:
Dawei Chen,
Alex Wright
Abstract:
We show that the partial compactification of a stratum of Abelian differentials previously considered by Mirzakhani and Wright is not an algebraic variety. Despite this, we use a combination of algebro-geometric and other methods to provide a short, unconditional proof of Mirzakhani and Wright's formula for the tangent space to the boundary of a GL(2,R) orbit closure, and give new results on the s…
▽ More
We show that the partial compactification of a stratum of Abelian differentials previously considered by Mirzakhani and Wright is not an algebraic variety. Despite this, we use a combination of algebro-geometric and other methods to provide a short, unconditional proof of Mirzakhani and Wright's formula for the tangent space to the boundary of a GL(2,R) orbit closure, and give new results on the structure of the boundary.
△ Less
Submitted 11 August, 2020; v1 submitted 20 August, 2019;
originally announced August 2019.
-
An automatic dynamic balancer in a rotating mechanism with time-varying angular velocity
Authors:
James A Wright,
Linyu Peng
Abstract:
We consider the system of a two ball automatic dynamic balancer attached to a rotating disc with nonconstant angular velocity. We directly compare the scenario of constant angular velocity with that when the acceleration of the rotor is taken into consideration. In doing so we show that there are cases where one must take the acceleration phase into consideration to obtain an accurate picture of t…
▽ More
We consider the system of a two ball automatic dynamic balancer attached to a rotating disc with nonconstant angular velocity. We directly compare the scenario of constant angular velocity with that when the acceleration of the rotor is taken into consideration. In doing so we show that there are cases where one must take the acceleration phase into consideration to obtain an accurate picture of the dynamics. Similarly we identify cases where the acceleration phase of the disc may be ignored. Finally, we briefly consider nonmonotonic variations of the angular velocity, with a view of maximising the basin of attraction of the desired solution, corresponding to damped vibrations.
△ Less
Submitted 10 June, 2019;
originally announced June 2019.
-
A tour through Mirzakhani's work on moduli spaces of Riemann surfaces
Authors:
Alex Wright
Abstract:
We survey Mirzakhani's work relating to Riemann surfaces, which spans about 20 papers. We target the discussion at a broad audience of non-experts.
We survey Mirzakhani's work relating to Riemann surfaces, which spans about 20 papers. We target the discussion at a broad audience of non-experts.
△ Less
Submitted 11 February, 2020; v1 submitted 5 May, 2019;
originally announced May 2019.
-
Mirzakhani's work on earthquake flow
Authors:
Alex Wright
Abstract:
The Teichmuller unipotent flow can be defined concretely on certain moduli spaces of singular flat surfaces by shearing polygonal presentations of the surfaces. Thurston's earthquake flow on moduli spaces of hyperbolic surfaces is more mysterious. Both flows have deep and important connections to other areas of mathematics.
In this expository survey we give a geometric account of the main ideas…
▽ More
The Teichmuller unipotent flow can be defined concretely on certain moduli spaces of singular flat surfaces by shearing polygonal presentations of the surfaces. Thurston's earthquake flow on moduli spaces of hyperbolic surfaces is more mysterious. Both flows have deep and important connections to other areas of mathematics.
In this expository survey we give a geometric account of the main ideas behind Mirzakhani's theorem relating these two flows. Our presentation avoids some technical prerequisites that featured in the original more analytic presentation.
△ Less
Submitted 13 September, 2021; v1 submitted 17 October, 2018;
originally announced October 2018.
-
Nearly Fuchsian surface subgroups of finite covolume Kleinian groups
Authors:
Jeremy Kahn,
Alex Wright
Abstract:
Let Gamma < PSL_2(C) be discrete, cofinite volume, and noncocompact. We prove that for all K > 1, there is a subgroup H < Gamma that is K-quasiconformally conjugate to a discrete cocompact subgroup of PSL_2(R). Along with previous work of Kahn and Markovic, this proves that every finite covolume Kleinian group has a nearly Fuchsian surface subgroup.
Let Gamma < PSL_2(C) be discrete, cofinite volume, and noncocompact. We prove that for all K > 1, there is a subgroup H < Gamma that is K-quasiconformally conjugate to a discrete cocompact subgroup of PSL_2(R). Along with previous work of Kahn and Markovic, this proves that every finite covolume Kleinian group has a nearly Fuchsian surface subgroup.
△ Less
Submitted 30 July, 2020; v1 submitted 19 September, 2018;
originally announced September 2018.
-
A Framework for Robust Assimilation of Potentially Malign Third-Party Data, and its Statistical Meaning
Authors:
Matthew A. Wright,
Roberto Horowitz
Abstract:
This paper presents a model-based method for fusing data from multiple sensors with a hypothesis-test-based component for rejecting potentially faulty or otherwise malign data. Our framework is based on an extension of the classic particle filter algorithm for real-time state estimation of uncertain systems with nonlinear dynamics with partial and noisy observations. This extension, based on class…
▽ More
This paper presents a model-based method for fusing data from multiple sensors with a hypothesis-test-based component for rejecting potentially faulty or otherwise malign data. Our framework is based on an extension of the classic particle filter algorithm for real-time state estimation of uncertain systems with nonlinear dynamics with partial and noisy observations. This extension, based on classical statistical theories, utilizes statistical tests against the system's observation model. We discuss the application of the two major statistical testing frameworks, Fisherian significance testing and Neyman-Pearsonian hypothesis testing, to the Monte Carlo and sensor fusion settings. The Monte Carlo Neyman-Pearson test we develop is useful when one has a reliable model of faulty data, while the Fisher one is applicable when one may not have a model of faults, which may occur when dealing with third-party data, like GNSS data of transportation system users. These statistical tests can be combined with a particle filter to obtain a Monte Carlo state estimation scheme that is robust to faulty or outlier data. We present a synthetic freeway traffic state estimation problem where the filters are able to reject simulated faulty GNSS measurements. The fault-model-free Fisher filter, while underperforming the Neyman-Pearson one when the latter has an accurate fault model, outperforms it when the assumed fault model is incorrect.
△ Less
Submitted 4 March, 2019; v1 submitted 4 September, 2018;
originally announced September 2018.
-
A Dynamic-System-Based Approach to Modeling Driver Movements Across General-Purpose/Managed Lane Interfaces
Authors:
Matthew A. Wright,
Roberto Horowitz,
Alex A. Kurzhanskiy
Abstract:
To help mitigate road congestion caused by the unrelenting growth of traffic demand, many transportation authorities have implemented managed lane policies, which restrict certain freeway lanes to certain types of vehicles. It was originally thought that managed lanes would improve the use of existing infrastructure through demand-management behaviors like carpooling, but implementations have ofte…
▽ More
To help mitigate road congestion caused by the unrelenting growth of traffic demand, many transportation authorities have implemented managed lane policies, which restrict certain freeway lanes to certain types of vehicles. It was originally thought that managed lanes would improve the use of existing infrastructure through demand-management behaviors like carpooling, but implementations have often been characterized by unpredicted phenomena that are sometimes detrimental to system performance. The development of traffic models that can capture these sorts of behaviors is a key step for helping managed lanes deliver on their promised gains. Towards this goal, this paper presents an approach for solving for driver behavior of entering and exiting managed lanes at the macroscopic (i.e., fluid approximation of traffic) scale. Our method is inspired by recent work in extending a dynamic-system-based modeling framework from traffic behaviors on individual roads, to models at junctions, and can be considered a further extension of this dynamic-system paradigm to the route/lane choice problem. Unlike traditional route choice models that are often based on discrete-choice methods and often rely on computing and comparing drivers' estimated travel times from taking different routes, our method is agnostic to the particular choice of physical traffic model and is suited specifically towards making decisions at these interfaces using only local information. These features make it a natural drop-in component to extend existing dynamic traffic modeling methods.
△ Less
Submitted 3 July, 2018; v1 submitted 13 April, 2018;
originally announced April 2018.
-
Marked points on translation surfaces
Authors:
Paul Apisa,
Alex Wright
Abstract:
We show that all GL(2,R) equivariant point markings over orbit closures of translation surfaces arise from branched covering constructions and periodic points, completely classify such point markings over strata of quadratic differentials, and give applications to the finite blocking problem.
We show that all GL(2,R) equivariant point markings over orbit closures of translation surfaces arise from branched covering constructions and periodic points, completely classify such point markings over strata of quadratic differentials, and give applications to the finite blocking problem.
△ Less
Submitted 27 January, 2021; v1 submitted 10 August, 2017;
originally announced August 2017.
-
Generic second-order macroscopic traffic node model for general multi-input multi-output road junctions via a dynamic system approach
Authors:
Matthew A. Wright,
Roberto Horowitz
Abstract:
This paper addresses an open problem in traffic modeling: the second-order macroscopic node problem. A second-order macroscopic traffic model, in contrast to a first-order model, allows for variation of driving behavior across subpopulations of vehicles in the flow. The second-order models are thus more descriptive (e.g., they have been used to model variable mixtures of behaviorally-different tra…
▽ More
This paper addresses an open problem in traffic modeling: the second-order macroscopic node problem. A second-order macroscopic traffic model, in contrast to a first-order model, allows for variation of driving behavior across subpopulations of vehicles in the flow. The second-order models are thus more descriptive (e.g., they have been used to model variable mixtures of behaviorally-different traffic, like car/truck traffic, autonomous/human-driven traffic, etc.), but are much more complex. The second-order node problem is a particularly complex problem, as it requires the resolution of discontinuities in traffic density and mixture characteristics, and solving of throughflows for arbitrary numbers of input and output roads to a node (in other words, this is an arbitrary-dimensional Riemann problem with two conserved quantities). In this paper, we extend the well-known "Generic Class of Node Model" constraints to the second order and present a simple solution algorithm to the second-order node problem. Our solution makes use of a recently-introduced dynamic system characterization of the first-order node model problem, which gives insight and intuition as to the continuous-time dynamics implicit in node models. We further argue that the common "supply and demand" construction of node models that decouples them from link models is not suitable to the second-order node problem. Our second-order node model and solution method have immediate applications in allowing modeling of behaviorally-complex traffic flows of contemporary interest (like partially-autonomous-vehicle flows) in arbitrary road networks.
△ Less
Submitted 18 June, 2019; v1 submitted 28 July, 2017;
originally announced July 2017.
-
Totally geodesic submanifolds of Teichmuller space
Authors:
Alex Wright
Abstract:
We show that any totally geodesic submanifold of Teichmuller space of dimension greater than one covers a totally geodesic subvariety, and only finitely many totally geodesic subvarieties of dimension greater than one exist in each moduli space.
We show that any totally geodesic submanifold of Teichmuller space of dimension greater than one covers a totally geodesic subvariety, and only finitely many totally geodesic subvarieties of dimension greater than one exist in each moduli space.
△ Less
Submitted 5 August, 2024; v1 submitted 10 February, 2017;
originally announced February 2017.
-
The algebraic hull of the Kontsevich-Zorich cocycle
Authors:
Alex Eskin,
Simion Filip,
Alex Wright
Abstract:
We compute the algebraic hull of the Kontsevich-Zorich cocycle over any GL^+_2(R) invariant subvariety of the Hodge bundle, and derive from this finiteness results on such subvarieties.
We compute the algebraic hull of the Kontsevich-Zorich cocycle over any GL^+_2(R) invariant subvariety of the Hodge bundle, and derive from this finiteness results on such subvarieties.
△ Less
Submitted 23 November, 2017; v1 submitted 7 February, 2017;
originally announced February 2017.
-
Particle-Filter-Enabled Real-Time Sensor Fault Detection Without a Model of Faults
Authors:
Matthew A. Wright,
Roberto Horowitz
Abstract:
We are experiencing an explosion in the amount of sensors measuring our activities and the world around us. These sensors are spread throughout the built environment and can help us perform state estimation and control of related systems, but they are often built and/or maintained by third parties or system users. As a result, by outsourcing system measurement to third parties, the controller must…
▽ More
We are experiencing an explosion in the amount of sensors measuring our activities and the world around us. These sensors are spread throughout the built environment and can help us perform state estimation and control of related systems, but they are often built and/or maintained by third parties or system users. As a result, by outsourcing system measurement to third parties, the controller must accept their measurements without being able to directly verify the sensors' correct operation. Instead, detection and rejection of measurements from faulty sensors must be done with the raw data only. Towards this goal, we present a method of detecting possibly faulty behavior of sensors. The method does not require that the control designer have any model of faulty sensor behavior. As we discuss, it turns out that the widely-used particle filter state estimation algorithm provides the ingredients necessary for a hypothesis test against all ranges of correct operating behavior, obviating the need for a fault model to compare measurements. We demonstrate the applicability of our method by demonstrating its ability to reject faulty measurements and improve state estimation accuracy in a nonlinear vehicle traffic model without information of generated faulty measurements' characteristics. In our test, we correctly identify nearly 90% of measurements as faulty or non-faulty without having any fault model. This leads to only a 3% increase in state estimation error over a theoretical 100%-accurate fault detector.
△ Less
Submitted 21 September, 2017; v1 submitted 21 September, 2016;
originally announced September 2016.
-
A dynamic system characterization of road network node models
Authors:
Matthew A. Wright,
Roberto Horowitz,
Alex A. Kurzhanskiy
Abstract:
The propagation of traffic congestion along roads is a commonplace nonlinear phenomenon. When many roads are connected in a network, congestion can spill from one road to others as drivers queue to enter a congested road, creating further nonlinearities in the network dynamics. This paper considers the node model problem, which refers to methods for solving for cross-flows when roads meet at a jun…
▽ More
The propagation of traffic congestion along roads is a commonplace nonlinear phenomenon. When many roads are connected in a network, congestion can spill from one road to others as drivers queue to enter a congested road, creating further nonlinearities in the network dynamics. This paper considers the node model problem, which refers to methods for solving for cross-flows when roads meet at a junction. We present a simple hybrid dynamic system that, given a macroscopic snapshot of the roads entering and exiting a node, intuitively models the node's throughflows over time. This dynamic system produces solutions to the node model problem that are equal to those produced by many popular node models without intuitive physical meanings. We also show how the earlier node models can be rederived as executions of our dynamic system. The intuitive physical description supplied by our system provides a base for control of the road junction system dynamics, as well as the emergent network dynamics.
△ Less
Submitted 26 August, 2016;
originally announced August 2016.
-
Full rank affine invariant submanifolds
Authors:
Maryam Mirzakhani,
Alex Wright
Abstract:
We show that every GL(2, R) orbit closure of translation surfaces is either a connected component of a stratum, the hyperelliptic locus, or consists entirely of surfaces whose Jacobians have extra endomorphisms. We use this result to give applications related to polygonal billiards. For example, we exhibit infinitely many rational triangles whose unfoldings have dense GL(2,R) orbit.
We show that every GL(2, R) orbit closure of translation surfaces is either a connected component of a stratum, the hyperelliptic locus, or consists entirely of surfaces whose Jacobians have extra endomorphisms. We use this result to give applications related to polygonal billiards. For example, we exhibit infinitely many rational triangles whose unfoldings have dense GL(2,R) orbit.
△ Less
Submitted 22 October, 2017; v1 submitted 6 August, 2016;
originally announced August 2016.
-
The boundary of an affine invariant submanifold
Authors:
Maryam Mirzakhani,
Alex Wright
Abstract:
We study the boundary of an affine invariant submanifold of a stratum of translation surfaces in a partial compactification consisting of all finite area Abelian differentials over nodal Riemann surfaces, modulo zero area components. The main result is a formula for the tangent space to the boundary. We also prove finiteness results concerning cylinders, a partial converse to the Cylinder Deformat…
▽ More
We study the boundary of an affine invariant submanifold of a stratum of translation surfaces in a partial compactification consisting of all finite area Abelian differentials over nodal Riemann surfaces, modulo zero area components. The main result is a formula for the tangent space to the boundary. We also prove finiteness results concerning cylinders, a partial converse to the Cylinder Deformation Theorem, and a result generalizing part of the Veech dichotomy.
△ Less
Submitted 14 July, 2020; v1 submitted 6 August, 2015;
originally announced August 2015.
-
Stable dynamics in forced systems with sufficiently high/low forcing frequency
Authors:
M. Bartuccelli,
G. Gentile,
J. A. Wright
Abstract:
We consider a class of parametrically forced Hamiltonian systems with one-and-a-half degrees of freedom and study the stability of the dynamics when the frequency of the forcing is relatively high or low. We show that, provided the frequency of the forcing is sufficiently high, KAM theorem may be applied even when the forcing amplitude is far away from the perturbation regime. A similar result is…
▽ More
We consider a class of parametrically forced Hamiltonian systems with one-and-a-half degrees of freedom and study the stability of the dynamics when the frequency of the forcing is relatively high or low. We show that, provided the frequency of the forcing is sufficiently high, KAM theorem may be applied even when the forcing amplitude is far away from the perturbation regime. A similar result is obtained for sufficiently low frequency forcing, but in that case we need the amplitude of the forcing to be not too large; however we are still able to consider amplitudes of the forcing which are outside of the perturbation regime. Our results are illustrated by means of numerical simulations for the system of a forced cubic oscillator. In addition, we find numerically that the dynamics are stable even when the forcing amplitude is very large (beyond the range of validity of the analytical results), provided the frequency of the forcing is taken correspondingly low.
△ Less
Submitted 26 June, 2015;
originally announced June 2015.
-
From rational billiards to dynamics on moduli spaces
Authors:
Alex Wright
Abstract:
This short expository note gives an elementary introduction to the study of dynamics on certain moduli spaces, and in particular the recent breakthrough result of Eskin, Mirzakhani, and Mohammadi. We also discuss the context and applications of this result, and connections to other areas of mathematics such as algebraic geometry, Teichmuller theory, and ergodic theory on homogeneous spaces.
This short expository note gives an elementary introduction to the study of dynamics on certain moduli spaces, and in particular the recent breakthrough result of Eskin, Mirzakhani, and Mohammadi. We also discuss the context and applications of this result, and connections to other areas of mathematics such as algebraic geometry, Teichmuller theory, and ergodic theory on homogeneous spaces.
△ Less
Submitted 26 July, 2015; v1 submitted 30 April, 2015;
originally announced April 2015.
-
Finiteness of Teichmüller curves in non-arithmetic rank 1 orbit closures
Authors:
Erwan Lanneau,
Duc-Manh Nguyen,
Alex Wright
Abstract:
We show that in any non-arithmetic rank 1 orbit closure of translation surfaces, there are only finitely many Teichmüller curves. We also show that in any non-arithmetic rank 1 orbit closure, any completely parabolic surface is Veech.
We show that in any non-arithmetic rank 1 orbit closure of translation surfaces, there are only finitely many Teichmüller curves. We also show that in any non-arithmetic rank 1 orbit closure, any completely parabolic surface is Veech.
△ Less
Submitted 7 August, 2016; v1 submitted 14 April, 2015;
originally announced April 2015.
-
A smooth mixing flow on a surface with non-degenerate fixed points
Authors:
Jon Chaika,
Alex Wright
Abstract:
We construct a smooth, area preserving, mixing flow with finitely many non-degenerate fixed points and no saddle connections on a closed surface of genus 5. This resolves a problem that has been open for four decades.
We construct a smooth, area preserving, mixing flow with finitely many non-degenerate fixed points and no saddle connections on a closed surface of genus 5. This resolves a problem that has been open for four decades.
△ Less
Submitted 12 January, 2015;
originally announced January 2015.
-
Translation surfaces and their orbit closures: An introduction for a broad audience
Authors:
Alex Wright
Abstract:
Translation surfaces can be defined in an elementary way via polygons, and arise naturally in in the study of various basic dynamical systems. They can also be defined as Abelian differentials on Riemann surfaces, and have moduli spaces called strata that are related to the moduli space of Riemann surfaces. There is a GL(2,R) action on each stratum, and to solve most problems about a translation s…
▽ More
Translation surfaces can be defined in an elementary way via polygons, and arise naturally in in the study of various basic dynamical systems. They can also be defined as Abelian differentials on Riemann surfaces, and have moduli spaces called strata that are related to the moduli space of Riemann surfaces. There is a GL(2,R) action on each stratum, and to solve most problems about a translation surface one must first know the closure of its orbit under this action. Furthermore, these orbit closures are of fundamental interest in their own right, and are now known to be algebraic varieties that parameterize translation surfaces with extraordinary algebro-geometric and flat properties. The study of orbit closures has greatly accelerated in recent years, with an influx of new tools and ideas coming diverse areas of mathematics.
This survey is an invitation for mathematicians from different backgrounds to become familiar with the subject. Little background knowledge, beyond the definition of a Riemann surface and its cotangent bundle, is assumed, and top priority is given to presenting a view of the subject that is at once accessible and connected to many areas of mathematics.
△ Less
Submitted 6 November, 2014;
originally announced November 2014.
-
Basins of attraction in forced systems with time-varying dissipation
Authors:
James A. Wright,
Jonathan H. B. Deane,
Michele Bartuccelli,
Guido Gentile
Abstract:
We consider dissipative periodically forced systems and investigate cases in which having information as to how the system behaves for constant dissipation may be used when dissipation varies in time before settling at a constant final value. First, we consider situations where one is interested in the basins of attraction for damping coefficients varying linearly between two given values over man…
▽ More
We consider dissipative periodically forced systems and investigate cases in which having information as to how the system behaves for constant dissipation may be used when dissipation varies in time before settling at a constant final value. First, we consider situations where one is interested in the basins of attraction for damping coefficients varying linearly between two given values over many different time intervals: we outline a method to reduce the computation time required to estimate numerically the relative areas of the basins and discuss its range of applicability. Second, we observe that sometimes very slight changes in the time interval may produce abrupt large variations in the relative areas of the basins of attraction of the surviving attractors: we show how comparing the contracted phase space at a time after the final value of dissipation has been reached with the basins of attraction corresponding to that value of constant dissipation can explain the presence of such variations. Both procedures are illustrated by application to a pendulum with periodically oscillating support.
△ Less
Submitted 2 July, 2014;
originally announced July 2014.
-
The effects of time-dependent dissipation on the basins of attraction for the pendulum with oscillating support
Authors:
James A. Wright,
Michele Bartuccelli,
Guido Gentile
Abstract:
We consider a pendulum with vertically oscillating support and time-dependent damping coefficient which varies until reaching a finite final value. The sizes of the corresponding basins of attraction are found to depend strongly on the full evolution of the dissipation. In order to predict the behaviour of the system, it is essential to understand how the sizes of the basins of attraction for cons…
▽ More
We consider a pendulum with vertically oscillating support and time-dependent damping coefficient which varies until reaching a finite final value. The sizes of the corresponding basins of attraction are found to depend strongly on the full evolution of the dissipation. In order to predict the behaviour of the system, it is essential to understand how the sizes of the basins of attraction for constant dissipation depend on the damping coefficient. For values of the parameters in the perturbation regime, we characterise analytically the conditions under which the attractors exist and study numerically how the sizes of their basins of attraction depend on the damping coefficient. Away from the perturbation regime, a numerical study of the attractors and the corresponding basins of attraction for different constant values of the damping coefficient produces a much more involved scenario: changing the magnitude of the dissipation causes some attractors to disappear either leaving no trace or producing new attractors by bifurcation, such as period doubling and saddle-node bifurcation. For an initially non-constant damping coefficient, both increasing and decreasing to some finite final value, we numerically observe that, when the damping coefficient varies slowly from a finite initial value to a different final value, without changing the set of attractors, the slower the variation the closer the sizes of the basins of attraction are to those they have for constant damping coefficient fixed at the initial value. If during the variation of the damping coefficient attractors appear or disappear, remarkable additional phenomena may occur. For instance, a fixed point asymptotically may attract the entire phase space, up to a zero measure set, even though no attractor with such a property exists for any value of the damping coefficient between the extreme values.
△ Less
Submitted 19 March, 2014;
originally announced March 2014.
-
Consistent Testing for Recurrent Genomic Aberrations
Authors:
Vonn Walter,
Fred A. Wright,
Andrew B. Nobel
Abstract:
Genomic aberrations, such as somatic copy number alterations, are frequently observed in tumor tissue. Recurrent aberrations, occurring in the same region across multiple subjects, are of interest because they may highlight genes associated with tumor development or progression. A number of tools have been proposed to assess the statistical significance of recurrent DNA copy number aberrations, bu…
▽ More
Genomic aberrations, such as somatic copy number alterations, are frequently observed in tumor tissue. Recurrent aberrations, occurring in the same region across multiple subjects, are of interest because they may highlight genes associated with tumor development or progression. A number of tools have been proposed to assess the statistical significance of recurrent DNA copy number aberrations, but their statistical properties have not been carefully studied. Cyclic shift testing, a permutation procedure using independent random shifts of genomic marker observations on the genome, has been proposed to identify recurrent aberrations, and is potentially useful for a wider variety of purposes, including identifying regions with methylation aberrations or overrepresented in disease association studies. For data following a countable-state Markov model, we prove the asymptotic validity of cyclic shift $p$-values under a fixed sample size regime as the number of observed markers tends to infinity. We illustrate cyclic shift testing for a variety of data types, producing biologically relevant findings for three publicly available datasets.
△ Less
Submitted 7 March, 2014;
originally announced March 2014.
-
Classification of higher rank orbit closures in H^{odd}(4)
Authors:
David Aulicino,
Duc-Manh Nguyen,
Alex Wright
Abstract:
The moduli space of genus 3 translation surfaces with a single zero has two connected components. We show that in the odd connected component H^{odd}(4) the only GL^+(2,R) orbit closures are closed orbits, the Prym locus Q(3,-1^3), and H^{odd}(4).
Together with work of Matheus-Wright, this implies that there are only finitely many non-arithmetic closed orbits (Teichmuller curves) in H^{odd}(4) o…
▽ More
The moduli space of genus 3 translation surfaces with a single zero has two connected components. We show that in the odd connected component H^{odd}(4) the only GL^+(2,R) orbit closures are closed orbits, the Prym locus Q(3,-1^3), and H^{odd}(4).
Together with work of Matheus-Wright, this implies that there are only finitely many non-arithmetic closed orbits (Teichmuller curves) in H^{odd}(4) outside of the Prym locus.
△ Less
Submitted 4 April, 2014; v1 submitted 27 August, 2013;
originally announced August 2013.
-
Hodge-Teichmueller planes and finiteness results for Teichmueller curves
Authors:
Carlos Matheus,
Alex Wright
Abstract:
We prove that there are only finitely many algebraically primitive Teichmueller curves in the minimal stratum in each prime genus at least 3. The proof is based on the study of certain special planes in the first cohomology of a translation surface which we call Hodge-Teichmueller planes.
We also show that algebraically primitive Teichmueller curves are not dense in any connected component of an…
▽ More
We prove that there are only finitely many algebraically primitive Teichmueller curves in the minimal stratum in each prime genus at least 3. The proof is based on the study of certain special planes in the first cohomology of a translation surface which we call Hodge-Teichmueller planes.
We also show that algebraically primitive Teichmueller curves are not dense in any connected component of any stratum in genus at least 3; the closure of the union of all such curves (in a fixed stratum) is equal to a finite union of affine invariant submanifolds with unlikely properties. Results of this type hold even without the assumption of algebraic primitivity.
Combined with work of Nguyen and the second author, a corollary of our results is that there are at most finitely many non-arithmetic Teichmueller curves in H(4)^hyp.
△ Less
Submitted 5 August, 2014; v1 submitted 4 August, 2013;
originally announced August 2013.
-
Non-Veech surfaces in H^hyp(4) are generic
Authors:
Duc-Manh Nguyen,
Alex Wright
Abstract:
We show that every surface in H^hyp(4) is either a Veech surface or a generic surface, i.e. its GL^+(2,R)-orbit is either a closed or a dense subset of H^hyp(4) . The proof develops new techniques applicable in general to the problem of classifying orbit closures, especially in low genus. Recent results of Eskin-Mirzakhani-Mohammadi, Avila-Eskin-Möller, and the second author are used.
Combined w…
▽ More
We show that every surface in H^hyp(4) is either a Veech surface or a generic surface, i.e. its GL^+(2,R)-orbit is either a closed or a dense subset of H^hyp(4) . The proof develops new techniques applicable in general to the problem of classifying orbit closures, especially in low genus. Recent results of Eskin-Mirzakhani-Mohammadi, Avila-Eskin-Möller, and the second author are used.
Combined with work of Matheus and the second author, a corollary is that there are at most finitely many non-arithmetic Teichmüller curves (closed orbits of surfaces not covering the torus) in H^hyp(4).
△ Less
Submitted 17 June, 2014; v1 submitted 20 June, 2013;
originally announced June 2013.
-
Cylinder deformations in orbit closures of translation surfaces
Authors:
Alex Wright
Abstract:
Let M be a translation surface. We show that certain deformations of M supported on the set of all cylinders in a given direction remain in the GL(2,R)-orbit closure of M. Applications are given concerning complete periodicity, field of definition, and the number of of parallel cylinders which may be found on a translation surface in a given orbit closure.
The proof uses Eskin-Mirzakhani-Mohamma…
▽ More
Let M be a translation surface. We show that certain deformations of M supported on the set of all cylinders in a given direction remain in the GL(2,R)-orbit closure of M. Applications are given concerning complete periodicity, field of definition, and the number of of parallel cylinders which may be found on a translation surface in a given orbit closure.
The proof uses Eskin-Mirzakhani-Mohammadi's recent theorem on orbit closures of translation surfaces, as well as results of Minsky-Weiss and Smillie-Weiss on the dynamics of horocycle flow.
△ Less
Submitted 5 March, 2013; v1 submitted 17 February, 2013;
originally announced February 2013.
-
Convergence and prediction of principal component scores in high-dimensional settings
Authors:
Seunggeun Lee,
Fei Zou,
Fred A. Wright
Abstract:
A number of settings arise in which it is of interest to predict Principal Component (PC) scores for new observations using data from an initial sample. In this paper, we demonstrate that naive approaches to PC score prediction can be substantially biased toward 0 in the analysis of large matrices. This phenomenon is largely related to known inconsistency results for sample eigenvalues and eigenve…
▽ More
A number of settings arise in which it is of interest to predict Principal Component (PC) scores for new observations using data from an initial sample. In this paper, we demonstrate that naive approaches to PC score prediction can be substantially biased toward 0 in the analysis of large matrices. This phenomenon is largely related to known inconsistency results for sample eigenvalues and eigenvectors as both dimensions of the matrix increase. For the spiked eigenvalue model for random matrices, we expand the generality of these results, and propose bias-adjusted PC score prediction. In addition, we compute the asymptotic correlation coefficient between PC scores from sample and population eigenvectors. Simulation and real data examples from the genetics literature show the improved bias and numerical properties of our estimators.
△ Less
Submitted 13 November, 2012;
originally announced November 2012.
-
The field of definition of affine invariant submanifolds of the moduli space of abelian differentials
Authors:
Alex Wright
Abstract:
The field of definition of an affine invariant submanifold M is the smallest subfield of the reals such that M can be defined in local period coordinates by linear equations with coefficients in this field. We show that the field of definition is equal to the intersection of the holonomy fields of translation surfaces in M, and is a real number field of degree at most the genus. We show that the p…
▽ More
The field of definition of an affine invariant submanifold M is the smallest subfield of the reals such that M can be defined in local period coordinates by linear equations with coefficients in this field. We show that the field of definition is equal to the intersection of the holonomy fields of translation surfaces in M, and is a real number field of degree at most the genus. We show that the projection of the tangent bundle of M to absolute cohomology H^1 is simple, and give a direct sum decomposition of H^1. Applications include explicit full measure sets of translation surfaces whose orbit closures are as large as possible, and evidence for finiteness of algebraically primitive Teichmüller curves. The proofs use recent results of Artur Avila, Alex Eskin, Maryam Mirzakhani, Amir Mohammadi, and Martin Möller.
△ Less
Submitted 3 April, 2014; v1 submitted 17 October, 2012;
originally announced October 2012.
-
Schwarz triangle mappings and Teichmüller curves: the Veech-Ward-Bouw-Möller curves
Authors:
Alex Wright
Abstract:
We study a family of Teichmüller curves T(n,m) constructed by Bouw and Möller, and previously by Veech and Ward in the cases n=2,3. We simplify the proof that T(n,m) is a Teichmüller curve, avoiding the use Möller's characterization of Teichmüller curves in terms of maximally Higgs bundles. Our key tool is a description of the period mapping of T(n,m) in terms of Schwarz triangle mappings.
We pr…
▽ More
We study a family of Teichmüller curves T(n,m) constructed by Bouw and Möller, and previously by Veech and Ward in the cases n=2,3. We simplify the proof that T(n,m) is a Teichmüller curve, avoiding the use Möller's characterization of Teichmüller curves in terms of maximally Higgs bundles. Our key tool is a description of the period mapping of T(n,m) in terms of Schwarz triangle mappings.
We prove that T(n,m) is always generated by Hooper's lattice surface with semiregular polygon decomposition. We compute Lyapunov exponents, and determine algebraic primitivity in all cases. We show that frequently, every point (Riemann surface) on T(n,m) covers some point on some distinct T(n',m').
The T(n,m) arise as fiberwise quotients of families of abelian covers of CP^1 branched over four points. These covers of CP^1 can be considered as abelian parallelogram-tiled surfaces, and this viewpoint facilitates much of our study.
△ Less
Submitted 23 January, 2013; v1 submitted 12 March, 2012;
originally announced March 2012.
-
Schwarz triangle mappings and Teichmüller curves: abelian square-tiled surfaces
Authors:
Alex Wright
Abstract:
We consider normal covers of CP^1 with abelian deck group, branched over at most four points. Families of such covers yield arithmetic Teichmüller curves, whose period mapping may be described geometrically in terms of Schwarz triangle mappings. These Teichmüller curves are generated by abelian square-tiled surfaces.
We compute all individual Lyapunov exponents for abelian square-tiled surfaces,…
▽ More
We consider normal covers of CP^1 with abelian deck group, branched over at most four points. Families of such covers yield arithmetic Teichmüller curves, whose period mapping may be described geometrically in terms of Schwarz triangle mappings. These Teichmüller curves are generated by abelian square-tiled surfaces.
We compute all individual Lyapunov exponents for abelian square-tiled surfaces, and demonstrate a direct and transparent dependence on the geometry of the period mapping. For this we develop a result of independent interest, which, for certain rank two bundles, expresses Lyapunov exponents in terms of the period mapping. In the case of abelian square-tiled surfaces, the Lyapunov exponents are ratios of areas of hyperbolic triangles.
△ Less
Submitted 17 October, 2012; v1 submitted 12 March, 2012;
originally announced March 2012.
