arXiv subjects

Scott D. Hughes

Publications and source records attributed to Scott D. Hughes.

4 recordsLinked to original sources

arXiv2026

Effective logarithmic two-point Chowla bounds in every window

We quantify the entropy-decrement proof of the logarithmically averaged two-point Chowla theorem, uniformly in the affine forms and the averaging window. For L_i(n)=a_i n+b_i with positive integral slopes and nonzero determinant Delta=a_1 b_2-a_2 b_1, put h=max(a_1,a_2,|b_1|,|b_2|,|Delta|,2). For either the Liouville or Mobius function in each position and 0 =omega>=exp_4(C h epsilon^(-2)), where exp_4 denotes four iterated exponentials. A translation lemma separates the common translation from the tower: for lambda(n+b)lambda(n+b+k), with k nonzero, cancellation is uniform when |k|=o(log_4 omega) and |b|=omega^(o(1)), where log_4 is the fourth iterated logarithm. The same thresholds give logarithmic equidistribution of the four Liouville sign pairs. The constant C is effective but depends on uncomputed constants in two analytic inputs. Separately, writing ell=log log x, we prove fully explicit bounds ell/3-(4/3)log ell-7 <= N_lambda(x) <= ell-log ell+2.53/ell for ell>=64, where N_lambda is the non-pretentiousness level in Tao's hypothesis. Under GRH the lower bound improves to ell-log ell-log 2-2/ell; hence N_lambda(x)=ell-log ell+O(1). The arguments use an explicit zero-free region, Harnack's inequality, a finite resonator, and a comparison of smoothed Euler products. These results concern logarithmic averages, not natural-density two-point Chowla correlations.

math.NT↗

arXiv2026

The density of sums of distinct divisors

For a positive integer $t$, let $d_t$ denote the natural density of the set of $n$ for which $t$ is a sum of distinct divisors of $n$. Erdős proved that $d_t$ exists, gave an unspecified polylogarithmic upper bound, asserted without proof a matching lower bound, and asked whether $d_t \sim c_3/(\log t)^{c_4}$. We record the explicit bounds \[ ν_t \le d_t \ll \frac{(\log\log t)^{δ-3/2}}{(\log t)^δ}, \qquad ν_t = \frac{K}{\log t}\Bigl(1 + O\Bigl(\frac{\log\log t}{\log t}\Bigr)\Bigr), \] where $δ= 0.086071\ldots$ is the Erdős--Ford--Tenenbaum constant, $K=c\,e^{-γ}$, and $c=1.33607\ldots$ is the practical-number constant. Consequently, if Erdős's asymptotic holds, then $δ<c_4\le 1$. A two-prime construction, using a half-scale sumset to obtain full residue coverage, then yields the pointwise excess \[ \liminf_{t\to\infty}(\log t)\,(d_t-ν_t) \ge KI, \] where $I=\int_0^2 G(w)\,\mathrm{d}w=0.05887\ldots$ is an explicit elementary integral. In particular $d_t\ge 0.79/\log t$ for every sufficiently large $t$, and $d_t$ is not asymptotic to $K/\log t$.

math.NT↗

arXiv2026

Sums of distinct divisors of factorials

For practical $N$ let $h(N)$ be the least $k$ such that every integer $1\le m\le N$ is a sum of at most $k$ distinct divisors of $N$. We prove $h(n!)\le(2\log2+o(1))\,n/\log n$. This improves the bounds of order $n/(\log n)^{1/2-\varepsilon}$ established in Tenenbaum-Yokota's Lemma 4 and Yokota's 1995 knapsack note. We combine their decreasing greedy construction with the sharper factorial divisor-gap estimate of Berend-Harmse. Counting the steps separately below and above $\sqrt{n!}$, with the upper range handled through reciprocal divisors, retains the leading coefficient in the gap exponent and yields the explicit constant $2\log2$.

math.NT↗

arXiv2026

A Tsang-range high-moment bound for $\operatorname{Im}\log L(\tfrac12+it,χ)$ under GRH

Conditional on the Generalized Riemann Hypothesis for $L(s,χ)$, we prove the Selberg--Tsang high-moment bound for $X_χ(t) = \operatorname{Im}\log L(\tfrac12+it,χ)$ at fixed squarefree odd conductor $q \ge 3$ and primitive non-principal character $χ$. Writing $L_T = \log\log(qT)$: for every $K > 0$ there exist constants $C_K$ and $T_0$ such that $\frac{1}{T}\int_T^{2T} |X_χ(t)|^{2k}\,dt \le (C_K\,k\,L_T)^k$ for all $T \ge T_0$ and every integer $1 \le k \le K L_T$. The proof ports Selberg's pointwise approximate formula for $S(t)$ to $L(s,χ)$ at fixed conductor under GRH, splits it into three prime-power Dirichlet polynomials, and evaluates their moments via Soundararajan's mean-value lemma. As a corollary, Markov's inequality yields a Gaussian-scale tail $\exp(-c V^2 / L_T)$ for $\sqrt{L_T} \ll V \ll L_T$ -- a GRH-conditional, fixed-conductor, imaginary-part analogue of the large-deviation upper bounds known for $\log|ζ(\tfrac12+it)|$.

math.NT↗