A homomorphism theorem and a Trotter product formula for quantum stochastic flows with unbounded coefficients

We give a new method for proving the homomorphic property of a quantum stochastic ow satisfying a quantum stochastic differential equation with unbounded coefficients, under some further hypotheses. As an application, we prove a Trotter product formula for quantum stochastic ows and obtain quantum stochastic dilations of a class of quantum dynamical semigroups generalizing results of [5

On the Spontaneous CP Breaking in the Higgs Sector of the Minimal Supersymmetric Standard Model

We revise a recently proposed mechanism for spontaneous CP breaking at finite temperature in the Higgs sector of the Minimal Supersymmetric Standard Model, based on the contribution of squarks, charginos and neutralinos to the one-loop effective potential. We have included plasma effects for all bosons and added the contribution of neutral scalar and charged Higgses. While the former have little effect, the latter provides very strong extra constraints on the parameter space and change drastically the previous results. We find that CP can be spontaneously broken at the critical temperature of the electroweak phase transition without any fine-tuning in the parameter space.Comment: 9 pages, LATEX, 3 appended postscript figures, IEM-FT-76/9

Topological Defects on Fluctuating Surfaces: General Properties and the Kosterlitz-Thouless Transition

We investigate the Kosterlitz-Thouless transition for hexatic order on a free fluctuating membrane and derive both a Coulomb gas and a sine-Gordon Hamiltonian to describe it. The Coulomb-gas Hamiltonian includes charge densities arising from disclinations and from Gaussian curvature. There is an interaction coupling the difference between these two densities, whose strength is determined by the hexatic rigidity, and an interaction coupling Gaussian curvature densities arising from the Liouville Hamiltonian resulting from the imposition of a covariant cutoff. In the sine-Gordon Hamiltonian, there is a linear coupling between a scalar field and the Gaussian curvature. We discuss gauge-invariant correlation function for hexatic order and the dielectric constant of the Coulomb gas. We also derive renormalization group recursion relations that predict a transition with decreasing bending rigidity $\kappa$.Comment: REVTEX, 45 pages with 11 postscript figures compressed using uufiles. Accepted for publication in Phys. Rev.

Montecarlo simulation of the role of defects as the melting mechanism

We study in this paper the melting transition of a crystal of fcc structure with the Lennard-Jones potential, by using isobaric-isothermal Monte Carlo simulations. Local and collective updates are sequentially used to optimize the convergence. We show the important role played by defects in the melting mechanism in favor of modern melting theories.Comment: 6 page, 10 figures included. Corrected version to appear in Phys. Rev.

Automatic Abstraction for Congruences

One approach to verifying bit-twiddling algorithms is to derive invariants between the bits that constitute the variables of a program. Such invariants can often be described with systems of congruences where in each equation $\vec{c} \cdot \vec{x} = d \mod m$, (unknown variable m)$is a power of two,$\vec{c}$is a vector of integer coefficients, and$\vec{x}$ is a vector of propositional variables (bits). Because of the low-level nature of these invariants and the large number of bits that are involved, it is important that the transfer functions can be derived automatically. We address this problem, showing how an analysis for bit-level congruence relationships can be decoupled into two parts: (1) a SAT-based abstraction (compilation) step which can be automated, and (2) an interpretation step that requires no SAT-solving. We exploit triangular matrix forms to derive transfer functions efficiently, even in the presence of large numbers of bits. Finally we propose program transformations that improve the analysis results

Designed to fail : a biopolitics of British Citizenship.

Tracing a route through the recent 'ugly history' of British citizenship, this article advances two central claims. Firstly, British citizenship has been designed to fail specific groups and populations. Failure, it argues, is a design principle of British citizenship, in the most active and violent sense of the verb to design: to mark out, to indicate, to designate. Secondly, British citizenship is a biopolitics - a field of techniques and practices (legal, social, moral) through which populations are controlled and fashioned. This article begins with the 1981 Nationality Act and the violent conflicts between the police and black communities in Brixton that accompanied the passage of the Act through the British parliament. Employing Michel Foucault's concept of state racism, it argues that the 1981 Nationality Act marked a pivotal moment in the design of British citizenship and has operated as the template for a glut of subsequent nationality legislation that has shaped who can achieve citizenship. The central argument is that the existence of populations of failed citizens within Britain is not an accident of flawed design, but is foundational to British citizenship. For many 'national minorities' the lived realities of biopolitical citizenship stand in stark contradistinction to contemporary governmental accounts of citizenship that stress community cohesion, political participation, social responsibility, rights and pride in shared national belonging

Semiclassical force for electroweak baryogenesis: three-dimensional derivation

We derive a semiclassical transport equation for fermions propagating in the presence of a CP-violating planar bubble wall at a first order electroweak phase transition. Starting from the Kadanoff-Baym (KB) equation for the two-point (Wightman) function we perform an expansion in gradients, or equivalently in the Planck constant h-bar. We show that to first order in h-bar the KB equations have a spectral solution, which allows for an on-shell description of the plasma excitations. The CP-violating force acting on these excitations is found to be enhanced by a boost factor in comparison with the 1+1-dimensional case studied in a former paper. We find that an identical semiclassical force can be obtained by the WKB method. Applications to the MSSM are also mentioned.Comment: 19 page

Mixing-induced CP violating sources for electroweak baryogenesis from a semiclassical approach

The effects of flavor mixing in electroweak baryogenesis is investigated in a generalized semiclassical WKB approach. Through calculating the nonadiabatic corrections to the particle currents it is shown that extra CP violation sources arise from the off-diagonal part of the equation of motion of particles moving inside the bubble wall. This type of mixing-induced source is of the first order in derivative expansion of the Higgs condensate, but is oscillation suppressed. The numerical importance of the mixing-induced source is discussed in the Minimal Supersymmetric Standard Model and compared with the source term induced by semiclassical force. It is found that in a large parameter space where oscillation suppression is not strong enough, the mixing-induced source can dominate over that from the semiclassical force.Comment: 19 pp, 2 figs, 1 table, some comments added, to appear in Eur.Phys.J.

Liquid antiferromagnets in two dimensions

It is shown that, for proper symmetry of the parent lattice, antiferromagnetic order can survive in two-dimensional liquid crystals and even isotropic liquids of point-like particles, in contradiction to what common sense might suggest. We discuss the requirements for antiferromagnetic order in the absence of translational and/or orientational lattice order. One example is the honeycomb lattice, which upon melting can form a liquid crystal with quasi-long-range orientational and antiferromagnetic order but short-range translational order. The critical properties of such systems are discussed. Finally, we draw conjectures for the three-dimensional case.Comment: 4 pages RevTeX, 4 figures include

Continuous Melting of a "Partially Pinned" Two-Dimensional Vortex Lattice in a Square Array of Pinning Centers

The structure and equilibrium properties of a two-dimensional system of superconducting vortices in a periodic pinning potential with square symmetry are studied numerically. For a range of the strength of the pinning potential, the low-temperature crystalline state exhibits only one of the two basic periodicities (in the $x$- and $y$-directions) of the pinning potential. This ``partially pinned'' solid undergoes a continuous melting transition to a weakly modulated liquid as the temperature is increased. A spin model, constructed using symmetry arguments, is shown to reproduce the critical behavior at this transition.Comment: 5 pages, 4 figure