On the semigroups of fence-decreasing and fence-preserving transformations on a finite fence

2026-06-09T09:31:50Z

For a natural number $n$, a fence $[n]=\{1\prec 2\succ 3\prec 4\succ 5\prec \cdots n\}$ is a partial ordered set. A partial transformation $α$ is called fence-decreasing if $xα\preceq x$ for all $x$ in the domain of $α$, and fence-preserving if $x\prec y$ implies $xα\preceq yα$ for all $x$ and $y$ in the domain of $α$. In this paper, we consider the monoids $\mathcal{DF}_{n}$ ($\mathcal{PDF}_{n})$ of all fence-decreasing full (partial) transformations as well as the monoid $\mathcal{PCF}_{n}$ of all fence-preserving transformations of $\mathcal{PDF}_{n}$. For these three monoids and some of their ideals, we determine the unique minimal generating set. Moreover, we calculate the rank of $\mathcal{DF}_{n}$, $\mathcal{PDF}_{n}$, and $\mathcal{PCF}_{n}$. Additional, we provide several combinatorial results concerning these three monoids.

Generalized superderivations of the super Virasoro algebras

2026-06-09T09:17:37Z

We explicitly determine the generalized superderivations of the Neveu-Schwarz and Ramond algebras.

Realizing orders in rational sphere product algebras with three generators

2026-06-09T04:11:35Z

The realization problem asks which algebras can be realized as the cohomology of spaces. We study this problem in the context of the orders in a graded rational exterior algebra on three generators. An order is a subring whose underlying additive group is a lattice. We give conditions for when such an order is realizable, and in particular show that in the simply-connected case any order is realizable if the generators of the exterior algebra are of odd degree.

On the Spectral Region of n-Cycle Stochastic Matrices

2026-06-08T20:19:15Z

For every $n$, we determine the complete eigenvalue region of the $n$-cycle stochastic family. For $n\ge 2$, write $A_n(α)$ for the matrix indexed by $\mathbb Z/n\mathbb Z$ with $$ (A_n(α))_{j,j}=α_j,\qquad (A_n(α))_{j,j+1}=1-α_j,\qquad 0\le α_j<1, $$ and all other entries zero, and set $C_n=\{A_n(α):α\in[0,1)^n\}$. Writing $Σ_n$ for the corresponding spectral union, the trivial cases are $Σ_1=\{1\}$ and $Σ_2=[-1,1]$. For $n\ge 3$, we give an explicit description of $Σ_n$ in angular coordinates $m=\mathrm{Arg}(λ)$ and $M=\mathrm{Arg}(λ-1)$. Under the map $$ Λ(m,M)=\frac{\sin M}{\sin(M-m)}e^{im}, $$ the upper half of $Σ_n$ is the image of a finite union of $K=\lfloor(n-1)/2\rfloor$ vertical angular sectors. Its exposed boundary is an alternating chain of Jensen chords, arising from the Jensen-equality lines $M=φ_k$, and algebraic one-loop arcs joining the relevant roots of unity to $0$; the lower boundary is obtained by complex conjugation. The real spectral part is $[-1,1]$ for even $n$ and $(0,1]$ for odd $n$. The proof is independent of Karpelevich's theorem and reduces the two-monomial characteristic equation to sharp argument bounds on a simplex, obtained by Jensen, majorization, and finite visibility arguments.

Multiplicative One-Sided Ideal Theory of Hereditary Noetherian Prime Rings

2026-06-08T16:03:00Z

To any essential right ideal $I$ in a bounded HNP ring $R$ we may assign a divisor $\partial I$, the image of the finite length module $R/I$ in the Grothendieck group $K_0(\text{fl. mod-$R$})$. We show that there is a composition of divisors $\circ$ for which $\partial I J = \partial I \circ \partial J$. Additionally, we describe this composition, and show that $\partial$ is faithful.

Orbit-Type Structure and a Counterexample to Singer's Conjecture for the Sixth Algebraic Transfer

2026-06-08T14:54:23Z

