Perspex machine VII: The universal perspex machine

The perspex machine arose from the unification of projective geometry with the Turing machine. It uses a total arithmetic, called transreal arithmetic, that contains real arithmetic and allows division by zero. Transreal arithmetic is redefined here. The new arithmetic has both a positive and a negative infinity which lie at the extremes of the number line, and a number nullity that lies off the number line. We prove that nullity, 0/0, is a number. Hence a number may have one of four signs: negative, zero, positive, or nullity. It is, therefore, impossible to encode the sign of a number in one bit, as floating-, point arithmetic attempts to do, resulting in the difficulty of having both positive and negative zeros and NaNs. Transrational arithmetic is consistent with Cantor arithmetic. In an extension to real arithmetic, the product of zero, an infinity, or nullity with its reciprocal is nullity, not unity. This avoids the usual contradictions that follow from allowing division by zero. Transreal arithmetic has a fixed algebraic structure and does not admit options as IEEE, floating-point arithmetic does. Most significantly, nullity has a simple semantics that is related to zero. Zero means "no value" and nullity means "no information." We argue that nullity is as useful to a manufactured computer as zero is to a human computer. The perspex machine is intended to offer one solution to the mind-body problem by showing how the computable aspects of mind and. perhaps, the whole of mind relates to the geometrical aspects of body and, perhaps, the whole of body. We review some of Turing's writings and show that he held the view that his machine has spatial properties. In particular, that it has the property of being a 7D lattice of compact spaces. Thus, we read Turing as believing that his machine relates computation to geometrical bodies. We simplify the perspex machine by substituting an augmented Euclidean geometry for projective geometry. This leads to a general-linear perspex-machine which is very much easier to pro-ram than the original perspex-machine. We then show how to map the whole of perspex space into a unit cube. This allows us to construct a fractal of perspex machines with the cardinality of a real-numbered line or space. This fractal is the universal perspex machine. It can solve, in unit time, the halting problem for itself and for all perspex machines instantiated in real-numbered space, including all Turing machines. We cite an experiment that has been proposed to test the physical reality of the perspex machine's model of time, but we make no claim that the physical universe works this way or that it has the cardinality of the perspex machine. We leave it that the perspex machine provides an upper bound on the computational properties of physical things, including manufactured computers and biological organisms, that have a cardinality no greater than the real-number line.

Limit operators, collective compactness, and the spectral theory of infinite matrices

In the first half of this memoir we explore the interrelationships between the abstract theory of limit operators (see e.g. the recent monographs of Rabinovich, Roch and Silbermann (2004) and Lindner (2006)) and the concepts and results of the generalised collectively compact operator theory introduced by Chandler-Wilde and Zhang (2002). We build up to results obtained by applying this generalised collectively compact operator theory to the set of limit operators of an operator (its operator spectrum). In the second half of this memoir we study bounded linear operators on the generalised sequence space , where and is some complex Banach space. We make what seems to be a more complete study than hitherto of the connections between Fredholmness, invertibility, invertibility at infinity, and invertibility or injectivity of the set of limit operators, with some emphasis on the case when the operator is a locally compact perturbation of the identity. Especially, we obtain stronger results than previously known for the subtle limiting cases of and . Our tools in this study are the results from the first half of the memoir and an exploitation of the partial duality between and and its implications for bounded linear operators which are also continuous with respect to the weaker topology (the strict topology) introduced in the first half of the memoir. Results in this second half of the memoir include a new proof that injectivity of all limit operators (the classic Favard condition) implies invertibility for a general class of almost periodic operators, and characterisations of invertibility at infinity and Fredholmness for operators in the so-called Wiener algebra. In two final chapters our results are illustrated by and applied to concrete examples. Firstly, we study the spectra and essential spectra of discrete Schrödinger operators (both self-adjoint and non-self-adjoint), including operators with almost periodic and random potentials. In the final chapter we apply our results to integral operators on .

A moment problem for random discrete measures

Let X be a locally compact Polish space. A random measure on X is a probability measure on the space of all (nonnegative) Radon measures on X. Denote by K(X) the cone of all Radon measures η on X which are of the form η =

Toeplitz operators on Bergman spaces with locally integrable symbols

We study the boundedness of Toeplitz operators $T_a$ with locally integrable symbols on Bergman spaces $A^p(\mathbb{D})$, $1 < p < \infty$. Our main result gives a sufficient condition for the boundedness of $T_a$ in terms of some ``averages'' (related to hyperbolic rectangles) of its symbol. If the averages satisfy an ${o}$-type condition on the boundary of $\mathbb{D}$, we show that the corresponding Toeplitz operator is compact on $A^p$. Both conditions coincide with the known necessary conditions in the case of nonnegative symbols and $p=2$. We also show that Toeplitz operators with symbols of vanishing mean oscillation are Fredholm on $A^p$ provided that the averages are bounded away from zero, and derive an index formula for these operators.

