Related papers: Normal forms, differentiable conjugacies and eleme…

The literature on concurrency theory offers a wealth of examples of characteristic-formula constructions for various behavioural relations over finite labelled transition systems and Kripke structures that are defined in terms of fixed…

We discuss the convergence problem for coordinate transformations which take a given vector field into Poincar\'e-Dulac normal form. We show that the presence of linear or nonlinear Lie point symmetries can guaranteee convergence of these…

The normal forms up to the third order for a Hopf-steady state bifurcation of a general system of partial functional differential equations (PFDEs) is derived based on the center manifold and normal form theory of PFDEs. This is a…

In this paper we consider families of holomorphic maps defined on subsets of the complex plane, and show that the technique developed in \cite{LSvS1} to treat unfolding of critical relations can also be used to deal with cases where the…

We develop a Thurston-like theory to characterize geometrically finite rational maps, then apply it to study pinching and plumbing deformations of rational maps. We show that in certain conditions the pinching path converges uniformly and…

A new and extensive formalism is developed for monads and galaxies in non-standard enlargements. It is shown that monads and galaxies can be manipulated using order-preserving and order-reversing set-to-set maps, and that set properties…

We propose an extension of the one dimensional (doubling) renormalization operator to the case of maps on the cylinder. The kind of maps considered are commonly referred as quasi-periodic forced one dimensional maps. We prove that the fixed…

We study normal forms for families of area-preserving maps which have a fixed point with neutral multipliers -1 or +1 at epsilon=0. Our study covers both the orientation-preserving and orientation-reversing cases. In these cases Birkhoff…

The results of the renormalization group are commonly advertised as the existence of power law singularities near critical points. The classic predictions are often violated and logarithmic and exponential corrections are treated on a…

In this paper we give a combinatorial description of the renormlization limits of infinitely renormalizable unimodal maps with {\it essentially bounded} combinatorics admitting quadratic-like complex extensions. As an application we…

This article introduces probabilistic disjunctive normal forms (PDNFs) as a framework for representing and reasoning about uncertainty in logical systems. Unlike classical DNFs, PDNFs assign real-valued weights to variables, encoding…

We establish common fixed point theorems for two pairs of weakly compatible self-mappings using an auxiliary function of two variables. Unlike classical results, our theorems do not assume continuity of the mappings and require completeness…

We extend to natural deduction the approach of Linear Nested Sequents and of 2-sequents. Formulas are decorated with a spatial coordinate, which allows a formulation of formal systems in the original spirit of natural deduction -- only one…

We study bifurcations of homoclinic orbits to hyperbolic saddle equilibria in a class of four-dimensional systems which may be Hamiltonian or not. Only one parameter is enough to treat these types of bifurcations in Hamiltonian systems but…

Singular Hopf bifurcation occurs in generic families of vector-fields with two slow variables and one fast variable. Normal forms for this bifurcation depend upon several parameters, and the dynamics displayed by the normal forms is…

Normalizing flows are constructed from a base distribution with a known density and a diffeomorphism with a tractable Jacobian. The base density of a normalizing flow can be parameterised by a different normalizing flow, thus allowing maps…

For a local analytic diffeomorphism of the plane with an irrational elliptic fixed point at 0, we introduce the notion of ``geometric normalization'', which includes the classical formal normalizations as a special case: it is a formal…

A central problem in proof-theory is that of finding criteria for identity of proofs, that is, for when two distinct formal derivations can be taken as denoting the same logical argument. In the literature one finds criteria which are…

The aim of this note is to present some new explicit examples of $O(d,d)$-generalised Leibniz parallelisable spaces arising as the normal bundles of adjoint orbits $\mathcal{O}$ of some semi-simple Lie group $G$. Using this construction, an…

We establish a sufficient condition for a continuous map, acting on a compact metric space, to have a Baire residual set of points exhibiting historic behavior (also known as irregular points). This criterion applies, for instance, to a…