Search

We prove that the reciprocal sum $S_k(x)$ of the least common multiple of $k\geq 3$ positive integers in $\N\cap [1,x]$ satisfies $$ S_k(x)=P_{2^k-1}(\log x)+O(x^{-\theta_k+\epsilon}) $$ where $P$ is a polynomial of degree $2^k-1$ and $\theta_k=\frac{2^k}{(k+1)^{\frac{k+1}2}}\cdot \frac3{2^k+6k-5}$. This was conjectured in Hilberdink, Luca, and T\'{o}th~\cite[Remark 2.4]{HLT}. We also prove asymptotic formulas for similar sums conjectured there., Comment: 16 pages, 2 figures, an error in the previous version in section 3.3 is fixed, the results are made weaker

In 1949, Motzkin proved that every Euclidean domain $R$ has a minimal Euclidean function, $\phi_R$. He showed that when $R = \mathbb{Z}$, the minimal function is $\phi_{\mathbb{Z}}(x) = \lfloor \log_2 |x| \rfloor$. For over seventy years, $\phi_{\mathbb{Z}}$ has been the only example of an explictly-computed minimal function in a number field. We give the first explicitly-computed minimal function in a non-trivial number field, $\phi_{\mathbb{Z}[i]}$, which computes the length of the shortest possible $(1+i)$-ary expansion of any Gaussian integer. We also present an algorithm that uses $\phi_{\mathbb{Z}[i]}$ to compute minimal $(1+i)$-ary expansions of Gaussian integers. We solve these problems using only elementary methods., Comment: 10 pages, 5 figures

In this paper, we study the derivatives of an integer-valued polynomial of a given degree. Denoting by $E_n$ the set of the integer-valued polynomials with degree $\leq n$, we show that the smallest positive integer $c_n$ satisfying the property: $\forall P \in E_n, c_n P' \in E_n$ is $c_n = \mathrm{lcm}(1 , 2 , \dots , n)$. As an application, we deduce an easy proof of the well-known inequality $\mathrm{lcm}(1 , 2 , \dots , n) \geq 2^{n - 1}$ ($\forall n \geq 1$). In the second part of the paper, we generalize our result for the derivative of a given order $k$ and then we give two divisibility properties for the obtained numbers $c_{n , k}$ (generalizing the $c_n$'s). Leaning on this study, we conclude the paper by determining, for a given natural number $n$, the smallest positive integer $\lambda_n$ satisfying the property: $\forall P \in E_n$, $\forall k \in \mathbb{N}$: $\lambda_n P^{(k)} \in E_n$. In particular, we show that: $\lambda_n = \prod_{p \text{ prime}} p^{\lfloor\frac{n}{p}\rfloor}$ ($\forall n \in \mathbb{N}$)., Comment: 17 pages

