Class Of Algebras Research Articles

A Complete Finite Axiomatisation of the Equational Theory of Common Meadows

We analyse abstract data types that model numerical structures with a concept of error. Specifically, we focus on arithmetic data types that contain an error value \(\bot\) whose main purpose is to always return a value for division. To rings and fields, we add a division operator \(x/y\) and study a class of algebras called common meadows wherein \(x/0=\bot\) . The set of equations true in all common meadows is named the equational theory of common meadows . We give a finite equational axiomatisation of the equational theory of common meadows and prove that it is complete and that the equational theory is decidable.

Classification of dynamical Lie algebras of 2-local spin systems on linear, circular and fully connected topologies

Much is understood about 1-dimensional spin chains in terms of entanglement properties, physical phases, and integrability. However, the Lie algebraic properties of the Hamiltonians describing these systems remain largely unexplored. In this work, we provide a classification of all Lie algebras generated by the terms of 2-local spin chain Hamiltonians, or so-called dynamical Lie algebras, on 1-dimensional linear and circular lattice structures. We find 17 unique dynamical Lie algebras. Our classification includes some well-known models such as the transverse-field Ising model and the Heisenberg chain, and we also find more exotic classes of Hamiltonians that appear new. In addition to the closed and open spin chains, we consider systems with a fully connected topology, which may be relevant for quantum machine learning approaches. We discuss the practical implications of our work in the context of variational quantum computing, quantum control and the spin chain literature.

Yang-Baxter Equations and Relative Rota-Baxter Operators for Left-Alia Algebras Associated to Invariant Theory

Left-Alia algebras are a class of algebras with symmetric Jacobi identities. They contain several typical types of algebras as subclasses, and are closely related to the invariant theory. In this paper, we study the construction theory of left-Alia bialgebras. We introduce the notion of the left-Alia Yang-Baxter equation. We show that an antisymmetric solution of the left-Alia Yang-Baxter equation gives rise to a left-Alia bialgebra that we call triangular. The notions of relative Rota-Baxter operators of left-Alia algebras and pre-left-Alia algebras are introduced to provide antisymmetric solutions of the left-Alia Yang-Baxter equation.

The optimal tennis serve: a mathematical model

Mathematical modelling has several valuable properties that address a number of pedagogical issues. As such, it makes for an excellent classroom exercise. First and foremost, it reinforces the insight that mathematics is nearly ubiquitous. It is all around us, hiding in plain sight. Secondly, in contrast to textbook problems which are often highly artificial, mathematical modelling is decidedly real. Next, it serves to un-silo the curriculum. As mathematics students advance, they populate their toolbox with more and more tools. However, these tools are generally course specific. Algebra tools in algebra class, calculus tools in calculus class, and so on. In attacking a modelling problem, the student needs to decide what tool to pick up and how to apply it. Finally, modelling is empowering in that it allows, indeed it requires, the student to decide for herself what the salient features of a problem are and which features are extraneous and can safely be suppressed.

On a new class of non-dynamical ABCD algebras for classical and quantum integrable systems

We consider classical and quantum non-dynamical quadratic abcd Lax algebras with classical and quantum gl(n)⊗gl(n)-valued abcd-tensors satisfying a set of quadratic non-dynamical Yang-Baxter-type equations generalizing those of Fredel and Maillet [1]. We establish a relation of some of these equations with the so-called “semi-dynamical” Yang-Baxter equations of [2]. We show that the linearization of the corresponding quadratic structures lead to linear tensor structures with the classical gl(n)⊗gl(n)-valued r-matrices satisfying usual “permuted” classical Yang-Baxter equations [1,3–5]. We consider example of our construction associated with the deformed Zn-graded r-matrix of [10–12] and explicitly construct the corresponding abcd-tensors — both classical and quantum. Small n examples are also considered in some details.

C⁎-algebras associated to directed graphs of groups, and models of Kirchberg algebras

We introduce C⁎-algebras associated to directed graphs of groups. In particular, we associate a combinatorial C⁎-algebra to each row-finite directed graph of groups with no sources, and show that this C⁎-algebra is Morita equivalent to the crossed product coming from the corresponding group action on the boundary of a directed tree. Finally, we show that these C⁎-algebras (and their Morita equivalent crossed products) contain the class of stable UCT Kirchberg algebras.

The algebraic classification of low-dimensional nilpotent n-Lie algebras

In this paper, we study the low-dimensional nilpotent [Formula: see text]-Lie algebras and classify nilpotent [Formula: see text]-Lie algebras of dimension [Formula: see text] and nilpotent [Formula: see text]-Lie algebras of class two with dimension [Formula: see text].

An algebraic classification of means

An algebraic classification of means

A parametrization of nonassociative cyclic algebras of prime degree

