arXiv research

We show that formal isomorphism of intransitive linear Lie equations along transversal to the orbits can be extended to neighborhoods of these transversal. In analytic cases, the word formal is dropped from theorems. Also, we associate an intransitive Lie algebra with each intransitive linear Lie equation, and from the…

Classifies Lie symmetry algebras for 2D quasilinear equations, linking symmetry to linearity.

Unified determinants via a single equation.

Efficiently solves inverse PDE problems with Gaussian processes.

We show that classical Wilczynski--Se-ashi invariants of linear systems of ordinary differential equations are generalized in a natural way to contact invariants of non-linear ODEs. We explore geometric structures associated with equations that have vanishing generalized Wilczynski invariants and establish relationship…

Reconstructing signature features from randomized vector fields in differential equations.

We develop an approach to construct Poisson algebras for non-linear scalar field theories that is based on the Cahiers topos model for synthetic differential geometry. In this framework the solution space of the field equation carries a natural smooth structure and, following Zuckerman's ideas, we can endow it with a p…

Characterizes algebraic integrability and minimality of Lie equations for non-commutative pseudogroups.

Despite their popularity, many questions about the algebraic constraints imposed by linear structural equation models remain open problems. For causal discovery, two of these problems are especially important: the enumeration of the constraints imposed by a model, and deciding whether two graphs define the same statist…

Many equations of mathematical physics are described by differential polynomials, that is by polynomials in the derivatives of a certain number of functions. However, up to the knowledge of the author, differential algebra in a modern setting has never been applied to study the specific algebraic feature of such equati…

Methods from learning theory are used in the state space of linear dynamical and control systems in order to estimate the system matrices. An application to stabilization via algebraic Riccati equations is included. The approach is illustrated via a series of numerical examples.

Graphical notation simplifies complex polynomial constraints in linear models.

We study algebraic varieties of ReLU networks to understand their representable functions.

CoLA automates efficient numerical linear algebra for complex matrix structures.

Capacity control, the bias/variance dilemma, and learning unknown functions from data, are all concerned with identifying effective and consistent fits of unknown geometric loci to random data points. A geometric locus is a curve or surface formed by points, all of which possess some uniform property. A geometric locus…

The linearizability of differential equations was first considered by Lie for scalar second order semi-linear ordinary differential equations. Since then there has been considerable work done on the algebraic classification of linearizable equations and even on systems of equations. However, little has been done in the…

We algorithmically construct multi-output Gaussian process priors which satisfy linear differential equations. Our approach attempts to parametrize all solutions of the equations using Gröbner bases. If successful, a push forward Gaussian process along the paramerization is the desired prior. We consider several exampl…

Study on nilpotent Lie algebras with specific metrics.

The paper finds formulas for flat models of certain Lie algebras.

Petr Novotný and Jiřĺ Hrivnák \cite{Nov} investigated generalize the concept of Lie derivations via certain complex parameters and obtained various Lie and Jordan operator algebras as well as two one- parametric sets of linear operators. Moreover, they established the structure and properties of $(α,β,γ)-$derivations o…

We prove that the set of non-degenerate second order maximally superintegrable systems in the complex Euclidean plane carries a natural structure of a projective variety, equipped with a linear isometry group action. This is done by deriving the corresponding system of homogeneous algebraic equations. We then solve the…

In this paper, we consider an obstruction to asymptotic Chow-semistability of a polarized Kaehler algebraic manifold. Even when a linear algebraic group of positive dimension acts nontrivially and holomorphically on a polarized Kaehler algebraic manifold with constant scalar curvature, the vanishing of the obstruction …

The paper studies hyperbolic equations in a spacetime foliation, proving existence and uniqueness.

The Cartan equivalence method is utilized to deduce an invariant characterization of the scalar third-order ordinary differential equation $u'"=f(x,u,u',u")$ which admits the maximal seven-dimensional point symmetry Lie algebra. The method provides auxiliary functions which can be used to efficiently obtain the point t…

AIDN uses deep learning to represent algebraic structures.

A linear Lie rack structure on a finite dimensional vector space $V$ is a Lie rack operation $(x,y)\mapsto x\rhd y$ pointed at the origin and such that for any $x$, the left translation $\mathrm{L}_x:y\mapsto \mathrm{L}_x(y)= x\rhd y$ is linear. A linear Lie rack operation $\rhd$ is called analytic if for any $x,y\in V…

