arXiv subjects

Martin Lang

Publications and source records attributed to Martin Lang.

16 recordsLinked to original sources

arXiv2026

A Community-Developed Domain Ontology for Magnetic Materials

Magnetic materials play a crucial role in energy-related technologies, mobility, and sensing, but their complex multiscale behaviour and the coexistence of multiple unit systems pose persistent challenges for data exchange and interpretation. This paper presents a domain ontology for magnetic materials, developed within the European Union funded Magnetic Multiscale Modelling Suite (MaMMoS) project and aligned with the Elementary Multiperspective Material Ontology (EMMO). The ontology formalises intrinsic, hysteretic, and microstructural properties across multiple length scales and supports semantic interoperability between simulation tools, databases, and experimental workflows. One key feature of the ontology is its code-based and human-readable structure, enabled through the EMMOntoPy framework, which allows for direct manipulation and versioning without relying on opaque .owl or .ttl files. This facilitates collaborative development and improves transparency. The ontology supports FAIR (Findable, Accessible, Interoperable, Reusable) principles and is openly available for extension by the community. The aim of the MaMMoS project is to foster reproducibility, improve traceability, and promote the adoption of ontology in the magnetism domain. The ontology that has been developed already serves as the foundation for multiple software tools that handle all kinds of magnetic material data.

cond-mat.mtrl-sci↗

arXiv2026

Beyond Stoner-Wohlfarth: Machine-Learning Models and Symbolic Regression of Hard-Magnet Properties

Predicting the extrinsic properties from hysteresis loops of a magnetic grain, namely the coercive field, remanent magnetisation, and maximum energy product, from its intrinsic micromagnetic parameters is a central problem in permanent-magnet modelling. Established analytical models provide useful estimates but often neglect nonuniform magnetisation processes, whereas direct micromagnetic simulations are computationally expensive. In this work, we train machine-learning models on 12012 micromagnetic simulations of an idealised cubic grain, spanning broad ranges of the saturation magnetisation, exchange constant, and uniaxial anisotropy constant. Benchmarked against the analytical models on identical held-out data, the machine-learning models predict all three extrinsic properties with substantially lower errors. Symbolic regression recovers the Kronm\"uller form of the coercive field, with an effective demagnetising factor that depends on the material, and finds new closed-form expressions for the remanence and maximum energy product. Each law contains at most two fitted constants yet approaches the accuracy of the machine-learning models. We also investigate the inverse problem of recovering the intrinsic parameters from the three extrinsic properties. The saturation magnetisation and anisotropy constant are recovered accurately, whereas the exchange constant is not, because it influences the extrinsic properties only weakly. The trained models are released through the mammos-ai Python package, enabling thousands of candidate parameter sets to be screened in seconds rather than the hours or days required by direct micromagnetic simulation.

cond-mat.str-el↗

arXiv2026

Eigenmodes of synthetic antiferromagnetic skyrmions

We investigate the excitation modes of confined synthetic-antiferromagnetic (SAF) skyrmions using micromagnetic eigenvalue and ringdown simulations. Starting from a single skyrmion in a ferromagnetic layer, where the lowest-frequency modes are a gyrotropic and a breathing mode, we study how antiferromagnetic interlayer coupling modifies the dynamics in SAF bilayers. We consider several geometries: single SAF skyrmions in square and rectangular confinement, unequal layer thicknesses, and strips containing multiple skyrmions. The antiferromagnetic coupling strongly modifies the low-frequency dynamics. The square geometry exhibits two nearly degenerate gyrotropic modes, where in each both layers have the same rotation sense. In rectangular geometries, we instead find nearly linear SAF skyrmion translation emerging from opposite gyration sense in the two layers. These translational modes become the characteristic low-frequency excitations of SAF skyrmion chains. For skyrmion chains, we identify collective translational and breathing modes with standing-wave-like spatial profiles. Beyond ferromagnetic-like breathing modes, the SAF geometry supports breathing oscillations in which the two layers oscillate out of phase. We further demonstrate signal propagation along extended SAF skyrmion chains with propagation velocities comparable to ferromagnetic skyrmion chains. These results provide a systematic description of the collective dynamics of SAF skyrmions arising from the interplay of geometric confinement, intralayer, and interlayer coupling.

