<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><p class="MsoNormal" style="font-size: 12pt; -webkit-text-size-adjust: auto; margin: 0in; font-family: Aptos, sans-serif;"><b><span style="font-family: Helvetica;">Dmitriy (Tim) Kunisky<span style="color: rgb(33, 33, 33);">, PhD</span></span></b><o:p></o:p></p><p class="MsoNormal" style="font-size: 12pt; -webkit-text-size-adjust: auto; margin: 0in; font-family: Aptos, sans-serif;"><b>Yale<span style="color: rgb(33, 33, 33);"> University</span></b><o:p></o:p></p><p class="MsoNormal" style="font-size: 12pt; -webkit-text-size-adjust: auto; margin: 0in; font-family: Aptos, sans-serif;"><span style="font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(33, 33, 33);"> </span><o:p></o:p></p><p class="MsoNormal" style="font-size: 12pt; -webkit-text-size-adjust: auto; margin: 0in; font-family: Aptos, sans-serif;"><span style="font-size: 10pt; font-family: Calibri, sans-serif; color: rgb(33, 33, 33);"> </span><span style="font-size: 10pt; font-family: Calibri, sans-serif;"><img width="231" height="180" id="_x0000_i1025" src="cid:87B9E5D1-DAB2-41FC-826F-6F45BF2273BF" alt="image001.jpg" _mf_state="1" title="null" style="width: 2.4062in; height: 1.875in;"></span><o:p></o:p></p><p class="MsoNormal" style="font-size: 12pt; -webkit-text-size-adjust: auto; margin: 0in; font-family: Aptos, sans-serif;"><b><span style="font-size: 11pt; font-family: Calibri, sans-serif; background: yellow;"><span dir="ltr">Tuesday, May 7, 2024 at 3:30pm</span></span></b><o:p></o:p></p><p class="MsoNormal" style="font-size: 12pt; -webkit-text-size-adjust: auto; margin: 0in; font-family: Aptos, sans-serif;"><b><span style="font-size: 11pt; font-family: Calibri, sans-serif; background: yellow;">Room – Kent 107</span></b><o:p></o:p></p><p class="MsoNormal" style="font-size: 12pt; -webkit-text-size-adjust: auto; margin: 0in; font-family: Aptos, sans-serif;"><span style="font-size: 11pt; font-family: Calibri, sans-serif;"> </span><o:p></o:p></p><p class="MsoNormal" style="font-size: 12pt; -webkit-text-size-adjust: auto; margin: 0in; font-family: Aptos, sans-serif;"> <o:p></o:p></p><p class="MsoNormal" style="font-size: 12pt; -webkit-text-size-adjust: auto; margin: 0in; font-family: Aptos, sans-serif;"><b><i><span style="font-size: 11pt; color: rgb(33, 33, 33);">Title:</span></i></b><span class="apple-converted-space"><span style="font-size: 11pt; color: rgb(33, 33, 33);"> </span></span><b><span style="font-size: 14pt; font-family: Calibri, sans-serif; color: rgb(33, 33, 33);">Computational hardness of testing for graph lifts and certifying properties of random regular graphs</span></b><o:p></o:p></p><p class="MsoNormal" style="font-size: 12pt; -webkit-text-size-adjust: auto; margin: 0in; font-family: Aptos, sans-serif;"><span style="font-size: 11pt; color: rgb(33, 33, 33);"> </span><o:p></o:p></p><p class="MsoNormal" style="font-size: 12pt; -webkit-text-size-adjust: auto; margin: 0in; font-family: Aptos, sans-serif;"><b><i><span style="font-size: 11pt; color: rgb(33, 33, 33);">Abstract:</span></i></b><span class="apple-converted-space"><b><span style="font-size: 11pt; color: rgb(33, 33, 33);"> </span></b></span><span style="font-size: 11pt; font-family: Calibri, sans-serif;">Certification tasks ask an algorithm to output a quantity that is guaranteed to be a bound on an optimization problem. I will present a new form of evidence that certification tasks over random regular graphs---say, certifying bounds on the chromatic number, maximum cut, or expansion of a graph---are computationally hard. Rather than proving lower bounds against concrete certification algorithms like convex relaxations, this argument will draw a connection with computational statistics, showing that a good certification algorithm could solve a hypothesis testing task that we believe to be difficult.<br><br>The key innovation will be a means of "quietly planting" unusual structures in regular graphs in a way that is hard to detect by taking random lifts of a suitable base graph. For regular graphs of fixed degree, I will give evidence that random lifts are hard to distinguish from uniformly random graphs provided that the base graph is Ramanujan. This gives a surprising connection between certification and the extremal properties of Ramanujan graphs, and allows for simple "proofs by example" of the hardness of certification by merely exhibiting specific finite Ramanujan graphs with various properties. I will show how this approach gives the first evidence for the hardness of certification of many properties of random regular graphs and will present numerous intriguing open problems that it suggests.</span></p><div dir="ltr"></div></body></html>