A positive compact operator

I give an example of a positive compact operator on L²[0,1] which is not representable by any Lebesgue measurable function on [0,1]². This example can be adapted to answer a question of H.H.Schaefer (§4 below).     

Algebras of Recursively Enumerable Sets and Their Applications to Fuzzy Logic

Algebras of operations defined on recursively enumerable sets of different kinds are considered. Every such algebra is specified by a list of operations involved and a list of basic elements. An element of an algebra is said to be representable in this algebra if it can be obtained from given basic elements by operations of the algebra. Two kinds of recursively enumerable sets are considered: recursively enumerable sets in the usual sense and fuzzy recursively enumerable sets. On binary, i.e., two-dimensional recursively enumerable sets of these kinds, algebras of operations are introduced. An algebra θ is constructed in which all binary recursively enumerable sets are representable. A subalgebra θ⁰ of θ is constructed in which all binary recursively enumerable sets are representable if and only if they are described by formulas of Presburger’s arithmetic system. An algebra Ω is constructed in which all binary recursively enumerable fuzzy sets are representable. A subalgebra Ω⁰ of the algebra Ω is constructed such that fuzzy recursively enumerable sets representable in Ω⁰ can be treated as fuzzy counterparts of sets representable by formulas of Presburger’s system. Bibliography: 16 titles.__________Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 304, 2003, pp. 75–98.     

Cauchy-type LG* integral

We examine a Cauchy-type LG^* integral. We give the characteristics of the class of functions representable by such an integral and prove that this class coincides with the class of functions representable by the Cauchy LG^* integral [3].Translated from Matematicheskie Zametki, Vol. 20, No. 5, pp. 645–653, November, 1976.     

Representations of graphs modulo n

A graph is representable modulo n if its vertices can be labeled with distinct integers between 0 and n, the difference of the labels of two vertices being relatively prime to n if and only if the vertices are adjacent. Erd?s and Evans recently proved that every graph is representable modulo some positive integer. We derive a combinatorial formulation of representability modulo n and use it to characterize those graphs representable modulo certain types of integers, in particular integers with only two prime divisors. Other facets of representability are also explored. We obtain information about the values of n modulo which paths and cycles are representable.     

Representations of completely bounded multilinear operators

A definition of a completely bounded multilinear operator from one C¹-algebra into another is introduced. Each completely bounded multilinear operator from a C¹-algebra into the algebra of bounded linear operators on a Hilbert space is shown to be representable in terms of ¹-representations of the C¹-algebra and interlacing operators. This result extends Wittstock's Theorem that decomposes a completely bounded linear operator from a C¹-algebra into an injective C¹-algebra into completely positive linear operators.     

The smallness problem for -algebras

Akemann showed that any von Neumann algebra with a weak^* separable dual space has a faithful normal representation on a separable Hilbert space. He posed the question: If a C^*-algebra has a weak^* separable state space, must it have a faithful representation on a separable Hilbert space? Wright solved this question negatively and showed that a unital C^*-algebra has the weak^* separable state space if and only if it has a unital completely positive map, into a type I factor on a separable Hilbert space, whose restriction to the self-adjoint part induces an order isomorphism. He called such a C^*-algebra almost separably representable. We say that a unital C^*-algebra is small if it has a unital complete isometry into a type I factor on a separable Hilbert space. In this paper we show that a unital C^*-algebra is small if and only if the state spaces of all n by n matrix algebras over the C^*-algebra are weak^*-separable. It is natural to ask whether almost separably representable algebras are small or not. We settle this question positively for simple C^*-algebras but the general question remains open.     

Order of isolated singularities of solutions of elliptic systems

For second-order elliptic systems with the natural energy space W₂ ¹ solutions with an isolated singularity are considered. If the speed of growth of the solution is less than the limiting speed determined by the modulus of the elliptic system, it is proved that either the singularity is removable or its order coincides with the order of the singularity of the fundamental solution of Laplace's equation. Systems are also considered with positive nonlinear lowest terms, for which a complete classification is obtained of the possible orders of isolated singularities.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 10, pp. 1349–1358, October, 1992.     

