Sherali-Adams Relaxations and Indistinguishability in Counting Logics

Two graphs with adjacency matrices $\mathbf{A}$ and $\mathbf{B}$ are isomorphic if there exists a permutation matrix $\mathbf{P}$ for which the identity $\mathbf{P}^{\mathrm{T}} \mathbf{A} \mathbf{P} = \mathbf{B}$ holds. Multiplying through by $\mathbf{P}$ and relaxing the permutation matrix to a doubly stochastic matrix leads to the linear programming relaxation known as fractional isomorphism. We show that the levels of the Sherali--Adams (SA) hierarchy of linear programming relaxations applied to fractional isomorphism interleave in power with the levels of a well-known color-refinement heuristic for graph isomorphism called the Weisfeiler--Lehman algorithm, or, equivalently, with the levels of indistinguishability in a logic with counting quantifiers and a bounded number of variables. This tight connection has quite striking consequences. For example, it follows immediately from a deep result of Grohe in the context of logics with counting quantifiers that a fixed number of levels of SA suffice to determine isomorphism of planar and minor-free graphs. We also offer applications in both finite model theory and polyhedral combinatorics. First, we show that certain properties of graphs, such as that of having a flow circulation of a prescribed value, are definable in the infinitary logic with counting with a bounded number of variables. Second, we exploit a lower bound construction due to Cai, Fürer, and Immerman in the context of counting logics to give simple explicit instances that show that the SA relaxations of the vertex-cover and cut polytopes do not reach their integer hulls for up to $\Omega(n)$ levels, where $n$ is the number of vertices in the graph.

Spatiotemporal variability in radial growth of trees in the Central Pyrenees: climatic and site influences.

To understand how tree growth has responded to recent climate warming, an understanding of the tree-climate-site complex is necessary. To achieve this, radial growth variability among 204 trees established before 1850 was studied in relation to both climatic and site factors. Seventeen forest stands were sampled in the Spanish Central Pyrenees. Three species were studied: Pinus uncinata, Abies alba, and Pinus sylvestris. For each tree, a ring-width residual chronology was built. All trees cross-dated well, indicating a common influence of the regional climate. For the 1952-1993 period, the radial growth of all species, especially P. uncinata, was positively correlated with warm Novembers during the year before ring formation and warm Mays of the year the annual ring formed. Differences in species-stand elevation modulated the growth-climate associations. Radial growth in P. uncinata at high elevation sites was reduced when May temperatures were colder and May precipitation more abundant. In the 20th century, two contrasting periods in radial growth were observed: one (1900-1949) with low frequency of narrow and wide rings, low mean annual sensitivity, and low common growth variation; and another (1950-1994) with the reverse characteristics. The increased variability in radial growth since the 1950s was observed for all species and sites, which suggests a climatic cause. The low shared variance among tree chronologies during the first half of the 20th century may result from a"relaxation" of the elevation gradient, allowing local site conditions to dominate macroclimatic influence. These temporal trends may be related to the recently reported increase of climatic variability and warmer conditions. This study emphasizes the need to carefully assess the relationships between radial growth and site conditions along ecological gradients to improve dendroclimatic reconstructions.

From caging to rouse dynamics in polymer melts with intramolecular barriers: a critical test of the mode coupling theory

By means of computer simulations and solution of the equations of the mode coupling theory (MCT),we investigate the role of the intramolecular barriers on several dynamic aspects of nonentangled polymers. The investigated dynamic range extends from the caging regime characteristic of glass-formers to the relaxation of the chain Rouse modes. We review our recent work on this question,provide new results, and critically discuss the limitations of the theory. Solutions of the MCT for the structural relaxation reproduce qualitative trends of simulations for weak and moderate barriers. However, a progressive discrepancy is revealed as the limit of stiff chains is approached. This dis-agreement does not seem related with dynamic heterogeneities, which indeed are not enhanced by increasing barrier strength. It is not connected either with the breakdown of the convolution approximation for three-point static correlations, which retains its validity for stiff chains. These findings suggest the need of an improvement of the MCT equations for polymer melts. Concerning the relaxation of the chain degrees of freedom, MCT provides a microscopic basis for time scales from chain reorientation down to the caging regime. It rationalizes, from first principles, the observed deviations from the Rouse model on increasing the barrier strength. These include anomalous scaling of relaxation times, long-time plateaux, and nonmonotonous wavelength dependence of the mode correlators.

