The Higgs System in and Beyond the Standard Model

After the discovery of the Higgs boson particle on the 4th of July of 2012 at the Large Hadron Collider, sited at the european CERN laboratory, we are entering in a fascinating period for Particle Physics where both theorists and experimentalists are devoted to fully understand the features of this new particle and the possible consequences for High Energy Physics of the Higgs system both within and beyond the Standard Model of fundamental particle interactions. This paper is a summary of the lectures given at the third IDPASC school (Santiago de Compostela, Feb. 2013, Spain) addressed to PhD students, and contains a short introduction to the main basic aspects of the Higgs boson particle in and beyond the Standard Model.Comment: 62 pages, 31 figures, Lectures of the IDPASC School at Santiago de Compostela, Spain, February 201

Correlations of the elements of the neutrino mass matrix

Assuming Majorana nature of neutrinos, we re-investigate, in the light of the recent measurement of the reactor mixing angle, the allowed ranges for the absolute values of the elements of the neutrino mass matrix in the basis where the charged-lepton mass matrix is diagonal. Apart from the derivation of upper and lower bounds on the values of the matrix elements, we also study their correlations. Moreover, we analyse the sensitivity of bounds and correlations to the global fit results of the neutrino oscillation parameters which are available in the literature.Comment: 37 pages, 146 figures, minor corrections, 17 additional figures, version for publication in JHE

Intrinsic climate dependency of ecosystem light and water-use-efficiencies across Australian biomes

© 2014 IOP Publishing Ltd. The sensitivity of ecosystem gross primary production (GPP) to availability of water and photosynthetically active radiation (PAR) differs among biomes. Here we investigated variations of ecosystem light-use-efficiency (eLUE: GPP/PAR) and water-use-efficiency (eWUE: GPP/evapotranspiration) among seven Australian eddy covariance sites with differing annual precipitation, species composition and temperature. Changes to both eLUE and eWUE were primarily correlated with atmospheric vapor pressure deficit (VPD) at multiple temporal scales across biomes, with minor additional correlations observed with soil moisture and temperature. The effects of leaf area index on eLUE and eWUE were also relatively weak compared to VPD, indicating an intrinsic dependency of eLUE and eWUE on climate. Additionally, eLUE and eWUE were statistically different for biomes between summer and winter, except eWUE for savannas and the grassland. These findings will improve our understanding of how light- and water-use traits in Australian ecosystems may respond to climate change

Parameterization of an ecosystem light-use-efficiency model for predicting savanna GPP using MODIS EVI

© 2014 Elsevier Inc. Accurate estimation of carbon fluxes across space and time is of great importance for quantifying global carbon balances. Current production efficiency models for calculation of gross primary production (GPP) depend on estimates of light-use-efficiency (LUE) obtained from look-up tables based on biome type and coarse-resolution meteorological inputs that can introduce uncertainties. Plant function is especially difficult to parameterize in the savanna biome due to the presence of varying mixtures of multiple plant functional types (PFTs)with distinct phenologies and responses to environmental factors. The objective of this study was to find a simple and robust method to accurately up-scale savanna GPP fromlocal, eddy covariance (EC) flux tower GPP measures to regional scales utilizing entirely remote sensing oservations. Here we assessed seasonal patterns of Moderate Resolution Imaging Spectroradiometer (MODIS) vegetation productswith seasonal EC tower GPP (GPPEC) at four sites along an ecological rainfall gradient (the North Australian Tropical Transect, NATT) encompassing tropical wet to dry savannas. The enhanced vegetation index (EVI) tracked the seasonal variations of GPPEC well at both site- and cross-site levels (R2= 0.84). The EVI relationship with GPPEC was further strengthened through coupling with ecosystem light-use-efficiency (eLUE), defined as the ratio of GPP to photosynthetically active radiation (PAR). Two savanna landscape eLUEmodels, driven by top-of-canopy incident PAR (PARTOC) or top-of-atmosphere incident PAR (PARTOA) were parameterized and investigated. GPP predicted using the eLUE models correlated well with GPPEC, with R2 of 0.85 (RMSE = 0.76 g C m-2 d-1) and 0.88 (RMSE = 0.70 g C m-2 d-1) for PARTOC and PARTOA, respectively, and were significantly improved compared to the MOD17 GPP product (R2 = 0.58, RMSE= 1.43 g C m-2 d-1). The eLUE model also minimized the seasonal hysteresis observed between greenup and brown-down in GPPEC and MODIS satellite product relationships, resulting in a consistent estimation of GPP across phenophases. The eLUE model effectively integrated the effects of variations in canopy photosynthetic capacity and environmental stress on photosynthesis, thus simplifying the up-scaling of carbon fluxes from tower to regional scale. The results fromthis study demonstrated that region-wide savanna GPP can be accurately estimated entirely with remote sensing observations without dependency on coarse-resolution ground meteorology or estimation of light-use-efficiency parameters

Compiler verification meets cross-language linking via data abstraction

