The usual way to study the local structure of Equilibrium State of an Axiom-A diffeomorphism or flow is to use the symbolic dynamic and to push results on the manifold. A new geometrical method is given. It consists in proving that Equilibrium States for Hölder-continuous functions are related to other Equilibrium States of some special sub-systems satisfying a sort of expansiveness. Using diff...

Work on calculations with simplicial and cubical groups in AXIOM was carried out using loan equipment and software from IBM UK and guidance from L A Lambe. We report on the results of this work, and present the AXIOM code written by the second author during this period. This includes an implementation of the monoids which model cubes and simplices, together with a new AXIOM category of near-rin...

In 1969, Hirsch posed the following problem: given a diffeomorphism f : N → N , and a compact invariant hyperbolic set Λ of f , describe the topology of Λ and the dynamics of f restricted to Λ. We solve the problem where Λ = M is a closed 3-manifold: if M is orientable, then it is a connected sum of tori and handles; otherwise it is a connected sum of tori and handles quotiented by involutions....

We investigate the connection between the dynamical Borel-Cantelli and waiting time results. We prove that if a system has the dynamical BorelCantelli property, then the time needed to enter for the first time in a sequence of small balls scales as the inverse of the measure of the balls. Conversely if we know the waiting time behavior of a system we can prove that certain sequences of decreasi...

This paper contributes to the theory of rational choice under sequential criteria. Following the approach initiated by Manzini and Mariotti (2007) for single-valued choice functions, we characterize choice correspondences that are rational by two sequential criteria under a mild consistency axiom. Rationales ensuring the sequential rationalization are explicitly constructed and a uniquely deter...

In this paper, we enrich the logic of order of magnitude qualitative reasoning by means of a new notion of negligibility which has very useful properties with respect to operations of real numbers. A complete axiom system is presented for the proposed logic, and the new negligibility relation is compared with previous ones and its advantages are presented on the basis of an example.

Using normal coordinates in a Poincaré-Birkhoff-Witt basis for the Hopf algebra of renormalization in perturbative quantum field theory, we investigate the relation between the twisted antipode axiom in that formalism, the Birkhoff algebraic decomposition and the universal formula of Kontsevich for quantum deformation. PACS: 02.40Gh, 11.10.Gh, 03.70.+k, 03.65.Fd

In this note we prove that for equilibrium states of axiom A systems the time τB(x) needed for a typical point x to enter for the first time in a typical ball B with radius r scales as τB(x) ∼ r d where d is the local dimension of the invariant measure at the center of the ball. A similar relation is proved for a full measure set of interval excanges. Some applications to Birkoff averages of un...

Hušek defines a space X to have a small diagonal if each uncountable subset of X disjoint from the diagonal, has an uncountable subset whose closure is disjoint from the diagonal. Hušek proved that a compact space of weight ω1 which has a small diagonal, will be metrizable, but it remains an open problem to determine if the weight restriction is necessary. It has been shown to be consistent tha...