Researcher profile

Mohamed Elhamdadi

Mohamed Elhamdadi contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
19works
0followers
10topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

19 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].