Showing 1–13 of 13 results for author: Johnsen, C

How to Measure and Model Light-Induced Spin Transfer

Authors: Sinéad A. Ryan, Mohamed F. Elhanoty, Anya Grafov, Peter C. Johnsen, Na Li, Justin M. Shaw, Anna Delin, Anastasios Markou, Edouard Lesne, Claudia Felser, Olle Eriksson, Erna K. Delczeg-Czirjak, Debjani Karmakar, Henry C. Kapteyn, Oscar Grånäs, Margaret M. Murnane

Abstract: Femtosecond laser light can transfer spin angular momentum between magnetic subspecies that exhibit hybridized valence bands within an alloy or compound, and represents the fastest route for manipulating the magnetization of a material. To date, ultrafast spin transfer has predominantly been explained in terms of the initial and final states available for laser excitation. Here, by comparing the m… ▽ More Femtosecond laser light can transfer spin angular momentum between magnetic subspecies that exhibit hybridized valence bands within an alloy or compound, and represents the fastest route for manipulating the magnetization of a material. To date, ultrafast spin transfer has predominantly been explained in terms of the initial and final states available for laser excitation. Here, by comparing the measured and calculated dynamics across the entire $M$-edges of two very similar Heusler compounds, $Co_2MnGa$ and $Co_2MnGe$ as well as a sample of elemental Co, we find that simply accounting for the initial and final electron states available for laser excitation cannot alone explain the experimental observations. The influence of spin lifetimes must also be included, due to the shifting of the Fermi level upon replacing Ga with Ge, or the presence of crystalline disorder. This explains why the ordered $L2_1$ phase of $Co_2MnGa$ demonstrates strong laser-induced magnetic signal enhancements across the entire Co-edge, while similar enhancements were not observed in partially disordered $Co_2MnGe$. Although intra-site spin-transfers were expected in the minority channel in pure Co due to the presence of many more available states in the minority channel above the Fermi level, no such signal was observed due to very short few-femtosecond spin lifetimes in a metal. Finally, we identify key regions in the magnetic asymmetry where a transiently enhanced signal could be misinterpreted as a light-induced spin-transfer signature. △ Less

Submitted 20 January, 2025; originally announced January 2025.

Dynamically generated spin-interactions and nutational spin inertia in normal metal-ferromagnet heterostructures

Authors: Christian Svingen Johnsen, Asle Sudbø

Abstract: We consider the spin dynamics of a normal metal-ferromagnet heterostructure, with emphasis on spin-nutation terms arising from a dynamical Ruderman-Kittel-Kasuya-Yosida (RKKY) interaction. We find that the spin-nutation term is anisotropic in spin space due to the broken time-reversal symmetry of the ferromagnet. This contrasts with what one obtains in the paramagnetic state, where the nutation te… ▽ More We consider the spin dynamics of a normal metal-ferromagnet heterostructure, with emphasis on spin-nutation terms arising from a dynamical Ruderman-Kittel-Kasuya-Yosida (RKKY) interaction. We find that the spin-nutation term is anisotropic in spin space due to the broken time-reversal symmetry of the ferromagnet. This contrasts with what one obtains in the paramagnetic state, where the nutation term is isotropic in spin space. We compute the effects this has on the magnetization dynamics derived from a Landau-Lifshitz-Gilbert equation. In particular, due to broken time-reversal symmetry, we predict a third ferromagnetic resonance due to nutational spin dynamics. This resonance frequency is tunable by applying an external magnetic field. We propose this as a strong indicator for the existence of nutation in spin systems. △ Less

Submitted 7 November, 2024; originally announced November 2024.

Comments: 15 pages, 4 figures. Submitted to Physical Review B

Journal ref: Physical Review B 111, 144423 (2025)

Optically controlling the competition between spin flips and intersite spin transfer in a Heusler half-metal on sub-100 fs timescales

Authors: Sinéad A. Ryan, Peter C. Johnsen, Mohamed F. Elhanoty, Anya Grafov, Na Li, Anna Delin, Anastasios Markou, Edouard Lesne, Claudia Felser, Olle Eriksson, Henry C. Kapteyn, Oscar Grånäs, Margaret M. Murnane

