Patrick Lutz

Research

Here is a list of research questions which I think are interesting.

Papers (published/submitted)

• Incompleteness and jump hierarchies
  with James Walsh [arXiv] [journal]
• Formalizing Galois theory
  with Thomas Browning [arXiv] [journal] [slides]
• Conway and Doyle can divide by three, but I can’t
  [arXiv] [journal] [slides]
• Martin’s conjecture for regressive functions on the hyperarithmetic degrees
  [arXiv] [journal]
• Part 1 of Martin’s conjecture for order preserving and measure preserving functions
  with Benny Siskind [arXiv] [journal] [slides]
• The Solecki dichotomy and the Posner-Robinson theorem are almost equivalent
  [arXiv] [slides]
• Coding information into all infinite subsets of a dense set
  with Matthew Harrison-Trainor and Lu Liu [arXiv] [slides 1] [slides 2]
• A theory satisfying a strong version of Tennenbaum’s theorem
  with James Walsh [arXiv] [slides]
• Borel graphable equivalence relations
  with Tyler Arant and Alexander Kechris [arXiv] [slides]
• Bounding the dimension of exceptional sets for orthogonal projections
  with Peter Cholak, Marianna Csörnyei, Neil Lutz, Elivra Mayordomo and D. M. Stull [arXiv]
• Ranking theories via encoded β-models
  with Hanul Jeon, Fedor Pakhomov and James Walsh [arXiv]

Preprints

• A note on a conjecture of Sacks
  with Kojiro Higuchi [arXiv] [slides]

In preparation

• Local Martin’s conjecture, revisited
  with Vittorio Bard
• Counterexamples concerning the Hausdorff dimension of continuous images
  with Joe Miller [slides]
• Complexity of oracles for packing dimension
• Measure hyperfiniteness and lossless expansion
  with Jan Grebík [slides]

Theses

• Results on Martin’s conjecture
  PhD thesis, UC Berkeley 2021 [pdf]
  Comment: Liang Yu has found a counterexample to Conjecture 5.36 (a.k.a. question 9.10)

Other slides

• Martin’s conjecture
  [Survey of some recent work on Martin’s conjecture]
• Part 1 of Martin’s conjecture
  [Overview] [Measure preserving functions] [Ultrafilters on the Turing degrees] [Order preserving implies measure preserving]
• Part 2 of Martin’s conjecture
  [Martin’s conjecture above the hyperjump]