Source author record

Nikita Sidorov

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

ResearcherUnclaimed source record

math.DS math.NT Discrete Mathematics math.OC Computational Complexity math.OA math.RA

Catalog footprint

Research overview

13works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

Multidimensional self-affine sets: non-empty interior and the set of uniqueness

Let $M$ be a $d\times d$ contracting matrix. In this paper we consider the self-affine iterated function system $\{Mv-u, Mv+u\}$ , where $u$ is a cyclic vector. Our main result is as follows: if $|\det M|\ge 2^{-1/d}$ , then the attractor $A_M$ has non-empty interior. We also consider the set $\mathcal U_M$ of points in $A_M$ which have a unique address. We show that unless $M$ belongs to a very special (non-generic) class, the Hausdorff dimension of $\mathcal U_M$ is positive. For this special class the full description of $\mathcal U_M$ is given as well. This paper continues our work begun in two previous papers.

preprint2015arXiv

Two-dimensional self-affine sets with interior points, and the set of uniqueness

Let $M$ be a $2\times2$ real matrix with both eigenvalues less than~1 in modulus. Consider two self-affine contraction maps from $\mathbb R^2 \to \mathbb R^2$ , \begin{equation*} T_m(v) = M v - u \ \ \mathrm{and}\ \ T_p(v) = M v + u, \end{equation*} where $u\neq0$ . We are interested in the properties of the attractor of the iterated function system (IFS) generated by $T_m$ and $T_p$ , i.e., the unique non-empty compact set $A$ such that $A = T_m(A) \cup T_p(A)$ . Our two main results are as follows: 1. If both eigenvalues of $M$ are between $2^{-1/4}\approx 0.8409$ and $1$ in absolute value, and the IFS is non-degenerate, then $A$ has non-empty interior. 2. For almost all non-degenerate IFS, the set of points which have a unique address is of positive Hausdorff dimension -- with the exceptional cases fully described as well. This paper continues our work begun in [11].

preprint2014arXiv

Expansions in non-integer bases: lower order revisited

Let $q\in(1,2)$ and $x\in[0,\frac1{q-1}]$ . We say that a sequence $(\varepsilon_i)_{i=1}^{\infty}\in\{0,1\}^{\mathbb{N}}$ is an expansion of $x$ in base $q$ (or a $q$ -expansion) if $x=\sum_{i=1}^{\infty}\varepsilon_iq^{-i}.$ For any $k\in\mathbb N$ , let $\mathcal B_k$ denote the set of $q$ such that there exists $x$ with exactly $k$ expansions in base $q$ . In [12] it was shown that $\min\mathcal B_2=q_2\approx 1.71064$ , the appropriate root of $x^{4}=2x^{2}+x+1$ . In this paper we show that for any $k\geq 3$ , $\min\mathcal B_k=q_f\approx1.75488$ , the appropriate root of $x^3=2x^2-x+1$ .

preprint2014arXiv

On cycles for the doubling map which are disjoint from an interval

Let $T:[0,1]\to[0,1]$ be the doubling map and let $0<a<b<1$ . We say that an integer $n\ge3$ is bad for $(a,b)$ if all $n$ -cycles for $T$ intersect $(a,b)$ . Let $B(a,b)$ denote the set of all $n$ which are bad for $(a,b)$ . In this paper we completely describe the sets: $D_2=\{(a,b) : B(a,b)\,\text{is finite}\}$ and $D_3=\{(a,b) : B(a,b)=\varnothing\}.$ In particular, we show that if $b-a<\frac16$ , then $(a,b)\in D_2$ , and if $b-a\le\frac2{15}$ , then $(a,b)\in D_3$ , both constants being sharp.

preprint2013arXiv

On a Devil's staircase associated to the joint spectral radii of a family of pairs of matrices

