Source author record

Johannes Hofmann

Johannes Hofmann 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

26works
12topics
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

26 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.

preprint2016arXiv

An ECM-based energy-efficiency optimization approach for bandwidth-limited streaming kernels on recent Intel Xeon processors

We investigate an approach that uses low-level analysis and the execution-cache-memory (ECM) performance model in combination with tuning of hardware parameters to lower energy requirements of memory-bound applications. The ECM model is extended appropriately to deal with software optimizations such as non-temporal stores. Using incremental steps and the ECM model, we analytically quantify the impact of various single-core optimizations and pinpoint microarchitectural improvements that are relevant to energy consumption. Using a 2D Jacobi solver as example that can serve as a blueprint for other memory-bound applications, we evaluate our approach on the four most recent Intel Xeon E5 processors (Sandy Bridge-EP, Ivy Bridge-EP, Haswell-EP, and Broadwell-EP). We find that chip energy consumption can be reduced in the range of 2.0-2.4$\times$ on the examined processors.

preprint2016arXiv

Efimov correlations in strongly interacting Bose gases

We compute the virial coefficients, the contact parameters, and the momentum distribution of a strongly interacting three-dimensional Bose gas by means of a virial expansion up to third order in the fugacity, which takes into account three-body correlations exactly. Our results characterize the nondegenerate regime of the interacting Bose gas, where the thermal wavelength is smaller than the interparticle spacing but the scattering length may be arbitrarily large. We observe a rapid variation of the third virial coefficient as the scattering length is tuned across the three-atom and the atom-dimer thresholds. The momentum distribution at unitarity displays a universal high-momentum tail with a log-periodic momentum dependence, which is a direct signature of Efimov physics. We provide a quantitative description of the momentum distribution at high momentum as measured by P. Makotyn et al. [Nat. Phys. 10, 116 (2014)], and our calculations indicate that the lowest trimer state might not be occupied in the experiment. Our results allow for a spectroscopy of Efimov states in the unitary limit.

preprint2016arXiv

Non-Markovian quantum friction of bright solitons in superfluids

We explore the quantum dynamics of a bright matter-wave soliton in a quasi-one-dimensional bosonic superfluid with attractive interactions. Specifically, we focus on the dissipative forces experienced by the soliton due to its interaction with Bogoliubov excitations. Using the collective coordinate approach and the Keldysh formalism, a Langevin equation of motion for the soliton is derived from the first principle. The equation contains a stochastic Langevin force (associated with quantum noise) and a non-local in time dissipative force, which appears due to inelastic scattering of Bogoliubov quasiparticles off of the moving soliton. It is shown that Ohmic friction (i.e., a term proportional to the soliton's velocity) is absent in the integrable setup. However, the Markovian approximation gives rise to the Abraham-Lorentz force (i.e., a term proportional to the derivative of the soliton's acceleration), which is known from classical electrodynamics of a charged particle interacting with its own radiation. These Abraham-Lorentz equations famously contain a fundamental causality paradox, where the soliton/particle interacts with excitations/radiation originating from future events. We show, however, that the causality paradox is an artifact of the Markovian approximation, and our exact non-Markovian dissipative equations give rise to physical trajectories. We argue that the quantum friction discussed here should be observable in current quantum gas experiments.

preprint2016arXiv

Parity effect in a mesoscopic Fermi gas

We develop a quantitative analytic theory that accurately describes the odd-even effect observed experimentally in a one-dimensional, trapped Fermi gas with a small number of particles [G. Zürn et al., Phys. Rev. Lett. 111, 175302 (2013)]. We find that the underlying physics is similar to the parity effect known to exist in ultrasmall mesoscopic superconducting grains and atomic nuclei. However, in contrast to superconducting nanograins, the density (Hartree) correction dominates over the superconducting pairing fluctuations and leads to a much more pronounced odd-even effect in the mesoscopic, trapped Fermi gas. We calculate the corresponding parity parameter and separation energy using both perturbation theory and a path integral framework in the mesoscopic limit, generalized to account for the effects of the trap, pairing fluctuations, and Hartree corrections. Our results are in an excellent quantitative agreement with experimental data and exact diagonalization. Finally, we discuss a few-to-many particle crossover between the perturbative mesoscopic regime and non-perturbative many-body physics that the system approaches in the thermodynamic limit.

