Floating mats and sloping beaches: Steklov problem on domains with corners.

Abstract: I will discuss recent results on the asymptotic behaviour of eigenvalues of Steklov operators on domains with corners. These results are rather surprising: the asymptotics depends on the arithmetic properties of the corners
Title: Some Sylvester-type matrix equations and tensor equations over the quaternion algebra.


Sylvester-type equations have many applications in neural network, robust control,   output feedback control, the almost noninteracting control by measurement feedback problem, graph theory, and so on. In this talk, we consider some Sylvester-type matrix equations and tensor equations over the quaternion algebra. We present some necessary and sufficient conditions for the solvability to these Sylvester-type matrix equations and tensor equations over the quaternion algebra. Moreover, the general solutions to these quaternion matrix equations and tensor equations are explicitly given when they are solvable. We also provide some numerical examples to illustrate our results.

Title: Elementary and Advanced Perspectives of Measurement and Ratio.

Abstract: Measurement, ratio and proportion are topics in elementary school mathematics, yet there are profound connections to current research in algebra and analysis, e.g., the theorem of Hölder on archimedean totally-ordered groups, the Yosida Representation Theorem for archimedean vector lattices, and my own work interpreting the Yosida Theorem in point-free topology.  In this talk, I will trace the history of ratio from Eudoxus to "point-free Yosida", with stops along the way to examine interactions between academic mathematics and the mathematics taught in school.
uab towers abstract page 001
Title: Hilbert's 17th problem, sums of squares, certificates of non-negativity and related problems

Abstract: Hilbert's 17th problem concerns the representation of a non-negative multivariate real polynomial as a sums of squares of rational functions.
More precisely, the question posed by Hilbert is if such a representation always exists, providing a certificate of its non-negativity.
This question was affirmatively answered by Emil Artin in 1927.
In recent years there has been a renewed interest in this kind of certificates.
In this talk we will survey some results in this area.
Title: Power of generalization

Motto: "Etwas allgemein machen, heißt, es denken", G.W.F.Hegel (1833)

Abstract: Following the famous quote by Hegel that "To generalize something means to think" we will demonstrate, on a couple of examples, the power of generalization in mathematics. In the first example we introduce Generalized trigonometric functions and present some of their properties and show that they provide us with inside information about some questions in Approximation theory and in study of Non-linear differential equations. In the second example we demonstrate how generalization of the concept of orthogonality, from Hilbert spaces into Banach spaces, bring us a new class of eigenfunctions which will lead us to generalization of Hilbert-Schmidt decomposition.

Title: A Tale of Two Theta Series

Abstract: A familiar concept from an undergraduate number theory course is the product representation formula for the sum of two squares. We generalize this notion by discussing identities which connect theta series associated to various binary quadratic forms. We then give a “new” identity which connects the theta series associated to a single binary quadratic form of discriminant Δ, to a theta series associated to a subset of binary quadratic forms of discriminant Δp^2. Lastly we will give an illustrative example to show how one can use this identity to derive a Lambert series decomposition in certain cases.

Title: User-Friendly Distributed Frameworks for Processing Big Data

Big Data frameworks emphasize on two aspects, "programming simplicity" and "efficiency". The aim is to write a distributed algorithm in just a few lines of code, and to let the underlying execution engine fully utilize the hardware (CPUs, disks and the network) of a cluster. Examples include Google's MapReduce, Pregel and TensorFlow.
This talk introduces three such frameworks developed in my group: (1) a library for the distributed sorting of generic data using the TeraSort algorithm; (2) a framework for data-intensive graph analytics (e.g., computing PageRanks, connected components) where users think like a vertex when writing programs; and (3) a framework for compute-intensive graph analytics (e.g., community detection, subgraph matching) where users think like a subgraph. A demo on each framework will be provided to illustrate its efficiency.
Title: Optimal Quantization

Abstract: The basic goal of quantization for probability distribution is to reduce the number of values, which is typically uncountable, describing a probability distribution to some finite set and thus approximation of a continuous probability distribution by a discrete distribution. Though the term 'quantization' is known to electrical engineers for the last several decades, it is still a new area of research to the mathematical community. In my presentation, first I will give the basic definitions that one needs to know to work in this area. Then, I will give some examples, and talk about the quantization on mixed distributions. Mixed distributions are an exciting new area for optimal quantization. I will also tell some open problems relating to mixed distributions
Title: The Quantum XXZ spin model on general graphs


We consider the XXZ spin model on general graphs and show its equivalence to a direct sum of discrete many-particle Schrödinger operators of hard-core bosons with an attractive interaction that can be expressed with the help of symmetric graph products. We discuss the existence of a lowest separated energy band (the droplet band), where we focus on the XXZ model on the strip and on Z^d, which are not exactly solvable with the Bethe ansatz. This is joint work with G. Stolz.

