arXiv Science⌕ Search

arXiv subjects

Jason Swanson

Publications and source records attributed to Jason Swanson.

17 recordsLinked to original sources
arXiv2026

A probabilistic model of X-ray computed tomography

We consider a discrete stochastic process, indexed by lines through the unit disk in the plane, which models the observed photon counts in a medical X-ray tomography scan. We first prove a functional law of large numbers, showing that this process converges in $L^2$ to the X-ray transform of the underlying attenuation function. We then prove a family of functional central limit theorems, which show that the normalized observations converge to a white noise on the space of lines, provided the growth rate of the mean number of photons per line is greater than a certain power of the number of lines scanned. Using this family of theorems, we can reduce that power arbitrarily close to zero by adding correction terms to the normalization. We also prove a Berry-Esseen inequality that gives a concrete rate of convergence for each functional central limit theorem in our family of theorems.

math.PR↗
arXiv2025

Conditional distributions for the nested Dirichlet process via sequential imputation

We consider an array of random variables, taking values in a complete and separable metric space, that exhibits a kind of symmetry which we call row exchangeability. Given such an array, a natural model for Bayesian nonparametric inference is the nested Dirichlet process (NDP). Exactly determining posterior distributions for the NDP is infeasible, since the computations involved grow exponentially with the sample size. In this paper, we present a new approach to determining these posterior distributions that involves the use of sequential

math.ST↗
arXiv2025

The Principles of Probability: From Formal Logic to Measure Theory to the Principle of Indifference

In this work, we develop a formal system of inductive logic. It uses an infinitary language that allows for countable conjunctions and disjunctions. It is based on a set of nine syntactic rules of inductive inference, and contains classical first-order logic as a special case. We also provide natural, probabilistic semantics, and prove both $\sigma$-compactness and completeness. We show that the whole of measure-theoretic probability theory is embedded in this system of inductive logic. The semantic models of inductive logic are probability measures on sets of structures. (Structures are the semantic models of finitary, deductive logic.) Moreover, any probability space, together with a set of its random variables, can be mapped to such a model in a way that gives each outcome, event, and random variable a logical interpretation. This embedding, however, is proper. There are scenarios that are expressible in this system of logic which cannot be formulated in a measure-theoretic probability model. The principle of indifference is an idea originating with Laplace. It says, roughly, that if we are "equally ignorant" about two possibilities, then we should assign them the same probability. The principle of indifference has no rigorous formulation in probability. It exists only as a heuristic. Moreover, its use has a problematic history and is prone to apparent paradoxes. Within inductive logic, however, we formulate it rigorously and illustrate its use through a number of examples. Many of the ideas in inductive logic have counterparts in measure theory. The principle of indifference, however, does not. Its formulation requires the structure of inductive logic, both its syntactic structure and the semantic structures embedded in its models. As such, it exemplifies the fact that inductive logic is a strictly broader theory of probability than any that is based on measure theory alone.

math.PR↗
arXiv2025

An Aldous-Hoover type representation for row exchangeable arrays

In an array of random variables, each row can be regarded as a single, sequence-valued random variable. In this way, the array is seen as a sequence of sequences. Such an array is said to be row exchangeable if each row is an exchangeable sequence, and the entire array, viewed as a sequence of sequences, is exchangeable. We give a representation theorem, analogous to those of Aldous and Hoover, which characterizes row exchangeable arrays. We then use this representation theorem to address the problem of performing Bayesian inference on row exchangeable arrays.

math.PR↗
arXiv2021

Finite Markov chains coupled to general Markov processes and an application to metastability II

We consider a diffusion given by a small noise perturbation of a dynamical system driven by a potential function with a finite number of local minima. The classical results of Freidlin and Wentzell show that the time this diffusion spends in the domain of attraction of one of these local minima is approximately exponentially distributed and hence the diffusion should behave approximately like a Markov chain on the local minima. By the work of Bovier and collaborators, the local minima can be associated with the small eigenvalues of the diffusion generator. In Part I of this work, by applying a Markov mapping theorem, we used the eigenfunctions of the generator to couple this diffusion to a Markov chain whose generator has eigenvalues equal to the eigenvalues of the diffusion generator that are associated with the local minima and established explicit formulas for conditional probabilities associated with this coupling. The fundamental question now becomes to relate the coupled Markov chain to the approximate Markov chain suggested by the results of Freidlin and Wentzel. In this paper, we take up this question and provide a complete analysis of this relationship in the special case of a double-well potential in one dimension.

