Evidence of the Purely Leptonic Decay B- --> tau- nu_tau-bar

We present the first evidence of the decay B- --> tau- nu_tau-bar using 414 fb^-1 of data collected at the Upsilon(4S) resonance with the Belle detector at the KEKB asymmetric-energy e+e- collider. Events are tagged by fully reconstructing one of the B mesons in hadronic modes. We detect the signal with a significance of 3.5 standard deviations including systematics, and measure the branching fraction to be Br(B- --> tau- nu_tau-bar) = (1.79 +0.56-0.49(stat) +0.46-0.51(syst))*10^-4. This implies that f_B = 0.229 +0.036-0.031(stat) +0.034-0.037(syst) GeV and is the first direct measurement of this quantity.Comment: 6 pages, 3 figures, to appear in Physical Review Letter

Measurements of exclusive B_s^0 decays at the Y(5S) resonance

Several exclusive $B_s^0$ decays are studied using a 1.86 fb-1 data sample collected at the Y(5S) resonance with the Belle detector at the KEKB asymmetric energy e^+ e^- collider. In the $B_s^0 \to D_s^- \pi^+$ decay mode we find 10 $B_s^0$ candidates and measure the corresponding branching fraction. Combining the B_s^0 -> D_s^{(*)-} \pi^+, B_s^0 -> D_s^{(*)-} \rho^+, B_s^0 -> J/\psi \phi and B_s^0 -> J/\psi \eta decay modes, a significant $B_s^0$ signal is observed. The ratio \sigma (e^+ e^- -> B_s^* \bar{B}_s^*) / \sigma (e^+ e^- -> B_s^{(*)} \bar{B}_s^{(*)}) = (93^{+7}_{-9} \pm 1)% is obtained at the Y(5S) energy, indicating that $B_s^0$ meson production proceeds predominantly through the creation of $B^*_s \bar{B}^*_s$ pairs. The $B_s^0$ and $B_s^*$ meson masses are measured to be M(B_s^0)=(5370 \pm 1 \pm 3)MeV/c^2 and M(B_s^*)=(5418 \pm 1 \pm 3)MeV/c^2. Upper limits on the B_s^0 -> \gamma \gamma, B_s^0 -> \phi \gamma, B_s^0 -> K^+ K^- and B_s^0 -> D_s^{(*)+} D_s^{(*)-} branching fractions are also reported.Comment: 9 pages, 5 figures, published in Phys. Rev. D76, 012002 (2007

Search for B+ -> D*+ pi0 decay

We report on a search for the doubly Cabibbo suppressed decay B+ -> D*+ pi0, based on a data sample of 657 million BBbar pairs collected at the Upsilon(4S) resonance with the Belle detector at the KEKB asymmetric energy e+ e- collider. We find no significant signal and set an upper limit of Br(B+ -> D*+ pi0) < 3.6 x 10^-6 at the 90% confidence level. This limit can be used to constrain the ratio between suppressed and favored B -> D* pi decay amplitudes, r < 0.051, at the 90% confidence level.Comment: 5pages, 2figures, submitted to PRL (v1); PRL published version (v2: minor corrections in the text

Study of charmonia in four-meson final states produced in two-photon collisions

We report measurements of charmonia produced in two-photon collisions and decaying to four-meson final states, where the meson is either a charged pion or a charged kaon. The analysis is based on a 395fb^{-1} data sample accumulated with the Belle detector at the KEKB electron-positron collider. We observe signals for the three C-even charmonia eta_c(1S), chi_{c0}(1P) and chi_{c2}(1P) in the pi^+pi^-pi^+pi^-, K^+K^-pi^+pi^- and K^+K^-K^+K^- decay modes. No clear signals for eta_c(2S) production are found in these decay modes. We have also studied resonant structures in charmonium decays to two-body intermediate meson resonances. We report the products of the two-photon decay width and the branching fractions, Gamma_{gamma gamma}B, for each of the charmonium decay modes.Comment: 22 pages, 12 figure

Search for Lepton-Flavor-Violating tau Decays into a Lepton and an f0(980) Meson

We search for lepton-flavor-violating tau decays into a lepton (electron or muon) and an f0(980) meson using 671 fb-1 of data collected with the Belle detector at the KEKB asymmetric-energy e+e- collider. No events are observed and we set the following 90% C.L. upper limits on the branching fraction products: B(tau- -> e-f0(980))*B(f0(980)->pi+pi-) mu-f0(980))*B(f0(980) -> pi+pi-)<3.4x10^-8. This is the first search performed for these modes.Comment: 10 pages, 4 figures, submitted to Phys. Lett.

Observation of the ϕ(1680)\phi(1680) and the Y(2175) in e+e−→ϕπ+π−e^+ e^- \to \phi\pi^+\pi^-

The cross sections for $e^+ e^- \to \phi\pi^+\pi^-$ and e^+ e^- \to \phi \fzero are measured from threshold to $\sqrt{s}=3.0$ $\hbox{GeV}$ using initial state radiation. The analysis is based on a data sample of 673 fb$^{-1}$ collected on and below the $\Upsilon(4S)$ resonance with the Belle detector at the KEKB asymmetric-energy $e^+e^-$ collider. First measurements are reported for the resonance parameters of the $\phi(1680)$ in the $\phi\pi^+\pi^-$ mode: $m=(1689\pm 7\pm 10)$ MeV/$c^2$ and $\Gamma=(211\pm 14\pm 19)$ MeV/$c^2$. A structure at $\sqrt{s}=2.1 \hbox{GeV}/c^2$, corresponding to the so called Y(2175), is observed; its mass and width are determined to be $2079\pm13^{+79}_{-28}$ MeV/$c^2$ and $192\pm23^{+25}_{-61} \hbox{MeV}/c^2$, respectively.Comment: 11 pages, 6 figures. Add one plot. Accepted by Phys.Rev.D(RC

Observation of Ds1(2536)+ -> D+pi-K+ and angular decomposition of Ds1(2536)+ -> D*+K0S

Using 462/fb of e+e- annihilation data recorded by the Belle detector, we report the first observation of the decay Ds1(2536)+ -> D+pi-K+. The ratio of branching fractions B(Ds1+ -> D+pi-K+)/B(Ds1+ -> D*+K0) is measured to be (3.27+-0.18+-0.37)%. We also study the angular distributions in the Ds1(2536)+ -> D*+K0S decay and measure the ratio of D- and S-wave amplitudes. The S-wave dominates, with a partial width of Gamma_S/Gamma_total=0.72+-0.05+-0.01.Comment: Submitted to Phys.Rev.D 16 pages, 6 figures, 3 table

Improved measurement of CP-violating parameters in rho+rho- decays

We present a measurement of the CP-violating asymmetry in rho+rho- decays using 535 million BBbar pairs collected with the Belle detector at the KEKB e+e- collider. We measure CP-violating coefficients A = 0.16 +- 0.21(stat) +- 0.07 (syst) and S = 0.19 +- 0.30(stat) +- 0.07 (syst}. These values are used to determine the unitarity triangle angle phi_2 using an isospin analysis; the solution consistent with Standard Model lies in the range 53 < phi_2 < 114 deg. at 90 C.L.Comment: 6 pages, 4 figures, presented at JPS/DPF 2006 (Added KEK, BELLE preprint numbers, submitted to PRD(RC)

Measurement of CP asymmetry in Cabibbo suppressed D0 decays

We measure the CP-violating asymmetries in decays to the D0 -> K+K- and D0 -> pi+pi- CP eigenstates using 540 fb^{-1} of data collected with the Belle detector at or near the Upsilon(4S) resonance. Cabibbo-favored D0 -> K-pi+ decays are used to correct for systematic detector effects. The results, A_{CP}^{KK} = (-0.43 +- 0.30 +- 0.11)% and A_{CP}^{pipi} = (+0.43 +- 0.52 +- 0.12)%, are consistent with no CP violation.Comment: Submitted to Phys. Lett.

A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods

Ahead-of-Time and Just-in-Time compilation are common ways to improve runtime performances of restrained systems like Java Card by turning critical Java methods into native code. However, native code is much bigger than Java bytecode, which severely limits or even forbids these practices for devices with memory constraints. In this paper, we describe and evaluate a method for reducing natively-compiled code by suppressing runtime exception check sites, which are emitted when compiling bytecodes that may potentially throw runtime exceptions. This is made possible by completing the Java program with JML annotations, and using a theorem prover in order to formally prove that the compiled methods never throw runtime exceptions. Runtime exception check sites can then safely be removed from the generated native code, as it is proved they will never be entered. We have experimented our approach on several card-range and embedded Java applications, and were able to remove almost all the exception check sites. Results show memory footprints for native code that are up to 70% smaller than the non-optimized version, and sometimes as low than 115% the size of the Java bytecode when compiled for ARM thumb