cond-mat.mes-hall↗

arXiv2025

$B$-meson decay width up to $1/m_b^3$ corrections within and beyond the Standard Model

Starting from the most general effective $|\Delta B| = 1$ Hamiltonian describing non-leptonic $b$-quark decays $b\to q_1 \bar q_2 q_3$, we compute analytic expressions for all matching coefficients of the two-quark operator contributions in the heavy quark expansion~(HQE) of a $B$ meson, up to mass-dimension-six. In addition, we calculate the weak-annihilation contributions, which enter the matching of four-quark operators in the HQE at dimension-six and were previously missing. Our results complete the calculation of beyond Standard Model (BSM) effects in non-leptonic, tree-level, $b$-quark decays relevant for $B$ meson lifetimes and lifetime ratios such as $\tau(B^0_s)/\tau(B^0_d)$. Such BSM contributions naturally arise in generic extensions of the Standard Model (SM) that aim to address the observed tensions between experimental measurements and theoretical predictions based on QCD factorisation in several colour-allowed non-leptonic $B$-meson decays. As a by-product of our calculation, we also determine the matching coefficients in the HQE induced by the QCD-penguin operators within the SM, including both the interference between current-current and penguin operators and the contributions quadratic in the penguin operators. Owing to the suppression of the QCD-penguin Wilson coefficients within the SM, these effects are typically regarded as corrections of order $\alpha_s$ and $\alpha_s^2$ in the strong coupling, respectively. Our results reproduce the known expressions at dimension-three and provide new results for the coefficients of the chromomagnetic operator at dimension-five and of the Darwin operator at dimension-six.

hep-ph↗

arXiv2025

Subatomic Heroes

Sharing the amazing achievements of the (particle) physics world with the general public is at the heart of the mission of the Subatomic Heroes, based at the University of Siegen, Germany. Originally this started out as an endeavor of theoretical particle physics, now we are steadily spreading out to cover and include more branches of physics and science. Our activities range from merging art with public physics lectures via marvelous artistic performances at the local theater, over dedicated events for high-school students, to our Subatomic Heroes channel on Instagram and TikTok where you may also find out when and where our famous "hadronic ice-cream" will be served next! So follow us on https://www.instagram.com/subatomic_heroes and https://www.tiktok.com/@subatomic_heroes.

physics.ed-ph↗

arXiv2024

HQET sum rules for matrix elements of dimension-six four-quark operators for meson lifetimes within and beyond the Standard Model

Theory predictions of heavy-hadron lifetime ratios critically depend on precise determinations of the dimension-six spectator effects arising from the double insertion of the weak effective $|\Delta B| = 1$ Hamiltonian. In the presence of beyond-standard-model (BSM) operators, the resulting $\Delta B = 0$ Hamiltonian features additional four-quark operators whose matrix elements need to be determined using non-perturbative methods. We present for the first time results for the non-perturbative hadronic matrix elements of the four-quark operators relevant for the description of the meson lifetime ratio $\tau\left(B^+\right) / \tau\left(B_d\right)$, obtained using heavy-quark effective theory (HQET) sum rules with the full BSM effective Hamiltonian. In addition, we recompute and update the bag parameters for the Standard Model operators.

hep-ph↗

arXiv2024

Discretization anisotropy in micromagnetic simulations

Finite difference based micromagnetic simulations are a powerful tool for the computational investigation of magnetic structures. In this paper, we demonstrate how the discretization of continuous micromagnetic equations introduces a numerical 'discretization anisotropy'. We demonstrate that, in certain scenarios, this anisotropy operates on an energy scale comparable to that of intrinsic physical phenomena. Furthermore, we illustrate that selecting appropriate finite difference stencils and minimizing the size of the discretization cells are effective strategies to mitigate discretization anisotropy.

cond-mat.mtrl-sci↗

arXiv2024

NeuralMag: an open-source nodal finite-difference code for inverse micromagnetics

