-
WSESeg: Introducing a Dataset for the Segmentation of Winter Sports Equipment with a Baseline for Interactive Segmentation
Authors:
Robin Schön,
Daniel Kienzle,
Rainer Lienhart
Abstract:
In this paper we introduce a new dataset containing instance segmentation masks for ten different categories of winter sports equipment, called WSESeg (Winter Sports Equipment Segmentation). Furthermore, we carry out interactive segmentation experiments on said dataset to explore possibilities for efficient further labeling. The SAM and HQ-SAM models are conceptualized as foundation models for per…
▽ More
In this paper we introduce a new dataset containing instance segmentation masks for ten different categories of winter sports equipment, called WSESeg (Winter Sports Equipment Segmentation). Furthermore, we carry out interactive segmentation experiments on said dataset to explore possibilities for efficient further labeling. The SAM and HQ-SAM models are conceptualized as foundation models for performing user guided segmentation. In order to measure their claimed generalization capability we evaluate them on WSESeg. Since interactive segmentation offers the benefit of creating easily exploitable ground truth data during test-time, we are going to test various online adaptation methods for the purpose of exploring potentials for improvements without having to fine-tune the models explicitly. Our experiments show that our adaptation methods drastically reduce the Failure Rate (FR) and Number of Clicks (NoC) metrics, which generally leads faster to better interactive segmentation results.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Segformer++: Efficient Token-Merging Strategies for High-Resolution Semantic Segmentation
Authors:
Daniel Kienzle,
Marco Kantonis,
Robin Schön,
Rainer Lienhart
Abstract:
Utilizing transformer architectures for semantic segmentation of high-resolution images is hindered by the attention's quadratic computational complexity in the number of tokens. A solution to this challenge involves decreasing the number of tokens through token merging, which has exhibited remarkable enhancements in inference speed, training efficiency, and memory utilization for image classifica…
▽ More
Utilizing transformer architectures for semantic segmentation of high-resolution images is hindered by the attention's quadratic computational complexity in the number of tokens. A solution to this challenge involves decreasing the number of tokens through token merging, which has exhibited remarkable enhancements in inference speed, training efficiency, and memory utilization for image classification tasks. In this paper, we explore various token merging strategies within the framework of the Segformer architecture and perform experiments on multiple semantic segmentation and human pose estimation datasets. Notably, without model re-training, we, for example, achieve an inference acceleration of 61% on the Cityscapes dataset while maintaining the mIoU performance. Consequently, this paper facilitates the deployment of transformer-based architectures on resource-constrained devices and in real-time applications.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
A Review and Efficient Implementation of Scene Graph Generation Metrics
Authors:
Julian Lorenz,
Robin Schön,
Katja Ludwig,
Rainer Lienhart
Abstract:
Scene graph generation has emerged as a prominent research field in computer vision, witnessing significant advancements in the recent years. However, despite these strides, precise and thorough definitions for the metrics used to evaluate scene graph generation models are lacking. In this paper, we address this gap in the literature by providing a review and precise definition of commonly used me…
▽ More
Scene graph generation has emerged as a prominent research field in computer vision, witnessing significant advancements in the recent years. However, despite these strides, precise and thorough definitions for the metrics used to evaluate scene graph generation models are lacking. In this paper, we address this gap in the literature by providing a review and precise definition of commonly used metrics in scene graph generation. Our comprehensive examination clarifies the underlying principles of these metrics and can serve as a reference or introduction to scene graph metrics.
Furthermore, to facilitate the usage of these metrics, we introduce a standalone Python package called SGBench that efficiently implements all defined metrics, ensuring their accessibility to the research community. Additionally, we present a scene graph benchmarking web service, that enables researchers to compare scene graph generation methods and increase visibility of new methods in a central place.
All of our code can be found at https://lorjul.github.io/sgbench/.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
Adapting the Segment Anything Model During Usage in Novel Situations
Authors:
Robin Schön,
Julian Lorenz,
Katja Ludwig,
Rainer Lienhart
Abstract:
The interactive segmentation task consists in the creation of object segmentation masks based on user interactions. The most common way to guide a model towards producing a correct segmentation consists in clicks on the object and background. The recently published Segment Anything Model (SAM) supports a generalized version of the interactive segmentation problem and has been trained on an object…
▽ More
The interactive segmentation task consists in the creation of object segmentation masks based on user interactions. The most common way to guide a model towards producing a correct segmentation consists in clicks on the object and background. The recently published Segment Anything Model (SAM) supports a generalized version of the interactive segmentation problem and has been trained on an object segmentation dataset which contains 1.1B masks. Though being trained extensively and with the explicit purpose of serving as a foundation model, we show significant limitations of SAM when being applied for interactive segmentation on novel domains or object types. On the used datasets, SAM displays a failure rate $\text{FR}_{30}@90$ of up to $72.6 \%$. Since we still want such foundation models to be immediately applicable, we present a framework that can adapt SAM during immediate usage. For this we will leverage the user interactions and masks, which are constructed during the interactive segmentation process. We use this information to generate pseudo-labels, which we use to compute a loss function and optimize a part of the SAM model. The presented method causes a relative reduction of up to $48.1 \%$ in the $\text{FR}_{20}@85$ and $46.6 \%$ in the $\text{FR}_{30}@90$ metrics.
△ Less
Submitted 12 April, 2024;
originally announced April 2024.
-
The STOIC2021 COVID-19 AI challenge: applying reusable training methodologies to private data
Authors:
Luuk H. Boulogne,
Julian Lorenz,
Daniel Kienzle,
Robin Schon,
Katja Ludwig,
Rainer Lienhart,
Simon Jegou,
Guang Li,
Cong Chen,
Qi Wang,
Derik Shi,
Mayug Maniparambil,
Dominik Muller,
Silvan Mertes,
Niklas Schroter,
Fabio Hellmann,
Miriam Elia,
Ine Dirks,
Matias Nicolas Bossa,
Abel Diaz Berenguer,
Tanmoy Mukherjee,
Jef Vandemeulebroucke,
Hichem Sahli,
Nikos Deligiannis,
Panagiotis Gonidakis
, et al. (13 additional authors not shown)
Abstract:
Challenges drive the state-of-the-art of automated medical image analysis. The quantity of public training data that they provide can limit the performance of their solutions. Public access to the training methodology for these solutions remains absent. This study implements the Type Three (T3) challenge format, which allows for training solutions on private data and guarantees reusable training m…
▽ More
Challenges drive the state-of-the-art of automated medical image analysis. The quantity of public training data that they provide can limit the performance of their solutions. Public access to the training methodology for these solutions remains absent. This study implements the Type Three (T3) challenge format, which allows for training solutions on private data and guarantees reusable training methodologies. With T3, challenge organizers train a codebase provided by the participants on sequestered training data. T3 was implemented in the STOIC2021 challenge, with the goal of predicting from a computed tomography (CT) scan whether subjects had a severe COVID-19 infection, defined as intubation or death within one month. STOIC2021 consisted of a Qualification phase, where participants developed challenge solutions using 2000 publicly available CT scans, and a Final phase, where participants submitted their training methodologies with which solutions were trained on CT scans of 9724 subjects. The organizers successfully trained six of the eight Final phase submissions. The submitted codebases for training and running inference were released publicly. The winning solution obtained an area under the receiver operating characteristic curve for discerning between severe and non-severe COVID-19 of 0.815. The Final phase solutions of all finalists improved upon their Qualification phase solutions.HSUXJM-TNZF9CHSUXJM-TNZF9C
△ Less
Submitted 25 June, 2023; v1 submitted 18 June, 2023;
originally announced June 2023.
-
On the first and second homotopy groups of manifolds with positive curvature
Authors:
Richard Schoen
Abstract:
We show that an odd dimensional closed manifold with positive curvature cannot contain an incompressible real projective plane in the sense that there is no map of the projective plane into the manifold which is nontrivial on both first and second homotopy groups. Another way to say this is that no element of the fundamental group reverses the orientation of a class in the second homotopy group. F…
▽ More
We show that an odd dimensional closed manifold with positive curvature cannot contain an incompressible real projective plane in the sense that there is no map of the projective plane into the manifold which is nontrivial on both first and second homotopy groups. Another way to say this is that no element of the fundamental group reverses the orientation of a class in the second homotopy group. Further we show that for a manifold of dimension divisible by four with positive curvature the fundamental group acts trivially on the second homotopy group. The methods involve a careful study of the stability of minimal two spheres in manifolds of positive curvature.
△ Less
Submitted 21 April, 2023;
originally announced April 2023.
-
Impact of Pseudo Depth on Open World Object Segmentation with Minimal User Guidance
Authors:
Robin Schön,
Katja Ludwig,
Rainer Lienhart
Abstract:
Pseudo depth maps are depth map predicitions which are used as ground truth during training. In this paper we leverage pseudo depth maps in order to segment objects of classes that have never been seen during training. This renders our object segmentation task an open world task. The pseudo depth maps are generated using pretrained networks, which have either been trained with the full intention t…
▽ More
Pseudo depth maps are depth map predicitions which are used as ground truth during training. In this paper we leverage pseudo depth maps in order to segment objects of classes that have never been seen during training. This renders our object segmentation task an open world task. The pseudo depth maps are generated using pretrained networks, which have either been trained with the full intention to generalize to downstream tasks (LeRes and MiDaS), or which have been trained in an unsupervised fashion on video sequences (MonodepthV2). In order to tell our network which object to segment, we provide the network with a single click on the object's surface on the pseudo depth map of the image as input. We test our approach on two different scenarios: One without the RGB image and one where the RGB image is part of the input. Our results demonstrate a considerably better generalization performance from seen to unseen object types when depth is used. On the Semantic Boundaries Dataset we achieve an improvement from $61.57$ to $69.79$ IoU score on unseen classes, when only using half of the training classes during training and performing the segmentation on depth maps only.
△ Less
Submitted 12 April, 2023;
originally announced April 2023.
-
All Keypoints You Need: Detecting Arbitrary Keypoints on the Body of Triple, High, and Long Jump Athletes
Authors:
Katja Ludwig,
Julian Lorenz,
Robin Schön,
Rainer Lienhart
Abstract:
Performance analyses based on videos are commonly used by coaches of athletes in various sports disciplines. In individual sports, these analyses mainly comprise the body posture. This paper focuses on the disciplines of triple, high, and long jump, which require fine-grained locations of the athlete's body. Typical human pose estimation datasets provide only a very limited set of keypoints, which…
▽ More
Performance analyses based on videos are commonly used by coaches of athletes in various sports disciplines. In individual sports, these analyses mainly comprise the body posture. This paper focuses on the disciplines of triple, high, and long jump, which require fine-grained locations of the athlete's body. Typical human pose estimation datasets provide only a very limited set of keypoints, which is not sufficient in this case. Therefore, we propose a method to detect arbitrary keypoints on the whole body of the athlete by leveraging the limited set of annotated keypoints and auto-generated segmentation masks of body parts. Evaluations show that our model is capable of detecting keypoints on the head, torso, hands, feet, arms, and legs, including also bent elbows and knees. We analyze and compare different techniques to encode desired keypoints as the model's input and their embedding for the Transformer backbone.
△ Less
Submitted 10 May, 2023; v1 submitted 6 April, 2023;
originally announced April 2023.
-
Stability and largeness properties of minimal surfaces in higher codimension
Authors:
Ailana Fraser,
Richard Schoen
Abstract:
We consider stable minimal surfaces of genus 1 in Euclidean space and in Riemannian manifolds. Under the condition of covering stability (all finite covers are stable) we show that a genus 1 finite total curvature minimal surface in $\mathbb R^n$ lies in an even dimensional affine subspace and is holomorphic for some constant orthogonal complex structure. For stable minimal tori in Riemannian mani…
▽ More
We consider stable minimal surfaces of genus 1 in Euclidean space and in Riemannian manifolds. Under the condition of covering stability (all finite covers are stable) we show that a genus 1 finite total curvature minimal surface in $\mathbb R^n$ lies in an even dimensional affine subspace and is holomorphic for some constant orthogonal complex structure. For stable minimal tori in Riemannian manifolds we give an explicit bound on the systole in terms of a positive lower bound on the isotropic curvature. As an application we estimate the systole of noncyclic abelian subgroups of the fundamental group of PIC manifolds. This gives a new proof of the result of [5] that the fundamental cannot contain a noncyclic free abelian subgroup. The proofs apply the structure theory of holomorphic vector bundles over genus 1 Riemann surfaces developed by M. Atiyah [2].
△ Less
Submitted 13 March, 2023;
originally announced March 2023.
-
Pseudo-Label Noise Suppression Techniques for Semi-Supervised Semantic Segmentation
Authors:
Sebastian Scherer,
Robin Schön,
Rainer Lienhart
Abstract:
Semi-supervised learning (SSL) can reduce the need for large labelled datasets by incorporating unlabelled data into the training. This is particularly interesting for semantic segmentation, where labelling data is very costly and time-consuming. Current SSL approaches use an initially supervised trained model to generate predictions for unlabelled images, called pseudo-labels, which are subsequen…
▽ More
Semi-supervised learning (SSL) can reduce the need for large labelled datasets by incorporating unlabelled data into the training. This is particularly interesting for semantic segmentation, where labelling data is very costly and time-consuming. Current SSL approaches use an initially supervised trained model to generate predictions for unlabelled images, called pseudo-labels, which are subsequently used for training a new model from scratch. Since the predictions usually do not come from an error-free neural network, they are naturally full of errors. However, training with partially incorrect labels often reduce the final model performance. Thus, it is crucial to manage errors/noise of pseudo-labels wisely. In this work, we use three mechanisms to control pseudo-label noise and errors: (1) We construct a solid base framework by mixing images with cow-patterns on unlabelled images to reduce the negative impact of wrong pseudo-labels. Nevertheless, wrong pseudo-labels still have a negative impact on the performance. Therefore, (2) we propose a simple and effective loss weighting scheme for pseudo-labels defined by the feedback of the model trained on these pseudo-labels. This allows us to soft-weight the pseudo-label training examples based on their determined confidence score during training. (3) We also study the common practice to ignore pseudo-labels with low confidence and empirically analyse the influence and effect of pseudo-labels with different confidence ranges on SSL and the contribution of pseudo-label filtering to the achievable performance gains. We show that our method performs superior to state of-the-art alternatives on various datasets. Furthermore, we show that our findings also transfer to other tasks such as human pose estimation. Our code is available at https://github.com/ChristmasFan/SSL_Denoising_Segmentation.
△ Less
Submitted 19 October, 2022;
originally announced October 2022.
-
COVID Detection and Severity Prediction with 3D-ConvNeXt and Custom Pretrainings
Authors:
Daniel Kienzle,
Julian Lorenz,
Robin Schön,
Katja Ludwig,
Rainer Lienhart
Abstract:
Since COVID strongly affects the respiratory system, lung CT-scans can be used for the analysis of a patients health. We introduce a neural network for the prediction of the severity of lung damage and the detection of a COVID-infection using three-dimensional CT-data. Therefore, we adapt the recent ConvNeXt model to process three-dimensional data. Furthermore, we design and analyze different pret…
▽ More
Since COVID strongly affects the respiratory system, lung CT-scans can be used for the analysis of a patients health. We introduce a neural network for the prediction of the severity of lung damage and the detection of a COVID-infection using three-dimensional CT-data. Therefore, we adapt the recent ConvNeXt model to process three-dimensional data. Furthermore, we design and analyze different pretraining methods specifically designed to improve the models ability to handle three-dimensional CT-data. We rank 2nd in the 1st COVID19 Severity Detection Challenge and 3rd in the 2nd COVID19 Detection Challenge.
△ Less
Submitted 17 August, 2022; v1 submitted 30 June, 2022;
originally announced June 2022.
-
Some results on higher eigenvalue optimization
Authors:
Ailana Fraser,
Richard Schoen
Abstract:
In this paper we obtain several results concerning the optimization of higher Steklov eigenvalues both in two and higher dimensional cases. We first show that the normalized (by boundary length) $k$-th Steklov eigenvalue on the disk is not maximized for a smooth metric on the disk for $k\geq 3$. For $k=1$ the classical result of [W] shows that $σ_1$ is maximized by the standard metric on the round…
▽ More
In this paper we obtain several results concerning the optimization of higher Steklov eigenvalues both in two and higher dimensional cases. We first show that the normalized (by boundary length) $k$-th Steklov eigenvalue on the disk is not maximized for a smooth metric on the disk for $k\geq 3$. For $k=1$ the classical result of [W] shows that $σ_1$ is maximized by the standard metric on the round disk. For $k=2$ it was shown [GP1] that $σ_2$ is not maximized for a smooth metric. We also prove a local rigidity result for the critical catenoid and the critical Möbius band as free boundary minimal surfaces in a ball under $C^2$ deformations. We next show that the first $k$ Steklov eigenvalues are continuous under certain degenerations of Riemannian manifolds in any dimension. Finally we show that for $k\geq 2$ the supremum of the $k$-th Steklov eigenvalue on the annulus over all metrics is strictly larger that that over $S^1$-invariant metrics. We prove this same result for metrics on the Möbius band.
△ Less
Submitted 8 October, 2019;
originally announced October 2019.
-
Shape optimization for the Steklov problem in higher dimensions
Authors:
Ailana Fraser,
Richard Schoen
Abstract:
We show that the ball does not maximize the first nonzero Steklov eigenvalue among all contractible domains of fixed boundary volume in $\mathbb{R}^n$ when $n \geq 3$. This is in contrast to the situation when $n=2$, where a result of Weinstock from 1954 shows that the disk uniquely maximizes the first Steklov eigenvalue among all simply connected domains in the plane having the same boundary leng…
▽ More
We show that the ball does not maximize the first nonzero Steklov eigenvalue among all contractible domains of fixed boundary volume in $\mathbb{R}^n$ when $n \geq 3$. This is in contrast to the situation when $n=2$, where a result of Weinstock from 1954 shows that the disk uniquely maximizes the first Steklov eigenvalue among all simply connected domains in the plane having the same boundary length. When $n \geq 3$, we show that increasing the number of boundary components does not increase the normalized (by boundary volume) first Steklov eigenvalue. This is in contrast to recent results which have been obtained for surfaces.
△ Less
Submitted 12 November, 2017;
originally announced November 2017.
-
Positive Scalar Curvature and Minimal Hypersurface Singularities
Authors:
Richard Schoen,
Shing-Tung Yau
Abstract:
In this paper we develop methods to extend the minimal hypersurface approach to positive scalar curvature problems to all dimensions. This includes a proof of the positive mass theorem in all dimensions without a spin assumption. It also includes statements about the structure of compact manifolds of positive scalar curvature extending the work of \cite{sy1} to all dimensions. The technical work i…
▽ More
In this paper we develop methods to extend the minimal hypersurface approach to positive scalar curvature problems to all dimensions. This includes a proof of the positive mass theorem in all dimensions without a spin assumption. It also includes statements about the structure of compact manifolds of positive scalar curvature extending the work of \cite{sy1} to all dimensions. The technical work in this paper is to construct minimal slicings and associated weight functions in the presence of small singular sets and to show that the singular sets do not become too large in the lower dimensional slices. It is shown that the singular set in any slice is a closed set with Hausdorff codimension at least three. In particular for arguments which involve slicing down to dimension $1$ or $2$ the method is successful. The arguments can be viewed as an extension of the minimal hypersurface regularity theory to this setting of minimal slicings.
△ Less
Submitted 18 April, 2017;
originally announced April 2017.
-
Complete manifolds with bounded curvature and spectral gaps
Authors:
Richard Schoen,
Hung Tran
Abstract:
We study the spectrum of complete noncompact manifolds with bounded curvature and positive injectivity radius. We give general conditions which imply that their essential spectrum has an arbitrarily large finite number of gaps. In particular, for any noncompact covering of a compact manifold, there is a metric on the base so that the lifted metric has an arbitrarily large finite number of gaps in…
▽ More
We study the spectrum of complete noncompact manifolds with bounded curvature and positive injectivity radius. We give general conditions which imply that their essential spectrum has an arbitrarily large finite number of gaps. In particular, for any noncompact covering of a compact manifold, there is a metric on the base so that the lifted metric has an arbitrarily large finite number of gaps in its essential spectrum. Also, for any complete noncompact manifold with bounded curvature and positive injectivity radius we construct a metric uniformly equivalent to the given one (also of bounded curvature and positive injectivity radius) with an arbitrarily large finite number of gaps in its essential spectrum.
△ Less
Submitted 14 November, 2017; v1 submitted 16 October, 2015;
originally announced October 2015.
-
On the Bartnik mass of apparent horizons
Authors:
Christos Mantoulidis,
Richard Schoen
Abstract:
In this paper we characterize the intrinsic geometry of apparent horizons (outermost marginally outer trapped surfaces) in asymptotically flat spacetimes; that is, the Riemannian metrics on the two sphere which can arise. Furthermore we determine the minimal ADM mass of a spacetime containing such an apparent horizon. The results are conveniently formulated in terms of the quasi-local mass introdu…
▽ More
In this paper we characterize the intrinsic geometry of apparent horizons (outermost marginally outer trapped surfaces) in asymptotically flat spacetimes; that is, the Riemannian metrics on the two sphere which can arise. Furthermore we determine the minimal ADM mass of a spacetime containing such an apparent horizon. The results are conveniently formulated in terms of the quasi-local mass introduced by Bartnik in 1989. The Hawking mass provides a lower bound for Bartnik's quasilocal mass on apparent horizons by way of Penrose's conjecture on time symmetric slices, proven in 1997 by Huisken and Ilmanen and in full generality in 1999 by Bray. We compute Bartnik's mass for all non-degenerate apparent horizons and show that it coincides with the Hawking mass. As a corollary we disprove a conjecture due to Gibbons in the spirit of Thorne's hoop conjecture, and construct a new large class of examples of apparent horizons with the integral of the negative part of the Gauss curvature arbitrarily large.
△ Less
Submitted 25 August, 2015; v1 submitted 1 December, 2014;
originally announced December 2014.
-
Uniqueness theorems for free boundary minimal disks in space forms
Authors:
Ailana Fraser,
Richard Schoen
Abstract:
We show that a minimal disk satisfying the free boundary condition in a constant curvature ball of any dimension is totally geodesic. We weaken the condition to parallel mean curvature vector in which case we show that the disk lies in a three dimensional constant curvature submanifold and is totally umbilic. These results extend to higher dimensions earlier three dimensional work of J. C. C. Nits…
▽ More
We show that a minimal disk satisfying the free boundary condition in a constant curvature ball of any dimension is totally geodesic. We weaken the condition to parallel mean curvature vector in which case we show that the disk lies in a three dimensional constant curvature submanifold and is totally umbilic. These results extend to higher dimensions earlier three dimensional work of J. C. C. Nitsche and R. Souam.
△ Less
Submitted 26 November, 2018; v1 submitted 4 September, 2014;
originally announced September 2014.
-
Localizing solutions of the Einstein constraint equations
Authors:
Alessandro Carlotto,
Richard Schoen
Abstract:
We perform an optimal localization of asymptotically flat initial data sets and construct data that have positive ADM mass but are exactly trivial outside a cone of arbitrarily small aperture. The gluing scheme that we develop allows to produce a new class of $N$-body solutions for the Einstein equation, which patently exhibit the phenomenon of gravitational shielding: for any large $T$ we can eng…
▽ More
We perform an optimal localization of asymptotically flat initial data sets and construct data that have positive ADM mass but are exactly trivial outside a cone of arbitrarily small aperture. The gluing scheme that we develop allows to produce a new class of $N$-body solutions for the Einstein equation, which patently exhibit the phenomenon of gravitational shielding: for any large $T$ we can engineer solutions where any two massive bodies do not interact at all for any time $t\in(0,T)$, in striking contrast with the Newtonian gravity scenario.
△ Less
Submitted 14 December, 2015; v1 submitted 17 July, 2014;
originally announced July 2014.
-
Minimal surfaces and eigenvalue problems
Authors:
Ailana Fraser,
Richard Schoen
Abstract:
We show that metrics that maximize the k-th Steklov eigenvalue on surfaces with boundary arise from free boundary minimal surfaces in the unit ball. We prove several properties of the volumes of these minimal submanifolds. For free boundary minimal submanifolds in the ball we show that the boundary volume is reduced up to second order under conformal transformations of the ball. For two-dimensiona…
▽ More
We show that metrics that maximize the k-th Steklov eigenvalue on surfaces with boundary arise from free boundary minimal surfaces in the unit ball. We prove several properties of the volumes of these minimal submanifolds. For free boundary minimal submanifolds in the ball we show that the boundary volume is reduced up to second order under conformal transformations of the ball. For two-dimensional stationary integer multiplicity rectifiable varifolds that are stationary for deformations that preserve the ball, we prove that the boundary length is reduced under conformal transformations. We also give an overview of some of the known results on extremal metrics of the Laplacian on closed surfaces, and give a survey of our recent results from [FS2] on extremal metrics for Steklov eigenvalues on compact surfaces with boundary.
△ Less
Submitted 3 April, 2013;
originally announced April 2013.
-
Sharp eigenvalue bounds and minimal surfaces in the ball
Authors:
Ailana Fraser,
Richard Schoen
Abstract:
We prove existence and regularity of metrics on a surface with boundary which maximize sigma_1 L where sigma_1 is the first nonzero Steklov eigenvalue and L the boundary length. We show that such metrics arise as the induced metrics on free boundary minimal surfaces in the unit ball B^n for some n. In the case of the annulus we prove that the unique solution to this problem is the induced metric o…
▽ More
We prove existence and regularity of metrics on a surface with boundary which maximize sigma_1 L where sigma_1 is the first nonzero Steklov eigenvalue and L the boundary length. We show that such metrics arise as the induced metrics on free boundary minimal surfaces in the unit ball B^n for some n. In the case of the annulus we prove that the unique solution to this problem is the induced metric on the critical catenoid, the unique free boundary surface of revolution in B^3. We also show that the unique solution on the Mobius band is achieved by an explicit S^1 invariant embedding in B^4 as a free boundary surface, the critical Mobius band. For oriented surfaces of genus 0 with arbitrarily many boundary components we prove the existence of maximizers which are given by minimal embeddings in B^3. We characterize the limit as the number of boundary components tends to infinity to give the asymptotically sharp upper bound of 4pi. We also prove multiplicity bounds on sigma_1 in terms of the topology, and we give a lower bound on the Morse index for the area functional for free boundary surfaces in the ball.
△ Less
Submitted 12 November, 2017; v1 submitted 17 September, 2012;
originally announced September 2012.
-
Convexity of reduced energy and mass angular momentum inequalities
Authors:
Richard Schoen,
Xin Zhou
Abstract:
In this paper, we extend the work in \cite{D}\cite{ChrusLiWe}\cite{ChrusCo}\cite{Co}. We weaken the asymptotic conditions on the second fundamental form, and we also give an $L^{6}-$norm bound for the difference between general data and Extreme Kerr data or Extreme Kerr-Newman data by proving convexity of the renormalized Dirichlet energy when the target has non-positive curvature. In particular,…
▽ More
In this paper, we extend the work in \cite{D}\cite{ChrusLiWe}\cite{ChrusCo}\cite{Co}. We weaken the asymptotic conditions on the second fundamental form, and we also give an $L^{6}-$norm bound for the difference between general data and Extreme Kerr data or Extreme Kerr-Newman data by proving convexity of the renormalized Dirichlet energy when the target has non-positive curvature. In particular, we give the first proof of the strict mass/angular momentum/charge inequality for axisymmetric Einstein/Maxwell data which is not identical with the extreme Kerr-Newman solution.
△ Less
Submitted 31 August, 2012;
originally announced September 2012.
-
The spacetime positive mass theorem in dimensions less than eight
Authors:
Michael Eichmair,
Lan-Hsuan Huang,
Dan A. Lee,
Richard Schoen
Abstract:
We prove the spacetime positive mass theorem in dimensions less than eight. This theorem states that for any asymptotically flat initial data set satisfying the dominant energy condition, the ADM energy-momentum vector $(E,P)$ of the initial data satisfies the inequality $E \ge |P|$. Previously, this theorem was proven only for spin manifolds by E. Witten. Our proof is a modification of the minima…
▽ More
We prove the spacetime positive mass theorem in dimensions less than eight. This theorem states that for any asymptotically flat initial data set satisfying the dominant energy condition, the ADM energy-momentum vector $(E,P)$ of the initial data satisfies the inequality $E \ge |P|$. Previously, this theorem was proven only for spin manifolds by E. Witten. Our proof is a modification of the minimal hypersurface technique that was used by the last named author and S.-T. Yau to establish the time-symmetric case. Instead of minimal hypersurfaces, we use marginally outer trapped hypersurfaces (MOTS) whose existence is guaranteed by earlier work of the first named author. An important part of our proof is to introduce an appropriate substitute for the area functional used in the time-symmetric case. We also establish a density theorem of independent interest that allows us to reduce the general case of our theorem to the case of initial data that has harmonic asymptotics and satisfies the strict dominant energy condition.
△ Less
Submitted 23 December, 2015; v1 submitted 10 October, 2011;
originally announced October 2011.
-
Specifying angular momentum and center of mass for vacuum initial data sets
Authors:
Lan-Hsuan Huang,
Richard Schoen,
Mu-Tao Wang
Abstract:
We show that it is possible to perturb arbitrary vacuum asymptotically flat spacetimes to new ones having exactly the same energy and linear momentum, but with center of mass and angular momentum equal to any preassigned values measured with respect to a fixed affine frame at infinity. This is in contrast to the axisymmetric situation where a bound on the angular momentum by the mass has been show…
▽ More
We show that it is possible to perturb arbitrary vacuum asymptotically flat spacetimes to new ones having exactly the same energy and linear momentum, but with center of mass and angular momentum equal to any preassigned values measured with respect to a fixed affine frame at infinity. This is in contrast to the axisymmetric situation where a bound on the angular momentum by the mass has been shown to hold for black hole solutions. Our construction involves changing the solution at the linear level in a shell near infinity, and perturbing to impose the vacuum constraint equations. The procedure involves the perturbation correction of an approximate solution which is given explicitly.
△ Less
Submitted 6 July, 2011; v1 submitted 29 August, 2010;
originally announced August 2010.
-
Curvature, sphere theorems, and the Ricci flow
Authors:
S. Brendle,
R. M. Schoen
Abstract:
This is a survey paper focusing on the interplay between the curvature and topology of a Riemannian manifold. The first part of the paper provides a background discussion, aimed at non-experts, of Hopf's pinching problem and the Sphere Theorem. In the second part, we sketch the proof of the Differentiable Sphere Theorem, and discuss various related results. These results employ a variety of method…
▽ More
This is a survey paper focusing on the interplay between the curvature and topology of a Riemannian manifold. The first part of the paper provides a background discussion, aimed at non-experts, of Hopf's pinching problem and the Sphere Theorem. In the second part, we sketch the proof of the Differentiable Sphere Theorem, and discuss various related results. These results employ a variety of methods, including geodesic and minimal surface techniques as well as Hamilton's Ricci flow.
△ Less
Submitted 31 May, 2010; v1 submitted 13 January, 2010;
originally announced January 2010.
-
The first Steklov eigenvalue, conformal geometry, and minimal surfaces
Authors:
Ailana Fraser,
Richard Schoen
Abstract:
We consider the relationship of the geometry of compact Riemannian manifolds with boundary to the first nonzero eigenvalue sigma_1 of the Dirichlet-to-Neumann map (Steklov eigenvalue). For surfaces Sigma with genus gamma and k boundary components we obtain the upper bound sigma_1L(\partial Σ) \leq 2(2gamma+k)π. We attempt to find the best constant in this inequality for annular surfaces (gamma=0 a…
▽ More
We consider the relationship of the geometry of compact Riemannian manifolds with boundary to the first nonzero eigenvalue sigma_1 of the Dirichlet-to-Neumann map (Steklov eigenvalue). For surfaces Sigma with genus gamma and k boundary components we obtain the upper bound sigma_1L(\partial Σ) \leq 2(2gamma+k)π. We attempt to find the best constant in this inequality for annular surfaces (gamma=0 and k=2). For rotationally symmetric metrics we show that the best constant is achieved by the induced metric on the portion of the catenoid centered at the origin which meets a sphere orthogonally and hence is a solution of the free boundary problem for the area functional in the ball. For a general class of (not necessarily rotationally symmetric) metrics on the annulus, which we call supercritical, we prove that $σ_1(\sig)L(\pΣ)$ is dominated by that of the critical catenoid with equality if and only if the annulus is conformally equivalent to the critical catenoid by a conformal transformation which is an isometry on the boundary. We prove general upper bounds for conformal metrics on manifolds of any dimension which can be properly conformally immersed into the unit ball in terms of certain conformal volume quantities. We show that these bounds are only achieved when the manifold is minimally immersed by first Steklov eigenfunctions. We also use these ideas to show that any free boundary solution in two dimensions has area at least π.
△ Less
Submitted 3 December, 2010; v1 submitted 29 December, 2009;
originally announced December 2009.
-
Gravitating Opposites Attract
Authors:
Robert Beig,
Gary W. Gibbons,
Richard M. Schoen
Abstract:
Generalizing previous work by two of us, we prove the non-existence of certain stationary configurations in General Relativity having a spatial reflection symmetry across a non-compact surface disjoint from the matter region. Our results cover cases such that of two symmetrically arranged rotating bodies with anti-aligned spins in $n+1$ ($n \geq 3$) dimensions, or two symmetrically arranged stat…
▽ More
Generalizing previous work by two of us, we prove the non-existence of certain stationary configurations in General Relativity having a spatial reflection symmetry across a non-compact surface disjoint from the matter region. Our results cover cases such that of two symmetrically arranged rotating bodies with anti-aligned spins in $n+1$ ($n \geq 3$) dimensions, or two symmetrically arranged static bodies with opposite charges in 3+1 dimensions. They also cover certain symmetric configurations in (3+1)-dimensional gravity coupled to a collection of scalars and abelian vector fields, such as arise in supergravity and Kaluza-Klein models. We also treat the bosonic sector of simple supergravity in 4+1 dimensions.
△ Less
Submitted 5 October, 2009; v1 submitted 7 July, 2009;
originally announced July 2009.
-
Sphere Theorems in Geometry
Authors:
S. Brendle,
R. M. Schoen
Abstract:
In this paper, we give a survey of various sphere theorems in geometry. These include the topological sphere theorem of Berger and Klingenberg as well as the differentiable version obtained by the authors. These theorems employ a variety of methods, including geodesic and minimal surface techniques as well as Hamilton's Ricci flow. We also obtain here new results concerning complete manifolds wi…
▽ More
In this paper, we give a survey of various sphere theorems in geometry. These include the topological sphere theorem of Berger and Klingenberg as well as the differentiable version obtained by the authors. These theorems employ a variety of methods, including geodesic and minimal surface techniques as well as Hamilton's Ricci flow. We also obtain here new results concerning complete manifolds with pinched curvature.
△ Less
Submitted 30 June, 2009; v1 submitted 16 April, 2009;
originally announced April 2009.
-
On the existence of Hamiltonian stationary Lagrangian submanifolds in symplectic manifolds
Authors:
Dominic Joyce,
Yng-Ing Lee,
Richard Schoen
Abstract:
Let (M,w) be a compact symplectic 2n-manifold, and g a Riemannian metric on M compatible with w. For instance, g could be Kahler, with Kahler form w. Consider compact Lagrangian submanifolds L of M. We call L Hamiltonian stationary, or H-minimal, if it is a critical point of the volume functional under Hamiltonian deformations. It is called Hamiltonian stable if in addition the second variation of…
▽ More
Let (M,w) be a compact symplectic 2n-manifold, and g a Riemannian metric on M compatible with w. For instance, g could be Kahler, with Kahler form w. Consider compact Lagrangian submanifolds L of M. We call L Hamiltonian stationary, or H-minimal, if it is a critical point of the volume functional under Hamiltonian deformations. It is called Hamiltonian stable if in addition the second variation of volume under Hamiltonian deformations is nonnegative.
Our main result is that if L is a compact, Hamiltonian stationary Lagrangian in C^n satisfying the extra condition of being Hamiltonian rigid, then for any M,w,g as above there exist compact Hamiltonian stationary Lagrangians L' in M contained in a small ball about some p in M and locally modelled on tL for small t>0, identifying M near p with C^n near 0. If L is Hamiltonian stable, we can take L' to be Hamiltonian stable.
Applying this to known examples L in C^n shows that there exist families of Hamiltonian stable, Hamiltonian stationary Lagrangians diffeomorphic to T^n, and to (S^1 x S^{n-1})/{1,-1}, and with other topologies, in every compact symplectic 2n-manifold (M,w) with compatible metric g.
△ Less
Submitted 28 July, 2010; v1 submitted 19 February, 2009;
originally announced February 2009.
-
On Static n-body Configurations in Relativity
Authors:
Robert Beig,
Richard M. Schoen
Abstract:
The static n-body problem of General Relativity states that there are, under a reasonable energy condition, no static $n$-body configurations for $n > 1$, provided the configuration of the bodies satisfies a suitable separation condition. In this paper we solve this problem in the case that there exists a closed, noncompact, totally geodesic surface disjoint from the bodies. This covers the situ…
▽ More
The static n-body problem of General Relativity states that there are, under a reasonable energy condition, no static $n$-body configurations for $n > 1$, provided the configuration of the bodies satisfies a suitable separation condition. In this paper we solve this problem in the case that there exists a closed, noncompact, totally geodesic surface disjoint from the bodies. This covers the situation where the configuration has a reflection symmetry across a noncompact surface disjoint from the bodies.
△ Less
Submitted 8 March, 2009; v1 submitted 11 November, 2008;
originally announced November 2008.
-
Classification of manifolds with weakly 1/4-pinched curvatures
Authors:
S. Brendle,
R. M. Schoen
Abstract:
We show that a compact Riemannian manifold with weakly 1/4-pinched sectional curvatures is either locally symmetric or diffeomorphic to a space form.
We show that a compact Riemannian manifold with weakly 1/4-pinched sectional curvatures is either locally symmetric or diffeomorphic to a space form.
△ Less
Submitted 18 July, 2008; v1 submitted 27 May, 2007;
originally announced May 2007.
-
Manifolds with 1/4-pinched Curvature are Space Forms
Authors:
S. Brendle,
R. M. Schoen
Abstract:
Let (M,g_0) be a compact Riemannian manifold with pointwise 1/4-pinched sectional curvatures. We show that the Ricci flow deforms g_0 to a constant curvature metric. The proof uses the fact, also established in this paper, that positive isotropic curvature is preserved by the Ricci flow in all dimensions. We also rely on earlier work of Hamilton and of Bohm and Wilking.
Let (M,g_0) be a compact Riemannian manifold with pointwise 1/4-pinched sectional curvatures. We show that the Ricci flow deforms g_0 to a constant curvature metric. The proof uses the fact, also established in this paper, that positive isotropic curvature is preserved by the Ricci flow in all dimensions. We also rely on earlier work of Hamilton and of Bohm and Wilking.
△ Less
Submitted 18 July, 2008; v1 submitted 5 May, 2007;
originally announced May 2007.
-
Entire spacelike hypersurfaces of prescribed Gauss curvature in Minkowski space
Authors:
Bo Guan,
Huaiyu Jian,
Richard M. Schoen
Abstract:
We are concerned with spacelike convex hypersurfaces of positive constant (K-hypersurfaces) or prescribed Gauss curvature in Minkowski space. Our main purpose is to study entire solutions as well as the Dirichlet problem in bounded domains of the related Monge-Ampere equation.
We are concerned with spacelike convex hypersurfaces of positive constant (K-hypersurfaces) or prescribed Gauss curvature in Minkowski space. Our main purpose is to study entire solutions as well as the Dirichlet problem in bounded domains of the related Monge-Ampere equation.
△ Less
Submitted 29 November, 2006;
originally announced November 2006.
-
A generalization of Hawking's black hole topology theorem to higher dimensions
Authors:
Gregory J. Galloway,
Richard Schoen
Abstract:
Hawking's theorem on the topology of black holes asserts that cross sections of the event horizon in 4-dimensional asymptotically flat stationary black hole spacetimes obeying the dominant energy condition are topologically 2-spheres. This conclusion extends to outer apparent horizons in spacetimes that are not necessarily stationary. In this paper we obtain a natural generalization of Hawking's…
▽ More
Hawking's theorem on the topology of black holes asserts that cross sections of the event horizon in 4-dimensional asymptotically flat stationary black hole spacetimes obeying the dominant energy condition are topologically 2-spheres. This conclusion extends to outer apparent horizons in spacetimes that are not necessarily stationary. In this paper we obtain a natural generalization of Hawking's results to higher dimensions by showing that cross sections of the event horizon (in the stationary case) and outer apparent horizons (in the general case) are of positive Yamabe type, i.e., admit metrics of positive scalar curvature. This implies many well-known restrictions on the topology, and is consistent with recent examples of five dimensional stationary black hole spacetimes with horizon topology $S^2 \times S^1$. The proof is inspired by previous work of Schoen and Yau on the existence of solutions to the Jang equation (but does not make direct use of that equation).
△ Less
Submitted 11 November, 2005; v1 submitted 27 September, 2005;
originally announced September 2005.
-
KIDs are non-generic
Authors:
R. Beig,
P. T. Chrusciel,
R. Schoen
Abstract:
We prove that generic solutions of the vacuum constraint Einstein equations do not possess any global or local space-time Killing vectors, on an asymptotically flat Cauchy surface, or on a compact Cauchy surface with mean curvature close to a constant, or for CMC asymptotically hyperbolic initial data sets. More generally, we show that non-existence of global symmetries implies, generically, non…
▽ More
We prove that generic solutions of the vacuum constraint Einstein equations do not possess any global or local space-time Killing vectors, on an asymptotically flat Cauchy surface, or on a compact Cauchy surface with mean curvature close to a constant, or for CMC asymptotically hyperbolic initial data sets. More generally, we show that non-existence of global symmetries implies, generically, non-existence of local ones. As part of the argument, we prove that generic metrics do not possess any local or global conformal Killing vectors.
△ Less
Submitted 6 October, 2004; v1 submitted 10 March, 2004;
originally announced March 2004.
-
On the Asymptotics for the Vacuum Einstein Constraint Equations
Authors:
Justin Corvino,
Richard M. Schoen
Abstract:
Given asymptotically flat initial data on M^3 for the vacuum Einstein field equation, and given a bounded domain in M, we construct solutions of the vacuum constraint equations which agree with the original data inside the given domain, and are identical to that of a suitable Kerr slice (or identical to a member of some other admissible family of solutions) outside a large ball in a given end. T…
▽ More
Given asymptotically flat initial data on M^3 for the vacuum Einstein field equation, and given a bounded domain in M, we construct solutions of the vacuum constraint equations which agree with the original data inside the given domain, and are identical to that of a suitable Kerr slice (or identical to a member of some other admissible family of solutions) outside a large ball in a given end. The data for which this construction works is shown to be dense in an appropriate topology on the space of asymptotically flat solutions of the vacuum constraints. This construction generalizes work of the first author, where the time-symmetric case was studied.
△ Less
Submitted 21 January, 2003;
originally announced January 2003.
-
Minimizing area among Lagrangian surfaces: the map** problem
Authors:
Richard Schoen,
Jon G. Wolfson
Abstract:
This paper introduces a geometrically constrained variational problem for the area functional. We consider the area restricted to the langrangian surfaces of a Kaehler surface, or, more generally, a symplectic 4-manifold with suitable metric, and study its critical points and in particular its minimizers. We apply this study to the problem of finding canonical representatives of the lagrangian h…
▽ More
This paper introduces a geometrically constrained variational problem for the area functional. We consider the area restricted to the langrangian surfaces of a Kaehler surface, or, more generally, a symplectic 4-manifold with suitable metric, and study its critical points and in particular its minimizers. We apply this study to the problem of finding canonical representatives of the lagrangian homology (that part of the homology generated by lagrangian cycles).
△ Less
Submitted 13 November, 2000; v1 submitted 27 August, 2000;
originally announced August 2000.
-
Refined asymptotics for constant scalar curvature metrics with isolated singularities
Authors:
Nick Korevaar,
Rafe Mazzeo,
Frank Pacard,
Richard Schoen
Abstract:
We consider the asymptotic behaviour of positive solutions u of the conformal scalar curvature equation, Δu + n(n-2)/4 u^{(n+2)(n-2) = 0, in the neighbourhood of isolated singularities in the standard Euclidean ball. Although asymptotic radial symmetry for such solutions was proved some time ago, by Caffarelli, Gidas and Spruck, we present a much simpler and more geometric derivation of this fac…
▽ More
We consider the asymptotic behaviour of positive solutions u of the conformal scalar curvature equation, Δu + n(n-2)/4 u^{(n+2)(n-2) = 0, in the neighbourhood of isolated singularities in the standard Euclidean ball. Although asymptotic radial symmetry for such solutions was proved some time ago, by Caffarelli, Gidas and Spruck, we present a much simpler and more geometric derivation of this fact. We also discuss a refinement, showing that any such solution is asymptotic to one of the deformed radial singular solutions. Finally we give some applications of these refined asymptotics, first to computing the global Pohozaev invariants of solutions on the sphere with isolated singularities, and then to the regularity of the moduli space of all such solutions.
△ Less
Submitted 8 July, 1998;
originally announced July 1998.