Related papers: On half-synchronized systems
We show that Fatou components of a semi-hyperbolic rational map are John domains and that the converse does not hold. This generalizes a famous result of Carleson, Jones and Yoccoz. We show that a connected Julia set is locally connected…
Ordered, linear, and other substructural type systems allow us to expose deep properties of programs at the syntactic level of types. In this paper, we develop a family of unary logical relations that allow us to prove consequences of…
We show that a partially hyperbolic system can have at most a finite number of compact center-stable submanifolds. We also give sufficient conditions for these submanifolds to exist and consider the question of whether they can intersect…
The spin-1/2 chain with XY anisotropic coupling in the plane and the XX isotropic dimerized chain are shown to be equivalent in the bulk. For finite systems we prove that the equivalence is exact in given parity sectors, after taking care…
We study ergodic properties of partially hyperbolic systems whose central direction is mostly contracting. Earlier work of Bonatti, Viana about existence and finitude of physical measures is extended to the case of local diffeomorphisms.…
Features of synchronization picture in the system with the limit cycle embedded in a three-dimensional phase space are considered. By the example of Ressler system and Dmitriev - Kislov generator under the action of a periodic sequence of…
We give elementary and explicit sufficient conditions (in particular, a functional correlation bound) for deterministic homogenisation (convergence to a stochastic differential equation) for discrete-time fast-slow systems of the form \[…
We introduce normal cores, as well as the more general action cores, in the context of a semi-abelian category, and further generalise those to split extension cores in the context of a homological category. We prove that, if the category…
If the cyclic sequences of {face types} {at} all vertices in a map are the same, then the map is said to be a semi-equivelar map. In particular, a semi-equivelar map is equivelar if the faces are the same type. Homological quantum codes…
Automorphic loops are loops in which all inner mappings are automorphisms. This variety of loops includes groups and commutative Moufang loops. A half-isomorphism $f : G \longrightarrow K$ between multiplicative systems $G$ and $K$ is a…
A function $F$ defined on all subsets of a finite ground set $E$ is quasi-concave if $F(X\cup Y)\geq\min\{F(X),F(Y)\}$ for all $X,Y\subset E$. Quasi-concave functions arise in many fields of mathematics and computer science such as social…
In this paper, we prove two results. First, there is a family of sequences of embedded quarters of the hyperbolic plane such that any sequence converges to a limit which is an end of the hyperbolic plane. Second, there is no algorithm which…
We consider the well-posedness of a class of hyperbolic partial differential equations on a one dimensional spatial domain. This class includes in particular infinite-dimensional networks of transport, wave and beam equations, or even…
Well-graded families, extremal systems and maximum systems (the last two in the sense of VC-theory and Sauer-Shelah lemma on VC-dimension) are three important classes of set systems. This paper aims to study the notion of duality in the…
We show that a functor category whose domain is a colored category is a topos.The topos structure enables us to introduce cohomology of colored categories including quasi-schemoids. If the given colored category arises from an association…
We consider the identification of a nonlinear friction law in a one-dimensional damped wave equation from additional boundary measurements. Well-posedness of the governing semilinear hyperbolic system is established via semigroup theory and…
Looped-functionals have been shown to be relevant for the analysis of a wide variety of systems. However, the conditions obtained in previous works on the analysis of sampled-data, impulsive and switched systems have only been shown to be…
We study the Dirichlet problem for harmonic maps between hyperbolic planes, under the assumption that the Euclidean harmonic extension of the boundary map is quasiconformal.
We give necessary and sufficient condition so that we have d-hypercyclicity for operators who map a holomorphic function to a partial sum of the Taylor expansion. This problem is connected with doubly universal Taylors series and this is an…
If a locally cartesian closed category carries a weak factorisation system, then the left maps are stable under pullback along right maps if and only if the right maps are closed under pushforward along right maps. We refer to this…