Rare decays and CP violation at B-factories

Recent results on rare B decays from the two B-factories, Belle and BABAR, are presented. The Wilson Coefficients in B → K(∗)l+l− and polarization puzzle in charmless B → V V decays are addressed

Refinement Type Inference via Horn Constraint Optimization

We propose a novel method for inferring refinement types of higher-order functional programs. The main advantage of the proposed method is that it can infer maximally preferred (i.e., Pareto optimal) refinement types with respect to a user-specified preference order. The flexible optimization of refinement types enabled by the proposed method paves the way for interesting applications, such as inferring most-general characterization of inputs for which a given program satisfies (or violates) a given safety (or termination) property. Our method reduces such a type optimization problem to a Horn constraint optimization problem by using a new refinement type system that can flexibly reason about non-determinism in programs. Our method then solves the constraint optimization problem by repeatedly improving a current solution until convergence via template-based invariant generation. We have implemented a prototype inference system based on our method, and obtained promising results in preliminary experiments.Comment: 19 page

Radiative Transfer Effects in He I Emission Lines

We consider the effect of optical depth of the 2 ^{3}S level on the nebular recombination spectrum of He I for a spherically symmetric nebula with no systematic velocity gradients. These calculations, using many improvements in atomic data, can be used in place of the earlier calculations of Robbins. We give representative Case B line fluxes for UV, optical, and IR emission lines over a range of physical conditions: T=5000-20000 K, n_{e}=1-10^{8} cm^{-3}, and tau_{3889}=0-100. A FORTRAN program for calculating emissivities for all lines arising from quantum levels with n < 11 is also available from the authors. We present a special set of fitting formulae for the physical conditions relevant to low metallicity extragalactic H II regions: T=12,000-20,000 K, n_{e}=1-300 cm^{-3}, and tau_{3889} < 2.0. For this range of physical conditions, the Case B line fluxes of the bright optical lines 4471 A, 5876 A, and 6678 A, are changed less than 1%, in agreement with previous studies. However, the 7065 A corrections are much smaller than those calculated by Izotov & Thuan based on the earlier calculations by Robbins. This means that the 7065 A line is a better density diagnostic than previously thought. Two corrections to the fitting functions calculated in our previous work are also given.Comment: To be published in 10 April 2002 ApJ; relevant code available at ftp://wisp.physics.wisc.edu/pub/benjamin/Heliu

A novel type of proximity focusing RICH counter with multiple refractive index aerogel radiator

A proximity focusing ring imaging Cherenkov detector, with the radiator consisting of two or more aerogel layers of different refractive indices, has been tested in 1-4 GeV/c pion beams at KEK. Essentially, a multiple refractive index aerogel radiator allows for an increase in Cherenkov photon yield on account of the increase in overall radiator thickness, while avoiding the simultaneous degradation in single photon angular resolution associated with the increased uncertainty of the emission point. With the refractive index of consecutive layers suitably increasing in the downstream direction, one may achieve overlapping of the Cherenkov rings from a single charged particle. In the opposite case of decreasing refractive index, one may obtain well separated rings. In the former combination an approximately 40% increase in photon yield is accompanied with just a minor degradation in single photon angular resolution. The impact of this improvement on the pion/kaon separation at the upgraded Belle detector is discussed.Comment: submitted to Nucl. Instr. Meth.

Performance of p-bulk microstrip sensors under 60Co γ irradiation at rates expected at the HL-LHC

We are developing p-bulk microstrip sensors for the high luminosity upgrade of the LHC accelerator, HL-LHC. The stability of FZ (float zone) wafers available to Hamamatsu Photonics was examined by irradiating them at rates expected at the HL-LHC. They show degradation in the operational voltage at low dose but recover after the dose is accumulated. The instability is dependent on the bias voltage and dose rate, and also on the irradiation history. We have characterized the instability and attributed the cause to the charge concentration at the electrode edge. The strip isolation, which is degraded while in irradiation, is shown not to induce any practical problem for the operation

Theoretical models for classical Cepheids. VIII. Effects of helium and heavy elements abundance on the Cepheid distance scale

Previous nonlinear fundamental pulsation models for classical Cepheids with metal content Z <= 0.02 are implemented with new computations at super-solar metallicity (Z=0.03, 0.04) and selected choices of the helium-to-metal enrichment ratio DeltaY/Delta Z. On this basis, we show that the location into the HR diagram of the Cepheid instability strip is dependent on both metal and helium abundance, moving towards higher effective temperatures with decreasing the metal content (at fixed Y) or with increasing the helium content (at fixed Z). The contributions of helium and metals to the predicted Period-Luminosity and Period-Luminosity-Color relations are discussed, as well as the implications on the Cepheid distance scale. Based on these new results, we finally show that the empirical metallicity correction suggested by Cepheid observations in two fields of the galaxy M101 may be accounted for, provided that the adopted helium-to-metal enrichment ratio is reasonably high (Delta Y/Delta Z ~ 3.5).Comment: 23 pages, including 6 postscript figures, accepted for publication on Ap

Hemodynamic Assessment of Celiaco-mesenteric Anastomosis in Patients with Pancreaticoduodenal Artery Aneurysm Concomitant with Celiac Artery Occlusion using Flow-sensitive Four-dimensional Magnetic Resonance Imaging

ObjectivesMany pancreaticoduodenal artery (PDA) aneurysms are associated with celiac artery (CA) stenosis. The pathogenesis of PDA aneurysm may be associated with hemodynamic changes due to CA stenosis/occlusion. The aim of this study was to assess the hemodynamic changes of celiaco-mesenteric anastomosis in patients with PDA aneurysms concomitant with CA occlusion using four-dimensional flow-sensitive magnetic resonance imaging (4D-Flow).Methods4D-Flow was performed preoperatively on five patients. Seven age- and sex-matched individuals were used as controls. Hemodynamic parameters such as flow volume and maximum flow velocity in PDAs, gastroduodenal arteries, common hepatic arteries, and superior mesenteric arteries were compared between both groups. Wall shear stress (WSS) and oscillatory shear index (OSI) were mapped in both groups.ResultsIn the patient group, 4D-Flow identified retrograde flow of both gastroduodenal arteries and common hepatic arteries. Heterogeneous distribution patterns of both WSS and OSI were identified across the entire PDA in the patient group. OSI mapping showed multiple regions with extremely high OSI values (OSI > 0.3) in all patients. All PDA aneurysms, which were surgically resected, were atherosclerotic.Conclusions4D-Flow identified hemodynamic changes in celiaco-mesenteric arteries in patients with PDA aneurysms with concomitant CA occlusion. These hemodynamic changes may be associated with PDA aneurysm formation