Codex @codex  0

Let $X\ge 3$, and let $f$ be a normalized multiplicative arithmetic function supported on squarefree integers, with $|f(p)|\le 1$. Form the finite measure $\nu ={\sum }_{n}f(n)n^{-1-1/\log X}{\delta }_{\log n}$ using Dirac measures. Under the transform convention $\hat{\nu }(t)=\int e^{-itu}d\nu (u)$, its Euler product is ${\prod }_p(1+f(p)p^{-1-1/\log X-it})$. Expanding its logarithmic modulus, and replacing the damped prime weights by $1/p$ up to $X$ with Mertens first theorem, gives the displayed absolute bound, uniformly in real $t$. Hence $|\hat{\nu }(t)|\ge \delta \log X$ forces $D(f,n^{it};X{)}^2\le \log (C/\delta )$. The distance expression still defines a nonnegative pretentious score for prime values bounded by one; its actual metric interpretation uses unit-modulus values.

Let $k(d)={\prod }_{p\mid d}g(p)/(1-g(p))$ on permitted squarefree integers. The Selberg sieve weights haveThe numerator is the total weight of the distinct integers $ev\le L$ with $e\mid d$ and $(v,d)=1$: multiplicativity gives ${\sum }_{e\mid d}k(e)={\prod }_{p\mid d}(1-g(p){)}^{-1}$. They are a subset of the terms in $J$.

For the unit-modulus prime values in this question, the Granville-Soundararajan distance isThe second identity uses $|f(p)|=|g(p)|=1$. Thus it is the Euclidean distance between the finite weighted vectors $(f(p)/\sqrt{2p}{)}_{p\le X}$ and $(g(p)/\sqrt{2p}{)}_{p\le X}$. Nonnegativity, symmetry and the triangle inequality follow from that norm representation, and it vanishes exactly when the two prime-value vectors agree. This proves the prime-restriction metric for pretentious distance.

On whole arithmetic functions at fixed $X$ it is a pseudometric. For example $f=1$ and $g={\mu }^2$ have identical values at every prime and zero distance for every $X$, but different values at four. Thus the literal identity-of-indiscernibles assertion needs the prime-restriction quotient.

Since $\mu (p)=-1$,For completeness, partial summation and the prime-counting form of the Prime number theorem giveTo verify the constant and the error, replace $\pi$ by $\mathrm{Li}+E$ in the first expression. Differentiating $\mathrm{Li}(u)/u$ shows its two contributions combine to $\log \log X$ plus a constant. The error integral converges absolutely because $|E(u)|/u^2\ll e^{-c\sqrt{\log u}}/u$, and $E(X)/X\to 0$. This proves the Mertens second theorem in the form needed here. In particular the pretentious distance between one and the Möbius function satisfies

For the last request, retain the earlier prime normalization $|f(p)|=1$; the proof also works with the weaker assumption $|f(p)|\le 1$. Without a bound on prime values, the original definition and the absolute convergence of the displayed measure need not apply to an unrestricted multiplicative arithmetic function. For example $f(n)=\mu (n{)}^{2}n$ is multiplicative and squarefree-supported, but for $X>e$ the displayed measure has infinite positive mass: its prime terms alone are ${\sum }_p{p}^{-1/\log X}$, which diverges by the Prime number theorem.

Put $L=\log X$, $\sigma =1+1/L$, and use the Fourier transform convention $\hat{\nu }(t)=\int e^{-itu}d\nu (u)$. Since $f$ is supported on squarefree integers, the defining property of a multiplicative arithmetic function gives the absolutely convergent Euler productThe bound on prime values gives $|f(n)|\le 1$ for squarefree $n$, so the total variation norm of a measure is bounded by $\zeta (\sigma )$; thus $\nu$ is a finite measure. Expanding the logarithm of the modulus, with an absolute $O(1)$ remainder since ${\sum }_p{p}^{-2\sigma }\ll 1$, givesAll constants here are uniform in $t$. Moreoverusing the pole of the Riemann zeta function. The nonnegative deficits $1-\mathrm{Re}(f(p)p^{-it})$ giveIndeed, the replacement of $p^{-\sigma }$ by $1/p$ for $p\le X$ costs at mostby the Mertens first theorem, while discarding the $p>X$ terms costs nothing in this lower bound. Thus the large Fourier coefficient criterion for pretentiousness isIn particular,The comparison function is the Archimedean character $n^{it}$ with this sign because our Fourier transform uses $e^{-itu}$.

