Perfect precise colorings of plane semiregular tilings

Abstract: A coloring of a planar semiregular tiling $\mathcal{T}$ is an assignment of a unique color to each tile of $\mathcal{T}$. If $G$ is the symmetry group of $\mathcal{T}$, we say that the coloring is perfect if every element of $G$ induces a permutation on the finite set of colors. If $\mathcal{T}$ is $k$-valent, then a coloring of $\mathcal{T}$ with $k$ colors is said to be precise if no two tiles of $\mathcal{T}$ sharing the same vertex have the same color. In this work, we obtain perfect precise colorings of some families of $k$-valent semiregular tilings in the plane, where $k\leq 6$.

\section[Introduction]{Introduction and Preliminaries}
	Aside from their aesthetic and mathematical appeal, symmetrically colored tilings have been studied because of their applications in
	crystallography and materials science (see~\cite{sen} and references therein).
	Of particular interest are perfect colorings of tilings, that is,
	colorings where every symmetry of the uncolored tiling sends all tiles of a given color to tiles of the same color~\cite{fr,JW19}.
	In addition, colorings of patterns in the hyperbolic plane have garnered attention because of their connection
	with quasicrystals and structural chemistry~\cite{de,bpf,miro,hyde}.

	The term ``precise coloring'' was coined by Rigby in \cite{ri1} to refer to a
	coloring of the regular triangular tiling $(3^7)$ in the hyperbolic plane in which no two tiles of the same color share a common vertex.

	This paper is a continuation of work on identifying perfect precise colorings of planar tilings in \cite{cr, y1,y2, rov}.
	We demonstrate in Section~\ref{example} how to obtain perfect precise colorings with $k$-colors of some families of plane semiregular $k$ valent tilings where $k\leq 6$.
	These colorings were generated using a combinatorial approach and are verified to be perfect through group-theoretic reasoning.
	Most of the Archimedean tilings considered by Crowe in \cite{cr} fall under the more general class of semiregular tilings examined in this work,
	and his findings become special cases of results in Section~\ref{threevalent}, and Propositions~\ref{resultspqpq}, \ref{p4q4results}, and \ref{33p3presults}.

	General results on how to obtain perfect precise colorings are discussed in Section~\ref{methods}.
	Theorem~\ref{gencase} allows us to generate perfect or chirally perfect colorings with any number of colors, and for any planar tiling regardless of the number of orbits of tiles.
	One may use GAP \cite{GAP4} to find suitable subgroups of the symmetry group of the uncolored tiling that is needed to obtain such colorings.
	This was what was done to obtain the perfect precise coloring of the $4$-valent semiregular tiling with five colors in Figure~\ref{3464},
	and the same is applicable in finding perfect precise colorings with $n$ colors of a $k$-valent semiregular tiling where $n\geq k$.

	Recall that an edge-to-edge tiling of the plane by regular polygons is called \emph{semiregular} (or \emph{uniform}) if the cyclic arrangement of polygons around all vertices are the same.
	Every semiregular tiling is denoted based on the sequential arrangement of regular polygons about a vertex.
	That is, $(p_1.p_2.\cdots.p_k)$ is the semiregular tiling wherein the polygons occuring at any vertex are a $p_1$-gon, a $p_2$-gon$, \ldots,$ and a $p_k$-gon in this order or in reverse.
	Since the valence of each vertex of the semiregular tiling $(p_1. p_2. \cdots .p_k)$ is $k$, we say that the tiling is \emph{$k$-valent}.
	Examples of semiregular tilings in the spherical, Euclidean, and hyperbolic plane are shown in Figure~\ref{fig:semireg}.
	It is well known that there are only a finite number of semiregular tilings in the spherical and Euclidean plane,
	but an infinite number in the hyperbolic plane.
	Constructing semiregular tilings in the hyperbolic plane was explored in \cite{mi}, and more recently in \cite{datta}.
	In this work, we deal with particular families of $k$-valent semiregular tilings where $k\leq 6$.

	\begin{figure}[h!t]
		\centering
		$\begin{array}{ccc}
			\includegraphics[width=1.4in]{5.6.6} &
			\includegraphics[width=1.4in]{3.6.3.6} &
			\includegraphics[width=1.4in]{3.3.4.3.6}
			\\ (5.6.6) & (3.6.3.6) & (3.3.4.3.6)
		\end{array}$
		\caption{Some semiregular tilings of the plane.}
		\label{fig:semireg}
	\end{figure}

	A \emph{$k$-coloring} of a semiregular planar tiling $\mathcal T$ is a surjective map from (the tiles of) $\ensuremath{{\mathcal T}}$ to a finite set of $k$ colors.
	The coloring is called \emph{precise} if no two tiles sharing a common vertex have the same color.
	A coloring of $\mathcal T$ is said to be \emph{perfect} if every element of the symmetry group $G$ of $\mathcal T$ effects a permutation on the set of colors.
	If $G$ contains indirect symmetries but only the direct symmetries (orientation-preserving symmetries) of $G$ permute the colors in a coloring of $\mathcal T$,
	then we say that the coloring is \emph{chirally perfect}.
	A coloring of $\mathcal T$ that has only one orbit of colors under the action of $G$ is called \emph{transitive}.
	The symmetry group of every tiling considered in this study is a triangle group ${\ast}pqr=\gen{P, Q, R: P^2 = Q^2 = R^2 = (QR)^p = (RP)^q = (PQ)^r = 1}$, or a subgroup of this group.

	\section{Methods to Obtain Perfect Precise Colorings}\label{methods}
	There are two ways to obtain a perfect precise coloring of a tiling.
	The first approach is to ensure at the outset that the coloring obtained is precise,
	while making sure that the colors are permuted by generators of the symmetry group of the tiling.
	This is the approach used by Crowe in \cite{cr} to obtain all perfect precise colorings of Euclidean semiregular tilings
	where the number of colors is equal to the valency of the tiling.
	This method entails a combinatorial case-to-case analysis,
	and becomes quite involved as the valency increases.
	Nevertheless, this method is convenient especially for $3$-valent and $4$-valent tilings.

	For the $3$-valent case, the following lemma appears in~\cite{cr}.

	\begin{lemma}\label{3valent}
		Let $\mathcal{T}$ be a 3-valent semiregular planar tiling.
		If a tile of $\mathcal{T}$ has an odd number of edges, then there is no precise coloring of $\mathcal{T}$.
	\end{lemma}

	The proof of Lemma~\ref{3valent} is immediate: if the tile $t$ with an odd number of edges has color 1,
	then the tiles surrounding $t$ need to be colored alternately by colors 2 and 3,
	which cannot happen because of the odd number of edges of $t$.

	Let us consider a semiregular planar tiling $\ensuremath{{\mathcal T}}$ of the form $(p_1.p_2.\cdots.p_k)$ where $k\geq 3$ and the $p_i$'s are distinct.
	Hence, $\ensuremath{{\mathcal T}}$ is a $k$-valent tiling with $k$ different polygons meeting at every vertex of $\ensuremath{{\mathcal T}}$.
	Clearly, assigning a unique color to each of the $k$ types of polygons is the only way to obtain a precise coloring of $\ensuremath{{\mathcal T}}$.
	Since symmetries of $\ensuremath{{\mathcal T}}$ are isometries, they can only map a polygonal tile to another tile of the same type.
	This implies that every symmetry of $\ensuremath{{\mathcal T}}$ fixes each color in the coloring of $\ensuremath{{\mathcal T}}$, and so the colored tiling is perfect.
	We write this into a lemma for easy reference in the next section.

	\begin{lemma}\label{even}
		The semiregular planar tiling $(p_1.p_2.\cdots.p_k)$ where $k\geq 3$ and the $p_i$'s are distinct
		has exactly one perfect precise coloring.
	\end{lemma}

	Observe that Lemmas~\ref{3valent} and~\ref{even} imply that there is no semiregular planar tiling $(p.q.r)$
	such that $p$, $q$, and $r$ are distinct and one among them is odd.
	This result can be verified in~\cite{mi}.

	Another approach is to first obtain perfect colorings of a tiling $\ensuremath{{\mathcal T}}$, and then discard those that are not precise.
	In this approach, one may use suitable subgroups of the symmetry group of $\ensuremath{{\mathcal T}}$ to obtain perfect colorings of $\ensuremath{{\mathcal T}}$.
	A group-theoretic approach to obtain perfect colorings of tilings can be traced back to~\cite{waer,roth}.
	The method described here is based on the work started in~\cite{de}.

	If there is only one orbit of tiles under the symmetry group of $\ensuremath{{\mathcal T}}$,
	then the following theorem (with $X=\mathcal{T}$ and $H=G$) characterizes perfect colorings of $\ensuremath{{\mathcal T}}$ as partitions of $\ensuremath{{\mathcal T}}$ obtained from the orbit of a tile in $\ensuremath{{\mathcal T}}$ by
	some subgroup of the symmetry group of $\ensuremath{{\mathcal T}}$ (cf.~\cite{de,bpf}).
	The theorem is applicable not only to perfect colorings but also to chirally perfect colorings.
	The statement and proof of the theorem appears in~\cite{Ev}, but for completeness we give here the proof.

	\begin{thm}\label{oc}
		Let $X$ be a subset of a planar tiling $\ensuremath{{\mathcal T}}$ such that the subgroup $H$ of the symmetry group $G$ of $\ensuremath{{\mathcal T}}$ acts transitively on~$X$.
		Then the $m$ colors of a coloring of $X$ are permuted by elements of $H$
		if and only if the coloring corresponds to a partition of~$X$ of the form
		\begin{equation}\label{poc}
			\{h (Jt)\mid h\in H\},
		\end{equation}
		where $t\in X$ and $J$ is a subgroup of index $m$ in $H$ that contains $\stab_H(t)$ (the stabilizer of $t$ with respect to $H$).
	\end{thm}

	\begin{proof}
		Consider a coloring of $X$ with colors $1,\ldots,m$ such that the colors are permuted by elements of~$H$.
		Then the group $H$ acts on the set of colors.
		Take any tile $t\in X$ and assume that its color is $1$.
		Let $J$ be the stabilizer of $1$ with respect to $H$.
		Since $H$ acts transitively on $X$, it also acts transitively on the set of $m$ colors.
		It then follows from the Orbit-Stabilizer theorem that $[H:J]=m$.
		Note that every element of $H$ that fixes $t$ must also fix color $1$, and so $\stab_H(t)\subseteq J$.
		Finally, the coloring of $X$ corresponds to the partition $\{h (Jt)\mid h\in H\}$ of $X$,
		where the color of the tiles in $h(Jt)$ is the color of tile $ht$.

		Conversely, $\cup_{h\in H}(h(Jt))=X$ since $H$ acts transitively on $X$.  Moreover, because the stabilizer of
		$t$ in $H$ is in $J$, the $m$ sets in $\mathcal{C}=\{h(Jt)\mid h\in H\}$ are pairwise disjoint.
		It is clear that $\mathcal{C}$ is invariant under $H$,
		which implies that the elements of $H$ permute the colors in a coloring of $X$ corresponding to $\mathcal{C}$.
	\end{proof}

	Observe from the proof of Theorem \ref{oc} that the subgroup $J$ in \eqref{poc} consists of elements of $H$ that fix the color of tile $t$, or equivalently,
	$J$ is the stabilizer of the set $Jt$ under the action of $H$ on the elements of the partition of $X$ in \eqref{poc}.

	We now look at results on how to perfectly color a planar tiling that has more than one transitivity class under the action of its symmetry group.

	\begin{lemma}\label{share}
		Let $\ensuremath{{\mathcal T}}$ be a planar tiling with symmetry group $G$ and $H$ be a subgroup of $G$.
		If the $H$-orbits $X_i$ and $X_j$ of $\ensuremath{{\mathcal T}}$ share some color in a coloring of $\ensuremath{{\mathcal T}}$ where each element of $H$ permutes the colors,
		then $X_i$ and $X_j$ have the same set of colors.
		In particular, $X_i$ and $X_j$ have the same number of colors.
	\end{lemma}
	\begin{proof}
		Suppose that the tiles in $X_i$ have colors $1,2,\ldots,m$, and let $X_i$ and $X_j$ share color $1$.
		Without loss of generality, assume that tiles $t_i\in X_i$ and $t_j\in X_j$ have color 1.
		Since the group $H$ acts transitively on $X_i$,
		there exist $h_1, \ldots, h_m \in H$ such that
		the color of tile $h_kt_i$ is $k$ for $1\leq k\leq m$.
		Since the colors are permuted by elements of $H$, the color of tile $h_k(t_j)$ should also be $k$ for each $1\leq k\leq m$.
		Hence all colors that appear in $X_i$ occur in $X_j$.
		The same argument reversed yields the claim.
	\end{proof}

	Let $G$ be the symmetry group of a planar tiling $\ensuremath{{\mathcal T}}$.
	The next lemma (with $O=\ensuremath{{\mathcal T}}$ and $H=G$) deals with the instance when the same set of colors is used to color each orbit of $\ensuremath{{\mathcal T}}$ under $G$
	to come up with a perfect coloring of $\ensuremath{{\mathcal T}}$.

	\begin{lemma}\label{norbits}
		Let $O$ be a subset of a planar tiling $\ensuremath{{\mathcal T}}$ with symmetry group $G$, and $H$ a subgroup of~$G$.
		If all the H-orbits $X_1,\ldots, X_n$ of $O$ have the same set of $m$ colors in a coloring of $O$,
		then the colors of~$O$ are permuted by elements of $H$ if and only if the coloring corresponds to a partition of $O$ of the form
		$\{h(Jt_1\cup\cdots\cup Jt_n)\mid h\in H\}$,
		where $t_i\in X_i$, $1\leq i\leq n$, $J$ is a subgroup of index~$m$ in $H$ that contains $\stab_H(t_1), \ldots,\stab_H(t_n)$.
	\end{lemma}
	\begin{proof}
		It follows from Theorem~\ref{oc} that the coloring of $X_1$ can be viewed as the partition
		$\{h(Jt_1)\mid h\in H\}$ for some tile $t_1\in X_1$ with color $c(t_1)$ and $J=\stab_H(c(t_1))$ of index $m$ in $H$ that contains $\stab_H(t_1)$.
		For $i\in\{2,\ldots,n\}$, choose $t_i\in X_i$ such that tile $t_i$ has color $c(t_1)$.
		Since elements of $H$ permute the colors in the coloring of $O$,
		each coloring of $X_i$ corresponds to the partition $\{h(Jt_i)\mid h\in H\}$ and $\stab_H(t_i)$ is contained in $J$ for $2\leq i\leq n$.
		This shows that the coloring of~$O$ corresponds to the partition $\{h(Jt_1\cup \cdots\cup Jt_n)\mid h\in H\}$ of $O$,
		where the color of the tiles in $h(Jt_1\cup\cdots\cup Jt_n)$ is the color of tile $ht_1$.

		For the other direction, it follows from Theorem~\ref{oc} that the $m$ colors in the coloring of each orbit $X_i$ are permuted by elements of $H$.
		In addition, $J$ is the stabilizer of the color of tiles $t_1,\ldots,t_n$, that is,
		$J$ is the stabilizer of the subsets $Jt_1,\ldots,Jt_n$ under the action of $H$ on the respective partitions of $X_1,\ldots,X_n$.
		This implies that the action of $H$ on the set of colors in the coloring of each orbit $X_i$ are equivalent.
		Hence, the elements of $H$ permute the colors in the resulting coloring of~$O$.
	\end{proof}

	Finally, given a colored tiling $\ensuremath{{\mathcal T}}$ whose colors are permuted by the subgroup $H$ of the symmetry group $G$ of $\ensuremath{{\mathcal T}}$,
	we may group the orbits of $\ensuremath{{\mathcal T}}$ under $H$ having the same set of colors by Lemma~\ref{share}.
	Upon doing this, we apply Lemma~\ref{norbits} to associate
	the coloring of each collection of orbits as a partition of the union of the orbits.
	This yields the following general result.
	In fact, it is equivalent to \cite[Theorem 5]{JW19}, but the result here is more straightforward and simpler to use.

	\begin{thm}\label{gencase}
		Let $H$ be a subset of the symmetry group $G$ of a planar tiling $\ensuremath{{\mathcal T}}$,
		and suppose $X_1,\ldots,X_n$ are the $H$-orbits of $\ensuremath{{\mathcal T}}$.
		Then the $m$ colors in a coloring of $\ensuremath{{\mathcal T}}$ are permuted by elements of $H$
		if and only if it corresponds to a partition of $\ensuremath{{\mathcal T}}$ of the form $\cup_{i\in I}{O_i}$, where
		\begin{equation}\label{ohi}
			O_i=\bigg\{h\Big(\bigcup_{j=1}^{n_i}J_it_{i,j}\Big)\mid h\in H\bigg\},
		\end{equation}
		with $\sum_{i\in I}{n_i}=n$, $\cup_{i\in I}\cup_{j=1}^{n_i}{t_{i,j}}$ is a complete set of $H$-orbit representatives of $\ensuremath{{\mathcal T}}$,
		$J_i$ is a subgroup of $H$ that contains $\stab_H(t_{i,j})$, for $1\leq j\leq n_i$,
		and $m=\sum_{i\in I}[H:J_i]$.
	\end{thm}

	Hence, we may use Theorem~\ref{gencase} to obtain all (chirally) perfect colorings of an $m$-valent semiregular planar tiling $\ensuremath{{\mathcal T}}$.
	To reduce the number of non-precise perfect colorings that will be obtained using this method,
	vertex and edge adjacencies of tiles may be considered a priori.
	For instance, if $k$ tiles in the subset $O_i$ of $\ensuremath{{\mathcal T}}$ meet at a vertex,
	then the coloring of $O_i$ must have at least $k$ colors, or equivalently,
	the subgroup $J_i$ of $H$ must satisfy $[H:J_i]\geq k$.

	It can be shown that this procedure yields the same results in~\cite{cr} for (chirally) perfect colorings of semiregular Euclidean planar tilings.
	Note though that in this approach, knowledge of the subgroup structure of the symmetry groups of the tilings play an important role.
	This makes the method applicable for specific tilings, but difficult to use when obtaining results for a family of tilings.
	Nevertheless, an advantage of this procedure is that it allows us to obtain perfect precise colorings of semiregular planar tilings $\ensuremath{{\mathcal T}}$
	where the number of colors is more than the valency of~$\ensuremath{{\mathcal T}}$.

	To illustrate, consider the $(3.4.6.4)$ tiling $\ensuremath{{\mathcal T}}$ of the Euclidean plane with symmetry group $G$ of type $\ast 632$.
	The tiling $\ensuremath{{\mathcal T}}$ has three orbits under the action of $G$: the orbit $X_1$ of squares, the orbit $X_2$ of hexagons, and the orbit $X_3$ of triangles.
	It has only one perfect precise coloring with four colors.
	This coloring consists of two orbits of colors: the orbits $X_1$ and $X_2$ share the same set of three colors,
	while each tile in the orbit $X_3$ are assigned the same color (see~\cite[Figure 3]{cr}).
	The coloring of $X_1\cup X_2$ corresponds to the partition $\{g(Jt_1\cup Jt_2)\mid g\in G\}$, where
	$t_1$ is a hexagon, $t_2$ is a square that is not adjacent to any tile in $Jt_1$, and
	$J$ is a subgroup of index 3 in $G$ of type $\ast 632$ that contains $\stab_G(t_1)=D_6$ and $\stab_G(t_2)=D_2$.
	On the other hand, the trivial coloring of $X_3$ corresponds to the partition $\{g(Gt_3)\mid g\in G\}=\{X_3\}$, where $t_3$ is any triangle in $\ensuremath{{\mathcal T}}$.

	Now, let us obtain a perfect precise coloring of $\ensuremath{{\mathcal T}}$ with the least number of colors such that the three $G$-orbits of $\ensuremath{{\mathcal T}}$ do not share any colors.
	That is, we want a partition of $\ensuremath{{\mathcal T}}$ of the form $\cup_{i=1}^3\{g(J_it_i)\mid g\in G\}$
	for some suitable tile $t_i\in X_i$ and subgroup $J_i$ of~$G$ such that $J_i$ contains $\stab_G(t_i)$.
	Let us assign the same color to each tile in the orbit $X_1$, and also the same color to each tile in the orbit $X_3$.
	That is, we take $J_1=J_3=G$.
	For the coloring to be precise, the orbit $X_2$ should be colored with at least three colors because of the three squares that surround each triangle in $\ensuremath{{\mathcal T}}$.
	This means that we need to find a subgroup $J_2$ of at least index $3$ in $G$.
	We may take $J_2$ to be the same subgroup $J$ above of index 3 in $G$ of type $\ast 632$ to obtain a coloring of the orbit $X_2$ with three colors
	that correspond to the partition $\{g(J_2t_2)\mid g\in G\}$ for some square $t_2$ such that $\stab_G(t_2)$ is a subset of $J$.
	This will yield a perfect precise coloring of $\ensuremath{{\mathcal T}}$ with five colors.
	Another possibility is to take $J_2$ to be the subgroup of index 3 in $G$ of type $2{\ast}22$ that contains $\stab_G(t_2)$ for some square $t_2$.
	The perfect precise coloring of $\ensuremath{{\mathcal T}}$ obtained is shown in Figure~\ref{3464}.

	\begin{figure}[htb]
		\centering
		\includegraphics[width=2in]{5colors3464}
		\caption{A perfect precise 5-coloring of the tiling $(3.4.6.4)$.}
		\label{3464}
	\end{figure}

	\section{Examples of Perfect Precise Colorings}
	\label{example}

	In this section, we obtain perfect precise colorings of some semiregular planar tilings $\ensuremath{{\mathcal T}}$ of valencies 3, 4, 5, and 6.
	We restrict the number of colors in the colorings of $\ensuremath{{\mathcal T}}$ to be the valency of $\ensuremath{{\mathcal T}}$.
	To obtain these colorings, we start out with a combinatorial argument to exhaust all possible perfect precise colorings.
	Afterwards, we verify that the obtained colorings of $\ensuremath{{\mathcal T}}$ are indeed perfect by giving the corresponding partition of $\ensuremath{{\mathcal T}}$ of the form given in \eqref{ohi}.
	We note that if the coloring of $\ensuremath{{\mathcal T}}$ is perfect and there is a vertex $v$ of $\ensuremath{{\mathcal T}}$ such that no two tiles meeting at $v$ have the same color, then the coloring of $\ensuremath{{\mathcal T}}$ must be precise.
	This is because the action of the symmetry group of $\ensuremath{{\mathcal T}}$ is transitive on the set of vertices of $\ensuremath{{\mathcal T}}$.

	\subsection{3-valent Semiregular Planar Tilings}\label{threevalent}
	We have the following result: a 3-valent semiregular tiling $\ensuremath{{\mathcal T}}=(p_1.p_2.p_3)$ admits exactly one perfect precise coloring if and only if each $p_i$ is even.
	Indeed, the forward direction follows from Lemma~\ref{3valent}.
	For the converse, observe that assigning a tile $t$ by color 1,
	and then assigning colors 2 and 3 alternately to the surrounding tiles of $t$ gives rise to a precise coloring of $\ensuremath{{\mathcal T}}$.
	It remains to show that this unique precise coloring of $\ensuremath{{\mathcal T}}$ is perfect.
	One way to conclude this is to look at the effects of the mirror reflections $P$, $Q$, and $R$ on each of the three colors.
	More formally, we note that the case where $p_1$, $p_2$, and $p_3$ are distinct is covered by Lemma~\ref{even}.
	The case when $\ensuremath{{\mathcal T}}$ is regular, that is, when $p:=p_1=p_2=p_3$, was considered in~\cite{rov}.
	In this case, the symmetry group of $\ensuremath{{\mathcal T}}$ is $G=\ast p32$ and the precise coloring of $\ensuremath{{\mathcal T}}$ is perfect because it corresponds to the partition
	$\set{g(Jt)\mid g\in G}$ of $\ensuremath{{\mathcal T}}$, where $t$ is the $p$-gon stabilized by the $p$-fold rotation $QR$ and $J$ is the subgroup $\gen{PRQRP,Q,R}$ of index $3$ in $G$.
	The last case is, without loss of generality, when $q:=p_1$ is distinct from $2p:=p_2=p_3$ for some integer~$p$.
	Here $G=\ast pq2$ and the precise coloring of $\ensuremath{{\mathcal T}}$ is perfect because it corresponds to the partition
	$\set{Gt_1}\cup\set{g(Jt_2)\mid g\in G}$ of $\ensuremath{{\mathcal T}}$, where $t_1$ is any $q$-gon, $t_2$ is the $2p$-gon stabilized by the $p$-fold rotation $QR$,
	and $J$ is the subgroup $\gen{PRP,Q,R}$ of index 2 in $G$.
	Figure~\ref{3colors} shows the perfect precise 3-colorings of some 3-valent semiregular tilings.

	\begin{figure}[htb]
		\centering
		$\begin{array}{ccc}
			\includegraphics[width=1.4in]{10.4.4} &
			\includegraphics[width=1.4in]{4.6.12} &
			\includegraphics[width=1.4in]{4.14.14} \\
			(10.4.4)&(4.6.12)& (4.14.14)\\ \end{array}$
		\caption[Perfect precise 3-coloring of some 3-valent semiregular tilings.]{Perfect precise 3-coloring of some 3-valent semiregular tilings}
		\label{3colors}
	\end{figure}

	\subsection{4-valent Semiregular Planar Tilings}

	We consider first the family of semiregular planar tilings $\ensuremath{{\mathcal T}}_1=(p.q.p.q)$. The tiling $\ensuremath{{\mathcal T}}_1$ consists of two orbits of tiles, the set of $p$-gons and the set of $q$-gons, under its symmetry group $G={\ast}pq2$.  We note the following: (1) the center of each $p$-gon ($q$-gon) is a center of a $p$-fold ($q$-fold) rotation;
	(2) $p$ $q$-gons are adjacent to every $p$-gon ($q$ $p$-gons are adjacent to every $q$-gon); and
	(3) $p$ $p$-gons are attached to each $p$-gon at the vertices ($q$ $q$-gons are attached to each $q$-gon at the vertices).
	Using these properties of $\ensuremath{{\mathcal T}}_1$, we now outline how a perfect precise 4-coloring of $\ensuremath{{\mathcal T}}_1$ is achieved.

	Let $t$ be any $p$-gon in the tiling $\ensuremath{{\mathcal T}}_1$ and say $t$ is given color 1.
	We then assign colors 2, 3, and 4 to the $p$-gons and $q$-gons that surround $t$.
	There are two ways to assign them to the $p$ $q$-gons that surround $t$:
	(1) the $q$-gons alternately get two of the three colors, say colors $2$ and $3$ (see Fig.~\ref{fig:f4.5}(a)), or
	(2) the $q$-gons get colors $2$, $3$, and $4$ in a cyclical manner (see Fig.~\ref{fig:f4.5}(b)).
	We deal with these two cases separately.

	\begin{figure}[htb]
		\centering
		$\begin{array}{cc}
			\includegraphics[width=1.2in]{pqpqcase1new}&
			\includegraphics[width=1.2in]{pqpqcase2new} \\ (a) & (b)\\
		\end{array}$
		\caption{Possible color assignments for a perfect precise 4-coloring of the tiling $(p.q.p.q)$. \label{fig:f4.5}}
	\end{figure}

	If the $p$ $q$-gons around $t$ are assigned colors $2$ and $3$ alternately, then $p$ must be even for the resulting coloring of $\ensuremath{{\mathcal T}}_1$ to be precise.
	This assignment forces all $q$ {$p$-gons} around $t$ to be assigned color $4$.
	Let us now look at the colored $q$-gons around~$t$.
	Observe that each of these $q$-gons has a $q$-fold rotational symmetry that sends $t$ (colored~1) to one of the $p$-gons colored $4$ and sends a $p$-gon colored $4$ to $t$.
	Since we aim for the coloring of $\ensuremath{{\mathcal T}}_1$ to be perfect, the $q$ $p$-gons surrounding each colored $q$-gon must have alternating colors $1$ and $4$.
	To ensure that the coloring of $\ensuremath{{\mathcal T}}_1$ remains precise, $q$ must also be even.
	In addition the $p$ $q$-gons around a $q$-gon colored $2$ should be assigned color $3$, and
	all $p$ $q$-gons around a $q$-gon colored $3$ should be assigned color $2$.
	Applying the same arguments successively to each layer of $p$-gons and $q$-gons surrounding $t$,
	we obtain a perfect precise $4$-coloring of $\ensuremath{{\mathcal T}}_1$ where the $q$-gons surrounding each $p$-gon are alternately colored $2$ and $3$
	and the $p$-gons surrounding each $q$-gon are alternately colored $1$ and $4$.
	The coloring consists of two color orbits and is precise by construction.
	The coloring is indeed perfect because it corresponds to the partition $O_1\cup O_2$ of $\ensuremath{{\mathcal T}}_1$,
	with $O_1=\set{g(J_1t_1)\mid g\in G}$ where $t_1$ is the $p$-gon stabilized by the $p$-fold rotation $QR$ and $J_1=\gen{PRP,Q,R}$ of index $2$ in $G$ and
	$O_2=\set{g(J_2t_2)\mid g\in G}$ where $t_2$ is the $q$-gon stabilized by the $q$-fold rotation $PR$ and $J_2=\gen{P,QRQ,R}$ of index $2$ in $G$.

	On the other hand, if the $p$ $q$-gons around $t$ are colored $2$, $3$, and $4$ in a repeating manner, then $p$ must be a multiple of three for the resulting coloring of $\ensuremath{{\mathcal T}}_1$ to be precise.
	This color assignment implies that the $q$ $p$-gons around $t$ should also be colored $2$, $3$, and $4$ in a repeating manner such that
	the $p$-gon adjacent to $q$-gons colored $2$ and $3$ (resp.~$2$ and $4$, and $3$ and $4$) should be colored~$4$ (resp.~$3$ and $2$).
	This means that $q$ must also be a multiple of $3$.
	We now turn our attention to the colored $q$-gons around~$t$.
	If the $q$-gon $t'$ is colored $2$, then it will be surrounded by three adjacent $p$-gons with colors $4$, $1$, and $3$.
	For the coloring of $\ensuremath{{\mathcal T}}_1$ to be perfect, the $q$ $p$-gons around~$t'$ need to be colored $1$, $3$, and $4$ in a repeating manner.
	At the same time, the $p$ $q$-gons around $t'$ should be colored $1$, $3$, and $4$ in a repeating manner so that the coloring of $\ensuremath{{\mathcal T}}_1$ remains precise.
	Similar arguments yield the colors of every $p$-gon and $q$-gon surrounding each colored $q$-gon around $t$.
	Repeating the same reasoning to each layer of $p$-gons and $q$-gons surrounding $t$ results to a perfect precise $4$-coloring of $\ensuremath{{\mathcal T}}_1$
	where the $p$-gons and $q$-gons surrounding each $p$-gon and each $q$-gon are colored by the other three colors in a cyclical manner.
	The symmetry group $G$ of $\ensuremath{{\mathcal T}}_1$ acts transitively on the four colors, and the coloring of $\ensuremath{{\mathcal T}}_1$ is precise by construction.
	The coloring of $\ensuremath{{\mathcal T}}_1$ is also perfect because it corresponds to the partition $\set{g(Jt_1\cup Jt_2)\mid g\in G}$
	where $t_1$ is the $p$-gon stabilized by the $p$-fold rotation $QR$, $t_2$ is the $q$-gon stabilized by the reflection $PRQRQRP$,
	and $J=\gen{PRQRQRP,Q,R}$ of index $4$ in $G$.

	Thus, we obtain the following result.

	\begin{prop}\label{resultspqpq}
		Let $\ensuremath{{\mathcal T}}$ be the semiregular planar tiling $(p.q.p.q)$.
		Then the number of perfect precise $4$-colorings of $\ensuremath{{\mathcal T}}$ is
		\begin{enumerate}[1.]
			\item one if and only if one of the following hold: $p$ and $q$ are even and $p$ or $q$ is not a multiple of three, or
			$p$ and $q$ are multiples of 3 and $p$ or $q$ is not even; and

			\item two if and only if $p$ and $q$ are divisible by 6.
		\end{enumerate}
	\end{prop}

	Proposition~\ref{resultspqpq} remains valid even if $p=q$
	(in~\cite{rov}, the unique perfect precise $4$-colorings of the octahedron $(3^4)$ and the regular Euclidean tiling $(4^4)$ are discussed,
	and the two perfect precise $4$-colorings of the regular hyperbolic tiling $(6^4)$ are shown).
	The existence of the unique perfect precise 4-coloring of the Euclidean semiregular tiling $(6.3.6.3)$ in \cite{cr} also agrees with Proposition~\ref{resultspqpq}.
	Note that Proposition~\ref{resultspqpq} implies that there are no perfect precise 4-colorings of the semiregular spherical tilings $(3.4.3.4)$ and $(3.5.3.5)$.
	We show in Fig.~\ref{fig:f4.6} perfect precise 4-colorings of the semiregular tiling $(p.q.p.q)$ for some values of $p$ and~$q$.

	\begin{figure}[htb]
		\centering
		$\begin{array}{ccc}
			\includegraphics[width=1.4in]{4646ppc} &
			\includegraphics[width=1.4in]{4848ppc} &
			\includegraphics[width=1.4in]{6969ppc}\\
			(6.4.6.4) & (8.4.8.4) & (9.6.9.6)\\
			\includegraphics[width=1.4in]{3939ppc} &
			\includegraphics[width=1.4in]{126126ppc1}&
			\includegraphics[width=1.4in]{126126ppc2} \\
			(9.3.9.3) & (6.12.6.12)_1 & (6.12.6.12)_2
		\end{array}$
		\caption{Some perfect precise 4-colorings of the tiling $(p.q.p.q)$.}
		\label{fig:f4.6}
	\end{figure}

	Another semiregular tiling with symmetry group $G={\ast}pq2$ is the tiling $\ensuremath{{\mathcal T}}_2=(p.4.q.4)$, where $p\neq q$.
	There is a $p$-fold ($q$-fold) rotation symmetry of $\ensuremath{{\mathcal T}}_2$ about the center of each $p$-gon ($q$-gon),
	and a $2$-fold rotation symmetry about the center of every square.
	The action of $G$ on $\ensuremath{{\mathcal T}}_2$ forms at most 3 orbits of tiles: the set of squares, the set of $p$-gons, and the set of $q$-gons.
	No two $p$-gons ($q$-gons) in $\ensuremath{{\mathcal T}}_2$ share a common vertex nor a common edge, and
	each $p$-gon ($q$-gon) is surrounded by $p$ ($q$) adjacent squares.

	We use a similar approach as for the tiling $\ensuremath{{\mathcal T}}_1$ to obtain perfect precise 4-colorings of the tiling $\ensuremath{{\mathcal T}}_2$.
	We start with any $p$-gon $t$ in $\ensuremath{{\mathcal T}}_2$ and assign it the color $1$.
	There are two ways to assign colors to the $p$ squares adjacent to $t$:
	alternating using two colors, say $2$ and $3$,
	or cyclically using the three colors $2$, $3$, and $4$.
	The color assignment of the squares will force the color assignment of the $p$ $q$-gons around $t$.
	Afterwards, we color the $q$ $p$-gons and $q$ squares surrounding each $q$-gon around $t$.
	If the $q$-gon $t'$ attached to $t$ has color $2$ (resp.~$3$ and $4$), then there are two possibilities:
	assign color~$1$ to every $p$-gon attached to $t'$ and assign colors $3$ and $4$ (resp.~$2$ and $4$, and $2$ and $3$) alternately to the squares around $t'$,
	or assign colors $1,3,4$ (resp.~$1,2,4$ and $1,2,3$) to the $p$-gons and squares in some repeating manner.
	The color assignment of the succeeding layers of $p$-gons, $q$-gons, and squares around $t$ are then determined inductively.
	We list the possibilities below and summarize them in the proposition thereafter.

	\begin{figure}[htb!]
		\centering $\begin{array}{ccc}
			\includegraphics[width=1.2in]{p4q4case1new}&
			\includegraphics[width=1.2in]{p4q4case2new}&
			\includegraphics[width=1.2in]{p4q4case4new}\\
			(a) & (b) & (c)
		\end{array}$
		\caption{Possible color assignments for a perfect precise 4-coloring of the tiling $(p.4.q.4)$.}
		\label{fig:f4.7}
	\end{figure}

	\begin{enumerate}[(i)]
		\item If $p$ is even, then the squares around $t$ are colored $2$ and $3$ in succession while every $q$-gon attached to $t$ are colored $4$.

		If $q$ is even, then the $p$-gons surrounding each $q$-gon attached to $t$ are colored $1$
		while the surrounding squares are colored $2$ and $3$ in succession (see Fig.~\ref{fig:f4.7}(a)).
		In this case, the perfect precise $4$-coloring of $\ensuremath{{\mathcal T}}_2$ corresponds to the partition $O_1\cup O_2\cup O_3$,
		with $O_1$ the set of $p$-gons, $O_2$ the set of $q$-gons, and $O_3=\set{g(Jt)\mid g\in G}$ where
		$t$ is the square stabilized by the $2$-fold rotation $PQ$ and $J=\gen{P,Q,RQR}$ of index $2$ in $G$.

		If $q$ is a multiple of $3$ then the $p$-gons and squares surrounding each $q$-gon attached to $t$
		are colored $1,2,3$ in some repeating manner (see Fig.~\ref{fig:f4.7}(b)).
		Here, the perfect precise $4$-coloring of $\ensuremath{{\mathcal T}}_2$ corresponds to the partition $O_1\cup O_2$,
		with $O_1$ the set of $q$-gons and $O_2=\set{g(Jt_1\cup Jt_2)\mid g\in G}$ where
		$t_1$ is the $p$-gon stabilized by the $p$-fold rotation $QR$, $t_2$ is the square stabilized by the reflection $PQRQRP$, and $J=\gen{PQRQRP,Q,R}$ of index $3$ in $G$.

		\item If $p$ is a multiple of 3 and $q$ is even, then interchanging the values of $p$ and $q$ yields the case above.

		The case where $p$ and $q$ are odd multiples of $3$ does not give rise to a perfect precise $4$-coloring of $\ensuremath{{\mathcal T}}_2$.
		Indeed, since $p$ is an odd multiple of $3$, then the $p$ squares and $p$ $q$-gons around $t$ can only be colored $2,3,4$ in a cyclical fashion for the coloring to be precise.
		Consider a $q$-gon $t'$ attached to $t$ with color $4$.
		We can only color the $p$-gons and squares around $t'$ by $1,2,3$ in some repeating manner because $q$ is an odd multiple of $3$ (see Fig.~\ref{fig:f4.7}(c)).
		This will mean that the second $p$-gon adjacent to a square colored $2$ will be assigned color $3$.
		However, the same $p$-gon is attached to a $q$-gon colored 3, and thus the coloring obtained will not be precise.
	\end{enumerate}

	\begin{prop}\label{p4q4results}
		Let $\ensuremath{{\mathcal T}}$ be the semiregular tiling $(p.4.q.4)$ with $p\neq q$.
		Then the number of perfect precise $4$-colorings of $\ensuremath{{\mathcal T}}$ is
		\begin{enumerate}[1.]
			\item one if and only if $p$ and $q$ are even and neither is a multiple of~3, or
			one of $p$ and $q$ is even and the other is an odd multiple of 3;

			\item two if and only if $p$ and $q$ are even and exactly one of them is a multiple of 3; and

			\item three if and only if $p$ and $q$ are multiples of~6.
		\end{enumerate}
	\end{prop}

	Proposition \ref{p4q4results} is consistent with the unique perfect precise 4-coloring of the Archimedean tiling $(3.4.6.4)$ obtained by Crowe in \cite{cr}.
	The perfect precise 4-colorings of the semiregular hyperbolic tilings $(p.4.q.4)$ for some values of $p$ and $q$ in Figure \ref{fig:f4.8} illustrates Proposition \ref{p4q4results}.
	The semiregular spherical tiling $(5.4.3.4)$ admits no perfect precise coloring with 4 colors.

	\begin{figure}
		\centering
		$\begin{array}{ccc}
			\includegraphics[width=1.5in]{4348ppc}&
			\includegraphics[width=1.5in]{4648ppc1}&
			\includegraphics[width=1.5in]{4648ppc2}\\
			(8.4.3.4) & (8.4.6.4)_1  &  (8.4.6.4)_2
		\end{array}$

		$\begin{array}{ccc}
			\includegraphics[width=1.5in]{46412ppc1}&
			\includegraphics[width=1.5in]{46412ppc3}&
			\includegraphics[width=1.5in]{46412ppc2}
			\\(12.4.6.4)_1 & (12.4.6.4)_2 & (12.4.6.4)_3
		\end{array}$
		\caption{Some perfect precise 4-colorings of the tiling $(p.4.q.4)$.}
		\label{fig:f4.8}
	\end{figure}

	\subsection{5-valent Semiregular Planar Tilings}

	We now determine the perfect and chirally perfect precise 5-colorings of the family of 5-valent tilings $\ensuremath{{\mathcal T}}=(3.3.p.3.q)$.
	If $p\neq q$, then the symmetry group of $\ensuremath{{\mathcal T}}$ is $G=pq2$.
	The tiling $\ensuremath{{\mathcal T}}$ has a $p$-fold ($q$-fold) rotation symmetry about the center of each $p$-gon ($q$-gon),
	and a $2$-fold symmetry at the midpoint of the shared edge of any two adjacent triangles.
	The set of $p$-gons, the set of $q$-gons, and the set of triangles form distinct orbits under the action of $G$ on $\ensuremath{{\mathcal T}}$.
	If $p=q$, then the symmetry group of $\ensuremath{{\mathcal T}}$ is $G'=p{\ast}2$.
	In this case, $\ensuremath{{\mathcal T}}$ has a reflection symmetry along the shared edge of each pair of adjacent triangles.
	The set of $p$-gons form one orbit under the action of $G'$ on $\ensuremath{{\mathcal T}}$, but is partitioned into two orbits under the action of the rotation group $H=pp2$.
	It is easy to see that two $p$-gons that have a common vertex belong to different $H$-orbits.

	First, we show two things: (a) if $p=q$, then $\ensuremath{{\mathcal T}}$ does not admit any perfect precise $5$-coloring, and
	(b) if $p\neq q$, then every $p$-gon is assigned the same color or every $q$-gon is assigned the same color in any perfect precise 5-coloring of $\ensuremath{{\mathcal T}}$.

	Let $p=q$. Assign distinct colors to five tiles around a vertex of $\ensuremath{{\mathcal T}}$ as shown in Fig.~\ref{noppc}(a).
	Notice that $\ensuremath{{\mathcal T}}$ has a reflection symmetry $\alpha$ along the red line that passes through the shared edge of triangles $b$ and~$c$.
	If the $5$-coloring of $\ensuremath{{\mathcal T}}$ is to be perfect, then $\alpha$ must fix the color of triangle~$a$.
	This means that neither triangle $b$ nor $c$ should be assigned the same color as triangle $a$, otherwise the resulting $5$-coloring of $\ensuremath{{\mathcal T}}$ will not be precise.
	Hence, we are left with no choice but for the $p$-gon $d$ to have the same color as triangle $a$.
	This yields a contradiction because $\alpha$ sends the $p$-gon $d$ to a $p$-gon of a different color.
	We have now shown that it is impossible to perfectly color $\ensuremath{{\mathcal T}}$ with 5 colors such that the resulting coloring is precise whenever $p=q$.

	\begin{figure}[htb]
		\centering
		$\begin{array}{cc}
			\includegraphics[height=1in]{33p3pnoppc}&
			\includegraphics[height=1in]{33p3qnotransitive}\\
			(a)&(b)\\
		\end{array}$
		\caption{(a) Nonexistence of a perfect precise 5-coloring of the tiling $(3.3.p.3.p)$; (b) Nonexistence of a transitive perfect precise 5-coloring of the tiling $(3.3.p.3.q)$.}
		\label{noppc}
	\end{figure}

	We now proceed to show that if $p\neq q$, then all $p$-gons have the same color or all $q$-gons have the same color in a perfect precise $5$-coloring of $\ensuremath{{\mathcal T}}$.

	Just as before, we start with five tiles meeting at a vertex $v$ that are assigned different colors (see Fig.~\ref{noppc}(b)).
	For the 5-coloring of $\ensuremath{{\mathcal T}}$ to be precise, the $p$-gon~$c$ can be colored with either the color of triangle $a$ or the color orange of the $p$-gon adjacent to triangle $a$.
	However, the $p$-fold rotation symmetry $\beta$ about the center of the orange $p$-gon fixes the color orange.
	This means that if $p$-gon~$c$ is colored orange, then every $p$-gon in the tiling should be colored orange for the $5$-coloring of $\ensuremath{{\mathcal T}}$ to be perfect.
	On the other hand, if $p$-gon $c$ has the same color as triangle $a$, then the $q$-gon $d$ will be forced to have the same color brown of the $q$-gon $b$.
	As $\beta$ now fixes color brown, every $q$-gon in $\ensuremath{{\mathcal T}}$ will be colored brown so that the resulting $5$-coloring of $\ensuremath{{\mathcal T}}$ is perfect.
	This proves the claim.

	We now discuss how to obtain perfect precise $5$-colorings of $\ensuremath{{\mathcal T}}$ if $p\neq q$.
	We classify the triangles around a $p$-gon ($q$-gon) into two types:
	those that share a common edge with the $p$-gon ($q$-gon) will be called type I triangles
	while those that share only a vertex with the $p$-gon ($q$-gon) will be called type II triangles.
	Suppose $t$ is a $p$-gon and $t'$ is a $q$-gon in $\ensuremath{{\mathcal T}}$ having a common vertex.
	We assign different colors to the tiles around this vertex, in particular, we assign color $1$ to the $p$-gon $t$,
	color~$2$ to the triangle adjacent to both $t$ and $t'$, color $3$ to the $q$-gon, color $4$ to the triangle adjacent to $t'$ but not to $t$,
	and color $5$ to the remaining triangle adjacent to $t$ but not to~$t$'.
	From earlier, we have the following three cases.
	\begin{enumerate}[(i)]
		\item Suppose all $p$-gons are colored $1$ and all $q$-gons are colored $3$.
		The type I triangles around $t$ can be colored either $2$ and $5$ alternately or $2,5,4$ in a cyclical manner.
		In the former, $p$ must be even and all type II triangles around $t$ will be colored $4$.
		This color assignment yields a type I triangle and a type II triangle around $t'$ that are colored $4$.
		Hence, the type I and type II triangles around $t'$ must be colored $2$, $4$, $5$ in some repeating manner which means that $q$ must be a multiple of $3$ (see Fig.~\ref{33p3qcases}(a)).
		The colors of the layers of triangles around $t$ are now uniquely determined, and the resulting $5$-coloring of $\ensuremath{{\mathcal T}}$ is precise by construction.
		In addition, the $5$-coloring is perfect because it corresponds to the partition $O_1\cup O_2\cup O_3$ of $\ensuremath{{\mathcal T}}$, where
		$O_1$ is the set of $p$-gons, $O_2$ is the set of $q$-gons, and
		$O_3=\set{g(Jt)\mid g\in G}$ where $t$ is any type II triangle around $t$ and $J=\gen{RQ,(PR)^3,PRQRPQ}$ of index $3$ in $G$.

		If instead the type I triangles around $t$ are colored $2,5,4$ in a cyclical manner,
		then similar arguments show that $p$ must be a multiple of three and $q$ must be even for a perfect precise $5$-coloring of $\ensuremath{{\mathcal T}}$ to be obtained (see Fig.~\ref{33p3qcases}(b)).
		In fact, the resulting coloring is exactly the same coloring above where the roles of $p$ and $q$ are interchanged.

		\item Suppose all $p$-gons are colored $1$ but not all $q$-gons are colored $3$ (see Fig.~\ref{33p3qcases}(c) and (d)).
		The $q$-gon adjacent to the triangle colored $5$ should be colored $2$, otherwise, the $5$-coloring of $\ensuremath{{\mathcal T}}$ will not be precise or all $q$-gons will be colored $3$.
		This implies that the type I triangles and $q$-gons surrounding $t$ can be cyclically colored by the three colors $2,5,3$ or the four colors $2,5,4,3$.
		An analogous argument shows that in the former, $p$ and $q$ must be multiples of $3$ and the resulting perfect precise $5$-coloring of $\ensuremath{{\mathcal T}}$
		corresponds to the partition $O_1\cup O_2$ of $\ensuremath{{\mathcal T}}$, with $O_1$ the set of $p$-gons and $O_2=\set{g(Jt_1\cup Jt_2)\mid g\in G}$ where
		$t_1$ is the $q$-gon stabilized by the $q$-fold rotation $PRQRPQRP$, $t_2$ is any type II triangle around $t$,
		and $J=\gen{RQ,PRQRPQRP,PRQRQRPQ}$ of index $4$ in $G$.

		If instead the type I triangles and $q$-gons around $t$ are assigned four colors,
		we obtain that $p$ should be a multiple of $4$ and $q$ should be even.
		The $5$-coloring of $\ensuremath{{\mathcal T}}$ obtained is perfect and precise that corresponds to the partition $O_1\cup O_2$,
		with $O_1$ the set of $p$-gons, $O_2=\set{g(Jt_1\cup Jt_2)\mid g\in G}$ where
		$t_1=t'$, $t_2$ is a type I or type II triangle around $t$ with color $3$,
		and $J=\gen{(RQ)^4,PR,QRPRPQ}$ of index $4$ in~$G$.

		\item Suppose all $q$-gons are colored $3$ but not all $p$-gons are colored $1$ (see Fig.~\ref{33p3qcases}(e) and (f)).
		The $p$-gon adjacent to the triangle colored $4$ should be colored $2$, otherwise, all $p$-gons will be colored~$1$.
		This implies that the type I triangles and $p$-gons surrounding $t$ can be colored either $2$ and~$5$ alternately or $2,5,4$ in a cyclical manner.
		Similar arguments show that to obtain a perfect precise $5$-coloring of $\ensuremath{{\mathcal T}}$,
		$p$ must be even and $q$ must be a multiple of $4$ in the former while $p$ and $q$ must be divisible by $3$ in the latter.
		In both instances, the coloring generated is the same coloring obtained from Case (ii) when the values of $p$ and $q$ are interchanged.
	\end{enumerate}

	\begin{figure}[htb]
		\centering
		$\begin{array}{ccc}
			\includegraphics[height=1in]{33p3qcase1a}&
			\includegraphics[height=1in]{33p3qcase1b}&
			\includegraphics[height=1in]{33p3qcase2a}\\
			(a) & (b) & (c) \\
			\includegraphics[height=1in]{33p3qcase2b}&
			\includegraphics[height=1in]{33p3qcase3a}&
			\includegraphics[height=1in]{33p3qcase3b}\\
			(d) & (e) & (f) \\
		\end{array}$
		\caption{Possible color assignments for a perfect precise 5-coloring of the tiling $(3.3.p.3.q)$, with $p\neq q$.}
		\label{33p3qcases}
	\end{figure}

	The following proposition summarizes the preceding discussion.

	\begin{prop}\label{33p3qresults}
		Let $\ensuremath{{\mathcal T}}$ be the semiregular tiling $(3.3.p.3.q)$ with $p\neq q$.
		Then the number of perfect precise $5$-colorings of $\ensuremath{{\mathcal T}}$ is
		\begin{enumerate}[1.]
			\item one if and only if one of the following hold:
			one of $p$ and $q$ is a multiple of $3$ but not of~$4$ and the other is even that is not a multiple of $4$,
			one of $p$ and $q$ is a multiple of $4$ but not of $3$ and the other is even that is not a multiple of $4$, or
			one of $p$ and $q$ is a multiple of $4$ but not of $3$ and the other is an odd multiple of $3$;

			\item two if and only if one of the following hold:
			one of $p$ and $q$ is a multiple of $12$ and the other is even that is neither a multiple of $3$ nor of $4$,
			both $p$ and $q$ are odd multiples of $3$,
			both $p$ and $q$ are multiples of $4$ but not of $3$, or
			one of $p$ and $q$ is a multiple of $6$ but not of $4$ and the other is a multiple of $4$ but not of $3$;

			\item three if and only if one of the following hold:
			one of $p$ and $q$ is a multiple of $6$ and the other is an odd multiple of $3$, or
			one of $p$ and $q$ is a multiple of $12$ and the other is a multiple of $4$ but not of $3$;

			\item four if and only if both $p$ and $q$ are multiples of $6$ but not of $4$;

			\item five if and only if one of $p$ and $q$ is a multiple of $12$ and the other is a multiple of $6$ but not of~$4$; and

			\item six if and only if both $p$ and $q$ are multiples of $12$.
		\end{enumerate}
	\end{prop}

	The existence of three perfect precise 5-colorings for the tiling $(3.3.3.3.6)$ in \cite{cr} agrees with Proposition~\ref{33p3qresults}.
	Examples of perfect precise 5-colorings of the tiling $(3.3.p.3.q)$ with $p\neq q$ are presented in Fig.~\ref{33p3qexamples}.

	\begin{figure}[h!]
		\centering
		$\begin{array}{ccc}
			\includegraphics[width=1.35in]{33334ppc1}&
			\includegraphics[width=1.4in]{33339ppc1}&
			\includegraphics[width=1.4in]{33339ppc2}\\
			(3.3.3.3.4)&(3.3.3.3.9)_1&(3.3.3.3.9)_2\\
			\includegraphics[width=1.4in]{3.3.6.3.12ppc1}&
			\includegraphics[width=1.4in]{3.3.6.3.12ppc2}&
			\includegraphics[width=1.4in]{3.3.6.3.12ppc4}\\
			(3.3.6.3.12)_1&(3.3.6.3.12)_2&(3.3.6.3.12)_3
		\end{array}$

		$\begin{array}{cc}
			\includegraphics[width=1.4in]{3.3.6.3.12ppc3}&
			\includegraphics[width=1.4in]{3.3.6.3.12ppc5}\\
			(3.3.6.3.12)_4&(3.3.6.3.12)_5
		\end{array}$
		\caption{Some perfect precise 5-colorings of the tiling $(3.3.p.3.q)$, with $p \neq q$.}
		\label{33p3qexamples}
	\end{figure}

	Recall that if $p=q$ then the tiling $\ensuremath{{\mathcal T}}$ has no perfect precise $5$-coloring.
	Nevertheless, if we consider instead the action of the rotation group $H=pp2$ on the tiling $\ensuremath{{\mathcal T}}$,
	then some of the discussion above is applicable and results to chirally perfect precise 5-colorings of $\ensuremath{{\mathcal T}}$.
	We state this explicitly in the next proposition.

	\begin{prop}\label{33p3presults}
		The number of chirally perfect precise $5$-colorings of the semiregular tiling $\ensuremath{{\mathcal T}}=(3.3.p.3.p)$ is
		\begin{enumerate}[1.]
			\item one if and only if $p$ is an odd multiple of $3$ or $p$ is a multiple of $4$ but not of $3$;

			\item two if and only if $p$ is a multiple of $6$ but not of $4$; and

			\item three if and only if $p$ is a multiple of $12$.
		\end{enumerate}
	\end{prop}

	In \cite{cr}, Crowe was able to obtain two chirally perfect precise colorings of the tiling $(3.3.4.3.4)$ using five colors, each of which reflects into the other.
	These two colorings correspond to the same partition of the tiling and in effect, these colorings are the same.
	This is in agreement with Proposition~\ref{33p3presults}.
	Fig.~\ref{33p3qexampleschiral} shows the two chirally perfect precise 5-colorings of the tiling $(3.3.6.3.6)$.

	\begin{figure}[h!]
		\centering
		$\begin{array}{cc}
			\includegraphics[width=1.4in]{3.3.6.3.6a1}&
			\includegraphics[width=1.4in]{3.3.6.3.6b1}\\
			(3.3.6.3.6)_1&(3.3.6.3.6)_2
		\end{array}$
		\caption{Some chirally perfect precise 5-colorings of the tiling $(3.3.p.3.p)$.}
		\label{33p3qexampleschiral}
	\end{figure}

	\subsection{6-valent Semiregular Planar Tilings}

	We finish this section with a discussion on the perfect precise 6-colorings of the family $\ensuremath{{\mathcal T}}=(3.p.3.q.3.q)$ of 6-valent semiregular tilings.

	If $p=q=3$ then $\ensuremath{{\mathcal T}}=(3^6)$ is the regular tessellation of the Euclidean plane by equilateral triangles.
	Its unique perfect precise $6$-coloring has been determined in~\cite{ri1}.
	If $p=q$ and $p>3$, then the symmetry group of $\ensuremath{{\mathcal T}}=(3.p.3.p.3.p)$ is $G={\ast}p33$.
	Every vertex of $\ensuremath{{\mathcal T}}$ is the center of a $3$-fold rotation.
	The stabilizer of every $p$-gon (triangle) is a dihedral group $D_p$ ($D_3$).
	Two orbits of tiles are formed under the action of $G$ on $\ensuremath{{\mathcal T}}$,
	namely the set of $p$-gons and the set of triangles.

	\begin{figure}[htb]
		\centering

		\includegraphics[height=1in]{3p3p3passignment}
		\caption{Obtaining a perfect precise $6$-coloring of the tiling $(3.p.3.p.3.p)$.}
		\label{3p3p3phowto}
	\end{figure}

	In Fig.~\ref{3p3p3phowto}, the six tiles meeting at vertex $v$ of $\ensuremath{{\mathcal T}}$ are assigned different colors: the $p$-gon $t$ is colored $1$,
	and the succeeding triangles and $p$-gons around $v$ are colored $2$, $3$, $4$, $5$, $6$, in that order, such that triangle $t'$ is colored $2$.
	Observe that $\ensuremath{{\mathcal T}}$ has a reflection symmetry $\alpha$ along the line that passes through the center of $p$-gon $t$ and vertex $v$.
	For the $6$-coloring of $\ensuremath{{\mathcal T}}$ to be precise, the $p$-gon~$a$ can only be assigned colors $1$, $2$, or $6$.
	However, notice that $\alpha$ swaps colors $2$ and $6$.
	This means that $p$-gon~$a$ must get color~$1$ so that the resulting coloring of $\ensuremath{{\mathcal T}}$ will be perfect.

	Let us denote by $\gamma$ the $3$-fold rotation about vertex $v$.
	Since $\gamma$ is supposed to permute the colors in the coloring of $\ensuremath{{\mathcal T}}$,
	we conclude that $\gamma$ maps colors $1$, $3$, and $5$ to $3$, $5$, and $1$, respectively.
	This implies that the $p$-gon $b$ should be colored $5$.

	We now consider the reflection symmetry $\beta$ of $\ensuremath{{\mathcal T}}$ along the line that passes through the centers of $p$-gon $t$ and triangle $t'$.
	Notice that $\beta$ fixes colors $1$ and $2$, and swaps $3$ and $5$.
	This implies that the $p$-gon $c$ should be colored $3$ and $p$-gon $d$ should get color $1$.
	Now, $\beta$ either fixes or swaps colors $4$ and $6$.
	However, triangles $e$ and $f$ are mapped to each other by the reflection~$\beta$.
	For the resulting $6$-coloring of $\ensuremath{{\mathcal T}}$ to be precise, we conclude that $\beta$ swaps colors $4$ and~$6$.
	Consequently, triangles $g$ and $h$ must be respectively assigned colors $6$ and $4$.
	This means that the $p$ triangles sharing an edge with $p$-gon $t$ should be colored $2$, $4$, and $6$ in a cyclical manner.
	The coloring of $\ensuremath{{\mathcal T}}$ is now uniquely determined and we see that $p$ must be a multiple of $3$ for a perfect precise $6$-coloring of $\ensuremath{{\mathcal T}}$ to be obtained.
	The unique perfect precise $6$-coloring of $\ensuremath{{\mathcal T}}$ generated corresponds to the partition $O_1\cup O_2$
	with $O_1=\set{g(J_1t_1)\mid g\in G}$, where $t_1$ is the $p$-gon stabilized by the $p$-fold rotation $QR$ and
	$J_1=\gen{PRQP,Q,R}$ of index $3$ in $G$,
	and $O_2=\set{g(J_2t_2)\mid g\in G}$, where $t_2$ is the triangle stabilized by the $3$-fold rotation $PR$ and
	$J_2=\gen{P,QRPRPQ,R}$ of index $3$ in~$G$.
	Thus we obtain the following proposition.

	\begin{prop}\label{3p3p3presults}
		The semiregular tiling $(3.p.3.p.3.p)$ has exactly one perfect precise 6-coloring if and only if $p$ is a multiple of $3$.
	\end{prop}

	Fig.~\ref{3p3p3pexamples} shows the perfect precise $6$-colorings of the tilings $(3.6.3.6.3.6)$ and $(3.9.3.9.3.9)$.

	\begin{figure}[htb]
		\centering
		$\begin{array}{cc}
			\includegraphics[width=1.4in]{3.6.3.6.3.6a}&
			\includegraphics[width=1.4in]{3.9.3.9.3.9a}\\
			(3.6.3.6.3.6) & (3.9.3.9.3.9)\\
		\end{array}$
		\caption{Some perfect precise $6$-colorings of the tiling $(3.p.3.p.3.p)$.}
		\label{3p3p3pexamples}
	\end{figure}

	If $p\neq q$, then the symmetry group of $\mathcal{T}=(3.p.3.q.3.q)$ is $G=q{\ast}p$,
	a subgroup of index $2$ of the triangle group ${\ast}(2p)q2$ (where $P$ still denotes the reflection opposite angle $\pi/(2p)$).
	Three orbits of tiles are formed under the action of $G$ on $\ensuremath{{\mathcal T}}$:
	the set of $p$-gons, the set of $q$-gons, and the set of triangles.
	The stabilizer of every $p$-gon ($q$-gon) in $\ensuremath{{\mathcal T}}$ is a dihedral group $D_p$ (cyclic group $C_q$).
	We also note that no two $p$-gons are adjacent to each other, two $q$-gons are attached to each vertex of every $p$-gon,
	and $q$ $q$-gons are attached to every $q$-gon at the vertices.

	\begin{figure}[htb]
		\centering
		\includegraphics[width=1.3in]{3p3q3qassignment}\\
		\caption{Obtaining a perfect precise 6-coloring of the tiling $(3.p.3.q.3.q)$, with $p\neq q$.}
		\label{3p3q3qhowto}
	\end{figure}

	As earlier, we start with six tiles meeting at vertex $v$ of $\ensuremath{{\mathcal T}}$ with the following color assignment: the $p$-gon $t$ is colored $1$,
	and the succeeding triangles and $q$-gons around $v$ are colored $2$, $3$, $4$, $5$, $6$, in that order, such that $q$-gon $t'$ is colored $3$ (see Fig.~\ref{3p3q3qhowto}).
	The tiling $\ensuremath{{\mathcal T}}$ still has the reflection symmetry $\alpha$ along the line that passes through the center of $p$-gon $t$ and vertex $v$.
	Using similar arguments, we conclude that the $p$-gon~$a$, and consequently every $p$-gon in $\ensuremath{{\mathcal T}}$, should be colored~$1$.

	For the resulting $6$-coloring of $\ensuremath{{\mathcal T}}$ to be precise, the $q$-gon $b$ should be assigned colors $4$, $5$, or $6$.
	We consider these cases separately, and we make use of the
	reflection symmetry $\beta$ of $\ensuremath{{\mathcal T}}$ along the line that passes through the centers of $p$-gon $t$ and the triangle colored $2$,
	and the $q$-fold rotation symmetry $\gamma$ of $\ensuremath{{\mathcal T}}$ about the center of $q$-gon~$t'$.
	Notice that $\beta$ fixes colors $1$ and $2$, and swaps color~$3$ and the color of $q$-gon $b$,
	while $\gamma$ fixes colors $1$ and $3$, and maps color $2$, $4$, $5$, and $6$
	to the color of triangle $d$, color $2$, the color of $q$-gon $b$, and the color of triangle~$c$, respectively.

	\begin{enumerate}[(i)]
		\item Suppose $q$-gon $b$ is colored $5$.
		This implies that the $q$-gons around $p$-gon $t$ are colored $3$ and $5$ alternately.
		Now, $\beta$ will either fix or swap colors $4$ and~$6$.
		However, triangles $c$ and $d$ should be colored $4$ and $6$ and are mapped to each other by the reflection $\beta$.
		This means that $\beta$ should swap colors $4$ and $6$, and so triangles $e$ and $f$ should be respectively colored $6$ and $4$.
		Hence, the $p$ triangles sharing an edge with $p$-gon $t$ will be colored $2$, $4$, and $6$ in a cyclical manner, which implies that $p$ is a multiple of $3$.

		Let us go back to triangles $c$ and $d$.
		If triangle $c$ is colored $6$ and triangle $d$ is colored~$4$,
		then the $q$-fold rotation $\gamma$ effects the color permutation $(2\,4)$.
		This implies that $q$ must be even (see Fig.~\ref{3p3q3qcases}(a)).
		On the other hand, if triangle $c$ is colored $4$ and triangle $d$ is colored~$6$,
		then $\gamma$ effects the color permutation $(2\,6\,4)$.
		Hence, we have $q$ to be a multiple of $3$ (see Fig.~\ref{3p3q3qcases}(b)).
		In both cases, we obtain a perfect precise $6$-coloring of $\ensuremath{{\mathcal T}}$ that corresponds to the partition $O_1\cup O_2\cup O_3$,
		with $O_1$ the set of $p$-gons, $O_2=\set{g(J_2t_2)\mid g\in G}$,
		where $t_2$ is the $q$-gon stabilized by the $q$-fold rotation $PR$ and
		$J_2=\gen{PR,QRQP}$ of index $2$ in $G$,
		and $O_3=\set{g(J_3t_3)\mid g\in G}$, where $t_3$ is the triangle stabilized by the reflection $Q$.
		If $q$~is even then  $J_3=\gen{Q, (PR)^2, PR(QR)^2}$ of index $3$ in $G$,
		and if $q$ is a multiple of $3$ then $J_3=\gen{Q,PRPQR,RPRQR}$ of index $3$ in $G$.

		\item Suppose $q$-gon $b$ is colored $4$.
		Then $\beta$ interchanges colors $3$ and $4$ so triangle $e$ should be colored $3$,
		and interchanges colors $5$ and $6$ so triangle $f$ should be colored $5$.
		Therefore, the $p$ triangles sharing an edge with $p$-gon $t$ will be colored $2$, $5$, $4$, $3$, and $6$ in a cyclical manner.
		We obtain that $p$ must be a multiple of $5$.

		We again have two different ways of assigning colors to triangles $c$ and $d$.
		If triangle $c$ is colored $5$ and triangle $d$ is colored $6$,
		then the $q$-fold rotation $\gamma$ induces the permutation $(2\,6\,5\,4)$ of colors.
		Hence $q$ must be a multiple of $4$ (see Fig.~\ref{3p3q3qcases}(c)).
		If instead triangles $c$ and $d$ are colored $6$ and $5$, respectively,
		then $\gamma$ induces the permutation $(2\,5\,4)$ of colors, and so $q$ is a multiple of~$3$ (see Fig.~\ref{3p3q3qcases}(d)).
		For both possibilities, a perfect precise $6$-coloring of $\ensuremath{{\mathcal T}}$ is generated that corresponds to the partition $O_1\cup O_2$,
		with $O_1$ the set of $p$-gons and $O_2=\set{g(Jt_1\cup Jt_2)\mid g\in G}$,
		where $t_1$ is the $q$-gon stabilized by the $q$-fold rotation $PR$ and
		$t_2$ is the triangle stabilized by the reflection $(RQ)^3R$.
		If $q$ is a multiple of~$4$ then $J=\gen{PR,(RQ)^3R,QPR(PRQ)^2,Q(PR)^2Q(RP)^3Q}$ of index $5$ in $G$.
		On the other hand, if $q$ is a multiple of $3$ then $J=\gen{PR,(RQ)^3R,Q(RP)^3Q,(QR)^2QPRQ}$ of index $5$ in~$G$.

		\item Finally, suppose $q$-gon $b$ is colored $6$.
		Similar arguments show that the $p$ triangles sharing an edge with $p$-gon $t$ will be colored $2$, $3$, $4$, $5$, and $6$ in a cyclical manner,
		and so $p$ is again a multiple of $5$.

		Assigning color $4$ and color $5$ respectively to triangles $c$ and $d$ will mean that the
		$q$-fold rotation $\gamma$ effects the color permutation $(2\,5\,6\,4)$.
		Hence $q$ must be a multiple of $4$ (see Fig.~\ref{3p3q3qcases}(e)).
		On the other hand, if triangle $c$ is colored $5$ and triangle $d$ is colored $4$, then
		$\gamma$ effects the color permutation $(2\,4)(5\,6)$ and so $q$ should be even (see Fig.~\ref{3p3q3qcases}(f)).
		In both cases, we obtain a perfect precise $6$-coloring of $\ensuremath{{\mathcal T}}$ that corresponds to the partition $O_1\cup O_2$,
		with $O_1$ the set of $p$-gons and $O_2=\set{g(Jt_1\cup Jt_2)\mid g\in G}$,
		where $t_1$ is the $q$-gon stabilized by the $q$-fold rotation $PR$
		and $t_2$ is the triangle stabilized by the reflection $(RQ)^5R$.
		If $q$ is a multiple of $4$ then  $J=\gen{PR,(RQ)^5R,(PQR)^2Q,(QRPR)^2Q,Q(RP)^2(RQ)^2}$ of index $5$ in $G$.
		For the second possibility where $q$ is even, we have $J=\gen{PR,(RQ)^5R,(RQ)^2(PR)^2(QR)^2,(QR)^2P(RQ)^2P}$ of index $5$ in~$G$.
	\end{enumerate}

	\begin{figure}[htb]
		\centering
		$\begin{array}{ccc}
			\includegraphics[height=1in]{3p3q3qCase1a}&
			\includegraphics[height=1in]{3p3q3qCase1b}&
			\includegraphics[height=1in]{3p3q3qCase2a}\\
			(a) & (b) & (c) \\
			\includegraphics[height=1in]{3p3q3qCase2b}&
			\includegraphics[height=1in]{3p3q3qCase3a}&
			\includegraphics[height=1in]{3p3q3qCase3b}\\
			(d) & (e) & (f) \\
		\end{array}$
		\caption{Possible color assignments for a perfect precise 6-coloring of the tiling $(3.p.3.q.3.q)$, with $p\neq q$.}
		\label{3p3q3qcases}
	\end{figure}

	The following proposition summarizes the preceding discussion.
	We illustrate some perfect precise $6$-colorings of the tiling $(3.p.3.q.3.q)$ with $p\neq q$ for some values of $p$ and $q$ in Fig.~\ref{3p3q3qexamples}.

	\begin{prop}\label{3p3p3qresults}
		Let $\ensuremath{{\mathcal T}}$ be the semiregular tiling $(3.p.3.q.3.q)$ with $p\neq q$.
		Then the number of perfect precise $6$-colorings of $\ensuremath{{\mathcal T}}$ is
		\begin{enumerate}[1.]
			\item one if and only if one of the following hold:
			$p$ is a multiple of $3$ but not of $5$ and $q$ is even,
			$p$ is a multiple of $5$ but not of $3$ and $q$ is even but not a multiple of $4$,
			$p$~is a multiple of $3$ but not of $5$ and $q$ is an odd multiple of $3$, or
			$p$ is a multiple of $5$ but not of $3$ and $q$~is an odd multiple of $3$;

			\item two if and only if one of the following hold:
			$p$ is a multiple of $15$ and $q$ is even but not a multiple of $4$,
			$p$ is a multiple of $15$ and $q$ is an odd multiple of $3$,
			$p$ is a multiple of $3$ but not of $5$ and $q$ is a multiple of $6$, or
			$p$ is a multiple of $5$ but not of $3$ and $q$ is a multiple of $6$ but not of $4$;

			\item three if and only if $p$ is a multiple of $5$ but not of $3$ and $q$ is a multiple of $4$ but not of $3$;

			\item four if and only if one of the following hold:
			$p$ is a multiple of $15$ and $q$ is a multiple of $4$ but not of $3$,
			$p$ is a multiple of $15$ and $q$ is a multiple of $6$ but not of $4$, or
			$p$ is a multiple of $5$ but not of $3$ and $q$ is a multiple of $12$; and

			\item six if and only if $p$ is a multiple of $15$ and $q$ is a multiple of $12$.
		\end{enumerate}
	\end{prop}

	\begin{figure}[htb]
		\centering
		$\begin{array}{ccc}
			\includegraphics[width=1.4in]{3.3.3.3.3.6ppc}&
			\includegraphics[width=1.4in]{3.4.3.4.3.3ppc}&
			\includegraphics[width=1.4in]{3.6.3.6.3.3ppc1}\\
			(3.6.3.3.3.3) & (3.3.3.4.3.4) &(3.3.3.6.3.6)_1 \\
			\includegraphics[width=1.4in]{3.6.3.6.3.3ppc2}&
			\includegraphics[width=1.4in]{353636ppc1}&
			\includegraphics[width=1.4in]{353636ppc2}\\
			(3.3.3.6.3.6)_2&(3.5.3.6.3.6)_1  & (3.5.3.6.3.6)_2\\
			\includegraphics[width=1.4in]{353434ppc1}&
			\includegraphics[width=1.4in]{353434ppc2}&
			\includegraphics[width=1.4in]{353434ppc3}\\
			(3.5.3.4.3.4)_1 & (3.5.3.4.3.4)_2 & (3.5.3.4.3.4)_3
		\end{array}$
		\caption{Some perfect precise $6$-colorings of the tiling $(3.p.3.q.3.q)$, with $p\neq q$.}
		\label{3p3q3qexamples}
	\end{figure}

	\bibliographystyle{abbrv}