Related papers: Formalizing Geometric Algebra in Lean

In this paper we study finite dimensional algebras, in particular finite semifields, through their correspondence with nonsingular threefold tensors. We introduce a alternative embedding of the tensor product space into a projective space.…

We propose a generalization of non-commutative geometry and gauge theories based on ternary Z_3-graded structures. In the new algebraic structures we define, we leave all products of two entities free, imposing relations on ternary products…

There are a wide variety of different vector formalisms currently utilized in engineering and physics. For example, Gibbs' three-vectors, Minkowski four-vectors, complex spinors in quantum mechanics, quaternions used to describe rigid body…

Recent developments in the construction of generalized Dirac duals have revealed, within the structure of the Clifford algebra $\mathbb{C}\otimes\mathcal{C}\ell_{1,3},$ the existence of distinct algebraic formulations of spinors duals with…

We study the general rational trigonometry of a tetrahedron, based on quadrances, spreads and solid spreads, using vector products associated to an arbitrary symmetric bilinear form over a general field, not of characteristic two. This…

We describe a formalization of forcing using Boolean-valued models in the Lean 3 theorem prover, including the fundamental theorem of forcing and a deep embedding of first-order logic with a Boolean-valued soundness theorem. As an…

Given a $n$-dimensional Lie algebra $g$ over a field $k \supset \mathbb Q$, together with its vector space basis $X^0_1,..., X^0_n$, we give a formula, depending only on the structure constants, representing the infinitesimal generators,…

The present paper, though inspired by the use of tensor hierarchies in theoretical physics, establishes their mathematical credentials, especially as genetically related to Lie algebra crossed modules. Gauging procedures in supergravity…

I apply the algebraic framework introduced in arXiv:1101.4542v3[math.MG] to Minkowski (pseudo-Euclidean) spaces in 2, 3, and 4 dimensions. The exposition follows the template established in arXiv:1307.2917[math.MG] for Euclidean spaces. The…

This study introduces geometric algebra to decompose credit system relationships into their projective (correlation-like) and rotational (feedback-spiral) components. We represent economic states as multi-vectors in Clifford algebra, where…

There is a long tradition of fruitful interaction between logic and social choice theory. In recent years, much of this interaction has focused on computer-aided methods such as SAT solving and interactive theorem proving. In this paper, we…

String diagrams turn algebraic equations into topological moves that have recurring shapes, involving the sliding of one diagram past another. We individuate, at the root of this fact, the dual nature of polygraphs as presentations of…

We propose a graded classification of the entire field of multivector physics, including all alternative points of view. The (often tacit) postulates of different types of formulations are contrasted, summarizing their consequences.…

We develop a Clifford algebra approach for 3D Ising model. By utilizing some mathematical facts of the direct product of matrices and their trace, we expand the dimension of the transfer matrices V of the 3D Ising system by adding unit…

The modern algebra concepts are used to construct tables of algebraic spinors related to Clifford algebra multivectors with real and complex coefficients. The following data computed by Mathematica are presented in form of tables for…

Here is discussed generalization of Clifford algebras, l^n-dimensional Weyl-Clifford algebras T(n,l) with n generators t_k satisfying equation $(\sum_{k=1}^n a_k t_k)^l = \sum_{k=1}^n a_k^l$. It is originated from two basic and well known…

Using a binary representation for basis elements of an algebra combined with a framework of multiplier and index functions, a connection has been established between the structure of a large class of algebras and the XOR componentwise…

Deformed $\mathfrak{g}_2$ exceptional applications are introduced via the Clifford algebra-parametrized formalism. Using the products between multivectors of $\cl_{0,7}$, the Clifford algebra over the metric vector space $\RR^{0,7}$, and…

Clifford geometric algebras of multivectors are introduced which exhibit a bilinear form which is not necessarily symmetric. Looking at a subset of bi-vectors in CL(K^{2n},B), we proof that theses elements generate the Hecke algebra…

Here is discussed application of the Weyl pair to construction of universal set of quantum gates for high-dimensional quantum system. An application of Lie algebras (Hamiltonians) for construction of universal gates is revisited first. It…