More Like this

1. Summing $$\mu (n)$$: a faster elementary algorithm

   https://doi.org/10.1007/s40993-022-00408-8  

   Helfgott, Harald Andrés; Thompson, Lola (March 2023, Research in Number Theory)

   Abstract We present a new elementary algorithm that takes $$ \textrm{time} \ \ O_\epsilon \left( x^{\frac{3}{5}} (\log x)^{\frac{8}{5}+\epsilon } \right) \ \ \textrm{and} \ \textrm{space} \ \ O\left( x^{\frac{3}{10}} (\log x)^{\frac{13}{10}} \right) $$ time O ϵ x 3 5 ( log x ) 8 5 + ϵ and space O x 3 10 ( log x ) 13 10 (measured bitwise) for computing $$M(x) = \sum _{n \le x} \mu (n),$$ M ( x ) = ∑ n ≤ x μ ( n ) , where $$\mu (n)$$ μ ( n ) is the Möbius function. This is the first improvement in the exponent of x for an elementary algorithm since 1985. We also show that it is possible to reduce space consumption to $$O(x^{1/5} (\log x)^{5/3})$$ O ( x 1 / 5 ( log x ) 5 / 3 ) by the use of (Helfgott in: Math Comput 89:333–350, 2020), at the cost of letting time rise to the order of $$x^{3/5} (\log x)^2 \log \log x$$ x 3 / 5 ( log x ) 2 log log x . 

   more » « less
2. DISTORTION IN THE FINITE DETERMINATION RESULT FOR EMBEDDINGS OF LOCALLY FINITE METRIC SPACES INTO BANACH SPACES

   https://doi.org/10.1017/S0017089518000022  

   OSTROVSKA, S.; OSTROVSKII, M. I. (January 2019, Glasgow Mathematical Journal)

   Abstract Given a Banach space X and a real number α ≥ 1, we write: (1) D ( X ) ≤ α if, for any locally finite metric space A , all finite subsets of which admit bilipschitz embeddings into X with distortions ≤ C , the space A itself admits a bilipschitz embedding into X with distortion ≤ α ⋅ C ; (2) D ( X ) = α + if, for every ϵ > 0, the condition D ( X ) ≤ α + ϵ holds, while D ( X ) ≤ α does not; (3) D ( X ) ≤ α + if D ( X ) = α + or D ( X ) ≤ α. It is known that D ( X ) is bounded by a universal constant, but the available estimates for this constant are rather large. The following results have been proved in this work: (1) D ((⊕ n =1 ∞ X n ) p ) ≤ 1 + for every nested family of finite-dimensional Banach spaces { X n } n =1 ∞ and every 1 ≤ p ≤ ∞. (2) D ((⊕ n =1 ∞ ℓ ∞ n ) p ) = 1 + for 1 < p < ∞. (3) D ( X ) ≤ 4 + for every Banach space X with no nontrivial cotype. Statement (3) is a strengthening of the Baudier–Lancien result (2008). 

   more » « less
3. THE INTEGRAL COHOMOLOGY OF THE HILBERT SCHEME OF TWO POINTS

   https://doi.org/10.1017/fms.2016.5  

   TOTARO, BURT (January 2016, Forum of Mathematics, Sigma)

   null (Ed.)

   The Hilbert scheme $$X^{[a]}$$ of points on a complex manifold $$X$$ is a compactification of the configuration space of $$a$$ -element subsets of $$X$$ . The integral cohomology of $$X^{[a]}$$ is more subtle than the rational cohomology. In this paper, we compute the mod 2 cohomology of $$X^{[2]}$$ for any complex manifold $$X$$ , and the integral cohomology of $$X^{[2]}$$ when $$X$$ has torsion-free cohomology. 

   more » « less
4. On the Convolution Inequality f ≥ f ⋆ f

   https://doi.org/10.1093/imrn/rnaa350  

   Carlen, Eric A; Jauslin, Ian; Lieb, Elliott H; Loss, Michael P (January 2021, International Mathematics Research Notices)

   null (Ed.)

   Abstract We consider the inequality $$f \geqslant f\star f$$ for real functions in $$L^1({\mathbb{R}}^d)$$ where $$f\star f$$ denotes the convolution of $$f$$ with itself. We show that all such functions $$f$$ are nonnegative, which is not the case for the same inequality in $L^p$ for any $$1 < p \leqslant 2$$, for which the convolution is defined. We also show that all solutions in $$L^1({\mathbb{R}}^d)$$ satisfy $$\int _{{\mathbb{R}}^{\textrm{d}}}f(x)\ \textrm{d}x \leqslant \tfrac 12$$. Moreover, if $$\int _{{\mathbb{R}}^{\textrm{d}}}f(x)\ \textrm{d}x = \tfrac 12$$, then $$f$$ must decay fairly slowly: $$\int _{{\mathbb{R}}^{\textrm{d}}}|x| f(x)\ \textrm{d}x = \infty $$, and this is sharp since for all $r< 1$, there are solutions with $$\int _{{\mathbb{R}}^{\textrm{d}}}f(x)\ \textrm{d}x = \tfrac 12$$ and $$\int _{{\mathbb{R}}^{\textrm{d}}}|x|^r f(x)\ \textrm{d}x <\infty $$. However, if $$\int _{{\mathbb{R}}^{\textrm{d}}}f(x)\ \textrm{d}x =: a < \tfrac 12$$, the decay at infinity can be much more rapid: we show that for all $$a<\tfrac 12$$, there are solutions such that for some $$\varepsilon>0$$, $$\int _{{\mathbb{R}}^{\textrm{d}}}e^{\varepsilon |x|}f(x)\ \textrm{d}x < \infty $$. 

   more » « less
5. Almost primes in almost all short intervals II

   https://doi.org/10.1090/tran/8869  

   Matomäki, Kaisa; Teräväinen, Joni (August 2023, Transactions of the American Mathematical Society)

   We show that, for almost all x x , the interval ( x , x + ( log ⁡ x ) 2.1 ] (x, x+(\log x)^{2.1}] contains products of exactly two primes. This improves on a work of the second author that had 3.51 3.51 in place of 2.1 2.1 . To obtain this improvement, we prove a new type II estimate. One of the new innovations is to use Heath-Brown’s mean value theorem for sparse Dirichlet polynomials. 

   more » « less