Exact formula for currents in strongly pumped diffusive systems

We analyze a generic model of mesoscopic machines driven by the nonadiabatic variation of external parameters. We derive a formula for the probability current; as a consequence we obtain a no-pumping theorem for cyclic processes satisfying detailed balance and demonstrate that the rectification of current requires broken spatial symmetry.Comment: 10 pages, accepted for publication in the Journal of Statistical Physic

Fluctuations of an evaporating black hole from back reaction of its Hawking radiation: Questioning a premise in earlier work

This paper delineates the first steps in a systematic quantitative study of the spacetime fluctuations induced by quantum fields in an evaporating black hole. We explain how the stochastic gravity formalism can be a useful tool for that purpose within a low-energy effective field theory approach to quantum gravity. As an explicit example we apply it to the study of the spherically-symmetric sector of metric perturbations around an evaporating black hole background geometry. For macroscopic black holes we find that those fluctuations grow and eventually become important when considering sufficiently long periods of time (of the order of the evaporation time), but well before the Planckian regime is reached. In addition, the assumption of a simple correlation between the fluctuations of the energy flux crossing the horizon and far from it, which was made in earlier work on spherically-symmetric induced fluctuations, is carefully analyzed and found to be invalid. Our analysis suggests the existence of an infinite amplitude for the fluctuations of the horizon as a three-dimensional hypersurface. We emphasize the need for understanding and designing operational ways of probing quantum metric fluctuations near the horizon and extracting physically meaningful information.Comment: 10 pages, REVTeX; minor changes, a few references added and a brief discussion of their relevance included. To appear in the proceedings of the 10th Peyresq meeting. Dedicated to Rafael Sorkin on the occasion of his 60th birthda

Improving Strategies via SMT Solving

We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widening operators for enforcing convergence within a finite number of iterations (ii) the use of merge operations (often, convex hulls) at the merge points of the control flow graph. It instead computes the least inductive invariant expressible in the domain at a restricted set of program points, and analyzes the rest of the code en bloc. We emphasize that we compute this inductive invariant precisely. For that we extend the strategy improvement algorithm of [Gawlitza and Seidl, 2007]. If we applied their method directly, we would have to solve an exponentially sized system of abstract semantic equations, resulting in memory exhaustion. Instead, we keep the system implicit and discover strategy improvements using SAT modulo real linear arithmetic (SMT). For evaluating strategies we use linear programming. Our algorithm has low polynomial space complexity and performs for contrived examples in the worst case exponentially many strategy improvement steps; this is unsurprising, since we show that the associated abstract reachability problem is Pi-p-2-complete

Adjoint "quarks" on coarse anisotropic lattices: Implications for string breaking in full QCD

A detailed study is made of four dimensional SU(2) gauge theory with static adjoint ``quarks'' in the context of string breaking. A tadpole-improved action is used to do simulations on lattices with coarse spatial spacings $a_s$, allowing the static potential to be probed at large separations at a dramatically reduced computational cost. Highly anisotropic lattices are used, with fine temporal spacings $a_t$, in order to assess the behavior of the time-dependent effective potentials. The lattice spacings are determined from the potentials for quarks in the fundamental representation. Simulations of the Wilson loop in the adjoint representation are done, and the energies of magnetic and electric ``gluelumps'' (adjoint quark-gluon bound states) are calculated, which set the energy scale for string breaking. Correlators of gauge-fixed static quark propagators, without a connecting string of spatial links, are analyzed. Correlation functions of gluelump pairs are also considered; similar correlators have recently been proposed for observing string breaking in full QCD and other models. A thorough discussion of the relevance of Wilson loops over other operators for studies of string breaking is presented, using the simulation results presented here to support a number of new arguments.Comment: 22 pages, 14 figure

A Global Analysis of the Top Quark Couplings to Gauge Bosons

