Subalgebras of FA-presentable algebras

Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision problems. This paper studies FA-presentable algebras. First, an example is given to show that the class of finitely generated FA-presentable algebras is not closed under forming finitely generated subalgebras, even within the class of algebras with only unary operations. However, it is proven that a finitely generated subalgebra of an FA-presentable algebra with a single unary operation is itself FA-presentable. Furthermore, it is proven that the class of unary FA-presentable algebras is closed under forming finitely generated subalgebras, and that the membership problem for such subalgebras is decidable.Comment: 19 pages, 6 figure

First Measurement of Horizontal Wind and Temperature in the Lower Thermosphere (105–140 km) with a Na Lidar at Andes Lidar Observatory

We report the first measurement of nighttime atmospheric temperature and horizontal wind profiles in the lower thermosphere up to 140 km with the Na lidar at Andes Lidar Observatory in Cerro Pachón, Chile (30.25°S, 70.74°W), when enhanced thermospheric Na was observed. Temperature and horizontal wind were derived up to 140 km using various resolutions, with the lowest resolution of about 2.7 hr and 15 km above 130 km. Thus, the measurements span 60 km in vertical, more than double the traditional 25 km. On the night of 17 April 2015, the horizontal wind magnitude in the thermosphere exceeds 150 ms−1, consistent with past rocket measurements. The meridional wind shows a clear transition from the diurnal-tide-dominant mesopause to the semidiurnal-tide-dominant lower thermosphere. A lidar with a 100 times the power aperture product will be able to measure wind and temperature above 160 km and cover longer time span, providing key measurements for the study of atmosphere-space interactions in this region

Electron Stark Broadening Database for Atomic N, O, and C Lines

A database for efficiently computing the electron Stark broadening line widths for atomic N, O, and C lines is constructed. The line width is expressed in terms of the electron number density and electronatom scattering cross sections based on the Baranger impact theory. The state-to-state cross sections are computed using the semiclassical approximation, in which the atom is treated quantum mechanically whereas the motion of the free electron follows a classical trajectory. These state-to-state cross sections are calculated based on newly compiled line lists. Each atomic line list consists of a careful merger of NIST, Vanderbilt, and TOPbase line datasets from wavelength 50 nm to 50 micrometers covering the VUV to IR spectral regions. There are over 10,000 lines in each atomic line list. The widths for each line are computed at 13 electron temperatures between 1,000 K 50,000 K. A linear least squares method using a four-term fractional power series is then employed to obtain an analytical fit for each line-width variation as a function of the electron temperature. The maximum L2 error of the analytic fits for all lines in our line lists is about 5%

Turbulence and Overturning Gravity Wave Effects Deduced From Mesospheric NA Density Between 100-105 KM at Andes Lidar Observatory, Chile

Atmospheric turbulence activity in the mesosphere and lower thermosphere (MLT) region is determined from narrowband Na lidar measurements obtained over 27 nights between 85-105 km altitude at the Andes Lidar Observatory (ALO) in Cerro Pachón, Chile (30.3ºS, 70.7ºW). Photocount perturbations in the applicable spectral subrange are used as a tracer of turbulence activity. Mean altitude profiles reveal a log-scale linear increase in turbulence perturbation amplitude above 95 km. The observed trend is compared against global mean constituent transport profiles derived from SABER and SCIAMACHY satellite borne measurements

Evolution of palladium sulfide phases during thermal treatments and consequences for acetylene hydrogenation

We thank Diamond Light Source for beamline access B18 (SP15151-5) and are grateful to the expertise and help provided by Dr Emma Gibson (UK Catalysis Hub, Harwell) and Diego Gianolio (Beamline Scientist on B18) whilst data collecting. XPS data collection was performed at the EPSRC National Facility for XPS (‘HarwellXPS’), operated by Cardiff University and UCL, under contract No. PR16195. We would also like to thank Prof. Philip R. Davies for helpful discussions on XPS data analysis. This work was partly supported by the National Key Research and Development Program of China (2016YFB0301601), National Natural Science Foundation of China.Peer reviewedPostprin

Observations of Gravity Wave Breakdown into Ripples Associated with Dynamical Instabilities

The breakdown of a high-frequency quasi-monochromatic gravity wave into smallscale ripples in OH airglow was observed on the night of 28 October 2003 at Maui, Hawaii (20.7ºN, 156.3ºW). The ripples lasted ~20 min. The phase fronts of the ripples were parallel to the phase fronts of the breaking wave. The mechanism for the ripple generation is investigated using simultaneous wind and temperature measurements made by a sodium (Na) lidar. The observations suggest that the wave breaking and the subsequent appearance of ripples were related to dynamical (or Kelvin-Helmholtz) instabilities. The characteristics of the ripples, including the alignment of the phase fronts with respect to the wind shear, the motion of the ripples, and the horizontal separation of the ripple fronts were consistent with their attribution to Kelvin-Helmholtz billows. It is likely that the dynamical instability was initiated by the superposition of the background wind shear and the shear induced by the wave. The wind shear, the mean wind acceleration, and the propagation of the breaking wave were found to be in the same direction, suggesting that wave-mean flow interactions contributed significantly to the generation of the strong (\u3e40 m/s/km) wind shear and instability

Palladium phosphide nanoparticles as highly selective catalysts for the selective hydrogenation of acetylene

This work was supported by the National Key Research and Development Program of China (2016YFB0301601), National Natural Science Foundation of China.Peer reviewedPostprin