Representable Functions on the Unit Ball of a Banach Space

In this paper we treat the problem of integral representation of analytic functions over the unit ball of a complex Banach space X using the theory of abstract Wiener spaces. We define the class of representable functions on the unit ball of X and prove that this set of functions is related with the classes of integral k–homogeneous polynomials, integral holomorphic functions and also with the set of L ^p –representable functions on a Banach space.     

Smoothness of the Solution of the Spatially Homogeneous Boltzmann Equation without Cutoff

Abstract

For regularized hard potentials cross sections, the solution of the spatially homogeneous Boltzmann equation without angular cutoff lies in Schwartz's space 𝒮(? ^N ) for all (strictly positive) time. The proof is presented in full detail for the two-dimensional case, and for a moderate singularity of the cross section. Then we present those parts of the proof for the general case, where the dimension, or the strength of the singularity play an essential role.     

Representable orientations of the free spikes

All orientations of binary and ternary matroids are representable [R.G. Bland, M. Las Vergnas, Orientability of matroids, J. Combinatorial Theory Ser. B 24 (1) (1978) 94–123; J. Lee, M. Scobee, A characterization of the orientations of ternary matroids, J. Combin. Theory Ser. B 77 (2) (1999) 263–291]. In this paper we show that this is not the case for matroids that are representable over GF(p^k) where k2. Specifically, we show that there are orientations of the rank-k free spike that are not representable for all k4. The proof uses threshold functions to obtain an upper bound on the number of representable orientations of the free spikes.     

The separation from a vector measure of the part representable by a Bochner integral

In this paper, the possibility is established of decomposing a vector measure ofσ-finite variation into parts. One of them belongs to the class of vector measures representable by separable-valued weakly integrable functions (in the case of a vector measure of finite variation this part is representable by a Bochner integral); the other part cannot have such a representation on any subset of positive measure of the carrier. Some properties of measures of these classes are investigated.     

Brown representability for the dual

Let T be the homotopy category of all spectra. Brown proved that a homological functor H: T ^{o p} → Ab is representable if it takes coproducts to products. That is, the functors [−,h] may be characterised as the homological functors taking coproducts to products. In this article, we will prove the dual. A covariant functor H:T → Ab which takes products to products is representable; it is of the form [h,−]. Oblatum 10-VII-1997 & 23-VII-1997     

Combinatorial geometries representable over GF(3) and GF(q). II. Dowling geometries

Letq be an odd prime power not divisible by 3. In Part I of this series, it was shown that the number of points in a rank-n combinatorial geometry (or simple matroid) representable over GF(3) and GF(q) is at mostn ². In this paper, we show that, with the exception ofn = 3, a rank-n geometry that is representable over GF(3) and GF(q) and contains exactlyn ² points is isomorphic to the rank-n Dowling geometry based on the multiplicative group of GF(3).This research was partially supported by the National Science Foundation under Grants DMS-8521826 and DMS-8500494.     

Normalizers,Centralizers and Action Representability in Semi-Abelian Categories

We introduce the notion of normalizer as motivated by the classical notion in the category of groups. We show for a semi-abelian category ? that the following conditions are equivalent:

1. ? is action representable and normalizers exist in ?;
2. the category Mono(?) of monomorphisms in ? is action representable;
3. the category ?² of morphisms in ? is action representable;
4. for each category \(\mathbb {D}\) with a finite number of morphisms the category \({\mathbb {C}} ^{\mathbb {D}}\) is action representable.

Moreover, when in addition ? is locally well-presentable, we show that these conditions are further equivalent to:

