Related papers: Arithmetic of the Fabius function

Denote $f(n):=\sum_{1\le k\le n} \tau(2^k-1)$, where $\tau$ is the number of divisors function. Motivated by a question of Paul Erd\H{o}s, we show that the sequence of ratios $f(2n)/f(n)$ is unbounded. We also present conditional results on…

In this note we prove that \[ j!\,2^N \, \binom{N+j-1}{j} \, {}_2F_1\left(\begin{matrix}-j,-2j \\ -N-j+1 \end{matrix};-1\right) = \sum_{l=0}^N \binom{N}{l}\prod_{i=0}^{j-1}2(2i+1+l), \] where $ N $ and $ j $ are positive integers, which…

The Thue-Morse sequence (1, -1, -1, 1, -1, 1, 1, ...) can in a sense be naturally extended to a continuous function f called the Fabius function. It is shown how to determine the exact value of f(x) whenever x is the ratio between a…

Catalan observed in 1874 that the numbers $S(m,n) = \frac{(2m)! (2n)!}{m! n! (m+n)!}$, now called the super Catalan numbers, are integers but there is still no known combinatorial interpretation for them in general, although interpretations…

About four centuries ago, Johann Faulhaber developed formulas for the power sum $1^n + 2^n + \cdots + m^n$ in terms of $m(m+1)/2$. The resulting polynomials are called the Faulhaber polynomials. We first give a short survey of Faulhaber's…

Let $\mathbb{F}_{2^m}$ be a finite field of cardinality $2^m$ and $s$ a positive integer. Using properties for Kronecker product of matrices and calculation for linear equations over $\mathbb{F}_{2^m}$, an efficient method for the…

In 2000 Deaconescu raised a question whether there exists a composite $n$ for which $S_2(n)|\phi(n)-1$, where $\phi(n)$ is Euler's function and $S_2(n)$ is Schemmel's totient function. In this paper we prove that any such $n$ is odd,…

It is well known that the numbers $(2m)! (2n)!/m! n! (m+n)!$ are integers, but in general there is no known combinatorial interpretation for them. When $m=0$ these numbers are the middle binomial coefficients $\binom{2n}{n}$, and when $m=1$…

We say that a formal power series $\sum a_n z^n$ with rational coefficients is a 2-function if the numerator of the fraction $a_{n/p}-p^2 a_n$ is divisible by $p^2$ for every prime number $p$. One can prove that 2-functions with rational…

In his book "250 Problems in Elementary Number Theory", W.Sierpinski shows that the numbers 1+2^(2^n)+2^(2^n+1) are divisible by 21; for n=1,2,.... In this paper, we prove a similar but more general result.Consider the natural numbers of…

In this paper we initiate the study of products and sums divisible by central binomial coefficients. We show that 2(2n+1)binom(2n,n)| binom(6n,3n)binom(3n,n) for every n=1,2,3,... Also, for any nonnegative integers $k$ and $n$ we have…

In this paper, for every $n \in \mathbb{N}$, the following relationships between the functions $K_{b}(n)$ and $K_{e}(n)$ and the Bernoulli and Euler numbers are proved: \[ B_{2n} = -\,\frac{(2n)!}{2^{2n}-2}\, K_{b}(n), \qquad E_{2n} =…

We study and generalize some arithmetical properties of the classes (2^k+) and (2^k-) introduced by V. I. Arnold: a number n belongs to the class (N+) if N|\varphi(n) and 2^{\frac{\varphi(n)}{N}} \equiv 1 mod n where \varphi(n) is the Euler…

Motivated by the recent result of Farhi we show that for each $n\equiv \pm 1\pmod{6}$ the title Diophantine equation has at least two solutions in integers. As a consequence, we get that each (even) perfect number is a sum of three cubes of…

One of the earliest examples of analytic representations for $\pi$ is given by an infinite product provided by Wallis in 1655. The modern literature often presents this evaluation based on the integral formula $$ \frac{2}{\pi} \int_0^\infty…

In this note, we study the arithmetic function $f : \mathbb{Z}_+^* \to \mathbb{Q}_+^*$ defined by $f(2^k \ell) = \ell^{1 - k}$ ($\forall k, \ell \in \mathbb{N}$, $\ell$ odd). We show several important properties about that function and then…

F. Luca proved for any fixed rational number $\alpha>0$ that the Diophantine equations of the form $\alpha\,m!=f(n!)$, where $f$ is either the Euler function or the divisor sum function or the function counting the number of divisors, have…

A classical result of Rothschild and van Lint asserts that if every non-zero Fourier coefficient of a Boolean function $f$ over $\mathbb{F}_2^{n}$ has the same absolute value, namely $|\hat{f}(\alpha)|=1/2^k$ for every $\alpha$ in the…

A function from $\Bbb F_{2^n}$ to $\Bbb F_{2^n}$ is said to be {\em $k$th order sum-free} if the sum of its values over each $k$-dimensional $\Bbb F_2$-affine subspace of $\Bbb F_{2^n}$ is nonzero. This notion was recently introduced by C.…

The Cauchy-type product of two arithmetic functions $f$ and $g$ on nonnegative integers is defined as $(f\bullet g)(k):=\sum_{m=0}^{k} {k\choose m}f(m)g(k-m)$. We explore some algebraic properties of the aforementioned convolution, which is…