https://arxiv.org/api/V/jBYqYxT/B29c6jF9qBK2ce8BE 2026-06-13T20:09:09Z 20068 120 15 http://arxiv.org/abs/2605.29865v1 2026-05-28T12:50:08Z

In this work, we introduce a new class of Leibniz algebras, called quasi-Artinian Leibniz algebras, which generalizes the minimal condition on ideals. Furthermore, we provide some characterizations and give conditions under which a quasi-Artinian Leibniz algebra is Artinian. Finally, within the framework of Leibniz algebras, we establish a connection between prime ideals and the quasi-Artinian structure.

2026-05-28T12:50:08Z Calvin Tcheka Guy R. Biyogmam Bell Bogmis N. Batkam Mbatchou V. Jacky http://arxiv.org/abs/2605.29722v1 2026-05-28T10:17:54Z

Using a non-commutative analogue of the isomonodromic problem associated with the discrete first Painlevé hierarchy, we construct a non-commutative version of this hierarchy, denoted by $\text{d-PI}_m^{\text{nc}}$. We show that both hierarchies, $\text{d-PI}_m$ and $\text{d-PI}_m^{\text{nc}}$, can be expressed in terms of the polynomials $S_s^k(n)$, which we call the Svinin polynomials. We also derive a reduction of the non-commutative Volterra lattice hierarchy to the $\text{d-PI}_m^{\text{nc}}$ hierarchy and present explicit continuous limits for the first three members of the $\text{d-PI}_m^{\text{nc}}$, thereby recovering non-commutative analogues of the first three members of the differential first Painlevé hierarchy.

2026-05-28T10:17:54Z Irina Bobrova http://arxiv.org/abs/2605.29686v1 2026-05-28T09:51:19Z

Sepsis remains a diagnostic challenge due to its heterogeneous molecular signatures and complex immune responses. In this study, we develop a logical data analysis framework based on Boolean polynomial rings. This method constructs an ideal $\mathcal{I}$ of selection criteria that isolate empty subsets of previously analyzed patient data. This approach enables the derivation of interpretable classification rules based on biomarker profiles. We demonstrate that logical data analysis identifies distinct logical patterns for positive and negative sepsis classification. For instance, elevated levels of GLP-1 and MyD88 are associated with septic states in our dataset, whereas high TRAIL and low MyD88 concentrations may suggest a non-septic condition. Importantly, a new way to integrate expert knowledge to filter out potential overfitting or dataset-specific artifacts is shown. Our findings highlight the utility of logics in generating transparent, biologically plausible rules for a data-based and expert-based understanding of sepsis. Moreover, we show how data analysis can benefit from algebraic structures.

2026-05-28T09:51:19Z Marcus Weber Kai Kappert Marco Reidelbach Ambros Gleixne Konstantin Fackeldey Wolfgang Bauer http://arxiv.org/abs/2507.12321v2 2026-05-28T06:41:14Z

A scheme theoretic version of the automorphism group of a grading on an algebra is presented, and the classical result that shows that, over algebraically closed fields of characteristic 0, the automorphism group of a grading is the normalizer of its diagonal group is extended, over arbitrary fields, to this scheme setting. The quotient of the scheme theoretic versions of the automorphism group and the stabilizer of a grading turns out to be a constant group scheme, called the Weyl group scheme of the grading. For algebraically closed fields this is the constant group scheme associated to the ordinary Weyl group of the grading, but this fails over arbitrary fields.

2025-07-16T15:14:27Z 10 pages Alberto Elduque http://arxiv.org/abs/2605.29246v1 2026-05-28T02:04:33Z

This paper introduces a Laws of Form version of the Quaternions. We call this the Q-Calculus, a 16-valued extension of Laws of Form (LoF) which is closely related to the BF Calculus (where we have a single square root of the mark) and the concept of the square root of negation (related to the the square root of minus one). We construct Q as a system of LoF mark operators acting on 4-tuples, and prove that the set of eight operators in Q is isomorphic to the quaternion group, which is non-commutative. We give a novel proof of several of Q's distribution laws using non-commutative logic gates. We indicate how to represent Q as braids by associating elementary braids to square roots of negation. This results in a very concise representation of Q as LoF braids. We end the paper with an indication of how we can represent the Artin braid group in LoF and how we can generalize our work with the quaternions to Clifford algebras.

