Showing 1–35 of 35 results for author: Winkler, T

The role of magnetic dipolar interactions in skyrmion lattices

Authors: Elizabeth M Jefremovas, Kilian Leutner, Miriam G Fischer, Jorge Marqués-Marchán, Thomas B Winkler, Agustina Asenjo, Robert Frömter, Jairo Sinova, Mathias Kläui

Abstract: Magnetic skyrmions are promising candidates for information and storage technologies. In the last years, magnetic multilayer systems have been tuned to enable room-temperature skyrmions, stable even in the absence of external magnetic field. There are several models describing the properties of an isolated skyrmion in a homogeneous background for single repetition multilayer stack, however, the de… ▽ More Magnetic skyrmions are promising candidates for information and storage technologies. In the last years, magnetic multilayer systems have been tuned to enable room-temperature skyrmions, stable even in the absence of external magnetic field. There are several models describing the properties of an isolated skyrmion in a homogeneous background for single repetition multilayer stack, however, the description on how the equilibrium skyrmion size in lattices scales with increasing the number of repetitions of the stack remains unaddressed. This question is essential for fundamental and practical perspectives, as the behaviour of an ensemble of skyrmions differs from the isolated case. Based on a multilayer stack hosting a skyrmion lattice, we have carried out a series of imaging experiments scaling up the dipolar interaction by repeating $n$ times the multilayer unit, from $n =1$ up to $n=30$. We have developed an analytical description for the skyrmion radius in the whole multilayer regime, $i.e.$, from thin to thick film limits. Furthermore, we provide insight on how nucleation by an externally applied field can give rise to a lattice with more skyrmions (thus, overfilled) than the predicted by the calculations. △ Less

Submitted 29 June, 2024; originally announced July 2024.

Comments: 9 pages, 3 figures

Gesture recognition with Brownian reservoir computing using geometrically confined skyrmion dynamics

Authors: Grischa Beneke, Thomas Brian Winkler, Klaus Raab, Maarten A. Brems, Fabian Kammerbauer, Pascal Gerhards, Klaus Knobloch, Johan Mentink, Mathias Kläui

Abstract: Physical reservoir computing (RC) is a beyond von-Neumann computing paradigm that harnesses the dynamical properties of a complex physical system (reservoir) to process information efficiently in tasks such as pattern recognition. This hardware-centered approach drastically reduces training efforts and holds potential for significantly reduced energy consumption operation. Magnetic skyrmions, topo… ▽ More Physical reservoir computing (RC) is a beyond von-Neumann computing paradigm that harnesses the dynamical properties of a complex physical system (reservoir) to process information efficiently in tasks such as pattern recognition. This hardware-centered approach drastically reduces training efforts and holds potential for significantly reduced energy consumption operation. Magnetic skyrmions, topological, particle-like spin textures, are considered highly promising candidates for reservoir computing systems due to their non-linear interactions and established mechanisms for low power manipulation combined with thermally excited dynamics. So far spin-based reservoir computing has been used for static detection or has been based on intrinsic magnetization dynamics timescales, that require cumbersome rescaling of typically slower real-world data. Here we harness the power of time-multiplexed skyrmion RC by adjusting the intrinsic timescales of the reservoir to the timescales of real-world temporal patterns: we recognize hand gestures recorded with range-doppler radar on a millisecond timescale and feed the data as a time-dependent voltage excitation directly into our device. We observe the temporal evolution of the skyrmion trajectory using read-out at just one position of the reservoir, which allows for scaling onto the nanometer scale. We find that our hardware solution exhibits competitive performance compared with a state-of-the-art energy-intensive software-based neural network. The key advantage of our hardware approach lies in its capacity to seamlessly integrate data from sensors without the need for temporal conversion, thanks to the time-dependent input and tunable intrinsic timescales of the skyrmion dynamics in the reservoir. This feature enables real-time feeding of the reservoir, opening a multitude of applications. △ Less

Submitted 4 March, 2024; originally announced March 2024.

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains

Authors: Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler

Abstract: We study the accurate and efficient computation of the expected number of times each state is visited in discrete- and continuous-time Markov chains. To obtain sound accuracy guarantees efficiently, we lift interval iteration and topological approaches known from the computation of reachability probabilities and expected rewards. We further study applications of expected visiting times, including… ▽ More We study the accurate and efficient computation of the expected number of times each state is visited in discrete- and continuous-time Markov chains. To obtain sound accuracy guarantees efficiently, we lift interval iteration and topological approaches known from the computation of reachability probabilities and expected rewards. We further study applications of expected visiting times, including the sound computation of the stationary distribution and expected rewards conditioned on reaching multiple goal states. The implementation of our methods in the probabilistic model checker Storm scales to large systems with millions of states. Our experiments on the quantitative verification benchmark set show that the computation of stationary distributions via expected visiting times consistently outperforms existing approaches - sometimes by several orders of magnitude. △ Less

Submitted 20 February, 2024; v1 submitted 19 January, 2024; originally announced January 2024.

Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs

Authors: Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler

Abstract: We consider imperative programs that involve both randomization and pure nondeterminism. The central question is how to find a strategy resolving the pure nondeterminism such that the so-obtained determinized program satisfies a given quantitative specification, i.e., bounds on expected outcomes such as the expected final value of a program variable or the probability to terminate in a given set o… ▽ More We consider imperative programs that involve both randomization and pure nondeterminism. The central question is how to find a strategy resolving the pure nondeterminism such that the so-obtained determinized program satisfies a given quantitative specification, i.e., bounds on expected outcomes such as the expected final value of a program variable or the probability to terminate in a given set of states. We show how memoryless and deterministic (MD) strategies can be obtained in a semi-automatic fashion using deductive verification techniques. For loop-free programs, the MD strategies resulting from our weakest precondition-style framework are correct by construction. This extends to loopy programs, provided the loops are equipped with suitable loop invariants - just like in program verification. We show how our technique relates to the well-studied problem of obtaining strategies in countably infinite Markov decision processes with reachability-reward objectives. Finally, we apply our technique to several case studies. △ Less

Submitted 14 November, 2023; v1 submitted 12 November, 2023; originally announced November 2023.

On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata

Authors: Tobias Winkler, Joost-Pieter Katoen

