Interchange reconnection: remote sensing of solar signature and role in heliospheric magnetic flux budget

Interchange reconnection at the Sun, that is, reconnection between a doubly-connected field loop and singly-connected or open field line that extends to infinity, has important implications for the heliospheric magnetic flux budget. Recent work on the topic is reviewed, with emphasis on two aspects. The first is a possible heliospheric signature of interchange reconnection at the coronal hole boundary, where open fields meet closed loops. The second aspect concerns the means by which the heliospheric magnetic field strength reached record-lows during the recent solar minimum period. A new implication of this work is that interchange reconnection may be responsible for the puzzling, occasional coincidence of the heliospheric current sheet and the interface between fast and slow flow in the solar wind.

Boundary integral methods for singularly perturbed boundary value problems

In this paper we consider boundary integral methods applied to boundary value problems for the positive definite Helmholtz-type problem -DeltaU + alpha U-2 = 0 in a bounded or unbounded domain, with the parameter alpha real and possibly large. Applications arise in the implementation of space-time boundary integral methods for the heat equation, where alpha is proportional to 1/root deltat, and deltat is the time step. The corresponding layer potentials arising from this problem depend nonlinearly on the parameter alpha and have kernels which become highly peaked as alpha --> infinity, causing standard discretization schemes to fail. We propose a new collocation method with a robust convergence rate as alpha --> infinity. Numerical experiments on a model problem verify the theoretical results.

Well-posed two-point initial-boundary value problems with arbitrary boundary conditions

We study initial-boundary value problems for linear evolution equations of arbitrary spatial order, subject to arbitrary linear boundary conditions and posed on a rectangular 1-space, 1-time domain. We give a new characterisation of the boundary conditions that specify well-posed problems using Fokas' transform method. We also give a sufficient condition guaranteeing that the solution can be represented using a series. The relevant condition, the analyticity at infinity of certain meromorphic functions within particular sectors, is significantly more concrete and easier to test than the previous criterion, based on the existence of admissible functions.

Everything and nothing project

An EPRSC ‘Partnerships for Public Engagement’ scheme 2010. FEC 122,545.56/UoR 10K everything and nothing is a performance and workshop which engages the public creatively with mathematical concepts: the Poincare conjecture, the shape of the universe, topology, and the nature of infinity are explored through an original, thought provoking piece of music theatre. Jorge Luis Borges' short story 'The Library of Babel' and the aviator Amelia Earhart’s attempt to circumnavigate the globe combine to communicate to audience key mathematical concepts of Poincare’s conjecture. The project builds on a 2008 EPSRC early development project (EP/G001650/1) and is led by an interdisciplinary team the19thstep consisting of composer Dorothy Ker, sculptor Kate Allen and mathematician Marcus du Sautoy. everything and nothing has been devised by Dorothy Ker and Kate Allen, is performed by percussionist Chris Brannick, mezzo soprano Lucy Stevens and sound designer Kelcey Swain. The UK tour targets arts-going audiences, from the Green Man Festival to the British Science Festival. Each performance is accompanied with a workshop led by Topologist Katie Steckles. Alongside the performances and workshops is a website, http://www.everythingandnothingproject.com/ The Public engagement evaluation and monitoring for the project are carried out by evaluator Bea Jefferson. The project is significant in its timely relation to contemporary mathematics and arts-science themes delivering an extensive programme of public engagement.

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 .

Quasilimiting behavior for one-dimensional diffusions with killing

This paper extends and clarifies results of Steinsaltz and Evans [Trans. Amer. Math. Soc. 359 (2007) 1285–1234], which found conditions for convergence of a killed one-dimensional diffusion conditioned on survival, to a quasistationary distribution whose density is given by the principal eigenfunction of the generator. Under the assumption that the limit of the killing at infinity differs from the principal eigenvalue we prove that convergence to quasistationarity occurs if and only if the principal eigenfunction is integrable. When the killing at ∞ is larger than the principal eigenvalue, then the eigenfunction is always integrable. When the killing at ∞ is smaller, the eigenfunction is integrable only when the unkilled process is recurrent; otherwise, the process conditioned on survival converges to 0 density on any bounded interval.

Ternary erbium chromium sulfides : structural relationships and magnetic properties

Single crystals of four erbium-chromium sulfides have been grown by chemical vapor transport using iodine as the transporting agent. Single-crystal X-ray diffraction reveals that in Er(3)CrS(6) octahedral sites are occupied exclusively by Cr(3+) cations, leading to one-dimensional CrS(4)(5-) chains of edge-sharing octahedra, while in Er(2)CrS(4), Er(3+), and Cr(2+) cations occupy the available octahedral sites in an ordered manner. By contrast, in Er(6)Cr(2)S(11) and Er(4)CrS(7), Er(3+) and Cr(2+) ions are disordered over the octahedral sites. In Er(2)CrS(4), Er(6)Cr(2)S(11), and Er(4)CrS(7), the network of octahedra generates an anionic framework constructed from M(2)S(5) slabs of varying thickness, linked by one-dimensional octahedral chains. This suggests that these three phases belong to a series in which the anionic framework may be described by the general formula [M(2n+1)S(4n+3)](x-), with charge balancing provided by Er(3+) cations located in sites of high-coordination number within one-dimensional channels defined by the framework. Er(4)CrS(7), Er(6)Cr(2)S(11), and Er(2)CrS(4) may thus be considered as the n = 1, 2, and infinity members of this series. While Er(4)CrS(7) is paramagnetic, successive magnetic transitions associated with ordering of the chromium and erbium sub-lattices are observed on cooling Er(3)CrS(6) (T(C)(Cr) = 30 K; T(C)(Er) = 11 K) and Er(2)CrS(4) (T(N)(Cr) = 42 K, T(N)(Er) = 10 K) whereas Er(6)Cr(2)S(11) exhibits ordering of the chromium sub-lattice only (T(N) = 11.4 K).

