1,512 research outputs found
Masses of a Fourth Generation with Two Higgs Doublets
We use sampling techniques to find robust constraints on the masses of a
possible fourth sequential fermion generation from electroweak oblique
variables. We find that in the case of a light (115 GeV) Higgs from a single
electroweak symmetry breaking doublet, inverted mass hierarchies are possible
for both quarks and leptons, but a mass splitting more than M(W) in the quark
sector is unlikely. We also find constraints in the case of a heavy (600 GeV)
Higgs in a single doublet model. As recent data from the Large Hadron Collider
hints at the existence of a resonance at 124.5 GeV and a single Higgs doublet
at that mass is inconsistent with a fourth fermion generation, we examine a
type II two Higgs doublet model. In this model, there are ranges of parameter
space where the Higgs sector can potentially counteract the effects of the
fourth generation. Even so, we find that such scenarios produce qualitatively
similar fermion mass distributions.Comment: v2: 9 pages, 7 figures, improved analysis of Higgs decay constraints,
typos corrected and reference adde
Quantitative Models and Implicit Complexity
We give new proofs of soundness (all representable functions on base types
lies in certain complexity classes) for Elementary Affine Logic, LFPL (a
language for polytime computation close to realistic functional programming
introduced by one of us), Light Affine Logic and Soft Affine Logic. The proofs
are based on a common semantical framework which is merely instantiated in four
different ways. The framework consists of an innovative modification of
realizability which allows us to use resource-bounded computations as realisers
as opposed to including all Turing computable functions as is usually the case
in realizability constructions. For example, all realisers in the model for
LFPL are polynomially bounded computations whence soundness holds by
construction of the model. The work then lies in being able to interpret all
the required constructs in the model. While being the first entirely semantical
proof of polytime soundness for light logi cs, our proof also provides a
notable simplification of the original already semantical proof of polytime
soundness for LFPL. A new result made possible by the semantic framework is the
addition of polymorphism and a modality to LFPL thus allowing for an internal
definition of inductive datatypes.Comment: 29 page
Separating NC along the δ axis
AbstractThe “δ axis” consists of certain classes Nk such that uniform NC=⋃kNk. A diagonalization is used to prove that Nk≠Nk+1 for all k⩾0. This separation of NC along the δ axis does not imply NCk≠NCk+1, because the relationship between NCk and Nk is not known. However, it is argued that the δ axis provides a natural subdivision of NC. To support this, a careful analogy with the classes DTIME(nk) is made, illuminating a surprisingly close relationship between PTIME and NC. The definition of Nk uses ramified constructs related to a combination of parallel time and space
Resource Control for Synchronous Cooperative Threads
We develop new methods to statically bound the resources needed for the
execution of systems of concurrent, interactive threads. Our study is concerned
with a \emph{synchronous} model of interaction based on cooperative threads
whose execution proceeds in synchronous rounds called instants. Our
contribution is a system of compositional static analyses to guarantee that
each instant terminates and to bound the size of the values computed by the
system as a function of the size of its parameters at the beginning of the
instant. Our method generalises an approach designed for first-order functional
languages that relies on a combination of standard termination techniques for
term rewriting systems and an analysis of the size of the computed values based
on the notion of quasi-interpretation. We show that these two methods can be
combined to obtain an explicit polynomial bound on the resources needed for the
execution of the system during an instant. As a second contribution, we
introduce a virtual machine and a related bytecode thus producing a precise
description of the resources needed for the execution of a system. In this
context, we present a suitable control flow analysis that allows to formulte
the static analyses for resource control at byte code level
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
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
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
A Measurement of the KL Charge Asymmetry
We present a measurement of the charge asymmetry in the mode based on 298 million analyzed decays. We measure a
value of , in good
agreement with previous measurements and 2.4 times more precise than the
current best published result. The result is used to place more stringent
limits on CPT and violation in the neutral kaon system.Comment: Submitted to Physical Review Letters, Dec 31, 2001. 4 pages, 4
figure
Search for Light Gluinos via the Spontaneous Appearance of pi+pi- Pairs with an 800 GeV/c Proton Beam at Fermilab
We searched for the appearance of pi+pi- pairs with invariant mass greater
than 648 MeV in a neutral beam. Such an observation could signify the decay of
a long-lived light neutral particle. We find no evidence for this decay. Our
null result severely constrains the existence of an R0 hadron, which is the
lightest bound state of a gluon and a light gluino, and thereby also the
possibility of a light gluino. Depending on the photino mass, we exclude the R0
in the mass and lifetime ranges of 1.2 -- 4.6 GeV and 2E-10 -- 7E-4 seconds,
respectively. (To Appear in Phys. Rev. Lett.)Comment: Documentstyle aps,epsfig,prl (revtex), 6 pages, 7 figure
- …