Abstract: Probabilistic pushdown automata (pPDA) are a natural operational model for a variety of recursive discrete stochastic processes. In this paper, we study certificates - succinct and easily verifiable proofs - for upper and lower bounds on various quantitative properties of a given pPDA. We reveal an intimate, yet surprisingly simple connection between the existence of such certificates and the expe… ▽ More Probabilistic pushdown automata (pPDA) are a natural operational model for a variety of recursive discrete stochastic processes. In this paper, we study certificates - succinct and easily verifiable proofs - for upper and lower bounds on various quantitative properties of a given pPDA. We reveal an intimate, yet surprisingly simple connection between the existence of such certificates and the expected time to termination of the pPDA at hand. This is established by showing that certain intrinsic properties, like the spectral radius of the Jacobian of the pPDA's underlying polynomial equation system, are directly related to expected runtimes. As a consequence, we obtain that there always exist easy-to-check proofs for positive almost-sure termination: does a pPDA terminate in finite expected time? △ Less

Submitted 23 April, 2023; v1 submitted 19 April, 2023; originally announced April 2023.

Comments: Full version of LICS '23 paper, including an appendix with technical proofs

Machine learning-based spin structure detection

Authors: Isaac Labrie-Boulay, Thomas Brian Winkler, Daniel Franzen, Alena Romanova, Hans Fangohr, Mathias Kläui

Abstract: One of the most important magnetic spin structure is the topologically stabilised skyrmion quasi-particle. Its interesting physical properties make them candidates for memory and efficient neuromorphic computation schemes. For the device operation, detection of the position, shape, and size of skyrmions is required and magnetic imaging is typically employed. A frequently used technique is magneto-… ▽ More One of the most important magnetic spin structure is the topologically stabilised skyrmion quasi-particle. Its interesting physical properties make them candidates for memory and efficient neuromorphic computation schemes. For the device operation, detection of the position, shape, and size of skyrmions is required and magnetic imaging is typically employed. A frequently used technique is magneto-optical Kerr microscopy where depending on the samples material composition, temperature, material growing procedures, etc., the measurements suffer from noise, low-contrast, intensity gradients, or other optical artifacts. Conventional image analysis packages require manual treatment, and a more automatic solution is required. We report a convolutional neural network specifically designed for segmentation problems to detect the position and shape of skyrmions in our measurements. The network is tuned using selected techniques to optimize predictions and in particular the number of detected classes is found to govern the performance. The results of this study shows that a well-trained network is a viable method of automating data pre-processing in magnetic microscopy. The approach is easily extendable to other spin structures and other magnetic imaging methods. △ Less

Submitted 24 March, 2023; originally announced March 2023.

Coarse-graining collective skyrmion dynamics in confined geometries

Authors: Thomas Brian Winkler, Jan Rothörl, Maarten A. Brems, Hans Fangohr, Mathias Kläui

Abstract: Magnetic skyrmions are magnetic quasi-particles with enhanced stability and different manipulation mechanisms using external fields and currents making them promising candidates for future applications for instance in neuromorphic computing. Recently, several measurements and simulations have shown that thermally activated skyrmions in confined geometries, as they are necessary for device applicat… ▽ More Magnetic skyrmions are magnetic quasi-particles with enhanced stability and different manipulation mechanisms using external fields and currents making them promising candidates for future applications for instance in neuromorphic computing. Recently, several measurements and simulations have shown that thermally activated skyrmions in confined geometries, as they are necessary for device applications, arrange themselves predominantly based on commensurability effects. In this simulational study, based on the Thiele model, we investigate the enhanced dynamics and degenerate non-equilibrium steady state of a system in which the intrinsic skyrmion-skyrmion and skyrmion-boundary interaction compete with thermal fluctuations as well as current-induced spin-orbit torques. The investigated system is a triangular-shaped confinement geometry hosting four skyrmions, where we inject spin-polarized currents between two corners of the structure. We coarse-grain the skyrmion states in the system to analyze the intricacies of skyrmion arrangements of the skyrmion ensemble. In the context of neuromorphic computing, such methods address the key challenge of optimizing read-out positions in confined geometries and form the basis to understand collective skyrmion dynamics in systems with competing interactions on different scales. △ Less

Submitted 29 March, 2023; originally announced March 2023.

Comments: 11 pages, 4 figures

Energetics and Dynamics of a stable Bloch point

Authors: Thomas Brian Winkler, Marijan Beg, Martin Lang, Mathias Kläui, Hans Fangohr

Abstract: 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 opp… ▽ More 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]. △ Less

Submitted 17 March, 2023; originally announced March 2023.

Comments: 19 pages, 6 figures

Exact Probabilistic Inference Using Generating Functions

Authors: Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen

Abstract: Probabilistic programs are typically normal-looking programs describing posterior probability distributions. They intrinsically code up randomized algorithms and have long been at the heart of modern machine learning and approximate computing. We explore the theory of generating functions [19] and investigate its usage in the exact quantitative reasoning of probabilistic programs. Important topics… ▽ More Probabilistic programs are typically normal-looking programs describing posterior probability distributions. They intrinsically code up randomized algorithms and have long been at the heart of modern machine learning and approximate computing. We explore the theory of generating functions [19] and investigate its usage in the exact quantitative reasoning of probabilistic programs. Important topics include the exact representation of program semantics [13], proving exact program equivalence [5], and -- as our main focus in this extended abstract -- exact probabilistic inference. In probabilistic programming, inference aims to derive a program's posterior distribution. In contrast to approximate inference, inferring exact distributions comes with several benefits [8], e.g., no loss of precision, natural support for symbolic parameters, and efficiency on models with certain structures. Exact probabilistic inference, however, is a notoriously hard task [6,12,17,18]. The challenges mainly arise from three program constructs: (1) unbounded while-loops and/or recursion, (2) infinite-support distributions, and (3) conditioning (via posterior observations). We present our ongoing research in addressing these challenges (with a focus on conditioning) leveraging generating functions and show their potential in facilitating exact probabilistic inference for discrete probabilistic programs. △ Less

Submitted 12 February, 2023; v1 submitted 1 February, 2023; originally announced February 2023.

Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration

Authors: Tobias Winkler, Joost-Pieter Katoen