This is an exposition of the following `weak' Erd��s-Szemer��di conjecture for integer sets proved by Bourgain and Chang in 2004. For any $��> 0$ there exists $��(��) > 0$ such that for an arbitrary $A \subset \mathbb{N}$, if $|AA| \leq K|A|$ then $$E_{+}(A) \leq K^��|A|^{2+��}.$$

The paper deals with lower bounds for the remainder term in asymptotics for a certain class of arithmetic functions. Typically, these are generated by a Dirichlet series which involves a product of Riemann zeta-functions of a special form., Comment: 11 pages

For relatively prime positive integers $u_0$ and $r$, we consider the least common multiple $L_n:=\mathrm{lcm}(u_0,u_1,\ldots, u_n)$ of the finite arithmetic progression $\{u_k:=u_0+kr\}_{k=0}^n$. We derive new lower bounds on $L_n$ which improve upon those obtained previously when either $u_0$ or $n$ is large. When $r$ is prime, our best bound is sharp up to a factor of $n+1$ for $u_0$ properly chosen, and is also nearly sharp as $n\to\infty$., Comment: 10 pages

We show among others that the formula: $$ \lfloor n + \log_{\Phi}\{\sqrt{5}(\log_{\Phi}(\sqrt{5}n) + n) -5 + \frac{3}{n}\} - 2 \rfloor (n \geq 2), $$ (where $\Phi$ denotes the golden ratio and $\lfloor \rfloor$ denotes the integer part) generates the non-Fibonacci numbers., Comment: 5 pages

In this paper, we introduce an analog of the Al-Karaji arithmetic triangle by substituting in the formula of the binomial coefficients the products by the least common multiples. Then, we give some properties and some open questions related to the obtained triangle., Comment: 10 pages

In this paper, we prove the identity $$\lcm\{\binom{k}{0}, \binom{k}{1}, >..., \binom{k}{k}\} = \frac{\lcm(1, 2, ..., k, k + 1)}{k + 1} (\forall k \in \mathbb{N}) .$$ As an application, we give an easily proof of the well-known nontrivial lower bound $\lcm(1, 2, ..., k) \geq 2^{k - 1}$ $(\forall k \geq 1)$., 5 pages. To appear in American Mathematical Monthly

{\em The Liouville number}, denoted $l$, is defined by $$l:=0.100101011101101111100...,$$ where the $n$th bit is given by ${1/2}(1+\gl(n))$; here $\gl$ is the Liouville function for the parity of prime divisors of $n$. Presumably the Liouville number is transcendental, though at present, a proof is unattainable. Similarly, define {\em the Gaussian Liouville number} by $$\gamma:=0.110110011100100111011...$$ where the $n$th bit reflects the parity of the number of rational Gaussian primes dividing $n$, 1 for even and 0 for odd. In this paper, we prove that the Gaussian Liouville number and its relatives are transcendental. One such relative is the number $$\sum_{k=0}^\infty\frac{2^{3^k}}{2^{3^k2}+2^{3^k}+1}=0.101100101101100100101...,$$ where the $n$th bit is determined by the parity of the number of prime divisors that are equivalent to 2 modulo 3. We use methods similar to that of Dekking's proof of the transcendence of the Thue--Morse number \cite{Dek1} as well as a theorem of Mahler's \cite{Mahl1}. (For completeness we provide proofs of all needed results.) This method involves proving the transcendence of formal power series arising as generating functions of completely multiplicative functions., Comment: 17 pages

Given integers s and t, define a function phi_{s,t} on the space of all formal complex series expansions by phi_{s,t} (sum a_n x^n) = sum a_{sn+t} x^n. We define an integer r to be distinguished with respect to (s,t) if r and s are relatively prime and and r divides t (1 + s + ... s^{ord_r(s)-1}). The vector space consisting of all rational functions whose Taylor expansions at zero are fixed by phi_{s,t} was previously classified by constructing a basis that is partially indexed by integers that are distinguished with respect to the pair (s,t). In this paper, we study the properties of the set of distinguished integers with respect to (s,t). In particular, we demonstrate that the set of distinguished integers with respect to (s,t) can be written as a union of infinitely many arithmetic progressions. In addition, we construct another generating set for the collection of rational functions that are fixed by phi_{s,t} and discuss the relationship between this generating set and the basis that was generated previously.

The summation formula $$ \sum^{n-1}_{i=0}\epsilon^i i! (i^k+u_k) = v_k+\epsilon^{n-1} n! A_{k-1}(n) $$ $(\epsilon=\pm 1; k=1,2,...; u_k, v_k\in \msbm\hbox{Z}; A_{k-1}$ is a polynomial) is derived and its various aspects are considered. In particular, divisibility with respect to $n$ is investigated. Infinitely many equivalents to Kurepa's hypothesis on the left factorial are found., Comment: 10 pages

We discuss some problems in number theory posed by Djuro Kurepa (1907-1993), including his classical left factorial hypothesis that an odd prime $p$ does not divide $0! + 1! + ... + (p-1)!$., 12 pages