On the length of chains of proper subgroups covering a topological group

We prove that if an ultrafilter L is not coherent to a Q-point, then each analytic non-sigma-bounded topological group G admits an increasing chain <G_a : a of its proper subgroups such that: (i) U_{a in b(L)} G_a=G; and $(ii)$ For every sigma-bounded subgroup H of G there exists a such that H is a subset of G_a. In case of the group Sym(w) of all permutations of w with the topology inherited from w^w this improves upon earlier results of S. Thomas

Laboratory studies, analysis, and interpretation of the spectra of hydrocarbons present in planetary atmospheres including cyanoacetylene, acetylene, propane, and ethane

Combining broadband Fourier transform spectrometers (FTS) from the McMath facility at NSO and from NRC in Ottawa and narrow band TDL data from the laboratories with computational physics techniques has produced a broad range of results for the study of planetary atmospheres. Motivation for the effort flows from the Voyager/IRIS observations and the needs of Voyager analysis for laboratory results. In addition, anticipation of the Cassini mission adds incentive to pursue studies of observed and potentially observable constituents of planetary atmospheres. Current studies include cyanoacetylene, acetylene, propane, and ethane. Particular attention is devoted to cyanoacetylen (H3CN) which is observed in the atmosphere of Titan. The results of a high resolution infrared laboratory study of the line positions of the 663, 449, and 22.5/cm fundamental bands are presented. Line position, reproducible to better than 5 MHz for the first two bands, are available for infrared astrophysical searches. Intensity and broadening studies are in progress. Acetylene is a nearly ubiquitous atmospheric constituent of the outer planets and Titan due to the nature of methane photochemistry. Results of ambient temperature absolute intensity measurements are presented for the fundamental and two two-quantum hotband in the 730/cm region. Low temperature hotband intensity and linewidth measurements are planned

The Generic Model of Computation

Over the past two decades, Yuri Gurevich and his colleagues have formulated axiomatic foundations for the notion of algorithm, be it classical, interactive, or parallel, and formalized them in the new generic framework of abstract state machines. This approach has recently been extended to suggest a formalization of the notion of effective computation over arbitrary countable domains. The central notions are summarized herein.Comment: In Proceedings DCM 2011, arXiv:1207.682

A Vernacular for Coherent Logic

We propose a simple, yet expressive proof representation from which proofs for different proof assistants can easily be generated. The representation uses only a few inference rules and is based on a frag- ment of first-order logic called coherent logic. Coherent logic has been recognized by a number of researchers as a suitable logic for many ev- eryday mathematical developments. The proposed proof representation is accompanied by a corresponding XML format and by a suite of XSL transformations for generating formal proofs for Isabelle/Isar and Coq, as well as proofs expressed in a natural language form (formatted in LATEX or in HTML). Also, our automated theorem prover for coherent logic exports proofs in the proposed XML format. All tools are publicly available, along with a set of sample theorems.Comment: CICM 2014 - Conferences on Intelligent Computer Mathematics (2014

Logical Dreams

We discuss the past and future of set theory, axiom systems and independence results. We deal in particular with cardinal arithmetic

Concurrent abstract state machines

n/

Effects of simulated removal activities on movements and space use of feral swine

Abundance and distribution of feral swine (Sus scrofa) in the USA have increased dramatically during the last 30 years. Effective measures are needed to control and eradicate feral swine populations without displacing animals over wider areas. Our objective was to investigate effects of repeated simulated removal activities on feral swine movements and space use.We analyzed location data from 21 feral swine that we fitted with Global Positioning System harnesses in southern MO, USA. Various removal activities were applied over time to eight feral swine before lethal removal, including trapped-and-released, chased with dogs, chased with hunter, and chased with helicopter. We found that core space-use areas were reduced following the first removal activity, whereas overall space-use areas and diurnal movement distances increased following the second removal activity. Mean geographic centroid shifts did not differ between pre- and postperiods for either the first or second removal activities. Our information on feral swine movements and space use precipitated by human removal activities, such as hunting, trapping, and chasing with dogs, helps fill a knowledge void and will aid wildlife managers. Strategies to optimize management are needed to reduce feral swine populations while preventing enlarged home ranges and displacing individuals, which could lead to increased disease transmission risk and human-feral swine conflict in adjacent areas

On entanglement evolution across defects in critical chains

We consider a local quench where two free-fermion half-chains are coupled via a defect. We show that the logarithmic increase of the entanglement entropy is governed by the same effective central charge which appears in the ground-state properties and which is known exactly. For unequal initial filling of the half-chains, we determine the linear increase of the entanglement entropy.Comment: 11 pages, 5 figures, minor changes, reference adde

Effects of simulated removal activities on movements and space use of feral swine

Abundance and distribution of feral swine (Sus scrofa) in the USA have increased dramatically during the last 30 years. Effective measures are needed to control and eradicate feral swine populations without displacing animals over wider areas. Our objective was to investigate effects of repeated simulated removal activities on feral swine movements and space use.We analyzed location data from 21 feral swine that we fitted with Global Positioning System harnesses in southern MO, USA. Various removal activities were applied over time to eight feral swine before lethal removal, including trapped-and-released, chased with dogs, chased with hunter, and chased with helicopter. We found that core space-use areas were reduced following the first removal activity, whereas overall space-use areas and diurnal movement distances increased following the second removal activity. Mean geographic centroid shifts did not differ between pre- and postperiods for either the first or second removal activities. Our information on feral swine movements and space use precipitated by human removal activities, such as hunting, trapping, and chasing with dogs, helps fill a knowledge void and will aid wildlife managers. Strategies to optimize management are needed to reduce feral swine populations while preventing enlarged home ranges and displacing individuals, which could lead to increased disease transmission risk and human-feral swine conflict in adjacent areas

A Spectral Atlas of the Nu(sub 12) Fundamental of (13)C(12)CH6 in the 12 Micron Region

The recent discovery of the minor isotopomer of ethane, (13)C(12)CH6, in the planetary atmospheres of Jupiter and Neptune, added ethane to the molecules which can be used to determine isotopic (12)C(12)C ratios for the jovian planets. The increased spectral resolution and coverage of the IR and far-IR instruments to be carried on the Cassini mission to Saturn and Titan may enable the detection of the minor isotopomer. Accurate frequency and cross-section measurements of the nu(sub 12) fundamental under controlled laboratory condition are important to interpret current and future planetary spectra. High resolution spectra of the minor isotopomer (13)C(12)CH6 have been recorded in the 12.2 micron region using the Kitt Peak Fourier Transform (FTS) and the Goddard Tunable Diode Laser spectrometer (TDL). In a global fit to 19 molecular constants in a symmetric top Hamiltonian, transition frequencies of the nu(sub 12) fundamental ranging up to J=35 and K=20 have been determined with a standard deviation of less than 0.0005 cm(exp -1). From selected line intensity measurements, a vibrational dipole moment for the nu(sub 12) fundamental has been derived. Observed and calculated spectra covering the region from 740 cm(exp -1) and to 910 cm(exp -1) are presented. A compilation of transition frequencies, line intensities, and lower state energies are included for general use in the astronomical community