The study improves bounds on space waists using advanced geometry techniques.
problem Understanding the waist of different geometric spaces.
method Advanced geometric techniques, including Borsuk-Ulam-Crofton method, Hausdorff measure.
result Established new waist bounds for various spaces.
Study incompressible surfaces to find cable knots' representativity and waist.
problem Computing the representativity and waist of cable knots.
method Study incompressible surfaces in cable knots' exteriors.
result Compute representativity and waist for most cable knots.
Uniform waist inequalities proven for manifolds with Kazhdan groups in codimension two.
problem Proving uniform waist inequalities for manifolds with specific group properties.
method Using finite covers and Cheeger inequality for manifolds with Kazhdan fundamental groups.
result Finite covers of manifolds with Kazhdan groups satisfy uniform waist inequalities in codimension two.
We introduce two numerical invariants, the waist and the trunk of knots. The waist of a closed incompressible surface in the complement of a knot is defined as the minimal intersection number of all compressing disks for the surface in the 3-sphere and the knot. Then the waist of a knot is defined as the maximal waist …
This paper studies the waist size of cusps in hyperbolic 3-manifolds, proving unique smallest sizes for specific manifolds.
problem Determining the smallest waist sizes of cusps in hyperbolic 3-manifolds.
method Analyzing the shortest nontrivial curves generated by parabolic isometries in maximal cusp boundaries.
result The next two smallest waist sizes are realized uniquely for specific manifolds.
The paper proves waist inequalities for convex bodies and their linear images.
problem Understanding geometric characteristics of convex bodies through waist inequalities.
method Connections between Gromov's and Milman's work, proving waist inequalities for convex bodies and their linear images.
result Any convex body has a linear image satisfying a waist inequality with a universal constant.
Constructs foliations for 3-manifolds with positive scalar curvature.
problem Finding surfaces in 3-manifolds with positive scalar curvature.
method Singular foliations of compact three-manifolds with controlled properties.
result Extends Urysohn and Gromov-Lawson waist inequalities.
The abstract applies waist inequality to dynamical systems and entropy.
problem Understanding the relationship between waist inequality and dynamical systems.
method Applying waist inequality to entropy and mean dimension of dynamical systems.
result Maps between dynamical systems have positive conditional metric mean dimension under certain conditions.
Continuous sweepouts cover manifolds with bounded curve lengths.
problem Covering closed Riemannian manifolds with bounded curve lengths.
method Continuous family of 1-cycles parametrized by a sphere, with length bounds in terms of volume and dimension.
result Polyhedral 1-waist equals filling radius up to a constant factor.
Study geodesics on neck-degenerate manifolds, focusing and winding behavior observed.
problem Geodesics behavior on neck-degenerate manifolds with cuspidal singularities.
method Detailed multiscale analysis, blow-up techniques.
result Geodesics exhibit focussing and winding behavior as the neck degenerates.
Study minimal annuli in a slab, estimating their area.
problem Estimating the area of minimal annuli in a slab.
method Organized minimal annuli based on winding number, deduced convexity of length function, compared to catenoid waist area.
result Deduced convexity of length function and estimated area of minimal annuli.
Hyperbolic spaces have many cells in their fibers.
problem Finding lower bounds on the topological complexity of fibered spaces
method Using a freedom theorem for ideals in group rings of hyperbolic groups
result For large injectivity radii, there are many cells of dimension k in the fiber p^{-1}(z)
The waist inequality states that for a continuous map from S^n to R^q, not all fibers can have small (n-q)-dimensional volume. We construct maps for which most fibers have small (n-q)-dimensional volume and all fibers have bounded (n-q)-dimensional volume.
3-manifolds with positive scalar curvature have controlled foliations.
problem Understanding foliations in 3-manifolds with positive scalar curvature.
method Showed a singular foliation by surfaces with controlled area and diameter.
result 3-manifolds with positive scalar curvature admit controlled foliations.
The study quantifies topological expansion properties of complexes and their embeddings.
problem Understanding topological expansion properties of simplicial complexes.
method Quantifying topological expansion through sublinear functions and proving monotonicity under regular maps.
result Proves topological expanders contain graphical expanders and gives lower bounds for specific embeddings.
Consider a non-planar orientable minimal surface S in a slab which is possibly with genus or with more than two boundary components. We show that there exists a catenoidal waist W in the slab whose flux has the same vertical component as S such that Area(S)>= Area(W), provided the intersections of S with horizontal pla…
Minimal submanifolds in octonionic hyperbolic spaces have large volume.
problem Characterizing minimal submanifolds in locally symmetric spaces.
method Analyzing higher expansion properties and volume constraints.
result Codimension two minimal submanifolds have at least linear volume in the ambient space.
Tune simplifies hyperparameter search for distributed computing.
problem Adapting hyperparameter search to distributed environments.
method Unified framework for model selection and training.
result Simplifies implementation of state-of-the-art search algorithms.
New maxfaces with catenoid or planar ends constructed using node-opening technique.
problem Lack of examples of maxfaces with catenoid or planar ends.
method Adapted node-opening technique to construct maxfaces of high genus.
result Singularities on constructed maxfaces form curves around the waists of the necks, with most singularities being cuspidal edges and the rest swallowtails.
The study finds infinitely many periodic orbits just above a critical value on a 2-sphere.
problem Finding periodic orbits just above a critical value on a 2-sphere.
method Introduced a new critical value c∞(L) and showed its strict inequality to the Mañé critical value c(L), proving the existence of infinitely many periodic orbits on energy levels e∈(c(L),c∞(L)). result Infinitely many periodic orbits exist on energy levels just above the Mañé critical value.
Machine learning predicts obesity causes using genetic and imaging data.
problem Predicting causes of obesity in children and adults.
method Use ML techniques like decision trees, SVM, RF, GBM, LASSO, BN, and ANN on genetic and imaging data.
result ML models accurately predict obesity causes and chronic diseases.
Study of minimal surfaces in 4D with specific ends.
problem Characterize minimal surfaces in R4 with specific ends. method Modification of Costa and Hoffman-Meeks method, generalized Weierstrass representation.
result Minimal surfaces with specific ends are J-holomorphic under certain conditions. Method predicts NAFLD risk with high accuracy and distribution-free coverage guarantees.
problem Insufficient population-level screening tools for NAFLD.
method Gradient-boosted decision trees with conformal prediction.
result Method achieves AUROC of 0.912 internally and 0.891 externally, superior to other models.
Paper compares ML models for a wall-following robot, achieving high accuracy.
problem Improving prediction accuracy of a wall-following robot's direction.
method Trained various machine learning models on a dataset of ultrasound sensor readings.
result Presented machine learning models with higher accuracy than previous work.
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.
The paper proves a new theorem in Riemannian geometry and offers a new proof for Toponogov's theorem in Alexandrov geometry.
problem Proving new theorems in Riemannian and Alexandrov geometries.
method Inspired by the proof of the Schur-Toponogov theorem, a new proof of Toponogov's theorem is provided.
result A new theorem in Riemannian geometry and a new proof of Toponogov's theorem in Alexandrov geometry.
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.
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.
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.
Proves Markov theorem for trivalent braids using L-move approach.
problem Proving Markov theorem for trivalent braids.
method Follows L-move approach to prove Markov theorem.
result Proves one-move Markov-type theorem and algebraic Markov-type theorem for trivalent braids.
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.
New measure proves Poncelet-type theorems.
problem Proving Poncelet-type theorems.
method Introducing a new invariant measure on the circle.
result Simple proof of Emch closing theorem.
New theorem for doodles on sphere, similar to Markov's.
problem Understanding doodles on a sphere.
method Description of twins with equivalent closures.
result Analogous to Markov's theorem for doodles.
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.
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.
Extends calculus theorem to higher dimensions.
problem Calculus theorem limitations in higher dimensions.
method Type θ Stokes' theorem for type θ k-chains. result Extends fundamental theorem of calculus.
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.
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.
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.