A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Black-hole horizon and metric singularity at the brane separating two sliding superfluids

An analogue of a black hole can be realized in the low-temperature laboratory. The horizon can be constructed for “relativistic” ripplons (surface waves) living on the brane. The brane is represented by the interface between two superfluid liquids, ³He-A and ³He-B, sliding along each other without friction. A similar experimental arrangement was recently used for the observation and investigation of the Kelvin-Helmholtz type of instability in superfluids [1]. The shear-flow instability in superfluids is characterized by two critical velocities. The lowest threshold measured in recent experiments [1] corresponds to the appearance of the ergoregion for ripplons. In the modified geometry, this will give rise to the black-hole event horizon in the effective metric experienced by ripplons. In the region behind the horizon, the brane vacuum is unstable due to interaction with the higher-dimensional world of bulk superfluids. The time of the development of instability can be made very long at low temperature. This will allow us to reach and investigate the second critical velocity—the proper Kelvin-Helmholtz instability threshold. The latter corresponds to the singularity inside the black hole, where the determinant of the effective metric becomes infinite.     

Nonlinear Theory of Spectra of Thermally Stimulated Currents in Complex Crystals with Hydrogen Bonds

The nonlinear theory of thermally stimulated depolarization currents is developed. The theory explains the processes of hetero- and homocharge relaxation in complex crystals with hydrogen bonds and allows the relaxation oscillator parameters to be calculated using the quadratic approximation for the external electric field.     

Nonequilibrium Ionization by Vibrationally Excited Molecules in Supersonic Flows

The results of experimental investigations on thermal nonequilibrium ionization in CO₂: N₂: He mixtures are presented. Measurements of electron density, n_e, in vibrationally excited nitrogen were made in a supersonic flow with different CO₂ contents as well as in a CO₂: N₂: He = 1 : 5 : 4 mixture laser gas. The mixtures were heated in a shock tube and expanded through a supersonic nozzle. Furthermore, supersonic mixing of N₂ and CO₂ + He was used in some experiments. The measured values of n_e in the plenum chamber and in the supersonic nozzle are reported, and the processes responsible for nonequilibrium ionization in a laser-active medium are discussed.     

Cochran's statistical theorem for outer inverses of matrices and matrix quadratic forms

We extend the matrix version of Cochran's statistical theorem to outer inverses of a matrix. As applications, we investigate the Wishartness and independence of matrix quadratic forms for Kronecker product covariance structures.     

Polarization fluctuations in a dipolar medium in an electrostatic field

Radio Engineering and Electronics Institute, Academy of Sciences of the USSR. Translated from Izvestiya Vysshikh Uchebnykh Zavedenii, Radiofizika, Vol. 32, No. 9, pp. 1113–1124, September, 1989.     

Development of a quantitative FI-MS technique for the characterization of high- and nonboiling saturated hydrocarbon mixtures

Summary Using a saturated non-boiling hydrocarbon mixture, the influence of two parameters on the results of field ionization mass spectrometry (FI-MS) measurements was studied: (a) the potential difference between the FI emitter and the counterelectrode; (b) the emitter temperature.Variation of the potential difference had only a minor effect on the average molecular mass measured and had no evident effect on the relative ring number distribution in the sample. In contrast, when the emitter temperature was increased, higher average molecular masses were recorded. Moreover, the average molecular masses shifted to higher ring numbers. In order to control the relationship between the described influences during mixture analysis, measuring instructions have been developed that enable the quantitative analysis of unknown saturated samples. However, average molecular mass of the mixture must be known.

---

Entwicklung einer quantitativen FI-MS-Methode zur Charakterisierung von gesättigten hoch- und nichtsiedenden Kohlenwasserstoffgemischen

     

Investigation of multicomponent fluoride optical materials in the UV spectral region: I. Single crystals of Ca1−x R xF2+x (R = Sc, Y, La, Yb, Lu) solid solutions

Crystalline materials that are transparent in the vacuum UV spectral region and currently used have been reviewed. Transmission of crystals of solid solutions with the fluorite structure Ca_1?x R _xF_2+x (R = Sc, Y, La, Yb, Lu) in the UV and vacuum UV spectral regions has been investigated. It is shown that application of different methods of purification of fluorides from some impurities can significantly improve the optical quality of fluoride multicomponent crystals in the short-wavelength spectral region.