Showing 1–50 of 63 results for author: Hofmann, D

Cauchy convergence in V-normed categories

Authors: Maria Manuel Clementino, Dirk Hofmann, Walter Tholen

Abstract: Building on the notion of normed category as suggested by Lawvere, we introduce notions of Cauchy convergence and cocompleteness which differ from proposals in previous works. Key to our approach is to treat them consequentially as categories enriched in the monoidal-closed category of normed sets. Our notions largely lead to the anticipated outcomes when considering individual metric spaces as sm… ▽ More Building on the notion of normed category as suggested by Lawvere, we introduce notions of Cauchy convergence and cocompleteness which differ from proposals in previous works. Key to our approach is to treat them consequentially as categories enriched in the monoidal-closed category of normed sets. Our notions largely lead to the anticipated outcomes when considering individual metric spaces as small normed categories, but they can be challenging when considering some large categories, like those of semi-normed or normed vector spaces and all linear maps, or of generalized metric spaces and all map**s. These are the key example categories discussed in detail in this paper. Working with a general commutative quantale V as a value recipient for norms, rather than only with Lawvere's quantale of the extended real half-line, we observe that the categorically atypical structure gap between objects and morphisms in the example categories is already present in the underlying normed category of the enriching category of V-normed sets. To show that this normed category and, in fact, all presheaf categories over it, are Cauchy cocomplete, we assume the quantale V to satisfy a couple of light alternative extra properties. Of utmost importance to the general theory is the fact that our notion of normed colimit is subsumed by the notion of weighted colimit of enriched category theory. With this theory we are able to prove that all V-normed categories have correct-size Cauchy cocompletions. We also prove a Banach Fixed Point Theorem for contractive endofunctors of Cauchy cocomplete normed categories. △ Less

Submitted 13 April, 2024; originally announced April 2024.

Comments: 50 pages

MSC Class: 18A35; 18D20; 18F75; 46M99; 54E35

A variety of co-quasivarieties

Authors: Maria Manuel Clementino, Carlos Fitas, Dirk Hofmann

Abstract: It is shown that the duals of several categories of topological flavour, like the categories of ordered sets, generalised metric spaces, probabilistic metric spaces, topological spaces, approach spaces, are quasivarieties, presenting a common proof for all such results. It is shown that the duals of several categories of topological flavour, like the categories of ordered sets, generalised metric spaces, probabilistic metric spaces, topological spaces, approach spaces, are quasivarieties, presenting a common proof for all such results. △ Less

Submitted 7 April, 2024; originally announced April 2024.

MSC Class: 18C10; 08C15; 18C05; 08A65; 18D20; 54B30

Can neural quantum states learn volume-law ground states?

Authors: Giacomo Passetti, Damian Hofmann, Pit Neitemeier, Lukas Grunwald, Michael A. Sentef, Dante M. Kennes

Abstract: We study whether neural quantum states based on multi-layer feed-forward networks can find ground states which exhibit volume-law entanglement entropy. As a testbed, we employ the paradigmatic Sachdev-Ye-Kitaev model. We find that both shallow and deep feed-forward networks require an exponential number of parameters in order to represent the ground state of this model. This demonstrates that suff… ▽ More We study whether neural quantum states based on multi-layer feed-forward networks can find ground states which exhibit volume-law entanglement entropy. As a testbed, we employ the paradigmatic Sachdev-Ye-Kitaev model. We find that both shallow and deep feed-forward networks require an exponential number of parameters in order to represent the ground state of this model. This demonstrates that sufficiently complicated quantum states, although being physical solutions to relevant models and not pathological cases, can still be difficult to learn to the point of intractability at larger system sizes. This highlights the importance of further investigations into the physical properties of quantum states amenable to an efficient neural representation. △ Less

Submitted 15 December, 2022; v1 submitted 5 December, 2022; originally announced December 2022.

Journal ref: Phys. Rev. Lett. 131, 036502, (2023)

Witnessing nonequilibrium entanglement dynamics in a strongly correlated fermionic chain

Authors: Denitsa R. Baykusheva, Mona H. Kalthoff, Damian Hofmann, Martin Claassen, Dante M. Kennes, Michael A. Sentef, Matteo Mitrano

Abstract: Many-body entanglement in condensed matter systems can be diagnosed from equilibrium response functions through the use of entanglement witnesses and operator-specific quantum bounds. Here, we investigate the applicability of this approach for detecting entangled states in quantum systems driven out of equilibrium. We use a multipartite entanglement witness, the quantum Fisher information, to stud… ▽ More Many-body entanglement in condensed matter systems can be diagnosed from equilibrium response functions through the use of entanglement witnesses and operator-specific quantum bounds. Here, we investigate the applicability of this approach for detecting entangled states in quantum systems driven out of equilibrium. We use a multipartite entanglement witness, the quantum Fisher information, to study the dynamics of a paradigmatic fermion chain undergoing a time-dependent change of the Coulomb interaction. Our results show that the quantum Fisher information is able to witness distinct signatures of multipartite entanglement both near and far from equilibrium that are robust against decoherence. We discuss implications of these findings for probing entanglement in light-driven quantum materials with time-resolved optical and x-ray scattering methods. △ Less

Submitted 7 March, 2023; v1 submitted 5 September, 2022; originally announced September 2022.

Comments: 8 pages, 4 figures

Journal ref: Phys. Rev. Lett. 130, 106902, (2023)

Quantitative Hennessy-Milner Theorems via Notions of Density

Authors: Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild

Abstract: 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… ▽ More 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. △ Less

Submitted 30 August, 2022; v1 submitted 19 July, 2022; originally announced July 2022.

Analysis of the Visually Detectable Wear Progress on Ball Screws

Authors: Tobias Schlagenhauf, Tim Scheurenbrand, Dennis Hofmann, Oleg Krasnikow

Abstract: The actual progression of pitting on ball screw drive spindles is not well known since previous studies have only relied on the investigation of indirect wear effects (e. g. temperature, motor current, structure-borne noise). Using images from a camera system for ball screw drives, this paper elaborates on the visual analysis of pitting itself. Due to its direct, condition-based assessment of the… ▽ More The actual progression of pitting on ball screw drive spindles is not well known since previous studies have only relied on the investigation of indirect wear effects (e. g. temperature, motor current, structure-borne noise). Using images from a camera system for ball screw drives, this paper elaborates on the visual analysis of pitting itself. Due to its direct, condition-based assessment of the wear state, an image-based approach offers several advantages, such as: Good interpretability, low influence of environmental conditions, and high spatial resolution. The study presented in this paper is based on a dataset containing the entire wear progression from original condition to component failure of ten ball screw drive spindles. The dataset is being analyzed regarding the following parameters: Axial length, tangential length, and surface area of each pit, the total number of pits, and the time of initial visual appearance of each pit. The results provide evidence that wear development can be quantified based on visual wear characteristics. In addition, using the dedicated camera system, the actual course of the growth curve of individual pits can be captured during machine operation. Using the findings of the analysis, the authors propose a formula for standards-based wear quantification based on geometric wear characteristics. △ Less

Submitted 10 January, 2023; v1 submitted 2 May, 2022; originally announced May 2022.

MSC Class: 70B99

Journal ref: CIRP Journal of Manufacturing Science and Technology, Volume 40, 2023, Pages 1-9

Kantorovich Functors and Characteristic Logics for Behavioural Distances