The joint spectral radius of a finite set of real d x d matrices is defined to be the maximum possible exponential rate of growth of products of matrices drawn from that set. In previous work with K. G. Hare and J. Theys we showed that for a certain one-parameter family of pairs of matrices, this maximum possible rate of growth is attained along Sturmian sequences with a certain characteristic ratio which depends continuously upon the parameter. In this paper we answer some open questions from that paper by showing that the dependence of the ratio function upon the parameter takes the form of a Devil's staircase. We show in particular that this Devil's staircase attains every rational value strictly between 0 and 1 on some interval, and attains irrational values only in a set of Hausdorff dimension zero. This result generalises to include certain one-parameter families considered by other authors. We also give explicit formulas for the preimages of both rational and irrational numbers under the ratio function, thereby establishing a large family of pairs of matrices for which the joint spectral radius may be calculated exactly.

preprint2013arXiv

Supercritical holes for the doubling map

For a map $S:X\to X$ and an open connected set ( $=$ a hole) $H\subset X$ we define $\mathcal J_H(S)$ to be the set of points in $X$ whose $S$ -orbit avoids $H$ . We say that a hole $H_0$ is supercritical if (i) for any hole $H$ such that $\bar{H_0}\subset H$ the set $\mathcal J_H(S)$ is either empty or contains only fixed points of $S$ ; (ii) for any hole $H$ such that $\barH\subset H_0$ the Hausdorff dimension of $\mathcal J_H(S)$ is positive. The purpose of this note to completely characterize all supercritical holes for the doubling map $Tx=2x\bmod1$ .

preprint2013arXiv

The doubling map with asymmetrical holes

Let $0<a<b<1$ and let $T$ be the doubling map. Set $\mathcal J(a,b):=\{x\in[0,1] : T^nx\notin (a,b), n\ge0\}$ . In this paper we completely characterize the holes $(a,b)$ for which any of the following scenarios holds: {enumerate} $\mathcal J(a,b)$ contains a point $x\in(0,1)$ ; $\mathcal J(a,b)\cap [\de,1-\de]$ is infinite for any fixed $\de>0$; $\mathcal J(a,b)$ is uncountable of zero Hausdorff dimension; $\mathcal J(a,b)$ is of positive Hausdorff dimension. {enumerate} In particular, we show that (iv) is always the case if $b-a<\frac14\prod_{n=1}^\infty \bigl(1-2^{-2^n}\bigr)\approx 0.175092$ and that this bound is sharp. As a corollary, we give a full description of first and second order critical holes introduced in \cite{SSC} for the doubling map. Furthermore, we show that our model yields a continuum of "routes to chaos" via arbitrary sequences of products of natural numbers, thus generalizing the standard route to chaos via period doubling.

preprint2011arXiv

On the topology of sums in powers of an algebraic number

Let $1<q<2$ and $Λ(q)={\sum_{k=0}^n a_kq^k\mid a_k\in\{-1,0,1\}, n\ge1}.$ It is well known that if $q$ is not a root of a polynomial with coefficients $0,\pm1$ , then $Λ(q)$ is dense in $\mathbb{R}$ . We give several sufficient conditions for the denseness of $Λ(q)$ when $q$ is a root of such a polynomial. In particular, we prove that if $q$ is not a Perron number or it has a conjugate $α$ such that $q|α|<1$ , then $Λ(q)$ is dense in $\mathbb{R}$ .

preprint2011arXiv

Optimizing Properties of Balanced Words

In the past few decades there has been a good deal of papers which are concerned with optimization problems in different areas of mathematics (along 0-1 words, finite or infinite) and which yield - sometimes quite unexpectedly - balanced words as optimal. In this note we list some key results along these lines known to date.

preprint2010arXiv

An explicit counterexample to the Lagarias-Wang finiteness conjecture

