Inverse boundary problems: recent advances and challenges

Speaker: 

Katya Krupchyk

Institution: 

University of Helsinki

Time: 

Friday, December 6, 2013 - 2:00pm to 3:00pm

Host: 

Location: 

Nat Sci II, Room 1201

In an inverse boundary value problem one is interesting in determining the internal properties of a medium by making measurements on the boundary of the medium. In mathematical terms, one wishes to recover the coefficients of a partial differential equation inside the medium from the knowledge of the Cauchy data of solutions on the boundary. These problems have numerous applications, ranging from medical imaging to exploration geophysics. We shall discuss some recent progress in the analysis of inverse boundary problems, starting with the celebrated Calderon problem, and point out how the methods of microlocal and harmonic analysis can be brought to bear on these problems.  In particular, inverse problems with rough coefficients and with measurements performed only on a portion of the boundary will be addressed.

Minimal submanifolds in differential geometry

Speaker: 

Richard Schoen, Bass Professor of Humanities and Sciences

Institution: 

Stanford University

Time: 

Tuesday, March 12, 2013 - 2:00pm to 3:00pm

Location: 

RH 306

The theory of minimal surfaces arose historically from work of J. L. Lagrange and physical observations of J. Plateau almost 200 years ago. Rigorous mathematical theory was developed in the 20th century. In more recent times the theory has found important applications to diverse areas of geometry and relativity. In this talk, which is aimed at a general mathematical audience, we will introduce the subject and describe a few recent applications of the theory.

Asymptotic and bifurcation analysis of a travelling wave based mechanism for cell polarization

Speaker: 

Alexandra Jilkine

Institution: 

University of Arizona

Time: 

Thursday, January 24, 2013 - 4:00pm to 5:00pm

Location: 

RH 306

The ability of eukaryotic cells to polarize is essential for their division, differentiation into distinct tissues, and migration. During polarization various polarity proteins segregate to form a distinct front and rear. To understand a mechanism for polarization we consider a simplified PDE model describing the interchange of a polarity protein,  between an active membrane-bound form and an inactive cytosolic form. An initial transient signal results in a traveling front of activation that stops at some point in the domain, representing segregation of the cell into front and back. Using phase plane methods and numerical continuation we analyze the transition from a spatially heterogeneous (pinned wave) to a spatially homogeneous steady state as the ratio of the diffusion coefficients of the two forms and the total amount of material in the domain is varied. We discover a second spatially heterogeneous solution that acts as a threshold for polarity establishment, and give biological interpretation for this phenomenon.

Actin traveling waves in motile cells

Speaker: 

Jun Allard

Institution: 

UC Davis

Time: 

Wednesday, January 30, 2013 - 4:00pm to 5:00pm

Host: 

Location: 

RH 306

Traveling waves in actin have recently been reported in many cell types. Fish keratocyte cells, which usually exhibit rapid and steady motility, exhibit traveling waves of protrusion when plated on highly adhesive surfaces. We hypothesize that waving arises from a competition between actin polymerization and mature adhesions for VASP, a protein that associates with growing actin barbed ends. We developed a mathematical model of actin protrusion coupled with membrane tension, adhesions and VASP. The model is formulated as a system of partial differential equations with a nonlocal integral term and noise. Simulations of this model lead to a number of predictions, for example, that overexpression of VASP prevents waving, but depletion of VASP does not increase the fraction of cells that wave. The model also predicts that VASP exhibits a traveling wave whose peak is out of phase with the F-actin wave. Further experiments confirmed these predictions and provided quantitative data to estimate the model parameters. We thus conclude that the waves are the result of competition between actin and adhesions for VASP, rather than a regulatory biochemical oscillator or mechanical tag-of-war. We hypothesize that this waving behavior contributes to adaptation of cell motility mechanisms in perturbed environments.

Integro-differential Equations for Biomedical Image Processing and Modeling

Speaker: 

Associate Professo Chiu-Yen Kao

Institution: 

The Ohio State University

Time: 

Monday, January 30, 2012 - 3:00pm

Location: 

Natural Sciences 2 #3201

Differential and Integral Equations are powerful tools to model and analyze biological problems. In this talk, two different biological applications will be discussed: one is in biomedical images and the other is in cellular biology.

The basic medical science research and clinical diagnosis and treatment have strongly benefited from the development of various noninvasive biomedical imaging techniques and modeling, e.g. magnetic resonance imaging (MRI) and computed tomography (CT). We introduce integro-differential models to the morphology and connectome study of human brains from brain images, as well as the shape analysis of ciliary muscles from human eyes.

In the application of cellular biology, we investigate the cell differentiation model of T cells. T cells of the immune system, upon maturation, differentiate into either Th1 or Th2 cells that have different functions. The decision to which cell type to differentiate depends on the concentrations of transcription factors T-bet and GATA-3. We study a population density model of the T cells and show that, under some conditions on the parameters of the system of integro-differential equations, various T cells differentiation scenarios occur.

An Efficient Rearrangement Algorithm for Shape Optimization Problem Involving Principal Eigenvalue in Population Dynamics

Speaker: 

Associate Professor Chiu-Yen Kao

Institution: 

The Ohio State University

Time: 

Tuesday, January 31, 2012 - 10:00am

Location: 

RH 306