Abstract: Probabilistic pushdown automata (pPDA) are a standard model for discrete probabilistic programs with procedures and recursion. In pPDA, many quantitative properties are characterized as least fixpoints of polynomial equation systems. In this paper, we study the problem of certifying that these quantities lie within certain bounds. To this end, we first characterize the polynomial systems that admi… ▽ More Probabilistic pushdown automata (pPDA) are a standard model for discrete probabilistic programs with procedures and recursion. In pPDA, many quantitative properties are characterized as least fixpoints of polynomial equation systems. In this paper, we study the problem of certifying that these quantities lie within certain bounds. To this end, we first characterize the polynomial systems that admit easy-to-check certificates for validating bounds on their least fixpoint. Second, we present a sound and complete Optimistic Value Iteration algorithm for computing such certificates. Third, we show how certificates for polynomial systems can be transferred to certificates for various quantitative pPDA properties. Experiments demonstrate that our algorithm computes succinct certificates for several intricate example programs as well as stochastic context-free grammars with $> 10^4$ production rules. △ Less

Submitted 25 February, 2023; v1 submitted 20 January, 2023; originally announced January 2023.

Comments: Full version of a paper to appear at TACAS 2023, 30 pages

Skyrmion automotion in confined counter-sensor device geometries

Authors: Kilian Leutner, Thomas Brian Winkler, Johannes Güttinger, Hans Fangohr, Mathias Kläui

Abstract: Magnetic skyrmions are topologically stabilized quasi-particles and are promising candidates for energy-efficient applications, such as storage but also logic and sensing. Here we present a new concept for a multi-turn sensor-counter device based on skyrmions, where the number of sensed rotations is encoded in the number of nucleated skyrmions. The skyrmion-boundary force in the confined geometry… ▽ More Magnetic skyrmions are topologically stabilized quasi-particles and are promising candidates for energy-efficient applications, such as storage but also logic and sensing. Here we present a new concept for a multi-turn sensor-counter device based on skyrmions, where the number of sensed rotations is encoded in the number of nucleated skyrmions. The skyrmion-boundary force in the confined geometry of the device in combination with the topology-dependent dynamics leads to the effect of automotion for certain geometries. For our case, we describe and investigate this effect with micromagnetic simulations and the coarse-grained Thiele equation in a triangular geometry with an attached reservoir as part of the sensor-counter device. △ Less

Submitted 10 November, 2022; originally announced November 2022.

Comments: 10 pages, 6 figures

Journal ref: Phys. Rev. Applied 20 (2023) 064021

Value-based Engineering with IEEE 7000TM

Authors: Sarah Spiekermann, Till Winkler

Abstract: Digital ethics is being discussed worldwide as a necessity to create more reliable IT systems. This discussion, fueled by the fear of uncontrollable artificial intelligence (AI) has moved many institutions and scientists to demand a value-based system engineering. This article presents how organizations can build responsible and ethically founded systems with the 'Value-based Engineering' (VBE) ap… ▽ More Digital ethics is being discussed worldwide as a necessity to create more reliable IT systems. This discussion, fueled by the fear of uncontrollable artificial intelligence (AI) has moved many institutions and scientists to demand a value-based system engineering. This article presents how organizations can build responsible and ethically founded systems with the 'Value-based Engineering' (VBE) approach that was standardized in the IEEE 7000TM standard. VBE is a transparent, clearly-structured, step-by-step methodology combining innovation management, risk management, system and software engineering in one process framework. It embeds a robust value ontology and terminology. It has been tested in various case studies. This article introduces readers to the most important steps and contributions of the approach. △ Less

Submitted 21 June, 2022; originally announced July 2022.

Comments: Value-based Engineering, Value Sensitive Design, Ethics, Ethical Engineering, Machine Ethics, Privacy

Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions

Authors: Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler

Abstract: We study discrete probabilistic programs with potentially unbounded loo** behaviors over an infinite state space. We present, to the best of our knowledge, the first decidability result for the problem of determining whether such a program generates exactly a specified distribution over its outputs (provided the program terminates almost surely). The class of distributions that can be specified… ▽ More We study discrete probabilistic programs with potentially unbounded loo** behaviors over an infinite state space. We present, to the best of our knowledge, the first decidability result for the problem of determining whether such a program generates exactly a specified distribution over its outputs (provided the program terminates almost surely). The class of distributions that can be specified in our formalism consists of standard distributions (geometric, uniform, etc.) and finite convolutions thereof. Our method relies on representing these (possibly infinite-support) distributions as probability generating functions which admit effective arithmetic operations. We have automated our techniques in a tool called prodigy, which supports automatic invariance checking, compositional reasoning of nested loops, and efficient queries on various quantities of to the output distribution, as demonstrated by experiments. △ Less

Submitted 20 June, 2022; v1 submitted 3 May, 2022; originally announced May 2022.

Comments: Full version of CAV2022 paper including an appendix with proofs and further material

Weighted Programming

Authors: Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler

Abstract: We study weighted programming, a programming paradigm for specifying mathematical models. More specifically, the weighted programs we investigate are like usual imperative programs with two additional features: (1) nondeterministic branching and (2) weighting execution traces. Weights can be numbers but also other objects like words from an alphabet, polynomials, formal power series, or cardinal n… ▽ More We study weighted programming, a programming paradigm for specifying mathematical models. More specifically, the weighted programs we investigate are like usual imperative programs with two additional features: (1) nondeterministic branching and (2) weighting execution traces. Weights can be numbers but also other objects like words from an alphabet, polynomials, formal power series, or cardinal numbers. We argue that weighted programming as a paradigm can be used to specify mathematical models beyond probability distributions (as is done in probabilistic programming). We develop weakest-precondition- and weakest-liberal-precondition-style calculi à la Dijkstra for reasoning about mathematical models specified by weighted programs. We present several case studies. For instance, we use weighted programming to model the ski rental problem - an optimization problem. We model not only the optimization problem itself, but also the best deterministic online algorithm for solving this problem as weighted programs. By means of weakest-precondition-style reasoning, we can determine the competitive ratio of the online algorithm on source code level. △ Less

Submitted 30 March, 2022; v1 submitted 15 February, 2022; originally announced February 2022.

Comments: 71 pages

ACM Class: F.3.2

Model Checking Temporal Properties of Recursive Probabilistic Programs

Authors: Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen

