Sequent Calculus in the Topos of Trees

Nakano's "later" modality, inspired by G\"{o}del-L\"{o}b provability logic, has been applied in type systems and program logics to capture guarded recursion. Birkedal et al modelled this modality via the internal logic of the topos of trees. We show that the semantics of the propositional fragment of this logic can be given by linear converse-well-founded intuitionistic Kripke frames, so this logic is a marriage of the intuitionistic modal logic KM and the intermediate logic LC. We therefore call this logic $\mathrm{KM}_{\mathrm{lin}}$. We give a sound and cut-free complete sequent calculus for $\mathrm{KM}_{\mathrm{lin}}$ via a strategy that decomposes implication into its static and irreflexive components. Our calculus provides deterministic and terminating backward proof-search, yields decidability of the logic and the coNP-completeness of its validity problem. Our calculus and decision procedure can be restricted to drop linearity and hence capture KM.Comment: Extended version, with full proof details, of a paper accepted to FoSSaCS 2015 (this version edited to fix some minor typos

Averages of b-hadron Properties at the End of 2005

This article reports world averages for measurements on b-hadron properties obtained by the Heavy Flavor Averaging Group (HFAG) using the available results as of at the end of 2005. In the averaging, the input parameters used in the various analyses are adjusted (rescaled) to common values, and all known correlations are taken into account. The averages include lifetimes, neutral meson mixing parameters, parameters of semileptonic decays, branching fractions of B meson decays to final states with open charm, charmonium and no charm, and measurements related to CP asymmetries

Neural network parametrization of the lepton energy spectrum in semileptonic B meson decays

We construct a parametrization of the lepton energy spectrum in inclusive semileptonic decays of B mesons, based on the available experimental information: moments of the spectrum with cuts, their errors and their correlations, together with kinematical constraints. The result is obtained in the form of a Monte Carlo sample of neural networks trained on replicas of the experimental data, which represents the probability density in the space of lepton energy spectra. This parametrization is then used to extract the b quark mass m_b^{1S} in a way that theoretical uncertainties are minimized, for which the value m_b^{1S}=4.84 \pm 0.14^{exp}\pm 0.05^{th} GeV is obtained.Comment: 32 pages, 22 figures, JHEP3 class. v4 version accepted for publication in JHE

Evidence for CP Violation in B0 -> D+D- Decays

We report measurements of the branching fraction and CP violation parameters in B0 -> D+D- decays. The results are based on a data sample that contains 535 x 10^6 BBbar pairs collected at the Upsilon(4S) resonance, with the Belle detector at the KEKB asymmetric-energy e+e- collider. We obtain [1.97 +- 0.20 (stat) +- 0.20 (syst)] x 10^(-4) for the branching fraction of B0 -> D+D-. The measured values of the CP violation parameters are: S = -1.13 +- 0.37 +- 0.09, A = 0.91 +- 0.23 +- 0.06, where the first error is statistical and the second is systematic. We find evidence of CP violation in B0 -> D+D- at the 4.1 sigma confidence level. While the value of S is consistent with expectations from other measurements, the value of the parameter A favors large direct CP violation at the 3.2 sigma confidence level, in contradiction to Standard Model expectations.Comment: 12 pages, 3 figures, submitted to PR

Search for the h_c meson in B^+- ->h_c K^+-

We report a search for the $h_c$ meson via the decay chain $B^{\pm}\to h_c K^{\pm}$, \etac \gamma with $\eta_c \to K_S^0 K^{\pm} \pi^{\mp}$ and $p\bar{p}$. No significant signals are observed. We obtain upper limits on the branching fractions for $B^{\pm} \to \eta_c\gamma K^{\pm}$ in bins of the $\eta_c\gamma$ invariant mass. The results are based on an analysis of 253 fb$^{-1}$ of data collected by the Belle detector at the KEKB $e^+e^-$ collider.Comment: 12 pages, 6 figures, submitted to Phys. Rev.

Study of the Baryon-Antibaryon Low-Mass Enhancements in Charmless Three-body Baryonic B Decays

