Let $K\_1$ and $K\_2$ be two knots such that for all finite quandles $X$, the number of colorings of $K\_1$ by $X$ is the same as the number of colorings of $K\_2$ by $X$. Then my question is, must $K\_1$ and $K\_2$ either be the same knot or mirror images of each other?


If not, does anyone know of a counterexample?



Can different knots have the same numbers of quandle colorings for all quandles?
The short answer is that I think this is an open question.
This is stated as Conjecture 3.4 here, proved for knots up to 12 crossings:


*Clark, W. Edwin; Elhamdadi, Mohamed; Saito, Masahico; Yeatman, Timothy*, [**Quandle colorings of knots and applications**](http://dx.doi.org/10.1142/S0218216514500357), J. Knot Theory Ramifications 23, No. 6, Article ID 1450035, 29 p. (2014). [ZBL1302.57016](https://zbmath.org/?q=an:1302.57016).
[MR3253967](https://mathscinet.ams.org/mathscinet-getitem?mr=3253967).



Looking at articles citing this one, there doesn't seem to have been subsequent direct progress on this problem, making it appear to be still open. 


On the other hand, 
this question is related to the question of "profinite rigidity" of compact 3-manifold fundamental groups, including knot groups. A knot $K$ is said to be *profinitely rigid* if for any compact 3-manifold $N$ with $\pi\_1N$ and $\pi\_1(S^3-K)$ having the same finite quotients, then $\pi\_1 N=\pi\_1 (S^3-K)$. I.e., the groups have the same [profinite completion](https://en.wikipedia.org/wiki/Profinite_group#Profinite_completion) iff they are isomorphic. 


Profinite rigidity is known for some knot groups, including graph knots and the figure eight knot; see [Bridson-Reid](https://arxiv.org/abs/1505.07886), [Boileau-Friedl](https://arxiv.org/abs/1505.07799), and [Wilkes](https://arxiv.org/abs/1801.06386). 


Prime knots are determined by their fundamental groups up to mirror image, whereas composite knots can have the same fundamental group but different quandles. So one may restrict to prime knots to get examples of knots which are determined by the profinite completion of the fundamental groups of their complements by the above cited theorems. 


How does this relate to your question? Consider the class of finite quandles obtained by taking conjugacy in finite groups $G$. A quandle homomorphism from the fundamental quandle of a knot is thus equivalent to a map $\varphi$ of the conjugacy class of the meridian to the finite group quandle (mapping to some conjugacy class in $G$). So one has $\varphi(a\lhd b) = \varphi(aba^{-1})=\varphi(a)\varphi(b)\varphi(a)^{-1} = \varphi(a)\lhd \varphi(b)$. In turn, this induces a homomorphism $\Phi: \pi\_1(S^3-K) \to Inn(G)$. To see this, note that the Wirtinger presentation involves only generators in the meridian conjugacy class, and relators of the form $aba^{-1}= a\lhd b = c$. Hence a quandle homomorphism induces a group homomorphism to $Inn(G)$, where $\Phi(ab)(c)=abcb^{-1}a^{-1}= a \lhd (b\lhd c)=\Phi(a)\Phi(b)(c)$, and extending by induction to all elements of $\pi\_1(S^3-K)$. If $G$ is center-free, then $Inn(G)\cong G$, and hence we get an induced homomorphism $\pi\_1(S^3-K)\to G$. 


So it remains to show that if all homomorphisms of $\pi\_1(S^3-K)$ to finite groups $Inn(G)$ are the same, then all homomorphisms to finite groups are the same. But [any finite group $H$ is a subgroup of $Inn(G)$ for some finite group $G$.](https://groupprops.subwiki.org/wiki/Every_finite_group_is_the_Fitting_quotient_of_a_p-dominated_group_for_any_prime_p_not_dividing_its_order) So one can "see" homomorphisms to $H$ via the conjugation quandle associated to $G$. 
A fortiori, if all quandle homomorphisms to finite quandles are the same, then all homomorphisms of the fundamental quandle to conjugacy quandles are the same, and hence all homomorphisms of the fundamental group to finite groups are the same. Hence we get classes of knots which are determined by homomorphisms to finite quandles. Moreover, if profinite rigidity were known for knot groups, it would imply this property for prime knots. It should also be true for composite knots (following from profinite rigidity) using the fact that their quandle is determined by the fundamental group and the peripheral subgroup, using e.g. subgroup separability results. 


