Xinyu Wu

xinyuwu AT cmu DOT edu

I am a first-year PhD student in the Theory Group in the Computer Science Department at Carnegie Mellon University. I am fortunate to be advised by Pravesh Kothari and Ryan O'Donnell. I am broadly interested in theoretical computer science. Recently, I have been thinking about average case problems and spectral properties of random graphs.


Explict near-fully X-Ramanujan graphs
Ryan O'Donnell, Xinyu Wu

Mycielski graphs and PR proofs (pdf)
Emre Yolcu, Xinyu Wu, Marijn Heule
      SAT 2020
      Best Student Paper

The nonlinear stability regime of the viscous Faraday wave problem (pdf) (arXiv)
David Altizio, Ian Tice, Xinyu Wu, Taisuke Yasuda
      Quarterly of Applied Mathematics, 2019

A log-Sobolev inequality for the multislice, with applications (pdf) (arXiv)
Yuval Filmus, Ryan O'Donnell, Xinyu Wu
      ITCS 2019

A stochastic calculus approach to the oracle separation of BQP and PH (pdf) (ECCC)
Xinyu Wu
      To appear, Theory of Computing

Other writing

The uniform marginals lemma in "Query-to-communication lifting for BPP" (pdf)

Some talks

Escaping small sets on the boolean cube and other domains
CMU Theory Lunch, October 2018 (video) (slides)

Query-to-communication lifting for BPP (Göös, Pitassi, Watson 2017)
(with Ryan O'Donnell) CMU Theory Reading Group, April 2017 (video part 1) (part 2)