Related papers: Differential Equation Invariance Axiomatization
Simulations of specifications are introduced as a unification and generalization of refinement mappings, history variables, forward simulations, prophecy variables, and backward simulations. A specification implements another specification…
We study the equivalence problem of submanifolds with respect to a transitive pseudogroup action. The corresponding differential invariants are determined via formal theory and lead to the notions of k-variants and k-covariants, even in the…
Noether's theorem provides a powerful link between continuous symmetries and conserved quantities for systems governed by some variational principle. Perhaps unfortunately, most dynamical systems of interest in neuroscience and artificial…
We derive an exact solution for a simple non-autonomous delay differential equation (DDE) over the entire real-time axis, representing it as a sum of Gaussian-shaped dynamics with distinct peak positions. This marks the first explicit…
We prove a Noether type symmetry theorem to fractional problems of the calculus of variations with classical and Riemann-Liouville derivatives. As result, we obtain constants of motion (in the classical sense) that are valid along the mixed…
We discuss ghost free models of the recently suggested mimetic dark matter theory. This theory is shown to be a conformal extension of Einstein general relativity. Dark matter originates from gauging out its local Weyl invariance as an…
A set $F$ of formulas is complete relative to a given class of logics, if every logic from this class can be axiomatized by formulas from $F$. A set of formulas $F$ is {\L}-complete relative to a given class of logics, if every logic of…
Gravitational effective field theories with nondynamical backgrounds explicitly break diffeomorphism and local Lorentz invariance. At the same time, to maintain observer independence the action describing these theories is required to be…
We study incommensurate fractional variational problems in terms of a generalized fractional integral with Lagrangians depending on classical derivatives and generalized fractional integrals and derivatives. We obtain necessary optimality…
We illustrate how the notion of asymptotic coupling provides a flexible and intuitive framework for proving the uniqueness of invariant measures for a variety of stochastic partial differential equations whose deterministic counterpart…
5D superconformal theories involve vacuum valleys characterized in the simplest case by the vacuum expectation value of a real scalar field. If it is nonzero, conformal invariance is spontaneously broken and the theory is not…
This paper studies the dynamics of families of monotone nonautonomous neutral functional differential equations with nonautonomous operator, of great importance for their applications to the study of the long-term behavior of the…
We prove two completeness results, one for the extension of dependence logic by a monotone generalized quantifier Q with weak interpretation, weak in the meaning that the interpretation of Q varies with the structures. The second result…
This paper introduces a proof calculus for real-analytic differential-algebraic dynamic logic, enabling correct transformations of differential-algebraic equations. Applications include index reductions from differential-algebraic equations…
The adiabatic theorem addresses the dynamics of a target instantaneous eigenstate of a time-dependent Hamiltonian. We use a Feshbach P-Q partitioning technique to derive a closed one-component integro-differential equation. The resultant…
We present a propositional logic to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interval of probability to each event. We give a sound and complete axiomatization…
We generalize P. M. Neumann's Lemma to the setting of isometric actions on metric spaces and use it to prove several results in continuous logic related to algebraic independence. In particular, we show that algebraic independence satisfies…
We prove a DuBois-Reymond necessary optimality condition and a Noether symmetry theorem to the recent quantum variational calculus of Cresson. The results are valid for problems of the calculus of variations with functionals defined on sets…
Independence logic cannot be effectively axiomatized. However, first-order consequences of independence logic sentences can be axiomatized. In this article we give an explicit axiomatization and prove that it is complete in this sense. The…
We make a systematic study of the infinitesimal lifting conditions of a pseudo finite type map of noetherian formal schemes. We recover the usual general properties in this context, and, more importantly, we uncover some new phenomena. We…