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.

Multiple-scattering in radar systems: a review

Although extensively studied within the lidar community, the multiple scattering phenomenon has always been considered a rare curiosity by radar meteorologists. Up to few years ago its appearance has only been associated with two- or three-body-scattering features (e.g. hail flares and mirror images) involving highly reflective surfaces. Recent atmospheric research aimed at better understanding of the water cycle and the role played by clouds and precipitation in affecting the Earth's climate has driven the deployment of high frequency radars in space. Examples are the TRMM 13.5 GHz, the CloudSat 94 GHz, the upcoming EarthCARE 94 GHz, and the GPM dual 13-35 GHz radars. These systems are able to detect the vertical distribution of hydrometeors and thus provide crucial feedbacks for radiation and climate studies. The shift towards higher frequencies increases the sensitivity to hydrometeors, improves the spatial resolution and reduces the size and weight of the radar systems. On the other hand, higher frequency radars are affected by stronger extinction, especially in the presence of large precipitating particles (e.g. raindrops or hail particles), which may eventually drive the signal below the minimum detection threshold. In such circumstances the interpretation of the radar equation via the single scattering approximation may be problematic. Errors will be large when the radiation emitted from the radar after interacting more than once with the medium still contributes substantially to the received power. This is the case if the transport mean-free-path becomes comparable with the instrument footprint (determined by the antenna beam-width and the platform altitude). This situation resembles to what has already been experienced in lidar observations, but with a predominance of wide- versus small-angle scattering events. At millimeter wavelengths, hydrometeors diffuse radiation rather isotropically compared to the visible or near infrared region where scattering is predominantly in the forward direction. A complete understanding of radiation transport modeling and data analysis methods under wide-angle multiple scattering conditions is mandatory for a correct interpretation of echoes observed by space-borne millimeter radars. This paper reviews the status of research in this field. Different numerical techniques currently implemented to account for higher order scattering are reviewed and their weaknesses and strengths highlighted. Examples of simulated radar backscattering profiles are provided with particular emphasis given to situations in which the multiple scattering contributions become comparable or overwhelm the single scattering signal. We show evidences of multiple scattering effects from air-borne and from CloudSat observations, i.e. unique signatures which cannot be explained by single scattering theory. Ideas how to identify and tackle the multiple scattering effects are discussed. Finally perspectives and suggestions for future work are outlined. This work represents a reference-guide for studies focused at modeling the radiation transport and at interpreting data from high frequency space-borne radar systems that probe highly opaque scattering media such as thick ice clouds or precipitating clouds.

Dynamic portrait of the planetary 2/1 mean-motion resonance - I. Systems with a more massive outer planet

We analyse the global structure of the phase space of the planar planetary 2/1 mean-motion resonance in cases where the outer planet is more massive than its inner companion. Inside the resonant domain, we show the existence of two families of periodic orbits, one associated to the librational motion of resonant angle (sigma-family) and the other related to the circulatory motion of the difference in longitudes of pericentre (Delta pi-family). The well-known apsidal corotation resonances (ACR) appear as intersections between both families. A complex web of secondary resonances is also detected for low eccentricities, whose strengths and positions are dependent on the individual masses and spatial scale of the system. The construction of dynamical maps for various values of the total angular momentum shows the evolution of the families of stable motion with the eccentricities, identifying possible configurations suitable for exoplanetary systems. For low-moderate eccentricities, several different stable modes exist outside the ACR. For larger eccentricities, however, all stable solutions are associated to oscillations around the stationary solutions. Finally, we present a possible link between these stable families and the process of resonance capture, identifying the most probable routes from the secular region to the resonant domain, and discussing how the final resonant configuration may be affected by the extension of the chaotic layer around the resonance region.

Dynamic picture of the inner asteroid belt: implications for the density, size and taxonomic distributions of real objects

In this paper, we construct a dynamic portrait of the inner asteroidal belt. We use information about the distribution of test particles, which were initially placed on a perfectly rectangular grid of initial conditions, after 4.2 Myr of gravitational interactions with the Sun and five planets, from Mars to Neptune. Using the spectral analysis method introduced by Michtchenko et al., the asteroidal behaviour is illustrated in detail on the dynamical, averaged and frequency maps. On the averaged and frequency maps, we superpose information on the proper elements and proper frequencies of real objects, extracted from the data base, AstDyS, constructed by Milani and Knezevic. A comparison of the maps with the distribution of real objects allows us to detect possible dynamical mechanisms acting in the domain under study; these mechanisms are related to mean-motion and secular resonances. We note that the two- and three-body mean-motion resonances and the secular resonances (strong linear and weaker non-linear) have an important role in the diffusive transportation of the objects. Their long-lasting action, overlaid with the Yarkovsky effect, may explain many observed features of the density, size and taxonomic distributions of the asteroids.

