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