7,503 research outputs found
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 CDM model, it is shown
that the epoch function exists for all models with , but for
almost no models with .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 . The result coincides
with the Bondi-Sachs mass. Our is the lapse-unity shift-zero boundary value
of the gravitational Hamiltonian appropriate for the partial system
contained within a finite topologically spherical boundary . 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
- …