Research
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,695 papers · 148 categories

Trend · papers per month

52103155206 · May 202619922001200920172026
48 results for Proof Gap

The article explores the fundamental gap in Bakry-Emery geometry.

problem The fundamental gap in Bakry-Emery geometry.
method Recalled Bakry-Emery geometry and connected eigenvalues with boundary conditions. Showed a connection between fundamental gap and Bakry-Emery geometry.
result Presented key ideas in Andrews's and Clutterbuck's proof of the fundamental gap conjecture.

We prove the Fundamental Gap Conjecture, which states that the difference between the first two Dirichlet eigenvalues (the spectral gap) of a Schrödinger operator with convex potential and Dirichlet boundary data on a convex domain is bounded below by the spectral gap on an interval of the same diameter with zero poten…

2010-06-09abs ↗pdf ↗

Unpublished results of S Straus and W Browder state that two notions of homotopy equivalence for manifolds with smooth group actions - isovariant and equivariant - often coincide under a condition called the Gap Hypothesis; the proofs use deep results in geometric topology. This paper analyzes the difference between th…

2009-04-03abs ↗pdf ↗

There is a gap in the proof of the main theorem in the article [ShCh13a] on optimal bounds for the Morse lemma in Gromov-hyperbolic spaces. We correct this gap, showing that the main theorem of [ShCh13a] is correct. We also describe a computer certification of this result.

2018-10-10abs ↗pdf ↗

In their celebrated work, B. Andrews and J. Clutterbuck proved the fundamental gap (the difference between the first two eigenvalues) conjecture for convex domains in the Euclidean space and conjectured similar results holds for spaces with constant sectional curvature. We prove the conjecture for the sphere. Namely wh…

2016-06-03abs ↗pdf ↗

The paper proves lower bounds for Gaussian-weighted curvature integrals of self-shrinkers.

problem Proving lower bounds for Gaussian-weighted \(L^2\)-curvature integrals of self-shrinkers.
method Combining normal coordinate functions with weighted Poincaré inequalities and first-eigenvalue estimates.
result Explicit lower bounds in terms of entropy for closed self-shrinkers, leading to curvature gaps.

This paper studies dynamic stochastic optimization problems parametrized by a random variable. Such problems arise in many applications in operations research and mathematical finance. We give sufficient conditions for the existence of solutions and the absence of a duality gap. Our proof uses extended dynamic programm…

2011-05-04abs ↗pdf ↗

Study proves rigidity and gap theorems for specific metrics.

problem Existence and properties of self-dual and even Poincaré-Einstein metrics in 4D.
method Rigorous mathematical proofs, including gap theorems and rigidity results.
result Obtained new scalar conformal invariants and identified obstructions to metric existence.

Study improves understanding of why agentic theorem provers succeed.

problem Understanding which components of agentic theorem provers improve proof success.
method Statistical provability theory and finite-horizon reachability MDP model.
result Bounds provability gap and explains components' effectiveness.

Every smooth fiber bundle admits a complete (Ehresmann) connection. This result appears in several references, with a proof on which we have found a gap, that does not seem possible to remedy. In this note we provide a definite proof for this fact, explain the problem with the previous one, and illustrate with examples…

2015-12-11abs ↗pdf ↗

UCB algorithm's arm-sampling behavior is revealed, leading to new insights and proofs.

problem Optimizing multi-armed bandit algorithms for worst-case scenarios.
method Analysis of UCB algorithm's arm-sampling behavior and process-level characterization.
result UCB's arm-sampling rates are asymptotically deterministic, regardless of problem complexity.

The trace set of a Fuchsian group ΓΓ ist the set of length of closed geodesics in the surface Γ\HΓ\backslash \mathbb{H}. Luo and Sarnak showed that the trace set of a cofinite arithmetic Fuchsian group satisfies the bounded clustering property. Sarnak then conjectured that the B-C property actually characterizes arithm…

2006-09-17abs ↗pdf ↗

Sharp spectral gap estimates for higher-order operators on hyperbolic spaces.

problem Estimating spectral gaps for higher-order operators on Cartan-Hadamard manifolds.
method Symmetrization-free proofs based on general functional inequalities.
result Solves a sharp asymptotic problem from Cheng and Yang and answers a question from Kristály.

Negative curvature restricts the gap between the first and second eigenvalues of convex domains.

problem The fundamental gap of convex domains is limited by negative curvature.
method Adapted from Bourni et. al. (2022) for Riemannian manifolds with negative sectional curvature.
result The product of the fundamental gap and the square of the diameter can be arbitrarily small in domains with negative curvature.

Skeletal signatures were introduced in [J W Anderson and A Wootton, A Lower Bound for the Number of Group Actions on a Compact Riemann Surface, Algebr. Geom. Topol. 12 (2012) 19--35.] as a tool to describe the space of all signatures with which a group can act on a surface of genus σ2σ\geq 2. In the present paper we pr…

2013-10-01abs ↗pdf ↗

Researchers find spectral gaps in quantum flag manifolds using twisted operators.

problem Finding spectral gaps in quantum flag manifolds.
method Tensoring Laplace and Dolbeault-Dirac operators with negative Hermitian holomorphic modules.
result Twisting Dirac and Laplace operators by negative line bundles produces a spectral gap for q close to 1.

Let G=λGλG=*_λG_λ be a free product of torsion-free groups, and let g[G,G]g\in[G,G] be any element not conjugate into a GλG_λ. Then sclG(g)1/2_G(g)\ge1/2. This generalizes, and gives a new proof of a theorem of Duncan-Howie.

2016-11-23abs ↗pdf ↗

The study proves unique and isolated properties of Einstein 5-manifolds via gap theorems in 4 dimensions.

problem Understanding the structure and regularity of Einstein 5-manifolds.
method Analysis of tangent cones, gap theorems for 4-dimensional orbifolds, and careful metric analysis.
result Noncollapsed limits of Einstein 5-manifolds have unique and isolated tangent cones.