Related papers: GRAMA. A Mathematica program for analytical calcul…
We consider the supersymmetry (SUSY) transformations in the chiral Lagrangian for $N = 1$ supergravity (SUGRA) with the complex tetrad following the method used in the usual $N = 1$ SUGRA, and present the explicit form of the SUSY…
Many critical EDA problems suffer from the curse of dimensionality, i.e. the very fast-scaling computational burden produced by large number of parameters and/or unknown variables. This phenomenon may be caused by multiple spatial or…
Synthetic data and novel rendering techniques have greatly influenced computer vision research in tasks like target tracking and human pose estimation. However, robotics research has lagged behind in leveraging it due to the limitations of…
The recent interest in modified theories of gravity, involving some type of non-minimal coupling to the Ricci scalar, and the calculation of cosmological observables in the Einstein or the Jordan frame, motivate the formulation of these…
A graphical model is a multivariate (potentially very high dimensional) probabilistic model, which is formed by combining lower dimensional components. Inference (computation of conditional probabilities) is based on message passing…
We present expressions for the supercurrents generated by a generic $4D,~\mathcal{N}=1$ theory of complex linear superfield $\Sigma$. We verify that these expressions satisfy the appropriate superspace conservation equations. Furthermore,…
We construct dual formulation of linearised gravity in first order tetrad formalism in arbitrary dimensions within the path integral framework following the standard duality algorithm making use of the global shift symmetry of the tetrad…
We present a complete reimplementation of the LinearSystem package of Magma, with substantial improvements in design and performance. The resulting efficiency enables computations that were previously out of reach. We briefly describe the…
The U(1) gauged version of the Strominger-Vafa five dimensional N=2 supergravity with one vector multiplet is obtained via dimensional reduction from the N=1 ten dimensional supergavity. Using such explicit relation between the gauged…
Generalized complex geometry is an example of a powerful formalism to attempt the construction of a language adequate to string theory. With the remarkable property of unifying symplectic and complex manifolds as special cases of a broader…
This article provides a quick guide to the implementation of supersymmetry with Cadabra, a symbolic computer algebra system. Details are provided on the implementation of Grassmann variables, fermionic fields, supercharges, and…
We present calculations of Post-Newtonian parameters for Brans-Dicke tensor-scalar gravity in an arbitrary number of compact extra dimensions in both the Jordan and Einstein conformal frames. We find that the parameter gamma, which measures…
Dimensionality reduction is a main step in the learning process which plays an essential role in many applications. The most popular methods in this field like SVD, PCA, and LDA, only can be applied to data with vector format. This means…
simpcomp is an extension (a so called package) to GAP, the well known system for computational discrete algebra. The package enables the user to compute numerous properties of (abstract) simplicial complexes, provides functions to construct…
Dimension reduction techniques have long been an important topic in statistics, and active subspaces (AS) have received much attention this past decade in the computer experiments literature. The most common approach towards estimating the…
Graphs, and graph transformation systems, are used in many areas within Computer Science: to represent data structures and algorithms, to define computation models, as a general modelling tool to study complex systems, etc. Research in term…
We present an implementation of algorithms for the symbolic integration of hyperlogarithms multiplied by rational functions in the computer algebra system FORM. This implementation encompasses cases where hyperlogarithms have rational…
Classical gravitating field theories reduced to three dimensions admit manifest gauge invariances and hidden symmetries, which together make up the invariance group G of the theory. If this group is large enough, the target space is a…
GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handling low-level data structures. The core of GP consists of four…
Adaptive dimensionality reduction in high-dimensional problems is a key topic in statistics. The multiplicative gamma process takes a relevant step in this direction, but improved studies on its properties are required to ease…