Week of April 25, 2021

Mon Apr 26, 2021
4:00pm to 5:50pm - Zoom - Logic Set Theory
Eric Mjolsness - (UC Irvine)
What does logic have to do with AI/ML for computational science? (Part 2)

Progress in artificial intelligence (AI), including machine learning (ML),
is having a large effect on many scientific fields at the moment, with much more to come.
Most of this effect is from machine learning or "numerical AI", 
but I'll argue that the mathematical portions of "symbolic AI" 
- logic and computer algebra - have a strong and novel roles to play
that are synergistic to ML. First, applications to complex biological systems
can be formalized in part through the use of dynamical graph grammars.
Graph grammars comprise rewrite rules that locally alter the structure of
a labelled graph. The operator product of two labelled graph
rewrite rules involves finding the general substitution 
of the output of one into the input of the next - a form of variable binding 
similar to unification in logical inference algorithms. The resulting models
blend aspects of symbolic, logical representation and numerical simulation.
Second, I have proposed an architecture of scientific modeling languages
for complex systems that requires conditionally valid translations of
one high level formal language into another, e.g. to access different
back-end simulation and analyses systems. The obvious toolkit to reach for
is modern interactive theorem verification (ITV) systems e.g. those
based on dependent type theory (historical origins include Russell and Whitehead).
ML is of course being combined with ITV, bidirectionally.
Much work remains to be done, by logical people.

Part II: Current and planned work.
Operator algebra semantics (and the relevant Fock spaces)
for scientific modeling languages based on rewrite rules,
derivation of simulation algorithms,
semantics-approximating transformations using ML;
semantics-preserving transformations using ITV ?,
relation to graph grammar pushout semantics,
verbs vs. nouns vs. expressions and logic of "eclectic types",
compositional and specialization hierarchies,
"Tchicoma" conceptual architecture.

 

4:00pm to 5:00pm - Zoom - Applied and Computational Mathematics
Yuanzhe Xi - (Emory University)
Data-driven Low-rank Approximation for Kernel Matrices

Dense kernel matrices arise frequently in many scientific computing and machine learning applications. For large-scale applications, it is common to exploit low-rank property associated with kernel matrices to accelerate the computation. Various fast algorithms have been developed under certain assumptions on the dataset and the kernel function in the past. In this talk, we consider the low rank approximation problem in the most general setting. The proposed scheme selects a small subset of data points that accounts for the geometry of the given data and the numerical stability of the resulting factorization. The entire procedure is performed over the given data and does not require access to the kernel matrix or points outside the give data. The algorithm scales as O(r2(m + n)) for computing a rank-r approximation to an m × n kernel matrix. The proposed method outperforms existing state-of-the-art methods on various kernel functions and datasets ranging from three dimensions to over a hundred dimensions.

Join URL: https://uci.zoom.us/j/93282432501

Thu Apr 29, 2021
9:00am to 10:00am - Zoom - Inverse Problems
Hanming Zhou - (UC Santa Barbara)
Travel time tomography in stationary spacetimes

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

10:00am to 11:00am - zoom https://uci.zoom.us/j/93076750122?pwd=Y3pLdndoQTBuNUhxQUxFMkQ2QnRFQT09 - Mathematical Physics
Zhenghe Zhang - (UCR)
Positivity of the Lyapunov exponent for potentials generated by hyperbolic transformations

In this talk, I will introduce a recent work in showing positivity of the Lyapunov exponent for Schr\"odinger operators with potentials generated by hyperbolic dynamics. Specifically, we showed that if the base dynamics is a subshift of finite type with an ergodic measure admitting a local product structure and if it has a fixed point, then for all nonconstant H\"older continuous potentials, the set of energies with zero Lyapunov exponent is a discrete set. If the potentials are locally constant or globally fiber bunched, then the set of zero Lyapunov exponent is finite. We also showed that for generic such potentials, we have full positivity in the general case and uniform postivity in the special cases. Such hyperbolic dynamics include expanding maps such as the doubling map on the unit circle, or Anosov diffeomorphism such as the Arnold's Cat map on 2-dimensional torus. It also can be applied to Markov chains whose special cases include the i.i.d. random variable. This is a joint with A. Avila and D. Damanik.

3:00pm - Zoom https://uci.zoom.us/j/98329625438 - Number Theory
Vaidehee Thatte - (Binghamton University)
Arbitrary Valuation Rings and Wild Ramification

We aim to develop ramification theory for arbitrary valuation fields, extending the classical theory of complete discrete valuation fields with perfect residue fields. By studying wild ramification, we hope to understand the mysterious phenomenon of the defect (or ramification deficiency) unique to the positive residue characteristic case and is one of the main obstacles in obtaining resolution of singularities.  

Extensions of degree p in residue characteristic p>0 are building blocks of the general case. We present a generalization of ramification invariants for such extensions. These results enable us to construct an upper ramification filtration of the absolute Galois group of Henselian valuation fields (joint with K.Kato).

Fri Apr 30, 2021
4:00pm - Zoom https://zoom.us/j/8473088589 - Graduate Seminar
Xiangwen Zhang - (UC Irvine)
TBA

TBA