arXiv research

We define a new homology theory we call symbol homology by using decorated moduli spaces of Whitney polygons. By decorating different types of moduli spaces we obtain different flavors of this homology theory together with morphisms between them. Each of these flavors encodes the properties of a different type of Heega…

Paper introduces a new symbol map for differential symmetry breaking operators.

We establish some subprincipal estimates for Berezin-Toeplitz operators on symplectic compact manifolds. From this, we construct a family of subprincipal symbol maps and we prove that these maps are the only ones satisfying some expected conditions.

A C*algebra A generated by a class of zero-order classical pseudodifferential operator on a cylinder RxB, where B is a compact riemannian manifold, containing operators with periodic symbols, is considered. A description of the K-theory index map associated to the continuous extension to A of the principal-symbol map i…

ISR creates analytical relationships from data via invertible maps.

We are interested in the study of the space of $n$-ary differential operators denoted by $\mathfrak{D}_{\underlineł,μ}$ where $\underlineł=(ł_{1},...,ł_{n})$ acting on weighted densities from $\frak F_{ł_1}\otimes\frak F_{ł_2}\otimes...\otimes\frak F_{ł_n}$ to $\frak F_μ$ as a module over the orthosymplectic superalgeb…

For phase-space manifolds which are compact Kaehler manifolds relations between the Berezin-Toeplitz quantization and the quantization with the help of Berezin's coherent states and symbols are studied. First the results on the Berezin-Toeplitz quantization of arbitrary compact Kaehler manifolds due to Bordemann, Meinr…

We define the unique (up to normalization) symbol map from the space of linear differential operators on $R^n$ to the space of polynomial on fibers functions on $T^* R^n$, equivariant with respect to the Lie algebra of projective transformations $sl_{n+1}\subset\Vect(R^n)$. We apply the constructed $sl_{n+1}$-invariant…

In a noisy environment, a lossy speech signal can be automatically restored by a listener if he/she knows the language well. That is, with the built-in knowledge of a "language model", a listener may effectively suppress noise interference and retrieve the target speech signals. Accordingly, we argue that familiarity w…

The symbolic dynamics technique is well-known for low-dimensional dynamical systems and chaotic maps, and lies at the roots of the thermodynamic formalism of dynamical systems. Here we show that this technique can also be successfully applied to time series generated by complex systems of much higher dimensionality. Ou…

Let $N$ and $P$ be smooth closed manifolds of dimensions $n$ and $p$ respectively. Given a Thom-Boardman symbol $I$, a smooth map $f:N\to P$ is called an $Ω^{I}$-regular map if and only if the Thom-Boardman symbol of each singular point of $f$ is not greater than $I$ in the lexicographic order. We will represent the gr…

We present the perceptor gradients algorithm -- a novel approach to learning symbolic representations based on the idea of decomposing an agent's policy into i) a perceptor network extracting symbols from raw observation data and ii) a task encoding program which maps the input symbols to output actions. We show that t…

Researchers construct an index map for contact manifolds using K-theory.

Regularity results for geodesic X-ray transform on nonsmooth manifolds

The paper develops a non-transitive Cartan connection for sub-Riemannian manifolds.

We studied rules of transformations of Christoffel symbols under third type almost geodesic mappings in this paper. From this research, we obtained some new invariants of these mappings. These invariants are analogies of Thomas projective parameter and Weyl projective tensor.

We prove the existence and uniqueness of a projectively equivariant symbol map (in the sense of Lecomte and Ovsienko) for the spaces $D_p$ of differential operators transforming p-forms into functions. These results hold over a smooth manifold endowed with a flat projective structure. As an application, we classify the…

We give a unified method for the general equivalence problem of extrinsic geometry, on the basis of our formulation of a general extrinsic geometry as that of an osculating map $\varphi\colon (M,\mathfrak f) \to L/L^0 \subset \operatorname{Flag}(V,φ)$ from a filtered manifold $(M,\mathfrak f)$ to a homogeneous space $L…

Global homotopies upgrade classical map in differential geometry.