Abstract: The direct manipulation of spins via light may provide a path toward ultrafast energy-efficient devices. However, distinguishing the microscopic processes that can occur during ultrafast laser excitation in magnetic alloys is challenging. Here, we study the Heusler compound Co2MnGa, a material that exhibits very strong light-induced spin transfers across the entire M-edge. By combining the element… ▽ More The direct manipulation of spins via light may provide a path toward ultrafast energy-efficient devices. However, distinguishing the microscopic processes that can occur during ultrafast laser excitation in magnetic alloys is challenging. Here, we study the Heusler compound Co2MnGa, a material that exhibits very strong light-induced spin transfers across the entire M-edge. By combining the element-specificity of extreme ultraviolet high harmonic probes with time-dependent density functional theory, we disentangle the competition between three ultrafast light-induced processes that occur in Co2MnGa: same-site Co-Co spin transfer, intersite Co-Mn spin transfer, and ultrafast spin-flips mediated by spin-orbit coupling. By measuring the dynamic magnetic asymmetry across the entire M-edges of the two magnetic sublattices involved, we uncover the relative dominance of these processes at different probe energy regions and times during the laser pulse. Our combined approach enables a comprehensive microscopic interpretation of laser-induced magnetization dynamics on timescales shorter than 100 fs. △ Less

Submitted 10 November, 2023; v1 submitted 25 May, 2023; originally announced May 2023.

Comments: 31 pages, 12 figures

Journal ref: Sci. Adv. 9, eadi1428 (2023)

Constrained weak-coupling superconductivity in multiband superconductors

Authors: Niels Henrik Aase, Christian Svingen Johnsen, Asle Sudbø

Abstract: We consider superconductivity in a system with $N$ Fermi surfaces, including intraband and interband effective electron-electron interactions. The effective interaction is described by an $N \times N$ matrix whose elements are assumed to be constant in thin momentum shells around each Fermi surface, giving rise to $s$-wave superconductivity. Starting with attractive intraband interactions in all… ▽ More We consider superconductivity in a system with $N$ Fermi surfaces, including intraband and interband effective electron-electron interactions. The effective interaction is described by an $N \times N$ matrix whose elements are assumed to be constant in thin momentum shells around each Fermi surface, giving rise to $s$-wave superconductivity. Starting with attractive intraband interactions in all $N$ bands, we show that too strong interband interactions are detrimental to sustaining $N$ nonzero components of the superconducting order parameter. We find similar results in systems with repulsive intraband interactions. The dimensionality reduction of the order-parameter space is given by the number of nonpositive eigenvalues of the interaction matrix. Using general models and models for superconducting transition metal dichalcogenides and iron pnictides frequently employed in the literature, we show that constraints must be imposed on the order parameter to ensure a lower bound on the free energy and that subsequent higher-order expansions around the global minimum are thermodynamically stable. We also demonstrate that similar considerations are necessary for unconventional pairing symmetries. △ Less

Submitted 24 July, 2023; v1 submitted 26 April, 2023; originally announced April 2023.

Comments: 13 pages, 4 figures

Report number: QuSpin 2023

High-fidelity ptychographic imaging of highly periodic structures enabled by vortex high harmonic beams

Authors: Bin Wang, Nathan J. Brooks, Peter C. Johnsen, Nicholas W. Jenkins, Yuka Esashi, Iona Binnie, Michael Tanksalvala, Henry C. Kapteyn, Margaret M. Murnane