Authors: Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild

Abstract: Behavioural distances measure the deviation between states in quantitative systems, such as probabilistic or weighted systems. There is growing interest in generic approaches to behavioural distances. In particular, coalgebraic methods capture variations in the system type (nondeterministic, probabilistic, game-based etc.), and the notion of quantale abstracts over the actual values distances take… ▽ More Behavioural distances measure the deviation between states in quantitative systems, such as probabilistic or weighted systems. There is growing interest in generic approaches to behavioural distances. In particular, coalgebraic methods capture variations in the system type (nondeterministic, probabilistic, game-based etc.), and the notion of quantale abstracts over the actual values distances take, thus covering, e.g., two-valued equivalences, (pseudo-)metrics, and probabilistic (pseudo-)metrics. Coalgebraic behavioural distances have been based either on liftings of SET-functors to categories of metric spaces, or on lax extensions of SET-functors to categories of quantitative relations. Every lax extension induces a functor lifting but not every lifting comes from a lax extension. It was shown recently that every lax extension is Kantorovich, i.e. induced by a suitable choice of monotone predicate liftings, implying via a quantitative coalgebraic Hennessy-Milner theorem that behavioural distances induced by lax extensions can be characterized by quantitative modal logics. Here, we essentially show the same in the more general setting of behavioural distances induced by functor liftings. In particular, we show that every functor lifting, and indeed every functor on (quantale-valued) metric spaces, that preserves isometries is Kantorovich, so that the induced behavioural distance (on systems of suitably restricted branching degree) can be characterized by a quantitative modal logic. △ Less

Submitted 2 May, 2023; v1 submitted 14 February, 2022; originally announced February 2022.

A Point-free Perspective on Lax extensions and Predicate liftings

Authors: Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild

Abstract: Lax extensions of set functors play a key role in various areas including topology, concurrent systems, and modal logic, while predicate liftings provide a generic semantics of modal operators. We take a fresh look at the connection between lax extensions and predicate liftings from the point of view of quantale-enriched relations. Using this perspective, we show in particular that various fundame… ▽ More Lax extensions of set functors play a key role in various areas including topology, concurrent systems, and modal logic, while predicate liftings provide a generic semantics of modal operators. We take a fresh look at the connection between lax extensions and predicate liftings from the point of view of quantale-enriched relations. Using this perspective, we show in particular that various fundamental concepts and results arise naturally and their proofs become very elementary. Ultimately, we prove that every lax extension is induced by a class of predicate liftings; we discuss several implications of this result. △ Less

Submitted 7 December, 2023; v1 submitted 23 December, 2021; originally announced December 2021.

Journal ref: Mathematical Structures in Computer Science. 2023:1-30

NetKet 3: Machine Learning Toolbox for Many-Body Quantum Systems

Authors: Filippo Vicentini, Damian Hofmann, Attila Szabó, Dian Wu, Christopher Roth, Clemens Giuliani, Gabriel Pescia, Jannes Nys, Vladimir Vargas-Calderon, Nikita Astrakhantsev, Giuseppe Carleo

Abstract: We introduce version 3 of NetKet, the machine learning toolbox for many-body quantum physics. NetKet is built around neural-network quantum states and provides efficient algorithms for their evaluation and optimization. This new version is built on top of JAX, a differentiable programming and accelerated linear algebra framework for the Python programming language. The most significant new feature… ▽ More We introduce version 3 of NetKet, the machine learning toolbox for many-body quantum physics. NetKet is built around neural-network quantum states and provides efficient algorithms for their evaluation and optimization. This new version is built on top of JAX, a differentiable programming and accelerated linear algebra framework for the Python programming language. The most significant new feature is the possibility to define arbitrary neural network ansätze in pure Python code using the concise notation of machine-learning frameworks, which allows for just-in-time compilation as well as the implicit generation of gradients thanks to automatic differentiation. NetKet 3 also comes with support for GPU and TPU accelerators, advanced support for discrete symmetry groups, chunking to scale up to thousands of degrees of freedom, drivers for quantum dynamics applications, and improved modularity, allowing users to use only parts of the toolbox as a foundation for their own code. △ Less

Submitted 18 August, 2022; v1 submitted 20 December, 2021; originally announced December 2021.

Comments: 55 pages, 5 figures. Accompanying code at https://github.com/netket/netket

Journal ref: SciPost Phys. Codebases 7 (2022)

Role of stochastic noise and generalization error in the time propagation of neural-network quantum states

Authors: Damian Hofmann, Giammarco Fabiani, Johan H. Mentink, Giuseppe Carleo, Michael A. Sentef

Abstract: Neural-network quantum states (NQS) have been shown to be a suitable variational ansatz to simulate out-of-equilibrium dynamics in two-dimensional systems using time-dependent variational Monte Carlo (t-VMC). In particular, stable and accurate time propagation over long time scales has been observed in the square-lattice Heisenberg model using the Restricted Boltzmann machine architecture. However… ▽ More Neural-network quantum states (NQS) have been shown to be a suitable variational ansatz to simulate out-of-equilibrium dynamics in two-dimensional systems using time-dependent variational Monte Carlo (t-VMC). In particular, stable and accurate time propagation over long time scales has been observed in the square-lattice Heisenberg model using the Restricted Boltzmann machine architecture. However, achieving similar performance in other systems has proven to be more challenging. In this article, we focus on the two-leg Heisenberg ladder driven out of equilibrium by a pulsed excitation as a benchmark system. We demonstrate that unmitigated noise is strongly amplified by the nonlinear equations of motion for the network parameters, which causes numerical instabilities in the time evolution. As a consequence, the achievable accuracy of the simulated dynamics is a result of the interplay between network expressiveness and measures required to remedy these instabilities. We show that stability can be greatly improved by appropriate choice of regularization. This is particularly useful as tuning of the regularization typically imposes no additional computational cost. Inspired by machine learning practice, we propose a validation-set based diagnostic tool to help determining optimal regularization hyperparameters for t-VMC based propagation schemes. For our benchmark, we show that stable and accurate time propagation can be achieved in regimes of sufficiently regularized variational dynamics. △ Less

Submitted 21 November, 2021; v1 submitted 3 May, 2021; originally announced May 2021.

Comments: 27 pages, 13 figures

Journal ref: SciPost Phys. 12, 165 (2022)

Atomically thin sheets of lead-free one-dimensional hybrid perovskites feature tunable white-light emission from self-trapped excitons

Authors: Philip Klement, Natalie Dehnhardt, Chuan-Ding Dong, Florian Dobener, Samuel Bayliff, Julius Winkler, Detlev M. Hofmann, Peter J. Klar, Stefan Schumacher, Sangam Chatterjee, Johanna Heine

Abstract: Low-dimensional organic-inorganic perovskites synergize the virtues of two unique classes of materials featuring intriguing possibilities for next-generation optoelectronics: they offer tailorable building blocks for atomically thin, layered materials while providing the enhanced light harvesting and emitting capabilities of hybrid perovskites. Here, we go beyond the paradigm that atomically thin… ▽ More Low-dimensional organic-inorganic perovskites synergize the virtues of two unique classes of materials featuring intriguing possibilities for next-generation optoelectronics: they offer tailorable building blocks for atomically thin, layered materials while providing the enhanced light harvesting and emitting capabilities of hybrid perovskites. Here, we go beyond the paradigm that atomically thin materials require in-plane covalent bonding and report single layers of the one-dimensional organic-inorganic perovskite [C$_7$H$_{10}$N]$_3$[BiCl$_5$]Cl. Its unique 1D-2D structure enables single layers and the formation of self-trapped excitons which show white light emission. The thickness dependence of the exciton self-trap** causes an extremely strong shift of the emission energy. Thus, such two-dimensional perovskites demonstrate that already 1D covalent interactions suffice to realize atomically thin materials and provide access to unique exciton physics. These findings enable a much more general construction principle for tailoring and identifying two-dimensional materials that are no longer limited to covalently bonded 2D sheets. △ Less

