Probability (math.PR)

  • PDF
    We study the structure of martingale transports in finite dimensions. We consider the family $\mathcal{M}(\mu,\nu) $ of martingale measures on $\mathbb{R}^N \times \mathbb{R}^N$ with given marginals $\mu,\nu$, and construct a family of relatively open convex sets $\{C_x:x\in \mathbb{R}^N \}$, which forms a partition of $\mathbb{R}^N$, and such that any martingale transport in $\mathcal{M}(\mu,\nu) $ sends mass from $x$ to within $\overline{C_x}$, $\mu(dx)$--a.e. Our results extend the analogous one-dimensional results of M. Beiglböck and N. Juillet (2016) and M. Beiglböck, M. Nutz, and N. Touzi (2015). We conjecture that the decomposition is canonical and minimal in the sense that it allows to characterise the martingale polar sets, i.e. the sets which have zero mass under all measures in $\mathcal{M}(\mu,\nu)$, and offers the martingale analogue of the characterisation of transport polar sets proved in M. Beiglböck, M. Goldstern, G. Maresch, and W. Schachermayer (2009).
  • PDF
    Let $\mu$ be a borelian probability measure on $\mathbf{G}:=\mathrm{SL}_d(\mathbb{Z}) \ltimes \mathbb{T}^d$. Define, for $x\in \mathbb{T}^d$, a random walk starting at $x$ denoting for $n\in \mathbb{N}$, \[ \left{\beginarrayrcl X_0 &=&x\\ X_n+1 &=& a_n+1 X_n + b_n+1 \endarray\right. \]where $((a_n,b_n))\in \mathbf{G}^\mathbb{N}$ is an iid sequence of law $\mu$. Then, we denote by $\mathbb{P}_x$ the measure on $(\mathbb{T}^d)^\mathbb{N}$ that is the image of $\mu^{\otimes \mathbb{N}}$ by the map $\left((g_n) \mapsto (x,g_1 x, g_2 g_1 x, \dots , g_n \dots g_1 x, \dots)\right)$ and for any $\varphi \in \mathrm{L}^1((\mathbb{T}^d)^\mathbb{N}, \mathbb{P}_x)$, we set $\mathbb{E}_x \varphi((X_n)) = \int \varphi((X_n)) \mathrm{d}\mathbb{P}_x((X_n))$. Bourgain, Furmann, Lindenstrauss and Mozes studied this random walk when $\mu$ is concentrated on $\mathrm{SL}_d(\mathbb{Z}) \ltimes\{0\}$ and this allowed us to study, for any hölder-continuous function $f$ on the torus, the sequence $(f(X_n))$ when $x$ is not too well approximable by rational points. In this article, we are interested in the case where $\mu$ is not concentrated on $\mathrm{SL}_d(\mathbb{Z}) \ltimes \mathbb{Q}^d/\mathbb{Z}^d$ and we prove that, under assumptions on the group spanned by the support of $\mu$, the Lebesgue's measure $\nu$ on the torus is the only stationary probability measure and that for any hölder-continuous function $f$ on the torus, $\mathbb{E}_x f(X_n)$ converges exponentially fast to $\int f\mathrm{d}\nu$. Then, we use this to prove the law of large numbers, a non-concentration inequality, the functional central limit theorem and it's almost-sure version for the sequence $(f(X_n))$. In the appendix, we state a non-concentration inequality for products of random matrices without any irreducibility assumption.
  • PDF
    The main result of this paper is that there are examples of stochastic partial differential equations [hereforth, SPDEs] of the type $$ \partial_t u=\frac12∆u +\sigma(u)\eta \qquad\texton $(0\,,\infty)\times\mathbb{R}^3$$$ such that the solution exists and is unique as a random field in the sense of Dalang and Walsh, yet the solution has unbounded oscillations in every open neighborhood of every space-time point. We are not aware of the existence of such a construction in spatial dimensions below $3$. En route, it will be proved that there exist a large family of parabolic SPDEs whose moment Lyapunov exponents grow at least sub exponentially in its order parameter in the sense that there exist $A_1,\beta\in(0\,,1)$ such that \[ \underline\gamma(k) := \liminf_t\to∞t^-1\inf_x∈\mathbbR^3 \log\mathbbE\left(|u(t\,,x)|^k\right) \ge A_1\exp(A_1 k^\beta) \qquad\textfor all $k\ge 2$. \]This sort of "super intermittency" is combined with a local linearization of the solution, and with techniques from Gaussian analysis in order to establish the unbounded oscillations of the sample functions of the solution to our SPDE.
  • PDF
    Web crawlers are used by internet search engines to gather information about the web graph. In this paper we investigate a simple process which models such software by walking around the vertices of a graph. Once initial random vertex weights have been assigned, the robot crawler traverses the graph deterministically following a greedy algorithm, always visiting the neighbour of least weight and then updating this weight to be the highest overall. We consider the maximum, minimum and average number of steps taken by the crawler to visit every vertex of firstly, complete k-partite graphs and secondly, sparse Erdős-Rényi random graphs. Our work follows on from a paper of Bonato et. al. who introduced the model.
  • PDF
    The divisible sandpile model is a growth model on graphs that was introduced by Levine and Peres as a tool to study internal diffusion limited aggregation. In this work we investigate the shape of the divisible sandpile model on the graphical Sierpinski gasket SG. We show that the shape is a ball in the graph metric of SG. Moreover we give an exact representation of the odometer function of the divisible sandpile.
  • PDF
    A sorting network is a shortest path from $12 \dots n$ to $n \dots 21$ in the Cayley graph of $S_n$ generated by adjacent transpositions. We establish existence of a local limit of sorting networks in a neighbourhood of $an$ for $a\in[0,1]$ as $n\to\infty$, with time scaled by a factor of $n$. The limit is a swap process $U$ on $\mathbb{Z}$. We show that $U$ is stationary and mixing with respect to the spatial shift and has time-stationary increments. Moreover, the only dependence on $a$ is through time scaling by a factor of $\sqrt{a(1-a)}$.
  • PDF
    We investigate spatial evolutionary games with death-birth updating in large finite populations. On growing spatial structures subject to appropriate conditions, density processes of a fixed type are proven to converge to the Wright-Fisher diffusions with drift. Convergence in Wasserstein distance of laws of their occupation measures also applies. The present proof obtains connections between the evolutionary games and voter models in the limit of large population size by equivalence of their laws, and uses the analogous results of the voter models by convergences related to the Radon-Nikodym derivative processes. As another application of the equivalence of laws, we show that in a general large population of size $N$ where stationary probabilities of the voting kernel satisfy a uniform scale of $1/N$, a first derivative test of the major methods for the evolutionary games is applicable at least up to weak selection strengths in the usual biological sense, that is, selection strengths of order $\mathcal O(1/N)$.
  • PDF
    Martingale transport plans on the line are known from Beiglböck & Juillet to have an irreducible decomposition on a (at most) countable union of intervals. We provide an extension of this decomposition for martingale transport plans in $\mathbb{R}^d$, $d\ge 1$. Our decomposition is a partition of $\mathbb{R}^d$ consisting of a possibly uncountable family of relatively open convex components, with the required measurability so that the disintegration is well-defined. We justify the relevance of our decomposition by proving the existence of a martingale transport plan filling these components. We also deduce from this decomposition a characterization of the structure of polar sets with respect to all martingale transport plans.
  • PDF
    We obtain a necessary and sufficient condition for the orthomartingale-coboundary decomposition. We establish a sufficient condition for the approximation of the partial sums of a strictly stationary random fields by those of stationary orthomartingale differences. This condition can be checked under multidimensional analogues of the Hannan condition and the Maxwell-Woodroofe condition.
  • PDF
    We present a simple, yet useful result about the expected value of the determinant of random sum of rank-one matrices. Computing such expectations in general may involve a sum over exponentially many terms. Nevertheless, we show that an interesting and useful class of such expectations that arise in, e.g., D-optimal estimation and random graphs can be computed efficiently via computing a single determinant.
  • PDF
    We first consider the additive Brownian motion process $(X(s_1,s_2),\ (s_1,s_2) \in \mathbb{R}^2)$ defined by $X(s_1,s_2) = Z_1(s_1) - Z_2 (s_2)$, where $Z_1$ and $Z_2 $ are two independent (two-sided) Brownian motions. We show that with probability one, the Hausdorff dimension of the boundary of any connected component of the random set $\{(s_1,s_2)\in \mathbb{R}^2: X(s_1,s_2) >0\}$ is equal to $$ \frac14\left(1 + \sqrt13 + 4 \sqrt5\right) ≃1.421\u2009. $$ Then the same result is shown to hold when $X$ is replaced by a standard Brownian sheet indexed by the nonnegative quadrant.
  • PDF
    Based on coupling in two steps and the regularization approximations of the underlying subordinators, we establish log-Harnack inequalities for Markov semigroups generated by a class of non-local Gruschin type operators. Some concrete examples are also presented.
  • PDF
    In many applications, it is often necessary to sample the mean value of certain quantity with respect to a probability measure on a submanifold of $R^n$. By Birkhoff ergodic theorem, one approach is to compute the time average along an infinite long trajectory of an ergodic diffusion process whose invariant measure is the desired one. Motivated by the previous study of Ciccotti, Lelièvre, and Vanden-Eijnden [6], in this work we construct a family of ergodic diffusion processes on a submanifold whose invariant measures coincide with the given one. Our approach is based on the manifold point of view and involves calculations on a Riemannian manifold. As a consequence, diffusion processes on a manifold as well as their projection schemes onto the submanifold are studied as well.
  • PDF
    The classical Donsker weak invariance principle is extended to a Besov spaces framework. Polygonal line processes build from partial sums of stationary martingale differences as well independent and identically distributed random variables are considered. The results obtained are shown to be optimal.
  • PDF
    Recently Lubetzky and Peres showed that simple random walks on a sequence of $d$-regular Ramanujan graphs $G_n=(V_n,E_n)$ of increasing sizes exhibit cutoff in total variation around the diameter lower bound $\frac{d}{d-2}\log_{d-1}|V_n| $. We provide a different argument under the assumption that for some $r(n) \gg 1$ the maximal number of simple cycles in a ball of radius $r(n)$ in $G_n$ is uniformly bounded in $n$.
  • Feb 28 2017 math.PR arXiv:1702.08026v1
    PDF
    We use Minkowski content (i.e., natural parametrization) of SLE to construct several types of SLE$_\kappa$ loop measures for $\kappa\in(0,8)$. First, we construct rooted SLE$_\kappa$ loop measures in the Riemann sphere $\widehat{\mathbb C}$, which satisfy Möbius covariance, conformal Markov property, reversibility, and space-time homogeneity, when the loop is parameterized by its $(1+\frac \kappa 8)$-dimensional Minkowski content. Second, by integrating unrooted SLE$_\kappa$ loop measures, we construct the unrooted SLE$_\kappa$ loop measure in $\widehat{\mathbb C}$, which satisfies Möbius invariance and reversibility. Third, we extend the SLE$_\kappa$ loop measures from $\widehat{\mathbb C}$ to subdomains of $\widehat{\mathbb C}$ and to two types of Riemann surfaces using Brownian loop measures, and obtain conformal invariance or covariance of these measures. Finally, using a similar approach, we construct SLE$_\kappa$ bubble measures in simply/multiply connected domains rooted at a boundary point. The work answers a question raised by Greg Lawler.
  • PDF
    In this paper, we find a regularized approximate solution for an inverse problem for the Burgers' equation. The solution of the inverse problem for the Burgers' equation is ill-posed, i.e., the solution does not depend continuously on the data. The approximate solution is the solution of a regularized equation with randomly perturbed coefficients and randomly perturbed final value and source functions. To find the regularized solution, we use the modified quasi-reversibility method associated with the truncated expansion method with nonparametric regression. We also investigate the convergence rate.
  • PDF
    Ultrametric trees are trees whose leaves lie at the same distance from the root. They are used to model the genealogy of a population of particles co-existing at the same point in time. We show how the boundary of an ultrametric tree, like any compact ultrametric space, can be represented in a simple way via the so-called comb metric. We display a variety of examples of random combs and explain how they can be used in applications. In particular, we review some old and recent results regarding the genetic structure of the population when throwing neutral mutations on the skeleton of the tree.
  • PDF
    This paper derives the bulk local limit of the swap process of uniformly random sorting networks. The limit object is defined through a deterministic procedure, a local version of the Edelman-Greene algorithm, applied to a two dimensional determinantal point process with explicit kernel. The latter describes the asymptotic joint law near $0$ of the eigenvalues of the corners in the antisymmetric Gaussian Unitary Ensemble. In particular, the limiting distribution of the first swap time at a given position is identified with the limiting distribution for the closest to $0$ eigenvalue in the antisymmetric GUE. The proofs rely on the determinantal structure and a double contour integral representation for the kernel of random Poissonized Young tableaux.
  • PDF
    In this paper we devise a method of finding the limiting mean length of a minimal spanning tree for a random graph via the Smoluchowski coagulation equations for the corresponding coalescent process. In particular, we use this approach for finding the limiting mean length of a minimal spanning tree for the Erdos-Renyi random graph on an asymmetric bipartite graph, producing a completely new formula yet consistent with the previously known formula for the symmetric bipartite graph $K_{n,n}$.

Recent comments

Mile Gu Nov 20 2015 05:04 UTC

Good question! There shouldn't be any contradiction with the correspondence principle. The reason here is that the quantum models are built to simulate the output behaviour of macroscopic, classical systems, and are not necessarily macroscopic themselves. When we compare quantum and classical comple

...(continued)
hong Nov 20 2015 00:40 UTC

Interesting results. But, just wondering, does it contradict to the correspondence principle?

Richard Kueng Jul 28 2015 07:01 UTC

fyi: our quantum implications are presented in Subsection 2.2 (pp 7-9).

Zoltán Zimborás May 28 2014 04:42 UTC

It's a bit funny to look at a formally verified proof of the CLT :), here it is online:
https://github.com/avigad/isabelle.

Piotr Migdał Apr 18 2014 18:43 UTC

A podcast summarizing this paper, by Geoff Engelstein: [The Dice Tower # 351 - Dealing with the Mockers (43:55 - 50:36)](http://dicetower.coolstuffinc.com/tdt-351-dealing-with-the-mockers), and [an alternative link on the BoardGameGeek](http://boardgamegeek.com/boardgamepodcastepisode/117163/tdt-351

...(continued)