BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Nikita Sidorov

Nikita Sidorov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.DSmath.NTDiscrete Mathematicsmath.OCComputational Complexitymath.OAmath.RA

Catalog footprint

What is connected

13works
7topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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.

Published work

13 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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].

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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}$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access