Limit curve theorems in Lorentzian geometry

The subject of limit curve theorems in Lorentzian geometry is reviewed. A general limit curve theorem is formulated which includes the case of converging curves with endpoints and the case in which the limit points assigned since the beginning are one, two or at most denumerable. Some applications are considered. It is proved that in chronological spacetimes, strong causality is either everywhere verified or everywhere violated on maximizing lightlike segments with open domain. As a consequence, if in a chronological spacetime two distinct lightlike lines intersect each other then strong causality holds at their points. Finally, it is proved that two distinct components of the chronology violating set have disjoint closures or there is a lightlike line passing through each point of the intersection of the corresponding boundaries.Comment: 25 pages, 1 figure. v2: Misprints fixed, matches published versio

Microwave oven fabricated hybrid memristor devices for non-volatile memory storage

© 2014 IOP Publishing Ltd. Novel hybrid non-volatile memories made using an ultra-fast microwave heating method are reported for the first time. The devices, consisting of aligned ZnO nanorods embedded in poly (methyl methacrylate), require no forming step and exhibit reliable and reproducible bipolar resistive switching at low voltages and with low power usage. We attribute these properties to a combination of the high aspect ratio of the nanorods and the polymeric hybrid structure of the device. The extremely easy, fast and low-cost solution based method of fabrication makes possible the simple and quick production of cheap memory cells

Wave-number Selection by Target Patterns and Side Walls in Rayleigh-Benard Convection

We present experimental results for Rayleigh-Benard convection patterns in a cylindrical container with static side-wall forcing induced by a heater. This forcing stabilized a pattern of concentric rolls (a target pattern) with the central roll (the umbilicus) at the center of the cell after a jump from the conduction to the convection state. A quasi-static increase of the control parameter (epsilon) beyond 0.8 caused the umbilicus of the pattern to move off center. As observed by others, a further quasi-static increase of epsilon up to 15.6 caused a sequence of transitions. Each transition began with the displacement of the umbilicus and then proceeded with the loss of one convection roll at the umbilicus and the return of the umbilicus to a location near the center of the cell. Alternatively, with decreasing epsilon new rolls formed at the umbilicus but large umbilicus displacements did not occur. In addition to quantitative measurements of the umbilicus displacement, we determined and analyzed the entire wave-director field of each image. The wave numbers varied in the axial direction, with minima at the umbilicus and at the cell wall and a maximum at a radial position close to 2/3 Gamma. The wave numbers at the maximum showed hysteretic jumps at the transitions, but on average agreed well with the theoretical predictions for the wave numbers selected in the far field of an infinitely extended target pattern.Comment: ReVTeX, 11 pages, 16 eps figures include

Spacelike surfaces with free boundary in the Lorentz-Minkowski space

We investigate a variational problem in the Lorentz-Minkowski space \l^3 whose critical points are spacelike surfaces with constant mean curvature and making constant contact angle with a given support surface along its common boundary. We show that if the support surface is a pseudosphere, then the surface is a planar disc or a hyperbolic cap. We also study the problem of spacelike hypersurfaces with free boundary in the higher dimensional Lorentz-Minkowski space \l^{n+1}.Comment: 16 pages. Accepted in Classical and Quantum Gravit

Integration of the Friedmann equation for universes of arbitrary complexity

An explicit and complete set of constants of the motion are constructed algorithmically for Friedmann-Lema\^{i}tre-Robertson-Walker (FLRW) models consisting of an arbitrary number of non-interacting species. The inheritance of constants of the motion from simpler models as more species are added is stressed. It is then argued that all FLRW models admit what amounts to a unique candidate for a gravitational epoch function (a dimensionless scalar invariant derivable from the Riemann tensor without differentiation which is monotone throughout the evolution of the universe). The same relations that lead to the construction of constants of the motion allow an explicit evaluation of this function. In the simplest of all models, the $\Lambda$CDM model, it is shown that the epoch function exists for all models with $\Lambda > 0$, but for almost no models with $\Lambda \leq 0$.Comment: Final form to appear in Physical Review D1

Painleve-Gullstrand Coordinates for the Kerr Solution

We construct a coordinate system for the Kerr solution, based on the zero angular momentum observers dropped from infinity, which generalizes the Painleve-Gullstrand coordinate system for the Schwarzschild solution. The Kerr metric can then be interpreted as describing space flowing on a (curved) Riemannian 3-manifold. The stationary limit arises as the set of points on this manifold where the speed of the flow equals the speed of light, and the horizons as the set of points where the radial speed equals the speed of light. A deeper analysis of what is meant by the flow of space reveals that the acceleration of free-falling objects is generally not in the direction of this flow. Finally, we compare the new coordinate system with the closely related Doran coordinate system.Comment: 6 pages; v2: new section, matches final published version; v3: sign error in the expression of the function delta correcte

Non-interference for deterministic interactive programs

We consider the problem of defining an appropriate notion of non-interference (NI) for deterministic interactive programs. Previous work on the security of interactive programs by O'Neill, Clarkson and Chong (CSFW 2006) builds on earlier ideas due to Wittbold and Johnson (Symposium on Security and Privacy 1990), and argues for a notion of NI defined in terms of strategies modelling the behaviour of users. We show that, for deterministic interactive programs, it is not necessary to consider strategies and that a simple stream model of the users' behaviour is sufficient. The key technical result is that, for deterministic programs, stream-based NI implies the apparently more general strategy-based NI (in fact we consider a wider class of strategies than those of O'Neill et al). We give our results in terms of a simple notion of Input-Output Labelled Transition System, thus allowing application of the results to a large class of deterministic interactive programming languages

Energy of Isolated Systems at Retarded Times as the Null Limit of Quasilocal Energy

We define the energy of a perfectly isolated system at a given retarded time as the suitable null limit of the quasilocal energy $E$. The result coincides with the Bondi-Sachs mass. Our $E$ is the lapse-unity shift-zero boundary value of the gravitational Hamiltonian appropriate for the partial system $\Sigma$ contained within a finite topologically spherical boundary $B = \partial \Sigma$. Moreover, we show that with an arbitrary lapse and zero shift the same null limit of the Hamiltonian defines a physically meaningful element in the space dual to supertranslations. This result is specialized to yield an expression for the full Bondi-Sachs four-momentum in terms of Hamiltonian values.Comment: REVTEX, 16 pages, 1 figur

Deriving genetic programming fitness properties by static analysis

Deriving Genetic Programming Fitness Properties by Static Analysis Colin G. Johnson The aim of this paper is to introduce the idea of using static analysis of computer programs as a way of measuring fitness in genetic programming. Such techniques extract information about the programs without explicitly running them, and in particular they infer properties which hold across the whole of the input space of a program. This can be applied to measure fitness, and has a number of advantages over measuring fitness by running members of the population on test cases. The most important advantage is that if a solution is found then it is possible to formally trust that solution to be correct across all inputs. This paper introduces these ideas, discusses various ways in which they could be applied, discusses the type of problems for which they are appropriate, and ends by giving a simple test example and some questions for future research