We determine and explicitly parametrize the isomorphism classes of nonassociative quaternion algebras over a field of characteristic different from two, as well as the isomorphism classes of nonassociative cyclic algebras of odd prime degree m when the base field contains a primitive mth root of unity. In the course of doing so, we prove that any two such algebras can be isomorphic only if the cyclic field extension and the chosen generator of the Galois group are the same. As an application, we give a parametrization of nonassociative cyclic algebras of prime degree over a local nonarchimedean field F, which is entirely explicit under mild hypotheses on the residual characteristic. In particular, this gives a rich understanding of the important class of nonassociative quaternion algebras up to isomorphism over nonarchimedean local fields.

On the classification of function algebras on subvarieties of noncommutative operator balls

We study algebras of bounded noncommutative (nc) functions on unit balls of operator spaces (nc operator balls) and on their subvarieties. Considering the example of the nc unit polydisk we show that these algebras, while having a natural operator algebra structure, might not be the multiplier algebra of any reasonable nc reproducing kernel Hilbert space (RKHS). After examining additional subtleties of the nc RKHS approach, we turn to study the structure and representation theory of these algebras using function theoretic and operator algebraic tools. We show that the underlying nc variety is a complete invariant for the algebra of uniformly continuous nc functions on a homogeneous subvariety, in the sense that two such algebras are completely isometrically isomorphic if and only if the subvarieties are nc biholomorphic. We obtain extension and rigidity results for nc maps between subvarieties of nc operator balls corresponding to injective spaces that imply that a biholomorphism between homogeneous varieties extends to a biholomorphism between the ambient balls, which can be modified to a linear isomorphism. Thus, the algebra of uniformly continuous nc functions on nc operator balls, and even its restriction to certain subvarieties, completely determine the operator space up to completely isometric isomorphism.

Semistable torsion classes and canonical decompositions in Grothendieck groups

AbstractWe study two classes of torsion classes that generalize functorially finite torsion classes, that is, semistable torsion classes and morphism torsion classes. Semistable torsion classes are parametrized by the elements in the real Grothendieck group up to TF equivalence. We give a close connection between TF equivalence classes and the cones given by canonical decompositions of the spaces of projective presentations due to Derksen–Fei. More strongly, for ‐tame algebras and hereditary algebras, we prove that TF equivalence classes containing lattice points are exactly the cones given by canonical decompositions. One of the key steps in our proof is a general description of semistable torsion classes in terms of morphism torsion classes. We also answer a question by Derksen–Fei negatively by giving examples of algebras that do not satisfy the ray condition. As an application of our results, we give an explicit description of TF equivalence classes of preprojective algebras of type .

Strong Kähler with torsion solvable lie algebras with codimension 2 nilradical

AbstractIn this paper, we study strong Kähler with torsion (SKT) and generalized Kähler structures on solvable Lie algebras with (not necessarily abelian) codimension 2 nilradical. We treat separately the case of ‐invariant nilradical and non‐‐invariant nilradical. A classification of such SKT Lie algebras in dimension 6 is provided. In particular, we give a general construction to extend SKT nilpotent Lie algebras to SKT solvable Lie algebras of higher dimension, and we construct new examples of SKT and generalized Kähler compact solvmanifolds.

The classification of nilpotent Bol algebras

In this paper, we generalize the classical method used to classify nilpotent low-dimensional Lie algebras to serve for nilpotent Bol algebras. The algebraic classification of the nilpotent Bol algebras up to dimension four is given.

A geometric classification of the holomorphic vertex operator algebras of central charge 24

A geometric classification of the holomorphic vertex operator algebras of central charge 24

Existence and Uniqueness of Homogeneous Linear Equation Solutions in Supertropical Algebra

This research investigates the existence and uniqueness of solutions to homogeneous linear equations in supertropical algebra. We analyze the structure of supertropical matrices to identify the conditions in which nontrivial solutions exist for the system of equations A⊗𝒙 ⊨ 𝜀, where A is a matrix over a supertropical semiring and x is a vector. By applying determinant-based criteria, we demonstrate how tropical and supertropical values influence the solution space. The research applies theorems that determine the presence of trivial and nontrivial solutions and uses examples to illustrate practical methods for solving homogeneous matrix systems. This highlights the distinct characteristics of supertropical algebra compared to classical linear algebra. Our findings provide a deeper insight into solution behaviors in supertropical systems, paving the way for further research in tropical mathematics.

Ternary Associativity and Ternary Lie Algebras at Cube Roots of Unity

We propose a new approach to extend the notion of commutator and Lie algebra to algebras with ternary multiplication laws. Our approach is based on the ternary associativity of the first and second kinds. We propose a ternary commutator, which is a linear combination of six triple products (all permutations of three elements). The coefficients of this linear combination are the cube roots of unity. We find an identity for the ternary commutator that holds due to the ternary associativity of either the first or second kind. The form of this identity is determined by the permutations of the general affine group GA(1,5)⊂S5. We consider this identity as a ternary analog of the Jacobi identity. Based on the results obtained, we introduce the concept of a ternary Lie algebra at cube roots of unity and provide examples of such algebras constructed using ternary multiplications of rectangular and three-dimensional matrices. We also highlight the connection between the structure constants of a ternary Lie algebra with three generators and an irreducible representation of the rotation group. The classification of two-dimensional ternary Lie algebras at cube roots of unity is proposed.

