• Internal diffusion-limited 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 self-similar 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 self-similar 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 non-symmetric (weakly asymmetric) particle systems (exclusion processes on pre-fractal graphs) converging to a non-linear heat equation. We discuss a joint density-current law of large numbers and a corresponding large deviations principle.
  • We establish an abstract local ergodic theorem, under suitable space-time scaling, for the (boundary-driven) symmetric exclusion process on an increasing sequence of balls covering an infinite weighted graph. The proofs are based on 1-block and 2-blocks 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 density-current hydrodynamic limit of the boundary-driven 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 follow-up paper [arXiv:1705.10290].
  • Recently Herzog and Mattingly have shown that a $\mathbb{C}$-valued polynomial ODE which admits finite-time blow-up 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 finite-time blow-up 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) self-similarity of our fractal structures, we provide algorithms for studying the equilibrium distribution of energy on these circuits. This extends the analysis of self-similar resistance networks introduced by Fukushima, Kigami, Kusuoka, and more recently studied by Strichartz et al.
  • We study the wave equation on one-dimensional self-similar 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 self-similar Laplacian, which generates the so-called "$pq$ random walk" on the integer half-line $\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 self-similar 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 blow-up of a Sierpinski gasket.
  • Consider the free field on a fractal graph based on a high-dimensional 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 leading-order 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 on-diagonal 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 space-time scaling with respect to the Euclidean metric in the small space-to-time 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 self-similar Sierpinski carpet billiard table. Based on a refinement of the result of Durand-Cartagena and Tyson regarding nontrivial line segments in a self-similar 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 self-similar 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 non-integer 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 low-temperature, high-density ideal massive Bose gas in an unbounded GSC, Bose-Einstein 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 opto-mechanical 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.