The First Direct Detection of Kirkwood Transitions in Concentrated Aqueous Electrolytes using Small Angle X-ray Scattering

Ion-ion correlations, screening, and equilibrium bulk structure in various concentrated electrolytes are investigated using synchrotron small angle X-ray scattering (SAXS), theory, and molecular simulation. Utilizing SAXS measurements we provide estimates of the Kirkwood Transition (KT) for a variety of aqueous electrolytes (NaCl, CaCl$_2$, SrCl$_2$, and ErCl$_3$). The KT may be defined as the concentration above which the ion-ion correlations cease to decay exponentially with a single length scale given by the Debye length $\lambda_{\rm D}$ and develop an additional length scale, $d=2\pi/Q_0$ that reflects the formation of local domains of charge. Theoretical models of the KT have been known for decades for highly idealized models of electrolytes, but experimental verification of KT in real electrolytes has yet to be confirmed. Herein, we provide consistent theoretical and experimental estimates of both the inverse screening lengths $a_0$ and inverse domain size, $Q_0$ for the aforementioned electrolyte systems. Taken together, $a_0$ and $Q_0$ are known descriptors of the KT and provide a view into the complexity of ion-ion interaction beyond the well-accepted Debye-H\"{u}ckel limit. Our findings suggest a picture of interaction for real electrolytes that is more general than that found in idealized models that is manifest in the precise form of the non-local response function that we estimate through the interpretation of the experimental SAXS signal. Importantly, the additional complexity of describing ion-ion interaction of real electrolytes will implicate the short-range ion-ion interactions that can only be computed via molecular simulation and provide a quantitative approach to describe electrolyte phenomena beyond Debye-H\"{u}ckel theory.Comment: 3

Draft Genome Sequence of Acetobacter aceti Strain 1023, a Vinegar Factory Isolate

The genome sequence of Acetobacter aceti 1023, an acetic acid bacterium adapted to traditional vinegar fermentation, comprises 3.0 Mb (chromosome plus plasmids). A. aceti 1023 is closely related to the cocoa fermenter Acetobacter pasteurianus 386B but possesses many additional insertion sequence elements

Discovery of a Transiting Adolescent Sub-Neptune Exoplanet with K2

The role of stellar age in the measured properties and occurrence rates of exoplanets is not well understood. This is in part due to a paucity of known young planets and the uncertainties in age-dating for most exoplanet host stars. Exoplanets with well-constrained ages, particularly those which are young, are useful as benchmarks for studies aiming to constrain the evolutionary timescales relevant for planets. Such timescales may concern orbital migration, gravitational contraction, or atmospheric photo-evaporation, among other mechanisms. Here we report the discovery of an adolescent transiting sub-Neptune from K2 photometry of the low-mass star K2-284. From multiple age indicators we estimate the age of the star to be 120 Myr, with a 68% confidence interval of 100-760 Myr. The size of K2-284 b ($R_P$ = 2.8 $\pm$ 0.1 $R_\oplus$) combined with its youth make it an intriguing case study for photo-evaporation models, which predict enhanced atmospheric mass loss during early evolutionary stages.Comment: Accepted to AJ, 36 pages, 17 figures, 5 table

Drug–gene and drug–drug interactions associated with tramadol and codeine therapy in the INGENIOUS trial

Background: Tramadol and codeine are metabolized by CYP2D6 and are subject to drug-gene and drug-drug interactions. Methods: This interim analysis examined prescribing behavior and efficacy in 102 individuals prescribed tramadol or codeine while receiving pharmaco-genotyping as part of the INGENIOUS trial (NCT02297126). Results: Within 60 days of receiving tramadol or codeine, clinicians more frequently prescribed an alternative opioid in ultrarapid and poor metabolizers (odds ratio: 19.0; 95% CI: 2.8-160.4) as compared with normal or indeterminate metabolizers (p = 0.01). After adjusting the CYP2D6 activity score for drug-drug interactions, uncontrolled pain was reported more frequently in individuals with reduced CYP2D6 activity (odds ratio: 0.50; 95% CI: 0.25-0.94). Conclusion: Phenoconversion for drug-drug and drug-gene interactions is an important consideration in pharmacogenomic implementation; drug-drug interactions may obscure the potential benefits of genotyping

