## Seminars and Colloquia Schedule

Monday, February 26, 2018 - 11:15 , Location: skiles 005 , Tere M. Seara , Departament de Matemàtiques. Universitat Politècnica de Catalunya (UPC) , Organizer: Livia Corsi
The so-called Hopf-zero singularity consists in a vector field in $\mathbf{R}^3$ having the origin as a critical point, with a zero eigenvalue and a pair of conjugate purely imaginary eigenvalues. Depending of the  sign in the second order Taylor coefficients of the singularity, the dynamics of its unfoldings is not completely understood. If one considers conservative (i.e. one-parameter) unfoldings of such singularity, one can see that the truncation of the normal form at any order possesses two saddle-focus critical points with a one- and a two-dimensional heteroclinic connection. The same happens for non-conservative (i.e. two-parameter) unfoldings when the parameters lie in a certain curve (see for instance [GH]).However, when one considers the whole vector field, one expects these heteroclinic connections to be destroyed. This fact can lead to the birth of a homoclinic connection to one of the critical points, producing thus a Shilnikov bifurcation. For the case of $\mathcal{C}^\infty$ unfoldings, this has been proved before (see [BV]), but for analytic unfoldings it is still an open problem.Our study concerns the splittings of the one and two-dimensional heteroclinic connections (see [BCS] for the one-dimensional case). Of course, these cannot be detected in the truncation of the normal form at any order, and hence they are expected to be exponentially small with respect to one of the perturbation parameters. In [DIKS] it has been seen that a complete understanding of how the heteroclinic connections are broken is the last step to prove the existence of Shilnikov bifurcations for analytic unfoldings of the Hopf-zero singularity. Our results [BCSa, BCSb] and [DIKS] give the existence of Shilnikov bifurcations for analytic unfoldings. [GH] Guckenheimer, J. and Holmes, P., Nonlinear oscillations, dynamical systems, and bifurcations of vector fields. Springer-Verlag, New York (1983), 376--396. [BV] Broer, H. W. and Vegter, G., Subordinate Sil'nikov bifurcations near some singularities of vector fields having low codimension. Ergodic Theory Dynam. Systems, 4 (1984), 509--525. [BSC] Baldoma;, I., Castejon, O. and Seara, T. M., Exponentially small heteroclinic breakdown in the generic Hopf-zero singularity. Journal of Dynamics and Differential Equations, 25(2) (2013), 335--392.  [DIKS] Dumortier, F., Ibanez, S., Kokubu, H. and Simo, C., About the unfolding of a Hopf-zero singularity. Discrete Contin. Dyn. Syst., 33(10) (2013), 4435--4471. [BSCa] Baldoma, I., Castejon, O. and Seara, T. M., Breakdown of a 2D heteroclinic connection in the Hopf-zero singularity (I). Preprint: https://arxiv.org/abs/1608.01115 [BSCb] Baldoma, I., Castejon, O. and Seara, T. M., Breakdown of a 2D heteroclinic connection in the Hopf-zero singularity (II). The generic case. Preprint: https://arxiv.org/abs/1608.01116
Monday, February 26, 2018 - 14:00 , Location: Skiles 005 , Prof. Hyenkyun Woo , Korea University of Technology and Education , Organizer: Sung Ha Kang

Bio: Hyenkyun Woo is an assistant professor at KOREATECH (Korea University of Technology and Education). He got a Ph.D at Yonsei university. and was a post-doc at Georgia Tech and Korea&nbsp;Institute of Advanced Study and others.

