Seminars and Colloquia by Series

On Fully Dynamic Graph Sparsifiers

Series
ACO Student Seminar
Time
Friday, April 22, 2016 - 13:05 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
David DurfeeGeorgia Tech
We initiate the study of dynamic algorithms for graph sparsification problems and obtain fully dynamic algorithms, allowing both edge insertions and edge deletions, that take polylogarithmic time after each update in the graph. Our three main results are as follows. First, we give a fully dynamic algorithm for maintaining a $(1 \pm \epsilon)$-spectral sparsifier with amortized update time $poly(\log{n},\epsilon^{-1})$. Second, we give a fully dynamic algorithm for maintaining a $(1 \pm \epsilon)$-cut sparsifier with worst-case update time $poly(\log{n},\epsilon^{-1})$. Third, we apply our dynamic sparsifier algorithm to obtain a fully dynamic algorithm for maintaining a $(1 + \epsilon)$-approximate minimum cut in an unweighted, undirected, bipartite graph with amortized update time $poly(\log{n},\epsilon^{-1})$.Joint work with Ittai Abraham, Ioannis Koutis, Sebastian Krinninger, and Richard Peng

Levy-Khintchine random matrices and the Poisson weighted infinite skeleton tree

Series
Stochastics Seminar
Time
Thursday, April 21, 2016 - 15:05 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Paul JungUniversity of Alabama Birmingham
We look at a class of Hermitian random matrices which includes Wigner matrices, heavy-tailed random matrices, and sparse random matrices such as adjacency matrices of Erdos-Renyi graphs with p=1/N. Our matrices have real entries which are i.i.d. up to symmetry. The distribution of entries depends on N, and we require sums of rows to converge in distribution; it is then well-known that the limit must be infinitely divisible. We show that a limiting empirical spectral distribution (LSD) exists, and via local weak convergence of associated graphs, the LSD corresponds to the spectral measure associated to the root of a graph which is formed by connecting infinitely many Poisson weighted infinite trees using a backbone structure of special edges. One example covered are matrices with i.i.d. entries having infinite second moments, but normalized to be in the Gaussian domain of attraction. In this case, the LSD is a semi-circle law.

Decomposition of Triangle-dense Graphs

Series
Graph Theory Seminar
Time
Wednesday, April 20, 2016 - 15:05 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
He GuoMath, GT
A special feature possessed by the graphs of social networks is triangle-dense. R. Gupta, T. Roughgarden and C. Seshadhri give a polynomial time graph algorithm to decompose a triangle-dense graph into some clusters preserving high edge density and high triangle density in each cluster with respect to the original graph and each cluster has radius 2. And high proportion of triangles of the original graph are preserved in these clusters. Furthermore, if high proportion of edges in the original graph is "locally triangle-dense", then additionally, high proportion of edges of the original graph are preserved in these clusters. In this talk, I will present most part of the paper "Decomposition of Triangle-dense Graphs" in SIAM J. COMPUT. Vol. 45, No. 2, pp. 197–215, 2016, by R. Gupta, T. Roughgarden and C. Seshadhri.

A semidefinite relaxation of k-means clustering

Series
Analysis Seminar
Time
Wednesday, April 20, 2016 - 14:05 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Dustin MixonOhio state University
Recently, Awasthi et al proved that a semidefinite relaxation of the k-means clustering problem is tight under a particular data model called the stochastic ball model. This result exhibits two shortcomings: (1) naive solvers of the semidefinite program are computationally slow, and (2) the stochastic ball model prevents outliers that occur, for example, in the Gaussian mixture model. This talk will cover recent work that tackles each of these shortcomings. First, I will discuss a new type of algorithm (introduced by Bandeira) that combines fast non-convex solvers with the optimality certificates provided by convex relaxations. Second, I will discuss how to analyze the semidefinite relaxation under the Gaussian mixture model. In this case, outliers in the data obstruct tightness in the relaxation, and so fundamentally different techniques are required. Several open problems will be posed throughout.This is joint work with Takayuki Iguchi and Jesse Peterson (AFIT), as well as Soledad Villar and Rachel Ward (UT Austin).

Stationary partitioning in certain grain boundary problems

Series
Research Horizons Seminar
Time
Wednesday, April 20, 2016 - 12:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Prof. John McCuanSchool of Mathematics, Georgia Institute of Technology

