arXiv research

Paper solves equivalence problems for fifth-order differential operators using Cartan's method.

This article is dedicated to solve the equivalence problem for two third order differential operators on the line under general fiber--preserving transformation using the Cartan method of equivalence. We will do three versions of the equivalence problems: first via the direct equivalence problem, second equivalence pro…

In present paper, the equivalence problem for fourth order differential operators with one variable under general fiber-preserving transformation using the Cartan method of equivalence is applied. Two versions of equivalence problems are considered. First, the direct equivalence problem and second equivalence problem i…

By combining the ideas of Cartan's equivalence method and the method of the equivariant moving frame for pseudo-groups, we develop an efficient method for solving equivalence problems arising from horizontal Lie pseudo-group actions. The key is a pseudo-group analog of the classic result that characterizes congruence o…

We show that for n>2 the following equivalence problems are essentially the same: the equivalence problem for Lagrangians of order n with one dependent and one independent variable considered up to a contact transformation, a multiplication by a nonzero constant, and modulo divergence; the equivalence problem for the s…

Equivalence of second order differential operators in vector bundles studied.

Paper constructs S-equivalent genus one knots distinguishable by Jones polynomial.

Study natural invariants for differential operators, simplifying their equivalence problem.

In this paper we discuss four problems regarding Markov equivalences for subclasses of loopless mixed graphs. We classify these four problems as finding conditions for internal Markov equivalence, which is Markov equivalence within a subclass, for external Markov equivalence, which is Markov equivalence between subclas…

Solves equivalence problem for curves in G(2) flag varieties.

The Cartan's method of equivalence and moving coframe method has been applied to solve the local equivalence problem for KDV-type equations under the action of a pseudo-group of contact transformations. The structure equations, the sets of differential invariants for symmetry groups and equivalent conditions of these e…

Symmetric TSP is structurally equivalent to a constrained Group Steiner Tree Problem.

Solves symplectic and conformal symplectic group actions equivalence problem.

This paper proposes a mechanism to produce equivalent Lipschitz surrogates for zero-norm and rank optimization problems by means of the global exact penalty for their equivalent mathematical programs with an equilibrium constraint (MPECs). Specifically, we reformulate these combinatorial problems as equivalent MPECs by…

The notion of type of a differential 2-form in four variables is introduced and for 2-forms of type < 4, local normal models are given. If the type of a 2-form $Ω$ is 4, then the equivalence under diffeomorphisms of $Ω$ is reduced to the equivalence of a symplectic linear frame functorially attached to $Ω$. As the equi…

Solves Merton's investment-consumption problem with certainty equivalent approach.

Solve Beltrami problem in dimension two

Solves open problem on Lie groupoids equivalence.

The moving coframe method is applied to solve the local equivalence problem for the class of nonlinear wave equations in two independent variables under an action of the pseudo-group of contact transformations. The structure equations and the complete sets of differential invariants for symmetry groups are found. The s…

The moving coframe method is applied to solve the local equivalence problem for the class of linear parabolic equations in two independent variables under an action of the pseudo-group of contact transformations. The structure equations and the complete sets of differential invariants for symmetry groups are found. The…

We solve the local equivalence problem for sub-Riemannian structures on (2n + 1)-dimensional manifolds. We show that two sub-Riemannian structures are locally equivalent if and only if? their corresponding canonical linear connections are equivalent. When n = 1, these connections coincide with the generalized Tanaka-We…

In this paper, we consider an equivalence problem of second order partially differential equations (PDE) and a duality of the flat differential equation. For the equivalence problem, explicit form of invariants (curvatures) are given. We also investigate a duality associated with the flat equation using double fibratio…

The paper solves the equivalence problem for a specific class of ODEs.

Study solves sub-Laplacian equivalence on a specific Heisenberg group.

Let y''' = f(x, y, y', y'') be a 3rd order ODE. By Cartan equivalence method, we will study the local equivalence problem under the transformations group of time-fixed coordinates.

System uses neural networks to prove program equivalence via rewrite rules.

We consider the local equivalence problem for the class of linear second order hyperbolic equations in two independent variables under an action of the pseudo-group of contact transformations. E. Cartan's method is used for finding the Maurer - Cartan forms for symmetry groups of equations from the class and computing …

A variant of Gromov's H{ö}lder-equivalence problem, motivated by a pinching problem in Riemannian geometry, is discussed. A partial result is given. The main tool is a general coarea inequality satisfied by packing energies of maps.

Examines how first-order differential operators can be equivalently transformed.

We shall study the equivalence problem for ordinary differential equations with respect to the affine transformations group.

We use E. Cartan's method to solve the problem of equivalence of the second order ordinary differential equations with respect to the pseudogroup of point transformations.

Given a Lie pseudo-group action, an equivariant moving frame exists in the neighborhood of a submanifold jet provided the action is free and regular. For local equivalence problems the freeness requirement cannot always be satisfied and in this paper we show that, with the appropriate modifications and assumptions, the…

Study natural invariants for third order nonlinear operators on 2D manifolds.

The paper studies differential operator invariants and equivalence under Lie pseudogroups.

This paper solves the equivalence problem for projectivizations of knots in 3D.

Following the Cartans's original method of equivalence supported by methods of parabolic geometry, we provide a complete solution for the equivalence problem of quaternionic contact structures, that is, the problem of finding a complete system of differential invariants for two quaternionic contact manifolds to be loca…

We discuss the local and global problems for the equivalence of geometric structures of an arbitrary order and, in later sections, attention is given to what really matters, namely the equivalence with respect to transformations belonging to a given pseudo-group of transformations. We first give attention to general pr…

We study the contact equivalence problem for toric contact structures on $S^3$-bundles over $S^2$. That is, given two toric contact structures, one can ask the question: when are they equivalent as contact structures while inequivalent as toric contact structures? In general this appears to be a difficult problem. To f…

New forms of multi-marginal POT problem derived for computational efficiency.

This paper is a continuation of Part I where the general setup was developed. Here we discuss the general equivalence problem for geometric structures and provide criteria for the equivalence, local and global, of transitive structures. Cartan's Flag Systems illustrate the theory as a major example and, finally, some a…

We formulate the equivalence problem, in the sense of E. Cartan, for families of minimal rational curves on uniruled projective manifolds. An important invariant of this equivalence problem is the variety of minimal rational tangents. We study the case when varieties of minimal rational tangents at general points form …

The problem of local feedback equivalence for 1-dimensional control systems of the 1-st order is considered. The algebra of differential invariants and criteria for the feedback equivalence for regular control systems are found.

Study finds equivalence between MMV and MV preferences with conic constraints.

Two statistical tasks are shown to have equivalent sample complexity.

We consider a problem of equivalence of generic pairs $(X,V)$ on a manifold $M$, where $V$ is a distribution of rank $m$ and $X$ is a distribution of rank one. We construct a canonical bundle with a canonical frame. We prove that two pairs are equivalent if and only if the corresponding frames are diffeomorphic. As a p…

The problem of feedback equivalence for control systems is considered. An algebra of differential invariants and criteria for the feedback equivalence for regular control systems are found.

Undecidability proved for DG algebras problems.

The equivalence problem for second order ODEs given modulo point transformations is solved in full analogy with the equivalence problem of nondegenerate 3-dimensional CR structures. This approach enables an analog of the Feffereman metrics to be defined. The conformal class of these (split signature) metrics is well de…