Source author record

William Harris

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

ResearcherUnclaimed source record

astro-ph.GA astro-ph.CO Databases

Catalog footprint

What is connected

5works

3topics

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.

preprint2021arXiv

A Symbolic Approach to Proving Query Equivalence Under Bag Semantics

In database-as-a-service platforms, automated verification of query equivalence helps eliminate redundant computation in the form of overlapping sub-queries. Researchers have proposed two pragmatic techniques to tackle this problem. The first approach consists of reducing the queries to algebraic expressions and proving their equivalence using an algebraic theory. The limitations of this technique are threefold. It cannot prove the equivalence of queries with significant differences in the attributes of their relational operators. It does not support certain widely-used SQL features. Its verification procedure is computationally intensive. The second approach transforms this problem to a constraint satisfaction problem and leverages a general-purpose solver to determine query equivalence. This technique consists of deriving the symbolic representation of the queries and proving their equivalence by determining the query containment relationship between the symbolic expressions. While the latter approach addresses all the limitations of the former technique, it only proves the equivalence of queries under set semantics. However, in practice, database applications use bag semantics. In this paper, we introduce a novel symbolic approach for proving query equivalence under bag semantics. We transform the problem of proving query equivalence under bag semantics to that of proving the existence of a bijective, identity map between tuples returned by the queries on all valid inputs. We implement this symbolic approach in SPES and demonstrate that SPES proves the equivalence of a larger set of query pairs (95/232) under bag semantics compared to the state-of-the-art tools based on algebraic (30/232) and symbolic approaches (67/232) under set and bag semantics, respectively. Furthermore, SPES is 3X faster than the symbolic tool that proves equivalence under set semantics.

preprint2016arXiv

Bayesian Mass Estimates of the Milky Way II: The dark and light sides of parameter assumptions

We present mass and mass profile estimates for the Milky Way Galaxy using the Bayesian analysis developed by Eadie et al (2015b) and using globular clusters (GCs) as tracers of the Galactic potential. The dark matter and GCs are assumed to follow different spatial distributions; we assume power-law model profiles and use the model distribution functions described in Evans et al. (1997); Deason et al (2011, 2012a). We explore the relationships between assumptions about model parameters and how these assumptions affect mass profile estimates. We also explore how using subsamples of the GC population beyond certain radii affect mass estimates. After exploring the posterior distributions of different parameter assumption scenarios, we conclude that a conservative estimate of the Galaxy's mass within 125kpc is $5.22\times10^{11} M_{\odot}$, with a $50\%$ probability region of $(4.79, 5.63) \times10^{11} M_{\odot}$. Extrapolating out to the virial radius, we obtain a virial mass for the Milky Way of $6.82\times10^{11} M_{\odot}$ with $50\%$ credible region of $(6.06, 7.53) \times 10^{11} M_{\odot}$ ($r_{vir}=185^{+7}_{-7}$kpc). If we consider only the GCs beyond 10kpc, then the virial mass is $9.02~(5.69, 10.86) \times 10^{11} M_{\odot}$ ($r_{vir}=198^{+19}_{-24}$kpc). We also arrive at an estimate of the velocity anisotropy parameter $β$ of the GC population, which is $β=0.28$ with a $50\%$ credible region (0.21, 0.35). Interestingly, the mass estimates are sensitive to both the dark matter halo potential and visible matter tracer parameters, but are not very sensitive to the anisotropy parameter.

preprint2016arXiv

Simulating radiative feedback and star cluster formation in GMCs: I. Dependence on gravitational boundedness

Radiative feedback is an important consequence of cluster formation in Giant Molecular Clouds (GMCs) in which newly formed clusters heat and ionize their surrounding gas. The process of cluster formation, and the role of radiative feedback, has not been fully explored in different GMC environments. We present a suite of simulations which explore how the initial gravitational boundedness, and radiative feedback, affect cluster formation. We model the early evolution ($<$ 5 Myr) of turbulent, 10$^6$ M$_{\odot}$ clouds with virial parameters ranging from 0.5 to 5. To model cluster formation, we use cluster sink particles, coupled to a raytracing scheme, and a custom subgrid model which populates a cluster via sampling an IMF with an efficiency of 20\% per freefall time. We find that radiative feedback only decreases the cluster particle formation efficiency by a few percent. The initial virial parameter plays a much stronger role in limiting cluster formation, with a spread of cluster formation efficiencies of 37\% to 71\% for the most unbound to the most bound model. The total number of clusters increases while the maximum mass cluster decreases with an increasing initial virial parameter, resulting in steeper mass distributions. The star formation rates in our cluster particles are initially consistent with observations but rise to higher values at late times. This suggests that radiative feedback alone is not responsible for dispersing a GMC over the first 5 Myr of cluster formation.

preprint2015arXiv

Dark Matter Halos in Galaxies and Globular Cluster Populations. II: Metallicity and Morphology

An increasing body of data reveals a one-to-one linear correlation between galaxy halo mass and the total mass in its globular cluster (GC) population, M_{GCS} ~ M_h^{1.03 \pm 0.03}, valid over 5 orders of magnitude. We explore the nature of this correlation for galaxies of different morphological types, and for the subpopulations of metal-poor (blue) and metal-rich (red) GCs. For the subpopulations of different metallicity we find M_{GCS}(blue) ~ M_h^{0.96 \pm 0.03} and M_{GCS}(red) ~ M_h^{1.21 \pm 0.03} with similar scatter. The numerical values of these exponents can be derived from the detailed behavior of the red and blue GC fractions with galaxy mass and provide a self-consistent set of relations. In addition, all morphological types (E, S0, S/Irr) follow the same relation, but with a second-order trend for spiral galaxies to have a slightly higher fraction of metal-rich GCs for a given mass. These results suggest that the amount of gas available for GC formation at high redshift was in nearly direct proportion to the dark-matter halo potential, in strong contrast to the markedly nonlinear behavior of total stellar mass versus halo mass. Of the few available theoretical treatments that directly discuss the formation of GCs in a hierarchical merging framework,the model of Kravtsov & Gnedin (2005) best matches these observations. They find that the blue, metal-poor GCs formed in small halos at $z > 3$ and did so in nearly direct proportion to halo mass. Similar models addressing the formation rate of the red, metal-richer GCs in the same detail and continuing to lower redshift are still needed for a comprehensive picture.

preprint2009arXiv

A Blue Tilt in the Globular Cluster System of the Milky Way-like Galaxy NGC 5170

Here we present HST/ACS imaging, in the B and I bands, of the edge-on Sb/Sc galaxy NGC 5170. Excluding the central disk region region, we detect a 142 objects with colours and sizes typical of globular clusters (GCs). Our main result is the discovery of a `blue tilt' (a mass-metallicity relation), at the 3sigma level, in the metal-poor GC subpopulation of this Milky Way like galaxy. The tilt is consistent with that seen in massive elliptical galaxies and with the self enrichment model of Bailin & Harris. For a linear mass-metallicity relation, the tilt has the form Z ~ L^{0.42 +/- 0.13}. We derive a total GC system population of 600 +/- 100, making it much richer than the Milky Way. However when this number is normalised by the host galaxy luminosity or stellar mass it is similar to that of M31. Finally, we report the presence of a potential Ultra Compact Dwarf of size ~ 6 pc and luminosity M_I ~ -12.5, assuming it is physically associated with NGC 5170.