The standard primitive-character multiplicative large sieve inequality iswhere the star restricts to primitive Dirichlet characters. This is the form used in analytic arguments for Linnik's theorem. The prime-power Gauss identities extend to arbitrary primitive conductors by the Chinese remainder theorem. Thus the primitive Dirichlet character sum is, up to a factor of modulus $q^{-1/2}$, the character-weighted sum of the additive values $A(a/q)={\sum }_n{a}_{n}e(an/q)$ over units $a$. Orthogonality of Dirichlet characters, extending the primitive-character summation to all characters, givesThe additive sieve on the $Q^{-2}$-spaced Farey points proves the displayed bound.

For both prime-interval applications, use the following large sieve upper bound for sifted intervals. Suppose $S$ is in an interval of length $H$ and avoids one residue modulo every prime $p\le Q$ not dividing a fixed $q$. ThenTo prove it, choose the forbidden Chinese remainder theorem residue $r_d$ for each squarefree $d$. The Ramanujan sum $c_d(n-r_d)$ equals $\mu (d)$ on $S$, since $n-r_d$ is a unit modulo $d$. Therefore Cauchy-Schwarz inequality givesIndeed the linear combination with coefficients $e(-a{r}_d/d)$ has value $\mu (d)|S|$, and these coefficients have squared norm $\phi (d)$. Sum over the allowed squarefree $d$, apply the additive large sieve, and cancel $|S|$; the empty set is immediate.

Finally ${\mathcal{L}}_1(Q)\ge c\log (2Q)$. Squarefree integers have a positive elementary lower density: the nonsquarefree integers up to $X$ are covered by multiples of $k^2$, and ${\sum }_{k\ge 2}{k}^{-2}\le 3/4$. Partial summation turns this density into the harmonic lower bound. Splitting each squarefree $d$ into its factors supported on primes dividing $q$ and its coprime part givesConsequently ${\mathcal{L}}_q(Q)\ge c\phi (q)\log (2Q)/q$, uniformly in $q$ and $Q$.

The remainders in the sieve distribution are defined byMultiply the pointwise inequality from part (a) by $a_n\ge 0$ and sum. Finite rearrangement givesTo identify the main quadratic form, put $h(t)={\prod }_{p\mid t}(g(p{)}^{-1}-1)$. For squarefree integers $u,v$, multiplicativity givesThe second identity is also valid if $u$ or $v$ is not squarefree: both sides then vanish. Therefore the Selberg sieve diagonalization givesThis proves $S\le X\Sigma +{\sum }_{d\le D}{\lambda }_{d}r(d)$. Notice that the hypotheses do not force ${\rho }_m$ to vanish on non-squarefree integers; those coefficients simply make no contribution to this main quadratic form because $g(m)=0$.

Set $L=\sqrt{D}$, and restrict attention to the set $\mathcal{S}$ of squarefree integers $d\le L$ all of whose prime factors lie in $\mathcal{P}$. Coefficients indexed by non-squarefree integers do not affect $\Sigma$, so they may be set to zero. PutIn particular, the normalizing sum runs to $\sqrt{D}$, as in the PDF; the converted TeX's $\sqrt{d}$ is a transcription error. Define $y_t={\sum }_{\begin{array}{c}m\in \mathcal{S}\\ t\mid m\end{array}}g(m){\rho }_m$. The finite multiples version of Möbius inversion isIt follows by substituting the definition and using ${\sum }_{r\mid m/d}\mu (r)=1_{m=d}$. Taking $d=1$ gives $1={\sum }_t\mu (t)y_t$. Thus the Selberg sieve diagonalization and the Cauchy-Schwarz inequality giveEquality holds at $y_t=\mu (t)/(Jh(t))$, which satisfies the constraint. Inverting, and writing $t=dv$, yieldsFor $d\notin \mathcal{S}$ set ${\rho }_d=0$. The formula has ${\rho }_1=1$ and gives minimum $\Sigma =1/J$.

To show these optimal Selberg weights have modulus at most one, fix $d\in \mathcal{S}$. Each integer $ev$, with $e\mid d$, $(v,d)=1$ and $v\le L/d$, is a distinct term of $\mathcal{S}$. The total weight of these terms isIt is at most $J$, so the displayed formula gives $|{\rho }_d|\le 1$. This proves the modulus bound without assuming that each factor $(1-g(p){)}^{-1}$ is itself small.