Source author record

Ryan Johnson

Ryan Johnson appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

astro-ph.CO astro-ph.GA astro-ph.HE Databases Logic in Computer Science math.AT math.QA math.RT

Catalog footprint

What is connected

4works

8topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2016arXiv

Probing the Outskirts of the Early Stage Galaxy Cluster Merger A1750

We present results from recent Suzaku and Chandra X-ray, and MMT optical observations of the strongly merging "double cluster" A1750 out to its virial radius, both along and perpendicular to a putative large-scale structure filament. Some previous studies of individual clusters have found evidence for ICM entropy profiles that flatten at large cluster radii, as compared with the self-similar prediction based on purely gravitational models of hierarchical cluster formation, and gas fractions that rise above the mean cosmic value. Weakening accretion shocks and the presence of unresolved cool gas clumps, both of which are expected to correlate with large scale structure filaments, have been invoked to explain these results. In the outskirts of A1750, we find entropy profiles that are consistent with self-similar expectations, and gas fractions that are consistent with the mean cosmic value, both along and perpendicular to the putative large scale filament. Thus, we find no evidence for gas clumping in the outskirts of A1750, in either direction. This may indicate that gas clumping is less common in lower temperature (kT~4keV), less massive systems, consistent with some (but not all) previous studies of low mass clusters and groups. Cluster mass may therefore play a more important role in gas clumping than dynamical state. Finally, we find evidence for diffuse, cool (<1 keV) gas at large cluster radii (R200) along the filament, which is consistent with the expected properties of the denser, hotter phase of the WHIM.

preprint2015arXiv

Indicators of Tambara-Yamagami categories and Gauss sums

We prove that the higher Frobenius-Schur indicators, introduced by Ng and Schauenburg, give a strong enough invariant to distinguish between any two Tambara-Yamagami fusion categories. Our proofs are based on computation of the higher indicators as quadratic Gauss sums for certain quadratic forms on finite abelian groups and relies on the classification of quadratic forms on finite abelian groups, due to Wall. As a corollary to our work, we show that the state-sum invariants of a Tambara-Yamagami category determine the category as long as we restrict to Tambara-Yamagami categories coming from groups G whose order is not a power of 2. Turaev and Vainerman proved this result under the assumption that G has odd order and they conjectured that a similar result should hold for groups of even order. We also give an example to show that the assumption that G does not have a power of 2, cannot be completely relaxed.

preprint2015arXiv

Processing Analytical Workloads Incrementally

Analysis of large data collections using popular machine learning and statistical algorithms has been a topic of increasing research interest. A typical analysis workload consists of applying an algorithm to build a model on a data collection and subsequently refining it based on the results. In this paper we introduce model materialization and incremental model reuse as first class citizens in the execution of analysis workloads. We materialize built models instead of discarding them in a way that can be reused in subsequent computations. At the same time we consider manipulating an existing model (adding or deleting data from it) in order to build a new one. We discuss our approach in the context of popular machine learning models. We specify the details of how to incrementally maintain models as well as outline the suitable optimizations required to optimally use models and their incremental adjustments to build new ones. We detail our techniques for linear regression, naive bayes and logistic regression and present the suitable algorithms and optimizations to handle these models in our framework. We present the results of a detailed performance evaluation, using real and synthetic data sets. Our experiments analyze the various trade offs inherent in our approach and demonstrate vast performance benefits.

preprint2011arXiv

Toward the Verification of a Simple Hypervisor

Virtualization promises significant benefits in security, efficiency, dependability, and cost. Achieving these benefits depends upon the reliability of the underlying virtual machine monitors (hypervisors). This paper describes an ongoing project to develop and verify MinVisor, a simple but functional Type-I x86 hypervisor, proving protection properties at the assembly level using ACL2. Originally based on an existing research hypervisor, MinVisor provides protection of its own memory from a malicious guest. Our long-term goal is to fully verify MinVisor, providing a vehicle to investigate the modeling and verification of hypervisors at the implementation level, and also a basis for further systems research. Functional segments of the MinVisor C code base are translated into Y86 assembly, and verified with respect to the Y86 model. The inductive assertions (also known as "compositional cutpoints") methodology is used to prove the correctness of the code. The proof of the code that sets up the nested page tables is described. We compare this project to related efforts in systems code verification and outline some useful steps forward.