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

Trend · papers per month

25.0%50.0%75.0%100.0% · Jun 199319922001200920172026
48 results for proof strategy

No fair and strategy-proof automated market maker exists for more than two assets.

problem Designing a fair and strategy-proof automated market maker for multiple assets.
method Analyzing the weighted-product family of aggregation rules and their properties.
result No aggregation rule is both fair and strategy-proof for more than two assets.

New spoofing strategies show PoL verification is more vulnerable than previously thought.

problem Vulnerability of Proof-of-Learning verification mechanisms.
method Developed new spoofing strategies that can be reproduced across different configurations and are more cost-effective.
result Current PoL verification is not robust to adversaries and requires further understanding of optimization in deep learning.

A note on utility maximization with costs, proving trading strategies.

problem Utility maximization with proportional transaction costs and stability of optimal portfolios.
method Proof of a limit theorem using a dual approach.
result Established a uniqueness result for optimal trading strategies.

Transformers improve logical reasoning on longer proofs but struggle with length.

problem Understanding systematic generalization in neural proof generation.
method Soft theorem-proving using Transformer models, evaluating logical consistency and inference accuracy.
result Transformers improve generalization with longer proofs but have difficulty with length.

Optimal trading strategy in Proof-of-Stake blockchain using continuous-time control.

problem Finding the optimal balance between stake utility and consumption utility in Proof-of-Stake blockchain.
method Continuous-time control approach, dynamic programming, Hamilton-Jacobi-Bellman (HJB) equations.
result Close-form solutions for linear and convex utility functions, optimal strategies identified.

This paper provides a framework for modeling the financial system with multiple illiquid assets during a crisis. This work generalizes the paper by Amini, Filipovic and Minca (2016) by allowing for differing liquidation strategies. The main result is a proof of sufficient conditions for the existence of an equilibrium …

2015-06-02abs ↗pdf ↗

We consider a game-theoretic model of a market where investors compete for payoffs yielded by several assets. The main result consists in a proof of the existence and uniqueness of a strategy, called relative growth optimal, such that the logarithm of the share of its wealth in the total wealth of the market is a subma…

2019-08-03abs ↗pdf ↗

Optimal reinsurance strategies for multi-line insurance companies.

problem Choosing the best dynamic reinsurance policies for multi-line insurance companies.
method Characterized the optimal survival function as the unique nondecreasing viscosity solution of the HJB equation, solved numerically using the finite difference method.
result Provided proof of convergence of numerical solution to the survival probability function.

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…

2019-06-04abs ↗pdf ↗

Minimal surfaces with negative curvature found in large spheres.

problem Existence of minimal surfaces with negative curvature in large dimensional spheres.
method Applied Song's strategy to closed Riemann surfaces with large automorphism groups, resulting in almost hyperbolic minimal surfaces.
result Existence of closed minimal surfaces with negative induced curvature in any sphere of large dimension.

Study utility maximization with costs, proving convergence and strategies.

problem Utility maximization with proportional transaction costs.
method Extended weak convergence theory and Meyer--Zheng topology.
result Prove convergence of utility maximization problems and optimal trading strategies.

Researchers analyze optimal investment strategies for a collectivised pension fund with identical investors.

problem Optimizing investment strategies for a collectivised pension fund with identical investors.
method Analytical computation of optimal investment-consumption strategies for a fund of n identical investors with Epstein-Zin preferences.
result Constant consumption strategy is suboptimal for infinite collectives, suggesting annuities and defined benefit investments are suboptimal.

We give a new, elementary proof that Khovanov homology with Z/2Z\mathbb{Z}/2\mathbb{Z}--coefficients is invariant under Conway mutation. This proof also gives a strategy to prove Baldwin and Levine's conjecture that δδ--graded knot Floer homology is mutation--invariant. Using the Clifford module structure on $\widetilde…

2017-01-04abs ↗pdf ↗

Study proves upper semicontinuity of index plus nullity for minimal and H-CMC hypersurfaces.

problem Proving upper semicontinuity of index plus nullity for minimal and H-CMC hypersurfaces.
method Analyzing a weighted eigenvalue problem and using a Lorentz-Sobolev inequality to study eigenfunctions and index/nullity in neck regions.
result Upper semicontinuity of index plus nullity for minimal and H-CMC hypersurfaces proved.

Optimizes dividend and reinsurance strategies for correlated insurance lines.

problem Stochastic control of optimal reinsurance and dividend policies for multiple insurance lines.
method Maximizes cumulative discounted dividends using a Hamilton-Jacobi-Bellman equation and finite difference method.
result Provides optimal strategies for transferring risk among reinsurers.

The paper analyzes optimal retirement strategies in a market with habit persistence and jump diffusion, finding discontinuous investment strategies.

problem Optimal retirement decision in a market with habit persistence and jump diffusion.
method Habit reduction method and duality approach to solve the dual problem using a C1C^1 version of Itô's formula.
result Discontinuous investment strategies are possible when the so-called ``de facto wealth'' exceeds a critical proportion of wage.