We prove the existence and uniqueness of a *projectively equivariant symbol map*, which is an isomorphism between the space of bidifferential operators acting on tensor densities over $R^n$ and that of their symbols, when both are considered as modules over an imbedding of $sl(n+1,\R)$ into polynomial vector fields. Th…

CSML learns causal structures for few-shot learning.

We show that the Borel sums of the Voros symbols considered in the theory of exact WKB analysis arise naturally as Fock-Goncharov coordinates of framed $PGL_2(\mathbb{C})$-local systems on a marked bordered surface. Using this result, we show that these Borel sums can be meromorphically continued to any point of $\math…

Reinforcement learning algorithms can solve dynamic decision-making and optimal control problems. With continuous-valued state and input variables, reinforcement learning algorithms must rely on function approximators to represent the value function and policy mappings. Commonly used numerical approximators, such as ne…

The paper introduces invariants to describe period-doubling routes to chaos in dynamical systems.

SATNet solves the Symbol Grounding Problem, enabling self-supervised learning.

The Atiyah-Singer index theorem is a topological formula for the index of an elliptic differential operator. The topological index depends on a cohomology class that is constructed from the principal symbol of the operator. On contact manifolds, the important Fredholm operators are not elliptic, but hypoelliptic. Their…

Deep neural network generates symbolic equations from data.

We developed a caching method to speed up concept learning in complex knowledge bases.

We give a complete characterization of the relationship between the shape of a Euclidean polygon and the symbolic dynamics of its billiard flow. We prove that the only pairs of tables that can have the same bounce spectrum are right-angled tables that differ by an affine map. The main tool is a new theorem that establi…

The space of m-ary differential operators acting on weighted densities is a (m+1)-parameter family of modules over the Lie algebra of vector fields. For almost all the parameters, we construct a canonical isomorphism between this space and the corresponding space of symbols as sl(2)-modules. This yields to the notion o…

Study uniquely determines Riemannian metric derivatives from boundary data.

This work analyzes tree-based methods from a ranking perspective, providing insights and new statistics.

MusPy is a toolkit for symbolic music generation, providing tools for dataset management and analysis.

Enhances Cox model for survival analysis with symbolic non-linear log-risk functions.

The spaces of linear differential operators on ${\mathbb{R}}^n$ acting on tensor densities of degree $λ$ and the space of functions on $T^*{\mathbb{R}}^n$ which are polynomial on the fibers are not isomorphic as modules over the Lie algebra $\Vect({\mathbb{R}}^n)$ of vector fields on ${\mathbb{R}}^n$. However, these mo…

A new approach to symbol calculus on filtered manifolds using $C^{*}$-algebras.

Agent learns to navigate uncertain 3D maps using a hybrid planner.

We obtain an estimate for the covering dimension of the set of bifurcation points for solutions of nonlinear elliptic boundary value problems from the principal symbol of the linearization of the problem along the trivial branch of solutions.

The paper explores the pentagon relation and its algebraic forms.

Discover equations of motion from distorted video frames.

Constructs graded jet bundles for Z-graded manifolds and vector bundles.

Cosmos models scenes using neural encodings and symbolic attributes for compositional generalization.

In this paper, the elastic Dirichlet-to-Neumann map $Ξ_g$ is studied for the stationary elasticity system in a compact Riemannian manifold $(Ω,g)$ with smooth boundary $\partial Ω$. By overcoming methodological difficulties, we explicitly get matrix-valued full symbol for the elastic Dirichlet-to-Neumann map $Ξ_g$. We …

VaSST uses soft symbolic trees for probabilistic symbolic regression.

We give an explicit formula for the projectively invariant quantization map between the space of symbols of degree three and the space of third-order linear differential operators, both viewed as modules over the group of diffeomorphisms and the Lie algebra of vector fields on a manifold.

We use the symbol calculus for foliations developed in our previous paper to derive a cohomological formula for the Connes-Chern character of the semi-finite spectral triple. The same proof works for the Type I spectral triple of Connes-Moscovici. The cohomology classes of the two Connes-Chern characters induce the sam…

A technique scales symbolic methods with gradients for neural model explanation.

Researchers calculate spectral invariants from Dirichlet-to-Neumann map for Witten-Laplacian with potential.