Submitted 18 January, 2021; v1 submitted 4 December, 2020; originally announced December 2020.

Duality theory for enriched Priestley spaces

Authors: Dirk Hofmann, Pedro Nora

Abstract: 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 impr… ▽ More 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. △ Less

Submitted 4 September, 2020; originally announced September 2020.

Inferring phenomenological models of first passage processes

Authors: Catalina Rivera, David Hofmann, Ilya Nemenman

Abstract: Biochemical processes in cells are governed by complex networks of many chemical species interacting stochastically in diverse ways and on different time scales. Constructing microscopically accurate models of such networks is often infeasible. Instead, here we propose a systematic framework for building phenomenological models of such networks from experimental data, focusing on accurately approx… ▽ More Biochemical processes in cells are governed by complex networks of many chemical species interacting stochastically in diverse ways and on different time scales. Constructing microscopically accurate models of such networks is often infeasible. Instead, here we propose a systematic framework for building phenomenological models of such networks from experimental data, focusing on accurately approximating the time it takes to complete the process, the First Passage (FP) time. Our phenomenological models are mixtures of Gamma distributions, which have a natural biophysical interpretation. The complexity of the models is adapted automatically to account for the amount of available data and its temporal resolution. The framework can be used for predicting the behavior of various FP systems under varying external conditions. To demonstrate the utility of the approach, we build models for the distribution of inter-spike intervals of a morphologically complex neuron, a Purkinje cell, from experimental and simulated data. We demonstrate that the developed models can not only fit the data but also make nontrivial predictions. We demonstrate that our coarse-grained models provide constraints on more mechanistically accurate models of the involved phenomena. △ Less

Submitted 11 August, 2020; originally announced August 2020.

Compliant morphing structures from twisted bulk metallic glass ribbons

Authors: Paolo Celli, Alice Lamaro, Connor McMahan, Punnathat Bordeenithikasem, Douglas Hofmann, Chiara Daraio

Abstract: In this work, we investigate the use of pre-twisted metallic ribbons as building blocks for shape-changing structures. We manufacture these elements by twisting initially flat ribbons about their (lengthwise) centroidal axis into a helicoidal geometry, then thermoforming them to make this configuration a stress-free reference state. The helicoidal shape allows the ribbon to have preferred bending… ▽ More In this work, we investigate the use of pre-twisted metallic ribbons as building blocks for shape-changing structures. We manufacture these elements by twisting initially flat ribbons about their (lengthwise) centroidal axis into a helicoidal geometry, then thermoforming them to make this configuration a stress-free reference state. The helicoidal shape allows the ribbon to have preferred bending directions that vary throughout its length. These bending directions serve as compliant joints and enable several deployed and stowed configurations that are unachievable without pre-twist, provided that compaction does not induce material failure. We fabricate these ribbons using a bulk metallic glass (BMG), for its exceptional elasticity and thermoforming attributes. Combining numerical simulations, an analytical model based on shell theory and torsional experiments, we analyze the finite-twisting mechanics of various ribbon geometries. We find that, in ribbons with undulated edges, the twisting deformations can be better localized onto desired regions prior to thermoforming. Finally, we join together multiple ribbons to create deployable systems. Our work proposes a framework for creating fully metallic, yet compliant structures that may find application as elements for space structures and compliant robots. △ Less

Submitted 29 August, 2020; v1 submitted 29 April, 2020; originally announced April 2020.

Journal ref: Journal of the Mechanics and Physics of Solids 145, 104129 (2020)

Resonant laser excitation and time-domain imaging of chiral topological polariton edge states

Authors: Damian Hofmann, Michael A. Sentef

Abstract: We investigate the dynamics of chiral edge states in topological polariton systems under laser driving. Using a model system comprised of topolgically trivial excitons and photons with a chiral coupling proposed by Karzig et al. [Phys. Rev. X 5, 031001 (2015)], we investigate the real-time dynamics of a lattice version of this model driven by a laser pulse. By analyzing the time- and momentum-reso… ▽ More We investigate the dynamics of chiral edge states in topological polariton systems under laser driving. Using a model system comprised of topolgically trivial excitons and photons with a chiral coupling proposed by Karzig et al. [Phys. Rev. X 5, 031001 (2015)], we investigate the real-time dynamics of a lattice version of this model driven by a laser pulse. By analyzing the time- and momentum-resolved spectral function, measured by time- and angle-resolved photoluminescence in analogy with time- and angle-resolved photoemission spectroscopy in electronic systems, we find that polaritonic states in a ribbon geometry are selectively excited via their resonance with the pump laser photon frequency. This selective excitation mechanism is independent of the necessity of strong laser pum** and polariton condensation. Our work highlights the potential of time-resolved spectroscopy as a complementary tool to real-space imaging for the investigation of topological edge state engineering in devices. △ Less

Submitted 17 August, 2020; v1 submitted 30 March, 2020; originally announced March 2020.

Comments: 8 pages, 5 figures

Journal ref: Phys. Rev. Research 2, 033386 (2020)

Quantum walk versus classical wave: Distinguishing ground states of quantum magnets by spacetime dynamics

Authors: Piotr Wrzosek, Krzysztof Wohlfeld, Damian Hofmann, Tomasz Sowiński, Michael A. Sentef

Abstract: We investigate the wavepacket spreading after a single spin flip in prototypical two-dimensional ferromagnetic and antiferromagnetic quantum spin systems. We find characteristic spatial magnon density profiles: While the ferromagnet shows a square-shaped pattern reflecting the underlying lattice structure, as exhibited by quantum walkers, the antiferromagnet shows a circular-shaped pattern which h… ▽ More We investigate the wavepacket spreading after a single spin flip in prototypical two-dimensional ferromagnetic and antiferromagnetic quantum spin systems. We find characteristic spatial magnon density profiles: While the ferromagnet shows a square-shaped pattern reflecting the underlying lattice structure, as exhibited by quantum walkers, the antiferromagnet shows a circular-shaped pattern which hides the lattice structure and instead resembles a classical wave pattern. We trace these fundamentally different behaviors back to the distinctly different magnon energy-momentum dispersion relations and also provide a real-space interpretation. Our findings point to new opportunities for real-time, real-space imaging of quantum magnets both in materials science and in quantum simulators. △ Less

Submitted 9 July, 2020; v1 submitted 3 February, 2020; originally announced February 2020.

Comments: 10 pages, 8 figures; title changed with respect to previous version

Journal ref: Phys. Rev. B 102, 024440 (2020)

Electron paramagnetic resonance signatures of Co2+ and Cu2+ in b-Ga2O3

Authors: Jan E. Stehr, Detlev M. Hofmann, Weimin M. Chen, Irina A. Buyanova