1C.06: Ambulatory pulse pressure is negatively associated with excretions of urinary caffeine and its metabolites

OBJECTIVE: Systolic blood pressure (BP) has been associated with urinary caffeine and its metabolites such as paraxanthine and theophylline. Caffeine and caffeine metabolites could influence arterial pulse pressure (PP) via sympathomimetic effects, smooth muscle relaxation, and phosphodiesterase inhibition. The purpose of this analysis was to explore the association of ambulatory PP with urinary caffeine and its related metabolites in a large population-based sample. DESIGN AND METHOD: Families were randomly selected from the general population of three Swiss cities (2009-2013). Ambulatory BP monitoring was conducted using validated Diasys Integra devices. PP was defined as the difference between the systolic and diastolic ambulatory BP. Urinary caffeine, paraxanthine, theophylline, and theobromine excretions were measured in 24 h urine using ultra-high performance liquid chromatography tandem mass spectrometry. Urinary excretions were log-transformed to satisfy regression assumptions. We used linear mixed models to explore the associations of urinary caffeine and caffeine metabolite excretions with 24-hour, day- and night-time PP while adjusting for major confounders. RESULTS: The 836 participants (48.9% men) included in this analysis had mean (±SD) age of 47.8 (±17.5), and mean 24-hour systolic and diastolic BP of 120.1 mmHg (±13.9) and 78.0 (±8.6). Except theobromine, log transformed urinary caffeine and caffeine metabolite excretions were associated negatively with 24-hour, daytime and night-time ambulatory PP. 24-hour, daytime, and night-time ambulatory PP decreased by -0.804 mmHg (SE, 0.209), -0.749 (0.215), and -0.968 (0.243) (all P values <0.005), for each doubling excretion of caffeine. Strong negative associations with night-time ambulatory PP were observed for paraxanthine and theophylline.(Figure is included in full-text article.) CONCLUSIONS: : The negative associations of PP with caffeine, paraxanthine, and theophylline excretions suggest that caffeine and its metabolites do lower BP, possibly by modifying arterial stiffness.

PCC-täyteaineen vaikutus hienopaperin lujuuskäyttäytymiseen nopeassa vetokuormituksessa

Raaka-ainekustannusten minimoimiseksi hienopaperin valmistajat pyrkivät jatkuvasti vähentämään massan havuselluosuutta ja lisäämään paperin täyteainepitoisuutta. PCC:n käyttö hienopaperin täyteaineena on kasvanut viimeisen kymmenen vuoden aikana voimakkaasti. PCC:n etuna on sen joustava valmistusprosessi, jonka olosuhteita säätelemällä voidaan valmistaa hyvin erilaisia tuotteita. PCC:n ominaisuudet, kuten partikkelikoko ja kidemuoto vaikuttavat merkittävästi paperin reologisiin ominaisuuksiin. Täyteaineen vaikutus paperin lujuusominaisuuksiin riippuu oleellisesti siitä, miten täyteaine sijoittuu kuituverkostossa. Lisäksi paperikoneen ajettavuuden turvaamiseksi täyteaineretention tulisi olla riittävän korkealla tasolla. Täyteaineen retentoituminen on hyvin riippuvainen kuitumateriaalin ja täyteaineen ominaisuuksista. Täyteainepitoisuuden lisääminen ja havusellun vähentäminen heikentävät hienopaperin reologisia ominaisuuksia ja vaikuttavat negatiivisesti paperikoneen ajettavuuteen. Varsinkin rainan siirto avoimella viennillä puristinosalta kuivatusosalle voi muodostua ajettavuuden kannalta kriittiseksi kohdaksi. Tämän vuoksi on tärkeää tuntea irrotustapahtumaan ja rainan kireyteen vaikuttavat tekijät. Märän rainan lujuuskäyttäytymistä voidaan tutkia esim. laboratorioarkeista tehtävillä vetolujuus- ja jännitysrelaksaatiomittauksilla. Työn kokeellisessa osassa tutkittiin kahden erityyppisen PCC-täyteaineen vaikutusta hienopaperin vetolujuus- ja relaksaatiokäyttäytymiseen nopeassa vetokuormituksessa. Täyteainepitoisuuden kasvaessa sekä märän että kuivan paperin vetolujuus ja relaksaatiokireys heikkenivät voimakkaasti. Täyteaine myös vähensi havuselluosuuden vaikutusta näihin ominaisuuksiin. PCC:n ominaisuuksilla voitiin hieman vaikuttaa hienopaperin reologisiin ominaisuuksiin, joskin niiden kannalta edullisempi täyteaine antoi paperille huonommat optiset ominaisuudet. Kuiva-ainepitoisuuden kasvaessa paperin vetolujuus ja relaksaatiokireys paranivat eksponentiaalisesti. Tämän perusteella täyteainetyypin vaikutus vedenpoistoon on paperin reologisten ominaisuuksien kannalta tärkeä tekijä.

