Search

We define a notion of asymptotically spherical topological groups, which says that spheres of large radius with respect to any maximal length function are still spherical with respect to any other maximal length function. This is a strengthening of a related condition introduced by Sebastian Hurtado, which we call bounded eccentricity. Our main result is a partial characterization of which groups are asymptotically spherical, and we also give an example of a discrete, bounded eccentric group who fails to be asymptotically spherical.

We demonstrate that the proper homotopy equivalence relation for locally finite graphs is Borel complete. Furthermore, among the infinite graphs, there is a comeager equivalence class. As corollaries, we obtain the analogous results for the homeomorphism relation of noncompact surfaces with pants decompositions., Comment: 13 pages, 12 figures

We reinterpret various properties of Noetherian local rings via the existence of some $n$-ary numerical function satisfying certain uniform bounds. We provide such characterizations for seminormality, weak normality, generalized Cohen-Macaulayness, and $F$-purity, among others. Our proofs that such numerical functions exist are nonconstructive and rely on the transference of the property in question from a local ring to its ultrapower or catapower., Comment: Written during the 2023 SMALL REU at Williams College. 19 pages. Comments welcome

Building on work of Brenner and Monsky from 2010 and on a Hilbert-Kunz calculation of Monsky from 1998, we exhibit a novel example of a hypersurface over $\overline{\mathbb{F}_2}$ in which tight closure does not commute with localization. Our methods involve a surprising tiling argument using Sierpi\'nski triangles, as well as an inspection of a certain dynamical system in characteristic two., Comment: Written during the 2022 SMALL REU at Williams College. Comments welcome

Let $(X,\tau)$ be a Polish space with Borel probability measure $\mu,$ and $G$ a locally finite one-ended Borel graph on $X.$ We show that $G$ admits a Borel one-ended spanning tree generically. If $G$ is induced by a free Borel action of an amenable (resp., polynomial growth) group then we show the same result $\mu$-a.e. (resp., everywhere). Our results generalize recent work of Tim\'ar, as well as of Conley, Gaboriau, Marks, and Tucker-Drob, who proved this in the probability measure preserving setting. We apply our theorem to find Borel orientations in even degree graphs and measurable and Baire measurable perfect matchings in regular bipartite graphs, refining theorems that were previously only known to hold for measure preserving graphs. In particular, we prove that bipartite one-ended $d$-regular Borel graphs admit Baire measurable perfect matchings., Comment: 18 pager, 4 figures

We prove a new pointwise ergodic theorem for probability-measure-preserving (pmp) actions of free groups, where the ergodic averages are taken over arbitrary finite subtrees of the standard Cayley graph rooted at the identity. This result is a significant strengthening of a theorem of Grigorchuk (1987) and Nevo and Stein (1994), and a version of it was conjectured by Bufetov in 2002. Our theorem for free groups arises from a new - backward - ergodic theorem for a countable-to-one pmp transformation, where the averages are taken over arbitrary trees of finite height in the backward orbit of the point (i.e. trees of possible pasts). We also discuss other applications of this backward theorem, in particular to the shift map with Markov measures, which yields a pointwise ergodic theorem along trees for the boundary actions of free groups., Comment: The proof of Theorem 6.2 is significantly shortened

We study the ratio, in a finite graph, of the sizes of the largest matching in any pair of disjoint matchings with the maximum total number of edges and the largest possible matching. Previously, it was shown that this ratio is between 4/5 and 1, and the class of graphs achieving 4/5 was completely characterized. In this paper, we first show that graph decompositions into paths and even cycles provide a new way to study this ratio. We then use this technique to characterize the graphs achieving ratio 1 among all graphs that can be covered by a certain choice of a maximum matching and maximum disjoint matchings.

For a finite graph $G$, we study the maximum $2$-edge colorable subgraph problem and a related ratio $\frac{\mu(G)}{\nu(G)}$, where $\nu(G)$ is the matching number of $G$, and $\mu(G)$ is the size of the largest matching in any pair $(H,H')$ of disjoint matchings maximizing $|H| + |H'|$ (equivalently, forming a maximum $2$-edge colorable subgraph). Previously, it was shown that $\frac{4}{5} \le \frac{\mu(G)}{\nu(G)} \le 1$, and the class of graphs achieving $\frac{4}{5}$ was completely characterized. We show here that any rational number between $\frac{4}{5}$ and $1$ can be achieved by a connected graph. Furthermore, we prove that every graph with ratio less than $1$ must admit special subgraphs.

Recent investigations on the catenary degrees of numerical monoids have demonstrated that this invariant is a powerful tool in understanding the factorization theory of this class of monoids. Although useful, the catenary degree is largely not sensitive to the lengths of factorizations of an element. In this paper, we study the monotone catenary degree of numerical monoids, which is a variant of catenary degree that requires chains run through factorization lengths monotonically. In general, the monotone catenary is greater than or equal to the catenary degree. We begin by providing an important class of monoids (arithmetical numerical monoids) for which monotone catenary degree is equal to the catenary degree. Conversely, we provide several classes of embedding dimension 3 numerical monoids where monotone catenary degree is strictly greater. We conclude by showing that this difference can grow arbitrarily large., Comment: Written in 2015 during the PURE Math undergraduate summer research program and funded by NSF award #1045147

In links with two components there are three different types of crossings: self-crossings in the first component, self crossings in the second component, and crossings between components. In this paper we examine the minimum number of crossing changes needed to unlink without changing the crossings between components. We restrict our attention to unlinking two component links with linking number zero and both components unknotted. We provide data for links with no more than ten crossings and general results about asymmetry of unlinking between components., Comment: 10 pages, 12 figures

We show that a certain tiling property (which directly implies the pointwise ergodic theorem) holds for pmp actions of amenable groups along increasing Tempelman F{\o}lner sequences, thus providing a short and combinatorial proof of the corresponding pointwise ergodic theorem., Comment: 7 pages