Let $\mathscr A$ be the Steenrod algebra over the field of characteristic two, $\mathbb F_2$, and let $GL(q)$ be the general linear group over $\mathbb F_2$. The algebraic transfer introduced by Singer relates modular invariant theory for $P_q=\mathbb F_2[x_1,\ldots,x_q]$ to the cohomology groups $\operatorname{Ext}_{\mathscr A}^{q,*}(\mathbb F_2,\mathbb F_2)$. William Singer conjectured that this transfer is always a monomorphism. This conjecture has stood for nearly 40 years, and in this work we demonstrate that it fails in general. Specifically, we disprove the conjecture in bidegree $(6,6+36)$ by computing $[(QP_6)_{36}]^{GL(6)}$, where $QP_6=\mathbb F_2\otimes_{\mathscr A}P_6$. Moving beyond standard algorithmic verification, we introduce a deterministic post-computational analytical procedure to investigate the $Σ_6$-orbit structure of the reduced representatives. While the degree-$15$ target invariant naturally decomposes into quasisymmetric blocks, the two degree-$36$ kernel invariants are strictly classified by their support slices, full orbit sizes, and stabilizer isomorphism types. By decoupling the exact algebraic solution from its symmetric-group footprint, this approach transforms opaque raw computational data into structurally explicit combinatorial invariants.

Skew-symmetric Frobenius dialgebras, diassociative bialgebras and Yang-Baxter equations

2026-06-08T14:24:28Z

A diassociative algebra (or dialgebra), a generalization of associative algebras with two associative products, is a fundamental algebraic structure of great importance and wide-ranging applications. In this paper, we establish a bialgebra theory for dialgebras completely and systematically. Explicitly, we introduce the notion of diassociative bialgebras (bi-dialgebras) which are equivalent to double constructions of Frobenius dialgebras as well as matched pairs of dialgebras. Moreover, we show that a bi-dialgebra gives rise to a Leibniz bialgebra, thereby lifting the classical relation between dialgebras and Leibniz algebras to the bialgebra level. In the coboundary cases, we introduce the diassociative Yang-Baxter equation (DAYBE) in a dialgebra, and solutions whose skew-symmetric part is invariant give rise to the so-called quasi-triangular bi-dialgebras. Moreover, weighted $\mathcal{O}$-operators on dialgebras are defined, which afford an operator interpretation for such solutions of the DAYBE. Finally, we also develop the triangular and factorizable theories for bi-dialgebras, and introduce skew-symmetric Rota-Baxter Frobenius dialgebras of arbitrary weight. We show that skew-symmetric Rota-Baxter Frobenius dialgebras of weight zero give rise to triangular bi-dialgebras, whereas those of nonzero weight induce factorizable bi-dialgebras. As an application, we provide concrete examples of factorizable bi-dialgebras from associative algebras and dialgebras, respectively.

Sums of two nilpotent quaternionic matrices

2026-06-08T12:58:42Z

Let $\mathcal{Q}$ be a quaternion division algebra over a field, and $n \geq 2$ be an integer. In a recent article, de la Cruz et al have proved that every $n$-by-$n$ matrix with entries in $\mathcal{Q}$ and pure quaternionic trace is the sum of three nilpotent matrices, and they have shown that some are not the sum of two nilpotent matrices. Here, we give a simple characterization of the square matrices with entries in $\mathcal{Q}$ that are the sum of two nilpotent ones. When $n \geq 3$, the special cases involve the scalar matrices and their perturbations by rank $1$ matrices, as well as the very special case of $3$-by-$3$ unispectral diagonalisable matrices.

A natural eñe product construction of the Big Witt ring

2026-06-08T12:47:13Z

We give a straightforward, self-contained, and natural construction of the Big Witt ring using the eñe product that is defined through the action on zeros of polynomials. This is in contrast with classical constructions of the Big Witt ring using formulas out of nowhere.

Closed-form Solution of Wahba's Problem for Pairwise Similar Quaternions

2026-06-08T12:16:38Z

Wahba's problem is fundamental to spacecraft attitude estimation, seeking the optimal rotation that minimizes the weighted misalignment between sets of vector observations. Traditional solvers, including Davenport's $q$-method, QUEST, and ESOQ, reformulate the problem as an eigenvalue task for a $4 \times 4$ symmetric matrix, a process that obscures the underlying algebraic structure of the solution. This paper presents a novel, entirely quaternion-based closed-form solution for the pairwise similar quaternions. By establishing a direct connection to the homogeneous singular Sylvester equation: (i) we derive the necessary and sufficient condition for the existence of a quaternion that achieves zero Wahba's cost; (ii) we provide a closed-form analytic expression for the corresponding solution set; and (iii) we propose the computationally efficient and numerically stable Minimal Analytic Rotation Algorithm (MARA). Computational complexity analysis demonstrates that MARA achieves a $35.11\%$ reduction in total floating-point operations (FLOPs) compared to the state-of-the-art ESOQ2 algorithm. Numerical validation via $10^6$ Monte Carlo trials confirms that MARA achieves higher accuracy than established optimal solvers under stochastic noise, offering a computationally more efficient and analytically transparent alternative for high-frequency attitude determination systems.