The angular distributions of the baryon-antibaryon low-mass enhancements seen in the charmless three-body baryonic B decays B+ -> p pbar K+, B0 -> p pbar Ks, and B0 -> p Lambdabar pi- are reported. A quark fragmentation interpretation is supported, while the gluonic resonance picture is disfavored. Searches for the Theta+ and Theta++ pentaquarks in the relevant decay modes and possible glueball states G with 2.2 GeV/c2 < M-ppbar < 2.4 GeV/c2 in the ppbar systems give null results. We set upper limits on the products of branching fractions, B(B0 -> Theta+ p)\times B(Theta+ -> p Ks) Theta++ pbar) \times B(Theta++ -> p K+) G K+) \times B(G -> p pbar) < 4.1 \times 10^{-7} at the 90% confidence level. The analysis is based on a 140 fb^{-1} data sample recorded on the Upsilon(4S) resonance with the Belle detector at the KEKB asymmetric-energy e+e- collider.Comment: 14 pages, 13 figure files, update of hep-ex/0409010 for journal submisssio

Study of B -> \rho \pi decays at Belle

This paper describes a study of B meson decays to the pseudoscalar-vector final state \rho\pi using 31.9\times 10^6 B\bar{B} events collected with the Belle detector at KEKB. The branching fractions B(B^+ \to \rho^0\pi^+) = (8.0^{+2.3+0.7}_{-2.0-0.7}) \times 10^{-6} and B(B^0 -> \rho^{+-} \pi^{-+}) = (20.8^{+6.0+2.8}_{-6.3-3.1}) \times 10^{-6} are obtained. In addition, a 90% confidence level upper limit of B(B^0 \to \rho^0\pi^0) < 5.3 \times 10^{-6}is reported.Comment: 14 pages, 3 figures, to be submitted to Phys. Lett.

A case of penile fracture with complete urethral disruption during sexual intercourse: a case report

Penile fracture is a rare condition. Primarily it is a rupture of the corpus cavernosum that occurs when the penis is erect. The rupture can also affect the corpus spongiosum and the urethra. We report a case of a 37 year old man who presented with acute penile pain, penile swelling and the inability to pass urine after a blunt trauma during sexual intercourse. In emergency surgery we found bilateral partial rupture of the corpus cavernosum with complete urethral and corpus spongiosum disruption. In the one year follow up the patient presented with normal erectile and voiding function. Emergency surgical repair in penile fracture can preserve erectile and voiding function

Search for B^0-> p p-bar, Lambda Lambda-bar and B^+ -> p Lambda-bar at Belle

We report on a new search for two-body baryonic decays of the B meson. Improved sensitivity compared to previous Belle results is obtained from 414 fb^-1 of data that corresponds to 449 million B B-bar pairs, which were taken on the Upsilon(4S) resonance and collected with the Belle detector at the KEKB e^+e^- collider. No significant signals are observed and we set the 90% confidence level upper limits: Br(B^0-> p pbar) Lambda Lambda-bar) p Lambda-bar) < 3.2X10^-7.Comment: 5 pages, 2 figures, submitted to PR

Precision Top-Quark Mass Measurements at CDF

We present a precision measurement of the top-quark mass using the full sample of Tevatron $\sqrt{s}=1.96$ TeV proton-antiproton collisions collected by the CDF II detector, corresponding to an integrated luminosity of 8.7 $fb^{-1}$. Using a sample of $t\bar{t}$ candidate events decaying into the lepton+jets channel, we obtain distributions of the top-quark masses and the invariant mass of two jets from the $W$ boson decays from data. We then compare these distributions to templates derived from signal and background samples to extract the top-quark mass and the energy scale of the calorimeter jets with {\it in situ} calibration. The likelihood fit of the templates from signal and background events to the data yields the single most-precise measurement of the top-quark mass, \mtop = 172.85 \pm$0.71 (stat)$\pm$0.85 (syst) GeV/c^{2}.$Comment: submitted to Phys. Rev. Let