Bilocal *-automorphisms of B(H)

L

Parity-violating asymmetry in γd→n⃗p\gamma d \to \vec{n}p with a pionless effective theory

Nuclear parity violation is studied with polarized neutrons in the photodisintegration of the deuteron at low energies. A pionless effective field theory with di-baryon fields is used for the investigation. Hadronic weak interactions are treated by parity-violating di-baryon-nucleon-nucleon vertices, which have undetermined coupling contants. A parity-violating asymmetry in the process is calculated for the incident photon energy up to 30 MeV. If experimental data for the parity-violating asymmetry become available in the future, we will be able to determine the unknown coupling contants in the parity-violating vertices.Comment: 4 pages. A contribution to APFB2011, August 22-26, 2011, Seoul, Kore

The effects of magnetic field on the d-density wave order in the cuprates

We consider the effects of a perpendicular magnetic field on the d-density wave order and conclude that if the pseudogap phase in the cuprates is due to this order, then it is highly insensitive to the magnetic field in the underdoped regime, while its sensitivity increases as the gap vanishes in the overdoped regime. This appears to be consistent with the available experiments and can be tested further in neutron scattering experiments. We also investigate the nature of the de Haas- van Alphen effect in the ordered state and discuss the possibility of observing it.Comment: 5 pages, 4 eps figures, RevTex4. Corrected a silly but important typo in the abstrac

Ab initio many-body calculations on infinite carbon and boron-nitrogen chains

In this paper we report first-principles calculations on the ground-state electronic structure of two infinite one-dimensional systems: (a) a chain of carbon atoms and (b) a chain of alternating boron and nitrogen atoms. Meanfield results were obtained using the restricted Hartree-Fock approach, while the many-body effects were taken into account by second-order M{\o}ller-Plesset perturbation theory and the coupled-cluster approach. The calculations were performed using 6-31$G^{**}$ basis sets, including the d-type polarization functions. Both at the Hartree-Fock (HF) and the correlated levels we find that the infinite carbon chain exhibits bond alternation with alternating single and triple bonds, while the boron-nitrogen chain exhibits equidistant bonds. In addition, we also performed density-functional-theory-based local density approximation (LDA) calculations on the infinite carbon chain using the same basis set. Our LDA results, in contradiction to our HF and correlated results, predict a very small bond alternation. Based upon our LDA results for the carbon chain, which are in agreement with an earlier LDA calculation calculation [ E.J. Bylaska, J.H. Weare, and R. Kawai, Phys. Rev. B 58, R7488 (1998).], we conclude that the LDA significantly underestimates Peierls distortion. This emphasizes that the inclusion of many-particle effects is very important for the correct description of Peierls distortion in one-dimensional systems.Comment: 3 figures (included). To appear in Phys. Rev.

Surface Roughness and Effective Stick-Slip Motion

The effect of random surface roughness on hydrodynamics of viscous incompressible liquid is discussed. Roughness-driven contributions to hydrodynamic flows, energy dissipation, and friction force are calculated in a wide range of parameters. When the hydrodynamic decay length (the viscous wave penetration depth) is larger than the size of random surface inhomogeneities, it is possible to replace a random rough surface by effective stick-slip boundary conditions on a flat surface with two constants: the stick-slip length and the renormalization of viscosity near the boundary. The stick-slip length and the renormalization coefficient are expressed explicitly via the correlation function of random surface inhomogeneities. The effective stick-slip length is always negative signifying the effective slow-down of the hydrodynamic flows by the rough surface (stick rather than slip motion). A simple hydrodynamic model is presented as an illustration of these general hydrodynamic results. The effective boundary parameters are analyzed numerically for Gaussian, power-law and exponentially decaying correlators with various indices. The maximum on the frequency dependence of the dissipation allows one to extract the correlation radius (characteristic size) of the surface inhomogeneities directly from, for example, experiments with torsional quartz oscillators.Comment: RevTeX4, 14 pages, 3 figure

On Parity-Violating Three-Nucleon Interactions and the Predictive Power of Few-Nucleon EFT at Very Low Energies