Abstract: Ptychographic Coherent Diffractive Imaging enables diffraction-limited imaging of nanoscale structures at extreme ultraviolet and x-ray wavelengths, where high-quality image-forming optics are not available. However, its reliance on a set of diverse diffraction patterns makes it challenging to use ptychography to image highly periodic samples, limiting its application to defect inspection for elec… ▽ More Ptychographic Coherent Diffractive Imaging enables diffraction-limited imaging of nanoscale structures at extreme ultraviolet and x-ray wavelengths, where high-quality image-forming optics are not available. However, its reliance on a set of diverse diffraction patterns makes it challenging to use ptychography to image highly periodic samples, limiting its application to defect inspection for electronic and photonic devices. Here, we use a vortex high harmonic light beam driven by a laser carrying orbital angular momentum to implement extreme ultraviolet ptychographic imaging of highly periodic samples with high fidelity and reliability. We also demonstrate, for the first time to our knowledge, ptychographic imaging of an isolated, near-diffraction-limited defect in an otherwise periodic sample using vortex high harmonic beams. This enhanced metrology technique can enable high-fidelity imaging and inspection of highly periodic structures for next-generation nano, energy, photonic and quantum devices. △ Less

Submitted 13 January, 2023; originally announced January 2023.

Comments: 20 pages, 4 figures, 4 supplementary figures

Python FPGA Programming with Data-Centric Multi-Level Design

Authors: Johannes de Fine Licht, Tiziano De Matteis, Tal Ben-Nun, Andreas Kuster, Oliver Rausch, Manuel Burger, Carl-Johannes Johnsen, Torsten Hoefler

Abstract: Although high-level synthesis (HLS) tools have significantly improved programmer productivity over hardware description languages, developing for FPGAs remains tedious and error prone. Programmers must learn and implement a large set of vendor-specific syntax, patterns, and tricks to optimize (or even successfully compile) their applications, while dealing with ever-changing toolflows from the FPG… ▽ More Although high-level synthesis (HLS) tools have significantly improved programmer productivity over hardware description languages, developing for FPGAs remains tedious and error prone. Programmers must learn and implement a large set of vendor-specific syntax, patterns, and tricks to optimize (or even successfully compile) their applications, while dealing with ever-changing toolflows from the FPGA vendors. We propose a new way to develop, optimize, and compile FPGA programs. The Data-Centric parallel programming (DaCe) framework allows applications to be defined by their dataflow and control flow through the Stateful DataFlow multiGraph (SDFG) representation, capturing the abstract program characteristics, and exposing a plethora of optimization opportunities. In this work, we show how extending SDFGs with multi-level Library Nodes incorporates both domain-specific and platform-specific optimizations into the design flow, enabling knowledge transfer across application domains and FPGA vendors. We present the HLS-based FPGA code generation backend of DaCe, and show how SDFGs are code generated for either FPGA vendor, emitting efficient HLS code that is structured and annotated to implement the desired architecture. △ Less

Submitted 28 December, 2022; originally announced December 2022.

Temporal Vectorization: A Compiler Approach to Automatic Multi-Pumping

Authors: Carl-Johannes Johnsen, Tiziano De Matteis, Tal Ben-Nun, Johannes de Fine Licht, Torsten Hoefler

Abstract: The multi-pumping resource sharing technique can overcome the limitations commonly found in single-clocked FPGA designs by allowing hardware components to operate at a higher clock frequency than the surrounding system. However, this optimization cannot be expressed in high levels of abstraction, such as HLS, requiring the use of hand-optimized RTL. In this paper we show how to leverage multiple c… ▽ More The multi-pumping resource sharing technique can overcome the limitations commonly found in single-clocked FPGA designs by allowing hardware components to operate at a higher clock frequency than the surrounding system. However, this optimization cannot be expressed in high levels of abstraction, such as HLS, requiring the use of hand-optimized RTL. In this paper we show how to leverage multiple clock domains for computational subdomains on reconfigurable devices through data movement analysis on high-level programs. We offer a novel view on multi-pumping as a compiler optimization - a superclass of traditional vectorization. As multiple data elements are fed and consumed, the computations are packed temporally rather than spatially. The optimization is applied automatically using an intermediate representation that maps high-level code to HLS. Internally, the optimization injects modules into the generated designs, incorporating RTL for fine-grained control over the clock domains. We obtain a reduction of resource consumption by up to 50% on critical components and 23% on average. For scalable designs, this can enable further parallelism, increasing overall performance. △ Less

Submitted 19 September, 2022; originally announced October 2022.

lr-Multisemigroups and Modal Convolution Algebras

Authors: Uli Fahrenberg, Christian Johnsen, Georg Struth, Krzysztof Ziemiański

