BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Dirk Hofmann

Dirk Hofmann contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.CTmath.GNLogic in Computer Sciencemath.LOcond-mat.mtrl-sciphysics.chem-ph

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
11works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

11 published item(s)

preprint2022arXiv

Quantitative Hennessy-Milner Theorems via Notions of Density

The classical Hennessy-Milner theorem is an important tool in the analysis of concurrent processes; it guarantees that any two non-bisimilar states in finitely branching labelled transition systems can be distinguished by a modal formula. Numerous variants of this theorem have since been established for a wide range of logics and system types, including quantitative versions where lower bounds on behavioural distance (e.g.~in weighted, metric, or probabilistic transition systems) are witnessed by quantitative modal formulas. Both the qualitative and the quantitative versions have been accommodated within the framework of coalgebraic logic, with distances taking values in quantales, subject to certain restrictions, such as being so-called value quantales. While previous quantitative coalgebraic Hennessy-Milner theorems apply only to liftings of set functors to (pseudo-)metric spaces, in the present work we provide a quantitative coalgebraic Hennessy-Milner theorem that applies more widely to functors native to metric spaces; notably, we thus cover, for the first time, the well-known Hennessy-Milner theorem for continuous probabilistic transition systems, where transitions are given by Borel measures on metric spaces, as an instance. In the process, we also relax the restrictions imposed on the quantale, and additionally parametrize the technical account over notions of closure and, hence, density, providing associated variants of the Stone-Weierstrass theorem; this allows us to cover, for instance, behavioural ultrametrics.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Duality theory for enriched Priestley spaces

The term Stone-type duality often refers to a dual equivalence between a category of lattices or other partially ordered structures on one side and a category of topological structures on the other. This paper is part of a larger endeavour that aims to extend a web of Stone-type dualities from ordered to metric structures and, more generally, to quantale-enriched categories. In particular, we improve our previous work and show how certain duality results for categories of [0,1]-enriched Priestley spaces and [0,1]-enriched relations can be restricted to functions. In a broader context, we investigate the category of quantale-enriched Priestley spaces and continuous functors, with emphasis on those properties which identify the algebraic nature of the dual of this category.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Dualities in modal logic from the point of view of triples

In this paper we show how the theory of monads can be used to deduce in a uniform manner several duality theorems involving categories of relations on one side and categories of algebras with homomorphisms preserving only some operations on the other. Furthermore, we investigate the monoidal structure induced by Cartesian product on the relational side and show that in some cases the corresponding operation on the algebraic side represents bimorphisms.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Measuring excitation-energy transfer with a real-time time-dependent density functional theory approach

We investigate the time an electronic excitation travels in a supermolecular setup using a measurement process in an open quantum-system framework. The approach is based on the stochastic Schrödinger equation and uses a Hamiltonian from time-dependent density functional theory (TDDFT). It treats electronic-structure properties and intermolecular coupling on the level of TDDFT, while it opens a route to the description of dissipation and relaxation via a bath operator that couples to the dipole moment of the density. Within our study, we find that in supermolecular setups small deviations of the electronic structure from the perfectly resonant case have only minor influence on the pathways of excitation-energy transfer, thus lead to similar transfer times. Yet, sizable defects cause notable slowdown of the energy spread.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Approaching metric domains

In analogy to the situation for continuous lattices which were introduced by Dana Scott as precisely the injective T$_0$ spaces via the (nowadays called) Scott topology, we study those metric spaces which correspond to injective T$_0$ approach spaces and characterise them as precisely the continuous lattices equipped with an unitary and associative $[0,\infty]$-action. This result is achieved by a thorough analysis of the notion of cocompleteness for approach spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Approximation in quantale-enriched categories

Our work is a fundamental study of the notion of approximation in V-categories and in (U,V)-categories, for a quantale V and the ultrafilter monad U. We introduce auxiliary, approximating and Scott-continuous distributors, the way-below distributor, and continuity of V- and (U,V)-categories. We fully characterize continuous V-categories (resp. (U,V)-categories) among all cocomplete V-categories (resp. (U,V)-categories) in the same ways as continuous domains are characterized among all dcpos. By varying the choice of the quantale V and the notion of ideals, and by further allowing the ultrafilter monad to act on the quantale, we obtain a flexible theory of continuity that applies to partial orders and to metric and topological spaces. We demonstrate on examples that our theory unifies some major approaches to quantitative domain theory.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Duality for distributive space

The main source of inspiration for the present paper is the work of R. Rosebrugh and R.J. Wood on constructive complete distributive lattices where the authors employ elegantly the concepts of adjunction and module in their study of ordered sets. Both notions (suitably adapted) are available in topology too, which permits us to investigate topological, metric and other kinds of spaces in a similar spirit. Therefore, relative to a choice $Φ$ of modules, we consider spaces which admit all colimits with weight in $Φ$, as well as (suitably defined) $Φ$-distributive and $Φ$-algebraic spaces. We show that the category of $Φ$-distributive spaces and $Φ$-colimit preserving maps is dually equivalent to the idempotent splitting completion of a category of spaces and convergence relations between them. We explain the connection of these results to the traditional duality of spaces with frames, and conclude further duality theorems. Finally, we study properties and structures of the resulting categories, in particular monoidal (closed) structures.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Stone duality for topological theories

In the context of categorical topology, more precisely that of T-categories [Hofmann, 2007], we define the notion of T-colimit as a particular colimit in a V-category. A complete and cocomplete V-category in which limits distribute over T-colimits, is to be thought of as the generalisation of a (co-)frame to this categorical level. We explain some ideas on a T-categorical version of "Stone duality", and show that Cauchy completeness of a T-category is precisely its sobriety.

0 citations0 reviewsNo code linkedOpen access