SearcharxivSearch

arXiv subjects

Mohamed Elhamdadi

Publications and source records attributed to Mohamed Elhamdadi.

At least 19 recordsLinked to original sources

Fourier Analysis and Idempotents in Quandle Algebras

In 2023, the first author, Nunez, Singh, and Swain [10] formulated an analogue of Kaplansky's idempotent conjecture for integral quandle rings. In this paper, we develop a new Fourier-analytic approach to quandle rings and use it to establish the conjecture for two major classes of quandles: Takasaki quandles, including dihedral quandles, and medial commutative quandles. A central contribution of the paper is the introduction of Fourier analysis on Alexander quandles, which provides a new framework for studying quandle rings and, in particular, their idempotents. Using this Fourier-analytic framework, we also prove that a previously known sufficient condition for the existence of counterexamples to the conjecture is in fact necessary, thereby resolving a problem of Jablonowski [12].

math.GT

Idempotents and Powers of Ideals in Quandle Rings

This article addresses two central problems in the theory of quandle rings. First, motivated by Conjecture 3.10 in Internat. J. Math. 34 (2023), no. 3, Paper No. 2350011: for a semi-latin quandle $X$, every nonzero idempotent in the integral quandle ring $\mathbb{Z}[X]$ necessarily corresponds to an element of $X$, we investigate idempotents in quandle rings of semi-latin quandles. Precisely, we prove that if the ground ring is an integral domain with unity, then the quandle ring of Core($\mathbb{Z}$) admits only trivial idempotents. Second, powers of augmentation ideals in quandle rings have only been computed in a few cases previously. We extend the computations to include dihedral quandles and commutative quandles. Finally, we examine idempotents in quandle rings of $2$-almost latin quandles and apply these results to compute the automorphism groups of their integral quandle rings.

math.RA

TopoU-Net: a U-Net architecture for topological domains

Many modern datasets mix points, edges, regions, groups, objects, events, hyperedges, and relations. Yet neural architectures often force such data into grids, graphs, or sequences, obscuring higher-order structure and making encoder-decoder designs domain-specific. We view U-Net not as a grid-specific architecture, but as a hierarchical encoder-decoder principle: representation spaces, transport maps between levels, and skip connections between matched levels. Combinatorial complexes naturally supply these ingredients through cells, incidences, and ranks. We introduce TopoU-Net, a rank-path U-Net for topological domains. Given a path from an input rank to a bottleneck rank and back, the encoder lifts cochains upward along incidence maps, the decoder transports them downward, and skip connections merge features at matched ranks. Rank replaces spatial scale: choosing paths through nodes, edges, faces, hyperedges, or global cells becomes the central architectural decision. A key quantity is the bottleneck support ratio, the number of cells at the bottleneck relative to the number of cells at the input rank. This ratio is fixed by the complex and chosen path rather than by arbitrary pooling, and it clarifies when skip connections are optional, useful, or structurally important. Across node classification, graph classification, hypergraph node classification, mesh classification, and image reconstruction, TopoU-Net provides a reusable encoder-decoder template for higher-order structured data. Among the evaluated baselines, it achieves the strongest mean accuracy on six of eight node-classification datasets and four of five hypergraph datasets, with the largest gains on heterophilic graphs. Ablations show that removing skip connections is most damaging under severe bottleneck compression.

cs.LG

Lie Quandles, Leibniz Racks and Noether's First Theorem

In [Self-distributive structures in physics. Internat. J. Theoret. Phys. 64 (2025), no. 3, Paper No. 73], Fritz was motivated by the structure of Hamiltonian/Heisenberg mechanics to define the notion of "Lie Quandle", which he argued are nonlinear generalizations of finite dimensional real Lie algebras. In this article, we will investigate a linear/nonlinear correspondence to which Fritz' is a special case, classify a class of generalizations of these objects, as well as describe some results in the direction of a nonlinear analogue of Noether's first theorem first described by Fritz.

math.QA

Connections between conjugation quandles and their underlying groups via residual finiteness and the Hopf property

