https://arxiv.org/api/iqtu63lCHmhMkqxKfHg1PeJf1R4 2026-06-14T03:09:48Z 20068 210 15 http://arxiv.org/abs/2602.15754v3 2026-05-15T07:44:20Z

The non-empty finite subsets of a multiplicatively written monoid form a monoid under setwise multiplication. The same holds for finite subsets containing the identity element. Partly due to their unusual arithmetic properties, these structures, generically known as power monoids, have attracted increasing attention in recent years, stimulating new perspectives in the study of factorizations in non-cancellative or non-commutative settings. We survey these developments and briefly review some related aspects.

2026-02-17T17:38:38Z 19 pages, no figures. Final version to appear in The American Mathematical Monthly Salvatore Tringali http://arxiv.org/abs/2605.03458v2 2026-05-15T05:58:15Z

For a ring $A$ there is a well-known duality between definable subcategories of right $A$-modules and definable subcategories of left $A$ modules. This is a consequence of Auslander-Gruson-Jensen duality $\rm mod\text{-}(mod\text{-}A)\rightarrow mod\text{-}(mod\text{-}A^{op})$. The existence of this duality arises from the fact that $\rm mod\text{-}(mod\text{-}A)$ is the free abelian category over the pre-additive category $A$ with a single object. In this note, first, we give a simple description of the free abelian category. This description clarifies Auslender-Gruson-Jensen duality and also the duality between definable subcategories of right $A$-modules and those of left $A$-modules.

2026-05-05T07:45:24Z Major revision Ramin Ebrahimi Rasool Hafezi Jiaqun Wei http://arxiv.org/abs/2605.15605v1 2026-05-15T04:32:38Z

We study the automorphism groups attached to a free algebra with multiple, possibly infinitely many, composition laws. As an application, we prove that the automorphism group of finitely generated vertex algebras over noetherian rings are affine group schemes.

2026-05-15T04:32:38Z 9 pages Terry Gannon Robin Mader Arturo Pianzola http://arxiv.org/abs/1209.3987v6 2026-05-14T20:39:13Z

We consider, for each exchange matrix B, a category of geometric cluster algebras over B and coefficient specializations between the cluster algebras. The category also depends on an underlying ring R, usually the integers, rationals, or reals. We broaden the definition of geometric cluster algebras slightly over the usual definition and adjust the definition of coefficient specializations accordingly. If the broader category admits a universal object, the universal object is called the cluster algebra over B with universal geometric coefficients, or the universal geometric cluster algebra over B. Constructing universal coefficients is equivalent to finding an R-basis for B (a "mutation-linear" analog of the usual linear-algebraic notion of a basis). Polyhedral geometry plays a key role, through the mutation fan F_B, which we suspect to be an important object beyond its role in constructing universal geometric coefficients. We make the connection between F_B and g-vectors. We construct universal geometric coefficients in rank 2 and in finite type and discuss the construction in affine type.

2012-09-18T15:17:30Z 49 pages, 5 figures. Version 6: Small post-publication changes, including fixing a typo Mathematische Zeitschrift 277 (2014), no. 1-2, 499-547 Nathan Reading 10.1007/s00209-013-1264-4 http://arxiv.org/abs/2605.15075v1 2026-05-14T17:00:48Z

In this work we revisit classical systems of integers inside the real normed division algebras from the point of view of finite norm shells and root systems. Building on the icosian framework of Moody--Patera and on the integral root-system viewpoint of Chen--Moody--Patera and of Johnson, we isolate the precise axiomatic ingredients of the non-crystallographic analogue: an order over the golden ring \(\Zphi\) together with a distinguished finite root shell whose Cartan coefficients lie in \(\Zphi\). We show that the usual Gaussian, Eisenstein, Hamilton, Hurwitz and Coxeter--Dickson examples are recovered by separating the order, its units, and its distinguished finite shells; once the lattice requirement is replaced by a finite root-shell requirement, the golden integer ring becomes the natural coefficient ring for the non-crystallographic cases \(H_2\) and \(H_4\). We then construct a weak golden octonion order by Cayley--Dickson doubling of the icosian ring; the resulting free rank-\(8\) \(\Zphi\)-order has a \(240\)-element finite shell of type \(H_4\oplus H_4\) and its multiplication is genuinely octonionic. Finally, we prove (i) that this weak double is self-dual with respect to the polar norm pairing, hence has no strict norm-integral overorder, and (ii) that the first trace-integral discriminant tower over it contains no octonion-stable nonzero isotropic gluing.

2026-05-14T17:00:48Z 28 pages Daniele Corradetti http://arxiv.org/abs/2511.03536v2 2026-05-14T12:58:49Z

We show that the path algebra of a quiver satisfies the same polynomial identities of an algebra of matrices, if any. In particular, the algebra of nxn matrices is PI-equivalent to the path algebra of the oriented cycle with n vertices.