Influência de parâmetros moleculares em funções de correlação temporal na dinâmica de solvatação mecânica

No presente trabalho descrevemos nossos resultados relativos à investigação da dinâmica de solvatação mecânica por meio de simulações por dinâmica molecular, respeitando o regime da resposta linear, em sistemas-modelo de argônio líquido com um soluto monoatômico ou diatômico dissolvido. Estudamos sistematicamente a influência dos parâmetros moleculares dos solutos (tamanho, polarizabilidade) e da densidade frente a vários modelos de solvatação. Funções de Correlação Temporal da Energia de Solvatação foram calculadas com relação à correlações de n-corpos (n = 2; 3) distinguindo interações repulsivas e atrativas para ambos os sistemas líquidos. Também obtivemos segundas derivadas temporais dessas funções referindo-se à parcelas translacionais, rotacionais e roto-translacionais na solução do diatômico. Encontramos que funções de correlação temporal coletivas podem ser razoavelmente bem aproximadas por correlações binárias a densidades baixas e, a densidades altas, correlações ternárias tornam-se mais importantes produzindo um descorrelacionamento mais rápido das funções coletivas devido a efeitos de cancelamento parciais. As funções de correlação para interações repulsivas e atrativas exibem comportamentos dinâmicos independentes do modelo de solvatação devido a fatores de escalonamento linear que afetam apenas as amplitudes das dessas funções de correlação temporal. Em geral, os sistemas com grau de liberdade rotacional apresentam tempos de correlação mais curtos para a dinâmica coletiva e tempos de correlação mais longos para as funções binárias e ternárias. Finalmente, esse estudo mostra que os sistemas contendo o diatômico relaxam-se predominantemente por mecanismos translacionais binários em modelos de solvatação envolvendo alterações apenas na polarizabilidade do soluto, e por mecanismos rotacionais atrativos binários em modelos envolvendo alterações no comprimento de ligação.

A doorway to Borromean halo nuclei: the Samba configuration

We exploit the possibility of new configurations in three-body halo nuclei, Samba type (the neutron-core form a bound system) as a doorway to Borromean systems. The nuclei Be-12, B-15, N-23 and F-27 are of such nature, in particular N-23 with a half-life of 37.7 s and a halo radius of 6.07 fm is an excellent example of Samba-halo configuration. The fusion below the barrier of the Samba halo nuclei with heavy targets could reveal the so far elusive enhancement and a dominance of one-neutron over two-neutron transfers, in contrast to what was found recently for the Borromean halo nucleus He-6 + U-238.

A new algorithm for Reverse Monte Carlo simulations

We present a new algorithm for Reverse Monte Carlo (RMC) simulations of liquids. During the simulations, we calculate energy, excess chemical potentials, bond-angle distributions and three-body correlations. This allows us to test the quality and physical meaning of RMC-generated results and its limitations. It also indicates the possibility to explore orientational correlations from simple scattering experiments. The new technique has been applied to bulk hard-sphere and Lennard-Jones systems and compared to standard Metropolis Monte Carlo results. (C) 1998 American Institute of Physics.

Low-energy muon-transfer reaction from hydrogen isotopes to helium isotopes

Direct muon transfer in low-energy collisions of the muonic hydrogen H-mu and helium (He++) is considered in a three-body quantum-mechanical framework of coordinate-space integro-differential Faddeev-Hahn-type equations within two- and six-state close coupling approximations. The final-state Coulomb interaction is treated without any approximation employing appropriate Coulomb waves in the final state. This procedure of treating Coulomb interaction leads to much improved results for low-energy transfer rates. The present results agree reasonably well with previous semiclassical calculations. (C) 2002 Elsevier B.V. B.V. All rights reserved.

Four-boson scale near a Feshbach resonance

