Related papers: Higher-Order Linear Differential Equations for Uni…
An algorithm for solving first order ODEs, by systematically determining symmetries of the form [ xi = F(x), eta = P(x) y + Q(x) ], where xi d/dx + eta d/dy is the symmetry generator - is presented. To these {\it linear} symmetries one can…
It is shown that the matrix KP hierarchy can yield new integrable equations in $(2+1)$-dimensions along with the corresponding Lax pair. For particular gauge choice this may result derivative and also a higher order nonlinear extension of…
This is the first installment of an exposition of an ACL2 formalization of elementary linear algebra, focusing on aspects of the subject that apply to matrices over an arbitrary commutative ring with identity, in anticipation of a future…
We extend the classical construction of operator colligations and characteristic functions. Consider the group $G$ of finite block unitary matrices of size $\alpha+\infty+...+\infty$ ($k$ times). Consider the subgroup $K=U(\infty)$, which…
We analyze the set of real and complex Hadamard matrices with additional symmetry constrains. In particular, we link the problem of existence of maximally entangled multipartite states of $2k$ subsystems with $d$ levels each to the set of…
The equations for the critical points of the action functional defined by a Lagrangian depending on higher-order derivatives of admissible curves on a Lie algebroid are found. The relation with Euler-Poincar\'e and Lagrange Poincar\'e type…
To any solution of a linear system of differential equations, we associate a kernel, correlators satisfying a set of loop equations, and in presence of isomonodromic parameters, a Tau function. We then study their semiclassical expansion…
We use a recently found method to characterise all the invertible fourth-order difference equations linear in the extremal values based on the existence of a discrete Lagrangian. We also give some result on the integrability properties of…
We introduce and systematically develop two classes of discrete integrable operators: those with $2\times 2$ matrix kernels and those possessing general differential kernels, thereby generalizing the discrete analogue previously studied. A…
The $\lambda$-calculus is a handy formalism to specify the evaluation of higher-order programs. It is not very handy, however, when one interprets the specification as an execution mechanism, because terms can grow exponentially with the…
Studies of density matrices for random quantum states lead naturally to the fixed trace Laguerre ensemble in random matrix theory. Previous studies have uncovered explicit rational function formulas for moments of purity statistic (trace of…
Line integration of generalized functions is studied. Second order partial differential equations with piecewise continuous and generalized variable coefficients over Cayley-Dickson algebras are investigated. Formulas for integrations of…
This paper deals with the equation $-\Delta u+\mu u=f$ on high-dimensional spaces $\mathbb{R}^m$ where $\mu$ is a positive constant. If the right-hand side $f$ is a rapidly converging series of separable functions, the solution $u$ can be…
In this paper, we study the Euler transform on linear ordinary differential operators on $\mathbb{P}^{1}$. The spectral type is the tuple of integers which count the multiplicities of local formal solutions with the same leading terms. We…
Matrix Riccati equations and other nonlinear ordinary differential equations with superposition formulas are, in the case of constant coefficients, shown to have the same exact solutions as their group theoretical discretizations. Explicit…
We introduce a novel technique for constructing higher-order variational integrators for Hamiltonian systems of ODEs. In particular, we are concerned with generating globally smooth approximations to solutions of a Hamiltonian system. Our…
Unitary 1-matrix models are shown to be exactly equivalent to hermitian 1-matrix models coupled to 2N vectors with appropriate potentials, to all orders in the 1/N expansion. This fact allows us to use all the techniques developed and…
This paper studies the expressive and computational power of discrete Ordinary Differential Equations (ODEs), a.k.a. (Ordinary) Difference Equations. It presents a new framework using these equations as a central tool for computation and…
In this paper, autonomous differential equations type delta of order one on integral domains are defined. For this we will use the autonomous ring defined on the Hurwitz expansion ring of exponential generating functions with coefficients…
Given two systems $P=(P_j(D))_{j=1}^N$ and $Q=(Q_j(D))_{j=1}^M$ of linear partial differential operators with constant coefficients, we consider the spaces ${\mathcal E}_\omega^P$ and ${\mathcal E}_\omega^Q$ of $\omega$-ultradifferentiable…