Sparsity-Sensitive Finite Abstraction

Abstraction of a continuous-space model into a finite state and input dynamical model is a key step in formal controller synthesis tools. To date, these software tools have been limited to systems of modest size (typically $\leq$ 6 dimensions) because the abstraction procedure suffers from an exponential runtime with respect to the sum of state and input dimensions. We present a simple modification to the abstraction algorithm that dramatically reduces the computation time for systems exhibiting a sparse interconnection structure. This modified procedure recovers the same abstraction as the one computed by a brute force algorithm that disregards the sparsity. Examples highlight speed-ups from existing benchmarks in the literature, synthesis of a safety supervisory controller for a 12-dimensional and abstraction of a 51-dimensional vehicular traffic network

How to get from imaginary to real chemical potential

Using the exactly solvable Gross-Neveu model as theoretical laboratory, we analyse in detail the relationship between a relativistic quantum field theory at real and imaginary chemical potential. We find that one can retrieve the full information about the phase diagram of the theory from an imaginary chemical potential calculation. The prerequisite is to evaluate and analytically continue the effective potential for the chiral order parameter, rather than thermodynamic observables or phase boundaries. In the case of an inhomogeneous phase, one needs to compute the full effective action, a functional of the space-dependent order parameter, at imaginary chemical potential.Comment: revtex, 9 pages, 10 figures; v2: add more references, modify concluding sectio

Ractopamine-induced changes in the proteome of post-mortem beef longissimus lumborum muscle

Ractopamine is a beta-adrenergic agonist that is approved for use in beef cattle, pigs and turkeys as a repartitioning agent to increase lean muscle deposition and decrease lipogenesis. Although the effects of dietary ractopamine on the proteome profile of post-mortem pork muscles have been examined, its influence on beef muscle proteome has not been studied. Therefore, the objective of this study was to examine the effect of ractopamine on the proteome profile of post-mortem beef longissimus lumborum (LL) muscle. LL muscle samples were obtained from the carcasses of six (n = 6) steers fed ractopamine (RAC; 400 mg ractopamine hydrochloride for 28 days) and six (n = 6) steers fed no ractopamine (CON). The muscle proteome was analysed using two-dimensional gel electrophoresis and tandem mass spectrometry. Five differentially abundant spots were identified, and all the spots were over-abundant in RAC. The identified proteins were involved in muscle structure development (F-actin-capping protein subunit beta-2; PDZ and LIM domain protein-3), chaperone activity (heat shock protein beta-1), oxygen transport (myoglobin), and glycolysis (L-lactate dehydrogenase A chain). These results suggested that dietary ractopamine could influence the abundance of enzymes associated with muscle development and muscle fibre type shift in beef LL muscle.Keywords: growth promotants, meat quality, proteomic

Reconstructing and Classifying SDSS DR16 Galaxy Spectra with Machine-Learning and Dimensionality Reduction Algorithms

Optical spectra of galaxies and quasars from large cosmological surveys are used to measure redshifts and infer distances. They are also rich with information on the intrinsic properties of these astronomical objects. However, their physical interpretation can be challenging due to the substantial number of degrees of freedom, various sources of noise, and degeneracies between physical parameters that cause similar spectral characteristics. To gain deeper insights into these degeneracies, we apply two unsupervised machine learning frameworks to a sample from the Sloan Digital Sky Survey data release 16 (SDSS DR16). The first framework is a Probabilistic Auto-Encoder (PAE), a two-stage deep learning framework consisting of a data compression stage from 1000 elements to 10 parameters and a density estimation stage. The second framework is a Uniform Manifold Approximation and Projection (UMAP), which we apply to both the uncompressed and compressed data. Exploring across regions on the compressed data UMAP, we construct sequences of stacked spectra which show a gradual transition from star-forming galaxies with narrow emission lines and blue spectra to passive galaxies with absorption lines and red spectra. Focusing on galaxies with broad emission lines produced by quasars, we find a sequence with varying levels of obscuration caused by cosmic dust. The experiments we present here inform future applications of neural networks and dimensionality reduction algorithms for large astronomical spectroscopic surveys.Comment: ASP Conference Series, Compendium of Undergraduate Research in Astronomy and Space Science (accepted), 24 pages, 14 figure

Observation of Parity Violation in the Omega-minus -> Lambda + K-minus Decay