Abstract: Gallium oxide (b-Ga2O3) is a wide-bandgap compound semiconductor with a bandgap of ~ 4.9 eV that is currently considered promising for a wide range of applications ranging from transparent conducting electrodes to UV optoelectronic devices and power electronics. However, all of these applications require a reliable and precise control of electrical and optical properties of the material, which can… ▽ More Gallium oxide (b-Ga2O3) is a wide-bandgap compound semiconductor with a bandgap of ~ 4.9 eV that is currently considered promising for a wide range of applications ranging from transparent conducting electrodes to UV optoelectronic devices and power electronics. However, all of these applications require a reliable and precise control of electrical and optical properties of the material, which can be largely affected by impurities, such as transition metals commonly present during the growth. In this work we employ electron paramagnetic resonance (EPR) spectroscopy to obtain EPR signatures of the 3d-transition metals Co2+ and Cu2+ in b-Ga2O3 bulk crystals and powders that were unknown so far. Furthermore, we show that Co2+ and Cu2+ both preferentially reside on the octahedral gallium lattice site. △ Less

Submitted 12 September, 2019; originally announced September 2019.

Comments: 13 pages, 3 figures

Architected Lattices with Adaptive Energy Absorption

Authors: Yifan Wang, Brian Ramirez, Kalind Carpenter, Christina Naify, Douglas C. Hofmann, Chiara Daraio

Abstract: Energy absorbing materials, like foams used in protective equipment, are able to undergo large deformations under low stresses, reducing the incoming stress wave below an injury or damage threshold. They are typically effective in absorbing energy through plastic deformation or fragmentation. However, existing solutions are passive, only effective against specific threats and they are usually dama… ▽ More Energy absorbing materials, like foams used in protective equipment, are able to undergo large deformations under low stresses, reducing the incoming stress wave below an injury or damage threshold. They are typically effective in absorbing energy through plastic deformation or fragmentation. However, existing solutions are passive, only effective against specific threats and they are usually damaged after use. Here, we overcome these limitations designing energy absorbing materials that use architected lattices filled with granular particles. We use architected lattices to take advantage of controlled bending and buckling of members to enhance energy absorption. We actively control the negative pressure level within the lattices, to tune the jamming phase transition of the granular particles, inducing controllable energy absorption and recoverable deformations. Our system shows tunable stiffness and yield strength by over an order of magnitude, and reduces the transmitted impact stress at different levels by up to 40% compared to the passive lattice. The demonstrated adaptive energy absorbing system sees wide potential applications from personal protective equipment, vehicle safety systems to aerospace structures. △ Less

Submitted 11 September, 2019; originally announced September 2019.

Hausdorff coalgebras

Authors: Dirk Hofmann, Pedro Nora

Abstract: As composites of constant, (co)product, identity, and powerset functors, Kripke polynomial functors form a relevant class of $\mathsf{Set}$-functors in the theory of coalgebras. The main goal of this paper is to expand the theory of limits in categories of coalgebras of Kripke polynomial functors to the context of quantale-enriched categories. To assume the role of the powerset functor we consider… ▽ More As composites of constant, (co)product, identity, and powerset functors, Kripke polynomial functors form a relevant class of $\mathsf{Set}$-functors in the theory of coalgebras. The main goal of this paper is to expand the theory of limits in categories of coalgebras of Kripke polynomial functors to the context of quantale-enriched categories. To assume the role of the powerset functor we consider "powerset-like" functors based on the Hausdorff $\mathsf{V}$-category structure. As a starting point, we show that for a lifting of a $\mathsf{SET}$-functor to a topological category $\mathsf{X}$ over $\mathsf{Set}$ that commutes with the forgetful functor, the corresponding category of coalgebras over $\mathsf{X}$ is topological over the category of coalgebras over $\mathsf{Set}$ and, therefore, it is "as complete" but cannot be "more complete". Secondly, based on a Cantor-like argument, we observe that Hausdorff functors on categories of quantale-enriched categories do not admit a terminal coalgebra. Finally, in order to overcome these "negative" results, we combine quantale-enriched categories and topology \emph{à la} Nachbin. Besides studying some basic properties of these categories, we investigate "powerset-like" functors which simultaneously encode the classical Hausdorff metric and Vietoris topology and show that the corresponding categories of coalgebras of "Kripke polynomial" functors are (co)complete. △ Less

Submitted 12 August, 2019; originally announced August 2019.

Temperature-induced shape morphing of bi-metallic structures

Authors: Semih Taniker, Paolo Celli, Damiano Pasini, Douglas Hofmann, Chiara Daraio

Abstract: In this work, we study the thermo-mechanical behavior of metallic structures designed to significantly change shape in response to thermal stimuli. This behavior is achieved by arranging two metals with different coefficient of thermal expansion (CTE), Aluminum and Titanium, as to create displacement-amplifying units that can expand uniaxially. In particular, our design comprises a low-CTE bar sur… ▽ More In this work, we study the thermo-mechanical behavior of metallic structures designed to significantly change shape in response to thermal stimuli. This behavior is achieved by arranging two metals with different coefficient of thermal expansion (CTE), Aluminum and Titanium, as to create displacement-amplifying units that can expand uniaxially. In particular, our design comprises a low-CTE bar surrounded by a high-CTE frame that features flexure hinges and thicker links. When the temperature increases, the longitudinal expansion of the high-CTE portion is geometrically constrained by the low-CTE bar, resulting in a large tangential displacement. Our design is guided by theoretical models and numerical simulations. We validate our approach by fabricating and characterizing individual units, one dimensional arrays and three-dimensional structures. Our work shows that structurally robust metallic structures can be designed for large shape changes. The results also demonstrate how harsh environmental conditions (e.g., the extreme temperature swings that are characteristic of extraterrestrial environments) can be leveraged to produce function in a fully passive way. △ Less

Submitted 28 June, 2020; v1 submitted 2 August, 2019; originally announced August 2019.

Journal ref: International Journal of Solids and Structures 190, 22-32 (2020)

NetKet: A Machine Learning Toolkit for Many-Body Quantum Systems

Authors: Giuseppe Carleo, Kenny Choo, Damian Hofmann, James E. T. Smith, Tom Westerhout, Fabien Alet, Emily J. Davis, Stavros Efthymiou, Ivan Glasser, Sheng-Hsuan Lin, Marta Mauri, Guglielmo Mazzola, Christian B. Mendl, Evert van Nieuwenburg, Ossian O'Reilly, Hugo Théveniaut, Giacomo Torlai, Alexander Wietek

Abstract: We introduce NetKet, a comprehensive open source framework for the study of many-body quantum systems using machine learning techniques. The framework is built around a general and flexible implementation of neural-network quantum states, which are used as a variational ansatz for quantum wave functions. NetKet provides algorithms for several key tasks in quantum many-body physics and quantum tech… ▽ More We introduce NetKet, a comprehensive open source framework for the study of many-body quantum systems using machine learning techniques. The framework is built around a general and flexible implementation of neural-network quantum states, which are used as a variational ansatz for quantum wave functions. NetKet provides algorithms for several key tasks in quantum many-body physics and quantum technology, namely quantum state tomography, supervised learning from wave-function data, and ground state searches for a wide range of customizable lattice models. Our aim is to provide a common platform for open research and to stimulate the collaborative development of computational methods at the interface of machine learning and many-body physics. △ Less

Submitted 29 March, 2019; originally announced April 2019.

Journal ref: SoftwareX 10, 100311 (2019)

