Survey on rigorous construction of supersymmetric path integral.
problem Rigorous construction of supersymmetric path integral.
method Construction based on joint work with collaborators.
result Rigorous construction of supersymmetric path integral.
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,742 papers · 148 categories
Trend · papers per month
48 results for “rigorous construction”
A Rigorous Construction of the Supersymmetric Path Integral Associated to a Compact Spin Manifoldmath.DG
We give a rigorous construction of the path integral in N=1/2 supersymmetry as an integral map for differential forms on the loop space of a compact spin manifold. It is defined on the space of differential forms which can be represented by extended iterated integrals in the sense of Chen and Getzler-Jones-Petrack. Via…
Paper provides a rigorous proof of the index theorem for economists.
problem Lack of a rigorous proof in textbooks for economists.
method Constructs a readable proof of the index theorem under specific assumptions.
result Provides a gap-free proof of the index theorem.
We introduce a general constructive setting of the density ratio estimation problem as a solution of a (multidimensional) integral equation. In this equation, not only its right hand side is known approximately, but also the integral operator is defined approximately. We show that this ill-posed problem has a rigorous …
In this paper we address some problems concerning an approximate Dirichlet domain. We show that under some assumptions the approximate Dirichlet domain can work equally well as an exact Dirichlet domain. In particular, we consider a problem of tiling a hyperbolic ball with copies of the Dirichlet domain. This problem a…
On the non-slippery slope: Some observations on a recent paper on rolling bodies published in Naturemath.DG
New method for rolling bodies on inclined planes, with applications to rescue operations.
problem Constructing solid bodies rolling along curves on inclined planes.
method Rigorous existence theorems and connections to maritime rescue operations.
result Comprehensive existence theorems for rolling bodies on inclined planes.
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.
Paper rigorously defines Feynman graph integrals on Kähler manifolds.
problem Establishing convergence of Feynman graph integrals on Kähler manifolds.
method Using Getzler's rescaling technique, graph integrands are extended to forms with divisorial-type singularities in the compactification of configuration spaces.
result Feynman graph integrals are rigorously defined as Cauchy principal value integrals.
Researchers prove a method to upgrade Morse-Bott homology to stable homotopy invariants.
problem Proving a method to upgrade Morse-Bott homology to stable homotopy invariants rigorously.
method Rigorous construction of stable normal framings and proof of stable homotopy type recovery.
result The stable homotopy type recovers Σ∞+M and Thom spectra for all reduced KO-theory classes.
Extends field theory foundations to infinitesimal spaces, simplifying complex concepts.
problem Develop rigorous foundations for field theory, especially for infinitesimal spaces.
method Formulates local Lagrangian field theory in a new category of thickened smooth sets.
result Establishes a firm foundation for field theory, including tangent bundles and perturbative considerations.
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%).
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…
We study realizations of Lie algebras by vector fields. A correspondence between classification of transitive local realizations and classification of subalgebras is generalized to the case of regular local realizations. A reasonable classification problem for general realizations is rigorously formulated and an algori…
We introduce a framework for studying the effects of self-interaction on the construction of point particle initial data in General Relativity. Within this framework we rigorously prove the vanishing mass claim made by Arnowitt, Deser and Misner regarding point sources. We identify a geometric structure and a scaling p…
Study neckpinch singularities in Ricci flow with cylindrical symmetry.
problem Understanding the asymptotic behavior of neckpinch singularities in Ricci flow.
method Rigorous analysis under Type-I assumption for general symmetric initial data.
result Previously constructed asymptotic profiles are the only possibilities.
In a rigorous construction of the path integral for supersymmetric quantum mechanics on a Riemann manifold, based on Bär and Pfäffle's use of piecewise geodesic paths, the kernel of the time evolution operator is the heat kernel for the Laplacian on forms. The path integral is approximated by the integral of a form on …
The Chern Character of θ-summable Fredholm Modules over dg Algebras and Localization on Loop Spacemath.KT
We introduce the notion of a {\vartheta}-summable Fredholm module over a locally convex dg algebra Ω and construct its Chern character as a cocycle on the entire cyclic complex of Ω, extending the construction of Jaffe, Lesniewski and Osterwalder to a differential graded setting. Using this Chern character, we prove an…
We develop a gluing construction which adds scaled and truncated asymptotically Euclidean solutions of the Einstein constraint equations to compact solutions with potentially non-trivial cosmological constants. The result is a one-parameter family of initial data which has ordinary and scaled "point-particle" limits an…
Universal connection constructed using diffeology theory.
problem Natural connection on bundles of paths on manifolds.
method Diffeological construction of Singer's universal connection.
result Functorial equivalence between holonomy categories and diffeological bundle-connection pairs.
We present three equivalent definitions of -equivariant symplectic homology. We show that, using rational coefficients, the positive part of -equivariant symplectic homology is isomorphic to linearized contact homology, when the latter is defined. We present several computations and applications, and introduc…
Constructs tri-Hamiltonian structure and Frobenius manifold for asymmetric gAL hierarchy
problem Tri-Hamiltonian structure and Frobenius manifold for asymmetric gAL hierarchy
method Local tri-Hamiltonian structure construction and Frobenius manifold construction
result Dispersionless limits of flows belong to Principal Hierarchy
Paper introduces infinite-dimensional generative models using Doob's h-transform.
problem Defining generative models in infinite dimensions.
method Using Doob's h-transform to force a reference diffusion towards a target distribution.
result The forced process can be approximated by minimising a score-matching objective.
Markov partitions for the geodesic flow on compact Riemann surfaces of constant negative curvaturemath.DG
The paper constructs Markov partitions for geodesic flow on hyperbolic surfaces.
problem Understanding Markov partitions for general hyperbolic flows.
method Rigorous construction of Markov partitions for geodesic flow on Riemann surfaces of constant negative curvature.
result Explicit forms of rectangles and local cross sections provided for the geodesic flow.
New method for rigorous confidence intervals in off-policy evaluation.
problem Evaluate new policies from off-policy data without executing them.
method Variational framework using kernel Bellman loss.
result Efficient method for tight confidence intervals in various settings.
In this technical paper, we present a new formulation of higher parallel transport in strict higher gauge theory required for the rigorous construction of Wilson lines and surfaces. Our approach is based on an original notion of Lie crossed module cocycle and cocycle 1- and 2-gauge transformation with a non standard do…
On the exact discrete Lagrangian function for variational integrators: theory and applicationsmath.DG
In this paper, we will give a rigorous construction of the exact discrete Lagrangian formulation associated to a continuous Lagrangian problem. Moreover, we work in the setting of Lie groupoids and Lie algebroids which is enough general to simultaneously cover several cases of interest in discrete and continuous descri…
The standard Feynman diagrammatic approach to quantum field theories assumes that perturbation theory approximates the full quantum theory at small coupling even when a mathematically rigorous construction of the latter is absent. On the other hand, two-dimensional Yang-Mills theory is a rare (if not the only) example …
A rigorous formulation of Vessiot's vector field approach to the analysis of general systems of partial differential equations is provided. It is shown that this approach is equivalent to the formal theory of differential equations and that it can be carried through if, and only if, the given system is involutive. As a…
Two new proofs provide Eguchi-Hanson metrics as ALE bubbles for Kummer constructions of K3 metrics.
problem Constructing Ricci-flat Kähler metrics on the K3 surface with special holonomy.
method Singular perturbation and weighted function space analysis.
result Large families of compact hyper-Kähler orbifolds as volume non-collapsed limits of Kummer constructions.
Empirical studies show that the volatility may exhibit correlations that decay as a fractional power of the time offset. The paper presents a rigorous analysis for the case when the stationary stochastic volatility model is constructed in terms of a fractional Ornstein Uhlenbeck process to have such correlations. It is…
The paper constructs semistrict monoidal 2-categories from foam evaluations.
problem Creating examples of semistrict monoidal 2-categories.
method Using a closed foam evaluation formula as input, the paper rigorously constructs semistrict monoidal 2-categories.
result The constructed monoidal 2-categories are semistrict, have duals and adjoints, and carry a spatial duality structure.
Develops a framework to control risk in online learning models.
problem Rigorous uncertainty quantification for online learning models.
method A framework for constructing uncertainty sets that provably control risk.
result Guarantees risk control at any user-specified level even with distribution shifts.
For simple and simply-connected complex algebraic group G, we conjecture the existence of a functor eta_G from the category of 2-bordisms to the category of holomorphic symplectic varieties with Hamiltonian action, such that gluing of boundaries corresponds to the holomorphic symplectic quotient with respect to the dia…
Rozansky-Witten theorymath.QA
Rozansky and Witten proposed in 1996 a family of new three-dimensional topological quantum field theories, indexed by compact (or asymptotically flat) hyperkaehler manifolds. As a byproduct they proved that hyperkaehler manifolds also give rise to Vassiliev weight systems. These may be thought of as invariants of hyper…
We compose the table of knots in the thickened torus T x I having diagrams with at most 4 crossings. The knots are constructed by the three-step process. First we list regular graphs of degree 4 with at most 4 vertices, then for each graph we enumerate all corresponding knot projections, and after that we construct the…
Our purpose is to pursue the rigorous construction of Liouville Quantum Field Theory on Riemann surfaces initiated by F. David, A. Kupiainen and the last two authors in the context of the Riemann sphere and inspired by the 1981 seminal work by Polyakov. In this paper, we investigate the case of simply connected domains…
An important factor to guarantee a fair use of data-driven recommendation systems is that we should be able to communicate their uncertainty to decision makers. This can be accomplished by constructing prediction intervals, which provide an intuitive measure of the limits of predictive performance. To support equitable…
A Dynamics-Informed Gaussian Process Framework for 2D Stochastic Navier-Stokes via Quasi-Gaussianitymath.DS
New framework uses dynamics to justify Gaussian process for turbulent flows.
problem Lack of rigorous justification for Gaussian process priors in turbulent flows.
method Introduces a dynamics-informed Gaussian process framework based on quasi-Gaussianity.
result Provides a principled, long-time dynamical justified GP prior for turbulent flows.
Framework for fair predictive models using resampled sensitive attributes.
problem Achieving fair predictions in machine learning models.
method Introducing a discrepancy functional and resampling sensitive attributes.
result Improved performance and equitable uncertainty quantification.
New proof shows neural networks can memorize training data with high accuracy.
problem Proving neural networks can memorize training data with high accuracy.
method Probabilistic construction exploiting sparsity.
result Proves neural networks with threshold or mixed threshold-ReLU activations can memorize training data.
2D CNNs approximate Korobov functions with near-optimal rates.
problem Approximating Korobov functions using 2D CNNs.
method Constructive approach for 2D CNNs with ReLU activations and fully connected layers.
result 2D CNNs achieve near-optimal approximation rates for Korobov functions.
We present a cocycle model for elliptic cohomology with complex coefficients in which methods from 2-dimensional quantum field theory can be used to rigorously construct cocycles. For example, quantizing a theory of vector bundle-valued fermions yields a cocycle representative of the elliptic Thom class. This construct…
We present a rigorous homogenization theorem for distributed dislocations. We construct a sequence of locally-flat Riemannian manifolds with dislocation-type singularities. We show that this sequence converges, as the dislocations become denser, to a flat non-singular Weitzenböck manifold, i.e. a flat manifold endowed …
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.
Develops derived differential geometry for supermanifolds.
problem Handling non-transverse intersections and singular moduli problems in geometry and physics.
method Extends existing work on derived manifolds to supergeometric and infinite-dimensional contexts.
result Establishes foundational results relating derived differential geometry to differential operators and PDE theory.
Deep Bayesian neural networks effectively select variables with rigorous uncertainty quantification.
problem High-dimensional variable selection with uncertainty.
method Developed new Bayesian non-parametric theorems for deep BNNs.
result BNNs can learn variable importance effectively in high dimensions and rigorously quantify uncertainty.
Following Feynman's prescription for constructing a path integral representation of the propagator of a quantum theory, a short-time approximation to the propagator for imaginary time, N=1 supersymmetric quantum mechanics on a compact, even-dimensional Riemannian manifold is constructed. The path integral is interprete…
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…