Active Integrity Constraints and Revision Programming

We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to enforce them. Unlike other more commonly accepted approaches, these two formalisms attempt to provide a declarative solution to the problem. However, the original semantics of founded repairs for active integrity constraints and justified revisions for revision programs differ. Our main goal is to establish a comprehensive framework of semantics for active integrity constraints, to find a parallel framework for revision programs, and to relate the two. By doing so, we demonstrate that the two formalisms proposed independently of each other and based on different intuitions when viewed within a broader semantic framework turn out to be notational variants of each other. That lends support to the adequacy of the semantics we develop for each of the formalisms as the foundation for a declarative approach to the problem of database update and repair. In the paper we also study computational properties of the semantics we consider and establish results concerned with the concept of the minimality of change and the invariance under the shifting transformation.Comment: 48 pages, 3 figure

The Cosmological Constant Problems

The old cosmological constant problem is to understand why the vacuum energy is so small; the new problem is to understand why it is comparable to the present mass density. Several approaches to these problems are reviewed. Quintessence does not help with either; anthropic considerations offer a possibility of solving both. In theories with a scalar field that takes random initial values, the anthropic principle may apply to the cosmological constant, but probably to nothing else

Corrfunc: Blazing fast correlation functions with AVX512F SIMD Intrinsics

Correlation functions are widely used in extra-galactic astrophysics to extract insights into how galaxies occupy dark matter halos and in cosmology to place stringent constraints on cosmological parameters. A correlation function fundamentally requires computing pair-wise separations between two sets of points and then computing a histogram of the separations. Corrfunc is an existing open-source, high-performance software package for efficiently computing a multitude of correlation functions. In this paper, we will discuss the SIMD AVX512F kernels within Corrfunc, capable of processing 16 floats or 8 doubles at a time. The latest manually implemented Corrfunc AVX512F kernels show a speedup of up to $\sim 4\times$ relative to compiler-generated code for double-precision calculations. The AVX512F kernels show $\sim 1.6\times$ speedup relative to the AVX kernels and compare favorably to a theoretical maximum of $2\times$. In addition, by pruning pairs with too large of a minimum possible separation, we achieve a $\sim 5-10\%$ speedup across all the SIMD kernels. Such speedups highlight the importance of programming explicitly with SIMD vector intrinsics for complex calculations that can not be efficiently vectorized by compilers. Corrfunc is publicly available at https://github.com/manodeep/Corrfunc/.Comment: Paper II for the Corrfunc software package, paper I is on arXiv here: arXiv:1911.03545. Appeared in the refereed proceedings for the "Second Workshop on Software Challenges to Exascale Computing

Breakdown of the adiabatic limit in low dimensional gapless systems

