Archive for the ‘KAIST Discrete Math Seminar’ Category

Chun-Hung Liu, Packing and covering topological minors and immersions

Friday, June 10th, 2016
Packing and covering topological minors and immersions
Chun-Hung Liu
Department of Mathematics, Princeton University, Princeton, NJ, USA
2016/06/29 Wed 4PM-5PM
A set F of graphs has the Erdős-Posa property if there exists a function f such that every graph either contains k disjoint subgraphs each isomorphic to a member in F or contains a set of at most f(k) vertices intersecting all such subgraphs. In this talk I will address the Erdős-Posa property with respect to three closely related graph containment relations: minor, topological minor, and immersion. We denote the set of graphs containing H as a minor, topological minor and immersion by M(H),T(H) and I(H), respectively. Robertson and Seymour in 1980’s proved that M(H) has the Erdős-Posa property if and only if H is planar. And they left the question for characterizing H in which T(H) has the Erdős-Posa property in the same paper. This characterization is expected to be complicated as T(H) has no Erdős-Posa property even for some tree H. In this talk, I will present joint work with Postle and Wollan for providing such a characterization. For immersions, it is more reasonable to consider an edge-variant of the Erdős-Posa property: packing edge-disjoint subgraphs and covering them by edges. I(H) has no this edge-variant of the Erdős-Posa property even for some tree H. However, I will prove that I(H) has the edge-variant of the Erdős-Posa property for every graph H if the host graphs are restricted to be 4-edge-connected. The 4-edge-connectivity cannot be replaced by the 3-edge-connectivity.

On the Erdős-Szekeres convex polygon problem

Wednesday, May 25th, 2016
On the Erdős-Szekeres convex polygon problem
Andreas Holmsen
Department of Mathematical Sciences, KAIST
2016/05/27 4PM (Room 2411 of Bldg E6-1)
Very recently, Andrew Suk made a major breakthrough on the Erdos-Szekeres convex polygon problem, in which he solves asymptotically this 80 year old problem of determining the minimum number of points in the plane in general position that always guarantees n points in convex position. I will review his proof in full detail.

Neil Immerman, Towards Capturing Order-Independent P

Wednesday, May 4th, 2016

FYI: Joint Seminar on Theoretical Computer Science

Towards Capturing Order-Independent P
Neil Immerman
College of Information and Computer Sciences, University of Massachusetts Amherst, Amherst, MA, USA
2016/5/11 Wed 4PM-5PM (E3-1, Room 3445)
In Descriptive Complexity we characterize the complexity of decision problems by how rich a logical language is needed to describe the problem. Important complexity classes have natural logical characterizations, for example NP is the set of problems expressible in second order existential logic (NP = SOE) and P is the set of problems expressible in first order logic, plus a fixed point operator (P = FO(FP)).
The latter characterization is over ordered graphs, i.e. the vertex set is a linearly ordered set. This is appropriate for computational problems because all inputs to a computer are ordered sequences of bits. Any ordering will do; we are interested in the order-independent properties of graphs. The search for order-independent P is closely tied to the complexity of graph isomorphism. I will explain these concepts and the current effort to capture order-independent P.

Suil O (오수일), Interlacing families and the Hermitian spectral norm of digraphs

Wednesday, April 20th, 2016
Interlacing families and the Hermitian spectral norm of digraphs
Suil O (오수일)
Department of Mathematics, Simon Fraser University, Burnaby, B.C., Canada
2016/6/1 Wed 4PM-5PM
Recently, Marcus, Spielman, and Srivastava proved the existence of infinite families of bipartite Ramanujan graphs of every degree at least 3 by using the method of interlacing families of polynomials. In this talk, we apply their method to prove that for any connected graph G, there exists an orientation of G such that the spectral radius of the corresponding Hermitian adjacency matrix is at most that of the universal cover of G.

(Colloquium) András Sebő, Classical tools and recent advances in combinatorial optimization

Monday, April 4th, 2016

FYI: Colloquium of Dept. of Mathematical Sciences.

Classical tools and recent advances in combinatorial optimization
András Sebő
CNRS, Laboratoire G-SCOP, Université Grenoble-Alpes, France
2016/04/28 Thu 4:15PM-5:15PM (Room 1501, Bldg. E6-1)
Combinatorial optimization has recently discovered new usages of probability theory, information theory, algebra, semidefinit programming, etc. This allows addressing the problems arising in new application areas such as the management of very large networks, which require new tools. A new layer of results make use of several classical methods at the same time, in new ways, combined with newly developed arguments.
After a brief panorama of this evolution, I would like to show the new place of the best-known, classical combinatorial optimization tools in this jungle: matroids, matchings, elementary probabilities, polyhedra, linear programming.
More concretely, I try to demonstrate on the example of the Travelling Salesman Problem, how strong meta-methods may predict possibilities, and then be replaced by better suited elementary methods. The pillars of combinatorial optimization such as matroid intersection, matchings, T-joins, graph connectivity, used in parallel with elements of freshmen’s probabilities, and linear programming, appropriately merged with newly developed ideas tailored for the problems, may not only replace difficult generic methods, but essentially improve the results. I would like to show how this has happened with various versions of the TSP problem in the past years (see results of Gharan, Saberi, Singh, Mömke and Svensson, and several recent results of Anke van Zuylen, Jens Vygen and the speaker), essentially improving the approximation ratios of algorithms.