The alpha decay parameter in the process Omega-minus -> Lambda + K-minus has been measured from a sample of 4.50 million unpolarized Omega-minus decays recorded by the HyperCP (E871) experiment at Fermilab and found to be [1.78 +/- 0.19(stat) +/- 0.16(syst)]{\times}10^{-2}. This is the first unambiguous evidence for a nonzero alpha decay parameter, and hence parity violation, in the Omega-minus -> Lambda + K-minus decay.Comment: 10 pages, 7 figure

Imaging Electronic Correlations in Twisted Bilayer Graphene near the Magic Angle

Twisted bilayer graphene with a twist angle of around 1.1{\deg} features a pair of isolated flat electronic bands and forms a strongly correlated electronic platform. Here, we use scanning tunneling microscopy to probe local properties of highly tunable twisted bilayer graphene devices and show that the flat bands strongly deform when aligned with the Fermi level. At half filling of the bands, we observe the development of gaps originating from correlated insulating states. Near charge neutrality, we find a previously unidentified correlated regime featuring a substantially enhanced flat band splitting that we describe within a microscopic model predicting a strong tendency towards nematic ordering. Our results provide insights into symmetry breaking correlation effects and highlight the importance of electronic interactions for all filling factors in twisted bilayer graphene.Comment: Main text 9 pages, 4 figures; Supplementary Information 25 page

Understanding Lived Experiences of Stigma for People Living with HIV: A Community Based Participatory Research Study

The goal of this project was to better understand the experiences and impacts of HIV stigma and discrimination on people living with HIV and to co-create knowledge that has the potential to challenge existing stigma within the healthcare, social services, and public policy sectors in the province of Alberta, Canada. We employed community-based participatory research and a mixed methods design (survey methods and qualitative interviews) to address these questions. An online survey was completed by 148 people living with HIV and semi-structured interviews were conducted with an additional 20 participants. The research findings have been conceptualized within a social ecological model. The four main categories that emerged from the data included personal level factors attributed to HIV stigma, interpersonal factors related to HIV stigma, community factors related to HIV stigma, and HIV stigma in systems and institutions. Within each ecological domain we highlight the strengths and coping strategies people living with HIV identified in the study. Results will be of interest to health researchers and HIV service providers

Quaternary structure independent folding of voltage-gated ion channel pore domain subunits

Every voltage-gated ion channel (VGIC) has a pore domain (PD) made from four subunits, each comprising an antiparallel transmembrane helix pair bridged by a loop. The extent to which PD subunit structure requires quaternary interactions is unclear. Here, we present crystal structures of a set of bacterial voltage-gated sodium channel (BacNaV) 'pore only' proteins that reveal a surprising collection of non-canonical quaternary arrangements in which the PD tertiary structure is maintained. This context-independent structural robustness, supported by molecular dynamics simulations, indicates that VGIC-PD tertiary structure is independent of quaternary interactions. This fold occurs throughout the VGIC superfamily and in diverse transmembrane and soluble proteins. Strikingly, characterization of PD subunit-binding Fabs indicates that non-canonical quaternary PD conformations can occur in full-length VGICs. Together, our data demonstrate that the VGIC-PD is an autonomously folded unit. This property has implications for VGIC biogenesis, understanding functional states, de novo channel design, and VGIC structural origins

A repurposing strategy for Hsp90 inhibitors demonstrates their potency against filarial nematodes

Novel drugs are required for the elimination of infections caused by filarial worms, as most commonly used drugs largely target the microfilariae or first stage larvae of these infections. Previous studies, conducted in vitro, have shown that inhibition of Hsp90 kills adult Brugia pahangi. As numerous small molecule inhibitors of Hsp90 have been developed for use in cancer chemotherapy, we tested the activity of several novel Hsp90 inhibitors in a fluorescence polarization assay and against microfilariae and adult worms of Brugia in vitro. The results from all three assays correlated reasonably well and one particular compound, NVP-AUY922, was shown to be particularly active, inhibiting Mf output from female worms at concentrations as low as 5.0 nanomolar after 6 days exposure to drug. NVP-AUY922 was also active on adult worms after a short 24 h exposure to drug. Based on these in vitro data, NVP-AUY922 was tested in vivo in a mouse model and was shown to significantly reduce the recovery of both adult worms and microfilariae. These studies provide proof of principle that the repurposing of currently available Hsp90 inhibitors may have potential for the development of novel agents with macrofilaricidal properties