It is generally believed that a generic system can be reversibly transformed from one state into another by sufficiently slow change of parameters. A standard argument favoring this assertion is based on a possibility to expand the energy or the entropy of the system into the Taylor series in the ramp speed. Here we show that this argumentation is only valid in high enough dimensions and can break down in low-dimensional gapless systems. We identify three generic regimes of a system response to a slow ramp: (A) mean-field, (B) non-analytic, and (C) non-adiabatic. In the last regime the limits of the ramp speed going to zero and the system size going to infinity do not commute and the adiabatic process does not exist in the thermodynamic limit. We support our results by numerical simulations. Our findings can be relevant to condensed-matter, atomic physics, quantum computing, quantum optics, cosmology and others.Comment: 11 pages, 5 figures, to appear in Nature Physics (originally submitted version

Analytical Approximations to Galaxy Clustering

We discuss some recent progress in constructing analytic approximations to the galaxy clustering. We show that successful models can be constructed for the clustering of both dark matter and dark matter haloes. Our understanding of galaxy clustering and galaxy biasing can be greatly enhanced by these models.Comment: 10 pages, Latex, crckapb.sty, figure included, to appear in the proceedings of Ringberg Workshop on Large-Scale Structure (ed. D. Hamilton; Kluwer Academic Publishers

The Void Galaxy Survey

The Void Galaxy Survey (VGS) is a multi-wavelength program to study $\sim$60 void galaxies. Each has been selected from the deepest interior regions of identified voids in the SDSS redshift survey on the basis of a unique geometric technique, with no a prior selection of intrinsic properties of the void galaxies. The project intends to study in detail the gas content, star formation history and stellar content, as well as kinematics and dynamics of void galaxies and their companions in a broad sample of void environments. It involves the HI imaging of the gas distribution in each of the VGS galaxies. Amongst its most tantalizing findings is the possible evidence for cold gas accretion in some of the most interesting objects, amongst which are a polar ring galaxy and a filamentary configuration of void galaxies. Here we shortly describe the scope of the VGS and the results of the full analysis of the pilot sample of 15 void galaxies.Comment: 9 pages, 6 figures. This is an extended version of a paper to appear in "Environment and the Formation of Galaxies: 30 years later", Proceedings of Symposium 2 of JENAM 2010, eds. I. Ferreras, A. Pasquali, ASSP, Springer. Version with highres figures at http://www.astro.rug.nl/~weygaert/vgs_jenam_weygaert.col.pd

The Physics of Cosmic Acceleration

The discovery that the cosmic expansion is accelerating has been followed by an intense theoretical and experimental response in physics and astronomy. The discovery implies that our most basic notions about how gravity work are violated on cosmological distance scales. One simple fix is the introduction of a cosmological constant into the field equations for general relativity. However, the extremely small value of the cosmological constant, relative to theoretical expectations, has led theorists to explore a wide variety of alternative explanations that involve the introduction of an exotic negative-pressure fluid or a modification of general relativity. Here we briefly review the evidence for cosmic acceleration. We then survey some of the theoretical attempts to account for it, including the cosmological constant, quintessence and its variants, mass-varying neutrinos, and modifications of general relativity, such as scalar-tensor and $f(R)$ theories and braneworld scenarios. We discuss experimental and observational tests that may allow us to distinguish between some of the theoretical ideas that have been put forward.Comment: 37 pages, 6 figures. Submitted for publication in Ann. Rev. Nucl. Part. Sc

How Filaments are Woven into the Cosmic Web

Observations indicate galaxies are distributed in a filament-dominated web-like structure. Numerical experiments at high and low redshift of viable structure formation theories also show filament-dominance. We present a simple quantitative explanation of why this is so, showing that the final-state web is actually present in embryonic form in the overdensity pattern of the initial fluctuations, with nonlinear dynamics just sharpening the image. The web is largely defined by the position and primordial tidal fields of rare events in the medium, with the strongest filaments between nearby clusters whose tidal tensors are nearly aligned. Applications of the cosmic web theory to observations include probing cluster-cluster bridges by weak gravitational lensing, X-rays, and the Sunyaev-Zeldovich effect and probing high redshift galaxy-galaxy bridges by low column density Lyman alpha absorption lines.Comment: 9 pages, gzipped uuencoded postscript file, 4 figures in separate files. The text + figures are also available from anonymous ftp site: ftp://ftp.cita.utoronto.ca/ftp/cita/bond/bkp_natur

Scale Dependence of Dark Energy Antigravity

We investigate the effects of negative pressure induced by dark energy (cosmological constant or quintessence) on the dynamics at various astrophysical scales. Negative pressure induces a repulsive term (antigravity) in Newton's law which dominates on large scales. Assuming a value of the cosmological constant consistent with the recent SnIa data we determine the critical scale $r_c$ beyond which antigravity dominates the dynamics ($r_c \sim 1Mpc$) and discuss some of the dynamical effects implied. We show that dynamically induced mass estimates on the scale of the Local Group and beyond are significantly modified due to negative pressure. We also briefly discuss possible dynamical tests (eg effects on local Hubble flow) that can be applied on relatively small scales (a few $Mpc$) to determine the density and equation of state of dark energy.Comment: Contributed talk at the 2nd Hellenic Cosmology Workshop at NOA (Athens) Jan. 2001.To appear in the proceedings. Based on work done in collaboration with M. Axenides and E. Florato