Primitive sets with large counting functions

Abstract: A set of positive integers is said to be primitive if no element of the set is a multiple of another. If $S$ is a primitive set and $S(x)$ is the number of elements of $S$ not exceeding $x$, then a result of Erd\H os implies that $\int_2^\infty (S(t)/t^2\log t) dt$ converges. We establish an approximate converse to this theorem, showing that if $F$ satisfies some mild conditions and $\int_2^\infty (F(t)/t^2\log t) dt$ converges, then there exists a primitive set $S$ with $S(x) \gg F(x)$.

\section{Introduction}
\label{intro}

A set of positive integers is {\em primitive} if no element of
the set is a multiple of another.   In the 1930s Chowla, Davenport, and
Erd\H os independently studied a special primitive set, namely
the set of primitive nondeficient numbers
(numbers $n$ such that the sum of the proper divisors of $n$ is at least $n$,
but no proper divisor of $n$ has this property), which probably inspired
the generalization to general primitive sets around the same time.
Besicovitch~\cite{Be} showed, perhaps unexpectedly, that the upper asymptotic density
of a primitive set can be arbitrarily close to $1/2$; his construction yields a set whose counting function is occasionally large but usually extremely small. In~\cite{EP35}, Erd\H os showed that the lower asymptotic density of a primitive set must be~0, and also that
\begin{equation}
\label{eq-nlogn}
\sup_{\S~{\rm primitive}}\sum_{n\in\S\setminus\{1\}}\frac1{n\log n}<\infty.
\end{equation}
It is thought that this supremum is attained
when $\S$ is the set of primes, but this is still not known.
Further references to results on primitive sets can be found
in~\cite{HR},~\cite[Section~5.1]{PS}, and~\cite[Section~5]{Ru}.

