arXiv subjects

Metrose Metsidik

Publications and source records attributed to Metrose Metsidik.

8 recordsLinked to original sources

arXiv2026

A face polynomial invariant for embedded graphs

We introduce the face polynomial of a ribbon graph, a generating function for face numbers under the ribbon group action. It addresses the face-count case of the Ellis--Monaghan--Moffatt question on twisted duality. We derive deletion--contraction recursions and prove that this polynomial coincides with the vertex polynomial for $\langleδ\rangle$, $\langleδτ\rangle$, and $\langleδ,τ\rangle$. We characterize monomial cases and obtain formulas and recursions for Euler-genus partial-twuality polynomials. For orientable graphs, we show that the partial-dual face polynomial has both parities whenever an edge exists, so the partial-dual Euler-genus polynomial has only even exponents.

math.CO↗

arXiv2026

A Unified Spectral Framework for Weighted Adjacency-Degree Matrices of Dendrimer and Bethe Trees

We introduce a weighted adjacency-degree matrix $A_{fg}(G)$ with edge weights $f(d_i,d_j)$ and diagonal entries $g(d_i)$, unifying adjacency, Laplacian, signless Laplacian, $A_α$, ABC, Randić, Sombor and related matrices. For dendrimer trees $D_{n,k}$ and Bethe trees $B_{n,k}$, the characteristic polynomial is factorized through one recursive sequence $P_{fg,n}$. When $f^2(1,k)=f^2(k,k)$, this sequence admits a Chebyshev reduction to $ U_{j+1}(x)+δU_j(x)=0, $ covering $L/L^+$ and $A_α$; explicit cosine spectra occur only in special cases, such as the adjacency matrix and the $L/L^+$ end factor of $B_{n,k}$. We derive positive-semidefinite energy formulas, Gershgorin criteria, spectral-gap estimates, interlacing and non-interlacing results, partial eigenvalue-coincidence information, and McClelland- and Koolen--Moulton-type bounds. Several known results are recovered as special cases of this unified framework.

math.CO↗

arXiv2026

Eulerian and Bipartite Partial Duals of Hypermaps

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.

math.CO↗

arXiv2026

Two conjectures on graphs and their edge-path matrices

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.

math.CO↗

arXiv2026

Characterizations of bipartite and Eulerian partial duals of orientable hypermaps

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.

math.CO↗

arXiv2025

Introducing a vertex polynomial invariant for embedded graphs

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.

math.CO↗

arXiv2025

Multiplicative and mining property for stability numbers of graphs

$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.

math.CO↗

arXiv2024

Eulerian-minors and a concise recursive characterization of 4-regular planar graphs

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.

math.CO↗