Showing 1–15 of 15 results for author: Gerhardus, A

Causal Inference on Process Graphs, Part II: Causal Structure and Effect Identification

Authors: Nicolas-Domenic Reiter, Jonas Wahl, Andreas Gerhardus, Jakob Runge

Abstract: A structural vector autoregressive (SVAR) process is a linear causal model for variables that evolve over a discrete set of time points and between which there may be lagged and instantaneous effects. The qualitative causal structure of an SVAR process can be represented by its finite and directed process graph, in which a directed link connects two processes whenever there is a lagged or instanta… ▽ More A structural vector autoregressive (SVAR) process is a linear causal model for variables that evolve over a discrete set of time points and between which there may be lagged and instantaneous effects. The qualitative causal structure of an SVAR process can be represented by its finite and directed process graph, in which a directed link connects two processes whenever there is a lagged or instantaneous effect between them. At the process graph level, the causal structure of SVAR processes is compactly parameterised in the frequency domain. In this paper, we consider the problem of causal discovery and causal effect estimation from the spectral density, the frequency domain analogue of the auto covariance, of the SVAR process. Causal discovery concerns the recovery of the process graph and causal effect estimation concerns the identification and estimation of causal effects in the frequency domain. We show that information about the process graph, in terms of $d$- and $t$-separation statements, can be identified by verifying algebraic constraints on the spectral density. Furthermore, we introduce a notion of rational identifiability for frequency causal effects that may be confounded by exogenous latent processes, and show that the recent graphical latent factor half-trek criterion can be used on the process graph to assess whether a given (confounded) effect can be identified by rational operations on the entries of the spectral density. △ Less

Submitted 25 June, 2024; originally announced June 2024.

Comments: 31 pages. Part I of the paper series is available at arXiv:2305.11561. Comments welcome!

Non-parametric Conditional Independence Testing for Mixed Continuous-Categorical Variables: A Novel Method and Numerical Evaluation

Authors: Oana-Iuliana Popescu, Andreas Gerhardus, Jakob Runge

Abstract: Conditional independence testing (CIT) is a common task in machine learning, e.g., for variable selection, and a main component of constraint-based causal discovery. While most current CIT approaches assume that all variables are numerical or all variables are categorical, many real-world applications involve mixed-type datasets that include numerical and categorical variables. Non-parametric CIT… ▽ More Conditional independence testing (CIT) is a common task in machine learning, e.g., for variable selection, and a main component of constraint-based causal discovery. While most current CIT approaches assume that all variables are numerical or all variables are categorical, many real-world applications involve mixed-type datasets that include numerical and categorical variables. Non-parametric CIT can be conducted using conditional mutual information (CMI) estimators combined with a local permutation scheme. Recently, two novel CMI estimators for mixed-type datasets based on k-nearest-neighbors (k-NN) have been proposed. As with any k-NN method, these estimators rely on the definition of a distance metric. One approach computes distances by a one-hot encoding of the categorical variables, essentially treating categorical variables as discrete-numerical, while the other expresses CMI by entropy terms where the categorical variables appear as conditions only. In this work, we study these estimators and propose a variation of the former approach that does not treat categorical variables as numeric. Our numerical experiments show that our variant detects dependencies more robustly across different data distributions and preprocessing types. △ Less

Submitted 5 November, 2023; v1 submitted 17 October, 2023; originally announced October 2023.

Projecting infinite time series graphs to finite marginal graphs using number theory

Authors: Andreas Gerhardus, Jonas Wahl, Sofia Faltenbacher, Urmi Ninad, Jakob Runge

Abstract: In recent years, a growing number of method and application works have adapted and applied the causal-graphical-model framework to time series data. Many of these works employ time-resolved causal graphs that extend infinitely into the past and future and whose edges are repetitive in time, thereby reflecting the assumption of stationary causal relationships. However, most results and algorithms f… ▽ More In recent years, a growing number of method and application works have adapted and applied the causal-graphical-model framework to time series data. Many of these works employ time-resolved causal graphs that extend infinitely into the past and future and whose edges are repetitive in time, thereby reflecting the assumption of stationary causal relationships. However, most results and algorithms from the causal-graphical-model framework are not designed for infinite graphs. In this work, we develop a method for projecting infinite time series graphs with repetitive edges to marginal graphical models on a finite time window. These finite marginal graphs provide the answers to $m$-separation queries with respect to the infinite graph, a task that was previously unresolved. Moreover, we argue that these marginal graphs are useful for causal discovery and causal effect estimation in time series, effectively enabling to apply results developed for finite graphs to the infinite graphs. The projection procedure relies on finding common ancestors in the to-be-projected graph and is, by itself, not new. However, the projection procedure has not yet been algorithmically implemented for time series graphs since in these infinite graphs there can be infinite sets of paths that might give rise to common ancestors. We solve the search over these possibly infinite sets of paths by an intriguing combination of path-finding techniques for finite directed graphs and solution theory for linear Diophantine equations. By providing an algorithm that carries out the projection, our paper makes an important step towards a theoretically-grounded and method-agnostic generalization of a range of causal inference methods and results to time series. △ Less

