Validation of frequency and mode extraction calculations from time-domain simulations of accelerator cavities

The recently developed frequency extraction algorithm [G.R. Werner and J.R. Cary, J. Comp. Phys. 227, 5200 (2008)] that enables a simple FDTD algorithm to be transformed into an efficient eigenmode solver is applied to a realistic accelerator cavity modeled with embedded boundaries and Richardson extrapolation. Previously, the frequency extraction method was shown to be capable of distinguishing M degenerate modes by running M different simulations and to permit mode extraction with minimal post-processing effort that only requires solving a small eigenvalue problem. Realistic calculations for an accelerator cavity are presented in this work to establish the validity of the method for realistic modeling scenarios and to illustrate the complexities of the computational validation process. The method is found to be able to extract the frequencies with error that is less than a part in 10^5. The corrected experimental and computed values differ by about one parts in 10^$, which is accounted for (in largest part) by machining errors. The extraction of frequencies and modes from accelerator cavities provides engineers and physicists an understanding of potential cavity performance as it depends on shape without incurring manufacture and measurement costs

The Power of Non-Determinism in Higher-Order Implicit Complexity

We investigate the power of non-determinism in purely functional programming languages with higher-order types. Specifically, we consider cons-free programs of varying data orders, equipped with explicit non-deterministic choice. Cons-freeness roughly means that data constructors cannot occur in function bodies and all manipulation of storage space thus has to happen indirectly using the call stack. While cons-free programs have previously been used by several authors to characterise complexity classes, the work on non-deterministic programs has almost exclusively considered programs of data order 0. Previous work has shown that adding explicit non-determinism to cons-free programs taking data of order 0 does not increase expressivity; we prove that this - dramatically - is not the case for higher data orders: adding non-determinism to programs with data order at least 1 allows for a characterisation of the entire class of elementary-time decidable sets. Finally we show how, even with non-deterministic choice, the original hierarchy of characterisations is restored by imposing different restrictions.Comment: pre-edition version of a paper accepted for publication at ESOP'1

Crab cavities for linear colliders

Crab cavities have been proposed for a wide number of accelerators and interest in crab cavities has recently increased after the successful operation of a pair of crab cavities in KEK-B. In particular crab cavities are required for both the ILC and CLIC linear colliders for bunch alignment. Consideration of bunch structure and size constraints favour a 3.9 GHz superconducting, multi-cell cavity as the solution for ILC, whilst bunch structure and beam-loading considerations suggest an X-band copper travelling wave structure for CLIC. These two cavity solutions are very different in design but share complex design issues. Phase stabilisation, beam loading, wakefields and mode damping are fundamental issues for these crab cavities. Requirements and potential design solutions will be discussed for both colliders.Comment: 3 pages. To be published in proceedings of LINAC 2008, Victoria, Canad

Measurement of the antineutrino to neutrino charged-current interaction cross section ratio in MINERvA

We present measurements of the neutrino and antineutrino total charged-current cross sections on carbon and their ratio using the MINERvA scintillator-tracker. The measurements span the energy range 2-22 GeV and were performed using forward and reversed horn focusing modes of the Fermilab low-energy NuMI beam to obtain large neutrino and antineutrino samples. The flux is obtained using a subsample of charged-current events at low hadronic energy transfer along with precise higher energy external neutrino cross section data overlapping with our energy range between 12-22 GeV. We also report on the antineutrino-neutrino cross section ratio, R-CC, which does not rely on external normalization information. Our ratio measurement, obtained within the same experiment using the same technique, benefits from the cancellation of common sample systematic uncertainties and reaches a precision of similar to 5% at low energy. Our results for the antineutrino-nucleus scattering cross section and for RCC are the most precise to date in the energy range E-v \u3c 6 GeV

Search for associated Higgs boson production using like charge dilepton events in p(p)over-bar collisions at root s=1.96 TeV