2026-05-28T02:04:33Z 30 pages, 12 figures, LaTeX document Louis H. Kauffman Arthur M. Collings http://arxiv.org/abs/2503.18184v2 2026-05-27T18:06:32Z

In this paper, we initiate the study of Leavitt path algebra over Kronecker square of a quiver and show the similarities and contrasts in the properties of Leavitt path algebra over a quiver and its Kronecker square. Furthermore, we discuss the connection of Leavitt path algebra over Kronecker square of a quiver with Hayashi's face algebra and the cross product algebra construction of the Leavitt path algebra over the original quiver.

2025-03-23T19:45:28Z 25 pages Jehan Alarfaj Dolores Martín Barquero Ashish K. Srivastava http://arxiv.org/abs/2605.03031v2 2026-05-27T15:56:55Z

In this paper, we describe linear and cyclic codes over the rings of the form $R_{s,p}=\mathbb{Z}_{p}[u]/\left( f\left(u\right) /\left( u-s\right) \right)$, where $p$ is a prime number and $f\left( u\right) =u^{p}-u$, with $s\in \{0,1,...,p-1\}$.

2026-05-04T18:02:03Z Cristina Flaut Bianca Liana Bercea-Straton http://arxiv.org/abs/2605.28419v1 2026-05-27T12:50:23Z

In a previous paper we introduced a version of associativity for a partial infinitary operation. We prove here that if $γ$ is an infinite ordinal and some associative infinitary operation is defined for all sequences indexed by ordinals $ \leq γ$, then such an operation can be uniquely expanded to apply to every sequence indexed by any ordinal of cardinality $ |γ|$. In particular, if some associative operation is defined for all finite sequences as well as for all $ ω$-indexed sequences, then the operation can be uniquely expanded to apply to every sequence indexed by a countable ordinal.

2026-05-27T12:50:23Z 11 pages Paolo Lipparini http://arxiv.org/abs/2605.28416v1 2026-05-27T12:50:07Z

In a former paper we introduced partial infinitary noncommutative semigroups and showed, among other, that significant differences arise in comparison with the commutative case, previously studied in the literature. For example, in the commutative case we cannot have an infinitary identity $e$ together with two elements $a \not= e$, $b \not= e$ such that $ab= e$, just under the assumption that the countable product $abababa\dots$ is defined. Here we show that this is possible in the noncommutative case, actually, we can have an infinitary semigroup on a countable set with a complete identity and such that the operation is defined for every indexed linearly ordered set.

2026-05-27T12:50:07Z 18 pages Paolo Lipparini http://arxiv.org/abs/2605.28413v1 2026-05-27T12:47:46Z

Various kinds of infinitary operations satisfying forms of associativity have been considered in the literature by various authors, including A. Tarski, C. Karp, J. H. Conway, D. Krob, N. Bedon, and C. Rispal. Applications include the arithmetics of binary relations, quasigroups, and automata theory, We present a general definition for an infinitary noncommutative partial semigroup; the definition extends and encompasses all the previous notions. In particular, we show that new phenomena occur in the noncommutative case, giving rise to a somewhat richer (and, by the way, more difficult) theory.

2026-05-27T12:47:46Z 28 pages Paolo Lipparini http://arxiv.org/abs/2602.05039v3 2026-05-27T12:46:08Z

We study the notion of linear sofic approximations for algebras, analogous to the concept of sofic representations for groups. We prove that for a finitely generated amenable $K$-algebra with no zero divisors, all linear sofic representations are conjugate. This provides an algebraic analogue to Elek and Szabó's theorem for amenable groups. The proof relies on a "linear monotiling" technique, constructed using a theorem by Brešar, Meshulam and Šemrl on locally linearly dependent operators. Finally, we apply this uniqueness result to the problem of weak stability in the rank metric, showing that the group algebra of an amenable group is weakly stable if and only if the group is residually finite.

2026-02-04T20:46:24Z 13 pages Benjamin Bachner http://arxiv.org/abs/2605.28385v1 2026-05-27T12:22:09Z