preprint2016arXiv

Surface plasmon polaritons in topological Weyl semimetals

We consider theoretically surface plasmon polaritons in Weyl semimetals. These materials contain pairs of band touching points - Weyl nodes - with a chiral topological charge, which induces an optical anisotropy and anomalous transport through the chiral anomaly. We show that these effects, which are not present in ordinary metals, have a direct fundamental manifestation in the surface plasmon dispersion. The retarded Weyl surface plasmon dispersion depends on the separation of the Weyl nodes in energy and momentum space. For Weyl semimetals with broken time-reversal symmetry, the distance between the nodes acts as an effective applied magnetic field in momentum space, and the Weyl surface plasmon polariton dispersion is strikingly similar to magnetoplasmons in ordinary metals. In particular, this implies the existence of nonreciprocal surface modes. In addition, we obtain the nonretarded Weyl magnetoplasmon modes, which acquire an additional longitudinal magnetic-field dependence. These predicted surface plasmon results are observable manifestations of the chiral anomaly in Weyl semimetals and might have technological applications.

preprint2015arXiv

Analysis of Intel's Haswell Microarchitecture Using The ECM Model and Microbenchmarks

This paper presents an in-depth analysis of Intel's Haswell microarchitecture for streaming loop kernels. Among the new features examined is the dual-ring Uncore design, Cluster-on-Die mode, Uncore Frequency Scaling, core improvements as new and improved execution units, as well as improvements throughout the memory hierarchy. The Execution-Cache-Memory diagnostic performance model is used together with a generic set of microbenchmarks to quantify the efficiency of the microarchitecture. The set of microbenchmarks is chosen such that it can serve as a blueprint for other streaming loop kernels.

preprint2015arXiv

Interacting Dirac liquid in three-dimensional semimetals

We study theoretically the properties of the interacting Dirac liquid, a novel three-dimensional many-body system which was recently experimentally realized and in which the electrons have a chiral linear relativistic dispersion and a mutual Coulomb interaction. We find that the "intrinsic" Dirac liquid, where the Fermi energy lies exactly at the nodes of the band dispersion, displays unusual Fermi liquid properties similar to graphene, whereas the "extrinsic" system with finite detuning or doping behaves as a standard Landau Fermi liquid. We present analytical and numerical results for the self-energy and spectral function based on both Hartree-Fock and the random phase approximation (RPA) theories and compute the quasiparticle lifetime, residue, and renormalized Fermi velocity of the extrinsic Dirac liquid. A full numerical calculation of the extrinsic RPA spectral function indicates that the Fermi liquid description breaks down for large-energy excitations. Furthermore, we find an additional plasmaron quasiparticle sideband in the spectral function which is discontinuous around the Fermi energy. Our predictions should be observable in ARPES and STM measurements.

preprint2015arXiv

Many-body effects and ultraviolet renormalization in three-dimensional Dirac materials

We develop a theory for electron-electron interaction-induced many-body effects in three dimensional (3D) Weyl or Dirac semimetals, including interaction corrections to the polarizability, electron self-energy, and vertex function, up to second order in the effective fine structure constant of the Dirac material. These results are used to derive the higher-order ultraviolet renormalization of the Fermi velocity, effective coupling, and quasiparticle residue, revealing that the corrections to the renormalization group (RG) flows of both the velocity and coupling counteract the leading-order tendencies of velocity enhancement and coupling suppression at low energies. This in turn leads to the emergence of a critical coupling above which the interaction strength grows with decreasing energy scale. In addition, we identify a range of coupling strengths below the critical point in which the Fermi velocity varies non-monotonically as the low-energy, non-interacting fixed point is approached. Furthermore, we find that while the higher-order correction to the flow of the coupling is generally small compared to the leading order, the corresponding correction to the velocity flow carries an additional factor of the Dirac cone flavor number (the multiplicity of electron species, e.g. ground-state valley degeneracy arising from the band structure) relative to the leading-order result. Thus, for materials with a larger multiplicity, the regime of velocity non-monotonicity is reached for modest values of the coupling strength.

