Showing 1–50 of 51 results for author: Sidorov, N

Fuzzy Volterra Integral Equation with Piecewise Continuous Kernel: Theory and Numerical Solution

Authors: Samad Noeiaghdam, Aliona I. Dreglea, Denis N. Sidorov

Abstract: This study aims to discuss the existence and uniqueness of solution of fuzzy Volterra integral equation with piecewise continuous kernel. Such problems appears in many balance problems for hereditary dynamic systems, e.g. in electric load leveling. The method of successive approximations is applied and the main theorems are proved based on the method. Some examples are discussed and the results ar… ▽ More This study aims to discuss the existence and uniqueness of solution of fuzzy Volterra integral equation with piecewise continuous kernel. Such problems appears in many balance problems for hereditary dynamic systems, e.g. in electric load leveling. The method of successive approximations is applied and the main theorems are proved based on the method. Some examples are discussed and the results are presented for different values of $μ$ by plotting several graphs. △ Less

Submitted 16 December, 2023; originally announced January 2024.

Comments: Presented on DYSC-2023, submitted to Fuzzy Sets and Systems

MSC Class: 45D05; 45H05; 45L05; 65R20; 34A07

On some properties of Perron numbers

Authors: Nikita Sidorov

Abstract: Let $θ$ be a real number, $n\in\mathbb N$, and $D_n(θ)=\left\{\sum_{k=1}^n a_kθ^{k}\mid a_k\in\{0,\dots,\lfloor θ\rfloor\}\right\}. $ Let $θ$ be a Perron number, that is, an algebraic integer $>1$ whose other Galois conjugates are less than $θ$ in absolute value. I shall prove two results: (1) $θ^n\ll\#D_n(θ)\ll\sqrt n θ^n.$ (2) $θ$ is of height $\le \lfloorθ\rfloor$. Let $θ$ be a real number, $n\in\mathbb N$, and $D_n(θ)=\left\{\sum_{k=1}^n a_kθ^{k}\mid a_k\in\{0,\dots,\lfloor θ\rfloor\}\right\}. $ Let $θ$ be a Perron number, that is, an algebraic integer $>1$ whose other Galois conjugates are less than $θ$ in absolute value. I shall prove two results: (1) $θ^n\ll\#D_n(θ)\ll\sqrt n θ^n.$ (2) $θ$ is of height $\le \lfloorθ\rfloor$. △ Less

Submitted 3 November, 2023; originally announced November 2023.

Comments: two pages

MSC Class: 11R06

Bernoulli convolutions -- 2023

Authors: Nikita Sidorov