Submitted 9 October, 2023; originally announced October 2023.

Comments: 50 pages (including appendix), 9 figures

Bootstrap aggregation and confidence measures to improve time series causal discovery

Authors: Kevin Debeire, Jakob Runge, Andreas Gerhardus, Veronika Eyring

Abstract: Learning causal graphs from multivariate time series is a ubiquitous challenge in all application domains dealing with time-dependent systems, such as in Earth sciences, biology, or engineering, to name a few. Recent developments for this causal discovery learning task have shown considerable skill, notably the specific time-series adaptations of the popular conditional independence-based learning… ▽ More Learning causal graphs from multivariate time series is a ubiquitous challenge in all application domains dealing with time-dependent systems, such as in Earth sciences, biology, or engineering, to name a few. Recent developments for this causal discovery learning task have shown considerable skill, notably the specific time-series adaptations of the popular conditional independence-based learning framework. However, uncertainty estimation is challenging for conditional independence-based methods. Here, we introduce a novel bootstrap approach designed for time series causal discovery that preserves the temporal dependencies and lag structure. It can be combined with a range of time series causal discovery methods and provides a measure of confidence for the links of the time series graphs. Furthermore, next to confidence estimation, an aggregation, also called bagging, of the bootstrapped graphs by majority voting results in bagged causal discovery methods. In this work, we combine this approach with the state-of-the-art conditional-independence-based algorithm PCMCI+. With extensive numerical experiments we empirically demonstrate that, in addition to providing confidence measures for links, Bagged-PCMCI+ improves in precision and recall as compared to its base algorithm PCMCI+, at the cost of higher computational demands. These statistical performance improvements are especially pronounced in the more challenging settings (short time sample size, large number of variables, high autocorrelation). Our bootstrap approach can also be combined with other time series causal discovery algorithms and can be of considerable use in many real-world applications. △ Less

Submitted 22 February, 2024; v1 submitted 15 June, 2023; originally announced June 2023.

Comments: 29 pages, 18 figures, accepted at the 3rd Conference on Causal Learning and Reasoning (CLeaR 2024)

Journal ref: Proceedings of the Third Conference on Causal Learning and Reasoning, PMLR 236:979-1007, 2024

Discovering Causal Relations and Equations from Data

Authors: Gustau Camps-Valls, Andreas Gerhardus, Urmi Ninad, Gherardo Varando, Georg Martius, Emili Balaguer-Ballester, Ricardo Vinuesa, Emiliano Diaz, Laure Zanna, Jakob Runge

Abstract: Physics is a field of science that has traditionally used the scientific method to answer questions about why natural phenomena occur and to make testable models that explain the phenomena. Discovering equations, laws and principles that are invariant, robust and causal explanations of the world has been fundamental in physical sciences throughout the centuries. Discoveries emerge from observing t… ▽ More Physics is a field of science that has traditionally used the scientific method to answer questions about why natural phenomena occur and to make testable models that explain the phenomena. Discovering equations, laws and principles that are invariant, robust and causal explanations of the world has been fundamental in physical sciences throughout the centuries. Discoveries emerge from observing the world and, when possible, performing interventional studies in the system under study. With the advent of big data and the use of data-driven methods, causal and equation discovery fields have grown and made progress in computer science, physics, statistics, philosophy, and many applied fields. All these domains are intertwined and can be used to discover causal relations, physical laws, and equations from observational data. This paper reviews the concepts, methods, and relevant works on causal and equation discovery in the broad field of Physics and outlines the most important challenges and promising future lines of research. We also provide a taxonomy for observational causal and equation discovery, point out connections, and showcase a complete set of case studies in Earth and climate sciences, fluid dynamics and mechanics, and the neurosciences. This review demonstrates that discovering fundamental laws and causal relations by observing natural phenomena is being revolutionised with the efficient exploitation of observational data, modern machine learning algorithms and the interaction with domain knowledge. Exciting times are ahead with many challenges and opportunities to improve our understanding of complex systems. △ Less

