Colloquium
Siegel capture polynomials in parameter spaces
When
April 19, 2019 | 2:30 - 3:30 p.m.
Where
Campbell Hall 443
Speaker
Dr. Lex Oversteegen (joint with Alexander Blokh, Arnaud Cheritat, Toulouse, Lex Oversteegen, and Vladlen Timorin, Moscow)
Abstract
We consider the set of cubic polynomials $f$ with a marked fixed point. If $f$ has a Siegel disk at the marked fixed point, and if this disk contains an eventual image of a critical point, we call $f$ a \emph{IS-capture polynomial}. We study the location of IS-capture polynomials in the parameter space of all marked cubic polynomials modulo affine conjugacy. In particular, it is shown that any IS-capture is on the boundary of a unique bounded hyperbolic component determined by the rational lamination of the map. We also relate IS-captures to the cubic Principal Hyperbolic Domain and its closure (by definition, the \emph{cubic Principal Hyperbolic Domain} consists of cubic hyperbolic polynomials with Jordan curve Julia sets).
Slices of parameter space of cubic polynomials
When
April 12, 2019 | 2:30 - 3:30 p.m.
Where
Campbell Hall 443
Speaker
Dr. Alexander Blokh (joint with Lex Oversteegen and Vladlen Timorin, Moscow)
Abstract
In this paper, we study slices of the parameter space of cubic polynomials, up to affine conjugacy, given by a fixed value of the multiplier at a non-repelling fixed point. In particular, we study the location of the \emph{main cubioid} in this parameter space. The \emph{main cubioid} is the set of affine conjugacy classes of complex cubic polynomials that have certain dynamical properties generalizing those of polynomials $z^2+c$ for $c$ in the filled main cardioid.
A class of Schrodinger operators with convergent perturbation series
When
April 5, 2019 | 2:30 - 3:30 p.m.
Where
Campbell Hall 443
Speaker
Dr. Ilya Kachkovskiy, Michigan State University
Abstract
Rayleigh-Schrodinger perturbation series is one of the main tools of analyzing eigenvalues and eigenvectors of operators in quantum mechanics. The first part of the talk is expository and should be accessible to students with working knowledge of linear algebra: I will explain a way of representing all terms of the series in terms of graphs with certain structure (similar representations appear in physical literature in various forms). The second part of talk is based on joint work in progress with L. Parnovski and R. Shterenberg. We show that, for a class of lattice Schrodinger operators with unbounded quasiperiodic potentials, one can establish convergence of these series (which is surprising because the eigenvalues are not isolated). The proof is based on the careful analysis of the graphical structure of terms in order to identify cancellations between terms that contain small denominators. The result implies Anderson localization for a class of Maryland-type models on higher-dimensional lattices.
The story of the little ell one norm and its friends
When
March 29, 2019 | 2:30 - 3:30 p.m.
Where
Campbell Hall 443
Speaker
Dr. Carmeliza Navasca
Abstract
The popularity of sparse ell one norm optimization problem was due to Emmanuel Candes and Terrence Tao via compressed sensing. I will start by introducing the little ell one norm and its minimization. Then, I will describe how and why these sparse optimization problems are useful in solving today’s challenging problems in data science and machine learning. Numerical examples in foreground and background separation in surveillance videos, matrix and tensor completion as well as deep neural network for image classification are included. In this talk, one can observe the interplay of (multi)linear algebra, optimization and numerical analysis with applications in computer science.
This is joint work with Xiaofei Wang (former postdoc at UAB, now Prof at Normal University, China), Ramin Karim Goudarzi, Fatou Sanogo, Ali Fry (former Fast-Track) and Da Yan (CS Prof at UAB).
Probability bounds in classical and quantum statistical mechanics
When
March 22, 2019 | 2:30 - 3:30 p.m.
Where
Campbell Hall 443
Speaker
Dr. Shannon Star, UAB
Abstract
In the first half we will show that spectral gap bounds lead to concentration of measure bounds. Methods for the former were initiated by Lu and Yau, and further developed for quantum spin systems. This is joint with Michael Froehlich (UAB) a medical researcher pursuing a biostats PhD. In the second half of the talk, we will describe how probability bounds for the classical dimer model and six vertex model in 2d give bounds for quantum systems in 1d: general XY models, the XXZ model and the Hubbard model. This is joint work with Scott Williams (UAB) a former math major. The talk is accessible to students, and is particularly relevant to those interested in Markov chains.
Existence results for some classes of integrodifferential equations of Gurtin-Pipkin type
When
March 1, 2019 | 2:30 - 3:30 p.m.
Where
Campbell Hall 443
Speaker
Prof. Toka Diagana, The University of Alabama in Huntsville
Abstract
Integro-differential equations of Gurtin-Pipkin type play an important in studying various practical problems. In particular, they have been used to study the heat conduction in materials with memory, the sound propagation in viscoelastic media, or in homogenization problems in perforated media (Darcy’s Law).
To read the full abstract, view the PDF version.
Multiplicity One Conjecture in Min-max theory
When
February 18, 2019 | 2:30 - 3.30 p.m.
Where
Campbell Hall 443
Speaker
Dr. Xin Zhou, Institute for Advance Study (Princeton)/UC Santa Barbara
Abstract
I will present a recent proof of the Multiplicity One Conjecture in Min-max theory. This conjecture was raised by Marques and Neves as the key step to establish a Morse theory for the area functional. It says that in a closed manifold of dimension between 3 and 7 with a bumpy metric, the min-max minimal hypersurfaces associated with the volume spectrum introduced by Gromov, Guth, Marques-Neves are all two-sided and have multiplicity one. As direct corollaries, it implies the generalized Yau's conjecture for such manifolds with positive Ricci curvature, which says that there exist a sequence of minimal hypersurfaces with area tending to infinity, and the Weighted Morse Index Bound Conjecture by Marques and Neves. The talk will be for general audience.
Reducibility of the Fermi surface for periodic quantum-graph operators
When
February 15, 2019 | 2:30 - 3.30 p.m.
Where
Campbell Hall 443
Speaker
Dr. Stephen Shipman, LSU
Abstract
The Fermi, or Floquet, surface for a periodic operator at a given energy level is an algebraic variety that describes all complex wave vectors admissible by the periodic operator at that energy. Its reducibility is intimately related to the construction of embedded eigenvalues supported by local defects. The rarity of reducibility is reflected in the fact that a generic polynomial in several variables cannot be factored. The "easy" mechanism for reducibility is symmetry. However, reducibility ensues in much more general and interesting situations. This work constructs a class of non-symmetric periodic Schrödinger operators on metric graphs (quantum graphs) whose Floquet surface is reducible. The graphs in this study are obtained by coupling two identical copies of a periodic quantum graph by edges to form a bilayer graph. Reducibility of the Floquet surface for all energies ensues when the coupling edges have potentials belonging to the same asymmetry class, that is, when their "spectral A-functions" are identical. If the potentials of the connecting edges belong to different asymmetry classes, then typically the Floquet surface is not reducible. Bilayer graphene is a notable exception—its Floquet surface is always reducible.
Supergeometry: introduction and some applications
When
February 8, 2019 | 2:30 - 3.30 p.m.
Where
Campbell Hall 443
Speaker
Dr. Theodore Voronov, University of Manchester
Abstract
Supergeometry owes its name to supersymmetry, which is a (theoretical) symmetry mixing bosons and fermions in physics. Supersymmetric models appeared in 1970s, but "super" ideas have much deeper roots both in mathematics and physics e.g. in the works of Hermann Graßmann and Élie Cartan. The pioneer of supermathematics was Felix Alexandrovich Berezin. His discovery of what we now call "Berezin integral" was used by Faddeev and Popov for quantization of gauge fields even before the official birth of supermathematics.
Supergeometry provides powerful tools for "ordinary" mathematics and mathematical physics, and has led to spectacular applications such as analytic proof of the Atiyah-Singer index theorem based on supermanifold quantization. It possesses a unifying power, making it possible to see e.g. Clifford algebra and differential operators as basically the same thing. Recent applications of supergeometry are related with symmetry structures "up to homotopy." This includes the proof of the existence of deformation quantization of Poisson manifolds due to Kontsevich.
I will give an introduction to the main ideas of supergeometry with examples (including my own work). No prior knowledge will be assumed. I hope to touch on some of my recent works, such as volumes of classical supermanifolds (originated from my counterexample to a conjecture by Witten), differential operators on the superline, and (time permitting) an entirely new idea of "microformal geometry."
An overview of numerical algorithms for the Poisson-Boltzmann equation in biomolecular electrostatics
When
February 1, 2019 | 2:30 - 3.30 p.m.
Where
Campbell Hall 443
Speaker
Dr. Shan Zhao, University of Alabama
Abstract
The Poisson-Boltzmann Equation (PBE) is a widely used implicit solvent model for the electrostatic analysis of solvated biomolecules. The numerical solution of the PBE is known to be challenging, due to the consideration of discontinuous coefficients, complex geometry of protein structures, singular source terms, and strong nonlinearity. In this talk, I will offer a brief overview of recent studies in the literature as well as new developments in our group for resolving the PB numerical difficulties.
- For treating dielectric interface and complex geometry, both finite element methods and Cartesian grid finite difference methods have been developed for delivering a second order accuracy in space.
- In the framework of pseudo-time integration, we have constructed an analytical treatment to suppress the nonlinear instability.
- For treating charge singularity in solvated biomolecules, we have introduced a new regularization approach, which combines the efficiency of two-component schemes with the accuracy of the three-component methods. Finally, numerical experiments of several benchmark examples and free energy calculations of protein systems are presented to demonstrate the stability, accuracy, and efficiency of the new algorithms.
Tanglegrams and tanglegram crossing numbers
When
January 25, 2019 | 2:30 - 3.30 p.m.
Where
Campbell Hall 443
Speaker
Dr. Laszlo Szekely, University of South Carolina
Abstract
A tanglegram is a graph, consisting of two rooted binary trees of the same size and a perfect matching joining their leaves. A tanglegram layout is a special straight line drawing of this graph, where the leaves of the trees are placed on two parallel lines, the two trees are drawn as plane trees on either side of the strip created by these lines, and the matching is drawn inside the strip. It is desirable to draw a tanglegram with the least possible number of pairs of crossing edges in the strip. This is the Tanglegram Layout Problem. The minimum number of the crossings obtained in this way is the tanglegram crossing number of the tanglegram. The tanglegram is planar, if it has a layout without crossings. The Tanglegram Layout Problem is NP-hard and is well studied in computer science.
Tanglegrams play a major role in phylogenetics, especially in the theory of coevolution. The first binary tree is the phylogenetic tree of hosts, while the second binary tree is the phylogenetic tree of their parasites, e.g. gopher and louse. The matching connects the host with its parasite. The tanglegram crossing number has been related to the number of times parasites switched hosts.
I present a Kuratowski type characterization of planar tanglegrams and a conjecture for a similar finite characterization of some more general tanglegram crossing number problems. This is a joint work with Eva Czabarka and Stephan Wagner.
Subintervals of (Random Subsets of) Intervals and Entanglement in Quantum Spin Chains
When
January 18, 2019 | 2:30 - 3.30 p.m.
Where
Campbell Hall 443
Speaker
Dr. Gunter Stolz, UAB
Abstract
The entanglement entropy of eigenstates provides a measure which can be used to study if an interacting quantum system is localized. In particular, guided by the well known phenomenon of Anderson localization for non-interacting systems, one expects that the exposure of the system to disorder will increase its tendency towards localization. We discuss this in the example of the quantum Ising chain. This simple model allows for a very explicit description of how eigenstate entanglement is reduced by the introduction of disorder. This is part of a joint project with Houssam Abdul-Rahman and Christoph Fischbacher.
Deep Learning: Is it the Answer to Artificial Intelligence?
When
November 30, 2018 | 2:30 - 3:30 p.m.
Where
Campbell Hall 443
Speaker
Prof. Nidhal Bouaynaya, Rowan University
Abstract
Within the field of machine learning, deep learning approaches have resulted in state-of-the-art accuracy in visual object detection, speech recognition, and many other domains including genomics. Deep learning techniques hold the promise of emerging technologies, such as autonomous unmanned vehicles, smart cities infrastructure, personalized treatment in medicine, and cybersecurity. However, deep learning models are deterministic, and as a result are unable to understand or assess their uncertainty, a critical part of any predictive system’s output. This can have disastrous consequences, especially when the output of such models is fed into higher-level decision making procedures, such as medical diagnosis or autonomous vehicles. This talk is divided into two parts. First, we provide intuitive insights into deep learning models and show their applications in healthcare and aviation. We then introduce Bayesian deep learning to assess the model’s confidence in its prediction and show preliminary results on robustness to noise and artifacts in the data as well as resilience to adversarial attacks.
Isoperimetric Type Inequalities and Geometric Evolution Equations on Riemannian Manifolds
When
November 9, 2018 | 2:30 - 3:30 p.m.
Where
Campbell Hall 443
Speaker
Dr. Junfang Li
Abstract
In this talk, we will survey some sharp isoperimetric type inequality and its generalization to quermassintegrals on hypersurfaces in Riemannian manifolds. Most of the talk will be about my joint work with Pengfei Guan (McGill University) over the past 10 years. We will focus on two main aspects of this research line: geometric inequalities as the goal and fully nonlinear PDE techniques as the tool. There have been a lot of active researches on related topics recently. One main idea of recent development is to extend these classical inequalities from Euclidean space to space forms, then to manifolds with warped product structures, and also to space like hypersurfaces in the black hole models from General Relativity. I will also list some of the open problems along this line.
Graduate and undergraduate students are welcome to attend. Most of the talk will be non-technical.
A Birman-Krein-Vishik-Grubb (BKVG) Theory for Sectorial Operators
When
November 2, 2018 | 2:30 - 3:30 p.m.
Where
Campbell Hall 443
Speaker
Dr. Christoph Fischbacher
Abstract
This talk is split in two parts. Firstly, we will review and discuss classical results by Birman, Krein, Vishik, and Grubb on the theory of non-negative selfadjoint extensions of a strictly positive symmetric operator $S$ on a complex Hilbert space. In particular, we will see that any such extension $\widehat{S}$ satisfies $S_K\leq\widehat{S}\leq S_F$, where $S_F$ and $S_K$ are the exceptional Friedrichs and Krein-von Neumann extensions of $S$, respectively. After this, we will discuss what happens if $S$ is perturbed by a skew-symmetric operator of the form $iV$, where $V$ is symmetric such that $A=S+iV$ is sectorial and derive a modified BKVG theory for this case.
Fixed-point-free Mappings of Tree-like Continua
When
October 19, 2018 | 2:30 - 3:30 p.m.
Where
Campbell Hall 443
Speaker
Dr. Logan Hoehn
Abstract
A topological space has the "fixed-point property" if every continuous function of the space to itself has at least one point which is mapped to itself. The well-known Brouwer fixed-point theorem states that for each n, the closed n-dimensional ball in Euclidean space has the fixed-point property. I will survey some further results and questions on the fixed-point property in the theory of compact connected metric spaces.
Brief History of the Boltzmann-Sinai Hypothesis
When
October 12, 2018 | 2:30 - 3:30 p.m.
Where
Campbell Hall 443
Speaker
Dr. Nandor Simanyi
Abstract
The Boltzmann-Sinai Hypothesis dates back to 1963 as Sinai’s modern formulation of Ludwig Boltzmann’s statistical hypothesis in physics, actually as a conjecture: Every hardball system on a flat torus is (completely hyperbolic and) ergodic (i. e. ”chaotic”, by using a nowadays fashionable, but a bit profane language) after fixing the values of the obviously invariant kinetic quantities. In the half century since its inception, quite a few people have worked on this conjecture, made substantial steps in the proof, created useful concepts and technical tools, or proved the conjecture in some special cases, sometimes under natural assumptions. Recently I was able to complete this project by putting the last, missing piece of the puzzle to its place, getting the result in full generality. In the talk, I plan to present the brief history of the proof by sketching the most important concepts and technical tools that the proof required.
Decidability of Thurston equivalence
When
October 5, 2018 | 2:30 - 3:30 p.m.
Where
Campbell Hall 443
Speaker
Dr. Nikita Selinger, UAB Math. Department
Abstract
In the early 1980’s Thurston proved a prominent theorem in the field of Complex Dynamics. His characterization theorem provides a topological criterion of whether a given Thurston map (i.e. a topological map with finite combinatorics) can be realized by a rational map. In a joint work with M. Yampolsky and K. Rafi, we produce an algorithm of checking whether two Thurston maps are equivalent.
Using Computer Animations to Help Teach Mathematics
When
September 28, 2018 | 2:30 - 3:30 p.m.
Where
Campbell Hall 443
Speaker
Mr. Michael Pogwizd
Abstract
In this presentation, I share a collection of online images, animations, and videos designed to help students better understand mathematical concepts, ranging from high-school algebra to real analysis. Depending on their level of difficulty, chalk-board explanations of these concepts can require 10-20 minutes.
The visuals introduced in this presentation will do three things: 1), they will greatly reduce the amount of time needed to explain concepts; 2) they will increase the students’ understanding of the concepts; and 3) they will make learning math entertaining – not just an end unto itself, but a great way to improve retention.
My goal is to demonstrate to members of the Math Department the advantages of using these visuals in teaching and tutoring. All animations are available to use for free and can be found on my UAB website.
Spectral Theory for Systems of Ordinary Differential Equations with Distributional Coefficients
When
September 14, 2018 | 2:30 - 3:30 p.m.
Where
Campbell Hall 443
Speaker
Rudi Weikard, Chair and Professor, Department of Mathematics, University of Alabama at Birmingham
Abstract
We discuss the spectral theory of the first-order system $Ju'+qu=wf$ of differential equations on the real interval $(a,b)$ when $J$ is a constant, invertible skew-Hermitian matrix and $q$ and $w$ are matrices whose entries are distributions of order zero with $q$ Hermitian and $w$ non-negative. We do not require the definiteness condition customarily made on the coefficients of the equation.
Specifically, we construct associated minimal and maximal relations, and study self-adjoint restrictions of the maximal relation. For these we construct Green's function and prove the existence of a spectral (or generalized Fourier) transformation.