DOCSLIB.ORG

Spectral Geometry for Structural Pattern Recognition

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

Spectral Geometry for Structural Pattern Recognition HEWAYDA EL GHAWALBY Ph.D. Thesis This thesis is submitted in partial fulfilment of the requirements for the degree of Doctor of Philosophy. Department of Computer Science United Kingdom May 2011 Abstract Graphs are used pervasively in computer science as representations of data with a network or relational structure, where the graph structure provides a flexible representation such that there is no fixed dimensionality for objects. However, the analysis of data in this form has proved an elusive problem; for instance, it suffers from the robustness to structural noise. One way to circumvent this problem is to embed the nodes of a graph in a vector space and to study the properties of the point distribution that results from the embedding. This is a problem that arises in a number of areas including manifold learning theory and graph-drawing. In this thesis, our first contribution is to investigate the heat kernel embed- ding as a route to computing geometric characterisations of graphs. The reason for turning to the heat kernel is that it encapsulates information concerning the distribution of path lengths and hence node affinities on the graph. The heat ker- nel of the graph is found by exponentiating the Laplacian eigensystem over time. The matrix of embedding co-ordinates for the nodes of the graph is obtained by performing a Young-Householder decomposition on the heat kernel. Once the embedding of its nodes is to hand we proceed to characterise a graph in a geometric manner. With the embeddings to hand, we establish a graph character- ization based on differential geometry by computing sets of curvatures associated ii Abstract iii with the graph nodes, edges and triangular faces. The second contribution comes from the need to solve the problem that arise in the processing of a noisy data over a graph. The Principal difficulty of this task, is how to preserve the geometrical structures existing in the initial data. Bringing together several, distinct concepts that have received some independent recent attention in machine learning; we propose a framework to regularize real-valued or vector-valued functions on weighted graphs of arbitrary topology. The first of these is deduced from the concepts of the spectral graph theory that have been applied to a wide range of clustering and classification tasks over the last decades taking in consideration the properties of the graph p-Laplacian as a nonlinear extension of the usual graph Laplacian. The second one is the geometric point of view comes from the heat kernel embedding of the graph into a manifold. In these techniques we use the geometry of the manifold by assuming that it has the geometric structure of a Riemannian manifold. The third important conceptual framework comes from the manifold regularization which extends the classical framework of regularization in the sense of reproducing Hilbert Spaces to exploit the geometry of the embedded set of points. The proposed framework, based on the p-Laplacian operators considering minimizing a weighted sum of two energy terms: a regularization one and an additional approximation term which helps to avoid the shrinkage effects obtained during the regularization process. The data are structured by functions depending on data features, the curvature attributes associated with the geometric embedding of the graph. The third contribution is inspired by the concepts and techniques of the graph calculus of partial differential functions. We propose a new approach for embed- ding graphs on pseudo-Riemannian manifolds based on the wave kernel which is the solution of the wave equation on the edges of a graph. The eigensystem of the wave-kernel is determined by the eigenvalues and the eigenfunctions of the normalized adjacency matrix and can be used to solve the edge-based wave equation. By factorising the Gram-matrix for the wave-kernel, we determine the embedding co-ordinates for nodes under the wave-kernel. The techniques proposed through this thesis are investigated as a means of iv Abstract gauging the similarity of graphs. We experiment on sets of graphs representing the proximity of image features in different views of different objects in three different datasets namely, the York model house, the COIL-20 and the TOY databases. Contents 1 Introduction 1 1.1 Thesis Motivation . 1 1.2 Thesis Goals . 6 1.3 Thesis outline . 7 2 Literature Review 8 2.1 Introduction . 8 2.2 Overview of the spectral approach in pattern recognition . 8 2.2.1 Spectral methods for Graph Embedding problems . 12 2.2.2 Spectral methods for graph matching problems . 14 2.2.3 Spectral methods for Graph Clustering problem . 15 2.3 Manifold Learning . 17 2.4 Calculus on graphs . 19 2.5 Conclusion . 19 3 Heat Kernel Embedding 21 3.1 Introduction . 21 3.2 Heat Kernels on Graphs . 24 3.2.1 Preliminaries . 25 v vi Abstract 3.2.2 Heat Equation . 26 3.2.3 Geodesic Distance from the Heat Kernel . 27 3.2.4 Heat Kernel Embedding . 29 3.2.5 Point Distribution Statistics . 29 3.3 Geometric Characterisation . 31 3.3.1 The Sectional Curvature . 32 3.3.2 The Gaussian Curvature . 34 3.4 Experiments . 36 3.4.1 Hausdorff distance . 36 3.4.2 A probabilistic similarity measure (PSM) . 37 3.4.3 Multidimensional Scaling . 39 3.4.4 Discerption of the Experimental Databases . 40 3.4.4.1 The York model house dataset . 40 3.4.4.2 The COIL dataset . 45 3.4.4.3 The Toy dataset . 50 3.4.5 Experimenting with Real-world data . 53 3.5 Conclusion . 72 4 Regularization on Graphs 83 4.1 Introduction . 83 4.2 Functions and Operators on Graphs . 86 4.2.1 Preliminaries . 86 4.2.2 Functions on Graphs . 87 4.2.3 Regularization by means of the Laplacian . 88 4.2.4 Operators on Graphs . 90 4.2.5 The p-Laplacian Operator . 91 4.3 p-Laplacian regularization framework . 92 4.4 The Gaussian Curvature . 93 4.4.1 Geometric Preliminaries . 93 4.4.2 Gaussian Curvature from Gauss Bonnet Theorem . 94 4.5 The Euler characteristic . 95 4.6 Experiments . 96 Abstract vii 4.7 Conclusion . 107 5 Wave Kernel Embedding 109 5.1 Introduction . 109 5.2 Embedding graphs into Pseudo Riemannian manifolds . 111 5.2.1 Edge-based Wave Equation . 111 5.2.2 Edge-based Eigenvalues and Eigenfunctions . 113 5.2.3 The manifold spanned by the data . 114 5.3 Pseudo Euclidean Space . 115 5.3.1 Distance Function . 116 5.3.2 An Orthonormal Basis . 116 5.3.3 Projection into a kDSubspace . 117 5.4 Experiments and Results . 118 5.5 Conclusion . 124 6 Conclusion and Future Work 125 6.1 Summary and Conclusion . 125 6.2 Future Work . 128 I Appendices 130 A Area Metric Manifolds 131 A.1 Area Metric Geometry . 131 A.1.1 Area Metric Manifolds . 131 A.1.2 Induced-metric area metric . 132 A.2 The space of oriented areas . 133 A.2.1 Area metric curvature . 134 A.3 Area metric under Hyperbolic geometric flow . 136 A The COIL dateset 138 References . 151 List of Figures 3.1 The geometric embedding of the graph . 30 3.2 Illustration of the sectional curvature . 33 3.3 Sample images from the houses dataset . 41 3.4 Histogram of number of Nodes from the houses database . 42 3.5 Histogram of number of Edges from the houses database . 43 3.6 Histogram of number of Faces from the houses database . 44 3.7 The COIL-20 objects . 45 3.8 The COIL-100 objects . 46 3.9 Histogram of number of Nodes for the COIL data . 47 3.10 Histogram of number of Edges for the COIL data . 48 3.11 Histogram of number of Triangular Faces for the COIL data . 49 3.12 Example images of the 4 objects of The Toy Database. 50 3.13 Histogram of number of Nodes from the Toy database . 51 3.14 Histogram of number of Edges from the Toy database . 52 3.15 HD for house data represented by the sectional curvatures . 55 3.16 HD for house data represented by the Gaussian curvatures . 56 3.17 MHD for house data represented by the sectional curvatures . 57 3.18 MHD for house data represented by the Gaussian curvatures . 58 viii Abstract ix 3.19 PSM for house data represented by the sectional curvatures . 59 3.20 PSM for house data represented by the Gaussian curvatures . 60 3.21 HD for COIL data represented by the sectional curvature . 63 3.22 HD for COIL data represented by the Gaussian curvature . 64 3.23 MHD for COIL data represented by the sectional curvature . 65 3.24 MHD for COIL data represented by the Gaussian curvature . 66 3.25 HD for TOY data represented by the sectional curvature . 68 3.26 MHD for TOY data represented by the sectional curvature . 69 3.27 Distribution of Gaussian curvatures for the 1st house at t = 1:0 . 73 3.28 Distribution of Gaussian curvatures for the 2nd house at t = 1:0 74 3.29 Distribution of Gaussian curvatures for the 3rd house at t = 1:0 . 75 3.30 Distribution of Gaussian curvatures for the 1st house at t = 0:1 . 76 3.31 Distribution of Gaussian curvatures for the 2nd house at t = 0:1 77 3.32 Distribution of Gaussian curvatures for the 3rd house at t = 0:1 . 78 3.33 Distribution of Gaussian curvatures for the 1st house at t = 0:01 79 3.34 Distribution of Gaussian curvatures for the 2nd house at t = 0:01 80 3.35 Distribution of Gaussian curvatures for the 3rd house at t = 0:01 81 4.1 HD of Laplace operator regularization for the houses data .
Recommended publications
  • Spectral Geometry Spring 2016

    Spectral Geometry Spring 2016

    Spectral Geometry Spring 2016 Michael Magee Lecture 5: The resolvent. Last time we proved that the Laplacian has a closure whose domain is the Sobolev space H2(M)= u L2(M): u L2(M), ∆u L2(M) . { 2 kr k2 2 } We view the Laplacian as an unbounded densely defined self-adjoint operator on L2 with domain H2. We also stated the spectral theorem. We’ll now ask what is the nature of the pro- jection valued measure associated to the Laplacian (its ‘spectral decomposition’). Until otherwise specified, suppose M is a complete Riemannian manifold. Definition 1. The resolvent set of the Laplacian is the set of λ C such that λI ∆isa bijection of H2 onto L2 with a boundedR inverse (with respect to L2 norms)2 − 1 2 2 R(λ) (λI ∆)− : L (M) H (M). ⌘ − ! The operator R(λ) is called the resolvent of the Laplacian at λ. We write spec(∆) = C −R and call it the spectrum. Note that the projection valued measure of ∆is supported in R 0. Otherwise one can find a function in H2(M)where ∆ , is negative, but since can be≥ approximated in Sobolev norm by smooth functions, thish will contradicti ∆ , = g( , )Vol 0. (1) h i ˆ r r ≥ Note then the spectral theorem implies that the resolvent set contains C R 0 (use the Borel functional calculus). − ≥ Theorem 2 (Stone’s formula [1, VII.13]). Let P be the projection valued measure on R associated to the Laplacan by the spectral theorem. The following formula relates the resolvent to P b 1 1 lim(2⇡i)− [R(λ + i✏) R(λ i✏)] dλ = P[a,b] + P(a,b) .
  • Three Conjectures in Extremal Spectral Graph Theory

    Three Conjectures in Extremal Spectral Graph Theory

    Three conjectures in extremal spectral graph theory Michael Tait and Josh Tobin June 6, 2016 Abstract We prove three conjectures regarding the maximization of spectral invariants over certain families of graphs. Our most difficult result is that the join of P2 and Pn−2 is the unique graph of maximum spectral radius over all planar graphs. This was conjectured by Boots and Royle in 1991 and independently by Cao and Vince in 1993. Similarly, we prove a conjecture of Cvetkovi´cand Rowlinson from 1990 stating that the unique outerplanar graph of maximum spectral radius is the join of a vertex and Pn−1. Finally, we prove a conjecture of Aouchiche et al from 2008 stating that a pineapple graph is the unique connected graph maximizing the spectral radius minus the average degree. To prove our theorems, we use the leading eigenvector of a purported extremal graph to deduce structural properties about that graph. Using this setup, we give short proofs of several old results: Mantel's Theorem, Stanley's edge bound and extensions, the K}ovari-S´os-Tur´anTheorem applied to ex (n; K2;t), and a partial solution to an old problem of Erd}oson making a triangle-free graph bipartite. 1 Introduction Questions in extremal graph theory ask to maximize or minimize a graph invariant over a fixed family of graphs. Perhaps the most well-studied problems in this area are Tur´an-type problems, which ask to maximize the number of edges in a graph which does not contain fixed forbidden subgraphs. Over a century old, a quintessential example of this kind of result is Mantel's theorem, which states that Kdn=2e;bn=2c is the unique graph maximizing the number of edges over all triangle-free graphs.
  • Manifold Learning

    Manifold Learning

    MANIFOLD LEARNING Kavé Salamatian- LISTIC Learning Machine Learning: develop algorithms to automatically extract ”patterns” or ”regularities” from data (generalization) Typical tasks Clustering: Find groups of similar points Dimensionality reduction: Project points in a lower dimensional space while preserving structure Semi-supervised: Given labelled and unlabelled points, build a labelling function Supervised: Given labelled points, build a labelling function All these tasks are not well-defined Clustering Identify the two groups Dimensionality Reduction 4096 Objects in R ? But only 3 parameters: 2 angles and 1 for illumination. They span a 3- dimensional sub-manifold of R4096! Semi-Supervised Learning Assign labels to black points Supervised learning Build a function that predicts the label of all points in the space Formal definitions Clustering: Given build a function Dimensionality reduction: Given build a function Semi-supervised: Given and with m << n, build a function Supervised: Given , build Geometric learning Consider and exploit the geometric structure of the data Clustering: two ”close” points should be in the same cluster Dimensionality reduction: ”closeness” should be preserved Semi-supervised/supervised: two ”close” points should have the same label Examples: k-means clustering, k-nearest neighbors. Manifold ? A manifold is a topological space that is locally Euclidian Around every point, there is a neighborhood that is topologically isomorph to unit ball Regularization Adopt a functional viewpoint
  • Contemporary Spectral Graph Theory

    Contemporary Spectral Graph Theory

    CONTEMPORARY SPECTRAL GRAPH THEORY GUEST EDITORS Maurizio Brunetti, University of Naples Federico II, Italy, [email protected] Raffaella Mulas, The Alan Turing Institute, UK, [email protected] Lucas Rusnak, Texas State University, USA, [email protected] Zoran Stanić, University of Belgrade, Serbia, [email protected] DESCRIPTION Spectral graph theory is a striking theory that studies the properties of a graph in relationship to the characteristic polynomial, eigenvalues and eigenvectors of matrices associated with the graph, such as the adjacency matrix, the Laplacian matrix, the signless Laplacian matrix or the distance matrix. This theory emerged in the 1950s and 1960s. Over the decades it has considered not only simple undirected graphs but also their generalizations such as multigraphs, directed graphs, weighted graphs or hypergraphs. In the recent years, spectra of signed graphs and gain graphs have attracted a great deal of attention. Besides graph theoretic research, another major source is the research in a wide branch of applications in chemistry, physics, biology, electrical engineering, social sciences, computer sciences, information theory and other disciplines. This thematic special issue is devoted to the publication of original contributions focusing on the spectra of graphs or their generalizations, along with the most recent applications. Contributions to the Special Issue may address (but are not limited) to the following aspects: f relations between spectra of graphs (or their generalizations) and their structural properties in the most general shape, f bounds for particular eigenvalues, f spectra of particular types of graph, f relations with block designs, f particular eigenvalues of graphs, f cospectrality of graphs, f graph products and their eigenvalues, f graphs with a comparatively small number of eigenvalues, f graphs with particular spectral properties, f applications, f characteristic polynomials.
  • Learning on Hypergraphs: Spectral Theory and Clustering

    Learning on Hypergraphs: Spectral Theory and Clustering

    Learning on Hypergraphs: Spectral Theory and Clustering Pan Li, Olgica Milenkovic Coordinated Science Laboratory University of Illinois at Urbana-Champaign March 12, 2019 Learning on Graphs Graphs are indispensable mathematical data models capturing pairwise interactions: k-nn network social network publication network Important learning on graphs problems: clustering (community detection), semi-supervised/active learning, representation learning (graph embedding) etc. Beyond Pairwise Relations A graph models pairwise relations. Recent work has shown that high-order relations can be significantly more informative: Examples include: Understanding the organization of networks (Benson, Gleich and Leskovec'16) Determining the topological connectivity between data points (Zhou, Huang, Sch}olkopf'07). Graphs with high-order relations can be modeled as hypergraphs (formally defined later). Meta-graphs, meta-paths in heterogeneous information networks. Algorithmic methods for analyzing high-order relations and learning problems are still under development. Beyond Pairwise Relations Functional units in social and biological networks. High-order network motifs: Motif (Benson’16) Microfauna Pelagic fishes Crabs & Benthic fishes Macroinvertebrates Algorithmic methods for analyzing high-order relations and learning problems are still under development. Beyond Pairwise Relations Functional units in social and biological networks. Meta-graphs, meta-paths in heterogeneous information networks. (Zhou, Yu, Han'11) Beyond Pairwise Relations Functional units in social and biological networks. Meta-graphs, meta-paths in heterogeneous information networks. Algorithmic methods for analyzing high-order relations and learning problems are still under development. Review of Graph Clustering: Notation and Terminology Graph Clustering Task: Cluster the vertices that are \densely" connected by edges. Graph Partitioning and Conductance A (weighted) graph G = (V ; E; w): for e 2 E, we is the weight.
  • CS 598: Spectral Graph Theory. Lecture 10

    CS 598: Spectral Graph Theory. Lecture 10

    CS 598: Spectral Graph Theory. Lecture 13 Expander Codes Alexandra Kolla Today Graph approximations, part 2. Bipartite expanders as approximations of the bipartite complete graph Quasi-random properties of bipartite expanders, expander mixing lemma Building expander codes Encoding, minimum distance, decoding Expander Graph Refresher We defined expander graphs to be d- regular graphs whose adjacency matrix eigenvalues satisfy |훼푖| ≤ 휖푑 for i>1, and some small 휖. We saw that such graphs are very good approximations of the complete graph. Expanders as Approximations of the Complete Graph Refresher Let G be a d-regular graph whose adjacency eigenvalues satisfy |훼푖| ≤ 휖푑. As its Laplacian eigenvalues satisfy 휆푖 = 푑 − 훼푖, all non-zero eigenvalues are between (1 − ϵ)d and 1 + ϵ 푑. 푇 푇 Let H=(d/n)Kn, 푠표 푥 퐿퐻푥 = 푑푥 푥 We showed that G is an ϵ − approximation of H 푇 푇 푇 1 − ϵ 푥 퐿퐻푥 ≼ 푥 퐿퐺푥 ≼ 1 + ϵ 푥 퐿퐻푥 Bipartite Expander Graphs Define them as d-regular good approximations of (some multiple of) the complete bipartite 푑 graph H= 퐾 : 푛 푛,푛 푇 푇 푇 1 − ϵ 푥 퐿퐻푥 ≼ 푥 퐿퐺푥 ≼ 1 + ϵ 푥 퐿퐻푥 ⇒ 1 − ϵ 퐻 ≼ 퐺 ≼ 1 + ϵ 퐻 G 퐾푛,푛 U V U V The Spectrum of Bipartite Expanders 푑 Eigenvalues of Laplacian of H= 퐾 are 푛 푛,푛 휆1 = 0, 휆2푛 = 2푑, 휆푖 = 푑, 0 < 푖 < 2푛 푇 푇 푇 1 − ϵ 푥 퐿퐻푥 ≼ 푥 퐿퐺푥 ≼ 1 + ϵ 푥 퐿퐻푥 Says we want d-regular graph G that has evals 휆1 = 0, 휆2푛 = 2푑, 휆푖 ∈ ( 1 − 휖 푑, 1 + 휖 푑), 0 < 푖 < 2푛 Construction of Bipartite Expanders Definition (Double Cover).
  • Notes on Elementary Spectral Graph Theory Applications to Graph Clustering Using Normalized Cuts

    Notes on Elementary Spectral Graph Theory Applications to Graph Clustering Using Normalized Cuts

    University of Pennsylvania ScholarlyCommons Technical Reports (CIS) Department of Computer & Information Science 1-1-2013 Notes on Elementary Spectral Graph Theory Applications to Graph Clustering Using Normalized Cuts Jean H. Gallier University of Pennsylvania, [email protected] Follow this and additional works at: https://repository.upenn.edu/cis_reports Part of the Computer Engineering Commons, and the Computer Sciences Commons Recommended Citation Jean H. Gallier, "Notes on Elementary Spectral Graph Theory Applications to Graph Clustering Using Normalized Cuts", . January 2013. University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-13-09. This paper is posted at ScholarlyCommons. https://repository.upenn.edu/cis_reports/986 For more information, please contact [email protected]. Notes on Elementary Spectral Graph Theory Applications to Graph Clustering Using Normalized Cuts Abstract These are notes on the method of normalized graph cuts and its applications to graph clustering. I provide a fairly thorough treatment of this deeply original method due to Shi and Malik, including complete proofs. I include the necessary background on graphs and graph Laplacians. I then explain in detail how the eigenvectors of the graph Laplacian can be used to draw a graph. This is an attractive application of graph Laplacians. The main thrust of this paper is the method of normalized cuts. I give a detailed account for K = 2 clusters, and also for K > 2 clusters, based on the work of Yu and Shi. Three points that do not appear to have been clearly articulated before are elaborated: 1. The solutions of the main optimization problem should be viewed as tuples in the K-fold cartesian product of projective space RP^{N-1}.
  • Noncommutative Geometry, the Spectral Standpoint Arxiv

    Noncommutative Geometry, the Spectral Standpoint Arxiv

    Noncommutative Geometry, the spectral standpoint Alain Connes October 24, 2019 In memory of John Roe, and in recognition of his pioneering achievements in coarse geometry and index theory. Abstract We update our Year 2000 account of Noncommutative Geometry in [68]. There, we de- scribed the following basic features of the subject: I The natural “time evolution" that makes noncommutative spaces dynamical from their measure theory. I The new calculus which is based on operators in Hilbert space, the Dixmier trace and the Wodzicki residue. I The spectral geometric paradigm which extends the Riemannian paradigm to the non- commutative world and gives a new tool to understand the forces of nature as pure gravity on a more involved geometric structure mixture of continuum with the discrete. I The key examples such as duals of discrete groups, leaf spaces of foliations and de- formations of ordinary spaces, which showed, very early on, that the relevance of this new paradigm was going far beyond the framework of Riemannian geometry. Here, we shall report1 on the following highlights from among the many discoveries made since 2000: 1. The interplay of the geometry with the modular theory for noncommutative tori. 2. Great advances on the Baum-Connes conjecture, on coarse geometry and on higher in- dex theory. 3. The geometrization of the pseudo-differential calculi using smooth groupoids. 4. The development of Hopf cyclic cohomology. 5. The increasing role of topological cyclic homology in number theory, and of the lambda arXiv:1910.10407v1 [math.QA] 23 Oct 2019 operations in archimedean cohomology. 6. The understanding of the renormalization group as a motivic Galois group.
  • Spectral Theory of Translation Surfaces : a Short Introduction Volume 28 (2009-2010), P

    Spectral Theory of Translation Surfaces : a Short Introduction Volume 28 (2009-2010), P

    Institut Fourier — Université de Grenoble I Actes du séminaire de Théorie spectrale et géométrie Luc HILLAIRET Spectral theory of translation surfaces : A short introduction Volume 28 (2009-2010), p. 51-62. <http://tsg.cedram.org/item?id=TSG_2009-2010__28__51_0> © Institut Fourier, 2009-2010, tous droits réservés. L’accès aux articles du Séminaire de théorie spectrale et géométrie (http://tsg.cedram.org/), implique l’accord avec les conditions générales d’utilisation (http://tsg.cedram.org/legal/). cedram Article mis en ligne dans le cadre du Centre de diffusion des revues académiques de mathématiques http://www.cedram.org/ Séminaire de théorie spectrale et géométrie Grenoble Volume 28 (2009-2010) 51-62 SPECTRAL THEORY OF TRANSLATION SURFACES : A SHORT INTRODUCTION Luc Hillairet Abstract. — We define translation surfaces and, on these, the Laplace opera- tor that is associated with the Euclidean (singular) metric. This Laplace operator is not essentially self-adjoint and we recall how self-adjoint extensions are chosen. There are essentially two geometrical self-adjoint extensions and we show that they actually share the same spectrum Résumé. — On définit les surfaces de translation et le Laplacien associé à la mé- trique euclidienne (avec singularités). Ce laplacien n’est pas essentiellement auto- adjoint et on rappelle la façon dont les extensions auto-adjointes sont caractérisées. Il y a deux choix naturels dont on montre que les spectres coïncident. 1. Introduction Spectral geometry aims at understanding how the geometry influences the spectrum of geometrically related operators such as the Laplace oper- ator. The more interesting the geometry is, the more interesting we expect the relations with the spectrum to be.
  • Discrete Spectral Geometry

    Discrete Spectral Geometry

    Discrete Spectral Geometry Discrete Spectral Geometry Amir Daneshgar Department of Mathematical Sciences Sharif University of Technology Hossein Hajiabolhassan is mathematically dense in this talk!! May 31, 2006 Discrete Spectral Geometry Outline Outline A viewpoint based on mappings A general non-symmetric discrete setup Weighted energy spaces Comparison and variational formulations Summary A couple of comparison theorems Graph homomorphisms A comparison theorem The isoperimetric spectrum ε-Uniformizers Symmetric spaces and representation theory Epilogue Discrete Spectral Geometry A viewpoint based on mappings Basic Objects I H is a geometric objects, we are going to analyze. Discrete Spectral Geometry A viewpoint based on mappings Basic Objects I There are usually some generic (i.e. well-known, typical, close at hand, important, ...) types of these objects. Discrete Spectral Geometry A viewpoint based on mappings Basic Objects (continuous case) I These are models and objects of Euclidean and non-Euclidean geometry. Discrete Spectral Geometry A viewpoint based on mappings Basic Objects (continuous case) I Two important generic objects are the sphere and the upper half plane. Discrete Spectral Geometry A viewpoint based on mappings Basic Objects (discrete case) I Some important generic objects in this case are complete graphs, infinite k-regular tree and fractal-meshes in Rn. Discrete Spectral Geometry A viewpoint based on mappings Basic Objects (discrete case) I These are models and objects in network analysis and design, discrete state-spaces of algorithms and discrete geometry (e.g. in geometric group theory). Discrete Spectral Geometry A viewpoint based on mappings Comparison method I The basic idea here is to try to understand (or classify if we are lucky!) an object by comparing it with the generic ones.
  • Pose Analysis Using Spectral Geometry

    Pose Analysis Using Spectral Geometry

    Vis Comput DOI 10.1007/s00371-013-0850-0 ORIGINAL ARTICLE Pose analysis using spectral geometry Jiaxi Hu · Jing Hua © Springer-Verlag Berlin Heidelberg 2013 Abstract We propose a novel method to analyze a set 1 Introduction of poses of 3D models that are represented with trian- gle meshes and unregistered. Different shapes of poses are Shape deformation is one of the major research topics in transformed from the 3D spatial domain to a geometry spec- computer graphics. Recently there have been extensive lit- trum domain that is defined by Laplace–Beltrami opera- eratures on this topic. There are two major categories of re- tor. During this space-spectrum transform, all near-isometric searches on this topic. One is surface-based and the other deformations, mesh triangulations and Euclidean transfor- one is skeleton-driven method. Shape interpolation [2, 9, 11] mations are filtered away. The different spatial poses from is a surface-based approach. The basic idea is that given two a 3D model are represented with near-isometric deforma- key frames of a shape, the intermediate deformation can be tions; therefore, they have similar behaviors in the spec- generated with interpolation and further deformations can be tral domain. Semantic parts of that model are then deter- predicted with extrapolation. It can also blend among sev- mined based on the computed geometric properties of all the eral shapes. Shape interpolation is convenient for animation mapped vertices in the geometry spectrum domain. Seman- generation but is not flexible enough for shape editing due tic skeleton can be automatically built with joints detected to the lack of local control.
  • Spectral Graph Theory – from Practice to Theory

    Spectral Graph Theory – from Practice to Theory

    Spectral Graph Theory – From Practice to Theory Alexander Farrugia [email protected] Abstract Graph theory is the area of mathematics that studies networks, or graphs. It arose from the need to analyse many diverse network-like structures like road networks, molecules, the Internet, social networks and electrical networks. In spectral graph theory, which is a branch of graph theory, matrices are constructed from such graphs and analysed from the point of view of their so-called eigenvalues and eigenvectors. The first practical need for studying graph eigenvalues was in quantum chemistry in the thirties, forties and fifties, specifically to describe the Hückel molecular orbital theory for unsaturated conjugated hydrocarbons. This study led to the field which nowadays is called chemical graph theory. A few years later, during the late fifties and sixties, graph eigenvalues also proved to be important in physics, particularly in the solution of the membrane vibration problem via the discrete approximation of the membrane as a graph. This paper delves into the journey of how the practical needs of quantum chemistry and vibrating membranes compelled the creation of the more abstract spectral graph theory. Important, yet basic, mathematical results stemming from spectral graph theory shall be mentioned in this paper. Later, areas of study that make full use of these mathematical results, thus benefitting greatly from spectral graph theory, shall be described. These fields of study include the P versus NP problem in the field of computational complexity, Internet search, network centrality measures and control theory. Keywords: spectral graph theory, eigenvalue, eigenvector, graph. Introduction: Spectral Graph Theory Graph theory is the area of mathematics that deals with networks.