Submitted 21 May, 2023; originally announced May 2023.

Comments: 137 pages

Causal Inference on Process Graphs, Part I: The Structural Equation Process Representation

Authors: Nicolas-Domenic Reiter, Andreas Gerhardus, Jonas Wahl, Jakob Runge

Abstract: When dealing with time series data, causal inference methods often employ structural vector autoregressive (SVAR) processes to model time-evolving random systems. In this work, we rephrase recursive SVAR processes with possible latent component processes as a linear Structural Causal Model (SCM) of stochastic processes on a simple causal graph, the \emph{process graph}, that models every process a… ▽ More When dealing with time series data, causal inference methods often employ structural vector autoregressive (SVAR) processes to model time-evolving random systems. In this work, we rephrase recursive SVAR processes with possible latent component processes as a linear Structural Causal Model (SCM) of stochastic processes on a simple causal graph, the \emph{process graph}, that models every process as a single node. Using this reformulation, we generalise Wright's well-known path-rule for linear Gaussian SCMs to the newly introduced process SCMs and we express the auto-covariance sequence of an SVAR process by means of a generalised trek-rule. Employing the Fourier-Transformation, we derive compact expressions for causal effects in the frequency domain that allow us to efficiently visualise the causal interactions in a multivariate SVAR process. Finally, we observe that the process graph can be used to formulate graphical criteria for identifying causal effects and to derive algebraic relations with which these frequency domain causal effects can be recovered from the observed spectral density. △ Less

Submitted 24 June, 2024; v1 submitted 19 May, 2023; originally announced May 2023.

Comments: 48 pages. Title changed compared to previous version. Former title: 'Formalising causal inference in time and frequency on process graphs with latent components'. Comments welcome!

Selecting Robust Features for Machine Learning Applications using Multidata Causal Discovery

Authors: Saranya Ganesh S., Tom Beucler, Frederick Iat-Hin Tam, Milton S. Gomez, Jakob Runge, Andreas Gerhardus

Abstract: Robust feature selection is vital for creating reliable and interpretable Machine Learning (ML) models. When designing statistical prediction models in cases where domain knowledge is limited and underlying interactions are unknown, choosing the optimal set of features is often difficult. To mitigate this issue, we introduce a Multidata (M) causal feature selection approach that simultaneously pro… ▽ More Robust feature selection is vital for creating reliable and interpretable Machine Learning (ML) models. When designing statistical prediction models in cases where domain knowledge is limited and underlying interactions are unknown, choosing the optimal set of features is often difficult. To mitigate this issue, we introduce a Multidata (M) causal feature selection approach that simultaneously processes an ensemble of time series datasets and produces a single set of causal drivers. This approach uses the causal discovery algorithms PC1 or PCMCI that are implemented in the Tigramite Python package. These algorithms utilize conditional independence tests to infer parts of the causal graph. Our causal feature selection approach filters out causally-spurious links before passing the remaining causal features as inputs to ML models (Multiple linear regression, Random Forest) that predict the targets. We apply our framework to the statistical intensity prediction of Western Pacific Tropical Cyclones (TC), for which it is often difficult to accurately choose drivers and their dimensionality reduction (time lags, vertical levels, and area-averaging). Using more stringent significance thresholds in the conditional independence tests helps eliminate spurious causal relationships, thus hel** the ML model generalize better to unseen TC cases. M-PC1 with a reduced number of features outperforms M-PCMCI, non-causal ML, and other feature selection methods (lagged correlation, random), even slightly outperforming feature selection based on eXplainable Artificial Intelligence. The optimal causal drivers obtained from our causal feature selection help improve our understanding of underlying relationships and suggest new potential drivers of TC intensification. △ Less

Submitted 30 June, 2023; v1 submitted 11 April, 2023; originally announced April 2023.

Comments: 11 pages, 4 figures, 1 table, Supporting Information, Accepted for an oral presentation at the Climate Informatics 2023

Causal inference for temporal patterns

