Laplace Operator and Heat Kernel for Shape Analysis
|
|
- May Lindsey
- 5 years ago
- Views:
Transcription
1 Laplace Operator and Heat Kernel for Shape Analysis Jian Sun Mathematical Sciences Center, Tsinghua University
2 R kf := 2 f x 2 1 Laplace Operator on R k, the standard Laplace operator: R kf := div f f x 2 k
3 R kf := 2 f x 2 1 Laplace Operator on R k, the standard Laplace operator: R kf := div f f x 2 k on a Riemannian manifold (M, g), Laplace-Beltrami operator: M f := div f M f := 1 det g i,j x j (g ij det g f x i )
4 Laplace Operator on a Riemannian manifold, Laplace-Beltrami operator: Exponential map: exp : V R k U by exp(x) = γ(p, x, 1) f(x) = f(exp(x)) M f := R k f = 2 f x f x 2 k Laplace-Beltrami operator is invariant under the map preserving geodesics V x x U R k exp
5 M φ = λφ Eigenvalues and eigenfunctions For compact manifold, M is compact 0 λ 0 λ 1 λ 2, is the only accumulating point
6 M φ = λφ Eigenvalues and eigenfunctions For compact manifold, M is compact 0 λ 0 λ 1 λ 2, is the only accumulating point Spectrum: eigenvalues λ n 4π 2 ( heat trace: i eλ it = n w d V ol(m) )2/d as n 1 (4πt) d/2 i c it. - c 0 = vol(m), c 1 = 1 3 s.
7 isospectrality Spectrum Can you hear the shape of a drum [Kac 1966] Does the spectrum determines the shape upto isometry
8 isospectrality Spectrum Can you hear the shape of a drum [Kac 1966] Does the spectrum determines the shape upto isometry negative [Gordon et al. 1992, Buser et al. 1992]
9 Spectrum Spectrum: shape DNA [Reuter et al. 2006]
10 Eigenfunctions M φ = λφ, (M, g) is C -manifold nodal set: φ 1 (0), nodal domain: the connected component of M \ φ 1 (0) Nodal domain theorem [Courant and Hilbert 1953, Cheng 1976]: # of nodal domains of the i-th eigenfunction i + 1 Properties of Nodal Set [Cheng 1976]: Except on a closed set of lower dimension(i.e., dim < d 1) the nodal set off forms an (d - 1)-dim C -manifold
11 sphere (x 2 + y 2 + z 2 = 1) Examples λ 1 = 2(1.91) λ 2 = 2(1.92) λ 1 = 2(1.93)
12 star Examples
13 human Examples
14 Intrinsic Symmetry Detection
15 Intrinsic Symmetry intrinsic symmetry: a self map preserving geodesic distances
16 Intrinsic Symmetry intrinsic symmetry: a self map preserving geodesic distances invariant under non-rigid transformations
17 Intrinsic Symmetry intrinsic symmetry: a self map preserving geodesic distances invariant under non-rigid transformations extrinsic symmetry: rotation and reflection preserve Euclidean distances invariant only under rigid transformations
18 extrinsic symmetry Related Work [Mitra et al. 06] [Podolak et al. 06] [Shimari et al. 06] [Martinet et al. 07] intrinsic symmetry difficulty: no simple characterization
19 Global Point Signature our strategy: reduce intrinsic to extrinsic our tool: eigenfunctions φ i and eigenvalues λ i of M
20 Global Point Signature our strategy: reduce intrinsic to extrinsic our tool: eigenfunctions φ i and eigenvalues λ i of M for each point p on M, its GPS [Rustamov 07] s(p) = φ 1 (p) λ1 φ 2 (p) λ2. φ i (p) λi.
21 Global Point Signature our strategy: reduce intrinsic to extrinsic our tool: eigenfunctions φ i and eigenvalues λ i of M for each point p on M, its GPS [Rustamov 07] T s(p) = φ 1 (p) λ1 φ 2 (p) λ2. φ i (p) λi. relation between s(p) and s(t (p))? s(t (p)) = φ 1 (T (p)) λ1 φ 2 (T (p)) λ2. φ i (T (p)) λi.
22 Transforming Theorem Theorem: For a compact manifold M, T is an intrinsic symmetry if and only if there is a transformation R such that R(s(p)) = s(t (p)) for each point p M and R restricting to any eigenspace is a rigid transformation.
23 Transforming Theorem Theorem: For a compact manifold M, T is an intrinsic symmetry if and only if there is a transformation R such that R(s(p)) = s(t (p)) for each point p M and R restricting to any eigenspace is a rigid transformation. only if part
24 Eigenfunctions and Intrinsic Symmetry 1. φ = φ T : positive eigenfunction 2. φ = φ T : negative eigenfunction 3. λ is a repeated eigenvalue φ(t (p)) = φ(p) q T (q) o φ p T (p)
25 Eigenfunctions and Intrinsic Symmetry 1. φ = φ T : positive eigenfunction 2. φ = φ T : negative eigenfunction 3. λ is a repeated eigenvalue φ(p) φ(t (p)) q T (q) o φ reflection p T (p)
26 Eigenfunctions and Intrinsic Symmetry T (p) 1. φ = φ T : positive eigenfunction 2. φ = φ T : negative eigenfunction 3. λ is a repeated eigenvalue φ 2 (φ 1 (p), φ 2 (p)) p T (p) φ(p) o φ 1 φ 1 p (φ 1 (T (p)), φ 2 (T (p))) rotation φ 2
27 Transforming Theorem Theorem: For a compact manifold M, T is an intrinsic symmetry if and only if there is a transformation R such that R(s(p)) = s(t (p)) for each point p M and R restricting to any eigenspace is a rigid transformation.
28 Transforming Theorem Theorem: For a compact manifold M, T is an intrinsic symmetry if and only if there is a transformation R such that R(s(p)) = s(t (p)) for each point p M and R restricting to any eigenspace is a rigid transformation. one to one correspondence between T and R - T is an identity R is an identity
29 Transforming Theorem Theorem: For a compact manifold M, T is an intrinsic symmetry if and only if there is a transformation R such that R(s(p)) = s(t (p)) for each point p M and R restricting to any eigenspace is a rigid transformation. one to one correspondence between T and R - T is an identity R is an identity detection of intrinsic symmetry reduced to that of extrinsic rigid transformation - detection of extrinsic symmetry [Rus07, PSG06, MGP06, MSHS06]
30 Results scans of a real person (SCAPE dataset)
31 Limitation of Global Point Signature For any x, its GPS [Rus07]: GPS x = ( φ 1 (x)/ λ 1, φ 2 (x)/ λ 2,, φ i (x)/ λ i, ) global not unique - orthonormal transformation within eigenspace - eigenfunction switching [GVL96] courtesy of Jain and Zhang
32 Heat Kernel Signature
33 Heat Kernel Signature define HKS for any point x as a function on R + : HKS x : R + R +
34 Heat Kernel Signature define HKS for any point x as a function on R + : HKS x : R + R + isometric invariant
35 HKS x : R + R + isometric invariant multi-scale Heat Kernel Signature define HKS for any point x as a function on R + :
36 HKS x : R + R + isometric invariant multi-scale informative Heat Kernel Signature define HKS for any point x as a function on R + : {HKS x } x M characterizes almost all shapes up to isometry.
37 Heat Diffusion Process how heat diffuses over time f H t (f) =? o t
38 Heat Diffusion Process how heat diffuses over time f H t (f) =? o x y t heat kernel k t (x, y) : R + M M R + heat transferred from y to x in time t H t f(x) = M k t(x, y)f(y)dy
39 Heat Diffusion Process how heat diffuses over time f H t (f) =? o x y t heat kernel k t (x, y) : R + M M R + heat transferred from y to x in time t H t f(x) = M k t(x, y)f(y)dy k t (x, y) = i e λ it φ i (x)φ i (y)
40 Heat Kernel characterize shape up to isometry T : M N is isometric iff k t (x, y) = k t (T (x), T (y)). heat kernel recovers geodesic distances. - d 2 M (x, y) = 4 lim t 0 t log k t (x, y) heat diffusion process governed by heat equation. - M u(t, x) = u(t,x) t generate a Brownian motion on a manifold.
41 multi-scale Heat Kernel for any x, a family of functions {k t (x, )} t x x x x x t = 0: δ funct t : const funct t local features in small t s; global summaries in big t s
42 multi-scale Heat Kernel for any x, a family of functions {k t (x, )} t x x x x x t = 0: δ funct t : const funct t local features in small t s; global summaries in big t s however, {k t (x, )} t s complexity is extremely high difficult to compare {k t (x, )} t with {k t (x, )} t
43 Heat Kernel Signature HKS is the restriction of {k t (x, )} t to the temporal domain HKS x : R + R + by HKS x (t) = k t (x, x)
44 Heat Kernel Signature HKS is the restriction of {k t (x, )} t to the temporal domain HKS x : R + R + by HKS x (t) = k t (x, x) concise and commensurable multi-scale isometric invariant
45 Heat Kernel Signature HKS is the restriction of {k t (x, )} t to the temporal domain HKS x : R + R + by HKS x (t) = k t (x, x) concise and commensurable multi-scale isometric invariant informative?
46 {HKS x } x M is informative Heat Kernel Signature Informative Theorem. If the eigenvalues of M and N are not repeated, a homeomorphism T : M N is isometric iff kt M (x, x) = kt N (T (x), T (x)) for any x M and any t > 0.
47 {HKS x } x M is informative Heat Kernel Signature Informative Theorem. If the eigenvalues of M and N are not repeated, a homeomorphism T : M N is isometric iff kt M (x, x) = kt N (T (x), T (x)) for any x M and any t > 0. almost all shapes have no repeated eigenvalues [BU82]
48 {HKS x } x M is informative Heat Kernel Signature Informative Theorem. If the eigenvalues of M and N are not repeated, a homeomorphism T : M N is isometric iff kt M (x, x) = kt N (T (x), T (x)) for any x M and any t > 0. almost all shapes have no repeated eigenvalues [BU82] the theorem fails if there are repeated eigenvalues fails! fails?
49 Relation to Curvature the polynomial expansion of HKS at small t: HKS x (t) = k t (x, x) = (4πt) d/2 ( s(x)t + O(t2 )) plot of k t (x, x) for a fixed t
50 Relation to Diffusion Distance diffusion distance [Laf04] d 2 t (x, y) = k t (x, x) + k t (y, y) 2k t (x, y) eccentricity in terms of diffusion distance 1 ecc t (x) = d 2 t (x, y)dy A M M = k t (x, x) + H M (t) 2 A M, - ecc t (x) and k t (x, x) have the same level sets, in particular, extrema points - shape segmentation [dggv08]
51 Multi-Scale Matching scaled HKS: k t (x,x) M k t(x,x)dx
52 Multi-Scale Matching
53 Multi-Scale Matching maxima of k t (x, x) for a fixed t.
54 Thank you for your attention Questions?
55 Results
56 Laplace-Beltrami Operator: Computation based on its eigenfunctions and eigenvalues k t (x, y) = i e λ it φ i (x)φ i (y) HKS x (t) = k t (x, x) = i e λ it φ 2 i (x) discrete case: build the discrete Laplace operator L = A 1 W [BSW08] solve W φ = λaφ compute HKS x (t) = i e λ it φ 2 i (x)
57 second level bulletin first level bulletin - third level bulletin Page Title
Heat Kernel Signature: A Concise Signature Based on Heat Diffusion. Leo Guibas, Jian Sun, Maks Ovsjanikov
Heat Kernel Signature: A Concise Signature Based on Heat Diffusion i Leo Guibas, Jian Sun, Maks Ovsjanikov This talk is based on: Jian Sun, Maks Ovsjanikov, Leonidas Guibas 1 A Concise and Provably Informative
More informationJustin Solomon MIT, Spring 2017
Justin Solomon MIT, Spring 2017 http://pngimg.com/upload/hammer_png3886.png You can learn a lot about a shape by hitting it (lightly) with a hammer! What can you learn about its shape from vibration frequencies
More informationSpectral Processing. Misha Kazhdan
Spectral Processing Misha Kazhdan [Taubin, 1995] A Signal Processing Approach to Fair Surface Design [Desbrun, et al., 1999] Implicit Fairing of Arbitrary Meshes [Vallet and Levy, 2008] Spectral Geometry
More informationIFT LAPLACIAN APPLICATIONS. Mikhail Bessmeltsev
IFT 6112 09 LAPLACIAN APPLICATIONS http://www-labs.iro.umontreal.ca/~bmpix/teaching/6112/2018/ Mikhail Bessmeltsev Rough Intuition http://pngimg.com/upload/hammer_png3886.png You can learn a lot about
More informationUsing heat invariants to hear the geometry of orbifolds. Emily Dryden CAMGSD
Using heat invariants to hear the geometry of orbifolds Emily Dryden CAMGSD 7 March 2006 1 The Plan 1. Historical motivation 2. Orbifolds 3. Heat kernel and heat invariants 4. Applications 2 Historical
More informationCS 468, Spring 2013 Differential Geometry for Computer Science Justin Solomon and Adrian Butscher
CS 468, Spring 2013 Differential Geometry for Computer Science Justin Solomon and Adrian Butscher http://graphics.stanford.edu/projects/lgl/papers/nbwyg-oaicsm-11/nbwyg-oaicsm-11.pdf Need to understand
More informationSpectral Algorithms II
Spectral Algorithms II Applications Slides based on Spectral Mesh Processing Siggraph 2010 course Applications Shape retrieval Parameterization i 1D 2D Quad meshing Shape Retrieval 3D Repository Query
More informationIntroduction to Spectral Geometry
Chapter 1 Introduction to Spectral Geometry From P.-S. Laplace to E. Beltrami The Laplace operator was first introduced by P.-S. Laplace (1749 1827) for describing celestial mechanics (the notation is
More informationLaplace-Beltrami Eigenfunctions for Deformation Invariant Shape Representation
Laplace-Beltrami Eigenfunctions for Deformation Invariant Shape Representation Author: Raif M. Rustamov Presenter: Dan Abretske Johns Hopkins 2007 Outline Motivation and Background Laplace-Beltrami Operator
More informationEE Technion, Spring then. can be isometrically embedded into can be realized as a Gram matrix of rank, Properties:
5/25/200 2 A mathematical exercise Assume points with the metric are isometrically embeddable into Then, there exists a canonical form such that for all Spectral methods We can also write Alexander & Michael
More informationSpectral theory, geometry and dynamical systems
Spectral theory, geometry and dynamical systems Dmitry Jakobson 8th January 2010 M is n-dimensional compact connected manifold, n 2. g is a Riemannian metric on M: for any U, V T x M, their inner product
More informationFunctional Maps ( ) Dr. Emanuele Rodolà Room , Informatik IX
Functional Maps (12.06.2014) Dr. Emanuele Rodolà rodola@in.tum.de Room 02.09.058, Informatik IX Seminar «LP relaxation for elastic shape matching» Fabian Stark Wednesday, June 18th 14:00 Room 02.09.023
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
More informationLecture 1 Introduction
Lecture 1 Introduction 1 The Laplace operator On the 3-dimensional Euclidean space, the Laplace operator (or Laplacian) is the linear differential operator { C 2 (R 3 ) C 0 (R 3 ) : f 2 f + 2 f + 2 f,
More informationOne can hear the corners of a drum
Bull. London Math. Soc. 48 (2016) 85 93 C 2015 London Mathematical Society doi:10.1112/blms/bdv094 One can hear the corners of a drum Zhiqin Lu and Julie M. Rowlett Abstract We prove that the presence
More informationHeat Kernel Asymptotics on Manifolds
Heat Kernel Asymptotics on Manifolds Ivan Avramidi New Mexico Tech Motivation Evolution Eqs (Heat transfer, Diffusion) Quantum Theory and Statistical Physics (Partition Function, Correlation Functions)
More informationSpectral Algorithms I. Slides based on Spectral Mesh Processing Siggraph 2010 course
Spectral Algorithms I Slides based on Spectral Mesh Processing Siggraph 2010 course Why Spectral? A different way to look at functions on a domain Why Spectral? Better representations lead to simpler solutions
More informationThe Laplace-Beltrami-Operator on Riemannian Manifolds. 1 Why do we need the Laplace-Beltrami-Operator?
Frank Schmidt Computer Vision Group - Technische Universität ünchen Abstract This report mainly illustrates a way to compute the Laplace-Beltrami-Operator on a Riemannian anifold and gives information
More informationDiffusion Geometries, Diffusion Wavelets and Harmonic Analysis of large data sets.
Diffusion Geometries, Diffusion Wavelets and Harmonic Analysis of large data sets. R.R. Coifman, S. Lafon, MM Mathematics Department Program of Applied Mathematics. Yale University Motivations The main
More informationDiscrete Euclidean Curvature Flows
Discrete Euclidean Curvature Flows 1 1 Department of Computer Science SUNY at Stony Brook Tsinghua University 2010 Isothermal Coordinates Relation between conformal structure and Riemannian metric Isothermal
More informationContribution from: Springer Verlag Berlin Heidelberg 2005 ISBN
Contribution from: Mathematical Physics Studies Vol. 7 Perspectives in Analysis Essays in Honor of Lennart Carleson s 75th Birthday Michael Benedicks, Peter W. Jones, Stanislav Smirnov (Eds.) Springer
More informationEigenvalues and eigenfunctions of the Laplacian. Andrew Hassell
Eigenvalues and eigenfunctions of the Laplacian Andrew Hassell 1 2 The setting In this talk I will consider the Laplace operator,, on various geometric spaces M. Here, M will be either a bounded Euclidean
More informationThe p-laplacian and geometric structure of the Riemannian manifold
Workshop on Partial Differential Equation and its Applications Institute for Mathematical Sciences - National University of Singapore The p-laplacian and geometric structure of the Riemannian manifold
More informationSpectral Geometry of Riemann Surfaces
Spectral Geometry of Riemann Surfaces These are rough notes on Spectral Geometry and their application to hyperbolic riemann surfaces. They are based on Buser s text Geometry and Spectra of Compact Riemann
More informationInverse Spectral Problems in Riemannian Geometry
Inverse Spectral Problems in Riemannian Geometry Peter A. Perry Department of Mathematics, University of Kentucky, Lexington, Kentucky 40506-0027, U.S.A. 1 Introduction Over twenty years ago, Marc Kac
More informationDefinition and basic properties of heat kernels I, An introduction
Definition and basic properties of heat kernels I, An introduction Zhiqin Lu, Department of Mathematics, UC Irvine, Irvine CA 92697 April 23, 2010 In this lecture, we will answer the following questions:
More informationApplied and Computational Harmonic Analysis
Appl. Comput. Harmon. Anal. 30 2011) 363 401 Contents lists available at ScienceDirect Applied and Computational Harmonic Analysis www.elsevier.com/locate/acha A spectral notion of Gromov Wasserstein distance
More informationBrownian Motion on Manifold
Brownian Motion on Manifold QI FENG Purdue University feng71@purdue.edu August 31, 2014 QI FENG (Purdue University) Brownian Motion on Manifold August 31, 2014 1 / 26 Overview 1 Extrinsic construction
More informationCMS winter meeting 2008, Ottawa. The heat kernel on connected sums
CMS winter meeting 2008, Ottawa The heat kernel on connected sums Laurent Saloff-Coste (Cornell University) December 8 2008 p(t, x, y) = The heat kernel ) 1 x y 2 exp ( (4πt) n/2 4t The heat kernel is:
More informationChapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves
Chapter 3 Riemannian Manifolds - I The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves embedded in Riemannian manifolds. A Riemannian manifold is an abstraction
More informationCan You Hear the Shape of a Manifold? Andrejs Treibergs. Tuesday, September 9, 2008
GSAC Colloquium Can You Hear the Shape of a Manifold? Andrejs Treibergs University of Utah Tuesday, September 9, 2008 2. References The URL for these Beamer Slides: Can You Hear the Shape of a Manifold?
More informationData Analysis and Manifold Learning Lecture 9: Diffusion on Manifolds and on Graphs
Data Analysis and Manifold Learning Lecture 9: Diffusion on Manifolds and on Graphs Radu Horaud INRIA Grenoble Rhone-Alpes, France Radu.Horaud@inrialpes.fr http://perception.inrialpes.fr/ Outline of Lecture
More informationHeat kernel asymptotics on the usual and harmonic Sierpinski gaskets. Cornell Prob. Summer School 2010 July 22, 2010
Heat kernel asymptotics on the usual and harmonic Sierpinski gaskets Naotaka Kajino (Kyoto University) http://www-an.acs.i.kyoto-u.ac.jp/~kajino.n/ Cornell Prob. Summer School 2010 July 22, 2010 For some
More informationVariations on Quantum Ergodic Theorems. Michael Taylor
Notes available on my website, under Downloadable Lecture Notes 8. Seminar talks and AMS talks See also 4. Spectral theory 7. Quantum mechanics connections Basic quantization: a function on phase space
More informationThe Willmore Functional: a perturbative approach
The Willmore Functional: a perturbative approach p. 1/21 The Willmore Functional: a perturbative approach Andrea Mondino Carthage, May 2010 The Willmore Functional: a perturbative approach p. 2/21 Basic
More informationAn Introduction to Laplacian Spectral Distances and Kernels: Theory, Computation, and Applications. Giuseppe Patané, CNR-IMATI - Italy
i An Introduction to Laplacian Spectral Distances and Kernels: Theory, Computation, and Applications Giuseppe Patané, CNR-IMATI - Italy ii Contents List of Figures...1 List of Tables...7 1 Introduction...9
More informationGaussian Fields and Percolation
Gaussian Fields and Percolation Dmitry Beliaev Mathematical Institute University of Oxford RANDOM WAVES IN OXFORD 18 June 2018 Berry s conjecture In 1977 M. Berry conjectured that high energy eigenfunctions
More informationVisualization of Two-Dimensional Symmetric Positive Definite Tensor Fields Using the Heat Kernel Signature
Visualization of Two-Dimensional Symmetric Positive Definite Tensor Fields sing the Heat Kernel Signature Valentin Zobel, Jan Reininghaus, and Ingrid Hotz Abstract We propose a method for visualizing two-dimensional
More informationarxiv:math/ v1 [math.dg] 1 Jul 1992
RESEARCH ANNOUNCEMENT APPEARED IN BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 27, Number 1, July 1992, Pages 134-138 arxiv:math/9207215v1 [math.dg] 1 Jul 1992 ONE CANNOT HEAR THE SHAPE OF A DRUM
More informationREAL ANALYSIS II HOMEWORK 3. Conway, Page 49
REAL ANALYSIS II HOMEWORK 3 CİHAN BAHRAN Conway, Page 49 3. Let K and k be as in Proposition 4.7 and suppose that k(x, y) k(y, x). Show that K is self-adjoint and if {µ n } are the eigenvalues of K, each
More informationSome Planar Isospectral Domains. Peter Buser, John Conway, Peter Doyle, and Klaus-Dieter Semmler. 1 Introduction
IMRN International Mathematics Research Notices 1994, No. 9 Some Planar Isospectral Domains Peter Buser, John Conway, Peter Doyle, and Klaus-Dieter Semmler 1 Introduction In 1965, Mark Kac [6] asked, Can
More informationStratification of 3 3 Matrices
Stratification of 3 3 Matrices Meesue Yoo & Clay Shonkwiler March 2, 2006 1 Warmup with 2 2 Matrices { Best matrices of rank 2} = O(2) S 3 ( 2) { Best matrices of rank 1} S 3 (1) 1.1 Viewing O(2) S 3 (
More informationReal Variables # 10 : Hilbert Spaces II
randon ehring Real Variables # 0 : Hilbert Spaces II Exercise 20 For any sequence {f n } in H with f n = for all n, there exists f H and a subsequence {f nk } such that for all g H, one has lim (f n k,
More informationTwo simple ideas from calculus applied to Riemannian geometry
Calibrated Geometries and Special Holonomy p. 1/29 Two simple ideas from calculus applied to Riemannian geometry Spiro Karigiannis karigiannis@math.uwaterloo.ca Department of Pure Mathematics, University
More informationL 2 Geometry of the Symplectomorphism Group
University of Notre Dame Workshop on Innite Dimensional Geometry, Vienna 2015 Outline 1 The Exponential Map on D s ω(m) 2 Existence of Multiplicity of Outline 1 The Exponential Map on D s ω(m) 2 Existence
More informationSolutions to the Calculus and Linear Algebra problems on the Comprehensive Examination of January 28, 2011
Solutions to the Calculus and Linear Algebra problems on the Comprehensive Examination of January 8, Solutions to Problems 5 are omitted since they involve topics no longer covered on the Comprehensive
More informationA Survey of Inverse Spectral Results
A Survey of Inverse Spectral Results Ivana Alexandrova Riemannian Geometry Spring 2000 The existence of the Laplace-Beltrami operator has allowed mathematicians to carry out Fourier analysis on Riemannian
More informationEXAM MATHEMATICAL METHODS OF PHYSICS. TRACK ANALYSIS (Chapters I-V). Thursday, June 7th,
EXAM MATHEMATICAL METHODS OF PHYSICS TRACK ANALYSIS (Chapters I-V) Thursday, June 7th, 1-13 Students who are entitled to a lighter version of the exam may skip problems 1, 8-11 and 16 Consider the differential
More informationAdvances in Manifold Learning Presented by: Naku Nak l Verm r a June 10, 2008
Advances in Manifold Learning Presented by: Nakul Verma June 10, 008 Outline Motivation Manifolds Manifold Learning Random projection of manifolds for dimension reduction Introduction to random projections
More informationShort note on compact operators - Monday 24 th March, Sylvester Eriksson-Bique
Short note on compact operators - Monday 24 th March, 2014 Sylvester Eriksson-Bique 1 Introduction In this note I will give a short outline about the structure theory of compact operators. I restrict attention
More informationMöbius Transformation
Möbius Transformation 1 1 June 15th, 2010 Mathematics Science Center Tsinghua University Philosophy Rigidity Conformal mappings have rigidity. The diffeomorphism group is of infinite dimension in general.
More informationGraphs, Geometry and Semi-supervised Learning
Graphs, Geometry and Semi-supervised Learning Mikhail Belkin The Ohio State University, Dept of Computer Science and Engineering and Dept of Statistics Collaborators: Partha Niyogi, Vikas Sindhwani In
More informationSection 2. Basic formulas and identities in Riemannian geometry
Section 2. Basic formulas and identities in Riemannian geometry Weimin Sheng and 1. Bianchi identities The first and second Bianchi identities are R ijkl + R iklj + R iljk = 0 R ijkl,m + R ijlm,k + R ijmk,l
More informationData dependent operators for the spatial-spectral fusion problem
Data dependent operators for the spatial-spectral fusion problem Wien, December 3, 2012 Joint work with: University of Maryland: J. J. Benedetto, J. A. Dobrosotskaya, T. Doster, K. W. Duke, M. Ehler, A.
More informationRIGIDITY OF MINIMAL ISOMETRIC IMMERSIONS OF SPHERES INTO SPHERES. Christine M. Escher Oregon State University. September 10, 1997
RIGIDITY OF MINIMAL ISOMETRIC IMMERSIONS OF SPHERES INTO SPHERES Christine M. Escher Oregon State University September, 1997 Abstract. We show two specific uniqueness properties of a fixed minimal isometric
More informationOn the spectrum of the Laplacian
On the spectrum of the Laplacian S. Kesavan Institute of Mathematical Sciences, CIT Campus, Taramani, Chennai - 600113. kesh@imsc.res.in July 1, 2013 S. Kesavan (IMSc) Spectrum of the Laplacian July 1,
More informationSub-Riemannian geometry in groups of diffeomorphisms and shape spaces
Sub-Riemannian geometry in groups of diffeomorphisms and shape spaces Sylvain Arguillère, Emmanuel Trélat (Paris 6), Alain Trouvé (ENS Cachan), Laurent May 2013 Plan 1 Sub-Riemannian geometry 2 Right-invariant
More informationDIFFERENTIAL GEOMETRY HW 12
DIFFERENTIAL GEOMETRY HW 1 CLAY SHONKWILER 3 Find the Lie algebra so(n) of the special orthogonal group SO(n), and the explicit formula for the Lie bracket there. Proof. Since SO(n) is a subgroup of GL(n),
More informationThe Spectral Geometry of Flat Disks
The Spectral Geometry of Flat Disks The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters Citation Brooks, Robert, Yakov Eliashberg,
More informationWARPED PRODUCTS PETER PETERSEN
WARPED PRODUCTS PETER PETERSEN. Definitions We shall define as few concepts as possible. A tangent vector always has the local coordinate expansion v dx i (v) and a function the differential df f dxi We
More informationWilliam P. Thurston. The Geometry and Topology of Three-Manifolds
William P. Thurston The Geometry and Topology of Three-Manifolds Electronic version 1.1 - March 00 http://www.msri.org/publications/books/gt3m/ This is an electronic edition of the 1980 notes distributed
More informationThe Sound of Symmetry
Zhiqin Lu, University of California, Irvine February 28, 2014, California State Long Beach In 1966, M. Kac asked the the following question: Question If two planar domains have the same spectrum, are they
More informationUnsupervised Learning Techniques Class 07, 1 March 2006 Andrea Caponnetto
Unsupervised Learning Techniques 9.520 Class 07, 1 March 2006 Andrea Caponnetto About this class Goal To introduce some methods for unsupervised learning: Gaussian Mixtures, K-Means, ISOMAP, HLLE, Laplacian
More informationMATH DIFFERENTIAL GEOMETRY. Contents
MATH 3968 - DIFFERENTIAL GEOMETRY ANDREW TULLOCH Contents 1. Curves in R N 2 2. General Analysis 2 3. Surfaces in R 3 3 3.1. The Gauss Bonnet Theorem 8 4. Abstract Manifolds 9 1 MATH 3968 - DIFFERENTIAL
More informationHUBER S THEOREM FOR HYPERBOLIC ORBISURFACES
HUBER S THEOREM FOR HYPERBOLIC ORBISURFACES EMILY B. DRYDEN AND ALEXANDER STROHMAIER Abstract. We show that for compact orientable hyperbolic orbisurfaces, the Laplace spectrum determines the length spectrum
More informationAPPROXIMATELY ISOMETRIC SHAPE CORRESPONDENCE BY MATCHING POINTWISE SPECTRAL FEATURES AND GLOBAL GEODESIC STRUCTURES
Advances in Adaptive Data Analysis Vol. 3, Nos. 1 & 2 (2011) 203 228 c World Scientific Publishing Company DOI: 10.1142/S1793536911000829 APPROXIMATELY ISOMETRIC SHAPE CORRESPONDENCE BY MATCHING POINTWISE
More informationSymmetric Spaces Toolkit
Symmetric Spaces Toolkit SFB/TR12 Langeoog, Nov. 1st 7th 2007 H. Sebert, S. Mandt Contents 1 Lie Groups and Lie Algebras 2 1.1 Matrix Lie Groups........................ 2 1.2 Lie Group Homomorphisms...................
More informationOn Perturbative Methods in Spectral Geometry
On Perturbative Methods in Spectral Geometry by Mihail Panine A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Doctor of Philosophy in Applied
More informationDIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES. September 25, 2015
DIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES MAGGIE MILLER September 25, 2015 1. 09/16/2015 1.1. Textbooks. Textbooks relevant to this class are Riemannian Geometry by do Carmo Riemannian Geometry
More informationUniformly bounded sets of orthonormal polynomials on the sphere
Uniformly bounded sets of orthonormal polynomials on the sphere J. Marzo & J. Ortega-Cerdà Universitat de Barcelona October 13, 2014 Some previous results W. Rudin (80), Inner function Conjecture : There
More informationDiscrete Differential Geometry. Discrete Laplace-Beltrami operator and discrete conformal mappings.
Discrete differential geometry. Discrete Laplace-Beltrami operator and discrete conformal mappings. Technische Universität Berlin Geometric Methods in Classical and Quantum Lattice Systems, Caputh, September
More informationBeyond Scalar Affinities for Network Analysis or Vector Diffusion Maps and the Connection Laplacian
Beyond Scalar Affinities for Network Analysis or Vector Diffusion Maps and the Connection Laplacian Amit Singer Princeton University Department of Mathematics and Program in Applied and Computational Mathematics
More informationTHE HEAT KERNEL FOR FORMS
THE HEAT KERNEL FOR FORS ATTHEW STEVENSON Abstract. This is the final project for Gantumur Tsogtgerel s partial differential equations class at cgill University. This is a survey of Patodi s construction
More informationA gentle introduction to Quantum Ergodicity
A gentle introduction to Quantum Ergodicity Tuomas Sahlsten University of Bristol, UK 7 March 2017 Arithmetic study group, Durham, UK Joint work with Etienne Le Masson (Bristol) Supported by the EU: Horizon
More informationOn Spectrum and Arithmetic
On Spectrum and Arithmetic C. S. Rajan School of Mathematics, Tata Institute of Fundamental Research, Mumbai rajan@math.tifr.res.in 11 August 2010 C. S. Rajan (TIFR) On Spectrum and Arithmetic 11 August
More informationGroups up to quasi-isometry
OSU November 29, 2007 1 Introduction 2 3 Topological methods in group theory via the fundamental group. group theory topology group Γ, a topological space X with π 1 (X) = Γ. Γ acts on the universal cover
More informationThe spectral zeta function
The spectral zeta function Bernd Ammann June 4, 215 Abstract In this talk we introduce spectral zeta functions. The spectral zeta function of the Laplace-Beltrami operator was already introduced by Minakshisundaram
More informationarxiv: v2 [math.sp] 21 Jan 2018
Leaf Space Isometries of Singular Riemannian Foliations and Their Spectral Properties arxiv:1708.09437v2 [math.sp] 21 Jan 2018 Abstract Ian M. Adelstein M. R. Sandoval Department of Mathematics, Trinity
More informationUmbilic cylinders in General Relativity or the very weird path of trapped photons
Umbilic cylinders in General Relativity or the very weird path of trapped photons Carla Cederbaum Universität Tübingen European Women in Mathematics @ Schloss Rauischholzhausen 2015 Carla Cederbaum (Tübingen)
More informationProximal point algorithm in Hadamard spaces
Proximal point algorithm in Hadamard spaces Miroslav Bacak Télécom ParisTech Optimisation Géométrique sur les Variétés - Paris, 21 novembre 2014 Contents of the talk 1 Basic facts on Hadamard spaces 2
More informationDivergence Theorems in Path Space. Denis Bell University of North Florida
Divergence Theorems in Path Space Denis Bell University of North Florida Motivation Divergence theorem in Riemannian geometry Theorem. Let M be a closed d-dimensional Riemannian manifold. Then for any
More information1 Eigenvalues and eigenvectors of the Laplacian on a parallelepiped
Eigenvalues and eigenvectors of Laplacian on a parallelepiped I. Ţevy, C. Udrişte, F. Munteanu, D. Zugrăvescu, L. Petrescu Abstract. The purpose of this paper is threefold: (i) to prove new properties
More informationLinear Algebra and Dirac Notation, Pt. 2
Linear Algebra and Dirac Notation, Pt. 2 PHYS 500 - Southern Illinois University February 1, 2017 PHYS 500 - Southern Illinois University Linear Algebra and Dirac Notation, Pt. 2 February 1, 2017 1 / 14
More informationDiffusion Kernels on Statistical Manifolds
Diffusion Kernels on Statistical Manifolds John Lafferty Guy Lebanon January 16, 2004 CMU-CS-04-101 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Abstract A family of kernels
More informationKing s Research Portal
King s Research Portal DOI:.9/proc/399 Document Version Peer reviewed version Link to publication record in King's Research Portal Citation for published version (APA): Wigman, I., Marinucci, D., & Cammarota,
More informationSome Mathematical and Physical Background
Some Mathematical and Physical Background Linear partial differential operators Let H be a second-order, elliptic, self-adjoint PDO, on scalar functions, in a d-dimensional region Prototypical categories
More informationTHE SELBERG TRACE FORMULA OF COMPACT RIEMANN SURFACES
THE SELBERG TRACE FORMULA OF COMPACT RIEMANN SURFACES IGOR PROKHORENKOV 1. Introduction to the Selberg Trace Formula This is a talk about the paper H. P. McKean: Selberg s Trace Formula as applied to a
More informationSpectral Properties of Elliptic Operators In previous work we have replaced the strong version of an elliptic boundary value problem
Spectral Properties of Elliptic Operators In previous work we have replaced the strong version of an elliptic boundary value problem L u x f x BC u x g x with the weak problem find u V such that B u,v
More informationMatching shapes by eigendecomposition of the Laplace-Beltrami operator
Matching shapes by eigendecomposition of the Laplace-Beltrami operator Anastasia Dubrovina Technion - Israel Institute of Technology nastyad@tx.technion.ac.il Ron Kimmel Technion - Israel Institute of
More information2.2. OPERATOR ALGEBRA 19. If S is a subset of E, then the set
2.2. OPERATOR ALGEBRA 19 2.2 Operator Algebra 2.2.1 Algebra of Operators on a Vector Space A linear operator on a vector space E is a mapping L : E E satisfying the condition u, v E, a R, L(u + v) = L(u)
More informationAssignment 1 Math 5341 Linear Algebra Review. Give complete answers to each of the following questions. Show all of your work.
Assignment 1 Math 5341 Linear Algebra Review Give complete answers to each of the following questions Show all of your work Note: You might struggle with some of these questions, either because it has
More informationIntrinsic spectral geometry of the Kerr-Newman event horizon
JOURNAL OF MATHEMATICAL PHYSICS 47, 033503 2006 Intrinsic spectral geometry of the Kerr-Newman event horizon Martin Engman a and Ricardo Cordero-Soto Departamento de Cencias y Tecnología, Universidad Metropolitana,
More informationOn Nonrigid Shape Similarity and Correspondence
On Nonrigid Shape Similarity and Correspondence Alon Shtern and Ron Kimmel February 19, 2018 arxiv:1311.5595v1 [cs.cv] 18 Nov 2013 Figure 1: Use of correspondence for symmetry detection and texture transfer.
More informationThe spectral action for Dirac operators with torsion
The spectral action for Dirac operators with torsion Christoph A. Stephan joint work with Florian Hanisch & Frank Pfäffle Institut für athematik Universität Potsdam Tours, ai 2011 1 Torsion Geometry, Einstein-Cartan-Theory
More informationThe Laplacian ( ) Matthias Vestner Dr. Emanuele Rodolà Room , Informatik IX
The Laplacian (26.05.2014) Matthias Vestner Dr. Emanuele Rodolà {vestner,rodola}@in.tum.de Room 02.09.058, Informatik IX Seminar «The metric approach to shape matching» Alfonso Ros Wednesday, May 28th
More informationLaplacian Eigenmaps for Dimensionality Reduction and Data Representation
Laplacian Eigenmaps for Dimensionality Reduction and Data Representation Neural Computation, June 2003; 15 (6):1373-1396 Presentation for CSE291 sp07 M. Belkin 1 P. Niyogi 2 1 University of Chicago, Department
More informationIsometries ( ) Dr. Emanuele Rodolà Matthias Vestner Room , Informatik IX
Isometries (22.05.2014) Dr. Emanuele Rodolà Matthias Vestner {rodola,vestner}@in.tum.de Room 02.09.058, Informatik IX Seminar «The metric approach to shape matching» Alfonso Ros Wednesday, May 28th 14:00
More informationON FRACTAL DIMENSION OF INVARIANT SETS
ON FRACTAL DIMENSION OF INVARIANT SETS R. MIRZAIE We give an upper bound for the box dimension of an invariant set of a differentiable function f : U M. Here U is an open subset of a Riemannian manifold
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More informationHyperbolic Geometry on Geometric Surfaces
Mathematics Seminar, 15 September 2010 Outline Introduction Hyperbolic geometry Abstract surfaces The hemisphere model as a geometric surface The Poincaré disk model as a geometric surface Conclusion Introduction
More information