A Concise Introduction to Perturbation Theory in Cosmology

We give a concise, self-contained introduction to perturbation theory in cosmology at linear and second order, striking a balance between mathematical rigour and usability. In particular we discuss gauge issues and the active and passive approach to calculating gauge transformations. We also construct gauge-invariant variables, including the second order tensor perturbation on uniform curvature hypersurfaces.Comment: revtex4, 16 pages, 3 figures; v2: minor changes, typos corrected, reference added, version accepted by CQ

Constraints on the three-fluid model of curvaton decay

A three fluid system describing the decay of the curvaton is studied by numerical and analytical means. We place constraints on the allowed interaction strengths between the fluids and initial curvaton density by requiring that the curvaton decays before nucleosynthesis while nucleosynthesis, radiation-matter equality and decoupling occur at correct temperatures. We find that with a continuous, time-independent interaction, a small initial curvaton density is naturally preferred along with a low reheating temperature. Allowing for a time-dependent interaction, this constraint can be relaxed. In both cases, a purely adiabatic final state can be generated, but not without fine-tuning. Unlike in the two fluid system, the time-dependent interactions are found to have a small effect on the curvature perturbation itself due to the different nature of the system. The presence of non-gaussianity in the model is discussed.Comment: 9 pages, 10 figure

Linear stability, transient energy growth and the role of viscosity stratification in compressible plane Couette flow

Linear stability and the non-modal transient energy growth in compressible plane Couette flow are investigated for two prototype mean flows: (a) the {\it uniform shear} flow with constant viscosity, and (b) the {\it non-uniform shear} flow with {\it stratified} viscosity. Both mean flows are linearly unstable for a range of supersonic Mach numbers ($M$). For a given $M$, the critical Reynolds number ($Re$) is significantly smaller for the uniform shear flow than its non-uniform shear counterpart. An analysis of perturbation energy reveals that the instability is primarily caused by an excess transfer of energy from mean-flow to perturbations. It is shown that the energy-transfer from mean-flow occurs close to the moving top-wall for ``mode I'' instability, whereas it occurs in the bulk of the flow domain for ``mode II''. For the non-modal analysis, it is shown that the maximum amplification of perturbation energy, $G_{\max}$, is significantly larger for the uniform shear case compared to its non-uniform counterpart. For $\alpha=0$, the linear stability operator can be partitioned into ${\cal L}\sim \bar{\cal L} + Re^2{\cal L}_p$, and the $Re$-dependent operator ${\cal L}_p$ is shown to have a negligibly small contribution to perturbation energy which is responsible for the validity of the well-known quadratic-scaling law in uniform shear flow: $G(t/{\it Re}) \sim {\it Re}^2$. A reduced inviscid model has been shown to capture all salient features of transient energy growth of full viscous problem. For both modal and non-modal instability, it is shown that the {\it viscosity-stratification} of the underlying mean flow would lead to a delayed transition in compressible Couette flow

Advanced Mid-Water Tools for 4D Marine Data Fusion and Visualization

Mapping and charting of the seafloor underwent a revolution approximately 20 years ago with the introduction of multibeam sonars -- sonars that provided complete, high-resolution coverage of the seafloor rather than sparse measurements. The initial focus of these sonar systems was the charting of depths in support of safety of navigation and offshore exploration; more recently innovations in processing software have led to approaches to characterize seafloor type and for mapping seafloor habitat in support of fisheries research. In recent years, a new generation of multibeam sonars has been developed that, for the first time, have the ability to map the water column along with the seafloor. This ability will potentially allow multibeam sonars to address a number of critical ocean problems including the direct mapping of fish and marine mammals, the location of mid-water targets and, if water column properties are appropriate, a wide range of physical oceanographic processes. This potential relies on suitable software to make use of all of the new available data. Currently, the users of these sonars have a limited view of the mid-water data in real-time and limited capacity to store it, replay it, or run further analysis. The data also needs to be integrated with other sensor assets such as bathymetry, backscatter, sub-bottom, seafloor characterizations and other assets so that a “complete” picture of the marine environment under analysis can be realized. Software tools developed for this type of data integration should support a wide range of sonars with a unified format for the wide variety of mid-water sonar types. This paper describes the evolution and result of an effort to create a software tool that meets these needs, and details case studies using the new tools in the areas of fisheries research, static target search, wreck surveys and physical oceanographic processes