Abstract: Let $θ\in(1,2)$, and $μ_θ$ be the Bernoulli convolution parametrized by $θ$, that is, the measure corresponding to the distribution of the random variable $\sum_{n=1}^{\infty} a_nθ^{-n}$, where the $a_n$ are i.i.d. with probability of $a_n=0$ equal to $\frac12$. As is well known, $μ_θ$ is either equivalent to the Lebesgue measure on $\text{supp}(μ_θ)$, or singular. Recall that an algebraic integer… ▽ More Let $θ\in(1,2)$, and $μ_θ$ be the Bernoulli convolution parametrized by $θ$, that is, the measure corresponding to the distribution of the random variable $\sum_{n=1}^{\infty} a_nθ^{-n}$, where the $a_n$ are i.i.d. with probability of $a_n=0$ equal to $\frac12$. As is well known, $μ_θ$ is either equivalent to the Lebesgue measure on $\text{supp}(μ_θ)$, or singular. Recall that an algebraic integer $>1$ is called Pisot if all its other Galois conjugates are smaller than 1 in modulus. It is known that $μ_θ$ is singular with $\dimμ_θ<1$ if $θ$ is Pisot. An algebraic integer $θ$ greater than 1 is called a Salem number if all its other Galois conjugates are of modulus 1, except $θ^{-1}$. I shall prove that (1) $\dimμ_θ=1$ if $θ$ is an algebraic non-Pisot number. (2) if $θ$ is Salem, then $μ_θ$ is equivalent to the Lebesgue measure on $\text{supp}(μ_θ)$, with an unbounded density in $L^p(\text{supp}(μ_θ))$ for all $p<\infty$. (3) Define \[ β_{θ,x,n}=\#\left\{a_1\dots a_n: \exists a_{n+1}\dots\text{such that\ } x=\sum_{k=1}^{\infty}a_nθ^{-k}\right\}. \] Then \[ \lim_{n\to\infty}\sqrt[n]{β_{θ,x,n}}=θ^{\dimμ_θ}\text{\ for}\ μ_θ-\text{a.e.} x. \] (4) Put \[ \bigcup_{n=1}^\infty\left\{\sum_{k=1}^{n}a_kθ^k\mid a_k\in\{-1,0,1\}\right\}= \{y_0(θ)<y_1(θ)<\cdots\}, \] and \[ \ell(θ)=\liminf_{n\to\infty}(y_{n+1}(θ)-y_n(θ)). \] I shall present a short proof of De-Jun Feng's famous theorem which states that $\ell(θ)=0$ for all non-Pisot $θ$. △ Less

Submitted 3 December, 2023; v1 submitted 1 November, 2023; originally announced November 2023.

Comments: 6 pages

MSC Class: 28D40; 11R06

Complex dimensions for IFS with overlaps

Authors: Nikita Sidorov

Abstract: The notion of complex dimension of a one-dimensional Cantor set $C=\bigcap_{n=1}^\infty C_n$ dates back decades. It is defined as the set of poles of the meromorphic $ζ$-function $ζ(s)=\sum_{n=1}^{\infty}d_j^s$, where $\Re s>0$, and $d_j$ is the length of the $j$th interval in $C_n$. Following the trend, I switch from sets to measures, which will allow me to generalize the construction to iterated… ▽ More The notion of complex dimension of a one-dimensional Cantor set $C=\bigcap_{n=1}^\infty C_n$ dates back decades. It is defined as the set of poles of the meromorphic $ζ$-function $ζ(s)=\sum_{n=1}^{\infty}d_j^s$, where $\Re s>0$, and $d_j$ is the length of the $j$th interval in $C_n$. Following the trend, I switch from sets to measures, which will allow me to generalize the construction to iterated function schemes that do not necessarily satisfy the Open Set Condition. △ Less

Submitted 1 December, 2023; v1 submitted 12 October, 2023; originally announced October 2023.

Comments: 3 pages, no figures

MSC Class: 28D20

One class of linear Fredholm integral equations with functionals and parameters

Authors: L. R. Dreglea Sidorov, N. Sidorov, D. Sidorov

Abstract: The theory of linear Fredholm integral-functional equations of the second kind with linear functionals and with a parameter is considered. The necessary and sufficient conditions are obtained for the coefficients of the equation and those parameter values, in the nighbohood of which the equation has solutions. The leading terms of the asymptotics of the solutions are constructed. The constructive… ▽ More The theory of linear Fredholm integral-functional equations of the second kind with linear functionals and with a parameter is considered. The necessary and sufficient conditions are obtained for the coefficients of the equation and those parameter values, in the nighbohood of which the equation has solutions. The leading terms of the asymptotics of the solutions are constructed. The constructive method is proposed for constructing a solution both in the regular case and in the irregular one. In the regular case, the solution is constructed as a Taylor series in powers of the parameter. In the irregular case, the solution is constructed as a Laurent series in powers of the parameter. Constructive theory and method is demonstrated on the model example. △ Less

Submitted 29 March, 2023; originally announced March 2023.

MSC Class: 45B05

The Minkowski sum of linear Cantor sets

Authors: Kevin G. Hare, Nikita Sidorov

Abstract: Let $C$ be the classical middle third Cantor set. It is well known that $C+C = [0,2]$ (Steinhaus, 1917). (Here $+$ denotes the Minkowski sum.) Let $U$ be the set of $z \in [0,2]$ which have a unique representation as $z = x + y$ with $x, y \in C$ (the set of uniqueness). It isn't difficult to show that $\dim_H U = \log(2) / \log(3)$ and $U$ essentially looks like $2C$. Assuming… ▽ More Let $C$ be the classical middle third Cantor set. It is well known that $C+C = [0,2]$ (Steinhaus, 1917). (Here $+$ denotes the Minkowski sum.) Let $U$ be the set of $z \in [0,2]$ which have a unique representation as $z = x + y$ with $x, y \in C$ (the set of uniqueness). It isn't difficult to show that $\dim_H U = \log(2) / \log(3)$ and $U$ essentially looks like $2C$. Assuming $0,n-1 \in A \subset \{0,1,\dots,n-1\}$, define $C_A = C_{A,n}$ as the linear Cantor set which the attractor of the iterated function system \[ \{ x \mapsto (x + a) / n: a \in A \}. \] We consider various properties of such linear Cantor sets. Our main focus will be on the structure of $C_{A,n}+C_{A,n}$ depending on $n$ and $A$ as well as the properties of the set of uniqueness $U_A$. △ Less

Submitted 19 October, 2022; v1 submitted 14 October, 2022; originally announced October 2022.

Comments: Added some additional relevant references. Emphasized that almost all z \in C_A + C_A have a continuum of representations as z = x + y with x, y \in C_A. Added the observation that dim_H(U_A) < 1 for trivial reasons

On a family of Self-Affine IFS whose attractors have a non-fractal top

Authors: Kevin G. Hare, Nikita Sidorov

Abstract: Let $0< λ< μ<1$ and $λ+μ>1$. In this note we prove that for the vast majority of such parameters the top of the attractor $A_{λ,μ}$ of the IFS $\{(λx,μy), (μx+1-μ, λy+1-λ)\}$ is the graph of a continuous, strictly increasing function. Despite this, for most parameters, $A_{λ, μ}$ has a box dimension strictly greater than 1, showing that the upper boundary is not representative of the complexity of… ▽ More Let $0< λ< μ<1$ and $λ+μ>1$. In this note we prove that for the vast majority of such parameters the top of the attractor $A_{λ,μ}$ of the IFS $\{(λx,μy), (μx+1-μ, λy+1-λ)\}$ is the graph of a continuous, strictly increasing function. Despite this, for most parameters, $A_{λ, μ}$ has a box dimension strictly greater than 1, showing that the upper boundary is not representative of the complexity of the fractal. Finally, we prove that if $λμ\ge 2^{-1/6}$, then $A_{λ,μ}$ has a non-empty interior. △ Less

Submitted 5 January, 2021; originally announced January 2021.

Comments: 9 figures

Conjugates of Pisot numbers

Authors: Kevin G. Hare, Nikita Sidorov

Abstract: In this paper we investigate the Galois conjugates of a Pisot number $q \in (m, m+1)$, $m \geq 1$. In particular, we conjecture that for $q \in (1,2)$ we have $|q'| \geq \frac{\sqrt{5}-1}{2}$ for all conjugates $q'$ of $q$. Further, for $m \geq 3$, we conjecture that for all Pisot numbers $q \in (m, m+1)$ we have $|q'| \geq \frac{m+1-\sqrt{m^2+2m-3}}{2}$. A similar conjecture if made for $m =2$. W… ▽ More In this paper we investigate the Galois conjugates of a Pisot number $q \in (m, m+1)$, $m \geq 1$. In particular, we conjecture that for $q \in (1,2)$ we have $|q'| \geq \frac{\sqrt{5}-1}{2}$ for all conjugates $q'$ of $q$. Further, for $m \geq 3$, we conjecture that for all Pisot numbers $q \in (m, m+1)$ we have $|q'| \geq \frac{m+1-\sqrt{m^2+2m-3}}{2}$. A similar conjecture if made for $m =2$. We conjecture that all of these bounds are tight. We provide partial supporting evidence for this conjecture. This evidence is both of a theoretical and computational nature. Lastly, we connect this conjecture to a result on the dimension of Bernoulli convolutions parameterized by $β$, whose conjugate is the reciprocal of a Pisot number. △ Less

Submitted 4 October, 2020; originally announced October 2020.

Comments: 17 pages, 2 figures

MSC Class: 11K16

Journal ref: International Journal of Number Theory 17 (2021), Issue 6, pp. 1307 - 1321

Computing Garsia Entropy for Bernoulli Convolutions with Algebraic Parameters

Authors: Kevin G. Hare, Tom Kempton, Tomas Persson, Nikita Sidorov

Abstract: We introduce a parameter space containing all algebraic integers $β\in(1,2]$ that are not Pisot or Salem numbers, and a sequence of increasing piecewise continuous function on this parameter space which gives a lower bound for the Garsia entropy of the Bernoulli convolution $ν_β$. This allows us to show that $\mathrm{dim}_\mathrm{H} (ν_β)=1$ for all $β$ with representations in certain open regions… ▽ More We introduce a parameter space containing all algebraic integers $β\in(1,2]$ that are not Pisot or Salem numbers, and a sequence of increasing piecewise continuous function on this parameter space which gives a lower bound for the Garsia entropy of the Bernoulli convolution $ν_β$. This allows us to show that $\mathrm{dim}_\mathrm{H} (ν_β)=1$ for all $β$ with representations in certain open regions of the parameter space. △ Less

Submitted 5 November, 2023; v1 submitted 23 December, 2019; originally announced December 2019.

Comments: Withdrawn due to coauthor disagreement

MSC Class: 28A80; 28D20; 11R06; 37C45

Journal ref: Nonlinearity 34 (2021), 4744-4763. Nonlinearity 34 (2021), 4744-4763. Nonlinearity 34 (2021), 4744-4763. Nonlinearity 34 (2021), 4744-4763. Nonlinearity 34 (2021), 4744-4763

Numeric solution of systems of nonlinear Volterra integral equations of the first kind with discontinuous kernels

Authors: A. N. Tynda, D. N. Sidorov, N. A. Sidorov

Abstract: The systems of nonlinear Volterra integral equations of the first kind with jump discontinuous kernels are studied. The iterative numerical method for such nonlinear systems is proposed. Proposed method employs the modified Newton-Kantorovich iterative process for the integral operators linearization. On each step of the iterative process the linear system of integral equations is obtained and res… ▽ More The systems of nonlinear Volterra integral equations of the first kind with jump discontinuous kernels are studied. The iterative numerical method for such nonlinear systems is proposed. Proposed method employs the modified Newton-Kantorovich iterative process for the integral operators linearization. On each step of the iterative process the linear system of integral equations is obtained and resolved using the discontinuity driven piecewise constant approximation of the exact solution. The convergence theorem is proved. The polynomial collocation technique is also applied to solve such systems as the alternative method. The accuracy of proposed numerical methods is discussed. The model examples are examined in order to demonstrate the efficiency of proposed numerical methods and illustrate the constructed theory. △ Less

Submitted 20 October, 2019; originally announced October 2019.

Comments: submitted to the Journal of Computational and Applied Mathematics

MSC Class: 45G15 45D05 65R20

Irregular linear systems of PDEs with the conditions on solutions' projections

Authors: Nikolai A. Sidorov

Abstract: The theory of complete generalized Jordan sets is employed to reduce the PDE with the irreversible linear operator $B$ of finite index to the regular problems. It is demonstrated how the question of the choice of boundary conditions is connected with the $B$-Jordan structure of coefficients of PDE. The various approaches shows the combination alternative Lyapunov method, Jordan structure coefficie… ▽ More The theory of complete generalized Jordan sets is employed to reduce the PDE with the irreversible linear operator $B$ of finite index to the regular problems. It is demonstrated how the question of the choice of boundary conditions is connected with the $B$-Jordan structure of coefficients of PDE. The various approaches shows the combination alternative Lyapunov method, Jordan structure coefficients and skeleton decomposition of irreversible linear operator from the main part equation are among the most powerfull methods to attack such challenging problem. On this base the complex problem of the {\it correct choice of boundary conditions} for the wide class of the singular PDE can be solved. Aggregated existence and uniqueness theorems can be proved, solution may continuously depend on the function determied from the experiments. Such theory can be applied to the integral--differential equations with partial derivatives. △ Less

Submitted 23 December, 2018; originally announced December 2018.

MSC Class: 35L05

Basins of attraction of nonlinear systems' equilibrium points: stability, branching and blow-up

Authors: Nikolai Sidorov, Denis Sidorov, Yong Li

Abstract: This paper presents a nonlinear dynamical model which consists the system of differential and operator equations. Here differential equation contains a nonlinear operator acting in Banach space, a nonlinear operator equation with respect to two elements from different Banach spaces. This system is assumed to enjoy the stationary state (rest points or equilibrium). The Cauchy problem with the initi… ▽ More This paper presents a nonlinear dynamical model which consists the system of differential and operator equations. Here differential equation contains a nonlinear operator acting in Banach space, a nonlinear operator equation with respect to two elements from different Banach spaces. This system is assumed to enjoy the stationary state (rest points or equilibrium). The Cauchy problem with the initial condition with respect to one of the desired functions is formulated. The second function controls the corresponding nonlinear dynamic process, the initial conditions are not set. The sufficient conditions of the global classical solution's existence and stabilization at infinity to the rest point are formulated. It is demonstrated that a solution can be constructed by the method of successive approximations under the suitable sufficient conditions. If the conditions of the main theorem are not satisfied, then several solutions may exist. Some of solutions can blow-up in a finite time, while others stabilize to a rest point. The special case of considered dynamical models are nonlinear differential-algebraic equation (DAE) have successfully modeled various phenomena in circuit analysis, power systems, chemical process simulations and many other nonlinear processes. Three examples illustrate the constructed theory and the main theorem. Generalization on the non-autonomous dynamical systems concludes the article. △ Less

Submitted 26 July, 2018; v1 submitted 15 July, 2018; originally announced July 2018.

MSC Class: 34A12 47A25 93D05 34D20 35B44 45N05

An infinitely generated self-similar set with positive Lebesgue measure and empty interior

Authors: Simon Baker, Nikita Sidorov

Abstract: Peres and Solomyak asked the question: Do there exist self-similar sets with positive Lebesgue measure and empty interior? This question was answered in the affirmative by Csörnyei et al. They gave a parameterised family of iterated function systems for which almost all of the corresponding self-similar sets satisfied the required properties. They do not however provide an explicit example. Motiva… ▽ More Peres and Solomyak asked the question: Do there exist self-similar sets with positive Lebesgue measure and empty interior? This question was answered in the affirmative by Csörnyei et al. They gave a parameterised family of iterated function systems for which almost all of the corresponding self-similar sets satisfied the required properties. They do not however provide an explicit example. Motivated by a desire to construct an explicit example, we in this paper provide an explicit construction of an infinitely generated self-similar set with positive Lebesgue measure and empty interior. △ Less

Submitted 13 March, 2019; v1 submitted 2 June, 2018; originally announced June 2018.

MSC Class: 28A80; 37C45

Journal ref: roceedings of the American Mathematical Society 147 (2019), 4891-4899

Open maps: small and large holes with unusual properties

Authors: Kevin G. Hare, Nikita Sidorov

Abstract: Let $X$ be a two-sided subshift on a finite alphabet endowed with a mixing probability measure which is positive on all cylinders in $X$. We show that there exist arbitrarily small finite overlap** union of shifted cylinders which intersect every orbit under the shift map. We also show that for any proper subshift $Y$ of $X$ there exists a finite overlap** unions of shifted cylinders such th… ▽ More Let $X$ be a two-sided subshift on a finite alphabet endowed with a mixing probability measure which is positive on all cylinders in $X$. We show that there exist arbitrarily small finite overlap** union of shifted cylinders which intersect every orbit under the shift map. We also show that for any proper subshift $Y$ of $X$ there exists a finite overlap** unions of shifted cylinders such that its survivor set contains $Y$ (in particular, it can have entropy arbitrarily close to the entropy of $X$). Both results may be seen as somewhat counter-intuitive. Finally, we apply these results to a certain class of hyperbolic algebraic automorphisms of a torus. △ Less

Submitted 21 June, 2018; v1 submitted 17 October, 2017; originally announced October 2017.

Comments: 15 pages, no figures

MSC Class: 28D05; 37B10

Journal ref: Discrete & Continuous Dynamical Systems - A 38 (2018), 5883-5895

The baker's map with a convex hole

Authors: Lyndsey Clark, Kevin G. Hare, Nikita Sidorov

Abstract: We consider the baker's map $B$ on the unit square $X$ and an open convex set $H\subset X$ which we regard as a hole. The survivor set $\mathcal J(H)$ is defined as the set of all points in $X$ whose $B$-trajectories are disjoint from $H$. The main purpose of this paper is to study holes $H$ for which $\dim_H \mathcal J(H)=0$ (dimension traps) as well as those for which any periodic trajectory of… ▽ More We consider the baker's map $B$ on the unit square $X$ and an open convex set $H\subset X$ which we regard as a hole. The survivor set $\mathcal J(H)$ is defined as the set of all points in $X$ whose $B$-trajectories are disjoint from $H$. The main purpose of this paper is to study holes $H$ for which $\dim_H \mathcal J(H)=0$ (dimension traps) as well as those for which any periodic trajectory of $B$ intersects $\overline H$ (cycle traps). We show that any $H$ which lies in the interior of $X$ is not a dimension trap. This means that, unlike the doubling map and other one-dimensional examples, we can have $\dim_H \mathcal J(H)>0$ for $H$ whose Lebesgue measure is arbitrarily close to one. Also, we describe holes which are dimension or cycle traps, critical in the sense that if we consider a strictly convex subset, then the corresponding property in question no longer holds. We also determine $δ>0$ such that $\dim_H \mathcal J(H)>0$ for all convex $H$ whose Lebesgue measure is less than $δ$. This paper may be seen as a first extension of our work begun in [3, 4, 6, 7, 13] to higher dimensions. △ Less

Submitted 30 January, 2018; v1 submitted 1 May, 2017; originally announced May 2017.

Comments: 31 pages, 10 figures

MSC Class: 28D05; 37B10

Journal ref: Nonlinearity 31 (2018), 3174-3202

Nonclassic boundary value problems in the theory of irregular systems of equations with partial derivatives

Authors: Nikolai Sidorov, Denis Sidorov

Abstract: The linear PDE ${\mathbf B} {\mathbf L} (\frac{\partial}{\partial x}) u ={\mathbf L}_1(\frac{\partial}{\partial x})u +f(x)$ with nonclassic conditions on boundary $\partial Ω$ is considered. Here ${\mathbf B}$ is linear noninvertible bounded operator acting from linear space $E$ into $E,$ $x=(t,x_1,\dots, x_m) \in Ω, $ $Ω\subset {\mathbb R}^{m+1}.$ It is assumed that ${\mathbf B}$ enjoys the skele… ▽ More The linear PDE ${\mathbf B} {\mathbf L} (\frac{\partial}{\partial x}) u ={\mathbf L}_1(\frac{\partial}{\partial x})u +f(x)$ with nonclassic conditions on boundary $\partial Ω$ is considered. Here ${\mathbf B}$ is linear noninvertible bounded operator acting from linear space $E$ into $E,$ $x=(t,x_1,\dots, x_m) \in Ω, $ $Ω\subset {\mathbb R}^{m+1}.$ It is assumed that ${\mathbf B}$ enjoys the skeleton decomposition ${\mathbf B}={\mathbf A}_1 {\mathbf A}_2,$ ${\mathbf A}_2 \in {\mathcal L}(E\rightarrow E_1),$ ${\mathbf A}_1 \in {\mathcal L}(E_1\rightarrow E)$ where $E_1$ is linear normed space. Differential operators ${\mathbf L}, \, {\mathbf L}_1$ are partial differential operators. In the concrete cases the domains of definition of operators ${\mathbf L}, {\mathbf L}_1$ consist of linear manifolds $E_{\partial}$ of sufficiently smooth abstract functions $u(x)$ with domain in $Ω$ and their ranges in $E,$ which satisfy certain system of homogeneous boundary conditions. The abstract function $f: Ω\subset {\mathbb R}^{m+1} \rightarrow E $ is assumed to be given. It is requested to find the solution $u: Ω\subset {\mathbb R}^{m+1} \rightarrow E_{\partial},$ which satisfy certain condition on boundary $\partial Ω.$ The concept of a skeleton chains is introduced as sequence of linear operators ${\mathbf B}_i \in {\mathcal L}(E_i \rightarrow E_i), \, i=1,2,\dots, p,$ where $E_i$ are linear spaces corresponding to the skeleton decomposition of operator ${\mathbf B}.$ It is assumed that irreversible operator ${\mathbf B}$ generates skeleton chain of the finite length $p.$ The problem is reduced to a regular split system with respect to higher order derivative terms with certain initial and boundary conditions. △ Less

Submitted 9 October, 2016; originally announced October 2016.

MSC Class: 47A50; 47A52

A lower bound for the dimension of Bernoulli convolutions

Authors: Kevin G. Hare, Nikita Sidorov

Abstract: Let $β\in(1,2)$ and let $H_β$ denote Garsia's entropy for the Bernoulli convolution $μ_β$ associated with $β$. In the present paper we show that $H_β>0.82$ for all $β\in (1, 2)$ and improve this bound for certain ranges. Combined with recent results by Hochman and Breuillard-Varjú, this yields $\dim (μ_β)\ge0.82$ for all $β\in(1,2)$. In addition, we show that if an algebraic $β$ is such that… ▽ More Let $β\in(1,2)$ and let $H_β$ denote Garsia's entropy for the Bernoulli convolution $μ_β$ associated with $β$. In the present paper we show that $H_β>0.82$ for all $β\in (1, 2)$ and improve this bound for certain ranges. Combined with recent results by Hochman and Breuillard-Varjú, this yields $\dim (μ_β)\ge0.82$ for all $β\in(1,2)$. In addition, we show that if an algebraic $β$ is such that $[\mathbb{Q}(β): \mathbb{Q}(β^k)] = k$ for some $k \geq 2$, then $\dim(μ_β)=1$. Such is, for instance, any root of a Pisot number which is not a Pisot number itself. △ Less

Submitted 1 March, 2017; v1 submitted 7 September, 2016; originally announced September 2016.

Comments: 8 pages, no figures

MSC Class: 26A30; 11R06

Journal ref: Experimental Mathematics 27 (2018), 414-418

Skeleton decomposition of linear operators in the theory of degenerate differential equations

Authors: N. Sidorov, D. Sidorov, Y. Li

Abstract: We suggest method based on the skeleton decomposition of linear operators in order to reduce ill-posed degenerate differential equations to the non-classic initial-value problem enjoying unique solution We suggest method based on the skeleton decomposition of linear operators in order to reduce ill-posed degenerate differential equations to the non-classic initial-value problem enjoying unique solution △ Less

Submitted 22 January, 2016; v1 submitted 29 November, 2015; originally announced November 2015.

MSC Class: 47A52 ACM Class: G.1.7; G.1.8; G.1.9

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

Authors: Kevin G. Hare, Nikita Sidorov

Abstract: 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 s… ▽ More 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. △ Less

Submitted 11 January, 2016; v1 submitted 29 June, 2015; originally announced June 2015.

Comments: 10 pages, no figures

MSC Class: 28A80

Journal ref: Studia Math. 229 (2015), 223-232

On Perturbation Method for the First Kind Equations: Regularization and Application

Authors: Ildar R. Muftahov, Denis N. Sidorov, Nikolai A. Sidorov

Abstract: One of the most common problems of scientific applications is computation of the derivative of a function specified by possibly noisy or imprecise experimental data. Application of conventional techniques for numerically calculating derivatives will amplify the noise making the result useless. We address this typical ill-posed problem by application of perturbation method to linear first kind equa… ▽ More One of the most common problems of scientific applications is computation of the derivative of a function specified by possibly noisy or imprecise experimental data. Application of conventional techniques for numerically calculating derivatives will amplify the noise making the result useless. We address this typical ill-posed problem by application of perturbation method to linear first kind equations $Ax=f$ with bounded operator $A.$ We assume that we know the operator $\tilde{A}$ and source function $\tilde{f}$ only such as $||\tilde{A} - A||\leq δ_1,$ $||\tilde{f}-f||< δ_2.$ The regularizing equation $\tilde{A}x + B(α)x = \tilde{f}$ possesses the unique solution. Here $α\in S,$ $S$ is assumed to be an open space in $\mathbb{R}^n,$ $0 \in \overline{S},$ $α= α(δ).$ As result of proposed theory, we suggest a novel algorithm providing accurate results even in the presence of a large amount of noise. △ Less

Submitted 13 April, 2015; v1 submitted 26 March, 2015; originally announced March 2015.

MSC Class: 47A52

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

Authors: Kevin G. Hare, Nikita Sidorov

Abstract: 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 un… ▽ More 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]. △ Less

