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

Trend · papers per month

0.3%0.6%0.9%1.3% · Dec 200219922001200920172026
48 results for strongest postconditions

Symbolic neural network for analyzing and patching complex systems.

problem Analyzing and verifying complex neural networks.
method Symbolic representation of piecewise-linear neural networks for efficient computation.
result Demonstrated applications in weakest preconditions, strongest postconditions, and patching.

We show, using Wise's equitable sets criterion, that every tubular free by cyclic group acts freely on a CAT(0) cube complex. We also show that these groups have a finite index subgroup satisfying the strongest Tits alternative, which means that every subgroup either surjects a non abelian free group or is torsion free…

2015-10-20abs ↗pdf ↗

Accurate volatility modelling is paramount for optimal risk management practices. One stylized feature of financial volatility that impacts the modelling process is long memory explored in this paper for alternative risk measures, observed absolute and squared returns for high frequency intraday UK futures. Volatility …

2011-03-29abs ↗pdf ↗

We show that sequences of compact gradient Ricci solitons converge to complete orbifold gradient solitons, assuming constraints on volume, the Ln/2L^{n/2}-norm of curvature, and the auxiliary constant C1C_1. The strongest results are in dimension 4, where L2L^2 curvature bounds are equivalent to upper bounds on the Euler…

2008-04-07abs ↗pdf ↗

We present a short overview on the strongest variational formulation for gradient flows of geodesically λλ-convex functionals in metric spaces, with applications to diffusion equations in Wasserstein spaces of probability measures. These notes are based on a series of lectures given by the second author for the Summer…

2010-09-20abs ↗pdf ↗

Bayesian Parametric Portfolio Policies corrects overestimation of utility and risk in traditional PPP.

problem Traditional Parametric Portfolio Policies ignore policy risk, leading to overestimation of expected utility and understatement of portfolio risk.
method Developed Bayesian Parametric Portfolio Policies (BPPP) by placing a prior on policy coefficients to correct the decision rule.
result BPPP delivers higher Sharpe ratios, lower turnover, larger investor welfare, and lower tail risk compared to traditional PPP.

New approach shows backdoor attacks are indistinguishable from natural data features.

problem Defending against backdoor attacks in machine learning models.
method Developed a new primitive for detecting backdoor attacks based on the assumption that they correspond to the strongest feature in the training data.
result Backdoor attacks are indistinguishable from natural data features, making traditional detection methods ineffective.

I introduce and analyse an anytime version of the Optimally Confident UCB (OCUCB) algorithm designed for minimising the cumulative regret in finite-armed stochastic bandits with subgaussian noise. The new algorithm is simple, intuitive (in hindsight) and comes with the strongest finite-time regret guarantees for a hori…

2016-03-29abs ↗pdf ↗

A homological invariant of 3-manifolds is defined, using abelian Yang-Mills gauge theory. It is shown that the construction, in an appropriate sense, is functorial with respect to the families of 4-dimensional cobordisms. This construction and its functoriality are used to define several link invariants. The strongest …

2015-08-31abs ↗pdf ↗

