arXiv research

In this paper the notion of an M-th order invariant bilinear differential pairing is introduced and a formal definition is given. If the manifold has an AHS structure, then various first order pairings are constructed. This yields a classification of all first order invariant bilinear differential pairings on homogeneo…

We give a classification of $1^{st}$ order invariant differential operators acting between sections of certain bundles associated to Cartan geometries of the so called metaplectic contact projective type. These bundles are associated via representations, which are derived from the so called higher symplectic, harmonic …

We describe the algebra of finite order invariants on the set of all $(n,2)$-torus knots.

Develops a new calculus for contact structures on manifolds.

We introduce and study new invariants associated with Laplace type elliptic partial differential operators on manifolds. These invariants are constructed by using the off-diagonal heat kernel; they are not pure spectral invariants, that is, they depend not only on the eigenvalues but also on the corresponding eigenfunc…

We classify all finite order invariants of immersions of a closed orientable surface into R^3, with values in any Abelian group. We show that they are all functions of order one invariants.

This thesis is concerned with the theory of invariant bilinear differential pairings on parabolic geometries. It introduces the concept formally with the help of the jet bundle formalism and provides a detailed analysis. More precisely, after introducing the most important notations and definitions, we first of all giv…

We deduce from the work of Chen, that the restriction morphism from closed free iterated integrals to closed iterated integrals on loops is onto. We use this to show that the module of higher order invariants of smooth functions is generated by free closed iterated integrals.

kth-order invariant graph networks are as powerful as kth-order WL in distinguishing graphs.

Let $M$ be a connected smooth manifold, let $\operatorname{Aut}(p)$ be the group automorphisms of the bundle $p\colon \mathbb{R}\times M\to \mathbb{R}$, and let $q\colon J^1(\mathbb{R},M)\times \mathbb{R\to }J^1(\mathbb{R},M)$ be the canonical projection. Invariant functions on $J^r(q)$ under the natural action of $\op…

The unique third-order invariant variational equation in three-dimensional (pseudo)Euclidean space is derived.

We show that order-invariant injective maps on the noncompactly causal symmetric space $SO_0 (1,n)/SO_0 (1,n-1)$ belong to $O(1,n)^+$.

A new method for MIR in remote sensing without assuming a prime instance per bag.

We study finite order invariants of null-homotopic immersions of a closed orientable surface into an aspherical orientable 3-manifold. We give the foundational constructions, and classify all order one invariants.

We study the second order invariants of a Lorentzian surface in $\mathbb{R}^{2,2},$ and the curvature hyperbolas associated to its second fundamental form. Besides the four natural invariants, new invariants appear in some degenerate situations. We then introduce the Gauss map of a Lorentzian surface and give an extrin…

Regular homotopy classes of immersions of a 3-sphere in 5-space constitute an infinite cyclic group. The classes containing embeddings form a subgroup of index 24. The obstruction for a generic immersion to be regularly homotopic to an embedding is described in terms of geometric invariants of its self intersection. Ge…

Formula connects surface and curve invariants via slice transitions.

We show that for a big class of contact manifolds the groups of order $\leq n$ invariants (with values in an arbitrary Abelian group) of Legendrian, of transverse and of framed knots are canonically isomorphic. On the other hand for an arbitrary cooriented contact structure on $S^1\times S^2$ with the nonzero Euler cla…

First order invariants of generic immersions of manifolds of dimension nm-1 into manifolds of dimension n(m+1)-1, m,n>1 are constructed using the geometry of self-intersections. The range of one of these invariants is related to Bernoulli numbers. As by-products some geometrically defined invariants of regular homotopy…

This study defines finite-type invariants for curves on surfaces and reveals the construction of these finite-type invariants for stable homeomorphism classes of curves on compact oriented surfaces without boundaries. These invariants are a higher-order generalisation of a part of Arnold's invariants that are first-ord…

Study local equivalence of Riemannian submersions using differential invariants.

We are concerned with orderable groups and particularly those with orderings invariant not only under multiplication, but also under a given automorphism or family of automorphisms. Several applications to topology are given: we prove that the fundamental groups of hyperbolic nonorientable surfaces, and the groups of c…

Study proves higher-order conformal forms don't exist in odd dimensions.

