We provide a rigorous numerical computation method to validate periodic, homoclinic and heteroclinic orbits as the continuation of singular limit orbits for the fast-slow system with one-dimensional slow variable . Our validation procedure is based on topological tools called isolatin…
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,657 papers · 148 categories
Trend · papers per month
48 results for “rigorous numerics”
Artificial neural networks (ANNs) have very successfully been used in numerical simulations for a series of computational problems ranging from image classification/image recognition, speech recognition, time series analysis, game intelligence, and computational advertising to numerical approximations of partial differ…
Study wormholes in Einstein-Yang-Mills theory with a phantom field.
problem Existence of wormholes in Einstein-Yang-Mills theory with a phantom scalar field.
method Rigorous mathematical proof and numerical analysis of wormhole solutions.
result Existence of an infinite sequence of symmetric wormhole solutions.
New Einstein metrics constructed on complex line bundle over CP1.
problem Constructing -invariant negative Einstein metrics on complex line bundles.
method Rigorous numerics to approximate, then fixed-point methods to perturb to genuine Einstein metrics.
result Complete, asymptotically hyperbolic Einstein metrics constructed.
This paper deals with stability in the numerical solution of the prominent Heston partial differential equation from mathematical finance. We study the well-known central second-order finite difference discretization, which leads to large semi-discrete systems with non-normal matrices A. By employing the logarithmic sp…
New rigorous uncertainty bounds for Gaussian Process regression.
problem Need for frequentist uncertainty bounds in applications like learning-based control.
method Introduce new uncertainty bounds that are rigorous and practically useful.
result New bounds are less conservative and more useful for practical applications.
Enhanced binary classifier uses Urysohn's Lemma of Topology.
problem Binary classification challenges.
method Utilizes Urysohn's Lemma of Topology to construct separating functions.
result Exceptional performance in numerical experiments (95% to 100%).
FiNCAT tool automatically identifies financial numerals in documents.
problem Differentiating between in-claim and out-of-claim numerals in financial documents.
method Extracts context embeddings of numerals using BERT, then uses Logistic Regression to classify.
result Achieved a Macro F1 score of 0.8223 on validation set.
We introduce a vanishing property of adjoint Reidemeister torsions of a cusped hyperbolic 3-manifold derived from the physics of wrapped M5-branes on the manifold. To support our physical observation, we present a rigorous proof for the figure-eight knot complement with respect to all slopes. We also present numerical …
New algorithm uses Whittle index to improve Q-learning for restless bandits.
problem Optimizing decision-making in multiarmed restless bandits with average reward.
method Introduces a novel reinforcement learning algorithm combining Q-learning and Whittle index policy.
result Demonstrates significant computational gains and excellent empirical performance.
We find approximate solutions of partial integro-differential equations, which arise in financial models when defaultable assets are described by general scalar Lévy-type stochastic processes. We derive rigorous error bounds for the approximate solutions. We also provide numerical examples illustrating the usefulness a…
LLMs struggle with arithmetic tasks unless they use high numerical precision.
problem Improving arithmetical reasoning capabilities of LLMs.
method Theoretical analysis and empirical experiments on numerical precision.
result LLMs require high numerical precision to efficiently handle arithmetic tasks.
This paper derives a new semi closed-form approximation formula for pricing an up-and-out barrier option under a certain type of stochastic volatility model including SABR model by applying a rigorous asymptotic expansion method developed by Kato, Takahashi and Yamada (2012). We also demonstrate the validity of our app…
Proves solution uniqueness for biomembrane shape prediction.
problem Proving solution uniqueness for the genus one Canham variational problem.
method Combining numeric analytic continuation and singularity analysis to prove non-negativity of a sequence.
result Proves positivity of the sequence, leading to solution uniqueness.
Stochastic models analyze traffic network performance.
problem Evaluate traffic system performance.
method Stochastic cell transmission models, preference functionals, Gaussian process regression.
result Illustrated in two case studies.
A Penalty Method for the Numerical Solution of Hamilton-Jacobi-Bellman (HJB) Equations in Financeq-fin.CP
We present a simple and easy to implement method for the numerical solution of a rather general class of Hamilton-Jacobi-Bellman (HJB) equations. In many cases, the considered problems have only a viscosity solution, to which, fortunately, many intuitive (e.g. finite difference based) discretisations can be shown to co…
We prove the Goldman-Parker Conjecture: A complex hyperbolic ideal triangle group is directly embedded in PU(2,1) if and only if the product of its three standard generators is not elliptic. We also prove that such a group is indiscrete if the product of its three standard generators is elliptic. A novel feature of thi…
We present a rigorous study of the short maturity asymptotics for Asian options with continuous-time averaging, under the assumption that the underlying asset follows the Constant Elasticity of Variance (CEV) model. We present an analytical approximation for the Asian options prices which has the appropriate short matu…
It has been known for a long time that the classical spherical perceptrons can be used as storage memories. Seminal work of Gardner, \cite{Gar88}, started an analytical study of perceptrons storage abilities. Many of the Gardner's predictions obtained through statistical mechanics tools have been rigorously justified. …
We prove the existence of a (spectrally) stable self-similar blow-up solution to the heat flow for corotational harmonic maps from to the three-sphere. In particular, our result verifies the spectral gap conjecture stated by one of the authors and lays the groundwork for the proof of the nonlinear s…
Estimating boundaries from point clouds with improved accuracy and rigorous error estimates.
problem Identifying the boundary of a domain from point cloud samples.
method Developed new estimators for normal vectors, distances, and boundary tests; provided error estimates.
result Efficient and accurate estimators for boundary properties on point clouds.
We derive asymptotic expansions for the prices of a variety of European and barrier-style claims in a general local-stochastic volatility setting. Our method combines Taylor series expansions of the diffusion coefficients with an expansion in the correlation parameter between the underlying asset and volatility process…
We consider a diffuse interface approximation for the lipid phases of rotationally symmetric two-phase bilayer membranes and rigorously derive its -limit. In particular, we prove that limit vesicles are across interfaces, which justifies a regularity assumption that is widely made in formal asymptotic and nume…
Researchers prove existence of a special Einstein metric on a 12-dimensional sphere.
problem Proving the existence of a non-round Einstein metric invariant under a specific group action.
method Numerical analysis techniques were used to produce an approximate Einstein metric, which was then perturbed into a true Einstein metric.
result A novel -invariant Einstein metric on was successfully constructed.
A Gaussian Process Ordinary Differential Equation framework for large continuous dynamical systems
problem Forecasting complex dynamical systems
method Kernel autonomous ODE approach based on Gaussian Processes and Quadratic Order Model Reduction
result Full model outperforms ROM methods in terms of accuracy or computational costs
New methods improve deep learning for solving linear PDEs.
problem Efficiently solving high-dimensional linear PDEs using deep learning.
method Rigorous investigation of gradient estimators for SDE-based variational formulations.
result Novel methods provide substantial performance improvements.
Implicit schemes are popular methods for the integration of time dependent PDEs such as hyperbolic and parabolic PDEs. However the necessity to solve corresponding linear systems at each time step constitutes a complexity bottleneck in their application to PDEs with rough coefficients. We present a generalization of ga…
The power of neural networks lies in their ability to generalize to unseen data, yet the underlying reasons for this phenomenon remain elusive. Numerous rigorous attempts have been made to explain generalization, but available bounds are still quite loose, and analysis does not always lead to true understanding. The go…
Deep neural networks are often used to implement powerful generative models for real-world data. Notable applications include image denoising, as well as other classical inverse problems like compressed sensing and super-resolution. To provide a rigorous but simplified analysis of generative models, in this work, we in…
In this paper we define a small variation of the Taylor method and a formula for the global error of this new numerical method that allows us to keep track of the round-off error and does not require previous knowledge of the exact solution. As an application we provide a rigorous proof of the construction/existence of…
A pair trade is a portfolio consisting of a long position in one asset and a short position in another, and it is a widely applied investment strategy in the financial industry. Recently, Ekström, Lindberg and Tysk studied the problem of optimally closing a pair trading strategy when the difference of the two assets is…
New HMC method uses asymmetrical momentum distributions and improves performance.
problem Rigorous convergence guarantees for HMC with Gaussian momentum distributions.
method New convergence analysis for HMC with general asymmetrical momentum distributions, proposing AD-HMC.
result AD-HMC exhibits geometric convergence in Wasserstein distance under certain conditions.
We study an optimal dividend problem under a bankruptcy constraint. Firms face a trade-off between potential bankruptcy and extraction of profits. In contrast to previous works, general cash flow drifts, including Ornstein--Uhlenbeck and CIR processes, are considered. We provide rigorous proofs of continuity of the val…
This paper studies the valuation of a class of default swaps with the embedded option to switch to a different premium and notional principal anytime prior to a credit event. These are early exercisable contracts that give the protection buyer or seller the right to step-up, step-down, or cancel the swap position. The …
There is renewed interest in formulating integration as an inference problem, motivated by obtaining a full distribution over numerical error that can be propagated through subsequent computation. Current methods, such as Bayesian Quadrature, demonstrate impressive empirical performance but lack theoretical analysis. A…
Rigorous uncertainty quantification of probabilistic AI weather forecasts with conformal predictionphysics.ao-ph
Rigorous uncertainty quantification of probabilistic AI weather forecasts with conformal prediction
problem Calibrated uncertainty quantification in probabilistic weather forecasts
method Conformal prediction
result Calibrated uncertainty at no expense to other probabilistic metrics
We obtain the maximum entropy distribution for an asset from call and digital option prices. A rigorous mathematical proof of its existence and exponential form is given, which can also be applied to legitimise a formal derivation by Buchen and Kelly. We give a simple and robust algorithm for our method and compare our…
This work presents a technique for statistically modeling errors introduced by reduced-order models. The method employs Gaussian-process regression to construct a mapping from a small number of computationally inexpensive `error indicators' to a distribution over the true error. The variance of this distribution can be…
We study the non-stationary stochastic multiarmed bandit (MAB) problem and propose two generic algorithms, namely, the limited memory deterministic sequencing of exploration and exploitation (LM-DSEE) and the Sliding-Window Upper Confidence Bound# (SW-UCB#). We rigorously analyze these algorithms in abruptly-changing a…
New algorithm improves signal reconstruction from noisy measurements with side information.
problem Reconstructing unknown signals from noisy linear measurements with side information.
method Integrates side information into approximate message passing (AMP) and tracks performance using state evolution.
result AMP-SI performance is accurately predicted by state evolution.
Structural Classification of Locally Stationary Time Series Based on Second-order Characteristicsstat.ME
Efficient method classifies locally stationary time series based on second-order characteristics.
problem Classifying locally stationary time series for various applications.
method Autoregressive approximation, ensemble aggregation, distance-based threshold.
result Zero misclassification error rate asymptotically for mildly differing second-order characteristics.
In this paper we propose a quadratic programming model that can be used for calculating the term structure of electricity prices while explicitly modeling startup costs of power plants. In contrast to other approaches presented in the literature, we incorporate the startup costs in a mathematically rigorous manner with…
The optimal binning is the optimal discretization of a variable into bins given a discrete or continuous numeric target. We present a rigorous and extensible mathematical programming formulation for solving the optimal binning problem for a binary, continuous and multi-class target type, incorporating constraints not p…
A new standpoint on financial time series, without the use of any mathematical model and of probabilistic tools, yields not only a rigorous approach of trends and volatility, but also efficient calculations which were already successfully applied in automatic control and in signal processing. It is based on a theorem d…
Improved neural network capacity analysis using simplified RDT.
problem Analyzing the memorization capabilities of sign perceptron neural networks.
method Developed a simplified, partially lifted Random Duality Theory (fl RDT) approach.
result Concrete capacity bounds universally improve over previous best known ones.
We develop high-order approximations for the Heston model.
problem Modeling the Heston model with high accuracy and efficiency.
method Combining approximation schemes on different random grids to achieve any order of convergence.
result Achieve any order of convergence for the Heston model.
VEC-SBM detects communities using side information like texts and images.
problem Community detection in social networks with side information.
method Proposes a novel algorithm based on iterative refinement techniques.
result Optimally recovers latent communities with side information.
This paper examines various definitions of adversarial risk and their implications.
problem Quantifying the performance of classifiers under adversarial perturbations.
method Optimal transport, robust statistics, functional analysis, and game theory.
result Generalization of Strassen's theorem and new connections to Choquet capacities and game theory.