Submitted 8 September, 2015; v1 submitted 25 February, 2015; originally announced February 2015.

Comments: 29 pages, 7 figures

MSC Class: 28A80; 11A67

Journal ref: Nonlinearity 29 (2016), no 1, 1-26

On a family of self-affine sets: topology, uniqueness, simultaneous expansions

Authors: Kevin G. Hare, Nikita Sidorov

Abstract: Let $β_1,β_2>1$ and $T_i(x,y) = \bigl(\frac{x+i}{β_1}, \frac{y+i}{β_2}\bigr),\ i\in\{\pm1\}$. Let $A := A_{β_1, β_2}$ be the unique compact set satisfying $A = T_{1}(A) \cup T_{-1}(A)$. In this paper we give a detailed analysis of $A$, and the parameters $(β_1, β_2)$ where$A$ satisfies various topological properties. In particular, we show that if $β_1<β_2<1.202$,then $A$ has a non-empty interior,… ▽ More Let $β_1,β_2>1$ and $T_i(x,y) = \bigl(\frac{x+i}{β_1}, \frac{y+i}{β_2}\bigr),\ i\in\{\pm1\}$. Let $A := A_{β_1, β_2}$ be the unique compact set satisfying $A = T_{1}(A) \cup T_{-1}(A)$. In this paper we give a detailed analysis of $A$, and the parameters $(β_1, β_2)$ where$A$ satisfies various topological properties. In particular, we show that if $β_1<β_2<1.202$,then $A$ has a non-empty interior, thus significantly improving the bound from [1]. In the opposite direction,we prove that the connectedness locus for this family studied in [16] is not simply connected.We prove that the set of points of $A$ which have a unique address has positive Hausdorff dimension for all $(β_1,β_2)$.Finally, we investigate simultaneous $(β_1,β_2)$-expansions of reals, which were the initial motivation for studying this family in [5]. △ Less

