VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems

In the field of Model-Driven Engineering, there exist numerous tools that support various consistency management operations including model transformation, synchronisation and consistency checking. The supported operations, however, typically run completely in the background with only input and output made visible to the user. We argue that this often reduces both understandability and controllability. As a step towards improving this situation, we present VICToRy, a debugger for model generation and transformation based on Triple Graph Grammars, a well-known rule-based approach to bidirectional transformation. In addition to a fine-grained, step-by-step, interactive visualisation, VICToRy enables the user to actively explore and choose between multiple valid rule applications thus improving control and understanding.Comment: In Proceedings GCM 2020, arXiv:2012.0118

Massive Dirac particles on the background of charged de-Sitter black hole manifolds

We consider the behavior of massive Dirac fields on the background of a charged de-Sitter black hole. All black hole geometries are taken into account, including the Reissner-Nordstr\"{o}m-de-Sitter one, the Nariai case and the ultracold case. Our focus is at first on the existence of bound quantum mechanical states for the Dirac Hamiltonian on the given backgrounds. In this respect, we show that in all cases no bound state is allowed, which amounts also to the non-existence of normalizable time-periodic solutions of the Dirac equation. This quantum result is in contrast to classical physics, and it is shown to hold true even for extremal cases. Furthermore, we shift our attention on the very interesting problem of the quantum discharge of the black holes. Following Damour-Deruelle-Ruffini approach, we show that the existence of level-crossing between positive and negative continuous energy states is a signal of the quantum instability leading to the discharge of the black hole, and in the cases of the Nariai geometry and of the ultracold geometries we also calculate in WKB approximation the transmission coefficient related to the discharge process.Comment: 19 pages, 11 figures. Macro package: Revtex4. Changes concern mainly the introduction and the final discussion in section VI; moreover, Appendix D on the evaluation of the Nariai transmission integral has been added. References adde

Horizontal Inequalities and Ethnonationalist Civil War: A Global Comparison

Contemporary research on civil war has largely dismissed the role of political and economic grievances, focusing instead on opportunities for conflict. However, these strong claims rest on questionable theoretical and empirical grounds. Whereas scholars have examined primarily the relationship between individual inequality and conflict, we argue that horizontal inequalities between politically relevant ethnic groups and states at large can promote ethnonationalist conflict. Extending the empirical scope to the entire world, this article introduces a new spatial method that combines our newly geocoded data on ethnic groups' settlement areas with spatial wealth estimates. Based on these methodological advances, we find that, in highly unequal societies, both rich and poor groups fight more often than those groups whose wealth lies closer to the country average. Our results remain robust to a number of alternative sample definitions and specification

Electronic States of Graphene Grain Boundaries

We introduce a model for amorphous grain boundaries in graphene, and find that stable structures can exist along the boundary that are responsible for local density of states enhancements both at zero and finite (~0.5 eV) energies. Such zero energy peaks in particular were identified in STS measurements [J. \v{C}ervenka, M. I. Katsnelson, and C. F. J. Flipse, Nature Physics 5, 840 (2009)], but are not present in the simplest pentagon-heptagon dislocation array model [O. V. Yazyev and S. G. Louie, Physical Review B 81, 195420 (2010)]. We consider the low energy continuum theory of arrays of dislocations in graphene and show that it predicts localized zero energy states. Since the continuum theory is based on an idealized lattice scale physics it is a priori not literally applicable. However, we identify stable dislocation cores, different from the pentagon-heptagon pairs, that do carry zero energy states. These might be responsible for the enhanced magnetism seen experimentally at graphite grain boundaries.Comment: 10 pages, 4 figures, submitted to Physical Review

Relative Oscillation Theory, Weighted Zeros of the Wronskian, and the Spectral Shift Function

We develop an analog of classical oscillation theory for Sturm-Liouville operators which, rather than measuring the spectrum of one single operator, measures the difference between the spectra of two different operators. This is done by replacing zeros of solutions of one operator by weighted zeros of Wronskians of solutions of two different operators. In particular, we show that a Sturm-type comparison theorem still holds in this situation and demonstrate how this can be used to investigate the finiteness of eigenvalues in essential spectral gaps. Furthermore, the connection with Krein's spectral shift function is established.Comment: 26 page

Green's function for a Schroedinger operator and some related summation formulas

Summation formulas are obtained for products of associated Lagurre polynomials by means of the Green's function K for the Hamiltonian H = -{d^2\over dx^2} + x^2 + Ax^{-2}, A > 0. K is constructed by an application of a Mercer type theorem that arises in connection with integral equations. The new approach introduced in this paper may be useful for the construction of wider classes of generating function.Comment: 14 page

The Geography of the International System: The CShapes Dataset

We describe CShapes, a new dataset that provides historical maps of state boundaries and capitals in the post-World War II period. The dataset is coded according to both the Correlates of War and the Gleditsch and Ward (1999) state lists, and is therefore compatible with a great number of existing databases in the discipline. Provided in a geographic data format, CShapes can be used directly with standard GIS software, allowing a wide range of spatial computations. In addition, we supply a CShapes package for the R statistical toolkit. This package enables researchers without GIS skills to perform various useful operations on the GIS maps. The paper introduces the CShapes dataset and structure and gives three examples of how to use CShapes in political science research. First, we show how results from quantitative analysis can be depicted intuitively as a map. The second application gives an example of computing indicators on the CShapes maps, which can then be used in statistical tests. Third, we illustrate the use of CShapes for generating different weights matrices in spatial statistical applications. All the examples can be replicated using the freely available R package and do not require specialized GIS skills. The dataset is available for download from the CShapes website (http://nils.weidmann.ws/projects/cshapes). © Taylor & Francis Group, LLC

Perturbation Theory of Schr\"odinger Operators in Infinitely Many Coupling Parameters

In this paper we study the behavior of Hamilton operators and their spectra which depend on infinitely many coupling parameters or, more generally, parameters taking values in some Banach space. One of the physical models which motivate this framework is a quantum particle moving in a more or less disordered medium. One may however also envisage other scenarios where operators are allowed to depend on interaction terms in a manner we are going to discuss below. The central idea is to vary the occurring infinitely many perturbing potentials independently. As a side aspect this then leads naturally to the analysis of a couple of interesting questions of a more or less purely mathematical flavor which belong to the field of infinite dimensional holomorphy or holomorphy in Banach spaces. In this general setting we study in particular the stability of selfadjointness of the operators under discussion and the analyticity of eigenvalues under the condition that the perturbing potentials belong to certain classes.Comment: 25 pages, Late