Analyzes Saito vanishing theorem using methods.
problem Proving the Saito vanishing theorem.
method Uses -methods to prove the theorem.
result Analytic proof of the Saito vanishing theorem.
On-device research index
arXiv research
A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
168,786 papers · 148 categories
Trend · papers per month
48 results for “proof methods”
Polynomial inequalities lie at the heart of many mathematical disciplines. In this paper, we consider the fundamental computational task of automatically searching for proofs of polynomial inequalities. We adopt the framework of semi-algebraic proof systems that manipulate polynomial inequalities via elementary inferen…
Recently, Andrews and Clutterbuck [AC13] gave a new proof of the optimal lower eigenvalue bound on manifolds via modulus of continuity for solutions of the heat equation. In this short note, we give an alternative proof of Theorem 2 in [AC13]. More precisely, following Ni's method ([Ni13, Section 6]) we give an ellipti…
A proof of the isometric embedding of a given two-metric in E^3 of class C^1. The method uses the theory of first order partial differential equations. The curvature of the metric plays no role in the proof.
This paper has been withdrawn by the author due a crucial sign error in Theorem B. We present a geometric proof of Thom conjecture, which uses Khovanov homology. Our approach doesn't use any analytic methods and is quite different from proof given by Kronheimer and Mrowka in 1994.
A common way to train neural networks is the Backpropagation. This algorithm includes a gradient descent method, which needs an adaptive step size. In the area of neural networks, the ADAM-Optimizer is one of the most popular adaptive step size methods. It was invented in \cite{Kingma.2015} by Kingma and Ba. The …
In this paper we give a new proof of a theorem by Alexandrov on the Gauss curvature prescription of Euclidean convex sets. This proof is based on the duality theory of convex sets and on optimal mass transport. A noteworthy property of this proof is that it does not rely neither on the theory of convex polyhedra nor on…
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.
Humans prove theorems by relying on substantial high-level reasoning and problem-specific insights. Proof assistants offer a formalism that resembles human mathematical reasoning, representing theorems in higher-order logic and proofs as high-level tactics. However, human experts have to construct proofs manually by en…
We use variational methods and a modified curvature flow to give an alternative proof of the existence of a self-shrinking torus under mean curvature flow. As a consequence of the proof, we establish an upper bound for the weighted energy of our shrinking doughnuts.
In this paper we will give a new proof of the monotonicity of Wasserstein distances of two diffusions under super Ricci flow. Our proof is based on the coupling method of B.Andrew and J.Clutterbuck. The same method can also be applied to the contractivity of normalized L-Wasserstein distance under backward Ricci flow.
New methods prove existence of rotating shapes moving in space.
problem Existence of rotating shapes moving in space.
method Different methods to prove existence based on singular ordinary differential equation.
result Existence of rotationally symmetric translating solutions proven without partial differential equations.
New proof of Aubin-Yau theorem for complex non-Kähler manifolds.
problem Transversally Kähler foliations as a generalization of Kähler manifolds.
method Adapting classical Aubin-Yau methods to transversally Kähler case under homological orientability condition.
result New, simpler proof of Vaisman Aubin-Yau theorem.
In this paper, we introduce a system called GamePad that can be used to explore the application of machine learning methods to theorem proving in the Coq proof assistant. Interactive theorem provers such as Coq enable users to construct machine-checkable proofs in a step-by-step manner. Hence, they provide an opportuni…
All paths admit trajectoidsmath.DG
New proof confirms rolling objects can follow any path.
problem Existence of rolling objects following any path.
method Geometric proof for period-n trajectoids.
result Existence of period-n trajectoids for any smooth curve.
Simplified proof of complex manifold Todd genera invariance.
problem Invariance of higher Todd genera under bimeromorphic transformations.
method Simple bimeromorphic proof using algebraic methods.
result Bimeromorphic invariance of higher Todd genera of complex manifolds.
Proves a formula in Heegaard Floer homology using combinatorial methods.
problem Proving Lipshitz's Maslov index formula in Heegaard Floer homology.
method Combinatorial proof via Heegaard diagrams.
result Validated Lipshitz's Maslov index formula in Heegaard Floer homology.
Paper proves method for calculating NML code length works for continuous models.
problem Uncertainty in calculating NML code length for continuous models.
method Introduced a novel decomposition approach based on the coarea formula to prove correctness for continuous cases.
result Method accurately calculates NML code length for continuous models.
New proof shows no Hölder embeddings into Heisenberg group.
problem Non-existence of Hölder embeddings into Heisenberg group.
method Developed a new elementary proof method.
result Generalization of Gromov's theorem proven.
New proof of Minkowski spacetime stability in exterior regions.
problem Stability of Minkowski spacetime in exterior regions.
method Unified treatment of decay of initial data, use of -weighted estimates.
result Reduced number of derivatives and simplified last slice treatment.
Dynamics of hyperbolic iwipsmath.GR
We present two proofs of the fact, originally due to Reiner Martin, that any fully irreducible hyperbolic element of acts on the projectivized space of geodesic currents with uniform north-south dynamics. The first proof, using purely train-track methods, provides an elaborated and corr…
Counterexample and new proof for curvature varifolds.
problem Counterexample to Hutchinson's proof and new proof of representation.
method Alternative proof method and decomposition of varifolds.
result Structure theorem for curvature varifolds with null second fundamental form.
This paper gives two new combinatorial topological proofs of the classification of rational tangles. Each proof rests on an elegant lemma showing that rational tangles are isotopic to canonical alternating rational tangles. The first proof defines the tangle fraction from the canonical form and uses flyping to prove in…
D.Freed has formulated and proved an index theorem on odd dimensional spin manifolds with boundary. The proof is based on analysis by Calderon and Seeley. In this note we are going to give a proof of this theorem using the heat kernels methods for boundary conditions of Dirichlet and Von Neumann type. Moreover we consi…
We give a proof of the so-called generalized Waldhausen conjecture, which says that an orientable irreducible atoroidal 3-manifold has only finitely many Heegaard splittings in each genus, up to isotopy. Jaco and Rubinstein have announced a proof of this conjecture using different methods.
We algebraically compute all possible sectional curvature values for canonical algebraic curvature tensors, and use this result to give a method for constructing general sectional curvature bounds. We use a well-known method to geometrically realize these results to produce a hypersurface with prescribed sectional curv…
Recent proofs of classical theorems in polynomial algebra and functional analysis are discussed, which use tools from the topology of real manifolds. Simpler proofs were discovered in the new century, of the Hilbert Nullstellensatz, and the Gelfand-Mazur Theorem. We give a related proof that an irreducible real polynom…
In this paper, we will describe a concept of a cryptocurrency issuance protocol which supports digital currencies in a Proof-of-Work (< PoW >) like manner. However, the methods assume alternative utilization of assets used for cryptocurrency creation (rather than purchasing electricity necessary for < mining >).
Highly twisted diagramsmath.GT
New proof shows certain knots are hyperbolic.
problem Characterizing knots with highly twisted diagrams.
method New approach involving Euler characteristic argument.
result Complements of certain knots are unannular and atoroidal.
New proofs confirm travel time data determine simple metrics on a disc.
problem Determining a simple Riemannian metric from travel time data.
method Proofs based on Myers-Steenrod theorem, Lipschitz-type stability estimate.
result Travel time data determine a simple Riemannian metric on a disc up to natural gauge.
New proof for global rigidity of vertex scaling on polyhedral surfaces.
problem Global rigidity of vertex scaling on polyhedral surfaces.
method Elementary variational proof based on continuity of eigenvalues and extension of convex functions.
result Global rigidity of vertex scaling proved without involving 3D hyperbolic geometry.
Highly twisted plat diagramsmath.GT
New proof shows all knots in certain plat diagrams are hyperbolic.
problem Proving all knots in specific plat diagrams are hyperbolic.
method Using an Euler characteristic argument to show complements are unannular and atoroidal.
result Complements of knots in -highly twisted -plats are unannular and atoroidal.
Lean Copilot uses LLMs to assist theorem proving in Lean, improving efficiency and automation.
problem Challenges in using existing neural theorem provers to prove novel theorems autonomously.
method Introduces Lean Copilot, a framework for integrating LLMs into Lean's theorem proving process.
result Lean Copilot automates 74.2% of proof steps on average, significantly improving over existing methods.
New proof classifies orbit closures in Hodge bundle.
problem Classifying -orbit closures in Hodge bundle.
method Using deformations of flat pairs of pants.
result Short proof of absolute period foliation classification.
Proof of reverse isoperimetric inequality for black holes.
problem Reverse isoperimetric inequality for black holes in Einstein gravity.
method Geometric-analytic approach.
result Reversal of the usual isoperimetric inequality is explained by curved backgrounds governed by Einstein's equations.
New proof confirms flat equilateral torus is λ1-maximal.
problem Maximizing the first eigenvalue on flat tori.
method Combining El Soufi-Ilias-Ros's method and Bryant's result.
result Positive answer to Berger's isoperimetric problem.
We solve Hilbert's fifth problem for local groups: every locally euclidean local group is locally isomorphic to a Lie group. Jacoby claimed a proof of this in 1957, but this proof is seriously flawed. We use methods from nonstandard analysis and model our solution after a treatment of Hilbert's fifth problem for global…
New proof shows equality in spacetime mass theorem.
problem Proving the equality case of spacetime positive mass theorem.
method Uses a new approach requiring only for near initial data sets.
result Initial data sets with null ADM energy-momentum must embed into Minkowski space.
Proof of convergence for multi-objective optimization using inverse reinforcement learning.
problem Proving convergence in multi-objective optimization problems.
method Wasserstein inverse reinforcement learning with projective subgradient method and gradient descent.
result Convergence of inverse reinforcement learning for multi-objective optimization.
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…
This is an exposition of a proof of the Madsen-Weiss Theorem, which asserts that the homology of mapping class groups of surfaces, in a stable dimension range, is isomorphic to the homology of a certain infinite loopspace that arises naturally when one applies the "scanning method". The proof given here utilizes simpli…
We outline a proof of a remarkable conjecture of Labastida-Mari{ñ}o-Ooguri-Vafa about certain new algebraic structures of quantum link invariants and the integrality of infinite family of new topological invariants. Our method is based on the cut-and-join analysis and a special rational ring characterizing the structur…
We know that any element of the exceptional Jordan algebra $\gJ$ is transformed to a diagonal form by the compact exceptional Lie group . However, its proof is used the method which is reduced a contradiction. In this paper, we give a direct and constructive proof.
We prove the existence of a family of embedded doubly periodic minimal surfaces of (quotient) genus with orthogonal ends that generalizes the classical doubly periodic surface of Scherk and the genus-one Scherk surface of Karcher. The proof of the family of immersed surfaces is by induction on genus, while the proo…
Method reveals hidden token embeddings of large language models.
problem Understanding hidden token embeddings in large language models.
method Structured prompts to expose token input embeddings up to homeomorphism.
result Mathematical proof for generic LLMs shows effectiveness of method.
New proof shows all conformal fields are Killing on specific spaces.
problem Infinitesimal conformal rigidity on Damek-Ricci spaces.
method Formulated as PDEs, analyzed locally and directly.
result Constructive proof of rigidity without global methods.
Probabilistic method proves gap estimates on sphere.
problem Proving fundamental gap estimates for Schrödinger operators on spheres.
method Reflection coupling method on Riemannian manifolds.
result Extends probabilistic proof to sphere, generalizing previous results.
The method of moving frames in Lie sphere geometry has produced significant results in the classification of Dupin hypersurfaces in spheres. What is the secret of its effectiveness? The answer emerges in the classification of nonumbilic isoparametric surfaces in the space form geometries. Using the method of moving fra…