Action semantics in retrospect

This paper is a themed account of the action semantics project, which Peter Mosses has led since the 1980s. It explains his motivations for developing action semantics, the inspirations behind its design, and the foundations of action semantics based on unified algebras. It goes on to outline some applications of action semantics to describe real programming languages, and some efforts to implement programming languages using action semantics directed compiler generation. It concludes by outlining more recent developments and reflecting on the success of the action semantics project

Theory of Coexistence of Superconductivity and Ferroelectricity : A Dynamical Symmetry Model

We propose and investigate a model for the coexistence of Superconductivity (SC) and Ferroelectricity (FE) based on the dynamical symmetries $su(2)$ for the pseudo-spin SC sector, $h(4)$ for the displaced oscillator FE sector, and $su(2) \otimes h(4)$ for the composite system. We assume a minimal symmetry-allowed coupling, and simplify the hamiltonian using a double mean field approximation (DMFA). A variational coherent state (VCS) trial wave-function is used for the ground state: the energy, and the relevant order parameters for SC and FE are obtained. For positive sign of the SC-FE coupling coefficient, a non-zero value of either order parameter can suppress the other (FE polarization suppresses SC and vice versa). This gives some support to "Matthias' Conjecture" [1964], that SC and FE tend to be mutually exclusive. For such a Ferroelectric Superconductor we predict: a) the SC gap $\Delta$ (and $T_c$) will increase with increasing applied pressure when pressure quenches FE as in many ferroelectrics, and b) the FE polarization will increase with increaesing magnetic field up to $H_c$. The last result is equivalent to the prediction of a new type of Magneto-Electric Effect in a coexistent SC-FE material. Some discussion will be given of the relation of these results to the cuprate superconductors.Comment: 46 page

Improving Genetic Prediction by Leveraging Genetic Correlations Among Human Diseases and Traits

Genomic prediction has the potential to contribute to precision medicine. However, to date, the utility of such predictors is limited due to low accuracy for most traits. Here theory and simulation study are used to demonstrate that widespread pleiotropy among phenotypes can be utilised to improve genomic risk prediction. We show how a genetic predictor can be created as a weighted index that combines published genome-wide association study (GWAS) summary statistics across many different traits. We apply this framework to predict risk of schizophrenia and bipolar disorder in the Psychiatric Genomics consortium data, finding substantial heterogeneity in prediction accuracy increases across cohorts. For six additional phenotypes in the UK Biobank data, we find increases in prediction accuracy ranging from 0.7 for height to 47 for type 2 diabetes, when using a multi-trait predictor that combines published summary statistics from multiple traits, as compared to a predictor based only on one trait. © 2018 The Author(s)

Age at first birth in women is genetically associated with increased risk of schizophrenia

Prof. Paunio on PGC:n jäsenPrevious studies have shown an increased risk for mental health problems in children born to both younger and older parents compared to children of average-aged parents. We previously used a novel design to reveal a latent mechanism of genetic association between schizophrenia and age at first birth in women (AFB). Here, we use independent data from the UK Biobank (N = 38,892) to replicate the finding of an association between predicted genetic risk of schizophrenia and AFB in women, and to estimate the genetic correlation between schizophrenia and AFB in women stratified into younger and older groups. We find evidence for an association between predicted genetic risk of schizophrenia and AFB in women (P-value = 1.12E-05), and we show genetic heterogeneity between younger and older AFB groups (P-value = 3.45E-03). The genetic correlation between schizophrenia and AFB in the younger AFB group is -0.16 (SE = 0.04) while that between schizophrenia and AFB in the older AFB group is 0.14 (SE = 0.08). Our results suggest that early, and perhaps also late, age at first birth in women is associated with increased genetic risk for schizophrenia in the UK Biobank sample. These findings contribute new insights into factors contributing to the complex bio-social risk architecture underpinning the association between parental age and offspring mental health.Peer reviewe

Strategic inventories under limited commitment

In a dynamic storable good market where demand changes over time, we investigate the producer's strategic incentives to hold inventories in response to the possibility of buyer stockpiling. The literature on storable goods has demonstrated that buyer stockpiling in anticipation of higher future prices harms the producer's profitability, particularly when the producer cannot commit to future prices. We show that the producer's inventories act as a strategic device to mitigate the loss from the lack of commitment. Our results provide a rationale for the producer's inventory behavior that sheds new light on the well-documented empirical evidence about inventories

Modulating mitophagy in mitochondrial disease

