The nexus of conformal geometry, action principles and tau-functions: a pathway to novel constructive methods for shape analysis and imaging

形状的研究是医学成像、计算机视觉和许多工程领域的中心问题。假设我们从X射线扫描中得到了人体器官的轮廓，比如大脑或结肠。人体器官会因为疾病进展、手术和其他治疗而改变形状，而且只是通过自然生长。从这样的轮廓或2D形状，我们如何判断器官是否患病(例如，在阿尔茨海默氏症患者的大脑中)，如果是的话，疾病的进展程度？一种方法是将扫描的形状与模板或以前患者的平均形状数据进行比较或“登记”。这一过程被称为形状配准，与形状分类和识别一起，这是一个活跃的研究领域。所有这一切都需要一种方法来计算一个形状与另一个形状的距离。对于数学家来说，实体之间的距离是通过在适当定义的一个或一组实体上定义一个度量来测量的；多年来，已经提出了许多不同空间上的度量用于医学图像中的形状配准。保形几何是研究形状的共形结构的学科，从数学上讲，它具有许多有利的属性，使得它特别适合于形状配准任务。数学家给一个有洞的形状命名为“多重连接”。在医学成像中，在任何给定的医学扫描上识别具有特殊意义的某些显著特征、属性或“地标”是很常见的。在人脸识别的重要技术领域，人脸的2D轮廓可能会被眼睛、鼻子和嘴巴周围的“洞”所点缀，这些洞被考虑在内，以便图像能够传递更准确的信息。因此，多重连通性的数学概念与这些应用程序密切相关。形状分析的保角几何方法在多重连通性环境中尚未得到充分发展，这是PI在过去在完全不同的应用领域的研究中获得的特殊专业知识的领域。PI还对构造方法特别感兴趣，他过去的工作包括识别重要的数学工具，并通过开发计算方法和软件将这些工具实现。这一建议开发了一种新的形状分析方法，它建立在过去十年才发现的几个不同数学子领域之间令人惊讶的联系上。它有内部和外部。复变分析中的黎曼映射定理说，存在从圆盘到曲线内部的“映射”，以及从同一圆盘到曲线外部的不同映射。保角几何学家考虑了这两个映射的巧妙组合，并提出了一个被称为原始曲线的“指纹”的识别符。另一方面，在称为Hele-Shaw问题的经典自由边界问题中，自1972以来人们一直认识到，考虑曲线内部的(Richardson)“矩”以及曲线外部的矩是有用的。在过去的十年里，数学物理学家已经发现，内部力矩可以通过所谓的tau函数由外部力矩产生。令人惊讶的是，同样的tau函数也是由另一个团体(保形场理论家)用非常不同的数学论证得到的。曲线的“指纹”和曲线的“tau函数”都是通过将关于曲线内部的数据和关于曲线外部的数据结合在一起而得到的。这些对象必须是相关的。但如何做到呢？这个项目是关于探索这些联系，并检查是否可以找到形状分析和医学成像的新的建设性方法。

The study of shapes is a central problem in medical imaging, computer vision and many engineering fields. Suppose we are given the silhouette of a human organ, such as the brain or colon, from an X-ray scan. Human organs change their shape because of disease progression, surgery and other treatments, and simply by natural growth. How are we to tell from such a silhouette, or 2D shape, whether the organ is diseased (as in the brain of an Alzheimer's patient for example) and, if so, the degree of progression of the disease? One way is to compare, or "register", the shape of the scan against templates or averaged shape data from previous patients. This process is known as shape registration and it is a vibrant area of active research, along with shape classification and recognition. All this requires a way to compute how far one shape is from another. For mathematicians, the distance between entities is measured by defining a metric on a suitably defined "space" or set of entities; over the years, many such metrics over different spaces have been proposed for the purposes of shape registration in medical imaging.Conformal geometry is the study of the conformal structure of a shape and, mathematically, it has many favourable attributes that render it particularly suitable for shape registration tasks. Mathematicians give the name "multiply connected'' to a shape that has holes in it. In medical imaging, it is common to identify on any given medical scan certain distinguishing features, attributes or "landmarks'' that have special significance. In the technologically important area of facial recognition, the 2D silhouette of a person's face might be punctuated by "holes'' around the eyes, nose and mouth which are considered in order that the image can impart more accurate information. The mathematical notion of multiple connectivity is therefore deeply relevant to these applications.The conformal geometric approach to shape analysis has not been fully developed in the multiply connected setting, and this is an area where the PI has particular expertise acquired in past research on quite different application areas. The PI also has special interest in constructive methods, and his past work has included both identifying important mathematical tools and bringing these to implementational fruition by the development of computational methods and software. This proposal develops a novel approach to shape analysis by building on surprising connections, found only in the last decade, between several different mathematical subfields.Consider a simple closed curve in the plane. It has an inside and the outside. The Riemann mapping theorem of complex analysis says that there exists a "mapping" from a circular disc to the inside of the curve, and a different mapping from the same circular disc to the outside of the curve. Conformal geometers have considered a clever composition of these two mappings and have come up with an identifier known as a "fingerprint" of the original curve.On the other hand, in a classic free boundary problem called the Hele-Shaw problem it has been recognized since 1972 that it is useful to consider the (Richardson) "moments" of the inside of a curve, as well as the moments of the outside of a curve. In the last decade, mathematical physicists have discovered that the interior moments can be generated by the exterior moments by means of a so-called tau-function. Surprisingly, this same tau-function has also been obtained by yet another community (conformal field theorists) using very different mathematical arguments.Both the "fingerprint" of the curve and the "tau-function" of the curve come about by marrying data about the interior of the curve to data about the exterior of the curve. These objects must be related. But how? This project is about exploring those connections, and examining if novel constructive methods for shape analysis and medical imaging can be found as a result.