Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userA Note On Compliance Relations And Fixed Points
79
0
0.0
(
0
)
Added by
EPTCS
Publication date
2019
fields
Informatics Engineering
and research's language is
English
Authors
Maurizio Murgia
Ask ChatGPT about the research
No Arabic abstract
We study compliance relations between behavioural contracts in a syntax independent setting based on Labelled Transition Systems. We introduce a fix-point based family of compliance relations, and show that many compliance relations appearing in literature belong to this family.
rate research
Read More
The result of Boyce and Huneke gives rise to a 1-dimensional continuum, which is the intersection of a descending family of disks, that admits two commuting homeomorphisms without a common fixed point.
For a category $mathbb{C}$, a small category $mathbb{I}$, and a pre-cover relation $sqsubset$ on $mathbb C$ we prove, under certain completeness assumptions on $mathbb C$, that a morphism $g: Bto C$ in the functor category $mathbb {C}^{mathbb I}$ admits an image with respect to the pre-cover relation on $mathbb C^{mathbb I}$ induced by $sqsubset$ as soon as each component of $g$ admits an image with respect to $sqsubset$. We then apply this to show that if a pointed category $mathbb{C}$ is: (i) algebraically cartesian closed; (ii) exact protomodular and action accessible; or (iii) admits normalizers, then the same is true of each functor category $mathbb{C}^{mathbb I}$ with $mathbb{I}$ finite. In addition, our results give explicit constructions of images in functor categories using limits and images in the underlying category. In particular, they can be used to give explicit constructions of both centralizers and normalizers in functor categories using limits and centralizers or normalizers (respectively) in the underlying category.
Fluctuation theorems are fundamental results in non-equilibrium thermodynamics. Considering the fluctuation theorem with respect to the entropy production and an observable, we derive a new thermodynamic uncertainty relation which also applies to non-cyclic and time-reversal non-symmetric protocols.
Recently a new class of critical points, termed as {sl perpetual points}, where acceleration becomes zero but the velocity remains non-zero, is observed in nonlinear dynamical systems. In this work we show whether a transformation also maps the perpetual points to another system or not. We establish mathematically that a linearly transformed system is topologicaly conjugate, and hence does map the perpetual points. However, for a nonlinear transformation, various other possibilities are also discussed. It is noticed that under a linear diffeomorphic transformation, perpetual points are mapped, and accordingly, eigenvalues are preserved.
For a finite p-group G and a bounded below G-spectrum X of finite type mod p, the G-equivariant Segal conjecture for X asserts that the canonical map X^G --> X^{hG} is a p-adic equivalence. Let C_{p^n} be the cyclic group of order p^n. We show that if the C_p Segal conjecture holds for a C_{p^n} spectrum X, as well as for each of its C_{p^e} geometric fixed points for 0 < e < n, then then C_{p^n} Segal conjecture holds for X. Similar results hold for weaker forms of the Segal conjecture, asking only that the canonical map induces an equivalence in sufficiently high degrees, on homotopy groups with suitable finite coefficients.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
