Equal subset sums and close divisors

Jianfeng Hou; Hongbin Zhao

In the authors' words

For $k \geq 2$ , let $α_{k}$ be the supremum of the exponents $a$ for which almost every integer $n$ has $k$ distinct divisors in a multiplicative interval of relative length $(lo g n)^{- a}$ . Select each positive integer $i$ independently with probability $1/ i$ , forming a random set $A$ , and let $β_{k}$ be the supremum of the $c < 1$ for which, with probability tending to one as $D \to \infty$ , the set $A \cap [D^{c}, D]$ has $k$ distinct subsets with the same sum. We prove that $α_{k} = β_{k} / (1 - β_{k})$ , resolving a conjecture of Ford, Green and Koukoulopoulos [Invent. Math. 232 (2023), 1027--1160]. We also prove that their weak and strict entropy thresholds coincide. The proof combines flag refinement and entropy concavity with an upper bound for approximate subset sums that is uniform in arbitrary translations. A model with independent geometric prime exponents then transfers this bound to divisors.

Main resultThe abstract does not state a limitation.

Equal subset sums and close divisors

In the authors' words

More on Algebra & number theory that day

The Odlyzko-Poonen Conjecture on Irreducibility of Random Polynomials

Solution to Dixmier's Problem about spectra of C*-algebras

Poincar\'e Duality and Quadratic Refinements over Laurent Rings

On Haagerup-Izumi fusion categories

Monoidal Gr\"obner systems and categories of affine Brauer type