We propose to probe the electroweak symmetry breaking sector by measuring the effective couplings of the top quark to gauge bosons. Using precision LEP data, we constrain the non--universal couplings of t-t-Z and t-b-W, parameterized by $\kappa_{L}^{NC}$, $\kappa_{R}^{NC}$, $\kappa_{L}^{CC}$ and $\kappa_{R}^{CC}$, in the electroweak chiral lagrangian framework. Different scenarios of electroweak symmetry breaking will imply different correlations among these parameters. We found that at the order of ${m_t}^{2}\log {\Lambda}^2$, in which $\Lambda \sim 4 \pi v$ is the cut--off scale of the effective theory, $\kappa_{L}^{NC}$ is already constrained by LEP data. In models with an approximate custodial symmetry, a positive $\kappa_{L}^{CC}$ is preferred. $\kappa_{L}^{CC}$ can be constrained by studying the direct detection of the top quark at the Tevatron and the LHC. At the NLC, $\kappa_{L}^{NC}$ and $\kappa_{R}^{NC}$ can be better measured.Comment: 41 pages in REVTEX, and 11 figures (not included, available from Authors upon request

Solid foundations? Towards a historical sociology of prison building programmes in England and Wales, 1959–2015

Between 1959 and 2015 the UK government embarked upon five major phases of prison building in England and Wales. Drawing upon detailed archival research, this article offers a historical sociology of prison building programmes. It traces the evolution of prison building as a public policy concern and documents how this key site of penal policymaking was interpreted, and contested, by policy actors who were themselves embedded within deep institutional structures of power and meaning. It argues that prison building has moved from the margins to the mainstream of penal policy, shaped by strongly-held convictions about the liberal-democratic state, the competition for control of finite resources and the complex ?geography of administration? that underpins the British machinery of government

Measurement of the Hadronic Photon Structure Function F_2^gamma at LEP2

The hadronic structure function of the photon F_2^gamma is measured as a function of Bjorken x and of the factorisation scale Q^2 using data taken by the OPAL detector at LEP. Previous OPAL measurements of the x dependence of F_2^gamma are extended to an average Q^2 of 767 GeV^2. The Q^2 evolution of F_2^gamma is studied for average Q^2 between 11.9 and 1051 GeV^2. As predicted by QCD, the data show positive scaling violations in F_2^gamma. Several parameterisations of F_2^gamma are in agreement with the measurements whereas the quark-parton model prediction fails to describe the data.Comment: 4 pages, 2 figures, to appear in the proceedings of Photon 2001, Ascona, Switzerlan

A measurement of the tau mass and the first CPT test with tau leptons

We measure the mass of the tau lepton to be 1775.1+-1.6(stat)+-1.0(syst.) MeV using tau pairs from Z0 decays. To test CPT invariance we compare the masses of the positively and negatively charged tau leptons. The relative mass difference is found to be smaller than 3.0 10^-3 at the 90% confidence level.Comment: 10 pages, 4 figures, Submitted to Phys. Letts.

Measurement of the B0 Lifetime and Oscillation Frequency using B0->D*+l-v decays

The lifetime and oscillation frequency of the B0 meson has been measured using B0->D*+l-v decays recorded on the Z0 peak with the OPAL detector at LEP. The D*+ -> D0pi+ decays were reconstructed using an inclusive technique and the production flavour of the B0 mesons was determined using a combination of tags from the rest of the event. The results t_B0 = 1.541 +- 0.028 +- 0.023 ps, Dm_d = 0.497 +- 0.024 +- 0.025 ps-1 were obtained, where in each case the first error is statistical and the second systematic.Comment: 17 pages, 4 figures, submitted to Phys. Lett.

First Measurement of Z/gamma* Production in Compton Scattering of Quasi-real Photons

We report the first observation of Z/gamma* production in Compton scattering of quasi-real photons. This is a subprocess of the reaction e+e- to e+e-Z/gamma*, where one of the final state electrons is undetected. Approximately 55 pb-1 of data collected in the year 1997 at an e+e- centre-of-mass energy of 183 GeV with the OPAL detector at LEP have been analysed. The Z/gamma* from Compton scattering has been detected in the hadronic decay channel. Within well defined kinematic bounds, we measure the product of cross-section and Z/gamma* branching ratio to hadrons to be (0.9+-0.3+-0.1) pb for events with a hadronic mass larger than 60 GeV, dominated by (e)eZ production. In the hadronic mass region between 5 GeV and 60 GeV, dominated by (e)egamma* production, this product is found to be (4.1+-1.6+-0.6) pb. Our results agree with the predictions of two Monte Carlo event generators, grc4f and PYTHIA.Comment: 18 pages, LaTeX, 5 eps figures included, submitted to Physics Letters