https://arxiv.org/api/AaX+qCFqrEE25IegywWu6UCJECs 2026-06-21T20:38:30Z 20100 795 15 http://arxiv.org/abs/2602.14521v1 2026-02-16T07:13:00Z

Through this paper, we study the rings in which every unit's square is an element of the set $1+\sqrt{J(R)}$, and call them $2-\sqrt{J}U$ rings. Here, $\sqrt{J(R)}=\{x \in R: x^m \in J(R)$ for some $m \geq 1 \}$. We show that every $UU,~UJ,~2-UU,~2-UJ$ and $\sqrt{J}U$ ring is a $2-\sqrt{J}U$ ring. After exploring the basic properties, we show that the corner ring and unit closed subring of a $2-\sqrt{J}U$ ring are also $2-\sqrt{J}U$ rings. The ring of all $n\times n$ matrix rings for any $n>1$ is never a $2-\sqrt{J}U$ ring. We have focused on several other matrix extensions and group rings.

2026-02-16T07:13:00Z Dinesh Udar Shiksha Saini http://arxiv.org/abs/2602.14421v1 2026-02-16T03:13:44Z

This paper introduces and studies the higher-order group inverse in a ring. We extend known properties of the higher-order group inverse from complex matrices to elements of a ring and, in the process, derive new results. We further characterize when a ring element can be expressed as the sum of a higher-order group element and a nilpotent element.

2026-02-16T03:13:44Z 14 pages Liu Dayong Chen Huanyin http://arxiv.org/abs/2602.14248v1 2026-02-15T17:41:36Z

The algebraic and geometric classifications of complex $3$-dimensional noncommutative Jordan superalgebras are given. In particular, we obtain the algebraic and geometric classification of $3$-dimensional Kokoris and standard superalgebras, and, due to one-to-one correspondences between suitable superalgebras, we have classifications for generic Poisson-Jordan and generic Poisson superalgebras. As a byproduct, we have the algebraic and geometric classification of the variety of $3$-dimensional anticommutative superalgebras and its principal subvarieties: Lie, Malcev, binary Lie, Tortkara, anticommutative $\mathfrak{CD}$-, $\mathfrak{s}_4$-, anticommutative terminal superalgebras, anticommutative conservative and anticommutative quasi-conservative $\big($rigid$\big)$ superalgebras.

2026-02-15T17:41:36Z Hani Abdelwahab Ivan Kaygorodov Abror Khudoyberdiyev http://arxiv.org/abs/2602.14075v1 2026-02-15T09:56:38Z

Classical algebraic structures require exact satisfaction of their defining axioms. We propose similarity algebra, a framework extending algebraic and Lie structures to settings where operations satisfy quantitative bounds up to a tolerance $\varepsilon$. Instead of strict associativity, inverses, or distributivity, we study families of operations controlled by explicit $\varepsilon$-estimates and analyze their behavior under limit collapse. Under uniform error control and $C^1_{\mathrm{loc}}$ convergence of the structure maps, we prove a general collapse theorem showing that similarity structures converge to classical algebraic objects, as $\varepsilon \rightarrow 0$. We develop a hierarchy of approximate structures, including similarity groups, rings, fields, vector spaces, and Lie groups, formalized through axioms satisfied within metric distance $\varepsilon$. We further define a category of similarity algebras governing morphisms between approximate systems. Moreover, we clarify the relationship between similarity algebra and fuzzy algebra, showing that the former generalizes the latter. The proposed similarity algebra can be useful to model real-world phenomena where operations or relations are inherently approximate.

2026-02-15T09:56:38Z Benyamin Ghojogh Golbahar Amanpour http://arxiv.org/abs/2510.23369v2 2026-02-14T20:34:17Z

We give an elementary proof of the statement that if an idempotent complete preadditive category has weak kernels and weak cokernels, then it has $n$-kernels if and only if it has $n$-cokernels, where $n$ is a nonnegative integer. As a consequence, elementary proofs of two results concerning the equality between the global dimensions of certain right and left module categories are obtained.

2025-10-27T14:20:01Z 6 pages. v2: added a paragraph in the introduction section; added a preliminaries section; accepted for publication in Arch. Math. (Basel) Archiv der Mathematik, Volume 126 (2026), pp. 493-499 Vitor Gulisz Wolfgang Rump 10.1007/s00013-026-02238-x http://arxiv.org/abs/2603.00083v1 2026-02-14T09:22:22Z

