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.

169,341 papers · 148 categories

Trend · papers per month

4589134178 · May 202619922001200920182026
48 results for proof correction

In recent years several trading platforms appeared which provide a backtest engine to calculate historic performance of self designed trading strategies on underlying candle data. The construction of a correct working backtest engine is, however, a subtle task as shown by Maier-Paape and Platen (cf. arXiv:1412.5558 [q-…

2015-09-28abs ↗pdf ↗

Corrects a mistake in a proof about large portfolios of stochastic volatility models.

problem Problems with a proof in a paper about large portfolios of stochastic volatility models.
method Reestablishes a weaker version of Theorem 3.1 and redevelops regularity theory.
result Most regularity results are replaced by slightly weaker ones.

We derive a closed formula for the Heegaard Floer correction terms of lens spaces in terms of the classical Dedekind sum and its generalization, the Dedekind-Rademacher sum. Our proof relies on a reciprocity formula for the correction terms established by Ozsvath and Szabo. A consequence of our result is that the Casso…

2011-05-23abs ↗pdf ↗

We present a new, more elementary proof of the Freedman-Teichner result that the geometric classification techniques (surgery, s-cobordism, and pseudoisotopy) hold for topological 4-manifolds with groups of subexponential growth. In an appendix Freedman and Teichner give a correction to their original proof, and reform…

2000-01-11abs ↗pdf ↗

The paper corrects a proof and extends a theorem about linking pairings in 4-manifolds.

problem Linking pairings in 4-manifolds and their properties.
method Analyzes the embedding of multiple copies of a 4-manifold in a compact 4-manifold and examines the resulting linking pairings.
result The linking pairing on the boundary of a 4-manifold is split metabolic, generalizing Hantzsche's theorem.

We present two proofs of the fact, originally due to Reiner Martin, that any fully irreducible hyperbolic element of Out(FN)Out(F_N) acts on the projectivized space of geodesic currents PCurr(FN)\mathbb{P}Curr(F_N) with uniform north-south dynamics. The first proof, using purely train-track methods, provides an elaborated and corr…

2014-01-08abs ↗pdf ↗

The Gauss self-linking integral of an unframed knot is not a knot invariant, but it can be turned into an invariant by adding a correction term which requires adding extra structure to the knot. We collect the different definitions/theorems/proofs concerning this correction term, most of which are well-known (at least …

2002-11-14abs ↗pdf ↗

Corrected proof for C^2UCB contextual combinatorial bandit's regret bound.

problem Error in proof of C^2UCB contextual combinatorial bandit's regret bound.
method Demonstrated and corrected an error in the proof of volumetric expansion of the moment matrix.
result Proved a relaxed inequality that yields the originally-stated regret bound.

New IRL algorithm for continuous state spaces with formal guarantees.

problem Finding a reward function for expert behavior in continuous state spaces.
method Modeling the system using orthonormal functions and providing correctness proofs.
result Proof of correctness and formal guarantees on sample and time complexity.

Suppose that multiple experts (or learning algorithms) provide us with alternative Bayesian network (BN) structures over a domain, and that we are interested in combining them into a single consensus BN structure. Specifically, we are interested in that the consensus BN structure only represents independences all the g…

2011-01-10abs ↗pdf ↗

Counterexample and new proof for curvature varifolds.

problem Counterexample to Hutchinson's proof and new proof of C1,αC^{1,α} representation.
method Alternative proof method and decomposition of varifolds.
result Structure theorem for curvature varifolds with null second fundamental form.

It was pointed out to us that the proof of a crucial lemma (Lemma 5.3) in the paper is incorrect. Thus the approximation theorem (Theorem 0.1) for L^2 torsion of an amenable covering of a finite simplicial complex remains unproved. However, results and proofs of the first four sections (in particular, the approximation…

2000-08-28abs ↗pdf ↗

We give geometric explanations and proofs of various mirror symmetry conjectures for TnT^{n}-invariant Calabi-Yau manifolds when instanton corrections are absent. This uses fiberwise Fourier transformation together with base Legendre transformation. We discuss mirror transformations of (i) moduli spaces of complex stru…

2000-09-27abs ↗pdf ↗

Corrected a false lemma in Cimasoni's work on linking theory.

problem A false lemma in Cimasoni's geometric construction of the Conway potential function.
method Presented counterexamples and a detailed proof of the corrected lemma.
result The lemma is false and its correction has significant consequences for subsequent works.

Study on convergence of OMD for saddle point problems, correcting previous claims.

problem Convergence of OMD for saddle point problems with exact gradients.
method Analysis of Mirror Descent and Optimistic Mirror Descent for saddle point problems.
result Monotone convergence only occurs after a large number of iterations for coherent saddle point problems.

Issue found in proof of adaptive submodular function minimization theorem.

problem Proof of adaptive submodular function minimization theorem is incorrect.
method Example provided to show incorrectness of a critical step in a related theorem.
result Critical step in related theorem is found to be incorrect.

Completes the proof of curvature tensor existence for Jacobi operators.

problem Existence of curvature tensor for given Jacobi operators.
method Complete and accurate proof of the theorem, including a generalization to indefinite scalar product spaces.
result A complete proof of the existence of curvature tensor for given Jacobi operators, with a generalization.

In my masters thesis I prove a square root bound on the distance of homological codes that come from two dimensional surfaces, as a result of the systolic inequality. I also give a detailed version of M.H. Freedman's proof that due to systolic freedom, this bound does not hold in higher dimensions.

2011-08-14abs ↗pdf ↗

Researchers found the maximum number of holes in polyominoes grows proportionally to the dimension.

problem Finding the maximum number of holes in polyominoes of varying dimensions.
method Used concepts from error-correcting codes and dynamical systems.
result Proved that fd(n)/no(d1)/df_d(n)/n o (d-1)/d as nn goes to infinity for all d2d \geq 2.

Study shows infinite rank in bipolar filtration of topologically slice knots.

problem Understanding deeper structures in the smooth concordance group of topologically slice knots.
method Used higher order amenable Cheeger-Gromov L2L^2 ρρ-invariants and infinitely many Heegaard Floer correction term dd-invariants.
result Graded quotient of bipolar filtration has infinite rank at each stage greater than one.

In Thurston's notes, he gives two different definitions of the Gromov norm (also called simplicial volume) of a manifold and states that they are equal but does not prove it. Gromov proves it in the special case of hyperbolic manifolds as a consequence of his proof that simplicial volume is proportional to volume. We g…

2004-01-17abs ↗pdf ↗