[Colloquium] CS Seminar - Yufei Zhao, PhD, March 29, 2022

[Jose J Fragoso]

UNIVERSITY OF CHICAGO

COMPUTER SCIENCE DEPARTMENT

PRESENTS


Yufei Zhao, PhD
Massachusetts Institute of Technology


[Yufei Zhao]

Tuesday, March 29, 2022 at 3:30pm
John Crerar Library, Room 298


Title:  Enumerating k-SAT functions

Abstract:  How many k-SAT functions on n boolean variables are there? What does a typical such function look like?  Bollobás, Brightwell, and Leader conjectured that for each fixed k, almost every k-SAT function is unate.  In this talk, I will discuss progress towards this conjecture and explain how the hypergraph container method can be used to reduce the problem to a hypergraph Turán-like problem, which is solved for k ≤ 4 but remains open in general.

Joint work with Dingding Dong and Nitya Mani


Bio:  Yufei Zhao is Assistant Professor of Mathematics at the Massachusetts Institute of Technology. He received his PhD from MIT in 2015 and has previously held positions at Oxford, Berkeley, Stanford, and Microsoft Research. He has been awarded the SIAM Dénes Kőnig prize (2018), the Sloan Research Fellowship (2019), and the NSF CAREER Award (2021). His research tackles a broad range of problems in discrete mathematics, including extremal, probabilistic, and additive combinatorics, graph theory, and discrete geometry, as well as applications to computer science.


Host: Alexander Razborov


[cid:image002.png at 01D83D68.0E6B3630]



--
Jose J Fragoso
Project Assistant IV
Computer Science Department
5730 S. Ellis – Room 200C
Chicago, IL. 60637
jfragoso at uchicago.edu
(773) 702-6614
(773) 702-8487 FAX

[signature_1572818061]



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20220322/c1f62d7c/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image001.jpg
Type: image/jpeg
Size: 214873 bytes
Desc: image001.jpg
URL: <http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20220322/c1f62d7c/attachment-0001.jpg>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image002.png
Type: image/png
Size: 233051 bytes
Desc: image002.png
URL: <http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20220322/c1f62d7c/attachment-0002.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image003.png
Type: image/png
Size: 459324 bytes
Desc: image003.png
URL: <http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20220322/c1f62d7c/attachment-0003.png>