Space-Time Tradeoffs for Distributed Verification

Verifying that a network configuration satisfies a given boolean predicate is a fundamental problem in distributed computing. Many variations of this problem have been studied, for example, in the context of proof labeling schemes (PLS), locally checkable proofs (LCP), and non-deterministic local decision (NLD). In all of these contexts, verification time is assumed to be constant. Korman, Kutten and Masuzawa [PODC 2011] presented a proof-labeling scheme for MST, with poly-logarithmic verification time, and logarithmic memory at each vertex. In this paper we introduce the notion of a $t$-PLS, which allows the verification procedure to run for super-constant time. Our work analyzes the tradeoffs of $t$-PLS between time, label size, message length, and computation space. We construct a universal $t$-PLS and prove that it uses the same amount of total communication as a known one-round universal PLS, and $t$ factor smaller labels. In addition, we provide a general technique to prove lower bounds for space-time tradeoffs of $t$-PLS. We use this technique to show an optimal tradeoff for testing that a network is acyclic (cycle free). Our optimal $t$-PLS for acyclicity uses label size and computation space $O((\log n)/t)$. We further describe a recursive $O(\log^* n)$ space verifier for acyclicity which does not assume previous knowledge of the run-time $t$.Comment: Pre-proceedings version of paper presented at the 24th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2017

Labeling Schemes for Bounded Degree Graphs

We investigate adjacency labeling schemes for graphs of bounded degree $\Delta = O(1)$. In particular, we present an optimal (up to an additive constant) $\log n + O(1)$ adjacency labeling scheme for bounded degree trees. The latter scheme is derived from a labeling scheme for bounded degree outerplanar graphs. Our results complement a similar bound recently obtained for bounded depth trees [Fraigniaud and Korman, SODA 10], and may provide new insights for closing the long standing gap for adjacency in trees [Alstrup and Rauhe, FOCS 02]. We also provide improved labeling schemes for bounded degree planar graphs. Finally, we use combinatorial number systems and present an improved adjacency labeling schemes for graphs of bounded degree $\Delta$ with $(e+1)\sqrt{n} < \Delta \leq n/5$

Recent advances on information transmission and storage assisted by noise

