Researcher profile

Michael Damron

Michael Damron contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2022arXiv

Fluctuation bounds for first-passage percolation on the square, tube, and torus

In first-passage percolation, one assigns i.i.d. nonnegative weights $(t_e)$ to the edges of $\mathbb{Z}^d$ and studies the induced distance (passage time) $T(x,y)$ between vertices $x$ and $y$. It is known that for $d=2$, the fluctuations of $T(x,y)$ are at least order $\sqrt{\log |x-y|}$ under mild assumptions on $t_e$. We study the question of fluctuation lower bounds for $T_n$, the minimal passage time between two opposite sides of an $n$ by $n$ square. The main result is that, under a curvature assumption, this quantity has fluctuations at least of order $n^{1/8-ε}$ for any $ε>0$ when the $t_e$ are exponentially distributed. As previous arguments to bound the fluctuations of $T(x,y)$ only give a constant lower bound for those of $T_n$ (even assuming curvature), a different argument, representing $T_n$ as a minimum of cylinder passage times, and deriving more detailed information about the distribution of cylinder times using the Markov property, is developed. As a corollary, we obtain the first polynomial lower bounds on higher central moments of the discrete torus passage time, under the same curvature assumption.

preprint2022arXiv

On the number and size of holes in the growing ball of first-passage percolation

First-passage percolation is a random growth model defined on $\mathbb{Z}^d$ using i.i.d. nonnegative weights $(τ_e)$ on the edges. Letting $T(x,y)$ be the distance between vertices $x$ and $y$ induced by the weights, we study the random ball of radius $t$ centered at the origin, $B(t) = \{x \in \mathbb{Z}^d : T(0,x) \leq t\}$. It is known that for all such $τ_e$, the number of vertices (volume) of $B(t)$ is at least order $t^d$, and under mild conditions on $τ_e$, this volume grows like a deterministic constant times $t^d$. Defining a hole in $B(t)$ to be a bounded component of the complement $B(t)^c$, we prove that if $τ_e$ is not deterministic, then a.s., for all large $t$, $B(t)$ has at least $ct^{d-1}$ many holes, and the maximal volume of any hole is at least $c\log t$. Conditionally on the (unproved) uniform curvature assumption, we prove that a.s., for all large $t$, the number of holes is at most $(\log t)^C t^{d-1}$, and for $d=2$, no hole in $B(t)$ has volume larger than $(\log t)^C$. Without curvature, we show that no hole has volume larger than $Ct \log t$.

preprint2020arXiv

Absence of backward infinite paths for first-passage percolation in arbitrary dimension

In first-passage percolation (FPP), one places nonnegative random variables (weights) $(t_e)$ on the edges of a graph and studies the induced weighted graph metric. We consider FPP on $\mathbb{Z}^d$ for $d \geq 2$ and analyze the geometric properties of geodesics, which are optimizing paths for the metric. Specifically, we address the question of existence of bigeodesics, which are doubly-infinite paths whose subpaths are geodesics. It is a famous conjecture originating from a question of Furstenberg and most strongly supported for $d=2$ that for continuously distributed i.i.d. weights, there a.s. are no bigeodesics. We provide the first progress on this question in general dimensions under no unproven assumptions. Our main result is that geodesic graphs, introduced in a previous paper of two of the authors, constructed in any deterministic direction a.s. do not contain doubly-infinite paths. As a consequence, one can construct random graphs of subsequential limits of point-to-hyperplane geodesics which contain no bigeodesics. This gives evidence that bigeodesics, if they exist, cannot be constructed in a translation-invariant manner as limits of point-to-hyperplane geodesics.

preprint2020arXiv

Random nearest neighbor graphs: the translation invariant case