In this note we ask if there are primitive sets with consistently large
counting functions (as opposed to occasionally large counting functions, as in
Besicovitch's example).  We show that essentially any smoothly growing
counting function that is consistent with the necessary convergence~\eqref{eq-nlogn}
can be the order of magnitude for the counting function of a primitive set.

A favorite problem of Erd\H os, as related in \cite{ESS}, is as follows:
If $1<b_1<b_2<\dots$ is a sequence of numbers with $\sum1/b_n\log b_n<\infty$,
must there exist a primitive sequence $1<a_1<a_2<\dots$ with $a_n\ll b_n$?
One may interpret our principal result as answering ``yes" for smoothly growing
sequences $\{b_n\}$.

For a set $\S$ of natural numbers, let $S(x)$ denote its counting function;
that is, $S(x)$ is the number of members of $\S$ not exceending $x$.
Let $\log_1 x = \max\{1,\log x\}$ and $\log_\ell x = \log_1(\log_{\ell-1} x)$
for every integer $\ell\ge2$.

\begin{theorem}
\label{main}
Suppose that $L(x)$ is defined, positive, and increasing for $x\ge2$,
that $L(2x)\sim L(x)$ as $x\to\infty$, and that
\begin{equation}
\label{eq-Lint}
\int_2^\infty\frac{dt}{t\log t\cdot L(t)}<\infty.
\end{equation}
Then there is a primitive set $\S$ such that
\begin{equation}
\label{eq-Sbound}
S(x) \asymp \frac x{\log_2 x \cdot \log_3 x \cdot L(\log_2 x)}
\end{equation}
for all sufficiently large~$x$.  In particular, for any integer $\ell\ge3$
and every real number $\varepsilon>0$, there exists a primitive set $\S$ such that
\begin{equation}
\label{eq-logs}
S(x) \asymp \frac{x}{\log_2 x \cdots \log_{\ell-1} x \cdot (\log_\ell x)^{1+\varepsilon}}
\end{equation}
for all sufficiently large $x$.
\end{theorem}

By taking $L(x)=(\log_2x)\cdots(\log_{\ell-3}x) (\log_{\ell-2}x)^{1+\varepsilon}$,
we see that \eqref{eq-Sbound} implies \eqref{eq-logs} for $\ell\ge4$,
and the case $\ell=3$ follows by taking $L(x)=(\log x)^\varepsilon$.
By an argument somewhat similar to our proof of Theorem~\ref{main},
Ahlswede, Khachatrian, and S\'ark\"ozy~\cite{AKS} gave a construction
for the lower bound in \eqref{eq-logs}
in the case $\ell=3$. Like the paper \cite{AKS}, our proof depends heavily on a result
of Sathe--Selberg on the fine distribution of integers with a given
number of prime factors.

It is not hard to see that the condition \eqref{eq-Lint} is necessary
in Theorem~\ref{main}.  Indeed, suppose $\S$ is a set of natural numbers
greater than 1 satisfying \eqref{eq-Sbound}, and suppose that $\sum_{n\in\S\setminus\{1\}}1/(n\log n)$
converges (as it must, by equation~\eqref{eq-nlogn}, for primitive sets $\S$).  Since
$$
\sum_{n\in\S\setminus\{1\}}\frac1{n\log n}=\int_2^\infty S(t)\left(\frac1{t^2\log t}
+\frac1{t^2\log^2t}\right)\,dt,
$$
it follows that
$$
\int_2^\infty \frac{S(t)}{t^2\log t}\,dt<\infty.
$$
Then \eqref{eq-Sbound} implies that
$$
\int_2^\infty \frac{dt}{t\log t\cdot\log_2t\cdot\log_3t\cdot L(\log_2t)}\,dt<\infty.
$$
Via a change of variables, we obtain \eqref{eq-Lint}.

Another question one might consider is what conditions on the distribution
of a set ${\mathcal A}$ of natural numbers forces ${\mathcal A}$ to have a large primitive subset.
It is not too difficult to see that if an infinite set ${\mathcal A}$ contains no
primitive subset of size $k$, then $A(x)\ll k\log x$.  Indeed, if
$b_1<\dots<b_k$ are any $k$ consecutive elements in ${\mathcal A}$, that they
are not primitive forces some $b_i\mid b_j$ for $1\le i<j\le k$, so
that $b_k/b_1\ge2$.  On the other hand, the set ${\mathcal A}=\{m2^j:m<2k-1,j\ge0\}$
has no primitive subset of size $k$ and $A(x)\gg k\log x$.

At the other extreme, it is also
not difficult to see that if ${\mathcal A}$ has positive upper density, then it contains
a primitive subset also with positive upper density.  Indeed,
any integer subset of
a dyadic interval $[x,2x)$ is primitive, and a set with positive upper density
must contain a fixed positive proportion $\delta$ of each dyadic interval
$[x_i,2x_i)$ for some unbounded sequence $\{x_i\}$.
The Besicovitch argument then goes over to show that ${\mathcal A}$ contains a primitive
subset of upper density arbitrarily close to $\delta/2$.

We address this subset question for a set of ``intermediate" density, namely it has
density~0, but an infinite reciprocal sum.  We prove the following
result.
\begin{theorem}
\label{theorem2}
There is a set ${\mathcal A}$ of natural numbers of asymptotic density $0$ satisfying
\begin{equation}
\label{eq-sums}
\sum_{a\in{\mathcal A}\setminus\{1\}}\frac1{a\log a}<\infty
\quad\text{and}\quad \sum_{a\in{\mathcal A}}\frac1a=\infty,
\end{equation}
such that for any primitive set $\S$ contained in ${\mathcal A}$ we have
\begin{equation}
\label{eq-primsum}
\sum_{s\in\S}\frac1s<\infty.
\end{equation}
\end{theorem}
In particular, no primitive subset of ${\mathcal A}$ has positive relative lower
density in ${\mathcal A}$, despite the counting function of ${\mathcal A}$ being small enough to allow
the possibility.
The set ${\mathcal A}$ that we exhibit has the property that there is a primitive
subset of relative positive upper density,
so there remains a perhaps interesting problem:  Is there a set ${\mathcal A}$
with infinite reciprocal sum such that any primitive subset has relative
density 0 in ${\mathcal A}$?  Maybe the Besicovitch construction will show
such a set ${\mathcal A}$ does not exist.

\section{Constructing primitive sets from a sequence of primes}
\label{construction}

Let $p_1<p_2<\cdots$ be any infinite sequence of primes such that
\[
 \sum_{j=1}^\infty \frac1{p_j} < \frac12.
\]
We need this sequence not to grow too quickly; for now we make only the restriction $p_j \ll j^2$.

Using the usual notation $\Omega(n)$ for the number of prime factors of $n$ counted with multiplicity, we define for any positive integer $k$
\[
 \S_k = \{ n\in{\mathbb N}\colon \Omega(n) = k,\, p_k\mid n,\, (p_1\cdots p_{k-1},n)=1 \},
\]
and we set
\[
 \S = \bigcup_ {k=1} ^\infty \S_k.
\]
We prove two results about $\S$: the first is that $\S$ is primitive and the
second is a lower bound for $S(x)$ (see Proposition~\ref{sum over k prop} below).

\begin{lemma}
\label{Sprim}
The set $\S$ is primitive.
\end{lemma}
\begin{proof}
Note that if $m$ and $n$ are distinct positive integers and $m$ divides $n$,
then $\Omega(m) < \Omega(n)$. Therefore if $\S$ were not primitive, then
there would exist positive integers $j<k$ and integers $m\in\S_j$ and
$n\in\S_k$ such that $m\mid n$. However, then $p_j$ would divide $m$ but not $n$,
a contradiction. (Indeed, $\S$ is an example of a homogeneous set, in the terminology of~\cite{Zh}.)
\end{proof}

Let $\sigma_j(x)$ denote the number of positive integers $n\le x$ such that $\Omega(n)=j$.

\begin{lemma}[Sathe--Selberg]
For any positive integer $j\le\lfloor \frac32\log_2 x \rfloor$,
\[
\sigma_j(x) = H_j(x)\left(1+O\left(\frac1{\log_2x}\right)\right)
\]
where
\[
H_j(x)=G\bigg( \frac{j-1}{\log\log x} \bigg) \frac x{\log x} \frac{(\log\log x)^{j-1}}{(j-1)!}
~\hbox{ and }~
G(z) = \frac1{\Gamma(z+1)} \prod_p \bigg( 1-\frac zp \bigg)^{-1} \bigg( 1-\frac1p \bigg)^z.
\]
\label{SS lemma}
\end{lemma}
For a proof, see \cite[Theorem 7.19]{MV}.

\begin{lemma}
Let $x$ be a sufficiently large real number.
For any integer $k\in[2,\frac32\log_2x]$,
\[
 S_k(x) \asymp \frac x{\log x} \frac{(\log\log x)^{k-2}}{(k-2)!} \frac1{p_k},
\]
where the implied constants are absolute.
\label{Skx lemma}
\end{lemma}

\begin{proof}
The result follows immediately from the prime number theorem in the case $k=2$,
so assume that $k\ge3$.
Since every element of $S_k(x)$ is divisible by $p_k$ and is coprime to
$p_1\dots p_{k-1}$, we have the inequalities
\[
\sigma_{k-1}\left(\frac{x}{p_k}\right)\ge
S_k(x) \ge \sigma_{k-1}\bigg( \frac x{p_k} \bigg) - \sum_{j=1}^{k-1} \sigma_{k-2}\bigg( \frac x{p_jp_k} \bigg).
\]
By Lemma~\ref{SS lemma}, this becomes
\begin{align*}
H_{k-1}\left(\frac{x}{p_k}\right)&\left(1+O\left(\frac1{\log_2(x/p_k)}\right)\right)
\ge S_k(x)\\
&\ge
\left(H_{k-1}\left(\frac{x}{p_k}\right)-\sum_{j=1}^{k-1}H_{k-2}\left(\frac{x}{p_jp_k}
\right)\right)\left(1+O\left(\frac1{\log_2(x/p_jp_k)}\right)\right).
\end{align*}
Because $k\ll\log_2 x$ and $p_j \ll j^2$, each occurrence of $\log(x/p_k)$
or $\log(x/p_jp_k)$ can be rewritten as $(\log x)(1 + O(1/\log_2 x))$,
and similarly $\log_2(x/p_k)$ and $\log_2(x/p_jp_k)$
can be rewritten as $(\log_2 x)(1+O(1/\log x))$.
In addition, the expressions $G((k-2)/\log_2(x/p_k))$ and
$G((k-3)/\log_2(x/p_jp_k))$ can be rewritten as
$$
G\left(\frac{k-2}{\log_2 x} + O\left(\frac1{\log_2 x}\right)\right)=
G\left(\frac{k-2}{\log_2 x}\right)\left(1+O\left(\frac1{\log_2 x}\right)\right),
$$
since $\log G(z)$ is analytic
and hence has a bounded first derivative in a neighborhood of the interval $[0,3/2]$.
Therefore
\begin{align*}
H_{k-1}\left(\frac{x}{p_k}\right)&\left(1+O\left(\frac1{\log_2x}\right)\right)
\ge S_k(x)\\
&\ge
H_{k-1}\left(\frac{x}{p_k}\right)
\left(1-\frac{k-3}{\log_2x}\sum_{j=1}^{k-1}\frac1{p_j}\right)
\left(1+O\left(\frac1{\log_2x}\right)\right).
\end{align*}
Since the sum is less than $\frac12$, and since $G(z)$ is bounded away from~0
and~$\infty$ on the interval $[0,3/2]$, this becomes
\[
S_k(x) \asymp H_{k-1}\left(\frac{x}{p_k}\right)
\asymp \frac x{\log x} \frac{(\log\log x)^{k-2}}{(k-2)!} \frac1{p_k}
\]
as claimed.
\end{proof}

\begin{prop}
For $x\ge p_1$, we have $x/p_B\gg S(x) \gg x/p_{B'}$, where
$B=B(x)=\lfloor\frac12\log_2x\rfloor$ and $B'=B'(x)= \lfloor \frac32\log_2 x \rfloor$.
\label{sum over k prop}
\end{prop}

\begin{proof}
Since $\S = \bigcup_{k=1}^\infty \S_k$ is a disjoint union,
we have by Lemma~\ref{Skx lemma},
$$
S(x) \ge \sum_{k=2}^{B'} S_k(x)
\gg \sum_{k=2}^{B'} \frac x{\log x} \frac{(\log_2 x)^{k-2}}{(k-2)!}\frac1{p_k}
\ge \frac x{\log x} \frac1{p_{B'}} \sum_{k=2}^{B'} \frac{(\log_2 x)^{k-2}}{(k-2)!}
\gg \frac{x}{p_{B'}},
$$
where we used the inequality
$$
\sum_{j=0}^{\lfloor y\rfloor}\frac{y^{j}}{j!}\gg e^y
$$
(which follows from \cite[equation 1.10]{No} with $\beta=0$) for the last step.
For the upper bound, we have
\[
S(x)\le\sum_{k=1}^\infty S_k(x)\le\sum_{k=B+1}^{B'}S_k(x)
+\sum_{\substack{n\le x\\\Omega(n)\le B}}1
+\sum_{\substack{n\le x\\\Omega(n)>B'}}1.
\]
There is a positive constant $c$ such that the last two sums here are
$O(x/(\log x)^{c})$.  Indeed, $\Omega(n)\le B$ implies that $\omega(n)\le B$,
where $\omega$ counts the number of distinct prime divisors, so the estimate
for $\Omega(n)\le B$ follows from the Hardy--Ramanujan inequality
(see~\cite[Proposition 3]{EN}).
If $\Omega(n)>B'$, a similar estimate holds using the Hardy--Ramanujan
inequality plus an estimate for those $n$ with $\Omega(n)-\omega(n)$ large,
or more directly from~\cite[Lemma 13]{LP}.

By Lemma~\ref{Skx lemma},
\[
\sum_{k=B+1}^{B'}S_k(x)\ll\sum_{k=B+1}^{B'}\frac{x}{\log x}\frac{(\log_2x)^{k-2}}{(k-2)!}
\frac1{p_B}
\le\frac{x}{p_B}\sum_{j=0}^\infty\frac{(\log_2x)^j}{j!\log x}=\frac{x}{p_B}.
\]
Since $p_B\le p_{B'}=O(B'^2)=O((\log_2x)^2)$, sets of size $O(x/(\log x)^{c})$
are negligible, and our result follows.
\end{proof}

\section{Proof of Theorem \ref{main}}

\begin{lemma}
\label{bound on L lemma}
Suppose that $L(x)$ is defined, positive, and increasing for $x\ge2$ and that
$L(2x)\sim L(x)$ as $x\to\infty$. Then $L(x) \ll_\varepsilon x^\varepsilon$ for any $\varepsilon>0$.
\end{lemma}

\begin{proof}
Given $\varepsilon>0$, we need to show that $L(x)/x^\varepsilon$ is bounded. Since $L(2x)\sim L(x)$, we may choose $x_1$ such that $L(2x) < (1+\varepsilon\log2) L(x)$ for all $x\ge x_1$. Define $M_u = \max_{u\le x\le 2u} L(x)/x^\varepsilon$. Then for any $u\ge x_1$,
\[
M_{2u} = \max_{2u\le x\le 4u} \frac{L(x)}{x^\varepsilon} = \max_{u\le y\le 2u} \frac{L(2y)}{(2y)^\varepsilon} < \frac{1+\varepsilon\log 2}{2^\varepsilon} \max_{u\le y\le 2u} \frac{L(y)}{y^\varepsilon} < 1\cdot M_u,
\]
since $2^\varepsilon > 1+\varepsilon\log 2$. Therefore $M_{x_1} > M_{2x_1} > M_{4x_1} > \cdots$,
and so $L(x)/x^\varepsilon$ is bounded by $M_{x_1}$ on $[x_1,\infty)$.
Since it is clearly bounded by $L(x_1)$ on $[2,x_1]$, the lemma is established.
\end{proof}

\begin{prop}
\label{exist prime sequence prop}
Suppose that $L(x)$ is defined, positive, and increasing for $x\ge2$, that
$L(2x)\sim L(x)$ as $x\to\infty$, and that
\begin{equation*}
\int_2^\infty\frac{dt}{t\log t\cdot L(t)}<\infty.
\end{equation*}
Then there is a sequence $p_1<p_2<\cdots$ of primes with $\sum_{k=1}^\infty 1/p_k<1/2$ and
$p_k \sim k \log k \cdot L(k)$ as $k\to\infty$.
\end{prop}

\begin{proof}
Choosing $y_0$ so that $L(y)\ge1$ holds for all $y\ge y_0$, define
\[
q_k = \begin{cases}
\text{the $k$th prime}, &\text{if } k < y_0, \\
\text{the $\lfloor k L(k) \rfloor$th prime}, &\text{if } k\ge y_0.
\end{cases}
\]
Then $\{q_k\}$ is increasing since
$(k+1)L(k+1) \ge (k+1)L(k) \ge kL(k)+1$ for $k\ge y_0$, so that
$\lfloor (k+1)L(k+1) \rfloor > \lfloor kL(k) \rfloor$.
By the prime number theorem, when $k\to\infty$ we have
\[
q_k \sim \lfloor kL(k) \rfloor \log \lfloor kL(k) \rfloor \sim kL(k) (\log k + \log L(k)) \sim kL(k)\log k,
\]
where the last asymptotic equality used Lemma~\ref {bound on L lemma}.
Further,
\[
\sum_{k\ge y_0+1} \frac1{q_k}\ll\sum_{k\ge y_0+1}\frac1{k\log k\cdot L(k)}
< \int_{y_0}^\infty \frac{dt}{t\log t\cdot L(t)}
\]
which converges; thus there is some nonnegative integer $k_0$ such that
$\sum_{k>k_0}1/q_k<1/2$. Then the sequence $\{p_k\}$ defined by  $p_k=q_{k_0+k}$ has the required properties.
\end{proof}

\noindent{\it Proof of Theorem \ref{main}}.  Note that if $c>0$ is fixed,
\[
p_{\lfloor c\log_2x\rfloor} \sim c\log_2 x \cdot \log_3 x
\cdot L\big( c \log_2x \big) \sim c \log_2x \cdot \log_3x \cdot L(\log_2 x)
\]
by the slowly varying property of $L$.  Applying this with $c=\frac12$
and $c=\frac32$, together with
Proposition~\ref{sum over k prop}, proves Theorem~\ref{main}. \hfill$\Box$

\section{Proof of Theorem 2}

For every positive integer $j$, define
\[
{\mathcal A}_j = \big\{ a\in{\mathbb N} \colon 2^{2^j} < a \le 2^{2^{j+1}},\, 2^j \parallel a \big\},
\]
and define ${\mathcal A} = \bigcup_{j=1}^\infty {\mathcal A}_j$ (a disjoint union). It is
clear that $A(x)\asymp x/\log x$, so that ${\mathcal A}$ has density 0 and
the two assertions in \eqref{eq-sums} hold.
It remains to show that if $\S$ is a primitive subset of ${\mathcal A}$, then
\eqref{eq-primsum} holds.

Let $\S\subset{\mathcal A}$ be primitive. For each natural number $s$,
define $s^\circ$ to be the largest odd divisor of $s$,
and define $\S^\circ = \{ s^\circ\colon s\in\S\}$.

\begin{lemma}
If $s_1,s_2\in\S$ are distinct, then $s_1^\circ \nmid s_2^\circ$. In particular, $\S^\circ$ is also primitive, and the map $s\mapsto s^\circ$ is a bijection between $\S$ and $\S^\circ$.
\end{lemma}

\begin{proof}
Suppose, for the sake of contradiction, that $s_1^\circ \mid s_2^\circ$.
Choose $j_1,j_2\in{\mathbb N}$ so that $s_1\in{\mathcal A}_{j_1}$ and $s_2\in{\mathcal A}_{j_2}$.
Since $s_1=2^{j_1}s_1^\circ$ and $s_2=2^{j_2}s_2^\circ$, the fact that $s_1\nmid s_2$ (by primitivity of $\S$) forces $j_1 \ge j_2+1$. But then
\[
s_1^\circ = \frac{s_1}{2^{j_1}} > 2^{2^{j_1}-j_1}
\]
and
\[
s_2^\circ = \frac{s_2}{2^{j_2}} \le 2^{2^{j_2+1}-j_2} \le 2^{2^{j_1}-(j_1-1)},
\]
since the expression $2^k-(k-1)$ is an increasing function for $k\ge1$. In particular, $s_2^\circ < 2s_1^\circ$, and so the divisibility relation $s_1^\circ \mid s_2^\circ$ forces $s_1^\circ = s_2^\circ$. But then $s_2\mid s_1$, contradicting the primitivity of~$\S$.

This shows that $s_1^\circ \nmid s_2^\circ$. The symmetric argument shows that $s_2^\circ \nmid s_1^\circ$, and so $\S^\circ$ is indeed primitive. Also, $s_1^\circ \nmid s_2^\circ$ implies that $s_1^\circ \ne s_2^\circ$, which shows that the map $s\mapsto s^\circ$ is a bijection between $\S$ and $\S^\circ$.
\end{proof}

If $s\in{\mathcal A}_j$ then $s^\circ = s/2^j$, and also $2^j \ge (\log s)/(2\log 2)$ by the upper bound on elements of ${\mathcal A}_j$; these relations imply that
\[
s^\circ \log s^\circ = \frac s{2^j}\log\frac s{2^j} \le \frac{2s\log2}{\log s} \log\frac {2s\log2}{\log s} \ll s.
\]
Therefore
\[
\sum_{s\in\S} \frac1s \ll \sum_{s^\circ \in\S^\circ} \frac1{s^\circ \log s^\circ}
\]
(using the injectivity of $s\mapsto s^\circ$).
However, $\S^\circ$ is primitive, and so the last sum is convergent by \eqref{eq-nlogn}.
This proves \eqref{eq-primsum}.

\subsection*{Acknowledgements} The first author was supported in part by
grants from the Natural Sciences and Engineering Research Council of Canada.
The second author was supported in part by NSF grant DMS-0703850.


Symmetries and color symmetries of a family of tilings with a singular point

Abstract: We obtain tilings with a singular point by applying conformal maps on regular tilings of the Euclidean plane, and determine its symmetries. The resulting tilings are then symmetrically colored by applying the same conformal maps on colorings of regular tilings arising from sublattice colorings of the centers of its tiles. In addition, we determine conditions so that the coloring of a tiling with singularity that is obtained in this manner is perfect.

\section{Introduction and Outline}

		A singularity of a tiling is a point $P$ for which any circular disk centered at $P$ intersects an infinite number of tiles.
		Hence, tilings with singular points are not locally finite and are classified among tilings that are not ``well-behaved'' \cite{Grun}.
		Geometric and topological properties of tilings with singularities have been investigated in \cite{Bree,Niel,Sush}.

		Symmetric colorings of tilings with a singular point were obtained in \cite{Luck} by distorting certain colorings of regular Euclidean tilings.
		However, it was found that not all colorings of regular tilings could be transformed into colorings of tilings with a singular point, because some colorings were incompatible
		with the tiling's rotational symmetry.
		Furthermore, it was surmised that there is a maximum number of colors for such colorings of a tiling with singularity.
		In Figure \ref{fig:(4^4)Example1a}, we have recreated a coloring of a tiling with a singularity from \cite[Figure 6]{Luck}.
		Figure \ref{fig:(4^4)Example1b} shows the coloring of a regular tiling by squares from which Figure \ref{fig:(4^4)Example1a} was obtained.
		Other colorings of the square tiling also compatible with the rotational symmetry of the tiling with singularity were found to have $1$, $2$, $5$, $10$, $25$ and $50$ colors only.

		\begin{figure}[ht]
			\begin{subfigure}[c]{0.4\textwidth}
				\includegraphics[height=4.5cm]{Fig1}
				\caption{}
				\label{fig:(4^4)Example1a}
			\end{subfigure}
			\begin{subfigure}[c]{0.3\textwidth}
				\includegraphics[height=4.5cm]{Fig2}
				\caption{}
				\label{fig:(4^4)Example1b}
			\end{subfigure}
			\caption{Coloring of a tiling with a singularity and corresponding coloring of the $(4^4)$ tiling}
		\end{figure}

		In this contribution, we provide a mathematical basis for the observations made in \cite{Luck}.
		We begin by introducing in Section \ref{sec:Preliminaries} the framework used in this paper, together with some known results.
		Section \ref{sec:ConformalMapping} discusses the conformal maps that are applied on regular Euclidean tilings which yield tilings with a singularity.
		In Section \ref{sec:SymmetryGroup}, a correspondence between the the symmetry groups of the regular tilings and their images under the conformal maps is established.
		This allows us to determine the symmetry group of the tiling with singularity, which turns out to be isomorphic to a finite cyclic or finite dihedral group.
		Section \ref{sec:ColorSymmetry} focuses on the symmetry of colorings of tilings with a singularity.
		We use a method similar to that in \cite{Luck} to obtain colorings of tilings with a singularity: conformal maps are applied on sublattice colorings of regular Euclidean tilings.
		However, applying a conformal map on a coloring of a regular tiling does not always yield a coloring of the corresponding tiling with singularity.
		Consequently, a compatibility condition between a sublattice coloring of a regular tiling and a conformal map is established.
		Furthermore, for colorings compatible with a conformal map, we identify a necessary and sufficient condition so that a symmetry of the uncolored tiling with singularity is
		a color symmetry of the resulting coloring of the tiling.
		Lastly, we determine the maximum number of colors of a perfect coloring of the tiling with a singularity obtained in this manner.
		Several examples are presented in Section \ref{sec:Examples}.

	\section{Preliminaries}\label{sec:Preliminaries}

		A planar \emph{tile} is any set $T$ in the Euclidean plane that is the closure of its interior.
		Here, tiles are always bounded, and consequently, compact.
		A \emph{tiling} of $\mathbbm{R}^2$ is a set of tiles $\mathscr{T}=\{ T_i\} _{i\in\mathbbm{N}}$, such that ${\cup}_{i\in\mathbbm{N}}T_i=\mathbbm{R}^2$ and $\interior(T_i)\cap\interior(T_j)=\varnothing$ for all
		$i\neq j$.
		That is, $\mathscr{T}$ is both a packing and a covering of $\mathbbm{R}^2$.

		A tiling $\mathscr{T}$ of $\mathbbm{R}^2$ is said to be \emph{locally finite} if for any given point $x\in\mathbbm{R}^2$, every circular disk centered at $x$ intersects only a finite number of
		tiles of $\mathscr{T}$  \cite{Grun,BaakeGrimm}.
		Hence, if $\mathscr{T}$ is not locally finite, then there exists at least one point $x_0\in\mathbbm{R}^2$ such that for all $r>0$, $B(x_0,r)\cap T\neq\varnothing$ for an infinite
		number of $T\in\mathscr{T}$.
		Such a point is called a \emph{singular point} of the tiling.

		We are primarily concerned with symmetries of tilings with a singularity at the origin that are obtained by applying conformal maps on the three types of regular tilings of
		$\mathbbm{R}^2$: the $(4^4)$ tiling (regular tiling by squares), the $(6^3)$ tiling (regular tiling by hexagons), and the $(3^6)$ tiling (regular tiling by triangles). Furthermore, we
		determine the color symmetries of colorings of tilings with a singularity obtained from certain colorings of regular tilings. To this end, the following definitions taken from
		\cite{Grun} are needed.

		Let $X$ be a set of points or a set of tiles in $\mathbbm{R}^2$, with symmetry group $\sg(X)$. We refer to the subgroup of $\sg(X)$ containing all direct symmetries of $X$ as the
		\emph{rotation group} of $X$, and denote it by $\rg(X)$. Meanwhile, the subgroup of $\sg(X)$ containing all translation symmetries of $X$ is called the \emph{translation group}
		of $X$, and is written $\tg(X)$.

		A \emph{coloring} of $X$ is a surjective map $\mathcal{C}_X:X\rightarrow K$, where $K$ is a finite set of $m$ colors.
		Equivalently, a coloring $\mathcal{C}_X$ of $X$ may be viewed as a partition $\{ X_i\} _{i=1}^m$ of $X$.
		A \emph{color symmetry} of $\mathcal{C}_X$ is an element of $\sg(X)$ that permutes the colors of $\mathcal{C}_X$.
		The set $\mathcal{H}_{\mathcal{C}_X}$ of all color symmetries of $\mathcal{C}_X$, that is
		\[\mathcal{H}_{\mathcal{C}_X}=\{h\in\sg(X)\mid \exists\text{ permutation }\sigma_h\text{ on }K\text{ such that }\forall\ x\in X,\ \mathcal{C}_X(h(x))=\sigma_h(\mathcal{C}_X(h))\},\]
		forms a subgroup of $\sg(X)$.
		We call this the \emph{color symmetry group} of the coloring \emph{$\mathcal{C}_X$}.
		If $\mathcal{H}_{\mathcal{C}_X}=\sg(X)$, then $\mathcal{C}_X$ is said to be a \emph{perfect coloring of} $X$.
		If  $\mathcal{H}_{\mathcal{C}_X}$ contains $\rg(X)$, then $\mathcal{C}_X$ is called a \emph{chirally perfect coloring of} $X$ \cite{Rigb}.
		To distinguish a perfect coloring from a chirally perfect coloring, we sometimes refer to a perfect coloring as a \emph{fully perfect coloring}.

		Of particular interest are \emph{sublattice colorings} of square and hexagonal lattices \cite{Mood,Pena} .
		A sublattice $\Gamma$ of a lattice $\Gamma_0$ is a subgroup of finite index $m$ in $\Gamma_0$.
		We assign a unique color to each coset of $\Gamma$ to obtain a coloring of $\Gamma_0$.
		That is, the coloring of $\Gamma_0$ induced by $\Gamma$ is given by $\mathcal{C}_{\Gamma_0} = \{X_i\}_{i=1}^{m}$, where $X_i$, $i\in\{1,\ldots,m\}$,  is a coset of $\Gamma$.
		Since the number of colors in the coloring of $\Gamma_0$ induced by $\Gamma$ is the index of $\Gamma$ in $\Gamma_0$,
		we sometimes refer to the number of colors as the \emph{color index} of the coloring.
		Furthermore, the translation symmetries of $\Gamma_0$ are always contained in $\mathcal{H}_{\mathcal{C}_{\Gamma_0}}$ because they fix every coset of $\Gamma$ \cite[Theorem 1]{Pena}.

		Finally, we describe the setting that we will use throughout the paper.

		We identify the Euclidean plane $\mathbbm{R}^2$ with the complex plane $\mathbbm{C}$.
		If $z\in\mathbbm{C}$, we denote the modulus of $z$ by $|z|$, and its conjugate by $\bar{z}$.
		We use $i$ and $\omega$ to represent $\sqrt{-1}$ and $e^{2\pi i/3}$, respectively.
		Furthermore, we associate the square lattice with the ring $\mathbbm{Z}[i]=\{a+bi\mid a,b\in\mathbbm{Z}\}$ of Gaussian integers, while the hexagonal lattice is identified with the ring
		$\mathbbm{Z}[\omega]=\{a+b\omega\mid a,b\in\mathbbm{Z}\}$ of Eisenstein integers. It is known that if $\xi=i$ or $\xi=\omega$, then $\mathbbm{Z}[\xi]$ is a principal ideal domain.  Also, given
		$\beta\in\mathbbm{Z}[\xi]$, the ideal $(\beta)$ generated by $\beta$ is of index $|\beta|^{2}$ in $\mathbbm{Z}[\xi]$.

		Let $\mathscr{T}$ be a regular tiling, $P$ be the set of centers of tiles of $\mathscr{T}$, and $\Lambda$ be the orbit of the origin under the action of $\tg(\mathscr{T})$.  We superimpose the
		complex plane over $\mathscr{T}$ in the following manner.
		\begin{description}
			\item[$\mathscr{T}$ is the $(4^4)$ tiling] The set $P$ is a square lattice. We superimpose $\mathbbm{C}$ over $\mathscr{T}$ so that $P$ coincides with the points of $\mathbbm{Z}[i]$.
			Note that $\Lambda=\mathbbm{Z}[i]$.

			\item[$\mathscr{T}$ is the $(6^3)$ tiling] The set $P$ forms a hexagonal lattice. We view $\mathscr{T}$ in $\mathbbm{C}$ in such a way that $P$ coincides with $\mathbbm{Z}[\omega]$, from which
			follows $\Lambda=\mathbbm{Z}[\omega]$.

			\item[$\mathscr{T}$ is the $(3^6)$ tiling] The set $P$ is not a lattice, but nonetheless forms a crystallographic point packing \cite{ConwaySloane,BaakeGrimm}.  Superimpose $\mathbbm{C}$
			over $\mathscr{T}$ so that the set $P_0$ of vertices of $\mathscr{T}$ coincides with the points of the ideal $(2+\omega)$ of $\mathbbm{Z}[\omega]$. The two other cosets of $P_0$ in $\mathbbm{Z}[\omega]$
			are $P_1=-1+(2+\omega)$ and $P_2=1+(2+\omega)$. Note that $P=P_1\cup P_2$, while $\Lambda =P_0$. This is illustrated in Figure \ref{(p0p1p2}.
		\end{description}

		\begin{figure}[ht]
			\centering
			\begin{tikzpicture}[scale=1.2]

				\draw[line width=1.5] (-2.58,2.98)--(2.58,2.98)--(2.58,-0.99)--(-2.58,-0.99)--(-2.58,2.98);
				\foreach \k in {-2,-1,0,1,2}
				\draw[line width=0.85] (.86*\k,-1)--(0.86*\k,3);
				\draw[line width=0.75] (-2.58,2.5)--(2.58,-.5);
				\draw[line width=0.75] (-2.58,1.5)--(1.72,-1);
				\draw[line width=0.75] (-2.58,0.5)--(0,-1);
				\draw[line width=0.75] (-2.58,-0.5)--(-1.72,-1);
				\draw[line width=0.75] (-1.72,3)--(2.59,0.5);
				\draw[line width=0.75] (2.58,1.5)--(0,3);
				\draw[line width=0.75] (1.72,3)--(2.58,2.5);
				\draw[line width=0.75] (-1.72,3)--(-2.58,2.5);
				\draw[line width=0.75] (0,3)--(-2.58,1.5);
				\draw[line width=0.75] (1.72,3)--(-2.58,0.5);
				\draw[line width=0.75] (2.58,2.5)--(-2.58,-.5);
				\draw[line width=0.75] (2.58,1.5)--(-1.72,-1);
				\draw[line width=0.75] (2.58,0.5)--(0,-1);
				\draw[line width=0.75] (2.58,-0.5)--(1.72,-1);

				\foreach \l in {0,1,2}
					\fill[cm={1,0,0,1,(0,\l)}] (0,0) circle (1.9pt);
				\foreach \l in {-1,0,1,2}
					\fill[cm={1,0,0,1,(0,\l)}] (-0.86,0.5) circle (1.9pt);
				\foreach \l in {0,1,2}
					\fill[cm={1,0,0,1,(0,\l)}] (-1.72,0) circle (1.9pt);
				\foreach \l in {-1,0,1,2}
					\fill[cm={1,0,0,1,(0,\l)}] (0.86,0.5) circle (1.9pt);
				\foreach \l in {0,1,2}
					\fill[cm={1,0,0,1,(0,\l)}] (1.72,0) circle (1.9pt);

				\foreach \l in {0,1,2}
					\fill[color=red,cm={1,0,0,1,(0.573,\l)}] (0,0) circle (1.9pt);
				\foreach \l in {-1,0,1,2}
					\fill[color=red,cm={1,0,0,1,(0.573,\l)}] (-0.86,0.5) circle (1.9pt);
				\foreach \l in {0,1,2}
					\fill[color=red,cm={1,0,0,1,(0.573,\l)}] (-1.72,0) circle (1.9pt);
				\foreach \l in {-1,0,1,2}
					\fill[color=red,cm={1,0,0,1,(0.573,\l)}] (0.86,0.5) circle (1.9pt);
				\foreach \l in {0,1,2}
					\fill[color=red,cm={1,0,0,1,(0.573,\l)}] (1.72,0) circle (1.9pt);
				\foreach \l in {-1,0,1,2}
					\fill[color=red,cm={1,0,0,1,(0.573,\l)}] (-2.58,0.5) circle (1.9pt);

				\foreach \l in {0,1,2}
					\fill[color=blue,cm={1,0,0,1,(-0.573,\l)}] (0,0) circle (1.9pt);
				\foreach \l in {-1,0,1,2}
					\fill[color=blue,cm={1,0,0,1,(-0.573,\l)}] (-0.86,0.5) circle (1.9pt);
				\foreach \l in {0,1,2}
					\fill[color=blue,cm={1,0,0,1,(-0.573,\l)}] (-1.72,0) circle (1.9pt);
				\foreach \l in {-1,0,1,2}
					\fill[color=blue,cm={1,0,0,1,(-0.573,\l)}] (0.86,0.5) circle (1.9pt);
				\foreach \l in {0,1,2}
					\fill[color=blue,cm={1,0,0,1,(-0.573,\l)}] (1.72,0) circle (1.9pt);
				\foreach \l in {-1,0,1,2}
					\fill[color=blue,cm={1,0,0,1,(-0.573,\l)}] (2.58,0.5) circle (1.9pt);
			\end{tikzpicture}
			\caption{\textbf{$(3^6)$ Tiling}: The black, blue and red points represent $P_0=(2+\omega)$, $P_1=-1+(2+\omega)$ and $P_2=1+(2+\omega)$, respectively}\label{(p0p1p2}
		\end{figure}

		The symmetry group of $\mathscr{T}$ is $\sg(\mathscr{T})=\langle h_1,h_2,h_3,h_4 \rangle$, where $h_1$ is a rotation, $h_2$ is a reflection, and $h_3$ and $h_4$ are translations.
		Table \ref{tab:SymmetryGroupT} shows these symmetries as complex functions for the three regular tilings.
		\begin{table}[ht]
			\begin{tabular}{|c|c|c|c|}
				\hline
				Tiling & $(4^4)$ & $(6^3)$ & $(3^6)$ \\
				\hline
				$h_1(z)=$ & $iz$ &  $(1+\omega)z$ & $(1+\omega)z$   \\
				\hline
				$h_2(z)=$ & $\bar{z}$ & $\bar{z}$ & $\bar{z}$ \\
				\hline
				$h_3(z)=$ & $z+1$ & $z+1$ & $z+(2+\omega)$ \\
				\hline
				$h_4(z)=$ & $z+i$ & $z+\omega$ & $z+(1-\omega)$ \\
				\hline
				$\sg(\mathscr{T})$ of type & $p4m$ or $\ast 442$ & $p6m$ or $\ast 632$ & $p6m$ or $\ast 632$\\
				\hline
				\end{tabular}
			\caption{Symmetries of Regular Tilings}\label{tab:SymmetryGroupT}
		\end{table}

		We need the following result from \cite{Buga} that provides necessary and sufficient conditions for a sublattice coloring of $\mathbbm{Z}[i]$ or $\mathbbm{Z}[\omega]$ to be chirally or fully
		perfect.

		\begin{thm}\label{thm:PerfectT}
			Let $\xi\in\{i,\omega\}$, and $\mathcal{C}_{\mathbbm{Z}[\xi]}$ be a coloring induced by the sublattice $\Gamma$. Then the coloring $\mathcal{C}_{\mathbbm{Z}[\xi]}$ is chirally perfect if and only if
			$\Gamma$ is an ideal of $\mathbbm{Z}[\xi]$. In addition, if $\beta\in\mathbbm{Z}[\xi]$, then the coloring $\mathcal{C}_{\mathbbm{Z}[\xi]}$ induced by $(\beta)$ is perfect if and only if
			$\beta=\pm\xi^j\bar{\beta}$.
		\end{thm}

		Theorem \ref{thm:PerfectT} states that a sublattice coloring of $\mathbbm{Z}[i]$ or $\mathbbm{Z}[\omega]$ is chirally perfect if and only if the sublattice that induces the coloring is an ideal of
		the respective lattice. We refer to such colorings as \emph{ideal colorings} of the lattice. Furthermore, this ideal coloring is perfect if its generator is \emph{balanced},
		that is, the generator and its conjugate are associates \cite{Wash}.

	\section{Family of Tilings with a Singularity via Conformal Mappings}\label{sec:ConformalMapping}
		We consider the conformal map $\varphi_{\alpha}:\mathbbm{C}\rightarrow\mathbbm{C}^{\ast}:=\mathbbm{C}\setminus\{0\}$ defined by
		\begin{equation}\label{eq:ConformalMap}
			\varphi_{\alpha}(z)=\exp\left(\frac{2\pi i z}{\alpha}\right)=\exp\left(\frac{2\pi i}{{|\alpha|}^2}\bar{\alpha}z\right)
		\end{equation}
		where $\alpha\in\mathbbm{C}^{\ast}$.  The following lemma establishes which points of $\mathbbm{C}$ have the same image under $\varphi_{\alpha}$.

		\begin{lem}\label{lem:SameImage}
			Let $\varphi_{\alpha}(z)=\exp(2\pi i z/\alpha)$, where $\alpha\in\mathbbm{C}^{\ast}$.
			Given $z_1,z_2\in\mathbbm{C}$, then $\varphi_{\alpha}(z_1)=\varphi_{\alpha}(z_2)$ if and only if $z_2=z_1+k\alpha$ for some $k\in\mathbbm{Z}$.
		\end{lem}

		We now apply $\varphi_{\alpha}$ on a regular tiling $\mathscr{T}$ to obtain a tiling with a singularity at the origin. For this, we need to find conditions on $\alpha$ that guarantee that
		$\mathscr{S}_{\alpha}:=\{\varphi_{\alpha}(T)\mid T\in\mathscr{T}\}$ is a tiling of $\mathbbm{C}^{\ast}$.

		\begin{thm}\label{alphaconditions}
			Let $\mathscr{T}$ be a regular tiling, $\Lambda$ be the orbit of the origin under the action of $\tg(\mathscr{T})$ and $\varphi_{\alpha}(z)=\exp(2\pi i z/\alpha)$.
			If $\alpha\in\Lambda$ and $|\alpha|>\max\{|z_1-z_2|\mid z_1,z_2\in \partial T,\ T\in\mathscr{T}\}$ (where $\partial T$ denotes the boundary of tile $T$), then
			$\mathscr{S}_{\alpha}=\{\varphi_{\alpha}(T)\mid T\in\mathscr{T}\}$ is a tiling of $\mathbbm{C}^{\ast}$.
		\end{thm}

		\begin{proof}
			Let $T\in\mathscr{T}$.
			Clearly, $\varphi_{\alpha}(\partial T)$ is a closed curve.
			Suppose $z_1,z_2\in\partial T$ such that $\varphi_{\alpha}(z_1)=\varphi_{\alpha}(z_2)$. Then $z_1=z_2+k\alpha$ for some $k\in\mathbbm{Z}$ by Lemma \ref{lem:SameImage}.
			We have $|\alpha|>|z_1-z_2|=|k||\alpha|$ which implies that $k=0$ and $z_1=z_2$.
			Thus, $\varphi_{\alpha}$ maps $\partial T$ one-to-one and onto $\varphi_{\alpha}(\partial T)$.
			This means that $\varphi_{\alpha}(\partial T)$ is simple, and it follows from~\cite[Chapter 3]{Bieb} that $\interior(T)$ is also mapped one-to-one
			and onto $\interior(\varphi_{\alpha}(\partial T))$.  This implies that $\varphi_{\alpha}(T)$ is a tile.

			Since $\mathscr{T}$ is a covering of $\mathbbm{C}$ and $\varphi_{\alpha}$ is onto, $\mathscr{S}_{\alpha}$ is a covering of $\mathbbm{C}^{\ast}$.
			All that remains is to show that $\mathscr{S}_{\alpha}$ is a packing of~$\mathbbm{C}^{\ast}$.
			Indeed, let $T_1,T_2\in\mathscr{T}$ such that $\interior(\varphi_{\alpha}(T_1))\cap\interior(\varphi_{\alpha}(T_2))\neq\varnothing$.
			Then there exist $z_1\in\interior(T_1)$ and $z_2\in\interior(T_2)$ such that
			$z_2=z_1+k\alpha$ for some $k\in\mathbbm{Z}$ by Lemma \ref{lem:SameImage}.
			Since $\alpha\in\Lambda$, we have $z_2\in\interior(T_1+k\alpha)$.
			Hence, $T_2=T_1+k\alpha$ because $\mathscr{T}$ is a packing of $\mathbbm{C}$, and
			thus, $\varphi_{\alpha}(T_1)=\varphi_{\alpha}(T_2)$.
		\end{proof}

		Henceforth, it shall be assumed that $\alpha$ satisfies the required conditions stated in Theorem \ref{alphaconditions} so that $\mathscr{S}_{\alpha}$ is a tiling of $\mathbbm{C}^{\ast}$.
		We say that such an $\alpha$ is \emph{admissible}.
		We make the following observations about admissible values of $\alpha$.
		\begin{enumerate}
			\item Since $\alpha\in\Lambda$, there exist unique integers $L$ and $R$ such that $\alpha =L+Ri$, $\alpha=L+R\omega$ and $\alpha=(L+R\omega)(2+\omega)=(2L-R)+(L+R)\omega$
			for the $(4^4)$, $(6^3)$ and $(3^6)$ tilings, respectively.
			We now say that $L$ and $R$ are the \emph{integers that determine} $\alpha$.

			\item Since $|\alpha|>\max\{|z_1-z_2|\mid z_1,z_2\in \partial T,\ T\in\mathscr{T}\}$, $|\alpha|$ is greater than $\sqrt{2}$, $\frac{2\sqrt{3}}{3}$ and $\sqrt{3}$ for the
			$(4^4)$, $(6^3)$ and $(3^6)$ tilings, respectively.
		\end{enumerate}

		The following proposition states that if $\alpha$ is an admissible value, then replacing $\alpha$ by any of its associates in \eqref{eq:ConformalMap} yields the same tiling
		$\mathscr{S}_{\alpha}$.  Thus, to exhaust all possible $\mathscr{S}_{\alpha}$, it is enough to consider one representative from each associate class of $\mathbbm{Z}[\xi]$.

		\begin{prop}\label{prop:SameImage}
			Let $\varphi_{\alpha_1}(z)=\exp(2\pi i z/\alpha_1)$,
			$\varphi_{\alpha_2}(z)=\exp(2\pi i z/\alpha_2)$, and $\xi\in\{i,\omega\}$.
			If $\alpha_1$ and $\alpha_2$ are associates in $\mathbbm{Z}[\xi]$, then $\mathscr{S}_{\alpha_1}=\mathscr{S}_{\alpha_2}$.
		\end{prop}
		\begin{proof}
			Let $\xi =i$ if $\mathscr{T}$ is the $(4^4)$ tiling, and $\xi=\omega$ if $\mathscr{T}$ is the $(6^3)$ or $(3^6)$ tiling.
			If $\alpha_1$ and $\alpha_2$ are associates, then $\alpha_2=\epsilon\alpha_1$ for some unit $\epsilon\in\mathbbm{Z}[\xi]$. Now $f(z)=\epsilon z$ is a symmetry of $\mathscr{T}$, so
			$f(T)=\epsilon T\in\mathscr{T}$ whenever $T\in\mathscr{T}$. The conclusion then follows since $\varphi_{\alpha_1}(T)=\varphi_{\alpha_2}(\epsilon T)$.
		\end{proof}

		We now describe the tilings $\mathscr{S}_{\alpha}$.
		Note that the map $\varphi_{\alpha}$ sends a line in $\mathbbm{C}$ to one of the following: a logarithmic spiral with the asymptotic point at the origin, a circle centered at the origin, and an
		open-ended ray emanating from the origin.  This is the reason why $\mathscr{S}_{\alpha}$ ends up having a singular point at the origin.

		The lines (or edges, in the case of the $(3^6)$ tiling) of $\mathscr{T}$ can be partitioned into equivalence classes, where two lines belong to the same equivalence class if
		they are parallel.
		There are two equivalence classes of parallel lines for the $(4^4)$ tiling, and three for the $(6^3)$ and $(3^6)$ tilings.
		It is easy to verify that the images of lines that belong to the same equivalence class are of the same type.

		The image under $\varphi_{\alpha}$ of an equivalence class of parallel lines in $\mathscr{T}$ depends on the prime decomposition of $\alpha$ in $\mathbbm{Z}[\xi]$, where $\xi=i$ if $\mathscr{T}$ is
		the $(4^4)$ tiling and $\xi=\omega$ if $\mathscr{T}$ is the $(6^3)$ or $(3^6)$ tiling.  Hence,
		we categorize all possible $\mathscr{S}_{\alpha}$ into three classes.  Class 1 tilings are those $\mathscr{S}_{\alpha}$ for which $\alpha$ is not balanced.  The tiling $\mathscr{S}_{\alpha}$ falls under Class 2
		whenever $\alpha$ is balanced and the factorization of $\alpha$ contains an odd power of a factor of the ramified prime in $\mathbbm{Z}[\xi]$.
		In this case, we write $\alpha=\epsilon(L-L\xi)$ for some unit $\epsilon$ in $\mathbbm{Z}[\xi]$ and $L\in\mathbbm{Z}$.  Finally, if $\alpha$ is an integer multiple of a unit in $\mathbbm{Z}[\xi]$,
		that is, $\alpha=\epsilon L$, then we say that $\mathscr{S}_{\alpha}$ belongs to Class 3.  We summarize the curves that bound the tiles of $\mathscr{S}_{\alpha}$ for each class in Table \ref{stiling}.

		\begin{table}[ht]
			\begin{tabular}{|c||c|c|}\hline
				Class & $\mathscr{T}$ & Images of lines (or edges) of $\mathscr{T}$ under $\varphi_{\alpha}$\\\hline
				\multirow{3}{*}{1} & $(4^{4})$ &
				\begin{minipage}[c]{0.82\linewidth}
					two sets of spirals that contain $|L|$ and $|R|$ spirals, spirals in one set are positively-oriented while spirals in the other set are negatively-oriented
				\end{minipage}\\\cline{2-3}
				& $(6^{3})$ &
				\begin{minipage}[c]{0.82\linewidth}
					three sets of spirals that contain $|2L-R|$, $|2R-L|$ and $|L+R|$ spirals, spirals in two sets go in the same direction while spirals in the third set go in the
					opposite direction
				\end{minipage}\\\cline{2-3}
				& $(3^{6})$ &
				\begin{minipage}[c]{0.82\linewidth}
					three sets of spirals that contain $|L|$, $|R|$ and $|L-R|$ spirals, spirals in two sets go in the same direction while spirals in the third set go in the
					opposite direction
				\end{minipage}\\\hline\hline
				\multirow{3}{*}{2} & $(4^{4})$ &
				\begin{minipage}[c]{0.82\linewidth}
					$|L|$ positively- and $|L|$ negatively-oriented spirals
				\end{minipage}\\\cline{2-3}
				& $(6^{3})$ &
				\begin{minipage}[c]{0.82\linewidth}
					$|3L|$ positively- and $|3L|$ negatively-oriented spirals, circles centered at the origin
				\end{minipage}\\\cline{2-3}
				& $(3^{6})$ &
				\begin{minipage}[c]{0.82\linewidth}
					$|L|$ positively- and $|L|$ negatively-oriented spirals, circles centered at the origin
				\end{minipage}\\\hline\hline
				\multirow{3}{*}{3} & $(4^{4})$ &
				\begin{minipage}[c]{0.82\linewidth}
					$|L|$ rays emanating from the origin, circles centered at the origin
				\end{minipage}\\\cline{2-3}
				& $(6^{3})$ &
				\begin{minipage}[c]{0.82\linewidth}
					$|L|$ positively- and $|L|$ negatively-oriented spirals, $|2L|$ rays emanating from the origin
				\end{minipage}\\\cline{2-3}
				& $(3^{6})$ &
				\begin{minipage}[c]{0.82\linewidth}
					$|L/3|$ positively- and $|L/3|$ negatively-oriented spirals, $|2L/3|$ rays emanating from the origin
				\end{minipage}\\\hline
			\end{tabular}
			\caption{Three Classes of Tilings with a Singularity at the Origin and the Curves that Bound Their Tiles}
			\label{stiling}
		\end{table}

		Let $[\ell]$ be an equivalence class of lines (or edges) of $\mathscr{T}$.  Observe from Table \ref{stiling} that if $\varphi_{\alpha}([\ell])$ is a set of logarithmic spirals or a set of rays,
		then it contains only a finite number of elements.  In addition, as we will see in the next section, the spirals and rays are spread out symmetrically about the origin.
		On the other other hand, if $\varphi_{\alpha}([\ell])$ is a set of circles, then it is countably infinite.  Here, the radii of the circles increase geometrically.
		Figure \ref{fig:(4^4)Classes} shows an example from each class for the $(4^4)$ tiling.

		\begin{figure}[ht]

			\begin{subfigure}[c]{0.3\linewidth}
				\centering
				\begin{tikzpicture}[scale=1.15]

					\draw[line width=1pt, color=black, domain=-2.5:1.08,samples=200,smooth] plot (xy polar cs:angle=\x r,radius={exp(1.5*(\x)-0.79)});
					\draw[line width=1pt, color=black, domain=-2.5:2.17,samples=200,smooth] plot (xy polar cs:angle=\x r,radius={exp(1.5*(\x)-2.37)});
					\draw[line width=1pt, color=black, domain=-2.5:3.10,samples=200,smooth] plot (xy polar cs:angle=\x r,radius={exp(1.5*(\x)-3.95)});
					\draw[line width=1pt, color=black, domain=-2.5:4.23,samples=200,smooth] plot (xy polar cs:angle=\x r,radius={exp(1.5*(\x)-5.53)});
					\draw[line width=1pt, color=black, domain=-2.5:5.35,samples=200,smooth] plot (xy polar cs:angle=\x r,radius={exp(1.5*(\x)-7.11)});
					\draw[line width=1pt, color=black, domain=-1:6.26,samples=200,smooth] plot (xy polar cs:angle=\x r,radius={exp(1.5*(\x)-8.69)});

					\draw[line width=1pt, color=black, domain=-0.35:10,samples=200,smooth] plot (xy polar cs:angle=\x r,radius={exp(-0.67*(\x)+0.52)});
					\draw[line width=1pt, color=black, domain=1.17:10,samples=200,smooth] plot (xy polar cs:angle=\x r,radius={exp(-0.67*(\x)+1.56)});
					\draw[line width=1pt, color=black, domain=2.7:10,samples=200,smooth] plot (xy polar cs:angle=\x r,radius={exp(-0.67*(\x)+2.6)});
					\draw[line width=1pt, color=black, domain=4.15:10,samples=200,smooth] plot (xy polar cs:angle=\x r,radius={exp(-0.67*(\x)+3.64)});

					\draw[line width=1] (2,2)--(-2,2)--(-2,-2)--(2,-2)--(2,2);
				\end{tikzpicture}
				\caption{Class 1 ($\alpha=4+6i$)}
			\end{subfigure}

			\begin{subfigure}[c]{0.3\linewidth}
				\begin{tikzpicture}[scale=.5]

					\draw[line width=1pt, color=black, domain=-4:1.04,samples=200,smooth] plot (xy polar cs:angle=\x r,radius={exp((\x)+0.63)});
					\draw[line width=1pt, color=black, domain=-5:-0.3,samples=200,smooth] plot (xy polar cs:angle=\x r,radius={exp((\x)+3*0.63)});
					\draw[line width=1pt, color=black, domain=-7.14:-1.625,samples=200,smooth] plot (xy polar cs:angle=\x r,radius={exp((\x)+5*0.63)});
					\draw[line width=1pt, color=black, domain=-8.14:-2.8,samples=200,smooth] plot (xy polar cs:angle=\x r,radius={exp((\x)+7*0.63)});
					\draw[line width=1pt, color=black, domain=-10.28:-3.845,samples=200,smooth] plot (xy polar cs:angle=\x r,radius={exp((\x)+9*0.63)});

					\draw[line width=1pt, color=black, domain=-1.04:4,samples=200,smooth] plot (xy polar cs:angle=\x r,radius={exp(0.63-(\x))});
					\draw[line width=1pt, color=black, domain=0.3:5,samples=200,smooth] plot (xy polar cs:angle=\x r,radius={exp((3*0.63)-(\x))});
					\draw[line width=1pt, color=black, domain=1.625:7.14,samples=200,smooth] plot (xy polar cs:angle=\x r,radius={exp((5*0.63)-\x)});
					\draw[line width=1pt, color=black, domain=2.8:8.14,samples=200,smooth] plot (xy polar cs:angle=\x r,radius={exp((7*0.63)-(\x))});
					\draw[line width=1pt, color=black, domain=3.845:10.28,samples=200,smooth] plot (xy polar cs:angle=\x r,radius={exp((9*0.63)-(\x))});

					\draw[line width=1pt, color=black] (-4.7,4.6)--(4.7,4.6);
					\draw[line width=1pt, color=black] (-4.7,-4.6)--(-4.7,4.6);
					\draw[line width=1pt, color=black] (-4.7,-4.6)--(4.7,-4.6);
					\draw[line width=1pt, color=black] (4.7,-4.6)--(4.7,4.6);
				\end{tikzpicture}
				\caption{Class 2 ($\alpha=-5+5i$)}
			\end{subfigure}

			\begin{subfigure}[c]{0.3\linewidth}
				\begin{tikzpicture}[scale=.042]
					\draw[line width=1pt] (0,0) circle (0.46cm);
					\draw[line width=1pt] (0,0) circle (2.19cm);
					\draw[line width=1pt] (0,0) circle (10.55cm);
					\draw[line width=1pt] (0,0) circle (50.75cm);
					\draw[line width=1pt] (55,55)--(-55,55)--(-55,-55)--(55,-55)--(55,55);
					\draw[line width=1pt] (55,55)--(-55,-55);
					\draw[line width=1pt] (-55,55)--(55,-55);
				\end{tikzpicture}
				\caption{Class 3 ($\alpha=4$)}
			\end{subfigure}
			\caption{Tilings with singularity obtained by applying the conformal map $\varphi_{\alpha}$ on the $(4^4)$ tiling}
			\label{fig:(4^4)Classes}
		\end{figure}

	\section{Symmetries of $\mathscr{S}_{\alpha}$}\label{sec:SymmetryGroup}
		Since $\mathscr{S}_{\alpha}$ has only one singular point, a symmetry of $\mathscr{S}_{\alpha}$ must fix that point.
		Thus, $\sg(\mathscr{S}_{\alpha})$ is a group of isometries that fix the origin, and consequently, it must be isomorphic to some finite cyclic group $C_n$ or finite dihedral group
		$D_n$.  This means that to identify $\sg(\mathscr{S}_{\alpha})$, we only need to find a generator of $\rg(\mathscr{S}_{\alpha})$ and to determine whether any reflection symmetry leaves $\mathscr{S}_{\alpha}$
		invariant.  For this, we turn to the symmetries of $\mathscr{T}$.

		\begin{lem}\label{lem:CorrespondingSymm}
			Let $\mathscr{T}$ be a regular tiling, $\varphi_{\alpha}(z)=\exp(2\pi i z/\alpha)$ with $\alpha$ admissible, and $\mathscr{S}_{\alpha}=\{\varphi_{\alpha}(T)\mid T\in\mathscr{T}\}$.
			If $g$ is an isometry of $\mathbbm{C}^{\ast}$ such that there exists a symmetry $f\in\sg(\mathscr{T})$ for which $g\varphi_{\alpha}=\varphi_{\alpha} f$, then $g\in\sg(\mathscr{S}_{\alpha})$.
		\end{lem}
		\begin{proof}
			We have $g(\mathscr{S}_{\alpha})=g(\varphi_{\alpha}(\mathscr{T}))=\varphi_{\alpha}(f(\mathscr{T}))=\varphi_{\alpha}(\mathscr{T})=\mathscr{S}_{\alpha}$.
		\end{proof}

		If $g\in\sg(\mathscr{S}_{\alpha})$ and $f\in\sg(\mathscr{T})$ for which the following diagram commutes,
		\begin{center}
			\begin{tikzpicture}
				\matrix (m) [matrix of math nodes, row sep=3.5em, column sep=5em, text height=2ex, text depth=0.25ex]
				{\mathbbm{C} & \mathbbm{C}^{\ast}  \\
					\mathbbm{C} & \mathbbm{C}^{\ast} \\};
				\path[-stealth]
					(m-1-1) edge node [left] {$f$} (m-2-1)
					(m-2-1) edge node [above] {$\varphi_{\alpha}$} (m-2-2)
					(m-1-1) edge node [above] {$\varphi_{\alpha}$} (m-1-2)
				(m-1-2) edge node [right] {$g$} (m-2-2);
			\end{tikzpicture}
		\end{center}
		then we say that $f$ \emph{corresponds} to $g$.  Note that  an $f\in\sg(\mathscr{T})$ that corresponds to $g\in\sg(\mathscr{S}_{\alpha})$ is not unique. Indeed, if
		$h=f+k\alpha\in\sg(\mathscr{T})$ for some $k\in\mathbbm{Z}$, then $h$ also corresponds to $g$.  We now use Lemma \ref{lem:CorrespondingSymm} to find
		the symmetry group of  $\mathscr{S}_{\alpha}$.

		\begin{thm}\label{thm:SymmGroupofS}
				Let $\mathscr{T}$ be a regular tiling, $\varphi_{\alpha}(z)=\exp(2\pi i z/\alpha)$ with $\alpha$ admissible, and $\mathscr{S}_{\alpha}=\{\varphi_{\alpha}(T)\mid T\in\mathscr{T}\}$.
				Suppose $n=\gcd(L,R)$, where $L$ and $R$ are the integers that determine $\alpha$.
				Define $g_1(z)=\exp(2\pi i/n)z$ and $g_2(z)=\bar{z}$.
				\begin{enumerate}[\emph{(}a\emph{)}]
					\item If $\alpha$ is not balanced, then $\sg(\mathscr{S}_{\alpha})=\langle g_1\rangle\cong C_n$.

					\item If $\alpha$ is balanced, then $\sg(\mathscr{S}_{\alpha})=\langle g_1,g_2\rangle\cong D_n$.
				\end{enumerate}
		\end{thm}
		\begin{proof}
			Let $m\in\mathbbm{N}$ such that $m\mid\alpha$.  Then $g(z)=\exp(2\pi i/m)z\in\sg(\mathscr{S}_{\alpha})$, and a symmetry of $\mathscr{T}$ that corresponds to $g$ is the translation given by
			$f(z)=z+\frac{\alpha}{m}$.  Hence, the rotation group $\rg(\mathscr{S}_{\alpha})$ is generated by $g_1$.

			If  $\alpha$ is not balanced, then $\mathscr{S}_{\alpha}$ falls under Class 1.  Since the number of positively-oriented spirals and the number of negatively-oriented spirals are not the
			same  (see Table~\ref{stiling}), $\mathscr{S}_{\alpha}$ cannot have a reflection symmetry.

			If $\alpha$ is balanced, then $g_2$ leaves $\mathscr{S}_{\alpha}$ invariant.  Indeed, a symmetry of $\mathscr{T}$ that corresponds to $g_2$ is the reflection $f_2$ given by
			$f_2(z)=\epsilon\bar{z}$ for some unit  $\epsilon$ of $\mathbbm{Z}[\xi]$ (where $\xi=i$ if $\mathscr{T}$ is the $(4^4)$ tiling and $\xi=\omega$ if $\mathscr{T}$ is the $(6^3)$ or $(3^6)$ tiling).
		\end{proof}

		Not only does Theorem~\ref{thm:SymmGroupofS} give us the symmetry group of $\mathscr{S}_{\alpha}$, but it also tells us that for any positive integer $n$, it is possible to construct a
		tiling $\mathscr{S}_{\alpha}$ that has rotation symmetry of order $n$ about the origin by choosing a suitable $\alpha$.   Moreover,  we obtain that for every $g\in\sg(\mathscr{S}_{\alpha})$, there exists
		$f\in\sg(\mathscr{T})$ such that $f$ corresponds to $g$.

		In fact, the tilings $\mathscr{S}_{\alpha}$ are not only symmetrical, but also self-similar whose scaling factor is some power of $e$.  This has also been observed in \cite{Luck}, where
		some tilings with a singularity even have scaling factors related to quasiperiodic patterns such as the golden ration $\tau$.  However, this aspect of $\mathscr{S}_{\alpha}$ will not be
		discussed here but will be published elsewhere.

		There is a one-to-one correspondence between a regular tiling $\mathscr{T}$ and the set $P$ of centers of tiles of $\mathscr{T}$.
		Furthermore, $\mathscr{T}$ and $P$ have the same symmetry group, whose action on $\mathscr{T}$ is equivalent to its action on $P$.
		This means that every coloring of $\mathscr{T}$ may be viewed as a coloring of $P$, and both colorings have the same color symmetry group.
		We now proceed to show a similar relationship between $\mathscr{S}_{\alpha}$ and $Q_{\alpha}:=\{\varphi_{\alpha}(t)\mid t\in P\}$ .

		\begin{lem}\label{thm:1-1CorrS&Q}
			Let $\mathscr{T}$ be a regular tiling, $P$ be the set of centers of $\mathscr{T}$, and $\varphi_{\alpha}(z)=\exp(2\pi i z/\alpha)$ with $\alpha$ admissible.
			Suppose $\mathscr{S}_{\alpha}=\{\varphi_{\alpha}(T)\mid T\in\mathscr{T}\}$, $Q_{\alpha}=\{\varphi_{\alpha}(t)\mid t\in P\}$, and
			$\lambda:\mathscr{T}\rightarrow P$ is the map that sends a tile of $\mathscr{T}$ to its center.
			Then the map $\sigma:\mathscr{S}_{\alpha}\rightarrowQ_{\alpha}$ that sends the image of a tile under $\varphi_{\alpha}$ to the image of its center under $\varphi_{\alpha}$, that is,
			$(\sigma\varphi_{\alpha})(T)=(\varphi_{\alpha}\lambda)(T)$ for $T\in\mathscr{T}$, defines a one-to-one correspondence between $\mathscr{S}_{\alpha}$ and $Q_{\alpha}$.
		\end{lem}
		\begin{proof}
			Suppose that $T_1,T_2\in\mathscr{T}$ such that $\varphi_{\alpha}(T_1)=\varphi_{\alpha}(T_2)$.
			Then there exists $t'\in T_1$ such that $\varphi_{\alpha}(t')=\varphi_{\alpha}(\lambda(T_2))$.
			By Lemma \ref{lem:SameImage}, $t'=\lambda(T_2)+k\alpha$ for some $k\in\mathbbm{Z}$.
			Since $\lambda(T_2)\in P$ and $\alpha\in\Lambda$, it follows that $t'=\lambda(T_1)$.
			Consequently, $\sigma$ is well-defined.

			Now assume that $\sigma(\varphi_{\alpha}(T_1))=\sigma(\varphi_{\alpha}(T_2))$.
			Then $\varphi_{\alpha}(\lambda(T_1))=\varphi_{\alpha}(\lambda(T_2))$.
			This implies that $\lambda(T_1)=\lambda(T_2)+k\alpha$ for some $k\in\mathbbm{Z}$.
			Since $\alpha\in\Lambda$, $T_1=T_2+k\alpha$ and we obtain $\varphi_{\alpha}(T_1)=\varphi_{\alpha}(T_2)$.
			Thus, $\sigma$ is injective.  Clearly, $\sigma$ is surjective since $\lambda$ is surjective.
		\end{proof}

		Lemma \ref{thm:1-1CorrS&Q} gives us the following commutative diagram.
		\begin{center}
			\begin{tikzpicture}
				\matrix (m) [matrix of math nodes, row sep=3.5em, column sep=5em, text height=2ex, text depth=0.25ex]
				{\mathscr{T} & \mathscr{S}_{\alpha}  \\
					P & Q_{\alpha} \\};
				\path[-stealth]
					(m-1-1) edge node [left] {$\lambda$} (m-2-1)
					(m-2-1) edge node [above] {$\varphi_{\alpha}$} (m-2-2)
					(m-1-1) edge node [above] {$\varphi_{\alpha}$} (m-1-2)
				(m-1-2) edge node [right] {$\sigma$} (m-2-2);
			\end{tikzpicture}
		\end{center}

		\begin{thm}\label{thm:SameSymmetryGroup}
			Let $P$ be the set of centers of a regular tiling $\mathscr{T}$.  Suppose $\varphi_{\alpha}(z)=\exp(2\pi i z/\alpha)$ with $\alpha$ admissible,
			$\mathscr{S}_{\alpha}=\{\varphi_{\alpha}(T)\mid T\in\mathscr{T}\}$, and $Q_{\alpha}=\{\varphi_{\alpha}(t)\mid t\in P\}$.
			Then $\sg(\mathscr{S}_{\alpha})\subseteq\sg(Q_{\alpha})$ and the action of $\sg(\mathscr{S}_{\alpha})$ on $\mathscr{S}_{\alpha}$ and $Q_{\alpha}$ are equivalent.
		\end{thm}
		\begin{proof}
			Let $g\in\sg(\mathscr{S}_{\alpha})$ and $\varphi_{\alpha}(T)\in\mathscr{S}_{\alpha}$.
			Suppose $f\in\sg(\mathscr{T})$ corresponds to $g$.
			Then $g(Q_{\alpha})=\varphi_{\alpha}(f(P))=\varphi_{\alpha}(P)=Q_{\alpha}$, and so $\sg(\mathscr{S}_{\alpha})\subseteq\sg(Q_{\alpha})$.
			Let $\sigma$ be as defined in Lemma \ref{thm:1-1CorrS&Q}.
			Since the action of $f$ on $\mathscr{T}$ is equivalent to its action on $P$, we have
			\[(g\sigma)(\varphi_{\alpha}(T))=g(\varphi_{\alpha}(\lambda(T)))=\varphi_{\alpha}(f(\lambda(T)))=
				\varphi_{\alpha}(\lambda(f(T))=\sigma(\varphi_{\alpha}(f(T)))=(\sigma g)(\varphi_{\alpha}(T)).\]
			This shows that the action of $\sg(\mathscr{S}_{\alpha})$ on $\mathscr{S}_{\alpha}$ is equivalent to its action on $Q_{\alpha}$.
		\end{proof}

		Hence, there is a one-to-one correspondence between colorings of $\mathscr{S}_{\alpha}$ and colorings of $Q_{\alpha}$ via the map $\sigma$.  Furthermore, elements of $\sg(\mathscr{S}_{\alpha})$ that
		are color symmetries of a coloring of $Q_{\alpha}$ are also color symmetries of the associated coloring of $\mathscr{S}_{\alpha}$.

	\section{Color Symmetries of $\mathscr{S}_{\alpha}$}\label{sec:ColorSymmetry}
		Our aim in this section is to come up with chirally and fully perfect colorings of the tiling $\mathscr{S}_{\alpha}=\varphi_{\alpha}(\mathscr{T})$ that has a singularity at the origin.
		In Lemma \ref{thm:1-1CorrS&Q}, we defined $\lambda$ to be the bijection that sends a tile $T\in\mathscr{T}$ to its center $t\in P$,
		and $\sigma$ to be the bijection that sends $\varphi_{\alpha}(T)\in \mathscr{S}_{\alpha}$ to $\varphi_{\alpha}(\lambda(T))\inQ_{\alpha}$.
		If $\mathcal{C}_P=\{X_i\}_{i=1}^m$ is a coloring of $P$, then $\mathcal{C}_{\mathscr{T}}=\{\lambda^{-1}(X_i)\}_{i=1}^{m}$ gives a coloring of $\mathscr{T}$.
		Similarly, if $\mathcal{C}_{Q_{\alpha}}=\{Y_i\}_{i=1}^k$ is a coloring of $Q_{\alpha}$, then $\mathcal{C}_{\mathscr{S}_{\alpha}}=\{\sigma^{-1}(Y_i)\}_{i=1}^k$ yields a coloring of $\mathscr{S}_{\alpha}$.
		In addition, Theorem \ref{thm:SameSymmetryGroup} assures us that if the elements of $\rg(\mathscr{S}_{\alpha})$ (or $\sg(\mathscr{S}_{\alpha})$) permute the colors of $\mathcal{C}_{Q_{\alpha}}$,
		then $\mathcal{C}_{\mathscr{S}_{\alpha}}$ is a chirally (or fully) perfect coloring.  All that remains is to obtain colorings of $Q_{\alpha}$ from colorings of $P$.

		\subsection{Ideal Colorings of $P$}
			We start by identifying the chirally and fully perfect colorings of the set $P$ of centers of the regular tiling $\mathscr{T}$.
			If $\mathscr{T}$ is the $(4^4)$ or the $(6^3)$ tiling, then $P=\mathbbm{Z}[i]$ or $P=\mathbbm{Z}[\omega]$.  Hence, Theorem \ref{thm:PerfectT} applies and
			we already have the chirally and fully perfect colorings of $P$.

			In the case where $\mathscr{T}$ is the $(3^6)$ tiling, $P$ is not a lattice.
			Nonetheless, a coloring of $P$ may still be obtained from colorings of the lattice $\mathbbm{Z}[\omega]$.
			Indeed, let $\mathcal{C}_{\mathbbm{Z}[\omega]}=\{ X_{i}\} _{i=1}^{m}$ be the coloring of $\mathbbm{Z}[\omega]$ induced by a sublattice $\Gamma$ of $\mathbbm{Z}[\omega]$.
			Since $P\subset\mathbbm{Z}[\omega]$, we obtain a coloring of $P$ from $\mathcal{C}_{\mathbbm{Z}[\omega]}$ given by
			\[\mathcal{C}_P=\{X_i\cap P \mid X_i\cap P\neq\varnothing,\:1\leq i\leq m\}.\]
			When needed, we reindex so that $\mathcal{C}_P=\left\{ X_{i}\cap P\right\} _{i=1}^{m'}$ for some $m'\leq m$.
			In fact, $m'$ is either $m$ or $\frac{2}{3}m$, as shown in the next lemma.

			\begin{lem}\label{thm:No.ofColors(3^6)}
				Let $\Gamma$ be a sublattice of index $m$ in $\mathbbm{Z}[\omega]$, and
				$\mathcal{C}_{\mathbbm{Z}[\omega]}=\{X_i\}_{i=1}^m$ be the coloring of $\mathbbm{Z}[\omega]$ induced by $\Gamma$.
				\begin{enumerate}[\emph{(}a\emph{)}]
					\item If $\Gamma$ is a sublattice of $P_0=(2+\omega)$, then the coloring of $P=\mathbbm{Z}[\omega]\setminus P_0$ obtained from $\mathcal{C}_{\mathbbm{Z}[\omega]}$ is
					$\mathcal{C}_P=\{X_i\}_{i=1}^{m'}$, where $m'=\frac{2}{3}m$.

					\item If $\Gamma$ is not a sublattice of $P_0$, then the coloring of $P$ obtained from $\mathcal{C}_{\mathbbm{Z}[\omega]}$ is $\mathcal{C}_P=\{X_i\cap P\}_{i=1}^{m}$.
				\end{enumerate}
			\end{lem}
			\begin{proof}
				Suppose $\Gamma$ is a sublattice of $P_0$, and $X_i\in\mathcal{C}_{\mathbbm{Z}[\omega]}$.
				If $X_i$ contains an element of $P_0$, then $X_i\subseteq P_0$ and consequently,
				$X_i\cap P=\varnothing$.  Otherwise, $X_i\cap P=X_i$.  Since $m=[\mathbbm{Z}[\omega]:P_0][P_0:\Gamma]=3[P_0:\Gamma]$,
				the number of cosets of $\Gamma$ that lie entirely in $P$ is $m-[P_0:\Gamma]=\frac{2}{3}m$.  Therefore, $\mathcal{C}_P=\{X_i\}_{i=1}^{m'}$, where $m'=\frac{2}{3}m$.

				If $\Gamma$ is not a sublattice of $P_0$, then every $X_i\in\mathcal{C}_{\mathbbm{Z}[\omega]}$ must contain an element which is not in $P_0$.
				Hence, $X_i\cap P\neq \varnothing$ for all $i\in\{1,\ldots,m\}$, which yields the claim.
			\end{proof}

			We now establish a relationship between perfect colorings of $\mathbbm{Z}[\omega]$ and perfect colorings of $P$.
			Observe that the generators $h_1$, $h_2$, $h_3$, and $h_4$ of $\sg(\mathscr{T})$ (see Table \ref{tab:SymmetryGroupT}) permute $P_0$, $P_1=-1+(2+\omega)$ and $P_2=1+(2+\omega)$.
			In particular, $h_1(P_0)=P_0$, $h_1(P_1)=P_2$ and $h_1(P_2)=P_1$, while $h_2$, $h_3$, and $h_4$ leave each coset invariant.  We use this fact in the proofs of
			Lemma \ref{lem:orthogonalpermute} and Theorem \ref{thm:perfectcoloringP}.

			\begin{lem}\label{lem:orthogonalpermute}
				Let $\Gamma$ be a sublattice of $\mathbbm{Z}[\omega]$ such that $[\mathbbm{Z}[\omega]:\Gamma]=m$.
				Suppose $\mathcal{C}_{\mathbbm{Z}[\omega]}$ is the coloring of $\mathbbm{Z}[\omega]$ induced by $\Gamma$, and $\mathcal{C}_P$ is the coloring of $P$ obtained from $\mathcal{C}_{\mathbbm{Z}[\omega]}$.
				If $f\in \sg(\mathscr{T})\cap \Orth(2)$ is a color symmetry of $\mathcal{C}_P$, then $f$ is a color symmetry of $\mathcal{C}_{\mathbbm{Z}[\omega]}$.
			\end{lem}
			\begin{proof}
				Let $\mathcal{C}_{\mathbbm{Z}[\omega]}=\{X_i\}_{i=1}^m$.  It follows from \cite[Theorem 2]{Pena} that $f$ is a color symmetry of $\mathcal{C}_{\mathbbm{Z}[\omega]}$ whenever $f$
				leaves $\Gamma$ invariant.

				First, we consider the case when $\Gamma$ is a sublattice of $P_0$. Then $\mathcal{C}_P=\{X_i\}_{i=1}^{m'}$.  By assumption, given $X_i\in\mathcal{C}_P$,
				$f(X_i)=X_j$ for some $j\in\{1,\ldots,m'\}$.  If we write $X_i=t_i+\Gamma$ and $X_j=t_j+\Gamma$, then for all $\ell\in\Gamma$,
				$f(t_i+\ell)\in t_j+\Gamma$.  This implies that $f(\ell)\in (t_j-f(t_i))+\Gamma=\Gamma$.  Hence, $\Gamma$ contains $f(\Gamma)$ and so $f(\Gamma)=\Gamma$ because $f$ is
				an isometry.

				Now suppose $\Gamma$ is not a sublattice of $P_0$.  We have $\mathcal{C}_P=\{X_i\cap P\}_{i=1}^{m}$.
				Let $t_0\in\Gamma\cap P_0$.  Then $f(t_0)\in P_0$.  Given $t\in\Gamma\cap P$, we must have  $t_0+t\in\Gamma\cap P$.
				Since $f$ permutes the colors of $\mathcal{C}_P$, $f(t)$ and $f(t_0+t)$ must belong to the same coset of $\Gamma$.
				We then have $f(t_0)=f(t_0+t)-f(t)\in\Gamma$.  Thus, $f(\Gamma\cap P_0)\subseteq\Gamma\cap P_0$, and it follows that
				$f(\Gamma\cap P_0)=\Gamma\cap P_0$.
				We obtain $f(\Gamma)=(\Gamma\cap P_0)\cup(X_j\cap P)$, for some $j\in\{1,\ldots,m\}$.
				However, $f(\Gamma)$ must be a sublattice of $\mathbbm{Z}[\omega]$, so $X_j=\Gamma$ and $f(\Gamma)=\Gamma$.
			\end{proof}

			\begin{thm}\label{thm:perfectcoloringP}
				Let $\Gamma$ be a sublattice of index $m$ in $\mathbbm{Z}[\omega]$.
				Then the coloring $\mathcal{C}_{\mathbbm{Z}[\omega]}$ of $\mathbbm{Z}[\omega]$ induced by $\Gamma$ is chirally (respectively, fully) perfect if and only if the coloring $\mathcal{C}_P$
				of $P$ obtained from $\mathcal{C}_{\mathbbm{Z}[\omega]}$ is chirally (respectively, fully) perfect.
			\end{thm}
			\begin{proof}
				If $h_1$ permutes (and $h_2$ permutes) the colors of $\mathcal{C}_P$, then Lemma \ref{lem:orthogonalpermute} guarantees that $h_1$ permutes (and $h_2$ permutes) the colors
				of $\mathcal{C}_{\mathbbm{Z}[\omega]}$.
				Since $h_3$ and $h_4$ are translation symmetries of $\mathbbm{Z}[\omega]$, they must be color symmetries of $\mathcal{C}_{\mathbbm{Z}[\omega]}$.
				This proves the backward direction.

				Suppose $\mathcal{C}_{\mathbbm{Z}[\omega]}=\{X_i\}_{i=1}^m$ is chirally (fully) perfect.  Then given $X_i\in \mathcal{C}_{\mathbbm{Z}[\omega]}$ for which $X_i\cap P\neq\varnothing$,
				$h_1(X_i)=X_j$ for some $j\in\{1,\ldots,m\}$.
				We then have $h_1(X_i\cap P)=X_j\cap P\neq\varnothing$.
				Thus, $h_1$ permutes the colors of $\mathcal{C}_P$.
				In a similar manner, we can show that $h_3$, $h_4$ (and $h_2$) are also color symmetries of $\mathcal{C}_P$.
			\end{proof}

			Hence, even if $\mathscr{T}$ is the $(3^6)$ tiling, ideal colorings of $\mathbbm{Z}[\omega]$ give rise to chirally or fully perfect colorings of $P$.
			Conversely, if a coloring of $P$ obtained from a sublattice coloring of $\mathbbm{Z}[\omega]$ is chirally or fully perfect, then the coloring
			of $\mathbbm{Z}[\omega]$ must be an ideal coloring.

		\subsection{Compatibility between Sublattice Colorings of $P$ and Conformal Maps $\varphi_{\alpha}$}
			Given a coloring $\mathcal{C}_P=\{X_i\} _{i=1}^{m}$ of $P$, the set $\{\varphi_{\alpha}(X_i)\}_{i=1}^{m}$ does not necessarily yield a coloring of $Q_{\alpha}$.
			The problem is since $\varphi_{\alpha}$ is not one-to-one, it is possible that $\varphi_{\alpha}(X_i)\cap\varphi_{\alpha}(X_{j})\neq\varnothing$ for some $i,j\in\{1,\ldots,m\}$ and $i\neq j$.
			In that case, two points of $P$ that are assigned different colors in $\mathcal{C}_P$ have the same image under $\varphi_{\alpha}$.
			If it happens that $\{\varphi_{\alpha}(X_i)\} _{i=1}^{m}$ is a coloring of $Q_{\alpha}$, then we say that $\mathcal{C}_P$ is \emph{compatible with} $\varphi_{\alpha}$.
			That is, each point of $Q_{\alpha}$ is assigned exactly one color when $\varphi_{\alpha}$ is applied on $\mathcal{C}_P$.
			We denote the coloring of $Q_{\alpha}$ obtained in this manner by $\varphi_{\alpha}(\mathcal{C}_P)$.

			We now characterize the sublattice colorings of $P$ that are compatible with $\varphi_{\alpha}$.

			\begin{thm}\label{thm:CompatibleSublattice}
				Let $P$ be the set of centers of a regular tiling, and $\varphi_{\alpha}(z)=\exp(2\pi i z/\alpha)$ with $\alpha$ admissible.
				Then the coloring $\mathcal{C}_P$ of $P$ induced by a sublattice $\Gamma$ is compatible with $\varphi_{\alpha}$ if and only if $\alpha\in\Gamma$.
			\end{thm}
			\begin{proof}
				Suppose $\mathcal{C}_P$ is compatible with $\varphi_{\alpha}$.  Let $t\in P$.
				Since $\alpha\in\Lambda$, $t+\alpha\in P$.
				By Lemma \ref{lem:SameImage}, $\varphi_{\alpha}(t)=\varphi_{\alpha}(t+\alpha)$ and so $t$ and $t+\alpha$ must belong to the same coset of $\Gamma$.
				Hence, $\alpha=(t+\alpha)-t\in\Gamma$.

				Conversely, let $t,t'\in P$ such that $\varphi_{\alpha}(t)=\varphi_{\alpha}(t')$.  This means that for some $k\in\mathbbm{Z}$, $t'-t=k\alpha\in\Gamma$ since $\alpha\in\Gamma$.
				Thus, $t'$ and $t$ are in the same coset of $\Gamma$.
			\end{proof}

			The following is immediate from Theorem \ref{thm:CompatibleSublattice}.
			\begin{cor}\label{cor:CompatibleIdeal}
				Let $P$ be the set of centers of a regular tiling, $\mathcal{C}_P$ be the coloring of $P$ induced by an ideal $(\beta)$, and $\varphi_{\alpha}(z)=\exp(2\pi i z/\alpha)$ with $\alpha$
				admissible.  Then $\mathcal{C}_P$ is compatible with $\varphi_{\alpha}$ if and only if $(\alpha)\subseteq(\beta)$.
			\end{cor}

			Hence, given $\varphi_{\alpha}$, we can identify all ideal colorings of $P$ that are compatible with $\varphi_{\alpha}$ by looking at the prime decomposition of $\alpha$ in $\mathbbm{Z}[\xi]$,
			where $\xi=i$ if $\mathscr{T}$ is the $(4^4)$ tiling and $\xi=\omega$ if $\mathscr{T}$ is the $(6^3)$ or $(3^6)$ tiling.

		\subsection{Perfect Colorings of $\mathscr{S}_{\alpha}$}
			Let $\mathcal{C}_P$ be a coloring of $P$ that is compatible with $\varphi_{\alpha}$.
			We now give a necessary and sufficient condition for $g\in\sg(\mathscr{S}_{\alpha})$ to be a color symmetry of the coloring $\varphi_{\alpha}(\mathcal{C}_P)$ of $Q_{\alpha}$.

			\begin{thm}\label{lem:CorrespondPermutes}
				Let $P$ be the set of centers of a regular tiling, and $\varphi_{\alpha}(z)=\exp(2\pi i z/\alpha)$ with $\alpha$ admissible.
				Suppose a coloring $\mathcal{C}_P$ of $P$ is compatible with $\varphi_{\alpha}$.
				If $g\in\sg(\mathscr{S}_{\alpha})$ and $f\in\sg(\mathscr{T})$ corresponds to $g$,
				then $g$ is a color symmetry of the coloring $\varphi_{\alpha}(\mathcal{C}_P)$ of $Q_{\alpha}$ if and only if $f$ is a color symmetry of $\mathcal{C}_P$.
			\end{thm}
			\begin{proof}
				Suppose $g$ is a color symmetry of $\varphi_{\alpha}(\mathcal{C}_P)$.
				If $X_i\in\mathcal{C}_P$, then $\varphi_{\alpha}(f(X_i))=g(\varphi_{\alpha}(X_i))=\varphi_{\alpha}(X_j)$ for some $X_j\in\mathcal{C}_P$.
				It follows from Lemma \ref{lem:SameImage} that $f(X_i)=X_j+k\alpha$ for some $k\in\mathbbm{Z}$.
				Since $\varphi_{\alpha}$ is compatible with $\mathcal{C}_P$ and $\varphi_{\alpha}(X_j)=\varphi_{\alpha}(X_j+k\alpha)$, we have $f(X_i)=X_j$.
				Thus, $f$ permutes the colors of $\mathcal{C}_P$.

				In the other direction, let $f$ be a color symmetry of $\mathcal{C}_P$.  If $X_i\in\mathcal{C}_P$ then $g(\varphi_{\alpha}(X_i))=\varphi_{\alpha}(f(X_i))=\varphi_{\alpha}(X_{j})$ for some $
				X_j\in\mathcal{C}_P$. Thus, $g$ permutes the colors of $\varphi_{\alpha}(\mathcal{C}_P)$.
			\end{proof}

			Theorem \ref{lem:CorrespondPermutes} provides a link between color symmetries of colorings of $P$ and symmetries of $\mathscr{S}_{\alpha}$ that permute the colors of
			the corresponding coloring of $Q_{\alpha}$.  The next corollary follows from Theorem \ref{thm:PerfectT}, Theorem \ref{thm:SymmGroupofS}, and Theorem \ref{lem:CorrespondPermutes}.

			\begin{cor}\label{cor:PerfectColoring}
				Let $P$ be the set of centers of a regular tiling, $\varphi_{\alpha}(z)=\exp(2\pi i z/\alpha)$ with $\alpha$ admissible, and $\mathcal{C}_P$ be the coloring of $P$ induced by an
				ideal $(\beta)$ that is compatible with $\varphi_{\alpha}$.
				\begin{enumerate}[\emph{(}a\emph{)}]
					\item Then the elements of $\rg(\mathscr{S}_{\alpha})$ are color symmetries of the coloring $\varphi_{\alpha}(\mathcal{C}_P)$ of $Q_{\alpha}$.

					\item If $\alpha$ and $\beta$ are balanced, then the elements of $\sg(\mathscr{S}_{\alpha})$ are color symmetries of $\varphi_{\alpha}(\mathcal{C}_P)$.
				\end{enumerate}
			\end{cor}

			We should note here that not all chirally and fully perfect colorings of $\mathscr{S}_{\alpha}$ arise from ideal colorings of $P$.  In fact, every coloring
			of $P$ induced by a sublattice $\Gamma$ that contains $\alpha$ will yield a chirally perfect coloring of $\mathscr{S}_{\alpha}$.

			The next corollary confirms the observation in \cite{Luck} that there is an upper bound for the number of colors in chirally perfect colorings of $\mathscr{S}_{\alpha}$ obtained from
			ideal colorings of $P$.

			\begin{cor}\label{cor:MaxIdealColoring}
				Let $P$ be the set of centers of a regular tiling, and $\varphi_{\alpha}(z)=\exp(2\pi i z/\alpha)$ with $\alpha$ admissible.
				Suppose $\mathcal{C}_P$ is an ideal coloring of $P$ that is compatible with $\varphi_{\alpha}$.
				Then there is an upper bound $M$ for the number of colors in the coloring $\varphi_{\alpha}(\mathcal{C}_P)$ of $Q_{\alpha}$.  In particular,
				\begin{enumerate}[\emph{(}a\emph{)}]
					\item if $\mathscr{T}$ is the $(4^4)$ or $(6^3)$ tiling, then $M=|\alpha|^2$.

					\item if $\mathscr{T}$ is the $(3^6)$ tiling, then $M=|\alpha|^2$ if $\alpha\notin P_0=(2+\omega)$ and $M=\frac{2}{3}|\alpha|^2$ if $\alpha\in P_0$.
				\end{enumerate}
				Moreover, there exists a coloring of $Q_{\alpha}$ derived from some ideal coloring of $P$ that has exactly $M$ colors which are permuted by elements
				of $\sg(\mathscr{S}_{\alpha})$.
			\end{cor}
			\begin{proof}
				It follows from Corollary \ref{cor:CompatibleIdeal} that the ideal that satisfies the compatibility condition and gives the most number of colors is $(\alpha)$.
				Then $M=[\mathbbm{Z}[\xi]:(\alpha)]=|\alpha|^2$ if $\mathscr{T}$ is the $(4^4)$ or $(6^3)$ tiling.
				Lemma \ref{thm:No.ofColors(3^6)} gives us the value of $M$ if $\mathscr{T}$ is the $(3^6)$ tiling.
				Finally, the elements of $\sg(\mathscr{S}_{\alpha})$ permute the colors in $\varphi_{\alpha}(\mathcal{C}_P)$ obtained from $\mathcal{C}_P$ induced by $(\alpha)$ by
				Corollary~\ref{cor:PerfectColoring}.
			\end{proof}

			However, unlike colorings of $Q_{\alpha}$ obtained from ideal colorings of $P$, there is no upper bound for the number of colors of colorings of $Q_{\alpha}$ obtained from
			sublattice colorings of $P$.

	\section{Examples}\label{sec:Examples}
		We end this paper with examples of chirally and fully perfect colorings of tilings with a singular point obtained from ideal colorings of lattices associated with
		regular tilings.

		\subsection*{$(4^4)$ Tiling}
			Let $\alpha=-5+5i$.
			Then $\mathscr{S}_{\alpha}$ is a Class 2 tiling, and $\sg(\mathscr{S}_{\alpha})\cong D_5$ is generated by $g_1(z)=\exp(2\pi i/5)z$ and $g_2(z)=\bar{z}$.
			The symmetries $g_1$ and $g_2$ of $\mathscr{S}_{\alpha}$ correspond to the symmetries
			$f_{1}(z)=z+(-1+i)$ and  $f_{2}(z)=iz$ of $\mathscr{T}$, respectively.
			Ideal colorings of $P=\mathbbm{Z}[i]$ compatible with $\varphi_{\alpha}$ are induced by the ideals $(1)$, $(-1+i)$, $(1+2i)$, $(1-2i)$, $(1+3i)$, $(3+i)$, $(5)$ and $(-5+5i)$.
			The colorings of $\mathscr{S}_{\alpha}$ that correspond to the colorings of $P$ induced by the ideals $(1)$, $(-1+i)$, $(5)$, and $(-5+5i)$ are fully perfect.
			The maximum color index is $50$.  Figure \ref{fig:(4^4)Example1a} shows a chirally perfect coloring of $\mathscr{S}_{\alpha}$ obtained from the coloring of $P$ induced by
			$(2+i)$.

			Figure \ref{fig:(4^4)Example2} shows a coloring of a Class 3 tiling $\mathscr{S}_{\alpha}$, where $\alpha=4$, obtained from the coloring of $P$ induced by $(2)$.
			Since $2$ is balanced, the coloring is fully perfect.

			\begin{figure}[ht]
				\includegraphics[height=4.5cm]{Fig3}
				\caption{A fully perfect coloring of $\mathscr{S}_{\alpha}$, with $\alpha=4$, obtained from the coloring of $P$ induced by $(2)$}
				\label{fig:(4^4)Example2}
			\end{figure}

		\subsection*{$(6^3)$ Tiling}
			If $\alpha=6$, then $\mathscr{S}_{\alpha}$ is a Class 3 tiling.
			The generators of $\sg(\mathscr{S}_{\alpha})\cong D_6$ are $g_1(z)=\exp(\pi i/3) z$ and $g_2(z)=\bar{z}$, which correspond to the symmetries $f_1(z)=z+1$ and $f_2(z)=-\bar{z}$
			of $\mathscr{T}$, respectively.
			The ideals $(1)$, $(2+\omega)$, $(2)$, $(3)$, $(2+4\omega)$, and $(6)$ induce colorings of $P=\mathbbm{Z}[\omega]$ that are compatible with $\varphi_{\alpha}$.
			All resulting colorings of $\mathscr{S}_{\alpha}$ are perfect, and the maximum color index is $36$.
			Figure \ref{fig:(6^3)Example1} shows the perfect colorings of $\mathscr{T}$ and $\mathscr{S}_{\alpha}$ induced by $(2)$.

			\begin{figure}[ht]
				\begin{subfigure}[c]{0.3\linewidth}
					\includegraphics[height=4.5cm]{Fig4}
				\end{subfigure}
				\begin{subfigure}[c]{0.5\linewidth}
					\includegraphics[height=4.5cm]{Fig5}
				\end{subfigure}
				\caption{Perfect colorings of $\mathscr{T}$ and $\mathscr{S}_{\alpha}$, with $\alpha=6$, induced by $(2)$}
				\label{fig:(6^3)Example1}
			\end{figure}

			In Figure \ref{fig:(6^3)Example2}, we have a coloring of a Class 1 tiling $\mathscr{S}_{\alpha}$ with $\alpha=10+2\omega$.
			The coloring is perfect and is induced by the ideal $(1+3\omega)$.

			\begin{figure}[ht]
				\includegraphics[height=4.5cm]{Fig6}
				\caption{A perfect coloring of $\mathscr{S}_{\alpha}$, with $\alpha =10+2\omega$, obtained from a coloring of $P$ induced by $(1+3\omega)$}
				\label{fig:(6^3)Example2}
			\end{figure}

		\subsection*{$(3^6)$ Tiling}
			We obtain a Class 1 tiling $\mathscr{S}_{\alpha}$ when $\alpha=2+10\omega=(4+6\omega)(2+\omega)$.  The symmetry group of $\mathscr{S}_{\alpha}$ is isomorphic to $C_2$, with generator $g_1(z)=-z$
			that corresponds to the symmetry $f(z)=z+(1+5\omega)$ of $\mathscr{T}$.
			Colorings of $P=\mathbbm{Z}[\omega]\setminus (2+\omega)$ compatible with $\varphi_{\alpha}$ are induced by the ideals $(1)$, $(1+2\omega)$, $(2)$, $(2+3\omega)$, $(2+4\omega)$, $(1+5\omega)$,
			$(4+6\omega)$, and $(2+10\omega)$.  The maximum color index is $56$.
			Figure \ref{fig:(3^6)Example1} shows the chirally perfect coloring of $\mathscr{T}$ and the fully perfect coloring of $\mathscr{S}_{\alpha}$ induced by $(2+3\omega)$.

			\begin{figure}[ht]
				\begin{subfigure}[c]{0.3\linewidth}
					\includegraphics[height=4.5cm]{Fig7}
				\end{subfigure}
				\begin{subfigure}[c]{0.6\linewidth}
					\includegraphics[height=4.5cm]{Fig8}
				\end{subfigure}
				\caption{A perfect coloring of $\mathscr{S}_{\alpha}$, with $\alpha =2+10\omega$, obtained from a coloring of $P$ induced by the ideal $(2+3\omega)$}
				\label{fig:(3^6)Example1}
			\end{figure}

			Figure \ref{fig:(3^6)Example2} shows the fully perfect coloring of a Class 2 tiling $\mathscr{S}_{\alpha}$, where $\alpha =-5+5\omega=5\omega(2+\omega)$, obtained from a coloring of
			$P$ induced by $(1+2\omega)$.

			\begin{figure}[ht]
				\includegraphics[height=4.5cm]{Fig9}
				\caption{A fully perfect coloring of $\mathscr{S}_{\alpha}$, with $\alpha =-5+5\omega$, obtained from a coloring of $P$ induced by $(1+2\omega)$}
				\label{fig:(3^6)Example2}
			\end{figure}

Metric Geometry (math.MG); Combinatorics (math.CO)