Submitted 11 May, 2015; v1 submitted 15 October, 2014; originally announced October 2014.

Comments: 44 pages, 18 figures

MSC Class: Primary 28A80; Secondary 11A67

Journal ref: Ergodic Theory Dynam. Systems 37 (2017), 193-227

On Application of the Lyapunov-Schmidt-Trenogin Method to Bifurcation Analysis of the Vlasov-Maxwell system

Authors: Nikolai A. Sidorov

Abstract: The review of existence theorems of bifurcation points of solutions for nonlinear operator equation in Banach spaces is presented. The sufficient conditions of bifurcation of solutions of boundary-value problem for Vlasov-Maxwell system are considered. The analytical method of Lyapunov-Schmidt-Trenogin is employed. The review of existence theorems of bifurcation points of solutions for nonlinear operator equation in Banach spaces is presented. The sufficient conditions of bifurcation of solutions of boundary-value problem for Vlasov-Maxwell system are considered. The analytical method of Lyapunov-Schmidt-Trenogin is employed. △ Less

Submitted 4 January, 2014; originally announced January 2014.

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

Authors: Kevin G. Hare, Nikita Sidorov

Abstract: 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… ▽ More 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. △ Less

Submitted 14 May, 2014; v1 submitted 13 August, 2013; originally announced August 2013.