The interplay between nonlinear dynamic systems and noise has proved to be of great relevance in several application areas. In this presentation, we focus on the areas of information transmission and storage. We review some recent results on information transmission through nonlinear channels assisted by noise. We also present recent proposals of memory devices in which noise plays an essential role. Finally, we discuss new results on the influence of noise in memristors.Comment: To be published in "Theory and Applications of Nonlinear Dynamics: Model and Design of Complex Systems", Proceedings of ICAND 2012 (Springer, 2014

The Dominant Australian Community-Acquired Methicillin-Resistant Staphylococcus aureus Clone ST93-IV [2B] Is Highly Virulent and Genetically Distinct

Community-associated methicillin-resistant Staphylococcus aureus (CA-MRSA) USA300 has spread rapidly across North America, and CA-MRSA is also increasing in Australia. However, the dominant Australian CA-MRSA strain, ST93-IV [2B] appears distantly related to USA300 despite strikingly similar clinical and epidemiological profiles. Here, we compared the virulence of a recent Australian ST93 isolate (JKD6159) to other MRSA, including USA300, and found that JKD6159 was the most virulent in a mouse skin infection model. We fully sequenced the genome of JKD6159 and confirmed that JKD6159 is a distinct clone with 7616 single nucleotide polymorphisms (SNPs) distinguishing this strain from all other S. aureus genomes. Despite its high virulence there were surprisingly few virulence determinants. However, genes encoding α-hemolysin, Panton-Valentine leukocidin (PVL) and α-type phenol soluble modulins were present. Genome comparisons revealed 32 additional CDS in JKD6159 but none appeared to encode new virulence factors, suggesting that this clone's enhanced pathogenicity could lie within subtler genome changes, such as SNPs within regulatory genes. To investigate the role of accessory genome elements in CA-MRSA epidemiology, we next sequenced three additional Australian non-ST93 CA-MRSA strains and compared them with JKD6159, 19 completed S. aureus genomes and 59 additional S. aureus genomes for which unassembled genome sequence data was publicly available (82 genomes in total). These comparisons showed that despite its distinctive genotype, JKD6159 and other CA-MRSA clones (including USA300) share a conserved repertoire of three notable accessory elements (SSCmecIV, PVL prophage, and pMW2). This study demonstrates that the genetically distinct ST93 CA-MRSA from Australia is highly virulent. Our comparisons of geographically and genetically diverse CA-MRSA genomes suggest that apparent convergent evolution in CA-MRSA may be better explained by the rapid dissemination of a highly conserved accessory genome from a common source

Efficacy and safety of the anti-IL-12/23 p40 monoclonal antibody, ustekinumab, in patients with active psoriatic arthritis despite conventional non-biological and biological anti-tumour necrosis factor therapy: 6-month and 1-year results of the phase 3, multicentre, double-blind, placebo-controlled, randomised PSUMMIT 2 trial

Objective: Assess ustekinumab efficacy (week 24/week 52) and safety (week 16/week 24/week 60) in patients with active psoriatic arthritis (PsA) despite treatment with conventional and/or biological anti-tumour necrosis factor (TNF) agents. Methods: In this phase 3, multicentre, placebo-controlled trial, 312 adults with active PsA were randomised (stratified by site, weight (&#8804;100 kg/&#62;100 kg), methotrexate use) to ustekinumab 45 mg or 90 mg at week 0, week 4, q12 weeks or placebo at week 0, week 4, week 16 and crossover to ustekinumab 45 mg at week 24, week 28 and week 40. At week 16, patients with &#60;5% improvement in tender/swollen joint counts entered blinded early escape (placebo→45 mg, 45 mg→90 mg, 90 mg→90 mg). The primary endpoint was &#8805;20% improvement in American College of Rheumatology (ACR20) criteria at week 24. Secondary endpoints included week 24 Health Assessment Questionnaire-Disability Index (HAQ-DI) improvement, ACR50, ACR70 and &#8805;75% improvement in Psoriasis Area and Severity Index (PASI75). Efficacy was assessed in all patients, anti-TNF-naïve (n=132) patients and anti-TNF-experienced (n=180) patients. Results: More ustekinumab-treated (43.8% combined) than placebo-treated (20.2%) patients achieved ACR20 at week 24 (p&#60;0.001). Significant treatment differences were observed for week 24 HAQ-DI improvement (p&#60;0.001), ACR50 (p&#8804;0.05) and PASI75 (p&#60;0.001); all benefits were sustained through week 52. Among patients previously treated with &#8805;1 TNF inhibitor, sustained ustekinumab efficacy was also observed (week 24 combined vs placebo: ACR20 35.6% vs 14.5%, PASI75 47.1% vs 2.0%, median HAQ-DI change −0.13 vs 0.0; week 52 ustekinumab-treated: ACR20 38.9%, PASI75 43.4%, median HAQ-DI change −0.13). No unexpected adverse events were observed through week 60. Conclusions: The interleukin-12/23 inhibitor ustekinumab (45/90 mg q12 weeks) yielded significant and sustained improvements in PsA signs/symptoms in a diverse population of patients with active PsA, including anti-TNF-experienced PsA patients

Design and Bolometer Characterization of the SPT-3G First-year Focal Plane

During the austral summer of 2016-17, the third-generation camera, SPT-3G, was installed on the South Pole Telescope, increasing the detector count in the focal plane by an order of magnitude relative to the previous generation. Designed to map the polarization of the cosmic microwave background, SPT-3G contains ten 6-in-hexagonal modules of detectors, each with 269 trichroic and dual-polarization pixels, read out using 68x frequency-domain multiplexing. Here we discuss design, assembly, and layout of the modules, as well as early performance characterization of the first-year array, including yield and detector properties.Comment: Conference proceeding for Low Temperature Detectors 2017. Accepted for publication: 27 August 201

Viral trans-factor independent replication of human papillomavirus genomes

<p>Abstract</p> <p>Background</p> <p>Papillomaviruses (PVs) establish a persistent infection in the proliferating basal cells of the epithelium. The viral genome is replicated and maintained as a low-copy nuclear plasmid in basal keratinocytes. Bovine and human papillomaviruses (BPV and HPV) are known to utilize two viral proteins; E1, a DNA helicase, and E2, a transcription factor, which have been considered essential for viral DNA replication. However, growing evidence suggests that E1 and E2 are not entirely essential for stable replication of HPV.</p> <p>Results</p> <p>Here we report that multiple HPV16 mutants, lacking either or both E1 and E2 open reading frame (ORFs) and the long control region (LCR), still support extrachromosomal replication. Our data clearly indicate that HPV16 has a mode of replication, independent of viral trans-factors, E1 and E2, which is achieved by origin activity located outside of the LCR.</p

A Measurement of the CMB Temperature Power Spectrum and Constraints on Cosmology from the SPT-3G 2018 TT/TE/EE Data Set

We present a sample-variance-limited measurement of the temperature power spectrum ($TT$) of the cosmic microwave background (CMB) using observations of a $\sim\! 1500 \,\mathrm{deg}^2$ field made by SPT-3G in 2018. We report multifrequency power spectrum measurements at 95, 150, and 220GHz covering the angular multipole range $750 \leq \ell < 3000$. We combine this $TT$ measurement with the published polarization power spectrum measurements from the 2018 observing season and update their associated covariance matrix to complete the SPT-3G 2018 $TT/TE/EE$ data set. This is the first analysis to present cosmological constraints from SPT $TT$, $TE$, and $EE$ power spectrum measurements jointly. We blind the cosmological results and subject the data set to a series of consistency tests at the power spectrum and parameter level. We find excellent agreement between frequencies and spectrum types and our results are robust to the modeling of astrophysical foregrounds. We report results for $\Lambda$CDM and a series of extensions, drawing on the following parameters: the amplitude of the gravitational lensing effect on primary power spectra $A_\mathrm{L}$, the effective number of neutrino species $N_{\mathrm{eff}}$, the primordial helium abundance $Y_{\mathrm{P}}$, and the baryon clumping factor due to primordial magnetic fields $b$. We find that the SPT-3G 2018 $T/TE/EE$ data are well fit by $\Lambda$CDM with a probability-to-exceed of $15\%$. For $\Lambda$CDM, we constrain the expansion rate today to $H_0 = 68.3 \pm 1.5\,\mathrm{km\,s^{-1}\,Mpc^{-1}}$ and the combined structure growth parameter to $S_8 = 0.797 \pm 0.042$. The SPT-based results are effectively independent of Planck, and the cosmological parameter constraints from either data set are within $<1\,\sigma$ of each other. (abridged)Comment: 35 Pages, 17 Figures, 11 Table

Genetic hitchhiking and resistance evolution to transgenic Bt toxins: insights from the African stalk borer Busseola fusca (Noctuidae)

Since transgenic crops expressing Bacillus thuringiensis (Bt) toxins were first released, resistance evolution leading to failure in control of pests populations has been observed in a number of species. Field resistance of the moth Busseola fusca was acknowledged 8 years after Bt maize was introduced in South Africa. Since then, field resistance of this corn borer has been observed at several locations, raising questions about the nature, distribution and dynamics of the resistance trait. Using genetic markers, our study identified four outlier loci clearly associated with resistance. In addition, genetic structure at neutral loci reflected extensive gene flow among populations. A realistically parameterised model suggests that resistance could travel in space at speed of several kilometres a year. Markers at outlier loci delineated a geographic region associated with resistance spread. This was an area of approximately 100 km radius, including the location where resistance was first reported. Controlled crosses corroborated these findings and showed significant differences of progeny survival on Bt plants depending on the origin of the resistant parent. Last, our study suggests diverse resistance mutations, which would explain the widespread occurrence of resistant larvae in Bt fields across the main area of maize production in South Africa