Cartesian closed exact completions in topology

Authors: Maria Manuel Clementino, Dirk Hofmann, Willian Ribeiro

Abstract: Using generalized enriched categories, in this paper we show that Rosický's proof of cartesian closedness of the exact completion of the category of topological spaces can be extended to a wide range of topological categories over $\mathsf{Set}$, like metric spaces, approach spaces, ultrametric spaces, probabilistic metric spaces, and bitopological spaces. In order to do so we prove a sufficient c… ▽ More Using generalized enriched categories, in this paper we show that Rosický's proof of cartesian closedness of the exact completion of the category of topological spaces can be extended to a wide range of topological categories over $\mathsf{Set}$, like metric spaces, approach spaces, ultrametric spaces, probabilistic metric spaces, and bitopological spaces. In order to do so we prove a sufficient criterion for exponentiability of $(\mathbb{T},V)$-categories and show that, under suitable conditions, every $(\mathbb{T},V)$-injective category is exponentiable in $(\mathbb{T},V)\text{-}\mathsf{Cat}$. △ Less

Submitted 1 May, 2019; v1 submitted 9 November, 2018; originally announced November 2018.

MSC Class: 18B30; 18B35; 18D15; 18D20; 54B30; 54E35; 54E70

Ultrafast population coding and axo-somatic compartmentalization

Authors: Chenfei Zhang, David Hofmann, Andreas Neef, Fred Wolf

Abstract: Cortical neurons in the fluctuation driven regime can realize ultrafast population encoding. The underlying biophysical mechanisms, however, are not well understood. Reducing the sharpness of the action potential onset can impair ultrafast population encoding, but it is not clear whether a sharp action potential onset is sufficient for ultrafast population encoding. One hypothesis proposes that th… ▽ More Cortical neurons in the fluctuation driven regime can realize ultrafast population encoding. The underlying biophysical mechanisms, however, are not well understood. Reducing the sharpness of the action potential onset can impair ultrafast population encoding, but it is not clear whether a sharp action potential onset is sufficient for ultrafast population encoding. One hypothesis proposes that the sharp action potential onset is caused by the electrotonic separation of the site of action potential initiation from the soma, and that this spatial separation also results in ultrafast population encoding. Here we examined this hypothesis by studying the linear response properties of model neurons with a defined initiation site. We find that placing the initiation site at different axonal positions has only a weak impact on the linear response function of the model. It fails to generate the ultrafast response and high bandwidth that is observed in cortical neurons. Furthermore, the high frequency regime of the linear response function of this model is insensitive to correlation times of the input current contradicting empirical evidence. When we increase the voltage sensitivity of sodium channels at the initiation site, the two empirically observed phenomena can be recovered. We provide an explanation for the dissociation of sharp action potential onset and ultrafast response. By investigating varying soma sizes, we furthermore highlight the effect of neuron morphology on the linear response. Our results show that a sharp onset of action potentials is not sufficient for the ultrafast response. In the light of recent reports of activity-dependent repositioning of the axon initial segment, our study predicts that a more distal initiation site can lead to an increased sharpness of the somatic waveform but it does not affect the linear response of a population of neurons. △ Less

Submitted 3 July, 2018; v1 submitted 2 July, 2018; originally announced July 2018.

Comments: 15 pages, 6 figures

Shape-morphing architected sheets with non-periodic cut patterns

Authors: Paolo Celli, Connor McMahan, Brian Ramirez, Anton Bauhofer, Christina Naify, Douglas Hofmann, Basile Audoly, Chiara Daraio

Abstract: We investigate the out-of-plane shape morphing capability of single-material elastic sheets with architected cut patterns that result in arrays of tiles connected by flexible hinges. We demonstrate that a non-periodic cut pattern can cause a sheet to buckle into three-dimensional shapes, such as domes or patterns of wrinkles, when pulled at specific boundary points. These global buckling modes are… ▽ More We investigate the out-of-plane shape morphing capability of single-material elastic sheets with architected cut patterns that result in arrays of tiles connected by flexible hinges. We demonstrate that a non-periodic cut pattern can cause a sheet to buckle into three-dimensional shapes, such as domes or patterns of wrinkles, when pulled at specific boundary points. These global buckling modes are observed in experiments and rationalized by an in-plane kinematic analysis that highlights the role of the geometric frustration arising from non-periodicity. The study focuses on elastic sheets, and is later extended to elastic-plastic materials to achieve shape retention. Our work illustrates a scalable route towards the fabrication of three-dimensional objects with nonzero Gaussian curvature from initially-flat sheets. △ Less

Submitted 28 June, 2020; v1 submitted 28 June, 2018; originally announced June 2018.

Journal ref: Soft Matter 14(11), 9744-9749 (2018)

Chance, long tails, and inference: a non-Gaussian, Bayesian theory of vocal learning in songbirds

Authors: Baohua Zhou, David Hofmann, Itai Pinkoviezky, Samuel J. Sober, Ilya Nemenman

Abstract: Traditional theories of sensorimotor learning posit that animals use sensory error signals to find the optimal motor command in the face of Gaussian sensory and motor noise. However, most such theories cannot explain common behavioral observations, for example that smaller sensory errors are more readily corrected than larger errors and that large abrupt (but not gradually introduced) errors lead… ▽ More Traditional theories of sensorimotor learning posit that animals use sensory error signals to find the optimal motor command in the face of Gaussian sensory and motor noise. However, most such theories cannot explain common behavioral observations, for example that smaller sensory errors are more readily corrected than larger errors and that large abrupt (but not gradually introduced) errors lead to weak learning. Here we propose a new theory of sensorimotor learning that explains these observations. The theory posits that the animal learns an entire probability distribution of motor commands rather than trying to arrive at a single optimal command, and that learning arises via Bayesian inference when new sensory information becomes available. We test this theory using data from a songbird, the Bengalese finch, that is adapting the pitch (fundamental frequency) of its song following perturbations of auditory feedback using miniature headphones. We observe the distribution of the sung pitches to have long, non-Gaussian tails, which, within our theory, explains the observed dynamics of learning. Further, the theory makes surprising predictions about the dynamics of the shape of the pitch distribution, which we confirm experimentally. △ Less

Submitted 23 July, 2017; originally announced July 2017.

Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces

Authors: Dirk Hofmann, Renato Neves, Pedro Nora

Abstract: It is known since the late 1960's that the dual of the category of compact Hausdorff spaces and continuous maps is a variety -- not finitary, but bounded by $\aleph_1$. In this note we show that the dual of the category of partially ordered compact spaces and monotone continuous maps is a $\aleph_1$-ary quasivariety, and describe partially its algebraic theory. Based on this description, we extend… ▽ More It is known since the late 1960's that the dual of the category of compact Hausdorff spaces and continuous maps is a variety -- not finitary, but bounded by $\aleph_1$. In this note we show that the dual of the category of partially ordered compact spaces and monotone continuous maps is a $\aleph_1$-ary quasivariety, and describe partially its algebraic theory. Based on this description, we extend these results to categories of Vietoris coalgebras and homomorphisms. We also characterise the $\aleph_1$-copresentable partially ordered compact spaces. △ Less

Submitted 16 June, 2017; originally announced June 2017.

MSC Class: 18B30; 18D20; 18C35; 54A05; 54F05

Convergence and quantale-enriched categories

Authors: Dirk Hofmann, Carla Reis