Comments: 19 pages

Journal ref: Monatshefte für Mathematik 175 (2014), 347-365

Existence and Destruction of Kantorovich Main Continuous Solutions of Nonlinear Integral Equations

Authors: Denis N. Sidorov

Abstract: The sufficient conditions are obtained for existence of the main solution of the nonlinear Volterra integral equation of the second kind on the semi-axis and on a finite interval. The method for computation of this boundary interval is designed. Beyond such integral the solution has the blow-up. The efficiency of proposed technique is demonstrated on concrete examples. The sufficient conditions are obtained for existence of the main solution of the nonlinear Volterra integral equation of the second kind on the semi-axis and on a finite interval. The method for computation of this boundary interval is designed. Beyond such integral the solution has the blow-up. The efficiency of proposed technique is demonstrated on concrete examples. △ Less

Submitted 28 February, 2013; originally announced February 2013.

MSC Class: 45D05; 35B44; 49K15 ACM Class: G.1.9

Expansions in non-integer bases: lower order revisited

Authors: Simon Baker, Nikita Sidorov

Abstract: 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… ▽ More 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$. △ Less

Submitted 14 May, 2014; v1 submitted 18 February, 2013; originally announced February 2013.

Comments: 16 pages

MSC Class: 11A63; 37A45

Journal ref: Integers 14 (2014), Paper #A57

The doubling map with asymmetrical holes

Authors: Paul Glendinning, Nikita Sidorov

Abstract: 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 di… ▽ More 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. △ Less

Submitted 11 September, 2013; v1 submitted 11 February, 2013; originally announced February 2013.

Comments: 26 pages, 3 figures

MSC Class: Primary 28D05; Secondary 37B10

Journal ref: Ergod. Th. Dynam. Sys. 35 (2013) 1208-1228

Solution to the Volterra Operator Equations of the 1st kind with Piecewise Continuous Kernels

Authors: Denis Sidorov, Nikolai Sidorov

Abstract: The sufficient conditions for existence and uniqueness of continuous solutions of the Volterra operator equations of the first kind with piecewise continuous kernel are derived. The asymptotic approximation of the parametric family of solutions are constructed in case of non-unique solution. The algorithm for the solution's improvement is proposed using the successive approximations method. The sufficient conditions for existence and uniqueness of continuous solutions of the Volterra operator equations of the first kind with piecewise continuous kernel are derived. The asymptotic approximation of the parametric family of solutions are constructed in case of non-unique solution. The algorithm for the solution's improvement is proposed using the successive approximations method. △ Less

Submitted 17 August, 2012; originally announced August 2012.

Comments: 17 pages

MSC Class: 39B42; 45D05; 39A10; 45M05

Supercritical holes for the doubling map

Authors: Nikita Sidorov

Abstract: 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 Hausdorf… ▽ More 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$. △ Less

Submitted 17 October, 2013; v1 submitted 9 April, 2012; originally announced April 2012.

Comments: This is a new version, where a full characterization of supercritical holes for the doubling map is obtained

Journal ref: Acta Math. Hung. 143 (2014), 298-312

Extremal sequences of polynomial complexity

Authors: Kevin G. Hare, Ian D. Morris, Nikita Sidorov

Abstract: The joint spectral radius of a bounded set of $d \times d$ real matrices is defined to be the maximum possible exponential growth rate of products of matrices drawn from that set. For a fixed set of matrices, a sequence of matrices drawn from that set is called \emph{extremal} if the associated sequence of partial products achieves this maximal rate of growth. An influential conjecture of J. Lagar… ▽ More The joint spectral radius of a bounded set of $d \times d$ real matrices is defined to be the maximum possible exponential growth rate of products of matrices drawn from that set. For a fixed set of matrices, a sequence of matrices drawn from that set is called \emph{extremal} if the associated sequence of partial products achieves this maximal rate of growth. An influential conjecture of J. Lagarias and Y. Wang asked whether every finite set of matrices admits an extremal sequence which is periodic. This is equivalent to the assertion that every finite set of matrices admits an extremal sequence with bounded subword complexity. Counterexamples were subsequently constructed which have the property that every extremal sequence has at least linear subword complexity. In this paper we extend this result to show that for each integer $p \geq 1$, there exists a pair of square matrices of dimension $2^p(2^{p+1}-1)$ for which every extremal sequence has subword complexity at least $2^{-p^2}n^p$. △ Less

Submitted 24 April, 2013; v1 submitted 30 January, 2012; originally announced January 2012.

Comments: 15 pages

MSC Class: 15A60 (Primary) 37B10; 65K10; 68R15 (Secondary)

Journal ref: Math. Proc. Camb. Phil. Soc. 155 (2013),191-205

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

Authors: Ian D. Morris, Nikita Sidorov

Abstract: 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 rat… ▽ More 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. △ Less

Submitted 10 June, 2013; v1 submitted 18 July, 2011; originally announced July 2011.

Comments: 40 pages

MSC Class: Primary 15A18; 15A60; secondary 37B10; 65K10; 68R15

Journal ref: J. Eur. Math. Soc. (JEMS) 15 (2013), 1747-1782

Convex Majorants Method in the Theory of Nonlinear Volterra Equations

Authors: Denis Sidorov, Nikolay Sidorov

Abstract: The main solutions in sense of Kantorovich of nonlinear Volterra operator-integral equations are constructed. Convergence of the successive approximations is established through studies of majorant integral and majorant algebraic equations. Estimates are derived for the solutions and for the intervals on the right margin of which the solution has blow-up or solution start branching. The main solutions in sense of Kantorovich of nonlinear Volterra operator-integral equations are constructed. Convergence of the successive approximations is established through studies of majorant integral and majorant algebraic equations. Estimates are derived for the solutions and for the intervals on the right margin of which the solution has blow-up or solution start branching. △ Less

Submitted 25 January, 2011; v1 submitted 20 January, 2011; originally announced January 2011.

MSC Class: 45D.04; 37N35; 93C40 ACM Class: G.1.2; G.1.9

An explicit counterexample to the Lagarias-Wang finiteness conjecture

Authors: Kevin G. Hare, Ian D. Morris, Nikita Sidorov, Jacques Theys

Abstract: 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 o… ▽ More 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. △ Less

Submitted 11 November, 2010; v1 submitted 10 June, 2010; originally announced June 2010.

Comments: 27 pages, 2 figures

MSC Class: 15A18; 15A60; 37B10; 65K10; 68R15