We show that a family of isolated complex hypersurface singularities with constant Milnor number may fail, in the strongest sense, to have constant bi-Lipschitz type. Our example is the Briac con--Speder family $X_t:=\{(x,y,z)\in\C^3 | x^5+z^{15}+y^7z+txy^6=0 \}$ of normal complex surface germs; we show the germ $(X_0,…

2008-09-04abs ↗pdf ↗

(Mn,g)(M^n,g) be a complete Riemannian manifold without conjugate points. In this paper, we show that if MM is also simply connected, then MM is flat, provided that MM is also asymptotically harmonic manifold with minimal horospheres (AHM). The (first order) flatness of MM is shown by using the strongest criterion: $\{…

2017-03-01abs ↗pdf ↗

For ordinary knots in R3, there are no degree one Vassiliev invariants. For virtual knots, however, the space of degree one Vassiliev invariants is infinite dimensional. We introduce a sequence of three degree one Vassiliev invariants of virtual knots of increasing strength. We demonstrate that the strongest invariant …

2008-03-05abs ↗pdf ↗

We show that uniform lattices of isometries of products of real hyperbolic spaces act properly discontinuously and cocompactly on a median space. For lattices in products of at least two factors, this is the strongest degree of compatibility possible with the median geometry. Our theorem is also relevant for potential …

2017-08-01abs ↗pdf ↗

Study evaluates financial anomaly detection methods on Canadian stock market.

problem Detecting financial anomalies in the Canadian stock market.
method Topological data analysis (TDA), principal component analysis (PCA), and neural network-based approaches.
result Neural network-based methods achieve the strongest performance in detecting financial anomalies.

Algorithm learns affine transformations robustly from corrupted samples.

problem Learning affine transformations from corrupted samples.
method New geometric certificate and iterative improvement method.
result Total variation distance of O(ε)O(ε) between learned and original distributions.

In this paper the correlation between education, research and macroeconomic strength of countries at a global scale is analyzed on the basis of statistical data published by the UNIDO and OECD. It uses sets of composite indicators describing the economical performance and competitiveness as well as those relevant for h…

2007-08-15abs ↗pdf ↗

Study finds option volume imbalance predicts equity market returns.

problem Predicting equity market returns using option volume imbalance.
method Nonlinear analysis of option volumes decomposed into five market participant classes.
result Strong signals of predictability of excess market returns from Market-Maker volumes.

Audit shows risk claims from distributional reinforcement learning agents are often false.

problem Evaluating the risk claims made by distributional reinforcement learning agents.
method Combines a decision-relevant screening metric, ground truth from Monte Carlo, and statistical methods to audit risk claims.
result 40-95% of the strongest risk claims are refuted, indicating the learned risk reflects a training artifact rather than environment stochasticity.

Investors target specific regions of payoff distributions for portfolio optimization.

problem Optimizing portfolio performance across different return distribution regions.
method Developed a dynamic portfolio-choice framework targeting downside or upside quantiles.
result Policies focused on downside regions provide stronger left-tail protection and higher Sharpe ratios.

Currency volatility shocks predict lower excess returns, and buying weak transmitters outperforms selling strong ones.

problem Predicting currency returns using volatility shocks.
method Constructed a dynamic, directed network of volatility connections using option-implied volatilities.
result Currencies that transmit more volatility shocks earn lower excess returns.

Tests factor models by decomposing market into body and tail legs, revealing inconsistent results.

problem Inconsistency between factor models and market behavior.
method Decomposes market into body and tail legs, testing factor models at daily and monthly frequencies.
result q5 model shows inconsistent results, with negative body and positive tail alphas at all split ratios.

Study examines spillovers between BRICS and U.S. staple grain futures markets.

problem Contemporaneous and lagged spillover effects in BRICS staple grain futures markets and their linkages with U.S. markets.
method Examines contemporaneous and lagged spillover effects using econometric models.
result Contemporaneous spillovers dominate, and net spillovers are driven by lagged connectedness. Systemic risk is lower in intra-BRICS markets compared to those including the U.S.

Dynamic tracking error framework shows similar performance but varying volatility across different constraints.

problem Differences in governance parameters between Total Portfolio Approach and Strategic Asset Allocation.
method Portfolio simulations using U.S. equity and bond data from 2000 to 2026, spanning 2004 to 2026.
result Realized tracking error volatility varies 12-fold across different constraints, with costs highest during crises.

Algorithms for equilibrium computation generally make no attempt to ensure that the computed strategies are understandable by humans. For instance the strategies for the strongest poker agents are represented as massive binary files. In many situations, we would like to compute strategies that can actually be implement…

2016-12-19abs ↗pdf ↗

For any matrix A in R^(m x n) of rank ρ, we present a probability distribution over the entries of A (the element-wise leverage scores of equation (2)) that reveals the most influential entries in the matrix. From a theoretical perspective, we prove that sampling at most s = O ((m + n) ρ^2 ln (m + n)) entries of the ma…

2013-10-14abs ↗pdf ↗

The paper proves optimal smoothness for certain Lagrangian graphs with specific Hölder continuity.

problem Optimal regularity for Hölder continuous Hamiltonian stationary Lagrangian graphs.
method Establishing smoothness conditions based on Hölder exponent and Lagrangian phase properties.
result Smoothness of graphs is achieved when Hölder exponent is strictly greater than 1/3 and Lagrangian phase is supercritical.

Study proposes a time-aware model to predict user conversion intent.

problem Weak predictive signals from users not suitable for conversion prediction.
method Time-aware approach to model user activities and capture conversion intent signals.
result Approach outperforms other models on real-world datasets.

Framework improves ETF volatility forecasting by adapting to market conditions.

problem Challenges in volatility forecasting due to shifting market conditions and varying model performance.
method Risk-sensitive specialist routing using online risk-sensitive evaluation and state-dependent gating.
result Reduces forecast loss by 24% and underprediction loss by 22% compared to rolling-best baseline.

It is well known that a random vector with given marginal distributions is comonotonic if and only if it has the largest sum with respect to the convex order [ Kaas, Dhaene, Vyncke, Goovaerts, Denuit (2002), A simple geometric proof that comonotonic risks have the convex-largest sum, ASTIN Bulletin 32, 71-80. Cheung (2…

2016-03-17abs ↗pdf ↗

PITMonitor monitors model calibration over time with formal error guarantees.

problem Fixed-sample tests applied to models over time can lead to false alarms.
method PITMonitor uses mixture e-processes to detect distributional shifts in probability integral transforms.
result PITMonitor achieves competitive detection rates on river's FriedmanDrift benchmark.

Classical time series models forecast Bitcoin prices and volatility accurately.

problem Forecasting Bitcoin prices and volatility using classical models.
method ARIMA, SARIMA, GARCH, and EGARCH models were trained and tested on Bitcoin price data.
result ARIMA models performed best for short-term price dynamics, while EGARCH models were best for volatility.

Time series forecasting is widely used in a multitude of domains. In this paper, we present four models to predict the stock price using the SPX index as input time series data. The martingale and ordinary linear models require the strongest assumption in stationarity which we use as baseline models. The generalized li…

2017-10-16abs ↗pdf ↗

Study finds physical momentum portfolios in Indian stock market yield higher returns than benchmarks.

problem Determining abnormal returns for physical momentum portfolios in the Indian stock market.
method Constructed physical momentum portfolios for daily, weekly, monthly, and yearly timescales, evaluated historical returns and risk profiles.
result Daily time scale physical momentum portfolios showed the strongest reversal with a 16-fold profit.