Analytic proof for minimal rank Sard conjecture.
problem Proving the minimal rank Sard conjecture in the analytic category.
method Using subanalytic abnormal distribution from [4], we establish a proof.
result The set of points accessible through singular horizontal curves of minimal rank has Lebesgue measure zero.
New examples of sub-Riemannian structures satisfying Minimizing Sard conjecture found.
problem Finding complete sub-Riemannian structures satisfying the Minimizing Sard conjecture.
method Techniques from nonsmooth analysis and geometric measure theory.
result Complete sub-Riemannian structures associated with distributions of co-rank 2 or generic distributions of rank ≥ 2 satisfy the Minimizing Sard conjecture.
Proves Sard conjecture for specific distributions, controlling divergence of vector fields.
problem Proving the Sard conjecture for certain types of distributions.
method Constructs a singular distribution capturing essential abnormal lifts, proving the conjecture for rank 3 distributions in dimension 4 and generic corank 1 distributions.
result Proves the Sard conjecture for generic co-rank one distributions.
In this paper we prove the strong Sard conjecture for sub-Riemannian structures on 3-dimensional analytic manifolds. More precisely, given a totally nonholonomic analytic distribution of rank 2 on a 3-dimensional analytic manifold, we investigate the size of the set of points that can be reached by singular horizontal …
The paper proves Sard's theorem for polynomial maps in infinite dimensions.
problem The validity of Sard's theorem for polynomial maps in infinite-dimensional Banach manifolds.
method Sharp quantitative criteria for the validity of Sard's theorem.
result The paper provides criteria for the validity of Sard's theorem in infinite-dimensional Banach manifolds.
The paper bounds abnormal and Goh-abnormal sets for metabelian Lie groups with polarizations.
problem Bounding abnormal and Goh-abnormal sets for metabelian Lie groups.
method Analyzing rank 2 polarizations and sub-Riemannian structures on metabelian Lie groups.
result Metabelian Lie groups with polarizations satisfy the minimizing Sard property.
Given a totally nonholonomic distribution of rank two on a three-dimensional manifold we investigate the size of the set of points that can be reached by singular horizontal paths starting from a same point. In this setting, the Sard conjecture states that that set should be a subset of the so-called Martinet surface o…
Improved semialgebraic choices with linear complexity.
problem Finding semialgebraic choices in projections with exponential complexity.
method Allowing approximate selections in Hausdorff sense.
result Constructed an approximate selection with linear degree in complexity.
We introduce a dynamical-systems approach for the study of the Sard problem in sub-Riemannian Carnot groups. We show that singular curves can be obtained by concatenating trajectories of suitable dynamical systems. As an applications, we positively answer the Sard problem in some classes of Carnot groups.
A dimension allowing in particular to state necessary and sufficient conditions of the Morse-Sard Theorem for real valued functions is introduced.
Study Sard problem in step 2 and filiform Carnot groups.
problem Understanding the Sard problem in specific types of Carnot groups.
method Analyzing endpoint maps in step 2 and filiform Carnot groups.
result Characterized abnormal set in filiform groups and provided bounds in step 2 Carnot groups.
New bounds on geodesic dimension and curvature exponent in Carnot groups.
problem Characterizing geodesic dimension and curvature exponent in Carnot groups.
method Characterization and lower bound calculation for geodesic dimension and curvature exponent.
result Found an example where curvature exponent is greater than geodesic dimension.
SARD improves adversarial robustness in two-stage L2D systems.
problem Adversarial attacks can manipulate query allocation in two-stage L2D systems.
method Introduces SARD, a convex learning algorithm with provable guarantees.
result SARD significantly improves robustness under adversarial attacks while maintaining strong clean performance.
In Carnot-Caratheodory or sub-Riemannian geometry, one of the major open problems is whether the conclusions of Sard's theorem holds for the endpoint map, a canonical map from an infinite-dimensional path space to the underlying finite-dimensional manifold. The set of critical values for the endpoint map is also known …
SARD improves deep learning clinical prediction performance.
problem Deep learning models struggle to match linear models in healthcare predictions.
method Reverse Distillation to initialize deep models, combined with contextual and temporal embeddings.
result SARD outperforms state-of-the-art methods on clinical prediction outcomes.
Extends transversality to supergeometry, proving stability and genericity.
problem Transversality in supergeometry.
method Extending Sard's theorem to supergeometry.
result Proves stability and genericity of supertransversality.
In this paper, we study Lipschitz-Fredholm vector fields on Bounded-Fréchet-Finsler manifolds. In this context we generalize the Morse-Sard-Brown theorem, asserting that if M is a connected smooth bounded-Fréchet-Finsler manifold endowed with a strengthened connection K and if ξ is a smooth Lipschitz-Fr…
Study finds isolated SL submanifolds on non-Kähler Calabi-Yau threefolds.
problem Existence of special Lagrangian submanifolds in non-Kähler Calabi-Yau spaces.
method Introduced perturbed special Lagrangian submanifolds and used Sard-Smale technique to prove existence.
result Existence of isolated moduli spaces of perturbed special Lagrangian submanifolds.
In this paper, we give a proof of the quantitative Morse theorem stated by {Y. Yomdin} in \cite{Y1}. The proof is based on the quantitative Sard theorem, the quantitative inverse function theorem and the quantitative Morse lemma.
We study Thom Transversality Theorem using a point of view, suggested by Gromov, which allows to avoid the use of Sard Theorem and gives finer informations on the structure of the set of non-transverse maps.
Necessary and sufficient condition is given for a set A⊂R1 to be a subset of the critical values set for a Ck function f:Rm→R1.
We prove generic regularity and Uhlenbeck-type compactification theorems for the moduli spaces of PU(2)-monopoles. Generic regularity is NOT obtained in the usual way (by applying Sard theorem to a smooth parameterized moduli space), since the parameterized moduli space can be a priori singular. We explain why, using t…
Thurston's Circle Pattern Theorem studies existence and rigidity of circle patterns of a given combinatorial type and the given non-obtuse exterior intersection angles. Using topological degree theory, variational principle, Teichmuller theory, and Sard's Theorem, this paper generalizes Circle Pattern Theorem to the ca…
Let n,m,k be positive integers with k=n−m+1. We establish an abstract Morse-Sard-type theorem which allows us to deduce, on the one hand, a previous result of De Pascale's for Sobolev Wlock,p(Rn,Rm) functions with p>n and, on the other hand, also the following new result: i…
The zero locus of a function f on a graph G is defined as the graph with vertex set consisting of all complete subgraphs of G, on which f changes sign and where x,y are connected if one is contained in the other. For d-graphs, finite simple graphs for which every unit sphere is a d-sphere, the zero locus of (f-c) is a …
The sigma-point filters, such as the UKF, which exploit numerical quadrature to obtain an additional order of accuracy in the moment transformation step, are popular alternatives to the ubiquitous EKF. The classical quadrature rules used in the sigma-point filters are motivated via polynomial approximation of the integ…
We study transversality for Lipschitz-Fredholm maps in the context of bounded Fréchet manifolds. We show that the set of all Lipschitz-Fredholm maps of a fixed index between Fréchet spaces has the transverse stability property. We give a straightforward extension of the Smale transversality theorem by using the general…
A minimal hypersurface in a sphere is uniquely determined.
problem Characterizing closed minimal hypersurfaces in spheres.
method Proving strong rigidity of closed minimal hypersurfaces.
result Closed minimal hypersurfaces in spheres are uniquely determined.
The paper proves conditions for the Abundance conjecture in minimal projective klt pairs.
problem Proving the Abundance conjecture for minimal klt pairs with non-zero canonical bundle.
method Analyzing asymptotic behavior of multiplier ideals and properties of supercanonical currents.
result Supercanonical currents are central to proving the Abundance conjecture.
The paper disproves the properness conjecture for higher-dimensional minimal hypersurfaces.
problem Properness of complete minimal hypersurfaces in higher dimensions.
method Chord-arc estimates and gluing techniques.
result Construction of a complete, improperly embedded minimal hypersurface in Rn+1 for every n≥3. Paper solves long-standing Gaussian curvature conjecture for minimal graphs.
problem Gaussian curvature of minimal graphs over the unit disk.
method Complex-analytic methods, conformal harmonic parameterization.
result Sharp estimate for Gaussian curvature at the origin of minimal graphs.
Lu conjecture proven for minimal 2-spheres and surfaces under certain conditions.
problem Discreteness of constant scalar curvatures of compact minimal submanifolds in unit spheres.
method Refined Simons' first gap theorem and Yau's theorems for high-codimensional submanifolds.
result Lu's conjecture for minimal 2-spheres and surfaces proved under inequality conditions.
Minimal hypertori found in 4D sphere, solving Bernstein conjecture.
problem Finding minimal embedded hypertori in 4D sphere.
method Analyzing minimally embedded and immersed hypertori and hyperspheres.
result Infinitely many non-isometric minimally embedded hypertori and hyperspheres found.
Lu's conjecture proven for minimal surfaces in codimension two.
problem Proving Lu's conjecture for minimal surfaces in codimension two.
method Analyzing eigenvalues of Lu's fundamental matrix and squared norm of the second fundamental form.
result Lu's second-gap conjecture holds for minimal surfaces in codimension two.
We prove that every function f:Rn→R satisfies that the image of the set of critical points at which the function f has Taylor expansions of order n−1 and non-empty subdifferentials of order n is a Lebesgue-null set. As a by-product of our proof, for the proximal subdifferential $\partial_{…
New proof of Smale conjecture for RP^3 and lens spaces using min-max theory.
problem Proving the Smale conjecture for specific spaces.
method Minimal surfaces and min-max theory.
result New proof of Smale conjecture for RP3 and lens spaces. Proves a conjecture about metrics and minimal area enclosures.
problem Proving a conjecture about metrics and minimal area enclosures.
method Using boundedness of harmonic function u, proving the conjecture for asymptotically flat 3-manifolds.
result Proves the bounded conformal conjecture under the assumption of boundedness of harmonic function u.
Machine learning predicts minimal surfaces for knots, supporting a conjecture.
problem Predicting minimal surfaces for knots in hyperbolic space.
method Physics-Informed Neural Networks (PINNs) to solve minimal surface equation.
result Computational minimal surfaces align with Fine's Conjecture.
Constructs area-minimizing submanifolds with fractal singularities.
problem Area-minimizing submanifolds with fractal singular sets.
method Integral currents, mod v currents, stable stationary varifolds.
result Sharp dimensionwise solution to Almgren's conjecture.
Minimal surfaces help prove a conjecture about special metrics.
problem Proving Arthur L. Besse's conjecture about CPE metrics.
method Using the theory of minimal surfaces.
result The conjecture is proven for 3D manifolds.
Paper proves existence of area-minimizing submanifolds on almost any manifold with fractal singular sets.
problem Existence of area-minimizing submanifolds with fractal singular sets.
method Constructing and proving existence on almost any smooth manifold.
result Existence of area-minimizing submanifolds with fractal singular sets on almost any smooth manifold.
The paper proves stability of minimal embeddings in spheres and relates it to Yau's conjecture.
problem Stability of minimal embeddings in spheres and Yau's conjecture.
method Analyzes stability index and solves differential equation to relate to Yau's conjecture.
result Stability index of minimal hypersurfaces is at least n^2+4n+3 and Yau's conjecture holds under specific conditions.
Taking an elementary and straightforward approach, we develop the concept of a regular value for a smooth map f: O -> P between smooth orbifolds O and P. We show that Sard's theorem holds and that the inverse image of a regular value is a smooth full suborbifold of O. We also study some constraints that the existence o…
Paper confirms Yau's conjecture about sphere eigenvalues.
problem Yau's conjecture on eigenvalues of minimal hypersurfaces.
method Constructing a minimizing sequence in Sobolev space, using variational principle.
result First non-zero eigenvalue equals hypersurface dimension.
Explains geometric inequalities for minimal hypersurfaces.
problem Geometric inequalities for minimal hypersurfaces.
method Expository discussion of known inequalities.
result Discussion of classical inequalities for minimal hypersurfaces.
In Riemannian manifolds, minimal hypersurfaces with large area exist or have complex structures.
problem Existence of minimal hypersurfaces with arbitrarily large area in closed Riemannian manifolds.
method Almgren-Pitts min-max theory, Marques-Neves ideas, Song's proof of Yau's conjecture, Zhou's resolution of generic multiplicity-one conjecture.
result Existence of minimal hypersurfaces with arbitrarily large area or pathological Cantor set structures in certain manifolds.
The paper refines the stability index for a specific minimal hypersurface and verifies Yau's conjecture.
problem Stability of minimal hypersurfaces in spheres and eigenvalue multiplicity.
method Analytical and numerical methods to study eigenvalues and stability indices.
result The multiplicity of the eigenvalue for the Carlotto-Schulz minimal embedding is at least 2n+1+n^2.
We consider a family of variational problems on a Hilbert manifold parameterized by an open subset of a Banach manifold, and we discuss the genericity of the nondegeneracy condition for the critical points. Based on an idea of B. White, we prove an abstract genericity result that employs the infinite dimensional Sard--…