Source author record

Alain Thomas

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

8works
5topics
3close collaborators

Published work

8 publications

preprint2016arXiv

A non-uniform distribution property of most orbits, in case the 3x+13x+1 conjecture is true

Let T(n)={3n+1(n odd)n2(n even)T(n)=\left\{\begin{array}{ll}3n+1&(n\hbox{ odd})\frac n2&(n\hbox{ even})\end{array}\right. (n∈Zn\in\mathbb Z). We call "the orbit of the integer nn", the set On:={m∈Z  :  ∃k≥0, m=Tk(n)} \mathcal O_n:=\{m\in\mathbb Z\;:\;\exists k\ge0,\ m=T^k(n)\} and we put ci(n):=#{m∈On  :  m≡i mod.18}c_i(n):=\#\{m\in\mathcal O_n\;:\;m\equiv i\hbox{ mod.}18\}. Let WW be the set of the integers whose orbit contains 11 and is, in the following sense, about well distributed modulo 1818 between the six elements of the set I:={1,5,7,11,13,17}I:=\{1,5,7,11,13,17\} (the elements of \{1,\dots,18\} that are odd and not divisible by 33). More precisely: W:={n∈N  :  ∃k≥0, Tk(n)=1 and ∀i∈I, ci(n)∑i∈Ici(n)≤16+0.0215}. W:=\Big\{n\in\mathbb N\;:\;\exists k\ge0,\ T^k(n)=1\hbox{ and }\forall i\in I,\ \frac{c_i(n)}{\sum_{i\in I}c_i(n)}\le\frac16+0.0215\Big\}. We prove that WW has density 00 in N\mathbb N. Consequently, if the 3x+13x+1 conjecture is true, most of the positive integers nn satisfy max⁡i∈Ici(n)∑i∈Ici(n)>16+0.0215. \frac{\max_{i\in I}c_i(n)}{\sum_{i\in I}c_i(n)}>\frac16+0.0215.

preprint2014arXiv

How to prove that some Bernoulli convolution has the weak Gibbs property

In this paper we give an example of uniform convergence of the sequence of column vectors A1…AnV∥A1…AnV∥\displaystyle{A_1\dots A_nV\over\left\Vert A_1\dots A_nV\right\Vert}, Ai∈{A,B,C}A_i\in\{A,B,C\}, A,B,CA,B,C being some (0,1)(0,1)-matrices of order 77 with much null entries, and VV a fixed positive column vector. These matrices come from the study of the Bernoulli convolution in the base β>1β>1 such that β3=2β2−β+1β^3=2β^2-β+1, that is, the (continuous singular) probability distribution of the random variable (β−1)∑n=1∞ωnβn\displaystyle(β-1)\sum_{n=1}^\infty{ω_n\overβ^n} when the independent random variables ωnω_n take the values 00 and 11 with probability 12\displaystyle{1\over2}. In the last section we deduce, from the uniform convergence of A1…AnV∥A1…AnV∥\displaystyle{A_1\dots A_nV\over\left\Vert A_1\dots A_nV\right\Vert}, the Gibbs and the multifractal properties of this measure.

preprint2014arXiv

Projective convergence of columns for inhomogeneous products of matrices with nonnegative entries

Let PnP_n be the nn-step right product A1⋯AnA_1\cdots A_n, where A1,A2,…A_1,A_2,\dots is a given infinite sequence of d×dd\times d matrices with nonnegative entries. In a wide range of situations, the normalized matrix product Pn/∥Pn∥P_n/{\Vert P_n\Vert} does not converge and we shall be rather interested in the asymptotic behavior of the normalized columns PnUi/∥PnUi∥P_nU_i/\Vert P_nU_i\Vert, where U1,…,UdU_1,\dots,U_d are the canonical d×1d\times 1 vectors. Our main result in Theorem~A gives a sufficient condition (C){\bf (C)} over the sequence A1,A2,…A_1,A_2,\dots ensuring the existence of {\it dominant columns} of PnP_n, having the same projective limit VV: more precisely, for any rank nn, there exists a partition of {1,…,d}\{1,\dots,d\} made of two subsets Jn≠∅J_n\ne\emptyset and JncJ_n^c such that each one of the sequences of normalized columns, say PnUjn/∥PnUjn∥P_nU_{j_n}/\Vert P_nU_{j_n}\Vert with jn∈Jnj_n\in J_n tends to VV as nn tends to +∞+\infty and are {\it dominant} in the sense that the ratio ∥PnUjn′/∥PnUjn∥\Vert P_nU_{j_n'}/\Vert P_nU_{j_n}\Vert tends to 00, as soon as jn′∈Jncj_n'\in J_n^c. The existence of sequences of such {\it dominant columns} implies that for any probability vector XX with positive entries, the probability vector PnX/∥PnX∥P_nX/\Vert P_nX\Vert, converges as nn tends to +∞+\infty. Our main application of Theorem~A (and our initial motivation) is related to an {\it Erd\H os problem} concerned with a family of probability measures μβμ_β (for 1<β<21<β<2 a real parameter) fully supported by a subinterval of the real line, known as {\it Bernoulli convolutions}.

preprint2014arXiv

Sofic measures and densities of level sets

The Bernoulli convolution associated to the real β>1β>1 and the probability vector (p0,..,pd−1)(p_0,..,p_{d-1}) is a probability measure ηβ,pη_{β,p} on R\mathbb R, solution of the self-similarity relation η=∑k=0d−1pk⋅η∘Sk\displaystyleη=\sum_{k=0}^{d-1}p_k\cdotη\circ S_k where Sk(x)=x+kβS_k(x)=\frac{x+k}β. If ββ is an integer or a Pisot algebraic number with finite Rényi expansion, ηβ,pη_{β,p} is sofic and a Markov chain is naturally associated. If β=b∈Nβ=b\in\mathbb N and p0=...=pd−1=1dp_0=...=p_{d-1}=\frac1d, the study of ηb,pη_{b,p} is close to the study of the order of growth of the number of representations in base bb with digits in {0,1,..,d−1}\{0,1,..,d-1\}. In the case b=2b=2 and d=3d=3 it has also something to do with the metric properties of the continued fractions.

preprint2013arXiv

Almost sure convergence of products of 2×22\times2 nonnegative matrices

We study the almost sure convergence of the normalized columns in an infinite product of nonnegative matrices, and the almost sure rank one property of its limit points. Given a probability on the set of 2×22\times2 nonnegative matrices, with finite support A={A(0),…,A(s−1)}\mathcal A=\{A(0),\dots,A(s-1)\}, and assuming that at least one of the A(k)A(k) is not diagonal, the normalized columns of the product matrix Pn=A(ω1)…A(ωn)P_n=A(ω_1)\dots A(ω_n) converge almost surely (for the product probability) with an exponential rate of convergence if and only if the Lyapunov exponents are almost surely distinct. If this condition is satisfied, given a nonnegative column vector VV the column vector PnV∥PnV∥\frac{P_nV}{\Vert P_nV\Vert} also converges almost surely with an exponential rate of convergence. On the other hand if we assume only that at least one of the A(k)A(k) do not have the form (a00d)\begin{pmatrix}a&0\\0&d\end{pmatrix}, ad≠0ad\ne0, nor the form (0bd0)\begin{pmatrix}0&b\\d&0\end{pmatrix}, bc≠0bc\ne0, the limit-points of the normalized product matrix Pn∥Pn∥\frac{P_n}{\Vert P_n\Vert} have almost surely rank 1 -although the limits of the normalized columns can be distinct- and PnV∥PnV∥\frac{P_nV}{\Vert P_nV\Vert} converges almost surely with a rate of convergence that can be exponential or not exponential.

preprint2010arXiv

Can an infinite left-product of nonnegative matrices be expressed in terms of infinite left-products of stochastic ones?

If a left-product Mn...M1M_n... M_1 of square complex matrices converges to a nonnull limit when n→∞n\to\infty and if the MnM_n belong to a finite set, it is clear that there exists an integer n0n_0 such that the MnM_n, n≥n0n\ge n_0, have a common right-eigenvector VV for the eigenvalue 1. Now suppose that the MnM_n are nonnegative and that VV has positive entries. Denoting by ΔΔ the diagonal matrix whose diagonal entries are the entries of VV, the stochastic matrices Sn=Δ−1MnΔS_n=Δ^{-1}M_nΔ satisfy Mn...Mn0=ΔSn...Sn0Δ−1M_n... M_{n_0}=ΔS_n... S_{n_0}Δ^{-1}, so the problem of the convergence of Mn...M1M_n... M_1 reduces to the one of Sn...Sn0S_n... S_{n_0}. In this paper we still suppose that the MnM_n are nonnegative but we do not suppose that VV has positive entries. The first section details the case of the 2×22\times2 matrices, and the last gives a first approach in the case of d×dd\times d matrices.

preprint2010arXiv

Infinite products of nonnegative 2×22\times2 matrices by nonnegative vectors

Given a finite set {M0,…,Md−1}\{M_0,\dots,M_{d-1}\} of nonnegative 2×22\times 2 matrices and a nonnegative column-vector VV, we associate to each (ωn)∈{0,…,d−1}N(ω_n)\in\{0,\dots,d-1\}^\mathbb N the sequence of the column-vectors Mω1…MωnV∥Mω1…MωnV∥\displaystyle{M_{ω_1}\dots M_{ω_n}V\over\Vert M_{ω_1}\dots M_{ω_n}V\Vert}. We give the necessary and sufficient condition on the matrices MkM_k and the vector VV for this sequence to converge for all \hbox{(ωn)∈{0,…,d−1}N(ω_n)\in\{0,\dots,d-1\}^\mathbb N} such that ∀n, Mω1…MωnV≠(00)\forall n,\ M_{ω_1}\dots M_{ω_n}V\ne\begin{pmatrix}0\\0\end{pmatrix}.

preprint2004arXiv

On the Gibbs properties of Bernoulli convolutions related to ββ-numeration in multinacci bases

We consider infinitely convolved Bernoulli measures (or simply Bernoulli convolutions) related to the ββ-numeration. A matrix decomposition of these measures is obtained in the case when ββ is a PV number. We also determine their Gibbs properties for ββ being a multinacci number, which makes the multifractal analysis of the corresponding Bernoulli convolution possible.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.