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

67133200266 · Jun 202019922001200920172026
48 results for utility theorem

Formalizes vNM utility theorem using Lean 4, proving existence and uniqueness.

problem Formalizing and proving the von Neumann-Morgenstern utility theorem.
method Implement classical axioms in Lean 4, formalizing preference relations over lotteries.
result Machine-verified proofs of existence and uniqueness of utility representations.

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.

Examines optimal risk sharing with realistic risk attitudes, finding risk seeking in certain subdomains.

problem Optimal risk sharing with empirically realistic risk attitudes.
method Allows for risk-seeking agents, generalizes expected utility, and uses counter-monotonic improvement theorem.
result First empirical results on optimal risk sharing with realistic risk attitudes.

Theoretical limits on verifying self-improving systems without risking unbounded utility.

problem Formalizing and proving the limits of safety verification for self-improving systems.
method Developed dual conditions and used Holder's inequality, NP counting method, and Lipschitz bounds to establish impossibility and ceiling results.
result A classifier-based safety gate cannot simultaneously permit unbounded beneficial self-modification and bounded cumulative risk.

The Mutual Fund Theorem (MFT) is considered in a general semimartingale financial market S with a finite time horizon T, where agents maximize expected utility of terminal wealth. It is established that: 1) Let N be the wealth process of the numéraire portfolio (i.e. the optimal portfolio for the log utility). If any p…

2007-10-10abs ↗pdf ↗

Paper formalizes Simon's satisficing through FFSD, proving its equivalence to expected utility theory.

problem Formalizing Herbert Simon's bounded rationality concept in economic decision-making.
method Developed FFSD framework using Lean 4 theorem prover, proving equivalence to expected utility theory.
result Equivalence theorem linking FFSD to expected utility maximization for approximate indicator functions.

The paper calculates how fast optimal investment strategies approach CRRA strategies in stochastic factor models.

problem Understanding convergence rates of optimal investment strategies in stochastic factor models.
method Analyzes optimal feedback functions in nonlinear and quadratic term structure models, considering decay of bond prices and power-like utility at high wealth levels.
result Convergence rates of optimal investment strategies to CRRA strategies are determined by bond price decay and power-like utility behavior.

In this paper we study a robust expected utility maximization problem with random endowment in discrete time. We give conditions under which an optimal strategy exists and derive a dual representation for the optimal utility. Our approach is based on a general representation result for monotone convex functionals, a fu…

2017-12-20abs ↗pdf ↗

Study optimizes option pricing with robust strategies, ensuring consistency with vanilla option prices.

problem Optimizing exotic option pricing with robust strategies.
method Introduces semistatic strategies and robust convex integral functionals on bounded continuous functions.
result Consistent indifference prices with observed vanilla option prices.

The study proves a theorem for surfaces using Codazzi operators and investigates parallel mean curvature surfaces.

problem Understanding surfaces with parallel mean curvature in product spaces.
method Intrinsic Klotz-Osserman theorem and Simons' formula.
result The existence of surfaces with parallel mean curvature in product spaces with non-positive Gaussian curvature.

The Sampled Gaussian Mechanism's noise level decreases with larger subsampling rates, improving privacy-utility trade-offs.

problem Improving privacy-utility trade-offs in differentially private stochastic optimization.
method Proof of a conjecture about the Sampled Gaussian Mechanism's noise level and subsampling rate relationship.
result A rigorous proof of the conjecture, completing the proof of Theorem 6.2 in the original paper.

Support selection and eventwise decoupling for simultaneous bets proven.

problem Optimizing expected utility for simultaneous independent events with multiple outcomes.
method Proved a support theorem for a broad class of strictly increasing strictly concave utilities, identifying the exact active support and proving independence from utility function.
result The exact active support is the eventwise union of single-event supports, independent of the utility function.

The paper resolves a counterexample showing convergence of expected utility in binomial models.

problem The convergence of expected utility under binomial models was previously shown to fail in certain cases.
method The paper provides a positive result on convergence using fine estimates from the Central Limit Theorem.
result A general positive result of convergence of expected utility is provided in symmetric binomial models.

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…

2011-03-27abs ↗pdf ↗

We present an optimal investment theorem for a currency exchange model with random and possibly discontinuous proportional transaction costs. The investor's preferences are represented by a multivariate utility function, allowing for simultaneous consumption of any prescribed selection of the currencies at a given term…

2008-11-24abs ↗pdf ↗

The effectiveness of utility-maximization techniques for portfolio management relies on our ability to estimate correctly the parameters of the dynamics of the underlying financial assets. In the setting of complete or incomplete financial markets, we investigate whether small perturbations of the market coefficient pr…

2007-06-04abs ↗pdf ↗

DSAC improves cooperative MARL with general utilities, converging faster than existing methods.

problem Improving cooperation in multi-agent reinforcement learning with nonlinear utilities.
method Decentralized Shadow Reward Actor-Critic (DSAC) that estimates local occupancy measures and derivatives.
result DSAC converges to ε-stationarity in O(1/ε^2.5) steps with high probability, finding globally optimal policies.

