Separable functors and firm modules

2026-05-25T13:57:45Z

We develop a theory of separable ring extensions and separable functors for nonunital rings in the setting of firm modules. We prove nonunital analogues of classical results on functorial separability and semisimplicity, and apply these results to obtain a locally unital version of Maschke's theorem for group rings.

Module Lattice Security (Part IV): Probabilistic Polynomial Quantum Attack on Module-LWE over 2-Power Cyclotomics

2026-05-25T10:54:23Z

We present a quantum attack on ML-KEM and related 2-power cyclotomic lattice schemes. Combining with Parts I-III, we provide an algorithm and verify the resulting approximation factor satisfies $γ\le 21 < q/2=1664.5$ for ML-KEM-1024, with a success probability $\ge 0.99$. We apply a tower decomposition of the Principal Ideal Problem (PIP) through the chain $\Q\subset \Q(ζ_8)\subset\cdots\subset \Q(ζ_{2^k})$ which yields a polynomial-time quantum algorithm costing $O(n^3 \log^2 n)$ gates, $O(n^2 \log n)$ qubits, and poly$(n)$ classical bit operations. We extend the analysis to Falcon, Hawk, and NTRU over 2-power cyclotomic rings with polynomial-time quantum algorithms.

Right groups and the set-theoretic Yang-Baxter equation

2026-05-25T10:10:20Z

In this paper, we provide techniques to obtain left non-degenerate set-theoretic solutions of the Yang-Baxter equation, drawing on the class of right groups. To this end, we introduce the new algebraic structures of left $RG$-semibraces, which include left (cancellative) semibraces as a proper subclass.

Difference $2$-algebras and difference $A_\infty$-algebras

2026-05-25T08:35:53Z

A difference operator on an associative algebra is an algebraic abstraction of the forward and backward difference operators. In this paper, we first introduce difference operators on associative $2$-algebras and consider the category of difference associative $2$-algebras. Subsequently, we also introduce difference operators on a given $A_\infty$-algebra in terms of their Maurer-Cartan characterization. We prove that the category of difference associative $2$-algebras and the category of $2$-term difference $A_\infty$-algebras are equivalent. We characterize skeletal and strict $2$-term difference $A_\infty$-algebras by respectively third cocycles and crossed modules of difference algebras. Finally, we define the notion of a $2$-term bimodule up to homotopy over a difference algebra, which in turn yields a construction of a $2$-term difference $A_\infty$-algebra.

Factorizations, classifying complements problem and deformation maps for Lie-Yamaguti algebras

2026-05-25T08:29:22Z

A Lie-Yamaguti algebra is a non-associative algebraic structure that generalizes both Lie algebras and Lie triple systems. We first consider the factorization problem for Lie-Yamaguti algebras that essentially related to the bicrossed product of Lie-Yamaguti algebras. Next, given an inclusion $\mathfrak{g} \subset E$ of Lie-Yamaguti algebras and a strong $\mathfrak{g}$-complement $\mathfrak{h}$, we describe and classify all $\mathfrak{g}$-complements in $E$. In particular, we show that any other $\mathfrak{g}$-complement in $E$ is isomorphic to $\mathfrak{h}$ by some deformation map $r: \mathfrak{h} \rightarrow \mathfrak{g}$. Despite this importance, it turns out that a deformation map generalizes homomorphisms, derivations, crossed homomorphisms and relative Rota-Baxter operators on Lie-Yamaguti algebras. We define the cohomology of a deformation map unifying the cohomologies of all the operators mentioned above. Finally, we provide a Maurer-Cartan characterization and construct the governing $L_\infty$-algebra of a deformation map $r$ that controls the linear deformations of $r$.

Interval Multiplicities of Persistence Modules

2026-05-25T07:52:31Z

For any persistence module $M$ over a finite poset $\mathbf{P}$, and any interval $I$ of $\mathbf{P}$, we give a formula for the multiplicity $d_M(V_I)$ of the interval module $V_I$ in the indecomposable decomposition of $M$ in terms of the ranks of matrices consisting of structure linear maps of $M$. This generalizes the corresponding formula for 1-dimensional persistence modules. As applications, the formula enables us to compute the maximal interval-decomposable direct summand of $M$, to decide whether $M$ is interval-decomposable, and to detect properties determined by prescribed interval summands without decomposing $M$. We also give criteria, in terms of top and socle supports along minimal projective resolutions and injective coresolutions of $M$, restricting the intervals that can occur as direct summands of $M$ and thereby reduce the number of intervals to be computed in practice. Moreover, the formula tells us which morphisms of $\mathbf{P}$ are essential to compute $d_M(V_I)$. This leads to the notion of an order-preserving map $ζ\colon Z \to \mathbf{P}$ essentially covering $I$, for which the multiplicity is preserved under the induced restriction functor $R \colon \operatorname{mod} \mathbf{P} \to \operatorname{mod} Z$. When $Z$ is of Dynkin type $\mathbb{A}$, also known as a zigzag poset, this allows the multiplicity to be computed more efficiently from the filtration level of topological spaces, without computing all structure linear maps of $M$. Finally, we give a formula for $d_M(V_I)$ in terms of a projective (or injective) (co)presentation of $M$. In the 2D-grid case, this is more practical since such resolutions can be computed from the filtration level of topological spaces.