Abstract: We show how modal quantales arise as convolution algebras of functions from lr-multisemigroups that is, multisemigroups with a source map l and a target map r, into modal quantales which can be seen as weight or value algebras. In the tradition of boolean algebras with operators we study modal correspondences between algebraic laws in the three algebras. The class of lr-multisemigroups introduced… ▽ More We show how modal quantales arise as convolution algebras of functions from lr-multisemigroups that is, multisemigroups with a source map l and a target map r, into modal quantales which can be seen as weight or value algebras. In the tradition of boolean algebras with operators we study modal correspondences between algebraic laws in the three algebras. The class of lr-multisemigroups introduced in this article generalises Schweizer and Sklar's function systems and object-free categories to a setting isomorphic to algebras of ternary relations as used in boolean algebras with operators and in substructural logics. Our results provide a generic construction recipe for weighted modal quantales from such multisemigroups. This is illustrated by many examples, ranging from modal algebras of weighted relations as used in fuzzy mathematics, category quantales in the tradition of category algebras or group rings, incidence algebras over partial orders, discrete and continuous weighted path algebras, weighted languages of pomsets with interfaces, and weighted languages associated with presimplicial and precubical sets. We also discuss how these results can be combined with previous ones for concurrent quantales and generalised to a setting that supports reasoning with stochastic matrices or probabilistic predicate transformers. △ Less

Submitted 1 May, 2021; originally announced May 2021.

Comments: 38 pages, 1 figure

MSC Class: 03B45 (Primary) 06F07 20M75 (Secondary) ACM Class: F.3.2; F.4.1

SME: A High Productivity FPGA Tool for Software Programmers

Authors: Carl-Johannes Johnsen, Alberte Thegler, Kenneth Skovhede, Brian Vinter

Abstract: For several decades, the CPU has been the standard model to use in the majority of computing. While the CPU does excel in some areas, heterogeneous computing, such as reconfigurable hardware, is showing increasing potential in areas like parallelization, performance, and power usage. This is especially prominent in problems favoring deep pipelining or tight latency requirements. However, due to th… ▽ More For several decades, the CPU has been the standard model to use in the majority of computing. While the CPU does excel in some areas, heterogeneous computing, such as reconfigurable hardware, is showing increasing potential in areas like parallelization, performance, and power usage. This is especially prominent in problems favoring deep pipelining or tight latency requirements. However, due to the nature of these problems, they can be hard to program, at least for software developers. Synchronous Message Exchange (SME) is a runtime environment that allows development, testing and verification of hardware designs for FPGA devices in C#, with access to modern debugging and code features. The goal is to create a framework for software developers to easily implement systems for FPGA devices without having to obtain heavy hardware programming knowledge. This article presents a short introduction to the SME model as well as new updates to SME. Lastly, a selection of student projects and examples will be presented in order to show how it is possible to create quite complex structures in SME, even by students with no hardware experience. △ Less

Submitted 20 April, 2021; originally announced April 2021.

Quantum Poker A game for quantum computers suitable for benchmarking error mitigation techniques on NISQ devices

Authors: Franz G. Fuchs, Vemund Falch, Christian Johnsen

Abstract: Quantum computers are on the verge of becoming a commercially available reality. They represent a paradigm shift in computing, with a steep learning gradient. The creation of games is a way to ease the transition for beginners. We present a game similar to the Poker variant Texas hold 'em with the intention to serve as an engaging pedagogical tool to learn the basics rules of quantum computing. Th… ▽ More Quantum computers are on the verge of becoming a commercially available reality. They represent a paradigm shift in computing, with a steep learning gradient. The creation of games is a way to ease the transition for beginners. We present a game similar to the Poker variant Texas hold 'em with the intention to serve as an engaging pedagogical tool to learn the basics rules of quantum computing. The concepts of quantum states, quantum operations and measurement can be learned in a playful manner. The difference to the classical variant is that the community cards are replaced by a quantum register that is "randomly" initialized, and the cards for each player are replaced by quantum gates, randomly drawn from a set of available gates. Each player can create a quantum circuit with their cards, with the aim to maximize the number of $1$'s that are measured in the computational basis. The basic concepts of superposition, entanglement and quantum gates are employed. We provide a proof-of-concept implementation using Qiskit. A comparison of the results for the created circuits using a simulator and IBM machines is conducted, showing that error rates on contemporary quantum computers are still very high. For the success of noisy intermediate scale quantum (NISQ) computers, improvements on the error rates and error mitigation techniques are necessary, even for simple circuits. We show that quantum error mitigation (QEM) techniques can be used to improve expectation values of observables on real quantum devices. △ Less

