Tangle equations, the Jones conjecture, slopes of surfaces in tangle complements, and q-deformed rationals

We study systems of two-tangle equations which play an important role in the analysis of enzyme actions on DNA strands. We show that every system of framed tangle equations has at most one-framed rational solution. Furthermore, we show that the Jones unknot conjecture implies that if a system of tangle equations has a rational solution, then that solution is unique among all two-tangles. This result potentially opens a door to a purely topological disproof of the Jones unknot conjecture. We introduce the notion of the Kauffman bracket ratio of any two-tangle T and we conjecture that for it is the slope of meridionally incompressible surfaces in. We prove that conjecture for algebraic T. We also prove that for rational T, the brackets coincide with the q-rationals of Morier-Genoud and Ovsienko. Additionally, we relate systems of tangle equations to the cosmetic surgery conjecture and the nugatory crossing conjecture.