Please Note: Food and Drinks will be provided before the seminar.

Abstract: Certain materials form geometric structures called "grains," which means that one has distinct volumes filled with the same semi-solid material but not mixing. This can happen with semi-molten copper and something like this can also happen with liquid crystals (which are used in some calculator display screens). People who try to analyze such systems tend to be interested in the motion of the boundaries between grains (which are often modeled by mean curvature flow) and the motions of the exterior surfaces of grains (which are often modeled by surface diffusion flow). Surfaces of constant mean curvature are stationary for both flows and provide stationary or equilibrium configurations. The surfaces of constant mean curvature which are axially symmetric have been classified. Grain boundaries are not usually axially symmetric, but I will describe a model situation in which they are and one can study the resulting equilibria. I will give a very informal introduction to the flow problems mentioned above (about which I know very little) and then go over the classification of axially symmetric constant mean curvature surfaces (about which I know rather more) and some reasonable questions one can ask (and hopefully answer) about such problems.

Euler sprays and Wasserstein geometry of the space of shapes

Series
PDE Seminar
Time
Tuesday, April 19, 2016 - 15:05 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Dejan SlepcevCarnegie Mellon University
We will discuss a distance between shapes defined by minimizing the integral of kinetic energy along transport paths constrained to measures with characteristic-function densities. The formal geodesic equations for this shape distance are Euler equations for incompressible, inviscid flow of fluid with zero pressure and surface tension on the free boundary. We will discuss the instability that the minimization problem develops and the resulting connections to optimal transportation. The talk is based on joint work with Jian-Guo Liu (Duke) and Bob Pego (CMU).

New Conjectures for Union-Closed Families

Series
Combinatorics Seminar
Time
Tuesday, April 19, 2016 - 14:05 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Annie RaymondUniversity of Washington, Seattle, WA
The Frankl union-closed sets conjecture states that there exists an element present in at least half of the sets forming a union-closed family. We reformulate the conjecture as an optimization problem and present an integer program to model it. The computations done with this program lead to a new conjecture: we claim that the maximum number of sets in a non-empty union-closed family in which each element is present at most a times is independent of the number n of elements spanned by the sets if n is greater or equal to log_2(a)+1. We prove that this is true when n is greater or equal to a. We also discuss the impact that this new conjecture would have on the Frankl conjecture if it turns out to be true. This is joint work with Jonad Pulaj and Dirk Theis.

How not to prove the smooth 4-dimensional Poincare conjecture

Series
Geometry Topology Seminar
Time
Tuesday, April 19, 2016 - 13:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
David GayUniversity of Georgia

Please Note: Please note different day and time for the seminar

In honor of John Stallings' great paper, "How not to prove the Poincare conjecture", I will show how to reduce the smooth 4-dimensional Poincare conjecture to a (presumably incredibly difficult) statement in group theory. This is joint work with Aaron Abrams and Rob Kirby. We use trisections where Stallings used Heegaard splittings.

Transverse Surgery on Knots in Contact 3-Manifolds

Series
Dissertation Defense
Time
Tuesday, April 19, 2016 - 10:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
James ConwayGeorgia Tech
This thesis studies the effect of transverse surgery on open books, the Heegaard Floer contact invariant, and tightness. We show that surgery on the connected binding of a genus g open book that supports a tight contact structure preserves tightness if the surgery coefficient is greater than 2g-1. We also give criteria for when positive contact surgery on Legendrian knots will result in an overtwisted manifold.

Symmetry and Turan Sums of Squares

Series
ACO Colloquium
Time
Monday, April 18, 2016 - 15:05 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Annie RaymondUniversity of Washington, Seattle, WA
Given a graph H, the Turan graph problem asks to find the maximum number of edges in a n-vertex graph that does not contain any subgraph isomorphic to H. In recent years, Razborov's flag algebra methods have been applied to Turan hypergraph problems with great success. We show that these techniques embed naturally in standard symmetry-reduction methods for sum of squares representations of invariant polynomials. This connection gives an alternate computational framework for Turan problems with the potential to go further. Our results expose the rich combinatorics coming from the representation theory of the symmetric group present in flag algebra methods. This is joint work with James Saunderson, Mohit Singh and Rekha Thomas.

Pages