The Urysohn sphere is pseudofinite

Speaker: 

Isaac Goldbring

Institution: 

UCI

Time: 

Monday, October 9, 2017 - 4:00pm

Location: 

RH 440R

The Urysohn sphere U is the unique separable metric space of diameter at most 1 with two important properties:  (1)  any separable metric space of diameter at most 1 embeds into U; (2)  any isometry between finite subspaces of $\mathfrak{U}$ extends to a self-isometry of U.  The Urysohn sphere is important both from a descriptive set-theoretic point of view and from a model-theoretic point of view as it can be viewed as the continuous analogue of either an infinite set or the random graph.

In this talk, I will present joint work with Bradd Hart showing that the Urysohn sphere is pseudofinite, meaning roughly that any first-order fact true in every finite metric space is also true in U.  Consequently, U satisfies an approximate 0-1 law which should be of independent combinatorial interest.  The proof uses an important fact from descriptive set theory and some basic probability theory.

Games orbits play

Speaker: 

Aristotelis Panagiotopoulos

Institution: 

Caltech

Time: 

Monday, November 13, 2017 - 4:00pm

Location: 

RH 440R

Classification problems occur in all areas of mathematics. Descriptive set theory provides methods to assign complexity to such problems. Using a technique developed by Hjorth, Kechris and Sofronidis proved, for example, that the problem of classifying all unitary operators $\mathcal{U}(\mathcal{H})$ of an infinite dimensional Hilbert space up to unitary equivalence $\simeq_U$ is strictly more difficult than classifying graph structures with domain $\mathbb{N}$ up to isomorphism.

 
We present a game--theoretic approach to anti--classification results for orbit equivalence relations and use this development to reorganize conceptually the proof of Hjorth's turbulence theorem.  We also introduce a dynamical criterion for showing that an orbit equivalence relation is not Borel reducible to the orbit equivalence relation induced by a CLI group action; that is, a group which admits a complete left invariant metric (recall that, by a result of Hjorth and Solecki, solvable groups are CLI). We deduce that $\simeq_U$ is not classifiable by CLI group actions.

This is a joint work with Martino Lupini.  

From Calculus to Rotor Dynamics

Speaker: 

Louis Komzsik

Institution: 

Former Chief Numerical Analysts at Siemens

Time: 

Monday, October 2, 2017 - 4:00pm to 5:00pm

Host: 

Location: 

RH306

The presentation uses a basic calculus foundation and elementary physics principles to introduce the extremely important industrial application of rotor dynamics. Calculus of variations and finite element analysis will also be utilized to provide a foundation for the stability and critical speed analysis of rotating structures.

Dr. Louis Komzsik is a graduate of the Technical University of Budapest, and the Eotvos Lorand University of Sciences, in Hungary.  He worked in the industry for more than 40 years. He retired as the Chief Numerical Analyst from Siemens in California and is currently a part time lecturer in mathematics. Dr. Komzsik is the author of a dozen books in engineering, mathematics and popular science, some of them also published in foreign languages.

Topology of the set of singularities of viscosity solutions of the Hamilton-Jacobi equation

Speaker: 

Albert Fathi

Institution: 

Georgia Institute of Technology

Time: 

Tuesday, December 5, 2017 - 3:00pm

Host: 

Location: 

RH 306

This is a joint work with Piermarco Cannarsa and Wei Cheng. 

We study the properties of the set S of non-differentiable points of viscosity solutions of the Hamilton-Jacobi equation, for a Tonelli Hamiltonian. 

The main surprise is the fact that this set is locally arc connected—it is even locally contractible. This last property is far from generic in the class of semi-concave functions.

We also “identify” the connected components of this set S. 

This work relies on the idea of Cannarsa and Cheng to use the positive Lax-Oleinik operator to construct a global propagation of singularities (without necessarily obtaining uniqueness of the propagation).

On closedness of ALE SFK metrics on minimal ALE Kahler surfaces

Speaker: 

Jiyuan Han

Institution: 

University of Wisconsin, Madison

Time: 

Tuesday, September 19, 2017 - 4:00pm to 5:00pm

Host: 

Location: 

RH 306

Under some topological assumption (which gives the boundedness of Sobolev constant), we construct the space of ALE SFK metrics on minimal ALE Kahler surfaces asymptotic to C^2/G, where G is a finite subgroup of U(2). This is a joint work with Jeff Viaclovsky.

 

Modelling and Simulation of Nonlinear Material Structures for Mechanical Pressure Sensing and Actuation Applications

Speaker: 

Dongming Wei

Institution: 

Nazarbayev University

Time: 

Friday, December 1, 2017 - 11:00am to 12:00pm

Host: 

Location: 

RH440R

This is a report of some recent progress and challenges we have made and encountered in modelling and numerical simulation of materially nonlinear beam structures with applications in micro-electrical-mechanical systems. For simplicity, the fully nonlinear DE’s and the associated initial/boundary value problems arising from modelling Hollomon’s power-law material structures are presented as our representative mathematical models. While for linear elastic materials, the principal operator in the equations appears to be the Laplacian or the bi-Laplacian operator, for the Hollomon’s materials, the principal operator is the p-Laplacian or the bi-p-Laplacian. The main results presented are centered around approximations of solutions to the nonlinear wave equation by lumped-parameter models and numerical methods. Similar, but more challenging models are also introduced for further investigations.

Pages

Subscribe to UCI Mathematics RSS