Tag - Additive combinatorics

Ben Green: Quadratic forms in 8 prime variables

17th November, 2021

I will discuss a recent paper of mine, the aim of which is to count the number of prime solutions to Q(p1,..,p8) = N, for a fixed quadratic form Q and varying N. The traditional approach to problems of this type, the Hardy-Littlewood circle method, does not quite suffice. The main new idea is to involve the Weil representation of the symplectic groups Sp8(ℤ/qℤ). I will explain what this is, and what it has to do with the original problem. I hope to make the talk accessible to a fairly general audience.

Kaisa Matomäki: Singmaster’s conjecture in the interior of Pascal’s triangle

3rd November, 2021

In 1971, David Singmaster conjectured that any natural number greater than one only appears in Pascal's triangle a bounded number of times. In the talk I will discuss what is known about this conjecture, concentrating on a recent result in joint work with Maksym Radziwill, Xuancheng Shao, Terence Tao, and Joni Teräväinen that establishes the conjecture in the interior region of Pascal's triangle.

While the problem is combinatorial, we use number theoretic and analytic tools. In particular an important analytic input in our proof is Vinogradov's estimate for exponential sums over primes.

Natasha Morrison: Uncommon systems of equations

20th October, 2021

A system of linear equations L over 𝔽q is common if the number of monochromatic solutions to L in any two-colouring of (𝔽q)n is asymptotically at least the expected number of monochromatic solutions in a random two-colouring of (𝔽q)n. Motivated by existing results for specific systems (such as Schur triples and arithmetic progressions), as well as extensive research on common and Sidorenko graphs, the systematic study of common systems of linear equations was recently initiated by Saad and Wolf. Building on earlier work of of Cameron, Cilleruelo and Serra, as well as Saad and Wolf, common linear equations have been fully characterised by Fox, Pham and Zhao. In this talk I will discuss some recent progress towards a characterisation of common systems of two or more equations. In particular we prove that any system containing an arithmetic progression of length four is uncommon, confirming a conjecture of Saad and Wolf. This follows from a more general result which allows us to deduce the uncommonness of a general system from certain properties of one- or two-equation subsystems.

Jared Duker Lichtman: Twin primes & a modified linear sieve

6th October, 2021

The linear sieve is a powerful tool to tackle problems related to the primes, when combined with equidistribution estimates for the remainder. In 1977 Iwaniec introduced a well-factorable modification of the linear sieve to prove there are infinitely many integers n such that n2+1 has at most two prime factors. Furthermore, the (well-factorable) linear sieve leads to the best known upper bounds for twin primes. These bounds use work of Bombieri, Friedlander, and Iwaniec from 1986, showing these sieve weights equidistribute primes of size x in arithmetic progressions to moduli up to x4/7. This level was recently increased to x7/12 by Maynard.We introduce a new modification of the linear sieve whose weights equidistribute primes of size x to level x10/17. As an application we refine a 2004 upper bound for twin primes of Wu, which gives the largest percent improvement since the work of Bombieri, Friedlander, and Iwaniec.

Will Sawin: Sums in progressions over 𝔽q[T], the symmetric group, and geometry

30th September, 2021

I will discuss some recent progress in analytic number theory for polynomials over finite fields, giving strong new estimates for the number of primes in arithmetic progressions, as well as for sums of some arithmetic functions in arithmetic progressions. The strategy of proof is fundamentally geometric, and I will explain some of the geometric ideas in the proof, including how we can use the representation of the symmetric group to handle many different arithmetic functions in a uniform way.

Sam Chow: Galois groups of random polynomials

19th July, 2021

How often is a quintic polynomial solvable by radicals? We establish that the number of such polynomials, monic and irreducible with integer coefficients in [-H, H], is O(H3.91). More generally, we show that if n ≥ 3 and n ≠ 7, 8, 10 then there are O(Hn-1.017) monic, irreducible polynomials of degree n with integer coefficients in [-H, H] and Galois group not containing An. Save for the alternating group and degrees 7, 8, 10, this establishes a 1936 conjecture of van der Waerden, that irreducible non-Sn polynomials are substantially rarer than reducible polynomials.

Huy Pham: Subset sums, completeness and colorings

7th June, 2021

We develop novel techniques which allow us to prove a diverse range of results around subset sums, including solutions to several longstanding open problems. These include: solutions to three problems of Burr and Erdős on Ramsey complete sequences, for which Erdős later offered a combined total of $350; analogous results for the new notion of density complete sequences; the solution to a conjecture of Alon and Erdős on the minimum number of colours needed to colour the positive integers less than n so that n cannot be written as a monochromatic sum; the exact determination of an extremal function introduced by Erdős and Graham on sets of integers avoiding a given subset sum; and, answering a question of Tran, Vu and Wood, a homogeneous strengthening of a seminal result of Szemerédi and Vu on long arithmetic progressions in subset sums.

Guy Moshkovitz: An Optimal Inverse Theorem

31st May, 2021

The partition rank and the analytic rank of a tensor measure algebraic structure and bias, respectively. We prove that they are equivalent up to a constant, over any large enough finite field (independently of the number of variables) of any characteristic. The proof constructs rational maps computing a rank decomposition for successive derivatives, on a carefully chosen subset of the kernel variety associated with the tensor. Proving the equivalence between these two quantities is the main question in the "bias implies low rank" line of work in higher-order Fourier analysis, and was reiterated by multiple authors. Joint work with Alex Cohen.

Lisa Sauermann: Finding solutions with distinct variables to systems of equations over 𝔽p

24th May, 2021

Let us fix a prime p and a homogeneous system of m linear equations aj,1x1+ . . . +aj,kxk=0 for j=1, . . ., m with coefficients aj,i ∈ 𝔽p. Suppose that k ≥ 3m, that a_{j,1}+ . . . +a_{j,k}=0 for j=1,. . . ,m and that every m × m minor of the m × k matrix (a_{j,i})_{j,i} is non-singular. Then we prove that for any (large) n, any subset A ⊆ (𝔽p)n of size |A| greater than C Γn contains a solution (x1, . . .,xk) ∈ Ak to the given system of equations such that the vectors x1, . . .,xk ∈ A are all distinct. Here, C and Γ are constants only depending on p, m and k such that Γ < p. The crucial point here is the condition for the vectors x1, . . .,xk in the solution (x1, . . .,xk) ∈ Ak to be distinct. If we relax this condition and only demand that x1, . . .,xk are not all equal, then the statement would follow easily from Tao's slicerank polynomial method. However, handling the distinctness condition is much harder, and requires a new approach. While all previous combinatorial applications of the slice rank polynomial method have relied on the slice rank of diagonal tensors, we use a slicerank argument for a non-diagonal tensor in combination with combinatorial and probabilistic arguments.

Allysa Lumley: Primes in short intervals – Heuristics and calculations

17th May, 2021

We formulate, using heuristic reasoning, precise conjectures for the range of the number of primes in intervals of length y around x, where y ≪ (log x)2. In particular, we conjecture that the maximum grows surprisingly slowly as y ranges from log x to (log x)2. We will show that our conjectures are somewhat supported by available data, though not so well that there may not be room for some modification. This is joint work with Andrew Granville.