preprint2015arXiv

Plasmon signature in Dirac-Weyl liquids

We consider theoretically as a function of temperature the plasmon mode arising in three-dimensional Dirac liquids, i.e., systems with linear chiral relativistic single-particle dispersion, within the random phase approximation. We find that whereas no plasmon mode exists in the intrinsic (undoped) system at zero temperature, there is a well-defined finite-temperature plasmon with superlinear temperature dependence, rendering the plasmon dispersion widely tunable with temperature. The plasmon dispersion contains a logarithmic correction due to the ultraviolet-logarithmic renormalization of the electron charge, manifesting a fundamental many-body interaction effect as in quantum electrodynamics. The plasmon dispersion of the extrinsic (doped) system displays a minimum at finite temperature before it crosses over to the superlinear intrinsic behavior at higher temperature, implying that the high-temperature plasmon is a universal feature of Dirac liquids irrespective of doping. This striking characteristic temperature dependence of intrinsic Dirac plasmons along with the logarithmic renormalization is a unique manifestation of the three-dimensional relativistic Dirac nature of quasiparticle excitations and serves as an experimentally observable signature of three-dimensional Dirac materials.

preprint2014arXiv

Coarsening dynamics of binary Bose condensates

We study the dynamics of domain formation and coarsening in a binary Bose-Einstein condensate that is quenched across a miscible-immiscible phase transition. The late-time evolution of the system is universal and governed by scaling laws for the correlation functions. We numerically determine the scaling forms and extract the critical exponents that describe the growth rate of domain size and autocorrelations. Our data is consistent with inviscid hydrodynamic domain growth, which is governed by a universal dynamical critical exponent of $1/z = 0.68(2)$. In addition, we analyze the effect of domain wall configurations which introduce a nonanalytic term in the short-distance structure of the pair correlation function, leading to a high-momentum "Porod"-tail in the static structure factor, which can be measured experimentally.

preprint2014arXiv

Comparing the Performance of Different x86 SIMD Instruction Sets for a Medical Imaging Application on Modern Multi- and Manycore Chips

Single Instruction, Multiple Data (SIMD) vectorization is a major driver of performance in current architectures, and is mandatory for achieving good performance with codes that are limited by instruction throughput. We investigate the efficiency of different SIMD-vectorized implementations of the RabbitCT benchmark. RabbitCT performs 3D image reconstruction by back projection, a vital operation in computed tomography applications. The underlying algorithm is a challenge for vectorization because it consists, apart from a streaming part, also of a bilinear interpolation requiring scattered access to image data. We analyze the performance of SSE (128 bit), AVX (256 bit), AVX2 (256 bit), and IMCI (512 bit) implementations on recent Intel x86 systems. A special emphasis is put on the vector gather implementation on Intel Haswell and Knights Corner microarchitectures. Finally we discuss why GPU implementations perform much better for this specific algorithm.

preprint2014arXiv

Pairing effects in the non-degenerate limit of the two-dimensional Fermi gas

The spectral function of a spin-balanced two-dimensional Fermi gas with short-range interactions is calculated by means of a quantum cluster expansion. Good qualitative agreement is found with a recent experiment by Feld $\textit{et al.}$ [Nature (London) $\textbf{480}$, 75 (2011)]. The effects of pairing are clearly visible in the density of states, which displays a suppression of spectral weight due to the formation of a two-body bound state. In addition, the momentum distribution and the radio-frequency spectrum are derived, which are in excellent agreement with exact universal results. It is demonstrated that in the limit of high temperature, the quasiparticle excitations are well defined, allowing for a kinetic description of the gas.

preprint2014arXiv

Why does graphene behave as a weakly interacting system?

