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

Trend · papers per month

6121824 · May 202619922001200920172026
48 results for snake calculus

Paper studies geometric and combinatorial properties of circular snakes.

problem Exploring geometric and combinatorial properties of circular snakes.
method Definition and investigation of outer Lipschitz geometry, decomposition of Valette link, construction of combinatorial objects, weakly outer Lipschitz classification.
result Existence of canonical decomposition and necessary/sufficient criteria for removing segments or Hölder triangles.

The snake charmer algorithm permits us to deform a piecewise smooth curve starting from the origin in R^d, so that its end follows a given path. When this path is a loop, a holonomy phenomenon occurs. We prove that the holonomy orbits are closed manifolds diffeomorphic to real Stiefel manifolds. A survey of the snake c…

2006-03-27abs ↗pdf ↗

The purpose of this paper is to give a simpler proof to the problem of controllability of a Hilbert snake \cite{PeSa}. Using the action of the Möbius group of the unit sphere on the configuration space, in the context of a separable Hilbert space. We give a generalization of the Theorem of accessibility contained in \c…

2014-12-21abs ↗pdf ↗

A new snake model improves segmentation of SEM images.

problem Efficiently segmenting overlapping electronic structures in SEM images.
method Geodesic tracking on projective line bundle with a geometric criterion for switching between fast spatial snakes and minimizing geodesics.
result Improved robust and automatic segmentation of overlapping electronic structures in SEM images.

We present a new and very concrete connection between cluster algebras and knot theory. This connection is being made via continued fractions and snake graphs. It is known that the class of 2-bridge knots and links is parametrized by continued fractions, and it has recently been shown that one can associate to each con…

2017-10-23abs ↗pdf ↗

Link Floer homology is split into snake complexes and local systems.

problem Classifying link Floer complexes over specific rings.
method Classifying isomorphism and chain homotopy equivalence classes of free chain complexes over a specific ring, then applying these results to link Floer complexes.
result Link Floer complexes split uniquely into snake complexes and local systems.

We show that the Snake on a square SC(S1)SC(S^1) is homotopy equivalent to the space AC(S1)AC(S^1) which was investigated in the previous work by Eda, Karimov and Repov\vs. We also introduce related constructions CSC()CSC(-) and CAC()CAC(-) and investigate homotopical differences between these four constructions. Finally, we explici…

2013-05-27abs ↗pdf ↗

Framework for multi-agent RL with human feedback in a Snake game.

problem Improving multi-agent reinforcement learning with human feedback.
method Developed a simulated game environment for offline model training and online competitions. Introduced HILL methods and reward manipulation heuristics.
result Agents with HILL methods outperform those without in online competitions.

New q-deformed integers help compute Jones polynomials efficiently.

problem Computing Jones polynomials of rational links efficiently.
method Defining q-deformed integers from pairs of coprime integers and using them to compute Jones polynomials.
result Efficient algorithm for computing Jones polynomials of rational links.

Under appropriate assumptions, we generalize the concept of linear almost Poisson struc- tures, almost Lie algebroids, almost differentials in the framework of Banach anchored bundles and the relation between these objects. We then obtain an adapted formalism for mechanical systems which is illustrated by the evolution…

2011-11-25abs ↗pdf ↗

This paper presents a novel approach to the technical analysis of wireheading in intelligent agents. Inspired by the natural analogues of wireheading and their prevalent manifestations, we propose the modeling of such phenomenon in Reinforcement Learning (RL) agents as psychological disorders. In a preliminary step tow…

2018-11-14abs ↗pdf ↗

Recently, it has been shown that the Jones polynomial, in [LS19], and the Alexander polynomial, in [NT18], of rational knots can be obtained by specializing FF-polynomials of cluster variables. At the core of both results are continued fractions, which parameterize rational knots and are used to obtain cluster variabl…

2019-10-22abs ↗pdf ↗

We generalise surface cluster algebras to the case of infinite surfaces where the surface contains finitely many accumulation points of boundary marked points. To connect different triangulations of an infinite surface, we consider infinite mutation sequences. We show transitivity of infinite mutation sequences on tria…

2017-04-06abs ↗pdf ↗

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 ↗

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.

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 ↗

Euler calculus is based on integrating simple functions with respect to the Euler characteristic. This paper makes the case for extending Euler calculus to continuous integrands by integrating with respect to (Gaussian) curvature. This requires a metric but is nevertheless defined within any O-minimal theory. It satisf…

2015-11-01abs ↗pdf ↗

This is a short description of graphic lambda calculus, with special emphasis on a duality suggested by the two different appearances of knot diagrams, in lambda calculus and emergent algebra sectors of the graphic lambda calculus respectively. This duality leads to the introduction of the dual of the graphic beta move…

2013-02-04abs ↗pdf ↗

New algebraic formalism for differential calculus in Diolic algebras.

problem Studying differential calculus in vector bundles.
method Introducing functors of differential calculus over arbitrary graded commutative algebras (DCGCA) and applying this to Diolic algebras.
result Recovery of well-known objects and notions from ordinary differential, symplectic, and Poisson geometry, with unique aspects.

New calculus solves boundary value problems for elliptic operators.

problem Boundary value problems for 0-elliptic operators.
method Developed a new calculus called symbolic 0-calculus to handle boundary value problems.
result Construct left and right parametrices for 0-elliptic operators with boundary conditions.

Following the programme set out in Part I of this work, we develop a conceptual higher order differential calculus. The '' local linear algebra '' defined in Part I is generalized by '' higher order local linear algebra ''. The underlying combinatorial object of such higher algebra is the natural n-dimensional hyper-cu…

2015-10-12abs ↗pdf ↗

This paper was motivated by work of Arnold where he explains how to count "snakes", i.e. Morse functions on the real axis with prescribed behavior at infinity. This leads immediately to a count of excellent Morse functions on the circle, where following Thom's terminology, excellent means that no two critical points li…

2005-12-21abs ↗pdf ↗

Simplified calculus for manifold operators, proving index theorems.

problem Developing calculus for manifold operators and proving index theorems.
method Introducing a simplified pseudo-differential calculus for zero-order operators on manifolds with a tangent Lie structure.
result Proving index theorems for `h-elliptic' operators on manifolds with a tangent Lie structure.

The calculus correspondence has been known to exist between generic pedal evolutions and generic wave front evolutions. In this paper, we first extend the known results on the calculus correspondence to evolutions with multi-parameters, and then give applications of calculus correspondence. Moreover, we discuss the pos…

2012-06-25abs ↗pdf ↗