Colloquium

Body

The colloquium typically meets Mondays at 4:00 PM in Room 617 on the sixth floor of Wachman Hall.

The colloquium is preceded by tea starting at 3:30 in the Faculty Lounge, adjacent to Room 617. Click on title for abstract.

  • Monday January 29, 2018 at 16:00, Wachman 617

    Gravitational lensing and dark matter. What do we know?

    Jose Maria Diego Rodriguez, Instituto de Fisica de Cantabria

    Dark matter is arguably one of the main mysteries in modern physics. We know how much is there, we know where it is but we don't know what it is. Despite the numerous (and expensive) efforts on Earth to directly detect the alleged and elusive dark matter particle, experimental evidence remains as elusive as the dark matter particle itself. As of today, the strongest (and only) experimental evidence for dark matter still comes from astrophysical probes. One of such probes is gravitational lensing that can be used to map the distribution of dark matter on cosmological scales. I will briefly review the most popular candidates for dark matter and focus on our research that uses gravitational lensing to rule out some of these candidates.

     

  • Monday February 5, 2018 at 16:00, Wachman 617

    Computing Belyi maps

    John Voight, Dartmouth College

    A Belyi map is a finite, branched cover of the complex projective line that is unramified away from 0, 1, and infinity. Belyi maps arise in many areas of mathematics, and their applications are just as numerous. They gained prominence in Grothendieck's program of dessins d'enfants, a topological/combinatorial way to study the absolute Galois group of the rational numbers.

    In this talk, we survey computational methods for Belyi maps, and we exhibit a uniform, numerical method that works explicitly with power series expansions of modular forms on finite index subgroups of Fuchsian triangle groups. This is joint work with Jeroen Sijsling and with Michael Klug, Michael Musty, and Sam Schiavone.

  • Monday February 12, 2018 at 16:00, Wachman 617

    Affine Curvature in Harmonic Analysis

    Phil Gressman, University of Pennsylvania

    In the 1970s, E. Stein and other mathematicians studying fundamental questions related to pointwise convergence of Fourier series discovered surprising new links between this very old problem and the geometry of submanifolds of Euclidean space. These discoveries paved the way for many of the questions at the forefront of modern harmonic analysis. A common element in many of these areas is the role of a strange sort of curvature condition which arises naturally from Fourier-theoretic roots but is poorly understood outside the extreme cases of curves and hypersurfaces. In this talk, I will discuss recent work which combines elements of Geometric Invariant Theory, Convex Geometry, Signal Processing, and other areas to shed light on this problem in intermediate dimensions.

  • Monday March 12, 2018 at 16:00, Wachman 617

    On non-physical free boundaries

    Eduardo Teixeira, University of Central Florida

    The development of modern free boundary theory has promoted major knowledge leverage across pure and applied disciplines and in this talk I will provide a panoramic overview of such endeavor. The goal of lecture, however, will be to explicate how geometric insights and powerful analytic tools pertaining to free boundary theory can be imported to investigate regularity issues in nonlinear diffusive partial differential equations. This new systematic approach has been termed non-physical free boundaries, and in the past few years has led us to a plethora of unanticipated results.

  • Monday March 19, 2018 at 16:00, Wachman 617

    The relation (X+Y)^n = X^n + Y^n, and miraculous cancellations in quantum SL_2

    Francis Bonahon, USC

    The convenient formula (X+Y)^n = X^n + Y^n is (unfortunately) frequently used by our calculus students. Our more advanced students know that this relation does hold in some special cases, for instance in prime characteristic n or when YX=qXY with q a primitive n-root of unity. I will discuss similar ``miraculous cancellations’’ for 2-by-2 matrices, in the context of the quantum group U_q(sl_2).

  • Monday April 2, 2018 at 16:00, Wachman 617

    Boundary obstacle problems in the applied sciences

    Donatella Danielli, Purdue University

    Obstacle problems play an ubiquitous role in the applied sciences, with applications ranging from linear elasticity to fluid dynamics, from temperature control to financial mathematics. In this talk we will show how seemingly different phenomena can be expressed in terms of the same mathematical model of obstacle type. We will also discuss some recent results concerning the regularity of the solution and of its free boundary. In particular, we will highlight the pervasive role played by some families of monotonicity formulas.

  • Wednesday April 25, 2018 at 16:00, Wachman 617

    Exploiting Multiprecision Arithmetic


    Nick Higham, University of Manchester, UK


    There is a growing availability of multiprecision arithmetic: floating
    point arithmetic in multiple, possibly arbitrary, precisions.
    Demand in applications includes for both low precision (deep learning and
    climate modelling) and high precision (long-term simulations and solving
    very ill conditioned problems).  We discuss

    - Half-precision arithmetic: its characteristics, availability, attractions,
      pitfalls, and rounding error analysis implications.

    - Quadruple precision arithmetic: the need for it in applications, its
      cost, and how to exploit it.

    As an example of the use of multiple precisions we discuss iterative
    refinement for solving linear systems.  We explain the benefits of
    combining three different precisions of arithmetic (say, half, single, and
    double) and show how a new form of preconditioned iterative refinement can
    be used to solve very ill conditioned sparse linear systems to high
    accuracy.

  • Monday September 10, 2018 at 16:00, Wachman 617

    Shape optimization for an eigenvalue problem on manifolds with boundary

    Ailana Fraser

    University of British Columbia and IAS

    When we choose a metric on a manifold we determine the spectrum of the Laplace operator. Thus an eigenvalue may be considered as a functional on the space of metrics. For example the first eigenvalue would be the fundamental vibrational frequency. In some cases the normalized eigenvalues are bounded independent of the metric. In such cases it makes sense to attempt to find critical points in the space of metrics. For surfaces, the critical metrics turn out to be the induced metrics on certain special classes of minimal (mean curvature zero) surfaces in spheres and Euclidean balls. The eigenvalue extremal problem is thus related to other questions arising in the theory of minimal surfaces. In this talk we will give an overview of progress that has been made for surfaces with boundary, and contrast this with some recent results in higher dimensions. This is joint work with R. Schoen.

  • Monday September 24, 2018 at 16:00, Wachman 617

    Maple day

    Maple Day at Temple University

     

    Join us on Monday, September 24th at 4:00pm at Temple University for FREE Maple training from a Maple Product Manager! Learn some of the fundamental concepts for using Maple and also about the latest release of Maple 2018. We’ve made Maple more intuitive, while implementing an extensive collection of improvements to core functionality -- you’ll benefit from this release no matter how you use Maple. We want this to be interactive, so we are happy to tackle any issues, questions or even suggestions you have!

  • Monday October 22, 2018 at 16:00, Wachman 617

    Inscribing rectangles in Jordan curves

     

    Richard Schwartz, Brown University

    The notorious Square Peg Problem asks if every Jordan curve has an inscribed square -- namely 4 points on the curve which are the vertices of a square. I'll demonstrate a computer program I wrote which investigates the Square Peg problem for polygonal Jordan curves. One thing I discovered using the program is the result that all but at most 4 points of any Jordan curve (polygonal or not) are vertices of inscribed rectangles. I'll illustrate this result (and some others) using the program and sketch proofs.

  • Monday October 29, 2018 at 16:00, Wachman 617

    Counting holomorphic disks by means of bounding chains

    Sara Tukachinsky

    Institute for Advanced Study

    In 2003, Welschinger defined invariants of real symplectic manifolds of complex dimensions 2 and 3, which are related to counts of pseudo-holomorphic disks with boundary and interior point constraints (Solomon, 2006). The problem of extending the definition to higher dimensions remained open until recently (Georgieva, 2013, and Solomon-Tukachinsky, 2016-17). In the talk, I will give some background on the problem, and describe a generalization of Welschinger's invariants to higher dimensions called open Gromov-Witten invariants. Our generalization is constructed in the language of A-infinity algebras and bounding chains, where bounding chains play the role of boundary point constraints. The invariants satisfy a version of the open WDVV equations. In the example of $\mathbb{C}P^n$ with odd $n$, these equations give rise to recursive formulae that allow the computation of all invariants. This is joint work with Jake Solomon. No previous knowledge of any of the objects mentioned above will be assumed.

     

  • Monday November 5, 2018 at 16:00, Wachman 617

    Multiple zeta values: crossroads between geometry and number theory

    Leila Schneps

    Institut de Mathématiques de Jussieu

    Grothendieck-Teichmüller theory was originated by Alexander Grothendieck as a way to study the absolute Galois group of the rationals by considering its action on fundamental groups of varieties, in particular of moduli spaces of curves with marked points: the special properties of the Galois action with respect to inertia generators and the fact of respecting the relations in the fundamental group gave rise to the definition of the group GT which contains G_Q.

    The group GT is profinite, but its defining relations can also be used to give a pro-unipotent avatar, and an associated graded Lie algebra grt. The study of the Lie algebra grt reveals many unexpected relations with number theory that are completely invisible in the profinite situation. We will show how Bernoulli numbers, cusp forms on SL_2(Z) and multiple zeta values arise in the Lie algebra context.