We address the typical strengths of hadronic parity-violating three-nucleon interactions in "pion-less" Effective Field Theory in the nucleon-deuteron (iso-doublet) system. By analysing the superficial degree of divergence of loop diagrams, we conclude that no such interactions are needed at leading order. The only two linearly independent parity-violating three-nucleon structures with one derivative mix two-S and two-P-half waves with iso-spin transitions Delta I = 0 or 1. Due to their structure, they cannot absorb any divergence ostensibly appearing at next-to-leading order. This observation is based on the approximate realisation of Wigner's combined SU(4) spin-isospin symmetry in the two-nucleon system, even when effective-range corrections are included. Parity-violating three-nucleon interactions thus only appear beyond next-to-leading order. This guarantees renormalisability of the theory to that order without introducing new, unknown coupling constants and allows the direct extraction of parity-violating two-nucleon interactions from three-nucleon experiments.Comment: 20 pages LaTeX2e, including 9 figures as .eps file embedded with includegraphicx. Minor modifications and stylistic corrections. Version accepted for publication in Eur. Phys. J.

Parity-violating neutron spin rotation in hydrogen and deuterium

We calculate the (parity-violating) spin rotation angle of a polarized neutron beam through hydrogen and deuterium targets, using pionless effective field theory up to next-to-leading order. Our result is part of a program to obtain the five leading independent low-energy parameters that characterize hadronic parity-violation from few-body observables in one systematic and consistent framework. The two spin-rotation angles provide independent constraints on these parameters. Using naive dimensional analysis to estimate the typical size of the couplings, we expect the signal for standard target densities to be 10^-7 to 10^-6 rad/m for both hydrogen and deuterium targets. We find no indication that the nd observable is enhanced compared to the np one. All results are properly renormalized. An estimate of the numerical and systematic uncertainties of our calculations indicates excellent convergence. An appendix contains the relevant partial-wave projectors of the three-nucleon system.Comment: 44 pages, 17 figures; minor corrections; to be published in EPJ

Testing Library Specifications by Verifying Conformance Tests

Abstract. Formal specifications of standard libraries are necessary when statically verifying software that uses those libraries. Library specifications must be both correct, accurately reflecting library behavior, and useful, describing library behavior in sufficient detail to allow static verification of client programs. Specification and verification researchers regularly face the question of whether the library specifications we use are correct and useful, and we have collectively provided no good answers. Over the past few years we have created and refined a software engineering process, which we call the Formal CTD Process (FCTD), to address this problem. Although FCTD is primarily targeted toward those who write Java libraries (or specifications for existing Java libraries) using the Java Modeling Language (JML), its techniques are broadly applicable. The key to FCTD is its novel usage of library conformance test suites. Rather than executing the conformance tests, FCTD uses them to measure the correctness and utility of specifications through static verification. FCTD is beginning to see significant use within the JML community and is the cornerstone process of the JML Spec-a-thons, meetings that bring JML researchers and practitioners together for intensive specification writing sessions. This article describes the Formal CTD Process, its use in small case studies, and its broad application to the standard Java class library.

First-principles study of nucleation, growth, and interface structure of Fe/GaAs

We use density-functional theory to describe the initial stages of Fe film growth on GaAs(001), focusing on the interplay between chemistry and magnetism at the interface. Four features appear to be generic: (1) At submonolayer coverages, a strong chemical interaction between Fe and substrate atoms leads to substitutional adsorption and intermixing. (2) For films of several monolayers and more, atomically abrupt interfaces are energetically favored. (3) For Fe films over a range of thicknesses, both Ga- and As-adlayers dramatically reduce the formation energies of the films, suggesting a surfactant-like action. (4) During the first few monolayers of growth, Ga or As atoms are likely to be liberated from the interface and diffuse to the Fe film surface. Magnetism plays an important auxiliary role for these processes, even in the dilute limit of atomic adsorption. Most of the films exhibit ferromagnetic order even at half-monolayer coverage, while certain adlayer-capped films show a slight preference for antiferromagnetic order.Comment: 11 two-column pages, 12 figures, to appear in Phys. Rev.

Emission spectra and intrinsic optical bistability in a two-level medium

Scattering of resonant radiation in a dense two-level medium is studied theoretically with account for local field effects and renormalization of the resonance frequency. Intrinsic optical bistability is viewed as switching between different spectral patterns of fluorescent light controlled by the incident field strength. Response spectra are calculated analytically for the entire hysteresis loop of atomic excitation. The equations to describe the non-linear interaction of an atomic ensemble with light are derived from the Bogolubov-Born-Green-Kirkwood-Yvon hierarchy for reduced single particle density matrices of atoms and quantized field modes and their correlation operators. The spectral power of scattered light with separated coherent and incoherent constituents is obtained straightforwardly within the hierarchy. The formula obtained for emission spectra can be used to distinguish between possible mechanisms suggested to produce intrinsic bistability.Comment: 18 pages, 5 figure