Journal ref: Advances in Mathematics 226 (2011), 4667-4701

On the topology of sums in powers of an algebraic number

Authors: Nikita Sidorov, Boris Solomyak

Abstract: 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… ▽ More 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}$. △ Less

Submitted 18 July, 2011; v1 submitted 17 September, 2009; originally announced September 2009.

Comments: 10 pages, no figures

MSC Class: 11J17; 11K16; 11R06

Journal ref: Acta Arithmetica 149 (2011), 337-346

Growth rate for beta-expansions

Authors: De-Jun Feng, Nikita Sidorov

Abstract: 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 sa… ▽ More 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$. △ Less

Submitted 23 December, 2009; v1 submitted 3 February, 2009; originally announced February 2009.

Comments: 21 pages, 2 figures

MSC Class: 11A63; 28D05; 42A85

Journal ref: Monatsh. Math. 162 (2011), 41-60

A lower bound for Garsia's entropy for certain Bernoulli convolutions

Authors: Kevin G. Hare, Nikita Sidorov

Abstract: Let $β\in(1,2)$ be a Pisot number and let $H_β$ denote Garsia's entropy for the Bernoulli convolution associated with $β$. Garsia, in 1963 showed that $H_β<1$ for any Pisot $β$. For the Pisot numbers which satisfy $x^m=x^{m-1}+x^{m-2}+...+x+1$ (with $m\ge2$) Garsia's entropy has been evaluated with high precision by Alexander and Zagier and later improved by Grabner, Kirschenhofer and Tichy, and… ▽ More Let $β\in(1,2)$ be a Pisot number and let $H_β$ denote Garsia's entropy for the Bernoulli convolution associated with $β$. Garsia, in 1963 showed that $H_β<1$ for any Pisot $β$. For the Pisot numbers which satisfy $x^m=x^{m-1}+x^{m-2}+...+x+1$ (with $m\ge2$) Garsia's entropy has been evaluated with high precision by Alexander and Zagier and later improved by Grabner, Kirschenhofer and Tichy, and it proves to be close to 1. No other numerical values for $H_β$ are known. In the present paper we show that $H_β>0.81$ for all Pisot $β$, and improve this lower bound for certain ranges of $β$. Our method is computational in nature. △ Less

Submitted 13 November, 2009; v1 submitted 18 November, 2008; originally announced November 2008.

Comments: 16 pages, 4 figures

MSC Class: 26A30; 28D20; 11R06

Journal ref: LMS J. Comput. Math. 13 (2010) 130-143

On the average growth exponent for beta-expansions

Authors: Nikita Sidorov

Abstract: Let $\be\in(1,2)$. Each $x\in I_\be:=[0,\frac{1}{\be-1}]$ can be represented in the form \[ x=\sum_{k=1}^\infty a_k\be^{-k}, \] where $a_k\in\{0,1\}$ for all $k$ (a $\be$-expansion of $x$). It was shown in \cite{S} that a.e. $x\in I_\be$ has a continuum of distinct $\be$-expansions. In this paper we show that for a generic $x$, this continuum has one and the same growth rate, i.e., the general… ▽ More Let $\be\in(1,2)$. Each $x\in I_\be:=[0,\frac{1}{\be-1}]$ can be represented in the form \[ x=\sum_{k=1}^\infty a_k\be^{-k}, \] where $a_k\in\{0,1\}$ for all $k$ (a $\be$-expansion of $x$). It was shown in \cite{S} that a.e. $x\in I_\be$ has a continuum of distinct $\be$-expansions. In this paper we show that for a generic $x$, this continuum has one and the same growth rate, i.e., the general $\be$-expansions exhibit an ergodic behaviour. When $\be<\frac{1+\sqrt5}2$, we show that the set of $\be$-expansions grows exponentially for every $x\in(0,\frac{1}{\be-1})$. Special attention is paid to the case $\be=\frac{1+\sqrt5}2$, for which we explicitly compute the average growth exponent and apply this result to evaluating the local dimension of the corresponding Bernoulli convolution at a Lebesgue-generic $x$. △ Less

Submitted 24 September, 2008; v1 submitted 11 August, 2008; originally announced August 2008.

Comments: This paper has been withdrawn by the author, due a crucial error in the proof of Theorem 2.3

MSC Class: 11A63; 28D05; 42A85

Periodic unique beta-expansions: the Sharkovskii ordering

Authors: Jean-Paul Allouche, Matthew Clarke, Nikita Sidorov

Abstract: 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… ▽ More 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ĭ 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. △ Less

Submitted 4 August, 2008; v1 submitted 31 March, 2008; originally announced March 2008.

Comments: 21 pages, 3 figures

MSC Class: 37B10; 11A63; 11B85; 68R15

Journal ref: Ergodic Theory Dynam. Systems 29 (2009), 1055-1074

Combinatorics of linear iterated function systems with overlaps

Authors: Nikita Sidorov

Abstract: Let $\bm p_0,...,\bm p_{m-1}$ be points in ${\mathbb R}^d$, and let $\{f_j\}_{j=0}^{m-1}$ be a one-parameter family of similitudes of ${\mathbb R}^d$: $$ f_j(\bm x) = λ\bm x + (1-λ)\bm p_j, j=0,...,m-1, $$ where $λ\in(0,1)$ is our parameter. Then, as is well known, there exists a unique self-similar attractor $S_λ$ satisfying $S_λ=\bigcup_{j=0}^{m-1} f_j(S_λ)$. Each $\bm x\in S_λ$ has at least o… ▽ More Let $\bm p_0,...,\bm p_{m-1}$ be points in ${\mathbb R}^d$, and let $\{f_j\}_{j=0}^{m-1}$ be a one-parameter family of similitudes of ${\mathbb R}^d$: $$ f_j(\bm x) = λ\bm x + (1-λ)\bm p_j, j=0,...,m-1, $$ where $λ\in(0,1)$ is our parameter. Then, as is well known, there exists a unique self-similar attractor $S_λ$ satisfying $S_λ=\bigcup_{j=0}^{m-1} f_j(S_λ)$. Each $\bm x\in S_λ$ has at least one address $(i_1,i_2,...)\in\prod_1^\infty\{0,1,...,m-1\}$, i.e., $\lim_n f_{i_1}f_{i_2}... f_{i_n}({\bf 0})=\bm x$. We show that for $λ$ sufficiently close to 1, each $\bm x\in S_λ\setminus\{\bm p_0,...,\bm p_{m-1}\}$ has $2^{\aleph_0}$ different addresses. If $λ$ is not too close to 1, then we can still have an overlap, but there exist $\bm x$'s which have a unique address. However, we prove that almost every $\bm x\in S_λ$ has $2^{\aleph_0}$ addresses, provided $S_λ$ contains no holes and at least one proper overlap. We apply these results to the case of expansions with deleted digits. Furthermore, we give sharp sufficient conditions for the Open Set Condition to fail and for the attractor to have no holes. These results are generalisations of the corresponding one-dimensional results, however most proofs are different. △ Less

Submitted 20 March, 2007; originally announced March 2007.

Comments: Accepted for publication in Nonlinearity

MSC Class: 60J05

Journal ref: Nonlinearity 20 (2007), 1299-1312

Expansions in non-integer bases: lower, middle and top orders

Authors: Nikita Sidorov