The joint spectral radius of a finite set of real $d \times d$ matrices is defined to be the maximum possible exponential rate of growth of long products of matrices drawn from that set. A set of matrices is said to have the \emph{finiteness property} if there exists a periodic product which achieves this maximal rate of growth. J.C. Lagarias and Y. Wang conjectured in 1995 that every finite set of real $d \times d$ matrices satisfies the finiteness property. However, T. Bousch and J. Mairesse proved in 2002 that counterexamples to the finiteness conjecture exist, showing in particular that there exists a family of pairs of $2 \times 2$ matrices which contains a counterexample. Similar results were subsequently given by V.D. Blondel, J. Theys and A.A. Vladimirov and by V.S. Kozyakin, but no explicit counterexample to the finiteness conjecture has so far been given. The purpose of this paper is to resolve this issue by giving the first completely explicit description of a counterexample to the Lagarias-Wang finiteness conjecture. Namely, for the set \[ \mathsf{A}_{α_*}:= \{({cc}1&1\\0&1), α_*({cc}1&0\\1&1)\}\] we give an explicit value of α_* \simeq 0.749326546330367557943961948091344672091327370236064317358024...] such that $\mathsf{A}_{α_*}$ does not satisfy the finiteness property.

preprint2009arXiv

Growth rate for beta-expansions

Let $β>1$ and let $m>\be$ be an integer. Each $x\in I_\be:=[0,\frac{m-1}{β-1}]$ can be represented in the form $x=\sum_{k=1}^\infty ε_kβ^{-k},$ where $ε_k\in\{0,1,...,m-1\}$ for all $k$ (a $β$ -expansion of $x$ ). It is known that a.e. $x\in I_β$ has a continuum of distinct $β$ -expansions. In this paper we prove that if $β$ is a Pisot number, then for a.e. $x$ this continuum has one and the same growth rate. We also link this rate to the Lebesgue-generic local dimension for the Bernoulli convolution parametrized by $β$ . When $β<\frac{1+\sqrt5}2$ , we show that the set of $β$ -expansions grows exponentially for every internal $x$ .

preprint2008arXiv

Periodic unique beta-expansions: the Sharkovskii ordering

Let $β\in(1,2)$ . Each $x\in[0,\frac{1}{β-1}]$ can be represented in the form $x=\sum_{k=1}^\infty ε_kβ^{-k},$ where $ε_k\in\{0,1\}$ for all $k$ (a $β$ -expansion of $x$ ). If $β>\frac{1+\sqrt5}{2}$ , then, as is well known, there always exist $x\in(0,\frac1{β-1})$ which have a unique $\be$-expansion. In the present paper we study (purely) periodic unique $β$ -expansions and show that for each $n\ge2$ there exists $β_n\in[\frac{1+\sqrt5}{2},2)$ such that there are no unique periodic $β$ -expansions of smallest period $n$ for $β\leβ_n$ and at least one such expansion for $β>β_n$ . Furthermore, we prove that $β_k<β_m$ if and only if $k$ is less than $m$ in the sense of the Sharkovski\uı ordering. We give two proofs of this result, one of which is independent, and the other one links it to the dynamics of a family of trapezoidal maps.

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.

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.

Nikita Sidorov

Research overview

Is this your work?

13 publications

Multidimensional self-affine sets: non-empty interior and the set of uniqueness

Two-dimensional self-affine sets with interior points, and the set of uniqueness

Expansions in non-integer bases: lower order revisited

On cycles for the doubling map which are disjoint from an interval

On a Devil's staircase associated to the joint spectral radii of a family of pairs of matrices

Supercritical holes for the doubling map

The doubling map with asymmetrical holes

On the topology of sums in powers of an algebraic number

Optimizing Properties of Balanced Words

An explicit counterexample to the Lagarias-Wang finiteness conjecture

Growth rate for beta-expansions

Periodic unique beta-expansions: the Sharkovskii ordering

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

See the researcher in context

Building this map preview

Nikita Sidorov

Research overview

Is this your work?

13 publications

Multidimensional self-affine sets: non-empty interior and the set of uniqueness

Two-dimensional self-affine sets with interior points, and the set of uniqueness

Expansions in non-integer bases: lower order revisited

On cycles for the doubling map which are disjoint from an interval

On a Devil's staircase associated to the joint spectral radii of a family of pairs of matrices

Supercritical holes for the doubling map

The doubling map with asymmetrical holes

On the topology of sums in powers of an algebraic number

Optimizing Properties of Balanced Words

An explicit counterexample to the Lagarias-Wang finiteness conjecture

Growth rate for beta-expansions

Periodic unique beta-expansions: the Sharkovskii ordering

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

See the researcher in context

Building this map preview

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