Dynamic arrest in polymer melts: competition between packing and intramolecular barriers

We present molecular dynamics simulations of a simple model for polymer melts with intramolecular barriers. We investigate structural relaxation as a function of the barrier strength. Dynamic correlators can be consistently analyzed within the framework of the mode coupling theory of the glass transition. Control parameters are tuned in order to induce a competition between general packing effects and polymer-specific intramolecular barriers as mechanisms for dynamic arrest. This competition yields unusually large values of the so-called mode coupling theory exponent parameter and rationalizes qualitatively different observations for simple bead-spring and realistic polymers. The systematic study of the effect of intramolecular barriers presented here also establishes a fundamental difference between the nature of the glass transition in polymers and in simple glass formers.

Cluster glasses of ultrasoft particles

We present molecular dynamics (MD) simulations results for dense fluids of ultrasoft, fully penetrable particles. These are a binary mixture and a polydisperse system of particles interacting via the generalized exponential model, which is known to yield cluster crystal phases for the corresponding monodisperse systems. Because of the dispersity in the particle size, the systems investigated in this work do not crystallize and form disordered cluster phases. The clusteringtransition appears as a smooth crossover to a regime in which particles are mostly located in clusters, isolated particles being infrequent. The analysis of the internal cluster structure reveals microsegregation of the big and small particles, with a strong homo-coordination in the binary mixture. Upon further lowering the temperature below the clusteringtransition, the motion of the clusters" centers-of-mass slows down dramatically, giving way to a cluster glass transition. In the cluster glass, the diffusivities remain finite and display an activated temperature dependence, indicating that relaxation in the cluster glass occurs via particle hopping in a nearly arrested matrix of clusters. Finally we discuss the influence of the microscopic dynamics on the transport properties by comparing the MD results with Monte Carlo simulations.

Inference of Evolutionary Forces Acting on Human Biological Pathways.

Because natural selection is likely to act on multiple genes underlying a given phenotypic trait, we study here the potential effect of ongoing and past selection on the genetic diversity of human biological pathways. We first show that genes included in gene sets are generally under stronger selective constraints than other genes and that their evolutionary response is correlated. We then introduce a new procedure to detect selection at the pathway level based on a decomposition of the classical McDonald-Kreitman test extended to multiple genes. This new test, called 2DNS, detects outlier gene sets and takes into account past demographic effects and evolutionary constraints specific to gene sets. Selective forces acting on gene sets can be easily identified by a mere visual inspection of the position of the gene sets relative to their two-dimensional null distribution. We thus find several outlier gene sets that show signals of positive, balancing, or purifying selection but also others showing an ancient relaxation of selective constraints. The principle of the 2DNS test can also be applied to other genomic contrasts. For instance, the comparison of patterns of polymorphisms private to African and non-African populations reveals that most pathways show a higher proportion of nonsynonymous mutations in non-Africans than in Africans, potentially due to different demographic histories and selective pressures.

Use of alternative and complementary therapies in labor and delivery care: a cross-sectional study of midwives" training in Catalan hospitals accredited as centers for normal birth