We address the puzzling weak-coupling perturbative behavior of graphene interaction effects as manifested experimentally, in spite of the effective fine structure constant being large, by calculating the effect of Coulomb interactions on the quasiparticle properties to next-to-leading order in the random phase approximation (RPA). The focus of our work is graphene suspended in vacuum, where electron-electron interactions are strong and the system is manifestly in a nonperturbative regime. We report results for the quasiparticle residue and the Fermi velocity renormalization at low carrier density. The smallness of the next-to-leading order corrections that we obtain demonstrates that the RPA theory converges rapidly and thus, in contrast to the usual perturbative expansion in the bare coupling constant, constitutes a quantitatively predictive theory of graphene many-body physics for any coupling strength.

preprint2013arXiv

Performance Engineering for a Medical Imaging Application on the Intel Xeon Phi Accelerator

We examine the Xeon Phi, which is based on Intel's Many Integrated Cores architecture, for its suitability to run the FDK algorithm--the most commonly used algorithm to perform the 3D image reconstruction in cone-beam computed tomography. We study the challenges of efficiently parallelizing the application and means to enable sensible data sharing between threads despite the lack of a shared last level cache. Apart from parallelization, SIMD vectorization is critical for good performance on the Xeon Phi; we perform various micro-benchmarks to investigate the platform's new set of vector instructions and put a special emphasis on the newly introduced vector gather capability. We refine a previous performance model for the application and adapt it for the Xeon Phi to validate the performance of our optimized hand-written assembly implementation, as well as the performance of several different auto-vectorization approaches.

preprint2013arXiv

Short-distance properties of Coulomb systems

We use the operator product expansion to derive exact results for the momentum distribution and the static structure factor at high momentum for a jellium model of electrons in both two and three dimensions. It is shown that independent of the precise state of the Coulomb system and for arbitrary temperatures, the asymptotic behavior is a power law in the momentum, whose strength is determined by the contact value of the pair distribution function $g(0)$. The power-law tails are quantum effects which vanish in the classical limit $\hbar \to 0$. A leading order virial expansion shows that the classical and the high-temperature limit do not agree.

preprint2012arXiv

Quantum anomaly, universal relations, and breathing mode of a two-dimensional Fermi gas

In this Letter, we show that the classical SO(2,1) symmetry of a harmonically trapped Fermi gas in two dimensions is broken by quantum effects. The anomalous correction to the symmetry algebra is given by a two-body operator that is well known as the contact. Taking into account this modification, we are able to derive the virial theorem for the system and a universal relation for the pressure of a homogeneous gas. The existence of an undamped breathing mode is associated with the classical symmetry. We provide an estimate for the anomalous frequency shift of this oscillation at zero temperature and compare the result with a recent experiment by [E. Vogt et al., Phys. Rev. Lett. 108, 070404 (2012)]. Discrepancies are attributed to finite temperature effects.

preprint2011arXiv

Current response, structure factor and hydrodynamic quantities of a two- and three-dimensional Fermi gas from the operator-product expansion

We apply the operator-product expansion to determine the asymptotic form of the current response of a Fermi gas in two and three dimensions. The leading-order term away from the one-particle peak is proportional to a quantity known as the contact, the coefficient of which is determined exactly. We also calculate the dynamic structure factor and the high-frequency tails of the spectral viscosities as a function of the scattering length. Our results are used to derive certain sum rules for the viscosities.

preprint2010arXiv

Dimensional reduction in quantum field theories at finite temperature and density

In this work we present two correspondences between the massless Gross-Neveu model with one or two coupling constants in 1+1 dimensions and nonrelativistic field theories in 3+1 dimensions. It is shown that on a mean-field level the massless Gross-Neveu model can be mapped onto BCS theory provided that translational invariance of the condensate is assumed. The generalized massless Gross-Neveu model with two coupling constants is mapped onto a quasi one-dimensional extended Hubbard model used in the description of spin-Peierls systems. It is shown that the particle hole symmetry of the Hubbard model implies self-consistency of the condensate. The dimensional reduction allows an identification of the phase diagrams of the models.