Rust library solves complex equations on abstract simplicial complexes.
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.
Trend · papers per month
Secondary Calculus formalizes PDEs using cohomology, simplifying their study.
We introduce a method for evaluating integrals in geometric calculus without introducing coordinates, based on using the fundamental theorem of calculus repeatedly and cutting the resulting manifolds so as to create a boundary and allow for the existence of an antiderivative at each step. The method is a direct general…
Mathematical framework for field theories on Finsler spacetimes.
Families of objects appear in several contexts, like algebraic topology, theory of deformations, theoretical physics, etc. An unified coordinate-free algebraic framework for families of geometrical quantities is presented here, which allows one to work without introducing ad hoc spaces, by using the language of differe…
In this paper we present a new theory of calculus over -dimensional domains in a smooth -manifold, unifying the discrete, exterior, and continuum theories. The calculus begins at a single point and is extended to chains of finitely many points by linearity, or superposition. It converges to the smooth continuum w…
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…
New method uses image registration to recover complex signals from amplitude data.
We discuss two generalizations of the inverse problem of the calculus of variations, one in which a given mechanical system can be brought into the form of Lagrangian equations with non-conservative forces of a generalized Rayleigh dissipation type, the other leading to Lagrangian equations with so-called gyroscopic fo…
Paper analyzes Hit-and-Run's convergence rates and applies similar methods to randomized Kaczmarz.
These lecture notes are based on [arXiv: math/0702714, 0907.4469, 0907.4470]. We introduce and study basic aspects of non-Euclidean geometries from a coordinate-free viewpoint.
The paper explores deep learning through algebra and geometry, highlighting geometric structures and differential processes.
In these notes we study the Dirichlet problem for critical points of a convex functional of the form \[ F(u)=\int_Ωφ\left( \left\vert \nabla u\right\vert \right) , \] where is a bounded domain of a complete Riemannian manifold We also study the asymptotic Dirichlet problem when is a C…
This paper is devoted to a coordinate-free approach to several classic geometries such as hyperbolic (real, complex, quaternionic), elliptic (spherical, Fubini-Study), and lorentzian (de Sitter, anti de Sitter) ones. These geometries carry a certain simple structure that is in some sense stronger than the riemannian st…
Most neural networks are trained using first-order optimization methods, which are sensitive to the parameterization of the model. Natural gradient descent is invariant to smooth reparameterizations because it is defined in a coordinate-free way, but tractable approximations are typically defined in terms of coordinate…
We explain how Itô Stochastic Differential Equations (SDEs) on manifolds may be defined using 2-jets of smooth functions. We show how this relationship can be interpreted in terms of a convergent numerical scheme. We show how jets can be used to derive graphical representations of Itô SDEs. We show how jets can be used…
We review the actions of the supergravity theory in eleven dimensions as well as the type IIA and IIB supergravities in ten dimensions and derive the bosonic equations of motion in a coordinate-free notation. We also consider the existence of supersymmetries and the associated generalized Killing spinor equations. The …
We give an intrinsic (coordinate-free) construction of the tangent groupoid of a filtered manifold.
We provide an intrinsic description of the notion of modular class for an even symplectic manifold and study its properties in this coordinate free setting.
The paper explores conditions for Randers metrics to have compatible linear connections.
New classification of complex hypersurfaces in 3D.
A new geometric definition of integration for differential forms.
Formalizes quantum path integrals using groupoids and differential forms.
I-BBS identifies latent sub-manifolds from distance matrices, robust to noise.
The abstract introduces golden Finsler structures and explores their local and global properties.
We investigate the Berezin integral of non-compactly supported quantities. In the framework of supermanifolds with corners, we give a general, explicit and coordinate-free repesentation of the boundary terms introduced by an arbitrary change of variables. As a corollary, a general Stokes's theorem is derived - here, th…
Frobenius manifold structures on the spaces of abelian integrals were constructed by I. Krichever. We use D-modules, deformation theory, and homological algebra to give a coordinate-free description of these structures. It turns out that the tangent sheaf multiplication has a cohomological origin, while the Levi-Civita…
For non-compact manifolds with boundary we prove that bounded geometry defined by coordinate-free curvature bounds is equivalent to bounded geometry defined using bounds on the metric tensor in geodesic coordinates. We produce a nice atlas with subordinate partition of unity on manifolds with boundary of bounded geomet…
We prove in a simple and coordinate-free way the equivalence bteween the classical definitions of the mass or the center of mass of an asymptotically flat manifold and their alternative definitions depending on the Ricci tensor and conformal Killing fields. This enables us to prove an analogous statement in the asympto…
By attaching a Lie algebra of germs of analytic vector fields to every point of a (real or complex) analytic variety V we construct the Nagano foliation of the variety. We prove that the Nagano foliation of V is a stratification. The treatment of the subject is totally coordinate free but relies on the Oka-Cartan-Serre…
In this paper, we derive the first and the second variation of the energy functional for a pseudo-Finsler metric using the family of affine connections associated to the Chern connection. This opens the possibility to accomplish computations with coordinate-free methods. Using the second variation formula, we introduce…
Study embedding calculus and link invariants using functor calculus.
We give a necessary and sufficient condition for a non-degenerate symmetric 3-differential with nonzero Blaschke curvature on a complex surface to be locally representable as a product of three closed holomorphic 1-forms. We give two versions of this condition corresponding to different choices of coordinates, one of w…
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…
Survey article analyzes pseudoholomorphic curves on symplectization via contact instantons.
Embedding calculus proves convergence for surfaces.
Study geometric characterization of asymptotic pseudodifferential calculus on spinor bundles.
We explain that general differential calculus and Lie theory have a common foundation: Lie Calculus is differential calculus, seen from the point of view of Lie theory, by making use of the groupoid concept as link between them. Higher order theory naturally involves higher algebra (n-fold groupoids).(conceptual, topol…
We propose a definition of center of mass for asymptotically flat manifolds satisfying Regge-Teitelboim condition at infinity. This definition has a coordinate-free expression and natural properties. Furthermore, we prove that our definition is consistent both with the one proposed by Corvino and Schoen and another by …
In a coordinate free form are found the (deviation) equations satisfied by the (infinitesimal) deviation vector, relative velocity, relative momentum, relative acceleration and relative energy of two point particles in a differentiable manifold the tangent bundle of which is endowed with a linear transport along paths,…
In arXiv:1207.0332 [cs.LO] was proposed a graphic lambda calculus formalism, which has sectors corresponding to untyped lambda calculus and emergent algebras. Here we explore the sector covering knot diagrams, which are constructed as macros over the graphic lambda calculus.
Extends differential calculus to triole algebras.
Introduces tractors for basic examples and modern differential calculus.
A diagrammatic language for 3D manifolds with boundary.
Unified Lie structures in homotopy and isotopy calculus.
We examine the N-Koszul calculus for the N-symmetric algebras. The case N=2 corresponds to the Elie Cartan calculus. We conjecture that, as in the case N=2, the N-Cartan calculus extends to manifolds when N>2, which would provide a new type of noncommutative differential geometry.
This paper is concerned with pseudodifferential calculus on manifolds with fibred corners. Following work of Connes, Monthubert, Skandalis and Androulidakis, we associate to every manifold with fibred corners a longitudinally smooth groupoid which algebraic and differential structure is explicitely described. This grou…
This memoir deals with the hypoelliptic calculus on Heisenberg manifolds, or Heisenberg calculus. The Heisenberg manifolds generalize CR and contact manifolds and in this context the main differential operators at stake include the Hörmander's sum of squares, the Kohn Laplacian, the horizontal sublaplacian and its conf…