Source author record

Marcus Daum

Marcus Daum appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

2works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

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

2 published item(s)

preprint2021arXiv

Neutron scattering investigation of proposed Kosterlitz-Thouless transitions in the triangular-lattice Ising antiferromagnet TmMgGaO4

The transverse-field Ising model on the triangular lattice is expected to host an intermediate finite-temperature Kosterlitz-Thouless (KT) phase through a mapping of the spins on each triangular unit to a complex order parameter. TmMgGaO$_4$ is a candidate material to realize such physics due to the non-Kramers nature of Tm$^{3+}$ ion and the resulting two-singlet single-ion ground state. Using inelastic neutron scattering, we confirm this picture by determining the leading parameters of the low-energy effective Hamiltonian of TmMgGaO$_4$. Subsequently, we track the predicted KT phase and related transitions by inspecting the field and temperature dependence of the ac susceptibility. We further probe the spin correlations in both reciprocal space and real space via single crystal neutron diffraction and magnetic total scattering techniques, respectively. Magnetic pair distribution function analysis provides evidence for the formation of vortex-antivortex pairs that characterize the proposed KT phase around 5~K. Although structural disorder influences the field-induced behavior of TmMgGaO$_4$, the magnetism in zero field appears relatively free from these effects. These results position TmMgGaO$_4$ as a strong candidate for a solid-state realization of KT physics in a dense spin system.

preprint2012arXiv

Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code

Reliability in terms of functional properties from the safety-liveness spectrum is an indispensable requirement of low-level operating-system (OS) code. However, with evermore complex and thus less predictable hardware, quantitative and probabilistic guarantees become more and more important. Probabilistic model checking is one technique to automatically obtain these guarantees. First experiences with the automated quantitative analysis of low-level operating-system code confirm the expectation that the naive probabilistic model checking approach rapidly reaches its limits when increasing the numbers of processes. This paper reports on our work-in-progress to tackle the state explosion problem for low-level OS-code caused by the exponential blow-up of the model size when the number of processes grows. We studied the symmetry reduction approach and carried out our experiments with a simple test-and-test-and-set lock case study as a representative example for a wide range of protocols with natural inter-process dependencies and long-run properties. We quickly see a state-space explosion for scenarios where inter-process dependencies are insignificant. However, once inter-process dependencies dominate the picture models with hundred and more processes can be constructed and analysed.