-
High-coherence superconducting qubits made using industry-standard, advanced semiconductor manufacturing
Authors:
Jacques Van Damme,
Shana Massar,
Rohith Acharya,
Tsvetan Ivanov,
Daniel Perez Lozano,
Yann Canvel,
Mael Demarets,
Diziana Vangoidsenhoven,
Yannick Hermans,
Ju-Geng Lai,
Vadiraj Rao,
Massimo Mongillo,
Danny Wan,
Jo De Boeck,
Anton Potocnik,
Kristiaan De Greve
Abstract:
The development of superconducting qubit technology has shown great potential for the construction of practical quantum computers. As the complexity of quantum processors continues to grow, the need for stringent fabrication tolerances becomes increasingly critical. Utilizing advanced industrial fabrication processes could facilitate the necessary level of fabrication control to support the contin…
▽ More
The development of superconducting qubit technology has shown great potential for the construction of practical quantum computers. As the complexity of quantum processors continues to grow, the need for stringent fabrication tolerances becomes increasingly critical. Utilizing advanced industrial fabrication processes could facilitate the necessary level of fabrication control to support the continued scaling of quantum processors. However, these industrial processes are currently not optimized to produce high coherence devices, nor are they a priori compatible with the commonly used approaches to make superconducting qubits. In this work, we demonstrate for the first time superconducting transmon qubits manufactured in a 300 mm CMOS pilot line, using industrial fabrication methods, with resulting relaxation and coherence times already exceeding 100 microseconds. We show across-wafer, large-scale statistics studies of coherence, yield, variability, and aging that confirm the validity of our approach. The presented industry-scale fabrication process, using exclusively optical lithography and reactive ion etching, shows performance and yield similar to the conventional laboratory-style techniques utilizing metal lift-off, angled evaporation, and electron-beam writing. Moreover, it offers potential for further upscaling by including three-dimensional integration and additional process optimization using advanced metrology and judicious choice of processing parameters and splits. This result marks the advent of more reliable, large-scale, truly CMOS-compatible fabrication of superconducting quantum computing processors.
△ Less
Submitted 22 April, 2024; v1 submitted 2 March, 2024;
originally announced March 2024.
-
Magnetoelectric Coupling in Pb(Zr,Ti)O3/CoFeB Nanoscale Waveguides Studied by Propagating Spin-Wave Spectroscopy
Authors:
Daniele Narducci,
Xiangyu Wu,
Isabella Boventer,
Jo De Boeck,
Abdelmadjid Anane,
Paolo Bortolotti,
Christoph Adelmann,
Florin Ciubotaru
Abstract:
This study introduces a method for the characterization of the magnetoelectric coupling in nanoscale Pb(Zr,Ti)O3/CoFeB thin film composites based on propagating spin-wave spectroscopy. Finite element simulations of the strain distribution in the devices indicated that the magnetoelastic effective field in the CoFeB waveguides was maximized in the Damon - Eshbach configuration. All-electrical broad…
▽ More
This study introduces a method for the characterization of the magnetoelectric coupling in nanoscale Pb(Zr,Ti)O3/CoFeB thin film composites based on propagating spin-wave spectroscopy. Finite element simulations of the strain distribution in the devices indicated that the magnetoelastic effective field in the CoFeB waveguides was maximized in the Damon - Eshbach configuration. All-electrical broadband propagating spin-wave transmission measurements were conducted on Pb(Zr,Ti)O3/CoFeB magnetoelectric waveguides with lateral dimensions down to 700 nm. The results demonstrated that the spin-wave resonance frequency can be modulated by applying a bias voltage to Pb(Zr,Ti)O3. The modulation is hysteretic due to the ferroelastic behavior of Pb(Zr,Ti)O3. An analytical model was then used to correlate the change in resonance frequency to the induced magnetoelastic field in the magnetostrictive CoFeB waveguide. We observe a hysteresis magnetoelastic field strength with values as large as 5.61 mT, and a non-linear magnetoelectric coupling coefficient with a maximum value of 1.69 mT/V.
△ Less
Submitted 10 December, 2023;
originally announced December 2023.
-
Randomness and imprecision: from supermartingales to randomness tests
Authors:
Gert de Cooman,
Floris Persiau,
Jasper De Bock
Abstract:
We generalise the randomness test definitions in the literature for both the Martin-Löf and Schnorr randomness of a series of binary outcomes, in order to allow for interval-valued rather than merely precise forecasts for these outcomes, and prove that under some computability conditions on the forecasts, our definition of Martin-Löf test randomness can be seen as a special case of Levin's uniform…
▽ More
We generalise the randomness test definitions in the literature for both the Martin-Löf and Schnorr randomness of a series of binary outcomes, in order to allow for interval-valued rather than merely precise forecasts for these outcomes, and prove that under some computability conditions on the forecasts, our definition of Martin-Löf test randomness can be seen as a special case of Levin's uniform randomness. We show that the resulting randomness notions are, under some computability and non-degeneracy conditions on the forecasts, equivalent to the martingale-theoretic versions we introduced in earlier papers. In addition, we prove that our generalised notion of Martin-Löf randomness can be characterised by universal supermartingales and universal randomness tests.
△ Less
Submitted 20 December, 2023; v1 submitted 25 August, 2023;
originally announced August 2023.
-
Field-Free Spin-Orbit Torque driven Switching of Perpendicular Magnetic Tunnel Junction through Bending Current
Authors:
Vaishnavi Kateel,
Viola Krizakova,
Siddharth Rao,
Kaiming Cai,
Mohit Gupta,
Maxwel Gama Monteiro,
Farrukh Yasin,
Bart Sorée,
Johan De Boeck,
Sebastien Couet,
Pietro Gambardella,
Gouri Sankar Kar,
Kevin Garello
Abstract:
Current-induced spin-orbit torques (SOTs) enable fast and efficient manipulation of the magnetic state of magnetic tunnel junctions (MTJs), making it attractive for memory, in-memory computing, and logic applications. However, the requirement of the external magnetic field to achieve deterministic switching in perpendicular magnetized SOT-MTJs limits its implementation for practical applications.…
▽ More
Current-induced spin-orbit torques (SOTs) enable fast and efficient manipulation of the magnetic state of magnetic tunnel junctions (MTJs), making it attractive for memory, in-memory computing, and logic applications. However, the requirement of the external magnetic field to achieve deterministic switching in perpendicular magnetized SOT-MTJs limits its implementation for practical applications. Here, we introduce a field-free switching (FFS) solution for the SOT-MTJ device by sha** the SOT channel to create a "bend" in the SOT current. The resulting bend in the charge current creates a spatially non-uniform spin current, which translates into inhomogeneous SOT on an adjacent magnetic free layer enabling deterministic switching. We demonstrate FFS experimentally on scaled SOT-MTJs at nanosecond time scales. This proposed scheme is scalable, material-agnostic, and readily compatible with wafer-scale manufacturing, thus creating a pathway for develo** purely current-driven SOT systems.
△ Less
Submitted 6 May, 2023;
originally announced May 2023.
-
The logic behind desirable sets of things, and its filter representation
Authors:
Gert de Cooman,
Arthur Van Camp,
Jasper De Bock
Abstract:
We identify the (filter representation of the) logic behind the recent theory of coherent sets of desirable (sets of) things, which generalise coherent sets of desirable (sets of) gambles as well as coherent choice functions, and show that this identification allows us to establish various representation results for such coherent models in terms of simpler ones.
We identify the (filter representation of the) logic behind the recent theory of coherent sets of desirable (sets of) things, which generalise coherent sets of desirable (sets of) gambles as well as coherent choice functions, and show that this identification allows us to establish various representation results for such coherent models in terms of simpler ones.
△ Less
Submitted 20 June, 2024; v1 submitted 16 February, 2023;
originally announced February 2023.
-
A theory of desirable things
Authors:
Jasper De Bock
Abstract:
Inspired by the theory of desirable gambles that is used to model uncertainty in the field of imprecise probabilities, I present a theory of desirable things. Its aim is to model a subject's beliefs about which things are desirable. What the things are is not important, nor is what it means for them to be desirable. It can be applied to gambles, calling them desirable if a subject accepts them, bu…
▽ More
Inspired by the theory of desirable gambles that is used to model uncertainty in the field of imprecise probabilities, I present a theory of desirable things. Its aim is to model a subject's beliefs about which things are desirable. What the things are is not important, nor is what it means for them to be desirable. It can be applied to gambles, calling them desirable if a subject accepts them, but it can just as well be applied to pizzas, calling them desirable if my friend Arthur likes to eat them. Other useful examples of things one might apply this theory to are propositions, horse lotteries, or preferences between any of the above. Regardless of the particular things that are considered, inference rules are imposed by means of an abstract closure operator, and models that adhere to these rules are called coherent. I consider two types of models, each of which can capture a subject's beliefs about which things are desirable: sets of desirable things and sets of desirable sets of things. A crucial result is that the latter type can be represented by a set of the former.
△ Less
Submitted 10 May, 2023; v1 submitted 14 February, 2023;
originally announced February 2023.
-
Argon milling induced decoherence mechanisms in superconducting quantum circuits
Authors:
J. Van Damme,
Ts. Ivanov,
P. Favia,
T. Conard,
J. Verjauw,
R. Acharya,
D. Perez Lozano,
B. Raes,
J. Van de Vondel,
A. M. Vadiraj,
M. Mongillo,
D. Wan,
J. De Boeck,
A. Potočnik,
K. De Greve
Abstract:
The fabrication of superconducting circuits requires multiple deposition, etch and cleaning steps, each possibly introducing material property changes and microscopic defects. In this work, we specifically investigate the process of argon milling, a potentially coherence limiting step, using niobium and aluminum superconducting resonators as a proxy for surface-limited behavior of qubits. We find…
▽ More
The fabrication of superconducting circuits requires multiple deposition, etch and cleaning steps, each possibly introducing material property changes and microscopic defects. In this work, we specifically investigate the process of argon milling, a potentially coherence limiting step, using niobium and aluminum superconducting resonators as a proxy for surface-limited behavior of qubits. We find that niobium microwave resonators exhibit an order of magnitude decrease in quality-factors after surface argon milling, while aluminum resonators are resilient to the same process. Extensive analysis of the niobium surface shows no change in the suboxide composition due to argon milling, while two-tone spectroscopy measurements reveal an increase in two-level system electrical dipole moments, indicating a structurally altered niobium oxide hosting larger two-level system defects. However, a short dry etch can fully recover the argon milling induced losses on niobium, offering a potential route towards state-of-the-art overlap Josephson junction qubits with niobium circuitry.
△ Less
Submitted 7 February, 2023;
originally announced February 2023.
-
Countable-state stochastic processes with càdlàg sample paths
Authors:
Alexander Erreygers,
Jasper De Bock
Abstract:
The Daniell-Kolmogorov Extension Theorem is a fundamental result in the theory of stochastic processes, as it allows one to construct a stochastic process with prescribed finite-dimensional distributions. However, it is well-known that the domain of the constructed probability measure - the product sigma-algebra in the set of all paths - is not sufficiently rich. This problem is usually dealt with…
▽ More
The Daniell-Kolmogorov Extension Theorem is a fundamental result in the theory of stochastic processes, as it allows one to construct a stochastic process with prescribed finite-dimensional distributions. However, it is well-known that the domain of the constructed probability measure - the product sigma-algebra in the set of all paths - is not sufficiently rich. This problem is usually dealt with through a modification of the stochastic process, essentially changing the sample paths so that they become càdlàg. Assuming a countable state space, we provide an alternative version of the Daniell-Kolmogorov Extension Theorem that does not suffer from this problem, in that the domain is sufficiently rich and we do not need a subsequent modification step: we assume a rather weak regularity condition on the finite-dimensional distributions, and directly obtain a probability measure on the product sigma-algebra in the set of all càdlàg paths.
△ Less
Submitted 19 January, 2023;
originally announced January 2023.
-
On the (dis)similarities between stationary imprecise and non-stationary precise uncertainty models in algorithmic randomness
Authors:
Floris Persiau,
Jasper De Bock,
Gert de Cooman
Abstract:
The field of algorithmic randomness studies what it means for infinite binary sequences to be random for some given uncertainty model. Classically, martingale-theoretic notions of such randomness involve precise uncertainty models, and it is only recently that imprecision has been introduced into this context. As a consequence, the investigation into how imprecision alters our view on martingale-t…
▽ More
The field of algorithmic randomness studies what it means for infinite binary sequences to be random for some given uncertainty model. Classically, martingale-theoretic notions of such randomness involve precise uncertainty models, and it is only recently that imprecision has been introduced into this context. As a consequence, the investigation into how imprecision alters our view on martingale-theoretic random sequences has only just begun. In this contribution, where we allow for non-computable uncertainty models, we establish a close and surprising connection between precise and imprecise uncertainty models in this randomness context. In particular, we show that there are stationary imprecise models and non-computable non-stationary precise models that have the exact same set of random sequences. We also give a preliminary discussion of the possible implications of our result for a statistics based on imprecise probabilities, and shed some light on the practical (ir)relevance of both imprecise and non-computable precise uncertainty models in that context.
△ Less
Submitted 7 October, 2022; v1 submitted 20 April, 2022;
originally announced April 2022.
-
Decision-making with E-admissibility given a finite assessment of choices
Authors:
Arne Decadt,
Alexander Erreygers,
Jasper De Bock,
Gert de Cooman
Abstract:
Given information about which options a decision-maker definitely rejects from given finite sets of options, we study the implications for decision-making with E-admissibility. This means that from any finite set of options, we reject those options that no probability mass function compatible with the given information gives the highest expected utility. We use the mathematical framework of choice…
▽ More
Given information about which options a decision-maker definitely rejects from given finite sets of options, we study the implications for decision-making with E-admissibility. This means that from any finite set of options, we reject those options that no probability mass function compatible with the given information gives the highest expected utility. We use the mathematical framework of choice functions to specify choices and rejections, and specify the available information in the form of conditions on such functions. We characterise the most conservative extension of the given information to a choice function that makes choices based on E-admissibility, and provide an algorithm that computes this extension by solving linear feasibility problems.
△ Less
Submitted 12 May, 2022; v1 submitted 15 April, 2022;
originally announced April 2022.
-
The Smallest Probability Interval a Sequence Is Random for: A Study for Six Types of Randomness
Authors:
Floris Persiau,
Jasper De Bock,
Gert de Cooman
Abstract:
There are many randomness notions. On the classical account, many of them are about whether a given infinite binary sequence is random for some given probability. If so, this probability turns out to be the same for all these notions, so comparing them amounts to finding out for which of them a given sequence is random. This changes completely when we consider randomness with respect to probabilit…
▽ More
There are many randomness notions. On the classical account, many of them are about whether a given infinite binary sequence is random for some given probability. If so, this probability turns out to be the same for all these notions, so comparing them amounts to finding out for which of them a given sequence is random. This changes completely when we consider randomness with respect to probability intervals, because here, a sequence is always random for at least one interval, so the question is not if, but rather for which intervals, a sequence is random. We show that for many randomness notions, every sequence has a smallest interval it is (almost) random for. We study such smallest intervals and use them to compare a number of randomness notions. We establish conditions under which such smallest intervals coincide, and provide examples where they do not.
△ Less
Submitted 16 July, 2021;
originally announced July 2021.
-
Randomness is inherently imprecise
Authors:
Gert de Cooman,
Jasper De Bock
Abstract:
We use the martingale-theoretic approach of game-theoretic probability to incorporate imprecision into the study of randomness. In particular, we define several notions of randomness associated with interval, rather than precise, forecasting systems, and study their properties. The richer mathematical structure that thus arises lets us, amongst other things, better understand and place existing re…
▽ More
We use the martingale-theoretic approach of game-theoretic probability to incorporate imprecision into the study of randomness. In particular, we define several notions of randomness associated with interval, rather than precise, forecasting systems, and study their properties. The richer mathematical structure that thus arises lets us, amongst other things, better understand and place existing results for the precise limit. When we focus on constant interval forecasts, we find that every sequence of binary outcomes has an associated filter of intervals it is random for. It may happen that none of these intervals is precise -- a single real number -- which justifies the title of this paper. We illustrate this by showing that randomness associated with non-stationary precise forecasting systems can be captured by a constant interval forecast, which must then be less precise: a gain in model simplicity is thus paid for by a loss in precision. But imprecise randomness can't always be explained away as a result of oversimplification: we show that there are sequences that are random for a constant interval forecast, but never random for any {\comp} (more) precise forecasting system. We also show that the set of sequences that are random for a non-vacuous interval forecasting system is meagre, as it is for precise forecasting systems.
△ Less
Submitted 23 June, 2021; v1 submitted 26 February, 2021;
originally announced March 2021.
-
Global Upper Expectations for Discrete-Time Stochastic Processes: In Practice, They Are All The Same!
Authors:
Natan T'Joens,
Jasper De Bock
Abstract:
We consider three different types of global uncertainty models for discrete-time stochastic processes: measure-theoretic upper expectations, game-theoretic upper expectations and axiomatic upper expectations. The last two are known to be identical. We show that they coincide with measure-theoretic upper expectations on two distinct domains: monotone pointwise limits of finitary gambles, and bounde…
▽ More
We consider three different types of global uncertainty models for discrete-time stochastic processes: measure-theoretic upper expectations, game-theoretic upper expectations and axiomatic upper expectations. The last two are known to be identical. We show that they coincide with measure-theoretic upper expectations on two distinct domains: monotone pointwise limits of finitary gambles, and bounded below Borel-measurable variables. We argue that these domains cover most practical inferences, and that therefore, in practice, it does not matter which model is used.
△ Less
Submitted 29 April, 2021; v1 submitted 25 February, 2021;
originally announced February 2021.
-
On a notion of independence proposed by Teddy Seidenfeld
Authors:
Jasper De Bock,
Gert de Cooman
Abstract:
Teddy Seidenfeld has been arguing for quite a long time that binary preference models are not powerful enough to deal with a number of crucial aspects of imprecision and indeterminacy in uncertain inference and decision making. It is at his insistence that we initiated our study of so-called sets of desirable option sets, which we have argued elsewhere provides an elegant and powerful approach to…
▽ More
Teddy Seidenfeld has been arguing for quite a long time that binary preference models are not powerful enough to deal with a number of crucial aspects of imprecision and indeterminacy in uncertain inference and decision making. It is at his insistence that we initiated our study of so-called sets of desirable option sets, which we have argued elsewhere provides an elegant and powerful approach to dealing with general, binary as well as non-binary, decision-making under uncertainty. We use this approach here to explore an interesting notion of irrelevance (and independence), first suggested by Seidenfeld in an example intended as a criticism of a number of specific decision methodologies based on (convex) binary preferences. We show that the consequences of making such an irrelevance or independence assessment are very strong, and might be used to argue for the use of so-called mixing choice functions, and E-admissibility as the resulting decision scheme.
△ Less
Submitted 20 February, 2021;
originally announced February 2021.
-
Average Behaviour in Discrete-Time Imprecise Markov Chains: A Study of Weak Ergodicity
Authors:
Natan T'Joens,
Jasper De Bock
Abstract:
We study the limit behaviour of upper and lower bounds on expected time averages in imprecise Markov chains; a generalised type of Markov chain where the local dynamics, traditionally characterised by transition probabilities, are now represented by sets of `plausible' transition probabilities. Our first main result is a necessary and sufficient condition under which these upper and lower bounds,…
▽ More
We study the limit behaviour of upper and lower bounds on expected time averages in imprecise Markov chains; a generalised type of Markov chain where the local dynamics, traditionally characterised by transition probabilities, are now represented by sets of `plausible' transition probabilities. Our first main result is a necessary and sufficient condition under which these upper and lower bounds, called upper and lower expected time averages, will converge as time progresses towards infinity to limit values that do not depend on the process' initial state. Our condition is considerably weaker than that needed for ergodic behaviour; a similar notion which demands that marginal upper and lower expectations of functions at a single time instant converge to so-called limit-or steady state-upper and lower expectations. For this reason, we refer to our notion as `weak ergodicity'. Our second main result shows that, as far as this weakly ergodic behaviour is concerned, one should not worry about which type of independence assumption to adopt-epistemic irrelevance, complete independence or repetition independence. The characterisation of weak ergodicity as well as the limit values of upper and lower expected time averages do not depend on such a choice. Notably, this type of robustness is not exhibited by the notion of ergodicity and the related inferences of limit upper and lower expectations. Finally, though limit upper and lower expectations are often used to provide approximate information about the limit behaviour of time averages, we show that such an approximation is sub-optimal and that it can be significantly improved by directly using upper and lower expected time averages.
△ Less
Submitted 9 February, 2021;
originally announced February 2021.
-
A Particular Upper Expectation as Global Belief Model for Discrete-Time Finite-State Uncertain Processes
Authors:
Natan T'Joens,
Jasper De Bock,
Gert de Cooman
Abstract:
To model discrete-time finite-state uncertain processes, we argue for the use of a global belief model in the form of an upper expectation that is the most conservative one under a set of basic axioms. Our motivation for these axioms, which describe how local and global belief models should be related, is based on two possible interpretations for an upper expectation: a behavioural one similar to…
▽ More
To model discrete-time finite-state uncertain processes, we argue for the use of a global belief model in the form of an upper expectation that is the most conservative one under a set of basic axioms. Our motivation for these axioms, which describe how local and global belief models should be related, is based on two possible interpretations for an upper expectation: a behavioural one similar to Walley's, and an interpretation in terms of upper envelopes of linear expectations. We show that the most conservative upper expectation satisfying our axioms, that is, our model of choice, coincides with a particular version of the game-theoretic upper expectation introduced by Shafer and Vovk. This has two important implications: it guarantees that there is a unique most conservative global belief model satisfying our axioms; and it shows that Shafer and Vovk's model can be given an axiomatic characterisation and thereby provides an alternative motivation for adopting this model, even outside their game-theoretic framework. Finally, we relate our model to the upper expectation resulting from a traditional measure-theoretic approach. We show that this measure-theoretic upper expectation also satisfies the proposed axioms, which implies that it is dominated by our model or, equivalently, the game-theoretic model. Moreover, if all local models are precise, all three models coincide.
△ Less
Submitted 11 January, 2021; v1 submitted 7 August, 2020;
originally announced August 2020.
-
Game-Theoretic Upper Expectations for Discrete-Time Finite-State Uncertain Processes
Authors:
Natan T'Joens,
Jasper De Bock,
Gert de Cooman
Abstract:
Game-theoretic upper expectations are joint (global) probability models that mathematically describe the behaviour of uncertain processes in terms of supermartingales; capital processes corresponding to available betting strategies. Compared to (the more common) measure-theoretic expectation functionals, they are not bounded to restrictive assumptions such as measurability or precision, yet succee…
▽ More
Game-theoretic upper expectations are joint (global) probability models that mathematically describe the behaviour of uncertain processes in terms of supermartingales; capital processes corresponding to available betting strategies. Compared to (the more common) measure-theoretic expectation functionals, they are not bounded to restrictive assumptions such as measurability or precision, yet succeed in preserving, or even generalising many of their fundamental properties. We focus on a discrete-time setting where local state spaces are finite and, in this specific context, build on the existing work of Shafer and Vovk; the main developers of the framework of game-theoretic upper expectations. In a first part, we study Shafer and Vovk's characterisation of a local upper expectation and show how it is related to Walley's behavioural notion of coherence. The second part consists in a study of game-theoretic upper expectations on a more global level, where several alternative definitions, as well as a broad range of properties are derived, e.g. the law of iterated upper expectations, compatibility with local models, coherence properties,... Our main contribution, however, concerns the continuity behaviour of these operators. We prove continuity with respect to non-increasing sequences of so-called lower cuts and continuity with respect to non-increasing sequences of finitary functions. We moreover show that the game-theoretic upper expectation is uniquely determined by its values on the domain of bounded below limits of finitary functions, and additionally show that, for any such limit, the limiting sequence can be constructed in such a way that the game-theoretic upper expectation is continuous with respect to this particular sequence.
△ Less
Submitted 13 July, 2021; v1 submitted 6 August, 2020;
originally announced August 2020.
-
Inference with Choice Functions Made Practical
Authors:
Arne Decadt,
Jasper De Bock,
Gert de Cooman
Abstract:
We study how to infer new choices from previous choices in a conservative manner. To make such inferences, we use the theory of choice functions: a unifying mathematical framework for conservative decision making that allows one to impose axioms directly on the represented decisions. We here adopt the coherence axioms of De Bock and De Cooman (2019). We show how to naturally extend any given choic…
▽ More
We study how to infer new choices from previous choices in a conservative manner. To make such inferences, we use the theory of choice functions: a unifying mathematical framework for conservative decision making that allows one to impose axioms directly on the represented decisions. We here adopt the coherence axioms of De Bock and De Cooman (2019). We show how to naturally extend any given choice assessment to such a coherent choice function, whenever possible, and use this natural extension to make new choices. We present a practical algorithm to compute this natural extension and provide several methods that can be used to improve its scalability.
△ Less
Submitted 15 July, 2020; v1 submitted 7 May, 2020;
originally announced May 2020.
-
Computable randomness is about more than probabilities
Authors:
Floris Persiau,
Jasper De Bock,
Gert de Cooman
Abstract:
We introduce a notion of computable randomness for infinite sequences that generalises the classical version in two important ways. First, our definition of computable randomness is associated with imprecise probability models, in the sense that we consider lower expectations (or sets of probabilities) instead of classical 'precise' probabilities. Secondly, instead of binary sequences, we consider…
▽ More
We introduce a notion of computable randomness for infinite sequences that generalises the classical version in two important ways. First, our definition of computable randomness is associated with imprecise probability models, in the sense that we consider lower expectations (or sets of probabilities) instead of classical 'precise' probabilities. Secondly, instead of binary sequences, we consider sequences whose elements take values in some finite sample space. Interestingly, we find that every sequence is computably random with respect to at least one lower expectation, and that lower expectations that are more informative have fewer computably random sequences. This leads to the intriguing question whether every sequence is computably random with respect to a unique most informative lower expectation. We study this question in some detail and provide a partial answer.
△ Less
Submitted 22 September, 2020; v1 submitted 1 May, 2020;
originally announced May 2020.
-
Choice functions based on sets of strict partial orders: an axiomatic characterisation
Authors:
Jasper De Bock
Abstract:
Methods for choosing from a set of options are often based on a strict partial order on these options, or on a set of such partial orders. I here provide a very general axiomatic characterisation for choice functions of this form. It includes as special cases axiomatic characterisations for choice functions based on (sets of) total orders, (sets of) weak orders, (sets of) coherent lower previsions…
▽ More
Methods for choosing from a set of options are often based on a strict partial order on these options, or on a set of such partial orders. I here provide a very general axiomatic characterisation for choice functions of this form. It includes as special cases axiomatic characterisations for choice functions based on (sets of) total orders, (sets of) weak orders, (sets of) coherent lower previsions and (sets of) probability measures.
△ Less
Submitted 2 April, 2020; v1 submitted 25 March, 2020;
originally announced March 2020.
-
Limit Behaviour of Upper and Lower Expected Time Averages in Discrete-Time Imprecise Markov Chains
Authors:
Natan T'Joens,
Jasper De Bock
Abstract:
We study the limit behaviour of upper and lower bounds on expected time averages in imprecise Markov chains; a generalised type of Markov chain where the local dynamics, traditionally characterised by transition probabilities, are now represented by sets of 'plausible' transition probabilities. Our main result is a set of necessary and sufficient conditions under which these upper and lower bounds…
▽ More
We study the limit behaviour of upper and lower bounds on expected time averages in imprecise Markov chains; a generalised type of Markov chain where the local dynamics, traditionally characterised by transition probabilities, are now represented by sets of 'plausible' transition probabilities. Our main result is a set of necessary and sufficient conditions under which these upper and lower bounds, called upper and lower expected time averages, will converge as time progresses towards infinity to limit values that do not depend on the process' initial state. Remarkably, our conditions are considerably weaker than those needed to establish similar results for so-called limit -- or steady state -- upper and lower expectations, which are often used to provide approximate information about the limit behaviour of time averages as well. We show that such an approximation is sub-optimal and that it can be significantly improved by directly using upper and lower expected time averages.
△ Less
Submitted 26 March, 2020; v1 submitted 13 February, 2020;
originally announced February 2020.
-
Archimedean Choice Functions: an Axiomatic Foundation for Imprecise Decision Making
Authors:
Jasper De Bock
Abstract:
If uncertainty is modelled by a probability measure, decisions are typically made by choosing the option with the highest expected utility. If an imprecise probability model is used instead, this decision rule can be generalised in several ways. We here focus on two such generalisations that apply to sets of probability measures: E-admissibility and maximality. Both of them can be regarded as spec…
▽ More
If uncertainty is modelled by a probability measure, decisions are typically made by choosing the option with the highest expected utility. If an imprecise probability model is used instead, this decision rule can be generalised in several ways. We here focus on two such generalisations that apply to sets of probability measures: E-admissibility and maximality. Both of them can be regarded as special instances of so-called choice functions, a very general mathematical framework for decision making. For each of these two decision rules, we provide a set of necessary and sufficient conditions on choice functions that uniquely characterises this rule, thereby providing an axiomatic foundation for imprecise decision making with sets of probabilities. A representation theorem for Archimedean choice functions in terms of coherent lower previsions lies at the basis of both results.
△ Less
Submitted 25 March, 2020; v1 submitted 12 February, 2020;
originally announced February 2020.
-
A Recursive Algorithm for Computing Inferences in Imprecise Markov Chains
Authors:
Natan T'Joens,
Thomas Krak,
Jasper De Bock,
Gert de Cooman
Abstract:
We present an algorithm that can efficiently compute a broad class of inferences for discrete-time imprecise Markov chains, a generalised type of Markov chains that allows one to take into account partially specified probabilities and other types of model uncertainty. The class of inferences that we consider contains, as special cases, tight lower and upper bounds on expected hitting times, on hit…
▽ More
We present an algorithm that can efficiently compute a broad class of inferences for discrete-time imprecise Markov chains, a generalised type of Markov chains that allows one to take into account partially specified probabilities and other types of model uncertainty. The class of inferences that we consider contains, as special cases, tight lower and upper bounds on expected hitting times, on hitting probabilities and on expectations of functions that are a sum or product of simpler ones. Our algorithm exploits the specific structure that is inherent in all these inferences: they admit a general recursive decomposition. This allows us to achieve a computational complexity that scales linearly in the number of time points on which the inference depends, instead of the exponential scaling that is typical for a naive approach.
△ Less
Submitted 1 July, 2019; v1 submitted 30 May, 2019;
originally announced May 2019.
-
Monte Carlo Estimation for Imprecise Probabilities: Basic Properties
Authors:
Arne Decadt,
Gert de Cooman,
Jasper De Bock
Abstract:
We describe Monte Carlo methods for estimating lower envelopes of expectations of real random variables. We prove that the estimation bias is negative and that its absolute value shrinks with increasing sample size. We discuss fairly practical techniques for proving strong consistency of the estimators and use these to prove the consistency of an example in the literature. We also provide an examp…
▽ More
We describe Monte Carlo methods for estimating lower envelopes of expectations of real random variables. We prove that the estimation bias is negative and that its absolute value shrinks with increasing sample size. We discuss fairly practical techniques for proving strong consistency of the estimators and use these to prove the consistency of an example in the literature. We also provide an example where there is no consistency.
△ Less
Submitted 30 August, 2019; v1 submitted 22 May, 2019;
originally announced May 2019.
-
Hitting Times and Probabilities for Imprecise Markov Chains
Authors:
Thomas Krak,
Natan T'Joens,
Jasper De Bock
Abstract:
We consider the problem of characterising expected hitting times and hitting probabilities for imprecise Markov chains. To this end, we consider three distinct ways in which imprecise Markov chains have been defined in the literature: as sets of homogeneous Markov chains, as sets of more general stochastic processes, and as game-theoretic probability models. Our first contribution is that all thes…
▽ More
We consider the problem of characterising expected hitting times and hitting probabilities for imprecise Markov chains. To this end, we consider three distinct ways in which imprecise Markov chains have been defined in the literature: as sets of homogeneous Markov chains, as sets of more general stochastic processes, and as game-theoretic probability models. Our first contribution is that all these different types of imprecise Markov chains have the same lower and upper expected hitting times, and similarly the hitting probabilities are the same for these three types. Moreover, we provide a characterisation of these quantities that directly generalises a similar characterisation for precise, homogeneous Markov chains.
△ Less
Submitted 26 January, 2020; v1 submitted 21 May, 2019;
originally announced May 2019.
-
First Steps Towards an Imprecise Poisson Process
Authors:
Alexander Erreygers,
Jasper De Bock
Abstract:
The Poisson process is the most elementary continuous-time stochastic process that models a stream of repeating events. It is uniquely characterised by a single parameter called the rate. Instead of a single value for this rate, we here consider a rate interval and let it characterise two nested sets of stochastic processes. We call these two sets of stochastic process imprecise Poisson processes,…
▽ More
The Poisson process is the most elementary continuous-time stochastic process that models a stream of repeating events. It is uniquely characterised by a single parameter called the rate. Instead of a single value for this rate, we here consider a rate interval and let it characterise two nested sets of stochastic processes. We call these two sets of stochastic process imprecise Poisson processes, explain why this is justified, and study the corresponding lower and upper (conditional) expectations. Besides a general theoretical framework, we also provide practical methods to compute lower and upper (conditional) expectations of functions that depend on the number of events at a single point in time.
△ Less
Submitted 4 June, 2019; v1 submitted 14 May, 2019;
originally announced May 2019.
-
Interpreting, axiomatising and representing coherent choice functions in terms of desirability
Authors:
Jasper De Bock,
Gert de Cooman
Abstract:
Choice functions constitute a simple, direct and very general mathematical framework for modelling choice under uncertainty. In particular, they are able to represent the set-valued choices that appear in imprecise-probabilistic decision making. We provide these choice functions with a clear interpretation in terms of desirability, use this interpretation to derive a set of basic coherence axioms,…
▽ More
Choice functions constitute a simple, direct and very general mathematical framework for modelling choice under uncertainty. In particular, they are able to represent the set-valued choices that appear in imprecise-probabilistic decision making. We provide these choice functions with a clear interpretation in terms of desirability, use this interpretation to derive a set of basic coherence axioms, and show that this notion of coherence leads to a representation in terms of sets of strict preference orders. By imposing additional properties such as totality, the mixing property and Archimedeanity, we obtain representation in terms of sets of strict total orders, lexicographic probability systems, coherent lower previsions or linear previsions.
△ Less
Submitted 20 May, 2019; v1 submitted 28 February, 2019;
originally announced March 2019.
-
Continuity Properties of Game-theoretic Upper Expectations
Authors:
Natan T'Joens,
Jasper De Bock,
Gert de Cooman
Abstract:
We consider discrete-time uncertain processes with finite state space and study the properties of game-theoretic upper expectations developed by Shafer and Vovk. We start by proving some basic properties, e.g. monotonicity, law of iterated upper expectations,... Afterwards, we show that this operator satisfies several, more involved continuity properties, including continuity with respect to non-d…
▽ More
We consider discrete-time uncertain processes with finite state space and study the properties of game-theoretic upper expectations developed by Shafer and Vovk. We start by proving some basic properties, e.g. monotonicity, law of iterated upper expectations,... Afterwards, we show that this operator satisfies several, more involved continuity properties, including continuity with respect to non-decreasing sequences and continuity with respect to specific sequences of so-called `finitary measurable' functions, which are functions that depend on a finite number of states.
△ Less
Submitted 1 April, 2019; v1 submitted 25 February, 2019;
originally announced February 2019.
-
A Desirability-Based Axiomatisation for Coherent Choice Functions
Authors:
Jasper De Bock,
Gert de Cooman
Abstract:
Choice functions constitute a simple, direct and very general mathematical framework for modelling choice under uncertainty. In particular, they are able to represent the set-valued choices that typically arise from applying decision rules to imprecise-probabilistic uncertainty models. We provide them with a clear interpretation in terms of attitudes towards gambling, borrowing ideas from the theo…
▽ More
Choice functions constitute a simple, direct and very general mathematical framework for modelling choice under uncertainty. In particular, they are able to represent the set-valued choices that typically arise from applying decision rules to imprecise-probabilistic uncertainty models. We provide them with a clear interpretation in terms of attitudes towards gambling, borrowing ideas from the theory of sets of desirable gambles, and we use this interpretation to derive a set of basic axioms. We show that these axioms lead to a full-fledged theory of coherent choice functions, which includes a representation in terms of sets of desirable gambles, and a conservative inference method.
△ Less
Submitted 4 June, 2018;
originally announced June 2018.
-
Independent Natural Extension for Infinite Spaces
Authors:
Jasper De Bock
Abstract:
We define and study the independent natural extension of two local uncertainty models for the general case of infinite spaces, using the frameworks of sets of desirable gambles and conditional lower previsions. In contrast to Miranda and Zaffalon (2015), we adopt Williams-coherence instead of Walley-coherence. We show that our notion of independent natural extension always exists - whereas theirs…
▽ More
We define and study the independent natural extension of two local uncertainty models for the general case of infinite spaces, using the frameworks of sets of desirable gambles and conditional lower previsions. In contrast to Miranda and Zaffalon (2015), we adopt Williams-coherence instead of Walley-coherence. We show that our notion of independent natural extension always exists - whereas theirs does not - and that it satisfies various convenient properties, including factorisation and external additivity. The strength of these properties depends on the specific type of epistemic independence that is adopted. In particular, epistemic event-independence is shown to outperform epistemic atom-independence. Finally, the cases of lower expectations, expectations, lower probabilities and probabilities are obtained as special instances of our general definition. By applying our results to these instances, we demonstrate that epistemic independence is indeed epistemic, and that it includes the conventional notion of independence as a special case.
△ Less
Submitted 24 September, 2018; v1 submitted 3 May, 2018;
originally announced May 2018.
-
Continuity of the Shafer-Vovk-Ville Operator
Authors:
Natan T'Joens,
Gert de Cooman,
Jasper De Bock
Abstract:
Kolmogorovs axiomatic framework is the best-known approach to describing probabilities and, due to its use of the Lebesgue integral, leads to remarkably strong continuity properties. However, it relies on the specification of a probability measure on all measurable events. The game-theoretic framework proposed by Shafer and Vovk does without this restriction. They define global upper expectation o…
▽ More
Kolmogorovs axiomatic framework is the best-known approach to describing probabilities and, due to its use of the Lebesgue integral, leads to remarkably strong continuity properties. However, it relies on the specification of a probability measure on all measurable events. The game-theoretic framework proposed by Shafer and Vovk does without this restriction. They define global upper expectation operators using local betting options. We study the continuity properties of these more general operators. We prove that they are continuous with respect to upward convergence and show that this is not the case for downward convergence. We also prove a version of Fatous Lemma in this more general context. Finally, we prove their continuity with respect to point-wise limits of two-sided cuts.
△ Less
Submitted 8 June, 2018; v1 submitted 5 April, 2018;
originally announced April 2018.
-
An Imprecise Probabilistic Estimator for the Transition Rate Matrix of a Continuous-Time Markov Chain
Authors:
Thomas Krak,
Alexander Erreygers,
Jasper De Bock
Abstract:
We consider the problem of estimating the transition rate matrix of a continuous-time Markov chain from a finite-duration realisation of this process. We approach this problem in an imprecise probabilistic framework, using a set of prior distributions on the unknown transition rate matrix. The resulting estimator is a set of transition rate matrices that, for reasons of conjugacy, is easy to find.…
▽ More
We consider the problem of estimating the transition rate matrix of a continuous-time Markov chain from a finite-duration realisation of this process. We approach this problem in an imprecise probabilistic framework, using a set of prior distributions on the unknown transition rate matrix. The resulting estimator is a set of transition rate matrices that, for reasons of conjugacy, is easy to find. To determine the hyperparameters for our set of priors, we reconsider the problem in discrete time, where we can use the well-known Imprecise Dirichlet Model. In particular, we show how the limit of the resulting discrete-time estimators is a continuous-time estimator. It corresponds to a specific choice of hyperparameters and has an exceptionally simple closed-form expression.
△ Less
Submitted 11 July, 2018; v1 submitted 4 April, 2018;
originally announced April 2018.
-
Computing Inferences for Large-Scale Continuous-Time Markov Chains by Combining Lum** with Imprecision
Authors:
Alexander Erreygers,
Jasper De Bock
Abstract:
If the state space of a homogeneous continuous-time Markov chain is too large, making inferences - here limited to determining marginal or limit expectations - becomes computationally infeasible. Fortunately, the state space of such a chain is usually too detailed for the inferences we are interested in, in the sense that a less detailed - smaller - state space suffices to unambiguously formalise…
▽ More
If the state space of a homogeneous continuous-time Markov chain is too large, making inferences - here limited to determining marginal or limit expectations - becomes computationally infeasible. Fortunately, the state space of such a chain is usually too detailed for the inferences we are interested in, in the sense that a less detailed - smaller - state space suffices to unambiguously formalise the inference. However, in general this so-called lumped state space inhibits computing exact inferences because the corresponding dynamics are unknown and/or intractable to obtain. We address this issue by considering an imprecise continuous-time Markov chain. In this way, we are able to provide guaranteed lower and upper bounds for the inferences of interest, without suffering from the curse of dimensionality.
△ Less
Submitted 31 May, 2018; v1 submitted 3 April, 2018;
originally announced April 2018.
-
Imprecise Markov Models for Scalable and Robust Performance Evaluation of Flexi-Grid Spectrum Allocation Policies
Authors:
Alexander Erreygers,
Cristina Rottondi,
Giacomo Verticale,
Jasper De Bock
Abstract:
The possibility of flexibly assigning spectrum resources with channels of different sizes greatly improves the spectral efficiency of optical networks, but can also lead to unwanted spectrum fragmentation.We study this problem in a scenario where traffic demands are categorised in two types (low or high bit-rate) by assessing the performance of three allocation policies. Our first contribution con…
▽ More
The possibility of flexibly assigning spectrum resources with channels of different sizes greatly improves the spectral efficiency of optical networks, but can also lead to unwanted spectrum fragmentation.We study this problem in a scenario where traffic demands are categorised in two types (low or high bit-rate) by assessing the performance of three allocation policies. Our first contribution consists of exact Markov chain models for these allocation policies, which allow us to numerically compute the relevant performance measures. However, these exact models do not scale to large systems, in the sense that the computations required to determine the blocking probabilities---which measure the performance of the allocation policies---become intractable. In order to address this, we first extend an approximate reduced-state Markov chain model that is available in the literature to the three considered allocation policies. These reduced-state Markov chain models allow us to tractably compute approximations of the blocking probabilities, but the accuracy of these approximations cannot be easily verified. Our main contribution then is the introduction of reduced-state imprecise Markov chain models that allow us to derive guaranteed lower and upper bounds on blocking probabilities, for the three allocation policies separately or for all possible allocation policies simultaneously.
△ Less
Submitted 27 April, 2018; v1 submitted 17 January, 2018;
originally announced January 2018.
-
Computable Randomness is Inherently Imprecise
Authors:
Gert de Cooman,
Jasper De Bock
Abstract:
We use the martingale-theoretic approach of game-theoretic probability to incorporate imprecision into the study of randomness. In particular, we define a notion of computable randomness associated with interval, rather than precise, forecasting systems, and study its properties. The richer mathematical structure that thus arises lets us better understand and place existing results for the precise…
▽ More
We use the martingale-theoretic approach of game-theoretic probability to incorporate imprecision into the study of randomness. In particular, we define a notion of computable randomness associated with interval, rather than precise, forecasting systems, and study its properties. The richer mathematical structure that thus arises lets us better understand and place existing results for the precise limit. When we focus on constant interval forecasts, we find that every infinite sequence of zeroes and ones has an associated filter of intervals with respect to which it is computably random. It may happen that none of these intervals is precise, which justifies the title of this paper. We illustrate this by showing that computable randomness associated with non-stationary precise forecasting systems can be captured by a stationary interval forecast, which must then be less precise: a gain in model simplicity is thus paid for by a loss in precision.
△ Less
Submitted 4 May, 2017; v1 submitted 2 March, 2017;
originally announced March 2017.
-
Imprecise Continuous-Time Markov Chains: Efficient Computational Methods with Guaranteed Error Bounds
Authors:
Alexander Erreygers,
Jasper De Bock
Abstract:
Imprecise continuous-time Markov chains are a robust type of continuous-time Markov chains that allow for partially specified time-dependent parameters. Computing inferences for them requires the solution of a non-linear differential equation. As there is no general analytical expression for this solution, efficient numerical approximation methods are essential to the applicability of this model.…
▽ More
Imprecise continuous-time Markov chains are a robust type of continuous-time Markov chains that allow for partially specified time-dependent parameters. Computing inferences for them requires the solution of a non-linear differential equation. As there is no general analytical expression for this solution, efficient numerical approximation methods are essential to the applicability of this model. We here improve the uniform approximation method of Krak et al. (2016) in two ways and propose a novel and more efficient adaptive approximation method. For ergodic chains, we also provide a method that allows us to approximate stationary distributions up to any desired maximal error.
△ Less
Submitted 10 October, 2018; v1 submitted 23 February, 2017;
originally announced February 2017.
-
Efficient Computation of Updated Lower Expectations for Imprecise Continuous-Time Hidden Markov Chains
Authors:
Thomas Krak,
Jasper De Bock,
Arno Siebes
Abstract:
We consider the problem of performing inference with imprecise continuous-time hidden Markov chains, that is, imprecise continuous-time Markov chains that are augmented with random output variables whose distribution depends on the hidden state of the chain. The prefix `imprecise' refers to the fact that we do not consider a classical continuous-time Markov chain, but replace it with a robust exte…
▽ More
We consider the problem of performing inference with imprecise continuous-time hidden Markov chains, that is, imprecise continuous-time Markov chains that are augmented with random output variables whose distribution depends on the hidden state of the chain. The prefix `imprecise' refers to the fact that we do not consider a classical continuous-time Markov chain, but replace it with a robust extension that allows us to represent various types of model uncertainty, using the theory of imprecise probabilities. The inference problem amounts to computing lower expectations of functions on the state-space of the chain, given observations of the output variables. We develop and investigate this problem with very few assumptions on the output variables; in particular, they can be chosen to be either discrete or continuous random variables. Our main result is a polynomial runtime algorithm to compute the lower expectation of functions on the state-space at any given time-point, given a collection of observations of the output variables.
△ Less
Submitted 5 May, 2017; v1 submitted 22 February, 2017;
originally announced February 2017.
-
Credal Networks under Epistemic Irrelevance
Authors:
Jasper De Bock
Abstract:
A credal network under epistemic irrelevance is a generalised type of Bayesian network that relaxes its two main building blocks. On the one hand, the local probabilities are allowed to be partially specified. On the other hand, the assessments of independence do not have to hold exactly. Conceptually, these two features turn credal networks under epistemic irrelevance into a powerful alternative…
▽ More
A credal network under epistemic irrelevance is a generalised type of Bayesian network that relaxes its two main building blocks. On the one hand, the local probabilities are allowed to be partially specified. On the other hand, the assessments of independence do not have to hold exactly. Conceptually, these two features turn credal networks under epistemic irrelevance into a powerful alternative to Bayesian networks, offering a more flexible approach to graph-based multivariate uncertainty modelling. However, in practice, they have long been perceived as very hard to work with, both theoretically and computationally.
The aim of this paper is to demonstrate that this perception is no longer justified. We provide a general introduction to credal networks under epistemic irrelevance, give an overview of the state of the art, and present several new theoretical results. Most importantly, we explain how these results can be combined to allow for the design of recursive inference methods. We provide numerous concrete examples of how this can be achieved, and use these to demonstrate that computing with credal networks under epistemic irrelevance is most definitely feasible, and in some cases even highly efficient. We also discuss several philosophical aspects, including the lack of symmetry, how to deal with probability zero, the interpretation of lower expectations, the axiomatic status of graphoid properties, and the difference between updating and conditioning.
△ Less
Submitted 17 March, 2017; v1 submitted 27 January, 2017;
originally announced January 2017.
-
Seed Layer Impact on Structural and Magnetic Properties of [Co/Ni] Multilayers with Perpendicular Magnetic Anisotropy
Authors:
Enlong Liu,
J. Swerts,
T. Devolder,
S. Couet,
S. Mertens,
T. Lin,
V. Spampinato,
A. Franquet,
T. Conard,
S. Van Elshocht,
A. Furnemont,
J. De Boeck,
G. Kar
Abstract:
[Co/Ni] multilayers with perpendicular magnetic anisotropy (PMA) have been researched and applied in various spintronic applications. Typically the seed layer material is studied to provide the desired face-centered cubic (\textit{fcc}) texture to the [Co/Ni] to obtain PMA. The integration of [Co/Ni] in back-end-of-line (BEOL) processes also requires the PMA to survive post-annealing. In this pape…
▽ More
[Co/Ni] multilayers with perpendicular magnetic anisotropy (PMA) have been researched and applied in various spintronic applications. Typically the seed layer material is studied to provide the desired face-centered cubic (\textit{fcc}) texture to the [Co/Ni] to obtain PMA. The integration of [Co/Ni] in back-end-of-line (BEOL) processes also requires the PMA to survive post-annealing. In this paper, the impact of NiCr, Pt, Ru, and Ta seed layers on the structural and magnetic properties of [Co(0.3 nm)/Ni(0.6 nm)] multilayers is investigated before and after annealing. The multilayers were deposited \textit{in-situ} on different seeds via physical vapor deposition at room temperature. The as-deposited [Co/Ni] films show the required \textit{fcc}(111) texture on all seeds, but PMA is only observed on Pt and Ru. In-plane magnetic anisotropy (IMA) is obtained on NiCr and Ta seeds, which is attributed to strain-induced PMA loss. PMA is maintained on all seeds after post-annealing up to 400$^{\circ}$C. The largest effective perpendicular anisotropy energy ($K_U^{\mathrm{eff}}\approx 2\times10^5$J/m$^3$) after annealing is achieved on NiCr seed. The evolution of PMA upon annealing cannot be explained by further crystallization during annealing or strain-induced PMA, nor can the observed magnetization loss and the increased dam** after annealing. Here we identify the diffusion of the non-magnetic materials from the seed into [Co/Ni] as the major driver of the changes in the magnetic properties. By selecting the seed and post-annealing temperature, the [Co/Ni] can be tuned in a broad range for both PMA and dam**.
△ Less
Submitted 26 January, 2017;
originally announced January 2017.
-
Independent Natural Extension for Infinite Spaces: Williams-Coherence to the Rescue
Authors:
Jasper De Bock
Abstract:
We define the independent natural extension of two local models for the general case of infinite spaces, using both sets of desirable gambles and conditional lower previsions. In contrast to Miranda and Zaffalon (2015), we adopt Williams-coherence instead of Walley-coherence. We show that our notion of independent natural extension always exists - whereas theirs does not - and that it satisfies va…
▽ More
We define the independent natural extension of two local models for the general case of infinite spaces, using both sets of desirable gambles and conditional lower previsions. In contrast to Miranda and Zaffalon (2015), we adopt Williams-coherence instead of Walley-coherence. We show that our notion of independent natural extension always exists - whereas theirs does not - and that it satisfies various convenient properties, including factorisation and external additivity.
△ Less
Submitted 29 April, 2017; v1 submitted 25 January, 2017;
originally announced January 2017.
-
Imprecise Continuous-Time Markov Chains
Authors:
Thomas Krak,
Jasper De Bock,
Arno Siebes
Abstract:
Continuous-time Markov chains are mathematical models that are used to describe the state-evolution of dynamical systems under stochastic uncertainty, and have found widespread applications in various fields. In order to make these models computationally tractable, they rely on a number of assumptions that may not be realistic for the domain of application; in particular, the ability to provide ex…
▽ More
Continuous-time Markov chains are mathematical models that are used to describe the state-evolution of dynamical systems under stochastic uncertainty, and have found widespread applications in various fields. In order to make these models computationally tractable, they rely on a number of assumptions that may not be realistic for the domain of application; in particular, the ability to provide exact numerical parameter assessments, and the applicability of time-homogeneity and the eponymous Markov property. In this work, we extend these models to imprecise continuous-time Markov chains (ICTMC's), which are a robust generalisation that relaxes these assumptions while remaining computationally tractable.
More technically, an ICTMC is a set of "precise" continuous-time finite-state stochastic processes, and rather than computing expected values of functions, we seek to compute lower expectations, which are tight lower bounds on the expectations that correspond to such a set of "precise" models. Note that, in contrast to e.g. Bayesian methods, all the elements of such a set are treated on equal grounds; we do not consider a distribution over this set.
The first part of this paper develops a formalism for describing continuous-time finite-state stochastic processes that does not require the aforementioned simplifying assumptions. Next, this formalism is used to characterise ICTMC's and to investigate their properties. The concept of lower expectation is then given an alternative operator-theoretic characterisation, by means of a lower transition operator, and the properties of this operator are investigated as well. Finally, we use this lower transition operator to derive tractable algorithms (with polynomial runtime complexity w.r.t. the maximum numerical error) for computing the lower expectation of functions that depend on the state at any finite number of time points.
△ Less
Submitted 20 June, 2017; v1 submitted 17 November, 2016;
originally announced November 2016.
-
Ferromagnetic resonance study of composite Co/Ni - FeCoB free layers with perpendicular anisotropy
Authors:
T. Devolder,
E. Liu,
J. Swerts,
S. Couet,
T. Lin,
S. Mertens,
A. Furnemont,
G. Kar,
J. De Boeck
Abstract:
We study the properties of composite free layers with perpendicular anisotropy. The free layers are made of a soft FeCoB layer ferromagnetically coupled by a variable spacer (Ta, W, Mo) to a very anisotropic [Co/Ni] multilayer embodied in a magnetic tunnel junction meant for spin torque memory applications. For this we use broadband ferromagnetic resonance to follow the field dependence of the aco…
▽ More
We study the properties of composite free layers with perpendicular anisotropy. The free layers are made of a soft FeCoB layer ferromagnetically coupled by a variable spacer (Ta, W, Mo) to a very anisotropic [Co/Ni] multilayer embodied in a magnetic tunnel junction meant for spin torque memory applications. For this we use broadband ferromagnetic resonance to follow the field dependence of the acoustical and optical excitation of the composite free layer in both in-plane and out-of-plane applied fields. The modeling provides the interlayer exchange coupling, the anisotropies and the dam** factors. The popular Ta spacer are outperformed by W and even more by Mo, which combines the strongest interlayer exchange coupling without sacrificing anisotropies, dam** factors and transport properties.
△ Less
Submitted 26 September, 2016;
originally announced September 2016.
-
Convergence of Imprecise Continuous-Time Markov Chains
Authors:
Jasper De Bock
Abstract:
We study the limit behaviour of a generally non-linear ordinary differential equation whose solution is a superadditive generalisation of a stochastic matrix, and provide necessary and sufficient conditions for this solution to be ergodic, in the sense that it converges to an operator that, essentially, maps functions to constants. In the linear case, the solution of our differential equation is e…
▽ More
We study the limit behaviour of a generally non-linear ordinary differential equation whose solution is a superadditive generalisation of a stochastic matrix, and provide necessary and sufficient conditions for this solution to be ergodic, in the sense that it converges to an operator that, essentially, maps functions to constants. In the linear case, the solution of our differential equation is equal to the matrix exponential of an intensity matrix and can then be interpreted as the transition operator of a homogeneous continuous-time Markov chain. Similarly, in the generalised non-linear case that we consider, the solution can be interpreted as the lower transition operator of a specific set of non-homogeneous continuous-time Markov chains, called an imprecise continuous-time Markov chain. In this context, our main result provides a necessary and sufficient condition for such an imprecise continuous-time Markov chain to converge to a unique limiting distribution.
△ Less
Submitted 17 February, 2016;
originally announced February 2016.
-
Skyrmion-induced bound states on the surface of 3D Topological Insulators
Authors:
Dimitrios Andrikopoulos,
Bart Sorée,
Jo De Boeck
Abstract:
The interaction between the surface of a 3D topological insulator and a skyrmion / anti-skyrmion structure is studied in order to investigate the possibility of electron confinement due to skyrmion presence. Both hedgehog (Néel) and vortex (Bloch) skyrmions are considered. For the hedgehog skyrmion the in-plane components cannot be disregarded and their interaction with the surface state of the TI…
▽ More
The interaction between the surface of a 3D topological insulator and a skyrmion / anti-skyrmion structure is studied in order to investigate the possibility of electron confinement due to skyrmion presence. Both hedgehog (Néel) and vortex (Bloch) skyrmions are considered. For the hedgehog skyrmion the in-plane components cannot be disregarded and their interaction with the surface state of the TI has to be taken into account. A semi-classical description of the skyrmion chiral angle is obtained using the variational principle. It is shown that both the hedgehog and the vortex skyrmion can induce bound states on the surface of the TI. However, the number and the properties of these states depend strongly on the skyrmion type and on the skyrmion topological number $N_{Sk}$. The probability densities of the bound electrons are also derived where it is shown that they are localized within the skyrmion region.
△ Less
Submitted 12 March, 2016; v1 submitted 13 November, 2015;
originally announced November 2015.
-
A study of imprecise Markov chains: joint lower expectations and point-wise ergodic theorems
Authors:
Gert de Cooman,
Jasper De Bock,
Stavros Lopatatzidis
Abstract:
We justify and discuss expressions for joint lower and upper expectations in imprecise probability trees, in terms of the sub- and supermartingales that can be associated with such trees. These imprecise probability trees can be seen as discrete-time stochastic processes with finite state sets and transition probabilities that are imprecise, in the sense that they are only known to belong to some…
▽ More
We justify and discuss expressions for joint lower and upper expectations in imprecise probability trees, in terms of the sub- and supermartingales that can be associated with such trees. These imprecise probability trees can be seen as discrete-time stochastic processes with finite state sets and transition probabilities that are imprecise, in the sense that they are only known to belong to some convex closed set of probability measures. We derive various properties for their joint lower and upper expectations, and in particular a law of iterated expectations. We then focus on the special case of imprecise Markov chains, investigate their Markov and stationarity properties, and use these, by way of an example, to derive a system of non-linear equations for lower and upper expected transition and return times. Most importantly, we prove a game-theoretic version of the strong law of large numbers for submartingale differences in imprecise probability trees, and use this to derive point-wise ergodic theorems for imprecise Markov chains.
△ Less
Submitted 17 January, 2016; v1 submitted 15 November, 2014;
originally announced November 2014.
-
Continuity of imprecise stochastic processes with respect to the pointwise convergence of monotone sequences
Authors:
Jasper De Bock,
Gert de Cooman
Abstract:
We consider the joint lower expectation of a finite-state imprecise stochastic process, defined using either the Ville-Vovk-Shafer natural extension or the Williams natural extension. In both cases, we show that it is continuous with respect to the pointwise convergence of non-decreasing sequences of real-valued functions $f_n$, $n\in\mathbb{N}_0$, where each $f_n$ is $n$-measurable. For the Ville…
▽ More
We consider the joint lower expectation of a finite-state imprecise stochastic process, defined using either the Ville-Vovk-Shafer natural extension or the Williams natural extension. In both cases, we show that it is continuous with respect to the pointwise convergence of non-decreasing sequences of real-valued functions $f_n$, $n\in\mathbb{N}_0$, where each $f_n$ is $n$-measurable. For the Ville-Vovk-Shafer natural extension, a similar result is shown to hold for non-increasing sequences, provided that they converge to a bounded function.
△ Less
Submitted 25 January, 2017; v1 submitted 13 February, 2014;
originally announced February 2014.
-
An efficient algorithm for estimating state sequences in imprecise hidden Markov models
Authors:
Jasper De Bock,
Gert de Cooman
Abstract:
We present an efficient exact algorithm for estimating state sequences from outputs (or observations) in imprecise hidden Markov models (iHMM), where both the uncertainty linking one state to the next, and that linking a state to its output, are represented using coherent lower previsions. The notion of independence we associate with the credal network representing the iHMM is that of epistemic ir…
▽ More
We present an efficient exact algorithm for estimating state sequences from outputs (or observations) in imprecise hidden Markov models (iHMM), where both the uncertainty linking one state to the next, and that linking a state to its output, are represented using coherent lower previsions. The notion of independence we associate with the credal network representing the iHMM is that of epistemic irrelevance. We consider as best estimates for state sequences the (Walley--Sen) maximal sequences for the posterior joint state model conditioned on the observed output sequence, associated with a gain function that is the indicator of the state sequence. This corresponds to (and generalises) finding the state sequence with the highest posterior probability in HMMs with precise transition and output probabilities (pHMMs). We argue that the computational complexity is at worst quadratic in the length of the Markov chain, cubic in the number of states, and essentially linear in the number of maximal state sequences. For binary iHMMs, we investigate experimentally how the number of maximal state sequences depends on the model parameters. We also present a simple toy application in optical character recognition, demonstrating that our algorithm can be used to robustify the inferences made by precise probability models.
△ Less
Submitted 5 October, 2012;
originally announced October 2012.
-
Credal nets under epistemic irrelevance
Authors:
Jasper De Bock,
Gert de Cooman
Abstract:
We present a new approach to credal nets, which are graphical models that generalise Bayesian nets to imprecise probability. Instead of applying the commonly used notion of strong independence, we replace it by the weaker notion of epistemic irrelevance. We show how assessments of epistemic irrelevance allow us to construct a global model out of given local uncertainty models and mention some usef…
▽ More
We present a new approach to credal nets, which are graphical models that generalise Bayesian nets to imprecise probability. Instead of applying the commonly used notion of strong independence, we replace it by the weaker notion of epistemic irrelevance. We show how assessments of epistemic irrelevance allow us to construct a global model out of given local uncertainty models and mention some useful properties. The main results and proofs are presented using the language of sets of desirable gambles, which provides a very general and expressive way of representing imprecise probability models.
△ Less
Submitted 6 August, 2012;
originally announced August 2012.
-
Zero-bias spin separation
Authors:
Sergey D. Ganichev,
Vasily V. Bel'kov,
Sergey A. Tarasenko,
Sergey N. Danilov,
Stephan Giglberger,
Christoph Hoffmann,
Eougenious L. Ivchenko,
Dieter Weiss,
Werner Wegscheider,
Christian Gerl,
Dieter Schuh,
Joachim Stahl,
Joan De Boeck,
Gustaaf Borghs,
Wilhelm Prettl
Abstract:
Spin-orbit coupling provides a versatile tool to generate and to manipulate the spin degree of freedom in low-dimensional semiconductor structures. The spin Hall effect, where an electrical current drives a transverse spin current and causes a nonequilibrium spin accumulation observed near the sample boundary, the spin-galvanic effect, where a nonequilibrium spin polarization drives an electric…
▽ More
Spin-orbit coupling provides a versatile tool to generate and to manipulate the spin degree of freedom in low-dimensional semiconductor structures. The spin Hall effect, where an electrical current drives a transverse spin current and causes a nonequilibrium spin accumulation observed near the sample boundary, the spin-galvanic effect, where a nonequilibrium spin polarization drives an electric current, or the reverse process, in which an electrical current generates a nonequilibrium spin polarization, are all consequences of spin-orbit coupling. In order to observe a spin Hall effect a bias driven current is an essential prerequisite. The spin separation is caused via spin-orbit coupling either by Mott scattering (extrinsic spin Hall effect) or by Rashba or Dresselhaus spin splitting of the band structure (intrinsic spin Hall effect). Here we provide evidence for an elementary effect causing spin separation which is fundamentally different from that of the spin Hall effect. In contrast to the spin Hall effect it does not require an electric current to flow: It is spin separation achieved by spin-dependent scattering of electrons in media with suitable symmetry. We show that by free carrier (Drude) absorption of terahertz radiation spin separation is achieved in a wide range of temperatures from liquid helium up to room temperature. Moreover the experimental results give evidence that simple electron gas heating by any means is already sufficient to yield spin separation due to spin-dependent energy relaxation processes of nonequilibrium carriers.
△ Less
Submitted 24 May, 2006; v1 submitted 23 May, 2006;
originally announced May 2006.
-
Spatial structure of Mn-Mn acceptor pairs in GaAs
Authors:
A. M. Yakunin,
A. Yu. Silov,
P. M. Koenraad,
J. -M. Tang,
M. E. Flatté,
W. Van Roy,
J. De Boeck,
J. H. Wolter
Abstract:
The local density of states of Mn-Mn pairs in GaAs is mapped with cross-sectional scanning tunneling microscopy and compared with theoretical calculations based on envelope-function and tight-binding models. These measurements and calculations show that the crosslike shape of the Mn-acceptor wavefunction in GaAs persists even at very short Mn-Mn spatial separations. The resilience of the Mn-acce…
▽ More
The local density of states of Mn-Mn pairs in GaAs is mapped with cross-sectional scanning tunneling microscopy and compared with theoretical calculations based on envelope-function and tight-binding models. These measurements and calculations show that the crosslike shape of the Mn-acceptor wavefunction in GaAs persists even at very short Mn-Mn spatial separations. The resilience of the Mn-acceptor wave-function to high do** levels suggests that ferromagnetism in GaMnAs is strongly influenced by impurity-band formation. The envelope-function and tight-binding models predict similarly anisotropic overlaps of the Mn wave-functions for Mn-Mn pairs. This anisotropy implies differing Curie temperatures for Mn $δ$-doped layers grown on differently oriented substrates.
△ Less
Submitted 24 May, 2005; v1 submitted 23 May, 2005;
originally announced May 2005.