We show that an independent four-body momentum scale mu((4)) drives the tetramer binding energy for fixed trimer energy (or three-body scale mu((3))) and large scattering length (a). The three- and four-body forces from the one-channel reduction of the atomic interaction near a Feshbach resonance disentangle mu((4)) and mu((3)). The four-body independent scale is also manifested through a family of Tjon lines, with slope given by mu((4))/mu((3)) for a(-1) = 0. There is the possibility of a new renormalization group limit cycle due to the new scale.

Dissipation-managed soliton in a quasi-one-dimensional Bose-Einstein condensate

We use the time-dependent mean-field Cross-Pitaevskii equation to study the formation of a dynamically-stabilized dissipation managed bright soliton in a quasi-one dimensional Bose-Einstein condensate (BEC). Because of three-body recombination of bosonic atoms to molecules, atoms are lost (dissipated) from a BEC. Such dissipation leads to the decay of a BEC soliton. We demonstrate by a perturbation procedure that an alimentation of atoms from an external source to the BEC may compensate for the dissipation loss and lead to a dynamically-stabilized soliton. The result of the analytical perturbation method is in excellent agreement with mean-field numerics. It seems possible to obtain such a dynamically stabilized BEC soliton without dissipation in laboratory.

Low-energy direct muon transfer from H to Ne10+, S16+ and Ar18+ using the two-state close-coupling approximation to the Faddeev-Hahn-type equation

We perform a three-body calculation of direct muon-transfer rates from thermalized muonic hydrogen isotopes to bare nuclei Ne10+, S16+ and Ar18+ employing integro-differential Faddeev-Hahn-type equations in configuration space with a two-state close-coupling approximation scheme. All Coulomb potentials including the strong final-state Coulomb repulsion are treated exactly. A long-range polarization potential is included in the elastic channel to take into account the high polarizability of the muonic hydrogen. The transfer rates so-calculated are in good agreement with recent experiments. We find that the muon is captured predominantly in the n = 6, 9 and 10 states of muonic Ne10+, S16+ and Ar18+, respectively.

Scaling limit of weakly bound triatomic states

The usefulness of a scale-independent approach to identify Efimov states in three-body systems is shown by comparing such an approach with a realistic calculation in the case of three helium atoms. We show that the scaling limit is realized in practice in this case, and suggest its application to study other similar systems, including the case where two kinds of atoms are mixed. We also consider the observed large scattering length of the Rb-87 dimer to estimate the critical value of the ground-state energy of the corresponding trimer (greater than or equal to 1.5 mK), in order to allow for one Efimov state above the ground state.

Stability and collapse of a coupled Bose-Einstein condensate

The dynamics of a coupled Bose-Einstein condensate involving trapped atoms in two quantum states is studied using the time-dependent Gross-Pitaevskii equation including an interaction which can transform atoms from one state to the other. We find interesting oscillation of the number of atoms in each of the states. For all repulsive interactions, stable condensates are formed. When some of the atomic interactions are attractive, the possibility of collapse is studied by including an absorptive contact interaction and a quartic three-body recombination term. One or both components of the condensate may undergo collapse when one or more of the nonlinear terms are attractive in nature. (C) 2001 Elsevier B.V. B.V. All rights reserved.

Triatomic states in ultracold gases

We study the trajectory of Efimov states for a trapped three-boson system when the two-body scattering length a is changed. We show that these states follow the route virtual-bound-continuum resonance state when a is varied, respectively, from large positive to negative values. For a < 0, we include the triatomic continuum resonance effect to extend the three-body recombination length for trap temperatures greater than zero. For a > 0, we predict trimer binding energies based on the recombination length and the two-body scattering length.

Stability and collapse of a hybrid Bose-Einstein condensate of atoms and molecules

The dynamics of stability and collapse of a trapped atomic Bose-Einstein condensate (BEC) coupled to a molecular one is studied using the time-dependent Gross-Pitaevskii (GP) equation including a nonlinear interaction term which can transform two atoms into a molecule and vice versa. We find an interesting oscillation of the number of atoms and molecules for a BEC of fixed mass. This oscillation is a consequence of continuous transformation in the condensate of two atoms into a molecule and vice versa. For the study of collapse an absorptive contact interaction and an imaginary quartic three-body recombination term are included in the GP equation. It is possible to have a collapse of one or both components when one or more of the nonlinear terms in the GP equation are attractive in nature, respectively.