Higher topos theory applied to physics.
problem No specific problem stated.
method Exposition of higher topos theory.
result No specific key result mentioned.
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 theory”
These notes grew out of a lecture course on mathematical methods of classical physics for students of mathematics and mathematical physics at the master's level. Also, physicists with a strong interest in mathematics may find this text useful as a resource complementary to existing textbooks on classical physics. Topic…
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".
This paper presents relevant modern mathematical formulations for (classical) gauge field theories, namely, ordinary differential geometry, noncommutative geometry, and transitive Lie algebroids. They provide rigorous frameworks to describe Yang-Mills-Higgs theories or gravitation theories, and each of them improves th…
These lecture notes review the topological string theory and its applications to mathematics and physics. They expand on material presented at the Takagi Lectures of the Mathematical Society of Japan on 21 June 2008 at Department of Mathematics, Kyoto University.
Main mathematical applications of Frobenius manifolds are in the theory of Gromov - Witten invariants, in singularity theory, in differential geometry of the orbit spaces of reflection groups and of their extensions, in the hamiltonian theory of integrable hierarchies. The theory of Frobenius manifolds establishes rema…
The mathematical features of a string theory compactification determine the physics of the effective four-dimensional theory. For this reason, understanding the mathematical structure of the possible compactification spaces is of profound importance. It is well established that the compactification space for M-Theory m…
We have developed a mathematical theory of the topological vertex--a theory that was original proposed by M. Aganagic, A. Klemm, M. Marino, and C. Vafa in hep-th/0305132 on effectively computing Gromov-Witten invariants of smooth toric Calabi-Yau threefolds derived from duality between open string theory of smooth Cala…
We describe a mathematical link between aspects of information theory, called pairwise comparisons, and discretized gauge theories. The link is made by the notion of holonomy along the edges of a simplex. This correspondance leads to open questions in both field.
This is an introduction to a provisional mathematical definition of Coulomb branches of -dimensional supersymmetric gauge theories, studied in arXiv:1503.03676, arXiv:1601.03586
We provide an introduction to selected recent advances in the mathematical understanding of Einstein's theory of gravitation.
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…
The braneworld theory appear with the purpose of solving the problem of the hierarchy of the fundamental interactions. The perspectives of the theory emerge as a new physics, for example, deviation of the law of Newton's gravity. One of the principles of the theory is to suppose that the braneworld is local submanifold…
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.
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.
Higher Gauge Theoryhep-th
Survey on advanced gauge theory concepts.
problem Understanding higher gauge theory structures.
method Introduction to higher structures and connections on higher principal bundles.
result Summarized applications and principles of higher gauge theories.
Paper explores the Jones polynomial and its impact on knot theory and related fields.
problem Exploring the Jones polynomial and its applications in knot theory.
method Recalling the Jones polynomial and its development, discussing its connections to various mathematical and physical contexts.
result The Jones polynomial has wide-ranging applications and connections in mathematics and physics.
Relativitygr-qc
Explains Einstein's theory of gravity for mathematicians.
problem Einstein's theory of gravity.
method Introduction and explanation for a general mathematical audience.
result Motivates and explains Einstein's theory of gravity.
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.
In this expository review we discuss various aspects of gauge theory. While the focus is on mathematics, wherever possible we make contact with theoretical high energy physics. Particular emphasis is placed on instantons and monopoles, which admit physical interpretation, and yield interesting and nontrivial mathematic…
Lecture Notes on Linear Neural Networks: A Tale of Optimization and Generalization in Deep Learningcs.LG
Lecture notes on linear neural networks for deep learning optimization and generalization.
problem Understanding optimization and generalization in deep learning models.
method Mathematical tools and dynamical systems theory.
result Potential of mathematical tools to enhance understanding of deep learning.
Mathematical framework for understanding attention in neural networks.
problem Lack of theoretical understanding of attention in neural networks.
method Proposes a measure-theoretic model of attention and interprets self-attention as a system of self-interacting particles.
result Shows that attention is Lipschitz-continuous under suitable assumptions.
The Spencer operator, introduced by D.C. Spencer fifty years ago, is rarely used in mathematics today and, up to our knowledge, has never been used in engineering applications or mathematical physics. The main purpose of this paper, an extended version of a lecture at the second workshop on Differential Equations by Al…
This is an introductory review of topological field theories (TFTs) called AKSZ sigma models. The AKSZ construction is a mathematical formulation for the construction and analyses of a large class of TFTs, inspired by the Batalin-Vilkovisky formalism of gauge theories. We begin by considering a simple two-dimensional t…
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.
We give a brief survey on aspects of the local index theory as developed from the mathematical works of V. K. Patodi. It is dedicated to the 70th anniversary of Patodi.
Mathematical framework for language models processes text and predicts next tokens.
problem Understanding and optimizing the performance of large language models.
method Describes encoding, prediction models, learning from data, and deployment of LLMs.
result Demonstrates remarkable empirical successes and provides a platform for further research.
The mathematical model proposed by George Soros for his theory of reflexivity is analyzed under the framework of discrete dynamical systems. We show the importance of the notion of fixed points for explaining the behavior of a reflexive system governed by its cognitive and manipulative functions. The interrelationship …
This is an introduction to a provisional mathematical definition of Coulomb branches of -dimensional supersymmetric gauge theories, studied in arXiv:1503.03676, arXiv:1601.03586. This is an expanded version of an article arXiv:1612.09014 appeared in the 61st DAISUUGAKU symposium proceeding (2016), wri…
This article offers an introductory look at Khovanov homology and its historical context.
problem Classifying knot embeddings and understanding their homology.
method Expository presentation of Khovanov homology and its historical development.
result Introduction and popularization of knot theory and Khovanov homology in Colombia and Latin America.
Mathematical study of excess growth rate connects info theory with finance.
problem Understanding the excess growth rate in portfolio theory.
method Axiomatic characterization theorems of excess growth rate in terms of relative entropy, Jensen's inequality gap, and logarithmic divergence.
result Established rich connections between information theory and finance.
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.
This paper studies how knots combine using Alexander Polynomials.
problem How knots combine and their determinants behave.
method Basic knot theory, Alexander Polynomials, and composition techniques.
result Generalized solution for knot determinants in compositions.
Mathematical theory of super fiber bundles and connections developed.
problem Modeling anticommuting fermionic fields in mathematical physics.
method Detailed introduction to super fiber bundles, relative supermanifolds, and connections; construction of parallel transport map.
result Construction and comparison of parallel transport map with other methods in the literature.
The mathematical relations between certain classical Non-Riemannian gravity models and Einstein-Proca theories are discussed in details. We also show some relations with theories with scalar fields.
Lecture notes on crystallography and discrete surfaces.
problem Mathematical modeling of crystal structures.
method Variational principle and discrete surface theory.
result Most symmetric crystal structures identified.
Estimates the rational homological dimension of Riemann surfaces with boundary and marked points.
problem Estimating the homological dimensions of Riemann surfaces with boundary and marked points.
method Developed an estimate for the rational homological dimension of Riemann surfaces with possible boundary and marked points.
result Provided an estimate for the rational homological dimension of Riemann surfaces with boundary and marked points.
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…
New signs and gradings enable detailed comparison in Heegaard Floer theory.
problem Comparing decategorified Heegaard Floer theory with modern TQFTs.
method Added signs and gradings to interval gluing theorem over Z.
result Detailed comparison possible with modern TQFTs.
An article based on a four-lecture introductory minicourse on minimal surface theory given at the 2013 summer program of the Institute for Advanced Study and the Park City Mathematics Institute.
We review the string/gauge theory duality relating Chern-Simons theory and topological strings on noncompact Calabi-Yau manifolds, as well as its mathematical implications for knot invariants and enumerative geometry.
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.
Mathematical study of learning long-term integration in linear RNNs.
problem How do linear recurrent neural networks learn to integrate over long timescales?
method Analytical study of linear RNNs trained to integrate white noise and damped oscillatory filters.
result Learning dynamics are described by low-dimensional effective equations for outlier eigenvalues.
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.
We connect Causal inference and low-rank recovery via RDT and free probability theory.
problem Determining the applicability of causal inference via low-rank recovery.
method Random Duality Theory, free probability theory, and mathematical rigor.
result Exact closed-form worst case phase transitions for causal inference.
We identify a large class R of three-dimensional N=2 superconformal field theories. This class includes the effective theories T_M of M5-branes wrapped on 3-manifolds M, discussed in previous work by the authors, and more generally comprises theories that admit a UV description as abelian Chern-Simons-matter theories w…
Paper discusses the Fisher metric and differentiability in statistical models.
problem Understanding the relationship between Fisher metric and differentiability in statistical models.
method Comparison of different concepts and models in Information Geometry, mathematical statistics, and measure theory.
result Discussion of various models and their differentiability properties.
We describe a mathematically rigorous differential model for B-type open-closed topological Landau-Ginzburg theories defined by a pair , where is a non-compact Kählerian manifold with holomorphically trivial canonical line bundle and is a complex-valued holomorphic function defined on and whose criti…