Thomas F. Bloom is a mathematician, who is a
Royal Society University Research Fellow at the
University of Oxford
, mottoeng = The Lord is my light
, established =
, endowment = £6.1 billion (including colleges) (2019)
, budget = £2.145 billion (2019–20)
, chancellor ...
. He works in arithmetic combinatorics and analytic number theory.
Education and career
Thomas did his undergraduate degree in Mathematics and Philosophy at
Merton College, Oxford
Merton College (in full: The House or College of Scholars of Merton in the University of Oxford) is one of the Colleges of Oxford University, constituent colleges of the University of Oxford in England. Its foundation can be traced back to the ...
. He then went on to do his PhD in mathematics at the
University of Bristol
, mottoeng = earningpromotes one's innate power (from Horace, ''Ode 4.4'')
, established = 1595 – Merchant Venturers School1876 – University College, Bristol1909 – received royal charter
, type ...
under the supervision of
Trevor Wooley
Trevor Dion Wooley FRS (born 17 September 1964) is a British mathematician and currently Professor of Mathematics at Purdue University. His fields of interest include analytic number theory, Diophantine equations and Diophantine problems, h ...
. After finishing his PhD, he was a Heilbronn Research Fellow at the University of Bristol. In 2018, he became a postdoctoral research fellow at the
University of Cambridge
, mottoeng = Literal: From here, light and sacred draughts.
Non literal: From this place, we gain enlightenment and precious knowledge.
, established =
, other_name = The Chancellor, Masters and Schola ...
with
Timothy Gowers
Sir William Timothy Gowers, (; born 20 November 1963) is a British mathematician. He is Professeur titulaire of the Combinatorics chair at the Collège de France, and director of research at the University of Cambridge and Fellow of Trinity Col ...
. In 2021, he joined the University of Oxford as a Research Fellow.
Research
In July 2020, Bloom and Sisask proved that any set such that
diverges must contain arithmetic progressions of length 3. This is the first non-trivial case of a
conjecture
In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis (still a conjecture) or Fermat's Last Theorem (a conjecture until proven in 19 ...
of
Erdős
Erdős, Erdos, or Erdoes is a Hungarian surname.
People with the surname include:
* Ágnes Erdős (born 1950), Hungarian politician
* Brad Erdos (born 1990), Canadian football player
* Éva Erdős (born 1964), Hungarian handball player
* Józse ...
postulating that any such set must in fact contain arbitrarily long arithmetic progressions.
In November 2020, in joint work with James Maynard, he improved the best-known bound for
square-difference-free sets, showing that a set