2025-11-05T15:06:55Z 4 pages Bull. London Math. Soc. Vol 58 (5) 2026 Allan Berele Giovanni Cerulli Irelli Javier De Loera Chávez Elena Pascucci 10.1112/blms.70369 http://arxiv.org/abs/2503.08691v2 2026-05-14T07:58:21Z

This short paper is a small contribution to the field of Boolean contact algebras. We analyze the nondefinability of the property of interior-connectedness, and we prove certain minimality conditions for algebras and spaces that can be used in demonstrating that the aforementioned property cannot be expressed by means of contact within regular closed algebras.

2025-02-24T17:51:05Z Rafał Gruszczyński Paula Menchón 10.1215/00294527-2026-0003 http://arxiv.org/abs/2602.19533v2 2026-05-13T23:13:30Z

This paper investigates the grokking phenomenon, which refers to the sudden transition from a long memorization to generalization observed during neural networks training, in the context of learning multiplication in finite-dimensional algebras (FDA). While prior work on grokking has focused mainly on group operations, we extend the analysis to more general algebraic structures, including non-associative, non-commutative, and non-unital algebras. We show that learning group operations is a special case of learning FDA, and that learning multiplication in FDA amounts to learning a bilinear product specified by the algebra's structure tensor. For algebras over the reals, we connect the learning problem to matrix factorization with an implicit low-rank bias, and for algebras over finite fields, we show that grokking emerges naturally as models must learn discrete representations of algebraic elements. This leads us to experimentally investigate the following core questions: (i) how do algebraic properties such as commutativity, associativity, and unitality influence both the emergence and timing of grokking, (ii) how structural properties of the structure tensor of the FDA, such as sparsity and rank, influence generalization, and (iii) to what extent generalization correlates with the model learning latent embeddings aligned with the algebra's representation. Our work provides a unified framework for grokking across algebraic structures and new insights into how mathematical structure governs neural network generalization dynamics.

2026-02-23T05:55:52Z 37 pages, 14 figures, Forty-Third International Conference on Machine Learning (ICML), 2026 Pascal Jr Tikeng Notsawo Guillaume Dumas Guillaume Rabusseau http://arxiv.org/abs/2511.12699v2 2026-05-13T20:28:34Z

Chemical transformations depend not only on the identities of the reacting species but also on the catalytic, environmental, and intermediate conditions under which they occur. Classical binary reaction formalisms usually treat such conditions as external annotations, which obscures the genuinely multi-state and multi-parameter character of real chemical processes. In this paper we introduce an axiomatic framework in which a chemical system is modelled by a ternary $Γ$-semiring. The elements of the state set represent chemical states, while the parameter set encodes catalytic and environmental conditions. A $Γ$-dependent ternary operation is used to describe mediated transformations, treating reactants, intermediates, and mediators as intrinsic arguments of the transformation law. We develop the algebraic axioms governing these mediated interactions and interpret their associativity, distributivity, and $Γ$-linearity in terms of multi-step pathways, parallel processes, and controlled environmental dependence. We introduce chemical ideals and $Γ$-ideals as algebraic structures modelling reaction-closed sub-systems and pathway-stable domains, and study their prime and semiprime forms. Homomorphisms between TGS-chemical systems are shown to preserve reaction pathways and describe consistent changes of chemical environment. Abstract examples from catalysis, thermodynamic phase control, and field-induced quantum transitions illustrate how familiar chemical phenomena fit within this framework. The resulting theory provides a unified algebraic foundation for multi-parameter chemical behaviour and establishes the structural basis for subsequent developments involving kinetics, geometric methods, and computational or AI-assisted models.

2025-11-16T17:35:13Z MATCH 2026 Communications in Mathematical and in Computer Chemistry Chandrasekhar Gokavarapu Government College Venkata Rao Kaviti Government College Srinivasa Rao Thirunagari Government College D. Madhusudhana Rao Government College for Women 10.46793/match.96-1.30525 http://arxiv.org/abs/2605.12244v2 2026-05-13T16:57:33Z

State and parameter estimation, along with fault detection, are three crucial estimation problems within the control systems community. Although different approaches have been proposed for each type of problem, the modulating function method proposes a more unified approach to all three problem classes, being used for state and parameter estimation of lumped systems, fault detection, and estimation of distributed and fractional systems. At the core of the method is the modulating function: a function that evaluates to 0 at the left or right boundaries up to a certain order of derivatives. By selecting the modulating functions, one directly determines the filter characteristics, and, for that reason, different function families have been proposed over the years. Nevertheless, many families of modulating functions are given in a rather similar mathematical structure. In light of these structures, this paper formally discusses the algebraic properties of modulating functions, and, after formalizing the closedness and group properties of modulating functions, a simple algorithm to construct new modulating functions is proposed, discussed, and illustrated with the construction of the newly introduced logarithmic modulating function families and 3 non-analytic modulating function families. Moreover, the fact that total modulating functions form a vector space and an algebra is exploited to construct orthonormal modulating functions, which are then used for the parameter estimation of a boat's roll dynamics, effectively avoiding matrix inversion issues.

