Curtis Porter : CRash CouRse in CR Geometry
- Graduate/Faculty Seminar,Uploaded Videos ( 2252 Views )CR geometry studies real hypersurfaces in complex vector spaces and their generalizations, CR manifolds. In many cases of interest to complex analysis and PDE, CR manifolds can be considered ``curved versions" of homogeneous spaces according to Elie Cartan’s generalization of Klein’s Erlangen program. Which homogeneous space is the ``flat model" of a CR manifold depends on the Levi form, a tensor named after a mathematician who used it to characterize boundaries of pseudoconvex domains. As in the analytic setting, the Levi form plays a central role in the geometry of CR manifolds, which we explore in relation to their homogeneous models.
Margaret Regan : Using homotopy continuation to solve parametrized polynomial systems in applications
- Graduate/Faculty Seminar,Uploaded Videos ( 1832 Views )Many problems that arise in mathematics, science, and engineering can be formulated as solving a parameterized system of polynomial equations which must be solved for given instances of the parameters. One way to solve these systems is to use a common technique within numerical algebraic geometry called homotopy continuation. My talk will start with background on homotopy continuation and parametrized polynomial systems, followed by applications to problems in computer vision and kinematics. Of these, I will first present a new approach which uses locally adaptive methods and sparse matrix calculations to solve parameterized overdetermined systems in projective space. Examples will be provided in 2D image reconstruction to compare the new methods with traditional approaches in numerical algebraic geometry. Second, I will discuss a new definition of monodromy action over the real numbers which encodes tiered characteristics regarding real solutions. Examples will be given to show the benefits of this definition over a naive extension of the monodromy group (over the complex numbers). In addition, an application in kinematics will be discussed to highlight the computational method and impact on calibration.
Demetre Kazaras:The geometry and topology of positive scalar curvature
- Graduate/Faculty Seminar,Uploaded Videos ( 1663 Views )I will give an informal overview of the history and status of my field. Local invariants of Riemannian metrics are called curvature, the weakest of which is known as "scalar curvature." The study of metrics with positive scalar curvature is very rich with >100 year old connections to General Relativity and smooth topology. Does this geometric condition have topological implications? The answer turns out to be "yes," but mathematicians continue to search for the true heart of the positive scalar curvature conditions.
Stochastic and continuum dynamics in intracellular transport
- Graduate/Faculty Seminar,Uploaded Videos ( 1111 Views )The cellular cytoskeleton is made up of protein polymers (filaments) that are essential in proper cell and neuronal function as well as in development. These filaments represent the roads along which most protein transport occurs inside cells. I will discuss several examples where questions about filament-cargo interactions require the development of novel mathematical modeling, analysis, and simulation. Protein cargoes such as neurofilaments and RNA molecules bind to and unbind from cellular roads called microtubules, switching between bidirectional transport, diffusion, and stationary states. Since these transport models can be analytically intractable, we have proposed asymptotic methods in the framework of partial differential equations and stochastic processes which are useful in understanding large-time transport properties. I will discuss a recent project where we use stochastic modeling to understand how filament orientations may influence sorting of cargo in dendrites during neural development and axonal injury.
Holden Lee : Recovering sparse Fourier signals, with application to system identification
- Graduate/Faculty Seminar,Uploaded Videos ( 1090 Views )The problem of recovering a sparse Fourier signal from samples comes up in signal processing, imaging, NMR spectroscopy, and machine learning. Two major challenges involve dealing with off-grid frequencies, and dealing with signals lacking separation between frequencies. Without a minimum separation condition, the problem of frequency recovery is exponentially ill-conditioned, but the signal can still be efficiently recovered in an "improper" manner using an appropriate filter. I will explain such an algorithm for sparse Fourier recovery, and the theory behind why it works - involving some clever analytic inequalities for Fourier-sparse signals. Finally, I will discuss recent work with Xue Chen on applying these ideas to system identification. Identification of a linear dynamical system from partial observations is a fundamental problem in control theory. A natural question is how to do so with statistical rates depending on the inherent dimensionality (or order) of the system, akin to the sparsity of a signal. We solve this question by casting system identification as a "multi-scale" sparse Fourier recovery problem.
Yiming Zhong : Fast algorithm for Radiative transport
- Graduate/Faculty Seminar,Uploaded Videos ( 991 Views )This talk consists of two aspects about solving the radiative transport through the integral formulation. The radiative transport equation has been numerically studied for many years, the equation is difficult to solve due to its high dimensionality and its hyperbolic nature, in recent decades, the computers are equipped with larger memories so it is possible to deal with the full-discretization in phase space, however, the numerical efficiency is quite limited because of many issues, such as iterative scheme, preconditioning, discretization, etc. In this talk, we first discuss about the special case of isotropic scattering and its integral formulation, then walk through the corresponding fast algorithm for it. In the second part, we try to trivially extend the method to anisotropic case, and talk about the method’s limitation and some perspectives in both theory and numerics.
Sarah Schott : Computational Complexity
- Graduate/Faculty Seminar ( 274 Views )What does it mean for a problem to be in P, or NP? What is NP completeness? These are questions, among others, that I hope to answer in my talk on computational complexity. Computational complexity is a branch of theoretical computer science dealing with analysis of algorithms. I hope to make it as accessible as possible, with no prior knowledge of algorithms and running times.
Paul Aspinwall : The Ubiquity of the ADE Classification
- Graduate/Faculty Seminar ( 266 Views )Many classes of mathematical objects turn out to be classified in the same way --- two infinite series and 3 "exceptional" objects. These include symmetries of 3-dimensional solids, rigid singularities, certain types of Lie algebras, positive definite even intersection forms, etc. Discovering why such classes should have the same classification has led to many beautiful ideas and observations. I will give a review of some of the basic ideas (assuming very little in the way of prerequisites) and I may have time to say why string theory has been important in this context.
Dmitry Vagner : Higher Dimensional Algebra in Topology
- Graduate/Faculty Seminar ( 241 Views )In his letter, "Pursuing Stacks," Grothendieck advocated to Quillen for the use of "higher" categories to encode the higher homotopy of spaces. In particular, Grothendieck dreamt of realizing homotopy n-types as n-groupoids. This powerful idea both opened the field of higher dimensional algebra but also informed a paradigm in which the distinction between topology and algebra is blurred. Since then, work by Baez and Dolan among others further surveyed the landscape of higher categories and their relationship to topology. In this talk, we will explore this story, beginning with some definitions and examples of higher categories. We will then proceed to explain "the periodic table of higher categories" and the four central hypotheses of higher category theory. In particular, these give purely algebraic characterizations of homotopy types, manifolds, and generalized knots; and account for the general phenomena of stabilization in topology. No prerequisites beyond basic ideas in algebraic topology will be expected.
Joseph Spivey : A How-To Guide to Building Your Very Own Moduli Spaces (they make such great gifts)
- Graduate/Faculty Seminar ( 238 Views )I'll be talking about how to construct the moduli space for genus g Riemann surfaces with r boundary components. I'll draw lots of pictures and focus a lot of attention on genus 1 Riemann surfaces with 1 boundary component. As an application, I'll probably talk about H^1(SL2(Z)) with coefficients in various representations--and the correspondence to modular forms (briefly, and without a whole lot of proofs).
Dmitry Vagner : Introduction to Diagrammatic Algebra
- Graduate/Faculty Seminar ( 234 Views )We show how algebraic relations can be encoded in suggestive topological diagrams and use this to prove various algebraic equations in a purely pictorial way. We will first go over a few canonical examples: monoids, self-dual objects, Frobenius algebras, and monads. Then we will briefly discuss the underlying theory that makes this miracle rigorous.
Zhennan Zhou : Semi-classical Schrodinger equation in the electromagnetic field: approximations and numerics
- Graduate/Faculty Seminar ( 228 Views )I will discuss the semi-classical Schrodinger equation with vector potentials, and its challenges in analysis and in numerical simulations. The time splitting spectral method method will be introduced to solve the equation directly, which is believed to have the optimal mesh strategy. Afterwards. a series of wave packet based approximation approaches will be introduced, like the Gaussian beam method, Hagedorn wave packets method and the Gaussian wave packet transformation method.
Miles M. Crosskey : Mathematics in Magic
- Graduate/Faculty Seminar ( 224 Views )Many simple card tricks rely on mathematical principles and logic. I will be talking about some of these tricks, and the interesting ideas behind them. Hopefully I will have time to show you two or three tricks, and the proof to how they work. I will be using work from Mathematical Magic by Diaconis and Graham. The exciting thing about these tricks is they do not rely upon sleight of hand, and come out looking stunning nonetheless.
Joseph Spivey! : Mapping Class Groups and Moduli Spaces
- Graduate/Faculty Seminar ( 216 Views )There are many different ways to make a compact 2-manifold of genus g into a Riemann surface. In fact, there is an entire space of dimension 3g-3 (when g>1) of possible holomorphic structures. This space is called the moduli space of Riemann surfaces of genus g. We will give a definition of moduli spaces and briefly talk about their construction, starting with the "easy" examples of g=0 and g=1. We will also talk about mapping class groups, which play an important part in the construction of moduli spaces.
Hubert Bray : What do Black Holes and Soap Bubbles have in common?
- Graduate/Faculty Seminar ( 212 Views )We will begin with the idea of General Relativity, which Einstein called his "happiest thought," and then proceed with a qualitative and quantitative discussion of the curvature of space-time. We will describe the central role of differential geometry in the subject and the important role that mathematicians have played proving the conjectures of the physicists, as well as making a few conjectures of our own. Finally, we will describe the geometry of black holes and their relationship to soap bubbles.
Andrew Goetz : General Relativity, Wave Dark Matter, and the Tully-Fisher relation
- Graduate/Faculty Seminar ( 211 Views )Abstract: In this talk I will give a quick overview of Einstein's theory of general relativity. I will then move on to discuss the mystery of dark matter: why astrophysicists think it's out there in the universe and what phenomena any successful theory of dark matter will have to explain. One such phenomenon is the Tully-Fisher relation, an intriguing correlation between the visible mass of galaxies and the rotational velocities of their stars. I will wrap up by describing a theory of wave dark matter and how it could possibly explain the Tully-Fisher relation.
Phillip Andreae : Spectral geometry and topology; Euler characteristic and analytic torsion
- Graduate/Faculty Seminar ( 208 Views )What do eigenvalues have to do with geometry and topology? The first part of the talk will provide a few answers to that very broad question, including a discussion of the Euler characteristic from a spectral theory perspective. The second part of the talk will be a brief introduction to my research in analytic torsion, a topological invariant defined in terms of eigenvalues. In particular I'll explain some similarities and differences between analytic torsion and Euler characteristic.
Paul Bendich : Topology and Geometry for Tracking and Sensor Fusion
- Graduate/Faculty Seminar ( 205 Views )Many systems employ sensors to interpret the environment. The target-tracking task is to gather sensor data from the environment and then to partition these data into tracks that are produced by the same target. The goal of sensor fusion is to gather data from a heterogeneous collection of sensors (e.g, audio and video) and fuse them together in a way that enriches the performance of the sensor network at some task of interest. This talk summarizes two recent efforts that incorporate mildly sophisticated mathematics into the general sensor arena, and also comments on the joys and pitfalls of trying to apply math for customers who care much more about the results than the math. First, a key problem in tracking is to 'connect the dots:' more precisely, to take a piece of sensor data at a given time and associate it with a previously-existing track (or to declare that this is a new object). We use topological data analysis (TDA) to form data-association likelihood scores, and integrate these scores into a well-respected algorithm called Multiple Hypothesis Tracking. Tests on simulated data show that the TDA adds significant value over baseline, especially in the context of noisy sensor data. Second, we propose a very general and entirely unsupervised sensor fusion pipeline that uses recent techniques from diffusion geometry and wavelet theory to compress and then fuse time series of arbitrary dimension arising from disparate sensor modalities. The goal of the pipeline is to differentiate classes of time-ordered behavior sequences, and we demonstrate its performance on a well-studied digit sequence database. This talk represents joint work with many people. including Chris Tralie, Nathan Borggren, Sang Chin, Jesse Clarke, Jonathan deSena, John Harer, Jay Hineman, Elizabeth Munch, Andrew Newman, Alex Pieloch, David Porter, David Rouse, Nate Strawn, Adam Watkins, Michael Williams, Lihan Yao, and Peter Zulch.
Shahed Sharif : Class field theory and cyclotomic fields
- Graduate/Faculty Seminar ( 204 Views )We'll undertake a gentle introduction to class field theory by investigating cyclotomic fields, including a proof of quadratic reciprocity. The results we'll discuss complement Les Saper's Grad Faculty seminar talk, though by no means is the latter a prerequisite. As a special treat, I will reveal a completely new, elementary proof of Fermat's Last Theorem.
Ashleigh Thomas : Practical multiparameter persistent homology
- Graduate/Faculty Seminar ( 196 Views )In this talk we will explore a mathematical data analysis tool called persistent homology and look specifically into how we can turn topological information into useful data for statistical techniques. The problem is one of translation: persistent homology outputs a module, but statistics is formulated for objects in metric, vector, Banach, and Hilbert spaces. We'll see some of the ways this issue can be dealt with in a special case (single-parameter persistence) and discuss which of those techniques are viable for a more general case (multiparameter persistence).
Kevin Kordek : Geography of Mapping Class Groups and Moduli Spaces
- Graduate/Faculty Seminar ( 192 Views )Mapping class groups are topological objects which can be used to describe the continuous symmetries of a surface. On the other hand, every compact orientable surface has a moduli space, a complex variety whose points parametrize all of its inequivalent complex structures. These concepts turn out to be closely related. In this talk, we'll cover the basics of both mapping class groups and moduli of Riemann surfaces, as well as explore their relationship.
Robert Bryant : The Concept of Holonomy
- Graduate/Faculty Seminar ( 190 Views )In the 19th century, people began to study mechanical systems in which motion in a configuration space was constrained by 'no slip' conditions, such as, for example, a wheel or a ball rolling on a plane without slipping. It was immediately noticed that there were many cases in which these 'rolling' constraints did not prevent one from being able to join any two points in a configuration space by an admissible path, and these situations were called 'non-holonomic'. The notion of 'holonomy' arose as a way to quantify and study these 'non-holonomic' systems, and it has turned out to be very fruitful, with many applications in differential geometry and mathematical physics as well as in practical mechanics problems (such as figuring out how to use robot hands to manipulate 3-dimensional objects). In this talk, I'll introduce the ideas that led to the development of the concept of holonomy, show how some simple examples are computed, and describe how even very simple systems, such as a convex surface rolling over another surface without slipping or twisting, can lead to some surprising and exceptional geometry. No expertise in differential geometry will be assumed; if you are comfortable with vector calculus, you can enjoy the talk.
Nan Wu : Locally Linear Embedding on Manifold with or Without Boundary
- Graduate/Faculty Seminar ( 188 Views )Locally Linear Embedding(LLE), is a well known manifold learning algorithm published in Science by S. T. Roweis and L. K. Saul in 2000. In this talk, we provide an asymptotic analysis of the LLE algorithm under the manifold setup. We establish the kernel function associated with the LLE and show that the asymptotic behavior of the LLE depends on the regularization parameter in the algorithm. We show that on a closed manifold, asymptotically we may not obtain the Laplace-Beltrami operator, and the result may depend on the non-uniform sampling, unless a correct regularization is chosen. Moreover, we study the behavior of the algorithm on a compact manifold with boundary. This talk is based on the joint work with Hau-tieng Wu.
Michael Reed : The Ear for Mathematicians
- Graduate/Faculty Seminar ( 179 Views )The ear from the outside in. Eardrum, middle ear, cochlea, 8th nerve, brainstem, cortex. What happens anyway when you listen to Mozart or Van Halen? How do pressure waves become electrical signals? What happens next? Is there deep mathematics in the auditory system? And what are those carteliginous things doing flapping in the breeze on the side of your head? Who says an abstract has to have declarative sentences? Will some of these questions be answered? Come and see!
Hubert Bray : An Overview of General Relativity
- Graduate/Faculty Seminar ( 169 Views )After brief introductions to special relativity and the foundations of differential geometry, we will discuss the big ideas behind Einstein's theory of general relativity. Einstein's theory replaces Newtonian physics not only as the best description of gravity according to experiments, but also as a philosophically pleasing and very geometric idea, which Einstein called his "happiest thought." We will also discuss the predictions made by general relativity, including the big bang and black holes, both of which are strongly supported by observations. We will discuss these ideas from a geometric perspective, and discuss some of the open problems and future directions that are currently being studied.
Michael Nicholas : An 3rd order accurate method in 3D period electromagnetic scattering
- Graduate/Faculty Seminar ( 167 Views )Periodic electromagnetic scattering problems are interesting and challenging for various reasons. I will outline these problems and discuss my research in how to deal with singularities that arise. My methods include some analysis, some asymptotics, some numerics, a bunch of pictures I ripped off the web, and - as long as there are no follow up questions - a little bit of geometry.