Completeness of certain function spaces

We give an example of a complete locally convex m-topology on the algebra of infinite differentiable functions on [0, 1] which is strictly coarser than the natural Frechet-topology but finer than the topology of pointwise convergence. A similar construction works on the algebra of continuous functions on [0, 1]. Using this examples we can separate different notions of diffotopy and homotopy.

Non-weakly supercyclic operators

Several methods based on an easy geometric argument are provided to prove that a given operator is not weakly supercyclic. The methods apply to different kinds of operators like composition operators or bilateral weighted shifts. In particular, it is shown that the classical Volterra operator is not weakly supercyclic on any of the LP [0, 1] spaces, 1

Multiplicative spectra of Banach spaces

The multiplicative spectrum of a complex Banach space X is the class K(X) of all (automatically compact and Hausdorff) topological spaces appearing as spectra of Banach algebras (X,*) for all possible continuous multiplications on X turning X into a commutative associative complex algebra with the unity. The properties of the multiplicative spectrum are studied. In particular, we show that K(X^n) consists of countable compact spaces with at most n non-isolated points for any separable hereditarily indecomposable Banach space X. We prove that K(C[0,1]) coincides with the class of all metrizable compact spaces.

Structure of spectra of linear operators in Banach spaces

Descriptive characterizations of the point, the continuous, and the residual spectra of operators in Banach spaces are put forward. In particular, necessary and sufficient conditions for three disjoint subsets of the complex plane to be the point spectrum, the continuous spectrum, and the residual spectrum of a linear continuous operator in a separable Banach space are obtained.

Universal Abelian topological groups

A topological group G is said to be universal in a class K of topological groups if G is an element of K and if for every group H is an element of K there is a subgroup K of G that is isomorphic to H as a topological group. A group is constructed that is universal in the class of separable metrizable topological Abelian groups.

tts: A SAT-Solver for Small, Difficult Instances

The Ternary Tree Solver (tts) is a complete solver for propositional satisfiability which was designed to have good performance on the most difficult small instances. It uses a static ternary tree data structure to represent the simplified proposition under all permissible partial assignments and maintains a database of derived propositions known to be unsatisfiable. In the SAT2007 competition version 4.0 won the silver medal for the category handmade, speciality UNSAT solvers and was the top qualifier for the second stage for handmade benchmarks, solving 11 benchmarks which were not solved by any other entrant. We describe the methods used by the solver and analyse the competition Phase 1 results on small benchmarks. We propose a first version of a comprehensive suite of small difficult satisfiability benchmarks (sdsb) and compare the worst-case performance of the competition medallists on these benchmarks.

Two-dimensional Banach spaces with polynomial numerical index zero

We study two-dimensional Banach spaces with polynomial numerical indices equal to zero.

Maximal C*-algebras of quotients and injective envelopes of C*-algebras

A new C*-enlargement of a C*-algebra A nested between the local multiplier algebra of A and its injective envelope is introduced. Various aspects of this maximal C*-algebra of quotients are studied, notably in the setting of AW*-algebras. As a by-product we obtain a new example of a type I C*-algebra such that its second iterated local multiplier algebra is strictly larger than its local multiplier algebra.

Compactness properties of operator multipliers

We continue the study of multidimensional operator multipliers initiated in~cite{jtt}. We introduce the notion of the symbol of an operator multiplier. We characterise completely compact operator multipliers in terms of their symbol as well as in terms of approximation by finite rank multipliers. We give sufficient conditions for the sets of compact and completely compact multipliers to coincide and characterise the cases where an operator multiplier in the minimal tensor product of two C*-algebras is automatically compact. We give a description of multilinear modular completely compact completely bounded maps defined on the direct product of finitely many copies of the C*-algebra of compact operators in terms of tensor products, generalising results of Saar