Wednesday, November 12, 2008 - 11:00 , Location: Skiles 255 , Benjamin Ridenhour , CDC/CCID/NCIRD, CTR , Organizer:
Parent-offspring interactions lead to natural conflicts. Offspring want as many resources as possible from parents in order to gain maximal fitness levels. On the other hand, parents desire to invest only enough to guarantee survival to reproduction. The resolution of the parent-offspring conflict has been a topic of much debate in evolutionary biology and typically invoke the concept of 'costs' to begging by offspring. Here I present the analysis of a simple quantitative genetic model of parent-offspring interactions that does not costs to resolve parent-offspring conflicts.
Series: PDE Seminar
We discuss the inverse problem of determining elastic parameters in the interior of an anisotropic elastic media from dynamic measurements made at the surface. This problem has applications in medical imaging and seismology. The boundary data is modeled by the Dirichlet-to-Neumann map, which gives the correspondence between surface displacements and surface tractions. We first show that, without a priori information on the anisotropy type, uniqueness can hold only up to change of coordinates fixing the boundary. In particular, we study orbits of elasticity tensors under diffeomorphisms. Then, we obtain partial uniqueness for special classes of transversely isotropic media. This is joint work with L. Rachele (RPI).
Series: Dissertation Defense
Series: Analysis Seminar
It is easy to ask for the number T(g,n) of (rooted) graphs with n edges on a surface of genus g. Bender et al gave an asymptotic expansion for fixed g and large n. The contant t_g remained missing for over 20 years, although it satisfied a complicated nonlinear recursion relation. The relation was vastly simplified last year. But a further simplification was made possible last week, thus arriving to Painleve I. I will review many trivialities and lies about this famous non-linear differential equation, from a post modern point of view.
Monday, November 10, 2008 - 13:00 , Location: Skiles 255 , Guowei Wei , Michigan State University , Organizer: Haomin Zhou
Solvation process is of fundamental importance to other complex biological processes, such signal transduction, gene regulation, etc. Solvation models can be roughly divided into two classes: explicit solvent models that treat the solvent in molecular or atomic detail while implicit solvent models take a multiscale approach that generally replaces the explicit solvent with a dielectric continuum. Because of their fewer degrees of freedom, implicit solvent methods have become popular for many applications in molecular simulation with applications in the calculations of biomolecular titration states, folding energies, binding affinities, mutational effects, surface properties, and many other problems in chemical and biomedical research. In this talk, we introduce a geometric flow based multiscale solvation model that marries a microscopic discrete description of biomolecules with a macroscopic continuum treatment of the solvent. The free energy functional is minimized by coupled geometric and potential flows. The geometric flow is driven not only by intrinsic forces, such as mean curvatures, but also by extrinsic potential forces, such as those from electrostatic potentials. The potential flow is driven mainly by a Poisson-Boltzmann like operator. Efficient computational methods, namely the matched interface and boundary (MIB) method, is developed for to solve the Poisson- Boltzmann equation with discontinuous interface. A Dirichlet- to-Neumann mapping (DTN) approach is developed to regularize singular charges from biomolecules.
Series: Combinatorics Seminar
Given a set of linear equations Mx=b, we say that a set of integers S is (M,b)-free if it contains no solution to this system of equations. Motivated by questions related to testing linear-invariant Boolean functions, as well as recent investigations in additive number theory, the following conjecture was raised (implicitly) by Green and by Bhattacharyya, Chen, Sudan and Xie: we say that a set of integers S \subseteq [n], is \epsilon-far from being (M,b)-free if one needs to remove at least \epsilon n elements from S in order to make it (M,b)-free. The conjecture was that for any system of homogeneous linear equations Mx=0 and for any \epsilon > 0 there is a *constant* time algorithm that can distinguish with high probability between sets of integers that are (M,0)-free from sets that are \epsilon-far from being (M,0)-free. Or in other words, that for any M there is an efficient testing algorithm for the property of being (M,0)-free. In this paper we confirm the above conjecture by showing that such a testing algorithm exists even for non-homogeneous linear equations. As opposed to most results on testing Boolean functions, which rely on algebraic and analytic arguments, our proof relies on results from extremal hypergraph theory, such as the recent removal lemmas of Gowers, R\"odl et al. and Austin and Tao.
Series: Probability Working Seminar
A discrete infinite volume limit for random trees will be constructed and studied.
Series: Geometry Topology Seminar
In the 1980s Gromov showed that curvature (in the triangle comparison sense) decreases under branched covers. In this expository talk I shall prove Gromov's result, and then discuss its generalization (due to Allcock) that helps show that some moduli spaces arising in algebraic geometry have contractible universal covers. The talk should be accessible to those interested in geometry/topology.
Series: Stochastics Seminar
The limiting law of the length of the longest increasing subsequence, LI_n, for sequences (words) of length n arising from iid letters drawn from finite, ordered alphabets is studied using a straightforward Brownian functional approach. Building on the insights gained in both the uniform and non-uniform iid cases, this approach is then applied to iid countable alphabets. Some partial results associated with the extension to independent, growing alphabets are also given. Returning again to the finite setting, and keeping with the same Brownian formalism, a generalization is then made to words arising from irreducible, aperiodic, time-homogeneous Markov chains on a finite, ordered alphabet. At the same time, the probabilistic object, LI_n, is simultaneously generalized to the shape of the associated Young tableau given by the well-known RSK-correspondence. Our results on this limiting shape describe, in detail, precisely when the limiting shape of the Young tableau is (up to scaling) that of the iid case, thereby answering a conjecture of Kuperberg. These results are based heavily on an analysis of the covariance structure of an m-dimensional Brownian motion and the precise form of the Brownian functionals. Finally, in both the iid and more general Markovian cases, connections to the limiting laws of the spectrum of certain random matrices associated with the Gaussian Unitary Ensemble (GUE) are explored.
Series: School of Mathematics Colloquium
In this talk, we discuss 1.) the nonlinear instability and unstable manifolds of steady solutions of the Euler equation with fixed domains and 2.) the evolution of free (inviscid) fluid surfaces, which may involve vorticity, gravity, surface tension, or magnetic fields. These problems can be formulated in a Lagrangian formulation on infinite dimensional manifolds of volume preserving diffeomorphisms with an invariant Lie group action. In this setting, the physical pressure turns out to come from the combination of the gravity, surface tension, and the Lagrangian multiplier. The vorticity is naturally related to an invariant group action. In the absence of surface tension, the well-known Rayleigh-Taylor and Kelvin-Helmholtz instabilities appear naturally related to the signs of the curvatures of those infinite dimensional manifolds. Based on these considerations, we obtain 1.) the existence of unstable manifolds and L^2 nonlinear instability in the cases of the fixed domains and 2.) in the free boundary cases, the local well-posedness with surface tension in a rather uniform energy method. In particular, for the cases without surface tension which do not involve hydrodynamical instabilities, we obtain the local existence of solutions by taking the vanishing surface tension limit.