Some Dimension Results of Gaussian Random Fields


In this talk, we present some Hausdorff and packing dimension results for image and graph sets of Gaussian random fields. In particular, for anisotropic Gaussian fields, we extend the notion of Hausdorff dimension, packing dimension and packing dimension profile to (anisotropic) metric spaces. We believe that these extensions are of independent interest.

This talk is based on joint works with Y. Du, A. Estrade. J. Miao and Y. Xiao.
Title: The combinatorial Mandelbrot set


Quadratic complex polynomials P_c(z)=z^2+c have critical point 0 and critical value c=P_c(0). We say that c is non-escaping if the sequence 0, P_c(0)=c, P^2(0), ... is bounded. The set of all non-escaping c's is called the filled Mandelbrot set and its boundary is called the Mandelbrot set. This famous fractal set has been extensively studied since the 1980-s. Adrien Douady, John Hamal Hubbard and William Thurston constructed a combinatorial model for the Mandelbrot set, called by Douady the pinched disk model.

In this talk we will describe this model and several simplifications of it. We are motivated by the fact that such simplifications reveal the structure of the Mandelbrot set and may allow generalizations to polynomials of higher degree.

Title: The inverse conductivity problem

Abstract: The problem of inverse conductivity is both well established as an object of research and yet still a source of interesting and useful physics and mathematics. I aim to give a (fairly rough!) overview of this fascinating topic, from both practical and theoretical perspectives. All levels of mathematicians, physicists and engineers are welcome.
Title: What does the average eigenvalue know?


Inverse spectral theory refers to the use of eigenvalues and related information to understand a linear operator.  Linear operators and matrices are used, for example, to describe such things as vibrating membranes, quantum phenomena, and graphs (in the sense of networks).  The eigenvalues respond to the shape of the membrane, the form of the interaction potential, or respectively the connectedness of the graph, but not in a formulaic way.  The effort to tease out these details from the knowledge of the eigenvalue spectrum was memorably described al little over 50 years ago by Mark Kac in an article entitled "Can one hear the shape of a drum?"   (Incidentally, the answer is "Often, but not always.")

Title: Maximal Monotonicity and Existence of Nonzero Solutions


The theory of maximal monotone operators in Banach spaces plays an important role in the solvability of a large class of partial differential equations, particularly the ones in divergence form.
The talk will begin with an introduction to maximal monotone operators in Hilbert spaces. An extension of the notion to Banach spaces will then be discussed. Among others, examples of maximal monotone operators which appear as the subdifferentials of certain convex functions will be given. Finally, an existence theorem for nonzero solutions of operator equations in Banach spaces will be presented.
Title: On the accuracy and importance of a consistent mass matrix.


The mass matrix is formed by integrating the outer product of two sets of basis functions. A mass matrix can appear in the discretization of an unsteady partial differential equation (PDE) using a finite element method (FEM). The accuracy, stability, and performance of a numerical method is tied to the handling of the mass matrix. In classical FEM, a common technique is to “lump” a mass matrix, summing the off-diagonals to the diagonal, resulting in a diagonal matrix. The simplification results in a trade-off between increased performance of the method and reduced accuracy. In this seminar, Dr. Brazell will discuss his work with mass matrices across three different topics. The first is lumping techniques for high-order streamline-upwind-Petrov-Galerkin (SUPG) methods. The second is psuedo-transient continuation as a globalization technique for the Newton-Rhapson method for solving problems using a Discontinuous Galerkin (DG) method. Lastly, is an explicit DG method with applications in overset meshing and adaptive mesh refinement. Some applications of these methods will include aerodynamics and wind energy.
Title: A posteriori versions of KAM theory: Rigorous results, computations and conjectures

Abstract: KAM theory deals with the existence of quasi-periodic solutions. The original formulation was for systems close to integrable.

In recent times, there have appeared versions of KAM theory without any reference to quasi- integrable systems. One can start from approximate solutions of an invariance equation and then validate them.

This leads easily to some rigorous results such as monogenicity properties and Whitney regularity. Moroever, it allows to validate numerical computations. The proof is based on an iterative method which also leads to very efficient and reliable computations. These computations lead to conjectures on what happens at breakdown and reveal scaling relations. Moreover, there is a very surprising order among scaling relations corresponding to different frequencies.

This is a report on work of many people.

Title: Almost commuting matrices.