Background: The use of complementary and alternative medicine (CAM) and complementary and alternative therapies (CAT) during pregnancy is increasing. Scientific evidence for CAM and CAT in the field of obstetrics mainly covers pain relief in labor. Midwives are responsible for labor and delivery care: hence, their knowledge of CAM and CAT is important. The aims of this study are to describe the professional profile of midwives who provide care for natural childbirth in Catalan hospitals accredited as centers for normal birth, to assess midwives" level of training in CAT and their use of these therapies, and to identify specific resources for CAT in labor wards. Methods: A descriptive, cross-sectional, quantitative method was used to assess the level of training and use of CAT by midwives working at 28 hospitals in Catalonia, Spain, accredited as public normal birth centers. Results: Just under a third of midwives (30.4%) trained in CAT after completion of basic training. They trained in an average of 5.97 therapies (SD 3.56). The number of CAT in which the midwives were trained correlated negatively with age (r = - 0.284; p < 0.001) and with their time working at the hospital in years (r = - 0.136; p = 0.036). Midwives trained in CAT considered that the following therapies were useful or very useful for pain relief during labor and delivery: relaxation techniques (64.3%), hydrotherapy (84.8%) and the application of compresses to the perineum (75.9%). The availability of resources for providing CAT during normal birth care varied widely from center to center. Conclusions: Age may influence attitudes towards training. It is important to increase the number of midwives trained in CAM for pain relief during childbirth, in order to promote the use of CAT and ensure efficiency and safety. CAT resources at accredited hospitals providing normal childbirth care should also be standardized.

Use of alternative and complementary therapies in labor and delivery care: a cross-sectional study of midwives" training in Catalan hospitals accredited as centers for normal birth

Background: The use of complementary and alternative medicine (CAM) and complementary and alternative therapies (CAT) during pregnancy is increasing. Scientific evidence for CAM and CAT in the field of obstetrics mainly covers pain relief in labor. Midwives are responsible for labor and delivery care: hence, their knowledge of CAM and CAT is important. The aims of this study are to describe the professional profile of midwives who provide care for natural childbirth in Catalan hospitals accredited as centers for normal birth, to assess midwives" level of training in CAT and their use of these therapies, and to identify specific resources for CAT in labor wards. Methods: A descriptive, cross-sectional, quantitative method was used to assess the level of training and use of CAT by midwives working at 28 hospitals in Catalonia, Spain, accredited as public normal birth centers. Results: Just under a third of midwives (30.4%) trained in CAT after completion of basic training. They trained in an average of 5.97 therapies (SD 3.56). The number of CAT in which the midwives were trained correlated negatively with age (r = - 0.284; p < 0.001) and with their time working at the hospital in years (r = - 0.136; p = 0.036). Midwives trained in CAT considered that the following therapies were useful or very useful for pain relief during labor and delivery: relaxation techniques (64.3%), hydrotherapy (84.8%) and the application of compresses to the perineum (75.9%). The availability of resources for providing CAT during normal birth care varied widely from center to center. Conclusions: Age may influence attitudes towards training. It is important to increase the number of midwives trained in CAM for pain relief during childbirth, in order to promote the use of CAT and ensure efficiency and safety. CAT resources at accredited hospitals providing normal childbirth care should also be standardized.

Multicontrast connectometry: A new tool to assess cerebellum alterations in early relapsing-remitting multiple sclerosis.

BACKGROUND: Cerebellar pathology occurs in late multiple sclerosis (MS) but little is known about cerebellar changes during early disease stages. In this study, we propose a new multicontrast "connectometry" approach to assess the structural and functional integrity of cerebellar networks and connectivity in early MS. METHODS: We used diffusion spectrum and resting-state functional MRI (rs-fMRI) to establish the structural and functional cerebellar connectomes in 28 early relapsing-remitting MS patients and 16 healthy controls (HC). We performed multicontrast "connectometry" by quantifying multiple MRI parameters along the structural tracts (generalized fractional anisotropy-GFA, T1/T2 relaxation times and magnetization transfer ratio) and functional connectivity measures. Subsequently, we assessed multivariate differences in local connections and network properties between MS and HC subjects; finally, we correlated detected alterations with lesion load, disease duration, and clinical scores. RESULTS: In MS patients, a subset of structural connections showed quantitative MRI changes suggesting loss of axonal microstructure and integrity (increased T1 and decreased GFA, P < 0.05). These alterations highly correlated with motor, memory and attention in patients, but were independent of cerebellar lesion load and disease duration. Neither network organization nor rs-fMRI abnormalities were observed at this early stage. CONCLUSION: Multicontrast cerebellar connectometry revealed subtle cerebellar alterations in MS patients, which were independent of conventional disease markers and highly correlated with patient function. Future work should assess the prognostic value of the observed damage. Hum Brain Mapp 36:1609-1619, 2015. © 2014 Wiley Periodicals, Inc.

Magnetic properties of an Fe/Cu granular multilayer