In this paper we prescribe a fourth order conformal invariant on the standard $n-$sphere, with $n\geq5$, and study the related fourth order elliptic equation. We first find some existence results in the perturbative case. After some blow up analysis we build a homotopy to pass from the perturbative case to the non-pert…

Deep reinforcement learning (DRL) has gained a lot of attention in recent years, and has been proven to be able to play Atari games and Go at or above human levels. However, those games are assumed to have a small fixed number of actions and could be trained with a simple CNN network. In this paper, we study a special …

We prove that any planar 4-web defines a unique projective structure in the plane in such a way that the leaves of the foliations are geodesics of this projective structure. We also find conditions for the projective structure mentioned above to contain an affine symmetric connection, and conditions for a planar 4-web …

Curved loxodromes on spheres are explained and their ODE derived.

Let $M$ be a smooth manifold of dimension $2n$, and let $O_{M}$ be the dense open subbundle in $\wedge^{2}T^{\ast}M$ of $2$-covectors of maximal rank. The algebra of $\operatorname*{Diff}M$-invariant smooth functions of first order on $O_{M}$ is proved to be isomorphic to the algebra of smooth $Sp(Ω_{x})$-invariant fun…

Finite-order invariants of knots in arbitrary 3-manifolds (including non-orientable ones) are constructed and studied by methods of the topology of discriminant sets. Obstructions to the integrability of admissible weight systems to well-defined knot invariants are identified as 1-dimensional cohomology classes of gene…

New methods compute Alexander polynomials for complex knots.

Based on a recently introduced by the author notion of {\em parity}, in the present paper we construct a sequence of invariants (indexed by natural numbers $m$) of long virtual knots, valued in certain simply-defined group ${\tilde G}_{m}$ (the Cayley graphs of these groups are represented by grids in the $(m+1)$-space…

All second order scalar differential invariants of symplectic hyperbolic and elliptic Monge-Ampère equations with respect to symplectomorphisms are explicitly computed. In particular, it is shown that the number of independent second order invariants is equal to 7, in sharp contrast with general Monge-Ampère equations …

New graph neural networks can distinguish graphs better than previous models.

In (exploratory) factor analysis, the loading matrix is identified only up to orthogonal rotation. For identifiability, one thus often takes the loading matrix to be lower triangular with positive diagonal entries. In Bayesian inference, a standard practice is then to specify a prior under which the loadings are indepe…

Match van Stockum dust to vacuum metrics with a single parameter.

We construct a family of canonical connections and surrounding basic theory for almost complex manifolds that are equipped with an affine connection. This framework provides a uniform approach to treating a range of geometries. In particular we are able to construct an invariant and efficient calculus for conformal alm…

We classify all order one invariants of immersions of a closed orientable surface F into R^3, with values in an arbitrary Abelian group G. We show that for any F and G and any regular homotopy class A of immersions of F into R^3, the group of all order one invariants on A is isomorphic to G^\aleph_0 \oplus B \oplus B w…

A few years ago N.A'Campo invented a construction of a link from a real curve immersed into a disk. In the case of the curve originating from the real morsification method the link is isotopic to the link of the corresponding singularity. There are some curves which do not occur in the singularity theory. In this artic…

Defines new link-homotopy invariants using Milnor's higher order link invariants.

A novel transformer model improves classification of partially ordered sequences.

Framework learns sentence order from paragraphs using attention and transformer networks.

We show how to measure the failure of the Whitney trick in dimension 4 by constructing higher- order intersection invariants of Whitney towers built from iterated Whitney disks on immersed surfaces in 4-manifolds. For Whitney towers on immersed disks in the 4-ball, we identify some of these new invariants with previous…

The paper finds multiple ways a special curvature can blow up in high dimensions.

We describe some regular techniques of calculating finite degree invariants of triple points free smooth plane curves $S^1 \to R^2$. They are a direct analog of similar techniques for knot invariants and are based on the calculus of {\em triangular diagrams} and {\em connected hypergraphs} in the same way as the calcul…

Graph isomorphism can be tested using GNNs, proving their expressive power.

DeepNovoV2 improves de novo peptide sequencing from mass spectrometry data.

Integrable nets described with curvature relations to pseudospherical surfaces.

In the 1950's Milnor defined a family of higher order invariants generalizing the linking number. Even the first of these new invariants, the triple linking number, has received and fruitful study since its inception. In the case that $L$ has vanishing pairwise linking numbers, this triple linking number gives an integ…