Experimental test of the probability density function of true value of Poisson distribution parameter by single observation of number of events

The empirical probability density function for the conditional distribution of the true value of Poisson distribution parameter on one measurement is constructed by computer experiment. The analysis of the obtained distributions confirms that these distributions are gamma-distributions.Comment: presented in the IX International Workshop on Advanced Computing and Analysis Techniques in Physics Research (ACAT'03), KEK, Tsukuba, Japan, December 1-5, 200

Formalizing and Verifying a Modern Build Language

CLOUDMAKE is a software utility that automatically builds executable programs and libraries from source code—a modern MAKE utility. Its design gives rise to a number of possible optimizations, like cached builds, and the exe-cutables to be built are described using a functional programming language. This paper formally and mechanically verifies the correctness of central CLOUDMAKE algorithms. The paper defines the CLOUDMAKE language using an operational semantics, but with a twist: the central operation exec is defined axiomatically, making it pluggable so that it can be replaced by calls to compilers, linkers, and other tools. The formalization and proofs of the central CLOUDMAKE algorithms are done entirely in DAFNY, the proof engine of which is an SMT-based program verifier

Detection potential to point-like neutrino sources with the NEMO-km3 telescope

The NEMO Collaboration is conducting an R&D activity towards the construction of a Mediterranean km3 neutrino telescope. In this work, we present the results of Monte Carlo simulation studies on the capability of the proposed NEMO telescope to detect and identify point-like sources of high energy muon neutrinos.Comment: To be published on BCN06 proceedings (Barcelona, July 4-7, 2006

Search for the radiative decay η→π0γγ\eta \to \pi^0 \gamma \gamma in the SND experiment at VEPP-2M

The $\eta \to \pi^0 \gamma \gamma$ decay was investigated by the SND detector at VEPP-2M $e^+e^-$ collider in the reaction $e^+e^-\to\phi\to \eta\gamma$. Here we present the results and some details of this study. We report an upper limit (90% c.l.) $Br(\eta \to \pi^0 \gamma \gamma)<8.4\times 10^{-4}$ as our final result. Our upper limit does not contradict the earlier measurement by GAMS spectrometer. To facilitate future studies a rather detailed review of the problem is also given.Comment: 24 pages, 6 figures, LaTex. To be published in Nucl. Phys.

Search for the exotic Θ+\Theta^+ resonance in the NOMAD experiment

A search for exotic Theta baryon via Theta -> proton +Ks decay mode in the NOMAD muon neutrino DIS data is reported. The special background generation procedure was developed. The proton identification criteria are tuned to maximize the sensitivity to the Theta signal as a function of xF which allows to study the Theta production mechanism. We do not observe any evidence for the Theta state in the NOMAD data. We provide an upper limit on Theta production rate at 90% CL as 2.13 per 1000 of neutrino interactions.Comment: Accepted to European Physics Journal

Study of the Process e+ e- --> pi0 pi0 gamma in c.m. Energy Range 600--970 MeV at CMD-2

The cross section of the process e+ e- --> pi0 pi0 gamma has been measured in the c.m. energy range 600--970 MeV with the CMD-2 detector. The following branching ratios have been determined: B(rho --> pi0 pi0 gamma) =(5.2^{+1.5}_{-1.3} +- 0.6)x10^{-5} and B(omega --> pi0 pi0 gamma) =(6.4^{+2.4}_{-2.0} +- 0.8)x10^{-5}. Evidence for the rho --> f0(600) gamma decay has been obtained: B(rho --> f0(600) gamma) = (6.0^{+3.3}_{-2.7}\pm 0.9)x10^{-5}. From a search for the process e+ e- --> eta pi0 gamma the following upper limit has been obtained: B(omega --> eta pi0 gamma) < 3.3 10^{-5} at 90% CL.Comment: 15 pages, 4 figure

Radiative Decays, Nonet Symmetry and SU(3) Breaking

We re-examine the problem of simultaneously describing in a consistent way all radiative and leptonic decays of light mesons (V -> P gamma, P -> V gamma, P -> gamma gamma, V -> e^+ e^-). For this purpose, we rely on the Hidden Local Symmetry model in both its anomalous and non--anomalous sectors. We show that the SU(3) symmetry breaking scheme proposed by Bando, Kugo and Yamawaki, supplemented with nonet symmetry breaking in the pseudoscalar sector, allows one to reach a nice agreement with all data, except for the K^{*+/-} radiative decay. An extension of this breaking pattern allows one to account for this particular decay mode too. Considered together, the whole set of radiative decays provides a pseudoscalar mixing angle theta_P ~ -11^o and a value for theta_V which is ~ 3^o from that of ideal mixing. We also show that it is impossible, in a practical sense, to disentangle the effects of nonet symmetry breaking and those of glue inside the eta', using only light meson decays.Comment: 36 pages. Published versio