Abstract: Generalising Nachbin's theory of "topology and order", in this paper we continue the study of quantale-enriched categories equipped with a compact Hausdorff topology. We compare these $\mathcal{V}$-categorical compact Hausdorff spaces with ultrafilter-quantale-enriched categories, and show that the presence of a compact Hausdorff topology guarantees Cauchy completeness and (suitably defined) codir… ▽ More Generalising Nachbin's theory of "topology and order", in this paper we continue the study of quantale-enriched categories equipped with a compact Hausdorff topology. We compare these $\mathcal{V}$-categorical compact Hausdorff spaces with ultrafilter-quantale-enriched categories, and show that the presence of a compact Hausdorff topology guarantees Cauchy completeness and (suitably defined) codirected completeness of the underlying quantale enriched category. △ Less

Submitted 24 May, 2017; originally announced May 2017.

MSC Class: 03G10; 18B30; 18B35; 18C15; 18C20; 18D20; 54A05; 54A20; 54E45; 54E70

Reverse-engineering biological networks from large data sets

Authors: Joseph L. Natale, David Hofmann, Damian G. Hernández, Ilya Nemenman

Abstract: Much of contemporary systems biology owes its success to the abstraction of a network, the idea that diverse kinds of molecular, cellular, and organismal species and interactions can be modeled as relational nodes and edges in a graph of dependencies. Since the advent of high-throughput data acquisition technologies in fields such as genomics, metabolomics, and neuroscience, the automated inferenc… ▽ More Much of contemporary systems biology owes its success to the abstraction of a network, the idea that diverse kinds of molecular, cellular, and organismal species and interactions can be modeled as relational nodes and edges in a graph of dependencies. Since the advent of high-throughput data acquisition technologies in fields such as genomics, metabolomics, and neuroscience, the automated inference and reconstruction of such interaction networks directly from large sets of activation data, commonly known as reverse-engineering, has become a routine procedure. Whereas early attempts at network reverse-engineering focused predominantly on producing maps of system architectures with minimal predictive modeling, reconstructions now play instrumental roles in answering questions about the statistics and dynamics of the underlying systems they represent. Many of these predictions have clinical relevance, suggesting novel paradigms for drug discovery and disease treatment. While other reviews focus predominantly on the details and effectiveness of individual network inference algorithms, here we examine the emerging field as a whole. We first summarize several key application areas in which inferred networks have made successful predictions. We then outline the two major classes of reverse-engineering methodologies, emphasizing that the type of prediction that one aims to make dictates the algorithms one should employ. We conclude by discussing whether recent breakthroughs justify the computational costs of large-scale reverse-engineering sufficiently to admit it as a mainstay in the quantitative analysis of living systems. △ Less

Submitted 24 May, 2017; v1 submitted 17 May, 2017; originally announced May 2017.

Comments: 24 pages, 2 figures. To appear as Chapter 10 of 'Quantitative Biology: Theory, Computational Methods and Examples of Models'. Brian Munsky, Lev Tsimring, William S. Hlavacek, editors. MIT Press, 2017

Aspects of algebraic Algebras

Authors: Dirk Hofmann, Lurdes Sousa

Abstract: In this paper we investigate important categories lying strictly between the Kleisli category and the Eilenberg-Moore category, for a Kock-Zöberlein monad on an order-enriched category. Firstly, we give a characterisation of free algebras in the spirit of domain theory. Secondly, we study the existence of weighted (co)limits, both on the abstract level and for specific categories of domain theory… ▽ More In this paper we investigate important categories lying strictly between the Kleisli category and the Eilenberg-Moore category, for a Kock-Zöberlein monad on an order-enriched category. Firstly, we give a characterisation of free algebras in the spirit of domain theory. Secondly, we study the existence of weighted (co)limits, both on the abstract level and for specific categories of domain theory like the category of algebraic lattices. Finally, we apply these results to give a description of the idempotent split completion of the Kleisli category of the filter monad on the category of topological spaces. △ Less

Submitted 6 July, 2017; v1 submitted 13 January, 2017; originally announced January 2017.

Comments: small corrections

MSC Class: 06B23; 06B35; 18A35; 18A40; 18B30; 18C20; 18D20

Journal ref: Logical Methods in Computer Science, Volume 13, Issue 3 (July 10, 2017) lmcs:2644

Limits in Categories of Vietoris Coalgebras

Authors: Dirk Hofmann, Renato Neves, Pedro Nora

Abstract: Motivated by the need to reason about hybrid systems, we study limits in categories of coalgebras whose underlying functor is a Vietoris polynomial one - intuitively, the topological analogue of a Kripke polynomial functor. Among other results, we prove that every Vietoris polynomial functor admits a final coalgebra if it respects certain conditions concerning separation axioms and compactness. Wh… ▽ More Motivated by the need to reason about hybrid systems, we study limits in categories of coalgebras whose underlying functor is a Vietoris polynomial one - intuitively, the topological analogue of a Kripke polynomial functor. Among other results, we prove that every Vietoris polynomial functor admits a final coalgebra if it respects certain conditions concerning separation axioms and compactness. When the functor is restricted to some of the categories induced by these conditions the resulting categories of coalgebras are even complete. As a practical application, we use these developments in the specification and analysis of non-deterministic hybrid systems, in particular to obtain suitable notions of stability, and behaviour. △ Less

Submitted 6 February, 2017; v1 submitted 10 December, 2016; originally announced December 2016.

MSC Class: 18B20 ACM Class: F.1.1

Journal ref: Math. Struct. Comp. Sci. 29 (2019) 552-587

Topology from enrichment: the curious case of partial metrics

Authors: Dirk Hofmann, Isar Stubbe

Abstract: For any small quantaloid $\Q$, there is a new quantaloid $\D(\Q)$ of diagonals in $\Q$. If $\Q$ is divisible then so is $\D(\Q)$ (and vice versa), and then it is particularly interesting to compare categories enriched in $\Q$ with categories enriched in $\D(\Q)$. Taking Lawvere's quantale of extended positive real numbers as base quantale, $\Q$-categories are generalised metric spaces, and… ▽ More For any small quantaloid $\Q$, there is a new quantaloid $\D(\Q)$ of diagonals in $\Q$. If $\Q$ is divisible then so is $\D(\Q)$ (and vice versa), and then it is particularly interesting to compare categories enriched in $\Q$ with categories enriched in $\D(\Q)$. Taking Lawvere's quantale of extended positive real numbers as base quantale, $\Q$-categories are generalised metric spaces, and $\D(\Q)$-categories are generalised partial metric spaces, i.e.\ metric spaces in which self-distance need not be zero and with a suitably modified triangular inequality. We show how every small quantaloid-enriched category has a canonical closure operator on its set of objects: this makes for a functor from quantaloid-enriched categories to closure spaces. Under mild necessary-and-sufficient conditions on the base quantaloid, this functor lands in the category of topological spaces; and an involutive quantaloid is Cauchy-bilateral (a property discovered earlier in the context of distributive laws) if and only if the closure on any enriched category is identical to the closure on its symmetrisation. As this now applies to metric spaces and partial metric spaces alike, we demonstrate how these general categorical constructions produce the "correct" definitions of convergence and Cauchyness of sequences in generalised partial metric spaces. Finally we describe the Cauchy-completion, the Hausdorff contruction and exponentiability of a partial metric space, again by application of general quantaloid-enriched category theory. △ Less