Abstract: Probabilistic pushdown automata (pPDA) are a standard operational model for programming languages involving discrete random choices and recursive procedures. Temporal properties are useful for specifying the chronological order of events during program execution. Existing approaches for model checking pPDA against temporal properties have focused mostly on $ω$-regular and LTL properties. In this p… ▽ More Probabilistic pushdown automata (pPDA) are a standard operational model for programming languages involving discrete random choices and recursive procedures. Temporal properties are useful for specifying the chronological order of events during program execution. Existing approaches for model checking pPDA against temporal properties have focused mostly on $ω$-regular and LTL properties. In this paper, we give decidability and complexity results for the model checking problem of pPDA against $ω$-visibly pushdown languages that can be described by specification logics such as CaRet. These logical formulae allow specifying properties that explicitly take the structured computations arising from procedural programs into account. For example, CaRet is able to match procedure calls with their corresponding future returns, and thus allows to express fundamental program properties such as total and partial correctness. △ Less

Submitted 14 December, 2023; v1 submitted 5 November, 2021; originally announced November 2021.

Journal ref: Logical Methods in Computer Science, Volume 19, Issue 4 (December 15, 2023) lmcs:10029

Stochastic Games with Disjunctions of Multiple Objectives

Authors: Tobias Winkler, Maximilian Weininger

Abstract: Stochastic games combine controllable and adversarial non-determinism with stochastic behavior and are a common tool in control, verification and synthesis of reactive systems facing uncertainty. Multi-objective stochastic games are natural in situations where several - possibly conflicting - performance criteria like time and energy consumption are relevant. Such conjunctive combinations are the… ▽ More Stochastic games combine controllable and adversarial non-determinism with stochastic behavior and are a common tool in control, verification and synthesis of reactive systems facing uncertainty. Multi-objective stochastic games are natural in situations where several - possibly conflicting - performance criteria like time and energy consumption are relevant. Such conjunctive combinations are the most studied multi-objective setting in the literature. In this paper, we consider the dual disjunctive problem. More concretely, we study turn-based stochastic two-player games on graphs where the winning condition is to guarantee at least one reachability or safety objective from a given set of alternatives. We present a fine-grained overview of strategy and computational complexity of such disjunctive queries (DQs) and provide new lower and upper bounds for several variants of the problem, significantly extending previous works. We also propose a novel value iteration-style algorithm for approximating the set of Pareto optimal thresholds for a given DQ. △ Less

Submitted 16 September, 2021; originally announced September 2021.

Comments: In Proceedings GandALF 2021, arXiv:2109.07798. arXiv admin note: substantial text overlap with arXiv:2108.04604

Journal ref: EPTCS 346, 2021, pp. 83-100

Stochastic Games with Disjunctions of Multiple Objectives (Technical Report)

Authors: Tobias Winkler, Maximilian Weininger

Abstract: Stochastic games combine controllable and adversarial non-determinism with stochastic behavior and are a common tool in control, verification and synthesis of reactive systems facing uncertainty. Multi-objective stochastic games are natural in situations where several - possibly conflicting - performance criteria like time and energy consumption are relevant. Such conjunctive combinations are the… ▽ More Stochastic games combine controllable and adversarial non-determinism with stochastic behavior and are a common tool in control, verification and synthesis of reactive systems facing uncertainty. Multi-objective stochastic games are natural in situations where several - possibly conflicting - performance criteria like time and energy consumption are relevant. Such conjunctive combinations are the most studied multi-objective setting in the literature. In this paper, we consider the dual disjunctive problem. More concretely, we study turn-based stochastic two-player games on graphs where the winning condition is to guarantee at least one reachability or safety objective from a given set of alternatives. We present a fine-grained overview of strategy and computational complexity of such \emph{disjunctive queries} (DQs) and provide new lower and upper bounds for several variants of the problem, significantly extending previous works. We also propose a novel value iteration-style algorithm for approximating the set of Pareto optimal thresholds for a given DQ. △ Less

Submitted 6 September, 2021; v1 submitted 10 August, 2021; originally announced August 2021.

Comments: Technical report including appendix with detailed proofs, 29 pages

PV Modules and Their Backsheets -- A Case Study of a Multi-MW PV Power Station

Authors: Claudia Buerhop-Lutz, Oleksandr Stoyuk, Tobias Pickel, Thilo Winkler, Jens Hauch, Ian Marius Peters

Abstract: Degradation of backsheets (BS) and encapsulant polymer components of silicon PV modules is recognized as one of the main reasons for losses in PV plant performance and lifetime expectations. Here, we report first insights into the correlation between BS composition of PV-modules and PV power station performance by using a combination of lab- and field-imaging, as well as spectroscopic and electric… ▽ More Degradation of backsheets (BS) and encapsulant polymer components of silicon PV modules is recognized as one of the main reasons for losses in PV plant performance and lifetime expectations. Here, we report first insights into the correlation between BS composition of PV-modules and PV power station performance by using a combination of lab- and field-imaging, as well as spectroscopic and electrical characterizations. Using field-suitable near-infrared absorption (NIRA) spectroscopy, the BS structure of 518 PV-modules, 2.5 percent of the PV-modules in a 5 MWp PV power station, was identified on-site. The variance of the BS composition was found to be heterogeneous across PV-modules of the same power class from the same manufacturer. Polymaide-based BS cause in 10 out of 100 inverters ground impedance values below 400 kOhm, which is a typical threshold for inverters connecting to the grid. For primer-based BS this low value is reached 20 times. We conclude these numbers best as possible from the available monitoring data of inverters associated with BS-types from NIRA. Challenging is the identification of degraded primer-based BSs, since visually they look healthy and undistinguishable to well performing BSs. The present results demonstrate that a deeper understanding of the relationship between bill-of-materials and performance of PV-modules is necessary to avoid/minimize inverter shut-downs, and that it can be achieved by using combinations of selected field and lab characterization methods with monitoring data. △ Less

Submitted 12 May, 2021; originally announced May 2021.

Comments: 23 pages, 9 figures

Visualization of Dynamic Polaronic Strain Fields in Hybrid Lead Halide Perovskites

Authors: B. Guzelturk, T. Winkler, T. Van de Goor, M. D. Smith, S. A. Bourelle, S. Feldmann, M. Trigo, S. Teitelbaum, H-G. Steinrück, G. A. de la Pena, R. Alonso-Mori, D. Zhu, T. Sato, H. I. Karunadasa, M. F. Toney, F. Deschler, A. M. Lindenberg

