Interpolation by a Game

We introduce a notion of a real game (a generalisation of the Karchmer-Wigderson game (cf. [3]) and of real communication complexity, and relate this complexity to the size of monotone real formulas and circuits. We give an exponential lower bound for tree-like monotone protocols (defined in [4, Definition 2.2]) of small real communication complexity solving the monotone communication complexity problem associated with the bipartite perfect matching problem. This work is motivated by a research in interpolation theorems for prepositional logic (by a problem posed in [5, Section 8], in particular). Our main objective is to extend the communication complexity approach of [4, 5] to a wider class of proof systems. In this direction we obtain an effective interpolation in a form of a protocol of small real communication complexity. Together with the above mentioned lower bound for tree-like protocols this yields as a corollary a lower bound on the number of steps for particular semantic derivations of Hall's theorem (these include tree-like cutting planes proofs for which an exponential lower bound was demonstrated in [2]).     

On a certain two-sided symmetric condition in magnetic field analysis and computations

A special two-sided condition for the incremental magnetic reluctivity is introduced which guarantees the unique existence of both the weak and the approximate solutions of the nonlinear stationary magnetic field distributed on a region composed of different media, as well as a certain estimate of the error between the two solutions. The condition, being discussed from the physical as well as the mathematical point of view, can be easily verified and is fulfilled for various magnetic reluctivity models used in electrotechnical practice.     

Homomorphic images of finite subdirectly irreducible unary algebras

We prove that a finite unary algebra with at least two operation symbols is a homomorphic image of a (finite) subdirectly irreducible algebra if and only if the intersection of all its subalgebras which have at least two elements is nonempty. While working on this paper the first and the third authors were partially supported by the Grant Agency of the Czech Republic, grant #201/02/0594, and by the institutional grant MSM0021620839; the second author was supported by the Ministry of Science, Technologies and Development of Republic of Serbia, grant no. 1227.     

On the Seneta Sequences

In this paper, we prove some properties of the Seneta sequences and functions, and in particular we prove a representation theorem in the Karamata sense for the sequences from the Seneta class SOc.     

Separation of vibrational-electronic Hamiltonian in crude representation

A separation of the vibrational-electronic Hamiltonian in crude representation is presented. The separation is done in the following way: first we quantize only the electronic states on the unperturbed Hamiltonian level, then using the perturbation theory, we treat the terms where we have electronic operators to obtain new harmonic potential energy. Then we quantize a-posteriori the nuclear motion and as a result the only perturbation term is due to anharmonicity.     

Problems of an additional experiment

In some situations estimates of unknown parameters must be corrected by additional measurements. It is in principle no problem to calculate the corrected estimates, however, it is of more interest to find formulae for correction itself. The formulae enable us to design an additional experiment and to judge its usefulness. The aim of the paper is to find such formulae for several situations. Supported by the grant of the Council of Czech Government MSM 6 198 959 214.     

Assessment of filtered gas–solid momentum transfer models via a linear wave propagation speed test

The propagation speeds of linear waves in gas–solid suspensions depend strongly on the solids volume fraction and the wave frequency. The latter is due to gas–solid momentum transfer and allows a simple test on filtered gas–solid momentum transfer models. Such models may predict linear wave propagation speeds different from those obtained with the non-filtered model at wave frequencies higher than the filter frequency, but not at wave frequencies lower than the filter frequency.