Groundwater sapping channels: Summary of effects of experiments with varied stratigraphy

Experiments in the recirculating flume sapping box have modeled valley formation by groundwater sapping processes in a number of settings. The effects of the following parameters on sapping channel morphology were examined: surface slope; stratigraphic variations in permeability cohesion and dip; and structure of joints and dikes. These kinds of modeling experiments are particularly good for: testing concepts; developing a suite of distinctive morphologies and morphometries indicative of sapping; helping to relate process to morphology; and providing data necessary to assess the relative importance of runoff, sapping, and mass wasting processes on channel development. The observations from the flume systems can be used to help interpret features observed in terrestrial and Martian settings where sapping processes are thought to have played an important role in the development of valley networks

Characterisation of bacterioplankton communities in the meltwater ponds of Bratina Island, Victoria Land, Antarctica

A unique collection of Antarctic aquatic environments (meltwater ponds) lies in close proximity on the rock and sediment-covered undulating surface of the McMurdo Ice Shelf, near Bratina Island (Victoria Land, Antarctica). During the 2009–10 mid-austral summer, sets of discrete water samples were collected across the vertical geochemical gradients of five meltwater ponds (Egg, P70E, Legin, Salt and Orange) for geochemical and microbial community structure analysis. Bacterial DNA fingerprints (using Automated Ribosomal Intergenic Spacer Analysis) statistically clustered communities within ponds based on ANOSIM (R = 0.766, P = 0.001); however, one highly stratified pond (Egg) had two distinct depth-related bacterial communities (R = 0.975, P = 0.008). 454 pyrosequencing at three depths within Egg also identified phylum level shifts and increased diversity with depth, Bacteroidetes being the dominant phyla in the surface sample and Proteobacteria being dominant in the bottom two depths. BEST analysis, which attempts to link community structure and the geochemistry of a pond, identified conductivity and pH individually, and to a lesser extent Ag109, NO2 and V51 as dominant influences to the microbial community structure in these ponds. Increasing abundances of major halo-tolerant OTUs across the strong conductivity gradient reinforce it as the primary driver of community structure in this stud

Evidence of global-scale aeolian dispersal and endemism in isolated geothermal microbial communities of Antarctica

New evidence in aerobiology challenges the assumption that geographical isolation is an effective barrier to microbial transport. However, given the uncertainty with which aerobiological organisms are recruited into existing communities, the ultimate impact of microbial dispersal is difficult to assess. To evaluate the ecological significance of global-scale microbial dispersal, molecular genetic approaches were used to examine microbial communities inhabiting fumarolic soils on Mt. Erebus, the southernmost geothermal site on Earth. There, hot, fumarolic soils provide an effective environmental filter to test the viability of organisms that have been distributed via aeolian transport over geological time. We find that cosmopolitan thermophiles dominate the surface, whereas endemic Archaea and members of poorly understood Bacterial candidate divisions dominate the immediate subsurface. These results imply that aeolian processes readily disperse viable organisms globally, where they are incorporated into pre-existing complex communities of endemic and cosmopolitan taxa

Multi-mode coupling wave theory for helically corrugated waveguide

Helically corrugated waveguide has been used in various applications such as gyro-backward wave oscillators, gyro-traveling wave amplifier and microwave pulse compressor. A fast prediction of the dispersion characteristic of the operating eigenwave is very important when designing a helically corrugated waveguide. In this paper, multi-mode coupling wave equations were developed based on the perturbation method. This method was then used to analyze a five-fold helically corrugated waveguide used for X-band microwave compression. The calculated result from this analysis was found to be in excellent agreement with the results from numerical simulation using CST Microwave Studio and vector network analyzer measurements

Reheating in the Presence of Noise

Explosive particle production due to parametric resonance is a crucial feature of reheating in inflationary cosmology. Coherent oscillations of the inflaton field act as a periodically varying mass in the evolution equation for matter fields which couple to the inflaton. This in turn results in the parametric resonance instability. Thermal and quantum noise will lead to a nonperiodic perturbation in the mass. We study the resulting equation for the evolution of matter fields and demonstrate that noise (at least if it is temporally uncorrelated) will increase the rate of particle production. We also estimate the limits on the magnitude of the noise for which the resonant behavior is qualitatively unchanged.Comment: 26 pages, 2 figures, uses LATE

Weakly Equivalent Arrays

The (extensional) theory of arrays is widely used to model systems. Hence, efficient decision procedures are needed to model check such systems. Current decision procedures for the theory of arrays saturate the read-over-write and extensionality axioms originally proposed by McCarthy. Various filters are used to limit the number of axiom instantiations while preserving completeness. We present an algorithm that lazily instantiates lemmas based on weak equivalence classes. These lemmas are easier to interpolate as they only contain existing terms. We formally define weak equivalence and show correctness of the resulting decision procedure

New remarks on the Cosmological Argument

We present a formal analysis of the Cosmological Argument in its two main forms: that due to Aquinas, and the revised version of the Kalam Cosmological Argument more recently advocated by William Lane Craig. We formulate these two arguments in such a way that each conclusion follows in first-order logic from the corresponding assumptions. Our analysis shows that the conclusion which follows for Aquinas is considerably weaker than what his aims demand. With formalizations that are logically valid in hand, we reinterpret the natural language versions of the premises and conclusions in terms of concepts of causality consistent with (and used in) recent work in cosmology done by physicists. In brief: the Kalam argument commits the fallacy of equivocation in a way that seems beyond repair; two of the premises adopted by Aquinas seem dubious when the terms `cause' and `causality' are interpreted in the context of contemporary empirical science. Thus, while there are no problems with whether the conclusions follow logically from their assumptions, the Kalam argument is not viable, and the Aquinas argument does not imply a caused origination of the universe. The assumptions of the latter are at best less than obvious relative to recent work in the sciences. We conclude with mention of a new argument that makes some positive modifications to an alternative variation on Aquinas by Le Poidevin, which nonetheless seems rather weak.Comment: 12 pages, accepted for publication in International Journal for Philosophy of Religio