Abstract: Excitation localization involving dynamic nanoscale distortions is a central aspect of photocatalysis, quantum materials and molecular optoelectronics. Experimental characterization of such distortions requires techniques sensitive to the formation of point-defect-like local structural rearrangements in real time. Here, we visualize excitation-induced strain fields in a prototypical member of the… ▽ More Excitation localization involving dynamic nanoscale distortions is a central aspect of photocatalysis, quantum materials and molecular optoelectronics. Experimental characterization of such distortions requires techniques sensitive to the formation of point-defect-like local structural rearrangements in real time. Here, we visualize excitation-induced strain fields in a prototypical member of the lead halide perovskites via femtosecond resolution diffuse x-ray scattering measurements. This enables momentum-resolved phonon spectroscopy of the locally-distorted structure and reveals radially-expanding nanometer-scale elastic strain fields associated with the formation and relaxation of polarons in photoexcited perovskites. Quantitative estimates of the magnitude and the shape of this polaronic distortion are obtained, providing direct insights into the debated dynamic structural distortions in these materials. Optical pump-probe reflection spectroscopy corroborates these results and shows how these large polaronic distortions transiently modify the carrier effective mass, providing a unified picture of the coupled structural and electronic dynamics that underlie the unique optoelectronic functionality of the hybrid perovskites. △ Less

Submitted 5 November, 2020; originally announced November 2020.

Comments: 17 pages, 4 figures

Journal ref: Nature Materials (2021)

Out of Control: Reducing Probabilistic Models by Control-State Elimination

Authors: Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen

Abstract: State-of-the-art probabilistic model checkers perform verification on explicit-state Markov models defined in a high-level programming formalism like the PRISM modeling language. Typically, the low-level models resulting from such program-like specifications exhibit lots of structure such as repeating subpatterns. Established techniques like probabilistic bisimulation minimization are able to expl… ▽ More State-of-the-art probabilistic model checkers perform verification on explicit-state Markov models defined in a high-level programming formalism like the PRISM modeling language. Typically, the low-level models resulting from such program-like specifications exhibit lots of structure such as repeating subpatterns. Established techniques like probabilistic bisimulation minimization are able to exploit these structures; however, they operate directly on the explicit-state model. On the other hand, methods for reducing structured state spaces by reasoning about the high-level program have not been investigated that much. In this paper, we present a new, simple, and fully automatic program-level technique to reduce the underlying Markov model. Our approach aims at computing the summary behavior of adjacent locations in the program's control-flow graph, thereby obtaining a program with fewer "control states". This reduction is immediately reflected in the program's operational semantics, enabling more efficient model checking. A key insight is that in principle, each (combination of) program variable(s) with finite domain can play the role of the program counter that defines the flow structure. Unlike most other reduction techniques, our approach is property-directed and naturally supports unspecified model parameters. Experiments demonstrate that our simple method yields state-space reductions of up to 80% on practically relevant benchmarks. △ Less

Submitted 12 November, 2021; v1 submitted 2 November, 2020; originally announced November 2020.

Comments: full version including proofs, 33 pages

Deep Learning-based Pipeline for Module Power Prediction from EL Measurements

Authors: Mathis Hoffmann, Claudia Buerhop-Lutz, Luca Reeb, Tobias Pickel, Thilo Winkler, Bernd Doll, Tobias Würfl, Ian Marius Peters, Christoph Brabec, Andreas Maier, Vincent Christlein

Abstract: Automated inspection plays an important role in monitoring large-scale photovoltaic power plants. Commonly, electroluminescense measurements are used to identify various types of defects on solar modules but have not been used to determine the power of a module. However, knowledge of the power at maximum power point is important as well, since drops in the power of a single module can affect the p… ▽ More Automated inspection plays an important role in monitoring large-scale photovoltaic power plants. Commonly, electroluminescense measurements are used to identify various types of defects on solar modules but have not been used to determine the power of a module. However, knowledge of the power at maximum power point is important as well, since drops in the power of a single module can affect the performance of an entire string. By now, this is commonly determined by measurements that require to discontact or even dismount the module, rendering a regular inspection of individual modules infeasible. In this work, we bridge the gap between electroluminescense measurements and the power determination of a module. We compile a large dataset of 719 electroluminescense measurementsof modules at various stages of degradation, especially cell cracks and fractures, and the corresponding power at maximum power point. Here,we focus on inactive regions and cracks as the predominant type of defect. We set up a baseline regression model to predict the power from electroluminescense measurements with a mean absolute error of 9.0+/-3.7$W_P$ (4.0+/-8.4%). Then, we show that deep-learning can be used to train a model that performs significantly better (7.3+/-2.7$W_P$ or 3.2+/-6.5%) and propose a variant of class activation maps to obtain the per cell power loss, as predicted by the model. With this work, we aim to open a new research topic. Therefore, we publicly release the dataset, the code and trained models to empower other researchers to compare against our results. Finally, we present a thorough evaluation of certain boundary conditions like the dataset size and an automated preprocessing pipeline for on-site measurements showing multiple modules at once. △ Less

Submitted 26 November, 2020; v1 submitted 30 September, 2020; originally announced September 2020.

Magnetic proximity effect on excitonic spin states in Mn-doped layered hybrid perovskites

Authors: Timo Neumann, Sascha Feldmann, Philipp Moser, Jonathan Zerhoch, Tim van de Goor, Alex Delhomme, Thomas Winkler, Jonathan J. Finley, Clément Faugeras, Martin S. Brandt, Andreas V. Stier, Felix Deschler

Abstract: Materials combining the optoelectronic functionalities of semiconductors with control of the spin degree of freedom are highly sought after for the advancement of quantum technology devices. Here, we report the paramagnetic Ruddlesden-Popper hybrid perovskite Mn:(PEA)2PbI4 (PEA = phenethylammonium) in which the interaction of isolated Mn2+ ions with magnetically brightened excitons leads to circul… ▽ More Materials combining the optoelectronic functionalities of semiconductors with control of the spin degree of freedom are highly sought after for the advancement of quantum technology devices. Here, we report the paramagnetic Ruddlesden-Popper hybrid perovskite Mn:(PEA)2PbI4 (PEA = phenethylammonium) in which the interaction of isolated Mn2+ ions with magnetically brightened excitons leads to circularly polarized photoluminescence. Using a combination of superconducting quantum interference device (SQUID) magnetometry and magneto-optical experiments, we find that the Brillouin-shaped polarization curve of the photoluminescence follows the magnetization of the material. This indicates coupling between localized manganese magnetic moments and exciton spins via a magnetic proximity effect. The saturation polarization of 15% at 4 K and 6 T indicates a highly imbalanced spin population and demonstrates that manganese do** enables efficient control of excitonic spin states in Ruddlesden-Popper perovskites. Our finding constitutes the first example of polarization control in magnetically doped hybrid perovskites and will stimulate research on this highly tuneable material platform that promises tailored interactions between magnetic moments and electronic states. △ Less

