SearcharxivSearch

arXiv subjects

Bradley Forrest

Publications and source records attributed to Bradley Forrest.

10 recordsLinked to original sources

Lights Out On Nearly Complete Graphs

We study the generalization of the game Lights Out in which the standard square grid board is replaced by a graph. We examine the probability that, when a graph is chosen uniformly at random from the set of graphs with $n$ vertices and $e$ edges, the resulting game of Lights Out is universally solvable. Our work focuses on nearly complete graphs, graphs for which $e$ is close to $\binom{n}{2}$. For large values of $n$, we prove that, among nearly complete graphs, the probability of selecting a graph that gives a universally solvable game of Lights Out is maximized when $e = \binom{n}{2} - \lfloor \frac{n}{2} \rfloor$. More specifically, we prove that for any fixed integer $m > 0$, as $n$ approaches $\infty$, this value of $e$ maximizes the probability over all values of $e$ from $\binom{n}{2} - \lfloor \frac{n}{2} \rfloor - m$ to $\binom{n}{2}$.

math.CO

Compact aspherical solenoids

We consider compact, aspherical solenoids obtained as the inverse limit of a system of CW~complexes and covering maps. This includes $P$-adic solenoids, as well as the universal hyperbolic solenoid of Teichmüller theory. Using ideas from shape theory, we classify maps between such solenoids up to homotopy, and we prove a Dehn-Nielsen-type theorem for self-homotopy equivalences of such a solenoid. This generalizes a result of Odden regarding the universal hyperbolic solenoid.

math.GT

Nullhomotopic and Generating Knight's Tours on Non-Orientable Surfaces

We investigate closed knight's tours on Möbius strip and Klein bottle chess boards. In particular, we characterize the board dimensions that admit tours that are nullhomotopic and the board dimensions that admit tours that realize generators of the fundamental groups of each of the surfaces.

math.CO

Quasisymmetries of finitely ramified Julia sets

We develop a theory of quasisymmetries for finitely ramified fractals, with applications to finitely ramified Julia sets. We prove that certain finitely ramified fractals admit a naturally defined class of "undistorted metrics" that are all quasi-equivalent. As a result, piecewise-defined homeomorphisms of such a fractal that locally preserve the cell structure are quasisymmetries. This immediately gives a solution to the quasisymmetric uniformization problem for topologically rigid fractals such as the Sierpiński triangle. We show that our theory applies to many finitely ramified Julia sets, and we prove that any connected Julia set for a hyperbolic unicritical polynomial has infinitely many quasisymmetries, generalizing a result of Lyubich and Merenkov. We also prove that the quasisymmetry group of the Julia set for the rational function $1-z^{-2}$ is infinite, and we show that the quasisymmetry groups for the Julia sets of a broad class of polynomials contain Thompson's group $F$.

math.DS

Rearrangement groups of fractals

We construct rearrangement groups for edge replacement systems, an infinite class of groups that generalize Richard Thompson's groups F, T, and V . Rearrangement groups act by piecewise-defined homeomorphisms on many self-similar topological spaces, among them the Vicsek fractal and many Julia sets. We show that every rearrangement group acts properly on a locally finite CAT(0) cubical complex, and we use this action to prove that certain rearrangement groups are of type F infinity.

math.GR

A Thompson group for the basilica

We describe a Thompson-like group of homeomorphisms of the basilica Julia set. Each element of this group acts as a piecewise-linear homeomorphism of the unit circle that preserves the invariant lamination for the basilica. We develop an analogue of tree pair diagrams for this group which we call arc pair diagrams, and we use these diagrams to prove that the group is finitely generated. We also prove that the group is virtually simple.

math.GR

Lights Out On A Random Graph

We consider the generalized game Lights Out played on a graph and investigate the following question: for a given positive integer $n$, what is the probability that a graph chosen uniformly at random from the set of graphs with $n$ vertices yields a universally solvable game of Lights Out? When $n \leq 11$, we compute this probability exactly by determining if the game is universally solvable for each graph with $n$ vertices. We approximate this probability for each positive integer $n$ with $n \leq 100$ by applying a Monte Carlo method using 1,000,000 trials. We also perform the analogous computations for connected graphs.

math.CO

The Topology of Knight's Tours on Surfaces

We investigate the homotopy classes of closed knight's tours on cylinders and tori. Specifically, we characterize the dimensions of cylindrical chessboards that admit closed knight's tours realizing the identity of the fundamental group and those that admit closed tours realizing a generator of the fundamental group. We also produce analogous results for toroidal chessboards.

math.CO

A Degree Theorem for the Space of Ribbon Graphs

This paper extends results of Hatcher and Vogtmann's work "Cerf Theory for Graphs" to ribbon graphs. Given an orientable, punctured and basepointed surface Sigma, we prove that the space of ribbon graphs that can be drawn in Sigma is filtered by simplicial complexes. The k-th simplicial complex is (k-1)-dimensional, (k-2)-connected and invariant under the action of the basepoint preserving mapping class group of Sigma.

math.GT

A presentation for Aut(F_n)

We study the action of the group Aut(F_n) of automorphisms of a finitely generated free group on the degree 2 subcomplex of the spine of Auter space. Hatcher and Vogtmann showed that this subcomplex is simply connected, and we use the method described by K. S. Brown to deduce a new presentation of Aut(F_n).

math.GR