scholarly journals The -transformation with a hole at 0

2019 ◽  
Vol 40 (9) ◽  
pp. 2482-2514
Author(s):  
CHARLENE KALLE ◽  
DERONG KONG ◽  
NIELS LANGEVELD ◽  
WENXIA LI

For $\unicode[STIX]{x1D6FD}\in (1,2]$ the $\unicode[STIX]{x1D6FD}$-transformation $T_{\unicode[STIX]{x1D6FD}}:[0,1)\rightarrow [0,1)$ is defined by $T_{\unicode[STIX]{x1D6FD}}(x)=\unicode[STIX]{x1D6FD}x\hspace{0.6em}({\rm mod}\hspace{0.2em}1)$. For $t\in [0,1)$ let $K_{\unicode[STIX]{x1D6FD}}(t)$ be the survivor set of $T_{\unicode[STIX]{x1D6FD}}$ with hole $(0,t)$ given by $$\begin{eqnarray}K_{\unicode[STIX]{x1D6FD}}(t):=\{x\in [0,1):T_{\unicode[STIX]{x1D6FD}}^{n}(x)\not \in (0,t)\text{ for all }n\geq 0\}.\end{eqnarray}$$ In this paper we characterize the bifurcation set $E_{\unicode[STIX]{x1D6FD}}$ of all parameters $t\in [0,1)$ for which the set-valued function $t\mapsto K_{\unicode[STIX]{x1D6FD}}(t)$ is not locally constant. We show that $E_{\unicode[STIX]{x1D6FD}}$ is a Lebesgue null set of full Hausdorff dimension for all $\unicode[STIX]{x1D6FD}\in (1,2)$. We prove that for Lebesgue almost every $\unicode[STIX]{x1D6FD}\in (1,2)$ the bifurcation set $E_{\unicode[STIX]{x1D6FD}}$ contains infinitely many isolated points and infinitely many accumulation points arbitrarily close to zero. On the other hand, we show that the set of $\unicode[STIX]{x1D6FD}\in (1,2)$ for which $E_{\unicode[STIX]{x1D6FD}}$ contains no isolated points has zero Hausdorff dimension. These results contrast with the situation for $E_{2}$, the bifurcation set of the doubling map. Finally, we give for each $\unicode[STIX]{x1D6FD}\in (1,2)$ a lower and an upper bound for the value $\unicode[STIX]{x1D70F}_{\unicode[STIX]{x1D6FD}}$ such that the Hausdorff dimension of $K_{\unicode[STIX]{x1D6FD}}(t)$ is positive if and only if $t<\unicode[STIX]{x1D70F}_{\unicode[STIX]{x1D6FD}}$. We show that $\unicode[STIX]{x1D70F}_{\unicode[STIX]{x1D6FD}}\leq 1-(1/\unicode[STIX]{x1D6FD})$ for all $\unicode[STIX]{x1D6FD}\in (1,2)$.

10.37236/4851 ◽  
2015 ◽  
Vol 22 (3) ◽  
Author(s):  
Kayleigh K. Hyde ◽  
Bjørn Kjos-Hanssen

Shallit and Wang studied deterministic automatic complexity of words.  They showed that the automatic Hausdorff dimension $I(\mathbf t)$ of the infinite Thue word satisfies $1/3\le I(\mathbf t)\le 1/2$.   We improve that result by showing that $I(\mathbf t)= 1/2$.  We prove that the nondeterministic automatic complexity $A_N(x)$ of a word $x$ of length $n$ is bounded by $b(n):=\lfloor n/2\rfloor + 1$.  This enables us to define the complexity deficiency $D(x)=b(n)-A_N(x)$.  If $x$ is square-free then $D(x)=0$. If $x$ is almost square-free in the sense of Fraenkel and Simpson, or if $x$ is a overlap-free binary word such as the infinite Thue--Morse word, then $D(x)\le 1$.  On the other hand, there is no constant upper bound on $D$ for overlap-free words over a ternary alphabet, nor for cube-free words over a binary alphabet.The decision problem whether $D(x)\ge d$ for given $x$, $d$ belongs to $\mathrm{NP}\cap \mathrm{E}$.


1951 ◽  
Vol 47 (3) ◽  
pp. 457-460 ◽  
Author(s):  
R. P. Bambah

1. Let f(x1, x2, …, xn) be a homogeneous form with real coefficients in n variables x1, x2, …, xn. Let a1, a2, …, an be n real numbers. Define mf(a1, …, an) to be the lower bound of | f(x1 + a1, …, xn + an) | for integers x1, …, xn. Let mf be the upper bound of mf(a1, …, an) for all choices of a1, …, an. For many forms f it is known that there exist estimates for mf in terms of the invariants alone of f. On the other hand, it follows from a theorem of Macbeath* that no such estimates exist if the regionhas a finite volume. However, for such forms there may be simple estimates for mf dependent on the coefficients of f; for example, Chalk has conjectured that:If f(x,y) is reduced binary cubic form with negative discriminant, then for any real a, b there exist integers x, y such that


2018 ◽  
Vol 19 (2) ◽  
pp. 421-450 ◽  
Author(s):  
Stephen Scully

