Ilya Lukashenko | arXiv Science

arXiv2026

On infinite families of $[P_n]$-irregular graphs

This paper presents the first systematic study of $[F]$-irregular graphs, a concept that parallels classical $F$-irregularity. For a fixed graph $F$, a graph $G$ is $[F]$-irregular if the numbers of its induced subgraphs isomorphic to $F$ containing a given vertex are pairwise distinct for all vertices of $G$. We prove that there exist infinitely many $[P_n]$-irregular graphs for any path $P_n$ of order $n \ge 3$. We establish that a non-trivial $[P_3]$-irregular graph of order $k$ exists if and only if $k \ge 7$. Finally, we propose the Strong Conjecture on $[F]$-irregular graphs.

math.CO↗

arXiv2026

On $\overrightarrow{C_{n}}$-irregular oriented graphs

Let $F$ and $G$ be simple finite oriented graphs (without symmetric arcs). A graph $G$ is called $F$-irregular if any two distinct vertices in $G$ belong to a different number of subgraphs of $G$ isomorphic to $F$. In this paper, we investigate the problem of the existence of $\overrightarrow{C_n}$-irregular graphs, where $\overrightarrow{C_n}$ is an oriented cycle of order $n$ (a strongly connected oriented graph that is formed from a simple undirected cycle $C_n$ on $n$ vertices by orienting each of its edges). For every integer $n \ge 3$, we prove that there exists an infinite family of $\overrightarrow{C_n}$-irregular graphs. In addition, we show that the order of a non-trivial $\overrightarrow{C_3}$-irregular graph can be any integer not less than $10$ and no others. We also construct $\overrightarrow{C_4}$-irregular graphs of any order at least $7$ and prove that there are no non-trivial $\overrightarrow{C_4}$-irregular graphs of order less than $7$.

math.CO↗