Short proof of the asymptotic confirmation of the Faudree-Lehel Conjecture

TL;DR

This paper proves the asymptotic confirmation of the Faudree-Lehel Conjecture on irregularity strength for certain regular graphs, establishing bounds that improve previous results and hold for a wide range of degrees.

Contribution

It demonstrates that the Faudree-Lehel Conjecture is valid when the degree is sufficiently large relative to the number of vertices, with explicit bounds and an additive constant.

Findings

Confirmed the conjecture for $d extgreater n^{0.8+\epsilon}$ with $c=28$

Established asymptotic bounds for all $d$-regular graphs with fixed $eta extless 1/4$

Extended and improved previous results by Przybyło

Abstract

Given a simple graph $G$, the {\it irregularity strength} of $G$, denoted $s(G)$, is the least positive integer $k$ such that there is a weight assignment on edges $f: E(G) \to \{1,2,\dots, k\}$ for which each vertex weight $f^V(v):= \sum_{u: \{u,v\}\in E(G)} f(\{u,v\})$ is unique amongst all $v\in V(G)$. In 1987, Faudree and Lehel conjectured that there is a constant $c$ such that $s(G) \leq n/d + c$ for all $d$-regular graphs $G$ on $n$ vertices with $d>1$, whereas it is trivial that $s(G) \geq n/d$. In this short note we prove that the Faudree-Lehel Conjecture holds when $d \geq n^{0.8+\epsilon}$ for any fixed $\epsilon >0$, with a small additive constant $c=28$ for $d$ large enough. Furthermore, we confirm the conjecture asymptotically by proving that for any fixed $\beta\in(0,1/4)$ there is a constant $C$ such that for all $d$-regular graphs $G$, $s(G) \leq \frac{n}{d}(1+\frac{C}{d^{\beta}})+28$, extending and improving a recent result of Przyby{\l}o that $s(G) \leq \frac{n}{d}(1+ \frac{1}{\ln^{\epsilon/19}n})$ whenever $d\in [\ln^{1+\epsilon} n, n/\ln^{\epsilon}n]$ and $d$ is large enough.