The article classifies curvature functions on compact manifolds with boundaries.
problem Prescribing scalar and mean curvature functions on compact manifolds with boundaries.
method Classification based on the sign of the first eigenvalue of the conformal Laplacian.
result A 'Trichotomy Theorem' for curvature functions is established.
New Kazdan-Warner problem for equivariant metrics on manifolds.
problem Equivariant scalar curvature functions on manifolds with group actions.
method Established equivariant analogue of Kazdan-Warner trichotomy.
result New class of totally G-positive pairs with positive constant scalar curvature.
The paper studies 1-equivariant harmonic map flow behavior from R² to S².
problem Examining the long-term dynamics of 1-equivariant harmonic map flow.
method Constructing and analyzing global solutions for the flow equation.
result Global solutions exhibit trichotomy in long-time asymptotic behavior.
This paper explores conditions for positive scalar curvature on spin^c manifolds.
problem Conditions for the existence of metrics with positive scalar curvature on spin^c manifolds.
method Introduces a new scalar-valued function and uses it to study positivity conditions.
result Equivalence between positivity of the new scalar function and the old twisted scalar curvature.
The thesis shows how automorphisms of hyperbolic groups can be represented by train track maps.
problem Representing automorphisms of hyperbolic groups using train track maps.
method Using graphs of groups and Bestvina-Handel's irreducible train track maps, the thesis constructs relative train track maps.
result Outer automorphisms of finitely-generated word hyperbolic groups satisfy a dynamical trichotomy.
The paper studies mean curvature flow with contact angles in high-dimensional cylinders.
problem Mean curvature flow with prescribed contact angles in a high-dimensional cylinder.
method Derives uniform-in-time gradient bounds and presents a trichotomy result for asymptotic behavior.
result The solution converges to a translating solution with positive speed when a specific condition is met.
The paper solves scalar curvature problems under conformal deformation for Riemannian manifolds.
problem Solving scalar curvature problems under conformal deformation for Riemannian manifolds.
method Pointwise conformal deformation, Yamabe equation with Dirichlet boundary conditions.
result Positive, smooth solutions to the Yamabe equation with Dirichlet boundary conditions.
Sharp comparison theorems are derived for all eigenvalues of the (weighted) Laplacian, for various classes of weighted-manifolds (i.e. Riemannian manifolds endowed with a smooth positive density). Examples include Euclidean space endowed with strongly log-concave and log-convex densities, extensions to p-exponential …
This paper continues our study, initiated in [arXiv:1108.3370], of essential state surfaces in link complements that satisfy a mild diagrammatic hypothesis (homogeneously adequate). For hyperbolic links, we show that the geometric type of these surfaces in the Thurston trichotomy is completely determined by a simple gr…
We study surfaces with one constant principal curvature in Riemannian and Lorentzian three-dimensional space forms. Away from umbilic points they are characterized as one-parameter foliations by curves of constant curvature, each of these curves being centered at a point of a regular curve and contained in its normal p…
New methods improve neural directed link prediction across all sub-tasks.
problem Directed link prediction requires handling edge directionality and bidirectionality, not just edge existence.
method Proposes three strategies: Multi-Class Framework, Multi-Objective, and Scalarized approaches.
result Improved performance across all three sub-tasks of directed link prediction.
Effective rank rigidity proved for cubulated groups with factor systems.
problem Rank rigidity in cubulated groups with factor systems.
method Exhibiting special pairs of hyperplanes and curtains for skewering.
result Effective form of rank rigidity proved for cubulated groups.
New algorithm tackles multiclass transductive online learning with unbounded labels.
problem Characterizing optimal mistake bound for unbounded label spaces.
method Introducing new combinatorial dimensions (Level-constrained Littlestone and Branching dimensions) to characterize online learnability.
result Established trichotomy of possible minimax rates for unbounded label spaces: Θ(T), Θ(logT), or Θ(1). A theory for approximating complex concepts with simple decision trees.
problem Approximating complex concepts with simple decision trees.
method Introducing interpretable approximations, studying binary concept approximation by decision trees.
result A trichotomy of cases for approximating a binary concept by decision trees based on a simple class.
The paper introduces a new learning model that explains practical aspects of machine learning.
problem Understanding how quickly a concept class can be learned from examples in practical scenarios.
method Introducing a new learning model that considers fixed data sources and varying number of training examples.
result There are only three possible rates of universal learning: exponential, linear, or arbitrarily slow.
Edge subdivision affects the Perron eigenvalue of tree Ricci matrices.
problem Understanding how edge subdivision impacts the Perron eigenvalue of tree Ricci matrices.
method Compressing branches into scalar feedback functions via Schur complement, reducing the spectral problem to a one-dimensional Chebyshev equation.
result Edge subdivision can decrease, preserve, or increase the Perron eigenvalue of tree Ricci matrices.
This paper analyzes M-estimators under infinite-variance noise in high dimensions.
problem High-dimensional M-estimation with infinite-variance noise.
method Study of the Fenchel conjugate domain and its impact on risk.
result Exact risk of M-estimators under infinite-variance noise is derived.
Study infinite superelliptic curves and their Veech groups, providing geometric and algebraic insights.
problem Characterize Veech groups of infinite superelliptic curves.
method Analyzing geometric properties, differential equations, and group theory.
result Veech groups of infinite superelliptic curves are all matrices permuting branched points.
Study apple tasting feedback in online binary classification, providing new insights into minimax expected mistakes.
problem Online binary classification with partial feedback (apple tasting).
method Combinatorial analysis, Littlestone dimension, Effective width.
result Established a trichotomy of minimax expected mistakes in the realizable setting.
Study expands multiclass classification models with new rates and partial concept classes.
problem Multiclass classification with a bounded number of labels under various conditions.
method Extends traditional PAC model to distribution-dependent and data-dependent learning rates, characterizes optimal rates for universal and partial concept classes.
result Characterizes three types of learning rates (exponential, linear, arbitrarily slow) for fixed distributions and complexity measures for partial concept classes.
This paper studies universal rates of ERM for binary classification under agnostic learning.
problem The challenge of achieving universal rates of ERM for binary classification under agnostic learning.
method The paper explores the agnostic universal rates of ERM for binary classification, revealing three possible rates: e−n, o(n−1/2), or arbitrarily slow. result The paper provides a complete characterization of which concept classes fall into each of the three categories of agnostic universal rates.
A deterministic apple tasting learner is developed, confirming a conjecture and providing tight bounds for mistake bounds.
problem Determining the learnability of hypothesis classes in binary online classification with apple tasting feedback.
method Developed a deterministic apple tasting learner and proved tight bounds for mistake bounds.
result Deterministic apple tasting is feasible and provides tight bounds for mistake bounds.
Study on hemisphere threshold for Escobar functional on Riemannian manifolds, revealing mass and boundary invariant behaviors.
problem Analyzing the hemisphere threshold for the Escobar functional on compact Riemannian manifolds.
method Near-threshold landscape organization by boundary invariants, exact evaluation of weighted profile moments, Lyapunov-Schmidt correction, and blow-up analysis.
result At threshold, blow-ups concentrate at umbilic points with vanishing mass and gradient, leading to compactness and hemispherical rigidity.
The paper confirms isoperimetric conjectures on cubes and Gaussian slabs.
problem Isoperimetric inequalities on slabs and cubes.
method Analysis of weighted Riemannian manifolds and product spaces.
result The isoperimetric conjecture on the three-dimensional cube is confirmed for a new range of relative volumes.
AI generates theorems and proofs for training theorem provers.
problem Limited human-written theorems and proofs for supervised learning.
method Proposes a neural generator to automatically synthesize theorems and proofs.
result Synthetic data improves automated theorem proving in Metamath.
Global inverse function theorem proved easily using Riemannian geometry.
problem Global inverse function theorem in Riemannian geometry.
method Hopf--Rinow theorem in Riemannian geometry.
result Hadamard's global inverse function theorem is proven easily.
A new comparison theorem for geometric spaces.
problem Geometric space comparison theorems.
method Relative form of Toponogov comparison theorem.
result New geometric space comparison theorem established.
Paper develops formulas and theorems in Hermitian geometry.
problem None explicitly stated in the abstract.
method Develops second variational formulas and index forms in Hermitian geometry.
result Establishes results analogous to classical theorems in Riemannian geometry.
The paper proves three circles theorems and Liouville type theorems for subharmonic and holomorphic functions.
problem Establishing theorems for subharmonic and holomorphic functions on specific geometric structures.
method Using subharmonic and holomorphic functions on Riemannian manifolds and gradient shrinking Ricci solitons.
result Proves Liouville type theorems as applications of the established theorems.
Revises a theorem by Thurston, finding a counter-example and a weaker version.
problem The bounded image theorem in Haken manifolds.
method Providing a counter-example and a weaker version of the second statement of Thurston's theorem.
result A counter-example and a weaker version of the second statement of Thurston's theorem are presented.
Proofs for Moon's theorem and its generalization.
problem Proving Moon's theorem and its generalization.
method Proofs based on key lemmas.
result Generalization of the four-vertex theorem.
Analyzes Saito vanishing theorem using L2 methods.
problem Proving the Saito vanishing theorem.
method Uses L2-methods to prove the theorem. result Analytic proof of the Saito vanishing theorem.
Investigates proving geometric theorems over complex and real numbers using tilings.
problem Proving incidence theorems over C and R using the master theorem.
method Formalizes tiling proofs and introduces a hierarchy of theorems based on topological spaces.
result Identifies which theorems can or cannot be proved over C and R.
Extends symplectic reduction and theorem to Lie algebroids.
problem Symplectic reduction and theorem for Lie algebroids.
method Extends Marsden-Weinstein reduction and Darboux-Moser-Weinstein theorems.
result Obtained coisotropic embedding theorem for symplectic Lie algebroids.
Paper generalizes complex Brunn-Minkowski theory and proves new extension theorems.
problem Complex Brunn-Minkowski theory and extension theorems.
method Hilbert bundle approach to complex Brunn-Minkowski theory.
result Generalizes Guan's sharp strong openness theorem and sharp Ohsawa-Takegoshi extension theorem.
Proves Thurston's bounded image theorem for Haken manifolds.
problem Proving Thurston's bounded image theorem for Haken manifolds.
method Using recent developments in Kleinian group theory.
result A proof of Thurston's original bounded image theorem.
Method upgrades limit theorems to mixing limit theorems for dynamical systems.
problem Improving limit theorems for dynamical systems.
method General method for upgrading limit theorems to mixing limit theorems.
result Mixing limit theorems for specific subbundles of the Kontsevich-Zorich cocycle.
Formulates Index III lemma and Rauch III theorem with applications.
problem Develops new mathematical theorems based on existing ones.
method Formulation of Index III lemma and Rauch III theorem based on Index I, II lemmas and Rauch I, II theorems.
result Presented Rauch's type theorem and volume comparison result as applications.
In LM, we proved a family version of the famous Witten rigidity theorems and several family vanishing theorems for elliptic genera. In this paper, we gerenalize our theorems LM in two directions. First we establish a family rigidity theorem for the Dirac operator on loop space twisted by general positive energy loop gr…
The paper explains the topological origin of the distinction between incidence theorems over division rings and fields.
problem Understanding the distinction between incidence theorems over division rings and fields.
method Extending the surface-graph approach to noncommutative settings, the paper analyzes the topological properties of graphs embedded on surfaces of different genera.
result Theorems associated with graphs on the sphere hold over any division ring, while those on surfaces of positive genus typically hold only if the ground ring is a field.
Proves two theorems on odd-dimensional manifolds with boundary.
problem Proving theorems on manifolds with boundaries.
method Proof of theorems using mathematical techniques.
result Proved the general Kastler-Kalau-Walze and Dabrowski-Sitarz-Zalecki type theorems.
Sharp convergence theorem for sphere submanifolds proved.
problem Sphere submanifolds in spheres.
method Proved a sharp convergence theorem.
result New differentiable sphere theorem for submanifolds in spheres.
INT benchmark tests theorem proving agents' ability to generalize to unseen theorems.
problem Evaluating theorem proving agents' ability to generalize to unseen theorems.
method INT benchmark based on a theorem generation and proof procedure with adjustable knobs for measuring 6 types of generalization.
result MCTS can help agents prove new theorems.
A homological selection theorem for C-spaces, as well as, a finite-dimensional homological selection theorem is established. We apply the finite-dimensional homological selection theorem to obtain fixed-point theorems for usco homologically UV^n set-valued maps.
Abstracts a theorem for non-smooth maps in infinite dimensions.
problem Generalizing inverse mapping theorem for non-smooth maps.
method Introduces property A and applies it to non-smooth maps.
result Generalized inverse mapping theorems for non-smooth maps.
Atiyah-Singer theorem links math fields, predicts topological insights.
problem Understanding the interplay between analysis, geometry, and topology.
method Analyzes and generalizes topological invariants in differential geometry.
result Predicts the index of elliptic operators based on topology.
Paper generalizes a theorem for real analytic singularities.
problem No specific problem stated; focuses on generalization.
method Generalization of a theorem for complex singularities.
result Generalized Join theorem for real analytic singularities.
The paper proves injectivity and vanishing theorems on compact Kahler manifolds.
problem Injectivity and vanishing theorems on compact Kahler manifolds.
method Hodge theory, Bochner-Kodaira-Nakano identity, analytic method, transcendental method, Demailly-Peternell-Schneider equisingular approximation theorem, Hormander L2 estimates.
result The main injectivity theorem implies several Nadel type vanishing theorems.