Related papers: On perturbations of continuous structures
Following F. William Lawvere, we show that many self-referential paradoxes, incompleteness theorems and fixed point theorems fall out of the same simple scheme. We demonstrate these similarities by showing how this simple scheme encompasses…
We generalise the notion of separable equivalence, originally presented by Linckelmann (2011), to an equivalence relation on additive categories. We use this generalisation to show that from an initial equivalence between two algebras we…
We study conformally invariant boundary conditions that break part of the bulk symmetries. A general theory is developped for those boundary conditions for which the preserved subalgebra is the fixed algebra under an abelian orbifold group.…
The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for…
We prove that all standard subregular language classes are linearly separable when represented by their deciding predicates. This establishes finite observability and guarantees learnability with simple linear models. Synthetic experiments…
An autonomous system of ordinary differential equations in the plane with a centre-saddle bifurcation is considered. The influence of time damped perturbations with power-law asymptotics is investigated. The particular solutions tending at…
We study the question of whether a composite structure of elementary particles, with a length scale $1/\Lambda$, can leave observable effects of non-locality and causality violation at higher energies (but $\lesssim \Lambda$). We formulate…
We present a detailed study of a parametric Lie algebra encompassing the symmetry algebras of various models, both continuous and discrete. This algebraic structure characterizes the isotropic oscillator (with positive, purely imaginary,…
We generalize the notion of saturated order to infinite partial orders and give both a set-theoretic and an algebraic characterization of such orders. We then study the proof theoretic strength of the equivalence of these characterizations…
Continuous mappings between compact Hausdorff spaces can be studied using homomorphisms between algebraic structures (lattices, Boolean algebras) associated with the spaces. This gives us more tools with which to tackle problems about these…
Derived from the concentration-compactness principle, the concept of generalized minimizer can be used to define generalized solutions of variational problems which may have components ``infinitely'' distant from each other. In this article…
An outline of a proof of the decomposition of linear metric perturbations into gauge-invariant and gauge-variant parts on an arbitrary background spacetime which admits ADM decomposition is briefly discussed. We explicitly construct the…
A relational structure $\mathbb{X}$ is called reversible iff each bijective homomorphism from $\mathbb{X}$ onto $\mathbb{X}$ is an isomorphism, and linear orders are prototypical examples of such structures. One way to detect new reversible…
We study scalar perturbations induced by scalar perturbations through the non-linear interaction appearing at second order in perturbations. We derive analytic solutions of the induced scalar perturbations in a perfect fluid. In particular,…
A number of researchers have introduced topological structures on the set of laws of stochastic processes. A unifying goal of these authors is to strengthen the usual weak topology in order to adequately capture the temporal structure of…
This paper focuses on the expressive power of disjunctive and normal logic programs under the stable model semantics over finite, infinite, or arbitrary structures. A translation from disjunctive logic programs into normal logic programs is…
We study several aspects of the regular deformations of completely integrable systems. Namely, we prove the existence of a Hamiltonian normal form for these deformations and we show the necessary and sufficient conditions a perturbation has…
For singular perturbation problems in dynamical systems, various appropriate singular perturbation methods have been proposed to eliminate secular terms appearing in the naive expansion. For example, the method of multiple time scales, the…
Several formal systems, such as resolution and minimal model semantics, provide a framework for logic programming. In this paper, we will survey the use of structural proof theory as an alternative foundation. Researchers have been using…
The stable model semantics had been recently generalized to non-Herbrand structures by several works, which provides a unified framework and solid logical foundations for answer set programming. This paper focuses on the expressiveness of…