Mitochondrial diseases may result from mutations in the maternally-inherited mitochondrial DNA (mtDNA) or from mutations in nuclear genes encoding mitochondrial proteins. Their bi-genomic nature makes mitochondrial diseases a very heterogeneous group of disorders that can present at any age and can affect any type of tissue. The autophagic-lysosomal degradation pathway plays an important role in clearing dysfunctional and redundant mitochondria through a specific quality control mechanism termed mitophagy. Mitochondria could be targeted for autophagic degradation for a variety of reasons including basal turnover for recycling, starvation induced degradation, and degradation due to damage. While the core autophagic machinery is highly conserved and common to most pathways, the signaling pathways leading to the selective degradation of damaged mitochondria are still not completely understood. Type 1 mitophagy due to nutrient starvation is dependent on PI3K (phosphoinositide 3-kinase) for autophagosome formation but independent of mitophagy proteins, PINK1 (PTEN-induced putative kinase 1) and Parkin. Whereas type 2 mitophagy that occurs due to damage is dependent on PINK1 and Parkin but does not require PI3K. Autophagy and mitophagy play an important role in human disease and hence could serve as therapeutic targets for the treatment of mitochondrial as well as neurodegenerative disorders. Therefore, we reviewed drugs that are known modulators of autophagy (AICAR and metformin) and may effect this by activating the AMP-activated protein kinase signaling pathways. Furthermore, we reviewed data available on supplements, such as Coenzyme Q and the quinone idebenone, that we assert rescue increased mitophagy in mitochondrial disease by benefiting mitochondrial function

Search for the Zγ decay mode of new high-mass resonances in pp collisions at √s = 13 TeV with the ATLAS detector

This letter presents a search for narrow, high-mass resonances in the Zγ final state with the Z boson decaying into a pair of electrons or muons. The √s = 13 TeV pp collision data were recorded by the ATLAS detector at the CERN Large Hadron Collider and have an integrated luminosity of 140 fb−1. The data are found to be in agreement with the Standard Model background expectation. Upper limits are set on the resonance production cross section times the decay branching ratio into Zγ. For spin-0 resonances produced via gluon–gluon fusion, the observed limits at 95% confidence level vary between 65.5 fb and 0.6 fb, while for spin-2 resonances produced via gluon–gluon fusion (or quark–antiquark initial states) limits vary between 77.4 (76.1) fb and 0.6 (0.5) fb, for the mass range from 220 GeV to 3400 GeV

Search for heavy resonances decaying into a Z or W boson and a Higgs boson in final states with leptons and b-jets in 139 fb−1 of pp collisions at s√ = 13 TeV with the ATLAS detector

This article presents a search for new resonances decaying into a Z or W boson and a 125 GeV Higgs boson h, and it targets the νν¯¯¯bb¯¯, ℓ+ℓ−bb¯¯, or ℓ±νbb¯¯ final states, where ℓ = e or μ, in proton-proton collisions at s√ = 13 TeV. The data used correspond to a total integrated luminosity of 139 fb−1 collected by the ATLAS detector during Run 2 of the LHC at CERN. The search is conducted by examining the reconstructed invariant or transverse mass distributions of Zh or Wh candidates for evidence of a localised excess in the mass range from 220 GeV to 5 TeV. No significant excess is observed and 95% confidence-level upper limits between 1.3 pb and 0.3 fb are placed on the production cross section times branching fraction of neutral and charged spin-1 resonances and CP-odd scalar bosons. These limits are converted into constraints on the parameter space of the Heavy Vector Triplet model and the two-Higgs-doublet model

The ATLAS trigger system for LHC Run 3 and trigger performance in 2022

The ATLAS trigger system is a crucial component of the ATLAS experiment at the LHC. It is responsible for selecting events in line with the ATLAS physics programme. This paper presents an overview of the changes to the trigger and data acquisition system during the second long shutdown of the LHC, and shows the performance of the trigger system and its components in the proton-proton collisions during the 2022 commissioning period as well as its expected performance in proton-proton and heavy-ion collisions for the remainder of the third LHC data-taking period (2022–2025)

Search for single production of vector-like T quarks decaying into Ht or Zt in pp collisions at s√ = 13 TeV with the ATLAS detector

This paper describes a search for the single production of an up-type vector-like quark (T) decaying as T → Ht or T → Zt. The search utilises a dataset of pp collisions at s√ = 13 TeV collected with the ATLAS detector during the 2015–2018 data-taking period of the Large Hadron Collider, corresponding to an integrated luminosity of 139 fb−1. Data are analysed in final states containing a single lepton with multiple jets and b-jets. The presence of boosted heavy resonances in the event is exploited to discriminate the signal from the Standard Model background. No significant excess above the Standard Model expectation is observed, and 95% CL upper limits are set on the production cross section of T quarks in different decay channels. The results are interpreted in several benchmark scenarios to set limits on the mass and universal coupling strength (κ) of the vector-like quark. For singlet T quarks, κ values above 0.53 are excluded for all masses below 2.3 TeV. At a mass of 1.6 TeV, κ values as low as 0.35 are excluded. For T quarks in the doublet scenario, where the production cross section is much lower, κ values above 0.72 are excluded for all masses below 1.7 TeV, and this exclusion is extended to κ above 0.55 for low masses around 1.0 TeV