The construction, maintenance and disruption of tissues emerge from the interactions of cells with each other, the extracellular microenvironment that the cells create and their external boundary conditions. Our ability to make biomedically meaningful predictions at the organ or organism level is limited because of the difficulty of predicting the emergent properties of large ensembles of cells. A middle-out approach to model building starting from cell behaviors and combining subcellular molecular reaction kinetics models, the physical and mechanical behaviors of cells and the longer range effects of the extracellular environment, allows us to address such emergence. I will discuss CompuCell3D as a multi-scale, multi-cell modeling platform to study such emergent phenomena and to connect them to their physiological outcomes. I will illustrate two projects using CompuCell3D, the development and of blood vessels and its effect on the growth of a generic model solid tumor and Choroidal Neovascularization (CNV) in Age-Related Macular Degeneration (the most common cause of blindness among the elderly). Time permitting, I will also briefly discuss our proof-of-concept simulations of somatic evolution in solid tumors.
In this talk, we show an electronic structure study making use of algebraic theory. Density functional theory (DFT) has become a basic tool for the study of electronic structure of matter, in which the Hohenberg-Kohn theorem plays a fundamental role in the development of DFT. Unfortunately, the existing proofs are incomplete. In the first part of this talk, we present a rigorous proof for the Hohenberg-Kohn theorem for Coulomb type systems using the Fundamental Theorem of Algebra. Kohn-Sham equation, a nonlinear eigenvalue problem, is the most widely used DFT model. In the second part, after using group theory to divide an eigenvalue problem into some groups of smaller ones that can be solved independently and in a two-level manner, we apply the decomposition approach to electronic structure calculations of symmetric cluster systems, in which we solve successfully thousands of Kohn-Sham eigenpairs with millions of degree of freedoms.
In 1982 Calabi proposed studying gradient flow of the L^2 norm
of the scalar curvature (now called Calabi flow) as a tool for finding
canonical metrics within a given Kahler class. The main motivating
conjecture behind this flow (due to Calabi-Chen) asserts the smooth long
time existence of this flow with arbitrary initial data. By exploiting
aspects of the Mabuchi-Semmes-Donaldson metric on the space of Kahler
metrics I will construct a kind of weak solution to this flow, known as a
minimizing movement, which exists for all time.
Interval translation maps (ITMs) are non-invertible generalizations of interval exchanges (IETs). The dynamics of finite type ITMs is similar to IETs, while infinite type ITMs are known to exhibit new interesting effects. The finiteness conjecture says that the subset of ITMs of finite type is open, dense, and has full Lebesgue measure. In my talk, I will prove the conjecture for the ITMs of three intervals and discuss some open problems.
Finite-time Lyapunov exponents and vectors are used to define and diagnose boundary-layer type, two-timescale behavior and to determine the associated manifold structure in the flow. Two-timescale behavior is characterized by a slow-fast splitting of the tangent bundle for a state space region. The slow-fast splitting, defined by finite-time Lyapunov exponents and vectors, is interpreted in relation to the asymptotic theory of partially hyperbolic sets. The finite-time Lyapunov approach relies more heavily on the Lyapunov vectors due to their relatively fast convergence compared to that of the corresponding exponents. Examples of determining slow manifolds and solving Hamiltonian boundary-value problems associated with optimal control are described.
By now there is a long list of questions in analysis and algebra which are known to be undecided in the standard set theory (Zermelo-Fraenkel). In particular, no standard methods accepted and used by mathematicians can provide a proof deciding such questions. Yet, a definitive answer is often desirable. I will discuss some axioms that settle most of these open questions, provide useful extensions of standard set theory, and are intersting on their own. These axioms rely on the existence of sets that are significantly "larger" than any sets mainstream mathematics works with.
In this talk, I will present some rigidity problems and theorems from analysis, partial differential equations and differential geometry. For examples, the uniqueness theorem of holomorphic functions upper rigidity of harmonic mapping. In particular, I will present some rigidity theorem for proper holomorphic mapping and smooth solutions of some degenerate elliptic partial differential equations.