math.PR↗
arXiv2019

Finite Markov chains coupled to general Markov processes and an application to metastability I

We consider a diffusion given by a small noise perturbation of a dynamical system driven by a potential function with a finite number of local minima. The classical results of Freidlin and Wentzell show that the time this diffusion spends in the domain of attraction of one of these local minima is approximately exponentially distributed and hence the diffusion should behave approximately like a Markov chain on the local minima. By the work of Bovier and collaborators, the local minima can be associated with the small eigenvalues of the diffusion generator. Applying a Markov mapping theorem, we use the eigenfunctions of the generator to couple this diffusion to a Markov chain whose generator has eigenvalues equal to the eigenvalues of the diffusion generator that are associated with the local minima and establish explicit formulas for conditional probabilities associated with this coupling. The fundamental question then becomes to relate the coupled Markov chain to the approximate Markov chain suggested by the results of Freidlin and Wentzel. In Part II of this work, we provide a complete analysis of this relationship in the special case of a double-well potential in one dimension. More generally, the coupling can be constructed for a general class of Markov processes and any finite set of eigenvalues of the generator.

math.PR↗
arXiv2014

Weak existence of a solution to a differential equation driven by a very rough fBm

We prove that if $f:\mathbb{R}\to\mathbb{R}$ is Lipschitz continuous, then for every $H\in(0,1/4]$ there exists a probability space on which we can construct a fractional Brownian motion $X$ with Hurst parameter $H$, together with a process $Y$ that: (i) is Hölder-continuous with Hölder exponent $γ$ for any $γ\in(0,H)$; and (ii) solves the differential equation $dY_t = f(Y_t) dX_t$. More significantly, we describe the law of the stochastic process $Y$ in terms of the solution to a non-linear stochastic partial differential equation.

math.PR↗
arXiv2012

Joint convergence along different subsequences of the signed cubic variation of fractional Brownian motion

The purpose of this paper is to study the convergence in distribution of two subsequences of the signed cubic variation of the fractional Brownian motion with Hurst parameter $H=1/6$. We prove that, under some conditions on both subsequences, the limit is a two-dimensional Brownian motion whose components may be correlated and we find explicit formulae for its covariance function.

math.PR↗
arXiv2011

The calculus of differentials for the weak Stratonovich integral

The weak Stratonovich integral is defined as the limit, in law, of Stratonovich-type symmetric Riemann sums. We derive an explicit expression for the weak Stratonovich integral of $f(B)$ with respect to $g(B)$, where $B$ is a fractional Brownian motion with Hurst parameter 1/6, and $f$ and $g$ are smooth functions. We use this expression to derive an Itô-type formula for this integral. As in the case where $g$ is the identity, the Itô-type formula has a correction term which is a classical Itô integral, and which is related to the so-called signed cubic variation of $g(B)$. Finally, we derive a surprising formula for calculating with differentials. We show that if $dM = X dN$, then $Z dM$ can be written as $ZX dN$ minus a stochastic correction term which is again related to the signed cubic variation.

math.PR↗
arXiv2010

Crowding of Brownian spheres

We study two models consisting of reflecting one-dimensional Brownian "particles" of positive radius. We show that the stationary empirical distributions for the particle systems do not converge to the harmonic function for the generator of the individual particle process, unlike in the case when the particles are infinitely small.

math.PR↗
arXiv2010

A change of variable formula with Itô correction term

We consider the solution $u(x,t)$ to a stochastic heat equation. For fixed $x$, the process $F(t)=u(x,t)$ has a nontrivial quartic variation. It follows that $F$ is not a semimartingale, so a stochastic integral with respect to $F$ cannot be defined in the classical Itô sense. We show that for sufficiently differentiable functions $g(x,t)$, a stochastic integral $\int g(F(t),t)\,dF(t)$ exists as a limit of discrete, midpoint-style Riemann sums, where the limit is taken in distribution in the Skorokhod space of cadlag functions. Moreover, we show that this integral satisfies a change of variable formula with a correction term that is an ordinary Itô integral with respect to a Brownian motion that is independent of $F$.