The theory of generalized locally Toeplitz (GLT) sequences is an apparatus for computing the spectral and singular value distribution of sequences of matrices that possess a (possibly hidden) Toeplitz-like structure. Sequences of this kind, which are known as GLT sequences, arise in several applications, including the discretization of differential and integral equations. Associated with any GLT sequence is a special function called symbol. In this paper, we prove that, if $\{A_{n,1}\}_n,\ldots,\{A_{n,d}\}_n$ are GLT sequences with symbols $κ_1,\ldots,κ_d$, then their tensor (Kronecker) product $\{A_{n,1}\otimes\cdots\otimes A_{n,d}\}_n$ is a GLT sequence with symbol $κ_1\otimes\cdots\otimesκ_d$, up to suitable permutation matrices that only depend on the dimensions of the involved matrices $A_{n,1},\ldots,A_{n,d}$. The permutation matrices in question are explicitly defined through a recursive formula that allows for their algorithmic computation. Some applications of the presented result are discussed.

2026-02-14T09:22:22Z 22 pages, 0 figures Carlo Garoni http://arxiv.org/abs/2602.13178v1 2026-02-13T18:38:29Z

We compute the superpotentials for known families of Koszul Artin-Schelter regular algebras of dimension four using Magma, and apply Schur-Weyl duality from representation theory to determine the relevant invariants. Through the Borel-Weil theorem, we interpret these invariants as sections of line bundles over partial flag varieties, resulting in geometric invariants that, in some cases, correspond to K3 surfaces. We compute discrete invariants of these geometric invariants and use them to distinguish algebras.

2026-02-13T18:38:29Z Vishal Bhatoy Colin Ingalls http://arxiv.org/abs/2602.13171v1 2026-02-13T18:30:07Z

Fast matrix multiplication algorithms are asymptotically faster than the classical cubic-time algorithm, but they are often slower in practice. One important obstacle is the use of complex coefficients, which increases arithmetic overhead and limits practical efficiency. This paper focuses on transforming complex-coefficient matrix multiplication schemes into equivalent real- or rational-coefficient ones. We present a systematic method that, given a complex-coefficient scheme, either constructs a family of equivalent rational algorithms or proves that no equivalent rational scheme exists. Our approach relies only on basic linear-algebraic properties of similarity transformations of complex matrices. This method recovers the previously known ad hoc results of Dumas, Pernet, and Sedoglavic (2025) and extends them to more general settings, including algorithms involving rational coefficients and square roots, with $i=\sqrt{-1}$ as a special case. Using this framework, we show that no rational scheme is equivalent to Smirnov's $\langle4,4,9,104\rangle$ $\mathbb{Q}[\sqrt{161}]$ algorithm (2022) and that no real scheme is equivalent to the $\langle4,4,4,48\rangle$ complex algorithm of Kaporin (2024). More generally, our approach can also be used to prove the non-existence of integer-coefficient schemes.

2026-02-13T18:30:07Z 21 pages, 2 tables Yoav Moran Oded Schwartz Shuncheng Yuan http://arxiv.org/abs/2410.13544v2 2026-02-13T16:16:10Z

We define a Young subgroup of the braid group as a subgroup generated by an arbitrary subset of the Birman-Ko-Lee generators. We give an intrinsic description of such subgroups which yields, in particular, an easy criterion to decide membership. We also give an algorithm to write an element of a Young subgroup as a product of the generators. Our methods are based on analyzing the Hurwitz action on tuples over free groups via a diagrammatic approach.

2024-10-17T13:39:58Z Corrected ERC funding acknowledgement Anya Nordskova Michel Van den Bergh http://arxiv.org/abs/2601.19860v2 2026-02-13T15:56:20Z

Let $\mathcal G\simeq H\rtimesΓ$ be the semidirect product of a finite group $H$ and $Γ\simeq\mathbb Z_p$. Let $ F/\mathbb Q_p$ be a finite extension with ring of integers $\mathcal O_F$. Then the total ring of quotients $\mathcal Q^F(\mathcal G)$ of the completed group ring $\mathcal O_F[[\mathcal G]]$ is semisimple artinian. We determine its Wedderburn decomposition in full generality in terms of the Wedderburn decomposition of the group ring $ F[H]$. Such a description was previously available only for those simple components for which a certain associated field extension is totally ramified.

2026-01-27T18:17:38Z 12 pages. Rewritten version of §7 of arXiv:2403.04663v3 reorganised into a separate manuscript, v2: added §6 discussing the 2-adic case Ben Forrás http://arxiv.org/abs/2204.04556v4 2026-02-13T15:25:04Z