Authors: Nicolas-Domenic Reiter, Andreas Gerhardus, Jakob Runge

Abstract: Complex dynamical systems are prevalent in many scientific disciplines. In the analysis of such systems two aspects are of particular interest: 1) the temporal patterns along which they evolve and 2) the underlying causal mechanisms. Time-series representations like discrete Fourier and wavelet transforms have been widely applied in order to obtain insights on the temporal structure of complex dyn… ▽ More Complex dynamical systems are prevalent in many scientific disciplines. In the analysis of such systems two aspects are of particular interest: 1) the temporal patterns along which they evolve and 2) the underlying causal mechanisms. Time-series representations like discrete Fourier and wavelet transforms have been widely applied in order to obtain insights on the temporal structure of complex dynamical systems. Questions of cause and effect can be formalized in the causal inference framework. We propose an elementary and systematic approach to combine time-series representations with causal inference. Our method is based on a notion of causal effects from a cause on an effect process with respect to a pair of temporal patterns. In particular, our framework can be used to study causal effects in the frequency domain. We will see how our approach compares to the well known Granger Causality in the frequency domain. Furthermore, using a singular value decomposition we establish a representation of how one process drives another over a time-window of specified length in terms of temporal impulse-response patterns. To these we will refer to as Causal Orthogonal Functions (COF), a causal analogue of the temporal patterns derived with covariance-based multivariate Singular Spectrum Analysis (mSSA). △ Less

Submitted 30 May, 2022; originally announced May 2022.

Characterization of causal ancestral graphs for time series with latent confounders

Authors: Andreas Gerhardus

Abstract: In this paper, we introduce a novel class of graphical models for representing time lag specific causal relationships and independencies of multivariate time series with unobserved confounders. We completely characterize these graphs and show that they constitute proper subsets of the currently employed model classes. As we show, from the novel graphs one can thus draw stronger causal inferences -… ▽ More In this paper, we introduce a novel class of graphical models for representing time lag specific causal relationships and independencies of multivariate time series with unobserved confounders. We completely characterize these graphs and show that they constitute proper subsets of the currently employed model classes. As we show, from the novel graphs one can thus draw stronger causal inferences -- without additional assumptions. We further introduce a graphical representation of Markov equivalence classes of the novel graphs. This graphical representation contains more causal knowledge than what current state-of-the-art causal discovery algorithms learn. △ Less

Submitted 5 October, 2023; v1 submitted 15 December, 2021; originally announced December 2021.

Comments: 67 pages (including supplement), 16 figures, accepted at The Annals of Statistics

Supersymmetric Black Holes and the SJT/nSCFT$_1\!$ Correspondence

Authors: Stefan Forste, Andreas Gerhardus, Joshua Kames-King

Abstract: We consider 1/4 BPS black hole solutions of ${\cal N}=2$ gauged supergravity in $AdS_4$. The near horizon geometry is $AdS_2 \times S^2$ and supersymmetry is enhanced. In the first part of the paper we choose a moment map, which allows the embedding of this supergravity solution into a sugra theory with a hypermultiplet. We then perform the s-wave reduction of this theory at the horizon and determ… ▽ More We consider 1/4 BPS black hole solutions of ${\cal N}=2$ gauged supergravity in $AdS_4$. The near horizon geometry is $AdS_2 \times S^2$ and supersymmetry is enhanced. In the first part of the paper we choose a moment map, which allows the embedding of this supergravity solution into a sugra theory with a hypermultiplet. We then perform the s-wave reduction of this theory at the horizon and determine the dilaton multiplet, which couples to both metric and gravitino fluctuations. In the second part we work with Euclidean axial $\mathcal{N}=(2,2)$ JT supergravity and show how to add gauged matter in form of covariantly twisted chiral and anti-chiral multiplets. We demonstrate how to reduce the on-shell action to boundary superspace. We compare both theories and calculate the fourpoint function by integrating out gravitons, gravitini and photons for the s-wave setting and by use of the Super-Schwarzian modes in the JT theory. △ Less

Submitted 3 December, 2020; v1 submitted 24 July, 2020; originally announced July 2020.

Comments: 45 pages, v2: references and comments added, minor corrections, version accepted for publication

High-recall causal discovery for autocorrelated time series with latent confounders

Authors: Andreas Gerhardus, Jakob Runge

