In this paper we present a Kakutani type theorem that is equivalent to the Borsuk--Ulam theorem for manifolds.
Extends Borsuk-Ulam theorem with applications in sphere coverings and colorings.
problem Complexity bounds and structural insights for triangulated sphere mappings.
method Combinatorial labeling and order type analysis of finite point sets.
result New topological Hall theorem and generalizations of hypergraph Hall theorems.
The paper generalizes the Borsuk-Ulam theorem to surfaces and cyclic actions.
problem Generalizing the Borsuk-Ulam theorem to surfaces and cyclic actions.
method Algebraic criterion involving braid groups and homology groups.
result Determines the Borsuk-Ulam property for maps from surfaces to R^2.
Let M be a closed, connected 3-manifold which admits Nil geometry, we determine all free involutions τ on M and the Borsuk-Ulam index of (M,τ).
We consider spaces with free involutions that satisfy the Borsuk - Ulam theorems (BUT-spaces). There are several equivalent definitions for BUT-spaces that can be considered as their properties. Our main technical tool is Yang's cohomological index.
Let M be a Seifert manifold which belongs to the geometry Flat. In this work we determine all the free involutions τ on M, and the Borsuk-Ulam indice of (M,τ).
New example solves topological dynamics problem.
problem Embedding compact metric space into cubical shift.
method Borsuk-Ulam theorem, p-adic completions, equivariant Sullivan conjecture.
result Existence of a compact metric space not embeddable into a cubical shift.
New theorem connects distant points and identical points on manifolds.
problem Continuous maps and distant points on manifolds.
method Qualitative extension of Hopf theorem, using topological 'distant' points.
result Existence of connected component containing both distant and identical points.
Thickenings of a metric space capture local geometric properties of the space. Here we exhibit applications of lower bounding the topology of thickenings of the circle and more generally the sphere. We explain interconnections with the geometry of circle actions on Euclidean space, the structure of zeros of trigonometr…
The paper proves no multiple equichordal points exist in convex bodies.
problem Existence of multiple equichordal points in convex bodies.
method Topological tools like the Borsuk-Ulam theorem and analysis of convex body properties.
result Nonexistence of multiple equichordal points in n-dimensional convex bodies for n≥2. The paper connects geometric and topological concepts to bound distances between metric spaces.
problem Bounding distances between metric spaces using Gromov-Hausdorff distance.
method Using Borsuk-Ulam theorems and Vietoris-Rips complexes, the paper obstructs the existence of certain continuous maps between complexes to bound discontinuities of functions.
result The paper provides new bounds on Gromov-Hausdorff distances between spheres of different dimensions.
Let (X, t, S) be a triple, where S is a compact, connected surface without boundary, and t is a free cellular involution on a CW-complex X. The triple (X, t, S) is said to satisfy the Borsuk-Ulam property if for every continuous map f:X-->S, there exists a point x belonging to X satisfying f(t(x))=f(x). In this paper, …
Bounds and constructions for Gromov-Hausdorff distance between spheres.
problem Calculating distances between spheres using Gromov-Hausdorff metric.
method Explicit constructions and topological ideas based on Borsuk-Ulam theorem.
result Lower bounds are tight for specific cases of sphere distances.
We prove several new results around Gromov's waist theorem. We give a simple proof of Vaaler's theorem on sections of the unit cube using the Borsuk--Ulam--Crofton technique. We consider waists of real and complex projective spaces, flat tori, convex bodies in Euclidean space. We establish waist-type results in terms o…
Study determines Borsuk-Ulam property for maps between torus and Klein bottle.
problem Determining maps with Borsuk-Ulam property between torus and Klein bottle.
method Analyzing homotopy classes of maps and using fundamental groups.
result Identifies specific homotopy classes of maps with Borsuk-Ulam property.
The study connects projective codes to the distribution of zeros of odd maps.
problem Understanding the distribution of zeros of odd maps from spheres to Euclidean space.
method Using the topology of the space of probability measures on the sphere.
result Generalization of the Borsuk-Ulam theorem and its four consequences.
The paper connects sectional category and parametrized Borsuk-Ulam property for fibrations.
problem Parametrized Borsuk-Ulam property for fibrations.
method Investigation of sectional category connections and fibrations.
result The sectional category of q being larger than qp′ implies the parametrized Borsuk-Ulam property for the triple (p,τ;p′). Tucker and Ky Fan's lemma are combinatorial analogs of the Borsuk-Ulam theorem (BUT). In 1996, Yu. A. Shashkin proved a version of Fan's lemma, which is a combinatorial analog of the odd mapping theorem (OMT). We consider generalizations of these lemmas for BUT-manifolds, i.e. for manifolds that satisfy BUT. Proofs rel…
We introduce and study a new family of extensions for the Borsuk-Ulam and topological Radon type theorems. The defining idea for this new family is to replace requirements of the form `a subset that is large in some sense goes to a singleton' with requirements of the milder form `a subset that is large in some sense go…
Let M and N be topological spaces such that M admits a free involution $\τ$. A homotopy class β ∈ [M, N ] is said to have the Borsuk-Ulam property with respect to $\τ$ if for every representative map f : M → N of β, there exists a point x ∈ M such that f ($\τ$ (x)) = f (x). In the case where M i…
Researchers create black holes isometric to extremal Reissner-Nordström.
problem Third law of black hole thermodynamics.
method Novel Ck characteristic gluing procedure and scalar field pulses. result Definitive disproof of the third law of black hole thermodynamics.
Let M be a topological space that admits a free involution τ, and let N be a topological space. A homotopy class β∈[M,N] is said to have {\it the Borsuk-Ulam property with respect to τ} if for every representative map f:M→N of β, there exists a point x∈M such that f(τ(x))=f(x). In this …
Let V and W be orthogonal representations of G with VG=WG={0}. Let S(V) be the sphere of V and f:S(V)→W be a G-equivariant mapping. We give an estimate for the dimension of the set Zf=f−1{0} in terms of dimV and dimW, if G is the torus Tk, or the p-torus $\ma…
The paper explores how to reduce classification tasks to optimization problems in Euclidean space.
problem Understanding the minimum dimension needed for reducing classification tasks to optimization problems.
method Developed a generalization of the Borsuk-Ulam Theorem to analyze the expressivity of reductions.
result The minimum Euclidean dimension required can be exponentially larger than the VC dimension, even for slightly non-trivial reductions.
We compute the rings H∗(N;F2) for N a closed Sol3-manifold and then determine the Borsuk-Ulam indices BU(N,φ) with φ=0 in H1(N;F2).
The width w of a curve γ in Euclidean space Rn is the infimum of the distances between all pairs of parallel hyperplanes which bound γ, while its inradius r is the supremum of the radii of all spheres which are contained in the convex hull of γ and are disjoint from γ. We use a mixture of topological and…
Study of f-neighbors in Riemannian manifolds, proving infinite set of distances.
problem Exploring variations of Hopf theorem in Riemannian manifolds.
method Investigates continuous maps of compact Riemannian manifolds to Rm and introduces f-neighbors. result Set of distances realized as visual f-neighbors is infinite. It is proved that for a product action of (Zp)k on a product of (mod p) homology spheres Nn1×...×Nnk, where all ni's are assumed to be odd if p is odd, and any continuous map f:Nn1×...×Nnk→Rm the set $A(f)=\{x\in N^{n_1}\times...\times N^{n_k}…
The paper studies which branched covers can be lifted to braided embeddings.
problem Which branched covers lift to braided embeddings?
method Analyzes conditions for liftability using Hansen's criterion and examples in different dimensions.
result Not all branched covers lift to braided embeddings; examples are provided in various dimensions.
Introduces injective category number for continuous maps, linking classical and contemporary research.
problem Understanding conditions for a continuous map to be injective.
method Defines injective category number and examines its behavior under various operations.
result Provides a cohomological lower bound and expressions for injective category numbers in specific cases.
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.
We consider the task of automated theorem proving, a key AI task. Deep learning has shown promise for training theorem provers, but there are limited human-written theorems and proofs available for supervised learning. To address this limitation, we propose to learn a neural generator that automatically synthesizes the…
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.