Colloquium Series
Fall 2019
All talks are 3:454:45 p.m. in the Colloquium room (Chauvenet 110), unless otherwise specified.
Cookies will be served in the lecture room starting shortly before the talk.

Mar04

Reza MalekMadaniUSNATime: 03:45 PM

Nov20

Why is lettuce so wrinkly?John GemmerWake ForestTime: 03:45 PM
View Abstract
Many patterns in Nature and industry arise from the system minimizing an appropriate energy. Examples range from the periodic rippling in hanging drapes to the sixfold symmetries observed in snowflakes. Torn plastic sheets and growing leaves provide striking examples of pattern forming systems which can transition from single wavelength geometries (leaves) to complex fractal like shapes (lettuce). These fractal like patterns seem to have many length scales  the same amount of extra detail can be seen when looking closer (“statistical selfsimilarity”). It is a mystery how such complex patterns could arise from energy minimization alone. In this talk I will address this puzzle by showing that such patterns naturally arise from the sheet adopting a hyperbolic nonEuclidean geometry. However, there are many different hyperbolic geometries that the growing leaf could select. I will show using techniques from analysis, differential geometry and numerical optimization that the fractal like patterns are indeed the natural minimizers for the system.

Nov13

Ergodic Theory: The Mathematics of Experiment, Probability and TimeDarren CreutzUSNATime: 03:45 PM
View Abstract
An overview of the field of ergodic theory, originally developed to systematize the ideas underlying the scientific method of repeated experiment and observation, focusing on the interplay of probability and time. The presentation will assume very little in the way of background and everyone is encouraged to attend. Rudimentary knowledge of probability and some familiarity with matrices is all that is necessary. Towards the end, I will present (in a highlevel form) some of my own results on the behavior of matrices in the probabilistic setting, specifically on the nature of discretizing matrix actions (as is necessary and commonly done when utilizing computers).

Oct30

Lagrange's Identity and Apportionment of the U.S. House of RepresentativesTommy WrightUS Census BureauTime: 03:45 PM
View Abstract
For very general audiences, this talk makes use of an elementary result known as Lagrange's Identity to provide a bridge between an insightful motivation and an elementary derivation of the method of equal proportions. The method of equal proportions is the current method for apportioning the 435 seats in the U.S. House of Representatives among the 50 states, following each decennial census. We also present some historical comments about the first two methods of apportionment.

Oct23

Semiinfinite flag manifolds via nonsymmetric Macdonald polynomialsDaniel OrrVirginia TechTime: 03:45 PM
View Abstract
Homogeneous spaces for Lie groups are fundamental objects in (geometric) representation theory. The semiinfinite flag manifold Q is a particular infinitedimensional version of the flag manifold X=G/B of a complex simple Lie group. The significance of Q arises in part from its relation to the following: (1) representation theory of affine Lie algebras, and (2) geometry of (quasi)maps from a genus zero curve to X. Recent developments in the study of these related structures has in turn revealed that the (notoriously difficult) geometry of semiinfinite flag manifolds is encoded by concrete objects from algebraic combinatorics: nonsymmetric Macdonald polynomials. I will explain these developments in downtoearth terms, using the example of G=SL(2) as a guide.

Oct16

Curvature, spinning tops and other counterintuitive phenomenaMark LeviPenn StateTime: 03:45 PM
View Abstract
Two of the most counterintuitive gravitydefying effects in mechanics are the spinning top and the upsidedown pendulum made stable by vibration of its pivot. I will give a geometrical explanation of these and related effects. It turns out that curvature plays a key role in both of these effects. I will also pose a related open problem of explaining the socalled “ponderomotive magnetism” discovered in the last couple of years.

Oct09

Practical Calculations for Matrix GroupsAlexander HulpkeColorado State UniversityTime: 03:45 PM
View Abstract
Over the last few years, matrix group algorithms over finite fields have reached a certain maturity both in theory as well as in practical applicability. I will describe the underlying ideas, show how to use them in practice, and illustrate how one can extend these to work with matrix groups over residue class ring or the integers. No prior knowledge of group theoretic algorithms (or of group theory beyond an introductory algebra class) will be needed.

Sep25

Algebraic geometry and postquantum cryptographyGretchen MatthewsVirginia TechTime: 03:45 PM
View Abstract
How do we store private information? How do we communicate information securely? Answers to these questions are changing as computational capabilities change. Addressing them is vital not only to our national security but also our everyday existence, impacting commerce, healthcare, and the ways we interact with one another. Quantum computing poses a threat to current encryption schemes, such as RSA and elliptic curve cryptography, which underpin nearly all digital transactions. Public key encryption as we know it succumbs to Shor’s Algorithm, making a replacement necessary. For this reason, the National Institute of Standards and Technology (NIST) has issued a call for cryptosystems which are postquantum secure, meaning are resilient in the face of quantum algorithms. We share modernizations of McEliece’s 1978 codebased cryptosystems which are based on polynomials and provide robust postquantum security for classical information. The McEliece cryptosystem utilizes errorcorrecting codes to keep private information secure, and its effectiveness depends on the properties of the underlying codes. In this talk, we consider the use of algebraic geometric (AG) codes in the McEliece cryptosystem and demonstrate modifications of traditional AG codes that yield superior performance.

Sep18

On Geodesic Triangles in the Hyperbolic PlaneRita GitikU. MichiganTime: 03:45 PM
View Abstract
Let M be an orientable hyperbolic surface without boundary and let c be a closed geodesic in M. We prove that any side of any triangle formed by distinct lifts of c in the hyperbolic plane is shorter than c.

Sep11

Homotopy types as a foundation for mathematicsEmily RiehlJohns HopkinsTime: 03:45 PM
View Abstract
The CurryHoward correspondence formalizes an analogy between computer programs and mathematical proofs. This talk will introduce alternative foundations for mathematics animated by this analogy. The basic object is called a type, which can be simultaneously interpreted as something like a set or as something like a mathematical proposition. Homotopy type theory refers to the recent discovery that a type can also be interpreted as something like a topological space. We will discuss the implications of this homotopy theoretic interpretation for the socalled univalent foundations of mathematics.