Proof Theory and Ordered Groups

Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (l-groups). These calculi are then used to provide new proofs of theorems arising in the theory of ordered groups. More precisely: an analytic calculus for abelian l-groups is generated using an ordering theorem for abelian groups; a calculus is generated for l-groups and new decidability proofs are obtained for the equational theory of this variety and extending finite subsets of free groups to right orders; and a calculus for representable l-groups is generated and a new proof is obtained that free groups are orderable

Mid-infrared plasmons in scaled graphene nanostructures

Plasmonics takes advantage of the collective response of electrons to electromagnetic waves, enabling dramatic scaling of optical devices beyond the diffraction limit. Here, we demonstrate the mid-infrared (4 to 15 microns) plasmons in deeply scaled graphene nanostructures down to 50 nm, more than 100 times smaller than the on-resonance light wavelength in free space. We reveal, for the first time, the crucial damping channels of graphene plasmons via its intrinsic optical phonons and scattering from the edges. A plasmon lifetime of 20 femto-seconds and smaller is observed, when damping through the emission of an optical phonon is allowed. Furthermore, the surface polar phonons in SiO2 substrate underneath the graphene nanostructures lead to a significantly modified plasmon dispersion and damping, in contrast to a non-polar diamond-like-carbon (DLC) substrate. Much reduced damping is realized when the plasmon resonance frequencies are close to the polar phonon frequencies. Our study paves the way for applications of graphene in plasmonic waveguides, modulators and detectors in an unprecedentedly broad wavelength range from sub-terahertz to mid-infrared.Comment: submitte

Whole grain consumption and risk of colorectal cancer: a population-based cohort of 60 000 women

We examined prospectively the association between whole grain consumption and colorectal cancer risk in the population-based Swedish Mammography Cohort. A total of 61 433 women completed a food-frequency questionnaire at baseline (1987–1990) and, through linkage with the Swedish Cancer Registry, 805 incident cases of colorectal cancer were identified during a mean follow-up of 14.8 years. High consumption of whole grains was associated with a lower risk of colon cancer, but not of rectal cancer. The multivariate rate ratio (RR) of colon cancer for the top category of whole grain consumption (⩾4.5 servings day−1) compared with the bottom category (<1.5 servings day−1) was 0.67 (95% confidence interval (CI), 0.47–0.96; P-value for trend=0.06). The corresponding RR after excluding cases occurring within the first 2 years of follow-up was 0.65 (95% CI, 0.45–0.94; P-value for trend=0.04). Our findings suggest that high consumption of whole grains may decrease the risk of colon cancer in women

Dermatitis and Aging-Related Barrier Dysfunction in Transgenic Mice Overexpressing an Epidermal-Targeted Claudin 6 Tail Deletion Mutant

The barrier function of the skin protects the mammalian body against infection, dehydration, UV irradiation and temperature fluctuation. Barrier function is reduced with the skin's intrinsic aging process, however the molecular mechanisms involved are unknown. We previously demonstrated that Claudin (Cldn)-containing tight junctions (TJs) are essential in the development of the epidermis and that transgenic mice overexpressing Cldn6 in the suprabasal layers of the epidermis undergo a perturbed terminal differentiation program characterized in part by reduced barrier function. To dissect further the mechanisms by which Cldn6 acts during epithelial differentiation, we overexpressed a Cldn6 cytoplasmic tail deletion mutant in the suprabasal compartment of the transgenic mouse epidermis. Although there were no gross phenotypic abnormalities at birth, subtle epidermal anomalies were present that disappeared by one month of age, indicative of a robust injury response. However, with aging, epidermal changes with eventual chronic dermatitis appeared with a concomitant barrier dysfunction manifested in increased trans-epidermal water loss. Immunohistochemical analysis revealed aberrant suprabasal Cldn localization with marked down-regulation of Cldn1. Both the proliferative and terminal differentiation compartments were perturbed as evidenced by mislocalization of multiple epidermal markers. These results suggest that the normally robust injury response mechanism of the epidermis is lost in the aging Involucrin-Cldn6-CΔ196 transgenic epidermis, and provide a model for evaluation of aging-related skin changes

Random-phase approximation and its applications in computational chemistry and materials science

