Related papers: A ternary Relation Algebra of directed lines
The canonical quantisation of General Relativity including matter on a spacetime manifold in the globally hyperbolic setting involves in particular the representation theory of the spatial diffeomorphism group (SDG), and/or its Lie algebra…
Our goal is to define an algebraic language for reasoning about non-deterministic computations. Towards this goal, we introduce an algebra of string-to-string transductions. Specifically, it is an algebra of partial functions on words over…
The lattice definition of a two-dimensional topological field theory (TFT) is given generically, and the exact solution is obtained explicitly. In particular, the set of all lattice topological field theories is shown to be in one-to-one…
In relational approach to general rough sets, ideas of directed relations are supplemented with additional conditions for multiple algebraic approaches in this research paper. The relations are also specialized to representations of general…
What is the best representation for doing euclidean geometry on computers? These notes from a SIGGRAPH 2019 short course entitled "Geometric algebra for computer graphics" introduce projective geometric algebra (PGA) as a modern framework…
In this paper, novel approaches are developed to explore the dynamics of motion in periodic orbits near libration points in cislunar space using the Differential Algebra (DA) framework. The Circular Restricted Three-Body Problem (CR3BP)…
For every family of orthogonal polynomials, we define a new realization of the Yangian of ${\mathfrak{gl}}_n$. Except in the case of Dickson polynomials, the new realizations do not satisfy the RTT relation. We obtain an analogue of the…
Approximation of scattered geometric data is often a task in many engineering problems. The Radial Basis Function (RBF) approximation is appropriate for large scattered (unordered) datasets in d-dimensional space. This method is useful for…
We define a new algebra associated to a Legendrian submanifold $\Lambda$ of a contact manifold of the form $\mathbb{R}_{t} \times W$, called the planar diagram algebra and denoted $PDA(\Lambda, \mathcal{P})$. It is a non-commutative,…
The Random Phase Approximation (RPA) is a widely employed post Hartree-Fock or DFT method, capable of capturing van der Waal interactions and other dynamic correlation effects at relatively low costs of $\mathcal O(N^3)$ in time and…
A Delaunay graph built on a planar point set has an edge between two vertices when there exists a disk with the two vertices on its boundary and no vertices in its interior. When the disk is replaced with an equilateral triangle, the…
Relational triple extraction is crucial work for the automatic construction of knowledge graphs. Existing methods only construct shallow representations from a token or token pair-level. However, previous works ignore local spatial…
We propose a higher-order dimensionality reduction framework based on the Trace Ratio (TR) optimization problem. We establish conditions for existence and uniqueness of solutions and clarify the theoretical connection between the Trace…
Understanding how the brain represents and processes information is crucial for advancing neuroscience and artificial intelligence. Representational similarity analysis (RSA) has been instrumental in characterizing neural representations,…
Deep neural networks typically treat nonlinearities as fixed primitives (e.g., ReLU), limiting both interpretability and the granularity of control over the induced function class. While recent additive models (like KANs) attempt to address…
Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision problems. A particular focus of research has been the…
The mechanics of an oriented point (point with "spin") based on 3D and 4D Frenet equations is considered. In such mechanics there is an opportunity to describe formally any physical trajectory of a particle with own rotation. We use…
We analyze the algebra of Dirac observables of the relativistic particle in four space-time dimensions. We show that the position observables become non-commutative and the commutation relations lead to a structure very similar to the…
A rationally dynamically algebraic (RDA) power series is one that arises as (a component of) the solution of a system of differential equations of the form $\boldsymbol{y}' = F(\boldsymbol{y})$, where $F$ is a vector of rational functions…
Quantum theory may be formulated using Hilbert spaces over any of the three associative normed division algebras: the real numbers, the complex numbers and the quaternions. Indeed, these three choices appear naturally in a number of…