<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<!--[if !mso]><style>v\:* {behavior:url(#default#VML);}
o\:* {behavior:url(#default#VML);}
w\:* {behavior:url(#default#VML);}
.shape {behavior:url(#default#VML);}
</style><![endif]--><style><!--
/* Font Definitions */
@font-face
{font-family:Helvetica;
panose-1:0 0 0 0 0 0 0 0 0 0;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
p.p1, li.p1, div.p1
{mso-style-name:p1;
margin:0in;
font-size:8.5pt;
font-family:Helvetica;
color:#FF9400;}
span.EmailStyle19
{mso-style-type:personal-reply;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><o:p> </o:p></p>
<div>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
<p class="p1"><span style="font-size:12.0pt">UNIVERSITY OF CHICAGO<o:p></o:p></span></p>
<p class="p1"><span style="font-size:12.0pt">COMPUTER SCIENCE DEPARTMENT<o:p></o:p></span></p>
<p class="p1"><span style="font-size:12.0pt">PRESENTS</span><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><b><span style="font-family:Helvetica">Yufei Zhao, PhD<o:p></o:p></span></b></p>
<p class="MsoNormal"><b><span style="font-family:Helvetica">Massachusetts Institute of Technology<o:p></o:p></span></b></p>
<p class="MsoNormal"><b><span style="font-family:Helvetica"><o:p> </o:p></span></b></p>
<p class="MsoNormal"><b><span style="font-family:Helvetica"><o:p> </o:p></span></b></p>
<p class="MsoNormal"><img width="283" height="207" style="width:2.9479in;height:2.1562in" id="Picture_x0020_2" src="cid:image001.jpg@01D83D68.0E6B3630" alt="Yufei Zhao"><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><b>Tuesday, March 29, 2022 at 3:30pm<o:p></o:p></b></p>
<p class="MsoNormal"><b>John Crerar Library, Room 298</b><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<div>
<div>
<p class="MsoNormal"><b><span style="font-size:16.0pt;color:black">Title: Enumerating k-SAT functions</span></b><span style="font-size:16.0pt;color:black"><o:p></o:p></span></p>
<p class="MsoNormal"><b><span style="font-size:12.0pt;color:black"><o:p> </o:p></span></b></p>
<p class="MsoNormal"><b><i><span style="font-size:14.0pt;color:black">Abstract: </span>
</i></b><i><span style="color:black"> </span></i><span style="color:black">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.<br>
<br>
Joint work with Dingding Dong and Nitya Mani<o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><b><span style="font-size:14.0pt;color:black">Bio:</span></b><span style="color:black">
</span><span style="color:#070706;background:#FFEE94">Yufei Zhao</span><span style="color:black"> 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.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><b><span style="font-size:12.0pt;font-family:Helvetica">Host: Alexander Razborov<o:p></o:p></span></b></p>
<p class="MsoNormal"><b><span style="font-size:12.0pt;font-family:Helvetica"><o:p> </o:p></span></b></p>
<p class="MsoNormal"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="color:black"><img width="782" height="1012" style="width:8.1458in;height:10.5416in" id="Picture_x0020_3" src="cid:image002.png@01D83D68.0E6B3630"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">-- <o:p></o:p></p>
<p class="MsoNormal"><span style="font-family:"Arial",sans-serif">Jose J Fragoso<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Arial",sans-serif">Project Assistant IV<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Arial",sans-serif">Computer Science Department<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Arial",sans-serif">5730 S. Ellis – Room 200C<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Arial",sans-serif">Chicago, IL. 60637<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Arial",sans-serif">jfragoso@uchicago.edu<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Arial",sans-serif">(773) 702-6614<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Arial",sans-serif">(773) 702-8487 FAX<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Arial",sans-serif"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Arial",sans-serif"><img width="92" height="92" style="width:.9583in;height:.9583in" id="Picture_x0020_1" src="cid:image003.png@01D83D68.0E6B3630" alt="signature_1572818061"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Arial",sans-serif"><o:p> </o:p></span></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>