A Cu/Fe granular film, formed from a multilayer film and composed of particles of Fe imbedded in Cu, has had several of its important properties investigated. Measurements include ferromagentic resonance, magnetoresistance, Mössbauer effect, magnetic viscosity, and magnetization. The two‐phase behavior of these immiscible alloy systems, and the effect of multilayering on the shape of the magnetic precipitates, can explain some of these properties. An explanation of the ferromagnetic resonance line shape is proffered. An extraordinary macroscopic quantum tunneling effect is found to govern the magnetic relaxation at the lowest temperatures.

Characterization of hepatic fatty acids in mice with reduced liver fat by ultra-short echo time (1)H-MRS at 14.1 T in vivo.

Alterations in the hepatic lipid content (HLC) and fatty acid composition are associated with disruptions in whole body metabolism, both in humans and in rodent models, and can be non-invasively assessed by (1)H-MRS in vivo. We used (1)H-MRS to characterize the hepatic fatty-acyl chains of healthy mice and to follow changes caused by streptozotocin (STZ) injection. Using STEAM at 14.1 T with an ultra-short TE of 2.8 ms, confounding effects from T2 relaxation and J-coupling were avoided, allowing for accurate estimations of the contribution of unsaturated (UFA), saturated (SFA), mono-unsaturated (MUFA) and poly-unsaturated (PUFA) fatty-acyl chains, number of double bonds, PU bonds and mean chain length. Compared with in vivo (1) H-MRS, high resolution NMR performed in vitro in hepatic lipid extracts reported longer fatty-acyl chains (18 versus 15 carbons) with a lower contribution from UFA (61 ± 1% versus 80 ± 5%) but a higher number of PU bonds per UFA (1.39 ± 0.03 versus 0.58 ± 0.08), driven by the presence of membrane species in the extracts. STZ injection caused a decrease of HLC (from 1.7 ± 0.3% to 0.7 ± 0.1%), an increase in the contribution of SFA (from 21 ± 2% to 45 ± 6%) and a reduction of the mean length (from 15 to 13 carbons) of cytosolic fatty-acyl chains. In addition, SFAs were also likely to have increased in membrane lipids of STZ-induced diabetic mice, along with a decrease of the mean chain length. These studies show the applicability of (1)H-MRS in vivo to monitor changes in the composition of the hepatic fatty-acyl chains in mice even when they exhibit reduced HLC, pointing to the value of this methodology to evaluate lipid-lowering interventions in the scope of metabolic disorders.

Caloric restriction induces energy-sparing alterations in skeletal muscle contraction, fiber composition and local thyroid hormone metabolism that persist during catch-up fat upon refeeding.

Weight regain after caloric restriction results in accelerated fat storage in adipose tissue. This catch-up fat phenomenon is postulated to result partly from suppressed skeletal muscle thermogenesis, but the underlying mechanisms are elusive. We investigated whether the reduced rate of skeletal muscle contraction-relaxation cycle that occurs after caloric restriction persists during weight recovery and could contribute to catch-up fat. Using a rat model of semistarvation-refeeding, in which fat recovery is driven by suppressed thermogenesis, we show that contraction and relaxation of leg muscles are slower after both semistarvation and refeeding. These effects are associated with (i) higher expression of muscle deiodinase type 3 (DIO3), which inactivates tri-iodothyronine (T3), and lower expression of T3-activating enzyme, deiodinase type 2 (DIO2), (ii) slower net formation of T3 from its T4 precursor in muscles, and (iii) accumulation of slow fibers at the expense of fast fibers. These semistarvation-induced changes persisted during recovery and correlated with impaired expression of transcription factors involved in slow-twitch muscle development. We conclude that diminished muscle thermogenesis following caloric restriction results from reduced muscle T3 levels, alteration in muscle-specific transcription factors, and fast-to-slow fiber shift causing slower contractility. These energy-sparing effects persist during weight recovery and contribute to catch-up fat.

First principles analysis of the stability and diffusion of oxygen vacancies in meetal oxides

Oxygen vacancies in metal oxides are known to determine their chemistry and physics. The properties of neutral oxygen vacancies in metal oxides of increasing complexity (MgO, CaO, alpha-Al2O3, and ZnO) have been studied using density functional theory. Vacancy formation energies, vacancy-vacancy interaction, and the barriers for vacancy migration are determined and rationalized in terms of the ionicity, the Madelung potential, and lattice relaxation. It is found that the Madelung potential controls the oxygen vacancy properties of highly ionic oxides whereas a more complex picture arises for covalent ZnO.