math.PR↗
arXiv2010

Fluctuations of the empirical quantiles of independent Brownian motions

We consider $n$ independent, identically distributed one-dimensional Brownian motions, $B_j(t)$, where $B_j(0)$ has a rapidly decreasing, smooth density function $f$. The empirical quantiles, or pointwise order statistics, are denoted by $B_{j:n}(t)$, and we are interested in a sequence of quantiles $Q_n(t) = B_{j(n):n}(t)$, where $j(n)/n \to α\in (0,1)$. This sequence converges in probability in $C[0,\infty)$ to $q(t)$, the $α$-quantile of the law of $B_j(t)$. Our main result establishes the convergence in law in $C[0,\infty)$ of the fluctuation processes $F_n = n^{1/2}(Q_n - q)$. The limit process $F$ is a centered Gaussian process and we derive an explicit formula for its covariance function. We also show that $F$ has many of the same local properties as $B^{1/4}$, the fractional Brownian motion with Hurst parameter $H = 1/4$. For example, it is a quartic variation process, it has Hölder continuous paths with any exponent $γ< 1/4$, and (at least locally) it has increments whose correlation is negative and of the same order of magnitude as those of $B^{1/4}$.

math.PR↗
arXiv2010

The weak Stratonovich integral with respect to fractional Brownian motion with Hurst parameter 1/6

Let $B$ be a fractional Brownian motion with Hurst parameter $H=1/6$. It is known that the symmetric Stratonovich-style Riemann sums for $\int g(B(s))\,dB(s)$ do not, in general, converge in probability. We show, however, that they do converge in law in the Skorohod space of càdlàg functions. Moreover, we show that the resulting stochastic integral satisfies a change of variable formula with a correction term that is an ordinary Itô integral with respect to a Brownian motion that is independent of $B$.

math.PR↗
arXiv2007

Variations of the solution to a stochastic heat equation

We consider the solution to a stochastic heat equation. This solution is a random function of time and space. For a fixed point in space, the resulting random function of time, $F(t)$, has a nontrivial quartic variation. This process, therefore, has infinite quadratic variation and is not a semimartingale. It follows that the classical Itô calculus does not apply. Motivated by heuristic ideas about a possible new calculus for this process, we are led to study modifications of the quadratic variation. Namely, we modify each term in the sum of the squares of the increments so that it has mean zero. We then show that these sums, as functions of $t$, converge weakly to Brownian motion.

math.PR↗
arXiv2006

Asymptotic behavior of a generalized TCP congestion avoidance algorithm

The Transmission Control Protocol (TCP) is a Transport Protocol used in the Internet. Ott has introduced a more general class of candidate Transport Protocols called "protocols in the TCP Paradigm". The long run objective of studying this larger class is to find protocols with promising performance characteristics. This paper studies Markov chain models derived from protocols in the TCP Paradigm. Protocols in the TCP Paradigm, as TCP, protect the network from congestion by reducing the "Congestion Window" (the amount of data allowed to be sent but not yet acknowledged) when there is packet loss or packet marking, and increasing it when there is no loss. When loss of different packets are assumed to be independent events and the probability p of loss is assumed to be constant, the protocol gives rise to a Markov chain {W_n}, where W_n is the size of the congestion window after the transmission of the n-th packet. For a wide class of such Markov chains, we prove weak convergence results, after appropriate rescaling of time and space, as p tends to 0. The limiting processes are defined by stochastic differential equations. Depending on certain parameter values, the stochastic differential equation can define an Ornstein-Uhlenbeck process or can be driven by a Poisson process.

math.PR↗
arXiv2006

Weak Convergence of the Scaled Median of Independent Brownian Motions

We consider the median of n independent Brownian motions, and show that this process, when properly scaled, converges weakly to a centered Gaussian process. The chief difficulty is establishing tightness, which is proved through direct estimates on the increments of the median process. An explicit formula is given for the covariance function of the limit process. The limit process is also shown to be Holder continuous with exponent gamma for all gamma < 1/4.

math.PR↗