Time Uncertainty in Quantum Gravitational Systems

It is generally argued that the combined effect of Heisenberg principle and general relativity leads to a minimum time uncertainty. Most of the analyses supporting this conclusion are based on a perturbative approach to quantization. We consider a simple family of gravitational models, including the Einstein-Rosen waves, in which the (non-linearized) inclusion of gravity changes the normalization of time translations by a monotonic energy-dependent factor. In these circumstances, it is shown that a maximum time resolution emerges non-perturbatively only if the total energy is bounded. Perturbatively, however, there always exists a minimum uncertainty in the physical time.Comment: (4 pages, no figures) Accepted for publication in Physical Review

Unruh-DeWitt detector response along static and circular-geodesic trajectories for Schwarzschild–anti-de Sitter black holes

We present novel methods to numerically address the problem of characterizing the response of particle detectors in curved spacetimes. These methods allow for the integration of the Wightman function, at least in principle, in rather general backgrounds. In particular we will use this tool to further understand the nature of conformal massless scalar Hawking radiation from a Schwarzschild black hole in anti–de Sitter space. We do that by studying an Unruh-DeWitt detector at rest above the horizon and in circular-geodesic orbit. The method allows us to see that the response rate shows peaks at certain characteristic frequencies, which correspond to the quasinormal modes of the spacetime. It is in principle possible to apply these techniques to more complicated and interesting physical scenarios, e.g., geodesic infall or multiple detector entanglement evolution, or the study of the behavior of quantum correlations in spacetimes with black hole horizons

High prevalence and clinical characteristics of respiratory infection by human rhinovirus in children from Lima-Peru during years 2009- 2010

Introduction Human rhinovirus is a major cause of acute respiratory infections (ARIs) worldwide. Epidemiological data on human rhinovirus (RV) in Peru is still scarce, as well as its role in respiratory infections in children. Therefore, the aim of this study was to describe the prevalence of rhinovirus and to identify the circulating species in nasopharyngeal swabs from children with acute respiratory infections. Materials and methods We analyzed nasopharyngeal swab samples that were collected from children younger than 17 years old, who had a clinical diagnosis of ARI from the "Hospital Nacional Cayetano Heredia"between May 2009 and December 2010. The original study recruited 767 inpatients with ARI, 559 samples of which were included and analyzed in the current study. Detection of rhinovirus and determination of rhinovirus species were characterized by PCR. Results Rhinovirus was detected in 42.22% samples (236/559), RV-A was detected in 10.17% (24/ 236) of the cases, RV-B in 16.53% (39/236), and RV-C in 73.31% (173/236). The age group with the highest number of cases was the 0-5 months group with 45.97%, followed by the 1-5 years group with 25.22%. Most of the positive RV cases, i.e., 86.44% (204/236), were hospitalized. The most common signs and symptoms found in patients who tested positive for RV were cough (72.88%), fever (68.64%), rhinorrhea (68.22%), and respiratory distress (61.44%). Infection with RV-A was associated with wheezing (p = 0.02). Furthermore, RV-C was related to cough (p = 0.01), wheezing (p = 0.002), and conjunctival injection (p = 0.03). A peak in RV-C cases was found in March (32 cases in 2010); June (18 cases in 2009 and 12 cases in 2010), which corresponds to the fall season in Peru; and also November (17 cases in 2009 and 4 cases in 2010), which corresponds to spring. RV-A and RV-B cases were constant throughout the year. Conclusion In conclusion, we found a high prevalence of rhinovirus C infection among pediatric patients with acute respiratory infections in Lima, Peru. This viral infection was more common in children between 0 to 5 months old, and was associated with cough, wheezing, and conjunctival injection. Epidemiological surveillance of this virus should be strengthened/encouraged in Peru to determine its real impact on respiratory infections.Revisión por pare

Potassium dependent structural changes in the selectivity filter of HERG potassium channels

The fine tuning of biological electrical signaling is mediated by variations in the rates of opening and closing of gates that control ion flux through different ion channels. Human ether-a-go-go related gene (HERG) potassium channels have uniquely rapid inactivation kinetics which are critical to the role they play in regulating cardiac electrical activity. Here, we exploit the K+ sensitivity of HERG inactivation to determine structures of both a conductive and non-conductive selectivity filter structure of HERG. The conductive state has a canonical cylindrical shaped selectivity filter. The non-conductive state is characterized by flipping of the selectivity filter valine backbone carbonyls to point away from the central axis. The side chain of S620 on the pore helix plays a central role in this process, by coordinating distinct sets of interactions in the conductive, non-conductive, and transition states. Our model represents a distinct mechanism by which ion channels fine tune their activity and could explain the uniquely rapid inactivation kinetics of HERG

Protocol-based verification of MPI programs

We present a methodology for the verification of Message Passing Interface (MPI) programs written in C. The aim is to statically verify programs against protocol specifications, enforcing properties such as fidelity and absence of deadlocks. We make use of a protocol language based on a dependent type system for message-passing parallel programs. % For the verification of a program against a given protocol, the protocol is first translated into a representation read by VCC, a software verifier for the~C programming language. % The program is then annotated with specific assertions that, together with a pre-established set of contracts for MPI primitives, guide the verifier to either prove or disprove the program's conformance to the protocol. We successfully verified MPI programs in a running time that is independent of the number of processes or other input parameters. This contrasts with other techniques, notably model checking and symbolic execution, that suffer from the state-explosion problem. We experimentally evaluated our approach against TASS, a state-of-the-art tool for MPI program verification.Under revie