Week of March 28, 2021

Mon Mar 29, 2021
4:00pm to 5:30pm - Zoom - Logic Set Theory
Dima Sinapova - (University of Illinois, Chicago)
Iteration, reflection, and singular cardinals

Two classical results of Magidor are: 

 

(1) from large cardinals it is consistent to have reflection at $\aleph_{\omega+1}$, and

(2) from large cardinals it is consistent to have the failure of SCH at $\aleph_\omega$.

 

These principles are at odds with each other. The former is a compactness type principle. (Compactness is the phenomenon where if a certain property holds for every smaller substructure of an object, then it holds for the entire object.) In contrast, failure of SCH is an instance of incompactness. The natural question is whether we can have both of these simultaneously. We show the answer is yes

 

We describe a Prikry style iteration, and use it to force stationary reflection in the presence of not SCH.  Then we obtain this situation at $\aleph_\omega$. This is joint work with Alejandro Poveda and Assaf Rinot.

Thu Apr 1, 2021
9:00am to 10:00am - Zoom - Inverse Problems
Gaik Ambartsoumian - (University of Texas )
2D vector tomography with broken rays and stars

https://sites.uci.edu/inverse/

3:00pm to 4:00pm - Zoom: https://uci.zoom.us/j/94971241077 - Number Theory
Fikreab Solomon Admasu - (Binghamton University)
Generating series for counting finite nilpotent groups

Counting non-isomorphic finite nilpotent groups of order n is a very hard problem. One way to approach this problem is to count finite nilpotent groups of fixed nilpotency class c on d generators. The enumeration of such isomorphism classes of objects involves number theory and the theory of algebraic groups. However, very little is known about the explicit generating functions of these sequences of numbers when  c > 2 or d > 2. We use a direct enumeration of such groups that began in the works of M. Bacon, L. Kappe, et al, to provide a natural multivariable extension of the generating function counting such groups. Then we rederive the explicit formulas that are known so far.

 

Fri Apr 2, 2021
3:00pm to 4:00pm - Zoom - Nonlinear PDEs
Ugo Gianazza - (Università degli Studi di Pavia (Italy))
A Boundary Estimate for Quasi-Linear Diffusion Equations

Let $E$ be an open set in $\mathbb{R}^N$, and for $T>0$ let $E_T$ denote the cylindrical domain $E\times[0,T]$. We consider quasi-linear, parabolic partial differential equations of the form $$ u_t-\operatorname{div}\textbf{A}(x,t,u, Du) = 0\quad \text{ weakly in }\> E_T, $$ where the function $\textbf{A}(x,t,u,\xi)\colon E_T\times\mathbb{R}^{N+1}\to\mathbb{R}^N$ is assumed to be measurable with respect to $(x, t) \in E_T$ for all $(u,\xi)\in\mathbb{R}\times\mathbb{R}^N$, and continuous with respect to $(u,\xi)$ for a.e.~$(x,t)\in E_T$. Moreover, we assume the structure conditions $$\begin{cases} \textbf{A}(x,t,u,\xi)\cdot \xi\geq C_0|\xi|^p,&\\ \textbf{A}(x,t,u,\xi)|\leq C_1|\xi|^{p-1},& \end{cases}$$ for a.e. $(x,t)\in E_T$, $\forall\,u\in\mathbb{R},\,\forall\xi\in\mathbb{R}^N$, where $C_0$ and $C_1$ are given positive constants, and we take $p>1$. We consider a boundary datum $g$ with $$\begin{cases} g\in L^p\big(0,T;W^{1,p}( E)\big),&\\ g \text{ continuous on}\ \overline{E}_T\ \text{with modulus of continuity }\ \omega_g(\cdot),& \end{cases}$$ and we are interested in the boundary behavior of solutions to the Cauchy-Dirichlet problem $$\begin{cases} u_t-\operatorname{div}\textbf{A}(x,t,u, Du) = 0&\text{ weakly in }\> E_T,\\ u(\cdot,t)\Big|_{\partial E}=g(\cdot,t)&\text{ a.e. }\ t\in(0,T],\\ u(\cdot,0)=g(x,0),& \end{cases}$$ with $g$ as above. We do not impose any {\em a priori} requirements on the boundary of the domain $E\subset\mathbb{R}^N$, and we provide an estimate on the modulus of continuity at a boundary point in terms of a Wiener-type integral, defined by a proper elliptic $p$-capacity. The results depend on the value of $p$, namely whether $1<p\le\frac{2N}{N+1}$, $\frac{2N}{N+1}<p<2$, $p\ge2$.

This is a joint work with Naian Liao (Salzburg University, Austria) and Teemu Lukkari (Aalto University, Finland).