Submitted 23 March, 2020; v1 submitted 31 July, 2019; originally announced August 2019.

Comments: accepted for publication at The European Physical Journal Plus

Estimation of cold plasma outflow during geomagnetic storms

Authors: S. Haaland, A. Eriksson, M. André, L. Maes, L. Baddeley, A. Barakat, R. Chappell, V. Eccles, C. Johnsen, B. Lybekk, K. Li, A. Pedersen, R. Schunk, D. Welling

Abstract: Low-energy ions of ionospheric origin constitute a significant contributor to the magnetospheric plasma population. Measuring cold ions is difficult though. Observations have to be done at sufficiently high altitudes and typically in regions of space where spacecraft attain a positive charge due to solar illumination. Cold ions are therefore shielded from the satellite particle detectors. Furtherm… ▽ More Low-energy ions of ionospheric origin constitute a significant contributor to the magnetospheric plasma population. Measuring cold ions is difficult though. Observations have to be done at sufficiently high altitudes and typically in regions of space where spacecraft attain a positive charge due to solar illumination. Cold ions are therefore shielded from the satellite particle detectors. Furthermore, spacecraft can only cover key regions of ion outflow during segments of their orbit, so additional complications arise if continuous longtime observations, such as during a geomagnetic storm, are needed. In this paper we suggest a new approach, based on a combination of synoptic observations and a novel technique to estimate the flux and total outflow during the various phases of geomagnetic storms. Our results indicate large variations in both outflow rates and transport throughout the storm. Prior to the storm main phase, outflow rates are moderate, and the cold ions are mainly emanating from moderately sized polar cap regions. Throughout the main phase of the storm, outflow rates increase and the polar cap source regions expand. Furthermore, faster transport, resulting from enhanced convection, leads to a much larger supply of cold ions to the near-Earth region during geomagnetic storms. △ Less

Submitted 31 May, 2016; originally announced May 2016.

Computing Minimum Tile Sets to Self-Assemble Colors Patterns

Authors: Aleck C. Johnsen, Ming-Yang Kao, Shinnosuke Seki

Abstract: Patterned self-assembly tile set synthesis (PATS) aims at finding a minimum tile set to uniquely self-assemble a given rectangular color pattern. For $k \ge 1$, $k$-PATS is a variant of PATS that restricts input patterns to those with at most $k$ colors. We prove the {\bf NP}-hardness of 29-PATS, where the best known is that of 60-PATS. Patterned self-assembly tile set synthesis (PATS) aims at finding a minimum tile set to uniquely self-assemble a given rectangular color pattern. For $k \ge 1$, $k$-PATS is a variant of PATS that restricts input patterns to those with at most $k$ colors. We prove the {\bf NP}-hardness of 29-PATS, where the best known is that of 60-PATS. △ Less

Submitted 10 April, 2014; originally announced April 2014.

ACM Class: F.1.1

Journal ref: Proceedings from the 24th International Symposium on Agorithms and Computation, ISAAC 2013, Hong Kong, China. Springer-Verlag Berlin Heidelberg. 699-710

Two Steps to Obfuscation

Authors: Noah E. Friedkin, Eugene C. Johnsen

Abstract: This note addresses the historical antecedents of the 1998 PageRank measure of centrality. An identity relation links it to 1990-1991 models of Friedkin and Johnsen. This note addresses the historical antecedents of the 1998 PageRank measure of centrality. An identity relation links it to 1990-1991 models of Friedkin and Johnsen. △ Less

Submitted 12 February, 2014; originally announced February 2014.