Abstract: We present a new method for linear and nonlinear, lagged and contemporaneous constraint-based causal discovery from observational time series in the presence of latent confounders. We show that existing causal discovery methods such as FCI and variants suffer from low recall in the autocorrelated time series case and identify low effect size of conditional independence tests as the main reason. In… ▽ More We present a new method for linear and nonlinear, lagged and contemporaneous constraint-based causal discovery from observational time series in the presence of latent confounders. We show that existing causal discovery methods such as FCI and variants suffer from low recall in the autocorrelated time series case and identify low effect size of conditional independence tests as the main reason. Information-theoretical arguments show that effect size can often be increased if causal parents are included in the conditioning sets. To identify parents early on, we suggest an iterative procedure that utilizes novel orientation rules to determine ancestral relationships already during the edge removal phase. We prove that the method is order-independent, and sound and complete in the oracle case. Extensive simulation studies for different numbers of variables, time lags, sample sizes, and further cases demonstrate that our method indeed achieves much higher recall than existing methods for the case of autocorrelated continuous variables while kee** false positives at the desired level. This performance gain grows with stronger autocorrelation. At https://github.com/jakobrunge/tigramite we provide Python code for all methods involved in the simulation studies. △ Less

Submitted 1 February, 2021; v1 submitted 3 July, 2020; originally announced July 2020.

Comments: 55 pages, 26 figures; added reference to related work plus accompanying dicussion in section 3.3

The Geometry of Gauged Linear Sigma Model Correlation Functions

Authors: Andreas Gerhardus, Hans Jockers, Urmi Ninad

Abstract: Applying advances in exact computations of supersymmetric gauge theories, we study the structure of correlation functions in two-dimensional N=(2,2) Abelian and non-Abelian gauge theories. We determine universal relations among correlation functions, which yield differential equations governing the dependence of the gauge theory ground state on the Fayet-Iliopoulos parameters of the gauge theory.… ▽ More Applying advances in exact computations of supersymmetric gauge theories, we study the structure of correlation functions in two-dimensional N=(2,2) Abelian and non-Abelian gauge theories. We determine universal relations among correlation functions, which yield differential equations governing the dependence of the gauge theory ground state on the Fayet-Iliopoulos parameters of the gauge theory. For gauge theories with a non-trivial infrared N=(2,2) superconformal fixed point, these differential equations become the Picard-Fuchs operators governing the moduli-dependent vacuum ground state in a Hilbert space interpretation. For gauge theories with geometric target spaces, a quadratic expression in the Givental I-function generates the analyzed correlators. This gives a geometric interpretation for the correlators, their relations, and the differential equations. For classes of Calabi-Yau target spaces, such as threefolds with up to two Kahler moduli and fourfolds with a single Kahler modulus, we give general and universally applicable expressions for Picard-Fuchs operators in terms of correlators. We illustrate our results with representative examples of two-dimensional N=(2,2) gauge theories. △ Less

Submitted 2 May, 2018; v1 submitted 27 March, 2018; originally announced March 2018.

Comments: 76 pages, v2: references added and minor improvements

Report number: BONN-TH-2018-03

Search for the effect of massive bodies on atomic spectra and constraints on Yukawa-type interactions of scalar particles

Authors: N. Leefer, A. Gerhardus, D. Budker, V. V. Flambaum, Y. V. Stadnik

Abstract: We propose a new method to search for hypothetical scalar particles that have feeble interactions with Standard-Model particles. In the presence of massive bodies, these interactions produce a non-zero Yukawa-type scalar-field magnitude. Using radio-frequency spectroscopy data of atomic dysprosium, as well as atomic clock spectroscopy data, we constrain the Yukawa-type interactions of a scalar fie… ▽ More We propose a new method to search for hypothetical scalar particles that have feeble interactions with Standard-Model particles. In the presence of massive bodies, these interactions produce a non-zero Yukawa-type scalar-field magnitude. Using radio-frequency spectroscopy data of atomic dysprosium, as well as atomic clock spectroscopy data, we constrain the Yukawa-type interactions of a scalar field with the photon, electron, and nucleons for a range of scalar-particle masses corresponding to length scales $ > 10$ cm. In the limit as the scalar-particle mass $m_φ\to 0$, our derived limits on the Yukawa-type interaction parameters are: $Λ_γ\gtrsim 8 \times 10^{19}$ GeV, $Λ_e \gtrsim 1.3 \times 10^{19}$ GeV, and $Λ_N \gtrsim 6 \times 10^{20}$ GeV. Our measurements also constrain combinations of interaction parameters, which cannot otherwise be probed with traditional anomalous-force measurements. We suggest further measurements to improve on the current level of sensitivity. △ Less