We present a search for associated Higgs boson production in the process p (p) over bar -> W/ZH -> l(+/-)l'(+/-) + X in ee, e mu, and mu mu final states. The search is based on data collected by the D0 experiment at the Fermilab Tevatron Collider at root s = 1.96 TeV corresponding to 5.3 fb(-1) of integrated luminosity. We require two isolated leptons (electrons or muons) with the same electric charge and additional kinematic requirements. No significant excess above background is observed, and we set 95% C. L. observed (expected) upper limits on ratio of the production cross section to the standard model prediction of 6.4 (7.3) for a Higgs boson mass of 165 GeV and 13.5 (19.8) for a mass of 115 GeV

Search for the Rare Decays KL->pi0pi0mu+mu- and KL->pi0pi0X0->pi0pi0mu+mu-

The KTeV E799 experiment has conducted a search for the rare decays KL->pi0pi0mu+mu- and KL->pi0pi0X0->pi0pi0mu+mu-, where the X0 is a possible new neutral boson that was reported by the HyperCP experiment with a mass of (214.3 pm 0.5) MeV/c^{2}. We find no evidence for either decay. We obtain upper limits of Br(KL->pi0pi0X0->pi0pi0mu+mu-) pi0pi0mu+mu-) < 9.2 x 10^{-11} at the 90% confidence level. This result rules out the pseudoscalar X0 as an explanation of the HyperCP result under the scenario that the \bar{d}sX0 coupling is completely real

Search for the Rare Decay K_{L}\to\pi^{0}\pi^{0}\gamma

The KTeV E799 experiment has conducted a search for the rare decay $K_{L}\to\pi^{0}\pi^{0}\gamma$ via the topology $K_{L}\to\pi^{0}\pi^{0}_D\gamma$ (where $\pi^0_D\to\gamma e^+e^-$). Due to Bose statistics of the $\pi^0$ pair and the real nature of the photon, the $K_{L}\to\pi^{0}\pi^{0}\gamma$ decay is restricted to proceed at lowest order by the CP conserving direct emission (DE) of an E2 electric quadrupole photon. The rate of this decay is interesting theoretically since chiral perturbation theory predicts that this process vanishes at level $O(p^4)$. Therefore, this mode probes chiral perturbation theory at $O(p^6)$. In this paper we report a determination of an upper limit of $2.43\times 10^{-7}$ (90% CL) for $K_{L}\to\pi^{0}\pi^{0}\gamma$. This is approximately a factor of 20 lower than previous results.Comment: six pages and six figures in the submission. Reformatted for Physics Review

First evidence of coherent K+K^{+} meson production in neutrino-nucleus scattering

Neutrino-induced charged-current coherent kaon production, $\nu_{\mu}A\rightarrow\mu^{-}K^{+}A$, is a rare, inelastic electroweak process that brings a $K^+$ on shell and leaves the target nucleus intact in its ground state. This process is significantly lower in rate than neutrino-induced charged-current coherent pion production, because of Cabibbo suppression and a kinematic suppression due to the larger kaon mass. We search for such events in the scintillator tracker of MINERvA by observing the final state $K^+$, $\mu^-$ and no other detector activity, and by using the kinematics of the final state particles to reconstruct the small momentum transfer to the nucleus, which is a model-independent characteristic of coherent scattering. We find the first experimental evidence for the process at $3\sigma$ significance.Comment: added ancillary file with information about the six kaon candidate

Reducing model bias in a deep learning classifier using domain adversarial neural networks in the MINERvA experiment

We present a simulation-based study using deep convolutional neural networks (DCNNs) to identify neutrino interaction vertices in the MINERvA passive targets region, and illustrate the application of domain adversarial neural networks (DANNs) in this context. DANNs are designed to be trained in one domain (simulated data) but tested in a second domain (physics data) and utilize unlabeled data from the second domain so that during training only features which are unable to discriminate between the domains are promoted. MINERvA is a neutrino-nucleus scattering experiment using the NuMI beamline at Fermilab. $A$-dependent cross sections are an important part of the physics program, and these measurements require vertex finding in complicated events. To illustrate the impact of the DANN we used a modified set of simulation in place of physics data during the training of the DANN and then used the label of the modified simulation during the evaluation of the DANN. We find that deep learning based methods offer significant advantages over our prior track-based reconstruction for the task of vertex finding, and that DANNs are able to improve the performance of deep networks by leveraging available unlabeled data and by mitigating network performance degradation rooted in biases in the physics models used for training.Comment: 41 page