4,091 research outputs found
The Standard Model instability and the scale of new physics
We apply a general formalism for the improved effective potential with
several mass scales to compute the scale M of new physics which is needed to
stabilize the Standard Model potential in the presence of a light Higgs. We
find, by imposing perturbativity of the new physics, that M can be as large as
one order of magnitude higher than the instability scale of the Standard Model.
This implies that, with the present lower bounds on the Higgs mass, the new
physics could easily (but not necessarily) escape detection in the present and
future accelerators.Comment: latex2e, 12 pages, 3 figure
Towards high-level execution primitives for and-parallelism: preliminary results
Most implementations of parallel logic programming rely on complex low-level machinery which is arguably difflcult to implement and modify. We explore an alternative approach aimed at taming that complexity by raising core parts of the implementation to the source language level for the particular case of and-parallelism. Therefore, we handle a signiflcant portion of the parallel implementation mechanism at the Prolog level with the help of a comparatively small number of concurrency-related primitives which take care of lower-level tasks such as locking, thread management, stack set management, etc. The approach does not eliminate altogether modiflcations to the abstract machine, but it does greatly simplify them and it also facilitates experimenting with different alternatives. We show how this approach allows implementing both restricted and unrestricted (i.e., non fork-join) parallelism. Preliminary experiments show that the amount of performance sacriflced is reasonable, although granularity control is required in some cases. Also, we observe that the availability of unrestricted parallelism contributes to better observed speedups
Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism
Most efficient implementations of parallel logic programming rely on complex low-level machinery which is arguably difficult to implement and modify. We explore an alternative approach aimed at taming that complexity by raising core parts of the implementation to the source language level for the particular case of and-parallellism. We handle a significant portion of the parallel implementation at the Prolog level with the help of a comparatively small number of concurrency.related primitives which take case of lower-level tasks such as locking, thread management, stack set management, etc. The approach does not eliminate altogether modifications to the abstract machine, but it does greatly simplify them and it also facilitates experimenting with different alternatives. We show how this approach allows implementing both restricted and unrestricted (i.e., non fork-join) parallelism. Preliminary esperiments show thay the performance safcrifieced is reasonable, although granularity of unrestricted parallelism contributes to better observed speedups
Three-loop corrections to the lightest Higgs scalar boson mass in supersymmetry
I evaluate the largest three-loop corrections to the mass of the lightest
Higgs scalar boson in the Minimal Supersymmetric Standard Model in a
mass-independent renormalization scheme, using effective field theory and
renormalization group methods. The contributions found here are those that
depend only on strong and Yukawa interactions and on the leading and
next-to-leading logarithms of the ratio of a typical superpartner mass scale to
the top quark mass. The approximation assumes that all superpartners and the
other Higgs bosons can be treated as much heavier than the top quark, but does
not assume their degeneracy. I also discuss the consistent addition of the
three-loop corrections to a complete two-loop calculation.Comment: 9 page
Towards a gauge-polyvalent Numerical Relativity code
The gauge polyvalence of a new numerical code is tested, both in
harmonic-coordinate simulations (gauge-waves testbed) and in
singularity-avoiding coordinates (simple Black-Hole simulations, either with or
without shift). The code is built upon an adjusted first-order
flux-conservative version of the Z4 formalism and a recently proposed family of
robust finite-difference high-resolution algorithms. An outstanding result is
the long-term evolution (up to 1000M) of a Black-Hole in normal coordinates
(zero shift) without excision.Comment: to appear in Physical Review
Classification of symmetric periodic trajectories in ellipsoidal billiards
We classify nonsingular symmetric periodic trajectories (SPTs) of billiards
inside ellipsoids of R^{n+1} without any symmetry of revolution. SPTs are
defined as periodic trajectories passing through some symmetry set. We prove
that there are exactly 2^{2n}(2^{n+1}-1) classes of such trajectories. We have
implemented an algorithm to find minimal SPTs of each of the 12 classes in the
2D case (R^2) and each of the 112 classes in the 3D case (R^3). They have
periods 3, 4 or 6 in the 2D case; and 4, 5, 6, 8 or 10 in the 3D case. We
display a selection of 3D minimal SPTs. Some of them have properties that
cannot take place in the 2D case.Comment: 26 pages, 77 figures, 17 table
Analysis of the velocity tracking control problem for the 3D evolutionary Navier-Stokes equations
The velocity tracking problem for the evolutionary Navier–Stokes equations in three dimensions is studied. The controls are of distributed type and are submitted to bound constraints. The classical cost functional is modified so that a full analysis of the control problem is possible. First and second order necessary and sufficient optimality conditions are proved. A fully discrete scheme based on a discontinuous (in time) Galerkin approach, combined with conforming finite element subspaces in space, is proposed and analyzed. Provided that the time and space discretization parameters, Ď„ and h, respectively, satisfy Ď„ ≤ Ch2, the L2(ΩT ) error estimates of order O(h) are proved for the difference between the locally optimal controls and their discrete approximations. Finally, combining these techniques and the approach of Casas, Herzog, and Wachsmuth [SIAM J. Optim., 22 (2012), pp. 795–820], we extend our results to the case of L1(ΩT ) type functionals that allow sparse controls.This author was partially supported by the Spanish Ministerio de EconomĂa y
Competitividad under projects MTM2011-22711 and MTM2014-57531-
Maternal grandsire, granddam, and sire breed effects on growth and carcass traits of crossbred cattle
Postweaning growth, feed efficiency, and carcass traits were analyzed on 1,422 animals obtained by mating F1 cows to F1 (Belgian Blue X British breeds) or Charolais sires. Cows were obtained from mating Hereford, Angus, and U.S. Meat Animal Research Center III ( ÂĽ Hereford, ÂĽ Angus, ÂĽ Pinzgauer, and ÂĽ Red Poll) dams to Hereford or Angus (British breeds), Tuli, Boran, Brahman, or Belgian Blue sires. Breed groups were fed in replicated pens and slaughtered serially in each of 2 yr. Postweaning average daily gain; live weight; hot carcass weight; fat depth; longissimus area; estimated kidney, pelvic, and heart fat (percentage); percentage Choice; marbling score; USDA yield grade; retail product yield (percentage); retail product weight; fat yield (percentage); fat weight; bone yield (percentage); and bone weight were analyzed in this population. Quadratic regressions of pen mean weight on days fed and of cumulative ME consumption on days fed were used to estimate gain, ME consumption and efficiency (Mcal of ME/kg of gain) over time (0 to 200 d on feed), and weight (300 to 550 kg) intervals. Maternal grandsire breed was significant (P \u3c 0.01) for all traits. Maternal granddam breed (Hereford, Angus, or U.S. Meat Animal Research Center III) was significant (P \u3c 0.05) only for fat depth, USDA yield grade, retail product yield, fat yield, fat weight, and bone yield. Sire breed was significant (P \u3c 0.05) for live weight, hot carcass weight, longissimus area, and bone weight. Sex class was a significant (P \u3c 0.001) source of variation for all traits except for percentage Choice, marbling score, retail product yield, and fat yield. Interactions between maternal grandsire and sire breed were nonexistent. Sire and grandsire breed effects can be optimized by selection and use of appropriate crossbreeding systems
- …