Novikov algebras and multi-indices in regularity structures

2026-05-25T04:49:19Z

In this work, we introduce multi-Novikov algebras, a generalisation of Novikov algebras with several binary operations indexed by a given set, and show that the multi-indices recently introduced in the context of singular stochastic partial differential equations can be interpreted as free multi-Novikov algebras. This is parallel to the fact that decorated rooted trees arising in the context of regularity structures are related to free multi-pre-Lie algebras.

Planning Neural Dynamics with Lie Group Embedding through Supervised Projective Manifold Learning

2026-05-24T22:47:25Z

We propose Lie group embedded dynamical neural networks (LieEDNN) and the corresponding learning algorithms based on gradient descent and metric projection on smooth manifold, where we treat Lie group as an intrinsic representation for continuous symmetry of manifold geometry. Thereby we achieve learnable and stable dynamics on the underlying manifold for general Lie group, and we are able to utilize the powerful representation capability of Lie group such as SO(3) and SE(3) to solve real world engineering problems in areas such as robotics, graphics, and control. Two core challenges are: (i) General Lie groups are incompatible with addition arithmetic, which is necessary for neural network interactions. (ii) The dynamics evolve in the nonlinear representation space of special algebra rather than the normal Euclidean space, which violates the paradigm of common neural ODEs. To address these two challenges, we firstly introduce adjoint Lie group action on the Lie algebra, which induces a linear mapping and transfer to the block-wise structure of weight matrices, such that addition could operate on the Lie algebra as a vector space. Then we parameterize the Lie algebra and the adjoint action as linear transformation so that the architecture is aligned with neural network perceptrons. Explicitly, this embedding appears as block-wise manifold constraints on weights, and we develop algorithms to learn the equilibrium with stability guarantees of the temporal neural network dynamics. Experiments are implemented on a specific Lie group SE(3), with the application scenario of telescopic manipulators.

Ordered semigroups and ideal categories of principal ideal rings

2026-05-24T17:27:37Z

In this paper, we view the collection of ideals of a commutative principal ideal ring from two perspectives: one as an ordered semigroup I(R) and the other as a category I_R . It is shown that I(R) is a regular ordered semigroup whereas I_R is a category with subobjects. Further we establish the correspondence between these structure

Renormalisation in the flow approach for singular SPDEs

2026-05-24T13:54:40Z

In this work, we study the renormalisation of singular SPDEs in the flow approach recently developed by Duch. We introduce a general ansatz based on decorated trees for the solution of the flow equation. The ansatz is renormalised in a recursive way, in the sense of the trees, via local extractions introduced for regularity structures. We derive the renormalised equation from this ansatz and show that the renormalisation scheme is identical to that appearing in the context of regularity structures, thus matching the BPHZ renormalisation.

Semi-complemented commutative group rings

2026-05-24T13:29:10Z

Recall that an element $x\in R$ is {\bf complemented} if there is a $y\in R$ such that $xy = 0$ and $x + y \in {\rm reg}(R)$. In a recent article [1], the authors investigated those rings for which every non-nilpotent element is complemented, calling such rings {\bf semi-complemented}. As the title of the current work suggests we characterize when a commutative group $RG$ is semi-complemented

Complemented elements in commutative rings

2026-05-24T13:24:15Z

In what follows we generalize the notion of a complemented ring to rings that are not necessarily reduced. We then determine how our concepts fit in with other well-known classes of rings.

Poisson fields of two variables

2026-05-24T03:00:14Z

We study invariants and structures of Poisson fields of rational functions in two variables. For four particular families, we classify the members, establish criteria for isomorphisms and, with the exception of the Weyl Poisson field, describe the automorphism groups. Embeddings are also investigated, along with an analog of the Dixmier Conjecture: For which Poisson fields is every Poisson endomorphism an automorphism? The answer is negative for the first family, but positive answers are obtained for several subclasses of the other families. Finally, we exhibit a Poisson field which is not isomorphic to any Poisson field $\Bbbk(x,y)$ for which $\{x,y\}$ is a polynomial in $\Bbbk[x,y]$.

Lie groups and Lie algebras

2026-05-23T21:52:22Z

These are expanded notes of a two-semester course on Lie groups and Lie algebras given by the author at MIT.

On the Classification of Two-Dimensional Algebras

2026-05-23T12:42:32Z

We provide a clarification of the classification of two-dimensional algebras over an arbitrary base field. Using this clarification, we determine the number of non-isomorphic two-dimensional algebras over a finite field.