Recent years have seen noteworthy progress in the mathematical formulation of quantum field theory and perturbative string theory. We give a brief survey of these developments. It serves as an introduction to the more detailed collection "Mathematical Foundations of Quantum Field Theory and Perturbative String Theory".
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
48 results for “mathematical foundation”
Survey on AI math foundations, focusing on neural networks.
problem Lack of rigorous mathematical foundation for AI.
method Survey and discussion of theoretical directions in AI.
result Discussion of open problems in AI math.
Mathematical Foundations of Regression Methods for the approximation of the Forward Initial Marginq-fin.RM
This paper provides mathematical foundations for regression methods used in forward initial margin approximation.
problem Developing robust methods for approximating forward initial margin.
method Introduces mathematical rigor to show that regression methods are variations of approximating the conditional expectation function.
result Each regression method is a numerical estimation of the conditional expectation with a different functional form.
Mathematical framework for minimum enclosing ball problem.
problem Determining the smallest sphere enclosing a set in d-dimensional space.
method Theoretical framework based on enclosing and partitioning theorems.
result Bounds and relations between circumradius, inradius, diameter, and width.
Logifold improves ensemble machine learning by identifying fuzzy domains.
problem Improving ensemble machine learning accuracy.
method Formulating logifold structure and interpreting local charts of datasets.
result Logifold improves accuracy compared to averaging model outputs.
We develop the mathematical foundations of the stochastic modified equations (SME) framework for analyzing the dynamics of stochastic gradient algorithms, where the latter is approximated by a class of stochastic differential equations with small noise parameters. We prove that this approximation can be understood math…
Distance metric learning is a branch of machine learning that aims to learn distances from the data, which enhances the performance of similarity-based algorithms. This tutorial provides a theoretical background and foundations on this topic and a comprehensive experimental analysis of the most-known algorithms. We sta…
Lean 4 library formalizes mathematical finance, verifying over 200 theorems.
problem Formal verification of complex financial mathematics.
method Lean 4 proof assistant, Mathlib, BrownianMotion package, formal verification of over 200 theorems.
result Formal verification yields certified unification of known financial results.
Develops a theory linking managers' disclosures to market pricing.
problem Linking managers' earnings guidance to market pricing.
method Mathematical theory of managerial disclosure in asset pricing.
result Foundational approach for understanding disclosure impacts.
Lean 4 library formalizes mathematical finance, verifying over 200 theorems.
problem Formal verification of complex financial mathematics.
method Lean 4 proof assistant, Mathlib, and BrownianMotion package.
result Formal verification yields certified unification of known results.
Paper defines XAI concepts using category theory.
problem Lack of precise mathematical definitions for XAI.
method Uses Category theory to define XAI concepts rigorously.
result Establishes a theoretical foundation for XAI.
New mathematical foundations for stable RKHSs improve system identification.
problem Improving stability tests and modeling of impulse responses.
method Providing new structural properties and stability conditions for stable RKHSs.
result Any stable kernel admits feature maps induced by orthogonal eigenvectors in l2.
Golden age of mathematical finance in the late 20th century.
problem Foundations of mathematical finance during the late 20th century.
method Collaboration between economists and probabilists.
result Established two fundamental theorems of arbitrage theory and close formulas for options.
These lecture notes in the De Rham-Hodge theory are designed for a 1-semester undergraduate course (in mathematics, physics, engineering, chemistry or biology). This landmark theory of the 20th Century mathematics gives a rigorous foundation to modern field and gauge theories in physics, engineering and physiology. The…
This paper offers a mathematical introduction to GANs.
problem Understanding GANs from a mathematical perspective.
method Mathematical analysis of GANs.
result Provides clarity for math-oriented students.
Lecture Notes in Lie Groupsmath.DG
These lecture notes in Lie Groups are designed for a 1--semester third year or graduate course in mathematics, physics, engineering, chemistry or biology. This landmark theory of the 20th Century mathematics and physics gives a rigorous foundation to modern dynamics, as well as field and gauge theories in physics, engi…
Geometry and the Quantumhep-th
We give a survey of our joint ongoing work with Ali Chamseddine, Slava Mukhanov and Walter van Suijlekom. We show how a problem purely motivated by "how geometry emerges from the quantum formalism" gives rise to a slightly noncommutative structure and a spectral model of gravity coupled with matter which fits with expe…
There has been a lot of recent interest in adopting machine learning methods for scientific and engineering applications. This has in large part been inspired by recent successes and advances in the domains of Natural Language Processing (NLP) and Image Classification (IC). However, scientific and engineering problems …
DisCoPyro combines category theory with machine learning for program learning.
problem Applying category theory to machine learning tasks.
method Introducing DisCoPyro, a framework combining categorical structures with amortized variational inference.
result DisCoPyro can be applied in program learning for variational autoencoders and potentially contributes to AGI.
New framework explains leading digit patterns without probabilistic assumptions.
problem Explaining leading digit distributions without relying on probabilistic models.
method Shift-invariant functional equation and affine-plus-periodic formulas.
result Unified mathematical foundation for understanding digit distributions.
We develop a statistical framework to benchmark and select large language models based on their risks.
problem Benchmarking and selecting large language models based on their associated risks.
method A distributional framework using first and second order stochastic dominance, linked to mean-risk models in finance.
result Formalizes a risk-aware approach for model selection, balancing risk and utility.
Defines related tasks for transfer learning using foliations.
problem Lack of a foundational description of related tasks in transfer learning.
method Introduces foliations as a mathematical framework for relatedness between tasks.
result Identifies foliations as a way to represent relatedness in transfer learning.
Mathematical advances needed for Digital Twins, differing from traditional models.
problem Foundational mathematical advances required for Digital Twins.
method Multi-scale, multi-physics modeling and coupling, different reliability criteria and uncertainty assessments.
result AI/ML methods can perform well in biomedical problems but fail in simple engineering systems.
Extends Bayesian theory to handle complex interdependencies in multidimensional event spaces.
problem Complex interdependencies between events and hypotheses sets in real-world systems.
method Developed a mathematical formalism for modeling complex relationships through rigorous derivation and validated using analytical proofs, simulations, and case studies.
result MDSE theory improves prediction accuracy by 15-20% compared to standard Bayesian methods in high interdimensionality datasets.
This paper provides a mathematical foundation for deep neural networks solving PDEs.
problem Mathematical foundation for deep neural networks solving high-dimensional PDEs.
method Decomposed generalization error into approximation and training errors; derived gradient flow in the wide network limit.
result Generalization error tends to zero as the number of neurons and training time tend to infinity.
We give a mathematical foundation for, and numerical demonstration of, the existence of mean curvature 1 surfaces of genus 1 with either two elliptic ends or two hyperbolic ends in de Sitter 3-space. An end of a mean curvature 1 surface is an ``elliptic end'' (resp. a ``hyperbolic end'') if the monodromy matrix at the …
Mathematical foundation for phylogenetic tree uncertainty quantification.
problem Uncertainty in evolutionary relationships between species.
method Introducing the Wald space as a subset of symmetric positive definite matrices, studying its topology and structure, and proposing a new numerical method for geodesics and curvature.
result Wald space has a topology of disjoint open cubes, is contractible, and is a Whitney stratified space of type (A).
Paper defines mathematical framework for neural network explainability.
problem Neural network explainability and equivariant operators.
method Mathematical framework based on Group Equivariant Non-Expansive Operators (GENEOs) and complexity measures.
result Formal properties and interpretability of Group Equivariant Operators (GEOs) defined.
We attempt to set a mathematical foundation of immunology and amino acid chains. To measure the similarities of these chains, a kernel on strings is defined using only the sequence of the chains and a good amino acid substitution matrix (e.g. BLOSUM62). The kernel is used in learning machines to predict binding affinit…
Equivariant cohomology simplifies symplectic manifold integrals with group actions.
problem Complex integrals on symplectic manifolds with Lie group actions.
method Atiyah-Bott Localization Theorem
result Simplifies integrals by revealing hidden structure.
This article provides the mathematical foundation for stochastically continuous affine processes on the cone of positive semidefinite symmetric matrices. This analysis has been motivated by a large and growing use of matrix-valued affine processes in finance, including multi-asset option pricing with stochastic volatil…
Mathematical framework for differential machine learning in finance.
problem Theoretical assumptions in financial models and their impact on machine learning algorithms.
method Rigorous mathematical framework for differential machine learning in finance.
result Theoretical grounding enhances the predictive capabilities of neural networks in financial applications.
This paper argues that the fundamental principle of contemporary financial economics is balanced reciprocity, not the principle of utility maximisation that is important in economics more generally. The argument is developed by analysing the mathematical Fundamental Theory of Asset Pricing with reference to the emergen…
Mathematical framework to understand neural network vulnerability.
problem Understanding and quantifying adversarial vulnerability in neural networks.
method Develops a geometric framework using Ricci curvature to measure decision boundaries and adversarial perturbations.
result Establishes a new theory linking adversarial attacks to Ricci curvature of decision boundaries.
Mathematical framework for field theories on Finsler spacetimes.
problem Developing a consistent calculus for field theories on Finsler spacetimes.
method Constructing configuration bundles and applying coordinate-free calculus of variations.
result Averaged energy-momentum conservation law for Finsler field theories.
Foundation for robust finance using rough path theory.
problem Mathematical models of financial markets under Knightian uncertainty.
method Introducing Property (RIE) for càdlàg paths, proving existence of rough integrals, verifying admissibility of trading strategies.
result Existence and stability of rough path integrals for non-gradient integrands.
Revises mean-field theory of Santa Fe model using kinetic theory.
problem Deriving a solid mathematical foundation for the Santa Fe model.
method Systematic derivation of BBGKY hierarchy from exact master equation.
result Explicit and closed-form solutions for mean-field equations.
The purpose of this paper is to present for the first time an elementary summary of a few recent results obtained through the application of the formal theory of partial differential equations and Lie pseudogroups in order to revisit the mathematical foundations of general relativity. Other engineering examples (contro…
Revisits Finsler spacetimes from inertial observer perspective.
problem Physical foundations of relativistic spacetimes.
method Inertial observers and double linear approximation.
result Finsler spacetimes are defined by dropping the second linearization.
Develops a logifold structure for understanding datasets.
problem Understanding and classifying complex datasets.
method Local-to-global approach using measure-theoretical models.
result Improves accuracy in data classification problems.
The aim of this chapter is twofold. In the first part we will provide a brief overview of the mathematical and statistical foundations of graphical models, along with their fundamental properties, estimation and basic inference procedures. In particular we will develop Markov networks (also known as Markov random field…
Survey of mathematical foundations for reinforcement learning.
problem Design and analysis of modern reinforcement learning algorithms.
method Organizes mathematical structures from probability, optimization, and operator theory.
result Unified mathematical entry point for researchers in various fields.
Survey on geometric foundations of data reduction methods.
problem High-dimensional data with intrinsic nonlinear structure.
method Spectral manifold learning methods.
result Derivation and convergence analysis of spectral manifold learning.
Paper generalizes Hamiltonian mechanics using line bundles.
problem Mathematical foundations of measurand and units of measurement.
method Introduces line bundles over smooth manifolds as configuration spaces.
result Generalization successfully incorporates physical dimension and units.
We prove Transformers can learn diverse Gröbner bases.
problem Training Transformers for Gröbner basis computation.
method Prove generality of dataset generation algorithm; propose extended algorithm.
result Datasets are sufficiently general for diverse Gröbner bases learning.
Paper relaxes optimal transport using convex functions for data science.
problem Optimal transport problem on finite spaces.
method Relaxation via strictly convex functions (Kullback-Leibler divergence, Bregman divergences). Gradient descent iterative process.
result Mathematical foundations and iterative process for the relaxed optimal transport problem.
This paper provides a mathematical framework for time-delay reservoir computing.
problem Lack of rigorous mathematical foundations for reservoir computing properties.
method Control-theoretic framework, formal definitions of separation and fading memory, explicit lower bound derivation.
result Established formal definitions and connections to stability notions for time-delay systems.
Book introduces deep learning methods with math, theory, and applications.
problem Understanding deep learning algorithms and their mathematical foundations.
method Reviews various ANN architectures and optimization methods, covers theoretical aspects.
result Provides a solid mathematical foundation for deep learning.