These lecture notes provide a self-contained introduction to the mathematical methods required in a Bachelor degree programme in Business, Economics, or Management. In particular, the topics covered comprise real-valued vector and matrix algebra, systems of linear algebraic equations, Leontief's stationary input-output…

Representations of coherent state Lie algebras on coherent state manifolds as first order differential operators are presented. The explicit expressions of the differential action of the generators of semisimple Lie groups determine for linear Hamiltonians in the generators of the groups first order differential equati…

We prove that many aspects of the differential geometry of embedded Riemannian manifolds can be formulated in terms of a multi-linear algebraic structure on the space of smooth functions. In particular, we find algebraic expressions for Weingarten's formula, the Ricci curvature and the Codazzi-Mainardi equations.

Second-order superintegrable systems in dimensions two and three are essentially classified. With increasing dimension, however, the non-linear partial differential equations employed in current methods become unmanageable. Here we propose a new, algebraic-geometric approach to the classification problem - based on a p…

Neural network factorization speeds up Vlasov equation simulations.

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…

In symmetric cones, a non-empty locus satisfies the WDVV equation, generalizing previous results.

This note is devoted to partial study of recurrent equation $dω=β\wedge ω$, based on linear algebra of exterior forms. Such equation was considered by Lee, for non-degenerate 2-form. In this note we approach general case, when $ω$ is arbitrary. Particularly, we extend results obtained by Lee, on odd-forms.

Symmetric Poisson structures linked to geodesic foliations and Jordan algebras.

We formulate a method of computing invariant 1-forms and structure equations of symmetry pseudo-groups of differential equations based on Cartan's method of equivalence and the moving coframe method introduced by Fels and Olver. Our apparoach does not require a preliminary computation of infinitesimal defining systems,…

Starting from suitable tableaux over finite dimensional Lie algebras, we provide a scheme for producing involutive linear Pfaffian systems related to various classes of submanifolds in homogeneous spaces which constitute integrable systems. These include isothermic surfaces, Willmore surfaces, and other classical solit…

We compute symmetry algebras of a system of two equations y^(k)=z^(l)=0, where 2<=k<l. It appears that there are many ways to convert such system of ODEs to an exterior differential system. They lead to different series of finite-dimensional symmetry algebras. For example, for (k,l)=(2,3) we get two non-isomorphic symm…

We first discuss the problems in the theory of ordinary differential equations that gave rise to the concept of a flag system and illustrate these with the Cartan criterion for Monge equations (1st order) as well as the Cartan statement concerning the local equivalence of Monge-Ampère type equations (2nd order). Next, …

A notion of implicit difference equation on a Lie groupoid is introduced and an algorithm for extracting the integrable part (backward or/and forward) is formulated. As an application, we prove that discrete Lagrangian dynamics on a Lie groupoid $G$ may be described in terms of Lagrangian implicit difference equations …

New proof for unique semi-symmetric compatible linear connection on Finsler manifolds.

We establish a Kobayashi-Hitchin correspondence for the stable Higgs sheaves on a compact Kaehler manifold. Using it, we also obtain a Kobayashi-Hitchin correspondence for the stable Higgs G-sheaves, where G is any complex reductive linear algebraic group.

In this paper, we investigate the non-linear Black--Scholes equation: $u_t+ax^2u_{xx}+bx^3u_{xx}^2+c(xu_x-u)=0,\quad a,b>0,\ c\geq0.$ and show that the one can be reduced to the equation $u_t+(u_{xx}+u_x)^2=0$ by an appropriate point transformation of variables. For the resulting equation, we study the group-theore…

New integrable matrix PDEs derived from Frölicher-Nijenhuis brackets.

Efficient algorithms decide algebraic constraints of causal graphs.

The Schlesinger equations $S_{(n,m)}$ describe monodromy preserving deformations of order $m$ Fuchsian systems with $n+1$ poles. They can be considered as a family of commuting time-dependent Hamiltonian systems on the direct product of $n$ copies of $m\times m$ matrix algebras equipped with the standard linear Poisson…

We describe the elements of a novel structural approach to classical field theory, inspired by recent developments in perturbative algebraic quantum field theory. This approach is local and focuses mainly on the observables over field configurations, given by certain spaces of functionals which are studied here in dept…

We present a geometric setting for the differential Galois theory of $G$-invariant connections with parameters. As an application of some classical results on differential algebraic groups and Lie algebra bundles, we see that the Galois group of a connection with parameters with simple structural group $G$ is determine…