Adding an implication to logics of perfect paradefinite algebras

Abstract Perfect paradefinite algebras are De Morgan algebras expanded with an operation that allows for the full behavior of classical negation to be restored. They form a variety that is term-equivalent to the variety of involutive Stone algebras. Their associated multiple-conclusion (Set-Set) and single-conclusion () order-preserving logics are non-algebraizable self-extensional logics of formal inconsistency and undeterminedness determined by a six-valued matrix. We studied these logics extensively in Gomes et al. ((2022). Electronic Proceedings in Theoretical Computer Science357 56–76.) from both the algebraic and the proof-theoretical perspectives. In the present paper, we continue that study by investigating directions for conservatively expanding these logics with an implication connective (essentially, one that admits the deduction-detachment theorem). We first consider logics given by very simple and manageable non-deterministic semantics whose implication (in isolation) is classical. These, nevertheless, fail to be self-extensional. We then consider the implication realized by the relative pseudo-complement over the six-valued perfect paradefinite algebra. Our strategy is to expand the language of the latter algebra with this connective and study the (self-extensional) Set-Set and order-preserving and $\top$ -assertional logics of the variety induced by the resulting algebra. We provide axiomatizations for such new variety and for such logics, drawing parallels with the class of symmetric Heyting algebras and with Moisil’s “symmetric modal logic.” For the order-preserving Set-Set logic, in particular, we obtain a Set-Set axiomatization that is analytic. We close by studying interpolation properties for these logics and concluding that the new variety has the Maehara amalgamation property.

Skew axial algebras of Monster type II

In our first paper, we looked at 2-generated primitive axial algebras of Monster type with skew axet X′(1+2). We continue our work by focusing on larger skew axets and classifying all such algebras with skew axets. This brings us one step closer to a complete classification of all 2-generated primitive axial algebras of Monster type.

A generic classification of locally free representations of affine GLS algebras

Throughout, let K be an algebraically closed field of characteristic 0. We provide a generic classification of locally free representations of Geiß-Leclerc-Schröer's algebras HK(C,D,Ω) associated to affine Cartan matrices C with minimal symmetrizer D and acyclic orientation Ω. Affine GLS algebras are “smooth” degenerations of tame hereditary algebras and as such their representation theory is presumably still tractable. Indeed, we observe several “tame” phenomena of affine GLS algebras even though they are in general representation wild. For the GLS algebras of type BC˜1 we achieve a classification of all stable representations. For general GLS algebras of affine type, we construct a 1-parameter family of representations stable with respect to the defect. Our construction is based on a generalized one-point extension technique. This confirms in particular τ-tilted versions of the second Brauer-Thrall Conjecture recently raised by Mousavand and Schroll-Treffinger-Valdivieso for the class of GLS algebras. Finally, we show that generically every locally free H-module is isomorphic to a direct sum of τ-rigid modules and modules from our 1-parameter family. This generalizes Kac's canonical decomposition from the symmetric to the symmetrizable case in affine types and we obtain such a decomposition by folding the canonical decomposition of dimension vectors over path algebras. As a corollary we obtain that affine GLS algebras are E-tame in the sense of Derksen-Fei and Asai-Iyama.

Non-degenerate metrics, hypersurface deformation algebra, non-anomalous representations and density weights in quantum gravity

Classical General Relativity is a dynamical theory of spacetime metrics of Lorentzian signature. In particular the classical metric field is nowhere degenerate in spacetime. In its initial value formulation with respect to a Cauchy surface the induced metric is of Euclidian signature and nowhere degenerate on it. It is only under this assumption of non-degeneracy of the induced metric that one can derive the hypersurface deformation algebra between the initial value constraints which is absolutely transparent from the fact that the inverse of the induced metric is needed to close the algebra. This statement is independent of the density weight that one may want to equip the spatial metric with. Accordingly, the very definition of a non-anomalous representation of the hypersurface deformation algebra in quantum gravity has to address the issue of non-degeneracy of the induced metric that is needed in the classical theory. In the Hilbert space representation employed in Loop Quantum Gravity (LQG) most emphasis has been laid to define an inverse metric operator on the dense domain of spin network states although they represent induced quantum geometries which are degenerate almost everywhere. It is no surprise that demonstration of closure of the constraint algebra on this domain meets difficulties because it is a sector of the quantum theory which is classically forbidden and which lies outside the domain of definition of the classical hypersurface deformation algebra. Various suggestions for addressing the issue such as non-standard operator topologies, dual spaces (habitats) and density weights have been proposed to address this issue with respect to the quantum dynamics of LQG. In this article we summarise these developments and argue that insisting on a dense domain of non-degenerate states within the LQG representation may provide a natural resolution of the issue thereby possibly avoiding the above mentioned non-standard constructions.