Submitted 20 June, 2017; v1 submitted 8 July, 2016; originally announced July 2016.

Comments: Apart from some minor corrections, this second version contains a revised section on Cauchy sequences in a partial metric space

MSC Class: 06A15; 06F07; 18D20; 54E35

Enriched Stone-type dualities

Authors: Dirk Hofmann, Pedro Nora

Abstract: A common feature of many duality results is that the involved equivalence functors are liftings of hom-functors into the two-element space resp. lattice. Due to this fact, we can only expect dualities for categories cogenerated by the two-element set with an appropriate structure. A prime example of such a situation is Stone's duality theorem for Boolean algebras and Boolean spaces,the latter bein… ▽ More A common feature of many duality results is that the involved equivalence functors are liftings of hom-functors into the two-element space resp. lattice. Due to this fact, we can only expect dualities for categories cogenerated by the two-element set with an appropriate structure. A prime example of such a situation is Stone's duality theorem for Boolean algebras and Boolean spaces,the latter being precisely those compact Hausdorff spaces which are cogenerated by the two-element discrete space. In this paper we aim for a systematic way of extending this duality theorem to categories including all compact Hausdorff spaces. To achieve this goal, we combine duality theory and quantale-enriched category theory. Our main idea is that, when passing from the two-element discrete space to a cogenerator of the category of compact Hausdorff spaces, all other involved structures should be substituted by corresponding enriched versions. Accordingly, we work with the unit interval $[0,1]$ and present duality theory for ordered and metric compact Hausdorff spaces and (suitably defined) finitely cocomplete categories enriched in $[0,1]$. △ Less

Submitted 31 March, 2017; v1 submitted 30 April, 2016; originally announced May 2016.

MSC Class: 03G10; 18A40; 18B10; 18C15; 18C20; 18D20; 54H10

A cottage industry of lax extensions

Authors: Dirk Hofmann, Gavin J. Seal

Abstract: In this work, we describe an adjunction between the comma category of SET-based monads under the V-powerset monad and the category of associative lax extensions of SET-based monads to the category of V-relations. In the process, we give a general construction of the Kleisli extension of a monad to the category of V-relations. In this work, we describe an adjunction between the comma category of SET-based monads under the V-powerset monad and the category of associative lax extensions of SET-based monads to the category of V-relations. In the process, we give a general construction of the Kleisli extension of a monad to the category of V-relations. △ Less

Submitted 29 July, 2015; originally announced July 2015.

MSC Class: 18C20; 18D20; 18D35

Continuity as a computational effect

Authors: Renato Neves, Luis S. Barbosa, Dirk Hofmann, Manuel A. Martins

Abstract: The original purpose of component-based development was to provide techniques to master complex software, through composition, reuse and parametrisation. However, such systems are rapidly moving towards a level in which software becomes prevalently intertwined with (continuous) physical processes. A possible way to accommodate the latter in component calculi relies on a suitable encoding of contin… ▽ More The original purpose of component-based development was to provide techniques to master complex software, through composition, reuse and parametrisation. However, such systems are rapidly moving towards a level in which software becomes prevalently intertwined with (continuous) physical processes. A possible way to accommodate the latter in component calculi relies on a suitable encoding of continuous behaviour as (yet another) computational effect. This paper introduces such an encoding through a monad which, in the compositional development of hybrid systems, may play a role similar to the one played by the 1+, powerset, and distribution monads in the characterisation of partial, non deterministic and probabilistic components, respectively. This monad and its Kleisli category provide a setting in which the effects of continuity over (different forms of) composition can be suitably studied. △ Less

Submitted 1 August, 2016; v1 submitted 12 July, 2015; originally announced July 2015.

Comments: Journal of Logical and Algebraic Methods in Programming, 2016

Representable (T, V)-categories

Authors: Dimitri Chikhladze, Maria Manuel Clementino, Dirk Hofmann

Abstract: Working in the framework of $(T, V)$-categories, for a symmetric monoidal closed category $V$ and a (not necessarily cartesian) monad $T$, we present a common account to the study of ordered compact Hausdorff spaces and stably compact spaces on one side and monoidal categories and representable multicategories on the other one. In this setting we introduce the notion of dual for $(T, V)$-categorie… ▽ More Working in the framework of $(T, V)$-categories, for a symmetric monoidal closed category $V$ and a (not necessarily cartesian) monad $T$, we present a common account to the study of ordered compact Hausdorff spaces and stably compact spaces on one side and monoidal categories and representable multicategories on the other one. In this setting we introduce the notion of dual for $(T, V)$-categories. △ Less

Submitted 24 October, 2014; originally announced October 2014.

MSC Class: 18C20; 18D15; 18A05; 18B30; 18B35

Some notes on Esakia spaces

Authors: Dirk Hofmann, Pedro Nora

Abstract: Under Stone/Priestley duality for distributive lattices, Esakia spaces correspond to Heyting algebras which leads to the well-known dual equivalence between the category of Esakia spaces and morphisms on one side and the category of Heyting algebras and Heyting morphisms on the other. Based on the technique of idempotent split completion, we give a simple proof of a more general result involving c… ▽ More Under Stone/Priestley duality for distributive lattices, Esakia spaces correspond to Heyting algebras which leads to the well-known dual equivalence between the category of Esakia spaces and morphisms on one side and the category of Heyting algebras and Heyting morphisms on the other. Based on the technique of idempotent split completion, we give a simple proof of a more general result involving certain relations rather then functions as morphisms. We also extend the notion of Esakia space to all stably locally compact spaces and show that these spaces define the idempotent split completion of compact Hausdorff spaces. Finally, we exhibit connections with split algebras for related monads. △ Less

Submitted 5 August, 2014; originally announced August 2014.

Exponentiable approach spaces

Authors: Dirk Hofmann, Gavin J. Seal

Abstract: In this note we present a characterisation of exponentiable approach spaces in terms of ultrafilter convergence. In this note we present a characterisation of exponentiable approach spaces in terms of ultrafilter convergence. △ Less

Submitted 25 April, 2013; originally announced April 2013.

MSC Class: 54A05; 54B30; 54C35

Dualities in modal logic from the point of view of triples

Authors: Dirk Hofmann, Pedro Nora

Abstract: 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… ▽ More 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. △ Less

Submitted 22 February, 2013; originally announced February 2013.

MSC Class: 03G05; 03G10; 18A40; 18C15; 18C20; 54H10

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

Authors: Dirk Hofmann, Heiko Appel, Massimiliano Di Ventra, Stephan Kümmel

Abstract: 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 rou… ▽ More 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. △ Less

Submitted 6 December, 2013; v1 submitted 22 December, 2012; originally announced December 2012.

Journal ref: J. Phys. Chem. B, 2013, 117 (46), pp 14408-14419

The enriched Vietoris monad on representable spaces

Authors: Dirk Hofmann

