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

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

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

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 Cosmic Microwave Background and Particle Physics

In forthcoming years, connections between cosmology and particle physics will be made increasingly important with the advent of a new generation of cosmic microwave background (CMB) experiments. Here, we review a number of these links. Our primary focus is on new CMB tests of inflation. We explain how the inflationary predictions for the geometry of the Universe and primordial density perturbations will be tested by CMB temperature fluctuations, and how the gravitational waves predicted by inflation can be pursued with the CMB polarization. The CMB signatures of topological defects and primordial magnetic fields from cosmological phase transitions are also discussed. Furthermore, we review current and future CMB constraints on various types of dark matter (e.g. massive neutrinos, weakly interacting massive particles, axions, vacuum energy), decaying particles, the baryon asymmetry of the Universe, ultra-high-energy cosmic rays, exotic cosmological topologies, and other new physics.Comment: 43 pages. To appear in Annual Reviews of Nuclear and Particle Scienc

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

An ecological approach to problems of Dark Energy, Dark Matter, MOND and Neutrinos

Modern astronomical data on galaxy and cosmological scales have revealed powerfully the existence of certain dark sectors of fundamental physics, i.e., existence of particles and fields outside the standard models and inaccessible by current experiments. Various approaches are taken to modify/extend the standard models. Generic theories introduce multiple de-coupled fields A, B, C, each responsible for the effects of DM (cold supersymmetric particles), DE (Dark Energy) effect, and MG (Modified Gravity) effect respectively. Some theories use adopt vanilla combinations like AB, BC, or CA, and assume A, B, C belong to decoupled sectors of physics. MOND-like MG and Cold DM are often taken as opposite frameworks, e.g. in the debate around the Bullet Cluster. Here we argue that these ad hoc divisions of sectors miss important clues from the data. The data actually suggest that the physics of all dark sectors is likely linked together by a self-interacting oscillating field, which governs a chameleon-like dark fluid, appearing as DM, DE and MG in different settings. It is timely to consider an interdisciplinary approach across all semantic boundaries of dark sectors, treating the dark stress as one identity, hence accounts for several "coincidences" naturally.Comment: 12p, Proceedings to the 6-th Int. Conf. of Gravitation and Cosmology. Neutrino section expande

Clues from nearby galaxies to a better theory of cosmic evolution

The great advances in the network of cosmological tests show that the relativistic Big Bang theory is a good description of our expanding universe. But the properties of nearby galaxies that can be observed in greatest detail suggest a still better theory would more rapidly gather matter into galaxies and groups of galaxies. This happens in theoretical ideas now under discussion.Comment: published in Natur