Minimal submanifolds are found as energy concentration sets in variational problems.

problem Understanding the structure of minimal submanifolds in codimension two.
method Purely variational approach, extending previous work on geodesics.
result Non-degenerate minimal submanifolds can be derived from critical maps of the Ginzburg-Landau functional.

Robust, or model-independent properties of the variance swap are well-known, and date back to Dupire and Neuberger, who showed that, given the price of co-terminal call options, the price of a variance swap was exactly specified under the assumption that the price process is continuous. In Cox and Wang we showed that a…

2013-08-20abs ↗pdf ↗

We provide a proof for an inequality between volume and L2-Betti numbers of aspherical manifolds for which Gromov outlined a strategy based on general ideas of Connes. The implementation of that strategy involves measured equivalence relations, Gaboriau's theory of L2-Betti numbers of R-simplicial complexes, and other …

2006-05-23abs ↗pdf ↗

We consider the problem of portfolio optimization in a simple incomplete market and under a general utility function. By working with the associated Hamilton-Jacobi-Bellman partial differential equation (HJB PDE), we obtain a closed-form formula for a trading strategy which approximates the optimal trading strategy whe…

2016-11-28abs ↗pdf ↗

We present a detailed analysis and implementation of a splitting strategy to identify simultaneously the local-volatility surface and the jump-size distribution from quoted European prices. The underlying model consists of a jump-diffusion driven asset with time and price dependent volatility. Our approach uses a forwa…

2018-11-05abs ↗pdf ↗

The study examines stability of Sobolev inequalities on manifolds with Ricci bounds.

problem Stability of Sobolev inequalities on Riemannian manifolds with Ricci curvature lower bounds.
method Combines techniques from smooth and non-smooth geometry, focusing on direct strategies.
result Effective methods revealed for stability of Sobolev inequalities on manifolds with non-negative Ricci curvature and Euclidean volume growth.

Centralized exchanges influence staking behavior and decentralization in Proof of Stake blockchain ecosystems.

problem How do centralized exchanges affect staking behavior and decentralization in Proof of Stake blockchain ecosystems?
method Formulate a continuous-time mean field model of miners as validators and traders in a centralized market.
result Centralized trading activities enhance staking participation and promote decentralization through market incentives.

We study the superreplication of contingent claims under model uncertainty in discrete time. We show that optimal superreplicating strategies exist in a general measure-theoretic setting; moreover, we characterize the minimal superreplication price as the supremum over all continuous linear pricing functionals on a sui…

2013-01-15abs ↗pdf ↗

Develops new strategy for Hessian estimates in Lagrangian mean curvature equation.

problem Interior Hessian estimates for solutions with prescribed Lipschitz phases.
method Allard-type regularity theorem, geometric measure theory, geometry of Lagrangian graphs, De Giorgi-Nash-Moser iteration.
result Sharp interior Hessian estimates for solutions with critical and supercritical phases.

PoEL protocol aims to efficiently create and secure liquidity for blockchain networks.

problem Lack of sustainable liquidity and network security in Proof of Stake blockchains.
method PoEL uses staking rewards to attract risk capital, structuring incentives for capital efficiency and security.
result PoEL protocol enhances blockchain network security and liquidity sustainability.

Originally motivated by default risk management applications, this paper investigates a novel problem, referred to as the profitable bandit problem here. At each step, an agent chooses a subset of the K possible actions. For each action chosen, she then receives the sum of a random number of rewards. Her objective is t…

2018-05-08abs ↗pdf ↗

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 ↗

Proofs show finite subgroups of homeomorphism groups are almost nilpotent.

problem Finite subgroups of homeomorphism groups of compact topological manifolds.
method Finite group theoretic results provide a general strategy for proving Jordan-type theorems.
result Proof of the revised Ghys conjecture about nilpotent normal subgroups.

Study analyzes optimal execution under uncertain volatility and liquidity.

problem Optimal execution in markets with uncertain volatility and liquidity.
method Modeling with a stochastic factor, power law for price impact, viscosity solutions, monotonicity argument.
result Singular limit of regularized strategies yields optimal execution strategy.

Optimal Kelly strategy for multi-outcome parlay bets proven using implicit cash approach.

problem Finding optimal Kelly stakes for multi-outcome parlay bets.
method Eventwise Kelly strategy followed by outer product for full menu of bets. Uses implicit cash viewpoint.
result Optimal Kelly stakes for parlay bets factorize across events, with active leg criterion.

Let π:XΔπ: \mathcal{X}\rightarrow Δ be a holomorphic family of compact complex manifolds over an open disk in C\mathbb{C}. If the fiber π1(t)π^{-1}(t) for each nonzero tt in an uncountable subset BB of ΔΔ is Moishezon and the reference fiber X0X_0 satisfies the local deformation invariance for Hodge number of type $(0,1…

2019-01-30abs ↗pdf ↗