The random-phase approximation (RPA) as an approach for computing the electronic correlation energy is reviewed. After a brief account of its basic concept and historical development, the paper is devoted to the theoretical formulations of RPA, and its applications to realistic systems. With several illustrating applications, we discuss the implications of RPA for computational chemistry and materials science. The computational cost of RPA is also addressed which is critical for its widespread use in future applications. In addition, current correction schemes going beyond RPA and directions of further development will be discussed.Comment: 25 pages, 11 figures, published online in J. Mater. Sci. (2012

Extra-curricular physical activity and socioeconomic status in Italian adolescents

BACKGROUND: The relationship between physical activity and health status has been thoroughly investigated in several studies, while the relation between physical activity and socio-economic status (SES) is less investigated. The aim of this study was to measure the extra-curricular physical activity of adolescents related to the socio-economic status (SES) of their families. METHODS: The survey was carried out by submitting an anonymous questionnaire to junior high school students in the following Regions: Lazio, Abruzzo, Molise, Campania, Puglia, during the school year 2002–2003. Extra-curriculum physical activity was evaluated considering whether or not present and hours of activity weekly conducted. 2411 students agreed to participate in the study. RESULTS: Participants were 1121 males (46.5%) and 1290 females (53.5%), aged between 11 and 17 years (median age: 12 years). 71.1% of the students reported to practice extra-curricular physical activity. Parents' educational levels and work activities play an important role in predicting students' physical activity, with the more remunerative activities and higher educational levels being more predictive. CONCLUSION: The results confirm the relationship between adolescents' physical activity and their families' SES. In particular, a positive relationship between participation in extra-curricular physical activity and their families high SES was found. These data will be useful for school administrators and for politicians in order to reduce the gap between adolescents from the least and most disadvantaged families

Effective Rheology of Bubbles Moving in a Capillary Tube

We calculate the average volumetric flux versus pressure drop of bubbles moving in a single capillary tube with varying diameter, finding a square-root relation from mapping the flow equations onto that of a driven overdamped pendulum. The calculation is based on a derivation of the equation of motion of a bubble train from considering the capillary forces and the entropy production associated with the viscous flow. We also calculate the configurational probability of the positions of the bubbles.Comment: 4 pages, 1 figur

Jet energy measurement with the ATLAS detector in proton-proton collisions at root s=7 TeV

The jet energy scale and its systematic uncertainty are determined for jets measured with the ATLAS detector at the LHC in proton-proton collision data at a centre-of-mass energy of √s = 7TeV corresponding to an integrated luminosity of 38 pb-1. Jets are reconstructed with the anti-kt algorithm with distance parameters R=0. 4 or R=0. 6. Jet energy and angle corrections are determined from Monte Carlo simulations to calibrate jets with transverse momenta pT≥20 GeV and pseudorapidities {pipe}η{pipe}<4. 5. The jet energy systematic uncertainty is estimated using the single isolated hadron response measured in situ and in test-beams, exploiting the transverse momentum balance between central and forward jets in events with dijet topologies and studying systematic variations in Monte Carlo simulations. The jet energy uncertainty is less than 2. 5 % in the central calorimeter region ({pipe}η{pipe}<0. 8) for jets with 60≤pT<800 GeV, and is maximally 14 % for pT<30 GeV in the most forward region 3. 2≤{pipe}η{pipe}<4. 5. The jet energy is validated for jet transverse momenta up to 1 TeV to the level of a few percent using several in situ techniques by comparing a well-known reference such as the recoiling photon pT, the sum of the transverse momenta of tracks associated to the jet, or a system of low-pT jets recoiling against a high-pT jet. More sophisticated jet calibration schemes are presented based on calorimeter cell energy density weighting or hadronic properties of jets, aiming for an improved jet energy resolution and a reduced flavour dependence of the jet response. The systematic uncertainty of the jet energy determined from a combination of in situ techniques is consistent with the one derived from single hadron response measurements over a wide kinematic range. The nominal corrections and uncertainties are derived for isolated jets in an inclusive sample of high-pT jets. Special cases such as event topologies with close-by jets, or selections of samples with an enhanced content of jets originating from light quarks, heavy quarks or gluons are also discussed and the corresponding uncertainties are determined. © 2013 CERN for the benefit of the ATLAS collaboration