BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Wolfgang Löhr

Wolfgang Löhr appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.PRmath.MGInformation Theorymath-phmath.DSmath.ITmath.MPnlin.AOquant-ph

Catalog footprint

What is connected

7works
9topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2016arXiv

Boundedly finite measures: Separation and convergence by an algebra of functions

We prove general results about separation and weak$^\#$-convergence of boundedly finite measures on separable metric spaces and Souslin spaces. More precisely, we consider an algebra of bounded real-valued, or more generally a $*$-algebra $\mathcal{F}$ of bounded complex-valued functions and give conditions for it to be separating or weak$^\#$-convergence determining for those boundedly finite measures that integrate all functions in $\mathcal{F}$. For separation, it is sufficient if $\mathcal{F}$ separates points, vanishes nowhere, and either consists of only countably many measurable functions, or of arbitrarily many continuous functions. For convergence determining, it is sufficient if $\mathcal{F}$ induces the topology of the underlying space, and every bounded set $A$ admits a function in $\mathcal{F}$ with values bounded away from zero on $A$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Equivalence of Gromov-Prohorov- and Gromov's Box-Metric on the Space of Metric Measure Spaces

The space of metric measure spaces (complete separable metric spaces with a probability measure) is becoming more and more important as state space for stochastic processes. Of particular interest is the subspace of (continuum) metric measure trees. Greven, Pfaffelhuber and Winter introduced the Gromov-Prohorov metric d_{GPW} on the space of metric measure spaces and showed that it induces the Gromov-weak topology. They also conjectured that this topology coincides with the topology induced by Gromov's Box_1 metric. Here, we show that this is indeed true, and the metrics are even bi-Lipschitz equivalent. More precisely, d_{GPW}= 1/2 Box_{1/2}, and hence d_{GPW} <= Box_1 <= 2d_{GPW}. The fact that different approaches lead to equivalent metrics underlines their importance and also that of the induced Gromov-weak topology. As an application, we give an easy proof of the known fact that the map associating to a lower semi-continuous excursion the coded R-tree is Lipschitz continuous when the excursions are endowed with the (non-separable) uniform metric. We also introduce a new, weaker, metric topology on excursions, which has the advantage of being separable and making the space of bounded excursions a Lusin space. We obtain continuity also for this new topology.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The gap between Gromov-vague and Gromov-Hausdorff-vague topology

In Athreya, Löhr, Winter (2016), an invariance principle is stated for a class of strong Markov processes on tree-like metric measure spaces. It is shown that if the underlying spaces converge Gromov vaguely, then the processes converge in the sense of finite dimensional distributions. Further, if the underlying spaces converge Gromov-Hausdorff vaguely, then the processes converge weakly in path space. In this paper we systematically introduce and study the Gromov-vague and the Gromov-Hausdorff-vague topology on the space of equivalence classes of metric boundedly finite measure spaces. The latter topology is closely related to the Gromov-Hausdorff-Prohorov metric which is defined on different equivalence classes of metric measure spaces. We explain the necessity of these two topologies via several examples, and close the gap between them. That is, we show that convergence in Gromov-vague topology implies convergence in Gromov-Hausdorff-vague topology if and only if the so-called lower mass-bound property is satisfied. Furthermore, we prove and disprove Polishness of several spaces of metric measure spaces in the topologies mentioned above (summarized in Figure~1). As an application, we consider the Galton-Watson tree with critical offspring distribution of finite variance conditioned to not get extinct, and construct the so-called Kallenberg-Kesten tree as the weak limit in Gromov-Hausdorff-vague topology when the edge length are scaled down to go to zero.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The Umwelt of an Embodied Agent -- A Measure-Theoretic Definition

We consider a general model of the sensorimotor loop of an agent interacting with the world. This formalises Uexküll's notion of a \emph{function-circle}. Here, we assume a particular causal structure, mechanistically described in terms of Markov kernels. In this generality, we define two $σ$-algebras of events in the world that describe two respective perspectives: (1) the perspective of an external observer, (2) the intrinsic perspective of the agent. Not all aspects of the world, seen from the external perspective, are accessible to the agent. This is expressed by the fact that the second $σ$-algebra is a subalgebra of the first one. We propose the smaller one as formalisation of Uexküll's \emph{Umwelt} concept. We show that, under continuity and compactness assumptions, the global dynamics of the world can be simplified without changing the internal process. This simplification can serve as a minimal world model that the system must have in order to be consistent with the internal process.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Convergence of bi-measure R-tree and the pruning process

In [Aldous,Pitman,1998] a tree-valued Markov chain is derived by pruning off more and more subtrees along the edges of a Galton-Watson tree. More recently, in [Abraham,Delmas,2012], a continuous analogue of the tree-valued pruning dynamics is constructed along Lévy trees. In the present paper, we provide a new topology which allows to link the discrete and the continuous dynamics by considering them as instances of the same strong Markov process with different initial conditions. We construct this pruning process on the space of so-called bi-measure trees, which are metric measure spaces with an additional pruning measure. The pruning measure is assumed to be finite on finite trees, but not necessarily locally finite. We also characterize the pruning process analytically via its Markovian generator and show that it is continuous in the initial bi-measure tree. A series of examples is given, which include the finite variance offspring case where the pruning measure is the length measure on the underlying tree.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Existence of mark functions in marked metric measure spaces

We give criteria on the existence of a so-called mark function in the context of marked metric measure spaces (mmm-spaces). If an mmm-space admits a mark function, we call it functionally-marked metric measure space (fmm-space). This is not a closed property in the usual marked Gromov-weak topology, and thus we put particular emphasis on the question under which conditions it carries over to a limit. We obtain criteria for deterministic mmm-spaces as well as random mmm-spaces and mmm-space-valued processes. As an example, our criteria are applied to prove that the tree-valued Fleming-Viot dynamics with mutation and selection from [Depperschmidt, Greven, Pfaffelhuber, Ann. Appl. Probab. '12] admits a mark function at all times, almost surely. Thereby, we fill a gap in a former proof of this fact, which used a wrong criterion. Furthermore, the subspace of fmm-spaces, which is dense and not closed, is investigated in detail. We show that there exists a metric that induces the marked Gromov-weak topology on this subspace and is complete. Therefore, the space of fmm-spaces is a Polish space. We also construct a decomposition into closed sets which are related to the case of uniformly equicontinuous mark functions.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Process Dimension of Classical and Non-Commutative Processes

We treat observable operator models (OOM) and their non-commutative generalisation, which we call NC-OOMs. A natural characteristic of a stochastic process in the context of classical OOM theory is the process dimension. We investigate its properties within the more general formulation, which allows to consider process dimension as a measure of complexity of non-commutative processes: We prove lower semi-continuity, and derive an ergodic decomposition formula. Further, we obtain results on the close relationship between the canonical OOM and the concept of causal states which underlies the definition of statistical complexity. In particular, the topological statistical complexity, i.e. the logarithm of the number of causal states, turns out to be an upper bound to the logarithm of process dimension.

0 citations0 reviewsNo code linkedOpen access