Paper solves uniqueness of Steklov spectrum on specific manifolds.
problem Determining warping function from Steklov spectrum on hollow sphere manifolds.
method Proves uniqueness of warping function from Steklov spectrum.
result Warping function is uniquely determined by Steklov spectrum.
We are going to use the Euler's vector fields in order to show that for real quasi-homogeneous singularities with isolated critical value, the Milnor's fibration in a "thin" hollowed tube involving the zero level and the fibration in the complement of "link" in sphere are equivalents, since they exist. Moreover, in ord…
The central idea of the proof is to show that a minimal flow v on a compact 3-manifold M implies the existence of a codimension one foliation F on it, which is transverse to the flow. If M is the 3-sphere, Novikov's theorem applies to show that one of the leaves of F is a compact surface X. It is now easy to derive a c…
Hollow-tree Super resolves feature importance in large datasets.
problem Lack of effective scaling for large feature numbers in boosted tree models.
method Hollow-tree Super (HOTS) methodology for feature importance visualization.
result HOTS effectively resolves feature importance and directionality in high-dimensional neuroscientific data.
The paper introduces a method for creating short proofs of predictions in AI models.
problem Creating reliable and explainable AI predictions.
method Defining robust hollow star numbers and analyzing certificate sizes for various hypothesis classes.
result The certificate coefficient εx precisely controls the sample size needed for predictions. Develops an ℓ_p theory for PCA and spectral clustering.
problem Lack of precise characterizations of PCA scores for low-dimensional embedding.
method An ℓ_p perturbation theory for PCA in Hilbert spaces, analyzing eigenvectors and Gram matrix.
result Optimal recovery results for Gaussian mixture and stochastic block models.
Paper solves Serrin problem for ring-shaped domains, showing velocity has finitely many maxima.
problem Characterizing rotationally symmetric solutions to a specific PDE on a ring-shaped domain.
method Introduced new arguments in the spirit of comparison geometry to overcome the lack of monotonicity.
result Simplest conditions are not sufficient; rotational symmetry requires finitely many maxima.
Efficient neural networks compute various differential operators cheaply.
problem Efficient computation of higher time complexity differential operators.
method Restricted neural network architectures with diagonal and hollow Jacobian matrices, allowing efficient extraction of dimension-wise derivatives.
result Demonstrated efficient computation of differential operators for various applications.
We introduce a method to design lightweight shell objects that are structurally robust under the external forces they may experience during use. Given an input 3D model and a general description of the external forces, our algorithm generates a structurally-sound minimum weight shell object. Our approach works by alter…
HollowFlow speeds up likelihood evaluation for large-scale models.
problem Prohibitive scaling of sample likelihood computations in flow-based models.
method Introduces HollowFlow, a flow-based generative model using a NoBGNN with a block-diagonal Jacobian structure.
result Achieves up to O(n^2) speed-up in likelihood evaluation for large systems.
We explore the loss landscape of fully-connected and convolutional neural networks using random, low-dimensional hyperplanes and hyperspheres. Evaluating the Hessian, H, of the loss function on these hypersurfaces, we observe 1) an unusual excess of the number of positive eigenvalues of H, and 2) a large value of $…
New research finds 145 infinite families of CS spheres are standard.
problem Determining which Cappell-Shaneson spheres are diffeomorphic to the standard 4-sphere.
method Using Kirby calculus and new families of CS spheres.
result Proves 145 new infinite families of CS spheres are standard.
Every smooth 4-sphere is the same as the standard one.
problem Identifying smooth 4-spheres.
method Proved diffeomorphism to the standard 4-sphere.
result Smooth homotopy 4-spheres are diffeomorphic to the 4-sphere.
Kervaire's sphere-link is equivalent to a ribbon sphere-link, simplifying complex 2-complexes.
problem Understanding the structure of 2-complexes and their asphericity.
method Using Kervaire's sphere-link and ribbon sphere-link equivalence, analyzing the compact complement of ribbon disk-links.
result Every connected subcomplex of a contractible finite 2-complex is aspherical.
New theory proves infinite homology 3-spheres in homology 4-spheres.
problem Existence of homology 3-spheres in homology 4-spheres.
method Diagrammatics of surface cross sections, Taubes' work.
result Infinite number of homology 3-spheres in homology 4-spheres.
The 3-sphere has either 2 minimal 2-spheres or an optimal foliation by 2-spheres.
problem Proving existence of minimal 2-spheres or optimal foliations in arbitrary Riemannian 3-spheres.
method Analyzing the properties of arbitrary Riemannian metrics on 3-spheres.
result The existence of at least two minimal 2-spheres or an optimal foliation in 3-spheres with arbitrary metrics.
Infinitely many splitting spheres found for unlinked 2-spheres in 4-space.
problem Existence of pairwise non-isotopic splitting spheres for unlinked 2-spheres in 4-space.
method Analytical proof showing non-isotopic spheres.
result Infinitely many non-isotopic splitting spheres found.
Reduces weak reducing pairs to spheres in 3-sphere Heegaard surfaces.
problem Finding reducing spheres for weak reducing pairs in Heegaard surfaces.
method Proves existence of reducing spheres for weak reducing pairs in 3-sphere Heegaard surfaces.
result Reduction of weak reducing pairs to spheres if genus is at most 3.
The study shows how to construct d-spheres from (d−1)-spheres and d-balls without additional vertices.
problem Constructing d-spheres from (d−1)-spheres and d-balls without additional vertices. method Examining specific types of spheres (flag, stacked, join of spheres) and d-balls to determine if constructions can be made without extra vertices. result Affirmative answers to constructing d-spheres from (d−1)-spheres and d-balls without additional vertices for certain types of spheres and d-balls. New proof for sphere recognition algorithm.
problem Sphere recognition algorithm proof.
method New proof of a lemma in Abigail Thompson's algorithm.
result New proof of a lemma in Abigail Thompson's proof of the Recognition Algorithm for 3-spheres.
Proves stability of convex spheres with similar geodesic lengths.
problem Stability of convex spheres with specific geodesic properties.
method Proves C^0 Cheeger-Gromov closeness to the round sphere.
result Strictly convex 2-spheres are close to the round sphere.
Soliton spheres are immersed 2-spheres in the conformal 4-sphere S^4=HP^1 that allow rational, conformal parametrizations f:CP^1->HP^1 obtained via twistor projection and dualization from rational curves in CP^{2n+1}. Soliton spheres can be characterized as the case of equality in the quaternionic Pluecker estimate. A …
Study on sphere immersions and their stability indices.
problem Analyzing the stability of sphere immersions.
method Calculation of Morse indices and stability indices for specific sphere immersions.
result Bounds on stability index of associative cone in R7. The paper constructs biharmonic maps between spheres using polynomial maps.
problem Creating biharmonic maps between spheres.
method Using harmonic homogeneous polynomial maps of different degrees to generate proper biharmonic maps.
result Established a method for constructing proper biharmonic product maps.
Classification of constant curvature surfaces in Berger spheres.
problem Identifying complete rotationally invariant surfaces with constant Gauss curvature in Berger spheres.
method Complete classification through detailed analysis of Clifford tori and spheres.
result Rotationally invariant spheres with constant Gauss curvature are the only topological spheres in Berger spheres for K>KP. Characterizes a specific type of convex curves on a 3-sphere.
problem Understanding convex curves on a 3-sphere.
method Decomposes curves on 3-sphere into 2-sphere curves, characterizes locally convex ones.
result Completely characterized a class of convex curves on the 3-sphere.
Reduces connectivity problem for genus-4 Heegaard surface in 3-sphere.
problem Connectivity problem in reducing sphere complex for genus-4 Heegaard surface.
method Presented a sufficient condition for a non-separating weak reducing pair to be separated by a reducing sphere.
result Reduced connectivity problem to showing disjointness of representative reducing spheres from a fixed disk.
Paper studies inscribed sphere and lines through centers of Apollonius spheres in n dimensions.
problem Tangency of spheres and lines through their centers.
method Lie sphere geometry and two-step construction of Apollonius spheres.
result Center of inscribed sphere coincides with point PX. Author provides an alternate proof of the free ribbon lemma.
problem Proving that every free sphere-link in the 4-sphere is a ribbon sphere-link.
method An alternate proof of the free ribbon lemma.
result Provides an alternate proof of the free ribbon lemma.
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.
In the 1-parameter family of Berger spheres S^3(a), a > 0 (S^3(1) is the round 3-sphere of radius 1) we classify the stable constant mean curvature spheres, showing that in some Berger spheres (a close to 0) there are unstable constant mean curvature spheres. Also, we classify the orientable compact stable constant mea…
We introduce and study a new class of homotopy spheres called Farrell-Jones spheres. Using Farrell-Jones sphere we construct examples of closed negatively curved manifolds M2n, where n=7 or 8, which are homeomorphic but not diffeomorphic to complex hyperbolic manifolds, thereby giving a partial answer to a que…
In this paper we show that for m>n the set of cobordism classes of maps from m-sphere to n-sphere is trivial. The determination of the cobordism homotopy groups of spheres admits applications to the covers for spheres.
Study finds infinite families of Sasaki-Einstein metrics on spheres.
problem Finding Sasaki-Einstein metrics on spheres and exotic spheres.
method Analyzing odd-dimensional spheres and exotic spheres that bound parallelizable manifolds.
result Infinitely many families of Sasaki-Einstein metrics on spheres and exotic spheres.
We show that among Seifert fibered integer homology spheres, Poincare sphere (with either orientation) is the only non-trivial example which has trivial Heegaard Floer homology. Together with an earlier result, this shows that if an integer homology sphere has trivial Heegaard Floer homology, then it is a connected sum…
We prove a Reeb sphere theorem for finite simple graphs. The result bridges two different definitions of spheres in graph theory. We also reformulate Morse conditions in terms of the center manifolds, the level surface graphs {f=f(x)} in the unit sphere S(x). In the Morse case these graphs are either spheres, the empty…
Study biharmonic hypersurfaces in spheres, proving unique continuation theorem.
problem Characterize biharmonic hypersurfaces in spheres.
method Prove CMC Unique Continuation Theorem for biharmonic hypersurfaces of spheres.
result Supports the conjecture that biharmonic submanifolds of Euclidean spheres must be of constant mean curvature.
Standard S4 proved to be diffeomorphic to a curious homotopy sphere.
problem Determining the diffeomorphism of a curious homotopy sphere to the standard S4. method Proof based on properties of homotopy spheres and loose corks.
result The curious homotopy sphere is diffeomorphic to the standard S4. Formula derived for discrete improper affine spheres.
problem Constructing discrete improper affine spheres.
method Loop group factorizations and Birkhoff decomposition.
result Representation formula for discrete indefinite affine spheres.
We provide a computer-assisted proof of the holomorphy of the quartic and the octic meromorphic differentials arising in the main Theorem 4.11 of our paper 'The Classification of Branched Willmore spheres in the 3-Sphere and the 4-Sphere' (arXiv:1706.01405), using the free mathematical software Sage.
New actions found on exotic spheres using group theory.
problem Understanding smooth transformations on exotic spheres.
method Recent progress in stable homotopy groups of spheres and group theory.
result Smooth circle and cyclic group actions on exotic spheres produced.
Here we generalize the Gromoll-Meyer construction of an exotic 7-sphere by producing geometric models of exotic 8, 10 and Kervaire spheres as quotients of sphere bundles over spheres by free isometric actions. We give a geometric application at the end.
New bounds and examples for sphere unknotting numbers.
problem Comparing unknotting numbers for 2-spheres in 4-space.
method Algebraic and geometric techniques.
result Stabilization number is bounded above by one more than Casson-Whitney number.
Disk complexes show 3-sphere surfaces are topologically minimal.
problem Understanding minimal surfaces in 3-sphere topology.
method Analyzing disk complexes of genus >1 Heegaard surfaces.
result Genus >1 Heegaard surfaces have minimal index 2g-1.
We construct a new infinite family of models of exotic 7-spheres. These models are direct generalizations of the Gromoll-Meyer sphere. From their symmetries, geodesics and submanifolds half of them are closer to the standard 7-sphere than any other known model for an exotic 7-sphere.
Survey of Dupin hypersurfaces in Lie sphere geometry.
problem Classifying Dupin hypersurfaces in Lie sphere geometry.
method Detailed description of Lie sphere geometry concepts and classification results.
result Many classification results relating Dupin hypersurfaces to isoparametric hypersurfaces in spheres.
New compact mean convex hypersurfaces found for positive λ.
problem Finding compact embedded hypersurfaces for positive λ.
method Constructing compact mean convex hypersurfaces diffeomorphic to spheres.
result No compact convex embedded λ-hypersurfaces except a round sphere for λ > 0.
Paper studies spaces of flattenings of simplicial spheres and their homotopy type.
problem Existence and uniqueness of differentiable structures on simplicial spheres.
method Analyzes spaces of flattenings of simplicial spheres and their homotopy type.
result Spaces of flattenings have the homotopy type of the orthogonal group.