We consider the Tribonacci sequence $T:={T_n}_{n\ge 0}$ given by T₀ = 0, T₁ = T₂ = 1 and $T_{n+3}=T_{n+2}+T_{n+1}+T_n$ for all n ≥ 0, and we find all triples of Tribonacci numbers which are multiplicatively dependent.

Let d be a positive integer and α a real algebraic number of degree d + 1. Set $\alpha ̲:=(\alpha ,\alpha ²,...,{\alpha }^d)$. It is well-known that $c\left(\alpha ̲\right):=limin{f}_{q\to \infty }{q}^{1/d}·\left|\right|q\alpha ̲\left|\right|>0$, where ||·|| denotes the distance to the nearest integer. Furthermore, $c\left(\alpha ̲\right)n^{-1/d}\le c\left(n\alpha ̲\right)\le nc\left(\alpha ̲\right)$ for any integer n ≥ 1. Our main result asserts that there exists a real number C, depending only on α, such that $c\left(n\alpha ̲\right)\le C{n}^{-1/d}$ for any integer n ≥ 1.

We prove a quantitative version of a result of Furstenberg [20] and Deligne [14] stating that the diagonal of a multivariate algebraic power series with coefficients in a field of positive characteristic is algebraic. As a consequence, we obtain that for every prime $p$ the reduction modulo $p$ of the diagonal of a multivariate algebraic power series $f$ with integer coefficients is an algebraic power series of degree at most $p^A$ and height at most $A{p}^A$, where $A$ is an effective constant that only...

Very recently, the generating function $A\left(z\right)$ of the Stern sequence ${\left(a_n\right)}_{n\ge 0}$, defined by $a_0:=0,a_1:=1,$ and $a_{2n}:=a_n,a_{2n+1}:=a_n+a_{n+1}$ for any integer $n\>0$, has been considered from the arithmetical point of view. Coons [8] proved the transcendence of $A\left(\alpha \right)$ for every algebraic $\alpha$ with $0\<\left|\alpha \right|\<1$, and this result was generalized in [6] to the effect that, for the same $\alpha$’s, all numbers $A\left(\alpha \right),A^{\prime }\left(\alpha \right),A^{\prime \prime }\left(\alpha \right),...$ are algebraically independent. At about the same time, Bacher...

Let $𝒜$ be a commutative algebraic group defined over a number field $k$. We consider the following question:A complete answer for the case of the multiplicative group ${𝔾}_m$ is classical. We study other instances and in particular obtain an affirmative answer when $r$ is a prime and $𝒜$ is either an elliptic curve or a torus of small dimension with respect to $r$. Without restriction on the dimension of a torus, we produce an example showing that the answer can be negative even when $r$ is a prime. ...

