Totally ordered commutative monoids

A totally ordered monoid - or tomonoid, for short - is a commutative semigroup with identity S equipped with a total order ≤s that is translation invariant, i.e., that satisfies: ∀x, y, z ∈, x ≤s y ⇒ x + z ≤s y + z. We call a tomonoid that is a quotient of some totally ordered free commutative monoid formally integral. Our most significant results concern characterizations of this condition by means of constructions in the lattice Zn that are reminiscent of the geometric interpretation of the Buchberger algorithm that occurs in integer programming. In particular, we show that every two-generator tomonoid is formally integral. In addition, we give several (new) examples of tomonoids that are not formally integral, we present results on the structure of nil tomonoids and we show how a valuation-theoretic construction due to Hion reveals relationships between formally integral tomonoids and ordered commutative rings satisfying a condition introduced by Henriksen and Isbell

Phage infection, transfection and transformation of \u3ci\u3eMycobacterium avium\u3c/i\u3e complex and \u3ci\u3eMycobacterium paratuberculosis\u3c/i\u3e

Mycobacterium avium complex strains and Mycobacterium paratuberculosis are closely related intracellular pathogens affecting humans and animals. M. avium complex infections are a leading cause of morbidity and mortality in AIDS patients, and M. paratuberculosis is the agent of Johne\u27s disease in ruminants. Genetic manipulation of these micro-organisms would facilitate the understanding of their pathogenesis, the construction of attenuated vaccine strains and the development of new drugs and treatment methods. This paper describes the replication of mycobacterial shuttle phasmids and plasmids, and the expression of the firefly luciferase reporter gene in M. avium complex and M. paratuberculosis. The mycobacteriophage TM4 propagated on M. smegmatis or M. paratuberculosis plaqued at the same efficiency on these two mycobacterial hosts. Screening of M. avium complex and M. paratuberculosis clinical isolates with TM4-derived luciferase reporter phages demonstrated that the majority of these isolates were susceptible to TM4. Conditions for introduction of DNA were determined by transfection of M. paratuberculosis with TM4 DNA and applied to isolate kanamycin-resistant transformants of M. avium complex and M. paratuberculosis with Escherichia coli-Mycobacterium shuttle plasmids. Recombinant plasmids were recovered from transformants without apparent loss of DNA sequences. These results provide the basis for the genetic manipulation of these pathogenic mycobacterial species

Fcc-bcc transition for Yukawa interactions determined by applied strain deformation

Calculations of the work required to transform between bcc and fcc phases yield a high-precision bcc-fcc transition line for monodisperse point Yukawa (screened-Couloumb) systems. Our results agree qualitatively but not quantitatively with previously published simulations and phenomenological criteria for the bcc-fcc transition. In particular, the bcc-fcc-fluid triple point lies at a higher inverse screening length than previously reported.Comment: RevTex4, 9 pages, 6 figures. Discussion of phase coexistence extended, a few other minor clarifications added, referencing improved. Accepted for publication by Physical Review

National Geodetic Satellite Program, Part II: Smithsonian Astrophysical Observatory

A sequence of advances in the determination of geodetic parameters presented by the Smithsonian Astrophysical Observatory are described. A Baker-Nunn photographic system was used in addition to a ruby-laser ranging system to obtain data for refinement of geodetic parameters. A summary of the data employed to: (1) derive coordinates for the locations of various tracking stations; and (2) determine the gravitational potential of the earth, is presented

Testing fluvial erosion models using the transient response of bedrock rivers to tectonic forcing in the Apennines, Italy

The transient response of bedrock rivers to a drop in base level can be used to discriminate between competing fluvial erosion models. However, some recent studies of bedrock erosion conclude that transient river long profiles can be approximately characterized by a transport‐limited erosion model, while other authors suggest that a detachment‐limited model best explains their field data. The difference is thought to be due to the relative volume of sediment being fluxed through the fluvial system. Using a pragmatic approach, we address this debate by testing the ability of end‐member fluvial erosion models to reproduce the well‐documented evolution of three catchments in the central Apennines (Italy) which have been perturbed to various extents by an independently constrained increase in relative uplift rate. The transport‐limited model is unable to account for the catchments’response to the increase in uplift rate, consistent with the observed low rates of sediment supply to the channels. Instead, a detachment‐limited model with a threshold corresponding to the field‐derived median grain size of the sediment plus a slope‐dependent channel width satisfactorily reproduces the overall convex long profiles along the studied rivers. Importantly, we find that the prefactor in the hydraulic scaling relationship is uplift dependent, leading to landscapes responding faster the higher the uplift rate, consistent with field observations. We conclude that a slope‐ dependent channel width and an entrainment/erosion threshold are necessary ingredients when modeling landscape evolution or mapping the distribution of fluvial erosion rates in areas where the rate of sediment supply to channels is low