Uniqueness results for direct and inverse scattering by infinite surfaces in a lossy medium

We consider the Dirichlet boundary-value problem for the Helmholtz equation, Au + x2u = 0, with Imx > 0. in an hrbitrary bounded or unbounded open set C c W. Assuming continuity of the solution up to the boundary and a bound on growth a infinity, that lu(x)l < Cexp (Slxl), for some C > 0 and S~< Imx, we prove that the homogeneous problem has only the trivial salution. With this resnlt we prove uniqueness results for direct and inverse problems of scattering by a bounded or infinite obstacle.

Spectra of a class of non-self-adjoint matrices

We consider a new class of non-self-adjoint matrices that arise from an indefinite self- adjoint linear pencil of matrices, and obtain the spectral asymptotics of the spectra as the size of the matrices diverges to infinity. We prove that the spectrum is qualitatively different when a certain parameter c equals 0, and when it is non-zero, and that certain features of the spectrum depend on Diophantine properties of c.

Trans-floating-point arithmetic removes nine quadrillion redundancies from 64-bit IEEE 754 floating-point arithmetic

IEEE 754 floating-point arithmetic is widely used in modern, general-purpose computers. 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. 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. Modifying the IEEE arithmetic so that it uses transreal arithmetic has a number of advantages. It removes one redundant binade from IEEE floating-point objects, doubling the numerical precision of the arithmetic. It removes eight redundant, relational,floating-point operations and removes the redundant total order operation. It replaces the non-reflexive, floating-point, equality operator with a reflexive equality operator and it indicates that some of the exceptions may be removed as redundant { subject to issues of backward compatibility and transient future compatibility as programmers migrate to the transreal paradigm.

Transdifferential and transintegral calculus

The set of transreal numbers is a superset of the real numbers. It totalises real arithmetic by defining division by zero in terms of three def- inite, non-finite numbers: positive infinity, negative infinity and nullity. Elsewhere, in this proceedings, we extended continuity and limits from the real domain to the transreal domain, here we extended the real derivative to the transreal derivative. This continues to demonstrate that transreal analysis contains real analysis and operates at singularities where real analysis fails. Hence computer programs that rely on computing deriva- tives { such as those used in scientific, engineering and financial applica- tions { are extended to operate at singularities where they currently fail. This promises to make software, that computes derivatives, both more competent and more reliable. We also extended the integration of absolutely convergent functions from the real domain to the transreal domain.

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.

Transreal calculus

Transreal arithmetic totalises real arithmetic by defining division by zero in terms of three definite, non-finite numbers: positive infinity, negative infinity and nullity. We describe the transreal tangent function and extend continuity and limits from the real domain to the transreal domain. With this preparation, we extend the real derivative to the transreal derivative and extend proper integration from the real domain to the transreal domain. Further, we extend improper integration of absolutely convergent functions from the real domain to the transreal domain. This demonstrates that transreal calculus contains real calculus and operates at singularities where real calculus fails.

Transreal logical space of all propositions

Transreal numbers provide a total semantics containing classical truth values, dialetheaic, fuzzy and gap values. A paraconsistent Sheffer Stroke generalises all classical logics to a paraconsistent form. We introduce logical spaces of all possible worlds and all propositions. We operate on a proposition, in all possible worlds, at the same time. We define logical transformations, possibility and necessity relations, in proposition space, and give a criterion to determine whether a proposition is classical. We show that proofs, based on the conditional, infer gaps only from gaps and that negative and positive infinity operate as bottom and top values.

INDEFINITE QUASILINEAR ELLIPTIC EQUATIONS IN EXTERIOR DOMAINS WITH EXPONENTIAL CRITICAL GROWTH

This paper is concerned with the existence of solutions for the quasilinear problem {-div(vertical bar del u vertical bar(N-2) del u) + vertical bar u vertical bar(N-2) u = a(x)g(u) in Omega u = 0 on partial derivative Omega, where Omega subset of R(N) (N >= 2) is an exterior domain; that is, Omega = R(N)\omega, where omega subset of R(N) is a bounded domain, the nonlinearity g(u) has an exponential critical growth at infinity and a(x) is a continuous function and changes sign in Omega. A variational method is applied to establish the existence of a nontrivial solution for the above problem.