If $(ω(e))$ is a family of random variables (weights) assigned to the edges of $\mathbb{Z}^d$, the nearest neighbor graph is the directed graph induced by all edges $\langle x,y \rangle$ such that $ω(\{x,y\})$ is minimal among all neighbors $y$ of $x$. That is, each vertex points to its closest neighbor, if the weights are viewed as edge-lengths. Nanda-Newman introduced nearest neighbor graphs when the weights are i.i.d. and continuously distributed and proved that a.s., all components of the undirected version of the graph are finite. We study the case of translation invariant, distinct weights, and prove that nearest neighbor graphs do not contain doubly-infinite directed paths. In contrast to the i.i.d. case, we show that in this stationary case, the graphs can contain either one or two infinite components (but not more) in dimension two, and $k$ infinite components for any $k \in [1,\infty]$ in dimension $\geq 3$. The latter constructions use a general procedure to exhibit a certain class of directed graphs as nearest neighbor graphs with distinct weights, and thereby characterize all translation invariant nearest neighbor graphs. We also discuss relations to geodesic graphs from first-passage percolation and implications for the coalescing walk model of Chaika-Krishnan.

preprint2020arXiv

Stretched exponential decay for subcritical parking times on $\mathbb{Z}^d$

In the parking model on $\mathbb{Z}^d$, each vertex is initially occupied by a car (with probability $p$) or by a vacant parking spot (with probability $1-p$). Cars perform independent random walks and when they enter a vacant spot, they park there, thereby rendering the spot occupied. Cars visiting occupied spots simply keep driving (continuing their random walk). It is known that $p=1/2$ is a critical value in the sense that the origin is a.s. visited by finitely many distinct cars when $p<1/2$, and by infinitely many distinct cars when $p\geq 1/2$. Furthermore, any given car a.s. eventually parks for $p \leq 1/2$ and with positive probability does not park for $p > 1/2$. We study the subcritical phase and prove that the tail of the parking time $τ$ of the car initially at the origin obeys the bounds \[ \exp\left( - C_1 t^{\frac{d}{d+2}}\right) \leq \mathbb{P}_p(τ> t) \leq \exp\left( - c_2 t^{\frac{d}{d+2}}\right) \] for $p>0$ sufficiently small. For $d=1$, we prove these inequalities for all $p \in [0,1/2)$. This result presents an asymmetry with the supercritical phase ($p>1/2$), where methods of Bramson--Lebowitz imply that for $d=1$ the corresponding tail of the parking time of the parking spot of the origin decays like $e^{-c\sqrt{t}}$. Our exponent $d/(d+2)$ also differs from those previously obtained in the case of moving obstacles.

preprint2020arXiv

The number of ergodic measures for transitive subshifts under the regular bispecial condition

If $\mathcal{A}$ is a finite set (alphabet), the shift dynamical system consists of the space $\mathcal{A}^{\mathbb{N}}$ of sequences with entries in $\mathcal{A}$, along with the left shift operator $S$. Closed $S$-invariant subsets are called subshifts and arise naturally as encodings of other systems. In this paper, we study the number of ergodic measures for transitive subshifts under a condition (&#34;regular bispecial condition&#34;) on the possible extensions of words in the associated language. Our main result shows that under this condition, the subshift can support at most $\frac{K+1}{2}$ ergodic measures, where $K$ is the limiting value of $p(n+1)-p(n)$, and $p$ is the complexity function of the language. As a consequence, we answer a question of Boshernitzan from `84, providing a combinatorial proof for the bound on the number of ergodic measures for interval exchange transformations.

preprint2019arXiv

Sublinear variance in Euclidean first-passage percolation

The Euclidean first-passage percolation model of Howard and Newman is a rotationally invariant percolation model built on a Poisson point process. It is known that the passage time between 0 and $ne_1$ obeys a diffusive upper bound: $\mbox{Var}\, T(0,ne_1) \leq Cn$, and in this paper we improve this inequality to $Cn/\log n$. The methods follow the strategy used for sublinear variance proofs on the lattice, using the Falik-Samorodnitsky inequality and a Bernoulli encoding, but with substantial technical difficulties. To deal with the different setup of the Euclidean model, we represent the passage time as a function of Bernoulli sequences and uniform sequences, and develop several &#34;greedy lattice animal&#34; arguments.