Thu, 10 May 2012

17:00 - 18:00
L3

Uniformly defining valuation rings in Henselian valued fields with finite and pseudo-finite residue field

Jamshid Derakhshan
Abstract
This is joint work with Raf Cluckers, Eva Leenknegt, and Angus Macintyre.

We give a first-order definition, in the ring language, of the ring of p-adic integers inside the field p-adic numbers which works uniformly for all p and for valuation rings of all finite field extensions and of all local fields of positive characteristic p, and in many other Henselian valued fields as well. The formula canbe taken existential-universal in the ring language. Furthermore, we show the negative result that in the language of rings there does not exist a uniform definition by an existential formula and neither by a universal formula. For any fixed general p-adic field we give an existential formula in the ring language which defines the valuation ring.

We also state some connections to some open problems.

Thu, 14 Jun 2012

12:00 - 13:00
L3

A gentle introduction to hyperbolic groups.

Dawid Kielak
Abstract

This is intended as an introductory talk about one of the most

important (and most geometric) aspects of Geometric Group Theory. No

prior knowledge of any maths will be assumed.

Tue, 08 May 2012

14:30 - 15:30
L3

Extremal Problems in Eulerian Digraphs

Hao Huang
(UCLA)
Abstract

Graphs and digraphs behave quite differently, and many classical results for graphs are often trivially false when extended to general digraphs. Therefore it is usually necessary to restrict to a smaller family of digraphs to obtain meaningful results. One such very natural family is Eulerian digraphs, in which the in-degree equals out-degree at every vertex.

In this talk, we discuss several natural parameters for Eulerian digraphs and study their connections. In particular, we show that for any Eulerian digraph G with n vertices and m arcs, the minimum feedback arc set (the smallest set of arcs whose removal makes G acyclic) has size at least $m^2/2n^2+m/2n$, and this bound is tight. Using this result, we show how to find subgraphs of high minimum degrees, and also long cycles in Eulerian digraphs. These results were motivated by a conjecture of Bollob\'as and Scott.

Joint work with Ma, Shapira, Sudakov and Yuster

Tue, 24 Apr 2012

14:30 - 15:30
L3

Large and judicious bisections of graphs

Choongbum Lee
(UCLA)
Abstract

It is very well known that every graph on $n$ vertices and $m$ edges admits a bipartition of size at least $m/2$. This bound can be improved to $m/2 + (n-1)/4$ for connected graphs, and $m/2 + n/6$ for graphs without isolated vertices, as proved by Edwards, and Erd\"os, Gy\'arf\'as, and Kohayakawa, respectively. A bisection of a graph is a bipartition in which the size of the two parts differ by at most 1. We prove that graphs with maximum degree $o(n)$ in fact admit a bisection which asymptotically achieves the above bounds.These results follow from a more general theorem, which can also be used to answer several questions and conjectures of Bollob\'as and Scott on judicious bisections of graphs.
Joint work with Po-Shen Loh and Benny Sudakov

Tue, 15 May 2012

12:00 - 13:00
L3

BPS state counting on singular varieties

Elizabeth Gasparim (UNICAMP-Brazil)
Abstract

This is a report of joint work with T. Koppe, P. Majumdar, and K.

 Ray.

I will define new partition functions for theories with targets on toric

singularities via

products of old partition functions on  crepant resolutions. I will

present explicit examples 

and show that the  new partition functions turn out to be homogeneous on

MacMahon factors.

Subscribe to L3