We offer mathematical tractability and new insights for a framework of exponential utility with non-negative consumption, a constraint often omitted in the literature giving rise to economically unviable solutions. Specifically, using the Kuhn-Tucker theorem and the notion of aggregate state price density (Malamud and …

2011-06-15abs ↗pdf ↗

The study examines Nash equilibria in utility maximization games with multiplicative performance criteria.

problem Existence and uniqueness of Nash equilibria in multiplicative performance criteria games.
method General characterization of Nash equilibria for a large class of utility functions.
result Existence and uniqueness of Nash equilibria for arbitrary initial wealth vectors.

We introduce a bond portfolio management theory based on foundations similar to those of stock portfolio management. A general continuous-time zero-coupon market is considered. The problem of optimal portfolios of zero-coupon bonds is solved for general utility functions, under a condition of no-arbitrage in the zero-c…

2003-01-24abs ↗pdf ↗

New method for RL with general utilities using variational policy gradient.

problem Optimizing policies with general concave utility functions in RL.
method Derives Variational Policy Gradient Theorem, develops variational Monte Carlo gradient estimation algorithm.
result Global convergence to optimal policy for general objectives, exponential convergence under strong convexity.

We consider noncompact complete manifolds with Spin(9) holonomy and proved an one end result and a splitting type theorem under different conditions on the bottom of the spectrum. We proved that any harmonic functions with finite Dirichlet integral must be Cayley-harmonic, which allowed us to conclude an one end result…

2007-11-09abs ↗pdf ↗

We give a new proof of Brakke's partial regularity theorem up to C^{1,ς} for weak varifold solutions of mean curvature flow by utilizing parabolic monotonicity formula, parabolic Lipschitz approximation and blow-up technique. The new proof extends to a general flow whose velocity is the sum of the mean curvature and an…

2011-11-03abs ↗pdf ↗

The paper extends Merton's problem by adding benchmark tracking, finding optimal strategies.

problem Maximizing consumption utility with a trade-off against benchmark performance.
method Developed a convex duality theorem and derived optimal strategies for specific cases.
result Found optimal portfolio and consumption strategies for CRRA utility and geometric Brownian motion benchmarks.

Study optimizes insurance investment to maximize utility across all capital levels.

problem Maximizing expected utility across all capital levels in an insurance company's investment strategy.
method Dynamic Programming Principle and Hamilton-Jacobi-Bellman (HJB) equation to prove existence of optimal strategy.
result Existence of optimal investment strategy proven under certain conditions.

Investigates optimal consumption and investment strategies with constraints in incomplete markets.

problem Optimal consumption and investment under constraints in incomplete markets.
method Characterizes optimal strategies via a quadratic BSDE, using martingale optimality criterion and Lyapunov functions.
result Obtains the verification theorem for optimal strategies in unbounded cases.

New vanishing theorems for harmonic and pluriharmonic functions on Kähler and quaternionic Kähler manifolds.

problem Vanishing theorems for harmonic and pluriharmonic functions on Kähler and quaternionic Kähler manifolds.
method Utilized refined Kato type inequalities and Böchner technique to generalize results to LpL^p-integrable pluriharmonic functions and harmonic 1-forms.
result Proved vanishing property of pluriharmonic functions with finite LpL^p energy on complete Kähler manifolds.

Combination theorem for PGF groups helps in constructing new examples and understanding their geometry.

problem Understanding the geometry of PGF groups and their combinations.
method Utilizing subsurface projection to control the geometry of fundamental groups of graphs of PGF groups.
result Combination theorem for PGF groups and other generalizations.

Study confirms Chern's conjecture on compact Hessian manifolds and classifies their topologies.

problem Global topological constraints and structural properties of compact Hessian manifolds.
method Novel fibration and splitting theorems, Chern's conjecture, Hitchin systems, Cheng-Yau solution.
result Topological classification of complete Hessian surfaces and closed orientable Hessian 3-manifolds.

Proves effective linear volume growth for 3-manifolds with positive scalar curvature.

problem Volume growth of three-manifolds with positive scalar curvature.
method Utilizes the technique of μ-bubbles and almost-splitting theorem.
result Proves effective linear volume growth for 3-manifolds with non-negative Ricci curvature and uniformly positive scalar curvature.

Study on statistical inference for nonlinear stochastic approximation with Markovian data.

problem Statistical inference for nonlinear stochastic approximation algorithms with Markovian data.
method Established a functional central limit theorem for the partial-sum process of the target parameter estimate, providing asymptotic pivotal statistics for constructing confidence intervals.
result Valid and efficient asymptotic inference method for nonlinear stochastic approximation algorithms with Markovian data.

We give characterizations of affine transformations and affine vector fields in terms of the spray. By utilizing the Jacobi type equation that characterizes affine vector fields, we prove some rigidity theorems of affine vector fields on compact or forward complete non-compact Finsler manifolds with non-positive total …

2018-11-22abs ↗pdf ↗