arXiv++ Combinatorics

A graph $G=(V,E)$ is universally $3$-edge-weightable if for every set $\{a,b,c\}$ of three distinct real numbers, there exists an edge-weighting $w:E\to\{a,b,c\}$ such that $d_w(u)\neq d_w(v)$ for all $uv\in E$. The 1-2-3 Conjecture, recently settled by Keusch, ensures that all nice graphs admit a proper $\{1,2,3\}$-edge-weighting. For regular graphs, this implies proper edge-weightings for arithmetic progressions $\{a,b,c\}$ via affine transformation, but not for general triples due to the spacing-ratio preservation property of affine maps. We prove that every $k$-regular graph with $k\ge 2$ is universally $3$-edge-weightable. This establishes proper edge-weightings for all triples $\{a,b,c\}$, not just arithmetic progressions, showing that regular graphs satisfy a strictly stronger weighting property than what follows from the 1-2-3 Conjecture alone. The proof adapts the independent-set decomposition framework to edge-weightings and introduces a two-phase conflict-resolution scheme that operates independently of the specific choice of $\{a,b,c\}$.

An antimagic {labeling} of a graph $G=(V,E)$ is a one-to-one mapping $f: E\rightarrow\{1,2,\ldots,|E|\}$, ensuring that the vertex sums in $V$ are pairwise distinct, where a vertex sum of a vertex $v$ is defined as the sum of the labels of the edges incident to $v$. A graph is called antimagic if it admits an antimagic labeling. The Antimagic Labeling Conjecture, proposed by Hartsfield and Ringel in 1990, posits that every connected graph other than $K_2$ is antimagic. The conjecture was confirmed for graphs of average degree at least 4,182 in 2016 by Eccles, where it was stated that a similar approach could not reduce the bound below 1,000 from 4,182. This paper shows that every bipartite graph with minimum degree at least 15 is antimagic. Our approach relies on three tools: a consequence of König's Theorem, the existence of a subgraph of a specific size that avoids Eulerian components, and a labeling lemma that ensures some vertex sums are divisible by three while others are not.

For a simple graph $G=(V,E)$, a \emph{proper total weighting} is a mapping $w: V\cup E\rightarrow \mathbb R$ such that for every edge $uv\in E$, $w(u)+\sum_{e\ni u}w(e)\neq w(v)+\sum_{e\ni v}w(e)$. The graph $G$ is said $(2,2)$-\emph{choosable} if, for any list assignment $L$ that assigns to each $z$ in $V\cup E$ a set $L(z)$ of two real numbers, there exists a {proper total weighting} $w$ with $w(z)\in L(z)$ for every $z\in V\cup E$. Wong and Zhu, and independently Przybyło and Woźniak conjectured that every simple graph is $(2,2)$-choosable. This conjecture remains open. For a set $\{a,b\}\subset \mathbb R$, its span is defined as $|b-a|$. We call a graph $G=(V,E)$ \emph{uniform-span} $(2,2)$-\emph{choosable} if, for any list assignment $L$ that assigns to every $z\in V\cup E$ a two-element list of a common span, there exists a {proper total weighting} respect to the assignment. In this paper, we present a novel lemma and perform comprehensive enhancements to our previous algorithm. These contributions enable us to prove that every graph is uniform-span $(2,2)$-choosable. This confirms the 1-2 conjecture in full generality, and provides supporting evidence for the $(2,2)$-choosable conjecture.