A lower bound on web services composition

A web service is modeled here as a finite state machine. A composition problem for web services is to decide if a given web service can be constructed from a given set of web services; where the construction is understood as a simulation of the specification by a fully asynchronous product of the given services. We show an EXPTIME-lower bound for this problem, thus matching the known upper bound. Our result also applies to richer models of web services, such as the Roman model

A gamma- and X-ray detector for cryogenic, high magnetic field applications

As part of an experiment to measure the spectrum of photons emitted in beta-decay of the free neutron, we developed and operated a detector consisting of 12 bismuth germanate (BGO) crystals coupled to avalanche photodiodes (APDs). The detector was operated near liquid nitrogen temperature in the bore of a superconducting magnet and registered photons with energies from 5 keV to 1000 keV. To enlarge the detection range, we also directly detected soft X-rays with energies between 0.2 keV and 20 keV with three large area APDs. The construction and operation of the detector is presented, as well as information on operation of APDs at cryogenic temperatures

Quantum critical point in a periodic Anderson model

We investigate the symmetric Periodic Anderson Model (PAM) on a three-dimensional cubic lattice with nearest-neighbor hopping and hybridization matrix elements. Using Gutzwiller's variational method and the Hubbard-III approximation (which corresponds to the exact solution of an appropriate Falicov-Kimball model in infinite dimensions) we demonstrate the existence of a quantum critical point at zero temperature. Below a critical value $V_c$ of the hybridization (or above a critical interaction $U_c$) the system is an {\em insulator} in Gutzwiller's and a {\em semi-metal} in Hubbard's approach, whereas above $V_c$ (below $U_c$) it behaves like a metal in both approximations. These predictions are compared with the density of states of the $d$- and $f$-bands calculated from Quantum Monte Carlo and NRG calculations. Our conclusion is that the half-filled symmetric PAM contains a {\em metal-semimetal transition}, not a metal-insulator transition as has been suggested previously.Comment: ReVteX, 10 pages, 2 EPS figures. Minor corrections made in the text and in the figure captions from the first version. More references added. Accepted for publication in Physical Review

Degree of entanglement for two qubits

In this paper, we present a measure to quantify the degree of entanglement for two qubits in a pure state.Comment: 5 page

Radiative β decay of the free neutron

The theory of quantum electrodynamics predicts that the β decay of the neutron into a proton, electron, and antineutrino is accompanied by a continuous spectrum of emitted photons described as inner bremsstrahlung. While this phenomenon has been observed in nuclear β decay and electron-capture decay for many years, it has only been recently observed in free-neutron decay. We present a detailed discussion of an experiment in which the radiative decay mode of the free neutron was observed. In this experiment, the branching ratio for this rare decay was determined by recording photons that were correlated with both the electron and proton emitted in neutron decay. We determined the branching ratio for photons with energy between 15 and 340 keV to be (3.09±0.32)×10-3 (68% level of confidence), where the uncertainty is dominated by systematic effects. This value for the branching ratio is consistent with theoretical predictions. The characteristic energy spectrum of the radiated photons, which differs from the uncorrelated background spectrum, is also consistent with the theoretical spectrum

A Two-Step Quantum Direct Communication Protocol Using Einstein-Podolsky-Rosen Pair Block

A protocol for quantum secure direct communication using blocks of EPR pairs is proposed. A set of ordered $N$ EPR pairs is used as a data block for sending secret message directly. The ordered $N$ EPR set is divided into two particle sequences, a checking sequence and a message-coding sequence. After transmitting the checking sequence, the two parties of communication check eavesdropping by measuring a fraction of particles randomly chosen, with random choice of two sets of measuring bases. After insuring the security of the quantum channel, the sender, Alice encodes the secret message directly on the message-coding sequence and send them to Bob. By combining the checking and message-coding sequences together, Bob is able to read out the encoded messages directly. The scheme is secure because an eavesdropper cannot get both sequences simultaneously. We also discuss issues in a noisy channel.Comment: 8 pages and 2 figures. To appear in Phys Rev

