A geometric progression of length k and integer ratio is a set of numbers of the form $a,ar,...,a{r}^{k-1}$ for some positive real number a and integer r ≥ 2. For each integer k ≥ 3, a greedy algorithm is used to construct a strictly decreasing sequence ${\left(a_i\right)}_{i=1}^{\infty }$ of positive real numbers with a₁ = 1 such that the set $G^{\left(k\right)}={\bigcup }_{i=1}^{\infty }(a_{2i},a_{2i-1}]$ contains no geometric progression of length k and integer ratio. Moreover, $G^{\left(k\right)}$ is a maximal subset of (0,1] that contains no geometric progression of length k and integer ratio. It is also proved that...

It is well known that if φ(t) ≡ t, then the system ${\phi ⁿ\left(t\right)}_{n=0}^{\infty }$ is not a Schauder basis in L₂[0,1]. It is natural to ask whether there is a function φ for which the power system ${\phi ⁿ\left(t\right)}_{n=0}^{\infty }$ is a basis in some Lebesgue space $L_p$. The aim of this short note is to show that the answer to this question is negative.

Let $a$ and $b\in \mathbb{N}$. Denote by $R_{a,b}$ the set of all integers $n>1$ whose canonical prime representation $n=p_1^{{\alpha }_1}{p}_2^{{\alpha }_2}\cdots p_r^{{\alpha }_r}$ has all exponents ${\alpha }_i$ $(1\le i\le r)$ being a multiple of $a$ or belonging to the arithmetic progression $at+b$, $t\in {\mathbb{N}}_0:=\mathbb{N}\cup \left\{0\right\}$. All integers in $R_{a,b}$ are called generalized square-full integers. Using the exponent pair method, an upper bound for character sums over generalized square-full integers is derived. An application on the distribution of generalized square-full integers in an arithmetic progression is given. ...

Let $p\in (0,1)$ be a real number and let $n\ge 2$ be an even integer. We determine the largest value $c_n\left(p\right)$ such that the inequality $$\sum _{i=1}^n{\left|a_i\right|}^p\ge c_n\left(p\right)$$ holds for all real numbers $a_1,...,a_n$ which are pairwise distinct and satisfy ${min}_{i\ne j}|a_i-a_j|=1$. Our theorem completes results of Ozeki, Mitrinović-Kalajdžić, and Russell, who found the optimal value $c_n\left(p\right)$ in the case $p>0$ and $n$ odd, and in the case $p\ge 1$ and $n$ even.

Given a compact set $K\subset {ℂ}^N$, for each positive integer n, let $V^{\left(n\right)}\left(z\right)$ = $V_K^{\left(n\right)}\left(z\right)$ := sup$1/\left(degp\right)V_{p\left(K\right)}\left(p\left(z\right)\right)$: p holomorphic polynomial, 1 ≤ deg p ≤ n. These “extremal-like” functions $V_K^{\left(n\right)}$ are essentially one-variable in nature and always increase to the “true” several-variable (Siciak) extremal function, $V_K\left(z\right)$:= max[0, sup1/(deg p) log|p(z)|: p holomorphic polynomial, ${\left|\right|p\left|\right|}_K\le 1$]. Our main result is that if K is regular, then all of the functions $V_K^{\left(n\right)}$ are continuous; and their associated Robin functions ${\varrho }_{V_K^{\left(n\right)}}\left(z\right):=limsu{p}_{\left|\lambda \right|\to \infty }[V_K^{\left(n\right)}\left(\lambda z\right)-log\left(\right|\lambda \left|\right)]$ increase to ${\varrho }_K:={\varrho }_{V_K}$ for all z outside a pluripolar...

Let ${Rₙ}_{n=1}^{\infty }$ be a commuting approximating sequence of the Banach space X leaving the closed subspace A ⊂ X invariant. Then we prove three-space results of the following kind: If the operators Rₙ induce basis projections on X/A, and X or A is an ${ℒ}_p$-space, then both X and A have bases. We apply these results to show that the spaces $C_{\Lambda }=\overline{span}{z}^k:k\in \Lambda \subset C\left(\right)$ and $L_{\Lambda }=\overline{span}{z}^k:k\in \Lambda \subset L₁\left(\right)$ have bases whenever Λ ⊂ ℤ and ℤ∖Λ is a Sidon set.

Let $Q={\left(q_n\right)}_{n=1}^{\infty }$ be a sequence of bases with $q_i\ge 2$. In the case when the $q_i$ are slowly growing and satisfy some additional weak conditions, we provide a construction of a number whose $Q$-Cantor series expansion is both $Q$-normal and $Q$-distribution normal. Moreover, this construction will result in a computable number provided we have some additional conditions on the computability of $Q$, and from this construction we can provide computable constructions of numbers with atypical normality properties. ...

Let $M$ be a given nonempty set of positive integers and $S$ any set of nonnegative integers. Let $\overline{\delta }\left(S\right)$ denote the upper asymptotic density of $S$. We consider the problem of finding $$\mu \left(M\right):=\underset{S}{sup}\overline{\delta }\left(S\right),$$ where the supremum is taken over all sets $S$ satisfying that for each $a,b\in S$, $a-b\notin M.$ In this paper we discuss the values and bounds of $\mu \left(M\right)$ where $M=\{a,b,a+nb\}$ for all even integers and for all sufficiently large odd integers $n$ with $a<b$ and $gcd(a,b)=1.$

Let $P$ be a discrete multidimensional probability distribution over a finite set of variables $N$ which is only partially specified by the requirement that it has prescribed given marginals $\{P_A;A\in 𝒮\}$, where $𝒮$ is a class of subsets of $N$ with $\bigcup 𝒮=N$. The paper deals with the problem of approximating $P$ on the basis of those given marginals. The divergence of an approximation $\widehat{P}$ from $P$ is measured by the relative entropy $H\left(P\right|\widehat{P})$. Two methods for approximating $P$ are compared. One of them uses formerly introduced...