A Linear-Nonlinear Formulation of Einstein Equations for the Two-Body Problem in General Relativity

A formulation of Einstein equations is presented that could yield advantages in the study of collisions of binary compact objects during regimes between linear-nonlinear transitions. The key idea behind this formulation is a separation of the dynamical variables into i) a fixed conformal 3-geometry, ii) a conformal factor possessing nonlinear dynamics and iii) transverse-traceless perturbations of the conformal 3-geometry.Comment: 7 pages, no figure

Irrotational binary neutron stars in quasiequilibrium

We report on numerical results from an independent formalism to describe the quasi-equilibrium structure of nonsynchronous binary neutron stars in general relativity. This is an important independent test of controversial numerical hydrodynamic simulations which suggested that nonsynchronous neutron stars in a close binary can experience compression prior to the last stable circular orbit. We show that, for compact enough stars the interior density increases slightly as irrotational binary neutron stars approach their last orbits. The magnitude of the effect, however, is much smaller than that reported in previous hydrodynamic simulations.Comment: 4 pages, 2 figures, revtex, accepted for publication in Phys. Rev.

Wideband dual sphere detector of gravitational waves

We present the concept of a sensitive AND broadband resonant mass gravitational wave detector. A massive sphere is suspended inside a second hollow one. Short, high-finesse Fabry-Perot optical cavities read out the differential displacements of the two spheres as their quadrupole modes are excited. At cryogenic temperatures one approaches the Standard Quantum Limit for broadband operation with reasonable choices for the cavity finesses and the intracavity light power. A molybdenum detector of overall size of 2 m, would reach spectral strain sensitivities of 2x10^-23/Sqrt{Hz} between 1000 Hz and 3000 Hz.Comment: 4 pages, 3 figures. Changed content. To appear in Phys. Rev. Let

Nonresidential Building Energy Consumption Survey (NBECS)

Imputation procedures were designed for the 1983 Nonresidential Buildings Energy Consumption Survey (NBECS) of the Energy Information Administration (EIA) using 1979 NBECS data. The study included methodology development, data analysis, regression analyses, empirical evaluations of the regression models, and imputation procedures. Models considered were engineering models, stepwise regression, weighted regression, nonlinear regression, and log transformation regression. A method for determining the appropriateness of the imputation model for a particular set of independent variables is recommended. Although this study was completed in 1985, this final version of the report is being issued due to continuing requests for information. 32 tabs

Fluctuations of the vacuum energy density of quantum fields in curved spacetime via generalized zeta functions

For quantum fields on a curved spacetime with an Euclidean section, we derive a general expression for the stress energy tensor two-point function in terms of the effective action. The renormalized two-point function is given in terms of the second variation of the Mellin transform of the trace of the heat kernel for the quantum fields. For systems for which a spectral decomposition of the wave opearator is possible, we give an exact expression for this two-point function. Explicit examples of the variance to the mean ratio $\Delta' = (-^2)/(^2)$ of the vacuum energy density $\rho$ of a massless scalar field are computed for the spatial topologies of $R^d\times S^1$ and $S^3$, with results of $\Delta'(R^d\times S^1) =(d+1)(d+2)/2$, and $\Delta'(S^3) = 111$ respectively. The large variance signifies the importance of quantum fluctuations and has important implications for the validity of semiclassical gravity theories at sub-Planckian scales. The method presented here can facilitate the calculation of stress-energy fluctuations for quantum fields useful for the analysis of fluctuation effects and critical phenomena in problems ranging from atom optics and mesoscopic physics to early universe and black hole physics.Comment: Uses revte

Classical Scalar Fields and the Generalized Second Law

It has been shown that classical non-minimally coupled scalar fields can violate all of the standard energy conditions in general relativity. Violations of the null and averaged null energy conditions obtainable with such fields have been suggested as possible exotic matter candidates required for the maintenance of traversable wormholes. In this paper, we explore the possibility that if such fields exist, they might be used to produce large negative energy fluxes and macroscopic violations of the generalized second law (GSL) of thermodynamics. We find that it appears to be very easy to produce large magnitude negative energy fluxes in flat spacetime. However we also find, somewhat surprisingly, that these same types of fluxes injected into a black hole do {\it not} produce violations of the GSL. This is true even in cases where the flux results in a decrease in the area of the horizon. We demonstrate that two effects are responsible for the rescue of the GSL: the acausal behavior of the horizon and the modification of the usual black hole entropy formula by an additional term which depends on the scalar field.Comment: 25 pages, 2 figures; paper substantially rewritten, major changes in the conclusion

Joint-action coordination in transferring objects

Here we report a study of joint-action coordination in transferring objects. Fourteen dyads were asked to repeatedly reposition a cylinder in a shared workspace without using dialogue. Variations in task constraints concerned the size of the two target regions in which the cylinder had to be (re)positioned and the size and weight of the transferred cylinder. Movements of the wrist, index finger and thumb of both actors were recorded by means of a 3D motion-tracking system. Data analyses focused on the interpersonal transfer of lifting-height and movement-speed variations. Whereas the analyses of variance did not reveal any interpersonal transfer effects targeted data comparisons demonstrated that the actor who fetched the cylinder from where the other actor had put it was systematically less surprised by cylinder-weight changes than the actor who was first confronted with such changes. In addition, a moderate, accuracy-constraint independent adaptation to each other’s movement speed was found. The current findings suggest that motor resonance plays only a moderate role in collaborative motor control and confirm the independency between sensorimotor and cognitive processing of action-related information

Coupled oscillators as models of phantom and scalar field cosmologies

We study a toy model for phantom cosmology recently introduced in the literature and consisting of two oscillators, one of which carries negative kinetic energy. The results are compared with the exact phase space picture obtained for similar dynamical systems describing, respectively, a massive canonical scalar field conformally coupled to the spacetime curvature, and a conformally coupled massive phantom. Finally, the dynamical system describing exactly a minimally coupled phantom is studied and compared with the toy model.Comment: 18 pages, LaTeX, to appear in Physical Review

Compositional reasoning for shared-variable concurrent programs

Scalable and automatic formal verification for concurrent systems is always demanding. In this paper, we propose a verification framework to support automated compositional reasoning for concurrent programs with shared variables. Our framework models concurrent programs as succinct automata and supports the verification of multiple important properties. Safety verification and simulations of succinct automata are parallel compositional, and safety properties of succinct automata are preserved under refinements. We generate succinct automata from infinite state concurrent programs in an automated manner. Furthermore, we propose the first automated approach to checking rely-guarantee based simulations between infinite state concurrent programs. We have prototyped our algorithms and applied our tool to the verification of multiple refinements