
Internal diffusionlimited aggregation (IDLA) is a stochastic growth model on
a graph $G$ which describes the formation of a random set of vertices growing
from the origin (some fixed vertex) of $G$. Particles start at the origin and
perform simple random walks; each particle moves until it lands on a site which
was not previously visited by other particles. This random set of occupied
sites in $G$ is called the IDLA cluster.
In this paper we consider IDLA on Sierpinski gasket graphs, and show that the
IDLA cluster fills balls (in the graph metric) with probability 1.

We extend Feynman's analysis of the infinite ladder AC circuit to fractal AC
circuits. We show that the characteristic impedances can have positive real
part even though all the individual impedances inside the circuit are purely
imaginary. This provides a physical setting for analyzing wave propagation of
signals on fractals, by analogy with the Telegrapher's Equation, and
generalizes the real resistance metric on a fractal, which provides a measure
of distance on a fractal, to complex impedances.

We study the spectral zeta functions of the Laplacian on fractal sets which
are locally selfsimilar fractafolds, in the sense of Strichartz. These
functions are known to meromorphically extend to the entire complex plane, and
the locations of their poles, sometimes referred to as complex dimensions, are
of special interest. We give examples of selfsimilar sets such that their
complex dimensions are not on the imaginary axis, which allows us to interpret
their Laplacian determinant as the regularized product of their eigenvalues. We
then investigate a connection between the logarithm of the determinant of the
discrete graph Laplacian and the regularized one.

We present new results and challenges in obtaining hydrodynamic limits for
nonsymmetric (weakly asymmetric) particle systems (exclusion processes on
prefractal graphs) converging to a nonlinear heat equation. We discuss a
joint densitycurrent law of large numbers and a corresponding large deviations
principle.

We establish an abstract local ergodic theorem, under suitable spacetime
scaling, for the (boundarydriven) symmetric exclusion process on an increasing
sequence of balls covering an infinite weighted graph. The proofs are based on
1block and 2blocks estimates utilizing the resistance structure of the graph;
the moving particle lemma established recently by the author; and discrete
harmonic analysis. Our ergodic theorem applies to any infinite weighted graph
upon which random walk is strongly recurrent in the sense of Barlow, Delmotte,
and Telcs; these include many trees, fractal graphs, and random graphs arising
from percolation.
The main results of this paper are used to prove the joint densitycurrent
hydrodynamic limit of the boundarydriven exclusion process on the Sierpinski
gasket, described in an upcoming paper with M. Hinz and A. Teplyaev.

We prove a version of the moving particle lemma for the exclusion process on
any finite weighted graph, based on the octopus inequality of Caputo, Liggett,
and Richthammer. In light of their proof of Aldous' spectral gap conjecture, we
conjecture that our moving particle lemma is optimal in general. Our result can
be applied to graphs which lack translational invariance, including, but not
limited to, fractal graphs. An application of our result is the proof of local
ergodicity for the exclusion process on a class of weighted graphs, the details
of which are reported in a followup paper [arXiv:1705.10290].

Recently Herzog and Mattingly have shown that a $\mathbb{C}$valued
polynomial ODE which admits finitetime blowup solutions may be stabilized by
the addition of $\mathbb{C}$valued Brownian noise. In this paper we extend
their problem to a $\mathbb{C}^2$valued system of coupled ODEs that also
admits finitetime blowup solutions. We show analytically and numerically that
stabilization can be achieved in our setting by adding a suitable Brownian
noise, and that the resulting system of SDEs is ergodic. The proof uses
Girsanov theorem to effect a time change from our $\mathbb{C}^2$system to a
quasi$\mathbb{C}$system similar to the one studied by Herzog and Mattingly.

We extend Feynman's analysis of an infinite ladder circuit to fractal
circuits, providing examples in which fractal circuits constructed with purely
imaginary impedances can have characteristic impedances with positive real
part. Using (weak) selfsimilarity of our fractal structures, we provide
algorithms for studying the equilibrium distribution of energy on these
circuits. This extends the analysis of selfsimilar resistance networks
introduced by Fukushima, Kigami, Kusuoka, and more recently studied by
Strichartz et al.

We study the wave equation on onedimensional selfsimilar fractal structures
that can be analyzed by the spectral decimation method. We develop efficient
numerical approximation techniques and also provide uniform estimates obtained
by analytical methods.

