Source author record

Mohamed Elhamdadi

Mohamed Elhamdadi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

32works
12topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

32 published item(s)

preprint2026arXiv

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.

preprint2022arXiv

Circular orderability and quandles

In this paper, we introduce the notion of circular orderability for quandles. We show that the set all right (respectively left) circular orderings of a quandle is a compact topological space. We also show that the space of right (respectively left) orderings of a quandle embeds in its space of right (respectively left) circular orderings. Examples of quandles that are not left circularly orderable and examples of quandles that are neither left nor right circularly orderable are given.

preprint2022arXiv

Deformations of Yang-Baxter operators via $n$-Lie algebra cohomology

We introduce a cohomology theory of $n$-ary self-distributive objects in the tensor category of vector spaces that classifies their infinitesimal deformations. For $n$-ary self-distributive objects obtained from $n$-Lie algebras we show that ($n$-ary) Lie cohomology naturally injects in the self-distributive cohomology and we prove, under mild additional assumptions, that the map is an isomorphism of second cohomology groups. This shows that the self-distribuitve deformations are completely classified by the deformations of the Lie bracket. This theory has important applications in the study of Yang-Baxter operators as the self-distributive deformations determine nontrivial deformations of the Yang-Baxter operators derived from $n$-ary self-distributive structures. In particular, we show that there is a homomorphism from the second self-distributive cohomology to the second cohomology of the associated Yang-Baxter operator. Moreover, we prove that when the self-distributive structure is induced by a Lie algebra with trivial center, we get a monomorphism. We construct a deformation theory based on simultaneous deformations, where both the coalgebra and self-distributive structures are deformed simultaneously. We show that when the Lie algebra has nontrivial cohomology (e.g. for semi-simple Lie algebras) the simultaneous deformations might still be nontrivial, producing corresponding Yang-Baxter operator deformations. We provide examples and computations in low dimensions, and we completely characterize $2$-cocycles for the self-distributive objects obtained from all the nontrivial real Lie algebras of dimension $3$, i.e. the Bianchi I-IX, and all the nontrivial complex Lie algebras of dimension $3$.

preprint2022arXiv

On Schur Algebras and Derivations of Free Lie Algebras

We investigate the action of Schur algebra on the Lie algebras of derivations of free Lie algebras and operad structures constructed from it. We also show that the Lie algebra of derivations is generated by quadratic derivations together with the action of the Schur operad. Applications to certain subgroups of the automorphism group of a finitely generated free group are given as well.

preprint2022arXiv

RNA foldings and Stuck Knots

We study RNA foldings and investigate their topology using a combination of knot theory and embedded rigid vertex graphs. Knot theory has been helpful in modeling biomolecules, but classical knots place emphasis on a biomolecule's entanglement while ignoring their intrachain interactions. We remedy this by using stuck knots and links, which provide a way to emphasize both their entanglement and intrachain interactions. We first give a generating set of the oriented stuck Reidemeister moves for oriented stuck links. We then introduce an algebraic structure to axiomatize the oriented stuck Reidemeister moves. Using this algebraic structure, we define a coloring counting invariant of stuck links and provide explicit computations of the invariant. Lastly, we compute the counting invariant for arc diagrams of RNA foldings through the use of stuck link diagrams.

preprint2021arXiv

Legendrian Rack Invariants of Legendrian Knots

We define a new algebraic structure called Legendrian racks or racks with Legendrian structure, motivated by the front-projection Reidemeister moves for Legendrian knots. We provide examples of Legendrian racks and use these algebraic structures to define invariants of Legendrian knots with explicit computational examples. We classify Legendrian structures on racks with 3 and 4 elements. We use Legendrian racks to distinguish certain Legendrian knots which are equivalent as smooth knots.

preprint2021arXiv

Polynomial Invariants of Singular Knots and links

We generalize the notion of the quandle polynomial to the case of singquandles. We show that the singquandle polynomial is an invariant of finite singquandles. We also construct a singular link invariant from the singquandle polynomial and show that this new singular link invariant generalizes the singquandle counting invariant. In particular, using the new polynomial invariant, we can distinguish singular links with the same singquandle counting invariant.

preprint2021arXiv

Singquandle Shadows and Singular knot Invariants

We introduce shadow structures for singular knot theory. Precisely, we define \emph{two} invariants of singular knots and links. First, we introduce a notion of action of a singquandle on a set to define a shadow counting invariant of singular links which generalize the classical shadow colorings of knots by quandles. We then define a shadow polynomial invariant for shadow structures. Lastly, we enhance the shadow counting invariant by combining both the shadow counting invariant and the shadow polynomial invariant. Explicit examples of computations are given.

preprint2020arXiv

Cocycle Invariants and Oriented Singular Knots

We extend the quandle cocycle invariant to oriented singular knots and links using algebraic structures called \emph{oriented singquandles} and assigning weight functions at both regular and singular crossings. This invariant coincides with the classical cocycle invariant for classical knots but provides extra information about singular knots and links. The new invariant distinguishes the singular granny knot from the singular square knot.

preprint2020arXiv

