Related papers: S@M, a Mathematica Implementation of the Spinor-He…
Complex systems typically have many different parts and facets, with different characteristics. In a multi-paradigm approach to modeling, formalisms with different natures are used in combination to describe complementary parts and aspects…
Graphical techniques provide a very useful practical device for calculations involving the so-called spin network states, which encode the quantum degrees of freedom of spatial geometry in loop quantum gravity. Graphical calculus of SU(2),…
This thesis discusses how the pure spinor formalism can be used to efficiently compute superstring scattering amplitudes. We emphasize the pure spinor superspace form of the kinematic factors, where the simplifying features of this language…
Within the framework of spinfoam models, we revisit the simplicity constraints reducing topological BF theory to 4d Riemannian gravity. We use the reformulation of SU(2) intertwiners and spin networks in term of spinors, which has come out…
Given any compact connected four dimensional symplectic manifold $(M,\omega)$ and smooth function $J\colon M\to \mathbb{R}$ which generates an effective $\mathbb{S}^1$-action, we show that there exists a smooth function $H\colon…
This article describes the REDUCE package ZEILBERG implemented by Gregor St\"olting and the author. The REDUCE package ZEILBERG is a careful implementation of the Gosper and Zeilberger algorithms for indefinite, and definite summation of…
For a Morse function on a closed orientable Riemannian manifold one introduces the {\it virtually small spectral package} an analytic object consisting of a finite number of analytic quantities derived from the pair, {\it Riemannian metric,…
In this article, a new generic higher-order finite-element framework for massively parallel simulations is presented. The modular software architecture is carefully designed to exploit the resources of modern and future supercomputers.…
These lecture notes present a method for symbolic tensor calculus that (i) runs on fully specified smooth manifolds (described by an atlas), (ii) is not limited to a single coordinate chart or vector frame, (iii) runs even on…
SMILEI is a collaborative, open-source, object-oriented (C++) particle-in-cell code. To benefit from the latest advances in high-performance computing (HPC), SMILEI is co-developed by both physicists and HPC experts. The code's structures,…
In this thesis are presented two aplications of the sigma model for the superstring in the pure spinor formulation. The first aplication concerns the computation of the one-loop conformal invariance for the type II superstring, resulting in…
We present the symplectic algorithm in the Lagrangian formalism for the Hamiltonian systems by virtue of the noncommutative differential calculus with respect to the discrete time and the Euler--Lagrange cohomological concepts. We also show…
Hilbert bimodules are morphisms between C*-algebraic models of quantum systems, while symplectic dual pairs are morphisms between Poisson geometric models of classical systems. Both of these morphisms preserve representation-theoretic…
We present the Julia package Manifolds$.$jl, providing a fast and easy-to-use library of Riemannian manifolds and Lie groups. This package enables working with data defined on a Riemannian manifold, such as the circle, the sphere, symmetric…
This paper presents an R package to handle and represent measurements with errors in a very simple way. We briefly introduce the main concepts of metrology and propagation of uncertainty, and discuss related R packages. Building upon this,…
In a previous work, we have constructed a reparametrization invariant worldsheet action from which one can derive the super-Poincare covariant pure spinor formalism for the superstring at the fully quantum level. The main idea was the…
This paper describes an abstract machine for linguistic formalisms that are based on typed feature structures, such as HPSG. The core design of the abstract machine is given in detail, including the compilation process from a high-level…
In this paper, we introduce Semantic-SAM, a universal image segmentation model to enable segment and recognize anything at any desired granularity. Our model offers two key advantages: semantic-awareness and granularity-abundance. To…
This is a tutorial introduction to the functional analysis mathematics needed in many physical problems, such as in waves in continuous media. Functional analysis takes us beyond finite matrices, allowing us to work with infinite sets of…
This Mathematica 5.2 package~\footnote{QDENSITY is available at http://www.pitt.edu/~tabakin/QDENSITY} is a simulation of a Quantum Computer. The program provides a modular, instructive approach for generating the basic elements that make…