Hankel operators on Fock spaces

We study Hankel operators on the weighted Fock spaces Fp. The boundedness and compactness of these operators are characterized in terms of BMO and VMO, respectively. Along the way, we also study Berezin transform and harmonic conjugates on the plane. Our results are analogous to Zhu's characterization of bounded and compact Hankel operators on Bergman spaces of the unit disk.

A generalized collectively compact operator theory with an application to integral equations on unbounded domains

In this paper a generalization of collectively compact operator theory in Banach spaces is developed. A feature of the new theory is that the operators involved are no longer required to be compact in the norm topology. Instead it is required that the image of a bounded set under the operator family is sequentially compact in a weaker topology. As an application, the theory developed is used to establish solvability results for a class of systems of second kind integral equations on unbounded domains, this class including in particular systems of Wiener-Hopf integral equations with L1 convolutions kernels

Toeplitz operators on Dirichlet-Besov spaces

We study Toeplitz operators on the Besov spaces in the case of the open unit disk. We prove that a symbol satisfying a weak Lipschitz type condition induces a bounded Toeplitz operator. Such symbols do not need to be bounded functions or have continuous extensions to the boundary of the open unit disk. We discuss the problem of the existence of nontrivial compact Toeplitz operators, and also consider Fredholm properties and prove an index formula.

Dunford-Pettis properties, Hilbert spaces and projective tensor products

We study complete continuity properties of operators onto ℓ2 and prove several results in the Dunford–Pettis theory of JB∗-triples and their projective tensor products, culminating in characterisations of the alternative Dunford–Pettis property for where E and F are JB∗-triples.

Imagining migration: Placing children's understanding of 'moving house' in Malawi and Lesotho

Research pertaining to children's geographies has mainly focused on children's physical experiences of space, with their 'imagined geographies' receiving far less attention. The few studies of children's imagined geographies that exist tend to focus on children's national identities and their understanding of distant places. However, children's lives are not necessarily static and they often move between places. Research has not so far considered children's images of these transitional spaces or how such images are constructed. Through an examination of over 800 thematic drawings and stories, regarding 'moving house, produced by children aged 10-17 years in urban and rural communities of Lesotho and Malawi, this paper explores southern African children's representations of migration. The research considers how ideas of migration are culturally-constructed based on notions of family, home and kinship, particularly in relation to the fluid family structure characteristic of most southern African societies. The results suggest that most children imagine migration as a household rather than an individual process.. rarely including micro -migrations between extended family households in their drawings. Further, children's images of migration are place-rooted in everyday life experiences. Their representations concentrate on the reasons for migration, both negative and positive, which are specifically related to their local social and environmental situations and whether house moves take place locally or over longer distances. The paper concludes by exploring the implications of these conceptualisations of moving house for children's contemporary migration experiences, particularly in light of changing family structures due to the effects of the HIV/AIDS pandernic. (c) 2005 Elsevier Ltd. All rights reserved

Imagining migration: Placing children's understanding of 'moving house' in Malawi and Lesotho

Research pertaining to children's geographies has mainly focused on children's physical experiences of space, with their 'imagined geographies' receiving far less attention. The few studies of children's imagined geographies that exist tend to focus on children's national identities and their understanding of distant places. However, children's lives are not necessarily static and they often move between places. Research has not so far considered children's images of these transitional spaces or how such images are constructed. Through an examination of over 800 thematic drawings and stories, regarding 'moving house, produced by children aged 10-17 years in urban and rural communities of Lesotho and Malawi, this paper explores southern African children's representations of migration. The research considers how ideas of migration are culturally-constructed based on notions of family, home and kinship, particularly in relation to the fluid family structure characteristic of most southern African societies. The results suggest that most children imagine migration as a household rather than an individual process.. rarely including micro -migrations between extended family households in their drawings. Further, children's images of migration are place-rooted in everyday life experiences. Their representations concentrate on the reasons for migration, both negative and positive, which are specifically related to their local social and environmental situations and whether house moves take place locally or over longer distances. The paper concludes by exploring the implications of these conceptualisations of moving house for children's contemporary migration experiences, particularly in light of changing family structures due to the effects of the HIV/AIDS pandernic. (c) 2005 Elsevier Ltd. All rights reserved