In this paper we prove the following theorems in incidence geometry. 1. There is $\delta >0$ such that for any $P_1,\cdots ,P_4$, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le n^{(1+\delta )/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then $P_1,\cdots ,P_4$ are collinear. If the number of the distinct lines is $<c{n}^{1/2}$ then the cross ratio of the four points is algebraic. 2. Given $c>0$, there is $\delta >0$ such that for any $P_1,P_2,P_3\in {ℂ}^2$ noncollinear, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le c{n}^{1/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then for any $P\in {ℂ}^2\setminus \{P_1,P_2,P_3\}$, we have $\delta n$ distinct lines between $P$ and $Q_j$. 3. Given...

Let $f:{\mathbb{P}}^k\to {\mathbb{P}}^k$ be a dominating rational mapping of first algebraic degree $\lambda \ge 2$. If $S$ is a positive closed current of bidegree $(1,1)$ on ${\mathbb{P}}^k$ with zero Lelong numbers, we show – under a natural dynamical assumption – that the pullbacks ${\lambda }^{-n}{\left(f^n\right)}^{*}S$ converge to the Green current $T_f$. For some families of mappings, we get finer convergence results which allow us to characterize all $f^{*}$-invariant currents.

Let $D$ be a ${𝒞}^d$ $q$-convex intersection, $d\ge 2$, $0\le q\le n-1$, in a complex manifold $X$ of complex dimension $n$, $n\ge 2$, and let $E$ be a holomorphic vector bundle of rank $N$ over $X$. In this paper, ${𝒞}^k$-estimates, $k=2,3,\cdots ,\infty$, for solutions to the $\overline{\partial }$-equation with small loss of smoothness are obtained for $E$-valued $(0,s)$-forms on $D$ when $n-q\le s\le n$. In addition, we solve the $\overline{\partial }$-equation with a support condition in ${𝒞}^k$-spaces. More precisely, we prove that for a $\overline{\partial }$-closed form $f$ in ${𝒞}_{0,q}^k(X\setminus D,E)$, $1\le q\le n-2$, $n\ge 3$, with compact support and for $\epsilon$ with $0<\epsilon <1$ there...

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

We show that any ${\Sigma }_s$-product of at most $𝔠$-many $L\Sigma (\le \omega )$-spaces has the $L\Sigma (\le \omega )$-property. This result generalizes some known results about $L\Sigma (\le \omega )$-spaces. On the other hand, we prove that every ${\Sigma }_s$-product of monotonically monolithic spaces is monotonically monolithic, and in a similar form, we show that every ${\Sigma }_s$-product of Collins-Roscoe spaces has the Collins-Roscoe property. These results generalize some known results about the Collins-Roscoe spaces and answer some questions due to Tkachuk [Lifting the Collins-Roscoe...

For a sequence x ∈ ℓ₁∖c₀₀, one can consider the set E(x) of all subsums of the series ${\sum }_{n=1}^{\infty }x\left(n\right)$. Guthrie and Nymann proved that E(x) is one of the following types of sets: () a finite union of closed intervals; () homeomorphic to the Cantor set; homeomorphic to the set T of subsums of ${\sum }_{n=1}^{\infty }b\left(n\right)$ where b(2n-1) = 3/4ⁿ and b(2n) = 2/4ⁿ. Denote by ℐ, and the sets of all sequences x ∈ ℓ₁∖c₀₀ such that E(x) has the property (ℐ), () and ( ), respectively. We show that ℐ and are strongly -algebrable and is -lineable....

Let $\Omega \subset {ℂ}^n$ be a bounded, simply connected $ℂ$-convex domain. Let $\alpha \in {\mathbb{Z}}_{+}^n$ and let $f$ be a function on $\Omega$ which is separately $C^{2{\alpha }_j-1}$-smooth with respect to $z_j$ (by which we mean jointly $C^{2{\alpha }_j-1}$-smooth with respect to $\mathrm{Re}{z}_j$, $\mathrm{Im}{z}_j$). If $f$ is $\alpha$-analytic on $\Omega \setminus f^{-1}\left(0\right)$, then $f$ is $\alpha$-analytic on $\Omega$. The result is well-known for the case ${\alpha }_i=1$, $1\le i\le n$, even when $f$ a priori is only known to be continuous.

A cluster ensemble is a pair $(𝒳,𝒜)$ of positive spaces (i.e. varieties equipped with positive atlases), coming with an action of a symmetry group $\Gamma$. The space $𝒜$ is closely related to the spectrum of a cluster algebra [12]. The two spaces are related by a morphism $p:𝒜\to 𝒳$. The space $𝒜$ is equipped with a closed $2$-form, possibly degenerate, and the space $𝒳$ has a Poisson structure. The map $p$ is compatible with these structures. The dilogarithm together with its motivic and quantum avatars plays a central...

Let ${\alpha }_i,{\beta }_i>0$, 1 ≤ i ≤ n, and for t > 0 and x = (x₁,...,xₙ) ∈ ℝⁿ, let $t•x=(t^{\alpha ₁}x₁,...,t^{\alpha ₙ}xₙ)$, $t\circ x=(t^{\beta ₁}x₁,...,t^{\beta ₙ}xₙ)$ and $\left|\right|x\left|\right|={\sum }_{i=1}^n{\left|x_i\right|}^{1/{\alpha }_i}$. Let φ₁,...,φₙ be real functions in $C^{\infty }(ℝⁿ-0)$ such that φ = (φ₁,..., φₙ) satisfies φ(t • x) = t ∘ φ(x). Let γ > 0 and let μ be the Borel measure on ${ℝ}^{2n}$ given by $\mu \left(E\right)={\int }_{ℝⁿ}{\chi }_E{(x,\phi \left(x\right))\left|\right|x\left|\right|}^{\gamma -\alpha }dx$, where $\alpha ={\sum }_{i=1}^n{\alpha }_i$ and dx denotes the Lebesgue measure on ℝⁿ. Let $T_{\mu }f=\mu \ast f$ and let $\left|\right|T_{\mu }{\left|\right|}_{p,q}$ be the operator norm of $T_{\mu }$ from $L^p\left({ℝ}^{2n}\right)$ into $L^q\left({ℝ}^{2n}\right)$, where the $L^p$ spaces are taken with respect to the Lebesgue measure. The type set $E_{\mu }$ is defined by $E_{\mu }=(1/p,1/q):\left|\right|T_{\mu }{\left|\right|}_{p,q}<\infty ,1\le p,q\le \infty$. In the case ${\alpha }_i\ne {\beta }_k$ for 1 ≤ i,k ≤ n we characterize the...