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.
Establishes Poincaré's lemma for formal manifolds.
Explores local structure of morphisms and formal submanifolds in formal manifolds theory.
Quantizes functions on Kähler manifolds without formal deformation.
A metric is formal if all products of harmonic forms are again harmonic. The existence of a formal metric implies Sullivan formality of the manifold, and hence formal metrics can exist only in presence of a very restricted topology. We show that a warped product metric is formal if and only if the warping function is c…
Foundations laid for formal manifolds in differential geometry.
New IRL algorithm for continuous state spaces with formal guarantees.
Study of nonlinear PDEs using derived geometry and BV formalism.
We prove Tsygan's formality conjecture for Hochschild chains of the algebra of functions on an arbitrary smooth manifold M using the Fedosov resolutions proposed in math.QA/0307212 and the formality quasi-isomorphism for Hochschild chains of R[[y_1, ..., y_d]] proposed in paper math.QA/0010321 by Shoikhet. This result …
New formalism solves kinematical constraints in curved backgrounds and non-trivial states.
We generalize the Lagrangian-Hamiltonian formalism of Skinner and Rusk to higher order field theories on fiber bundles. As a byproduct we solve the long standing problem of defining, in a coordinate free manner, a Hamiltonian formalism for higher order Lagrangian field theories. Namely, our formalism does only depend o…
We extend the category of (super)manifolds and their smooth mappings by introducing a notion of microformal or "thick" morphisms. They are formal canonical relations of a special form, constructed with the help of formal power expansions in cotangent directions. The result is a formal category so that its composition l…
Defines formal exponentials for graded manifolds and linearizes QP-manifolds.
New hierarchies derived from KP hierarchy using non-formal operators and Yang-Mills action.
We develop a frame and dyad gauge-independent formalism for the calculus of variations of functionals involving spinorial objects. As part of this formalism we define a modified variation operator which absorbs frame and spin dyad gauge terms. This formalism is applicable to both the standard spacetime (i.e. SL(2,C)) 2…
Develops thermodynamic formalism for quasimorphisms on negatively curved spaces.
Generalizes embedding formalism for CFTs on curved backgrounds.
The paper explores connections between braids, links, and cobordisms using algebraic methods.
The paper classifies quantizable functions and explores symmetry in quantization methods.
We show that formal isomorphism of intransitive linear Lie equations along transversal to the orbits can be extended to neighborhoods of these transversal. In analytic cases, the word formal is dropped from theorems. Also, we associate an intransitive Lie algebra with each intransitive linear Lie equation, and from the…
Formalizes synthetic differential geometry in Lean.
The variational formalism for classical field theories is extended to the setting of Lie algebroids. Given a Lagrangian function we study the problem of finding critical points of the action functional when we restrict the fields to be morphisms of Lie algebroids. In addition to the standard case, our formalism include…
We recall the notions of Frölicher and diffeological spaces and we build regular Frölicher Lie groups and Lie algebras of formal pseudo-differential operators in one independent variable. Combining these constructions with a smooth version of the Mulase factorization of infinite dimensional groups based on formal pseud…
We present a formal proof in Lean of probably approximately correct (PAC) learnability of the concept class of decision stumps. This classic result in machine learning theory derives a bound on error probabilities for a simple type of classifier. Though such a proof appears simple on paper, analytic and measure-theoret…
We introduce mappings between spaces of functions on (super)manifolds that generalize pullbacks with respect to smooth maps but are, in general, nonlinear (actually, formal). The construction is based on canonical relations and generating functions. (The underlying structure is a formal category, which is a "thickening…
Let G be a connected compact Lie group acting on a manifold M and let D be a transversally elliptic operator on M. The multiplicity of the index of D is a function on the set of irreducible representations of G. Let T be a maximal torus of G with Lie algebra Lie(T). We construct a finite number of piecewise polynomial …
Well-defined formal definitions for sentiment and opinion are extended to incorporate the necessary elements to provide a formal quantitative definition of reputation. This definition takes the form of a time-based index, in which each element is a function of a collection of opinions mined during a given time period. …
We give an explicit formula, as a formal differential operator, for quantum microformal morphisms of (super)manifolds that we introduced earlier. Such quantum microformal morphisms are essentially oscillatory integral operators or Fourier integral operators of a particular kind. They act on oscillatory wave functions, …
We introduce, for every -graded manifold, a formal exponential map defined in a purely algebraic way and study its properties. As an application, we give a simple new construction of a Fedosov type resolution of the algebra of smooth functions of -graded manifolds and we extend the Emmrich--Wein…
The jet formalism for Classical Field theories is extended to the setting of Lie algebroids. We define the analog of the concept of jet of a section of a bundle and we study some of the geometric structures of the jet manifold. When a Lagrangian function is given, we find the equations of motion in terms of a Cartan fo…
We use the supergeometric formalism, more precisely, the so-called "big bracket" (for which brackets and anchors are encoded by functions on some graded symplectic manifold) to address the theory of Jacobi algebroids and bialgebroids (following mainly Iglesias-Marrero and Grabowski-Marmo as a guideline). This formalism…
We consider Laplacians acting on sections of homogeneous vector bundles over symmetric spaces. By using an integral representation of the heat semi-group we find a formal solution for the heat kernel diagonal that gives a generating function for the whole sequence of heat invariants. We argue that the obtained formal s…
We study the Hamiltonian formalisms of the second order degenerate Clèment and Sarıoğlu-Tekin Lagrangians. The Dirac-Bergmann constraint algorithm is employed while arriving at the total Hamiltonian functions and the Hamilton's equations on the associated momemtum phase spaces whereas the Gotay-Nester-Hinds algorithm i…
This paper contains a generalization of the convex ideal case of the Thurston-Andreev theorem when the genus is greater than 1. The heart of the paper concerns taking formal angle data on a surface and ``conformally flowing'' this formal angle data to uniquely associated uniform angle data. This flow turns out to be th…
Develops a new model to optimize trading in markets.
We develop a new method to price SOFR futures contracts considering convexity, skew, and smile.
We establish that Hitchin's connection exist for any rigid holomorphic family of Kahler structures on any compact pre-quantizable symplectic manifold which satisfies certain simple topological constraints. Using Toeplitz operators we prove that Hitchin's connection induces a unique formal connection on smooth functions…
Paper formalizes Simon's satisficing through FFSD, proving its equivalence to expected utility theory.
A general scheme for construction of flat pencils of contravariant metrics and Frobenius manifolds as well as related solutions to WDVV associativity equations is formulated. The advantage is taken from the Rota-Baxter identity and some relation being counterpart of the modified Yang-Baxter identity from the classical …
Unified tensor network formalism for combining neural and symbolic AI.
We show how the tangent functor extends from ordinary smooth maps to "microformal morphisms" (also called "thick morphisms") of supermanifolds. Microformal morphisms generalize ordinary maps and correspond to formal canonical relations between the cotangent bundles specified by generating functions depending on positio…
The paper defines and studies the category of Z-graded manifolds, including their intrinsic structure and formal properties.
We show two results about the Conway potential function which is known as the normalized multivariable Alexander polynomial. We first show that the Conway potential function introduced by Kauffman in "Formal Knot Theory" is indeed a link invariant. Next we show that Kauffman's potential function equals Hartley's potent…
Many learning algorithms have invariances: when their training data is transformed in certain ways, the function they learn transforms in a predictable manner. Here we formalize this notion using concepts from the mathematical field of category theory. The invariances that a supervised learning algorithm possesses are …
Develops Palatini formalism for pseudo-Finsler metrics, recovering classical results.
Study non-formal pseudo-differential operators over formal ones.
The tail of a sequence of formal power series in is the formal power series whose first coefficients agree up to a common sign with the first coefficients of . This paper studies the tail of a sequence of admissible trivalent graphs with edges colored o…
People who design, use, and are affected by autonomous artificially intelligent agents want to be able to \emph{trust} such agents -- that is, to know that these agents will perform correctly, to understand the reasoning behind their actions, and to know how to use them appropriately. Many techniques have been devised …
In this paper, the notion of strongly typed language will be borrowed from the field of computer programming to introduce a calculational framework for linear algebra and tensor calculus for the purpose of detecting errors resulting from inherent misuse of objects and for finding natural formulations of various objects…