1. ? satisfies the amalgamation property for protosplit normal monomorphism and ? satisfies the axiom of normality of unions;
2. for each small category \(\mathbb {D}\) , the category \({\mathbb {C}} ^{\mathbb {D}}\) is action representable.

We also show that if ? is homological, action accessible, and normalizers exist in ?, then ? is fiberwise algebraically cartesian closed.     

Representations and positive functionals

We discuss the representation theory of both the locally convex and non-locally convex topological^*-algebras. First we discuss the^*-representation of topological^*-algebras by operators on a Hilbert space. Then we study those topological^*-algebras so that every^*-representation of which on a Hilbert space is necessarily continuous. It is well-known that each^*-representation of aB ^*-algebra on a Hilbert space is continuous. We show that this is true for a large class of^*-algebras more general thanB ^*-algebras, including certain non-locally convex^*-algebras. Finally, we investigate the conditions under which a positive functional on a topological^*-algebra is representable.The research of the first-named author was partially supported by an NSERC grant. This work was done by the second-named author when he was a post-doctoral fellow at McMaster University.     

Uniform domain representations of ℓp ‐spaces

The category of Scott‐domains gives a computability theory for possibly uncountable topological spaces, via representations. In particular, every separable Banach‐space is representable over a separable domain. A large class of topological spaces, including all Banach‐spaces, is representable by domains, and in domain theory, there is a well‐understood notion of parametrizations over a domain. We explore the link with parameter‐dependent collections of spaces in e. g. functional analysis through a case study of ?^p ‐spaces. We show that a well‐known domain representation of ?^p as a metric space can be made uniform in the sense of parametrizations of domains. The uniform representations admit lifting of continuous functions and are effective in p. Dependent type constructions apply, and through the study of the sum and product spaces, we clarify the notions of uniformity and uniform computability. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Irrepresentability of short semilattices by euclidean subspaces

A semilatticeS isrepresentable by subspaces of R ^k if, to eachx S we can assign a subspace so thatx y=z inS if and only if . Every height-2 semilattice is representable inR ². We show that for everyk there is a height-3 semilattice which is not representable by subspaces ofR ^k.Presented by J. Berman.Research supported in part by the National Science Foundation.Research supported in part by the Office of Naval Research.     

KK-groups for generalized operator algebras. II

The extension of Kasparovs bivariant K-theory to inverse limits of C ^* -algebras admits exact Puppe sequences in both variables. Two exact sequences generalizing Milnor's lim-lim¹ sequences are established. For CW complexes the extended K-theory is representable K-theory.     

Existence of u‐Representation of Graphs

Recently, Jones et al. (Electron J Comb 22(2) (2015), #P2.53) introduced the study of u‐representable graphs, where u is a word over containing at least one 1. The notion of a u‐representable graph is a far‐reaching generalization of the notion of a word‐representable graph studied in the literature in a series of papers. Jones et al. have shown that any graph is 11???1‐representable assuming that the number of 1s is at least three, while the class of 12‐representable graphs is properly contained in the class of comparability graphs, which, in turn, is properly contained in the class of word‐representable graphs corresponding to 11‐representable graphs. Further studies in this direction were conducted by Nabawanda (M.Sc. thesis, 2015), who has shown, in particular, that the class of 112‐representable graphs is not included in the class of word‐representable graphs. Jones et al. raised a question on classification of u‐representable graphs at least for small values of u . In this article, we show that if u is of length at least 3 then any graph is u‐representable. This rather unexpected result shows that from existence of representation point of view there are only two interesting nonequivalent cases in the theory of u‐representable graphs, namely, those of and .     

Weakly representable atom structures that are not strongly representable,with an application to first order logic

Letn > 2. A weakly representable relation algebra that is not strongly representable is constructed. It is proved that the set of all n by n basic matrices forms a cylindric basis that is also a weakly but not a strongly representable atom structure. This gives an example of a binary generated atomic representable cylindric algebra with no complete representation. An application to first order logic is given. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)