A coloring of the vertices of a graph G is said to be distinguishing} provided no nontrivial automorphism of G preserves all of the vertex colors. The distinguishing number of G, D(G), is the minimum number of colors in a distinguishing coloring of G. The distinguishing chromatic number of G, chi_D(G), is the minimum number of colors in a distinguishing coloring of G that is also a proper coloring.
Recently the notion of a distinguishing coloring was extended to that of a list distinguishing coloring. Given an assignment L= {L(v) : v in V(G)} of lists of available colors to the vertices of G, we say that G is (properly) L-distinguishable if there is a (proper) distinguishing coloring f of G such that f(v) is in L(v) for all v. The list distinguishing number of G, D_l(G), is the minimum integer k such that G is L-distinguishable for any list assignment L with |L(v)| = k for all v. Similarly, the list distinguishing chromatic number of G, denoted chi_{D_l}(G) is the minimum integer k such that G is properly L-distinguishable for any list assignment L with |L(v)| = k for all v.
In this paper, we study these distinguishing parameters for trees, and in particular extend an enumerative technique of Cheng to show that for any tree T, D_l(T) = D(T), chi_D(T)=chi_{D_l}(T), and chi_D(T) <= D(T) + 1.
The distinguishing number $D(G)$ of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling with $d$ labels that is preserved only by a trivial automorphism. A list assignment to $G$ is an assignment $L = \{L(v)\}_{v\in V (G)}$ of lists of labels to the vertices of $G$. A distinguishing $L$-labeling of $G$ is a distinguishing labeling of $G$ where the label of each vertex $v$ comes from $L(v)$. The list distinguishing number of $G$, $D_l(G)$ is the minimum $k$ such that every list assignment to $G$ in which $|L(v)| = k$ for all $v \in V (G)$ yields a distinguishing $L$-labeli…
A \textit{distinguishing coloring} of a graph $G$ is a coloring of the vertices so that every nontrivial automorphism of $G$ maps some vertex to a vertex with a different color. The \textit{distinguishing number} of $G$ is the minimum $k$ such that $G$ has a distinguishing coloring where each vertex is assigned a color from $\{1,\ldots,k\}$. A \textit{list assignment} to $G$ is an assignment $L=\{L(v)\}_{v\in V(G)}$ of lists of colors to the vertices of $G$. A \textit{distinguishing $L$-coloring} of $G$ is a distinguishing coloring of $G$ where the color of each vertex $v$ comes from $L(v)$. T…
The distinguishing number of a graph $G$, denoted $D(G)$, is the minimum number of colors needed to produce a coloring of the vertices of $G$ so that every nontrivial isomorphism interchanges vertices of different colors. A list assignment $L$ on a graph $G$ is a function that assigns each vertex of $G$ a set of colors. An $L$-coloring of $G$ is a coloring in which each vertex is colored with a color from $L(v)$. The list distinguishing number of $G$, denoted $D_{\ell}(G)$ is the minimum $k$ such that every list assignment $L$ that assigns a list of size at least $k$ to every vertex permits a …
A graph $G$ is said to be $k$-distinguishable if the vertex set can be colored using $k$ colors such that no non-trivial automorphism fixes every color class, and the distinguishing number $D(G)$ is the least integer $k$ for which $G$ is $k$-distinguishable. If for each $v\in V(G)$ we have a list $L(v)$ of colors, and we stipulate that the color assigned to vertex $v$ comes from its list $L(v)$ then $G$ is said to be $\mathcal{L}$-distinguishable where $\mathcal{L} =\{L(v)\}_{v\in V(G)}$. The list distinguishing number of a graph, denoted $D_l(G)$, is the minimum integer $k$ such that every co…
The distinguishing number $D(G)$ of a graph $G$ is the least integer $d$ such that $G$ has a vertex labeling with $d$ labels that is preserved only by a trivial automorphism. In this paper we characterize all trees with radius at most three and distinguishing number two. Also we present a necessary condition for trees with distinguishing number two and radius more than three.
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex (edge) labeling with $d$ labels that is preserved only by the trivial automorphism. It is known that for every graph $G$ we have $D'(G) \leq D(G) + 1$. In this note we characterize trees for which this inequality is sharp. We also show that if $G$ is a connected unicyclic graph, then $D'(G) = D(G)$.
We define a bivariate polynomial for unlabeled rooted trees and show that the polynomial of an unlabeled rooted tree $T$ is the generating function of a class of subtrees of $T$. We prove that the polynomial is a complete isomorphism invariant for unlabeled rooted trees. Then, we generalize the polynomial to unlabeled unrooted trees and we show that the generalized polynomial is a complete isomorphism invariant for unlabeled unrooted trees.
For a tree $T$, consider its smallest subtree $T^{\circ}$ containing all vertices of degree at least $3$. Then the remaining edges of $T$ lie on disjoint paths each with one endpoint on $T^{\circ}$. We show that the chromatic symmetric function of $T$ determines the size of $T^{\circ}$, and the multiset of the lengths of these incident paths. In particular, this generalizes a proof of Martin, Morin, and Wagner that the chromatic symmetric function distinguishes spiders.
An adjacent vertex distinguishing edge colouring of a graph $G$ without isolated edges is its proper edge colouring such that no pair of adjacent vertices meets the same set of colours in $G$. We show that such colouring can be chosen from any set of lists associated to the edges of $G$ as long as the size of every list is at least $Δ+CΔ^{\frac{1}{2}}(\logΔ)^4$, where $Δ$ is the maximum degree of $G$ and $C$ is a constant. The proof is probabilistic. The same is true in the environment of total colourings.
An assignment of numbers to the vertices of graph G is closed distinguishing if for any two adjacent vertices v and u the sum of labels of the vertices in the closed neighborhood of the vertex v differs from the sum of labels of the vertices in the closed neighborhood of the vertex u unless they have the same closed neighborhood (i.e. N[u]=N[v]). The closed distinguishing number of G, denoted by dis[G], is the smallest integer k such that there is a closed distinguishing labeling for G using integers from the set[k].Also, for each vertex $v \in V(G)$, let L(v) denote a list of natural numbers …
The distinguishing number $D(G)$ of a graph $G$ is the smallest number of colors that is needed to color the vertices of $G$ such that the only color preserving automorphism is the identity. For infinite graphs $D(G)$ is bounded by the supremum of the valences, and for finite graphs by $Δ(G)+1$, where $Δ(G)$ is the maximum valence. Given a finite or infinite tree $T$ of bounded finite valence $k$ and an integer $c$, where $2 \leq c \leq k$, we are interested in coloring the vertices of $T$ by $c$ colors, such that every color preserving automorphism fixes as many vertices as possible. In this …
Among other results, it is shown that 3-trees are $Δ$-edge-choosable and that graphs of tree-width 3 and maximum degree at least 7 are $Δ$-edge-choosable.
Let $T$ be an unrooted tree. The \emph{chromatic symmetric function} $X_T$, introduced by Stanley, is a sum of monomial symmetric functions corresponding to proper colorings of $T$. The \emph{subtree polynomial} $S_T$, first considered under a different name by Chaudhary and Gordon, is the bivariate generating function for subtrees of $T$ by their numbers of edges and leaves. We prove that $S_T = <Φ,X_T>$, where $<\cdot,\cdot>$ is the Hall inner product on symmetric functions and $Φ$ is a certain symmetric function that does not depend on $T$. Thus the chromatic symmetric function is a stronge…
In 1995, Stanley introduced the well-known chromatic symmetric function $X_{G}(x_{1},x_{2},\ldots)$ of a graph $G$. It is a sum of monomial symmetric functions such that for each vertex coloring of $G$ there is exactly one of these summands. The question, whether $X_{G}(x_1,x_{2},\ldots)$ distinguishes nonisomorphic trees with the same number of vertices, is still open in general. For special trees it has already been shown. In 2008, Martin, Morin and Wagner proved it for spiders and some caterpillars. We decompose a tree by separating the leafs and their neighbors and do the same to the remai…
Signed list edge coloring in graphs of bounded treewidth
Yan’an University（延安大学）；School of Mathematics and Statistics, Northwestern Polytechnical University（西北工业大学数学与统计学院）；School of Mathematics and Statistics & Key Laboratory of Analytical Mathematics and Applications (Ministry of Education), Fujian Normal University（福建师范大学数学与统计学院与分析数学及应用重点实验室（教育部））；School of Marine Science and Technology, Northwestern Polytechnical University（西北工业大学海洋科学与技术学院）
We show that for all simple graphs G other than the cycles C_3,C_4,C_5, and the claw K_1,3 there exists a K > 0 such that whenever k > K the k-th iterate of the line graph can be distinguished by at most two colors. Additionally we determine, for trees, when the distinguishing number of the line graph of T is greater than the distinguishing number of T.
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex (edge) labeling with $d$ labels that is preserved only by the trivial automorphism. It is known that for every graph $G$ we have $D'(G) \leq D(G) + 1$. The complete characterization of finite trees $T$ with $D'(T)=D(T)+ 1$ has been given recently. In this note we show that if $G$ is a finite connected graph with at least one cycle, then $D'(G)\leq D(G)$. Finally, we characterize all connected graphs for which $D'(G) \leq D(G)$.
A proper edge coloring of a simple graph $G$ is called a vertex distinguishing edge coloring (vdec) if for any two distinct vertices $u$ and $v$ of $G$, the set of the colors assigned to the edges incident to $u$ differs from the set of the colors assigned to the edges incident to $v$. The minimum number of colors required for all vdecs of $G$ is denoted by $χ\,'_s(G)$ called the vdec chromatic number of $G$. Let $n_d(G)$ denote the number of vertices of degree $d$ in $G$. In this note, we show that a tree $T$ with $n_2(T)\leq n_1(T)$ holds $χ\,'_s(T)=n_1(T)+1$ if its diameter $D(T)=3$ or one …
A type is the set of all pairwise nonisotopic binary trees with the same passport. A type is called decomposable, if it is a union of several Galois orbits. In this work we present the list of all passports of plane binary trees with ten edges and the list of all Galois orbits.
An edge labeling of a graph distinguishes neighbors by sets (multisets, resp.), if for any two adjacent vertices $u$ and $v$ the sets (multisets, resp.) of labels appearing on edges incident to $u$ and $v$ are different. In an analogous way we define total labelings distinguishing neighbors by sets or multisets: for each vertex, we consider labels on incident edges and the label of the vertex itself. In this paper we show that these problems, and also other problems of similar flavor, admit an elegant and natural generalization as a hypergraph coloring problem. An ieds-coloring (iedm-coloring,…
By weighted tree we understand such connected tree,that: a) each its vertex and each edge have a positive integer weight; b) the weight of each vertex is equal to the sum of weights of outgoing edges. Each tree has a binary structure --- we can color its vertices in two colors, black and white so, that adjacent vertices have different colors. A type is a set of pairwise non-isotopic plane weighted trees with a given list of weights of white vertices and a given list of weights of black vertices. In this work we present a method for computing the cardinality of a given type.
A star $k$-edge coloring is a proper edge coloring such that there are no bichromatic paths or cycles of length four. The smallest integer $k$ such that $G$ admits a star $k$-edge coloring is the star chromatic index of $G$. Deng \etal \cite{MR2933839}, and Bezegov{á} \etal \cite{MR3431294} independently proved that the star chromatic index of a tree is at most $\lfloor \frac{3Δ}{2} \rfloor$, and the bound is sharp. Han \etal \cite{MR3924408} strengthened the result to list version of star chromatic index, and proved that $\lfloor \frac{3Δ}{2} \rfloor$ is also the sharp upper bound for the lis…
The slow-coloring game is played by Lister and Painter on a graph $G$. On each round, Lister marks a nonempty subset $M$ of the remaining vertices, scoring $|M|$ points. Painter then gives a color to a subset of $M$ that is independent in $G$. The game ends when all vertices are colored. Painter's goal is to minimize the total score; Lister seeks to maximize it. The score that each player can guarantee doing no worse than is the sum-color cost of $G$, written $\mathring{\rm s}(G)$. We develop a linear-time algorithm to compute $\mathring{\rm s}(G)$ when $G$ is a tree, enabling us to characteri…
This list presents problems in the Reverse Mathematics of infinitary Ramsey theory which I find interesting but do not personally have the techniques to solve. The intent is to enlist the help of those working in Reverse Mathematics to take on such problems, and the myriad of related questions one can infer from them. A short bit of background and starting references are provided.
We consider the parameterised complexity of several list problems on graphs, with parameter treewidth or pathwidth. In particular, we show that List Edge Chromatic Number and List Total Chromatic Number are fixed parameter tractable, parameterised by treewidth, whereas List Hamilton Path is W[1]-hard, even parameterised by pathwidth. These results resolve two open questions of Fellows, Fomin, Lokshtanov, Rosamond, Saurabh, Szeider and Thomassen (2011).
If $G$ is a graph and $\mathbf{m}$ is an ordered multiplicity list which is realizable by at least one symmetric matrix with graph $G$, what can we say about the eigenvalues of all such realizing matrices for $\mathbf{m}$? It has sometimes been tempting to expect, especially in the case that $G$ is a tree, that any spacing of the multiple eigenvalues should be realizable. In 2004, however, F. Barioli and S. Fallat produced the first counterexample: a tree on 16 vertices and an ordered multiplicity list for which every realizing set of eigenvalues obeys a nontrivial linear constraint. We extend…
Let $f: V(G)\cup E(G)\rightarrow \{1,2,\dots,k\}$ be a non-proper total $k$-coloring of $G$. Define a weight function on total coloring as $$ϕ(x)=f(x)+\sum\limits_{e\ni x}f(e)+\sum\limits_{y\in N(x)}f(y),$$ where $N(x)=\{y\in V(G)|xy\in E(G)\}$. If $ϕ(x)\neq ϕ(y)$ for any edge $xy\in E(G)$, then $f$ is called a neighbor full sum distinguishing total $k$-coloring of $G$. The smallest value $k$ for which $G$ has such a coloring is called the neighbor full sum distinguishing total chromatic number of $G$ and denoted by fgndi$_{\sum}(G)$. The coloring is an extension of neighbor sum distinguishing…
Multicolor Ramsey and list Ramsey numbers for star-like trees
School of Mathematical Sciences, Huaqiao University（华侨大学数学科学学院）；Academy of Plateau Science and Sustainability and School of Mathematics and Statistics, Qinghai Normal University（青海师范大学高原科学与可持续发展研究院及数学与统计学院）；Department of Mathematics and Statistics, Wright State University（赖特州立大学数学与统计系）
A vertex coloring of a graph is nonrepetitive if there is no path in the graph whose first half receives the same sequence of colors as the second half. While every tree can be nonrepetitively colored with a bounded number of colors (4 colors is enough), Fiorenzi, Ochem, Ossona de Mendez, and Zhu recently showed that this does not extend to the list version of the problem, that is, for every $\ell \geq 1$ there is a tree that is not nonrepetitively $\ell$-choosable. In this paper we prove the following positive result, which complements the result of Fiorenzi et al.: There exists a function $f…
Let G=(V,E) be a graph and let f be a function that assigns list sizes to the vertices of G. It is said that G is f-choosable if for every assignment of lists of colors to the vertices of G for which the list sizes agree with f, there exists a proper coloring of G from the lists. The sum choice number is the minimum of the sum of list sizes for f over all choosable functions f for G. The sum choice number of a graph is always at most the sum |V|+|E|. When the sum choice number of G is equal to this upper bound, G is said to be sc-greedy. In this paper, we determine the sum choice number of all…
A nonrepetitive coloring of a path is a coloring of its vertices such that the sequence of colors along the path does not contain two identical, consecutive blocks. The remarkable construction of Thue asserts that 3 colors are enough to color nonrepetitively paths of any length. A nonrepetitive coloring of a graph is a coloring of its vertices such that all simple paths are nonrepetitively colored. Assume that each vertex $v$ of a graph $G$ has assigned a set (list) of colors $L_v$. A coloring is chosen from $\{L_v\}_{v\in V(G)}$ if the color of each $v$ belongs to $L_v$. The Thue choice numbe…
We provide a logarithmic upper bound for the disentangling number on unordered lists of leaf labeled trees. This results is useful for analyzing phylogenetic mixture models. The proof depends on interpreting multisets of trees as high dimensional contingency tables.
The property of spatial mixing and strong spatial mixing in spin systems has been of interest because of its implications on uniqueness of Gibbs measures on infinite graphs and efficient approximation of counting problems that are otherwise known to be #P hard. In the context of coloring, strong spatial mixing has been established for regular trees when $q \geq α^{*} Δ+ 1$ where $q$ the number of colors, $Δ$ is the degree and $α^* = 1.763..$ is the unique solution to $xe^{-1/x} = 1$. It has also been established for bounded degree lattice graphs whenever $q \geq α^* Δ- β$ for some constant $β$…
