Streda-like formula in spin Hall effect

A generalized Streda formula is derived for the spin transport in spin-orbit coupled systems. As compared with the original Streda formula for charge transport, there is an extra contribution of the spin Hall conductance whenever the spin is not conserved. For recently studied systems with quantum spin Hall effect in which the z-component spin is conserved, this extra contribution vanishes and the quantized value of spin Hall conductivity can be reproduced in the present approach. However, as spin is not conserved in general, this extra contribution can not be neglected, and the quantization is not exact.Comment: 4 pages, no figur

On Measuring Condensate Fraction in Superconductors

An analysis of off-diagonal long-range order in superconductors shows that the spin-spin correlation function is significantly influenced by the order if the order parameter is anisotropic on a microscopic scale. Thus, magnetic neutron scattering can provide a direct measurement of the condensate fraction of a superconductor. It is also argued that recent measurements in high temperature superconductors come very close to achieving this goal.Comment: 4 pages, 1 eps figure, RevTex. A new possibility in the underdoped regime is added. Other corrections are mino

Exchange-Only Dynamical Decoupling in the 3-Qubit Decoherence Free Subsystem

The Uhrig dynamical decoupling sequence achieves high-order decoupling of a single system qubit from its dephasing bath through the use of bang-bang Pauli pulses at appropriately timed intervals. High-order decoupling of single and multiple qubit systems from baths causing both dephasing and relaxation can also be achieved through the nested application of Uhrig sequences, again using single-qubit Pauli pulses. For the 3-qubit decoherence free subsystem (DFS) and related subsystem encodings, Pauli pulses are not naturally available operations; instead, exchange interactions provide all required encoded operations. Here we demonstrate that exchange interactions alone can achieve high-order decoupling against general noise in the 3-qubit DFS. We present decoupling sequences for a 3-qubit DFS coupled to classical and quantum baths and evaluate the performance of the sequences through numerical simulations

The Afterglow and Environment of the Short GRB111117A

We present multi-wavelength observations of the afterglow of the short GRB111117A, and follow-up observations of its host galaxy. From rapid optical and radio observations we place limits of r \gtrsim 25.5 mag at \deltat \approx 0.55 d and F_nu(5.8 GHz) < 18 \muJy at \deltat \approx 0.50 d, respectively. However, using a Chandra observation at t~3.0 d we locate the absolute position of the X-ray afterglow to an accuracy of 0.22" (1 sigma), a factor of about 6 times better than the Swift-XRT position. This allows us to robustly identify the host galaxy and to locate the burst at a projected offset of 1.25 +/- 0.20" from the host centroid. Using optical and near-IR observations of the host galaxy we determine a photometric redshift of z=1.3 (+0.3,-0.2), one of the highest for any short GRB, and leading to a projected physical offset for the burst of 10.5 +/- 1.7 kpc, typical of previous short GRBs. At this redshift, the isotropic gamma-ray energy is E_{gamma,iso} \approx 3\times10^51 erg (rest-frame 23-2300 keV) with a peak energy of E_{pk} \approx 850-2300 keV (rest-frame). In conjunction with the isotropic X-ray energy, GRB111117A appears to follow our recently-reported E_x,iso-E_gamma,iso-E_pk universal scaling. Using the X-ray data along with the optical and radio non-detections we find that for a blastwave kinetic energy of E_{K,iso} \approx E_{gamma,iso}, the circumburst density is n_0 \sim 3x10^(-4)-1 cm^-3 (for a range of epsilon_B=0.001-0.1). Similarly, from the non-detection of a break in the X-ray light curve at t<3 d, we infer a minimum opening angle for the outflow of theta_j> 3-10 degrees (depending on the circumburst density). We conclude that Chandra observations of short GRBs are effective at determining precise positions and robust host galaxy associations in the absence of optical and radio detections.Comment: ApJ accepted versio

Quantum Impurities and the Neutron Resonance Peak in YBa2Cu3O7{\bf YBa_2 Cu_3 O_7}: Ni versus Zn

The influence of magnetic (S=1) and nonmagnetic (S=0) impurities on the spin dynamics of an optimally doped high temperature superconductor is compared in two samples with almost identical superconducting transition temperatures: YBa$_2$(Cu$_{0.97}$Ni$_{0.03}$)$_3$O$_7$ (T$_c$=80 K) and YBa$_2$(Cu$_{0.99}$Zn$_{0.01}$)$_3$O$_7$ (T$_c$=78 K). In the Ni-substituted system, the magnetic resonance peak (which is observed at E$_r \simeq$40 meV in the pure system) shifts to lower energy with a preserved E$_r$/T$_c$ ratio while the shift is much smaller upon Zn substitution. By contrast Zn, but not Ni, restores significant spin fluctuations around 40 meV in the normal state. These observations are discussed in the light of models proposed for the magnetic resonance peak.Comment: 3 figures, submitted to PR

A decidable policy language for history-based transaction monitoring

Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting, the decision to trust a user may sensibly be based on that user's past behaviour. We introduce a specification language based on linear temporal logic for expressing a policy for categorising the behaviour patterns of a user depending on its transaction history. We also present an algorithm for checking whether the transaction history obeys the stated policy. To be useful in a real setting, such a language should allow one to express realistic policies which may involve parameter quantification and quantitative or statistical patterns. We introduce several extensions of linear temporal logic to cater for such needs: a restricted form of universal and existential quantification; arbitrary computable functions and relations in the term language; and a "counting" quantifier for counting how many times a formula holds in the past. We then show that model checking a transaction history against a policy, which we call the history-based transaction monitoring problem, is PSPACE-complete in the size of the policy formula and the length of the history. The problem becomes decidable in polynomial time when the policies are fixed. We also consider the problem of transaction monitoring in the case where not all the parameters of actions are observable. We formulate two such "partial observability" monitoring problems, and show their decidability under certain restrictions

Spin dynamics in high-TCT_C superconductors

Key features of antiferromagnetic dynamical correlations in high-$T_C$ superconductors cuprates are discussed. In underdoped regime, the sharp resonance peak, occuring exclusively in the SC state, is accompanied by a broader contribution located around $\sim$ 30 meV which remains above $T_C$. Their interplay may induce incommensurate structure in the superconducting state.Comment: HTS99 Proceedings Miami (January 7-11 1999

High energy spin excitations in YBa_2 Cu_3 O_{6.5}

Inelastic neutron scattering has been used to obtain a comprehensive description of the absolute dynamical spin susceptibility $\chi'' (q,\omega)$ of the underdoped superconducting cuprate YBa_2 Cu_3 O_{6.5} ($T_c = 52 K$) over a wide range of energies and temperatures ($2 meV \leq \hbar \omega \leq 120 meV$ and $5K \leq T \leq 200K$). Spin excitations of two different symmetries (even and odd under exchange of two adjacent CuO_2 layers) are observed which, surprisingly, are characterized by different temperature dependences. The excitations show dispersive behavior at high energies.Comment: 15 pages, 5 figure

Neutron Scattering and the B_{1g} Phonon in the Cuprates

The momentum dependent lineshape of the out-of-phase oxygen vibration as measured in recent neutron scattering measurements is investigated. Starting from a microscopic coupling of the phonon vibration to a local crystal field, the phonon lineshift and broadening is calculated as a function of transfered momentum in the superconducting state of YBa$_{2}$Cu$_{3}$O$_{7}$. It is shown that the anisotropy of the density of states, superconducting energy gap, and the electron-phonon coupling are all crucial in order to explain these experiments.Comment: new figures and discussio