Georgia Institute of Technology College of Sciences

On the two-dimensional square lattice, assign i.i.d. nonnegative weights to the edges with common distribution F. For which F is there an infinite self-avoiding path with finite total weight? This question arises in first-passage percolation, the study of the random metric space Z^2 with the induced random graph metric coming from the above edge-weights. It has long been known that there is no such infinite path when F(0)<1/2 (there are only finite paths of zero-weight edges), and there is one when F(0)>1/2 (there is an infinite path of zero-weight edges). The critical case, F(0)=1/2, is considerably more difficult due to the presence of finite paths of zero-weight edges on all scales. I will discuss work with W.-K. Lam and X. Wang in which we give necessary and sufficient conditions on F for the existence of an infinite finite-weight path. The methods involve comparing the model to another one, invasion percolation, and showing that geodesics in first-passage percolation have the same first order travel time as optimal paths in an embedded invasion cluster.

I will present a survey of the main results about first and second order models of swarming where repulsion and attraction are modeled through pairwise potentials. We will mainly focus on the stability of the fascinating patterns that you get by random particle simulations, flocks and mills, and their qualitative behavior. Qualitative properties of local minimizers of the interaction energies are crucial in order to understand these complex behaviors. Compactly supported global minimizers determine the flock patterns whose existence is related to the classical H-stability in statistical mechanics and the classical obstacle problem for differential operators.

The classical Balian-Low theorem states that if both a function and it's Fourier transform decay too fast then the Gabor system generated by this function (i.e. the system obtained from this function by taking integer translations and integer modulations) cannot be an orthonormal basis or a Riesz basis.Though it provides for an excellent `thumbs--rule' in time-frequency analysis, the Balian--Low theorem is not adaptable to many applications. This is due to the fact that in realistic situations information about a signal is given by a finite dimensional vector rather then by a function over the real line. In this work we obtain an analog of the Balian--Low theorem in the finite dimensional setting, as well as analogs to some of its extensions. Moreover, we will note that the classical Balian--Low theorem can be derived from these finite dimensional analogs.

This talk will focus on tree automata, which are tools to analyze existential monadic second order properties of rooted trees. A tree automaton A consists of a finite set \Sigma of colours, and a map \Gamma: \mathbb{N}^\Sigma \rightarrow \Sigma. Given a rooted tree T and a colouring \omega: V(T) \rightarrow \Sigma, we call \omega compatible with automaton A if for every v \in V(T), we have \omega(v) = \Gamma(\vec{n}), where \vec{n} = (n_\sigma: \sigma \in \Sigma) and n_\sigma is the number of children of v with colour \sigma. Under the Galton-Watson branching process set-up, if p_\sigma denotes the probability that a node is coloured \sigma, then \vec{p} = (p_\sigma: \sigma \in \Sigma) is obtained as a fixed point of a system of equations. But this system need not have a unique fixed point. Our question attempts to answer whether a fixed point of such a system simply arises out of analytic reasons, or if it admits of a probabilistic interpretation. I shall formally defined interpretation, and provide a nearly complete description of necessary and sufficient conditions for a fixed point to not admit an interpretation, in which case it is called rogue.Joint work with Tobias Johnson and Fiona Skerman.