**Edit after the edit:** The original knots of the question are from Livingston's Knot Info. See the figure-eight knot [$4_1$][1]: It is different from $4_1$ in the [Rolfsen's knot table][2]. According to Rolfsen's knot table, what Golla proved is $$S^3_{-1/3}(m(4_1)) = S^3_{-1}(8_1))$$ so that $$S^3_{-1/3}(4_1) = S^3_{-1}(8_1).$$ And this isomorphism seems to be known. See for example [Tosun][3]'s paper pg. 9. **Edit after a fruitful [discussion][4] with Marco Golla:** 1. My claim "$\Sigma(2,3,19) = S^3_{+1}(8_1)$" is based on Example 1.4 of Saveliev's book [Invariants of Homology 3-Spheres][5]. 2. According to [Theorem 1.1. (3)][6] of Brittenham and Wu, $S^3_{+1}(8_1)$ is hyperbolic and $S^3_{-1}(8_1)$ is Seifert fibered. It seems that there is a sign/orientation inconsistency somewhere... 3. Therefore, the "Theorem" at the end of (c) part of my answer is still a conjecture for $n \geq 5$. The rest will be useful in the future, so I keep the answer same. o____________________________________________________________________________ Golla and Hayden gave awesome responses to the question. Their arguments can be generalized in the following fashion. Following their notations, recall that $K_1$ is the figure-eight $4_1$ knot and in general $K_n$ is the twist knot $(2n+2)_1$ in $S^3$. They together proved $$S^3_{1/3}(K_1) \cong S^3_{+1}(K_3).$$ Note that the right-hand side is the Brieskorn sphere $\Sigma(2,3,19)$. a- Handle diagrams of Golla is generalized to the next case as follows: [![enter image description here][7]][7] b- With the observations of Hayden, we have $$S^3_{1/4}(K_1) \cong S^3_{+1}(K_4).$$ There is a pattern in the Kirby calculus diagrams. Thus we may eventually prove that $$S^3_{1/n}(K_1) \cong S^3_{+1}(K_n).$$ Similarly, the right-hand side is the Brieskorn sphere $\Sigma(2,3,6n+1)$. c- This part is about rational homology cobordism classes of $\Sigma(2,3,6n+1)$. **Definition:** A knot $K$ in $S^3$ is called *rationally slice* if it bounds a smoothly properly embedded disk $D$ in a rational homology ball $X$. **Theorem(Kawauchi, [(Kaw79)][8] + [(Kaw09)][9])** Any hyperbolic amphichiral knot in $S^3$ is rationally slice. Consequently, $K_1$ is rationally slice in $S^3$. Now we need an extra observation which is probably known to experts in low-dimensional topology and can be seen as the rational analogue of Gordon's theorem: **Lemma:** For each $n$, $S^3_{1/n}(K_1)$ bounds a rational homology ball. **Proof:** The figure-eight knot $K_1$ bounds a smooth disk $D$ in a rational homology ball $X$. The tubular neighborhood of $D$, $\nu(D)$, is $B^2 \times D$ in $X$. Think $K_1$ and $D$ respectively as a belt sphere and co-core of $4$-dimensional $2$-handle $B^2 \times B^2$. So, we have $B^2 \times D = (X \setminus \nu(D))⋃ B^2 \times B^2.$ Now remove this $2$-handle and reattach it with a framing differing from the initial one by $n$ left-handed twists. Then the boundary $3$-manifold changes by $1/n$-surgery on $K_1$. Since we don't change the rational homology of $4$-manifold, we are done. Therefore, we have a "theorem": **Theorem:** For each $n$, Brieskorn spheres $\Sigma(2,3,6n+1)$ bounds a rational homology ball. **Remark:** The cases $n=1$ and $n=3$ are known by Fintushel-Stern [(FS84)][10] and Akbulut-Larson [(AL18)][11]. For the cases $n=2$ and $n=4$, they bound contractible $4$-manifolds due to classical results of Akbulut-Kirby [(AK79)][12] and Fickle [(F84)][13]. Hence they a priori bound rational homology balls. [1]: https://knotinfo.math.indiana.edu/diagram_display.php?4_1 [2]: http://katlas.org/wiki/The_Rolfsen_Knot_Table [3]: https://btosun.people.ua.edu/uploads/1/2/0/5/120566616/stein_with_prescribed_boundary.pdf [4]: https://chat.stackexchange.com/rooms/110388/discussion-between-marco-golla-and-oguz-savk [5]: https://www.springer.com/gp/book/9783540437963 [6]: https://arxiv.org/pdf/math/0011005.pdf [7]: https://i.sstatic.net/NP0fx.png [8]: https://projecteuclid.org/download/pdf_1/euclid.pja/1195517071 [9]: https://pdfs.semanticscholar.org/e454/67e607a0eafef7be8dd6f6262879c06ef5a9.pdf?_ga=2.177894508.83553317.1594207656-1828353817.1594207656 [10]: http://faculty.sites.uci.edu/rstern/files/2011/03/20_mu_invariant_one_sphere.pdf [11]: https://arxiv.org/pdf/1704.07739.pdf [12]: https://projecteuclid.org/download/pdf_1/euclid.mmj/1029002261 [13]: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.449.3854&rep=rep1&type=pdf