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.     

Invariant Subspaces for Semigroups of Algebraic Operators

T. Laffey showed (Linear and Multilinear Algebra6(1978), 269–305) that a semigroup of matrices is triangularizable if the ranks of all the commutators of elements of the semigroup are at most 1. Our main theorem is an extension of Hthis result to semigroups of algebraic operators on a Banach space. We also obtain a related theorem for a pair {A, B} of arbitrary bounded operators satisfying rank (AB−BA)=1 and several related conditions. In addition, it is shown that a semigroup of algebraically unipotent operators of bounded degree is triangularizable.     

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.     

Two- and three-dimensional analysis of bose-einstein correlations inπ +/K+p interactions at 250 GeV/c

The NA22 data onπ ^? π ^? correlations are analyzed in terms of a number of two- and three-dimensional parametrizations (Gaussian space-time, Goldhaber, Bowler string-like, Bertsch hydrodynamical, Kopylov-Podgoretskii, etc.). Contrary to the results obtained for e⁺e^? andµp collisions, the Goldhaber parametrization, as well as string-like models, fail in describing the hadron-hadron data. Better fits are obtained in the framework of surface-emitting fireball-like models, both when including and excluding hydrodynamical expansion of nuclear matter. Our results indicate that pion radiation occurs at earlier stages of matter evolution than in nuclear collisions.     

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.     

Aluminum(III) complexes containing O,O chelating ligand

The stoichiometric reactions of trimethylaluminum with 2,6‐(MeOCH₂)₂C₆H₃OH (LH) revealed compounds L₃Al ( 1 ) and L₂AlMe ( 2 ). On the other hand reaction of 1 equiv. of LH with trimethylaluminum did not lead to the formation of complex LAlMe₂ ( 3 ), rather 2 together with Me₃Al were observed as a result of a disproportionation of 3 . Compounds 1 and 2 were characterized by elemental analysis, ¹H and ¹³C NMR spectroscopy and in the case of 1 by X‐ray diffraction. Derivative 2 underwent transmetalation with Ph₃SnOH, giving LSnPh₃ ( 4 ) as the result of a migration of ligand L from the aluminum to the tin atom. The identity of 4 was established by elemental analysis, ¹H, ¹³C and ¹¹⁹Sn NMR spectroscopy and ¹H, ¹¹⁹Sn HMBC experiments. The system 2 and B(C₆F₅)₃ in a 1:1 molar ratio was shown to be active in the polymerization of propylene oxide and ε‐caprolactone. Copyright © 2007 John Wiley & Sons, Ltd.