Simplified proof for Cheeger's isoperimetric constant.
problem Cheeger's isoperimetric constant
method Simplified proof of Buser's result
result Simplified proof for Cheeger's isoperimetric constant
Simplified proof of Honda-Huang's contact convexity result.
problem Contact convexity in high dimensions
method Simplified proof of Honda-Huang's main result
result Main result from Honda-Huang's paper simplified and presented
Simplified proof of gluing formula for analytic torsion forms.
problem Proving the gluing formula for analytic torsion forms.
method Extending prior work to the family case, presenting a new proof.
result Simplified proof of the gluing formula.
Simplified proofs and new distributions on anti-quasi-Sasakian manifolds.
problem Properties of anti-quasi-Sasakian manifolds.
method Simplified proofs and discussion of new invariant distributions.
result New invariant distributions exist on every anti-quasi-Sasakian manifold.
We offer a simplified proof for Expected Shortfall's dual representation.
problem The dual representation of Expected Shortfall.
method Basic properties of quantile functions.
result New proof of Expected Shortfall's subadditivity.
Survey on metrics with conic singularities on Riemann surfaces.
problem Conformal metrics with conic singularities on Riemann surfaces.
method Study of metrics with constant positive curvature and conic singularities.
result Simplified proofs for interesting cases, including those by C. L. Chai, C. S Lin, and C. L. Wang.
Simplified proof of Gaussian concentration inequality using covariance.
problem Gaussian concentration inequality proof
method Covariance representation based on characteristic functions
result Elementary proof of Gaussian concentration inequality
A simplified proof of the Alexander-Conway polynomial exists.
problem Existence of the Alexander-Conway polynomial for links in 3D space.
method Presented an accurate detailed exposition of the proof.
result Existence of the Alexander-Conway polynomial proved.
Paper unifies and simplifies proof of free product conditions.
problem Conditions for normal closure in free product.
method Geometric approaches to normal closure in ambient groups.
result Unified and simplified proof of Dahmani-Guirardel-Osin theorem.
Simplified proof of a recent inequality for closed hypersurfaces.
problem Proving an inequality for closed hypersurfaces in manifolds with nonnegative Ricci curvature.
method Simple proof of a recent result by Agostiniani, Fogagnolo, and Mazzieri.
result A simplified proof of the inequality for closed hypersurfaces.
A simplified proof for satellite knot signatures.
problem Proving Litherland's formula for satellite knots.
method Uses linear algebra and basic knot theory.
result A new, elementary proof of the signature formula.
Simplified proof and new C0 estimate for Kähler-Einstein metrics.
problem Existence of Kähler-Einstein metrics on Calabi-Yau manifolds.
method Alternative C0 a priori estimate for the Monge-Ampère equation. result Established a new uniform bound for the solution of the Monge-Ampère equation.
Simplified proof classifies surfaces using normal curves.
problem Classifying surfaces using algebraic topology invariants.
method Using normal curves and analogy to 3-manifolds classification.
result Simple proof without using algebraic topology invariants.
Simplified proof of cosmic singularity theorem using new mathematical techniques.
problem Proving cosmic singularity in expanding spacetimes with positive cosmological constant.
method Unified approach using the positive resolution of the virtual positive first Betti number conjecture.
result The theorem holds without the need for a spherical Cauchy surface.
Simplified proof for Frank and Lieb's inequality on Heisenberg group.
problem Proving the sharp Frank-Lieb inequality on the Heisenberg group.
method Simpler proof based on 2nd variation of subcritical functionals.
result A simpler proof of the inequality without the need for minimizer existence.
Simplified proof of a theorem about 3D shapes.
problem Proving a theorem about foliations on 3-manifolds.
method Using foliated branched covers.
result A simple proof of Novikov's theorem.
Simplified proof of a famous geometry result for students.
problem Mostow Rigidity in geometry and topology
method Self-contained, accessible proof for grad students
result Clean and analytically light proof accessible to students
Simplified proof for a theorem about graphs.
problem Proving a generalized Conway--Gordon--Sachs theorem for complete graphs.
method Provided a shorter proof over integers.
result A simpler proof of the generalized theorem.
Study on nonorientable 4-manifolds using simplified fibrations and trisections.
problem Classify and understand nonorientable 4-manifolds.
method Use simplified broken Lefschetz fibrations and trisections, topological modifications of singularities, handlebody decompositions, and mapping classes of surfaces.
result Classify low genus simplified broken Lefschetz fibrations on nonorientable 4-manifolds.
Paper simplifies proof of slide-equivalence in crown diagrams.
problem Proving slide-equivalence of crown diagrams.
method Diagrammatic approach to generalized shift moves.
result Slide-equivalence of vanishing cycles in crown diagrams.
Simplified proof of K3 surface period map surjectivity.
problem Surjectivity of period map on K3 surfaces.
method Utilizes hyperkähler geometry and collapsing techniques.
result Simple proof of Todorov's result on K3 surfaces.
We give a simplified proof of the generalized Kirszbraun theorem for Alexandrov spaces, which is due to Lang and Schroeder. We also discuss related questions, both solved and open.
In this paper we give a simplified proof of the flat Grothendieck-Riemann-Roch theorem. The proof makes use of the local family index theorem and basic computations of the Chern-Simons form. In particular, it does not involve any adiabatic limit computation of the reduced eta-invariant.
Simplified proof for dimension reduction of polygonal curves.
problem Preserving the continuous Fréchet distance of polygonal curves.
method Sparse oblivious subspace embeddings for generalized dissimilarity measures.
result Generalized dimension reduction technique works for various distance measures.
Simplified proofs for splitting homotopy idempotents.
problem Understanding the splitting of homotopy idempotents.
method Simplified proofs for both pointed and unpointed cases.
result Homotopy idempotents split in specific categories.
We study some fundamental properties of real rectifiable currents and give a generalization of King's theorem in characterizing currents defined by positive real holomorphic chains. Our proof uses Siu's semicontinuity theorem and largely simplifies King's proof. A consequence of this result is a sufficient condition fo…
Simplified proof of equivalence between stability and Bowditch conditions.
problem Equivalence of stability and Bowditch conditions in free group representations.
method Simplified proof using Bowditch's tree language and ideas from Lee and Xu.
result Equivalence of primitive stability and Bowditch conditions proved.
Simplified proof of foliation closure theorem for linear foliations.
problem Proving the closure of linear foliations on Riemannian manifolds.
method Direct geometric approach, focusing on projectable foliations and compatible connections.
result Smoothness of the closure of linear foliations directly proven.
Proof of Gromov's conjecture in 3D simplifies existing methods.
problem Gromov's dihedral rigidity conjecture on scalar curvature in 3D.
method Self-contained proof avoiding technical complications, shorter and more accessible than general case.
result Simplified proof of Gromov's conjecture in 3D.
We show that an embedded minimal disk in R^3 with large curvature is bilipschitz with a piece of a helicoid. Additionally, a simplified proof of the uniqueness of the helicoid is provided.
The first result is the semicontinuity of automorphism groups for the collection of complex two-dimensional bounded pseudoconvex domains with smooth boundary of finite D'Angelo type. The method of proof is new so that it simplifies the previous proof of earlier semicontinuity theorems on bounded strongly pseudoconvex d…
We give a proof of the Donnelly-Fefferman growth bound of Laplace-Beltrami eigenfunctions which is probably the easiest and the most elementary one. Our proof also gives new quantitative geometric estimates in terms of curvature bounds which improve and simplify previous work by Garofalo and Lin. The proof is based on …
Proves a conjecture about the maximum tet-volume of triangulations of a 2-sphere.
problem Proving the conjectured maximum tet-volume for all triangulations of a 2-sphere.
method Simplified version of Mathieu and Thurston's combinatorial proof using more general volume notions.
result Proves the full conjecture about the maximum tet-volume for all triangulations of a 2-sphere.
Simplified proof of spin^c structures using twistor spaces.
problem Proving every compact oriented 4-manifold admits spin^c structures.
method Using twistor spaces to provide a simpler, more geometric proof.
result Simplified and clarified understanding of spin^c structures in 4-manifolds.
Proves a conjecture about concordance invariant simplifying its relation to Rasmussen's invariant.
problem Concordance invariant and its relation to Rasmussen's invariant.
method Bar-Natan's tangle version of Khovanov homology, distilled into immersed curve theory.
result Simplifies the relation between ϑ and Rasmussen's s-invariant. We will simplify the earlier proofs of Perelman's collapsing theorem of 3-manifolds given by Shioya-Yamaguchi and Morgan-Tian. Among other things, we use Perelman's semi-convex analysis of distance functions to construct the desired local Seifert fibration structure on collapsed 3-manifolds. The verification of Perelma…
Simplified analysis of diffusion models using discrete random variables.
problem Theoretical analysis of diffusion models is complex and requires rigorous proofs.
method Simplified framework for analyzing Euler--Maruyama discretization of VP-SDEs using Grönwall's inequality.
result Standard Gaussian noise can be replaced by discrete random variables without sacrificing convergence guarantee.
Inversive distance circle packing on surfaces was introduced by Bowers-Stephenson as a generalization of Thurston's circle packing and conjectured to be rigid. The infinitesimal and global rigidity of circle packing with nonnegative inversive distance were proved by Guo and Luo respectively. The author proved the globa…
Three hard diagrams of the unknot require extra crossings to simplify.
problem Finding diagrams of the unknot that require many crossings to simplify.
method Applying previously proposed methods to construct diagrams and using computational resources to prove their hardness.
result Three hard diagrams of the unknot require at least three extra crossings.
Thurston's jiggling lemma simplifies triangulations.
problem Simplifying triangulations into a general position.
method Alternative, conceptual proof and generalization to manifolds.
result A more straightforward proof of Thurston's jiggling lemma.
We refine Osserman's argument on the exceptional values of the Gauss map of algebraic minimal surfaces. This gives an effective estimate for the number of exceptional values and the totally ramified value number for a wider class of complete minimal surfaces that includes algebraic minimal surfaces. It also provides a …
Simplified proof of stability for Ricci flow near ALE metrics.
problem Stability of Ricci flow near ALE metrics with integrable deformations.
method Equivalence between integrability and almost-orthogonality property of Ricci-DeTurck tensor, analysis in weighted Holder spaces.
result Dynamical stability of Ricci flow near linearly stable Ricci-flat ALE metrics.
Unified analysis simplifies Johnson-Lindenstrauss lemma for data reduction.
problem Efficiently reducing high-dimensional data while preserving geometry.
method Unified analysis of various JL constructions using probabilistic tools.
result First rigorous proof and extension of spherical construction's effectiveness.
In the present paper, an expansion of the transition density of Hyperbolic Brownian motion with drift is given, which is potentially useful for pricing and hedging of options under stochastic volatility models. We work on a condition on the drift which dramatically simplifies the proof.
Simplified proof for Tsallis-INF algorithm without conjugate functions.
problem Deriving a best-of-both-worlds guarantee for Tsallis-INF.
method Modern tools from online convex optimization, avoiding conjugate functions.
result A slimmer proof with simplified constants.
We establish certain Gaussian type upper bound for the heat kernel of the conjugate heat equation associated with 3 dimensional ancient κ solutions to the Ricci flow. As an application, using the W entropy associated with the heat kernel, we give a different and shorter proof of Perelman's classification of backwar…
In this paper we describe the geometry of distributions by their symmetries, and present a simplified proof of the Frobenius theorem and some related corollaries. Then, we study the geometry of solutions of F−Gordon equation; A PDE which appears in differential geometry and relativistic field theory.
Simplified proof of Cerf's theorem on 3-sphere diffeomorphisms.
problem Proving the connectedness of direct diffeomorphisms of the 3-sphere.
method Rigidity property of foliations defined by non-vanishing closed one-forms.
result Connected group of direct diffeomorphisms of the 3-sphere.