Submitted 29 September, 2020; originally announced September 2020.

The Complexity of Reachability in Parametric Markov Decision Processes

Authors: Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler

Abstract: This article presents the complexity of reachability decision problems for parametric Markov decision processes (pMDPs), an extension to Markov decision processes (MDPs) where transitions probabilities are described by polynomials over a finite set of parameters. In particular, we study the complexity of finding values for these parameters such that the induced MDP satisfies some maximal or minima… ▽ More This article presents the complexity of reachability decision problems for parametric Markov decision processes (pMDPs), an extension to Markov decision processes (MDPs) where transitions probabilities are described by polynomials over a finite set of parameters. In particular, we study the complexity of finding values for these parameters such that the induced MDP satisfies some maximal or minimal reachability probability constraints. We discuss different variants depending on the comparison operator in the constraints and the domain of the parameter values. We improve all known lower bounds for this problem, and notably provide ETR-completeness results for distinct variants of this problem. △ Less

Submitted 28 September, 2020; originally announced September 2020.

Comments: This is a preprint of an article under submission which follows our earlier CONCUR paper. It contains small corrections and new results regarding qualitative reachability queries

Mechanism of carrier localization in doped perovskite nanocrystals for bright emission

Authors: Sascha Feldmann, Mahesh Gangishetty, Ivona Bravic, Timo Neumann, Bo Peng, Thomas Winkler, Richard H. Friend, Bartomeu Monserrat, Daniel N. Congreve, Felix Deschler

Abstract: Nanocrystals based on metal-halide perovskites offer a promising material platform for highly efficient lighting. Using transient optical spectroscopy, we study excitation recombination dynamics in manganese-doped CsPb(Cl,Br)3 perovskite nanocrystals. We find an increase in the intrinsic excitonic radiative recombination rate upon do**, which is typically a challenging material property to tailo… ▽ More Nanocrystals based on metal-halide perovskites offer a promising material platform for highly efficient lighting. Using transient optical spectroscopy, we study excitation recombination dynamics in manganese-doped CsPb(Cl,Br)3 perovskite nanocrystals. We find an increase in the intrinsic excitonic radiative recombination rate upon do**, which is typically a challenging material property to tailor. Supported by ab initio calculations, we can attribute the enhanced emission rates to increased exciton localization through lattice periodicity breaking from Mn dopants, which increases exciton effective masses and overlap of electron and hole wavefunctions and thus the oscillator strength. Our report of a fundamental strategy for improving luminescence efficiencies in perovskite nanocrystals will be valuable for maximizing efficiencies in light-emitting applications. △ Less

Submitted 26 August, 2020; originally announced August 2020.

Report number: J. Am. Chem. Soc. 2021, 143, 23, 8647--8653

Generating Functions for Probabilistic Programs

Authors: Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler

Abstract: This paper investigates the usage of generating functions (GFs) encoding measures over the program variables for reasoning about discrete probabilistic programs. To that end, we define a denotational GF-transformer semantics for probabilistic while-programs, and show that it instantiates Kozen's seminal distribution transformer semantics. We then study the effective usage of GFs for program analys… ▽ More This paper investigates the usage of generating functions (GFs) encoding measures over the program variables for reasoning about discrete probabilistic programs. To that end, we define a denotational GF-transformer semantics for probabilistic while-programs, and show that it instantiates Kozen's seminal distribution transformer semantics. We then study the effective usage of GFs for program analysis. We show that finitely expressible GFs enable checking super-invariants by means of computer algebra tools, and that they can be used to determine termination probabilities. The paper concludes by characterizing a class of -- possibly infinite-state -- programs whose semantics is a rational GF encoding a discrete phase-type distribution. △ Less

Submitted 13 July, 2020; originally announced July 2020.

Stochastic Games with Lexicographic Reachability-Safety Objectives

Authors: Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler

Abstract: We study turn-based stochastic zero-sum games with lexicographic preferences over reachability and safety objectives. Stochastic games are standard models in control, verification, and synthesis of stochastic reactive systems that exhibit both randomness as well as angelic and demonic non-determinism. Lexicographic order allows to consider multiple objectives with a strict preference order over th… ▽ More We study turn-based stochastic zero-sum games with lexicographic preferences over reachability and safety objectives. Stochastic games are standard models in control, verification, and synthesis of stochastic reactive systems that exhibit both randomness as well as angelic and demonic non-determinism. Lexicographic order allows to consider multiple objectives with a strict preference order over the satisfaction of the objectives. To the best of our knowledge, stochastic games with lexicographic objectives have not been studied before. We establish determinacy of such games and present strategy and computational complexity results. For strategy complexity, we show that lexicographically optimal strategies exist that are deterministic and memory is only required to remember the already satisfied and violated objectives. For a constant number of objectives, we show that the relevant decision problem is in NP $\cap$ coNP, matching the current known bound for single objectives; and in general the decision problem is PSPACE-hard and can be solved in NEXPTIME $\cap$ coNEXPTIME. We present an algorithm that computes the lexicographically optimal strategies via a reduction to computation of optimal strategies in a sequence of single-objectives games. We have implemented our algorithm and report experimental results on various case studies. △ Less

Submitted 13 May, 2020; v1 submitted 8 May, 2020; originally announced May 2020.

Comments: Full version (33 pages) of CAV20 conference paper; including an appendix with technical proofs

Value-based Engineering for Ethics by Design

Authors: Sarah Spiekermann, Till Winkler

