BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Jan Pachl appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
The Ghahramani-Lau conjecture is established; in other words, the measure algebra of every locally compact group is strongly Arens irregular. To this end, we introduce and study certain new classes of measures (called approximately invariant, respectively, strongly singular) which are of interest in their own right. Moreover, we show that the same result holds for the measure algebra of any (not necessarily locally compact) Polish group.
The Banach algebra LUC(G)* associated to a topological group G has been of interest in abstract harmonic analysis. A number of authors have studied the topological centre of LUC(G)*, which is defined as the set of elements in LUC(G)* for which the left multiplication is w*--w*-continuous on LUC(G)*. Several recent works show that for a locally compact group G it is sufficient to test the continuity of the left multiplication at just one specific point in order to determine whether an element of LUC(G)* belongs to the topological centre. In this work we extend some of these results to a much larger class of groups which includes many non-locally compact groups as well as all the locally compact ones. This answers a question raised by H.G. Dales. We also obtain a corollary about the topological centre of any subsemigroup of LUC(G)* containing the uniform compactification of G. In particular, we prove that there are sets of just one point determining the topological centre of the uniform compactification itself.
The language of finite games is used to rephrase Pelant's proof of his result: The separable modification of the complete metric space $C([0,ω_1])$ is not complete.
The paper deals with the verification of reachability properties in a commonly used state transition model of communication protocols, which consists of finite state machines connected by potentially unbounded FIFO channels. Although simple reachability problems are undecidable for general protocols with unbounded channels, they are decidable for the protocols with the recognizable channel property. The decidability question is open for the protocols with the rational channel property.
The dual space of the C*-algebra of bounded uniformly continuous functions on a uniform space carries several natural topologies. One of these is the topology of uniform convergence on bounded uniformly equicontinuous sets, or the UEB topology for short. In the particular case of a topological group and its right uniformity, the UEB topology plays a significant role in the continuity of convolution. In this paper we derive a useful characterisation of bounded uniformly equicontinuous sets on locally compact groups. Then we demonstrate that for every locally compact group G the UEB topology on the space of finite Radon measures on G coincides with the right multiplier topology. In this sense the UEB topology is a generalisation to arbitrary topological groups of the multiplier topology for locally compact groups. In the final section we prove results about UEB continuity of convolution.
In a convolution semigroup over a locally compact group, measurability of the translation by a fixed element implies continuity. In other words, the measurable centre coincides with the topological centre.
Uniform measures are the functionals on the space of bounded uniformly continuous functions that are continuous on every bounded uniformly equicontinuous set. This paper describes the role of uniform measures in the study of convolution on an arbitrary topological group.
In dealing with asymptotic approximation of possibly divergent nets of probability distributions, we are led to study uniform structures on the set of distributions. This paper identifies a class of such uniform structures that may be considered to be reasonable generalizations of the weak topology. It is shown that all structures in the class yield the same notion of asymptotic approximation for sequences (but not for general nets) of probability distributions.
One of the key concepts in testing is that of adequate test sets. A test selection criterion decides which test sets are adequate. In this paper, a language schema for specifying a large class of test selection criteria is developed; the schema is based on two operations for building complex criteria from simple ones. Basic algebraic properties of the two operations are derived. In the second part of the paper, a simple language-an instance of the general schema-is studied in detail, with the goal of generating small adequate test sets automatically. It is shown that one version of the problem is intractable, while another is solvable by an efficient algorithm. An implementation of the algorithm is described.