Many real programs are written in multiple different programming languages, and supporting this pattern creates challenges for formal compiler verification. We describe our Coq verification of a compiler for a high-level language, such that the compiler correctness theorem allows us to derive partial-correctness Hoare-logic theorems for programs built by linking the assembly code output by our compiler and assembly code produced by other means. Our compiler supports such tricky features as storable cross-language function pointers, without giving up the usual benefits of being able to verify different compiler phases (including, in our case, two classic optimizations) independently. The key technical innovation is a mixed operational and axiomatic semantics for the source language, with a built-in notion of abstract data types, such that compiled code interfaces with other languages only through axiomatically specified methods that mutate encapsulated private data, represented in whatever formats are most natural for those languages.National Science Foundation (U.S.) (Grant CCF-1253229)United States. Defense Advanced Research Projects Agency (Agreement FA8750-12-2-0293)United States. Dept. of Energy. Office of Science (Award DE-SC0008923

MODIS vegetation products as proxies of photosynthetic potential along a gradient of meteorologically and biologically driven ecosystem productivity

© 2016 Author(s). A direct relationship between gross ecosystem productivity (GEP) estimated by the eddy covariance (EC) method and Moderate Resolution Imaging Spectroradiometer (MODIS) vegetation indices (VIs) has been observed in many temperate and tropical ecosystems. However, in Australian evergreen forests, and particularly sclerophyll and temperate woodlands, MODIS VIs do not capture seasonality of GEP. In this study, we re-evaluate the connection between satellite and flux tower data at four contrasting Australian ecosystems, through comparisons of GEP and four measures of photosynthetic potential, derived via parameterization of the light response curve: ecosystem light use efficiency (LUE), photosynthetic capacity (Pc), GEP at saturation (GEPsat), and quantum yield (α) with MODIS vegetation satellite products, including VIs, gross primary productivity (GPPMOD) leaf area index (LAIMOD), and fraction of photosynthetic active radiation (fPARMOD). We found that satellite-derived biophysical products constitute a measurement of ecosystem structure (e.g. leaf area index-quantity of leaves) and function (e.g. leaf level photosynthetic assimilation capacity-quality of leaves), rather than GEP. Our results show that in primarily meteorological-driven (e.g. photosynthetic active radiation, air temperature, and/or precipitation) and relatively aseasonal ecosystems (e.g. evergreen wet sclerophyll forests), there were no statistically significant relationships between GEP and satellite-derived measures of greenness. In contrast, for phenology-driven ecosystems (e.g. tropical savannas), changes in the vegetation status drove GEP, and tower-based measurements of photosynthetic activity were best represented by VIs. We observed the highest correlations between MODIS products and GEP in locations where key meteorological variables and vegetation phenology were synchronous (e.g. semi-arid Acacia woodlands) and low correlation at locations where they were asynchronous (e.g. Mediterranean ecosystems). However, we found a statistical significant relationship between the seasonal measures of photosynthetic potential (Pc and LUE) and VIs, where each ecosystem aligns along a continuum; we emphasize here that knowledge of the conditions in which flux tower measurements and VIs or other remote sensing products converge greatly advances our understanding of the mechanisms driving the carbon cycle (phenology and climate drivers) and provides an ecological basis for interpretation of satellite-derived measures of greenness

Behavior of multitemporal and multisensor passive microwave indices in Southern Hemisphere ecosystems

©2014. American Geophysical Union. All Rights Reserved. This study focused on the time series analysis of passive microwave and optical satellite data collected from six Southern Hemisphere ecosystems in Australia and Argentina. The selected ecosystems represent a wide range of land cover types, including deciduous open forest, temperate forest, tropical and semiarid savannas, and grasslands. We used two microwave indices, the frequency index (FI) and polarization index (PI), to assess the relative contributions of soil and vegetation properties (moisture and structure) to the observations. Optical-based satellite vegetation products from the Moderate Resolution Imaging Spectroradiometer were also included to aid in the analysis. We studied the X and Ka bands of the Advanced Microwave Scanning Radiometer-EOS and Wind Satellite, resulting in up to four observations per day (1:30, 6:00, 13:30, and 18:00-h). Both the seasonal and hourly variations of each of the indices were examined. Environmental drivers (precipitation and temperature) and eddy covariance measurements (gross ecosystem productivity and latent energy) were also analyzed. It was found that in moderately dense forests, FI was dependent on canopy properties (leaf area index and vegetation moisture). In tropical woody savannas, a significant regression (R2) was found between FI and PI with precipitation (R2->-0.5) and soil moisture (R2->-0.6). In the areas of semiarid savanna and grassland ecosystems, FI variations found to be significantly related to soil moisture (R2->-0.7) and evapotranspiration (R2->-0.5), while PI varied with vegetation phenology. Significant differences (p-<-0.01) were found among FI values calculated at the four local times. Key Points Passive microwave indices can be used to estimate vegetation moisture Microwave observations were supported by flux data Passive microwave indices could be used to estimate evapotranspiratio

Niobium thin film deposition studies on copper surfaces for superconducting radio frequency cavity applications

Thin film coatings have the potential to increase both the thermal efficiency and accelerating gradient in superconducting radio frequency accelerator cavities. However, before this potential can be realized, systematic studies on structure-property correlations in these thin films need to be carried out since the reduced geometry, combined with specific growth parameters, can modify the physical properties of the materials when compared to their bulk form. Here, we present our systematic studies of Nb thin films deposited onto Cu surfaces to clarify possible reasons for the limited success that this process exhibited in previous attempts. We compare these films with Nb grown on other surfaces. In particular, we study the crystal structure and surface morphology and their effect on superconducting properties, such as critical temperature and lower critical field. We found that higher deposition temperature leads to a sharper critical temperature transition, but also to increased roughness indicating that there are competing mechanisms that must be considered for further optimization

Supersymmetry and Generic BSM Models in PYTHIA 8

We describe the implementation of supersymmetric models in PYTHIA 8, including production and decay of superparticles and allowing for violation of flavour, CP, and R-parity. We also present a framework for importing generic new-physics matrix elements into PYTHIA 8, in a way suitable for use with automated tools. We emphasize that this possibility should not be viewed as the only way to implement new-physics models in PYTHIA 8, but merely as an additional possibility on top of the already existing ones. Finally we address parton showers in exotic colour topologies, in particular ones involving colour epsilon tensors and colour sextets.Comment: 20 page