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.

Random Matrix Theory: A short survey and recent results on universality

Speaker: 

Harvard University Jun Yin

Institution: 

Benjamin Peirce Assistant Professor

Time: 

Friday, January 21, 2011 - 4:00pm

Location: 

RH 306

We give a short review of the main historical developments of random matrix theory. We emphasize both the theoretical aspects, and the application of the theory to a number of fields, including the recent works on the universalities of random matrices.

Compressive Sampling and Redundancy

Speaker: 

Postdoctoral Fellow Deanna Needell

Institution: 

Stanford University

Time: 

Thursday, January 20, 2011 - 4:00pm

Location: 

RH 306

Compressive sampling (CoSa) is a new and fast-growing field which addresses the shortcomings of traditional signal acquisition. Many methods in CoSa have been developed to reconstruct a signal from few samples when the signal is sparse with respect to some orthonormal basis. This talk will introduce the field of CoSa and present new results in compressive sampling from undersampled data for which the signal is not sparse in an orthonormal basis, but rather in some arbitrary dictionary. We will highlight numerous applications to which this framework applies and interpret our results in these settings. Since the dictionary need not even be incoherent, this work bridges a gap in the literature by showing that signal recovery is feasible for truly redundant dictionaries. We show that the recovery can be accomplished by solving an l1-analysis optimization problem, and that the condition we impose on the measurement matrix which samples the signal is satisfied by many classes of random matrices. We will also show numerical results which highlight the potential of the l1-analysis problem.

Resolution of singularities on modular curves

Speaker: 

Member Jared Weinstein

Institution: 

Institute for Advanced Study

Time: 

Wednesday, January 19, 2011 - 4:00pm

Location: 

RH 306

The modular curve X(N) is a fundamental object in number theory. As a Riemann surface, it is a quotient of the upper half plane by a subgroup of SL2(Z), but it also admits a moduli interpretation in terms of elliptic curves together with level structure. When p is a prime dividing N with high multiplicity, the standard model of X(N) over the integers has horrible singularities modulo p. We will reveal a new model for X(N) whose reduction modulo p is a kaleidoscopic configuration of interesting smooth curves modulo p, with only mild singularities (the model is "semistable"). This result is the tip of the iceberg of a story which unites the representation theory of p-adic groups with the geometry of varieties over finite fields.

Geometric modular forms in higher dimensions

Speaker: 

Veblen Research Instructor Kai-Wen Lan

Institution: 

Princeton University and Institute for Advanced Studies

Time: 

Tuesday, January 18, 2011 - 3:00pm

Location: 

RH 306

Modular forms and their higher-dimensional analogues are a priori analytically defined objects which happen to have many interesting relations to other subjects (such as number theory). In this lecture, I will review how algebraic geometry of modular curves (in mixed characteristics) was used for studying an important class of modular forms, and explain how geometry of the so-called Shimura varieties can be used for an analogous theory in higher dimensions. If time permits, I will also explain some interesting new application of such a theory to the study of torsion in the singular cohomology of Shimura varieties.

Pages

Subscribe to RSS - Special Colloquium