Abstract: Employing a formal analogy between ordered sets and topological spaces, over the past years we have investigated a notion of cocompleteness for topological, approach and other kind of spaces. In this new context, the down-set monad becomes the filter monad, cocomplete ordered set translates to continuous lattice, distributivity means disconnectedness, and so on. Curiously, the dual(?) notion of co… ▽ More Employing a formal analogy between ordered sets and topological spaces, over the past years we have investigated a notion of cocompleteness for topological, approach and other kind of spaces. In this new context, the down-set monad becomes the filter monad, cocomplete ordered set translates to continuous lattice, distributivity means disconnectedness, and so on. Curiously, the dual(?) notion of completeness does not behave as the mirror image of the one of cocompleteness; and in this paper we have a closer look at complete spaces. In particular, we construct the "up-set monad" on representable spaces (in the sense of L. Nachbin for topological spaces, respectively C. Hermida for multicategories); we show that this monad is of Kock-Zöberlein type; we introduce and study a notion of weighted limit similar to the classical notion for enriched categories; and we describe the Kleisli category of our "up-set monad". We emphasize that these generic categorical notions and results can be indeed connected to more "classical" topology: for topological spaces, the "up-set monad" becomes the upper Vietoris monad, and the statement "$X$ is totally cocomplete if and only if $X^\mathrm{op}$ is totally complete" specialises to O. Wyler's characterisation of the algebras of the Vietoris monad on compact Hausdorff spaces. △ Less

Submitted 27 May, 2013; v1 submitted 21 December, 2012; originally announced December 2012.

Comments: One error in Example 1.9 is corrected; Section 4 works now without the assuming core-compactness

MSC Class: 18A05; 18B10; 18B30; 18B35; 18C15; 18C20; 18D15; 18D20; 54A05; 54A20; 54B20; 54B30

On a coalgebraic view on Logic

Authors: Dirk Hofmann, Manuel A. Martins

Abstract: In this paper we present methods of transition from one perspective on logic to others, and apply this in particular to obtain a coalgebraic presentation of logic. The central ingredient in this process is to view consequence relations as morphisms in a category. In this paper we present methods of transition from one perspective on logic to others, and apply this in particular to obtain a coalgebraic presentation of logic. The central ingredient in this process is to view consequence relations as morphisms in a category. △ Less

Submitted 4 February, 2012; originally announced February 2012.

Exponential Kleisli monoids as Eilenberg-Moore algebras

Authors: Dirk Hofmann, Frédéric Mynard, Gavin J. Seal

Abstract: Lax monoidal powerset-enriched monads yield a monoidal structure on the category of monoids in the Kleisli category of a monad. Exponentiable objects in this category are identified as those Kleisli monoids with algebraic structure. This result generalizes the classical identification of exponentiable topological spaces as those whose lattice of open subsets forms a continuous lattice. Lax monoidal powerset-enriched monads yield a monoidal structure on the category of monoids in the Kleisli category of a monad. Exponentiable objects in this category are identified as those Kleisli monoids with algebraic structure. This result generalizes the classical identification of exponentiable topological spaces as those whose lattice of open subsets forms a continuous lattice. △ Less

Submitted 7 August, 2013; v1 submitted 31 January, 2012; originally announced January 2012.

Comments: v2: minor typos corrected

MSC Class: 18C20; 18B30; 54A05

Probabilistic Metric Spaces as enriched categories

Authors: Dirk Hofmann, Carla David Reis

Abstract: In this paper we investigate Cauchy completeness and exponentiablity for quantale enriched categories, paying particular attention to probabilistic metric spaces. In this paper we investigate Cauchy completeness and exponentiablity for quantale enriched categories, paying particular attention to probabilistic metric spaces. △ Less

Submitted 5 January, 2012; originally announced January 2012.

MSC Class: 18A05; 18B35; 18D15; 18D20; 54A20; 54B30

A powerful computational crystallography method to study ice polymorphism

Authors: M. Cogoni, B. D'Aguanno, L. N. Kuleshova, D. W. M. Hofmann

Abstract: Classical Molecular Dynamics (MD) simulations are employed as a tool to investigate structural properties of ice crystals under several temperature and pressure conditions. All ice crystal phases are analyzed by means of a computational protocol based on a clustering approach following standard MD simulations. The MD simulations are performed by using a recently published classical interaction pot… ▽ More Classical Molecular Dynamics (MD) simulations are employed as a tool to investigate structural properties of ice crystals under several temperature and pressure conditions. All ice crystal phases are analyzed by means of a computational protocol based on a clustering approach following standard MD simulations. The MD simulations are performed by using a recently published classical interaction potential for oxygen and hydrogen in bulk water, derived from neutron scattering data, able to successfully describe complex phenomena such as proton hop** and bond formation/breaking. The present study demonstrates the ability of the interaction potential model to well describe most ice structures found in the phase diagram of water and to estimate the relative stability of sixteen known phases through a cluster analysis of simulated powder diagrams of polymorphs obtained from MD simulations. The proposed computational protocol is suited for automated crystal structure identification. △ Less

Submitted 5 May, 2011; originally announced May 2011.

Comments: RevTex 4.1, 7 figures - to be published in the Journal of Chemical Physics

Approaching metric domains

Authors: Gonçalo Gutierres, Dirk Hofmann

Abstract: 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… ▽ More 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. △ Less

Submitted 24 March, 2011; originally announced March 2011.

MSC Class: 54A05; 54A20; 54E35; 54B30; 18B35

A four for the price of one duality principle for distributive spaces

Authors: Dirk Hofmann

Abstract: In this paper we consider topological spaces as generalised orders and characterise those spaces which satisfy a (suitably defined) topological distributive law. Furthermore, we show that the category of these spaces is dually equivalent to a certain category of frames by simply observing that both sides represent the idempotents split completion of the same category. In this paper we consider topological spaces as generalised orders and characterise those spaces which satisfy a (suitably defined) topological distributive law. Furthermore, we show that the category of these spaces is dually equivalent to a certain category of frames by simply observing that both sides represent the idempotents split completion of the same category. △ Less

Submitted 13 February, 2011; originally announced February 2011.

MSC Class: 06A06; 06A75; 06D10; 06D22; 06D50; 06D75; 18C15; 54A20; 54F65

A Duality of Quantale-Enriched Categories

Authors: Dirk Hofmann, Pawel Waszkiewicz

Abstract: We describe a duality for quantale-enriched categories that extends the Lawson duality for continuous dcpos: for any saturated class J of modules that commute with certain weighted limits, and under an appropriate choice of morphisms, the category of J-cocomplete and J-continuous quantale-enriched categories is self-dual. We describe a duality for quantale-enriched categories that extends the Lawson duality for continuous dcpos: for any saturated class J of modules that commute with certain weighted limits, and under an appropriate choice of morphisms, the category of J-cocomplete and J-continuous quantale-enriched categories is self-dual. △ Less

Submitted 15 December, 2010; originally announced December 2010.

Comments: 16 pages

Duality for distributive space

Authors: Dirk Hofmann

Abstract: 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… ▽ More 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. △ Less

Submitted 20 September, 2010; originally announced September 2010.

MSC Class: 06B35; 06B30; 18D05; 18D15; 18D20; 18B35; 18C15; 54A05; 54A20; 54B30

Approximation in quantale-enriched categories

Authors: Dirk Hofmann, Pawel Waszkiewicz

Abstract: 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 (r… ▽ More 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. △ Less

Submitted 13 April, 2010; originally announced April 2010.

Comments: 17 pages

MSC Class: 06B35; 06D10; 06F07; 18B35; 18D20; 68Q55

Stone duality for topological theories

Authors: Dirk Hofmann, Isar Stubbe

Abstract: 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… ▽ More 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. △ Less

Submitted 28 October, 2010; v1 submitted 1 April, 2010; originally announced April 2010.

Comments: 16 pages, modifications here and there, final version