Abstract: Let $q\in(1,2)$; it is known that each $x\in[0,1/(q-1)]$ has an expansion of the form $x=\sum_{n=1}^\infty a_nq^{-n}$ with $a_n\in\{0,1\}$. It was shown in \cite{EJK} that if $q<(\sqrt5+1)/2$, then each $x\in(0,1/(q-1))$ has a continuum of such expansions; however, if $q>(\sqrt5+1)/2$, then there exist infinitely many $x$ having a unique expansion \cite{GS}. In the present paper we begin the s… ▽ More Let $q\in(1,2)$; it is known that each $x\in[0,1/(q-1)]$ has an expansion of the form $x=\sum_{n=1}^\infty a_nq^{-n}$ with $a_n\in\{0,1\}$. It was shown in \cite{EJK} that if $q<(\sqrt5+1)/2$, then each $x\in(0,1/(q-1))$ has a continuum of such expansions; however, if $q>(\sqrt5+1)/2$, then there exist infinitely many $x$ having a unique expansion \cite{GS}. In the present paper we begin the study of parameters $q$ for which there exists $x$ having a fixed finite number $m>1$ of expansions in base $q$. In particular, we show that if $q<q_2=1.71...$, then each $x$ has either 1 or infinitely many expansions, i.e., there are no such $q$ in $((\sqrt5+1)/2,q_2)$. On the other hand, for each $m>1$ there exists $\ga_m>0$ such that for any $q\in(2-\ga_m,2)$, there exists $x$ which has exactly $m$ expansions in base $q$. △ Less

Submitted 3 February, 2009; v1 submitted 10 August, 2006; originally announced August 2006.

Comments: 15 pages; to appear in J. Number Theory

MSC Class: 11A63

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

Authors: Eric Olivier, Nikita Sidorov, Alain Thomas

Abstract: 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. 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. △ Less

Submitted 12 November, 2004; originally announced November 2004.

Comments: 39 pages, 5 figures; to appear in Monatsh. Math

MSC Class: 28A12; 11A67; 15A48

Journal ref: Monatsh. Math. 145, No. 2, 145-174 (2005)

Golden gaskets: variations on the Sierpiński sieve

Authors: Dave Broomhead, James Montaldi, Nikita Sidorov

Abstract: We consider the iterated function systems (IFSs) that consist of three general similitudes in the plane with centres at three non-collinear points, and with a common contraction factor $\la\in(0,1)$. As is well known, for $\la=1/2$ the invariant set, $§_\la$, is a fractal called the Sierpiński sieve, and for $\la<1/2$ it is also a fractal. Our goal is to study $§_\la$ for this IFS for… ▽ More We consider the iterated function systems (IFSs) that consist of three general similitudes in the plane with centres at three non-collinear points, and with a common contraction factor $\la\in(0,1)$. As is well known, for $\la=1/2$ the invariant set, $§_\la$, is a fractal called the Sierpiński sieve, and for $\la<1/2$ it is also a fractal. Our goal is to study $§_\la$ for this IFS for $1/2<\la<2/3$, i.e., when there are "overlaps" in $§_\la$ as well as "holes". In this introductory paper we show that despite the overlaps (i.e., the Open Set Condition breaking down completely), the attractor can still be a totally self-similar fractal, although this happens only for a very special family of algebraic $\la$'s (so-called "multinacci numbers"). We evaluate $\dim_H(§_\la)$ for these special values by showing that $§_\la$ is essentially the attractor for an infinite IFS which does satisfy the Open Set Condition. We also show that the set of points in the attractor with a unique ``address'' is self-similar, and compute its dimension. For ``non-multinacci'' values of $\la$ we show that if $\la$ is close to 2/3, then $§_\la$ has a nonempty interior and that if $\la<1/\sqrt{3}$ then §_\la$ has zero Lebesgue measure. Finally we discuss higher-dimensional analogues of the model in question. △ Less

Submitted 18 September, 2003; originally announced September 2003.

Comments: 27 pages, 10 figures

MSC Class: 28A80; 28A78; 11R06

Journal ref: Nonlinearity, vol.17 (2004), issue 4, pages 1455 - 1480

Spectra of Bernoulli convolutions as multipliers in $L^p$ on the circle

Authors: Nikita Sidorov, Boris Solomyak

Abstract: It is shown that the closure of the set of Fourier coefficients of the Bernoulli convolution $μ_θ$ parameterized by a Pisot number $θ$, is countable. Combined with results of Salem and Sarnak, this proves that for every fixed $θ>1$ the spectrum of the convolution operator $f\mapsto μ_θ*f$ in $L^p(S^1)$ (where $S^1$ is the circle group) is countable and is the same for all $p\in(1,\infty)$, namel… ▽ More It is shown that the closure of the set of Fourier coefficients of the Bernoulli convolution $μ_θ$ parameterized by a Pisot number $θ$, is countable. Combined with results of Salem and Sarnak, this proves that for every fixed $θ>1$ the spectrum of the convolution operator $f\mapsto μ_θ*f$ in $L^p(S^1)$ (where $S^1$ is the circle group) is countable and is the same for all $p\in(1,\infty)$, namely, $\bar{\{\hat{μ_θ}(n) : n\in\mathbb{Z}\}}$. Our result answers the question raised by P. Sarnak in \cite{Sar}. We also consider the sets $\bar{\{\hat{μ_θ}(rn) : n\in\mathbb{Z}\}}$ for $r>0$ which correspond to a linear change of variable for the measure. We show that such a set is still countable for all $r\in\Q(θ)$ but uncountable (a non-empty interval) for Lebesgue-a.e. $r>0$. △ Less

Submitted 3 October, 2002; originally announced October 2002.

Comments: 18 pages

MSC Class: 47A10; 42A16; 11R06

Universal $β$-expansions

Authors: Nikita Sidorov

Abstract: Given $β\in(1,2)$, a $β$-expansion of a real $x$ is a power series in base $β$ with coefficients 0 and 1 whose sum equals $x$. The aim of this note is to study certain problems related to the universality and combinatorics of $β$-expansions. Our main result is that for any $β\in(1,2)$ and a.e. $x\in (0,1)$ there always exists a universal $β$-expansion of $x$ in the sense of Erdös and Komornik, i… ▽ More Given $β\in(1,2)$, a $β$-expansion of a real $x$ is a power series in base $β$ with coefficients 0 and 1 whose sum equals $x$. The aim of this note is to study certain problems related to the universality and combinatorics of $β$-expansions. Our main result is that for any $β\in(1,2)$ and a.e. $x\in (0,1)$ there always exists a universal $β$-expansion of $x$ in the sense of Erdös and Komornik, i.e., a $β$-expansion whose complexity function is $2^n$. We also study some questions related to the points having less than a full branching continuum of $β$-expansions and also normal $β$-expansions. △ Less

Submitted 19 September, 2002; originally announced September 2002.

Comments: 11 pages

MSC Class: 11A63; 11K16; 28D05

Ergodic-theoretic properties of certain Bernoulli convolutions

Authors: Nikita Sidorov

Abstract: In [17] the author and A. Vershik have shown that for $\be=\frac12(1+\sqrt5)$ and the alphabet $\{0,1\}$ the infinite Bernoulli convolution ($=$ the Erdös measure) has a property similar to the Lebesgue measure. Namely, it is quasi-invariant of type $\mathrm{II}_1$ under the $\be$-shift, and the natural extension of the $\be$-shift provided with the measure equivalent to the Erdös measure, is Be… ▽ More In [17] the author and A. Vershik have shown that for $\be=\frac12(1+\sqrt5)$ and the alphabet $\{0,1\}$ the infinite Bernoulli convolution ($=$ the Erdös measure) has a property similar to the Lebesgue measure. Namely, it is quasi-invariant of type $\mathrm{II}_1$ under the $\be$-shift, and the natural extension of the $\be$-shift provided with the measure equivalent to the Erdös measure, is Bernoulli. In this note we extend this result to all Pisot parameters $\be$ (modulo some general arithmetic conjecture) and an arbitrary "sufficient" alphabet. △ Less

Submitted 6 March, 2002; originally announced March 2002.

Comments: 10 pages, Latex2e

MSC Class: 28D05; 11R06

Arithmetic Dynamics

