Related papers: SpinorHelicity4D: a Mathematica toolbox for the fo…
Simphony is an open-source software package designed for the topological analysis of lattice vibrations based on Wannier tight-binding models. Its primary function is to classify the topology of novel materials by computing bulk and slab…
We compactify the pure spinor formalism on a K3 surface. The pure spinor splits into a six-dimensional pure spinor, a projective superspace harmonic, and 6 non-covariant variables. A homological algebra argument reduces the calculation of…
In this project, a rather complete proof-theoretical formalization of Lambek Calculus (non-associative with arbitrary extensions) has been ported from Coq proof assistent to HOL4 theorem prover, with some improvements and new theorems.…
A method is developed whereby spinor helicity techniques can be used to simplify the calculation of loop amplitudes. This is achieved by using the Feynman-parameter representation where the offending off-shell loop momenta do not appear.…
The article consists of the Russian and English variants of Ph.D. Thesis in which the answers is given on the following questions: 1. how to construct the spinor formalism for n=6; 2. how to construct the spinor formalism for n=8; 3. how to…
Sometimes it is necessary to obtain a numerical integration using only discretised data. In some cases, the data contains singularities which position is known but does not coincide with a discretisation point, and the jumps in the function…
In this work, we obtain a simple measure factor for the $\lambda$ and $\theta$ zero-mode integrations in the pure-spinor formalism in the context of an $\mathcal{N}$ = 4, d = 4 theory. We show that the measure can be defined unambiguously…
Automatically estimating 3D skeleton, shape, camera viewpoints, and part articulation from sparse in-the-wild image ensembles is a severely under-constrained and challenging problem. Most prior methods rely on large-scale image datasets,…
We propose a novel 3D shape correspondence method based on the iterative alignment of so-called smooth shells. Smooth shells define a series of coarse-to-fine shape approximations designed to work well with multiscale algorithms. The main…
Density Functional Theory (DFT) is the de facto workhorse for large-scale electronic structure calculations in chemistry and materials science. While plane-wave DFT implementations remain the most widely used, real-space DFT provides…
We present the first numerical calculation of the 4D Euclidean spin foam vertex amplitude for vertices with hypercubic combinatorics. Concretely, we compute the amplitude for coherent boundary data peaked on cuboid and frustum shapes. We…
In the intersection of computer vision and robotic perception, 4D reconstruction of dynamic scenes serve as the critical bridge connecting low-level geometric sensing with high-level semantic understanding. We present DINO\_4D, introducing…
We study the four-dimensional (4D) scalar potential arising from a generalized type IIA flux superpotential including the (non-)geometric fluxes. First, we show that using a set of peculiar flux combinations, the 4D scalar potential can be…
A class of 3d $\mathcal{N}=2$ supersymmetric gauge theories are constructed and shown to encode the simplicial geometries in 4-dimensions. The gauge theories are defined by applying the Dimofte-Gaiotto-Gukov construction in 3d/3d…
An improved multi-summation approach is introduced and discussed that enables one to simultaneously handle indefinite nested sums and products in the setting of difference rings and holonomic sequences. Relevant mathematics is reviewed and…
As a powerful tool in scientific computation, Mathematica offers us algebraic computation, but it does not provide functions to directly calculate commutators in quantum mechanics. Different from present software packets to deal with…
This paper presents a rigorous numerical framework for computing multiple solutions of semilinear elliptic problems by spatiotemporal high-index saddle dynamics (HiSD), which extends the traditional HiSD to the continuous-in-space setting,…
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…
Spinor description for the curvatures of $D=5$ Yang-Mills, Rarita-Schwinger and gravitational fields is elaborated. Restrictions imposed on the curvature spinors by the dynamical equations and Bianchi identities are analyzed. In the absence…
We develop the helicity formalism for spin-2 particles and apply it to the case of gravity in flat extra dimensions. We then implement the large extra dimensions scenario of Arkani-Hamed, Dimopoulos and Dvali in the program AMEGIC++,…