arXiv++ Combinatorics

We study hyperedge partial duals of finite hypermaps in a purely combinatorial framework, without assuming orientability. A hypermap is represented by three fixed-point-free involutions $(τ_0,τ_1,τ_2)$ on its flag set. We first give an explicit construction of the medial map from this model: $02$-orbits become the medial vertex discs, while $τ_1$-transpositions become the medial bands; a local orientation system and its twist data then provide a signed rotation description of the medial map. We next prove that the state circles associated with a chosen set of hyperedges are in natural bijection with the vertex orbits of the corresponding partial dual, yielding a crossing-total characterization of all Eulerian hyperedge partial duals. For bipartiteness, the twist data lead to a modified medial map in which inserted bars record the obstruction to a global orientation. We prove that a partial dual is bipartite if and only if its dualized hyperedge set is exactly the set of $c$-type hyperedges identified by an all-crossing orientation of this modified medial map. When the hypermap is orientable, these constructions specialize to the known orientable-hypermap results; when every hyperedge has valence two, they specialize to the ribbon-graph results.

We first rewrite the Chmutov and Vignes-Tourneret's three-permutation formula as an explicit hyperedge-partial-duality formula in the two-permutation model, and show that in this model partial duality acts exactly by preserving the support and length of every hyperedge while reversing the $α$-cycles corresponding to the selected hyperedges. Next, using the Cori and Hetyei's construction of the medial map, we define for each hyperedge subset $E'\subseteq E(H)$ a black/white smoothing state $S_{E'}$, and prove rigorously that the state circles of $S_{E'}$ are in bijection with the vertices of the partial dual $H^{E'}$. Consequently, $H^{E'}$ is Eulerian if and only if every state circle has even length. On this basis we prove the following two main theorems: \[ \begin{aligned} H^{E'}\text{ is Eulerian} &\Longleftrightarrow \exists\text{ a crossing-total direction $Ω$ of }M(H) \\ &\hspace{3.35em}\text{such that } E'=D(Ω)\cup T',\quad T'\subseteq T(Ω), \end{aligned} \] \[ \begin{aligned} H^{E'}\text{ is bipartite} &\Longleftrightarrow \exists\text{ an all-crossing direction $Φ$ of }M(H) \\ &\hspace{3.35em}\text{such that } E'=C(Φ). \end{aligned} \] Here $D(Ω)$, $T(Ω)$ and $C(Φ)$ denote, respectively, the sets of all $d$-type, $t$-type and $c$-type hyperedges. Unlike the ribbon-graph case, the hypermap setting exhibits a genuine new obstruction: if some hyperedge-partial dual is bipartite, then every hyperedge of the original hypermap must have even length.