Free Abelian 2-Form Gauge Theory: BRST Approach

We discuss various symmetry properties of the Lagrangian density of a four (3 + 1)-dimensional (4D) free Abelian 2-form gauge theory within the framework of Becchi-Rouet-Stora-Tyutin (BRST) formalism. The present free Abelian gauge theory is endowed with a Curci-Ferrari type condition which happens to be a key signature of the 4D non-Abelian 1-form gauge theory. In fact, it is due to the above condition that the nilpotent BRST and anti-BRST symmetries of the theory are found to be absolutely anticommuting in nature. For our present 2-form gauge theory, we discuss the BRST, anti-BRST, ghost and discrete symmetry properties of the Lagrangian densities and derive the corresponding conserved charges. The algebraic structure, obeyed by the above conserved charges, is deduced and the constraint analysis is performed with the help of the physicality criteria where the conserved and nilpotent (anti-)BRST charges play completely independent roles. These physicality conditions lead to the derivation of the above Curci-Ferrari type restriction, within the framework of BRST formalism, from the constraint analysis.Comment: LaTeX file, 21 pages, journal referenc

Modelling non-dust fluids in cosmology

Currently, most of the numerical simulations of structure formation use Newtonian gravity. When modelling pressureless dark matter, or `dust', this approach gives the correct results for scales much smaller than the cosmological horizon, but for scenarios in which the fluid has pressure this is no longer the case. In this article, we present the correspondence of perturbations in Newtonian and cosmological perturbation theory, showing exact mathematical equivalence for pressureless matter, and giving the relativistic corrections for matter with pressure. As an example, we study the case of scalar field dark matter which features non-zero pressure perturbations. We discuss some problems which may arise when evolving the perturbations in this model with Newtonian numerical simulations and with CMB Boltzmann codes.Comment: 5 pages; v2: typos corrected and refs added, submitted version; v3: version to appear in JCA

Absolutely anticommuting (anti-)BRST symmetry transformations for topologically massive Abelian gauge theory

We demonstrate the existence of the nilpotent and absolutely anticommuting Becchi-Rouet-Stora-Tyutin (BRST) and anti-BRST symmetry transformations for the four (3 + 1)-dimensional (4D) topologically massive Abelian U(1) gauge theory that is described by the coupled Lagrangian densities (which incorporate the celebrated (B \wedge F) term). The absolute anticommutativity of the (anti-) BRST symmetry transformations is ensured by the existence of a Curci-Ferrari type restriction that emerges from the superfield formalism as well as from the equations of motion that are derived from the above coupled Lagrangian densities. We show the invariance of the action from the point of view of the symmetry considerations as well as superfield formulation. We discuss, furthermore, the topological term within the framework of superfield formalism and provide the geometrical meaning of its invariance under the (anti-) BRST symmetry transformations.Comment: LaTeX file, 22 pages, journal versio

Generalised verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure called OP-verifier II overcomes the limitations of the previously proposed verifier while keeping its computational complexity. Results are illustrated by a case study of a transfer line system

Generalised verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure called OP-verifier II overcomes the limitations of the previously proposed verifier while keeping its computational complexity. Results are illustrated by a case study of a transfer line system

Verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event System (DES) models. This technical note presents a new algorithm that tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure, called OP-Verifier, can be applied to (potentially nondeterministic) automata, with no restriction on the existence of cycles of 'non-relevant' events. This procedure has quadratic complexity in the number of states. The performance of the algorithm is illustrated by a set of experiments