A remark on Lorentz algebras

We consider the class of Euclidean algebras associated to Minkowski light cones and called Lorentz algebras. We prove that in Lorentz algebras the estimate ∥P(a,b) ∥_∞≥(√2-1) ∥a∥_∞ ∥b∥_∞ is valid for the spectral norm and is therefore independent of the dimension of the Lorentz algebra.     

An exponential lower bound to the size of bounded depth frege proofs of the pigeonhole principle

We prove lower bounds of the form exp(n^{ε d}), ε_d > 0, on the length of proofs of an explicit sequence of tautologies, based on the Pigeonhole Principle, in proof systems using formulas of depth d, for any constant d. This is the largest lower bound for the strongest proof system, for which any superpolynomial lower bounds are known.     

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.     

Strongly countable dimensional compacta form the Hurewicz set

The hyperspaces of strongly countable dimensional compacta of positive dimension and of strongly countable dimensional continua of dimension greater than 1 in the Hilbert cube are homeomorphic to the Hurewicz set of all nonempty countable closed subsets of the unit interval [0,1]. These facts hold true, in particular, for covering dimension dim and cohomological dimension dimG, where G is any Abelian group.     

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.     

Dimensional Properties of Fractional Brownian Motion

Let B^α = {B^α（t）,t E R^N} be an （N,d）-fractional Brownian motion with Hurst index α∈ （0, 1）. By applying the strong local nondeterminism of B^α, we prove certain forms of uniform Hausdorff dimension results for the images of B^α when N 〉 αd. Our results extend those of Kaufman for one-dimensional Brownian motion.     

The binding of manganese(II) and zinc(II) to the synthetic oligonucleotide d(C-G-C-G-A-A-T-T-C-G-C-G)2. A 1H NMR study

The interaction of the synthetic oligonucleotide d(C-G-C-G-A-A-T-T-C-G-C-G)2 with two different transition-metal ions has been investigated in aqueous solution by means of 1H NMR spectroscopy. The effects on the DNA due to the presence of manganese(II) or zinc(II) have been monitored by observing the paramagnetic broadening and diamagnetic shifts of the non-exchangeable proton resonance lines, respectively. The 1H NMR spectra acquired during the course of the manganese(II) titration show very distinct broadening effects on certain DNA resonance lines. Primarily, the H8 resonance of G4 is affected, but also the H5 and H6 resonances of C3 are clearly affected by the metal. The results imply that the binding of manganese(II) to DNA is sequence specific. The 1H spectra obtained during the zinc(II) titration reveal diamagnetic shift effects which largely conform with the paramagnetic broadening effects due to the presence of manganese(II), although this picture is somewhat more complex. The H8 resonance of G4 displays a clearly visible high-field shift, while for the other guanosine H8 protons this effect is absent. The H1' and H2' protons of C3 show an effect of similar strength, although in the opposite direction, while H5 and H6 of C3 are only slightly affected. Local differences in the structure of the DNA and the basicities of potential binding sites on different base steps in the sequence might account for the observed sequence selectivity.