https://arxiv.org/api/0q5Za1nTK8L+hN1s0XGsLZfL1tE 2026-06-14T06:57:10Z 20068 270 15 http://arxiv.org/abs/2605.06715v1 2026-05-07T01:44:15Z

We introduce a weak version of the classical length function, termed the weak length function, defined on subsets of $R$-modules over a unital ring $R$, and further consider the concept of mean weak length for $RΓ$-modules associated with an amenable group $Γ$. Under an appropriate upgrading condition together with certain mild assumptions, we establish that the mean weak length function is additive with respect to short exact sequences. This result has two consequences. First, we provide a purely algebraic proof of the additivity of algebraic entropy, which is a property originally established via topological entropy methods. Second, within our unified framework, we give an alternative and conceptual proof of the additivity of mean length, previously obtained by Li-Liang and Virilli using different approaches.

2026-05-07T01:44:15Z 19 pages, comments are very welcome! Zihan Bai Bingbing Liang http://arxiv.org/abs/2510.07469v2 2026-05-06T22:10:09Z

We show that the mirabolic quantum group $MU(n)$ is a comodule algebra over the quantized enveloping algebra $U_v(\mathfrak{sl}_n)$, and use this structure to give a complete classification of its finite dimensional representations. In particular, we explicitly describe the construction of all irreducible finite dimensional representations of $MU(n)$ and show that the category of finite dimensional representations is semisimple. A crucial step involves constructing and analyzing Verma-type universal representations of $MU(n)$.

2025-10-08T19:16:06Z Pallav Goyal Daniele Rosso http://arxiv.org/abs/2512.08399v4 2026-05-06T18:07:49Z

Let $\mathbb{F}$ be an algebraically closed field of characteristic $0$. Given a square matrix $A \in \mathbb{F}^{n \times n}$ and a polynomial $f \in \mathbb{F}[w]$, we determine the Jordan canonical form of the formal Fréchet derivative of $f(A)$, in terms of that of $A$ and of $f$. When $\mathbb{F}\subseteq \mathbb{C}$, via Hermite interpolation, our result provides a solution to [N.J. Higham, \emph{Functions of Matrices: Theory and Computation}, Research Problem 3.11]. A generalization consists of finding the Jordan canonical form of linear combinations of Kronecker products of powers of two square matrices, i.e., $\sum_{i,j} a_{ij} (X^i \otimes Y^j)$. For this generalization, we provide some new partial results, including a partial solution under certain assumptions and general bounds on the number and the sizes of Jordan blocks.

2025-12-09T09:31:22Z Vanni Noferini http://arxiv.org/abs/2605.05131v1 2026-05-06T17:02:37Z

A $n$-dimensional Lie algebra $g=(V,μ)$ is called $2$-compatible if it is isomorphic to a quadratic deformation of a Lie algebra $g_0=(V,μ_0)$. By quadratic deformation we means a formal deformation $μ_t=μ_0+t\varphi_1+t^2\varphi_2$ where $μ_t$ is a Lie algebra on $V \otimes K[[t]]$. It is equivalent to say that we have the following system $\sum_{i+j \leq 4} \varphi_i \circ \varphi_j= 0$. This notion naturally appears in the theory of classification of contact Lie algebras because any $(2p+1)$-dimensional contact Lie algebra is isomorphic to a quadratic deformation of the Heisenberg algebra $\mathcal{H}_{2p+1}$.

2026-05-06T17:02:37Z 29 pages Elisabeth Remm http://arxiv.org/abs/2605.05128v1 2026-05-06T16:56:19Z

Let $A$ be an augmented differential graded algebra over a field $k$ of characteristic zero, and let $A^!=\mathbf{R}\mathrm{Hom}_A(k,k)$ be its Koszul dual algebra. Blumberg and Mandell showed that, under some finiteness conditions of $A$, the derived Koszul duality provides an equivalence between the $K$-theory $K(\mathrm{thick}_A(k))$ of the triangulated thick subcategory generated by $k$ and the $K$-theory $K(A^!)$ of the derived category of perfect $A^!$-modules. Combining this equivalence with the Jones-Goodwillie Chern character and the Jones-McCleary isomorphism, we obtain that the $K$-groups $K_n(\mathrm{thick}_A(k))$ are a concrete candidate for Loday's conjectural contravariant $K$-groups.

2026-05-06T16:56:19Z 11 pages Xiaojun Chen Farkhod Eshmatov Maozhou Huang http://arxiv.org/abs/2604.05754v2 2026-05-06T15:59:57Z

