On Thermalization in de Sitter Space

We discuss thermalization in de Sitter space and argue, from two different points of view, that the typical time needed for thermalization is of order $R^{3}/l_{pl}^{2}$, where $R$ is the radius of the de Sitter space in question. This time scale gives plenty of room for non-thermal deviations to survive during long periods of inflation. We also speculate in more general terms on the meaning of the time scale for finite quantum systems inside isolated boxes, and comment on the relation to the Poincar\'{e} recurrence time.Comment: 14 pages, 2 figures, latex, references added. Improved discussion in section 3 adde

Squeezed States in the de Sitter Vacuum

We discuss the treatment of squeezed states as excitations in the Euclidean vacuum of de Sitter space. A comparison with the treatment of these states as candidate no-particle states, or alpha-vacua, shows important differences already in the free theory. At the interacting level alpha-vacua are inconsistent, but squeezed state excitations seem perfectly acceptable. Indeed, matrix elements can be renormalized in the excited states using precisely the standard local counterterms of the Euclidean vacuum. Implications for inflationary scenarios in cosmology are discussed.Comment: 15 pages, no figures. One new citation in version 3; no other change

Holographic Superconductors with Lifshitz Scaling

Black holes in asymptotically Lifshitz spacetime provide a window onto finite temperature effects in strongly coupled Lifshitz models. We add a Maxwell gauge field and charged matter to a recently proposed gravity dual of 2+1 dimensional Lifshitz theory. This gives rise to charged black holes with scalar hair, which correspond to the superconducting phase of holographic superconductors with z > 1 Lifshitz scaling. Along the way we analyze the global geometry of static, asymptotically Lifshitz black holes at arbitrary critical exponent z > 1. In all known exact solutions there is a null curvature singularity in the black hole region, and, by a general argument, the same applies to generic Lifshitz black holes.Comment: 23 pages, 4 figures; v2: added references; v3: matches published versio

An implementation of Deflate in Coq

The widely-used compression format "Deflate" is defined in RFC 1951 and is based on prefix-free codings and backreferences. There are unclear points about the way these codings are specified, and several sources for confusion in the standard. We tried to fix this problem by giving a rigorous mathematical specification, which we formalized in Coq. We produced a verified implementation in Coq which achieves competitive performance on inputs of several megabytes. In this paper we present the several parts of our implementation: a fully verified implementation of canonical prefix-free codings, which can be used in other compression formats as well, and an elegant formalism for specifying sophisticated formats, which we used to implement both a compression and decompression algorithm in Coq which we formally prove inverse to each other -- the first time this has been achieved to our knowledge. The compatibility to other Deflate implementations can be shown empirically. We furthermore discuss some of the difficulties, specifically regarding memory and runtime requirements, and our approaches to overcome them

Precise wide range heatmeters for 1.5 K up to 80 K

Two heatmeters were designed at CERN for applications below 20 K with the option to work also at temperatures up to 80 K. The new calibration principle and design permits the construction of wide rang e heatmeters with precision in the range of milliwatts. The calibration function takes into account the temperature dependence of the thermal conductivity of the heatmeter material. The heat flow meas urement is, therefore, independent of the base temperature, i.e. it is also independent on the temperature drop across thermal contact between heatmeter and the cold source. The simple calibration fun ction makes the heatmeter a user-friendly portable diagnostic device. It is possible to quantify parasitic heat flow without a previous calibration, or to calibrate the heatmeter during a measurement with a specimen

De Sitter Waves and the Zero Curvature Limit

We show that a particular set of global modes for the massive de Sitter scalar field (the de Sitter waves) allows to manage the group representations and the Fourier transform in the flat (Minkowskian) limit. This is in opposition to the usual acceptance based on a previous result, suggesting the appearance of negative energy in the limit process. This method also confirms that the Euclidean vacuum, in de Sitter spacetime, has to be preferred as far as one wishes to recover ordinary QFT in the flat limit.Comment: 9 pages, latex no figure, to appear in Phys. Rev.

NFV service dynamicity with a DevOps approach : demonstrating zero-touch deployment & operations

Next generation network services will be realized by NFV-based microservices to enable greater dynamics in deployment and operations. Here, we present a demonstrator that realizes this concept using the NFV platform built in the EU FP7 project UNIFY. Using the example of an Elastic Router service, we show automated deployment and configuration of service components as well as corresponding monitoring components facilitating automated scaling of the entire service. We also demonstrate automatic execution of troubleshooting and debugging actions. Operations of the service are inspired by DevOps principles, enabling quick detection of operational conditions and fast corrective actions. This demo conveys essential insights on how the life-cycle of an NFV-based network service may be realized in future NFV platforms

The Final State of Black Strings and p-Branes, and the Gregory-Laflamme Instability

It is shown that the usual entropy argument for the Gregory-Laflamme (GL) instability for $some$ appropriate black strings and $p$-branes gives surprising agreement up to a few percent. This may provide a strong support to the GL's horizon fragmentation, which would produce the array of higher-dimensional Schwarzschild-type's black holes finally. On the other hand, another estimator for the size of the black hole end-state relative to the compact dimension indicates a second order (i.e., smooth) phase transition for some $other$ appropriate compactifications and total dimension of spacetime wherein the entropy argument is not appropriate. In this case, Horowitz-Maeda-type's non-uniform black strings or $p$-branes can be the final state of the GL instability.Comment: More emphasis on a second order phase transition. The computation result is unchange

Conformal Field Theory Interpretation of Black Hole Quasi-normal Modes

We obtain exact expressions for the quasi-normal modes of various spin for the BTZ black hole. These modes determine the relaxation time of black hole perturbations. Exact agreement is found between the quasi-normal frequencies and the location of the poles of the retarded correlation function of the corresponding perturbations in the dual conformal field theory. This then provides a new quantitative test of the AdS/CFT correspondence.Comment: 4 pages, RevTeX, references adde

The information paradox and the locality bound

Hawking's argument for information loss in black hole evaporation rests on the assumption of independent Hilbert spaces for the interior and exterior of a black hole. We argue that such independence cannot be established without incorporating strong gravitational effects that undermine locality and invalidate the use of quantum field theory in a semiclassical background geometry. These considerations should also play a role in a deeper understanding of horizon complementarity.Comment: 21 pages, harvmac; v2-3. minor corrections, references adde