arXiv++ Combinatorics

The edge-path matrix is a square matrix where each off-diagonal entry records the maximum number of edge-disjoint paths between the corresponding pair of vertices. Akbari et al. [On edge-path eigenvalues of graphs, Linear Multilinear Algebra 70 (2022) 2998-3008] proposed two conjectures: Conjecture 1 relates the edge-path matrix to an upper bound on the number of edges in the graph, while Conjecture 2 asserts that a graph is Eulerian if and only if all entries of its edge-path matrix are even. In this paper, we prove the two conjectures.

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.

The ribbon group action extends geometric duality and Petrie duality by defining two embedded graphs as twisted duals precisely when they lie within the same orbit under this group action. Twisted duality yields numerous novel properties of fundamental graph polynomials. In this paper, we resolve a problem raised by Ellis-Monaghan and Moffatt [Trans. Amer. Math. Soc. 364 (2012), 1529--1569] for vertex counts by introducing the vertex polynomial: a generating function quantifying vertex distribution across orbits under the ribbon group action. We establish its equivalence via transformations of boundary component enumeration and derive recursive relations through edge deletion, contraction, and twisted contraction. For bouquets, we prove the polynomial depends only on signed intersection graphs. Finally, we provide topological interpretations for the vertex polynomial by connecting this polynomial to the interlace polynomial and the topological transition polynomial.

$f$-vertex stability number $vs_f(G)=\min\{|X|: X\subseteq V(G) \enspace \text{and} \enspace f(G-X)\neq f(G)\}$, and $f$-edge stability number is defined similarly by setting $X\subseteq E(G)$. In this paper, for multiplicative and mining invariant $f$, we give some general bounds for $f$-vertex/edge stability numbers of graphs and some results about the relations between the $f$-vertex/edge stability numbers of graphs and their components.

An Eulerian-minor of an Eulerian graph is obtained from an Eulerian subgraph of the Eulerian graph by contraction. The Eulerian-minor operation preserves Eulerian properties of graphs and moreover Eulerian graphs are well-quasi-ordered under Eulerian-minor relation. In this paper, we characterize Eulerian, planar and outer-planar Eulerian graphs by means of excluded Eulerian-minors, and provide a concise recursive characterization to 4-regular planar graphs.