Authors: Nikita Sidorov

Abstract: This survey paper is aimed to describe a relatively new branch of symbolic dynamics which we call Arithmetic Dynamics. It deals with explicit arithmetic expansions of reals and vectors that have a "dynamical" sense. This means precisely that they (semi-) conjugate a given continuous (or measure-preserving) dynamical system and a symbolic one. The classes of dynamical systems and their codings co… ▽ More This survey paper is aimed to describe a relatively new branch of symbolic dynamics which we call Arithmetic Dynamics. It deals with explicit arithmetic expansions of reals and vectors that have a "dynamical" sense. This means precisely that they (semi-) conjugate a given continuous (or measure-preserving) dynamical system and a symbolic one. The classes of dynamical systems and their codings considered in the paper involve: (1) Beta-expansions, i.e., the radix expansions in non-integer bases; (2) "Rotational" expansions which arise in the problem of encoding of irrational rotations of the circle; (3) Toral expansions which naturally appear in arithmetic symbolic codings of algebraic toral automorphisms (mostly hyperbolic). We study ergodic-theoretic and probabilistic properties of these expansions and their applications. Besides, in some cases we create "redundant" representations (those whose space of "digits" is a priori larger than necessary) and study their combinatorics. △ Less

Submitted 3 March, 2002; originally announced March 2002.

Comments: 45 pages in Latex + 3 figures in eps

MSC Class: 28D05; 11R06

Bijective and general arithmetic codings for Pisot automorphisms of the torus

Authors: Nikita Sidorov

Abstract: Let $T$ be an algebraic automorphism of $\mathbb{T}^{m}$ having the following property: the characteristic polynomial of its matrix is irreducible over $\mathbb{Q}$, and a Pisot number $β$ is one of its roots. We define the map** $φ_{\mathbf{t}}$ acting from the two-sided $β$-compactum onto $\mathbb{T}^{m}$ as follows: \[ φ_{\mathbf{t}}(\barε)= \sum_{k\in\mathbb{Z}}ε_{k}T^{-k}\mathbf{t}, \] wh… ▽ More Let $T$ be an algebraic automorphism of $\mathbb{T}^{m}$ having the following property: the characteristic polynomial of its matrix is irreducible over $\mathbb{Q}$, and a Pisot number $β$ is one of its roots. We define the map** $φ_{\mathbf{t}}$ acting from the two-sided $β$-compactum onto $\mathbb{T}^{m}$ as follows: \[ φ_{\mathbf{t}}(\barε)= \sum_{k\in\mathbb{Z}}ε_{k}T^{-k}\mathbf{t}, \] where $\mathbf{t}$ is a fundamental homoclinic point for $T$, i.e., a point homoclinic to $\mathbf{0}$ such that the linear span of its orbit is the whole homoclinic group (provided such a point exists). We call such a map** an arithmetic coding of $T$. This paper is aimed to show that under some natural hypothesis on $β$ (which is apparently satisfied for all Pisot units) the map** $φ_{\mathbf{t}}$ is bijective a.e. with respect to the Haar measure on the torus. Besides, we study the case of more general parameters $\mathbf{t}$, not necessarily fundamental, and relate the number of preimages of $φ_{\mathbf{t}}$ to certain number-theoretic quantities. We also give several full criteria for $T$ to admit a bijective arithmetic coding. This work continues the study begun in [Sidorov & Vershik, Journal Dynam. Control Systems 4 (1998), 365-399] for the special case $m=2$. △ Less

Submitted 21 June, 2000; originally announced June 2000.

Comments: 25 pages, Latex

MSC Class: 28D05; 37C29; 11R06; 11R04

On the fine structure of stationary measures in systems which contract-on-average

Authors: Matthew Nicol, Nikita Sidorov, David Broomhead

Abstract: Suppose $\{f_1,...,f_m\}$ is a set of Lipschitz maps of $\mathbb{R}^d$. We form the iterated function system (IFS) by independently choosing the maps so that the map $f_i$ is chosen with probability $p_i$ ($\sum_{i=1}^m p_i=1$). We assume that the IFS contracts on average. We give an upper bound for the Hausdorff dimension of the invariant measure induced on $\mathbb{R}^d$ and as a corollary sho… ▽ More Suppose $\{f_1,...,f_m\}$ is a set of Lipschitz maps of $\mathbb{R}^d$. We form the iterated function system (IFS) by independently choosing the maps so that the map $f_i$ is chosen with probability $p_i$ ($\sum_{i=1}^m p_i=1$). We assume that the IFS contracts on average. We give an upper bound for the Hausdorff dimension of the invariant measure induced on $\mathbb{R}^d$ and as a corollary show that the measure will be singular if the modulus of the entropy $\sum_i p_i \log p_i$ is less than $d$ times the modulus of the Lyapunov exponent of the system. Using a version of Shannon's Theorem for random walks on semigroups we improve this estimate and show that it is actually attainable for certain cases of affine map**s of $\mathbb{R}$. △ Less

Submitted 22 May, 2000; originally announced May 2000.

Comments: Final version; 14 pages in Latex

MSC Class: 60J05; 28D20; 20M20

An arithmetic group associated with a Pisot unit and its symbolic-dynamical representatiom

Authors: Nikita Sidorov

Abstract: To a given Pisot unit $β$ we associate a finite abelian group whose size appears to be equal to the discriminant of $β$. We call it the Pisot group and find its representation in the two-sided $β$-compactum in the case of $β$ satisfying the relation $Fin(β)=\Bbb Z[β]\cap[0,1)$. As a motivation for the definition, we show that the Pisot group is the kernel of some important arithmetic coding of t… ▽ More To a given Pisot unit $β$ we associate a finite abelian group whose size appears to be equal to the discriminant of $β$. We call it the Pisot group and find its representation in the two-sided $β$-compactum in the case of $β$ satisfying the relation $Fin(β)=\Bbb Z[β]\cap[0,1)$. As a motivation for the definition, we show that the Pisot group is the kernel of some important arithmetic coding of the toral automorphism given by the companion matrix naturally associated with $β$. △ Less

Submitted 23 December, 1999; originally announced December 1999.

Comments: 10 pages in AMS-TeX

MSC Class: 11R06; 28D05; 58F03

Bijective arithmetic codings of hyperbolic automorphisms of the 2-torus, and binary quadratic forms

Authors: Nikita Sidorov, Anatoly Vershik

Abstract: We study the arithmetic codings of hyperbolic automorphisms of the 2-torus, i.e. the continuous map**s acting from a certain symbolic space of sequences with a finite alphabet endowed with an appropriate structure of additive group onto the torus which preserve this structure and turn the two-sided shift into a given automorphism of the torus. This group is uniquely defined by an automorphism,… ▽ More We study the arithmetic codings of hyperbolic automorphisms of the 2-torus, i.e. the continuous map**s acting from a certain symbolic space of sequences with a finite alphabet endowed with an appropriate structure of additive group onto the torus which preserve this structure and turn the two-sided shift into a given automorphism of the torus. This group is uniquely defined by an automorphism, and such an arithmetic coding is a homomorphism of that group onto the 2-torus. The necessary and sufficient condition of the existence of a bijective arithmetic coding is obtained; it is formulated in terms of a certain binary quadratic form constructed by means of a given automorphism. Furthermore, we describe all bijective arithmetic codings in terms the Dirichlet group of the corresponding quadratic field. The minimum of that quadratic form over the nonzero elements of the lattice coincides with the minimal possible order of the kernel of a homomorphism described above. △ Less

Submitted 13 October, 1998; originally announced October 1998.

Report number: PDMI 6/98 MSC Class: 28D05 (primary) 11E16 (secondary)

Journal ref: J. Dynam. Control Systems 4 (1998), 365-400