arXiv++ Combinatorics

A total graph is an ordered triple $(V_0, V_1, E)$, where $V_0, V_1$ are the sets of empty and full vertices, respectively, $V_0 \cap V_1 = \emptyset$, and the set of edges $E$ is a subset of \(\binom{V_0 \cup V_1}{2}\) $(E\cap(V_0 \cup V_1)=\emptyset)$. A simple graph is a total graph in which all vertices are full. We say that a total graph $G$ is locally irregular if every two adjacent vertices have different total degrees, where by the total degree of a vertex $v$ in $G$ we mean the number of edges in $G$ that contain $v$ plus 1 if $v$ is full, or plus 0 if $v$ is empty. A total coloring of a graph $G$ whose colors induce locally irregular total subgraphs is called locally irregular total coloring, and the minimum number of colors required in such a coloring of $G$ is denoted by ${\rm tlir}(G)$. In 2015, Baudon, Bensmail, Przybyło, and Woźniak conjectured that ${\rm tlir}(G)\leq 2$ for every graph $G$. In this paper, we prove this conjecture for cacti, subcubic graphs, and split graphs. We also provide a general upper bound for ${\rm tlir}(G)$ depending on the chromatic number of $G$, and a constant upper bound if $G$ is planar or outerplanar. In our proofs, we utilize special decompositions of graphs and the connection between acyclic vertex coloring and locally irregular total coloring.

Let $f: E \mapsto \{1,2,\dots,k\}$ be an edge coloring of the $n$ - dimensional hypercube $H_n$. By the palette at a vertex $v$ we mean the sequence $\left(f(e_1(v)), f(e_1(v)),\dots, f(e_n(v))\right)$, where $e_i(v)$ is the $i$ - dimensional edge incident to $v$. In the paper, we show that two colors are enough to distinguish all vertices of the $n$ - dimensional hypercube $H_n$ ($n \geq 2$) by their palettes. We also show that if $f$ is a proper edge coloring of the hypercube $H_n$ ($n\geq 5$), then $n$ colors suffice to distinguish all vertices by their palettes.

A distinguishing index of a (di)graph is the minimum number of colours in an edge (or arc) colouring such that the identity is the only automorphism that preserves that colouring. We investigate the minimum and maximum value of the distinguishing index over all orientations of a given graph $G$. We present sharp results for these parameters in terms of the distinguishing index of $G$ for trees, unbalanced bipartite graphs, traceable graphs and claw-free graphs. With this, we answer the question of Meslem and Sopena.

We consider edge colorings of graphs. An edge coloring is a majority coloring if for every vertex at most half of the edges incident with it are in one color. And edge coloring is a distinguishing coloring if for every non-trivial automorphism at least one edge changes its color. We consider these two notions together. We show that every graph without pendant edges has a majority distinguishing edge coloring with at most $\lceil\sqrtΔ\rceil+5$ colors. Moreover, we show results for some classes of graphs and a~general result for symmetric digraphs.

A graph $G$ is said to be $d$-distinguishable if there is a vertex coloring of $G$ with a set of $d$ colors which breaks all of the automorphisms of $G$ but the identity. We call the minimum $d$ for which a graph $G$ is $d$-distinguishiable the distinguishing number of $G$, denoted by $D(G)$. When $D(G)=2$, the minimum number of vertices in one of the color classes is called the cost of distinguishing of $G$ and is shown by $ρ(G)$. In this paper, we generalize this concept to edge-coloring by introducing the cost of edge-distinguishing of a graph $G$, denoted by $ρ'(G)$. Then, we consider $ρ'(K_n )$ for $n\geq 6$ by finding a procedure that gives the minimum number of edges of $K_n$ that should be colored differently to have a $2$-distinguishing edge-coloring. Afterwards, we develop a machinery to state a sufficient condition for a coloring of the Cartesian product to break all non-trivial automorphisms. Using this sufficient condition, we determine when cost of distinguishing and edge-distinguishing of the Cartesian power of a path equals to one. We also show that this parameters are equal to one for any Cartesian product of finitely many paths of different lengths. Moreover, we do a similar work for the Cartesian powers of a cycle and also for the Cartesian products of finitely many cycles of different orders. Upper bounds for the cost of edge-distinguishing of hypercubes and the Cartesian powers of complete graphs are also presented.