Researcher profile

Johannes Hofmann

Johannes Hofmann contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
8topics
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

8 published item(s)

preprint2026arXiv

Instanton theory and fluctuation corrections to the thermal nucleation rate of a ferromagnetic superfluid

We provide a field-theoretical description of thermal nucleation in a one-dimensional ferromagnetic superfluid, a quantum-gas analogue of false-vacuum decay. The rate at which ground-state domains nucleate follows an Arrhenius law, with an exponential factor determined by a saddle-point of the energy functional -- the critical droplet or instanton -- and a magnitude fixed by small fluctuations about this configuration. We evaluate both contributions over the full parameter space, using a Gel'fand-Yaglom approach to reduce the calculation of the fluctuation spectrum to an initial-value problem. In addition, we obtain a closed-form expression for critical droplets close to the coexistence line, and use it to formulate an effective theory of domain nucleation and growth as a Kramers escape problem for the droplet size. Our results determine the parametric dependence of the nucleation rate and predict its signature in experimental images of a nucleating gas, increasing the rigor of comparisons between nucleation theory and experiment.

preprint2022arXiv

Corrections to reaction-diffusion dynamics above the upper critical dimension

Reaction-diffusion models are common in many areas of statistical physics, where they describe the late-time dynamics of chemical reactions. Using a Bose gas representation, which maps the real-time dynamics of the reactants to the imaginary-time evolution of an interacting Bose gas, we consider corrections to the late-time scaling of $k$-particle annihilation processes $k A \to \emptyset$ above the upper critical dimension, where mean-field theory sets the leading order. We establish that the leading corrections are not given by a small renormalization of the reaction rate due to $k$-particle memory effects, but instead set by higher-order correlation functions that capture memory effects of sub-clusters of reactants. Drawing on methods developed for ultracold quantum gases and nuclear physics, we compute these corrections exactly for various annihilation processes with $k>2$.

preprint2022arXiv

Nonrelativistic Conformal Invariance in Mesoscopic Two-Dimensional Fermi Gases

Two-dimensional Fermi gases with universal short-range interactions are known to exhibit a quantum anomaly, where a classical scale and conformal invariance is broken by quantum effects at strong coupling. We argue that in a quasi two-dimensional geometry, a conformal window remains at weak interactions. Using degenerate perturbation theory, we verify the conformal symmetry by computing the energy spectrum of mesoscopic particle ensembles in a harmonic trap, which separates into conformal towers formed by so-called primary states and their center-of-mass and breathing-mode excitations, the latter having excitation energies at precisely twice the harmonic oscillator energy. In addition, using Metropolis importance sampling, we compute the hyperradial distribution function of the many-body wave functions, which are predicted by the conformal symmetry in closed analytical form. The weakly interacting Fermi gas constitutes a system where the nonrelativistic conformal symmetry can be revealed using elementary methods, and our results are testable in current experiments on mesoscopic Fermi gases.

preprint2021arXiv

libtxsize -- a library for automated Bitcoin transaction-size estimates

This paper presents libtxsize, a library to estimate the size requirements of arbitrary Bitcoin transactions. To account for different use cases, the library provides estimates in bytes, virtual bytes, and weight units. In addition to all currently existing input, output, and witness types, the library also supports estimates for the anticipated Pay-to-Taproot transaction type, so that estimates can be used as input for models attempting to quantify the impact of Taproot on Bitcoin's scalability. libtxsize is based on analytic models, whose credibility is established through first-principle analysis of transaction types as well as exhaustive empirical validation. Consequently, the paper can also serve as reference for different Bitcoin data and transaction types, their semantics, and their size requirements (both from an analytic and empirical point of view).

preprint2021arXiv

Universal relations for dipolar quantum gases

We establish that two-dimensional dipolar quantum gases admit a universal description, i.e., their thermodynamic properties are independent of details of the interaction at short distances. The only relevant parameters are the dipole length as well as the scattering length of the combined short-range plus dipolar interaction potential. We derive adiabatic relations that link the change in the thermodynamic potentials with respect to the scattering length and the dipole length to a generalized Tan contact parameter and a new dipolar contact, which involves an integral of a short-distance regularized pair distribution function. These two quantities determine the scale anomaly in the difference between pressure and energy density and also the internal energy in the presence of a harmonic confinement. For a weak transverse confinement, configurations with attractive interactions appear, which lead to a density-wave instability beyond a critical strength of the dipolar interaction. We show that this instability essentially coincides with the onset of a roton minimum in the excitation spectrum and may be understood in terms of a quantum analog of the Hansen-Verlet criterion for freezing of a classical fluid.

preprint2020arXiv

High-temperature expansion of the viscosity in interacting quantum gases

We compute the frequency-dependent shear and bulk viscosity spectral functions of an interacting Fermi gas in a quantum virial expansion up to second quadratic order in the fugacity parameter $z=e^{βμ}$, which is small at high temperatures. Calculations are carried out using a diagrammatic finite-temperature field-theoretic framework, in which the analytic continuation from Matsubara to real frequencies is carried out in closed analytic form. Besides a possible zero-frequency Drude peak, our results for the spectral functions show a broad continuous spectrum at all frequencies with an additional bound-state contribution for frequencies larger than the dimer-breaking energy. Our results are consistent with various sum rules and universal high-frequency tails. In the low-frequency limit, the shear viscosity spectral function is recast as a collision integral, which reproduces known results for the static shear viscosity from kinetic theory. Our findings for the static bulk viscosity of a Fermi gas near unitarity, however, show a nonanalytic dependence on the scattering length, at variance with kinetic theory.

preprint2020arXiv

Understanding HPC Benchmark Performance on Intel Broadwell and Cascade Lake Processors

Hardware platforms in high performance computing are constantly getting more complex to handle even when considering multicore CPUs alone. Numerous features and configuration options in the hardware and the software environment that are relevant for performance are not even known to most application users or developers. Microbenchmarks, i.e., simple codes that fathom a particular aspect of the hardware, can help to shed light on such issues, but only if they are well understood and if the results can be reconciled with known facts or performance models. The insight gained from microbenchmarks may then be applied to real applications for performance analysis or optimization. In this paper we investigate two modern Intel x86 server CPU architectures in depth: Broadwell EP and Cascade Lake SP. We highlight relevant hardware configuration settings that can have a decisive impact on code performance and show how to properly measure on-chip and off-chip data transfer bandwidths. The new victim L3 cache of Cascade Lake and its advanced replacement policy receive due attention. Finally we use DGEMM, sparse matrix-vector multiplication, and the HPCG benchmark to make a connection to relevant application scenarios.

preprint2018arXiv

Automated Instruction Stream Throughput Prediction for Intel and AMD Microarchitectures

An accurate prediction of scheduling and execution of instruction streams is a necessary prerequisite for predicting the in-core performance behavior of throughput-bound loop kernels on out-of-order processor architectures. Such predictions are an indispensable component of analytical performance models, such as the Roofline and the Execution-Cache-Memory (ECM) model, and allow a deep understanding of the performance-relevant interactions between hardware architecture and loop code. We present the Open Source Architecture Code Analyzer (OSACA), a static analysis tool for predicting the execution time of sequential loops comprising x86 instructions under the assumption of an infinite first-level cache and perfect out-of-order scheduling. We show the process of building a machine model from available documentation and semi-automatic benchmarking, and carry it out for the latest Intel Skylake and AMD Zen micro-architectures. To validate the constructed models, we apply them to several assembly kernels and compare runtime predictions with actual measurements. Finally we give an outlook on how the method may be generalized to new architectures.