Seminars and Colloquia by Series

The Complexity of Scarf's Lemma and Related Problems

Series
ACO Student Seminar
Time
Wednesday, March 4, 2009 - 13:30 for 2 hours
Location
ISyE Executive Classroom
Speaker
Shiva KintaliCS, Georgia Tech
Scarf's lemma is one of the fundamental results in combinatorics, originally introduced to study the core of an N-person game. Over the last four decades, the usefulness of Scarf's lemma has been demonstrated in several important combinatorial problems seeking stable solutions. However, the complexity of the computational version of Scarf's lemma (Scarf) remained open. In this talk, I will prove that Scarf is complete for the complexity class PPAD. This shows that Scarf is as hard as the computational versions of Brouwer's fixed point theorem and Sperner's lemma. Hence, there is no polynomial-time algorithm for Scarf unless PPAD \subseteq P. I will also talk about fractional stable paths problem, finding fractional kernels in digraphs, finding fractional stable matching in hypergraphic preference systems and finding core in an N-person balanced game with non-transferable utilities. I will show the connection between these problems through Scarf's lemma and address the complexity of these problems.

The Geometry of Logconcave Functions

Series
ACO Student Seminar
Time
Wednesday, February 25, 2009 - 13:30 for 2 hours
Location
Skiles 269
Speaker
Daniel DadushISyE, Georgia Tech
In this talk, I will introduce the class of logconcave and s-concave functions, illustrate their properties, and explain their connections to convex geometry. I will present a simple and unified approach for proving probabilistic inequalities for logconcave and s-concave densities on the real line. Lastly I will use these techniques to prove two important theorems in convex geometry: Grunbaum's theorem, every halfspace cut through the centroid of a convex body contains at least a 1/e volume fraction of the body, and the Milman-Pajor inequality, a convex body in R^n is sandwiched between its inertial ellipsoid and a factor n scaling of it. Joint work with Santosh Vempala.

Random Walk Sampling - Examples & Techniques for Bounding Mixing Tim

Series
ACO Student Seminar
Time
Wednesday, February 18, 2009 - 13:30 for 2 hours
Location
ISyE Executive Classroom
Speaker
Linji YangCS, Georgia Tech
In this talk I will give an introduction of the Markov Chain Monte Carlo Method, which uses markov chains to sample interesting combinatorial objects such as proper colorings, independent sets and perfect matchings of a graph. I will introduce methods such as Couplings and Canonical Paths which have been widely used to analyze how many steps Markov Chains needs to go (mixing time) in order to get a sufficiently random combinatorial object. I will also give a brief survey of some recent results in the sampling of colorings.

A Constructive Characterization of the Split Closure of a Mixed Integer Linear Program

Series
ACO Student Seminar
Time
Wednesday, November 26, 2008 - 13:30 for 2 hours
Location
ISyE Executive Classroom
Speaker
Juan Pablo VielmaISyE, Georgia Tech
Two independent proofs of the polyhedrality of the split closure of Mixed Integer Linear Program have been previously presented. Unfortunately neither of these proofs is constructive. In this paper, we present a constructive version of this proof. We also show that split cuts dominate a family of inequalities introduced by Koppe and Weismantel.

Some game theoretic issues in Nash bargaining

Series
ACO Student Seminar
Time
Wednesday, November 19, 2008 - 13:30 for 2 hours
Location
ISyE Executive Classroom
Speaker
Lei Wang ACO Student, School of Mathematics, Georgia Tech
Nash bargaining was first modeled in John Nash's seminal 1950 paper. In his paper, he used a covex program to give the Nash bargaining solution, which satifies many nature properties. Recently, V.Vazirani defined a class of Nash bargaining problem as Uniform Nash Bargaining(UNB) and also defined a subclass called Submodular Nash Bargaining (SNB). In this talk, we will consider some game theoretic issues of UNB: (1) price of bargaining; (2) fully competitiveness; (3) min-max and max-min fairness and we show that each of these properties characterizes the subclass SNB.

On the Approximability of Budgeted Allocations and Improved Lower Bounds for Submodular Welfare Maximization and GAP