We develop operator-theoretic and cohomological tools for quaternionic quasi-Lie structures, with sliding mode control as a motivating application. Three main results are established. First, an exact operator-norm transfer under the quaternionic anti-isomorphism $a \mapsto \bar{a}$, which enables quantitative bounds from~\cite{Athmouni2026} to transfer between left- and right-module conventions with no constant factor. Second, a transcription of the cohomological rigidity result of~\cite{Athmouni2026} into a form usable here: in the homogeneous case, under a local cohomological non-obstruction hypothesis, an explicit bilinear correction $Ω$ produces a bracket satisfying the Jacobi identity exactly on a ball of admissible radius, with all quantitative constants expressed through $C_{2}$ and the admissible radius. Third, the projected Jacobi defect is shown to satisfy a generalized one-sided Lipschitz condition with computable constants, obtained via a uniform-selection argument handling state-dependence of the measurable selection. As an application, we develop a robust control framework with a cohomological matching condition replacing pointwise verification: an integral sliding surface yields $β$-exponential stability via an iterative linear matrix inequality (LMI) scheme. The work is purely analytical; closed-loop numerical simulations for multidimensional systems are deferred to a companion paper. The framework is restricted to the homogeneous quasi-Lie case; the Sobolev extension is conjectural, and algorithm termination is established conditionally on sufficient continuity assumptions on the LMI solution map.

2026-05-27T12:22:09Z Nassim Athmouni Nejib Brahmia Tarek Fajraoui Fehmi Mabrouk http://arxiv.org/abs/2605.16854v2 2026-05-27T11:16:27Z

This paper investigates the finite generation of cluster automorphism groups. By applying the pseudo $\mathbb{N}$-grading introduced in our previous work, we establish a sufficient condition for a cluster automorphism group to be finitely generated. As applications, we re-establish the finite generation of the automorphism groups for all finite mutation type cluster algebras, and verify the acyclic cases. Furthermore, we illustrate through examples that our approach significantly simplifies the computation of presentations for these groups in certain cases.

2026-05-16T07:39:17Z 15 pages, 3 figures Changjian Fu Zhanhong Liang Yinzhi Wang http://arxiv.org/abs/2605.25470v2 2026-05-27T09:47:53Z

Derived brackets provide a mechanism for generating algebraic structures from graded Lie superalgebras, with applications in Poisson geometry, mathematical physics, and the theory of algebroids. In this paper, we present a complete structural and isomorphism classification of a family of Lie algebras constructed from the general linear Lie superalgebra $\mathfrak{gl}_{m|n}$ over a field $\mathbb{K}$ of characteristic zero via the derived bracket generated by an odd element $B$ satisfying $B^2 = 0$, which endows $\mathfrak{g}_{-1}$ with a Lie algebra structure denoted $\mathfrak{g}_{-1}^{B}$. We prove that for fixed dimensions $m$ and $n$, the isomorphism type of $\mathfrak{g}_{-1}^{B}$ is entirely determined by $r=\operatorname{rank}(B)$. In arbitrary dimensions, two such algebras are isomorphic if and only if they share the same rank $r$ and satisfy $\{m,n\}=\{p,q\}$. We explicitly compute the Levi-Malcev decomposition, proving the semisimple Levi factor is isomorphic to $\mathfrak{sl}(r)$, and provide exact formulas for the solvable radical and center.

2026-05-25T06:20:05Z 20 pages. Poster presented at the 32st Colóquio Brasileiro de Matemática (IMPA, 2019) Luan Figueiredo http://arxiv.org/abs/2603.27291v2 2026-05-27T08:28:15Z

We present norm criteria for the existence of anti-automorphisms, as well as explicit constructions of anti-automorphisms, both on cyclic and generalized cyclic algebras. Our approach describes anti-automorphisms as polynomial maps and unifies existing approaches. It recovers classical criteria for the existence of involutions as special cases. We obtain norm conditions for the existence of anti-automorphisms of the second kind on the ring of twisted Laurent series $K((t;σ))$ over a field $K$ and the ring of twisted Laurent series $D((t;σ))$ over a division algebra $D$ that is finite-dimensional over its center. Our constructions rely on the isomorphisms between an algebra and its opposite algebra. Along the way, we hence describe monomial isomorphisms between cyclic or generalized cyclic algebras, which ties in with studying the isomorphism problem for central simple algebras. Proper nonassociative cyclic and generalized cyclic algebras, which are canonical generalizations of associative cyclic and generalized cyclic central simple algebras, are included here.

2026-03-28T14:48:04Z This is the revised version, where some results have been added and some statements corrected, e.g. the explicit definition of the anti-automorphisms Susanne Pumpluen