We present NeuralMag, a flexible and high-performance open-source Python library for micromagnetic simulations. NeuralMag leverages modern machine learning frameworks, such as PyTorch and JAX, to perform efficient tensor operations on various parallel hardware, including CPUs, GPUs, and TPUs. The library implements a novel nodal finite-difference discretization scheme that provides improved accuracy over traditional finite-difference methods without increasing computational complexity. NeuralMag is particularly well-suited for solving inverse problems, especially those with time-dependent objectives, thanks to its automatic differentiation capabilities. Performance benchmarks show that NeuralMag is competitive with state-of-the-art simulation codes while offering enhanced flexibility through its Python interface and integration with high-level computational backends.

physics.comp-ph↗

arXiv2023

Controlling stable Bloch points with electric currents

The Bloch point is a point singularity in the magnetisation configuration, where the magnetisation vanishes. It can exist as an equilibrium configuration and plays an important role in many magnetisation reversal processes. In the present work, we focus on manipulating Bloch points in a system that can host stable Bloch points - a two-layer FeGe nanostrip with opposite chirality of the two layers. We drive Bloch points using spin-transfer torques and find that Bloch points can move collectively without any Hall effect and report that Bloch points are repelled from the sample boundaries and each other. We study pinning of Bloch points at wedge-shaped constrictions (notches) in the nanostrip and demonstrate that arrays of Bloch points can be moved past a series of notches in a controlled manner by applying consecutive current pulses of different strength. Finally, we simulate a T-shaped geometry and demonstrate that a Bloch point can be moved along different paths by applying current between suitable strip ends.

cond-mat.mes-hall↗

arXiv2023

Simulating Bloch points using micromagnetic and Heisenberg models

Magnetic Bloch points (BPs) are highly confined magnetization configurations, that often occur in transient spin dynamics processes. However, opposing chiralities of adjacent layers for instance in a FeGe bilayer stack can stabilize such magnetic BPs at the layer interface. These BPs configurations are metastable and consist of two coupled vortices (one in each layer) with same circularity and opposite polarity. Each vortex is stabilized by opposite sign Dzyaloshinskii-Moriya interactions. This stabilization mechanism potentially opens the door towards BP-based spintronic applications. An open question, from a methodological point of view, is whether the Heisenberg (HB) model approach (atomistic model) as to be used to study such systems or if the -- computationally more efficient -- micromagnetic (MM) models can be used and still obtain robust results. We are modelling and comparing the energetics and dynamics of a stable BP obtained using both HB and MM approaches. We find that an MM description of a stable BP leads qualitatively to the same results as the HB description, and that an appropriate mesh discretization plays a more important role than the chosen model. Further, we study the dynamics by shifting the BP with an applied in-plane field and investigating the relaxation after switching the filed off abruptly. The precessional motion of coupled vortices in a BP state can be drastically reduced compared to a classical vortex, which may be also an interesting feature for fast and efficient devices. A recent study has shown that a bilayer stack hosting BPs can be used to retain information [1].

cond-mat.mtrl-sci↗

arXiv2023

Numerical simulation projects in micromagnetics with Jupyter

We report a case study where an existing materials science course was modified to include numerical simulation projects on the micromagnetic behavior of materials. The Ubermag micromagnetic simulation software package is used in order to solve problems computationally. The simulation software is controlled through Python code in Jupyter notebooks. Our experience is that the self-paced problem-solving nature of the project work can facilitate a better in-depth exploration of the course contents. We discuss which aspects of the Ubermag and the project Jupyter ecosystem have been beneficial for the students' learning experience and which could be transferred to similar teaching activities in other subject areas.

physics.ed-ph↗

arXiv2022

Bloch points in nanostrips

