Wednesday, April 10, 2013 - 12:05 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Christine Heitsch – Georgia Tech, School of Math
A 1986 article with this title, written by M. Zuker and published by the AMS, outlined several major challenges in the area. Stating the folding problem is simple; given an RNA sequence, predict the set of (canonical, nested) base pairs found in the native structure. Yet, despite significant advances over the past 25 years, it remains largely unsolved. A fundamental problem identified by Zuker was, and still is, the "ill-conditioning" of discrete optimization solution approaches. We revisit some of the questions this raises, and present recent advances in considering multiple (sub)optimal structures, in incorporating auxiliary experimental data into the optimization, and in understanding alternative models of RNA folding.
Wednesday, April 10, 2013 - 12:05 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Christine Heitsch – Georgia Institute of Technology, School of Mathematics – heitsch@math.gatech.edu
A 1986 article with this title, written by M. Zuker and published
by the AMS, outlined several major challenges in the area. Stating the
folding problem is simple; given an RNA sequence, predict the set of
(canonical, nested) base pairs found in the native structure. Yet,
despite significant advances over the past 25 years, it remains largely
unsolved. A fundamental problem identified by Zuker was, and still is,
the "ill-conditioning" of discrete optimization solution approaches.
We revisit some of the questions this raises, and present recent advances
in considering multiple (sub)optimal structures, in incorporating
auxiliary experimental data into the optimization, and in understanding
alternative models of RNA folding.
Tuesday, April 9, 2013 - 15:05 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Xu, Xiang – Carnegie Mellon University
In the Landau-de Gennes theory to describe nematic liquid crystals,
there
exists a cubic term in the elastic energy, which is unusual but is used to
recover
the corresponding part of the classical Oseen-Frank energy. And the cost
is that
with its appearance the current elastic energy becomes unbounded from below.
One way to deal with this unboundedness problem is to replace the bulk
potential
defined as in with a potential that is finite if and only if $Q$ is
physical such
that its eigenvalues are between -1/3 and 2/3.
The main aim of our talk is to understand what can be preserved out
of the
physical relevance of the energy if one does not use a somewhat ad-hoc
potential,
but keeps the more common potential. In this case one cannot expect to
obtain anything
meaningful in a static theory, but one can attempt to see what a dynamical
theory can
predict.
Tuesday, April 9, 2013 - 09:00 for 8 hours (full day)
Location
Klaus 1116
Speaker
ARC Theory Day – Algorithms and Randomness Center, Georgia Tech
Algorithms and Randomness Center (ARC) Theory Day is an annual event that features hour-long lectures focusing on recent innovative results in theoretical computer science, spanning a wide array of topics several of which are inspired by practical problems.
See the complete list of titles and times of talks.
Monday, April 8, 2013 - 17:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Seth Sullivant – North Carolina State University
I will discuss two problems in phylogenetics where a geometric
perspective provides substantial insight. The first is the
identifiability problem for phylogenetic mixture models, where the
main problem is to determine which circumstances make it possible to
recover the model parameters (e.g. the tree) from data. Here tools
from algebraic geometry prove useful for deriving the current best
results on the identifiability of these models.
The second problem concerns the performance of distance-based
phylogenetic algorithms, which take approximations to distances
between species and attempt to reconstruct a tree. A classical result
of Atteson gives guarantees on the reconstruction, if the data is not
too far from a tree metric, all of whose edge lengths are bounded away
from zero. But what happens when the true tree metric is very near a
polytomy? Polyhedral geometry provides tools for addressing this
question with some surprising answers.
Monday, April 8, 2013 - 16:30 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Bob W. Rink – Vrije Universiteit Amsterdam
A classical result of Aubry and Mather states that Hamiltonian
twist maps have orbits of all rotation numbers. Analogously, one can
show that certain ferromagnetic crystal models admit ground states of
every possible mean lattice spacing. In this talk, I will show that
these ground states generically form Cantor sets, if their mean lattice
spacing is an irrational number that is easy to approximate by rational
numbers. This is joint work with Blaz Mramor.
Monday, April 8, 2013 - 16:05 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
June Huh – University of Michigan
Rota's conjecture predicts that the coefficients of the characteristic polynomial of a matroid form a log-concave sequence. I will talk about Rota's conjecture and several related topics: the proof of the conjecture for representable matroids, a relation to the missing axiom, and a search for a new discrete Riemannian geometry based on the tropical Laplacian. This is an ongoing joint effort with Eric Katz.
Monday, April 8, 2013 - 15:00 for 1 hour (actually 50 minutes)
Location
Klaus 1116
Speaker
Avrim Blum – Carnegie Mellon University
Pricing and allocating goods to buyers with complex preferences in order to maximize some desired objective (e.g., social welfare or profit) is a central problem in Algorithmic Mechanism Design.
In this talk I will discuss some particularly simple algorithms that are able to achieve surprisingly strong guarantees for a range of problems of this type. As one example, for the problem of pricing resources, modeled as goods having an increasing marginal extraction cost to the seller, a simple approach of pricing the i-th unit of each good at a value equal to the anticipated extraction cost of the 2i-th unit gives a constant-factor approximation to social welfare for a wide range of cost curves and for arbitrary buyer valuation functions. I will also discuss simple algorithms with good approximation guarantees for revenue, as well as settings having an opposite character to resources, namely having economies of scale or decreasing marginal costs to the seller.
Friday, April 5, 2013 - 15:05 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Pierluigi Falco – California State University, Northridge
The lattice, two dimensional, Coulomb gas is the prototypical model of
Statistical Mechanics displaying the 'Kosterlitz-Thouless' phase
transition. In this seminar I will discuss conjectures, results and
works in progress about this model.