Evidence for MBM_B and MCM_C phases in the morphotropic phase boundary region of (1−x)[Pb(Mg1/3Nb2/3)O3]−xPbTiO3(1-x)[Pb(Mg_{1/3}Nb_{2/3})O_3]-xPbTiO_3 : A Rietveld study

We present here the results of the room temperature dielectric constant measurements and Rietveld analysis of the powder x-ray diffraction data on $(1-x)[Pb(Mg_{1/3}Nb_{2/3})O_3]-xPbTiO_3$(PMN-$x$PT) in the composition range $0.20 \leq x \leq 0.45$ to show that the morphotropic phase boundary (MPB) region contains two monoclinic phases with space groups Cm (or $M_B$ type) and Pm (or $M_C$ type) stable in the composition ranges $0.27 \leq x \leq 0.30$ and $0.31 \leq x \leq 0.34$, respectively. The structure of PMN-$x$PT in the composition ranges $0 \leq x \leq$ 0.26, and $0.35 \leq x \leq1$ is found to be rhombohedral (R3m) and tetragonal (P4mm), respectively. These results are compared with the predictions of Vanderbilt & Cohen's theory.Comment: 20 pages, 11 pdf figure

Phase diagram of the ferroelectric-relaxor (1-x)PbMg(1/3)Nb(2/3)O3-xPbTiO3

Synchrotron x-ray powder diffraction measurements have been performed on unpoled ceramic samples of (1-x)PbMg(1/3)Nb(2/3)O3-xPbTiO3 (PMN-xPT) with 30%<= x<= 39% as a function of temperature around the morphotropic phase boundary (MPB), which is the line separating the rhombohedral and tetragonal phases in the phase diagram. The experiments have revealed very interesting features previously unknown in this or related systems. The sharp and well-defined diffraction profiles observed at high and intermediate temperatures in the cubic and tetragonal phases, respectively, are in contrast to the broad features encountered at low temperatures. These peculiar characteristics, which are associated with the monoclinic phase of MC-type previously reported by Kiat et al and Singh et al., can only be interpreted as multiple coexisting structures with MC as the major component. An analysis of the diffraction profiles has allowed us to properly characterize the PMN-xPT phase diagram and to determine the stability region of the monoclinic phase, which extends from x= 31% to x= 37% at 20 K. The complex lansdcape of observed phases points to an energy balance between the different PMN-xPT phases which is intrinsically much more delicate than that of related systems such as PbZr(1-x)TixO3 or (1-x)PbZn(1/3)Nb(1/3)O3-xPbTiO3. These observations are in good accord with an optical study of x= 33% by Xu et al., who observed monoclinic domains with several different polar directions coexisting with rhombohedral domains, in the same single crystal.Comment: REVTeX4, 11 pages, 10 figures embedde

Motion-Compensation Techniques in Neonatal and Fetal MR Imaging

Fetal and neonatal MR imaging is increasingly used as a complementary diagnostic tool to sonography. MR imaging is an ideal technique for imaging fetuses and neonates because of the absence of ionizing radiation, the superior contrast of soft tissues compared with sonography, the availability of different contrast options, and the increased FOV. Motion in the normally mobile fetus and the unsettled, sleeping, or sedated neonate during a long acquisition will decrease image quality in the form of motion artifacts, hamper image interpretation, and often necessitate a repeat MR imaging to establish a diagnosis. This article reviews current techniques of motion compensation in fetal and neonatal MR imaging, including the following: 1) motion-prevention strategies (such as adequate patient preparation, patient coaching, and sedation, when required), 2) motion-artifacts minimization methods (such as fast imaging protocols, data undersampling, and motion-resistant sequences), and 3) motion-detection/correction schemes (such as navigators and self-navigated sequences, external motion-tracking devices, and postprocessing approaches) and their application in fetal and neonatal brain MR imaging. Additionally some background on the repertoire of motion of the fetal and neonatal patient and the resulting artifacts will be presented, as well as insights into future developments and emerging techniques of motion compensation