In a binary groupoid $(G, *)$, a Fibonacci sequence is a recurrent sequence defined by $f_1 = a, f_2 = b, \ldots, f_n = f_{n - 2} * f_{n - 1}$. A universal Fibonacci sequence (UFS) is a singly or doubly infinite sequence whose set of suffixes coincides precisely with the set of all Fibonacci sequences in the groupoid. This paper studies UFS-groupoids, i.e., groupoids that admit a universal Fibonacci sequence. It is shown that every nontrivial UFS-groupoid is at most countable, locally cyclic, and non-power-associative; that the right cancellation property and the right quasigroup property hold for all pairs of elements except possibly one and two, respectively; that no neutral element or zero element exists; and that there is at most one idempotent element. It is proved that any UFS-groupoid whose universal Fibonacci sequence is not doubly infinite strictly preperiodic is cyclic. It has also been proved that the class of UFS-groupoids is closed under taking subgroupoids and homomorphic images, but is not closed under finite direct products. The structure of subgroupoids of UFS-groupoids is described. A complete classification of UFS-groupoids is given in terms of the cardinality of $G$ and the periodicity of the universal Fibonacci sequences. Finite UFS-groupoids are described combinatorially via de Bruijn sequences. The number of distinct UFS-groupoids on a finite set is determined, and explicit constructions are provided for both finite and infinite cases across all periodicity classes, including embeddings of UFS-groupoids as subgroupoids into other UFS-groupoids and infinitely generated UFS-groupoids.

2026-04-07T11:56:41Z 50 pages Petr Klimov http://arxiv.org/abs/2604.08069v2 2026-05-06T15:34:54Z

We define a Brauer group for differential graded algebras over differential graded graded-commutative or commutative base rings. Based on previous work we give an explicit classification of dg-fields, and compute the so-defined Brauer group in each case explicitly.

2026-04-09T10:36:49Z Xiaoxiao Xu Alexander Zimmermann http://arxiv.org/abs/2407.04924v4 2026-05-06T14:05:20Z

A Datalog program solves a constraint satisfaction problem (CSP) if and only if it derives the goal predicate precisely on the unsatisfiable instances of the CSP. There are three Datalog fragments that are particularly important for finite-domain constraint satisfaction: arc monadic Datalog, linear Datalog, and symmetric linear Datalog, each having good computational properties. We consider the fragment of Datalog where we impose all of these restrictions simultaneously, i.e., we study \emph{symmetric linear arc monadic (slam) Datalog}. We characterise the CSPs that can be solved by a slam Datalog program as those that have a gadget reduction to a particular Boolean constraint satisfaction problem. We also present exact characterisations in terms of a homomorphism duality (which we call \emph{unfolded caterpillar duality}), and in universal-algebraic terms (using known minor conditions, namely the existence of quasi Maltsev operations and $k$-absorptive operations of arity $nk$}, for all $n,k \geq 1$). Our characterisations also imply that the question whether a given finite-domain CSP can be expressed by a slam Datalog program is decidable.

2024-07-06T02:20:19Z Manuel Bodirsky Florian Starke 10.1007/s00224-026-10261-2 http://arxiv.org/abs/2605.04910v1 2026-05-06T13:38:01Z

We present a short, purely algebraic proof of the Symmetric Bessmertnyĭ Realization Theorem in the characteristic $2$ case recently proved in [EOW26]. Symmetric Bessmertnyĭ realizations are Schur complements of affine linear symmetric matrix pencils, and they arise naturally as state-space representations in linear systems theory. In contrast with the algorithmic approach in [EOW26], we use differential algebra: by defining formal partial derivatives on multivariate rational functions over fields of positive characteristic and considering their corresponding field of constants, we obtain scalar criteria for symmetric and homogeneous symmetric realizability in characteristic $2$, effectively reducing the matrix-valued problem to its diagonal entries. As a consequence, we prove a new theorem on the field extension problem for symmetric and homogeneous symmetric Bessmertnyĭ realizations. Finally, in the scalar case, we identify realizable rational functions with vector spaces over appropriate fields of constants and quantify the abundance of counterexamples in characteristic $2$.

2026-05-06T13:38:01Z 15 pages Soumya Sinha Babu Aaron Welters http://arxiv.org/abs/2508.06934v2 2026-05-06T13:32:32Z

Let $A$ be a simple algebra over a field $F$. Under a mild cardinality assumption on $F$, we determine the greatest possible dimension for an $F$-affine subspace of $A$ that is included in the group of units $A^\times$, and we describe the spaces that have the greatest possible dimension. This is equivalent to the problem of determining the greatest possible dimension for an $F$-linear subspace $S$ of $A$ in which $x-1_A$ is a unit for all $x \in S$, and we elucidate the structure of these linear subspaces up to conjugation when their dimension reaches the greatest possible one. These classifications involve the associative composition algebras over $F$. Over fields of characteristic other than $2$, the first problem is essentially reduced to the classification of nonisotropic quadratic forms over $F$ and of nonisotropic Hermitian forms over quadratic and quaternionic extensions of $F$. These results are intimately connected with the problem of intransitive operator spaces between finite-dimensional vector spaces over division rings, which we study in depth: in particular, we generalize a dual version of Atkinson's theorem on primitive spaces of bounded rank matrices.

2025-08-09T11:02:02Z 57 pages, (v2 : change of title, and the section on spaces of diagonalisable matrices has been removed and will be uploaded as a separate preprint) Clément de Seguins Pazzis http://arxiv.org/abs/2509.04347v4 2026-05-06T08:48:42Z