Series
ACO Student Seminar
Time
Wednesday, November 12, 2008 - 13:30 for 2 hours
Location
Skiles 269
Speaker
Gagan GoelACO Computer Science, Georgia Tech
We consider the following Maximum Budgeted Allocation(MBA) problem: Given a set of m indivisible items and n agents; each agent i is willing to pay b_ij amount of money on item j, and in addition he species the maximum amount (budget of B_i) he is willing to pay in total over all the items he receives. Goal is to allocate items to agents so as to maximize the total payment received from all the agents. The problem naturally arises as auctioneer revenue maximization in first price budget-constrained Auctions (For e.g. auctioning of TV/Radio ads by Google). Our main results are: 1) We give a 3/4-approximation algorithm for MBA improving upon the previous best of 0.632 [Anelman-Mansour, 04]. Our factor matches the integrality gap of the LP used by the previous results. 2) We prove it is NP-hard to approximate MBA to any factor better than 15/16, previously only NP-hardness was known. Our result also implies NP-hardness of approximating maximum submodular welfare with demand oracle to a factor better than 15/16, improving upon the best known hardness of 275/276 [Feige-Vondrak, 07]. Our hardness techniques can be modified to prove that it is NP-hard to approximate the Generalized Assignment Problem (GAP) to any factor better than 10/11. This improves upon the 422/423 hardness of [Chekuri-Kumar, 04]. We use iterative rounding on a natural LP relaxation of MBA to obtain the 3/4-approximation. Recently iterative rounding has achieved considerable success in designing approximation algorithms. However, these successes have been limited to minimization problems, and as per our knowledge, this work is the first iterative rounding based approximation algorithm for a natural maximization problem. We also give a (3/4 - \epsilon)-factor algorithm based on the primal-dual schema which runs in O(nm) time, for any constant \epsilon > 0. In this talk, I will present the iterative rounding based algorithm, show the hardness reductions, and put forward some directions which can help in solving the natural open question of closing the approximation gap. Joint work with Deeparnab Chakrabarty.

Dynamical Networks: the interplay between network topology, network element dynamics, and inter element interactions

Series
ACO Student Seminar
Time
Wednesday, November 5, 2008 - 13:30 for 2 hours
Location
ISyE Executive Classroom
Speaker
Leonid BunimovichSchool of Mathematics, Georgia Tech
It has been found about ten years ago that most of the real networks are not random ones in the Erdos-Renyi sense but have different topology (structure of the graph of interactions between the elements of a network). This finding generated a steady flux of papers analyzing structural aspects of networks. However, real networks are rather dynamical ones where the elements (cells, genes, agents, etc) are interacting dynamical systems. Recently a general approach to the studies of dynamical networks with arbitrary topology was developed. This approach is based on a symbolic dynamics and is in a sense similar to the one introduced by Sinai and the speaker for Lattice Dynamical Systems, where the graph of interactions is a lattice. The new approach allows to analyze a combined effect of all three features which characterize a dynamical network ( topology, dynamics of elements of the network and interactions between these elements) on its evolution. The networks are of the most general type, e.g. the local systems and interactions need not to be homogeneous, nor restrictions are imposed on a structure of the graph of interactions. Sufficient conditions on stability of dynamical networks are obtained. It is demonstrated that some subnetworks can evolve regularly while the others evolve chaotically. Some natural graph theoretical and dynamical questions appear in the farther developments of this approach. No preliminary knowledge of anything besides basic calculus and linear algebra is required to understand what is going on.

Estimating PageRank on Graph Streams

Series
ACO Student Seminar
Time
Wednesday, October 8, 2008 - 13:30 for 2 hours
Location
Skiles 269
Speaker
Atish Das SarmaCS/ACO, Georgia Tech
This study focuses on computations on large graphs (e.g., the web-graph) where the edges of the graph are presented as a stream. The objective in the streaming model is to maintain small amount of memory and perform few passes over the data. In the streaming model, we show how to perform several graph computations including estimating the probability distribution after a random walk of certain length l, estimate the mixing time, and the conductance. We can compute the approximate PageRank values in O(nM^{-1/4}) space and O(M^{3/4}) passes (where n is the number of nodes and M is the mixing time of the graph). In comparison, a standard (matrix-vector multiplication) implementation of the PageRank algorithm will take O(n) space and O(M) passes. The main ingredient in all our algorithms is to explicitly perform several random walks of certain length efficiently in the streaming model. I shall define and motivate the streaming model and the notion of PageRank, and describe our results and techniques. Joint work with Sreenivas Gollapudi and Rina Panigrahy from Microsoft Research.

Pages