Free entropy theory is an analogue of information theory in a non-commutative setting, which has had great applications to the examination of structural properties of von Neumann algebras. I will discuss some ongoing joint work with Paul Skoufranis to extend this approach to the setting of bi-free probability which attempts to study simultaneously ``left'' and ``right'' non-commutative variables. I will speak in particular of an approach to a bi-free Fisher information and bi-free conjugate variables -- analogues of Fisher's information measure and the score function of information theory. The focus will be on constructing these tools in the non-commutative setting, and time permitting, I will also mention some results such as bi-free Cramer-Rao and Stam inequalities, and some quirks of the bi-free setting which are not present in the free setting.
The Ginzburg - Landau equations play a fundamental role in various areas of physics, from superconductivity to elementary particles. They present the natural and simplest extension of the Laplace equation to line bundles. Their non-abelian generalizations - Yang-Mills-Higgs and Seiberg-Witten equations have applications in geometry and topology.
Of a special interest are the least energy (per unit volume) solutions of the Ginzburg - Landau equations. These turned out to have a beautiful structure of (magnetic) vortex lattices discovered by A.A. Abrikosov. (Their discovery was recognized a Nobel prize. Finite energy excitations are magnetic vortices, called Nielsen-Olesen or Nambu strings, in the particle physics.)
I will review recent results about the vortex lattice solutions and their relation to the energy minimizing solutions on Riemann surfaces and, if time permits, to the microscopic (BCS) theory.
I will discuss the important phenomenon in mathematics that the solution to a question may reach out to concepts of complexity significantly higher than concepts needed for the formulation of the question.
Convex-geometric methods, involving random projection operators and coverings, have been successfully used in the study of the largest and smallest singular values, delocalization of eigenvectors, and, among further applications, in establishing the limiting spectral distribution for certain random matrix models. Conversely, random linear operators play a very important role in high-dimensional convex geometry, as a tool in constructing special classes of convex sets and studying sections and projections of convex bodies. In this talk, I will discuss some recent results (by my collaborators and myself) on the borderline between convex geometry and the theory of random matrices, focusing on invertibility of square non-Hermitian random matrices (with applications to the study of the limiting spectral distribution), edges of the spectrum of sample covariance matrices, as well as some applications of random operators to questions in high-dimensional convex geometry.
Mathematical and computational modeling have become an indispensible component of research across the sciences. Nevertheless, there are still many examples of research across the sciences where decision making processes are strongly influenced by empirical approaches rather than theory. One of the primary challenges in developing rigorous models of complex processes is capturing the nonlinear interactions of processes across multiple scales in space and time. At the same time, because such models may contain many parameters and can describe wide ranges of behaviors, new methods for parameter estimation and inference are needed as well. In this talk, I will give several examples of new multiscale models and novel applications of parameter inference methodologies in applications ranging from tumor biology to engineering. I will discuss some open problems where there are significant opportunities for future research.
We will use the techniques of harmonic analysis to establish optimal geometric inequalities. These include the sharp Hardy-Adams inequalities on hyperbolic balls and Hardy-Sobolev-Mazya inequalities on upper half spaces or hyperbolic balls. Using the Fourier analysis on hyperbolic spaces, we will be able to establish sharper inequalities than those known classical inequalities in the literature.
Algebraic topology was invented by Poincare in 1895 to study the behavior of algebraic functions. In his seminal ICM address 5 years later, Hilbert posed a fundamental challenge to the field: find a topological obstruction to reducing the solution of the general degree 7 polynomial to an expression in functions of two or fewer variables. In this talk, I'll review some of the beautiful history of algebraic topology and algebraic functions, discuss Hilbert's problem(s), and outline ongoing work in applying the topology of braids and algebraic functions to this problem. This is joint work with Benson Farb.
The problem of detecting a deformation in a symmetric Gaussian random tensor is concerned about whether there exists a statistical hypothesis test that can reliably distinguish a low-rank random spike from the noise. Recently Lesieur et al. (2017) proved that there exists a critical threshold so that when the signal-to-noise ratio exceeds this critical value, one can distinguish the spiked and unspiked tensors and weakly recover the spike via the minimal mean-square-error method. In this talk, we will show that in the case of the rank-one spike with Rademacher prior, this critical value strictly separates the distinguishability and indistinguishability of the two tensors under the total variation distance. Our approach is based on a subtle analysis of the high temperature behavior of the pure p-spin model, arising initially from the field of spin glasses. In particular, the signal-to-noise criticality is identified as the critical temperature, distinguishing the high and low temperature behavior, of the pure p-spin model.
Shelah proved that a certain form of Strong Chang’s Conjecture is equivalent to the statement ``Namba forcing is semiproper". I will present some related results about semiproperness of ``nonreasonable” posets (a notion introduced by Foreman-Magidor). This is joint work with Hiroshi Sakai.