Georgia Institute of Technology College of Sciences

The basic problem faced in geophysical fluid dynamics isthat a mathematical description based only on fundamental physicalprinciples, the so-called the ``Primitive Equations'', is oftenprohibitively expensive computationally, and hard to studyanalytically. In this talk I will survey the main obstacles inproving the global regularity for the three-dimensionalNavier-Stokes equations and their geophysical counterparts. Eventhough the Primitive Equations look as if they are more difficult tostudy analytically than the three-dimensional Navier-Stokesequations I will show in this talk that they have a unique global(in time) regular solution for all initial data.Inspired by this work I will also provide a new globalregularity criterion for the three-dimensional Navier-Stokesequations involving the pressure.This is a joint work with Chongsheng Cao.

In the Property Testing model an algorithm is required to distinguish between the case that an object has a property or is far from having the property. Recently, there has been a lot of interest in understanding which properties of Boolean functions admit testers making only a constant number of queries, and a common theme investigated in this context is linear invariance. A series of gradual results has led to a conjectured characterization of all testable linear invariant properties. Some of these results consider properties where the query upper bounds are towers of exponentials of large height dependent on the distance parameter. A natural question suggested by these bounds is whether there are non-trivial families with testers making only a polynomial number of queries in the distance parameter.In this talk I will focus on a particular linear-invariant property where this is indeed the case: odd-cycle freeness.Informally, a Boolean function fon n variables is odd-cycle free if there is no x_1, x_2, .., x_2k+1 satisfying f(x_i)=1 and sum_i x_i = 0.This property is the Boolean function analogue of bipartiteness in the dense graph model. I will discuss two testing algorithms for this property: the first relies on graph eigenvalues considerations and the second on Fourier analytic techniques. I will also mention several related open problems. Based on joint work with Arnab Bhattacharyya, Prasad Raghavendra, Asaf Shapira

We will try to define what Khovanov homology for a link in a S^3 is. We will then try to give a proof figuring out unknotting number of certain kinds of knots in S^3.

Arguably, the overarching scientific challenge facing the area of networked robot systems is that of going from local rules to global behaviors in a predefined and stable manner. In particular, issues stemming from the network topology imply that not only must the individual agents satisfy some performance constraints in terms of their geometry, but also in terms of the combinatorial description of the network. Moreover, a multi-agent robotic network is only useful inasmuch as the agents can be redeployed and reprogrammed with relative ease, and we address these two issues (local interactions and programmability) from a controllability point-of-view. In particular, the problem of driving a collection of mobile robots to a given target destination is studied, and necessary conditions are given for this to be possible, based on tools from algebraic graph theory. The main result will be a necessary condition for an interaction topology to be controllable given in terms of the network's external, equitable partitions.