Transreal limits expose category errors in IEEE 754 floating-point arithmetic and in mathematics

The IEEE 754 standard for oating-point arithmetic is widely used in computing. It is based on real arithmetic and is made total by adding both a positive and a negative infinity, a negative zero, and many Not-a-Number (NaN) states. The IEEE infinities are said to have the behaviour of limits. Transreal arithmetic is total. It also has a positive and a negative infinity but no negative zero, and it has a single, unordered number, nullity. We elucidate the transreal tangent and extend real limits to transreal limits. Arguing from this firm foundation, we maintain that there are three category errors in the IEEE 754 standard. Firstly the claim that IEEE infinities are limits of real arithmetic confuses limiting processes with arithmetic. Secondly a defence of IEEE negative zero confuses the limit of a function with the value of a function. Thirdly the definition of IEEE NaNs confuses undefined with unordered. Furthermore we prove that the tangent function, with the infinities given by geometrical con- struction, has a period of an entire rotation, not half a rotation as is commonly understood. This illustrates a category error, confusing the limit with the value of a function, in an important area of applied mathe- matics { trigonometry. We brie y consider the wider implications of this category error. Another paper proposes transreal arithmetic as a basis for floating- point arithmetic; here we take the profound step of proposing transreal arithmetic as a replacement for real arithmetic to remove the possibility of certain category errors in mathematics. Thus we propose both theo- retical and practical advantages of transmathematics. In particular we argue that implementing transreal analysis in trans- floating-point arith- metic would extend the coverage, accuracy and reliability of almost all computer programs that exploit real analysis { essentially all programs in science and engineering and many in finance, medicine and other socially beneficial applications.

NIELSEN COINCIDENCE THEORY OF FIBRE-PRESERVING MAPS AND DOLD`S FIXED POINT INDEX

Let M -> B, N -> B be fibrations and f(1), f(2): M -> N be a pair of fibre-preserving maps. Using normal bordism techniques we define an invariant which is an obstruction to deforming the pair f(1), f(2) over B to a coincidence free pair of maps. In the special case where the two fibrations axe the same and one of the maps is the identity, a weak version of our omega-invariant turns out to equal Dold`s fixed point index of fibre-preserving maps. The concepts of Reidemeister classes and Nielsen coincidence classes over B are developed. As an illustration we compute e.g. the minimal number of coincidence components for all homotopy classes of maps between S(1)-bundles over S(1) as well as their Nielsen and Reidemeister numbers.

Existence and uniqueness of a fixed-point for local contractions

This paper proves the existence and uniqueness of a fixed-point for local contractions without assuming the family of contraction coefficients to be uniformly bounded away from 1. More importantly it shows how this fixed-point result can apply to study existence and uniqueness of solutions to some recursive equations that arise in economic dynamics.

Quantum entanglement and fixed point Hopf bifurcation

We present the qualitative differences in the phase transitions of the mono-mode Dicke model in its integrable and chaotic versions. These qualitative differences are shown to be connected to the degree of entanglement of the ground state correlations as measured by the linear entropy. We show that a first order phase transition occurs in the integrable case whereas a second order in the chaotic one. This difference is also reflected in the classical limit: for the integrable case the stable fixed point in phase space undergoes a Hopf type whereas the second one a pitchfork type bifurcation. The calculation of the atomic Wigner functions of the ground state follows the same trends. Moreover, strong correlations are evidenced by its negative parts. (c) 2006 Elsevier B.V. All rights reserved.

Relating a gluon mass scale to an infrared fixed point in pure gauge QCD

The condition for the global minimum of the vacuum energy for a non-Abelian gauge theory with a dynamically generated gauge boson mass scale which implies the existence of a nontrivial IR fixed point of the theory was shown. Thus, this vacuum energy depends on the dynamical masses through the nonperturbative propagators of the theory. The results show that the freezing of the QCD coupling constant observed in the calculations can be a natural consequence of the onset of a gluon mass scale, giving strong support to their claim.

Vacuum energy and the fixed point of QED

The vacuum energy of QED, as a function of the coupling constant α, is shown to have an absolute minimum at the critical coupling αc=π/3. The effect of chiral symmetry breaking diminishes as the coupling is increased. We argue that these aspects of the vacuum energy shall remain unaltered beyond the ladder approximation.

A fixed point theorem for Meir-Keeler contractions in ordered metric spaces

[EN] The purpose of this paper is to present some fixed point theorems for Meir-Keeler contractions in a complete metric space endowed with a partial order. MSC: 47H10.

On some Banach space constants arising in nonlinear fixed point and eigenvalue theory

[EN] As is well known, in any infinite-dimensional Banach space one may find fixed point free self-maps of the unit ball, retractions of the unit ball onto its boundary, contractions of the unit sphere, and nonzero maps without positive eigenvalues and normalized eigenvectors. In this paper, we give upper and lower estimates, or even explicit formulas, for the minimal Lipschitz constant and measure of noncompactness of such maps.

Fixed point theorems in partially ordered spaces and aplications

[ES]Recientemente, en la Teoría del punto fijo, han aparecido muchos resultados que obtienen condiciones suficientes para la existencia de un punto fijo si trabajamos con aplicaciones en un conjunto dotado de un orden parcial. Generalmente, estos resultados combinan dos teoremas del punto fijo fundamentales: el Teorema de la contracción de Banach y el Teorema de Knaster-Tarski.