We investigate the spectrum of the selfsimilar Laplacian, which generates
the socalled "$pq$ random walk" on the integer halfline $\mathbb{Z}_+$. Using
the method of spectral decimation, we prove that the spectral type of the
Laplacian is singularly continuous whenever $p\neq \frac{1}{2}$. This serves as
a toy model for generating singularly continuous spectrum, which can be
generalized to more complicated settings. We hope it will provide more insight
into Fibonacci and other weakly selfsimilar models.

We establish an asymptotic formulas for the eigenvalue counting function of
the Schr\"odinger operator $\Delta +V$ for some unbounded potentials $V$ on
several types of unbounded fractal spaces. We give sufficient conditions for
Bohr's formula to hold on metric measure spaces which admit a cellular
decomposition, and then verify these conditions for fractafolds and fractal
fields based on nested fractals. In particular, we partially answer a question
of Fan, Khandker, and Strichartz regarding the spectral asymptotics of the
harmonic oscillator potential on the infinite blowup of a Sierpinski gasket.

Consider the free field on a fractal graph based on a highdimensional
Sierpinski carpet (e.g. the Menger sponge), that is, a centered Gaussian field
whose covariance is the Green's function for simple random walk on the graph.
Moreover assume that a "hard wall" is placed at height zero so that the field
stays positive everywhere. We prove the leadingorder asymptotics for the local
sample mean of the free field above the hard wall on any transient Sierpinski
carpet graph, thereby extending a result of Bolthausen, Deuschel, and Zeitouni
for the free field on $\mathbb{Z}^d$, $d \geq 3$, to the fractal setting. Our
proof utilizes the theory of transient regular Dirichlet forms, in conjunction
with the relative entropy, coarse graining, and conditioning arguments
introduced in the previous literature.

We numerically compute the heat kernel on a square lattice torus equipped
with the measure corresponding to Liouville quantum gravity (LQG). From the
ondiagonal heat kernel we verify that the spectral dimension of LQG is 2.
Furthermore, when diffusion is started from a high point of the underlying
Gaussian free field, our numerics indicates superdiffusive spacetime scaling
with respect to the Euclidean metric in the small spacetotime regime. The
implications of this result require further investigation, but seem to coincide
with the notion that the Euclidean metric is not the right geodesic for
characterizing the geometry of LQG.

We identify a collection of periodic billiard orbits in a selfsimilar
Sierpinski carpet billiard table. Based on a refinement of the result of
DurandCartagena and Tyson regarding nontrivial line segments in a selfsimilar
Sierpinski carpet, we construct what is called an eventually constant sequence
of compatible periodic orbits of prefractal Sierpinski carpet billiard tables.
The trivial limit of this sequence then constitutes a periodic orbit of a
selfsimilar Sierpinski carpet billiard table. We also determine the
corresponding translation surface for each prefractal billiard table, and show
that the genera of a sequence of translation surfaces increase without bound.
Various open questions and possible directions for future research are offered.

We carry out a mathematically rigorous investigation into the equilibrium
thermodynamics of massless and massive bosons confined in generalized
Sierpinski carpets (GSCs), a class of infinitely ramified fractals having
noninteger Hausdorff dimensions $d_h$. Due to the anomalous walk dimension
$d_w>2$ associated with Brownian motion on GSCs, all extensive thermodynamic
quantities are shown to scale with the spectral volume with dimension $d_s =
2(d_h/d_w)$ rather than the Hausdorff volume. We prove that for a
lowtemperature, highdensity ideal massive Bose gas in an unbounded GSC,
BoseEinstein condensation occurs if and only if $d_s>2$, or equivalently, if
the Brownian motion on the GSC is transient. We also derive explicit
expressions for the energy of blackbody radiation in a GSC, as well as the
Casimir pressure on the parallel plate of a fractal waveguide modelled after a
GSC. Our proofs involve extensive use of the spectral zeta function, obtained
via a sharp estimate of the heat kernel trace. We believe that our results can
be verified through photonic and cold atomic experiments on fractal structures.

We present a fully quantum theory describing the cooling of a cantilever
coupled via radiation pressure to an illuminated optical cavity. Applying the
quantum noise approach to the fluctuations of the radiation pressure force, we
derive the optomechanical cooling rate and the minimum achievable phonon
number. We find that reaching the quantum limit of arbitrarily small phonon
numbers requires going into the good cavity (resolved phonon sideband) regime
where the cavity linewidth is much smaller than the mechanical frequency and
the corresponding cavity detuning. This is in contrast to the common assumption
that the mechanical frequency and the cavity detuning should be comparable to
the cavity damping.