In machine learning and signal processing, the beta-divergence is well known as a similarity measure between two positive objects. However, it is unclear whether or not the distance-like structure of beta-divergence is preserved, if we extend the domain of the beta-divergence to the negative region. In this article, we study the domain of the beta-divergence and its connection to the Bregman-divergence associated with the convex function of Legendre type. In fact, we show that the domain of beta-divergence (and the corresponding Bregman-divergence) include negative region under the mild condition on the beta value. Additionally, through the relation between the beta-divergence and the Bregman-divergence, we can reformulate various variational models appearing in image processing problems into a unified framework, namely the Bregman variational model. This model has a strong advantage compared to the beta-divergence-based model due to the dual structure of the Bregman-divergence. As an example, we demonstrate how we can build up a convex reformulated variational model with a negative domain for the classic nonconvex problem, which usually appears in synthetic aperture radar image processing problems.
Tuesday, February 27, 2018 - 11:00 , Location: Skiles 006 , Alexander Barvinok , University of Michigan , , Organizer: Prasad Tetali
Many hard problems of combinatorial counting can be encoded as problems of computing an appropriate partition function. Formally speaking, such a partition function is just a multivariate polynomial with great many monomials enumerating combinatorial structures of interest. For example, the permanent of an nxn matrix is a polynomial of degree n in n^2 variables with n! monomials enumerating perfect matchings in the complete bipartite graph on n+n vertices. Typically, we are interested to compute the value of such a polynomial at a real point; it turns out that to do it efficiently, it is very helpful to understand the behavior of complex zeros of the polynomial. This approach goes back to the Lee-Yang theory of the critical temperature and phase transition in statistical physics, but it is not identical to it: thinking of the phase transition from the algorithmic point of view allows us greater flexibility: roughly speaking, for computational purposes we can freely operate with “complex temperatures”. I plan to illustrate this approach on the problems of computing the permanent and its versions for non-bipartite graphs (hafnian) and hypergraphs, as well as for computing the graph homomorphism partition function and its versions (partition functions with multiplicities and tensor networks) that are responsible for a variety of problems on graphs involving colorings, independent sets, Hamiltonian cycles, etc. (This is the first (overview) lecture; two more will follow up on Thursday 1:30pm, Friday 3pm of the week. These two lectures are each 80 minutes' long.)
Series: PDE Seminar
Tuesday, February 27, 2018 - 15:00 , Location: Skiles 006 , , University of Toronto , , Organizer: Yao Yao
Black holes are predicted by Einstein's theory of general relativity, and now we have ample observational evidence for their existence. However theoretically there are many unanswered questions about how black holes come into being. In this talk, with tools from hyperbolic PDE, quasilinear elliptic equations, geometric analysis and dynamical systems, we will prove that, through a nonlinear focusing effect, initially low-amplitude and diffused gravitational waves can give birth to a black hole region in our universe. This result extends the 1965 Penrose’s singularity theorem and it also proves a conjecture of Ashtekar on black-hole thermodynamics. Open problems and new directions will also be discussed.
Wednesday, February 28, 2018 - 14:00 , Location: Skiles 006 , Hyun Ki Min , GaTech , Organizer: Anubhav Mukherjee
I will introduce the notion of satellite knots and show that a knot in a 3-sphere is either a torus knot, a satellite knot or a hyperbolic knot.
Thursday, March 1, 2018 - 13:30 , Location: Skiles 005 , Alexander Barvinok , University of Michigan , , Organizer: Prasad Tetali
This is Lecture 2 of a series of 3 lectures by the speaker. See the abstract on Tuesday's ACO colloquium of this week. (Please note that this lecture will be 80 minutes' long.)
Thursday, March 1, 2018 - 18:00 , Location: Klaus Lecture Auditorium 1443 , Jill Pipher , Brown University , Organizer: Michael Lacey
How is it possible to send encrypted information across an insecure channel (like the internet) so that only the intended recipient can decode it, without sharing the secret key in advance? In 1976, well before this question arose, a new mathematical theory of encryption (public-key cryptography) was invented by Diffie and Hellman, which made digital commerce and finance possible. The technology advances of the last twenty years bring new and urgent problems, including the need to compute on encrypted data in the cloud and to have cryptography that can withstand the speed-ups of quantum computers. In this lecture, we will discuss some of the history of cryptography, as well as some of the latest ideas in "lattice" cryptography which appear to be quantum resistant and efficient.
Friday, March 2, 2018 - 10:00 , Location: Skiles 254 , , Georgia Tech , , Organizer: Kisun Lee
In this talk we will discuss the paper of Adiprasito, Huh, and Katz titled "Hodge Theory for Combinatorial Geometries," which establishes the log-concavity of the characteristic polynomial of a matroid.
Friday, March 2, 2018 - 14:00 , Location: Skiles 006 , Jen Hom , Georgia Tech , Organizer: Jennifer Hom
In this series of talks, we will study the relationship between the Alexander module and the bordered Floer homology of the Seifert surface complement. In particular, we will show that bordered Floer categorifies Donaldson's TQFT description of the Alexander module. No prior knowledge of the Alexander module or Heegaard Floer homology will be assumed.
Friday, March 2, 2018 - 15:00 , Location: Skiles 005 , Alexander Barvinok , University of Michigan , , Organizer: Prasad Tetali
This is Lecture 3 of a series of 3 lectures. See the abstract on Tuesday's ACO colloquium of this week.(Please note that this lecture will be 80 minutes' long.)
Friday, March 2, 2018 - 15:00 , Location: Skiles 202 , Predrag Cvitanovic , School of Physics, Georgia Tech , Organizer: Michael Loss
Recent advances in fluid dynamics reveal that the recurrent flows observed in moderate Reynolds number turbulence result from close passes to unstable invariant solutions of Navier-Stokes equations. By now hundreds of such solutions been computed for a variety of flow geometries, but always confined to small computational domains (minimal cells).Pipe, channel and plane flows, however, are flows on infinite spatial domains. We propose to recast the Navier-Stokes equations as a space-time theory, with the unstable invariant solutions now being the space-time tori (and not the 1-dimensional periodic orbits of the classical periodic orbit theory). The symbolic dynamics is likewise higher-dimensional (rather than a single temporal string of symbols). In this theory there is no time, there is only a repertoire of admissible spatiotemporal patterns.We illustrate the strategy by solving a very simple classical field theory on a lattice modelling many-particle quantum chaos, adiscretized screened Poisson equation, or the spatiotemporal cat.'' No actual cats, graduate or undergraduate, have showninterest in, or were harmed during this research.
Friday, March 2, 2018 - 15:05 , Location: Skiles 271 , Adrian P. Bustamante , Georgia Tech
Given a one-parameter family of maps of an interval to itself, one can observe period doubling bifurcations as the parameter is varied. The aspects of those bifurcations which are independent of the choice of a particular one-parameter family are called universal. In this talk we will introduce, heuristically, the so-called Feigenbaun universality and then we'll expose some rigorous results about it.