All Seminars

Title: Geometric methods for Lens Design
Seminar: Analysis and Differential Geometry
Speaker: Vladimir Oliker of Emory University
Contact: Vladimir Oliker, oliker@mathcs.emory.edu
Date: 2011-11-22 at 4:00PM
Venue: MSC W301
Download Flyer
Abstract:
This is a continuation of an earlier talk by H. Palta. I will discuss an alternative approach to the problem of lens design.
Title: It Doesn’t Work Like that! Computers in the Movies and on TV
Seminar: EUMMA Undergrad Talk
Speaker: Dr. Valerie Summet of Emory University
Contact: Erin Nagle, erin@mathcs.emory.edu
Date: 2011-11-17 at 6:00PM
Venue: MSC W301
Download Flyer
Abstract:
Title: It doesn't work like that!: Computers in the Movies and on TV
EUMMA Talk: N/A
Speaker: Valerie Summet of Emory University
Contact: Erin Nagle, erin@mathcs.emory.edu
Date: 2011-11-17 at 6:00PM
Venue: MSC W301
Download Flyer
Abstract:
Title: Gaussian Markov Random Field Priors and MCMC for Inverse Problems
Seminar: Numerical Analysis and Scientific Computing
Speaker: Johnathan Bardsley of Department of Mathematical Sciences, University of Montana
Contact: Jim Nagy, nagy@mathcs.emory.edu
Date: 2011-11-16 at 12:50PM
Venue: W306
Download Flyer
Abstract:
In this talk I will explore the connections between Bayesian statistics and inverse problems. In particular, I will show how familiar quadratic regularization functions can be viewed as prior probability densities arising from Gaussian Markov Random Fields (GMRFs). GMRFs, in turn, correspond to concrete probabilistic assumptions regarding the value of the unknown image at a specific pixel based on the value of its neighbors. With a GMRF prior in hand, I will then show how to perform MCMC sampling of the unknown image and of the noise and prior precision values. The image sampling step is a large-scale structured linear algebra problem that has seen little attention by the numerical linear algebra community. The samples outputted by the MCMC method can be used to compute a reconstructed image, e.g. the sample mean, as well as estimates of the precision parameters, which can in turn be used to estimate the regularization parameter.
Title: Splitting projective modules using Chern classes
Seminar: Algebra and Number Theory
Speaker: Jean Fasel of LMU Munich
Contact: R. Parimala, parimala@mathcs.emory.edu
Date: 2011-11-15 at 3:00PM
Venue: MSC E406
Download Flyer
Abstract:
Let $X$ be a smooth affine variety of dimension $d$ over a field $k$ and let $E$ be a vector bundle of rank $r$. If $E$ splits off a free bundle of rank 1, then the Chern class $c_r(E)$ is trivial. If the base field $k$ is algebraically closed and $r=d$ then M.P.~Murthy (with N.~Mohan Kumar when $d=3$) proved that the converse statement holds. In this talk, we will discuss more general situations, namely $r=d$ over arbitrary fields and $r=d-1$ over algebraically closed fields.
Title: On Blow-ups of Compact Metrics and the Resulting Curvatures
Seminar: Analysis and Differential Geometry
Speaker: Pascal Philipp of Emory University
Contact: Vladimir Oliker, oliker@mathcs.emory.edu
Date: 2011-11-15 at 4:00PM
Venue: MSC W301
Download Flyer
Abstract:
On a compact Riemannian manifold with non-empty boundary, let a boundary defining function $\rho$ be given. Multiplying the compact metric by $\rho_{-2}$ defines a new metric. This conformal change, together with the interior of the original manifold, gives an infinite area Riemannian manifold $(M,g)$. The asymptotic behavior of the sectional curvatures of $g$ will be studied. The main result of these considerations will justify the use of asymptotically hyperbolic manifolds in fields of Mathematics and Physics.
Title: Querying Probabilistic Data
Colloquium: Computer Science
Speaker: Dan Suciu of University of Washington
Contact: Li Xiong, lxiong@mathcs.emory.edu
Date: 2011-11-14 at 2:00PM
Venue: MSC W201
Download Flyer
Abstract:
A major challenge in data management to date is how to manage uncertainty in the data; uncertainty may exist because the data was extracted automatically from text, or was derived from the physical world such as RFID data, or was obtained by integrating several data sets using fuzzy matches, or may be the result of complex stochastic models. This has motivated research on probabilistic databases, where uncertainty is modeled using probabilities, and whose goal is to deliver predictable performance for queries on large probabilistic databases. Probabilistic inference is known to be intractable in general, but once we fix a query and considers only the database as variable input, it becomes a specialized problem, which requires a specialized analysis. I will show that Unions of Conjunctive Queries (also known as non-recursive datalog rules) admit a dichotomy: every query is either provably \#P hard, or can be evaluated in PTIME. For practical purposes, the most interesting part of this dichotomy is the PTIME algorithm, which relies on the inclusion/exclusion formula. Interestingly, the algorithm succeeds in evaluating in polynomial time some queries for which the underlying Boolean formula does not admit polynomial size OBDDs or FBDDs, or even (we conjecture) a polynomial size d-DNNF.\\ \\ Bio: \\ Dan Suciu is a Professor in Computer Science at the University of Washington. He received his Ph.D. from the University of Pennsylvania in 1995, then was a principal member of the technical staff at AT and T Labs until he joined the University of Washington in 2000. Professor Suciu is conducting research in data management, with an emphasis on topics that arise from sharing data on the Internet, such as management of semistructured and heterogeneous data, data security, and managing data with uncertainties. He is a co-author of two books Data on the Web: from Relations to Semistructured Data and XML, 1999, and Probabilistic Databases, 2011. He holds twelve US patents, received the 2000 ACM SIGMOD Best Paper Award, the 2010 PODS Ten Years Best paper award, and is a recipient of the NSF Career Award and of an Alfred P. Sloan Fellowship. Suciu's PhD students Gerome Miklau and Christopher Re received the ACM SIGMOD Best Dissertation Award in 2006 and 2010 respectively, and Nilesh Dalvi was a runner up in 2008.
Title: Complex iso-length-spectral arithmetic hyperbolic 3-manifolds
Defense: Dissertation
Speaker: Sean Thomas of Emory University
Contact: Emily Hamilton, emh@mathcs.emory.edu
Date: 2011-11-11 at 2:00PM
Venue: MSC W303
Download Flyer
Abstract:
Title: Equivariant pretheories and invariants of torsors
Seminar: Algebra and Number Theory
Speaker: Kirill Zainoulline of University of Ottawa
Contact: Skip Garibaldi, skip@mathcs.emory.edu
Date: 2011-11-07 at 3:00PM
Venue: MSC E406
Download Flyer
Abstract:
In this talk we introduce and study the notion of an equivariant pretheory. Basic examples of such pretheories are equivariant Chow groups, equivariant $K$-theory and equivariant algebraic cobordism. As a new example we define an equivariant version of the cycle (co)homology with coefficients in a Rost cycle module. We also provide a version of Merkurjev's spectral sequence for equivariant cycle homology. As an application we generalize the theorem of Karpenko-Merkurjev on $G$-torsors and rational cycles; to every $G$-torsor $E$ and a $G$-equivariant pretheory we associate a graded ring which serves as an invariant of $E$. In the case of Chow groups this ring encodes the information concerning the motivic $J$-invariant of $E$ and in the case of Grothendieck's $K_0$ it encodes the indexes of the respective Tits algebras.
Title: Assimilation of velocity data into fluid dynamics simulations, an application to computational hemodynamics
Defense: Dissertation
Speaker: Marta D'Elia of Emory University
Contact: Marta D'Elia, mdelia2@emory.edu
Date: 2011-11-04 at 4:00PM
Venue: MSC W301
Download Flyer
Abstract:
Cardiovascular applications recently gave a strong impulse to numerical methods for fluid dynamics. Furthermore, thanks to new precise measurement devices and efficient image processing techniques, medicine is experiencing a tremendous increment of available data, inevitably affected by noise. Beyond validation, these data can be combined with numerical simulations in order to develop mathematical tools, known as data assimilation (DA) methods, of clinical impact. In the context of hemodynamics accuracy and reliability of assimilated solutions are particularly crucial in view of possible applications in the clinical routine. Hence, it is of central relevance to quantify the uncertainty of numerical results.\\ \\ We propose a robust DA technique for the inclusion of noisy velocity measures, collected from magnetic resonance imaging, into the simulation of hemodynamics equations, namely the incompressible Navier-Stokes equations (NSE). The technique is formulated as a control problem where a weighted misfit between velocity and data is minimized under the constraint of the NSE; the optimization problem is solved with a discretize then optimize approach relying on the finite element method. The control variable is the normal stress on the inflow section of the vessel, which is usually unknown in real applications. We design deterministic and statistical estimators (the latter based on a Bayesian approach to inverse problems) for the estimation of the blood velocity and its statistical properties and of related variables of medical relevance, such as the wall shear stress. We also derive conditions on data location that guarantee the existence of an optimal solution.\\ \\ Numerical simulations on 2-dimensional and axisymmetric 3-dimensional geometries show the consistency and accuracy of the method with synthetic noise-free and noisy data. Simulations on 2-dimensional geometries approximating blood vessels demonstrate the applicability of the approach for hemodynamics applications.