We prove that if a conjugation quandle is Hopfian, then its underlying group is also Hopfian. We also show that the converse does not hold by providing an example. This highlights a distinction between conjugation quandles and their underlying groups. While a recent result shows that every hyperbolic group is Hopfian, conjugation quandles of hyperbolic groups can still be non-Hopfian. Furthermore, we examine conjugation quandles of Baumslag-Solitar groups. We show that these quandles are infinitely generated. Hence, to apply the result that every finitely generated residually finite quandle is Hopfian, it is necessary to work with finitely generated quandles. For this purpose, we employ Dehn quandles as subquandles, which allow us to fully characterize the residual finiteness of conjugation quandles of the Baumslag-Solitar groups.

math.GT

Yang-Baxter Equation and Related Algebraic Structures

In the 1990s, Drinfel'd proposed the study of set-theoretical solutions to the quantum Yang-Baxter equation, initiating a line of research that has since garnered substantial attention and led to notable developments in algebra, low-dimensional topology, and related areas. This monograph offers a concise introduction to the algebraic theory of such solutions, focusing on key structures including skew braces, quandles, racks, and Rota-Baxter groups, which have emerged as central objects in this framework. We investigate the algebraic, combinatorial, and homological properties of these structures, with an emphasis on their interrelations and applications to knot theory. The monograph is intended as a reference for researchers interested in the deep interplay between these algebraic structures and the quantum Yang-Baxter equation.

math.QA

Generalized Quandle Polynomials and Their Applications to Stuquandles, Stuck Links, and RNA Folding

We introduce a generalization of the quandle polynomial. We prove that our polynomial is an invariant of stuquandles. Furthermore, we use the invariant of stuquandles to define a polynomial invariant of stuck links. As a byproduct, we obtain a polynomial invariant of RNA foldings. Lastly, we provide explicit computations of our polynomial invariant for both stuck links and RNA foldings.

math.GT

Planar Equivalence of Knotoids and Quandle Invariants

While knotoids on the sphere are well-understood by a variety of invariants, knotoids on the plane have proven more subtle to classify due to their multitude over knotoids on the sphere and a lack of invariants that detect a diagram's planar nature. In this paper, we investigate equivalence of planar knotoids using quandle colorings and cocycle invariants. These quandle invariants are able to detect planarity by considering quandle colorings that are restricted at distinguished points in the diagram, namely the endpoints and the point-at-infinity. After defining these invariants we consider their applications to symmetry properties of planar knotoids such as invertibility and chirality. Furthermore we introduce an invariant called the triangular quandle cocycle invariant and show that it is a stronger invariant than the end specified quandle colorings.

math.GT

State sum invariants of knots from idempotents in quandle rings

We use idempotents in quandle rings in combination with the state sum invariants of knots to distinguish all of the 12965 prime oriented knots up to 13 crossings using only 21 connected quandles and three quandles made of idempotents in quandle rings. We also distinguish all knots up to 13 crossings from their mirror images using the same 24 quandles. Furthermore, we distinguish all of the 2977 prime oriented knots up to 12 crossings using only 10 connected quandles and three quandles made of idempotents in quandle rings. This improves a result in [Quandle colorings of knots and applications, J. Knot Theory Ramifications 23 (2014), no. 6, 1450035]. Our computations are achieved with the help of Python and Maple softwares.

math.GT

Twisted Yang-Baxter sets, cohomology theory, and application to knots

We introduce twisted set-theoretic Yang-Baxter solutions and develop an associated cohomology theory, which extends the standard cohomology theory of Yang-Baxter solutions. By employing cocycles of twisted biquandles along with Alexander numbering, we construct state-sum invariants for knots and knotted surfaces. As an application, we use our approach to distinguish the $2$-twist spun trefoil from its reverse orientation, in line with prior findings.

math.GT

Bridging colorings of virtual links from virtual biquandles to biquandles

