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)     

Coverings of topological loops

In this paper, we show that in some cases, no proper covering of a locally compact group topologically generated by left translations of a topological loop can occur as the group topologically generated by left translations of a topological loop. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 22, Algebra and Geometry, 2004.     

A method for calculating invariant subspaces of symmetric hyperbolic equations

An algorithm is constructed for calculating invariant subspaces of symmetric hyperbolic systems arising in electromagnetic, acoustic, and elasticity problems. Discrete approximations are calculated for subspaces that correspond to minimal eigenvalues and smooth eigenfunctions. Difficulties related to the presence of an infinite-dimensional kernel in the differential operator are successfully handled. The efficiency of the algorithm is demonstrated using acoustics equations.     

Reductions of interval nonlinear programming problem

A general nonlinear programming problem with interval functions is considered. Two reductions of this problem to the deterministic nonlinear programming problem are proposed, and illustrative examples are discussed.     

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.     

A negatively charged silicon vacancy in SiC: Spin polarization effects

The equilibrium geometry and hyperfine interaction constants of the nearest and next-to-nearest neighbor atoms are calculated for a negatively charged silicon vacancy in the high-spin state in cubic SiC. The calculations are performed within the cluster approach in terms of the density-functional theory (DFT). It is shown that the results of calculations with the use of a 70-atom cluster are in good agreement with experimental data. A detailed consideration is given to spin polarization in the electron subsystem and the applicability of a simple LCAO model that is commonly used in the interpretation of the electron paramagnetic resonance data for semiconductors. The spin density distribution for the defect under investigation is analyzed in terms of localized orbitals.     

ω-meson photoproduction on nucleons in the near-threshold region

The European Physical Journal A - The ω-meson photoproduction, γ + p→p + ω, is studied in the framework of a model, containing π-meson exchange in t-channel and...     

Segregation in the Falicov--Kimball Model

The Falicov–Kimball model is a simple quantum lattice model that describes light and heavy electrons interacting with an on-site repulsion; alternatively, it is a model of itinerant electrons and fixed nuclei. It can be seen as a simplification of the Hubbard model; by neglecting the kinetic (hopping) energy of the spin up particles, one gets the Falicov–Kimball model. We show that away from half-filling, i.e. if the sum of the densities of both kinds of particles differs from 1, the particles segregate at zero temperature and for large enough repulsion. In the language of the Hubbard model, this means creating two regions with a positive and a negative magnetization. Our key mathematical results are lower and upper bounds for the sum of the lowest eigenvalues of the discrete Laplace operator in an arbitrary domain, with Dirichlet boundary conditions. The lower bound consists of a bulk term, independent of the shape of the domain, and of a term proportional to the boundary. Therefore, one lowers the kinetic energy of the itinerant particles by choosing a domain with a small boundary. For the Falicov- Kimball model, this corresponds to having a single “compact” domain that has no heavy particles. Received: 21 June 2001 / Accepted: 4 January 2002     

Stochastic radiative transfer in a finite plane-parallel medium with general boundary conditions

The time-independent radiative transfer problem in a scattering and absorbing planar random medium with general boundary conditions and internal energy source is considered. The medium is assumed to consist of two randomly mixed immiscible fluids, with the mixing statistics described as a two-state homogeneous Markov process. The problem is solved in terms of the solution of the corresponding free-source problem with simple boundary conditions which is solved using Pomraning-Eddington approximation in the deterministic case. A formalism, developed to treat radiative transfer in statistical mixtures, is used to obtain the ensemble-averaged solution. The average partial heat fluxes are calculated in terms of the albedoes of the source-free problem. Results are obtained for isotropic and anisotropic scattering for specular and diffused reflecting boundaries.