Directed-graph torsion in magnitude (co)homology beyond the image of the bidirection-forgetful functor
Establish whether there exist directed graphs whose magnitude (co)homology exhibits torsion not arising from any undirected graph via the functor ρ: Graph → Quiver that makes each undirected edge bidirectional; specifically, construct a directed graph D such that torsion in MH_*^*(D) does not coincide with torsion from MH_*^*(ρ(G)) for any undirected graph G, or prove that all torsion in magnitude (co)homology of digraphs lies in the essential image of ρ.
References
However, we do not know if such torsion always comes from undirected graphs via the functor $\rho$, or not. Is it possible to extend the constructions of and so to get torsion of directed graphs which does not come from the essential image of $\rho\colon Graph\to Quiver$ of Remark~\ref{rem:adjunctiongraphs}?