A biquandle is a solution to the set-theoretical Yang-Baxter equation, which yields invariants for virtual knots such as the coloring number and the state-sum invariant. A virtual biquandle enriches the structure of a biquandle by incorporating an invertible unary map. This unary operator plays a crucial role in defining the action of virtual crossings on the labels of incoming arcs in a virtual link diagram. This leads to extensions of invariants from biquandles to virtual biquandles, thereby enhancing their strength. In this article, we establish a connection between the coloring invariant derived from biquandles and virtual biquandles. We prove that the number of colorings of a virtual link $L$ by virtual biquandles can be recovered from colorings by biquandles. We achieve this by proving the equivalence between two different representations of virtual braid groups. Furthermore, we introduce a new set of labeling rules using which one can construct a presentation of the associated fundamental virtual biquandle of $L$ using only the relations coming from the classical crossings. This is an improvement to the traditional method, where writing down a presentation of the associated fundamental virtual biquandle necessitates noting down the relations arising from the classical and virtual crossings.

math.GT

Quandle Coloring Quivers of general Torus links by dihedral quandles

We completely characterize the coloring quivers of general torus links by dihedral quandles by first exhausting all possible numbers of colorings, followed by determining the interconnections between colorings in each case. The quiver is obtained as function of the number of colorings. The quiver always contains complete subgraphs, in particular a complete subgraph corresponding to the trivial colorings, but the total number of subgraphs in the quiver and the weights of their edges varies depending on the number of colorings.

math.GT

Hom-associative algebras, Admissibility and Relative averaging operators

We introduce the notion of relative averaging operators on Hom-associative algebras with a representation. Relative averaging operators are twisted generalizations of relative averaging operators on associative algebras. We give two characterizations of relative averaging operators of Hom-associative algebras via graphs and Nijenhuis operators. A (homomorphic) relative averaging operator of Hom-associative algebras with respect to a given representation gives rise to Hom-associative (tri)dialgebras. By admissibility, a Hom-Jordan (tri)dialgebra and a Hom-(tri)Leibniz algebra can be obtained from Hom-associative (tri)dialgebra.

math.RA

Classification of Connected Shelves

We investigate finite right-distributive binary algebraic structures called shelves. We first use symbolic computations with Python to classify (up to isomorphism) all connected shelves with order less than six. We explore the group structure generated by the rows of \textit{latin} shelves. We also define two-variable shelf polynomial by analogy with the quandle polynomial and then state a conjecture about connected idempotent shelves.

math.GT

Knot groups, quandle extensions and orderability

This paper gives a new way of characterizing L-space $3$-manifolds by using orderability of quandles. Hence, this answers a question of Adam Clay et al. [Question 1.1 of Canad. Math. Bull. 59 (2016), no. 3, 472-482]. We also investigate both the orderability and circular orderability of dynamical extensions of orderable quandles. We give conditions under which the conjugation quandle on a group, as an extension of the conjugation of a bi-orderable group by the conjugation of a right orderable group, is right orderable. We also study the right circular orderability of link quandles. We prove that the $n$-quandle $Q_n(L)$ of the link quandle of $L$ is not right circularly orderable and hence it is not right orderable. But on the other hand, we show that there are infinitely many links for which the $p$-enveloping group of the link quandle is right circularly orderable for any prime integer $p$.

math.GT

On the representation theory of cyclic and dihedral quandles

Quandle representations are homomorphisms from a quandle to the group of invertible matrices on some vector space taken with the conjugation operation. We study certain families of quandle representations. More specifically, we introduce the notion of regular representation for quandles, investigating in detail the regular representations of dihedral quandles and \emph{completely classifying} them. Then, we study representations of cyclic quandles, giving some necessary conditions for irreducibility and providing a complete classification under some restrictions. Moreover, we provide various counterexamples to constructions that hold for group representations, and show to what extent such theory has the same properties of the representation theory of finite groups. In particular, we show that Maschke's theorem does not hold for quandle representations.

math.RT

A G-Family of Singquandles and Invariants of Dichromatic Singular links

We introduce and investigate dichromatic singular links. We also construct G-Family of singquandles and use them to define counting invariants for unoriented dichromatic singular links. We provide some examples to show that these invariants distinguish some dichromatic singular links.

math.GT