Complex magnetic materials hosting topologically non-trivial particle-like objects such as skyrmions are under intensive research and could fundamentally change the way we store and process data. One important class of materials are helimagnetic materials with Dzyaloshinskii-Moriya interaction. Recently, it was demonstrated that nanodisks consisting of two layers with opposite chirality can host a single stable Bloch point of two different types at the interface between the layers. Using micromagnetic simulations we show that FeGe nanostrips consisting of two layers with opposite chirality can host multiple coexisting Bloch points in an arbitrary combination of the two different types. We show that the number of Bloch points that can simultaneously coexist depends on the strip geometry and the type of the individual Bloch points. Our simulation results allow us to predict strip geometries suitable for an arbitrary number of Bloch points. We show an example of an 80-Bloch-point configuration verifying the prediction.

cond-mat.mes-hall↗

arXiv2022

Megahertz-rate Ultrafast X-ray Scattering and Holographic Imaging at the European XFEL

The advent of X-ray free-electron lasers (XFELs) has revolutionized fundamental science, from atomic to condensed matter physics, from chemistry to biology, giving researchers access to X-rays with unprecedented brightness, coherence, and pulse duration. All XFEL facilities built until recently provided X-ray pulses at a relatively low repetition rate, with limited data statistics. Here, we present the results from the first megahertz repetition rate X-ray scattering experiments at the Spectroscopy and Coherent Scattering (SCS) instrument of the European XFEL. We illustrate the experimental capabilities that the SCS instrument offers, resulting from the operation at MHz repetition rates and the availability of the novel DSSC 2D imaging detector. Time-resolved magnetic X-ray scattering and holographic imaging experiments in solid state samples were chosen as representative, providing an ideal test-bed for operation at megahertz rates. Our results are relevant and applicable to any other non-destructive XFEL experiments in the soft X-ray range.

cond-mat.mes-hall↗

arXiv2022

$\texttt{tapir}$: A tool for topologies, amplitudes, partial fraction decomposition and input for reductions

The demand for precision predictions in the field of high energy physics has dramatically increased over recent years. Experiments conducted at the LHC, as well as precision measurements at the intensity frontier such as Belle II require equally precise theoretical predictions to make full use of the acquired data. To match the experimental precision, two-, three- and, for certain quantities, even higher-loop calculations are required. To facilitate such calculations, computer software automating as many steps as possible is required. Yet, each calculation poses different challenges and thus, a high level of configurability is required. In this context we present $\texttt{tapir}$: a tool for identification, manipulation and minimization of Feynman integral families. It is designed to integrate in $\texttt{FORM}$-based toolchains which is common practice in the field. $\texttt{tapir}$ can be used to reduce the complexity of multi-loop problems with cut-filters, topology mapping, partial fraction decomposition and alike.

hep-ph↗

arXiv2021

Ubermag: Towards more effective micromagnetic workflows

Computational micromagnetics has become an essential tool in academia and industry to support fundamental research and the design and development of devices. Consequently, computational micromagnetics is widely used in the community, and the fraction of time researchers spend performing computational studies is growing. We focus on reducing this time by improving the interface between the numerical simulation and the researcher. We have designed and developed a human-centred research environment called Ubermag. With Ubermag, scientists can control an existing micromagnetic simulation package, such as OOMMF, from Jupyter notebooks. The complete simulation workflow, including definition, execution, and data analysis of simulation runs, can be performed within the same notebook environment. Numerical libraries, co-developed by the computational and data science community, can immediately be used for micromagnetic data analysis within this Python-based environment. By design, it is possible to extend Ubermag to drive other micromagnetic packages from the same environment.

physics.comp-ph↗

arXiv2013

Modeling and Verification of Infinite Systems with Resources

We consider formal verification of recursive programs with resource consumption. We introduce prefix replacement systems with non-negative integer counters which can be incremented and reset to zero as a formal model for such programs. In these systems, we investigate bounds on the resource consumption for reachability questions. Motivated by this question, we introduce relational structures with resources and a quantitative first-order logic over these structures. We define resource automatic structures as a subclass of these structures and provide an effective method to compute the semantics of the logic on this subclass. Subsequently, we use this framework to solve the bounded reachability problem for resource prefix replacement systems. We achieve this result by extending the well-known saturation method to annotated prefix replacement systems. Finally, we provide a connection to the study of the logic cost-WMSO.

cs.LO↗