-
On the affine random walk on the torus
Authors:
Jean-baptiste Boyer
Abstract:
Let $μ$ 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\{\begin{array}{rcl} X_0 &=&x\\ X_{n+1} &=& a_{n+1} X_n + b_{n+1} \end{array}\right. \] where $((a_n,b_n))\in \mathbf{G}^\mathbb{N}$ is an iid sequence of law $μ$.
Then, we denote by…
▽ More
Let $μ$ 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\{\begin{array}{rcl} X_0 &=&x\\ X_{n+1} &=& a_{n+1} X_n + b_{n+1} \end{array}\right. \] where $((a_n,b_n))\in \mathbf{G}^\mathbb{N}$ is an iid sequence of law $μ$.
Then, we denote by $\mathbb{P}_x$ the measure on $(\mathbb{T}^d)^\mathbb{N}$ that is the image of $μ^{\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 $μ$ 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 $μ$ 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 $μ$, the Lebesgue's measure $ν$ 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}ν$.
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.
△ Less
Submitted 27 February, 2017;
originally announced February 2017.
-
On ideal dynamic climbing ropes
Authors:
Davit Harutyunyan,
Graeme W. Milton,
Trevor J. Dick,
Justin Boyer
Abstract:
We consider the rope climber fall problem in two different settings. The simplest formulation of the problem is when the climber falls from a given altitude and is attached to one end of the rope while the other end of the rope is attached to the rock at a given height. The problem is then finding the properties of the rope for which the peak force felt by the climber during the fall is minimal. T…
▽ More
We consider the rope climber fall problem in two different settings. The simplest formulation of the problem is when the climber falls from a given altitude and is attached to one end of the rope while the other end of the rope is attached to the rock at a given height. The problem is then finding the properties of the rope for which the peak force felt by the climber during the fall is minimal. The second problem of our consideration is again minimizing the same quantity in the presence of a carabiner. We will call such ropes \textit{mathematically ideal.} Given the height of the carabiner, the initial height and the mass of the climber, the length of the unstretched rope, and the distance between the belayer and the carabineer, we find the optimal (in the sense of minimized the peak force to a given elongation) dynamic rope in the framework of nonlinear elasticity. Wires of shape memory materials have some of the desired features of the tension-strain relation of a mathematically ideal dynamic rope, namely a plateau in the tension over a range of strains. With a suitable hysteresis loop, they also absorb essentially all the energy from the fall, thus making them an ideal rope in this sense too.
△ Less
Submitted 14 November, 2016;
originally announced November 2016.
-
The rate of convergence for the renewal theorem in $\mathbb{R}^d$
Authors:
Jean-Baptiste Boyer
Abstract:
Let $ρ$ be a borelian probability measure on $\mathrm{SL}_d(\mathbb{R})$. Consider the random walk $(X_n)$ on $\mathbb{R}^d\setminus\{0\}$ defined by $ρ$ : for any $x\in \mathbb{R}^d\setminus\{0\}$, we set $X_0 =x$ and $X_{n+1} = g_{n+1} X_n$ where $(g_n)$ is an iid sequence of $\mathrm{SL}_d(\mathbb{R})-$valued random variables of law $ρ$. Guivarc'h and Raugi proved that under an assumption on th…
▽ More
Let $ρ$ be a borelian probability measure on $\mathrm{SL}_d(\mathbb{R})$. Consider the random walk $(X_n)$ on $\mathbb{R}^d\setminus\{0\}$ defined by $ρ$ : for any $x\in \mathbb{R}^d\setminus\{0\}$, we set $X_0 =x$ and $X_{n+1} = g_{n+1} X_n$ where $(g_n)$ is an iid sequence of $\mathrm{SL}_d(\mathbb{R})-$valued random variables of law $ρ$. Guivarc'h and Raugi proved that under an assumption on the subgroup generated by the support of $ρ$ (strong irreducibility and proximality), this walk is transient.
In particular, this proves that if $f$ is a compactly supported continuous function on $\mathbb{R}^d$, then the function $Gf(x) :=\mathbb{E}_x \sum_{n=0}^{+\infty} f(X_n)$ is well defined for any $x\in \mathbb{R}^d \setminus\{0\}$.
Guivarc'h and Le Page proved the renewal theorem in this situation : they study the possible limits of $Gf$ at $0$ and in this article, we study the rate of convergence in their renewal theorem.
To do so, we consider the family of operators $(P(it))_{t\in \mathbb{R}}$ defined for any continuous function $f$ on the sphere $\mathbb{S}^{d-1}$ and any $x\in \mathbb{S}^{d-1}$ by \[ P(it) f(x) = \int_{\mathrm{SL}_d(\mathbb{R})} e^{-it \ln \frac{ \|gx\|}{\|x\|}} f\left(\frac{gx}{\|gx\|}\right) \mathrm{d}ρ(g) \] And we prove that, for some $L\in \mathbb{R}$ and any $t_0 \in \mathbb{R}_+^\ast$, \[ \sup_{\substack{t\in \mathbb{R}\\ |t| \geqslant t_0}} \frac{ 1 }{|t|^L} \left\| (I_d-P(it))^{-1} \right\| \text{ is finite} \] where the norm is taken in some space of hölder-continuous functions on the sphere.
△ Less
Submitted 9 July, 2016; v1 submitted 23 March, 2016;
originally announced March 2016.
-
Central limit theorem and law of the iterated logarithm for the linear random walk on the torus
Authors:
Jean-Baptiste Boyer
Abstract:
Let $ρ$ be a probability measure on $\mathrm{SL}\_d(\mathbb{Z})$ and consider the random walk defined by $ρ$ on the torus $\mathbb{T}^d = \mathbb{R}^d/\mathbb{Z}^d$. Bourgain, Furmann, Lindenstrauss and Mozes proved that under an assumption on the group generated by the support of $$ρ$$, the random walk starting at any irrational point equidistributes in the torus. In this article, we study the ce…
▽ More
Let $ρ$ be a probability measure on $\mathrm{SL}\_d(\mathbb{Z})$ and consider the random walk defined by $ρ$ on the torus $\mathbb{T}^d = \mathbb{R}^d/\mathbb{Z}^d$. Bourgain, Furmann, Lindenstrauss and Mozes proved that under an assumption on the group generated by the support of $$ρ$$, the random walk starting at any irrational point equidistributes in the torus. In this article, we study the central limit theorem and the law of the iterated logarithm for this walk starting at some point having good diophantine properties.
△ Less
Submitted 25 February, 2016; v1 submitted 11 February, 2016;
originally announced February 2016.
-
On the solvability of the discrete conductivity and Schrödinger inverse problems
Authors:
Justin Boyer,
Jack J. Garzella,
Fernando Guevara Vasquez
Abstract:
We study the uniqueness question for two inverse problems on graphs. Both problems consist in finding (possibly complex) edge or nodal based quantities from boundary measurements of solutions to the Dirichlet problem associated with a weighted graph Laplacian plus a diagonal perturbation. The weights can be thought of as a discrete conductivity and the diagonal perturbation as a discrete Schröding…
▽ More
We study the uniqueness question for two inverse problems on graphs. Both problems consist in finding (possibly complex) edge or nodal based quantities from boundary measurements of solutions to the Dirichlet problem associated with a weighted graph Laplacian plus a diagonal perturbation. The weights can be thought of as a discrete conductivity and the diagonal perturbation as a discrete Schrödinger potential. We use a discrete analogue to the complex geometric optics approach to show that if the linearized problem is solvable about some conductivity (or Schrödinger potential) then the linearized problem is solvable for almost all conductivities (or Schrödinger potentials) in a suitable set. We show that the conductivities (or Schrödinger potentials) in a certain set are determined uniquely by boundary data, except on a zero measure set. This criterion for solvability is used in a statistical study of graphs where the conductivity or Schrödinger inverse problem is solvable.
△ Less
Submitted 9 October, 2015;
originally announced October 2015.
-
The speed of convergence in the renewal theorem
Authors:
Jean-Baptiste Boyer
Abstract:
In this article we study a diophantine property of probability measures on R. We will always assume that the considered measures have an exponential moment and a drift. We link this property to the points in C close to the imaginary axis where the Fourier-Laplace transform of those measures take the value 1 and finally, we apply this to the study of the speed in Kesten's renewal theorem on R.
In this article we study a diophantine property of probability measures on R. We will always assume that the considered measures have an exponential moment and a drift. We link this property to the points in C close to the imaginary axis where the Fourier-Laplace transform of those measures take the value 1 and finally, we apply this to the study of the speed in Kesten's renewal theorem on R.
△ Less
Submitted 25 June, 2015;
originally announced June 2015.
-
Induction of Markov chains, drift functions and application to the LLN, the CLT and the LIL with a random walk on $\mathbb{R}_+$ as an example
Authors:
Jean-Baptiste Boyer
Abstract:
Let $(X_n)$ be a Markov chain on a standard borelian space $\mathbb{X}$. Any stopping time $τ$ such that $\mathbb{E}_xτ$ is finite for all $x\in\mathbb{X}$ induces a Markov chain in $\mathbb{X}$. In this article, we show that there is a bijection between the invariant measures for the original chain and for the induced one. We then study drift functions and prove a few relations that link the Mark…
▽ More
Let $(X_n)$ be a Markov chain on a standard borelian space $\mathbb{X}$. Any stopping time $τ$ such that $\mathbb{E}_xτ$ is finite for all $x\in\mathbb{X}$ induces a Markov chain in $\mathbb{X}$. In this article, we show that there is a bijection between the invariant measures for the original chain and for the induced one. We then study drift functions and prove a few relations that link the Markov operator for the original chain and for the induced one. The aim is to use this drift function and the induced operator to link the solution to Poisson's equation $(I\_d-P)g=f$ for the original chain and for the induced one. We also see how drift functions can be used to control excursions of the walk and to obtain the law of large numbers, the central limit theorem and the law of the iterated logarithm for martingales. We use this technique to study the random walk on $\mathbb{R}_+$ defined by $X_{n+1} = \max( X_n + Y_{n+1}, 0)$ where $(Y_n)$ is an iid sequence of law $ρ^{\otimes \mathbb{N}}$ for a probability measure $ρ$ having a finite first moment and a negative drift.
△ Less
Submitted 25 June, 2015;
originally announced June 2015.
