Edit: Many thanks to Lorenzo Traldi for helping me understand the correct statement for the way in which the fundamental quandle is a complete invariant.
Let me review here a definition of quandles and how the proof goes that they are a complete invariant of oriented knots up to orientation-reversed mirror image.
The link quandle $Q(L,*)$ of an oriented link $L\subset S^3$ with basepoint $*\in S^3-\nu(L)$ is the collection of all homotopy classes of paths from $*$ to $\partial(S^3-\nu(L))$ (where $\nu(L)$ is a tubular neighborhood of $L$, and where the homotopies allow the end to slide along $\partial(S^3-\nu(L))$), along with
A function $\lambda:Q(L,*)\to \pi_1(S^3-\nu(L),*)$ given by $p\mapsto p\; \overline{\mu_{p(1)}}\; \overline{p}$, where $\mu_{p(1)}$ is some meridian loop in $\nu(L)$ at $p(1)$ having $+1$ linking number with $L$. (Note: this requires knowing $L\subset S^3$ and cannot in general be recovered from $S^3-\nu (L)$). This is the loop corresponding to a path, hence $\lambda$.
A group action of $\pi_1(S^3-\nu(L),*)$ on $Q(L,*)$ by $g\cdot p=gp$ (concatenation).
These form an enriched quandle in the following sense:
- $g\lambda_p g^{-1}=\lambda_{gp}$ for all $g\in \pi_1(S^3-\nu(L))$ and $p\in Q(L)$.
- $\lambda_pp=p$ for all $p\in Q(L)$.
If you substitute in $g=\lambda_q$, you can get $\lambda_q\lambda_pr=\lambda_{\lambda_q p}\lambda_q r$, which with $y\triangleright x:=\lambda_xy$ renders as $(r\triangleright p)\triangleright q=(r\triangleright q)\triangleright(p\triangleright q)$. The second renders as $p\triangleright p=p$.
The non-enriched version of the quandle is from forgetting $\pi_1(S^3-L)$ and instead considering the map as $\lambda:Q(L,*)\to\operatorname{Aut}(Q(L,*))$, which sends each element of $Q(L,*)$ to its action on $Q(L,*)$. (Quandles are also known as automorphic sets.) Up to an automorphism of a peripheral group system for $\pi_1(S^3-L)$, the enriched quandle structure can be recovered from the quandle.
A note about $\lambda$: the image $\lambda(Q(L))$ is a union of conjugacy classes of $\pi_1(S^3-\nu(L))$, due to $g\lambda_p g^{-1}=\lambda_{gp}$. In particular, through the construction each conjugacy class corresponds to the free homotopy class of some meridian --- one class per link component --- so the quandle is certainly not transitive for links of more than one component. It's worth knowing that $\lambda(Q(L))$ generates $\pi_1(S^3-\nu(L))$, with a quick reason being from the Wirtinger presentation.
Another note about it: $\lambda$ is functorial in the sense that if there is a quandle homomorphism $f:Q(L)\to Q(L')$, then there is an induced homomorphism $f_*:\pi_1(S^3-\nu(L))\to \pi_1(S^3-\nu(L'))$ compatible with $\lambda$. (In a way, this induced homomorphism is part of the definition of the (enriched) quandle homomorphism, so this is just putting different terminology on the concept.)
Theorem 1. For an oriented knot $K$, $Q(K)$ is a complete invariant of the knot, up to orientation-reversed mirror image.
Proof. Fix an element $p\in Q(K)$, which represents a particular choice of meridian for $K$. Let $G=\pi_1(S^3-\nu(K))$ and $H=\operatorname{Stab}_G(p)$.
For $g\in \pi_1(\partial\nu(K),p(1))$, $(pg\overline{p})p\sim p$ in $Q(K)$, hence $p\pi_1(\partial\nu(K),p(1))\overline{p}\subseteq H$.
For $g\in H$, since $gp\sim p$, we can take the edge of this homotopy to get a path $h$ from $gp(1)$ to $p(1)$ in $\partial\nu(K)$. We can write $g=p\overline{h}\overline{p}$, which is in $p\pi_1(\partial\nu(K),p(1))\overline{p}$.
Thus, $H=p\pi_1(\partial\nu(K),p(1))\overline{p}$. That is, we can recover a peripheral subgroup and a meridian. Suppose there is an oriented knot $K'$ with $Q(K)\cong Q(K')$, and let $p'$ be the image of $p$ in $Q(K')$. By functoriality, there is an isomorphism $G\cong G'=\pi_1(S^3-\nu K')$, and it carries $H$ to $H'=\operatorname{Stab}_{G'}(p')$, which by the above argument is a peripheral subgroup. Since knot complements are Haken manifolds with connected boundaries, Waldhausen '68 applies and there is a homeomorphism $S^3-\nu (K)\cong S^3-\nu (K')$ carrying oriented meridian to oriented meridian. The meridians allow us to glue solid tori into the knot complements in a way that the homeomorphism extends to all of $S^3$. If the homeomomorphism is orientation-preserving, then $K$ and $K'$ are isotopic. Otherwise, if it is orientation-reversing, then $K$ and the mirror image $mK'$ as unoriented knots are isotopic. The orientation of a meridian determines the orientation of a knot, so since the mirror image reverses the orientation of a meridian, it is that $K$ and $-mK'$ are isotopic as oriented knots. Q.E.D.
Theorem 2. For a nonsplit oriented link $L$, $Q(L)$ is a complete invariant of the link, up to orientation-reversed mirror image.
Proof. Let $L$ be a nonsplit link having components $L_1,\dots,L_k$. Define an equivalence relation on $Q(L)$ generated by $p_1\sim p_2$ if there exists a $q\in Q(L)$ such that $p_1=\lambda_qp_2$.
Equivalence classes are in one-to-one correspondence with components of $L$, so choose a representative element $p_i\in Q(L)$ for each component, with $p_i(1)\in\partial\nu(L_i)$ (though we might not know which corresponds to which component). With $H_i=\operatorname{Stab}_{G}(p_i)$, as before we get peripheral subgroups $H_i=p_i\pi_1(\partial\nu(L_i),p_i(1))\overline{p_i}$. Since $L$ is nonsplit, then $S^3-\nu(L)$ is a Haken manifold, so by Lemmas 13.8 and 13.7 in Hempel we get from the isomorphism $G\cong G'$ that carries each $H_i$ to $H_i'$ a homeomorphism $S^3-\nu(L)\cong S^3-\nu(L')$ when $L'$ is another nonsplit link with $Q(L)\cong Q(L')$. By a similar argument as before using the meridians implied by the $p_i$'s, either $L$ and $L'$ or $L$ and $-mL'$ are isotopic. Q.E.D.
This result is a consequence of Theorem 5.2 and Corollary 5.3 of
Fenn, Roger; Rourke, Colin, Racks and links in codimension two, J. Knot Theory Ramifications 1, No. 4, 343-406 (1992). ZBL0787.57003.
For them, a link $L$ in $S^3$ is an oriented link, and they view the orientation in terms of consistently orienting the transverse disks of a tubular neighborhood for $L$ (the link is transversely oriented). Stated for quandles, they prove that if $Q(L)$ and $Q(L')$ are isomorphic for non-split links $L$ and $L'$ in $S^3$, then there is a homeomorphism $h : S^3 \to S^3$ carrying $L$ to $L'$ and transverse orientations to transverse orientations (equivalently, oriented meridians to oriented meridians). If $h$ is orientation-preserving, then $L \sim L'$, and if $h$ is orientation-reversing, $L \sim -mL'$.
One can show that $Q(L)\cong Q(-mL)$ and $Q(mL)\cong Q(-L)$, so this is the strongest possible statement.
Best Answer
This is only a partial answer, but perhaps it can point you in the correct direction.
In the paper An estimate of the bridge index of links, Murasugi conjectures that $$3[b(L)−1]\leq c(L)+\mu−1$$ where $b(L)$ is the
braidbridge index of $L$, $c(L)$ is the crossing number of $L$, and $\mu$ is the number of components of $L$. In that same paper, he proves the conjecture alternating algebraic links.I do not have access to the paper, but the MathSciNet review mentions that the conjecture above is due to Fox when $\mu=1$, that is, when $L$ is a knot. The full bibliographic details for the paper are