Related papers: Differential Equation Invariance Axiomatization
We identify conditions giving large natural classes of partial differential operators for which it is possible to construct a complete set of Laplace invariants. In order to do that we investigate general properties of differential…
Ermakov systems possessing Noether point symmetry are identified among the Ermakov systems that derive from a Lagrangian formalism and, the Ermakov invariant is shown to result from an associated symmetry of dynamical character. The Ermakov…
We develop a new framework of uncertainty variables to model uncertainty. An uncertainty variable is characterized by an uncertainty set, in which its realization is bound to lie, while the conditional uncertainty is characterized by a set…
Four-dimensional Einstein gravity in the Palatini first order formalism is shown to possess a vector supersymmetry of the same type as found in the topological theories for Yang-Mills fields. A peculiar feature of the gravitational theory,…
We obtain characterizations of nonuniform dichotomies, defined by general growth rates, based on admissibility conditions. Additionally, we use the obtained characterizations to derive robustness results for the considered dichotomies. As…
This paper is devoted to proving the differential invariance of the multiplicity of real and complex analytic sets. In particular, we prove the real version of Gau-Lipman's Theorem, i.e., it is proved that the multiplicity mod 2 of real…
Choice functions constitute a simple, direct and very general mathematical framework for modelling choice under uncertainty. In particular, they are able to represent the set-valued choices that appear in imprecise-probabilistic decision…
We introduce an axiomatization for the notion of computation. Based on the idea of Brouwer choice sequences, we construct a model, denoted by $E$, which satisfies our axioms and $E \models \mathrm{ P \neq NP}$. In other words, regarding…
We find the symmetry generators for the Friedman equations emanating from a perfect fluid source, in the presence of a cosmological constant term. The relevant dynamics is seen to be governed by two coupled, first order ordinary…
When the Euler equations for shallow water are taken to the next order, beyond KdV, momentum and energy are no longer exact invariants. (The only one is mass.) However, adiabatic invariants (AI) can be found. When the KdV expansion…
In a recent paper (arXiv:1106.4546), we introduced "dynamical dark matter," a new framework for dark-matter physics, and outlined its underlying theoretical principles and phenomenological possibilities. Unlike most traditional approaches…
A class of generalized Galileon cosmological models, which can be described by a point-like Lagrangian, is considered in order to utilize Noether's Theorem to determine conservation laws for the field equations. In the…
In this paper, ordinary and exponential dichotomies are defined in differential equations with equations with piecewise constant argument of general type. We prove the asymptotic equivalence between the bounded solutions of a linear system…
We investigate a recently-devised polyhedral semantics for intermediate logics, in which formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally complete if it is complete with respect to some class of…
We propose fundamental scale invariance as a new theoretical principle beyond renormalizability. Quantum field theories with fundamental scale invariance admit a scale-free formulation of the functional integral and effective action in…
We propose a new notion of Partial Inertial Manifold to study the long-time asymptotic behavior of dissipative differential equations. As shown on an example, such manifolds may exist in the cases when the classical Inertial manifold does…
In a differential approach elaborated, we study the evolution of the parameters of Gaussian, mixed, continuous variable density matrices, whose dynamics are given by Hermitian Hamiltonians expressed as quadratic forms of the position and…
The strength of fluctuations, as measured by their variance, is paramount in the quantitative description of a large class of physical systems, ranging from simple and complex liquids to active fluids and solids. Fluctuations originate from…
We consider the Lagrangian formulation with duplicated variables of dissipative mechanical systems. The application of Noether theorem leads to physical observable quantities which are not conserved, like energy and angular momentum, and…
We introduce here a new axiomatisation of the rational fragment of the ZX-calculus, a diagrammatic language for quantum mechanics. Compared to the previous axiomatisation introduced in [8], our axiomatisation does not use any metarule , but…