Geometric Analysis for the Metropolis Algorithm on Lipschitz Domains

Total Page:16

File Type:pdf, Size:1020Kb

Geometric Analysis for the Metropolis Algorithm on Lipschitz Domains Geometric Analysis for the Metropolis Algorithm on Lipschitz Domains Persi Diaconis,∗ Gilles Lebeau,†‡ Laurent Michel§ Departments of Statistics and Mathematics, Stanford University and D´epartement de Math´ematiques, Universit´ede Nice Sophia-Antipolis Abstract This paper gives geometric tools: comparison, Nash and Sobolev inequalities for pieces of the relevent Markov operators, that give useful bounds on rates of convergence for the Metropolis algorithm. As an example, we treat the random placement of N hard discs in the unit square, the original application of the Metropolis algorithm. 1 Introduction and Results d Let Ω be a bounded, connected open subset of R . We assume that its boundary, ∂Ω, has Lipschitz d 1 R regularity. Let B1 be the unit ball of and ϕ(z) = 1 (z) so that ϕ(z)dz = 1. Let ρ(x) R vol(B1) B1 R be a measurable positive bounded function on Ω such that Ω ρ(x)dx = 1. For h ∈]0, 1], set x − y ρ(y) K (x, y) = h−dϕ min , 1 , (1.1) h,ρ h ρ(x) and let Th,ρ be the Metropolis operator associated with these data, that is, Z Th,ρ(u)(x) = mh,ρ(x)u(x) + Kh,ρ(x, y)u(y)dy, Ω Z (1.2) mh,ρ(x) = 1 − Kh,ρ(x, y)dy ≥ 0. Ω Then the Metropolis kernel Th,ρ(x, dy) = mh,ρ(x)δx=y + Kh,ρ(x, y)dy is a Markov kernel, the 2 operator Th,ρ is self-adjoint on L (Ω, ρ(x)dx), and thus the probability measure ρ(x)dx on Ω is ∗Supported in part by the National Science Foundation, DMS 0505673. †Supported in part by ANR equa-disp Blan07-3-188618 ‡Corresponding author: Parc Valrose 06108 Nice Cedex 02, France; [email protected] §Supported in part by ANR equa-disp Blan07-3-188618 1 n n stationary. For n ≥ 1, we denote by Th,ρ(x, dy) the kernel of the iterated operator (Th,ρ) . For n any x ∈ Ω, Th,ρ(x, dy) is a probability measure on Ω, and our main goal is to get some estimates n on the rate of convergence, when n → +∞, of the probability Th,ρ(x, dy) toward the stationary probability ρ(y)dy. A good example to keep in mind is the random placement of N non-overlapping discs of radius ε > 0 in the unit square. This was the original motivation for the work of Metropolis et al. [MRR+53]. One version of their algorithm goes as follows: from a feasable configuration, pick a disc (uniformly at random) and a point within distance h of the center of the chosen disc (uniformly at random). If recentering the chosen disc at the chosen point results in a feasable configuration, the change is made. Otherwise, the configuration is kept as it started. If N is fixed and ε and h are small, this gives a Markov chain with a uniform stationary distribution over all feasable configurations. The state space consists of the N centers corresponding to feasible configurations. It is a bounded domain with a Lipschitz boundary when N is small (see Section 4, Proposition 4.1). The scientific motivation for the study of random packing of hard discs as a way of understanding the apparent existence of a liquid/solid phase transition for arbitrarily large temperatures (for suitably large pressure) is clearly described in Uhlenbeck [Uhl68, Sect. 5, p. 18]. An overview of the large literature is in Lowen [L¨ow00].Entry to the zoo of modern algorithms to do the simulation (particularly in the dense case) with many examples is in Krauth [Kra06]. Further discussion, showing that the problem is still of current interest, is in Radin [Rad08]. We shall denote by g(h, ρ) the spectral gap of the Metropolis operator Th,ρ. It is defined as the largest constant such that the following inequality holds true for all u ∈ L2(ρ) = L2(Ω, ρ(x)dx). 2 2 1 kuk − hu, 1i ≤ hu − T u, ui 2 , (1.3) L2(ρ) L2(ρ) g(h, ρ) h,ρ L (ρ) or equivalently, Z Z 2 1 2 |u(x) − u(y)| ρ(x)ρ(y)dxdy ≤ Kh,ρ(x, y)|u(x) − u(y)| ρ(x)dxdy. (1.4) Ω×Ω g(h, ρ) Ω×Ω d Definition 1. We say that an open set Ω ⊂ R is Lipschitz if it is bounded and for all a ∈ ∂Ω d 0 there exists an orthonormal basis Ra of R , an open set V = V ×] − α, α[ and a Lipschitz map 0 η : V →] − α, α[ such that in the coordinates of Ra, we have 0 0 0 0 V ∩ Ω = y , yd < η(y ) , (y , yd) ∈ V ×] − α, α[ (1.5) V ∩ ∂Ω = y0, η(y0) , y0 ∈ V 0 . Our first result is the following: d Theorem 1.1. Let Ω be an open, connected, bounded, Lipschitz subset of R . Let 0 < m ≤ M < ∞ be given numbers. There exists h0 > 0, δ0 ∈]0, 1/2[ and constants Ci > 0 such that for any h ∈]0, h0], and any probability density ρ on Ω which satisfies for all x, m ≤ ρ(x) ≤ M, the following holds true. i) The spectrum of Th,ρ is a subset of [−1+δ0, 1], 1 is a simple eigenvalue of Th,ρ, and Spec(Th,ρ)∩ −2 [1 − δ0, 1] is discrete. Moreover, for any 0 ≤ λ ≤ δ0h , the number of eigenvalues of Th,ρ in 2 d/2 [1 − h λ, 1] (with multiplicity) is bounded by C1(1 + λ) . ii) The spectral gap g(h, ρ) satisfies 2 2 C2h ≤ g(h, ρ) ≤ C3h (1.6) 2 and the following estimates hold true for all integer n: n n −ng(h,ρ) (1 − g(h, ρ)) ≤ sup kTh,ρ(x, dy) − ρ(y)dykTV ≤ C4e . (1.7) x∈Ω The above results have to be understood as results for small h, other parameters of the problem being fixed. In particular, our estimates are certainly not sharp with respect to the dimension d of the space. For instance, a carefull look at the proof of estimate (1.7) shows that the constant C4 depends badly on the dimension d (if one tracks the dependance with respect to d, the bound d obtained by the Nash estimates can not be better than d , [DSC96]). Proving estimate on C4 with respect to the dimension would be of great interest. The next result will give some more information on the behavior of the spectral gap g(h, ρ) when h → 0. To state this result, let Z 1 Z 1 α = ϕ(z)z2dz = ϕ(z)|z|2dz = (1.8) d 1 d d + 2 and let us define ν(ρ) as the largest constant such that the following inequality holds true for all u in the Sobolev space H1(Ω): Z 2 2 1 αd 2 kukL2(ρ) − hu, 1iL2(ρ) ≤ |∇u| (x)ρ(x)dx, (1.9) ν(ρ) 2 Ω or equivalently, Z α Z |u(x) − u(y)|2ρ(x)ρ(y)dxdy ≤ d |∇u|2(x)ρ(x)dx. (1.10) Ω×Ω ν(ρ) Ω Observe that for a Lipschitz domain Ω, the constant ν(ρ) is well-defined thanks to Sobolev embed- ding. For a smooth density ρ, this number ν(ρ) > 0 is closely related to the unbounded operator 2 Lρ acting on on L (ρ). −αd ∇ρ Lρ(u) = (4u + .∇u) 2 ρ (1.11) 1 2 D(Lρ) = u ∈ H (Ω), −∆u ∈ L (Ω), ∂nu|∂Ω = 0 We now justify and explain the choice of domain in (1.11). Background for the following discussion and tools for working in Lipschitz domains is in [AF03]. When Ω has smooth boundary, standard elliptic regularity results show that for any u ∈ H1(Ω) 2 −→ such that −∆u ∈ L (Ω), the normal derivative of u at the boundary, ∂nu = n (x).∇u|∂Ω is well defined and belongs to the Sobolev space H−1/2(∂Ω). Here, we denote by −→n (x) the incoming unit normal vector to ∂Ω at a point x. In the case where ∂Ω has only Lipschitz regularity, the s Sobolev spaces H (∂Ω) are well defined for all s ∈ [−1, 1]. The trace operator, γ0(u) = u|∂Ω maps 1 1/2 1 H (Ω) onto H (∂Ω) = Ran(γ0), and its kernel is Ker(γ0) = H0 (Ω). Equipped with the norm 1/2 ∗ kukH1/2 = inf{kvkH1 , γ0(v) = u} it is an Hilbert space. Then, for any ϕ ∈ H (∂Ω) , there exists −1/2 R 1/2 a unique v ∈ H (∂Ω) such that ϕ(u) = ∂Ω vudσ for all u ∈ H (∂Ω) (where σ is the measure induced on the boundary). For v ∈ H−1/2(∂Ω), the support of v can be defined in a standard way. The trace operator acting on vector fields u ∈ (L2)d with div(u) ∈ L2, n 2 d 2 o −1/2 γ1 : u ∈ (L (Ω)) , div(u) ∈ L (Ω) → H (∂Ω), (1.12) 3 is then defined by the formula Z Z Z 1 div(u)(x)v(x)dx = − u(x).∇v(x)dx − γ1(u)v|∂Ωdσ(x), ∀v ∈ H (Ω). (1.13) Ω Ω ∂Ω 1 2 In particular, for u ∈ H (Ω) satisfying ∆u = div∇u ∈ L (Ω) we can define ∂nu|∂Ω = γ1(∇u) ∈ −1/2 1 H (∂Ω) and the set D(Lρ) is well defined. From (1.13) we deduce that for any u ∈ H (Ω) with ∆u ∈ L2 and any v ∈ H1(Ω) we have αd hL u, vi 2 = h∇u, ∇vi 2 + h∂ u, ρvi −1/2 1/2 .
Recommended publications
  • Geometric Analysis of Shapes and Its Application to Medical Image Analysis
    Geometric Analysis of Shapes and Its application to Medical Image Analysis by Anirban Mukhopadhyay (Under the DIRECTION of Suchendra M. Bhandarkar) Abstract Geometric analysis of shapes plays an important role in the way the visual world is per- ceived by modern computers. To this end, low-level geometric features provide most obvious and important cues towards understanding the visual scene. A novel intrinsic geometric sur- face descriptor, termed as the Geodesic Field Estimate (GFE) is proposed. Also proposed is a parallel algorithm, well suited for implementation on Graphics Processing Units, for efficient computation of the shortest geodesic paths. Another low level geometric descriptor, termed as the Biharmonic Density Estimate, is proposed to provide an intrinsic geometric scale space signature for multiscale surface feature-based representation of deformable 3D shapes. The computer vision and graphics communities rely on mid-level geometric understanding as well to analyze a scene. Symmetry detection and partial shape matching play an important role as mid-level cues. A comprehensive framework for detection and characterization of partial intrinsic symmetry over 3D shapes is proposed. To identify prominent overlapping symmetric regions, the proposed framework is decoupled into Correspondence Space Voting followed by Transformation Space Mapping procedure. Moreover, a novel multi-criteria optimization framework for matching of partially visible shapes in multiple images using joint geometric embedding is also proposed. The ultimate goal of geometric shape analysis is to resolve high level applications of modern world. This dissertation has focused on three different application scenarios. In the first scenario, a novel approach for the analysis of the non-rigid Left Ventricular (LV) endocardial surface from Multi-Detector CT images, using a generalized isometry-invariant Bag-of-Features (BoF) descriptor, is proposed and implemented.
    [Show full text]
  • Karen Keskulla Uhlenbeck
    2019 The Norwegian Academy of Science and Letters has decided to award the Abel Prize for 2019 to Karen Keskulla Uhlenbeck University of Texas at Austin “for her pioneering achievements in geometric partial differential equations, gauge theory and integrable systems, and for the fundamental impact of her work on analysis, geometry and mathematical physics.” Karen Keskulla Uhlenbeck is a founder of modern by earlier work of Morse, guarantees existence of Geometric Analysis. Her perspective has permeated minimisers of geometric functionals and is successful the field and led to some of the most dramatic in the case of 1-dimensional domains, such as advances in mathematics in the last 40 years. closed geodesics. Geometric analysis is a field of mathematics where Uhlenbeck realised that the condition of Palais— techniques of analysis and differential equations are Smale fails in the case of surfaces due to topological interwoven with the study of geometrical and reasons. The papers of Uhlenbeck, co-authored with topological problems. Specifically, one studies Sacks, on the energy functional for maps of surfaces objects such as curves, surfaces, connections and into a Riemannian manifold, have been extremely fields which are critical points of functionals influential and describe in detail what happens when representing geometric quantities such as energy the Palais-Smale condition is violated. A minimising and volume. For example, minimal surfaces are sequence of mappings converges outside a finite set critical points of the area and harmonic maps are of singular points and by using rescaling arguments, critical points of the Dirichlet energy. Uhlenbeck’s they describe the behaviour near the singularities major contributions include foundational results on as bubbles or instantons, which are the standard minimal surfaces and harmonic maps, Yang-Mills solutions of the minimising map from the 2-sphere to theory, and integrable systems.
    [Show full text]
  • Iasinstitute for Advanced Study
    IAInsti tSute for Advanced Study Faculty and Members 2012–2013 Contents Mission and History . 2 School of Historical Studies . 4 School of Mathematics . 21 School of Natural Sciences . 45 School of Social Science . 62 Program in Interdisciplinary Studies . 72 Director’s Visitors . 74 Artist-in-Residence Program . 75 Trustees and Officers of the Board and of the Corporation . 76 Administration . 78 Past Directors and Faculty . 80 Inde x . 81 Information contained herein is current as of September 24, 2012. Mission and History The Institute for Advanced Study is one of the world’s leading centers for theoretical research and intellectual inquiry. The Institute exists to encourage and support fundamental research in the sciences and human - ities—the original, often speculative thinking that produces advances in knowledge that change the way we understand the world. It provides for the mentoring of scholars by Faculty, and it offers all who work there the freedom to undertake research that will make significant contributions in any of the broad range of fields in the sciences and humanities studied at the Institute. Y R Founded in 1930 by Louis Bamberger and his sister Caroline Bamberger O Fuld, the Institute was established through the vision of founding T S Director Abraham Flexner. Past Faculty have included Albert Einstein, I H who arrived in 1933 and remained at the Institute until his death in 1955, and other distinguished scientists and scholars such as Kurt Gödel, George F. D N Kennan, Erwin Panofsky, Homer A. Thompson, John von Neumann, and A Hermann Weyl. N O Abraham Flexner was succeeded as Director in 1939 by Frank Aydelotte, I S followed by J.
    [Show full text]
  • Geometric Analysis and Integral Geometry
    598 Geometric Analysis and Integral Geometry AMS Special Session on Radon Transforms and Geometric Analysis in Honor of Sigurdur Helgason’s 85th Birthday January 4–7, 2012 Boston, MA Tufts University Workshop on Geometric Analysis on Euclidean and Homogeneous Spaces January 8–9, 2012 Medford, MA Eric Todd Quinto Fulton Gonzalez Jens Gerlach Christensen Editors American Mathematical Society Geometric Analysis and Integral Geometry AMS Special Session on Radon Transforms and Geometric Analysis in Honor of Sigurdur Helgason’s 85th Birthday January 4–7, 2012 Boston, MA Tufts University Workshop on Geometric Analysis on Euclidean and Homogeneous Spaces January 8–9, 2012 Medford, MA Eric Todd Quinto Fulton Gonzalez Jens Gerlach Christensen Editors 598 Geometric Analysis and Integral Geometry AMS Special Session on Radon Transforms and Geometric Analysis in Honor of Sigurdur Helgason’s 85th Birthday January 4–7, 2012 Boston, MA Tufts University Workshop on Geometric Analysis on Euclidean and Homogeneous Spaces January 8–9, 2012 Medford, MA Eric Todd Quinto Fulton Gonzalez Jens Gerlach Christensen Editors American Mathematical Society Providence, Rhode Island EDITORIAL COMMITTEE Dennis DeTurck, Managing Editor Michael Loss Kailash Misra Martin J. Strauss 2010 Mathematics Subject Classification. Primary 22E30, 43A85, 44A12, 45Q05, 92C55; Secondary 22E46, 32L25, 35S30, 65R32. Library of Congress Cataloging-in-Publication Data AMS Special Session on Radon Transforms and Geometric Analysis (2012 : Boston, Mass.) Geometric analysis and integral geometry : AMS special session in honor of Sigurdur Helgason’s 85th birthday, radon transforms and geometric analysis, January 4-7, 2012, Boston, MA ; Tufts University Workshop on Geometric Analysis on Euclidean and Homogeneous Spaces, January 8-9, 2012, Medford, MA / Eric Todd Quinto, Fulton Gonzalez, Jens Gerlach Christensen, editors.
    [Show full text]
  • Perspectives on Geometric Analysis
    Surveys in Differential Geometry X Perspectives on geometric analysis Shing-Tung Yau This essay grew from a talk I gave on the occasion of the seventieth anniversary of the Chinese Mathematical Society. I dedicate the lecture to the memory of my teacher S.S. Chern who had passed away half a year before (December 2004). During my graduate studies, I was rather free in picking research topics. I[731] worked on fundamental groups of manifolds with non-positive curva- ture. But in the second year of my studies, I started to look into differential equations on manifolds. However, at that time, Chern was very much inter- ested in the work of Bott on holomorphic vector fields. Also he told me that I should work on Riemann hypothesis. (Weil had told him that it was time for the hypothesis to be settled.) While Chern did not express his opinions about my research on geometric analysis, he started to appreciate it a few years later. In fact, after Chern gave a course on Calabi’s works on affine geometry in 1972 at Berkeley, S.Y. Cheng told me about these inspiring lec- tures. By 1973, Cheng and I started to work on some problems mentioned in Chern’s lectures. We did not realize that the great geometers Pogorelov, Calabi and Nirenberg were also working on them. We were excited that we solved some of the conjectures of Calabi on improper affine spheres. But soon after we found out that Pogorelov [563] published his results right be- fore us by different arguments. Nevertheless our ideas are useful in handling other problems in affine geometry, and my knowledge about Monge-Amp`ere equations started to broaden in these years.
    [Show full text]
  • Recent Advances in Geometric Analysis
    Advanced Lectures in Mathematics Volume XI Recent Advances in Geometric Analysis Editors: Yng-Ing Lee, Chang-Shou Lin, and Mao-Pei Tsui International Press 浧䷘㟨十⒉䓗䯍 www.intlpress.com HIGHER EDUCATION PRESS Yng-Ing Lee Chang-Shou Lin National Taiwan University National Chung Cheng University Mao-Pei Tsui University of Toledo Copyright © 2010 by International Press, Somerville, Massachusetts, U.S.A., and by Higher Education Press, Beijing, China. This work is published and sold in China exclusively by Higher Education Press of China. No part of this work can be reproduced in any form, electronic or mechanical, recording, or by any information storage and data retrieval system, without prior approval from International Press. Requests for reproduction for scientific and/or educational purposes will normally be granted free of charge. In those cases where the author has retained copyright, requests for permission to use or reproduce any material should be addressed directly to the author. ISBN 978-1-57146-143-8 Typeset using the LaTeX system. Printed in the USA on acid-free paper. ADVANCED LECTURES IN MATHEMATICS Executive Editors Shing-Tung Yau Kefeng Liu Harvard University University of California at Los Angeles Zhejiang University Lizhen Ji Hangzhou, China University of Michigan, Ann Arbor Editorial Board Chongqing Cheng Tatsien Li Nanjing University Fudan University Nanjing, China Shanghai, China Zhong-Ci Shi Zhiying Wen Institute of Computational Mathematics Tsinghua University Chinese Academy of Sciences (CAS) Beijing, China Beijing, China Lo Yang Zhouping Xin Institute of Mathematics The Chinese University of Hong Kong Chinese Academy of Sciences (CAS) Hong Kong, China Beijing, China Weiping Zhang Xiangyu Zhou Nankai University Institute of Mathematics Tianjin, China Chinese Academy of Sciences (CAS) Beijing, China Xiping Zhu Zhongshan University Guangzhou, China Preface “2007 International Conference in Geometric Analysis” was held in Taiwan University from June 18th to 22nd, 2007.
    [Show full text]
  • Geometric Analysis
    IAS/PARK CITY MATHEMATICS SERIES Volume 22 Geometric Analysis Hubert L. Bray Greg Galloway Rafe Mazzeo Natasa Sesum Editors American Mathematical Society Institute for Advanced Study Geometric Analysis https://doi.org/10.1090//pcms/022 IAS/PARK CITY MATHEMATICS SERIES Volume 22 Geometric Analysis Hubert L. Bray Greg Galloway Rafe Mazzeo Natasa Sesum Editors American Mathematical Society Institute for Advanced Study Hubert Lewis Bray, Gregory J. Galloway, Rafe Mazzeo, and Natasa Sesum, Volume Editors IAS/Park City Mathematics Institute runs mathematics education programs that bring together high school mathematics teachers, researchers in mathematics and mathematics education, undergraduate mathematics faculty, graduate students, and undergraduates to participate in distinct but overlapping programs of research and education. This volume contains the lecture notes from the Graduate Summer School program 2010 Mathematics Subject Classification. Primary 53-06, 35-06, 83-06. Library of Congress Cataloging-in-Publication Data Geometric analysis / Hubert L. Bray, editor [and three others]. pages cm. — (IAS/Park City mathematics series ; volume 22) Includes bibliographical references. ISBN 978-1-4704-2313-1 (alk. paper) 1. Geometric analysis. 2. Mathematical analysis. I. Bray, Hubert L., editor. QA360.G455 2015 515.1—dc23 2015031562 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy select pages for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society.
    [Show full text]
  • Redalyc.Stochastic Processes. a Critical Synthesis
    Análisis Económico ISSN: 0185-3937 [email protected] Universidad Autónoma Metropolitana Unidad Azcapotzalco México Ludlow Wiechers, Jorge; Williams, Felicity; Mota Aragón, Beatríz; Peredo y Rodríguez, Felipe Stochastic Processes. A Critical Synthesis Análisis Económico, vol. XXIII, núm. 53, 2008, pp. 73-97 Universidad Autónoma Metropolitana Unidad Azcapotzalco Distrito Federal, México Available in: http://www.redalyc.org/articulo.oa?id=41311449005 How to cite Complete issue Scientific Information System More information about this article Network of Scientific Journals from Latin America, the Caribbean, Spain and Portugal Journal's homepage in redalyc.org Non-profit academic project, developed under the open access initiative Stochastic Processes. A Critical Synthesis 73 Análisis Económico Núm. 53, vol. XXIII Segundo cuatrimestre de 2008 Stochastic Processes. A Critical Synthesis (Recibido: junio/07–aprobado: septiembre/07) Jorge Ludlow Wiechers* Felicity Williams* Beatríz Mota Aragón** Felipe Peredo y Rodríguez** Abstract The subject of Stochastic Processes is highly specialized and here only we present an assessment of the subject. To explain uncertainty dynamics a model is required which consists of a system et stochastic differential equation. We provide a critical synthesis of the literature and analyze the geometric behavior of a basket of useful models, stopping at computer simulation and borrowing ideas taken from the Monte Carlo method. Key words: Wiener processes, diffusion processes, Ito formule, Ornstein-Uhlenbeck, Merton, Vasicek, Cox Ingersoll and Ross, Ho-Lee, Longstaff, Hull-White. JEL Classification: C15, C32, G11, G14. * Profesores-Investigadores del Departamento de Economía de la UAM-A ([email protected]) ([email protected]). ** Profesores-Investigadores del Departamento de Economía de la UAM-I ([email protected]) ([email protected]).
    [Show full text]
  • Thermodynamic Geometry of Yang–Mills Vacua
    universe Article Thermodynamic Geometry of Yang–Mills Vacua Stefano Bellucci 1 and Bhupendra Nath Tiwari 1,2,3,* 1 INFN-Laboratori Nazionali di Frascati, Via E. Fermi 40, 00044 Frascati, Italy; [email protected] 2 Amity School of Applied Sciences, Amity University Haryana, Gurgaon 122413, India 3 University for Information Science and Technology, St. Paul the Apotle, 6000 Ohrid, Macedonia * Correspondence: [email protected] Received: 14 December 2018; Accepted: 02 April 2019; Published: 10 April 2019 Abstract: We study vacuum fluctuation properties of an ensemble of SU(N) gauge theory configurations, in the limit of many colors, viz. Nc ! ¥, and explore the statistical nature of the topological susceptibility by analyzing its critical behavior at a non-zero-vacuum parameter q and temperature T. We find that the system undergoes a vacuum phase transition at the chiral symmetry restoration temperature as well as at an absolute value of q. On the other hand, the long-range correlation length solely depends on q for the theories with critical exponent e = 2 or T = Td + 1, where Td is the decoherence temperature. Furthermore, it is worth noticing that the unit-critical exponent vacuum configuration corresponds to a non-interacting statistical basis pertaining to a constant mass of h0. Keywords: thermodynamic geometry; fluctuation theory; phase transitions; topological susceptibility; QCD; large N gauge theory 1. Introduction Quantum chromo-dynamics (QCD) as a Yang–Mills (YM) gauge theory has opened interesting avenues in understanding strong nuclear processes and decay reactions [1–3]. Therefore, the stability of nuclear particles, viz. the determination of the lifetime of a particle or decay rate of a given nuclear reaction is one of the most interesting research issues since the proposition of modern gauge field theory [4].
    [Show full text]
  • Handbook of Geometric Analysis, No. 3
    Advanced Lectures in Mathematics Volume XIV Handbook of Geometric Analysis, No. 3 Editors: Lizhen Ji, Peter Li, Richard Schoen, and Leon Simon International Press 高等教育出版社 www.intlpress.com HIGHER EDUCATION PRESS Advanced Lectures in Mathematics, Volume XIV Handbook of Geometric Analysis, No. 3 Volume Editors: Lizhen Ji, University of Michigan, Ann Arbor Peter Li, University of California at Irvine Richard Schoen, Stanford University Leon Simon, Stanford University 2010 Mathematics Subject Classification. 01-02, 53-06, 58-06. Copyright © 2010 by International Press, Somerville, Massachusetts, U.S.A., and by Higher Education Press, Beijing, China. This work is published and sold in China exclusively by Higher Education Press of China. No part of this work can be reproduced in any form, electronic or mechanical, recording, or by any information storage and data retrieval system, without prior approval from International Press. Requests for reproduction for scientific and/or educational purposes will normally be granted free of charge. In those cases where the author has retained copyright, requests for permission to use or reproduce any material should be addressed directly to the author. ISBN 978-1-57146-205-3 Printed in the United States of America. 15 14 13 12 2 3 4 5 6 7 8 9 ADVANCED LECTURES IN MATHEMATICS Executive Editors Shing-Tung Yau Kefeng Liu Harvard University University of California at Los Angeles Zhejiang University Lizhen Ji Hangzhou, China University of Michigan, Ann Arbor Editorial Board Chongqing Cheng Tatsien Li Nanjing
    [Show full text]
  • Bosonic Strings: a Mathematical Treatment
    AMS/IP Studies in Advanced Mathematics S.-T. Yau, Series Editor Bosonic Strings: A Mathematical Treatment Jürgen Jost American Mathematical Society • International Press Selected Titles in This Series 21 J¨urgen Jost, Bosonic Strings: A Mathematical Treatment, 2001 20 Lo Yang and S.-T. Yau, Editors, First International Congress of Chinese Mathematicians, 2001 19 So-Chin Chen and Mei-Chi Shaw, Partial Differential Equations in Several Complex Variables, 2001 18 Fangyang Zheng, Complex Differential Geometry, 2000 17 Lei Guo and Stephen S.-T. Yau, Editors, Lectures on Systems, Control, and Information, 2000 16 Rudi Weikard and Gilbert Weinstein, Editors, Differential Equations and Mathematical Physics, 2000 15 Ling Hsiao and Zhouping Xin, Editors, Some Current Topics on Nonlinear Conservation Laws, 2000 14 Jun-ichi Igusa, An Introduction to the Theory of Local Zeta Functions, 2000 13 Vasilios Alexiades and George Siopsis, Editors, Trends in Mathematical Physics, 1999 12 Sheng Gong, The Bieberbach Conjecture, 1999 11 Shinichi Mochizuki, Foundations of p-adic Teichm¨uller Theory, 1999 10 Duong H. Phong, Luc Vinet, and Shing-Tung Yau, Editors, Mirror Symmetry III, 1999 9 Shing-Tung Yau, Editor, Mirror Symmetry I, 1998 8 J¨urgen Jost, Wilfrid Kendall, Umberto Mosco, Michael R¨ockner, and Karl-Theodor Sturm, New Directions in Dirichlet Forms, 1998 7 D. A. Buell and J. T. Teitelbaum, Editors, Computational Perspectives on Number Theory, 1998 6 Harold Levine, Partial Differential Equations, 1997 5 Qi-keng Lu, Stephen S.-T. Yau, and Anatoly Libgober, Editors, Singularities and Complex Geometry, 1997 4 Vyjayanthi Chari and Ivan B. Penkov, Editors, Modular Interfaces: Modular Lie Algebras, Quantum Groups, and Lie Superalgebras, 1997 3 Xia-Xi Ding and Tai-Ping Liu, Editors, Nonlinear Evolutionary Partial Differential Equations, 1997 2.2 William H.
    [Show full text]
  • Quantum Algorithms for Topological and Geometric Analysis of Data
    Quantum algorithms for topological and geometric analysis of data The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation Lloyd, Seth, Silvano Garnerone, and Paolo Zanardi. “Quantum Algorithms for Topological and Geometric Analysis of Data.” Nat Comms 7 (January 25, 2016): 10138. As Published http://dx.doi.org/10.1038/ncomms10138 Publisher Nature Publishing Group Version Final published version Citable link http://hdl.handle.net/1721.1/101739 Terms of Use Creative Commons Attribution Detailed Terms http://creativecommons.org/licenses/by/4.0/ ARTICLE Received 17 Sep 2014 | Accepted 9 Nov 2015 | Published 25 Jan 2016 DOI: 10.1038/ncomms10138 OPEN Quantum algorithms for topological and geometric analysis of data Seth Lloyd1, Silvano Garnerone2 & Paolo Zanardi3 Extracting useful information from large data sets can be a daunting task. Topological methods for analysing data sets provide a powerful technique for extracting such information. Persistent homology is a sophisticated tool for identifying topological features and for determining how such features persist as the data is viewed at different scales. Here we present quantum machine learning algorithms for calculating Betti numbers—the numbers of connected components, holes and voids—in persistent homology, and for finding eigenvectors and eigenvalues of the combinatorial Laplacian. The algorithms provide an exponential speed-up over the best currently known classical algorithms for topological data analysis. 1 Department of Mechanical Engineering, Research Lab for Electronics, Massachusetts Institute of Technology, MIT 3-160, Cambridge, Massachusetts 02139, USA. 2 Institute for Quantum Computing, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1.
    [Show full text]