Research
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,657 papers · 148 categories

Trend · papers per month

7142027 · May 202619922001200920172026
48 results for coordinate-free calculus

Rust library solves complex equations on abstract simplicial complexes.

problem Solving partial differential equations on abstract simplicial complexes.
method Finite Element Exterior Calculus, intrinsic Riemannian metric, first-order Whitney basis functions.
result Verification through convergence studies on elliptic Hodge-Laplace eigenvalue and source problems.

Secondary Calculus formalizes PDEs using cohomology, simplifying their study.

problem Formalizing and simplifying the study of partial differential equations (PDEs).
method Using cohomology of diffieties to formalize PDEs and their properties.
result Differential calculus on PDE solution spaces is homotopy calculus on horizontal De Rham algebras of diffieties.

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…

2015-09-28abs ↗pdf ↗

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.

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…

2013-02-08abs ↗pdf ↗

In this paper we present a new theory of calculus over kk-dimensional domains in a smooth nn-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…

2006-01-09abs ↗pdf ↗

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…

2012-12-11abs ↗pdf ↗

Paper analyzes Hit-and-Run's convergence rates and applies similar methods to randomized Kaczmarz.

problem Quantifying advantages of Hit-and-Run's coordinate-free property.
method Sharp estimates via coupling methods and mixing time bounds.
result Ballistic and superdiffusive convergence rates in certain settings.

The paper explores deep learning through algebra and geometry, highlighting geometric structures and differential processes.

problem Understanding the geometric and algebraic foundations of deep learning.
method Investigates neural networks from perceptron to transformer, emphasizing geometric structures and differential processes.
result A coordinate-free formulation of backpropagation equations using canonical scalar products on matrix spaces.

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…

2007-02-23abs ↗pdf ↗

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…

2018-08-30abs ↗pdf ↗

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…

2016-02-12abs ↗pdf ↗

The paper explores conditions for Randers metrics to have compatible linear connections.

problem Conditions for Randers metrics to have compatible linear connections.
method Solving constrained optimization problems for tensors.
result Necessary and sufficient conditions for a Randers metric to be a generalized Berwald metric.

New classification of complex hypersurfaces in 3D.

problem Classifying simply-transitive Levi non-degenerate hypersurfaces in C3\mathbb{C}^3.
method Novel Lie algebraic approach, new coordinate-free formula for quartic tensor.
result Unique non-tubular model with geometric relations to planar equi-affine geometry.

A new geometric definition of integration for differential forms.

problem Standard integration definitions are coordinate-dependent and not suitable for certain contexts.
method Uses triangulations and cochains on the pair groupoid to define integration.
result Natural definition in Lie algebroids, stochastic integration, and quantum field theory.

I-BBS identifies latent sub-manifolds from distance matrices, robust to noise.

problem Identifying latent sub-manifolds from distance matrices in high-dimensional spaces.
method Coordinate-free inference using random distance matrix theory and generative noise models.
result Recovering latent geometry from integer-stable signatures of eigenvalues.

The abstract introduces golden Finsler structures and explores their local and global properties.

problem Investigating geometric properties of golden Finsler structures.
method Local and global analysis of golden Finsler structures, including explicit computations and transformations.
result Proved that golden Finsler structures cannot be projectively related.

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…

2011-06-10abs ↗pdf ↗

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…

2007-01-21abs ↗pdf ↗

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…

2000-01-19abs ↗pdf ↗

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…

2014-02-02abs ↗pdf ↗

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…

2014-01-31abs ↗pdf ↗

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…

2015-10-01abs ↗pdf ↗

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…

2009-05-28abs ↗pdf ↗

Survey article analyzes pseudoholomorphic curves on symplectization via contact instantons.

problem Analyzing pseudoholomorphic curves on symplectization.
method Using contact instantons and a coordinate-free covariant tensorial calculus.
result Stronger and more accurate a priori estimates for pseudoholomorphic curves.

Study geometric characterization of asymptotic pseudodifferential calculus on spinor bundles.

problem Geometric characterization of asymptotic pseudodifferential calculus on spinor bundles.
method Groupoid approach to pseudodifferential calculus, rescaled bundle.
result Rescaled bundle provides geometric characterization to 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…

2017-02-27abs ↗pdf ↗

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 …

2008-08-05abs ↗pdf ↗

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,…

2003-03-15abs ↗pdf ↗

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.

2012-11-07abs ↗pdf ↗

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.

2017-08-21abs ↗pdf ↗