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

Trend · papers per month

265177102 · Jun 202619922001200920172026
48 results for elementary proof

We provide an alternative, simpler proof of the existence of thick triangulations for noncompact C1\mathcal{C}^1 manifolds. Moreover, this proof is simpler than the original one given in \cite{pe}, since it mainly uses tools of elementary differential topology. The role played by curvatures in this construction is also…

2008-12-02abs ↗pdf ↗

Hanner's theorem is a classical theorem in the theory of retracts and extensors in topological spaces, which states that a local ANE is an ANE. While Hanner's original proof of the theorem is quite simple for separable spaces, it is rather involved for the general case. We provide a proof which is not only short, but a…

2010-11-18abs ↗pdf ↗

Two new proofs classify complete totally geodesic subsets of complex hyperbolic plane.

problem Classify complete totally geodesic subsets of complex hyperbolic plane.
method Two new proofs: one algebraic and one geometric.
result Only complex geodesics and real planes are non-trivial complete totally geodesic subsets.

An elementary proof shows submodular functions can be represented as measure suprema.

problem Representing submodular functions as supremum of measures.
method Elementary proof using standard extension theorem of measures.
result Submodular functions can be expressed as supremum of measures.

By a theorem of Greene and Wu, a noncompact connected Riemannian manifold admits a smooth strictly subharmonic exhaustion function. Demailly provided an elementary proof of this fact. A further simplification of Demailly's proof and some (mostly known) applications are described. Applications include the fact that the …

2004-05-27abs ↗pdf ↗

New proof removes decay assumptions for spacetime positive mass theorem.

problem Proving the rigidity of the spacetime positive mass theorem without additional decay assumptions.
method Uses spacetime harmonic functions and Liouville's theorem, and an alternative proof based on Killing development.
result Removes additional decay assumptions for the spacetime positive mass theorem.

Given an smooth function K<0K <0 we prove a result by Berger, Kazhdan and others that in every conformal class there exists a metric which attains this function as its Gaussian curvature for a compact Riemann surface of genus g>1g>1. We do so by minimizing an appropriate functional using elementary analysis. In particula…

2001-12-19abs ↗pdf ↗

After defining generalizations of the notions of covariant derivatives and geodesics from Riemannian geometry for reductive Cartan geometries in general, various results for reductive Cartan geometries analogous to important elementary results from Riemannian geometry are proven using these generalizations. In particul…

2016-07-06abs ↗pdf ↗

We offer a short and elementary proof that, for a Z-set A in a finite-dimensional ANR Y, dimA<dimY. This result is relevant to the study of group boundaries. The original proof by Bestvina and Mess relied on cohomological dimension theory.

2013-07-13abs ↗pdf ↗

We give an elementary proof of the fact that any orientable 3-manifold admits a framing (i.e. is parallelizable) and any non-orientable 3-manifold admits a projective framing. The proof uses only basic facts about immersions of surfaces in 3-space.

2003-12-16abs ↗pdf ↗

We give a very short and rather elementary proof of Gromov's filling volume inequality for n-dimensional Lipschitz cycles (with integer and Z_2-coefficients) in LL^\infty-spaces. This inequality is used in the proof of Gromov's systolic inequality for closed aspherical Riemannian manifolds and is often regarded as the…

2007-03-29abs ↗pdf ↗

We present a short elementary proof of an existence theorem of certain CAT(-1)-surfaces in open hyperbolic 3-manifolds. The main construction lemma in Calegari and Gabai's proof of Marden's Tameness Conjecture can be replaced by an applicable version of our theorem.

2009-03-01abs ↗pdf ↗

New geometric proof of convex function differentiability and approximation.

problem Second-order differentiability of convex functions and their approximations.
method Elementary geometric approach to prove classical and recent results.
result New proofs of Lusin approximation of convex functions and bodies by C1,1C^{1,1} functions.

The paper proves deep neural networks with analytic activation can approximate any function.

problem Approximating functions with neural networks using analytic activation functions.
method Elementary proofs for real and complex networks, Stone-Weierstrass theorem, Mergelyan's theorem.
result Closure of neural network classes equals space of polynomials for analytic activation.

Mednykh proved that for any finite group G and any orientable surface S, there is a formula for #Hom(pi_1(S), G) in terms of the Euler characteristic of S and the dimensions of the irreducible representations of G. A similar formula in the nonorientable case was proved by Frobenius and Schur. Both of these proofs use c…

2007-03-05abs ↗pdf ↗