The classifications of temporal and phylogeny constraint languages stand among the most seminal complexity classifications within infinite-domain Constraint Satisfaction Problems (CSPs), yet remain the most mysterious in terms of algorithms and algebraic invariants for the tractable cases. We show that those languages which do not pp-construct EVERYTHING (and thus by the classifications are solvable in polynomial time) have, in fact, very limited expressive power as measured by the graphs and hypergraphs they can pp-interpret. This limitation yields many previously unknown algebraic consequences, while also providing new, uniform proofs for known invariance properties. In particular, we show that such temporal and phylogeny constraint languages admit $4$-ary pseudo-Siggers polymorphisms -- a result that sustains the possibility that the existence of such polymorphisms extends to the much broader context of the Bodirsky-Pinsker conjecture. Although temporal and phylogeny constraint languages appear to follow fundamentally different algorithmic principles, our proofs reveal a common core and proceed along strikingly similar lines.

2025-09-04T16:05:38Z added pseudo-loop lemma for phylogeny constraint languages; 36 pages Johanna Brunar Michael Pinsker Moritz Schöbi http://arxiv.org/abs/2605.04630v1 2026-05-06T08:18:24Z

We study representations of diagram categories by binary relations and matrices over rings and semirings. Our main result is a faithful involutive tensor representation of the partition category $P$ (and consequently of each partition monoid $P_n$) by zero-one matrices over an arbitrary (additively) idempotent semiring. The dimensions of the matrices involved are powers of $2$, and we show that these are minimal with respect to faithful involutive tensor representations by matrices over any semiring. Intriguingly, these matrices encode the number of floating components formed when composing partitions, and can therefore be used to construct faithful representations of ($d$-)twisted partition categories $P^Φ$ and $P^{Φ,d}$ (and the respective twisted partition monoids $P_n^Φ$ and $P_n^{Φ, d}$) over rings of appropriate characteristic. We also give lower-dimensional involutive representations of the Brauer and Temperley--Lieb categories $B$ and $TL$. In the case of $TL$, the dimensions are given by Fibonacci numbers.

2026-05-06T08:18:24Z 41 pages, 2 figures James East Marianne Johnson Mark Kambites http://arxiv.org/abs/2605.04602v1 2026-05-06T07:52:52Z

This paper is devoted to the study of non-semisimple Lie algebras of the form $\mathcal{L} = \mathcal{S} \ltimes \mathcal{N}$ whose derivations are all inner. By generalizing the methods of Sato and Angelopoulos, we introduce new families of Lie algebras and establish the vanishing of their first adjoint cohomology. As an application, we construct a family of complete non-perfect Lie algebras, thereby providing examples that yield a positive answer to Carles' question on the existence of such algebras. In addition, we reduce the dimension of known examples of perfect Lie algebras with non-trivial center and only inner derivations to $31$. Furthermore, we employ the Hochschild--Serre factorization theorem to analyze the second adjoint cohomology groups, providing insights non-vanishing of the second adjoint cohomology groups for the algebras obtained through the paper.

2026-05-06T07:52:52Z Bakhrom Omirov Jie Ruan http://arxiv.org/abs/2605.04464v1 2026-05-06T03:46:17Z

The study of images of noncommutative polynomials on algebras has attracted considerable attention. We investigate polynomial images and the additive structures they generate in associative algebras, focusing on sums and products of values. Motivated by results on additive commutators, we show that finite sums of such products on a nonzero ideal must contains a nonzero ideal, with only minor exceptions. Consequently, for a simple algebra, the subring generated by the image of a noncentral polynomial coincides with the whole algebra, up to a small exceptional case. We further study representations of elements as sums of products of polynomial values, and examine products of additive commutators for matrices over division rings. To simplify multilinear polynomials, we introduce decomposable polynomials and show that, in many cases, their images equal the whole algebra. Finally, we consider polynomial commutators and prove that every noncommutative infinite simple algebra is generated by such elements, together with results on multiplicative commutators, including a complete description for real quaternions.

2026-05-06T03:46:17Z Tsiu-Kwen Lee Tran Nam Son http://arxiv.org/abs/2605.03798v1 2026-05-05T14:25:30Z

By extending some classical results known for groups and skew braces, we define and investigate central series of cocommutative Hopf braces. Both left and right central series are defined using a $\star$-product that measures the difference between the two algebra operations, and naturally leads to introducing the notions of socle and of annihilator of a cocommutative Hopf brace. We characterize the central extensions relative to the subcategories of cocommutative Hopf algebras and of commutative and cocommutative Hopf algebras, respectively. Since the category of cocommutative Hopf braces is semi-abelian and it has enough projectives with respect to the class of cleft extensions, one can then establish suitable Hopf formulae for their homology. These are expressed in terms of the corresponding notions of relative commutators of cocommutative Hopf braces. In particular, the one relative to the subcategory of commutative and cocommutative Hopf algebras turns out to be the Huq commutator.

2026-05-05T14:25:30Z 14 pages Maria Bevilacqua Marino Gran Andrea Sciandra