Related papers: A note on the Duffin-Schaeffer conjecture

Euler's totient function, $\varphi(n)$, which counts how many of $0,1,\dots,n-1$ are coprime to $n$, has an explicit asymptotic lower bound of $n/\log \log n$, modulo some constant. In this note, we generalise $\varphi$; given an…

The trace norm of a matrix is the sum of its singular values. This paper presents results on the minimum trace norm $\psi_{n}\left( m\right) $ of $\left( 0,1\right) $-matrices of size $n\times n$ with exactly $m$ ones. It is shown that: (1)…

For a region $\Omega \subset\mathbb{C}$ denote by $\Psi(Q;\Omega)$ the number of complex algebraic numbers in $\Omega$ of degree $\leq n$ and naive height $\leq Q$. We show that $$…

A theorem of Kurzweil ('55) on inhomogeneous Diophantine approximation states that if $\theta$ is an irrational number, then the following are equivalent: (A) for every decreasing positive function $\psi$ such that $\sum_{q = 1}^\infty…

Let $\varepsilon>0$. We construct an explicit, full-measure set of $\alpha \in[0,1]$ such that if $\gamma \in \mathbb{R}$ then, for almost all $\beta \in[0,1]$, if $\delta \in \mathbb{R}$ then there are infinitely many integers $n\geq 1$…

We describe a curious dynamical system that results in sequences of real numbers in $[0,1]$ with seemingly remarkable properties. Let the function $f:\mathbb{T} \rightarrow \mathbb{R}$ satisfy $\hat{f}(k) \geq c|k|^{-2}$ and define a…

We show that for any $\epsilon<1$ and any $\mathcal{T}$ `drifting away from walls', Dirichlet's Theorem cannot be $\epsilon$-improved along $\mathcal{T}$ for Lebesgue almost every system of linear forms $Y$ (see the paper for definitions).…

Given $n\in N$ and $x,\gamma\in R$, let \begin{equation*} ||\gamma-nx||^\prime=\min\{|\gamma-nx+m|:m\in Z, \gcd (n,m)=1\}, \end{equation*} %where $(n,m)$ is the largest common divisor of $n$ and $m$. Two conjectures in the coprime…

Let $q\ge 2$ and $N\ge 1$ be integers. W. Zhang (2008) has shown that for any fixed $\epsilon> 0$, and $q^{\epsilon} \le N \le q^{1/2 -\epsilon}$, $$ \sum_{\chi \ne \chi_0} |\sum_{n=1}^N \chi(n)|^2 |L(1, \chi)|^2 = (1 + o(1)) \alpha_q q N…

Let $N$ be a fixed positive integer, and let $f\in S_k(N)$ be a primitive cusp form given by the Fourier expansion $f(z)=\sum_{n=1}^{\infty} \lambda_f(n)n^{\frac{k-1}{2}}e(nz)$. We consider the partial sum $S(x,f)=\sum_{n\leq…

Let $n, m, k$ be positive integers with $k=n-m+1$. We establish an abstract Morse-Sard-type theorem which allows us to deduce, on the one hand, a previous result of De Pascale's for Sobolev $W^{k,p}_{\textrm{loc}}(\mathbb{R}^n,…

Let $S$ be a generic submanifold of $C^N$ of real codimension m. In this work we continue the study, carried over by various authors, of the set of analytic discs attached to S. Let $M$ be the set of analytic discs attached to $S.$ Given $q…

We note an interesting and under-expressed fact from Chebyshev's initial bounding for the prime counting function, $\pi(x) := \# \{p \leq x : p \text{ prime}\},$ based upon a selection of fixed coefficients $d\in D$ to show $\psi(x) \asymp…

A new recursive procedure of the calculation of partition numbers function $W(s,{\bf d}^m)$ is suggested. We find its zeroes and prove a lemma on the function parity properties. The explicit formulas of $W(s,{\bf d}^m)$ and their periods…

Let $m$ be a positive integer and let $\rho(m,n)$ be the proportion of permutations of the symmetric group ${\rm Sym}(n)$ whose order is coprime to $m$. In 2002, Pouyanne proved that $\rho(n,m)n^{1-\frac{\phi(m)}{m}}\sim \kappa_m$ where…

We show that $$\bigg\|\sup_{0 < t < 1} \big|\sum_{n=1}^{N} e^{2\pi i (n(\cdot) + n^2 t)}\big| \bigg\|_{L^{4}([0,1])} \leq C_{\epsilon} N^{3/4 + \epsilon}$$ and discuss some applications to the theory of large values of Weyl sums. This…

Let $r(k,A,n)$ denote the number of representations of $n$ as a sum of $k$ elements of a set $A \subseteq \mathbb{N}$. In 2002, Dombi conjectured that if $A$ is co-infinite, then the sequence $(r(k,A,n))_{n \geq 0}$ cannot be strictly…

The Kahane--Salem--Zygmund inequality for multilinear forms in $\ell_{\infty}$ spaces claims that, for all positive integers $m,n_{1},...,n_{m}$, there exists an $m$-linear form $A\colon\ell_{\infty}^{n_{1}}\times\cdots\times…

Notwithstanding radical conceptual differences between classical and quantum mechanics, it is usually assumed that physical measurements concern observables common to both theories . Not so with the eigenvalues ($\pm 1$) of the parity…

We investigate the Lebesgue measure, Hausdorff dimension, and Fourier dimension of sets of the form $RY + Z, $ where $R \subseteq (0,\infty)$ and $Y, Z \subseteq \mathbb{R}^d$. We prove a theorem on the Lebesgue measure and Hausdorff…