In this talk, an efficient rearrangement algorithm is introduced to the minimization of the positive principal eigenvalue under the constraint that the absolute value of the weight is bounded and the total weight is a fixed negative constant. Biologically, this minimization problem is motivated by the question of determining the optimal spatial arrangement of favorable and unfavorable regions for a species to survive. The method proposed is based on Rayleigh quotient formulation of eigenvalues and rearrangement algorithms which can handle topology changes automatically. Using the efficient rearrangement strategy, the new proposed method is more efficient than classical level set approaches based on shape and/or topological derivatives. The optimal results are explored theoretically and numerically under different geometries and boundary conditions.

Spectral rigidity of the ellipse

Speaker: 

Hamid Hezari

Institution: 

MIT

Time: 

Thursday, January 26, 2012 - 2:00pm

Location: 

RH 306

In 1966, Marc Kac in his famous paper 'Can one hear the shape of a drum?' raised the following question: Is a bounded Euclidean domain determined up to isometries from the eigenvalues of the Euclidean Laplacian with either Dirichlet or Neumann boundary conditions? Physically, one motivation for this problem is identifying distant physical objects, such as stars or atoms, from the light or sound they emit.

The only domains which are known to be spectrally distinguishable from all other domains are balls. It is not even known whether or not ellipses are spectrally rigid, i.e. whether or not any continuous family of domains containing an ellipse and having the same spectrum as that ellipse is necessarily trivial.

In a joint work with Steve Zelditch we show that ellipses are infinitesimally spectrally rigid among smooth domains with the symmetries of the ellipse. Spectral rigidity of the ellipse has been expected for a long time and is a kind of model problem in inverse spectral theory. Ellipses are special since their billiard flows and maps are completely integrable. It was conjectured by G. D. Birkhoff that the ellipse is the only convex smooth plane domain with completely integrable billiards. Our results are somewhat analogous to the spectral rigidity of flat tori or the sphere in the Riemannian setting. The main step in the proof is the Hadamard variational formula for the wave trace. It is of independent interest and it might have applications to spectral rigidity beyond the setting of ellipses. The main advance over prior results is that the domains are allowed to be smooth rather than real analytic. Our proof also uses many techniques developed by Duistermaat-Guillemin and Guillemin-Melrose in closely related problems.

Multiscale analysis of solid materials: From electronic structure models to continuum theories

Speaker: 

Jianfeng Lu

Institution: 

Courant Institute of Mathematical Sciences

Time: 

Wednesday, January 25, 2012 - 4:00pm

Location: 

RH 306

Modern material sciences focus on studies on the microscopic scale. This calls for mathematical understanding of electronic structure and atomistic models, and also their connections to continuum theories. In this talk, we will discuss some recent works where we develop and generalize ideas and tools from mathematical analysis of continuum theories to these microscopic models. We will focus on macroscopic limit and microstructure pattern formation of electronic structure models.

On the parity conjecture for Selmer groups of modular forms

Speaker: 

Dr. Liang Xiao

Institution: 

University of Chicago

Time: 

Thursday, January 19, 2012 - 2:00pm

Location: 

RH 306

The parity conjecture is a weak version of Birch-Swinnerton-Dyer
Conjecture or more generally, Beilinson-Bloch-Kato Conjecture. It is
conjectured that the vanishing order of the L-function at the central
point has the same parity as the dimension of the Bloch-Kato Selmer
group. I will explain an approach to this conjecture for modular
forms by varying the modular forms in a p-adic family. This is a joint
work with Kiran Kedlaya and Jay Pottharst.

Generating Non-intuitive Insight at the Intersection of Math and Biology

Speaker: 

NIH Postdoctoral Research Fellow Suzanne Sindi

Institution: 

Brown University

Time: 

Tuesday, February 22, 2011 - 11:00am

Location: 

NatSci 2 Room 3201

Mathematical models have become essential tools in the increasingly quantitative world of biology. In some cases, mathematics can reveal patterns in pre-existing static biological data. In other cases, mathematical models can interact dynamically with experimental biology by providing insight into observed phenomena as well as generating novel and non-intuitive hypotheses to motivate experimental design. In this talk, I will present my recent work in both of these realms of mathematical biology.

I developed a mathematical model to discover inversion structural variants in human populations from pre-existing SNP data. Inversion chromosomal variants have long been considered important in understanding speciation because large inversions create reproductive isolation by suppressing recombination between inverted and normal chromosomes. Recent studies have identified many polymorphic inversion variants in human populations. Many of these inversions appear to have functional consequences and have been associated with genetic disorders and complex diseases, such as asthma. In addition, there is evidence some inversions may be under positive selection. I created a probabilistic mixture to identify putative inversion polymorphisms from phased haplotype data. By examining characteristic differences in allele frequencies around candidate inversion breakpoints, I partition the population into "normal" and "inverted" chromosomes. Predictions from my model are supported by previously validated inversions and represent a rich new source of candidate inversion polymorphisms.

In collaboration with experimental yeast biologists, I developed and validated a new model of prion transmission. Prion proteins are responsible for severe neurodegenerative disorders, such as bovine spongiform encephalopathy in cattle ("mad cow" disease) and Creutzfeldt-Jakob disease in humans. These diseases arise when a protein adopts an abnormal folded state and persists when that form self-replicates. While prion diseases are progressive, evidence in yeast suggests that this process can be reversed and eliminated. To understand the mechanistic basis of this "curing", I developed a stochastic model of prion dynamics that suggested a new theory for prion transmission. Results from my model guided experimental design, leading to new and non-intuitive insights about propagation of the abnormal fold through a population.

Pages

Subscribe to RSS - Special Colloquium