Synthesis of regional crust and upper-mantle structure from seismic and gravity data

Available seismic and ground based gravity data are combined to infer the three dimensional crust and upper mantle structure in selected regions. This synthesis and interpretation proceeds from large-scale average models suitable for early comparison with high-altitude satellite potential field data to more detailed delineation of structural boundaries and other variations that may be significant in natural resource assessment. Seismic and ground based gravity data are the primary focal point, but other relevant information (e.g. magnetic field, heat flow, Landsat imagery, geodetic leveling, and natural resources maps) is used to constrain the structure inferred and to assist in defining structural domains and boundaries. The seismic data consists of regional refraction lines, limited reflection coverage, surface wave dispersion, teleseismic P and S wave delay times, anelastic absorption, and regional seismicity patterns. The gravity data base consists of available point gravity determinations for the areas considered

Synthesis of regional crust and upper-mantle structure from seismic and gravity data

Analyses of regional gravity and magnetic patterns, LANDSAT images and geological information revealed two major lineaments crossing western Pennsylvania and parts of surrounding states. These lineaments are inferred to be expressions of fracture zones which penetrare deeply into the crust and possibly the upper mantle. The extensions of the Tyron-Mt. Union and the Pittsburgh-Washington lineaments bound a distinct crustal block (Lake Erie-Maryland block) over 100 km wide and probably more than 600 km in length. Evidence exists for the lateral displacement of this block at least 60 km northwestward during late Precambrian to Lower Ordovician time. Subsequent movements have been mainly vertical with respect to neighboring blocks. A possible crustal block that passes through eastern Kentucky, proposed by a TVA study on tectonics in the southern Appalachians, was also investigated. Finally, the use of regional gravity and magnetic data in identifying major crustal structures beneath western Pennsylvania is discussed

Phenomenology of the CAH+ measure

The CAH+ measure regulates the infinite spacetime volume of the multiverse by constructing a surface of constant comoving apparent horizon (CAH) and then removing the future lightcones of all points on that surface (the latter prescription is referred to by the "+" in the name of the measure). This measure was motivated by the conjectured duality between the bulk of the multiverse and its future infinity and by the causality condition, requiring that the cutoff surfaces of the measure should be spacelike or null. Here we investigate the phenomenology of the CAH+ measure and find that it does not suffer from any known pathologies. The distribution for the cosmological constant Lambda derived from this measure is in a good agreement with the observed value, and the distribution for the number of inflationary e-foldings satisfies the observational constraint. The CAH+ measure does not exhibit any "runaway" behaviors at zero or negative values of Lambda, which have been recently shown to afflict a number of other measures.Comment: 35 pages, including 6 figures and 2 appendices; v2 corrections in Section 2.4, conclusions unchange

Replicator equations and space

A reaction--diffusion replicator equation is studied. A novel method to apply the principle of global regulation is used to write down the model with explicit spatial structure. Properties of stationary solutions together with their stability are analyzed analytically, and relationships between stability of the rest points of the non-distributed replicator equation and distributed system are shown. A numerical example is given to show that the spatial variable in this particular model promotes the system's permanence.Comment: 24 page

Non-principal ultrafilters, program extraction and higher order reverse mathematics

We investigate the strength of the existence of a non-principal ultrafilter over fragments of higher order arithmetic. Let U be the statement that a non-principal ultrafilter exists and let ACA_0^{\omega} be the higher order extension of ACA_0. We show that ACA_0^{\omega}+U is \Pi^1_2-conservative over ACA_0^{\omega} and thus that ACA_0^{\omega}+\U is conservative over PA. Moreover, we provide a program extraction method and show that from a proof of a strictly \Pi^1_2 statement \forall f \exists g A(f,g) in ACA_0^{\omega}+U a realizing term in G\"odel's system T can be extracted. This means that one can extract a term t, such that A(f,t(f))