Submitted 18 July, 2016; originally announced July 2016.

Comments: 7 pages, 2 figures

Journal ref: Phys. Rev. Lett. 117, 271601 (2016)

Quantum periods of Calabi-Yau fourfolds

Authors: Andreas Gerhardus, Hans Jockers

Abstract: In this work we study the quantum periods together with their Picard-Fuchs differential equations of Calabi-Yau fourfolds. In contrast to Calabi-Yau threefolds, we argue that the large volume points of Calabi-Yau fourfolds generically are regular singular points of the Picard-Fuchs operators of non-maximally unipotent monodromy. We demonstrate this property in explicit examples of Calabi-Yau fourf… ▽ More In this work we study the quantum periods together with their Picard-Fuchs differential equations of Calabi-Yau fourfolds. In contrast to Calabi-Yau threefolds, we argue that the large volume points of Calabi-Yau fourfolds generically are regular singular points of the Picard-Fuchs operators of non-maximally unipotent monodromy. We demonstrate this property in explicit examples of Calabi-Yau fourfolds with a single Kahler modulus. For these examples we construct integral quantum periods and study their global properties in the quantum Kahler moduli space with the help of numerical analytic continuation techniques. Furthermore, we determine their genus zero Gromov-Witten invariants, their Klemm-Pandharipande meeting invariants, and their genus one BPS invariants. In our computations we emphasize the features attributed to the non-maximally unipotent monodromy property. For instance, it implies the existence of integral quantum periods that at large volume are purely worldsheet instanton generated. To verify our results, we also present intersection theory techniques to enumerate lines with a marked point on complete intersection Calabi-Yau fourfolds in Grassmannian varieties. △ Less

Submitted 8 November, 2016; v1 submitted 18 April, 2016; originally announced April 2016.

Comments: 63 pages, v2: clarifications and minor corrections, v3: minor corrections and published in Nucl.Phys.B

Report number: BONN-TH-2016-02

Journal ref: Nucl.Phys. B913 (2016) 425-474

Dual Pairs of Gauged Linear Sigma Models and Derived Equivalences of Calabi-Yau threefolds

Authors: Andreas Gerhardus, Hans Jockers

Abstract: In this work we study the phase structure of skew symplectic sigma models, which are a certain class of two-dimensional N = (2,2) non-Abelian gauged linear sigma models. At low energies some of them flow to non-linear sigma models with Calabi-Yau target spaces, which emerge from non-Abelian strong coupling dynamics. The observed phase structure results in a non-trivial duality proposal among skew… ▽ More In this work we study the phase structure of skew symplectic sigma models, which are a certain class of two-dimensional N = (2,2) non-Abelian gauged linear sigma models. At low energies some of them flow to non-linear sigma models with Calabi-Yau target spaces, which emerge from non-Abelian strong coupling dynamics. The observed phase structure results in a non-trivial duality proposal among skew symplectic sigma models and connects non-complete intersection Calabi-Yau threefolds, that are non-birational among another, in a common quantum Kahler moduli space. As a consequence we find non-trivial identifications of spectra of topological B-branes, which from a modern algebraic geometry perspective imply derived equivalences among Calabi-Yau varieties. To further support our proposals, we calculate the two sphere partition function of skew symplectic sigma models to determine geometric invariants, which confirm the anticipated Calabi-Yau threefold phases. We show that the two sphere partition functions of a pair of dual skew symplectic sigma models agree in a non-trivial fashion. To carry out these calculations, we develop a systematic approach to study higher-dimensional Mellin-Barnes type integrals. In particular, these techniques admit the evaluation of two sphere partition functions for gauged linear sigma models with higher rank gauge groups, but are applicable in other contexts as well. △ Less

Submitted 4 January, 2017; v1 submitted 1 May, 2015; originally announced May 2015.

Comments: 66 pages, 3 figures; v2: refs. added; v3: minor changes and corrections -- version published in J.Geom.Phys

Report number: BONN-TH-2015-05

Journal ref: J.Geom.Phys. 114 (2017) 223-259