Quantifying the hydration structure of sodium and potassium ions: taking additional steps on Jacob's Ladder

The ability to reproduce the experimental structure of water around the sodium and potassium ions is a key test of the quality of interaction potentials due to the central importance of these ions in a wide range of important phenomena. Here, we simulate the Na+ and K+ ions in bulk water using three density functional theory functionals: (1) the generalized gradient approximation (GGA) based dispersion corrected revised Perdew, Burke, and Ernzerhof functional (revPBE-D3) (2) the recently developed strongly constrained and appropriately normed (SCAN) functional (3) the random phase approximation (RPA) functional for potassium. We compare with experimental X-ray diffraction (XRD) and X-ray absorption fine structure (EXAFS) measurements to demonstrate that SCAN accurately reproduces key structural details of the hydration structure around the sodium and potassium cations, whereas revPBE-D3 fails to do so. However, we show that SCAN provides a worse description of pure water in comparison with revPBE-D3. RPA also shows an improvement for K+, but slow convergence prevents rigorous comparison. Finally, we analyse cluster energetics to show SCAN and RPA have smaller fluctuations of the mean error of ion-water cluster binding energies compared with revPBE-D3

KELT-11b: A Highly Inflated Sub-Saturn Exoplanet Transiting the V=8 Subgiant HD 93396

We report the discovery of a transiting exoplanet, KELT-11b, orbiting the bright ($V=8.0$) subgiant HD 93396. A global analysis of the system shows that the host star is an evolved subgiant star with $T_{\rm eff} = 5370\pm51$ K, $M_{*} = 1.438_{-0.052}^{+0.061} M_{\odot}$, $R_{*} = 2.72_{-0.17}^{+0.21} R_{\odot}$, log $g_*= 3.727_{-0.046}^{+0.040}$, and [Fe/H]$= 0.180\pm0.075$. The planet is a low-mass gas giant in a $P = 4.736529\pm0.00006$ day orbit, with $M_{P} = 0.195\pm0.018 M_J$, $R_{P}= 1.37_{-0.12}^{+0.15} R_J$, $\rho_{P} = 0.093_{-0.024}^{+0.028}$ g cm$^{-3}$, surface gravity log ${g_{P}} = 2.407_{-0.086}^{+0.080}$, and equilibrium temperature $T_{eq} = 1712_{-46}^{+51}$ K. KELT-11 is the brightest known transiting exoplanet host in the southern hemisphere by more than a magnitude, and is the 6th brightest transit host to date. The planet is one of the most inflated planets known, with an exceptionally large atmospheric scale height (2763 km), and an associated size of the expected atmospheric transmission signal of 5.6%. These attributes make the KELT-11 system a valuable target for follow-up and atmospheric characterization, and it promises to become one of the benchmark systems for the study of inflated exoplanets.Comment: 15 pages, Submitted to AAS Journal

HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification

Programmable Logic Controllers (PLCs) provide a prominent choice of implementation platform for safety-critical industrial control systems. Formal verification provides ways of establishing correctness guarantees, which can be quite important for such safety-critical applications. But since PLC code does not include an analytic model of the system plant, their verification is limited to discrete properties. In this paper, we, thus, start the other way around with hybrid programs that include continuous plant models in addition to discrete control algorithms. Even deep correctness properties of hybrid programs can be formally verified in the theorem prover KeYmaera X that implements differential dynamic logic, dL, for hybrid programs. After verifying the hybrid program, we now present an approach for translating hybrid programs into PLC code. The new tool, HyPLC, implements this translation of discrete control code of verified hybrid program models to PLC controller code and, vice versa, the translation of existing PLC code into the discrete control actions for a hybrid program given an additional input of the continuous dynamics of the system to be verified. This approach allows for the generation of real controller code while preserving, by compilation, the correctness of a valid and verified hybrid program. PLCs are common cyber-physical interfaces for safety-critical industrial control applications, and HyPLC serves as a pragmatic tool for bridging formal verification of complex cyber-physical systems at the algorithmic level of hybrid programs with the execution layer of concrete PLC implementations.Comment: 13 pages, 9 figures. ICCPS 201