2026-05-12T15:12:52Z 13 pages, 6 figures Davi G. Accioli Jerome Jouffroy http://arxiv.org/abs/2605.13700v1 2026-05-13T15:51:19Z

We develop the theory of p-Lie algebras of finite Morley rank. In particular, we obtain a quite complete characterization in the soluble case

2026-05-13T15:51:19Z Samuel Zamour http://arxiv.org/abs/2605.13615v1 2026-05-13T14:45:21Z

We develop the ARE method (Action-Rectification-Expansion), a structural framework for the organization of Leibniz terms in determinants through cyclic group actions and orbital decompositions. The symmetric group S_n is partitioned into (n-1)! disjoint orbits of size n under right composition by the cyclic group C_n. Each orbit admits a canonical representative and generates a family of determinant terms related by cyclic rotation. We prove explicit sign laws for orbital rotations, establish a rectification theorem transforming orbital polylines into parallel-line configurations through a single block permutation, and characterize companion orbitals through dihedral symmetries. The framework yields an exact reorganization of the Leibniz expansion preserving all n! terms while exposing hidden geometric and combinatorial structure. We further prove an impossibility theorem showing that no fixed-width direct extension of the classical Sarrus rule can capture all determinant terms for n >= 4. The method provides three equivalent visualizations: polylines, parallel rectified lines, and total-line representations. Deterministic orbital generation algorithms and computational verification against standard determinant methods are also presented. Although the approach does not reduce factorial complexity, it provides a systematic geometric and algebraic interpretation of determinant structure extending the conceptual spirit of Sarrus to arbitrary dimension.

2026-05-13T14:45:21Z 47 pages, 5 figures. Code and supplementary data available at DOI: 10.5281/zenodo.17423738 Ramon Moya http://arxiv.org/abs/2408.15804v2 2026-05-13T13:54:23Z

Let $X$ be a normal projective variety of dimension $d$ over an algebraically closed field and $f$ an automorphism of $X$. Suppose that the pullback $f^*|_{\mathsf{N}^1(X)_\mathbf{R}}$ of $f$ on the real Néron--Severi space $\mathsf{N}^1(X)_\mathbf{R}$ is unipotent and denote the index of the eigenvalue $1$ by $k+1$. We establish the following upper bound for the polynomial volume growth $\mathrm{plov}(f)$ of $f$: \[ \mathrm{plov}(f) \le (k/2 + 1)d. \] This inequality is optimal in certain cases. Moreover, we prove that $k\le 2(d-1)$, extending a result of Dinh--Lin--Oguiso--Zhang for compact Kähler manifolds to arbitrary characteristic. By combining these two inequalities, we obtain the optimal bound \[ \mathrm{plov}(f) \le d^2, \] that affirmatively answers the questions of Cantat--Paris-Romaskevich and Lin--Oguiso--Zhang.

2024-08-28T14:01:26Z 26 pages, comments are welcome; minor revision, accepted by Peking Mathematical Journal Fei Hu Chen Jiang 10.1007/s42543-025-00106-1 http://arxiv.org/abs/2601.21496v4 2026-05-13T07:29:02Z

The log-concavity of cluster variables of type $A_n$ and cluster monomials of type $A_2$ was established by Chen-Huang-Sun. It is still a conjecture for the cluster monomials of higher rank. In this paper, we prove the log-concavity and unimodality of the cluster monomials of type $A_3$, a substantially more intricate case. Moreover, we refine and extend this conjecture by considering the unimodality and the strongly isomorphism of cluster algebras.

2026-01-29T10:15:51Z 24 pages, 4 figures. Minor typos have been corrected Zhichao Chen http://arxiv.org/abs/2605.12865v1 2026-05-13T01:21:58Z

The sign coherence of $c$-vectors is one of the fundamental theorems of cluster algebras with principal coefficients. In 2019, Gekhtman and Nakanishi posed the asymptotic sign coherence conjecture for arbitrary cluster algebras of geometric type, which says sign coherence should eventually hold in any sufficiently generic infinite mutation sequence. We prove that their conjecture holds almost always for skew-symmetric cluster algebras of arbitrary rank. That is, we prove that with probability $1$, the sequence of $c$-vectors obtained by random mutation of an arbitrary quiver eventually becomes sign-coherent. Our results also establish the conjecture in full generality for many families of quivers by studying a new class of brog quivers.

2026-05-13T01:21:58Z 29 pages, comments welcome Amanda Burcroff Scott Neville