Speaker:

Leslie Hogben

Iowa State University and American Institute of Mathematics

Title:

Power domination and zero forcing: Using graphs to model real-world problems

Abstract:

A graph $G = (V, E)$ is a set of vertices $V = {1, dots , n}$ and set of edges $E$ of

two element sets of vertices. A graph can be used to model connections between

vertices, such as airline routes between cities, internet connections, a quantum

system, or an electric power network.

Power domination and zero forcing are related coloring processes on graphs.

We start with a set of vertices colored blue and the rest colored white. We apply

a color change rule to color the white vertices blue. A set of blue vertices that

can color all vertices blue by using the power domination color change rule (or

zero forcing color change rule) is called a power dominating set (or a zero forcing

set). Finding a such set allows us to solve various problems, and a minimum

such set can provide an optimal solution.

In an electric power network, a power dominating set (blue vertices) gives

a set of locations from which monitoring units can observe the entire network.

In a quantum system, a zero forcing set (blue vertices) gives a set of locations

from which the entire system can be controlled.

This talk will describe power domination and zero forcing processes on

graphs and some of their applications.

A Talk Story in Number Theory.

There is a childish misconception that the occupation of a professional mathematicians

is to operate with very big numbers. That is presumably primarily applicable to those who

do Number Theory. In this talk, I will show that this sometimes may be not too far from truth.

The talk is supposed to be entertaining and is directed to grad students willing to get a rough idea

about what it takes (and what it may give) to choose Number Theory as a research speciality.

Speaker: Claus Sorensen (UCSD)

Title: Local Langlands in rigid families

Abstract: The local Langlands correspondence attaches a representation of GL(n,F) to an n-dimensional representation of the Galois group of F (a local field). In the talk I will report on joint work with Johansson and Newton, in which we interpolate the correspondence in a family across eigenvarieties for definite unitary groups U(n). The latter are certain rigid analytic varieties parametrizing Hecke eigensystems appearing in spaces of p-adic modular forms. These varieties carry a natural coherent sheaf and we show that its dual fibers are built from the local Langlands correspondence by taking successive extensions; even at the non-classical points. Our proof employs certain elements of the Bernstein center which occur in Scholze’s trace identity. The first half of the talk is intended for a general audience with a limited background in number theory.

Speaker: Rohit Nagpal

Title: Stability in the high dimensional cohomology of certain arithmetic groups

Abstract: Borel-Serre duality relates high dimensional cohomology of arithmetic groups to the low dimensional homology of these groups with coefficients in the Steinberg representation. We recall Bykovskii’s presentation for the Steinberg representation and explain its connection to modular symbols. Next, we describe the Steinberg representation as an object in a symmetric monoidal category, and use its presentation to describe an action of the free skew commutative algebra. Finally, we perform a Gröbner-theoretic analysis of this action to obtain new information on the homology of certain arithmetic groups with coefficients in the Steinberg representation. For example, we show that the sequence of homology groups H_1(Gamma_n(3), St_n) exhibit representation stability. This is an ongoing project with Jeremy Miller and Peter Patzt.

Speaker: Khrystyna Serhiyenko (UC Berkeley)

Title: Frieze patterns

Abstract: Frieze is a lattice of positive integers satisfying certain rules. Friezes were first studied by Conway and Coxeter in 1970′s, but they gained fresh interest in the last decade in relation to cluster algebras. In particular, there exists a bijection between friezes and cluster algebras of type A. Moreover, the categorification of cluster algebras developed in 2006 yields a new realization of friezes in terms of representation theory of Jacobian algebras. In this talk, we will discuss the beautiful connections between all these objects.

An operation called mutation is the key notion in cluster algebras. We will introduce a compatible notion of mutation for friezes and describe the resulting entries using combinatorics of quiver representations. We will also mention an important generalization of the classical friezes, called sl_k friezes and their connections to Grassmannians Gr(k,n).

Speaker: Kenshi Miyabe (Meiji University)

Title: Continuity of limit computable functions

Abstract:

The Darboux-Froda theorem says that, for every non-decreasing function,

the set of the points of non-continuity is at most countable.

This is probably the simplest case saying that every function

well-behaves at almost every point.

I introduce some similar theorems, and their computable versions.

Then, we discuss the relation with randomized algorithm.

Speaker: Andrew Sale (Cornell U.)

Title: On the outer automorphism groups of right-angled Artin and Coxeter groups

Abstract: In geometric group theory, a fundamental, and broad, question to answer is that of understanding the world of finitely presented groups. Two of the simplest examples are free groups Fn and free abelian groups Z^n. With Fn and Z^n being their extreme examples, right-angled Artin groups (RAAGs) give us some idea of what happens “between” these groups. RAAGs are an important class of groups which appear in diverse situations, perhaps most significantly in Agol’s proof of the virtual Haken conjecture.

In studying their outer automorphism groups, we are looking at a class of groups that again interpolates between two classically important families of groups: Out(Fn), the outer automorphism group of Fn, and GL(n,Z). While there are numerous similarities between these families, they also differ in some important contexts. One such context concerns the nature of quotients that they have, and I will describe a couple of properties that make rigorous the notion of “having many quotients”. I will explain what happens for outer automorphism groups of RAAGs, and also the closely related family of right-angled Coxeter groups, and the consequences this has for Kazhdan’s Property (T).

Speaker: Sam Nariman (Northwestern U.)

Title: On the homology of diffeomorphism groups made discrete.

Abstract: Let $G$ be a finite dimensional Lie group and $G^{delta}$ be the same group with the discrete topology. The classifying space $BG$ classifies principal $G$-bundles and the classifying space $BG^{delta}$ classifies flat principal $G$-bundles (i.e. those bundles that admit a connection whose curvature vanishes). The natural homomorphism from $G^{delta}$ to $G$ induces a continuous map from $BG^{delta}$ to $BG$. Milnor conjectured that this map induces an equivalence after the profinite completion. In this talk, we discuss the same map for infinite dimensional Lie groups, in particular for diffeomorphism groups and symplectomorphisms. In these cases, we use techniques from homotopy theory to show that the map from $BG^{delta}$ to $BG$ induces a split surjection on cohomology with finite coefficients in the stable range. If time permits, I will discuss applications of these results in foliation theory, in particular, characteristic classes of flat surface bundles.