Abstract: Suppose that $X$ and $Y$ are two self-adjoint matrices with the commutator $[X,Y]$ of small operator norm. One would expect that $X$ and $Y$ are close to a pair of commuting matrices. Can one provide a distance estimate which only depends on $\|[X,Y]\|$ and not on the dimension? This question was asked by Paul Halmos in 1976 and answered positively by Huaxin Lin in 1993 by indirect C*-algebraic methods, which did not provide any explicit bounds. It was conjectured by Davidson and Szarek that the distance estimate would be of the form $C\|[X,Y]\|^{1/2}$, which is the best possible power. I will explain the main ideas of the proof of this conjecture, obtained jointly with Yuri Safarov, as well as some related results such as the infinite-dimensional version of the question. I will also discuss some recent work in progress on the case of two unitary matrices. In both latter cases, one needs to take care of additional topological obstructions (such as index of winding number) in order for the result to be true.
Title: From the liquid drop model for nuclei to the ionization conjecture for atoms


The liquid drop model is an isoperimetric problem with a competing non-local term. It was originally introduced in the nuclear physics literature in 1930 and has received a lot of attention recently as an interesting problem in the calculus of variations. We discuss some new results and open problems. We show how the insights from this problem allowed us to prove the ionization conjecture in a certain model in density functional theory. The talk will be non-technical and does not assume any knowledge in physics.
Title: A Metrically Defined Uniformization Map of Planar Domains

      abstract ivan 1

Lloyd J. Edwards, PhD, Charles R. Katholi, PhD, Byron C. Jaeger, PhD
UAB Department of Biostatistics

Properties of $R
^2_\beta$ and Tests of Hypotheses for Fixed Effects in the Linear Mixed Model


Properties of the $R^2$ statistic used in linear regression with least squares estimation are well developed. Additionally, the $R^2$ statistic used in linear regression has a corresponding test of hypoyhesis associated with it. Similar properties are developed for $R^2_\beta$, an $R^2$ statistic for fixed effects in the linear mixed model. The central and non-central Beta distributions are used to approximate the distribution of $R^2_\beta$ under corresponding null and alternative test hypotheses. The asymptotic expectation and variance of $R^2_\beta$ are derived. Simulations are used to demonstrate the performance of the Beta approximation. Test statistics are proposed that are based on estimators of the derived expectation and variance. Simulations are used to compare the test statistics to the overall $F$ test for fixed affects in the linear mixed model. Using simulations, the Type I error rate of the proposed $R^2_\beta$ test statistics is shown to be equivalent to the Type I error rate for the overall $F$ test.

Title: Bounds for Preperiodic Points for Maps with Good Reduction


Let $K$ be a number field and let $\phi$ in $K(z)$ be a rational function of degree $d\geq 2$. Let $S$ be the set of places of bad reduction for $\phi$ (including the archimedean places). Let $\Per(\phi,K)$, $\PrePer(\phi, K)$, and $\Tail(\phi,K)$ be the set of $K$-rational periodic, preperiodic, and purely preperiodic points of $\phi$, respectively.
In this talk, we will present two main results. Firstly, assuming that $|\Per(\phi,K)| \geq 4$ (resp.\$|\Tail(\phi,K)| \geq 3$), we prove bounds for $|\Tail(\phi,K)|$ (resp.\$|\Per(\phi,K)|$) that depend only on the number of places of bad reduction $|S|$ (and not on the degree $d$). We show that the hypotheses of this result are sharp, giving counterexamples to any possible result of this form when $|\Per(\phi,K)| < 4$ (resp.\$|\Tail(\phi,K)| < 3$).
For the second result, a bound for $|\PrePer(\phi,K)|$ in terms of the number of places of bad reduction $|S|$ and the degree $d$ of the rational function $\phi$ is obtainedThis bound significantly improves a previous result.

Math Colloquium: Fri at 2:30pm-3:30pm, CH 443

Title: A Dynamic Model of Free Fatty Acids, Glucose, and Insulin Metabolism


The role of free fatty acids (FFA) on the progression of type 2 diabetes (T2D) has been widely studied. Prior studies suggest that individuals with shared familiar genetic predispositions to metabolic-related diseases may be vulnerable to dysfunctional regulation of plasma FFA. A vicious cycle may arise when FFA 
is not regulated properly leading to the development of insulin resistance, a key indicator for T2D as prolonged insulin resistance results in hyperglycemia. We propose a hypothesis-driven model to quantitatively study the role of FFA on the progression of insulin resistance. The nonlinear dynamics among glucose, insulin, and FFA are modeled using delay differential equations and compared to the well-known minimal model consisting of ordinary differential equations. Model validation and parameter estimation utilizing clinical data of patients who underwent bariatric surgery, serve as the quantitative measures used to evaluate the regulation of FFA production by insulin action within a heterogeneous population (nondiabetic to diabetic). Results show that several metabolic factors for insulin, glucose, and FFA regulation improved post-bariatric surgery, and these results were supported with prior clinical findings.