Let $q$ be an anisotropic quadratic form defined over a general field $F$. In this article, we formulate a new upper bound for the isotropy index of $q$ after scalar extension to the function field of an arbitrary quadric. On the one hand, this bound offers a refinement of an important bound established in earlier work of Karpenko–Merkurjev and Totaro; on the other hand, it is a direct generalization of Karpenko’s theorem on the possible values of the first higher isotropy index. We prove its validity in two key cases: (i) the case where $\text{char}(F)\neq 2$, and (ii) the case where $\text{char}(F)=2$ and $q$ is quasilinear (i.e., diagonalizable). The two cases are treated separately using completely different approaches, the first being algebraic–geometric, and the second being purely algebraic.


2019 ◽  
Vol 2019 (746) ◽  
pp. 149-170
Author(s):  
Pekka Pankka ◽  
Juan Souto

Abstract We prove that Kleinian groups whose limit sets are Cantor sets of Hausdorff dimension < 1 are free. On the other hand we construct for any ε > 0 an example of a non-free purely hyperbolic Kleinian group whose limit set is a Cantor set of Hausdorff dimension < 1 + ε.


Author(s):  
B. Choudhary

Integral transformations analogous to the Nörlund means have been introduced and investigated by Kuttner, Knopp and Vanderburg(6), (5), (4). It is known that with any regular Nörlund mean (N, p) there is associated a functionregular for |z| < 1, and if we have two Nörlund means (N, p) and (N, r), where (N, pr is regular, while the function is regular for |z| ≤ 1 and different) from zero at z = 1, then q(z) = r(z)p(z) belongs to a regular Nörlund mean (N, q). Concerning Nörlund means Peyerimhoff(7) and Miesner (3) have recently obtained the relation between the convergence fields of the Nörlund means (N, p) and (N, r) on the one hand and the convergence field of the Nörlund mean (N, q) on the other hand.


1973 ◽  
Vol 15 (2) ◽  
pp. 243-256 ◽  
Author(s):  
T. K. Sheng

It is well known that no rational number is approximable to order higher than 1. Roth [3] showed that an algebraic number is not approximable to order greater than 2. On the other hand it is easy to construct numbers, the Liouville numbers, which are approximable to any order (see [2], p. 162). We are led to the question, “Let Nn(α, β) denote the number of distinct rational points with denominators ≦ n contained in an interval (α, β). What is the behaviour of Nn(α, + 1/n) as α varies on the real line?” We shall prove that and that there are “compressions” and “rarefactions” of rational points on the real line.


1929 ◽  
Vol 25 (2) ◽  
pp. 219-221
Author(s):  
T. M. Lowry

Two alternative views have been expressed in regard to the configuration of quadrivalent atoms. On the one hand le Bel and van't Hoff assigned to quadrivalent carbon a tetrahedral configuration, which has since been confirmed by the X-ray analysis of the diamond. On the other hand, Werner in 1893 adopted an octahedral configuration for radicals of the type MA6, e.g. inand then suggested that “the molecules [MA4]X2 are incomplete molecules [MA6]X2. The radicals [MA4] result from the octahedrally-conceived radicals [MA6] by loss of two groups A, but with no function-change of the acid residue…. They behave as if the bivalent metallic atom in the centre of the octahedron could no longer bind all six of the groups A and lost two of them leaving behind the fragment [MA4]” (p. 303).


1924 ◽  
Vol 22 (3) ◽  
pp. 282-286
Author(s):  
E. C. Titchmarsh

I have collected in the present note some theorems regarding the solution of a certain system of linear equations with an infinity of unknowns. The general form of the equations isthe numbers a1, a2, … c1, c2, … being given. Equations of this type are of course well known; but in studying them it is generally assumed that the series depend for convergence on the convergence-exponent of the sequences involved, e.g. that and are convergent. No assumptions of this kind are made here, and in fact the series need not be absolutely convergent. On the other hand rather special assumptions are made with regard to the monotonic character of the sequences an and cn.


Author(s):  
D. A. Brannan ◽  
J. G. Clunie

SynopsisWe study the extreme points of two classes of polynomials of degree at most n:It turns out that f ∈ Ext if and only if Re f(eiθ) has exactly 2n zeros in [0, 2π). On the other hand, if f∈Hn and 1−|f(eiθ)|2 has 2n zeros in [0, 2π), then either f ∈ Ext Hn or else f(z) = α + βzn where |α|+|β| = l and αβ≠0; if 1−|f(eiθ)|2 has 2m zeros, 2n, then f may or may not belong to Ext Hn.


1968 ◽  
Vol 11 (4) ◽  
pp. 527-531 ◽  
Author(s):  
Richard K. Guy ◽  
Patrick A. Kelly

Let Sn be the set of n2 points with integer coordinates n (x, y), 1 ≤ x, y <n. Let fn be the maximum cardinal of a subset T of Sn such that no three points of T are collinear. Clearly fn < 2n.For 2 ≤ n ≤ 10 it is known ([2], [3] for n = 8, [ 1] for n = 10, also [4], [6]) that fn = 2n, and that this bound is attained in 1, 1, 4, 5, 11, 22, 57, 51 and 156 distinct configurations for these nine values of n. On the other hand, P. Erdös [7] has pointed out that if n is prime, fn ≥ n, since the n points (x, x2) reduced modulo n have no three collinear. We give a probabilistic argument to support the conjecture that there is only a finite number of solutions to the no-three-in-line problem. More specifically, we conjecture that


Sign in / Sign up

Export Citation Format

Share Document