Knot Theory for Proteins: Gauss Codes, Quandles and Bondles

Proteins are linear molecular chains that often fold to function. The topology of folding is widely believed to define its properties and function, and knot theory has been applied to study protein structure and its implications. More that 97% of proteins are, however, classified as unknots when intra-chain interactions are ignored. This raises the question as to whether knot theory can be extended to include intra-chain interactions and thus be able to categorize topology of the proteins that are otherwise classified as unknotted. Here, we develop knot theory for folded linear molecular chains and apply it to proteins. For this purpose, proteins will be thought of as an embedding of a linear segment into three dimensions, with additional structure coming from self-bonding. We then project to a two-dimensional diagram and consider the basic rules of equivalence between two diagrams. We further consider the representation of projections of proteins using Gauss codes, or strings of numbers and letters, and how we can equate these codes with changes allowed in the diagrams. Finally, we explore the possibility of applying the algebraic structure of quandles to distinguish the topologies of proteins. Because of the presence of bonds, we extend the theory to define bondles, a type of quandle particularly adapted to distinguishing the topological types of proteins.

preprint2020arXiv

Skein theoretic approach to Yang-Baxter homology

We introduce skein theoretic techniques to compute the Yang-Baxter (YB) homology and cohomology groups of the R-matrix corresponding to the Jones polynomial. More specifically, we show that the YB operator $R$ for Jones, normalized for homology, admits a skein decomposition $R = I + βα$, where $α: V^{\otimes 2} \rightarrow k$ is a "cup" pairing map and $β: k \rightarrow V^{\otimes 2}$ is a "cap" copairing map, and differentials in the chain complex associated to $R$ can be decomposed into horizontal tensor concatenations of cups and caps. We apply our skein theoretic approach to determine the second and third YB homology groups, confirming a conjecture of Przytycki and Wang. Further, we compute the cohomology groups of $R$, and provide computations in higher dimensions that yield some annihilations of submodules.

preprint2019arXiv

Heap and Ternary Self-Distributive Cohomology

Heaps are para-associative ternary operations bijectively exemplified by groups via the operation $(x,y,z) \mapsto x y^{-1} z$. They are also ternary self-distributive, and have a diagrammatic interpretation in terms of framed links. Motivated by these properties, we define para-associative and heap cohomology theories and also a ternary self-distributive cohomology theory with abelian heap coefficients. We show that one of the heap cohomologies is related to group cohomology via a long exact sequence. Moreover we construct maps between second cohomology groups of normalized group cohomology and heap cohomology, and show that the latter injects into the ternary self-distributive second cohomology group. We proceed to study heap objects in symmetric monoidal categories providing a characterization of pointed heaps as involutory Hopf monoids in the given category. Finally we prove that heap objects are also "categorically" self-distributive in an appropriate sense.

preprint2019arXiv

Higher Arity Self-Distributive Operations in Cascades and their Cohomology

We investigate constructions of higher arity self-distributive operations, and give relations between cohomology groups corresponding to operations of different arities. For this purpose we introduce the notion of mutually distributive $n$-ary operations generalizing those for the binary case, and define a cohomology theory labeled by these operations. A geometric interpretation in terms of framed links is described, with the scope of providing algebraic background of constructing $2$-cocycles for framed link invariants. This theory is also studied in the context of symmetric monoidal categories. Examples from Lie algebras, coalgebras and Hopf algebras are given.

preprint2018arXiv

Ring Theoretic Aspects of Quandles

We associate to every quandle $X$ and an associative ring with unity $\mathbf{k}$, a nonassociative ring $\mathbf{k}[X]$ following [3]. The basic properties of such rings are investigated. In particular, under the assumption that the inner automorphism group $Inn(X)$ acts orbit $2$-transitively on $X$, a complete description of right (or left) ideals is provided. The complete description of right ideals for the dihedral quandles $R_n$ is given. It is also shown that if for two quandles $X$ and $Y$ the inner automorphism groups act $2$-transitively and $\mathbf{k}[X]$ is isomorphic to $\mathbf{k}[Y]$, then the quandles are of the same partition type. However, we provide examples when the quandle rings $\mathbf{k}[X]$ and $\mathbf{k}[Y]$ are isomorphic, but the quandles $X$ and $Y$ are not isomorphic. These examples answer some open problems in [3].

preprint2016arXiv

Pretzel Knots and q-Series

The tail of the colored Jones polynomial of an alternating link is a $q$-series invariant whose first $n$ terms coincide with the first $n$ terms of the $n$-th colored Jones polynomial. Recently, it has been shown that the tail of the colored Jones polynomial of torus knots give rise to Ramanujan type identities. In this paper, we study $q$-series identities coming from the colored Jones polynomial of pretzel knots. We prove a false theta function identity that goes back to Ramanujan and we give a natural generalization of this identity using the tail of the colored Jones polynomial of Pretzel knots. Furthermore, we compute the tail for an infinite family of Pretzel knots and relate it to false theta function-type identities.

preprint2015arXiv

Foundations of topological racks and quandles