Ideals in Arbitrary Three-Dimensional Algebras

2026-06-08T12:01:16Z

In this paper, we study arbitrary (not necessarily associative) 3-dimensional algebras. Such an algebra A is determined by a basis and the corresponding multiplication table, which is specified by 27 structure constants. We describe all ideals of A, providing an explicit characterization of both 1-dimensional and 2-dimensional ideals. Moreover, we classify 2-dimensional ideals into 4 distinct types. We prove that A either has infinitely many ideals or at most 4. We also show that, in any case, the maximum number of 1-dimensional ideals is 3, while the maximum number of 2-dimensional ideals is 2. Finally, we present a class of algebras with a finite number of ideals that attain this theoretical maximum.

t-g-radical supplemented modules

2026-06-08T11:49:46Z

We introduce and study the class of $t$-$g$-radical supplemented modules, which unifies two independent generalizations of the classical supplemented module condition: $g$-radical supplements and $t$-sum terms. A module $M$ is $t$-$g$-radical supplemented if every submodule $N \leq M$ has a $g$-radical supplement that is simultaneously a $t$-sum term of $M$. We establish closure properties under $t$-sums, quotient modules, and homomorphic images, prove inheritance by $t$-sum terms, and classify the standard module classes (simple, semisimple, local, hollow, and Prüfer groups) within this framework. A key observation is that the class strictly contains the class of supplemented modules: both $\mathbb{Q}$ and $\mathbb{Z}_{p^{\infty}}$ are $t$-$g$-radical supplemented but not supplemented.

Diameter bounds for finite simple Lie algebras

2026-06-08T11:32:21Z

We prove strong and explicit diameter bounds for finite simple Lie algebras, which parallel Babai's conjecture for finite simple groups. Specifically, we show that any nonabelian finite simple Lie algebra $\mathfrak{g}$ over $\mathbf{F}_p$ has diameter $O((\log |\mathfrak{g}|)^D)$ for $D \approx 3.11$ with respect to any generating set. For absolutely simple classical Lie algebras over $\mathbf{F}_p$, we establish the sharper bound $O(\log |\mathfrak{g}|)$ when the Lie type is fixed and the generators are chosen uniformly at random.

Partially Alternative Real Division Algebras With A Few Imaginary Units

2026-06-08T08:36:55Z

In this paper, we extend the investigation of four-dimensional partially alternative algebras $\mathcal A$ initiated in \cite{HNT}. The partial alternativity condition, a natural generalization of the alternativity axiom, broadens the class of alternative algebras, enabling the exploration of non-associative structures with weakened algebraic constraints. We focus on four-dimensional partially alternative real division algebras (RDAs) equipped with at least three distinct imaginary units and a reflection. Under these constraints, we achieve a complete classification of the isomorphism classes of such algebras and find that there are, in fact, infinitely many distinct classes. This classification generalizes the classical Frobenius and Hurwitz theorems in the four-dimensional setting. Moreover, we explicitly characterize automorphism groups for these algebras showing that it is either $SO(3)$ if $\mathcal A\cong \mathbb H$ or $\mathbb Z_2$, otherwise.

On the structure and representations of quantum graph algebras at roots of unity

2026-06-08T08:05:14Z

We study the specializations $\mathcal{L}_{g,n}^ε$ at roots of unity $ε$ of odd order of the graph algebras, associated to a simply-connected complex semi-simple algebraic group $G$ and a compact oriented surface $Σ_{g,n}^{\circ}$ with genus $g$, $n$ punctures, and one boundary component. We prove that the central localizations of $\mathcal{L}_{g,n}^ε$ and of its subalgebra $\mathcal{L}_{g,n}^{u_ε}$ of invariant elements under the coadjoint action of a small quantum group, are central simple algebras of PI degrees that we compute. Also, we describe their centers, and show they are integrally closed rings.