Let $A$ be an integral matrix and let $P$ be the convex hull of its columns. By a result of Gelfand, Kapranov and Zelevinski, the so-called principal $A$-determinant locus is equal to the union of the closures of the discriminant loci of the Laurent polynomials associated to the faces of $P$ that are hypersurfaces. In this short note we show that it is also the straightforward union of all the discriminant loci, i.e. we may include those of higher codimension, and there is no need to take closures. This answers a question by Kite and Segal.

2022-04-09T21:44:12Z Corrected ERC funding acknowledgement Špela Špenko Michel Van den Bergh http://arxiv.org/abs/2602.04117v2 2026-02-13T11:37:24Z

The affine Yangian associated with $\widehat{\mathfrak{sl}}(n)$ has several presentations: the current presentation, the minimalistic presentation and so on. The evaluation map for the affine Yangian was given by using the minimalistic presentation. One of the issues about the evaluation map is that the images of the evaluation maps are unkown except on finitely many generators. In this article, we write down the images of the higher generators of the current presentation via the evaluation map for the affine Yangian of type $A$ explicitly.

2026-02-04T01:16:26Z We have changed Definition 4.9 a little Mamoru Ueda http://arxiv.org/abs/2602.12772v1 2026-02-13T09:58:20Z

We present a formalization of Gröbner basis theory in Lean 4, built on top of Mathlib's infrastructure for multivariate polynomials and monomial orders. Our development covers the core foundations of Gröbner basis theory, including polynomial division with remainder, Buchberger's criterion, and the existence and uniqueness of reduced Gröbner bases. We develop the theory uniformly for polynomial rings indexed by arbitrary types, enabling the treatment of Gröbner bases in rings with infinitely many variables. Furthermore, we connect the finite and infinite settings by showing that infinite-variable reduced Gröbner bases can be characterized via reduced Gröbner bases on finite-variable subrings through monomial-order embeddings and filter-based limit constructions.

2026-02-13T09:58:20Z 16 pages Junyu Guo Hao Shen Junqi Liu Lihong Zhi http://arxiv.org/abs/2602.15059v1 2026-02-13T09:13:50Z

Let $(u,p)$ solve the incompressible Navier--Stokes equations in a regime in which an energy inequality is available and each constant in that inequality is computable from declared data. We construct a reduced-order model $u_n$ constrained so that its discrete evolution satisfies a certified energy inequality. This certificate yields global-in-time boundedness of the ROM energy and a regime-of-validity test that fails when a stated hypothesis fails. It follows that one can attach a computable residual functional $\mathcal{R}_n$ to the ROM trajectory. We prove an a posteriori bound of the form \[ \norm{u-u_n}_{\mathsf{X}(0,T)} \le C(\text{declared data})\,\mathcal{R}_n, \] with $C$ explicit and with $\mathcal{R}_n$ computed from the ROM and the discretization operators. Conversely, if the certificate constraint is relaxed, the bound can fail even for stable full-order dynamics, by an explicit instability mechanism recorded in the text. We then derive transition indicators from rigorous energy and enstrophy budgets in simplified geometries. Each indicator is an inequality involving declared quantities such as forcing norms, viscosity, Poincaré-type constants, and a computable resolvent surrogate. These inequalities provide thresholds that preclude transition, or else certify the presence of transient growth beyond a stated level. Finally, for a class of fluid--structure interaction models, we identify a parameter regime that implies existence and uniqueness of weak solutions. We derive discrete coupled energy estimates that produce computable stability margins. These margins yield explicit constraints on time step and mesh parameters. They are stated as inequalities with constants determined by fluid viscosity, structure stiffness, density ratios, and interface trace bounds.

2026-02-13T09:13:50Z Chandrasekhar Gokavarapu Department of Mathematics, Government College Naveen Kumar Kakumanu Department of Mathematics, Government College Anjali Datla Department of Mathematics, Government College Githa Harshitha Noolu Department of Mathematics, Government College http://arxiv.org/abs/2602.12731v1 2026-02-13T09:00:33Z

A consequence of the recent work of Ren and Zhu on Gorenstein projective dimensions of modules over Hopf algebras is that if $A$ and $B$ are Hopf algebras with bijective antipodes having equivalent linear tensor categories of comodules and both having finite global dimensions, then their global dimensions coincide. In this note we provide a direct proof of this result, without using Gorenstein projective dimensions, and we notice that the assumption on the bijectivity of the antipodes can be removed.

2026-02-13T09:00:33Z Julien Bichon LMBP