We give a foundational account on topological racks and quandles. Specifically, we define the notions of ideals, kernels, units, and inner automorphism group in the context of topological racks. Further, we investigate topological rack modules and principal rack bundles. Central extensions of topological racks are then introduced providing a first step towards a general continuous cohomology theory for topological racks and quandles.

preprint2014arXiv

Quandle Colorings of Knots and Applications

We present a set of 26 finite quandles that distinguish (up to reversal and mirror image) by number of colorings, all of the 2977 prime oriented knots with up to 12 crossings. We also show that 1058 of these knots can be distinguished from their mirror images by the number of colorings by quandles from a certain set of 23 finite quandles. We study the colorings of these 2977 knots by all of the 431 connected quandles of order at most 35 found by L. Vendramin. Among other things, we collect information about quandles that have the same number of colorings for all of the 2977 knots. For example, we prove that if $Q$ is a simple quandle of prime power order then $Q$ and the dual quandle $Q^*$ of $Q$ have the same number of colorings for all knots and conjecture that this holds for all Alexander quandles $Q$. We study a knot invariant based on a quandle homomorphism $f:Q_1\to Q_0$. We also apply the quandle colorings we have computed to obtain some new results for the bridge index, the Nakanishi index, the tunnel number, and the unknotting number. In an appendix we discuss various properties of the quandles in Vendramin's list. Links to the data computed and various programs in C, GAP and Maple are provided.

preprint2014arXiv

Ternary Distributive Structures and Quandles

We introduce a notion of ternary distributive algebraic structure, give examples, and relate it to the notion of a quandle. Classification is given for low order structures of this type. Constructions of such structures from ternary bialgebras are provided. We also describe ternary distributive algebraic structures coming from groups and give examples from vector spaces whose bases are elements of a finite ternary distributive set. We introduce a cohomology theory that is analogous to Hochschild cohomology and relate it to a formal deformation theory of these structures.

preprint2013arXiv

Augmented Biracks and their Homology

We introduce augmented biracks and define a (co)homology theory associated to augmented biracks. The new homology theory extends the previously studied Yang-Baxter homology with a combinatorial formulation for the boundary map and specializes to $N$-reduced rack homology when the birack is a rack. We introduce augmented birack 2-cocycle invariants of classical and virtual knots and links and provide examples.

preprint2012arXiv

Hom-quasi-bialgebras

The purpose of this paper is to give a general survey of Hom-bialgebras, which are bialgebra-type structures where the identities are twisted by a morphism, and to extend the concept of quasi-bialgebra to Hom-setting. We provide some key constructions and generalize the concept of gauge transformation and Drinfeld's twists to this type of generalized quasi-bialgebras. Moreover, we provide an example of twisted quantum double.

preprint2011arXiv

Connected Quandles Associated with Pointed Abelian Groups

A quandle is a self-distributive algebraic structure that appears in quasi-group and knot theories. For each abelian group A and c \in A we define a quandle G(A, c) on \Z_3 \times A. These quandles are generalizations of a class of non-medial Latin quandles defined by V. M. Galkin so we call them Galkin quandles. Each G(A, c) is connected but not Latin unless A has odd order. G(A, c) is non-medial unless 3A = 0. We classify their isomorphism classes in terms of pointed abelian groups, and study their various properties. A family of symmetric connected quandles is constructed from Galkin quandles, and some aspects of knot colorings by Galkin quandles are also discussed.

preprint2011arXiv

N-Degeneracy in rack homology and link invariants

The aim of this paper is to define a homology theory for racks with finite rank N and use it to define invariants of knots generalizing the CJKLS 2-cocycle invariants related to the invariants defined in [15]. For this purpose, we prove that N -degenerate chains form a sub-complex of the classical complex defining rack homology. If a rack has rack rank N = 1 then it is a quandle and our homology theory coincides with the CKJLS homology theory [6]. Nontrivial cocycles are used to define invariants of knots and examples of calculations for classical knots with up to 8 crossings and classical links with up to 7 crossings are provided.

preprint2010arXiv

Deformations of Hom-Alternative and Hom-Malcev algebras

The aim of this paper is to extend Gerstenhaber formal deformations of algebras to the case of Hom-Alternative and Hom-Malcev algebras. We construct deformation cohomology groups in low dimensions. Using a composition construction, we give a procedure to provide deformations of alternative algebras (resp. Malcev algebras) into Hom-alternative algebras (resp. Hom-Malcev algebras). Then it is used to supply examples for which we compute some cohomology invariants.

preprint2002arXiv

Twisted quandle homology theory and cocycle knot invariants

The quandle homology theory is generalized to the case when the coefficient groups admit the structure of Alexander quandles, by including an action of the infinite cyclic group in the boundary operator. Theories of Alexander extensions of quandles in relation to low dimensional cocycles are developed in parallel to group extension theories for group cocycles. Explicit formulas for cocycles corresponding to extensions are given, and used to prove non-triviality of cohomology groups for some quandles. The corresponding generalization of the quandle cocycle knot invariants is given, by using the Alexander numbering of regions in the definition of state-sums. The invariants are used to derive information on twisted cohomology groups.