Related papers: Superposition rules and second-order Riccati equat…

The propagation of general electronic quantum states provides information of the interaction of molecular systems with external driving fields. These can also offer understandings regarding non-adiabatic quantum phenomena. Well established…

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…

We designed a superposition calculus for a clausal fragment of extensional polymorphic higher-order logic that includes anonymous functions but excludes Booleans. The inference rules work on $\beta\eta$-equivalence classes of…

We demonstrate a kind of linear superposition for a large number of nonlinear equations, both continuum and discrete. In particular, we show that whenever a nonlinear equation admits solutions in terms of Jacobi elliptic functions…

In this paper we show that an arbitrary solution of one ordinary difference equation is also a solution for a hierarchy of integrable difference equations. We also provide an example of such a solution that is related to sequence generated…

The notion of viscosity solutions of scalar fully nonlinear partial differential equations of second order provides a framework in which startling comparison and uniqueness theorems, existence theorems, and theorems about continuous…

Poisson-Lie duality is a generalization of abelian and non-abelian T-duality, and it can be viewed as a map between solutions of the low-energy effective equations of string theory, i.e. at the (super)gravity level. We show that this fact…

The constraints arising for a general set of causal relations, both classically and quantumly, are still poorly understood. As a step in exploring this question, we consider a coherently controlled superposition of "direct-cause" and…

We introduce LAM, a subsystem of IMALL2 with restricted additive rules able to manage duplication linearly, called linear additive rules. LAM is presented as the type assignment system for a calculus endowed with copy constructors, which…

If one takes seriously the postulate of quantum mechanics in which physical states are rays in the standard Hilbert space of the theory, one is naturally lead to a geometric formulation of the theory. Within this formulation of quantum…

This paper introduces the order-theoretic concept of lattices along with the concept of consistent quantification where lattice elements are mapped to real numbers in such a way that preserves some aspect of the order-theoretic structure.…

Monadic second order logic is the expansion of first order logic by quantifiers ranging over unary relations. We study the shared monadic second order theory of finite linear orders, i.e. the pseudofinite monadic second order theory of…

Quantum theory allows for the superposition of causal orders between operations, i.e., for an indefinite causal order; an implication of the principle of quantum superposition. Since a higher theory might also admit this feature, an…

This paper discusses the method of formative rules for first-order term rewriting, which was previously defined for a higher-order setting. Dual to the well-known usable rules, formative rules allow dropping some of the term constraints…

Quadratic algebras are generalizations of Lie algebras; they include the symmetry algebras of 2nd order superintegrable systems in 2 dimensions as special cases. The superintegrable systems are exactly solvable physical systems in classical…

Conventional finite-difference schemes for solving partial differential equations are based on approximating derivatives by finite-differences. In this work, an alternative theory is proposed which view finite-difference schemes as…

In the theory of the hypercomplex, the laws governing the algebra are based on units that are naturally associated with an orthogonal vector space, a requirement that is far from mandatory in many algebraic formulations arising in the…

A Lie system is a system of differential equations describing the integral curves of a $t$-dependent vector field taking values in a finite-dimensional real Lie algebra of vector fields, a Vessiot-Guldberg Lie algebra. We define and analyze…

Riccati's differential equation is formulated as abstract equation in finite or infinite dimensional Banach spaces. Since the Riccati's differential equation with the Cole-Hopf transform shows a relation between the first order evolution…

Fiore and Hur recently introduced a conservative extension of universal algebra and equational logic from first to second order. Second-order universal algebra and second-order equational logic respectively provide a model theory and a…