Abstract: This article gives a methodological overview of Value-based Engineering for ethics by design. It discusses key challenges and measures involved in eliciting, conceptualizing, prioritizing and respecting values in system design. Thereby it draws from software engineering, value sensitive design, design thinking and participatory design as well as from philosophical sources, especially Material Ethi… ▽ More This article gives a methodological overview of Value-based Engineering for ethics by design. It discusses key challenges and measures involved in eliciting, conceptualizing, prioritizing and respecting values in system design. Thereby it draws from software engineering, value sensitive design, design thinking and participatory design as well as from philosophical sources, especially Material Ethics of Value. The article recognizes timely challenges for Value-based Engineering, such as compatibility with agile forms of system development, responsibility in hardly controllable ecosystems of interconnected services, fearless integration of external stakeholders and the difficulty in measuring the ethicality of a system. Finally, the Value-based Engineering methodology presented here benefits from learnings collected in the IEEE P7000 standardization process as well as from a case study. P7000 has been set up by IEEE to establish a process model, which addresses ethical considerations throughout the various stages of system initiation, analysis and design. △ Less

Submitted 23 October, 2020; v1 submitted 28 April, 2020; originally announced April 2020.

Comments: 16 pages content reduction

Skyrmion Lattice Phases in Thin Film Multilayer

Authors: Jakub Zázvorka, Florian Dittrich, Yuquing Ge, Nico Kerber, Klaus Raab, Thomas Winkler, Kai Litzius, Martin Veis, Peter Virnau, Mathias Kläui

Abstract: Phases of matter are ubiquitous with everyday examples including solids and liquids. In reduced dimensions, particular phases, such as the two-dimensional (2D) hexatic phase and corresponding phase transitions occur. A particularly exciting example of 2D ordered systems are skyrmion lattices, where in contrast to previously studied 2D colloid systems, the skyrmion size and density can be tuned by… ▽ More Phases of matter are ubiquitous with everyday examples including solids and liquids. In reduced dimensions, particular phases, such as the two-dimensional (2D) hexatic phase and corresponding phase transitions occur. A particularly exciting example of 2D ordered systems are skyrmion lattices, where in contrast to previously studied 2D colloid systems, the skyrmion size and density can be tuned by temperature and magnetic field. This allows us to drive the system from a liquid phase to a hexatic phase as deduced from the analysis of the hexagonal order. Using coarse-grained molecular dynamics simulations of soft disks, we determine the skyrmion interaction potentials and we find that the simulations are able to reproduce the full two-dimensional phase behavior. This shows that not only the static behavior of skyrmions is qualitatively well described in terms of a simple two-dimensional model system but skyrmion lattices are versatile and tunable two-dimensional model systems that allow for studying phases and phase transitions in reduced dimensions. △ Less

Submitted 5 February, 2021; v1 submitted 14 April, 2020; originally announced April 2020.

Comments: Corrected Acknowledgements

Approximating Values of Generalized-Reachability Stochastic Games

Authors: Pranav Ashok, Krishnendu Chatterjee, Jan Kretinsky, Maximilian Weininger, Tobias Winkler

Abstract: Simple stochastic games are turn-based 2.5-player games with a reachability objective. The basic question asks whether one player can ensure reaching a given target with at least a given probability. A natural extension is games with a conjunction of such conditions as objective. Despite a plethora of recent results on the analysis of systems with multiple objectives, the decidability of this basi… ▽ More Simple stochastic games are turn-based 2.5-player games with a reachability objective. The basic question asks whether one player can ensure reaching a given target with at least a given probability. A natural extension is games with a conjunction of such conditions as objective. Despite a plethora of recent results on the analysis of systems with multiple objectives, the decidability of this basic problem remains open. In this paper, we present an algorithm approximating the Pareto frontier of the achievable values to a given precision. Moreover, it is an anytime algorithm, meaning it can be stopped at any time returning the current approximation and its error bound. △ Less

Submitted 27 April, 2020; v1 submitted 14 August, 2019; originally announced August 2019.

On the Complexity of Reachability in Parametric Markov Decision Processes

Authors: Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen

Abstract: This paper studies parametric Markov decision processes (pMDPs), an extension to Markov decision processes (MDPs) where transitions probabilities are described by polynomials over a finite set of parameters. Fixing values for all parameters yields MDPs. In particular, this paper studies the complexity of finding values for these parameters such that the induced MDP satisfies some reachability cons… ▽ More This paper studies parametric Markov decision processes (pMDPs), an extension to Markov decision processes (MDPs) where transitions probabilities are described by polynomials over a finite set of parameters. Fixing values for all parameters yields MDPs. In particular, this paper studies the complexity of finding values for these parameters such that the induced MDP satisfies some reachability constraints. We discuss different variants depending on the comparison operator in the constraints and the domain of the parameter values. We improve all known lower bounds for this problem, and notably provide ETR-completeness results for distinct variants of this problem. Furthermore, we provide insights in the functions describing the induced reachability probabilities, and how pMDPs generalise concurrent stochastic reachability games. △ Less

Submitted 2 April, 2019; originally announced April 2019.

Comments: Full version with proofs, 42 pages

Scaling of intrinsic domain wall magneto-resistance with confinement in electromigrated nanocontacts

Authors: Robert M. Reeve, André Loescher, Hamidreza Kazemi, Bertrand Dupé, Thomas Winkler, Daniel Schönke, Jun Miao, Kai Litzius, Nicholas Sedlmayr, Imke Schneider, Jairo Sinova, Sebastian Eggert, Mathias Kläui

Abstract: In this work we study the evolution of intrinsic domain wall magnetoresistance (DWMR) with domain wall confinement. Clean permalloy notched half-ring nanocontacts are fabricated using a special ultra-high vacuum electromigration procedure to tailor the size of the wire in-situ and through the resulting domain wall confinement we tailor the domain wall width from a few tens of nm down to a few nm.… ▽ More In this work we study the evolution of intrinsic domain wall magnetoresistance (DWMR) with domain wall confinement. Clean permalloy notched half-ring nanocontacts are fabricated using a special ultra-high vacuum electromigration procedure to tailor the size of the wire in-situ and through the resulting domain wall confinement we tailor the domain wall width from a few tens of nm down to a few nm. Through measurements of the dependence of the resistance with respect to the applied field direction we extract the contribution of a single domain wall to the MR of the device, as a function of the domain wall width in the confining potential at the notch. In this size range, an intrinsic positive MR is found, which dominates over anisotropic MR, as confirmed by comparison to micromagnetic simulations. Moreover, the MR is found to scale monotonically with the size of the domain wall, $δ_{DW}$, as 1/$δ_{DW}^b$, with $b=2.31\pm 0.39 $. The experimental result is supported by quantum-mechanical transport simulations based on ab-initio density functional theory calculations. △ Less

Submitted 13 December, 2018; originally announced December 2018.

