Bilocal *-automorphisms of B(H)

L

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 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

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.

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

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

A statistical interpretation of the correlation between intermediate mass fragment multiplicity and transverse energy

Multifragment emission following Xe+Au collisions at 30, 40, 50 and 60 AMeV has been studied with multidetector systems covering nearly 4-pi in solid angle. The correlations of both the intermediate mass fragment and light charged particle multiplicities with the transverse energy are explored. A comparison is made with results from a similar system, Xe+Bi at 28 AMeV. The experimental trends are compared to statistical model predictions.Comment: 7 pages, submitted to Phys. Rev.