Events

Title: NC algorithm to find perfect matching in planar graphs

Abstract: Is perfect matching in NC? That is, is there a deterministic fast parallel algorithm for it? This has been an outstanding open question in theoretical computer science for over three decades, ever since the discovery of RNC matching algorithms. Within this question, the case of planar graphs has remained an enigma: On the one hand, counting the number of perfect matchings is far harder than finding one (the former is #P-complete and the latter is in P), and on the other, for planar graphs, counting has long been known to be in NC whereas finding one has resisted a solution. 

Location:  MC 5479

There will be a social starting at 1:00 pm.

This seminar will consist of 3 short talks by undergraduate students. There will be a coffee break at 1:30 pm.

Title: Nonnegative Matrix Factorization in non-standard settings, for fun

Abstract: This abstract is broken into 6 points.

1. What is NMF: NMF is to find two elementwise nonnegative low-rank matrices W and H such that M ≈ WH for a given elementwise nonnegative matrix M.

2. NMF is commonly done in the Euclidean distance.

3. I argue that Euclidean distance is "not good", and a ray-to-ray distance is better.

4. Under L2-normalization onto the unit sphere, we arrive at the cosine angle distance, which motivates the use of manifold optimization techniques.

5. Under L1-normalization onto the simplex, we arrive at the so-called Aitchison geometry, which contains funny algebra.

6. Why do these: for curiosity and fun. For application, these non-standard NMF can "remove cloud" from satellite images.

Title: Quartic quantum speedups for planted inference

Abstract: Consider the following task ("noisy 4XOR"), arising in CSPs, optimization, and cryptography.  There is a 'secret' Boolean vector x in {-1,+1}^n.  One gets m randomly chosen pairs (S, b), where S is a set of 4 coordinates from [n] and b is x^S := prod_{i in S} x_i with probability 1-eps, and -x^S with probability eps.  Can you tell the difference between the cases eps = 0.1 and eps = 0.5? 

Location: MC 5479

There will be a social starting at 1:00 pm.

Title: Control over the Kerov-Kirillov-Reshetikhin bijection with respect to the nesting structure on rigged configurations

There will be a pre-seminar presenting relevant background at the beginning graduate level starting at 1pm.

Abstract: The talk will discuss controlling the Kerov-Kirillov-Reshetikhin (KKR) bijection between semistandard tableaux and rigged configurations with a particular emphasis on the standard case. We introduce theorems and techniques to control the shape of the first rigged partition. We also introduce an operation on a standard tableau which induces a very small, very controlled change in the riggings of the corresponding rigged configuration. Despite how specific this operation seems, it can be used to manipulate all the riggings on the first rigged partition of a rigged configuration. It can also be used to give an alternate method to Kuniba et al. in order to "unwrap" the natural nesting structure on rigged configurations. The connection to the multi colour box ball system is discussed.

Title: Oddities in the pursuit of self-duality

Abstract: Certain important cones in conic optimization are self-dual, e.g., the positive semidefinite matrices and the nonnegative orthant. In this talk we will address the problem of determining which convex cones are self-dual in a broad sense, which allows changing the underlying inner product if necessary. We will describe some recent progress on this question for polyhedral cones and discuss some unexpected connections. In particular, we will show a curious result connecting self-dual polyhedral cones and extreme rays of doubly nonnegative matrices. We will also discuss how semidefinite programming can be used to search for self-dual polyhedral cones. Time allowing, we will describe new results on the related problem of determining the automorphisms of certain cones of interest.

This talk is based on joint works with João Gouveia and Masaru Ito.

Title: Lecture hall graphs and the Askey scheme

There will be a pre-seminar presenting relevant background at the beginning graduate level starting at 1pm.

Abstract: We establish, for every family of orthogonal polynomials in the Askey scheme and the q-Askey scheme, a combinatorial model for mixed moments and coefficients in terms of paths on the lecture hall lattice. This generalizes to all families of orthogonal polynomials in the Askey scheme previous results of Corteel and Kim for the little q-Jacobi polynomials. This is joint work with Sylvie Corteel, Bhargavi Jonnadula, and Jon Keating.

Title: Everything is possible: constructing convex sets with prescribed facial dimensions, efficiently

Abstract: Given any finite set of nonnegative integers, there exists a closed convex set whose facial dimension signature coincides with this set of integers, that is, the dimensions of its nonempty faces comprise exactly this set of integers. In this work, we show that such sets can be realised as solution sets of systems of finitely many convex quadratic inequalities, and hence are representable via second-order cone programming problems, and are, in particular, spectrahedral.