Journal ref: Phys. Rev. B 99, 214437 (2019)

Insulator-to-Metal Transition in Selenium-Hyperdoped Silicon: Observation and Origin

Authors: Elif Ertekin, Mark T. Winkler, Daniel Recht, Aurore J. Said, Michael J. Aziz, Tonio Buonassisi, Jeffrey C. Grossman

Abstract: Hyperdo** has emerged as a promising method for designing semiconductors with unique optical and electronic properties, although such properties currently lack a clear microscopic explanation. Combining computational and experimental evidence, we probe the origin of sub-band gap optical absorption and metallicity in Se-hyperdoped Si. We show that sub-band gap absorption arises from direct defect… ▽ More Hyperdo** has emerged as a promising method for designing semiconductors with unique optical and electronic properties, although such properties currently lack a clear microscopic explanation. Combining computational and experimental evidence, we probe the origin of sub-band gap optical absorption and metallicity in Se-hyperdoped Si. We show that sub-band gap absorption arises from direct defect-to-conduction band transitions rather than free carrier absorption. Density functional theory predicts the Se-induced insulator-to-metal transition arises from merging of defect and conduction bands, at a concentration in excellent agreement with experiment. Quantum Monte Carlo calculations confirm the critical concentration, demonstrate that correlation is important to describing the transition accurately, and suggest that it is a classic impurity-driven Mott transition. △ Less

Submitted 22 November, 2011; originally announced November 2011.

Comments: 5 pages, 3 figures (PRL formatted)

Insulator-to-metal transition in sulfur-doped silicon

Authors: Mark T. Winkler, Daniel Recht, Meng-Ju Sher, Aurore J. Said, Eric Mazur, Michael J. Aziz

Abstract: We observe an insulator-to-metal (I-M) transition in crystalline silicon doped with sulfur to non- equilibrium concentrations using ion implantation followed by pulsed laser melting and rapid resolidification. This I-M transition is due to a dopant known to produce only deep levels at equilibrium concentrations. Temperature-dependent conductivity and Hall effect measurements for temperatures T > 1… ▽ More We observe an insulator-to-metal (I-M) transition in crystalline silicon doped with sulfur to non- equilibrium concentrations using ion implantation followed by pulsed laser melting and rapid resolidification. This I-M transition is due to a dopant known to produce only deep levels at equilibrium concentrations. Temperature-dependent conductivity and Hall effect measurements for temperatures T > 1.7 K both indicate that a transition from insulating to metallic conduction occurs at a sulfur concentration between 1.8 and 4.3 x 10^20 cm-3. Conduction in insulating samples is consistent with variable range hop** with a Coulomb gap. The capacity for deep states to effect metallic conduction by delocalization is the only known route to bulk intermediate band photovoltaics in silicon. △ Less

Submitted 3 March, 2011; originally announced March 2011.

Comments: Submission formatting; 4 journal pages equivalent

Compensation-dependence of magnetic and electrical properties in Ga1-xMnxP

Authors: T. E. Winkler, P. R. Stone, Tian Li, K. M. Yu, A. Bonanni, O. D. Dubon

Abstract: We demonstrate the control of the hole concentration in Ga1-xMnxP over a wide range by introducing compensating vacancies. The resulting evolution of the Curie temperature from 51 K to 7.5 K is remarkably similar to that observed in Ga1-xMnxAs despite the dramatically different character of hole transport between the two material systems. The highly localized nature of holes in Ga1-xMnxP is reflec… ▽ More We demonstrate the control of the hole concentration in Ga1-xMnxP over a wide range by introducing compensating vacancies. The resulting evolution of the Curie temperature from 51 K to 7.5 K is remarkably similar to that observed in Ga1-xMnxAs despite the dramatically different character of hole transport between the two material systems. The highly localized nature of holes in Ga1-xMnxP is reflected in the accompanying increase in resistivity by many orders of magnitude. Based on variable-temperature resistivity data we present a general picture for hole conduction in which variable-range hop** is the dominant transport mechanism in the presence of compensation. △ Less

Submitted 14 December, 2010; v1 submitted 7 October, 2010; originally announced October 2010.

Comments: 3 pages, 3 figures; accepted for publication in Applied Physics Letters

Journal ref: Appl. Phys. Lett. 98, 012103 (2011)

Experimental probing of exchange interactions between localized spins in the dilute magnetic insulator (Ga,Mn)N

Authors: A. Bonanni, M. Sawicki, T. Devillers, W. Stefanowicz, B. Faina, Tian Li, T. E. Winkler, D. Sztenkiel, A. Navarro-Quezada, M. Rovezzi, R. Jakiela, A. Grois, M. Wegscheider, W. Jantsch, J. Suffczynski, F. D'Acapito, A. Meingast, G. Kothleitner, T. Dietl

Abstract: The sign, magnitude, and range of the exchange couplings between pairs of Mn ions is determined for (Ga,Mn)N and (Ga,Mn)N:Si with x < 3%. The samples have been grown by metalorganic vapor phase epitaxy and characterized by secondary-ion mass spectroscopy; high-resolution transmission electron microscopy with capabilities allowing for chemical analysis, including the annular dark-field mode and ele… ▽ More The sign, magnitude, and range of the exchange couplings between pairs of Mn ions is determined for (Ga,Mn)N and (Ga,Mn)N:Si with x < 3%. The samples have been grown by metalorganic vapor phase epitaxy and characterized by secondary-ion mass spectroscopy; high-resolution transmission electron microscopy with capabilities allowing for chemical analysis, including the annular dark-field mode and electron energy loss spectroscopy; high-resolution and synchrotron x-ray diffraction; synchrotron extended x-ray absorption fine-structure; synchrotron x-ray absorption near-edge structure; infra-red optics and electron spin resonance. The results of high resolution magnetic measurements and their quantitative interpretation have allowed to verify a series of ab initio predictions on the possibility of ferromagnetism in dilute magnetic insulators and to demonstrate that the interaction changes from ferromagnetic to antiferromagnetic when the charge state of the Mn ions is reduced from 3+ to 2+. △ Less

Submitted 20 June, 2011; v1 submitted 12 August, 2010; originally announced August 2010.

Comments: 12 pages, 14 figures; This version contains the detailed characterization of the crystal structure as well as of the Mn distribution and charge state

Journal ref: Phys. Rev. B 84, 035206 (2011)