BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Nikita Sidorov

Nikita Sidorov contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.DSmath.NTDiscrete MathematicsComputational Complexitymath.OCmath.RA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

8 published item(s)

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

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
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