-
Centrality of nodes in Federated Byzantine Agreement Systems
Authors:
André Gaul,
Jörg Liesen
Abstract:
The federated Byzantine agreement system (FBAS) is a consensus model introduced by Mazières in 2016 where the participating nodes conceptually form a network, with links between them being established by each node individually and thus in a decentralized way. An important question is whether these decentralized decisions lead to an overall decentralized network. The level of (de-)centralization in…
▽ More
The federated Byzantine agreement system (FBAS) is a consensus model introduced by Mazières in 2016 where the participating nodes conceptually form a network, with links between them being established by each node individually and thus in a decentralized way. An important question is whether these decentralized decisions lead to an overall decentralized network. The level of (de-)centralization in a network can be assessed using centrality measures. In this paper we consider three different approaches for obtaining centrality measures for the nodes in an FBAS. Two of them are based on adapting well-known measures based on graphs and hypergraphs to the FBAS context. Since the network structure of an FBAS can be more complex than (usual) graphs or hypergraphs, we also develop a new, problem-adapted centrality measure. This new measure is based on the intactness of nodes, which is an important ingredient of the FBAS model. We illustrate advantages and disadvantages of the three approaches on several computed examples. We have implemented all centrality measures and performed all computations in the Python package Stellar Observatory.
△ Less
Submitted 7 December, 2020;
originally announced December 2020.
-
Mathematical Analysis and Algorithms for Federated Byzantine Agreement Systems
Authors:
André Gaul,
Ismail Khoffi,
Jörg Liesen,
Torsten Stüber
Abstract:
We give an introduction to federated Byzantine agreement systems (FBAS) with many examples ranging from small "academic" cases to the current Stellar network. We then analyze the main concepts from a mathematical and an algorithmic point of view. Based on work of Lachowski we derive algorithms for quorum enumeration, checking quorum intersection, and computing the intact nodes with respect to a gi…
▽ More
We give an introduction to federated Byzantine agreement systems (FBAS) with many examples ranging from small "academic" cases to the current Stellar network. We then analyze the main concepts from a mathematical and an algorithmic point of view. Based on work of Lachowski we derive algorithms for quorum enumeration, checking quorum intersection, and computing the intact nodes with respect to a given set of ill-behaved (Byzantine) nodes. We also show that from the viewpoint of the intactness probability of nodes, which we introduce in this paper, a hierarchical setup of nodes is inferior to an arrangement that we call a symmetric simple FBAS. All algorithms described in this paper are implemented in the Python package Stellar Observatory, which is also used in some of the computed examples.
△ Less
Submitted 3 December, 2019;
originally announced December 2019.
-
Quantitative analysis of the influence of keV He ion bombardment on exchange bias layer systems
Authors:
Nicolas David Müglich,
Gerhard Götz,
Alexander Gaul,
Markus Meyl,
Günter Reiss,
Timo Kuschel,
Arno Ehresmann
Abstract:
The mechanism of ion bombardment induced magnetic patterning of exchange bias layer systems for creating engineered magnetic stray field landscapes is still unclear. We compare results from vectorial magneto-optic Kerr effect measurements to a recently proposed model with time dependent rotatable magnetic anisotropy. Results show massive reduction of rotational magnetic anisotropy compared to all…
▽ More
The mechanism of ion bombardment induced magnetic patterning of exchange bias layer systems for creating engineered magnetic stray field landscapes is still unclear. We compare results from vectorial magneto-optic Kerr effect measurements to a recently proposed model with time dependent rotatable magnetic anisotropy. Results show massive reduction of rotational magnetic anisotropy compared to all other magnetic anisotropies. We disprove the assumption of comparable weakening of all magnetic anisotropies and show that ion bombardment mainly influences smaller grains in the antiferromagnet.
△ Less
Submitted 18 April, 2017;
originally announced April 2017.
-
Grain size correlated rotatable magnetic anisotropy in polycrystalline exchange bias systems
Authors:
Nicolas David Müglich,
Gerhard Götz,
Alexander Gaul,
Markus Meyl,
Günter Reiss,
Timo Kuschel,
Arno Ehresmann
Abstract:
Angular resolved measurements of the exchange bias field and the coercive field are a powerful tool to distinguish between different competing magnetic anisotropies in polycrystalline exchange bias layer systems. No simple analytical model is as yet available, which considers time dependent effects like enhanced coercivity arising from the grain size distribution of the antiferromagnet. In this wo…
▽ More
Angular resolved measurements of the exchange bias field and the coercive field are a powerful tool to distinguish between different competing magnetic anisotropies in polycrystalline exchange bias layer systems. No simple analytical model is as yet available, which considers time dependent effects like enhanced coercivity arising from the grain size distribution of the antiferromagnet. In this work we expand an existing model class describing polycrystalline exchange bias systems by a rotatable magnetic anisotropy term to describe grain size correlated effects. Additionally, we performed angular resolved magnetization curve measurements using vectorial magnetooptic Kerr magnetometry. Comparison of the experimental data with the proposed model shows excellent agreement and reveals the ferromagnetic anisotropy and properties connected to the grain size distribution of the antiferromagnet. Therefore, a distinction between the different influences on coercivity and anisotropy becomes available.
△ Less
Submitted 27 May, 2016; v1 submitted 10 May, 2016;
originally announced May 2016.
-
Morphology control of the magnetization reversal mechanism in Co80Ni20 nanomagnets
Authors:
Silvana Mercone,
Fatih Zighem,
Brigitte Leridon,
Audrey Gaul,
Frédéric Schoenstein,
Noureddine Jouini
Abstract:
Nanowires with very different size, shape, morphology and crystal symmetry can give rise to a wide ensemble of magnetic behaviors whose optimization determines their applications in nanomagnets. We present here an experimental work on the shape and morphological dependence of the magnetization reversal mechanism in weakly interacting Co80Ni20 hexagonal-close-packed nanowires. Non-agglomerated nano…
▽ More
Nanowires with very different size, shape, morphology and crystal symmetry can give rise to a wide ensemble of magnetic behaviors whose optimization determines their applications in nanomagnets. We present here an experimental work on the shape and morphological dependence of the magnetization reversal mechanism in weakly interacting Co80Ni20 hexagonal-close-packed nanowires. Non-agglomerated nanowires (with length L and diameter d) with a controlled shape going from quasi perfect cylinders to diabolos, have been studied inside their polyol solution in order to avoid any oxidation process. The coercive field HC was found to follow a standard behavior and to be optimized for an aspect ratio L/d > 15. Interestingly, an unexpected behavior was observed as function of the head morphology leading to the strange situation where a diabolo shaped nanowire is a better nanomagnet than a cylinder. This paradoxical behavior can be ascribed to the growth-competition between the aspect ratio L/d and the head morphology ratio d/D (D being the head width). Our experimental results clearly show the importance of the independent parameter (t = head thickness) that needs to be considered in addition to the shape aspect ratio (L/d) in order to fully describe the nanomagnets magnetic behavior. Micromagnetic simulations well support the experimental results and bring important insights for future optimization of the nanomagnets morphology
△ Less
Submitted 14 May, 2015;
originally announced May 2015.
-
Preconditioned Recycling Krylov subspace methods for self-adjoint problems
Authors:
André Gaul,
Nico Schlömer
Abstract:
The authors propose a recycling Krylov subspace method for the solution of a sequence of self-adjoint linear systems. Such problems appear, for example, in the Newton process for solving nonlinear equations. Ritz vectors are automatically extracted from one MINRES run and then used for self-adjoint deflation in the next. The method is designed to work with arbitrary inner products and arbitrary se…
▽ More
The authors propose a recycling Krylov subspace method for the solution of a sequence of self-adjoint linear systems. Such problems appear, for example, in the Newton process for solving nonlinear equations. Ritz vectors are automatically extracted from one MINRES run and then used for self-adjoint deflation in the next. The method is designed to work with arbitrary inner products and arbitrary self-adjoint positive-definite preconditioners whose inverse can be computed with high accuracy. Numerical experiments with nonlinear Schrödinger equations indicate a substantial decrease in computation time when recycling is used.
△ Less
Submitted 7 January, 2015; v1 submitted 1 August, 2012;
originally announced August 2012.
-
A framework for deflated and augmented Krylov subspace methods
Authors:
André Gaul,
Martin H. Gutknecht,
Jörg Liesen,
Reinhard Nabben
Abstract:
We consider deflation and augmentation techniques for accelerating the convergence of Krylov subspace methods for the solution of nonsingular linear algebraic systems. Despite some formal similarity, the two techniques are conceptually different from preconditioning. Deflation (in the sense the term is used here) "removes" certain parts from the operator making it singular, while augmentation adds…
▽ More
We consider deflation and augmentation techniques for accelerating the convergence of Krylov subspace methods for the solution of nonsingular linear algebraic systems. Despite some formal similarity, the two techniques are conceptually different from preconditioning. Deflation (in the sense the term is used here) "removes" certain parts from the operator making it singular, while augmentation adds a subspace to the Krylov subspace (often the one that is generated by the singular operator); in contrast, preconditioning changes the spectrum of the operator without making it singular. Deflation and augmentation have been used in a variety of methods and settings. Typically, deflation is combined with augmentation to compensate for the singularity of the operator, but both techniques can be applied separately.
We introduce a framework of Krylov subspace methods that satisfy a Galerkin condition. It includes the families of orthogonal residual (OR) and minimal residual (MR) methods. We show that in this framework augmentation can be achieved either explicitly or, equivalently, implicitly by projecting the residuals appropriately and correcting the approximate solutions in a final step. We study conditions for a breakdown of the deflated methods, and we show several possibilities to avoid such breakdowns for the deflated MINRES method. Numerical experiments illustrate properties of different variants of deflated MINRES analyzed in this paper.
△ Less
Submitted 1 February, 2013; v1 submitted 7 June, 2012;
originally announced June 2012.
-
Function call overhead benchmarks with MATLAB, Octave, Python, Cython and C
Authors:
André Gaul
Abstract:
We consider the overhead of function calls in the programming languages MATLAB/Octave, Python, Cython and C. In many applications a function has to be called very often inside a loop. One such application in numerical analysis is the finite element method where integrals have to be computed on each element in a loop. The called functions can often be evaluated efficiently but the function call its…
▽ More
We consider the overhead of function calls in the programming languages MATLAB/Octave, Python, Cython and C. In many applications a function has to be called very often inside a loop. One such application in numerical analysis is the finite element method where integrals have to be computed on each element in a loop. The called functions can often be evaluated efficiently but the function call itself may be time-consuming. We present a benchmark whose goal is to identify and quantify optimization potentials with respect to time consumption caused by function calls in the mentioned programming languages.
△ Less
Submitted 13 February, 2012;
originally announced February 2012.
