We establish new combinatorial transcendence criteria for continued fraction expansions. Let $\alpha =[0;a_1,a_2,...]$ be an algebraic number of degree at least three. One of our criteria implies that the sequence of partial quotients ${\left(a_{\ell }\right)}_{\ell \ge 1}$ of $\alpha$ is not ‘too simple’ (in a suitable sense) and cannot be generated by a finite automaton.

Let $F\left(X\right)={\sum }_{n\ge 0}{(-1)}^{\epsilon ₙ}{X}^{-\lambda ₙ}$ be a real lacunary formal power series, where εₙ = 0,1 and ${\lambda }_{n+1}/\lambda ₙ>2$. It is known that the denominators Qₙ(X) of the convergents of its continued fraction expansion are polynomials with coefficients 0, ±1, and that the number of nonzero terms in Qₙ(X) is the nth term of the Stern-Brocot sequence. We show that replacing the index n by any 2-adic integer ω makes sense. We prove that $Q_{\omega }\left(X\right)$ is a polynomial if and only if ω ∈ ℤ. In all the other cases $Q_{\omega }\left(X\right)$ is an infinite formal power series; we discuss...

In this paper we describe the set of conjugacy classes in the group $\mathrm{SL}(n,\mathbb{Z})$. We expand geometric Gauss Reduction Theory that solves the problem for $\mathrm{SL}(2,\mathbb{Z})$ to the multidimensional case, where $\varsigma$-reduced Hessenberg matrices play the role of reduced matrices. Further we find complete invariants of conjugacy classes in $\mathrm{GL}(n,\mathbb{Z})$ in terms of multidimensional Klein-Voronoi continued fractions.

Let $\alpha \>1$ be irrational. Several authors studied the numbers $${\ell }^m\left(\alpha \right)=inf\left\{\right|y|:y\in {\Lambda }_m,y\ne 0\},$$ where $m$ is a positive integer and ${\Lambda }_m$ denotes the set of all real numbers of the form $y={ϵ}_0{\alpha }^n+{ϵ}_1{\alpha }^{n-1}+\cdots +{ϵ}_{n-1}\alpha +{ϵ}_n$ with restricted integer coefficients $|{ϵ}_i|\le m$. The value of ${\ell }^1\left(\alpha \right)$ was determined for many particular Pisot numbers and ${\ell }^m\left(\alpha \right)$ for the golden number. In this paper the value of ${\ell }^m\left(\alpha \right)$ is determined for irrational numbers $\alpha$, satisfying ${\alpha }^2=a\alpha \pm 1$ with a positive integer $a$.

Let ${fₙ}_{n\ge 1}$ be an infinite iterated function system on [0,1] satisfying the open set condition with the open set (0,1) and let Λ be its attractor. Then to any x ∈ Λ (except at most countably many points) corresponds a unique sequence ${aₙ\left(x\right)}_{n\ge 1}$ of integers, called the digit sequence of x, such that $x=li{m}_{n\to \infty }{f}_{a₁\left(x\right)}\circ \cdots \circ f_{aₙ\left(x\right)}\left(1\right)$. We investigate the growth speed of the digits in a general infinite iterated function system. More precisely, we determine the dimension of the set $x\in \Lambda :aₙ\left(x\right)\in B\left(\forall n\ge 1\right),li{m}_{n\to \infty }aₙ\left(x\right)=\infty$ for any infinite subset B ⊂ ℕ, a question posed by...

Let $F=\mathbb{Q}\left(\sqrt{d}\right)$ be a real quadratic field with ring of integers $𝒪$. In this paper we analyze the number $h_d$ of ${GL}_1\left(𝒪\right)$-orbits of homothety classes of perfect unary forms over $F$ as a function of $d$. We compute $h_d$ exactly for square-free $d\le 200000$. By relating perfect forms to continued fractions, we give bounds on $h_d$ and address some questions raised by Watanabe, Yano, and Hayashi.

We present new inequalities of $L_p$ norms for sums of positive functions. These inequalities are useful for investigation of convergence of simple partial fractions in $L_p\left(ℝ\right)$.

Let β ∈ (1,2) and x ∈ [0,1/(β-1)]. We call a sequence ${\left({ϵ}_i\right)}_{i=1}^{\infty }\in {0,1}^{\mathbb{N}}$ a β-expansion for x if $x={\sum }_{i=1}^{\infty }{ϵ}_i{\beta }^{-i}$. We call a finite sequence ${\left({ϵ}_i\right)}_{i=1}^n\in {0,1}^n$ an n-prefix for x if it can be extended to form a β-expansion of x. In this paper we study how good an approximation is provided by the set of n-prefixes. Given $\Psi :\mathbb{N}\to {ℝ}_{\ge 0}$, we introduce the following subset of ℝ: $W_{\beta }\left(\Psi \right):={\bigcap }_{m=1}^{\infty }{\bigcup }_{n=m}^{\infty }{\bigcup }_{{\left({ϵ}_i\right)}_{i=1}^n\in {0,1}^n}[{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right),{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right)+\Psi \left(n\right)]$In other words, $W_{\beta }\left(\Psi \right)$ is the set of x ∈ ℝ for which there exist infinitely many solutions to the inequalities $0\le x-{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right)\le \Psi \left(n\right)$. When ${\sum }_{n=1}^{\infty }{2}^n\Psi \left(n\right)<\infty$, the Borel-Cantelli lemma tells us that the Lebesgue measure...

We show that every operator from ${\ell }_s$ to ${\ell }_p\otimes ̂{\ell }_q$ is compact when 1 ≤ p,q < s and that every operator from ${\ell }_s$ to ${\ell }_p\widehat{\otimes ̂}{\ell }_q$ is compact when 1/p + 1/q > 1 + 1/s.

The seminal theorem of Cobham has given rise during the last 40 years to a lot of work about non-standard numeration systems and has been extended to many contexts. In this paper, as a result of fifteen years of improvements, we obtain a complete and general version for the so-called substitutive sequences. Let $\alpha$ and $\beta$ be two multiplicatively independent Perron numbers. Then a sequence $x\in A^{\mathbb{N}}$, where $A$ is a finite alphabet, is both $\alpha$-substitutive and $\beta$-substitutive if and only if $x$ is ultimately...

Consider a recurrence sequence ${\left(x_k\right)}_{k\in \mathbb{Z}}$ of integers satisfying $x_{k+n}=a_{n-1}{x}_{k+n-1}+...+a₁x_{k+1}+a₀x_k$, where $a₀,a₁,...,a_{n-1}\in \mathbb{Z}$ are fixed and a₀ ∈ -1,1. Assume that $x_k>0$ for all sufficiently large k. If there exists k₀∈ ℤ such that $x_{k₀}<0$ then for each negative integer -D there exist infinitely many rational primes q such that $q|x_k$ for some k ∈ ℕ and (-D/q) = -1.

Let $f^j={\sum }_k{a}_{k}f(2^{j+1}x-2k)$, where the sum is taken over the lattice of all points k in ${ℝ}^n$ having integer-valued components, j∈ℕ and $a_k\in ℂ$. Let $A_{pq}^s$ be either $B_{pq}^s$ or $F_{pq}^s$ (s ∈ ℝ, 0 < p < ∞, 0 < q ≤ ∞) on ${ℝ}^n.$ The aim of the paper is to clarify under what conditions $\parallel f^j|A_{pq}^s\parallel$ is equivalent to $2^{j(s-n/p)}({\sum }_k|a_k{|}^p{)}^{1/p}\parallel f|A_{pq}^s\parallel$.