Abstract: A new decomposition for g-supermartingales without continuity.
problem Developing a new decomposition for g-supermartingales. method Providing a general Doob-Meyer decomposition for g-supermartingale systems. result Generalization of existing decompositions for supermartingales and right-continuous g-supermartingales. Study of RBSDEs with non-right-continuous obstacles and their optimal stopping applications.
problem Existence and uniqueness of solutions to RBSDEs with non-right-continuous obstacles.
method General theory of processes, optimal stopping theory, Itô's formula generalization.
result Existence and characterization of optimal stopping times for certain financial positions.
Extends super-replication theorem with dynamic strategies and transaction costs.
problem Dynamic super-replication under proportional transaction costs.
method Generalizes admissible strategies and defines a well-defined super-replication price process.
result Well-defined super-replication price process in dynamic setting.
Paper solves a complex portfolio selection problem with time-inconsistent preferences.
problem Time-inconsistent preferences in portfolio selection.
method Unified framework with minimal assumptions, proving existence and uniqueness of solution.
result Existence and uniqueness of square-integrable solution for the integral equation.
HAR regression improves performance on small datasets.
problem Small datasets with complex functions.
method Data-adaptive kernel ridge regression using tensor-product spline basis.
result Achieves n−1/3 convergence rate for right-continuous functions. In this paper we study Backward Stochastic Differential Equations with two reflecting right continuous with left limits obstacles (or barriers) when the noise is given by Brownian motion and a Poisson random measure mutually independent. The jumps of the obstacle processes could be either predictable or inaccessible. W…
This paper considers possible price paths of a financial security in an idealized market. Its main result is that the variation index of typical price paths is at most 2, in this sense, typical price paths are not rougher than typical paths of Brownian motion. We do not make any stochastic assumptions and only assume t…
We study an optimal execution problem in a continuous-time market model that considers market impact. We formulate the problem as a stochastic control problem and investigate properties of the corresponding value function. We find that right-continuity at the time origin is associated with the strength of market impact…
Proposes a new BSP-Tree process for flexible space partition modeling.
problem Limited modelling flexibility of axis-aligned partitions in Mondrian process.
method Introduces a self-consistent Binary Space Partitioning (BSP)-Tree process with oblique cuts.
result Clear inferential improvements over standard Mondrian process and related methods.
Study shows no sure profits via flash strategies if asset prices don't have predictable jumps.
problem Existence of sure profits via flash strategies in financial markets.
method Introduced and studied the notion of sure profit via flash strategy, proving the existence of such profits under specific conditions.
result No sure profits via flash strategies if and only if asset prices do not exhibit predictable jumps.
Paper extends Brownian bridge with random length and pinning point for financial modeling.
problem Modeling financial information flow with uncertainty in pinning point.
method Introduced an extension of Brownian bridge with random length and pinning point, derived formulae for conditional expectations.
result The extended Brownian bridge fails to be Markovian if pinning point distribution is absolutely continuous.
We analyze the regularity of the optimal exercise boundary for the American Put option when the underlying asset pays a discrete dividend at a known time td during the lifetime of the option. The ex-dividend asset price process is assumed to follow Black-Scholes dynamics and the dividend amount is a deterministic fu…
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.
New method decomposes submartingale systems for BSDEs with weak constraints.
problem Tackles decomposition of submartingale systems for BSDEs with weak constraints.
method Introduces Yg,ξ-submartingale systems and proves a Mertens decomposition using an original approach. result Proves a Mertens decomposition for Yg,ξ-submartingale systems. This paper studies arbitrage pricing theory in financial markets with implicit transaction costs. We extend the existing theory to include the more realistic possibility that the price at which the investors trade is dependent on the traded volume. The investors in the market always buy at the ask and sell at the bid p…
This paper solves optimal investment-consumption problems for a risk-averse agent with special utility.
problem Optimal investment-consumption problem for a risk-averse agent with special utility.
method Introduced proper utility process and solved optimal investment-consumption problem.
result Existence and uniqueness of proper utility processes for a wide class of consumption streams.
A method for representing and comparing categorical trajectories using multivariate functional principal components.
problem Statistical description and comparison of categorical trajectories.
method Transforming categorical trajectories into binary indicator functions and applying multivariate functional principal components analysis.
result Consistent estimators of mean trajectories and covariance functions are obtained under weak regularity assumptions.
Developed a machine-checked Itô calculus for Brownian motion.
problem Formal verification of Itô calculus for Brownian motion.
method Machine-checked formalization in Lean over Mathlib.
result First machine-checked constructions of the Itô integral and Itô's formula.