---
abstract: 'The Slope Conjecture proposed by Garoufalidis asserts that the degree of the colored Jones polynomial determines a boundary slope, and its refinement, the Strong Slope Conjecture proposed by Kalfagianni and Tran asserts that the linear term in the degree determines the topology of an essential surface that satisfies the Slope Conjecture. Under certain hypotheses, we show that twisted, generalized Whitehead doubles of a knot satisfies the Slope Conjecture and the Strong Slope Conjecture if the original knot does. Additionally, we provide a proof that there are Whitehead doubles which are not adequate.'
address:
- 'Department of Mathematics, University of Miami, Coral Gables, FL 33146, USA'
- 'Department of Mathematics, Nihon University, 3-25-40 Sakurajosui, Setagaya-ku, Tokyo 156–8550, Japan'
- 'Graduate School of Mathematics, Kyushu University, 744 Motooka, Nishi-ku, Fukuoka 819–0395, Japan'
author:
- 'Kenneth L. Baker'
- Kimihiko Motegi
- Toshie Takata
title: The Strong Slope Conjecture for twisted generalized Whitehead doubles
---

Introduction {#section:Introduction}
============

Let $K$ be a knot in the $3$–sphere $S^3$. The Slope Conjecture of Garoufalidis [@Garoufalidis] and the Strong Slope Conjecture of Kalfagianni and Tran [@KT] propose relationships between a quantum knot invariant, the degrees of the colored Jones function of $K$, and a classical invariant, the boundary slope and the topology of essential surfaces in the exterior of $K$.

The *colored Jones function* of $K$ is a sequence of Laurent polynomials $J_{K, n}(q) \in \mathbb{Z}[q^{\pm\frac{1}{2}}]$ for $n \in \mathbb{N}$, where $J_{\bigcirc, n}(q)=\frac {q^{n/2}-q^{-n/2}}{q^{1/2}-q^{-1/2}}$ for the unknot $\bigcirc$ and $\frac {J_{K, 2}(q)}{J_{\bigcirc, 2}(q)}$ is the ordinary Jones polynomial of $K$. Since the colored Jones function is $q$–holonomic [@GL Theorem 1], the degrees of its terms are given by *quadratic quasi-polynomials* for suitably large $n$ [@Gqqp Theorem 1.1 & Remark 1.1]. For the maximum degree $d_+[J_{K,n}(q)]$, we set the quadratic quasi-polynomials to be $$\delta_K(n) = a(n) n^2 + b(n) n+ c(n)$$ for rational valued periodic functions $a(n), b(n), c(n)$ with integral period. Now define the sets of [*Jones slopes*]{} of $K$: $$js(K) = \{ 4a(n) \ |\ n \in \mathbb{N} \}.$$

Allowing surfaces to be disconnected, we say a properly embedded surface in a $3$–manifold is [*essential*]{} if each component is orientable, incompressible, and boundary-incompressible. A number $p/q \in {\mathbb Q}\cup \{\infty\}$ is a [*boundary slope*]{} of a knot $K$ if there exists an essential surface in the knot exterior $E(K)=S^3-\mathrm{int}N(K)$ with a boundary component representing $p[\mu]+q[\lambda] \in H_1({\partial}E(K))$ with respect to the standard meridian $\mu$ and longitude $\lambda$. Now define the set of boundary slopes of $K$: $$bs(K) = \{ r \in \mathbb{Q}\cup \{\infty\}\ |\ r\ \mbox{ is a boundary slope of }\ K\}.$$ Since a Seifert surface of minimal genus is an essential surface, $0 \in bs(K)$ for any knot. Let us also remark that $bs(K)$ is always a finite set [@Hat1 Corollary].

Garoufalidis conjectures that Jones slopes are boundary slopes.

\[slope conjecture\] For any knot $K$ in $S^3$, every Jones slope is a boundary slope. That is $js(K) \subset bs(K)$.

Garoufalidis’ Slope Conjecture concerns only the quadratic terms of $\delta_K(n)$. Recently Kalfagianni and Tran have proposed the Strong Slope Conjecture which subsumes the Slope Conjecture and asserts that the topology of the surfaces whose boundary slopes are Jones slopes may be predicted by the linear terms of $\delta_K(n)$. Define $$jx(K) =  \{ 2b(n) \ |\ n \in \mathbb{N} \}.$$

Let $K$ be a knot in $S^3$ with $\delta_K(n) = a(n) n^2 + b(n) n+ c(n)$. For a given Jones slope $p/q \in js(K)$ ($q > 0$), we say that $p/q$ satisfies $SS(n)$ ($n \in {\mathbb N}$) if there is an essential surface $F_n$ in the exterior of $K$ such that

-   $F_n$ has the boundary slope $4a(n) = p/q$, and

-   $\displaystyle 2b(n) = \frac{\chi(F_n)}{|{\partial}F_n| q}$.

\[YSSC2\] For any knot in $S^3$, every Jones slope satisfies $SS(n)$ for some $n \in \mathbb{N}$.

It is convenient to say that $K$ satisfies the *Strong Slope Conjecture with $SS(n_0)$*, if a Jones slope $p/q = 4a(n_0)$ satisfies $SS(n_0)$. (This is weaker than the Strong Slope Conjecture in the sense that we do not consider if another Jones slope $p'/q'$ other than $p/q$ satisfies $SS(n_0)$ for some $n_0$. Actually to state our main theorems, we use this with $n_0 = 1$; see Theorems \[bothslopeconjecturesWmt\] and \[slopeconjectureWmtSignCond\].

\[constant\] Let $K$ be a knot with constant $a(n)$ $i.e. the period of $a(n)$ is $1$$. Then it has a single Jones slope $p/q$ and if it satisfies $SS(n_0)$ for some $n_0$, then $K$ satisfies the Strong Slope Conjecture. If $b(n)$ is also constant, then we may take $n_0 = 1$ and the Strong Slope Conjecture implies the Strong Slope Conjecture with $SS(1)$. Presently, no knots are known for which the period of $a(n)$ is not $1$.

\[earlyexamples\] Let $K$ be a knot which appears in the following list.

1.  Torus knots [@Garoufalidis], [@KT Theorem 3.9].

2.  Adequate knots [@FKP], [@KT Lemma 3.6, 3.8], and hence alternating knots.

3.  Non-alternating knots with up to $9$ crossings except for $8_{20}$, $9_{43}$, $9_{44}$ [@Garoufalidis], [@KT; @Ho]. ($8_{20}$, $9_{43}$, $9_{44}$ satisfy the Strong Slope Conjecture, but for these knots the coefficient $b(n)$ has period $3$.)

4.  Graph knots [@MT; @BMT_graph].

Then, writing $\delta_K(n) = a(n) n^2 + b(n) n + c(n)$, we have that $a(n), b(n)$ are constant, and $c(n)$ has period at most two. Moreover, $K$ satisfies the Slope Conjecture, the unique Jones slope satisfies $SS(1)$, and hence $K$ satisfies the Strong Slope Conjecture $Remark~\ref{constant}$. Note also that if $K$ is nontrivial, then $b(n) = b \le 0$.

Main Results
------------

In this article we give further supporting evidence for the Strong Slope Conjecture and by examining them for the Whitehead doubles of a knot $K$, and more generally for its twisted generalized Whitehead doubles $W_{\omega}^{\tau}(K)$ defined below.

Let $V$ be a standardly embedded solid torus in $S^3$ with a preferred meridian-longitude $(\mu_V, \lambda_V)$, and take a pattern $(V,  k_{\omega}^{\tau})$ where $k_{\omega}^{\tau}$ is a knot in the interior of $V$ illustrated by Figure \[fig:satellite\]. We always assume $\omega \ne 0$, for otherwise, $k_{\omega}^{\tau}$ is the unknot contained in a $3$–ball in $V$. Given a knot $K$ in $S^3$ with a preferred meridian-longitude $(\mu_K, \lambda_K)$, let $f \colon V \to S^3$ an orientation preserving embedding which sends the core of $V$ to the knot $K \subset S^3$ such that $f(\mu_V) = \mu_K$ and $f(\lambda_V) = \lambda_K$. Then the image $f(k_{\omega}^{\tau})$ is called a [*$\tau$–twisted, $\omega$–generalized Whitehead double of $K$*]{} and is denoted by $W_{\omega}^{\tau}(K)$. When $\omega = 1$, $\tau = 0$, $W_{1}^0$ is the (untwisted) negative Whitehead double of $K$. Note that the mirror image $\overline{W_{\omega}^{\tau}(K)}$ of $W_{\omega}^{\tau}(K)$ is $W_{-\omega}^{-\tau}(\overline{K})$.

![Twisted generalized negative Whitehead double of $K$; $f \colon V \to S^3$ is a faithful embedding and it maps the core of $V$ to $K$.[]{data-label="fig:satellite"}](satellite.eps){width="0.85\linewidth"}

For notational simplicity, in what follows, we use the following notation.

\[quadratic quasi-polynomial\] For a given knot $K$, let $N_K$ be the smallest nonnegative integer such that $d_+[J_{K,n}(q)]$ is a quadratic quasi-polynomial $\delta_K(n)=a(n) n^2 +b(n) n +c(n)$ for $n \ge 2N_K+1$. We put $a_1:=a (2N_K + 1)$, $b_1:=b (2N_K + 1)$.

The aim of this paper is to establish the Slope Conjecture and the Strong Slope Conjecture for twisted generalized Whitehead doubles in the following form.

\[bothslopeconjecturesWmt\] Let $K$ be a knot in $S^3$ where $d_+[J_{K,n}(q)]$ is the quadratic quasi-polynomial $\delta_K(n)=a(n) n^2 +b(n) n+c(n)$ for all $n \ge 0$. We put $a_1:=a(1)$, $b_1:=b(1)$, and $c_1:=c(1)$. We assume that the period of $d_+[J_{K,n}(q)]=\delta_K(n)$ is less than or equal to $2$ and that $b_1 \le 0$. Assume further that if $b_1 = 0$, then $a_1 \ne \frac{\tau}{4}$.

1.  If $K$ satisfies the Slope Conjecture, then all of its twisted generalized Whitehead doubles also satisfy the Slope Conjecture.

2.  If $K$ satisfies the Strong Slope Conjecture with $SS(1)$, then all of its twisted generalized Whitehead doubles satisfy the Strong Slope Conjecture. In particular, each of these doubles has a unique Jones slope, and that slope satisfies $SS(1)$.

In the next theorem we requires that $K$ satisfies the Sign Condition; see Definition \[sign\]. At the moment we have no examples of knots which do not satisfy the Sign Condition.

\[slopeconjectureWmtSignCond\] Let $K$ be a knot that satisfies the Sign Condition. Assume that the period of $\delta_K(n)$ is less than or equal to $2$ and $b_1 \le 0$ where $b_1 = 0$ implies $a_1 \ne \frac{\tau}{4}$. If $K$ satisfies the Strong Slope Conjecture with $SS(1)$, then all of its twisted generalized Whitehead doubles with $\omega >0$ satisfy the Strong Slope Conjecture. In particular, each of these doubles has a unique Jones slope, and that slope satisfies $SS(1)$.

1.  The hypotheses that $b_1 \le 0$ is actually implied by $K$ being a non-trivial knot that satisfies the Strong Slope Conjecture since the only essential surface with boundary and positive Euler characteristic is the disk. See also [@KT Conjecture 5.1].

2.  The hypothesis that the quasi-polynomials have period $\leq 2$ allows simplifications in the proofs that lead to Theorem \[bothslopeconjecturesWmt\]. This is in part due to the pattern for a twisted generalized Whitehead double having wrapping number $2$ and its effect upon the colored Jones polynomial for the satellite, see Proposition \[prop:equationsplitting\]. Indeed, allowing periods $>2$ significantly complicates Propositions \[maxdeg-signcond\] and \[maxdeg\_KT\_Wmt-allw\].

3.  The twisted generalized Whitehead doubles considered in Theorems \[bothslopeconjecturesWmt\] and \[slopeconjectureWmtSignCond\] have quasi-polynomials that are actually just polynomials; see Remark \[no\_period\].

4.  As mentioned in Remark \[constant\], the coefficients $a(n)$ is constant for all known examples. Furthermore, it appears that for any knot known to satisfy the Strong Slope Conjecture, its unique Jones slope satisfies $SS(1)$. Hence the hypothesis that “$K$ satisfies the Strong Slope Conjecture with $SS(1)$” holds in Theorems \[bothslopeconjecturesWmt\](2) and \[slopeconjectureWmtSignCond\] for knots known to satisfy the Strong Slope Conjecture.

Theorem \[slopeconjectureWmtSignCond\] (and Theorem \[bothslopeconjecturesWmt\]) has the hypothesis “if $b_1=0$ then $a _1 \ne \frac{\tau}{4}$”. Since knots appearing in the next corollary satisfy “if $b_1=0$ then $a _1 \ne 0$”, taking $\tau = 0$ ensures the condition “if $b_1=0$ then $a _1 \ne \frac{\tau}{4}$” is always satisfied. So assuming $\tau = 0$, we have the following corollary which is proven in Section \[corollary\]. Let us note that the corollary uses Theorem \[slopeconjectureWmtSignCond\] because the iterated cablings and Whitehead doublings may only have $\delta=d_+$ for suitably large $n$.

\[finite-sequence\] Any knot obtained by a finite sequence of cabling, untwisted $\omega$–generalized Whitehead doublings with $\omega > 0$ and connected sums of $B$–adequate knots or torus knots satisfies the Slope Conjecture and the Strong Slope Conjecture.

Colored Jones polynomials of generalized Whitehead doubles and their degrees {#Jones_generalized_W}
============================================================================

The primary goal of this section is to prove Proposition \[maxdeg-signcond\] below for $\tau$–twisted $\omega$–generalized Whitehead doubles with $\omega>0$. As a warm up, we will first prove Proposition \[maxdeg\_KT\_Wmt-allw\] for $\tau$–twisted $\omega$–generalized Whitehead doubles for all $\omega \neq 0$, but under different and stronger hypotheses. (However, such hypotheses are known to not be satisfied by all knots.)

Proposition \[maxdeg-signcond\] requires knots to satisfy the Sign Condition.

\[sign\] Let $\varepsilon_n(K)$ be the sign of the coefficient of the term of the maximum degree of $J_{K, n}(q)$. A knot $K$ satisfies the *Sign Condition* if $\varepsilon_m(K) = \varepsilon_n(K)$ for $m \equiv n\ \mathrm{mod}\ 2$.

In [@BMT_graph], we demonstrate that torus knots and $B$–adequate knots satisfy the Sign Condition. This fact will be used in the proof of Corollary \[finite-sequence\]. See also Definition \[kappa\] and Proposition \[induction\] which provide a broader class of knots with the Sign Condition.

Does every knot satisfy the Sign Condition?

\[maxdeg-signcond\] Let $K$ be a knot in $S^3$ that satisfies the Sign Condition. Let $N_K$ the smallest nonnegative integer such that $d_+[J_{K,n}(q)]$ is a quadratic quasi-polynomial $\delta_K(n)=a(n) n^2 +b(n) n +c(n)$ for $n \ge 2N_K+1$. We put $a_1:=a (2N_K + 1)$, $b_1:=b (2N_K + 1)$, and $c_1:=c (2N_K + 1)$. We assume that the period of $\delta_K(n)$ is less than or equal to $2$ and that $b_1 \le 0$. Assume further that if $b_1 = 0$, then $a_1 \ne \frac{\tau}{4}$. Then the maximum degree of the colored Jones polynomial of its $\tau$–twisted $\omega$–generalized Whitehead double with $\omega>0$ is given by the quadratic polynomial

$$\delta_{W_{\omega}^{\tau}(K)}(n)=
\left\{ \begin{array}{ll} 
( 4a_1-\tau) n^2 +(- 4a_1+2b_1+\tau - \frac{1}{2}) n+a_1-b_1+c_1+\frac 1 2 & (a_1> \frac \tau 4), \\
-\frac 1 2 n+C_+(K,\tau)+\frac 1 2  &  (a_1 < \frac \tau 4), \\
-\frac{1}{2}n + C_+(K, \tau) + \frac{1}{2} &  (a_1 = \frac{\tau}{4}, b_1 \ne 0),
\end{array} \right.$$

where $ C_+(K, \tau)$ is a number that only depends on the knot $K$ and the number $\tau$. Furthermore $W_{\omega}^{\tau}(K)$ satisfies the Sign Condition.

\[maxdeg\_KT\_Wmt-allw\] Let $K$ be a knot in $S^3$ and $d_+[J_{K,n}(q)]$ is the quadratic quasi-polynomial $\delta_K(n)=a(n) n^2 +b(n) n+c(n)$ for all $n \ge 0$. We put $a_1:=a(1)$, $b_1:=b(1)$, and $c_1:=c(1)$. We assume that the period of $d_+[J_{K,n}(q)]=\delta_K(n)$ is less than or equal to $2$ and that $b_1 \le 0$. Assume further that if $b_1 = 0$, then $a_1 \ne \frac{\tau}{4}$. Then, for suitably large $n$, the maximum degree of the colored Jones polynomial of its $\tau$–twisted $\omega$–generalized Whitehead double is given by one of the following quadratic polynomials:

If $\omega > 0$, then $$\delta_{W_{\omega}^{\tau}(K)}(n)=
    \begin{cases}
            ( 4a_1-\tau) n^2 +(- 4a_1+2b_1+\tau - \frac{1}{2}) n+a_1-b_1+c_1+\frac 1 2 & (a_1> \frac \tau 4), \\
             -\frac 1 2 n+c_1+\frac 1 2  &  (a_1 < \frac \tau 4), \\
             -\frac{1}{2}n + c_1 + \frac{1}{2} &  (a_1 = \frac{\tau}{4}, b_1 \ne 0).
        \end{cases}$$ In fact, if either $a_1 < \frac \tau 4$ or $a_1 = \frac{\tau}{4}$ with $b_1 \ne 0$, then $d_+[J_{W_{\omega}^{\tau}(K),n}(q)] =  \delta_{W_{\omega}^{\tau}(K)}(n)$ for all $n \geq 1$.

If $\omega < 0$, then $$\delta_{W_{\omega}^{\tau}(K)}(n)=
\begin{cases}
(4a_1- \tau-\omega-\frac{1}{2}) n^2+(-4a_1+2b_1 +\omega+ \tau + 1)n+a_1-b_1+c_1-\frac 1 2
      &(a_1 > \frac{\tau}{4}+\frac{1}{8}) \\
- \omega n^2 + (\omega+\frac 1 2) n  + a_1+b_1+c_1-\frac 1 2 & (a_1 < \frac{\tau}{4}+\frac{1}{8})\\
- \omega n^2 + (\omega+\frac 1 2) n  + a_1+b_1+c_1-\frac 1 2 & (a_1 = \frac{\tau}{4}+\frac{1}{8}, b_1 \neq 0).
\end{cases}$$ In fact, if either $a_1< \frac{\tau}{4} +\frac{1}{8}$ or $a_1 = \frac{\tau}{4} +\frac{1}{8}$ with $b_1 \ne 0$, then $d_+[J_{W_{\omega}^{\tau}(K),n}(q)] = {\delta}_{W_{\omega}^{\tau}(K)}(n)$ for all $n \geq 1$.

\[no\_period\] Propositions \[maxdeg-signcond\] and \[maxdeg\_KT\_Wmt-allw\] say that even when $\delta_K(n)$ has period $2$, $\delta_{W_{\omega}^{\tau}(K)}(n)$ is a usual polynomial rather than a quasi-polynomial.

In Subsection \[computation\_Jones\] we first derive a formula of the colored Jones function of $W_{\omega}^{\tau}(K)$ using a slightly different normalization that simplifies calculation. For knot $K$ and a nonnegative integer $n$, set $$J'_{K, n}(q):=\frac{J_{K, n+1}(q)}{J_{\bigcirc, n+1}(q)}$$ so that $J'_{\bigcirc, n}(q)=1$ for the unknot $\bigcirc$ and $J'_{K, 1}(q)$ is the ordinary Jones polynomial of a knot $K$.

For our proof of Proposition \[maxdeg\_KT\_Wmt-allw\], we study the behavior of the maximum degrees of the colored Jones functions of $\tau$-twisted $\omega$-generalized Whitehead doubles with $\omega > 0$ and $\omega < 0$, respectively. Let $\delta'_{K}(n)$ be the maximum degrees of this normalized colored Jones function for large $n$.

Let us introduce the Normalized Sign Condition which is analogous to the Sign Condition for $K$.

\[sign’\] Let $\varepsilon'_n(K)$ be the sign of the coefficient of the term of the maximum degree of $J'_{K, n}(q)$. A knot $K$ satisfies the *Normalized Sign Condition* if $\varepsilon'_m(K) = \varepsilon'_n(K)$ for $m \equiv n\ \mathrm{mod}\ 2$.

By the above definition of $J'_{K, n}(q)$, if $K$ satisfies the Sign Condition, then it also satisfies the Normalized Sign Condition. With respect to this normalization we first establish Propositions \[maxdeg\_J’\_omega&gt;0\], \[maxdeg\_J’\_omega&lt;0\] and \[maxdeg\_J’\_signcond\] in Subsection \[computation\_degrees\], which derive Propositions \[maxdeg\_KT\_Wmt-allw\] and \[maxdeg-signcond\] by using the transformation described below.

To derive Propositions \[maxdeg-signcond\] and \[maxdeg\_KT\_Wmt-allw\] from Propositions \[maxdeg\_J’\_signcond\], \[maxdeg\_J’\_omega&gt;0\] and \[maxdeg\_J’\_omega&lt;0\], we apply the transformation with respect to normalization. Recall from the Introduction that $J_{\bigcirc, n+1}(q) = [n+1] = (-1)^{n}\langle n \rangle$ (where $[n+1]$ and $\langle n \rangle$ are defined in Equation (\[def:&lt;n&gt;\])). Then, in general, we have $$\label{KT-G-relation.formula}
\langle n \rangle J'_{K, n}(q) 
= \langle n \rangle \frac{J_{K, n+1}(q)}{J_{\bigcirc, n+1}(q)}
= \langle n \rangle  \frac{J_{K, n+1}(q)}{(-1)^n \langle n \rangle}
= (-1)^n J_{K, n+1}(q),\ J'_{K, 0}(q) =1,\ J_{K, 1}(q) =1.$$

This implies: $$d_{+}\left[ \frac {q^{(n+1)/2}-q^{-(n+1)n/2}}{q^{1/2}-q^{-1/2}}\right] d_{+} [J'_{K, n}(q)] = 
d_{+} [ J_{K, n+1}(q)].$$ Since $\displaystyle d_{+}\left[ \frac {q^{(n+1)/2}-q^{-(n+1)n/2}}{q^{1/2}-q^{-1/2}}\right] = \frac{n}{2}$, we have $$\delta'_K(n) = \delta_K(n+1) - \frac{1}{2}n$$ and $$\delta_{W_{\omega}^{\tau}(K)}(n)=\delta'_{W_{\omega}^{\tau}(K)}(n-1)+\frac 1 2 n-\frac 1 2.$$

Note also that $$\begin{aligned}
 & & \alpha_0=a_1, \ \beta_0=2a_1+b_1-\frac 1 2, \ \gamma_0=a_1+b_1+c_1.\end{aligned}$$

Computations of colored Jones polynomials of $W_{\omega}^{\tau}(K)$ {#computation_Jones}
-------------------------------------------------------------------

In this subsection we will compute the normalized colored Jones polynomial $J'_{W_{\omega}^{\tau}(K), n}(q)$ instead of $J_{W_{\omega}^{\tau}(K), n}(q)$. We begin by recalling the following functions with respect to $q$ for non-negative integers $s,t,u$. See [@MV].

$$\begin{aligned}
\label{def:<n>}
&& \langle s \rangle  := (-1)^s [s+1], \quad [s]= \frac{q^{s/2} - q^{-s/2}}{q^{1/2} - q^{-1/2}},
\quad [s]! = \prod_{t=1}^s[t] \end{aligned}$$

$$\begin{aligned}
&& \langle s,t,u \rangle := (-1)^{i+j+k} 
\frac {[i+j+k+1]![i]![j]![k]!}{[s]![t]![u]!}, \end{aligned}$$

where $i=\frac {t+u-s}{2}$, $j=\frac {u+s-t}{2}$, and $k=\frac {s+t-u}{2}$, $$\begin{aligned}
&& \delta(u;s,t):=(-1)^{\frac {s+t+u} 2} q^{-\frac{1}{8}(u^2-s^2-t^2+2u-2s-2t)},\end{aligned}$$ and

$$\label{tetsymb}
\left\langle \begin{array}{ccc} A & B & E \\ D & C & F \end{array}\right\rangle
=\frac {\prod_{i=1}^3 \prod_{j=1}^4 [b_i-a_j]!}
  {[A]![B]![C]![D]![E]![F]!}
  \sum_{\max\{a_j\} \le s \le \min \{b_i \}}
  \frac {(-1)^s [s+1]!} {\prod_{i=1}^3 [b_i-s]!\prod_{j=1}^4 [s-a_j]!},$$

where $a_1=\frac {A+B+E} 2$, $a_2=\frac {B+D+F} 2$, $a_3=\frac {C+D+E} 2$, $a_4=\frac {A+C+F} 2$, $\Sigma=A+B+C+D+E+F$, $b_1=\frac {\Sigma-A-D} 2$, $b_2=\frac {\Sigma-E-F} 2$, and $b_3=\frac {\Sigma-B-C} 2$.

We will also use the following equalities introduced by Masbaum and Vogel [@MV].

$$\label{pall}
{\begin{picture} (82,25)
    \put(-10,38){{\mbox{$\begin{array}{c}
   \includegraphics[scale=0.4]{para.eps}
   \end{array}$}}}
    \put(42,16){{\normalsize}$s$}
    \put(42,-17){{\normalsize}$t$}  \end{picture}} 
=\sum_u \frac {\langle u \rangle}{\langle s,t,u \rangle} 
{\begin{picture} (82,25)
    \put(0,-1){{\mbox{$\begin{array}{c}
   \includegraphics[scale=0.4]{flip-h.eps}
   \end{array}$}}}
    \put(11,29){{\normalsize}$s$}
    \put(11,-26){{\normalsize}$t$} 
    \put(38,10){{\normalsize}$u$}
    \put(65,28){{\normalsize}$s$}
    \put(64,-26){{\normalsize}$t$} \end{picture}} .$$

5truemm Here the sum is over those colors $u$ such that the triple $(s,t,u)$ satisfies $s+t+u \equiv 0 \pmod 2$ and $|s-t| \le u \le s+t$.

$$\label{twist-tri}
\hskip 5truemm 
{\begin{picture} (62,25)
    \put(3,-2){{\mbox{$\begin{array}{c}
   \includegraphics[scale=0.4]{twist-n.eps}
   \end{array}$}}}
    \put(4,20){{\normalsize}$s$}  
    \put(4,-22){{\normalsize}$t$}
    \put(55,10){{\normalsize}$u$}  \end{picture}} \quad 
=\delta (u; s, t)^{-1} 
{\begin{picture} (62,25)
    \put(0,-1){{\mbox{$\begin{array}{c}
   \includegraphics[scale=0.4]{tri.eps}
   \end{array}$}}}
    \put(6,28){{\normalsize}$s$}
    \put(6,-28){{\normalsize}$t$} 
    \put(45,10){{\normalsize}$u$} \end{picture}}, \quad
{\begin{picture} (52,25)
    \put(3,-2){{\mbox{$\begin{array}{c}
   \includegraphics[scale=0.4]{twist-p.eps}
   \end{array}$}}}
    \put(5,20){{\normalsize}$s$}  
    \put(5,-22){{\normalsize}$t$}
    \put(55,10){{\normalsize}$u$}  \end{picture}} \quad \quad
=\delta (u; s, t) 
{\begin{picture} (62,25)
    \put(0,-1){{\mbox{$\begin{array}{c}
   \includegraphics[scale=0.4]{tri.eps}
   \end{array}$}}}
    \put(6,28){{\normalsize}$s$}
    \put(6,-28){{\normalsize}$t$} 
    \put(45,10){{\normalsize}$u$} \end{picture}}$$

5truemm

$$\label{curl}
\hskip 5truemm 
{\begin{picture} (45,25)
    \put(3,-2){{\mbox{$\begin{array}{c}
   \includegraphics[scale=0.5]{r1m_n.eps}
   \end{array}$}}}
    \put(30,20){{\normalsize}$s$} \end{picture}} 
=\delta (0; s, s)^{-1} 
{\begin{picture} (22,25)
    \put(0,-1){{\mbox{$\begin{array}{c}
   \includegraphics[scale=0.5]{1-string.eps}
   \end{array}$}}}
    \put(10,3){{\normalsize}$s$} \end{picture}}, \quad \quad 
{\begin{picture} (45,25)
    \put(3,-2){{\mbox{$\begin{array}{c}
   \includegraphics[scale=0.5]{r1m_p.eps}
   \end{array}$}}}
    \put(30,20){{\normalsize}$s$} \end{picture}} 
=\delta (0; s, s) 
{\begin{picture} (82,25)
    \put(0,-1){{\mbox{$\begin{array}{c}
   \includegraphics[scale=0.5]{1-string.eps}
   \end{array}$}}}
    \put(10,3){{\normalsize}$s$} \end{picture}}$$

0.5truecm

$$\label{tri-open}
{\begin{picture} (52,25)
    \put(5,-2){{\mbox{$\begin{array}{c}
   \includegraphics[scale=0.3]{tri-open.eps}
   \end{array}$}}}
    \put(22,22){{\normalsize}$u$}
    \put(3,0){{\normalsize}$s$}
    \put(32,0){{\normalsize}$t$}
    \put(22,-22){{\normalsize}$u$} \end{picture}} 
=\frac {\langle s,t,u \rangle} {\langle u \rangle} 
{\begin{picture} (82,25)
    \put(0,-1){{\mbox{$\begin{array}{c}
   \includegraphics[scale=0.5]{1-string.eps}
   \end{array}$}}}
    \put(10,3){{\normalsize}$u$} \end{picture}}$$

1truecm

$$\label{tetra-s}
{\begin{picture} (42,25)
    \put(-20,15){{\mbox{$\begin{array}{c}
   \includegraphics[scale=0.3]{tetra-s.eps}
   \end{array}$}}}
    \put(-5,10){{\normalsize}$B$}
    \put(-10,-9){{\normalsize}$F$} 
    \put(15,26){{\normalsize}$A$}
    \put(23,10){{\normalsize}$E$}
    \put(10,-9){{\normalsize}$D$} 
    \put(30,-9){{\normalsize}$C$} \end{picture}} 
=\frac {\left\langle \begin{array}{ccc} A & B & E \\ D & C & F \end{array}\right\rangle}
{\langle A,F,C \rangle} \quad
{\begin{picture} (42,25)
    \put(-10,12){{\mbox{$\begin{array}{c}
   \includegraphics[scale=0.3]{tetra-s-red.eps}
   \end{array}$}}}
    \put(5,-7){{\normalsize}$F$} 
    \put(25,13){{\normalsize}$A$}
    \put(35,-7){{\normalsize}$C$}  \end{picture}}$$

In the following we will use the following symbols.

![[]{data-label="twist_curl"}](graphic2.eps){width="0.5\linewidth"}

\[lem:twistreduction\] $$\begin{gathered}
        {\mbox{$\begin{array}{c}
   \includegraphics[scale=0.4]{twist-1.eps}
   \end{array}$}} 
        =  {\mbox{$\begin{array}{c}
   \includegraphics[scale=0.4]{twist-2.eps}
   \end{array}$}} 
        =  \sum_{i=0}^n \frac{\langle 2i \rangle}{\langle n,n,2i \rangle} {\mbox{$\begin{array}{c}
   \includegraphics[scale=0.4]{twist-3.eps}
   \end{array}$}}\\
        = \sum_{i=0}^n \frac{\langle 2i \rangle}{\langle n,n,2i \rangle} q^{-\alpha i (i+1)} {\mbox{$\begin{array}{c}
   \includegraphics[scale=0.4]{twist-4.eps}
   \end{array}$}}\end{gathered}$$

The first equality is due to the framed isotopy shown here for each handedness: $${\mbox{$\begin{array}{c}
   \includegraphics[scale=0.35]{twist_curl2.eps}
   \end{array}$}}$$ Next we exploit the formula (\[pall\]) and then formula (\[curl\]).

\[lem:collapse\] $$\hskip 1.75truecm 
        {\begin{picture} (30,30)
            \put(0,0){{\mbox{$\begin{array}{c}
   \includegraphics[scale=0.4]{WD-CJP2c.eps}
   \end{array}$}}}
            \put(12,37){{\normalsize}$2k$}
            \put(11,15){{\normalsize}$n$}
            \put(11,-12){{\normalsize}$n$}
            \put(18,9){ $2j$}
            \put(35,15){{\normalsize}$n$}
            \put(35,-12){{\normalsize}$n$}
            \put(12,-34){{\normalsize}$2k$}
         \end{picture}}   
    \quad \quad = \quad 
        \frac {\left\langle \begin{array}{ccc} n & n & 2j \\ n & n & 2k \end{array}\right\rangle}
        {\langle n,2k,n \rangle} \quad 
        {\begin{picture} (52,25)
            \put(5,-2){{\mbox{$\begin{array}{c}
   \includegraphics[scale=0.3]{tri-open.eps}
   \end{array}$}}}
            \put(22,22){{\normalsize}$2k$}
            \put(2,0){{\normalsize}$n$}
            \put(30,0){{\normalsize}$n$}
            \put(22,-22){{\normalsize}$2k$} \end{picture}}
    = \quad 
        \frac {\left\langle \begin{array}{ccc} n & n & 2j \\ n & n & 2k \end{array}\right\rangle}
        {\langle 2k \rangle} 
        {\begin{picture} (82,25)
            \put(0,-1){{\mbox{$\begin{array}{c}
   \includegraphics[scale=0.5]{1-string.eps}
   \end{array}$}}}
            \put(10,3){{\normalsize}$2k$} \end{picture}}$$

1truecm

Apply formula (\[tetra-s\]) and then (\[tri-open\]).

\[graphicalcoloredjones\] For a $0$ framed diagram of any knot $K$: $$\langle n \rangle J'_{K,n}(q) = 
 {\begin{picture} (30,30)
  \put(0,0){{\mbox{$\begin{array}{c}
   \includegraphics[scale=0.4]{calcK3.eps}
   \end{array}$}}}
  \put(12,0){ $K$}
   \put(9,37){{\normalsize}$n$}
      \end{picture}}$$

1truecm

It follows from [@Mas Section 5] that the right hand side describes $(-1)^{n}J_{K, n+1}(q)$. On the other hand, (\[KT-G-relation.formula\]) shows that $$\langle n \rangle  J'_{K, n}(q) 
= (-1)^n J_{K, n+1}(q).$$ Thus we obtain the desired equality.

\[prop:equationsplitting\] $$J'_{W_{\omega}^{\tau}(K), n}(q)  = \frac 1 {\langle n \rangle}\sum_{j,k=0}^n  
    \frac{\langle 2j \rangle}{\langle n,n,2j \rangle}\frac{\langle 2k \rangle}{\langle n,n,2k \rangle} \left\langle \begin{array}{ccc} n & n & 2j \\ n & n & 2k \end{array}\right\rangle
    q^{-\omega j(j+1) -\tau k(k+1)} J'_{K,2k}(q).$$

We will compute $J'_{W_{\omega}^{\tau}(K), n}(q)$ using the graphical calculus of Masbaum and Vogel [@MV; @Mas] following the method of Tanaka [@Tan]. To this end we need a diagram of $W_{\omega}^{\tau}(K)$ whose blackboard framing is $0$. Note that since two strands in the $\omega$–twist region and the $\tau$–twist region run in opposite directions, to obtain a correct $0$–framing of $W_{\omega}^{\tau}(K)$ we need to add some curls indicated in Figure \[fig:correct\_framing\]. In Figure \[fig:Wwtwrithe0\], we use $D(K)$ to mean a double of $K$, i.e. two parallel copies of $K$ whose blackboard framing is $0$.

![Addition of curls to get a $0$–framing to twist regions[]{data-label="fig:correct_framing"}](correct_framing2.eps){width="0.63\linewidth"}

![A diagram of $W_{\omega}^{\tau}(K)$ with trivial writhe[]{data-label="fig:Wwtwrithe0"}](graphic1.eps){width="0.28\linewidth"}

Using the above formulas, we compute $J'_{W_{\omega}^{\tau}(K), n}(q)$ graphically in the manner of [@Mas] and [@Tan]. As shown below, we begin by expressing $\langle n \rangle J'_{W_{\omega}^{\tau}(K), n}(q)$ diagrammatically with Lemma \[graphicalcoloredjones\]. Then we apply Lemma \[lem:twistreduction\] twice, once for each of the $\tau$ and $\omega$ twist regions. Next we apply Lemma \[lem:collapse\]. Finally, we again apply Lemma \[graphicalcoloredjones\] for the diagrammatic expression of $\langle 2k \rangle J'_{K,2k}(q)$.

$$\begin{aligned}
\hskip -1truecm 
\langle n \rangle J'_{W_{\omega}^{\tau}(K), n}(q) 
&= {\mbox{$\begin{array}{c}
   \includegraphics[scale=0.25]{calculus1.eps}
   \end{array}$}}\\
&= \displaystyle
\sum_{j,k=0}^n 
\frac{\langle 2j \rangle}{\langle n,n,2j \rangle}
\frac{\langle 2k\rangle}{\langle n,n,2k\rangle}
q^{-\omega j (j+1)-\tau k (k+1)} {\mbox{$\begin{array}{c}
   \includegraphics[scale=0.25]{calculus2.eps}
   \end{array}$}}
&\\
&\\
& = \displaystyle \sum_{j,k=0}^n 
\frac{\langle 2j \rangle}{\langle n,n,2j \rangle}
\frac{\langle 2k\rangle}{\langle n,n,2k\rangle}
 q^{-\omega j (j+1)-\tau k (k+1)}{\mbox{$\begin{array}{c}
   \includegraphics[scale=0.5]{calculus3.eps}
   \end{array}$}} 
& \\
& \\
&= \displaystyle
\sum_{j,k=0}^n 
\frac{\langle 2j \rangle}{\langle n,n,2j \rangle}
\frac{\langle 2k\rangle}{\langle n,n,2k\rangle}
 q^{-\omega j (j+1)-\tau k (k+1)}       
\frac {\left\langle \begin{array}{ccc} n & n & 2j \\ n & n & 2k \end{array}\right\rangle}{<2k>}  {\mbox{$\begin{array}{c}
   \includegraphics[scale=0.5]{calculus4.eps}
   \end{array}$}} 
 & \\
 & \\
 &= \displaystyle
\sum_{j,k=0}^n 
\frac{\langle 2j \rangle}{\langle n,n,2j \rangle}
\frac{\langle 2k\rangle}{\langle n,n,2k\rangle}
 q^{-\omega j (j+1)-\tau k (k+1)}       
\left\langle \begin{array}{ccc} n & n & 2j \\ n & n & 2k \end{array}\right\rangle
 J'_{K, 2k}(q)\end{aligned}$$

Therefore we have: $$\begin{aligned}
& & J'_{W_{\omega}^{\tau}(K), n}(q) \\
& & = \frac 1 {<n>}\sum_{j,k=0}^n  
\frac{\langle 2j \rangle}{\langle n,n,2j \rangle}
\frac{\langle 2k\rangle}{\langle n,n,2k\rangle}
\left\langle \begin{array}{ccc} n & n & 2j \\ n & n & 2k \end{array}\right\rangle q^{-\omega j(j+1) -\tau k(k+1)} J'_{K,2k}(q).\end{aligned}$$

Other formulas of the colored Jones polynomial of the twisted Whitehead double of a knot $K$, are given by Tanaka [@Tan] and Zheng [@Zheng].

Computations of the maximum degrees {#computation_degrees}
-----------------------------------

The maximum degree of a polynomial $f(q)\in {\mathbb Q}[q^{\pm \frac{1}{4}}]$ is denoted $d_+[f(q)]$. For a rational function $f(q) = \frac{f_1(q)}{f_2(q)}$ with $f_1(q), f_2(q)\in {\mathbb Q}[q^{\pm \frac{1}{4}}]$ and $f_2(q)\ne 0$, we extend the maximum degree of $f(q)$ as $d_+[f_1(q)]-d_+[f_2(q)]$.

Propositions \[maxdeg\_J’\_omega&gt;0\], \[maxdeg\_J’\_omega&lt;0\] and \[maxdeg\_J’\_signcond\] give the maximum degree of $J'_{K, n}(q) \in \mathbb{Z}[q^{\pm 1}]$ under various hypotheses. For convenience we recall the maximum degree of the functions which appear in the expression of $J'_{W_{\omega}^{\tau}(K), n}(q)$ in Proposition \[prop:equationsplitting\].

By definition \[def:&lt;n&gt;\] we have:

\[&lt;n&gt;\] $d_{+}[\langle n \rangle] = \dfrac{1}{2}n$.

\[deglem1\] The maximum degree of $\langle s,t,u \rangle$ are given by $$d_{+}[\langle s,t,u \rangle]= \frac {s+t+u} 4.$$

\[deglem2\] The maximum degree of ${\displaystyle}{
\left\langle \begin{array}{ccc} A & B & E \\ D & C & F \end{array}\right\rangle
}$ are given by $$\begin{aligned}
&& d_{+} \left[\left\langle \begin{array}{ccc} A & B & E \\ D & C & F \end{array}\right\rangle \right]\\
&&= \frac 1 2[-\Sigma^2-\frac 1 2 (A^2+B^2+C^2+D^2+E^2+F^2-\Sigma )
+\frac 3 2 \sum_{i=1}^3 b_i(b_i-1) +\sum_{j=1}^4 a_j(a_j+1)\\
&& \quad -3M^2+M(1+2\Sigma)], \end{aligned}$$ where $\Sigma, a_j, b_i$ are as in (\[tetsymb\]) and $M=\min b_i$.

To ease our computations, we define $$\label{fsummand}
f(j,k;q)  =  
\frac{\langle 2j \rangle}{\langle n,n,2j \rangle}
\frac{\langle 2k\rangle}{\langle n,n,2k\rangle}
\left\langle \begin{array}{ccc} n & n & 2j \\ n & n & 2k \end{array}\right\rangle 
q^{-\omega j(j+1) -\tau k(k+1)} J'_{K,2k}(q).$$ Then by Proposition \[prop:equationsplitting\] we have $$\label{normalizedsum}
\langle n \rangle J'_{W_{\omega}^{\tau}(K), n}(q) =\sum_{j,k=0}^n f(j,k;q)$$ so that $$\label{normalizeddegreesum}
d_{+}[J'_{W_{\omega}^{\tau}(K), n}(q)] 
= d_{+}[\sum_{j,k=0}^n f(j,k;q)] - d_{+}[\langle n \rangle] 
= d_{+}[\sum_{j,k=0}^n f(j,k;q)] - \frac{n}{2}.$$ Hence our computations of $d_{+}[J'_{W_{\omega}^{\tau}(K), n}(q)]$ reduce to an understanding the extrema of $d_{+}[f(j,k;q)]$ for $0\leq j,k \leq n$.

To that end we first record the following computations of degrees. From Lemma \[deglem1\], we have that $$\label{deg2j/nn2j}
d_{+}\left[ \frac {\langle 2j \rangle}{\langle n,n,2j \rangle} \right]
=-\frac{n}{2}+\frac{j}{2}.$$ From Lemma \[deglem2\], we have that $$\label{deg6j}
d_{+}\left[ \left\langle \begin{array}{ccc} n & n & 2j \\ n & n & 2k \end{array}\right\rangle \right]
= \left\{\begin{array}{ll}
\frac 1 2 (j+k+n) & (j+k\le n), \\
\frac 1 2 (-j^2-2jk-k^2+2n+2jn+2kn-n^2) & (j+k\ge n).
\end{array}
\right.$$

\[maxdeg\_J’\_omega&gt;0\] Let $K$ be a knot in $S^3$ and $d_+[J'_{K,n}(q)]$ is the quadratic quasi-polynomial $\delta'_K(n)=\alpha(n) n^2 +\beta(n) n+\gamma(n)$ for all $n \ge 0$. We put $\alpha_0:=\alpha (0)$, $\beta_0:=\beta (0)$, and $\gamma_0:=\gamma (0)$. We assume that the period of $d_+[J'_{K,n}(q)]=\delta'_K(n)$ is less than or equal to $2$ and that $-2\alpha_0+\beta_0+\frac 1 2 \le 0$. Assume further that if $-2\alpha_0+\beta_0+\frac{1}{2} = 0$, then $\tau \ne 4 \alpha_0$. Then, for suitably large $n$, the maximum degree of the normalized colored Jones polynomial of its $\tau$–twisted $\omega$–generalized Whitehead double with $\omega>0$ is given by $$\label{tgWmax_omega>0}
\delta'_{W_{\omega}^{\tau}(K)}(n)=
\begin{cases} 
(4\alpha_0- \tau) n^2 +(2\beta_0-\tau) n+\gamma_0 & (\alpha_0> \frac{\tau}{4}) \\
             -n +\gamma_0  &  (\alpha_0 < \frac{\tau}{4}) \\
             -n+ \gamma_0& (\alpha_0 = \frac{\tau}{4}, -2\alpha_0+\beta_0+\frac{1}{2} \ne 0).
\end{cases}$$ In fact, if either $\alpha_0 < \frac{\tau}{4}$ or $\alpha_0 = \frac{\tau}{4}$ with $-2\alpha_0+\beta_0+\frac{1}{2} \ne 0$, then $d_+[J'_{W_{\omega}^{\tau}(K),n}(q)] =  \delta'_{W_{\omega}^{\tau}(K)}(n)$ for all $n \geq 0$.

In light of , to determine the maximum degree of $J'_{W_{\omega}^{\tau}(K), n}(q)$, we need to understand the maximum degrees of the functions $f(j,k;q)$ for $0\leq j,k \leq n$.

Since the period of $d_+[J'_{K,n}(q)]=\delta'_K(n)$ is less than or equal to $2$, it follows that $\alpha(2k)=\alpha_0$, $\beta(2k)=\beta_0$, and $\gamma (2k)=\gamma_0$ and so $$\label{pdegK_omega>0}
d_+[J'_{K,2k}(q)]=\alpha(2k)(2k)^2+\beta(2k)2k+\gamma(2k)
=4\alpha_0 k^2+2\beta_0 k+\gamma_0$$ for all $k\geq 0$.

Due to (\[deg6j\]) the argument splits into two cases.

**Case $1$. $j+k \ge n$.**

Applying the equalities (\[deg2j/nn2j\]) and (\[deg6j\]) to (\[fsummand\]), we see that $$\begin{aligned}
d_+[f(j,k;q)]
&= (-\frac n 2+\frac j 2) + (-\frac n 2 + \frac k 2) + \frac 1 2 (-j^2-2jk-k^2+2n+2jn+2kn-n^2) \\
& \qquad\qquad\qquad\qquad -\omega j(j+1) -\tau k(k+1) + d_+[J'_{K,2k}(q)]\\
&= -\frac{2 \omega+1}{2} j^2+(n-k- \omega+\frac 1 2)j \\
&\qquad\qquad\qquad\qquad +(- \tau -\frac 1 2) k^2+( \frac 1 2+n- \tau) k-\frac {n^2} 2+d_+[J'_{K, 2k}(q)] \\
&= 
-\left(\frac{2 \omega+1}{2} \right)\left(j-\frac{n-k- \omega+\frac{1}{2}}{2 \omega +1}\right)^2 + \frac{(n-k- \omega+\frac{1}{2})^2}{2(2\omega+1)}\\
& \qquad\qquad\qquad\qquad
+(- \tau -\frac 1 2) k^2+( \frac 1 2+n- \tau) k-\frac {n^2} 2+d_+[J'_{K, 2k}(q)]. \end{aligned}$$ Since $\frac{n-k- \omega+\frac{1}{2}}{2 \omega +1}<n-k$ and $j\geq n-k$, this is maximized at $j=n-k$ for a fixed $k$. Therefore this case is included in the next case.

**Case $2$. $j+k \le n$.**

Applying the equalities (\[deg2j/nn2j\]) and (\[deg6j\]) to (\[fsummand\]), we see that $$\begin{aligned}
d_+[f(j,k;q)]
&= (-\frac n 2+\frac j 2) + (-\frac n 2 + \frac k 2) + \frac 1 2 (j+k+n) \\
& \qquad\qquad\qquad -\omega j(j+1) -\tau k(k+1) + d_+[J'_{K,2k}(q)]\\
&= - \omega j^2-( \omega-1) j -\tau k^2 - (\tau-1) k -\frac{n}{2}+d_+[J'_{K,2k}(q)]\\
& = -\omega\left(j + \frac{\omega - 1}{2\omega}\right)^2 + \omega\left(\frac{\omega -1}{2\omega}\right)^2 - \tau k^2 - (\tau -1)k - \frac{n}{2}+d_+[J'_{K,2k}(q)].\end{aligned}$$ Since $\omega > 0$ so that $\frac{\omega-1}{2\omega} \ge 0 $, this is maximized uniquely at $j=0$ for a fixed $k$. Thus, $$\begin{aligned}
\max_{0\le j \le n-k}d_+[f(j,k;q)] 
& = d_+[f(0,k;q)] \\
&=  -\tau k^2-(\tau-1) k -\frac{n}{2} + d_+[J'_{K,2k}(q)] \\
& =  -\tau k^2-(\tau-1) k -\frac{n}{2} + 4\alpha_0 k^2 + 2\beta_0 k + \gamma_0 \\
& = (4\alpha_0- \tau)k^2 + (2\beta_0 - \tau +1)k-\frac{n}{2} + \gamma_0\end{aligned}$$ since we are assuming $d_+[J'_{K,2k}(q)] = \delta'_K(2k)$.

We now consider the three cases of when $\alpha_0 > \frac{\tau}{4}$, $\alpha_0 < \frac{\tau}{4}$, or $\alpha_0 = \frac{\tau}{4}$. First note that when $\alpha_0 \ne \frac{\tau}{4}$, we may write $$\label{eqn:d+bigk_omega>0}
d_+[f(0,k;q)] =(4\alpha_0- \tau) \left(k+\frac {2\beta_0- \tau +1}{2(4\alpha_0-\tau)} \right)^2
- \frac {(2\beta_0- \tau +1 )^2}{4(4\alpha_0- \tau)}-\frac n 2+\gamma_0$$ for $n\geq k\geq 0$. Therefore, for $k >  -\frac {2\beta_0- \tau +1}{2(4\alpha_0-\tau)}$, we see that $d_+[f(0,k;q)]$ is monotonically increasing or decreasing depending on whether $4\alpha_0- \tau$ is positive or negative respectively.

**Case $2.1$. $\alpha_0 > \frac{\tau}{4}$.**

Note that $-\frac {2\beta_0-\tau+1}{2(4\alpha_0- \tau)} < \frac n 2 $ for sufficiently large $n\geq 0$. Hence equation (\[eqn:d+bigk\_omega&gt;0\]) shows that $d_+[f(0,k;q)]$ is monotonically increasing with respect to $k$ for $k  > -\frac {2\beta_0-\tau+1}{2(4\alpha_0- \tau)} $ when $n$ is sufficiently large. Therefore, for sufficiently large $n$, $\displaystyle \max_{0 \le k \le n} d_+[f(0,k;q)]$ is uniquely realized at $k = n$. Hence $$\begin{aligned}
\label{eqn:a0big_omega>0}
d_+[ \sum_{j,k=0}^n f(j,k;q)]
&=d_+[ \sum_{k=0}^n f(0,k;q)]\\
&=d_+[f(0,n;q)] \nonumber \\
&=(4\alpha_0- \tau) n^2+(2\beta_0- \tau + \frac 1 2)n+\gamma_0 \nonumber\end{aligned}$$ for sufficiently large $n$.

**Case $2.2$. $\alpha_0 < \frac{\tau}{4}$.**

Since $0 \ge -2\alpha_0+\beta_0+\frac{1}{2}
=-2(\alpha_0-\frac{\tau}{4})+\beta_0-\frac{\tau}{2}+\frac{1}{2}$ by assumption, then we have $2\beta_0 - \tau + 1 < 0$. Therefore, if $\alpha_0 <\frac{\tau}{4}$, so that $\frac {2\beta_0- \tau+1}{2(4\alpha_0- \tau)} > 0$, (\[eqn:d+bigk\_omega&gt;0\]) shows that $d_+[f(0,k;q)]$ is monotonically decreasing with respect to $k$ for $k  \ge 0$. Thus $ \displaystyle \max_{0 \le k \le n} d_+[f(0,k;q)]$ is uniquely realized at $k = 0$. Hence $$\begin{aligned}
\label{eqn:a0small_omega>0}
d_+[ \sum_{j,k=0}^n f(j,k;q)]
&=d_+[ \sum_{k=0}^n f(0,k;q)]\\
&= d_+[f(0,0;q)] \nonumber \\
&= -\frac{n}{2} + \gamma_0. \nonumber\end{aligned}$$

**Case $2.3$. $\alpha_0 = \frac{\tau}{4}$.**

By the assumption that $\alpha_0 = \frac{\tau}{4}$, our hypotheses of this proposition imply that $-2\alpha_0 + \beta_0 +\frac{1}{2} < 0$. Since $\beta_0- \frac{\tau}{2} + \frac{1}{2} 
= -2(\alpha_0 - \frac{\tau}{4}) + \beta_0 - \frac{\tau}{2}+ \frac{1}{2}
= -2 \alpha_0 + \beta_0 + \frac{1}{2}$, we now have that $2\beta_0 - \tau + 1 < 0$. Therefore $$d_+[f(0,k;q)] = (2\beta_0 - \tau +1)k-\frac{n}{2} + \gamma_0$$ is monotonically decreasing with respect to $k$ for $0 \le k \le n$. Thus $\displaystyle \max_{0 \le k \le n}d_+[f(0,k;q)] $ is uniquely realized at $k=0$. Hence $$\begin{aligned}
\label{eqn:a0small2_omega>0}
d_+[ \sum_{j,k=0}^n f(j,k;q)]
&=d_+[ \sum_{k=0}^n f(0,k;q)]\\
&= d_+[f(0,0;q)] \nonumber \\
&= -\frac{n}{2} + \gamma_0. \nonumber\end{aligned}$$

Finally we determine the maximum degree of $J'_{W_{\omega}^{\tau}(K), n}(q)$ via $$d_+[J'_{W_{\omega}^{\tau}(K), n}(q)] = d_+[\sum_{j, k=0}^n f(j,k;q)] -  \frac{n}{2}$$ using equation (\[normalizeddegreesum\]). By equations (\[eqn:a0big\_omega&gt;0\]), (\[eqn:a0small\_omega&gt;0\]), and (\[eqn:a0small2\_omega&gt;0\]) we have $$\delta'_{W_{\omega}^{\tau}(K)}(n) = 
\begin{cases}
(4\alpha_0- \tau) n^2+(2\beta_0- \tau) n + \gamma_0 &(\alpha_0 > \frac{\tau}{4}) \\
-n + \gamma_0 & (\alpha_0 < \frac{\tau}{4})\\
-n + \gamma_0 & (\alpha_0 = \frac{\tau}{4}, -2\alpha_0 + \beta_0 +\frac{1}{2} \neq 0).
\end{cases}$$ Notice that only equation (\[eqn:a0big\_omega&gt;0\]) requires that $n$ be suitably large. Equations (\[eqn:a0small\_omega&gt;0\]) and (\[eqn:a0small2\_omega&gt;0\]) hold for all $n \geq 0$.

\[maxdeg\_J’\_omega&lt;0\] Let $K$ be a knot in $S^3$ and $d_+[J'_{K,n}(q)]$ is the quadratic quasi-polynomial $\delta'_K(n)=\alpha(n) n^2 +\beta(n) n+\gamma(n)$ for all $n \ge 0$. We put $\alpha_0:=\alpha (0)$, $\beta_0:=\beta (0)$, and $\gamma_0:=\gamma (0)$. We assume that the period of $d_+[J'_{K,n}(q)]=\delta'_K(n)$ is less than or equal to $2$ and that $-2\alpha_0+\beta_0+\frac 1 2 \le 0$. Assume further that if $-2\alpha_0+\beta_0+\frac{1}{2} = 0$, then $\tau \ne 4 \alpha_0$. Then, for suitably large $n$, the maximum degree of the normalized colored Jones polynomial of its $\tau$–twisted $\omega$–generalized Whitehead double with $\omega<0$ is given by $$\label{tgWmax_omega<0}
\delta'_{W_{\omega}^{\tau}(K)}(n)=
\begin{cases}
(4\alpha_0- \tau-\omega-\frac{1}{2}) n^2+(2\beta_0- \tau -\omega + \frac{1}{2})n+\gamma_0 &(\alpha_0 > \frac{\tau}{4}+\frac{1}{8}) \\
- \omega n^2 - \omega n  + \gamma_0 & (\alpha_0 < \frac{\tau}{4}+\frac{1}{8})\\
- \omega n^2 -  \omega n  + \gamma_0 & (\alpha_0 = \frac{\tau}{4}+\frac{1}{8}, -2\alpha_0 + \beta_0 +\frac{1}{2} \neq 0).
\end{cases}$$ In fact, if either $\alpha_0 < \frac{\tau}{4}+\frac{1}{8}$ or $\alpha_0 = \frac{\tau}{4}+\frac{1}{8}$ with $-2\alpha_0+\beta_0+\frac{1}{2} \ne 0$, then $d_+[J'_{W_{\omega}^{\tau}(K),n}(q)] =  \delta'_{W_{\omega}^{\tau}(K)}(n)$ for all $n \geq 0$.

In light of , to determine the maximum degree of $J'_{W_{\omega}^{\tau}(K), n}(q)$, we need to understand the maximum degrees of the functions $f(j,k;q)$ for $0\leq j,k \leq n$.

Since the period of $d_+[J'_{K,n}(q)]=\delta'_K(n)$ is less than or equal to $2$, it follows that $\alpha(2k)=\alpha_0$, $\beta(2k)=\beta_0$, and $\gamma (2k)=\gamma_0$ and so $$\label{pdegK_omega<0}
d_+[J'_{K,2k}(q)]=\alpha(2k)(2k)^2+\beta(2k)2k+\gamma(2k)
=4\alpha_0 k^2+2\beta_0 k+\gamma_0$$ for all $k\geq 0$.

Due to (\[deg6j\]) the argument splits into two cases.

**Case $1$. $j+k \le n$.**

Applying the equalities (\[deg2j/nn2j\]) and (\[deg6j\]) to (\[fsummand\]), we see that $$\begin{aligned}
d_+[f(j,k;q)]
&= (-\frac n 2+\frac j 2) + (-\frac n 2 + \frac k 2) + \frac 1 2 (j+k+n) \\
& \qquad\qquad\qquad -\omega j(j+1) -\tau k(k+1) + d_+[J'_{K,2k}(q)]\\
&= - \omega j^2-( \omega-1) j -\tau k^2 - (\tau-1) k -\frac{n}{2}+d_+[J'_{K,2k}(q)]\\
& = -\omega\left(j + \frac{\omega - 1}{2\omega}\right)^2 + \omega\left(\frac{\omega -1}{2\omega}\right)^2 - \tau k^2 - (\tau -1)k - \frac{n}{2}+d_+[J'_{K,2k}(q)].\end{aligned}$$ Since $\frac{\omega-1}{2\omega} \ge 0$, this is maximized uniquely at $j=n-k$ for a fixed $k$. Thus, this case is included in the next case.

**Case $2$. $j+k \ge n$.**

Applying the equalities (\[deg2j/nn2j\]) and (\[deg6j\]) to (\[fsummand\]), we see that $$\begin{aligned}
d_+[f(j,k;q)]
&= (-\frac n 2+\frac j 2) + (-\frac n 2 + \frac k 2) + \frac 1 2 (-j^2-2jk-k^2+2n+2jn+2kn-n^2) \\
& \qquad\qquad\qquad\qquad -\omega j(j+1) -\tau k(k+1) + d_+[J'_{K,2k}(q)]\\
&= -\frac{2 \omega+1}{2} j^2+(n-k- \omega+\frac 1 2)j \\
&\qquad\qquad\qquad\qquad +(- \tau -\frac 1 2) k^2+( \frac 1 2+n- \tau) k-\frac {n^2} 2+d_+[J'_{K, 2k}(q)] \\
&= 
-\left(\frac{2 \omega+1}{2} \right)\left(j-\frac{n-k- \omega+\frac{1}{2}}{2 \omega +1}\right)^2 + \frac{(n-k- \omega+\frac{1}{2})^2}{2(2\omega+1)}\\
& \qquad\qquad\qquad\qquad
+(- \tau -\frac 1 2) k^2+( \frac 1 2+n- \tau) k-\frac {n^2} 2+d_+[J'_{K, 2k}(q)]. \end{aligned}$$ Since $\frac{n-k- \omega+\frac{1}{2}}{2 \omega +1}<0\leq n-k$ and $j\geq n-k$, this is maximized at $j=n$ for a fixed $k$. Thus, $$\begin{aligned}
\max_{0\le j \le n-k}d_+[f(j,k;q)] 
& = d_+[f(n,k;q)] \\
&= -(\tau+\frac{1}{2})k^2 - (\tau - \frac{1}{2})k - \omega n^2 - (\omega-\frac{1}{2})n+ d_+[J'_{K,2k}(q)] \\
& =   -(\tau+\frac{1}{2})k^2 - (\tau - \frac{1}{2})k - \omega n^2 - (\omega-\frac{1}{2})n+ 4\alpha_0 k^2 + 2\beta_0 k + \gamma_0 \\
& =  (4\alpha_0-\tau-\frac{1}{2})k^2 + (2\beta_0-\tau + \frac{1}{2})k - \omega n^2 - (\omega-\frac{1}{2})n  + \gamma_0\end{aligned}$$ since we are assuming $d_+[J'_{K,2k}(q)] = \delta'_K(2k)$.

We now consider the three cases of when $\alpha_0 > \frac{\tau}{4} + \frac{1}{8}$, $\alpha_0 < \frac{\tau}{4}+ \frac{1}{8}$, or $\alpha_0 = \frac{\tau}{4}+ \frac{1}{8}$. First note that when $\alpha_0 \ne \frac{\tau}{4}+ \frac{1}{8}$, we may write $$\label{eqn:d+bigk_omega<0}
d_+[f(n,k;q)] =
(4\alpha_0-\tau-\frac{1}{2}) \left(k+\frac {2\beta_0-\tau + \frac{1}{2}}{2(4\alpha_0-\tau-\frac{1}{2})} \right)^2
- \frac {(2\beta_0-\tau + \frac{1}{2})^2}{2 (4\alpha_0-\tau-\frac{1}{2})}
- \omega n^2 - (\omega-\frac{1}{2})n  + \gamma_0$$ for $n\geq k\geq 0$. Therefore, for $k >  -\frac {2\beta_0-\tau + \frac{1}{2}}{2(4\alpha_0-\tau-\frac{1}{2})}$, we see that $d_+[f(n,k;q)]$ is monotonically increasing or decreasing depending on whether $4\alpha_0-\tau-\frac{1}{2}$ is positive or negative respectively.

**Case $2.1$. $\alpha_0 > \frac{\tau}{4}+ \frac{1}{8}$.**

Note that $-\frac {2\beta_0-\tau + \frac{1}{2}}{2(4\alpha_0-\tau-\frac{1}{2})} < \frac n 2 $ for sufficiently large $n\geq 0$. Hence equation (\[eqn:d+bigk\_omega&lt;0\]) shows that $d_+[f(n,k;q)]$ is monotonically increasing with respect to $k$ for $k  > -\frac {2\beta_0-\tau + \frac{1}{2}}{2(4\alpha_0-\tau-\frac{1}{2})} $ when $n$ is sufficiently large. Therefore, for sufficiently large $n$, $\displaystyle \max_{0 \le k \le n} d_+[f(n,k;q)]$ is uniquely realized at $k = n$. Hence $$\begin{aligned}
\label{eqn:a0big_omega<0}
d_+[ \sum_{j,k=0}^n f(j,k;q)]
&=d_+[ \sum_{k=0}^n f(n,k;q)]\\
&=d_+[f(n,n;q)] \nonumber \\
&=(4\alpha_0- \tau-\omega-\frac{1}{2}) n^2+(2\beta_0- \tau -\omega + 1)n+\gamma_0 \nonumber\end{aligned}$$ for sufficiently large $n$.

**Case $2.2$. $\alpha_0 < \frac{\tau}{4}+\frac{1}{8}$.**

Since $0 \ge -2\alpha_0+\beta_0+\frac{1}{2}
=-2(\alpha_0-\frac{\tau}{4}-\frac{1}{8})+\beta_0-\frac{\tau}{2}-\frac{1}{4}+\frac{1}{2}$ by hypothesis, then we have $2\beta_0 - \tau + \frac{1}{2} < 0$. Therefore, since $\alpha_0 <\frac{\tau}{4}+\frac{1}{8}$ by assumption so that $\frac {2\beta_0-\tau + \frac{1}{2}}{2(4\alpha_0-\tau-\frac{1}{2})}> 0$, (\[eqn:d+bigk\_omega&lt;0\]) shows that $d_+[f(n,k;q)]$ is monotonically decreasing with respect to $k$ for $k  \ge 0$. Thus $ \displaystyle \max_{0 \le k \le n} d_+[f(n,k;q)]$ is uniquely realized at $k = 0$. Hence $$\begin{aligned}
\label{eqn:a0small_omega<0}
d_+[ \sum_{j,k=0}^n f(j,k;q)]
&=d_+[ \sum_{k=0}^n f(n,k;q)]\\
&= d_+[f(n,0;q)] \nonumber \\
&=  - \omega n^2 - (\omega-\frac{1}{2})n  + \gamma_0. \nonumber\end{aligned}$$

**Case $2.3$. $\alpha_0 = \frac{\tau}{4}-\frac{1}{8}$.**

By the assumption that $\alpha_0 = \frac{\tau}{4}-\frac{1}{8}$, our hypotheses of this proposition imply that $-2\alpha_0 + \beta_0 +\frac{1}{2} < 0$. Since $\beta_0- \frac{\tau}{2} + \frac{1}{4} 
= -2(\alpha_0 - \frac{\tau}{4}-\frac{1}{8}) + \beta_0 - \frac{\tau}{2}+ \frac{1}{2}
= -2 \alpha_0 + \beta_0 + \frac{1}{2}$, we now have that $2\beta_0 - \tau + \frac{1}{2} < 0$. Therefore $$d_+[f(n,k;q)] = (2\beta_0-\tau + \frac{1}{2})k - \omega n^2 - (\omega-\frac{1}{2})n  + \gamma_0$$ is monotonically decreasing with respect to $k$ for $0 \le k \le n$. Thus $\displaystyle \max_{0 \le k \le n}d_+[f(n,k;q)] $ is uniquely realized at $k=0$. Hence $$\begin{aligned}
\label{eqn:a0small2_omega<0}
d_+[ \sum_{j,k=0}^n f(j,k;q)]
&=d_+[ \sum_{k=0}^n f(n,k;q)]\\
&= d_+[f(n,0;q)] \nonumber \\
&=- \omega n^2 - (\omega-\frac{1}{2})n  + \gamma_0. \nonumber\end{aligned}$$

Finally we determine the maximum degree of $J'_{W_{\omega}^{\tau}(K), n}(q)$ via $$d_+[J'_{W_{\omega}^{\tau}(K), n}(q)] = d_+[\sum_{j, k=0}^n f(j,k;q)] -  \frac{n}{2}$$ using equation (\[normalizeddegreesum\]). By equations (\[eqn:a0big\_omega&lt;0\]), (\[eqn:a0small\_omega&lt;0\]), and (\[eqn:a0small2\_omega&lt;0\]) we have $$\delta'_{W_{\omega}^{\tau}(K)}(n) = 
\begin{cases}
(4\alpha_0- \tau-\omega-\frac{1}{2}) n^2+(2\beta_0- \tau -\omega + \frac{1}{2})n+\gamma_0 &(\alpha_0 > \frac{\tau}{4}+\frac{1}{8}) \\
- \omega n^2 - \omega n  + \gamma_0 & (\alpha_0 < \frac{\tau}{4}+\frac{1}{8})\\
- \omega n^2 -  \omega n  + \gamma_0 & (\alpha_0 = \frac{\tau}{4}+\frac{1}{8}, -2\alpha_0 + \beta_0 +\frac{1}{2} \neq 0).
\end{cases}$$ Notice that only equation (\[eqn:a0big\_omega&lt;0\]) requires that $n$ be suitably large. Equations (\[eqn:a0small\_omega&lt;0\]) and (\[eqn:a0small2\_omega&lt;0\]) hold for all $n \geq 0$.

\[maxdeg\_J’\_signcond\] Let $K$ be a knot in $S^3$ that satisfies the Normalized Sign Condition. Let $N'_K$ the smallest nonnegative integer such that $d_+[J'_{K,n}(q)]$ is a quadratic quasi-polynomial $\delta'_K(n)=\alpha(n) n^2 +\beta(n) n+\gamma(n)$ for $n \ge 2N'_K$. We put $\alpha_0:=\alpha (2N'_K)$, $\beta_0:=\beta (2N'_K)$, and $\gamma_0:=\gamma (2N'_K)$. We assume that the period of $\delta'_K(n)$ is less than or equal to $2$ and that $-2\alpha_0+\beta_0+\frac 1 2 \le 0$. Assume further that if $-2\alpha_0+\beta_0+\frac{1}{2} = 0$, then $\tau \ne 4 \alpha_0$. Then, for suitably large $n$, the maximum degree of the colored Jones polynomial of its $\tau$-twisted $\omega$-generalized Whitehead double with $\omega>0$ is given by $$\label{tgWmax_signcond}
\delta'_{W_{\omega}^{\tau}(K)}(n)=
\begin{cases}
(4\alpha_0- \tau) n^2 +(2\beta_0-\tau) n+\gamma_0 & (\alpha_0> \frac{\tau}{4}) \\
-n + C_+(K, \tau)  &  (\alpha_0 < \frac{\tau}{4}) \\
-n+ C_+(K, \tau) & (\alpha_0 = \frac{\tau}{4}, -2\alpha_0+\beta_0+\frac{1}{2} \ne 0)
\end{cases}$$ where $C_+(K, \tau)$ is a number that only depends on the knot $K$ and the number $\tau$.

Furthermore $W_{\omega}^{\tau}(K)$ satisfies the Normalized Sign Condition.

The proof below of Proposition \[maxdeg\_J’\_signcond\] is very similar to the proof of Proposition \[maxdeg\_J’\_omega&gt;0\]. The main difference is that Proposition \[maxdeg\_J’\_omega&gt;0\] assumes $N_K'=0$ but not the Sign Condition. Without assuming that $N'_K=0$, the behavior of $d_+[J'_{K,n}(q)]$ is uncontrolled for integers $n<2N_K'$. This uncontrolled behavior potentially leads to cancellations that complicate the calculation of $d_+[J'_{W_{\omega}^{\tau}(K),n}(q)]$, even for arbitrarily large $n$. Hence we introduce the Sign Condition on $J'_{K,n}(q)$ which prevents such problematic cancellations. This is used explicitly in Cases 2.2 and 2.3 below.

In light of , to determine the maximum degree of $J'_{W_{\omega}^{\tau}(K), n}(q)$, we need to understand the maximum degrees of the functions $f(j,k;q)$ for $0\leq j,k \leq n$.

Since the period of $\delta'_K(n)$ is less than or equal to $2$, it follows that $\alpha(2k)=\alpha_0$, $\beta(2k)=\beta_0$, and $\gamma (2k)=\gamma_0$ and so $$\label{pdegK_signcondition}
d_+[J'_{K,2k}(q)]=\alpha(2k)(2k)^2+\beta(2k)2k+\gamma(2k)
=4\alpha_0 k^2+2\beta_0 k+\gamma_0$$ for $k\geq N'_K$ (so that $2k \geq 2N'_K$).

Due to (\[deg6j\]) the argument splits into two cases.

**Case $1$. $j+k \ge n$.**

Applying the equalities (\[deg2j/nn2j\]) and (\[deg6j\]) to (\[fsummand\]), we see that $$\begin{aligned}
d_+[f(j,k;q)]
&= (-\frac n 2+\frac j 2) + (-\frac n 2 + \frac k 2) + \frac 1 2 (-j^2-2jk-k^2+2n+2jn+2kn-n^2) \\
& \qquad\qquad\qquad\qquad -\omega j(j+1) -\tau k(k+1) + d_+[J'_{K,2k}(q)]\\
&= -\frac{2 \omega+1}{2} j^2+(n-k- \omega+\frac 1 2)j \\
&\qquad\qquad\qquad\qquad +(- \tau -\frac 1 2) k^2+( \frac 1 2+n- \tau) k-\frac {n^2} 2+d_+[J'_{K, 2k}(q)] \\
&= 
-\left(\frac{2 \omega+1}{2} \right)\left(j-\frac{n-k- \omega+\frac{1}{2}}{2 \omega +1}\right)^2 + \frac{(n-k- \omega+\frac{1}{2})^2}{2(2\omega+1)}\\
& \qquad\qquad\qquad\qquad
+(- \tau -\frac 1 2) k^2+( \frac 1 2+n- \tau) k-\frac {n^2} 2+d_+[J'_{K, 2k}(q)]. \end{aligned}$$ Since $\frac{n-k- \omega+\frac{1}{2}}{2 \omega +1}<n-k$ and $j\geq n-k$, this is maximized at $j=n-k$ for a fixed $k$. Therefore this case is included in the next case.

**Case $2$. $j+k \le n$.**

Applying the equalities (\[deg2j/nn2j\]) and (\[deg6j\]) to (\[fsummand\]), we see that $$\begin{aligned}
d_+[f(j,k;q)]
&= (-\frac n 2+\frac j 2) + (-\frac n 2 + \frac k 2) + \frac 1 2 (j+k+n) \\
& \qquad\qquad\qquad -\omega j(j+1) -\tau k(k+1) + d_+[J'_{K,2k}(q)]\\
&= - \omega j^2-( \omega-1) j -\tau k^2 - (\tau-1) k -\frac{n}{2}+d_+[J'_{K,2k}(q)]\\
& = -\omega(j + \frac{\omega - 1}{2\omega})^2 + \omega(\frac{\omega -1}{2\omega})^2 - \tau k^2 - (\tau -1)k - \frac{n}{2}+d_+[J'_{K,2k}(q)].\end{aligned}$$ Since $\omega > 0$ so that $\omega-1 \ge 0 $, this is maximized uniquely at $j=0$ for a fixed $k$. Thus, $$\begin{aligned}
\max_{0\le j \le n-k}d_+[f(j,k;q)] 
& = d_+[f(0,k;q)] \\
&=  -\tau k^2-(\tau-1) k -\frac{n}{2} + d_+[J'_{K,2k}(q)] \end{aligned}$$ Furthermore, note that by (\[pdegK\_signcondition\]), this becomes $$\begin{aligned}
\label{signcond.j=0}
d_+[f(0,k;q)] & =  -\tau k^2-(\tau-1) k -\frac{n}{2} + 4\alpha_0 k^2 + 2\beta_0 k + \gamma_0 \\
 & = (4\alpha_0- \tau)k^2 + (2\beta_0 - \tau +1)k-\frac{n}{2} + \gamma_0 \nonumber\end{aligned}$$ for $k \geq {N'}_K$.

We now consider the three cases of when $\alpha_0 > \frac{\tau}{4}$, $\alpha_0 < \frac{\tau}{4}$, or $\alpha_0 = \frac{\tau}{4}$. First note that when $\alpha_0 \ne \frac{\tau}{4}$, we may write $$\label{eqn:d+bigk_signcondition}
  d_+[f(0,k;q)] =(4\alpha_0- \tau) \left(k+\frac {2\beta_0- \tau +1}{2(4\alpha_0-\tau)} \right)^2
                  - \frac {(2\beta_0- \tau +1 )^2}{4(4\alpha_0- \tau)}-\frac n 2+\gamma_0$$ for $n\geq k\geq N'_K$. Therefore, for $k >  -\frac {2\beta_0- \tau +1}{2(4\alpha_0-\tau)}$ and $k \geq N'_K$, we see that $d_+[f(0,k;q)]$ is monotonically increasing or decreasing depending on whether $4\alpha_0- \tau$ is positive or negative respectively.

In the cases $\alpha_0 < \frac{\tau}{4}$ and $\alpha_0 = \frac{\tau}{4}$, as well as in the proof that $J'_{W_{\omega}^{\tau}(K),n}(q)$ satisfies the Normalized Sign Condition, we will need the following claim.

\[claimsigncond\] Both the denominator and the sign of the leading term of the numerator of the rational function $f(0,k;q)$ are independent of $k\geq0$.

First observe that $$\begin{aligned}
\label{f0ksummand}
f(0,k;q)  &=  
\frac{\langle 0\rangle}{\langle n,n,0 \rangle}\frac{\langle 2k \rangle}{\langle n,n,2k \rangle} \left\langle \begin{array}{ccc} n & n & 0 \\ n & n & 2k \end{array}\right\rangle 
q^{-\tau k(k+1)} J'_{K,2k}(q)\\
&= \frac{1}{\langle n \rangle}[2k+1] q^{-\tau k (k+1)} J'_{K,2k}(q)\\
&= \frac{1}{(-1)^n [n+1]}[2k+1] q^{-\tau k (k+1)} J'_{K,2k}(q)\end{aligned}$$ has numerator $[2k+1] q^{-\tau k (k+1)} J'_{K,2k}(q)$ and denominator $(-1)^n [n+1]$ that are polynomials in ${\mathbb Q}[q^{\pm1/4}]$. So the denominator is independent of $k$. Since $K$ satisfies the Normalized Sign Condition by assumption, the sign of the leading term of the polynomial $J'_{K,2k}(q)$ is independent of $k$. Because the leading term of $[2k+1] q^{-\tau k (k+1)}$ is $1$, the sign of the leading term of the numerator $[2k+1] q^{-\tau k (k+1)} J'_{K,2k}(q)$ is also independent of $k$.

**Case $2.1$. $\alpha_0 > \frac{\tau}{4}$.**

Note that $-\frac {2\beta_0-\tau+1}{2(4\alpha_0- \tau)} < \frac n 2 $ for sufficiently large $n\geq N'_K$. Hence equation (\[eqn:d+bigk\_signcondition\]) shows that $d_+[f(0,k;q)]$ is monotonically increasing with respect to $k$ for $k  > -\frac {2\beta_0-\tau+1}{2(4\alpha_0- \tau)}$ and $k>N'_K$ when $n$ is sufficiently large. Therefore, for sufficiently large $n$, $\displaystyle \max_{N'_K \le k \le n} d_+[f(0,k;q)]$ is uniquely realized at $k = n$. Moreover, since $d_+[f(0,n;q)]$ increases with $n$ to $\infty$ once $n$ is sufficiently large, it follows that $$\max_{0 \le k \le N'_K} d_+[f(0,k;q)] < d_+[f(0,n;q)]$$ for suitably large $n$. Therefore we have $$\label{eqn:a0big_signcond}
  \max_{0\le k\le n} d_+[f(0,k;q)]=d_+[f(0,n;q)]=(4\alpha_0- \tau) n^2+(2\beta_0- \tau + \frac 1 2)n+\gamma_0$$ for suitably large $n$.

**Case $2.2$. $\alpha_0 < \frac{\tau}{4}$.**

Since $0 \ge -2\alpha_0+\beta_0+\frac{1}{2}
=-2(\alpha_0-\frac{\tau}{4})+\beta_0-\frac{\tau}{2}+\frac{1}{2}$ by assumption, then we have $2\beta_0 - \tau + 1 < 0$. Therefore, if $\alpha_0 <\frac{\tau}{4}$, so that $\frac {2\beta_0- \tau+1}{2(4\alpha_0- \tau)} > 0$, (\[eqn:d+bigk\_signcondition\]) shows that $d_+[f(0,k;q)]$ is monotonically decreasing with respect to $k$ for $N'_K \leq k \leq n$ when $n \geq N'_K$. Thus, assuming $n \geq N'_K$, $ \displaystyle \max_{N'_K \le k \le n} d_+[f(0,k;q)]$ is uniquely realized at $k = N'_k$.

On the other hand, $\displaystyle \max_{0\le k \le N'_K} d_+[f(0,k;q)]$ may be realized at multiple values of $k$. This could potentially lead to cancellations among terms of maximum degree in the sum $\displaystyle \sum_{k=0}^n f(0,k;q)$. Since by Claim \[claimsigncond\] each term $f(0,k;q)$ is a rational function with the same denominator, any cancellations will be among the numerators. However Claim \[claimsigncond\] also shows the leading terms of the numerators of the terms $f(0,k;q)$ all have the same sign; hence there can be no cancellations. Thus there are no cancellations among terms of maximal degree in the sum $\displaystyle \sum_{k=0}^n f(0,k;q)$.

Consequently, there exists a smallest $k_0$ with $0 \le k_0 \le n$ such that $d_+[f(0,k_0;q)]$ gives the maximum degree of the sum $\displaystyle \sum_{k=0}^n f(0,k;q)$. In particular, since $\displaystyle \max_{N'_K \le k \le n} d_+[f(0,k;q)]$ is uniquely realized at $k = N'_K$ whenever $n \geq N'_K$, we know $0 \leq k_0 \leq N'_K$. Hence, $$\begin{aligned}
d_+[ \sum_{j,k=0}^n f(j,k;q)]
&=d_+[ \sum_{k=0}^n f(0,k;q)]\\
&= d_+[f(0,k_0;q)]  \\
&=-\tau k_0^2-(\tau-1) k_0 -\frac{n}{2} + d_+[J'_{K, 2k_0}(q)].  \end{aligned}$$ Furthermore when $n\geq N'_K$, the value of $k_0$ is fixed so that $$C_+(K, \tau)=-\tau k_0^2-(\tau-1) k_0 + d_+[J'_{K, 2k_0}(q)],$$ is a constant that only depends on the knot $K$ and the number $\tau$, and we may write $$\label{eqn:a0small_signcondition}
d_+[ \sum_{j,k=0}^n f(j,k;q)] = C_+(K,\tau) -\frac{n}{2}.$$

**Case $2.3$. $\alpha_0 = \frac{\tau}{4}$.**

By the assumption that $\alpha_0 = \frac{\tau}{4}$, our hypotheses of this proposition imply that $-2\alpha_0 + \beta_0 +\frac{1}{2} < 0$. Since $\beta_0- \frac{\tau}{2} + \frac{1}{2} 
= -2(\alpha_0 - \frac{\tau}{4}) + \beta_0 - \frac{\tau}{2}+ \frac{1}{2}
= -2 \alpha_0 + \beta_0 + \frac{1}{2}$, we now have that $2\beta_0 - \tau + 1 < 0$. Therefore, $$d_+[f(0,k;q)] = (2\beta_0 - \tau +1)k-\frac{n}{2} + \gamma_0$$ is monotonically decreasing with respect to $k$ for $N'_K \le k \le n$ when $n \geq N'_K$. Thus, assuming $n \geq N'_K$, $\displaystyle \max_{N'_K \le k \le n}d_+[f(0,k;q)] $ is uniquely realized at $k=N'_K$.

As in Case 2.2, $\displaystyle \max_{0 \le k \le N'_K}d_+[f(0,k;q)]$ may be realized at multiple values of $k$, potentially leading to cancellations among terms of maximum degree in the sum $\displaystyle \sum_{k=0}^n f(0,k;q)$. However, as discussed in Case 2.2, Claim \[claimsigncond\] implies there can be no such cancellations.

The remainder of this case follows Case 2.2 verbatim to show that for $n \geq N'_k$ $$\label{eqn:a0small2_signcondition} 
d_+[ \sum_{j,k=0}^n f(j,k;q)] = C_+(K,\tau) -\frac{n}{2}.$$

With these cases complete, we determine the maximum degree of $J'_{W_{\omega}^{\tau}(K), n}(q)$ via $$d_+[J'_{W_{\omega}^{\tau}(K), n}(q)] = d_+[\sum_{j, k=0}^n f(j,k;q)] -  \frac{n}{2}$$ using equation (\[normalizeddegreesum\]). Therefore, by equations (\[eqn:a0big\_signcond\]), (\[eqn:a0small\_signcondition\]), and (\[eqn:a0small2\_signcondition\]) we have for suitably large $n \geq N'_k$ $$d_+[J'_{W_{\omega}^{\tau}(K), n}(q)]  = \delta'_{W_{\omega}^{\tau}(K)}(n) = 
\begin{cases}
(4\alpha_0- \tau) n^2+(2\beta_0- \tau) n + \gamma_0 &(\alpha_0 > \frac{\tau}{4}) \\
-n + C_+(K,\tau) & (\alpha_0 < \frac{\tau}{4})\\
-n + C_+(K,\tau)  & (\alpha_0 = \frac{\tau}{4}, -2\alpha_0 + \beta_0 +\frac{1}{2} \neq 0).
\end{cases}$$

Finally we show that $W_{\omega}^{\tau}(K)$ satisfies the Normalized Sign Condition. Given a polynomial $f \in {\mathbb Q}[q^{\pm 1/4}]$, let $\ell_+[f]$ be the coefficient of the term of highest degree. Since $\ell_+[\langle n \rangle^2] = 1$ and $$\langle n \rangle^2 J'_{W_{\omega}^{\tau}(K), n}(q) = \langle n \rangle \sum_{j,k=0}^n f(j,k;q) = \sum_{j,k=0}^n  \langle n \rangle f(j,k;q),$$ we have that $$\ell_+[  J'_{W_{\omega}^{\tau}(K), n}(q) ] = \ell_+\left[ \langle n \rangle^2 J'_{W_{\omega}^{\tau}(K), n}(q) \right] = \ell_+\left[ \sum_{j,k=0}^n  \langle n \rangle f(j,k;q)\right].$$ Next, note that $$d_+[\langle n \rangle J'_{W_{\omega}^{\tau}(K), n}(q)] = d_+\left[\sum_{k=0}^n \langle n \rangle f(0,k;q)\right]
= d_+[\sum_{k_0 \in \mathcal{M}_n} \langle n \rangle f(0,k_0;q)]$$ where $$\mathcal{M}_n = \left\{k_0  : 0 \leq k_0 \leq n, d_+[\langle n \rangle f(0,k_0;q)] = d_+\left[\sum_{k=0}^n \langle n \rangle f(0,k;q)\right]\right\}$$ is a non-empty set due to Claim \[claimsigncond\]. Then it follows that $$\begin{aligned}
 \ell_+[ J'_{W_{\omega}^{\tau}(K), n}(q) ]  &= \ell_+\left[ \sum_{k_0 \in \mathcal{M}_n}  \langle n \rangle f(0,k_0;q)\right] \\
 &= \sum_{k_0 \in \mathcal{M}_n} \ell_+[\langle n \rangle f(0,k_0;q)] \\
 &= \sum_{k_0 \in \mathcal{M}_n} \ell_+[(q^{k_0} + \dots + q^{-k_0}) q^{-\tau k_0(k_0+1)}J'_{K,2k_0}(q)] \\
 &= \sum_{k_0 \in \mathcal{M}_n} \ell_+[J'_{K,2k_0}(q)].
 \end{aligned}$$ By the Normalized Sign Condition for $K$, the sign $\varepsilon'_{2k_0}(K)$ of $\ell_+[J'_{K,2k_0}(q)]$ is the same as the sign $\varepsilon'_{0}(K)$ for every $k_0\in \mathcal{M}_n$ across every $n$. Hence their sum always has this sign too. Thus the sign $\varepsilon'_n(W_{\omega}^{\tau}(K))$ of $\ell_+[ J'_{W_{\omega}^{\tau}(K), n}(q) ]$ equals the sign $\varepsilon'_{0}(K)$ for all $n$ as claimed.

\[b=0\] In Propositions \[maxdeg-signcond\] and \[maxdeg\_KT\_Wmt-allw\], for technical reason, if $b_1 = 0$, then we assume that $a_1 \ne \frac{\tau}{4}$. When $b_1 = 0$, it is conjectured that $K$ is cabled [@KT Conjecture 5.1]. For example, if $K$ is an $(a, b)$-torus knot $T_{a, b}$, then we may have $\delta_{T_{a, b}}(n)$ with $4a_1 = ab$ and $b_1 = 0$ [@Garoufalidis].

We close this section by computing $\delta_{W_{\omega}^{ab}(T_{a, b})}(n)$.

\[ab-twisted-ab-torus\] Let $a$ and $b$ be integers with $a>b>1$. Then the maximum degree of the colored Jones polynomial ${J}_{W_{\omega}^{ab}(K),n}(q)$ of $ab$-twisted $\omega$-generalized Whitehead double of $K=T_{a.b}$ is given by $-\frac{1}{2}n + \frac{1}{2}$.

The colored Jones polynomial of $K = T_{a, b}$ is explicitly computed in [@Mor]: $$J'_{K,n}(q)=\frac {q^{\frac 1 4 abn(n+2)}}{q^{\frac {n+1}2}-q^{-\frac {n+1}2}}
  \sum_{k=-\frac n 2}^{\frac n 2} 
    (q^{-abk^2+(a-b)k+\frac 1 2}-q^{-abk^2+(a+b)k-\frac 1 2}).$$ We note that if $n$ is even, then $k$ is an integer in the summand. We define the functions $f_\pm (\ell)$ on ${\mathbb Z}$ by $$f_{\pm}(\ell):=-ab \ell^2+(a\mp b)\ell \pm \frac 1 2.$$ Since $$f_{\pm}(\ell)=-ab(\ell- \frac {a\mp b}{2ab})^2+\frac {(a\mp b)^2}{4ab}\pm \frac 1 2$$ and $0<\frac {a\mp b}{2ab}<\frac 1 2$, $f_\pm (\ell)$ is maximized at $\ell=0$ and $f_- (0)<f_+ (0)=\frac 1 2$. Hence the maximum degree of $J'_{K,n}(q)$ for even $n$ is calculated by $$\frac 1 4 abn(n+2)-\frac {n+1} 2+\frac 1 2= \frac {ab} 4 n^2+\frac {ab-1} 2 n,$$ and the term of the maximum degree is $q^{\frac {ab} 4 n^2+\frac {ab-1} 2 n}$. Therefore, the term of the maximum degree of $J'_{K,2k}(q) $ is given by $$\label{ab-maxterm}
 q^{ab k^2+(ab-1)k}.$$

Recall from (\[fsummand\]) that $$f(j,k;q)  =  
\frac{\langle 2j \rangle}{\langle n,n,2j \rangle}\frac{\langle 2k \rangle}{\langle n,n,2k \rangle} \left\langle \begin{array}{ccc} n & n & 2j \\ n & n & 2k \end{array}\right\rangle 
q^{-\omega j(j+1) -ab k(k+1)} J'_{K,2k}(q),$$ and then by Proposition \[prop:equationsplitting\] we have $$\langle n \rangle J'_{W_{\omega}^{ab}(K), n}(q) =\sum_{j,k=0}^n f(j,k;q).$$ From the proof of Proposition \[maxdeg\_J’\_omega&gt;0\], we have that $d_+[f(j,k;q)]$ is maximized uniquely at $j=0$ for a fixed $k$. Moreover, Since we have that $\langle n,n,0 \rangle = \langle n\rangle$ and $
\left\langle \begin{array}{ccc} n & n & 0 \\ n & n & 2k \end{array}\right\rangle 
=\langle n,n,2k\rangle,
$ we calculate $$\begin{aligned}
 f(0,k;q) & =  & \frac 1 {\langle n\rangle}
 \frac{\langle 2k\rangle}{\langle n,n,2k \rangle} \left\langle \begin{array}{ccc} n & n & 0 \\ n & n & 2k \end{array}\right\rangle 
q^{ -ab k(k+1)} J'_{K,2k}(q)\\
&= & \frac 1 {\langle n\rangle} \langle 2k\rangle q^{ -ab k(k+1)} J'_{K,2k}(q). \end{aligned}$$ From (\[ab-maxterm\]), the term of the maximum degree of $f(0,k;q)$ is calculated as $$(-1)^n q^{-\frac n 2} q^k q^{-ab k(k+1)} q^{abk^2+(ab-1)k}=(-1)^n q^{-\frac n 2}.$$ Hence the term of the maximum degree of ${J'}_{W_{\omega}^{ab}(K),n}(q)$ is given by $$(-1)^n q^{-\frac n 2} \sum_{k=0}^n (-1)^n q^{-\frac n 2}=(n+1) q^{-n}.$$

Hence ${\delta'}_{W_{\omega}^{ab}(K)}(n) = -n$. Apply the transformation given in the proof of Propositions \[maxdeg-signcond\] and \[maxdeg\_KT\_Wmt-allw\] (after Definition \[sign’\]), we have $$\delta_{W_{\omega}^{ab}(K)}(n) = \delta'_{W_{\omega}^{ab}(K)}(n-1)+\frac {1}{2} n-\frac{1}{2} = -\frac{1}{2}n + \frac{1}{2}.$$

Computations of slopes and Euler characteristics for generalized Whitehead doubles {#essential_surfaces}
==================================================================================

Exteriors of twisted, generalized Whitehead doubles and those of two-bridge links {#exterior}
---------------------------------------------------------------------------------

We start with a $2$–bridge link $k_1 \cup k_2$, which is expressed as $[2, 2\omega, -2]$ with $\omega \ge 1$ depicted in Figure \[fig:2\_2m\_-2\] below. Then $k_2$ lies in an unknotted solid torus $V = S^3 - \mathrm{int}N(k_1)$. Let us perform $\tau$ twist along $k_1$ to obtain a knot $k_{\omega}^{\tau}$ ($\tau \in \mathbb{Z}$), which is embedded in $V$. Note that $k_1 \cup k_{\omega}^{\tau}$ does not form a $2$–bridge link in general, but its exterior is orientation preservingly homeomorphic to the exterior of the $2$–bridge link $k_1 \cup k_2$. If $(\omega, \tau) = (1, 0)$, then $k_1 \cup k_1^0$ is the negative Whitehead link.

Let us take preferred meridian-longitude pairs $(\mu_1, \lambda_1)$, $(\mu, \lambda)$ of $k_1$, $k_{\omega}^{\tau}$, respectively. Then take an orientation preserving embedding $f : V \to S^3$ which sends the core of $V$ to a knot $K$ and $f(\mu_1) = \lambda_K$ and $f(\lambda_1) = \mu_K$, where $(\mu_K, \lambda_K)$ is a preferred meridian-longitude pair of $K$. The image $f(k_{\omega}^{\tau})$ is $W_{\omega}^{\tau}(K)$, a $\tau$–twisted, $\omega$–generalized Whitehead double of $K$.

![$k_1 \cup k_2$ is a two bridge link $[2, 2\omega, -2] = \mathcal{L}_{\frac{4\omega-1}{8\omega}}$.[]{data-label="fig:2_2m_-2"}](2_2m_-2.eps){width="0.6\linewidth"}

This observation shows that the exterior of $W_{\omega}^{\tau}(K)$ is the union of the exterior $E(K)$ and $V - \mathrm{int}N(k_2)$; the latter is the exterior of the two-bridge link $k_1 \cup k_2$, which is expressed as $[2, 2\omega, -2]$.

Since $k_2 = k_{\omega}^{\tau}$ has winding number $0$ in $V$, and is therefore null-homologous in $V$, we have:

\[twist\] Let $F$ be an essential surface in $V - \mathrm{int}N(k_2) = V - \mathrm{int}N(k_\omega^0)$ such that $F \cap \partial V$ has slope $r_V$ and $F \cap \partial N(k_2)$ has slope $r$. Apply $\tau$ twist to obtain $k_{\omega}^{\tau}$ and an essential surface $F_{\tau}$, the image of $F$, in $ V - \mathrm{int}N(k_{\omega}^{\tau})$. Then $F_{\tau} \cap \partial V$ has slope $r_V + \tau$ and $F \cap \partial N(k_\omega^{\tau})$ has slope $r$.

In the following subsections \[sec:two-bridge\_link\]–\[sec:genaralizedwhiteheadalgorithm\], we will investigate essential surfaces in the exterior $E(k_1 \cup k_2)$ of a two-bridge link $[2, \omega, -2]$ in details.

Essential surfaces in two-bridge link exteriors {#sec:two-bridge_link}
-----------------------------------------------

Here we extend the work in [@HS Section 5] to catalogue all the properly embedded essential surfaces in the exterior of the two-bridge link ${\mathcal L}_{(4\omega-1)/8\omega}$ for integers $\omega \neq 0$.

Hatcher-Thurston show how a certain collection of “minimal edge paths” in the Farey diagram from $1/0$ to $p/q$ are in correspondence with the properly embedded incompressible and ${\partial}$–incompressible surfaces with boundary in the exterior of the two bridge knot ${\mathcal L}_{p/q}$ [@HT]. Floyd-Hatcher extend this to two-bridge links of two components [@FH] from which Hoste-Shanahan discern the boundary slopes of such surfaces [@HS], building upon work of Lash [@Lash].

Here, for use with satellite constructions, we use the works of Floyd-Hatcher [@FH] and Hoste-Shanahan[@HS] to catalog all the properly embedded essential surfaces in the exterior of the $\omega$ generalized Whitehead link ${\mathcal L}_{(4\omega-1)/8\omega}$, their Euler characteristics, their boundary slopes, and number of boundary components; if $\omega > 0$, put $k = \omega$ to obtain ${\mathcal L}_{(4k-1)/8k}$ ($k \ge 1$) and if $\omega < 0$, then put $k = - \omega$ to obtain ${\mathcal L}_{(-4k-1)/ (-8k)} = {\mathcal L}_{(4k+1)/8k}$ ($k \ge 1$).

While [@FH] uses the continued fraction convention $[x_1, x_2, \dots, x_n] = 1/(x_1 + 1/(x_2 + \dots 1/x_n))$, [@HS] appears to use the convention $[x_0, x_1, x_2, \dots, x_n] = x_0 + 1/(x_1 + 1/(x_2 + \dots 1/x_n))$. To remain consistent with this notation and the depiction of ${\mathcal L}_{3/8}$ in [@HS Figure 1], the link ${\mathcal L}_{(4k-1)/8k}$ is actually obtained by $-1/k$ surgery on the middle circle of [@HS Figure 9] which produces $2k$ right-handed crossings.

We refer the reader to both the original paper [@FH] and Hoste-Shanahan’s recounting of it [@HS Section 2] for details on the Floyd-Hatcher algorithm. Here we briefly recall the algorithm and quickly work through the application of it for the Whitehead link ${\mathcal L}_{3/8}$ based on the more general treatment for the links ${\mathcal L}_{(4\omega-1)/8\omega}$ given in [@HS Section 5].

The Algorithm {#algorithm}
-------------

Figure \[fig:FareyDiagrams\] shows three diagrams. The diagram $D_1$ is the common Farey diagram. Pair adjacent triangles into quadrilaterals containing a diagonal so that a vertex is an endpoint of either all or none of the diagonals of the incident quadrilaterals. The diagram $D_0$ is obtained by switching the diagonal in each of the quadrilaterals. The diagram $D_t$ is obtained by replacing these diagonals with inscribed quadrilaterals. Actually, $D_t$ represents a parameterized family of diagrams for $t \in [0,\infty]$: with appropriate parameterizations of the edges of the quadrilaterals by $[0,1]$ the vertices of the inscribed quadrilaterals in $D_t$ are located at either $t$ or $1/t$. The diagrams $D_0=D_\infty$ and $D_1$ arise as limits where the inscribed quadrilaterals degenerate to diagonals. The edges of $D_1$ are labeled $A$ and $C$, the edges of $D_0=D_\infty$ are labeled $B$ and $D$, and these induce labels on $D_t$. Orientations are chosen on a basic set of edges in $D_t$ and passed to the rest of the edges of $D_t$ by the action of the Möbius transformations in which the ideal triangle with vertices $\{1/0,0/1,1/1\}$ is a fundamental domain. We omit the orientations in Figure \[fig:FareyDiagrams\]; see [@HS] for details.

![The diagrams $D_1$, $D_t$, and $D_0=D_\infty$, cf. [@HS Figures 3 and 4]. []{data-label="fig:FareyDiagrams"}](D0DtD1-noarrows.eps){width="\textwidth"}

For a two bridge link ${\mathcal L}_{p/q}$ (where $q$ is even), Floyd-Hatcher show that a properly embedded essential surface in the exterior of the link is carried by one of finitely many branched surfaces associated to “minimal edge paths” in $D_t$ from $1/0$ to $p/q$. A [*minimal edge path*]{} in $D_t$ is a consecutive sequence of edges of $D_t$ (ignoring their orientations) such that the boundary of any face of $D_t$ contains at most one edge of the path. Then for each minimal edge path, a branched surface is assembled from the sequence of edges by stacking four blocks of basic branched surface $\Sigma_A, \Sigma_B, \Sigma_C, \Sigma_D$ corresponding to the labels $A,B,C,D$ that are positioned according to the endpoints and orientation of its edge and whether $t< 1$ or $t> 1$. These blocks of basic branched surfaces are illustrated in Figure \[fig:branchtypes\] for $t>1$ (cf. [@HS Figure 2] and [@FH Figure 3.1]) and are weighted in terms of the parameters $\alpha>\beta>0$ where $t = \alpha/\beta$ and the extra integral parameter $n$ between $0$ and $\beta$ for $\Sigma_A$ or between $0$ and $\alpha-\beta$ for $\Sigma_D$. (This extra parameter $n$ allows for the construction of homeomorphic but non-isotopic surfaces with the same boundary slopes, see [@HS; @FH].) For $t<1$, the blocks are rotated $180^\circ$ corresponding to an exchange of the components of ${\mathcal L}_{p/q}$ and the parameters $\alpha$ and $\beta$ are swapped in the figure.

![The four basic weighted branched surfaces (reproduced from [@HS Figure 2], see also [@FH Figure 3.1]) along with the corresponding number of saddles for the carried surface, when $\alpha\geq \beta$. When $\alpha < \beta$, rotate the images $180^\circ$ and swap $\alpha$ and $\beta$.[]{data-label="fig:branchtypes"}](BasicBranchedSaddles.eps){width="5in"}

In this manner, every minimal edge path in $D_t$ for $t \in (0,1) \cup (1, \infty)$ produces a weighted branched surface, with weights in terms of the parameters $\alpha$ and $\beta$ such that $t=\alpha/\beta$ (along with auxiliary parameters for instances of the blocks $\Sigma_A$ and $\Sigma_D$). These minimal edge paths $\gamma$ in $D_t$ with their parameters $\alpha, \beta$ describe specific surfaces $F_{\gamma, \alpha, \beta}$ which may have multiple components and may be non-orientable. If it is non-orientable, then we may replace $F_{\gamma, \alpha, \beta}$ by the boundary of a tubular neighborhood (a twisted $I$–bundle over $F_{\gamma, \alpha, \beta}$), which is orientable and associated with parameters $2\alpha, 2\beta$; so the resulting orientable essential surface is associated with $F_{\gamma, 2\alpha, 2\beta}$. In the following we omit parameters $\alpha, \beta$ and assume that $F_{\gamma}$ is orientable, but it may have multiple components.

Taking the limits $t \to 0$ or $t \to \infty$ so that $\alpha=0$ or $\beta=0$ produces surfaces associated to minimal edges paths in $D_0 = D_\infty$. Taking the limits $t \to 1$ so that $\alpha = \beta$ also produces surfaces associated to minimal edge paths in $D_1$. However, since $\alpha-\beta=0$ in this case, the basic surface $\Sigma_A$ with its extra parameter $n$ may be used in place of $\Sigma_D$ to produce more surfaces.

Floyd and Hatcher [@FH] establish the following classification of essential surfaces in the exterior of two-bridge links.

\[FloydHatcher\] Let ${\mathcal L}_{p/q}$ be a two-bridge link (with $q$ even). The orientable incompressible and meridionally incompressible surfaces in $S^3 - {\mathcal{N}}({\mathcal L}_{p/q})$ without peripheral components are (up to isotopy) exactly the orientable surfaces carried by the collection of branched surfaces associated to minimal edge paths in $D_t$ from $1/0$ to $p/q$ for $t \in [0,\infty]$.

Let $S$ be a properly embedded surface in the exterior of a link $L$ in $S^3$. Then $S$ is [*meridionally incompressible*]{} if for any embedded disk $D$ in $S^3$ with $D \cap S = {\partial}D$ such that $L$ intersects $D$ transversally in a single interior point, there is an annulus embedded in $S$ whose boundary is ${\partial}D$ and a component of ${\partial}S$ that is a meridian of $L$. A component of $S$ is [*peripheral*]{} if it is isotopic through the exterior of $L$ into ${\partial}{\mathcal{N}}(L)$. If $S$ has a ${\partial}$–compressing disk, then either $L$ is a split link or the ${\partial}$-compressible component of $S$ is either compressible or peripheral. Hence the surfaces in Theorem \[FloydHatcher\] are also ${\partial}$–incompressible.

Euler characteristics of carried surfaces
-----------------------------------------

The Euler characteristic of a surface carried by one of these weighted branched surfaces associated to an edge path in $D_t$ may be calculated from the branch pattern associated to the edge path and the weights $\alpha$ and $\beta$.

Let $S$ be the surface carried by the weighted branched surface associated to an edge path $\gamma$ in $D_t$ where $t = \alpha/\beta$. If $\alpha \geq \beta$, then $$\chi(S) = (\alpha+\beta) - \sum s_i(\alpha,\beta)$$ where $s_i(\alpha,\beta)$ is the number of saddles of the surface carried by the basic branched surface associated to the label of the $i$th edge of $\gamma$ and weighted by $\alpha$ and $\beta$ as shown in Figure \[fig:branchtypes\]. If $\alpha<\beta$, exchange $\alpha$ and $\beta$.

As shown in Figure \[fig:branchtypes\], when $\alpha \geq \beta$, each basic weighted branched surface of type $\Sigma_A, \Sigma_B, \Sigma_C, \Sigma_D$ carries $\beta$, $\tfrac{\alpha-\beta}{2}$, $\beta$, $\alpha-\beta$ saddles respectively and a number of vertical disks that together meet each of the upper and lower levels in a total of $\alpha+\beta$ arcs. Since the weighted branched surfaces are assembled from a stack of copies of these basic weighted branched surfaces, the height function induces a Morse function on a carried surface $S$ whose singularities correspond to the saddles on the interior of the surface and the $\alpha+\beta$ half-maxima and $\alpha+\beta$ half-minima on the boundary of the surface at the extrema of the link. Hence $\chi(S)$ is calculated as $\alpha+\beta$ minus the total number of saddles. When $\alpha<\beta$, the blocks are rotated and $\alpha$ and $\beta$ are swapped.

Boundaries slopes and count of boundary components
--------------------------------------------------

Note that surfaces carried by these branched surfaces are given by non-negative integral weights $\alpha$ and $\beta$ (with the auxiliary integral parameters $n$ as needed), and these weights indicate the algebraic (and geometric) intersection numbers of the surface with the meridians $\mu_1, \mu_2$ of the two components of ${\mathcal L}_{p/q}$.

Hoste and Shanahan use a certain blackboard framing $\lambda_1, \lambda_2$ of the two components of ${\mathcal L}_{p/q}$ to further keep track of how the branched surfaces associated to minimal edge paths in $D_t$ intersect this framing. They then determine how to correct this framing to the canonical framings $\lambda_1^0, \lambda_2^0$ of the individual unknot components of the two-bridge link. From this, one then obtains the boundary slopes of the carried surfaces in terms of the canonical framings of the components.

Furthermore, by a calculation in the homology of a torus, the greatest common divisor ($\gcd$) of the algebraic intersection numbers of the boundary of a surface with the meridian and longitudinal framing of a component of ${\mathcal L}_{p/q}$ produces the number of boundary components of the surface meeting that component of ${\mathcal L}_{p/q}$.

Applying the Algorithm to the Whitehead Link– $2$–bridge link $[2, 2, -2]$ {#sec:whiteheadalgorithm}
--------------------------------------------------------------------------

As a warm-up example, in this subsection, we apply the algorithm to the Whitehead Link, which is the $2$–bridge link $[2, 2, -2]$. Figure \[fig:DtDiagram3-8\] shows the portions of the diagrams $D_0=D_\infty$, $D_t$, and $D_1$ that carry the minimal edge paths from $1/0$ to $3/8$. Table \[table:3/8paths\] lists these minimal edge paths with their names as given in each [@HS] and [@FH], the branch pattern of the induced branched surface (i.e. the sequence of edge labels), and the Euler characteristic of the carried surface corresponding to weights $\alpha\geq \beta$. Table \[table:3/8slopes\] lists for each of these paths the boundary slopes of the carried surfaces relative to the canonical meridian-longitude framings of the two unknot components of the two-bridge links and the count of the number of boundary components on each link component. These are also calculated from the given preliminary data of algebraic intersections of the boundary components with the meridians and blackboard framed longitudes and the boundary slopes in terms of the blackboard framing; refer to [@HS] for details. Note that for each of the paths $\gamma_i$, $i \in \{1,2,3,5,6\}$, when $\beta=0$ so that $\alpha/\beta=\infty$ the associated essential surface is disjoint from the 2nd link component. Table \[table:3/8slopes\] summarizes the relevant data. When $\alpha < \beta$ we may continue to use the two tables, but with $\alpha$ and $\beta$ swapped and with the two link components swapped.

![The diagrams $D_1$, $D_t$, and $D_0=D_\infty$ that carry the minimal edge paths from $\frac{1}{0}$ to $\frac{3}{8}$.[]{data-label="fig:DtDiagram3-8"}](DtDiagram3-8.eps){width="5in"}

[@M[20mm]{}M[35mm]{}M[25mm]{}M[20mm]{}@]{} HS path & path picture & branch pattern & $\chi$\
$\gamma_1$ & ![image](pic1-01.eps){width="1in"} & $ADAADA$ & $-\alpha - \beta$\
$\gamma_2$ & ![image](pic2-01.eps){width="1in"} & $ADAADA$ & $-\alpha - \beta$\
$\gamma_3$ & ![image](pic3-01.eps){width="1in"} & $ADAADA$ & $-\alpha - \beta$\
$\gamma_5$ & ![image](pic5-01.eps){width="1in"} & $ADCDA$ & $-\alpha$\
$\gamma_6$ & ![image](pic6-01.eps){width="1in"} & $ABBCBBA$ & $-\alpha$\

  ------------ --------------------------------------------------- ---------------------------------------------------------- --------------------------------------------------------- ----------------------------------------------
  HS           alg. int. with                                      slopes with                                                slopes with                                               number of
  path         $(\lambda_1, \mu_1, \lambda_2, \mu_2)$              blackboard framing                                         canonical framing                                         boundary components
  $\gamma_1$   $(\alpha+2 \beta, \alpha, 2\alpha+\beta, \beta)$    $(1+2 \tfrac{\beta}{\alpha}, 2\tfrac{\alpha}{\beta}+1)$    $(2 \tfrac{\beta}{\alpha}, 2\tfrac{\alpha}{\beta})$       $(\gcd(2\beta,\alpha), \gcd(2\alpha,\beta))$
  $\gamma_2$   $(\alpha, \alpha, \beta, \beta)$                    $(1,1)$                                                    $(0,0)$                                                   $(\alpha,\beta)$
  $\gamma_3$   $(\alpha, \alpha, \beta, \beta)$                    $(1,1)$                                                    $(0,0)$                                                   $(\alpha,\beta)$
  $\gamma_5$   $(\alpha-2 \beta, \alpha, -2\alpha-\beta, \beta)$   $(1-2 \tfrac{\beta}{\alpha}, -2\tfrac{\alpha}{\beta}-1)$   $(-2 \tfrac{\beta}{\alpha}, -2\tfrac{\alpha}{\beta}-2)$   $(\gcd(2\beta,\alpha), \gcd(2\alpha,\beta))$
  $\gamma_6$   $(-3\alpha, \alpha, -\beta, \beta)$                 $(-3,-1)$                                                  $(-4,-2)$                                                 $(\alpha,\beta)$
  ------------ --------------------------------------------------- ---------------------------------------------------------- --------------------------------------------------------- ----------------------------------------------

  : The two boundary slopes and number of boundary components of each surface carried by a branched surface associated to a minimal edge path from $0/1$ to $3/8$ for the first and second link component are presented as a pair. The table shows the case $\alpha > \beta > 0$ so that $t = \alpha/\beta \in (1, \infty)$. For $t=\infty$ when $\alpha>\beta = 0$, the surface is disjoint from the second component so the second coordinate in the last three columns are $\emptyset, \emptyset, 0$ respectively. For $t \in [0,1)$, apply the homeomorphism of the two-bridge link that swaps its two components, i.e. exchange coordinates and swap $\alpha$ and $\beta$. Actually there is also a path $\gamma'_5$ for $t = \alpha / \beta = 1$, but we omit it.[]{data-label="table:3/8slopes"}

  ------------ ----------- ------------------- --------------------------------------------------------- ----------------------------------------- -- ------------------------------------------------ -----------------------------
  HS           branch      $\chi$                                                                                                                                                                      
  path         pattern                         $_{\beta>0}$                                              $_{\beta=0}$                                 $_{\beta>0}$                                     $_{\beta=0}$
  $\gamma_1$   $ADAADA$    $-\alpha - \beta$   $(2 \tfrac{\beta}{\alpha}, 2\tfrac{\alpha}{\beta})$       $(2 \tfrac{\beta}{\alpha}, \emptyset)$       $(\gcd(2\beta, \alpha), \gcd(2\alpha, \beta))$   $(\gcd(2\beta, \alpha), 0)$
  $\gamma_2$   $ADAADA$    $-\alpha - \beta$   $(0,0)$                                                   $(0,\emptyset)$                              $(\alpha,\beta)$                                 $(\alpha,0)$
  $\gamma_3$   $ADAADA$    $-\alpha - \beta$   $(0,0)$                                                   $(0,\emptyset)$                              $(\alpha,\beta)$                                 $(\alpha,0)$
  $\gamma_5$   $ADCDA$     $-\alpha$           $(-2 \tfrac{\beta}{\alpha}, -2\tfrac{\alpha}{\beta}-2)$   $(-2 \tfrac{\beta}{\alpha}, \emptyset)$      $(\gcd(2\beta, \alpha), \gcd(2\alpha, \beta))$   $(\gcd(2\beta, \alpha), 0)$
  $\gamma_6$   $ABBCBBA$   $-\alpha$           $(-4,-2)$                                                 $(-4, \emptyset)$                            $(\alpha,\beta)$                                 $(\alpha,0)$
  ------------ ----------- ------------------- --------------------------------------------------------- ----------------------------------------- -- ------------------------------------------------ -----------------------------

Applying the Algorithm to a generalized Whitehead Link – $2$–bridge link $[2, 2\omega, -2]$ {#sec:genaralizedwhiteheadalgorithm}
-------------------------------------------------------------------------------------------

Let us apply the algorithm to a generalized Whitehead Link, which is a $2$–bridge link $[2, 2\omega, -2]$. Recall that a $2$–bridge link $[2, 2\omega, -2]$ is expressed as ${\mathcal L}_{(4\omega -1)/8\omega}$.

Figure \[fig:DtDiagramL4k-1–8k\] shows the portions of the diagrams $D_0=D_\infty$, $D_t$, and $D_1$ that carry the minimal edge paths from $1/0$ to $(4\omega -1)/8\omega = (4 k-1)/8k$ with $k = \omega \ge 1$. When $\omega < 0$, putting $k = -\omega \ge 1$, we have $(4\omega -1)/8\omega = (-4 k-1)/(-8k) = (4k+1)/8k$ with $k = -\omega \ge 1$. Figure \[fig:DtL4k+1–8k\_omega\_minus\] shows the portions of the diagrams $D_0=D_\infty$, $D_t$, and $D_1$ that carry the minimal edge paths from $1/0$ to $(4 k+1)/8k$ with $k \ge 1$.

We obtain Tables  \[table:4k-1by8kpaths\], \[table:4k-1by8kslopes\] and \[table:4k-1by8ksummary\] corresponding to Tables \[table:3/8paths\], \[table:3/8slopes\] and \[table:3/8summary\]. Note that for each of the paths $\gamma^{\pm}_i$, $i \in \{1,2,3,4,5,6\}$, when $\beta=0$ so that $\alpha/\beta=\infty$ the associated surface is disjoint from the second link component. A path $\gamma^{+}_i$ is a minimal path from $\frac{1}{0}$ to $\frac{4k-1}{8k}$ (corresponding to the case where $\omega > 0$), and a path $\gamma^{-}_i$ is a minimal path from $\frac{1}{0}$ to $\frac{4k+1}{8k}$ (corresponding to the case where $\omega < 0$). Indeed, for $i \in \{1,2,3,4,5\}$, when $\alpha=1$ and $\beta=0$, the associated surface is a once-punctured torus Seifert surface for the first link component. For $i=6$, when $\alpha=2$ and $\beta=0$, the associated surface is a twice punctured torus disjoint from the second component.

![The diagrams $D_1$, $D_t$, and $D_0=D_\infty$ that carry the minimal paths from $\frac{1}{0}$ to $\frac{4k-1}{8k}$ with $k \ge 1$.[]{data-label="fig:DtDiagramL4k-1–8k"}](DtL4k-1--8kV2.eps){width="6in"}

![The diagrams $D_1$, $D_t$, and $D_0=D_\infty$ that carry the minimal paths from $\frac{1}{0}$ to $\frac{4k+1}{8k}$ with $k \ge 1$.[]{data-label="fig:DtL4k+1–8k_omega_minus"}](DtL4k+1--8k_omega_minus.eps){width="6in"}

[@M[10mm]{}M[35mm]{}M[25mm]{}M[45mm]{}@]{} HS path & path picture & branch pattern & $\chi$\
$\gamma^{\pm}_1$ & ![image](pic01gen.eps){width="1in"} & $ADAADA$ & $-\alpha - \beta$\
$\gamma^{\pm}_2$ & ![image](pic02gen.eps){width="1in"} & $ADAADA$ & $-\alpha - \beta$\
$\gamma^{\pm}_3$ & ![image](pic03gen.eps){width="1in"} & $ADAADA$ & $-\alpha - \beta$\
$\gamma^{\pm}_4$ & ![image](pic04gen.eps){width="1in"} & $ADAADA$ & $-\alpha - \beta$\
$\gamma^{\pm}_5$ & ![image](pic05gen.eps){width="1in"} & $ADC^{2k-1}DA$ & $-\alpha+2(1-k)\beta$\
$\gamma^{\pm}_6$ & ![image](pic06gen.eps){width="1in"} & $AB(BCB)^{2k-1}BA$ & $(1-2k)\alpha$\

  ------------------ ----------------------------------------------------------------------- ------------------------------------------------------------------------- ----------------------------------------------
  HS                 alg. int. with                                                          slopes with                                                               number of
  path               $(\lambda_1, \mu_1, \lambda_2, \mu_2)$                                  canonical framing                                                         boundary components
  $\gamma^{\pm}_1$   $(\pm \alpha \pm 2 \beta, \alpha, \mp 2\alpha \mp \beta, \beta)$        $(\pm 2 \tfrac{\beta}{\alpha}, \pm 2\tfrac{\alpha}{\beta})$               $(\gcd(2\beta,\alpha), \gcd(2\alpha,\beta))$
  $\gamma^{\pm}_2$   $(\pm \alpha, \alpha, \pm \beta, \beta)$                                $(0,0)$                                                                   $(\alpha,\beta)$
  $\gamma^{\pm}_3$   $(\pm \alpha, \alpha, \pm \beta, \beta)$                                $(0,0)$                                                                   $(\alpha,\beta)$
  $\gamma^{\pm}_4$   $(\pm \alpha \mp 2\beta, \alpha, \mp 2\alpha \pm \beta, \beta)$         $(\mp 2 \tfrac{\beta}{\alpha}, \mp 2\tfrac{\alpha}{\beta})$               $(\gcd(2\beta,\alpha), \gcd(2\alpha,\beta))$
  $\gamma^{\pm}_5$   $(\pm \alpha \mp 2 \beta, \alpha, \mp 2\alpha\pm (3-4k)\beta, \beta)$   $(\mp 2 \tfrac{\beta}{\alpha}, \mp 2\tfrac{\alpha}{\beta}\pm 2 \mp 4k)$   $(\gcd(2\beta,\alpha), \gcd(2\alpha,\beta))$
  $\gamma^{\pm}_6$   $(\pm (1-4k)\alpha, \alpha, \mp \beta, \beta)$                          $(\mp 4k,\mp 2)$                                                          $(\alpha,\beta)$
  ------------------ ----------------------------------------------------------------------- ------------------------------------------------------------------------- ----------------------------------------------

  :  The two boundary slopes and number of boundary components of each surface carried by a branched surface associated to a minimal edge path from $0/1$ to $(4k-1)/8k$ or $(4k+1)/8k$ for the first and second link component are presented as a pair. The table shows the case $\alpha > \beta > 0$ so that $t = \alpha/\beta \in (1, \infty)$. For $t=\infty$ when $\alpha>\beta = 0$, the surface is disjoint from the second component so the second coordinate in the last two columns are $\emptyset$ and $0$ respectively. For $t \in (0,1]$, apply the homeomorphism of the two-bridge link that swaps its two components, i.e. exchange coordinates and swap $\alpha$ and $\beta$. (Compare with Table \[table:3/8slopes\] for $L_{3/8}$.)[]{data-label="table:4k-1by8kslopes"}

  ------------------ ------------------------- -------------------------------------------------------------------------- -------------------------------------------- -- ------------------------------------------------ -----------------------------
  HS                 $\chi$                                                                                                                                                                                                
  path                                         $_{\beta>0}$                                                               $_{\beta=0}$                                    $_{\beta>0}$                                     $_{\beta=0}$
  $\gamma^{\pm}_1$   $-\alpha - \beta$         $(\pm 2 \tfrac{\beta}{\alpha}, \pm 2\tfrac{\alpha}{\beta})$                $(\pm 2 \tfrac{\beta}{\alpha}, \emptyset)$      $(\gcd(2\beta, \alpha), \gcd(2\alpha, \beta))$   $(\gcd(2\beta, \alpha), 0)$
  $\gamma^{\pm}_2$   $-\alpha - \beta$         $(0,0)$                                                                    $(0,\emptyset)$                                 $(\alpha,\beta)$                                 $(\alpha,0)$
  $\gamma^{\pm}_3$   $-\alpha - \beta$         $(0,0)$                                                                    $(0,\emptyset)$                                 $(\alpha,\beta)$                                 $(\alpha,0)$
  $\gamma^{\pm}_4$   $-\alpha - \beta$         $(\mp 2 \tfrac{\beta}{\alpha}, \mp 2\tfrac{\alpha}{\beta})$                $(\mp 2 \tfrac{\beta}{\alpha},\emptyset)$       $(\gcd(2\beta,\alpha), \gcd(2\alpha,\beta))$     $(\gcd(2\beta,\alpha), 0)$
  $\gamma^{\pm}_5$   $-\alpha + 2(1-k)\beta$   $(\mp 2 \tfrac{\beta}{\alpha}, \mp 2\tfrac{\alpha}{\beta} \pm 2 \mp 4k)$   $(\mp 2 \tfrac{\beta}{\alpha}, \emptyset)$      $(\gcd(2\beta,\alpha), \gcd(2\alpha,\beta))$     $(\gcd(2\beta,\alpha), 0)$
  $\gamma^{\pm}_6$   $(1-2k)\alpha$            $(\mp 4k, \mp 2)$                                                          $(\mp 4k,\emptyset)$                            $(\alpha,\beta)$                                 $(\alpha,0)$
  ------------------ ------------------------- -------------------------------------------------------------------------- -------------------------------------------- -- ------------------------------------------------ -----------------------------

Slope conjecture for twisted generalized Whitehead doubles {#slope_cpnjecture_Wmt}
==========================================================

In this section we prove Theorem \[bothslopeconjecturesWmt\](1), which we state here again for convenience.

Let $K$ be a knot in $S^3$ and $d_+[J_{K,n}(q)]$ is the quadratic quasi-polynomial $\delta_K(n)=a(n) n^2 +b(n) n+c(n)$ for all $n \ge 0$. We put $a_1:=a(1)$, $b_1:=b(1)$, and $c_1:=c(1)$. We assume that the period of $d_+[J_{K,n}(q)]=\delta_K(n)$ is less than or equal to $2$ and that $b_1 \le 0$. Assume further that if $b_1 = 0$, then $a_1 \ne \frac{\tau}{4}$. If $K$ satisfies the Slope Conjecture, then all of its twisted generalized Whitehead doubles also satisfy the Slope Conjecture.

Assume first that $\omega > 0$. It follows from Proposition \[maxdeg\_KT\_Wmt-allw\] that if $r_W \in js_{W_{\omega}^{\tau}(K)}$, then there exists $r_K \in js_K$ such that

-   $r_W = 4 r_K - 4\tau$ if $a_1 > \frac{\tau}{4}$, or

-   $r_W  = 0$ if $a_1 \le \frac{\tau}{4}$.

Suppose next that $\omega < 0$. Then Proposition \[maxdeg\_KT\_Wmt-allw\] shows that if $r_W \in js_{W_{\omega}^{\tau}(K)}$, then there exists $r_K \in js_K$ such that

-   $r_W = 4 r_K -4 \omega -2 -4 \tau$ if $a_1 > \frac{\tau}{4}+\frac{1}{8}$, or

-   $r_W  = -4 \omega$ if $a_1  \le  \frac{\tau}{4}+\frac{1}{8}$.

Let us find essential surfaces in $E(W_{\omega}^{\tau}(K))$ whose boundary slopes are these Jones slopes.

Recall that $k_1 \cup k_2$ is a $2$–bridge link expressed as $[2, 2\omega, -2]$ ($\omega \ne 0$) depicted in Figure \[fig:2\_2m\_-2\]; $(\mu_i, \lambda_i)$ denotes a preferred meridian-longitude pair of $k_i$. As in Figure \[fig:2\_2m\_-2\] take a solid torus $V = S^3 - \mathrm{int}N(k_1)$ which contains $k_2$ in its interior; let $(\mu_V, \lambda_V)$ be the standard meridian-longitude pair of $V \subset S^3$. Performing $-1/\tau$–surgery on $k_1$, equivalently $\tau$–twisting along $\mu_V$, we obtain $k_{\omega}^{\tau}$ which is the image of $k_2$ (Figure \[fig:satellite\]). Let $f$ be an orientation preserving embedding $f : V \to S^3$ which sends $V$ to $N(K)$ and $f(\mu_V) = \mu_K$ and $f(\lambda_V) = \lambda_K$, where $(\mu_K, \lambda_K)$ is a preferred meridian-longitude pair of $K$. Then $W_{\omega}^{\tau}(K) = f(k_{\omega}^{\tau})$ is the $\tau$–twisted generalized Whitehead double of $K$. Thus the exterior $E(W_{\omega}^{\tau}(K))$ is the union of $E(K)$ and $f(V - \mathrm{int}N(k_{\omega}^{\tau}))$. The boundary of $f(V - \mathrm{int}N(k_{\omega}^{\tau}))$ consists of two tori $T_W = \partial N(W_{\omega}^{\tau}(K))$ and $T_K = f(\partial V) = \partial E(K)$. Then $(f(\mu_2), f(\lambda_2))$ is a preferred meridian-longitude pair $(\mu_W, \lambda_W)$ of $W_{\omega}^{\tau}(K)$.

**1. Realization of the Jones slopes when $\omega > 0$.**

We divide into two cases depending upon $a_1 > \frac{\tau}{4}$ or $a_1 \le \frac{\tau}{4}$; see Proposition \[maxdeg\_KT\_Wmt-allw\].

**Case 1. $a_1 > \frac{\tau}{4}$.**

Since $K$ satisfies the Slope Conjecture, the Jones slope $4a_1$ is realized by a boundary slope of an essential surface $S_K \subset E(K)$.

\[F\_m\^t\_omega&gt;0\] There exists an essential surface $F_{\omega}^{\tau}$ in $V - \mathrm{int}N(k_{\omega}^{\tau})$ such that each component of $F_{\omega}^{\tau} \cap \partial V$ has slope $4a_1$ and each component of $F_{\omega}^{\tau} \cap \partial N(k_{\omega}^{\tau})$ has $16a_1 - 4\tau$.

Let us take an essential surface $F_{\gamma^{+}_1}$ in $S^3 - \mathrm{int}N(k_1 \cup k_2) = V - \mathrm{int}N(k_2)$ associated to the minimal edge path $\gamma^{+}_1$ described in Section \[essential\_surfaces\]. Then it has a pair of boundary slopes $(2\frac{\beta}{\alpha}, 2\frac{\alpha}{\beta})$ on $k_1, k_2$. Then $F_{\gamma^{+}_1}$ has boundary slopes $\frac{2\beta}{\alpha}$ on $\partial N(k_1)$ and $\frac{2\alpha}{\beta}$ on $\partial N(k_2)$. Using the preferred meridian-longitude $(\mu_V, \lambda_V)$ of $V$ instead of $(\mu_1, \lambda_1)$ of $k_1$, $F_{\gamma^{+}_1} \cap \partial V$ has slope $\frac{\alpha}{2\beta}$. Choose $\alpha, \beta$ so that $\frac{\alpha}{2\beta} = 4a_1 - \tau > 0$. Hence $\frac{\alpha}{\beta} = 8a_1 -2\tau > 0$. Then $F_{\gamma^{+}_1} \subset V - \mathrm{int}N(k_2)$ has boundary slope $16a_1 -4\tau$ on $\partial N(k_2)$ and $4a_1 - \tau$ on $\partial V$. Now we apply $\tau$–twisting along $\mu_V$ which changes $V - \mathrm{int}N(k_2)$ to $V - \mathrm{int}N(k_{\omega}^{\tau})$; we denote the image of $F_{\gamma^{+}_1}$ by $F_{\omega}^{\tau}$. By Lemma \[twist\] each component of $F_{\omega}^{\tau} \cap \partial V$ has slope $4a_1 (= 4a_1 - \tau + \tau)$, and each component of $F_{\omega}^{\tau} \cap \partial N(k_{\omega}^{\tau})$ has slope $16a_1 - 4\tau$ as desired.

Let us take the image $f(F_{\omega}^{\tau})$ in $f(V - \mathrm{int}N(k_{\omega}^{\tau}))$, and denote it by $S_{\omega}^{\tau}$. Write $T_K = \partial E(K) = f(\partial V)$ and $T_W = \partial N(W_{\omega}^{\tau}(K)) = f(\partial N(k_{\omega}^{\tau}))$. By construction $S_{\omega}^{\tau}$ is essential in $f(V - \mathrm{int}N(k_{\omega}^{\tau}))$ and each component of $S_{\omega}^{\tau} \cap T_K$ has slope $4a_1$ and each component of $S_{\omega}^{\tau} \cap T_W$ has slope $16a_1 - 4\tau$.

To build a required essential surface $S \subset E(W_{\omega}^{\tau}(K))$ we take $m$ parallel copies $m S_{\omega}^{\tau}$ of the essential surface $S_{\omega}^{\tau}$ and $n$ parallel copies $n S_K$ of the essential surface $S_K$, and then glue them along their boundaries to obtain a connected surface $S = m S_{\omega}^{\tau} \cup n S_K$ in $E(W_{\omega}^{\tau}(K))$. Even when both $S_{\omega}^{\tau}$ and $S_K$ are orientable, $S$ may not be orientable. If $S$ is non-orientable, then consider a regular neighborhood of $S$ in $E(W_{\omega}^{\tau}(K))$, which is a twisted $I$–bundle of $S$ whose $\partial I$–subbundle is an orientable double cover of $S$. We use the same symbol $S$ to denote this $\partial I$–subbundle. Note that $S_K$ and $S_{\omega}^{\tau}$ are orientable, so $S \cap E(K)$ consists of parallel copies of $S_K$ and similarly $S \cap f(V - \mathrm{int}N(k_{\omega}^{\tau}))$ consists of parallel copies of $S_{\omega}^{\tau}$. Since $\partial E(K)$ is incompressible in $E(W_{\omega}^{\tau}(K))$ and $S_{\omega}^{\tau}$, $S_K$ are essential in $f(V - \mathrm{int}N(k_{\omega}^{\tau}))$ and $E(K)$ respectively, $S$ is incompressible in $E(W_{\omega}^{\tau}(K))$. If $S$ were boundary-compressible, then a component of $S$ would be a boundary-parallel annulus. However, obviously each component of $S$ is not an annulus, and we have a contradiction. Hence $S$ is the desired essential surface.

**Case 2. $a_1 \le \frac{\tau}{4}$.**

In this case Proposition \[maxdeg\_KT\_Wmt-allw\] shows that the Jones slope is $0$, and we explicitly give a desired essential surface. Let us take a once punctured torus $F$ bounded by $k_2$ which is contained in $V - \mathrm{int}N(k_2)$. It has the boundary slope $0$ on $k_2$. Let $S$ be the image $f(F)$ in $E(W_{\omega}^{\tau}(K))$, which is a minimal genus Seifert surface of $W_{\omega}^{\tau}(K)$ and essential in its exterior. Thus the jones slope $0$ is a boundary slope of $W_{\omega}^{\tau}(K)$.

**2. Realization of the Jones slopes when $\omega < 0$.**

We divide into two cases depending upon $a_1 > \frac{\tau}{4} + \frac{1}{8}$ or $a_1 \le \frac{\tau}{4} +\frac{1}{8}$.

**Case 1. $a_1 > \frac{\tau}{4} + \frac{1}{8}$.**

By the assumption, $K$ satisfies the Slope Conjecture, hence the Jones slope $4a_1$ of $K$ is realized by a boundary slope of an essential surface $S_K \subset E(K)$.

\[F\_m\^[t]{}\_omega&lt;0\] There exists an essential surface $F_\omega^{\tau}$ in $V - \mathrm{int}N(k_{\omega}^{\tau})$ such that each component of $F_\omega^{\tau} \cap \partial V$ has slope $4a_1$ and each component of $F_\omega^{\tau} \cap \partial N(k_{\omega}^{\tau})$ has $16a_1 -4\tau - 2- 4\omega$.

Let us take an essential surface $F_{\gamma^{-}_5}$ with $k = -\omega$ in $S^3 - \mathrm{int}N(k_1 \cup k_2) = V - \mathrm{int}N(k_2)$ associated to the minimal edge path $\gamma^{-}_5$ described in Section \[essential\_surfaces\]. Then it has a pair of boundary slopes $(2\frac{\beta}{\alpha}, 2\frac{\alpha}{\beta} - 2 + 4k)= (2\frac{\beta}{\alpha}, 2\frac{\alpha}{\beta} - 2 -4\omega)$ on $k_1, k_2$ ($(\alpha, \beta) \le 2$). $F_{\gamma^{-}_5}$ has boundary slopes $\frac{2\beta}{\alpha}$ on $\partial N(k_1)$ and $2\frac{\alpha}{\beta} - 2 -4\omega$ on $\partial N(k_2)$. Using $(\mu_V, \lambda_V)$ instead of $(\mu_1, \lambda_1)$, $F_{\gamma^{-}_5} \cap \partial V$ has slope $\frac{\alpha}{2\beta}$. Choose $\alpha, \beta$ so that $\frac{\alpha}{2\beta} = 4a_1 -\tau$. Hence $\frac{\alpha}{\beta} = 8a_1 - 2\tau > 1$. Then $F_{\gamma^{-}_5} \subset V - \mathrm{int}N(k_2)$ has boundary slope $16a_1 -4\tau - 2 -4\omega$ on $\partial N(k_2)$ and $4a_1 - \tau$ on $\partial V$. Now we apply $\tau$–twisting along $\mu_V$ which changes $V - \mathrm{int}N(k_2)$ to $V - \mathrm{int}N(k_{\omega}^{\tau})$; we denote the image of $F_{\gamma^{-}_5}$ by $F_\omega^{\tau}$. By Lemma \[twist\] each component of $F_\omega^{\tau} \cap \partial V$ has slope $4a_1 (= 4a_1 - \tau + \tau)$, and each component of $F_\omega^{\tau} \cap \partial N(k_{\omega}^{\tau})$ has slope $16a_1 - 4\tau - 2 -4\omega$ as desired.

Let us take $S_\omega^{\tau} = f(F_{\omega}^{\tau}) \subset f(V - \mathrm{int}N(k_{\omega}^{\tau}))$. Then it is essential in $f(V - \mathrm{int}N(k_{\omega}^{\tau}))$ and each component of $S_\omega^{\tau} \cap T_K$ has slope $4a_1$ and each component of $S_\omega^{\tau}  \cap T_W$ has slope $16a_1 - 4\tau - 2 -4\omega$. Take $m$ parallel copies $m S_\omega^{\tau}$ of $S_\omega^{\tau}$ and $n$ parallel copies $n S_K$ of $S_K$, and then glue them along their boundaries to obtain a connected surface $S = m S_\omega^{\tau} \cup n S_K$ in $E(W_{\omega}^{\tau}(K))$. If $S$ is non-orientable, then we re-take $S$ as the $\partial I$–subbundle of the regular neighborhood of $S$ in $E(W_{\omega}^{\tau}(K))$, which is an orientable double cover of $S$. Note that $S_K$ and $S_\omega^{\tau}$ are orientable, so $S \cap E(K)$ consists of parallel copies of $S_K$, and similarly $S \cap f(V - \mathrm{int}N(k_{\omega}^{\tau}))$ consists of parallel copies of $S_\omega^{\tau}$. Since $\partial E(K)$ is incompressible in $E(W_{\omega}^{\tau}(K))$, and $S_\omega^{\tau}$, $S_K$ are essential in $f(V - \mathrm{int}N(k_{\omega}^{\tau}))$ and $E(K)$ respectively, $S$ is incompressible in $E(W_{\omega}^{\tau}(K))$. Since it cannot be an annulus, $S$ is the desired essential surface.

**Case 2. $a_1 \le \frac{\tau}{4} +\frac{1}{8}$.**

In this case Proposition \[maxdeg\_KT\_Wmt-allw\] shows that the Jones slope is $-4\omega$. Take an (orientable) essential surface $F_{\gamma^{-}_6}$ with $k = -\omega$, $\alpha = 2, \beta = 0$. (At the end of the argument in this case, we explain why we need to choose $\alpha = 2, \beta = 0$ rather than $\alpha = 1, \beta = 0$.) A symmetry of $k_1$ and $k_2$ induces an orientation preserving homeomorphism $\varphi$ of $S^3 - \mathrm{int}N(k_1 \cup k_2) = V - \mathrm{int}N(k_2)$ which exchanges the components $\partial N(k_1) = \partial V$ and $\partial N(k_2)$. Let us set $F = \varphi(F_{\gamma^{-}_6}) \subset V- \mathrm{int}N(k_2)$. Then it follows from Table \[table:4k-1by8ksummary\] that $F$ has two boundary components with boundary slopes $(\emptyset, 4k) = (\emptyset, -4\omega)$. We apply $\tau$–twisting along $\mu_V$ which changes $V - \mathrm{int}N(k_2)$ to $V - \mathrm{int}N(k_{\omega}^{\tau})$, and we denote the image of $F$ by $F_{\omega}^{\tau}$. By Lemma \[twist\], $F_\omega^{\tau}$ has the boundary slope $-4\omega$ on $\partial N(k_{\omega}^{\tau})$. Hence, $S = f(F_\omega^{\tau}) \subset f(V - \mathrm{int}N(k_{\omega}^{\tau}))$ is an essential surface such that $S \cap T_K = \emptyset$ and each component of $S \cap T_W$ has slope $-4\omega$. Thus the Jones slope $-4\omega$ is a boundary slope of $W_{\omega}^{\tau}(K)$. Finally we explain why we choose $\alpha = 2, \beta = 0$. If we choose $\alpha = 1, \beta = 0$ in the above, then $F_{\gamma^{-}_6}$ has a single boundary component on $\partial N(k_1)$. Then $S = f(F_\omega^{\tau})$ has a single boundary component on $T_W$. If $F_{\gamma^{-}_6}$ (with $\alpha = 1, \beta = 0$), hence $S$, is orientable, then its boundary slope would be $0$. However $S \cap T_W$ has slope $-4\omega$, a contradiction. Hence $F_{\gamma_6}$ with $\alpha = 1, \beta = 0$ is non-orientable. The surface corresponding to $\alpha = 2, \beta = 0$ is an orientable double cover of the surface corresponding to $\alpha = 1, \beta = 0$.

This completes the proof of Theorem \[bothslopeconjecturesWmt\](1).

\[twisting\_vs\_Jone surface\]

The maximum degree of the colored Jones function of a torus knot $K = T_{p, q}$ with relatively prime integers $p,q>0$ is explicitly computed by [@Garoufalidis]: $$d_+[J_{K,n}(q)] =\delta_K(n)=\frac {pq} 4 n^2-\frac {pq} 4-(1+(-1)^n)\frac {(p-2)(q-2)}{8}.$$

Note that $d_+[J_{K,n}(q)]$ is a quadratic quasi-polynomial for all integers $n$, and $a(n) = a_1 = \frac {pq}{4},\ b(n) = b_1 = 0$ and $c(n) = -\frac {pq} 4-(1+(-1)^n)\frac {(p-2)(q-2)}{8}$, in particular $c_1 = -\frac{pq}{4}$. Therefore, following Proposition \[maxdeg\_KT\_Wmt-allw\] we have:

If $\omega > 0$, then $$\delta_{W_{\omega}^{\tau}(K)}(n)=
\left\{ \begin{array}{ll} 
(pq - \tau) n^2 +(-pq + \tau - \frac{1}{2}) n + \frac 1 2 & ( \tau < pq ) \\
             -\frac{1}{2} n - \frac{pq}{4}+ \frac{1}{2}  &  ( \tau > pq ).
       \end{array} \right.$$

If $\omega < 0$, then $$\delta_{W_{\omega}^{\tau}(K)}(n)=
\left\{ \begin{array}{ll} 
             (pq- \tau -\omega - \frac{1}{2} )n^2 +(- pq + \omega + \tau + 1)n- \frac{1}{2}
                   & (\tau < pq - \frac{1}{2}) \\
            - \omega n^2 + (\omega + \frac{1}{2})n -  \frac{1}{2} 
                    &  (\tau > pq - \frac{1}{2}).
       \end{array} \right.$$

This shows that a Jones surface of a twisted generalized Whitehead double of $K$ is of a different nature depending upon the twisting number $\tau$.

Strong slope conjecture for twisted generalized Whitehead doubles {#strong Slope_Wmt}
=================================================================

This section is devoted to a proof of Theorem \[bothslopeconjecturesWmt\](2), which we state again below.

Let $K$ be a knot in $S^3$ for which $d_+[J_{K,n}(q)]$ is the quadratic quasi-polynomial $\delta_K(n)=a(n) n^2 +b(n) n+c(n)$ for all $n \ge 0$. We put $a_1:=a(1)$, $b_1:=b(1)$, and $c_1:=c(1)$. We assume that the period of $d_+[J_{K,n}(q)]=\delta_K(n)$ is less than or equal to $2$ and that $b_1 \le 0$. Assume further that if $b_1 = 0$, then $a_1 \ne \frac{\tau}{4}$.

If $K$ satisfies the Strong Slope Conjecture with $SS(1)$, then all of its twisted generalized Whitehead doubles satisfy the Strong Slope Conjecture.

\[YSS=Fully\] Even when $\delta_K(n)$ has period $2$, $\delta_{W_{\omega}^{\tau}(K)}(n)$ is a usual polynomial rather than quasi-polynomial $Remark~\ref{no_period}$. So the Strong Slope Conjecture with $SS(1)$ is equivalent to the Strong Slope Conjecture for $W_{\omega}^{\tau}(K)$ $Remark~\ref{constant}$.

Write $\delta_{W_{\omega}^{\tau}(K)}(n)=a_W(n)n^2 + b_W(n)n + c_W(n)$. It follows from Remark \[no\_period\] that coefficients of $\delta_{W_{\omega}^{\tau}(K)}(n)$ are constants and so we may write $a_W(n) = a_W$, $b_W(n) = b_W$, $c_W(n) = c_W$. Then we show that essential surfaces $S$ in $E(W_{\omega}^{\tau}(K))$ given in the proof of Theorem \[bothslopeconjecturesWmt\](1) satisfy the condition of the Strong Slope Conjecture: $$S\ \textrm{has boundary slope}\ p/q = 4a_W \quad and \quad \frac{\chi(S)}{|\partial S| q} = 2b_W.$$

It is convenient to note the following general fact.

\[double\] Let $F$ be a properly embedded surface in a knot exterior $E$ such that a component of $\partial F$ has slope $p/q$. Let $\widetilde{F}$ be the frontier of a tubular neighborhood $N(F)$ in $E$, i.e.  $\widetilde{F}$ is the $\partial I$–subbundle of an $I$–bundle over $F$. Then $\partial \widetilde{F}$ has slope $p/q$ and $$\frac{\chi(\widetilde{F})}{|\partial \widetilde{F}| q} =  \frac{\chi(F)}{|\partial F| q}.$$

If $F$ is orientable, then $N(F) = F \times I$, whose frontier $\widetilde{F}$ consists of two copies of $F$. So each component of $\partial F$ has slope $p/q$ and $\displaystyle \frac{\chi(\widetilde{F})}{|\partial \widetilde{F}| q} =  \frac{2\chi(F)}{2|\partial F| q} 
=  \frac{\chi(F)}{|\partial F| q}$. Assume now that $F$ is non-orientable. Then $\widetilde{F}$ is the orientable double cover of $F$, and ${\partial}\widetilde{F}$ consists of two parallel loops with slope $p/q$. Hence $\displaystyle \frac{\chi(\widetilde{F})}{|\partial \widetilde{F}| q} 
=  \frac{2\chi(F)}{2|\partial F| q} 
=  \frac{\chi(F)}{|\partial F| q}$.

**1. Jones surfaces for $\omega > 0$.**

**Case 1-1. $a_1 > \frac{\tau}{4}$.**

Write $a_1= r/s$ where $r$ and $s$ are coprime integers and $s>0$. Then, as a ratio of coprime integers, the denominator of $4a_1$ is $s/\gcd(4,s)$. Since $K$ satisfies the Strong Slope Conjecture with $SS(1)$, there is a properly embedded essential surface $S_K$ in the exterior of $K$ whose boundary slope is $4a_1$ and $$\frac{\chi(S_K)}{|{\partial}S_K| \cdot \frac{s}{\gcd(4,s)}} = 2 b_1.$$ When addressing the Slope Conjecture for $W^\tau_\omega(K)$ in this case, we constructed a properly embedded essential surface $S = m S_K \cup n S^\tau_\omega$ in the exterior of $W^\tau_\omega(K)$ by joining $m$ copies of $S_K$ in $E(K)$ to $n$ copies of the surface $S^\tau_\omega$ in $V - N(k^\tau_\omega)$. This requires that $$m |{\partial}S_K| = n |{\partial}S^\tau_\omega \cap T_K|.$$

The surface $S^\tau_\omega$ is identified with a surface of type $F_{\gamma_1}$ in the exterior of the $[2,2\omega,-2]$ two-bridge link, where $\frac{\alpha}{\beta} = 8a_1 - 2\tau = \frac{8r -2\tau s}{s} > 0$ so that $S^\tau_\omega$ has boundary slope $4a_1$ on ${\partial}V$. We choose $\beta = 2s$, $\alpha = 2(8r - 2\tau s)$ so that $F_{\gamma_1} = F_{\gamma_1, \alpha, \beta}$ is orientable; see Subsection \[algorithm\].

Then, using Table \[table:4k-1by8ksummary\], we calculate the following:

-   $\chi(S^\tau_\omega) 
    = -\alpha -\beta = -2(8r - (2\tau-1)s)$,

-   slope of ${\partial}S^\tau_\omega$ on $T_W$ is $2\frac{\alpha}{\beta} 
    = 2( \frac{8r-2 \tau s}{s}) 
    = \frac{16r-4\tau s}{s}$,

-   $|{\partial}S^\tau_\omega \cap T_K| 
    = \gcd(2\beta, \alpha) 
    = \gcd(4s,2(8r-2\tau s)) 
    = 4 \gcd(4,s)$, and

-   $|{\partial}S^\tau_\omega \cap T_W| 
    = \gcd(2\alpha, \beta) 
    = \gcd(4(8r-2\tau s), 2s) 
    = 2\gcd(16,s)$.

The boundary of $S$ consists of $n$ copies of the boundary of $S^\tau_\omega$ on $T_W$, so we have

-   $|{\partial}S| = n | \partial S^{\tau}_{\omega} \cap T_W | = 2n \gcd(16,s)$.

Moreover, the boundary slope of $S$ is the slope of ${\partial}S^\tau_\omega$ on $T_W$, and so this has denominator $\frac{s}{\gcd(16r-4\tau s,\, s)}  = \frac{s}{\gcd(16,\,s)}$. We may now calculate $$\begin{aligned}
  \frac{\chi(S)}{|{\partial}S| \cdot \frac{s}{\gcd(16,\,s)}} 
  &= \frac{m \chi(S_K) + n \chi(S^\tau_\omega)}{ 2n \gcd(16,s) \cdot \frac{s}{\gcd(16,\,s)}} \\
  &= \frac{ 2 b_1 m |{\partial}S_K| \cdot \frac{s}{\gcd(4,\,s)} -2n(8r - (2\tau-1)s)}{2n s} \\
  &= \frac{ 8 b_1 n \gcd(4,s) \cdot \frac{s}{\gcd(4,\,s)} -2n(8r - (2\tau-1)s)}{2n s} \\
  &= \frac{ 8 b_1 n s -2n(8r - (2\tau-1)s)}{2n s} \\
    &= 4 b_1 -8r/s+(2\tau-1) = 2(-4a_1 + 2b_1 +  \tau - \frac{1}{2}) = 2b_W\end{aligned}$$ as desired.

If the glued surface $S = m S_K \cup n S^\tau_\omega$ is non-orientable, then as in the proof of Theorem \[bothslopeconjecturesWmt\](1), we replace $S$ by the frontier $\widetilde{S}$ of the tubular neighborhood of $S$, but Lemma \[double\] shows that $\widetilde{S}$ and $S$ has the same boundary slope and $\displaystyle \frac{\chi(\widetilde{S})}{|{\partial}\widetilde{S}| \cdot \frac{s}{\gcd(16,\,s)}} 
= \frac{\chi(S)}{|{\partial}S| \cdot \frac{s}{\gcd(16,\,s)}}$. Thus the essential surface $S$ or $\widetilde{S}$ (when $S$ is non-orientable) is the desired essential surface.

**Case 1-2. $a_1 \le \frac{\tau}{4}$.**

In this situation, $S$ is a minimal genus Seifert surface of $W_{\omega}^{\tau}(K)$, which is a once punctured torus. Hence $$\frac{\chi(S)}{| \partial S | q} 
= \frac{\chi(S)}{| \partial S |}  = \frac{-1}{1} = -1 = 2 (-\frac{1}{2}) 
\in jx_{W_{\omega}^{\tau}(K)}.$$

**2. Jones surfaces for $\omega < 0$.**

**Case 2-1. $a_1  > \frac{\tau}{4} +\frac{1}{8}$.**

We follow the same argument in Case 1-1. Write $a_1= r/s$ for some coprime $r$ and $s > 0$. Then, as a ratio of coprime integers, the denominator of $4a_1$ is $s/ \gcd(4,s)$. Since $K$ satisfies the Strong Slope Conjecture with $SS(1)$, there is a properly embedded essential surface $S_K$ in the exterior of $K$ whose boundary slope is $4a_1$ and $$\frac{\chi(S_K)}{|{\partial}S_K| \cdot \frac{s}{\gcd(4,\,s)}} = 2 b_1.$$ When addressing the Slope Conjecture for $W^\tau_\omega(K)$ in this case, we constructed a properly embedded essential surface $S = m S_K \cup n S^{\tau}_\omega$ in the exterior of $W^\tau_\omega(K)$ by joining $m$ copies of $S_K$ in $E(K)$ to $n$ copies of the surface $S^{\tau}_\omega$ in $V - N(k^\tau_\omega)$. This requires that $$m |{\partial}S_K| = n |{\partial}S^{\tau}_\omega \cap T_K|.$$

The surface $S^{\tau}_\omega$ is identified with a surface of type $F_{\gamma^{-}_5}$ (with $k = -\omega$) in the exterior of the $[2,2\omega,-2]$ two-bridge link where $\frac{\alpha}{\beta} = 8a_1 - 2\tau = \frac{8r- 2\tau s}{s} > 1$ so that $S^{\tau}_\omega$ has boundary slope $4a_1$ on ${\partial}V$. We choose $\beta = 2s$ and $\alpha = 2(8r - 2\tau s)$, so that $F_{\gamma^{-}_5} = F_{\gamma^{-}_5, \alpha, \beta}$ is orientable; see Subsection \[algorithm\]. Then, using Table \[table:4k-1by8ksummary\], we calculate the following:

-   $\chi(S^{\tau}_\omega) 
    = -\alpha + 2(1-k)\beta 
    = -\alpha + 2(1+\omega)\beta 
    = -16r +4(\tau +\omega +1)s$,

-   slope of ${\partial}S^{\tau}_\omega$ on $T_W$ is $2\frac{\alpha}{\beta} - 2 +4k 
    = 2\frac{\alpha}{\beta} - 2 -4 \omega
    = 2( \frac{8r-2 \tau s}{s}) -2-4\omega
    = \frac{16r-4\tau s -2s -4\omega s}{s}$,

-   $|{\partial}S^{\tau}_\omega \cap T_K| 
    = \gcd(2\beta, \alpha) 
    = \gcd(4s, 16r-4\tau s) 
    = 4 \gcd(s, 4)$, and

-   $|{\partial}S^{\tau}_\omega \cap T_W| 
    = \gcd(2\alpha, \beta) 
    = \gcd(32r-8\tau s, 2s) 
    = 2\gcd(16, s)$.

The boundary of $S$ consists of $n$ copies of the boundary of $S^{\tau}_\omega$ on $T_W$, so we have

-   $|{\partial}S| = n | \partial S^{\tau}_{\omega} \cap T_W | = 2n \gcd(16,s)$.

Moreover, the boundary slope of $S$ is the slope of ${\partial}S^{\tau}_\omega$ on $T_W$, and so this has denominator $\frac{s}{\gcd(16r -4\tau s -2s-4\omega s,\, s)}  
= \frac{s}{\gcd(16,\,s)}$. We may now calculate $$\begin{aligned}
  \frac{\chi(S)}{|{\partial}S| \cdot \frac{s}{\gcd(16,\,s)}} 
  &= \frac{m \chi(S_K) + n \chi(S^{\tau}_\omega)}{ 2n \gcd(16,s) \cdot \frac{s}{\gcd(16,\,s)}} \\
  &= \frac{ 2 b_1 m |{\partial}S_K| \cdot \frac{s}{\gcd(4,\,s)} + n (-16r +4(\tau +\omega +1)s)}{2n s} \\
  &= \frac{ 8 b_1 n \gcd(4,s) \cdot \frac{s}{\gcd(4,\,s)} + n (-16r +4(\tau +\omega +1)s)}{2n s} \\
  &= \frac{ 8 b_1 n s+ n (-16r +4(\tau +\omega +1)s)}{2n s} \\
  &= 4 b_1 - 8r/s +2(\tau + \omega +1) \\
  &= -8a_1 +4 b_1 +2\tau + 2\omega +2 \\
  &= 2(-4a_1 + 2b_1 +  \tau + \omega +1) \\
  &= 2b_W\end{aligned}$$ as desired.

If the glued surface $S = m S_K \cup n S^{\tau}_\omega$ is non-orientable, then we replace $S$ by the frontier $\widetilde{S}$ of the tubular neighborhood of $S$. By Lemma \[double\] $\widetilde{S}$ and $S$ has the same boundary slope and $\displaystyle \frac{\chi(\widetilde{S})}{|{\partial}\widetilde{S}| \cdot \frac{s}{\gcd(16,\,s)}} 
= \frac{\chi(S)}{|{\partial}S| \cdot \frac{s}{\gcd(16,\,s)}}$. Thus the essential surface $S$ or $\widetilde{S}$ (when $S$ is non-orientable) is the desired essential surface.

**Case 2-2. $a_1 \le \frac{\tau}{4}+\frac{1}{8}$.**

In this case, the argument in Case $2$ in the proof of Theorem \[bothslopeconjecturesWmt\](1) and Table \[table:4k-1by8ksummary\] show that $|\partial S| = 2$ and $\chi(S) = (1-2k)\cdot 2 = (1+2\omega)\cdot 2 = 4\omega + 2$.

Note that $\partial S \cap T_W$ consists of two simple closed curves each of which has slope $-4\omega$ ($\partial S \cap T_K = \emptyset$). Hence $$\frac{\chi(S)}{| \partial S | q} = \frac{\chi(S)}{| \partial S |}  
= \frac{4\omega+2}{2} = 2\omega+1 = 2 (\omega + \frac{1}{2}) = 2 b_W.$$ Thus $S$ satisfies the required condition.

This completes the proof of Theorem \[bothslopeconjecturesWmt\](2).

Apply Proposition \[maxdeg-signcond\] and the argument in the proof of Theorem \[bothslopeconjecturesWmt\].

Proof of Corollary \[finite-sequence\] {#corollary}
======================================

The aim of this section is to prove Corollary \[finite-sequence\].

First we review notions of adequacy for knots. Let $D$ be a diagram of a knot in $S^3$. A *state* for $D$ is a choice of replacing every crossing of $D$ by *$A$–resolution* or *$B$–resolution* as in Figure \[fig:resolution\] with the dotted segment recording the location of the crossing before the replacement. The state $\sigma_{+}$ ( resp. $\sigma_{-}$ ) denotes the choice of $A$ (resp. $B$) -resolution at each crossing of $D$. Applying a state to $D$, we obtain a set of disjoint circles called *state circles*. We form *$\sigma$-state graph* $G_{\sigma}(D)$ for a state $\sigma$ by letting the resulting circles be vertices and the dotted segments be edges.

![$A$–resolution and $B$–resolution[]{data-label="fig:resolution"}](resolution.eps){width="0.5\linewidth"}

A diagram $D$ is *$A$–adequate* (resp. *$B$–adequate*) if the graph $G_{\sigma_+}(D)$ ( resp. $G_{\sigma_-}(D)$ ) has no one-edged loop. If $D$ is both $A$–adequate and $B$–adequate, then $D$ is called *adequate*. A knot is *$A$–adequate* (resp. *$B$–adequate*) if it has a $A$–adequate diagram (resp. $B$–adequate diagram). A knot is *adequate* if it has an adequate diagram.

Any knot obtained by a finite sequence of cabling, untwisted $\omega$–generalized Whitehead doublings with $\omega > 0$ and connected sums of $B$–adequate knots or torus knots satisfies the Strong Slope Conjecture.

This result follows from a more general proposition below (Proposition \[induction\]), for which we introduce the following technical condition.

\[condition\] We say that $K$ satisfies *Condition $\delta$* if

1.  $\delta_K(n)=an^2 + bn + c(n)$ has period at most $2$,

2.  $b \le 0$,

3.  $4a \in \mathbb{Z}$, and

4.  $b=0 \implies a \neq 0$.

This Condition $\delta$ is slightly stronger than the Condition $\delta$ in [@BMT_graph]. They are the same except for the addition of item (4).

\[kappa\] Let $\mathcal{K}$ be the maximal set of knots in $S^3$ of which each is either the trivial knot or satisfies the Sign Condition, Condition $\delta$, and the Strong Slope Conjecture.

\[Kexamples\] Torus knots and $B$–adequate knots belong to $\mathcal{K}$.

-   The trivial knot is in $\mathcal{K}$ by definition.

-   Any nontrivial torus knot satisfies the Strong Slope Conjecture and Condition $\delta$ via [@KT Theorem 3.9]. More precisely, if $K$ is a positive torus knot, then $0 < 4a \in \mathbb{Z}$ and $b = 0$. If $K$ is a negative torus knot, then $a = 0$ and $b < 0$. Furthermore, it follows from [@BMT_graph Proposition 4.3] that any torus knot satisfies the Sign Condition. Hence torus knots are in $\mathcal{K}$.

-   Any nontrivial $B$–adequate knot satisfies the Strong Slope Conjecture and Condition $\delta$ via [@FKP; @FKP2] and [@KT Lemma 3.6, 3.8]. More precisely, $0 \le 4a \in \mathbb{Z},  b \le 0$. See [@KT Lemma 3.6]. If $b = 0$, then $K$ is a torus knot and $a > 0$ ([@KT Lemma 3.8]). Furthermore, it follows from [@BMT_graph Proposition 4.4] that any $B$–adequate knot satisfies the Sign Condition. Hence $B$–adequate knots are in $\mathcal{K}$.

\[induction\] The set $\mathcal{K}$ is closed under connected sum, cabling and untwisted $\omega$–generalized Whitehead doubling with $\omega > 0$.

To prove this proposition, we prepare some lemmas.

\[connected sum\] Assume that $K_i \in \mathcal{K}$. Then $K_1 \sharp K_2 \in \mathcal{K}$.

Since the trivial knot is the identity for the connected sum operation, we may assume neither $K_1$ nor $K_2$ is trivial. Then by [@BMT_graph Lemma 4.1] we only need to see that (4) in Condition $\delta$ holds. Write $\delta_{K_i}(n) = a_i n^2 + b_i n + c_i(n)$. Then $$\begin{aligned}
\delta_{K_1 \sharp K_2}(n) 
&= \delta_{K_1}(n) + \delta_{K_2}(n) - \frac{1}{2}n + \frac{1}{2} \\
&= (a_1 + a_2)n^2 + (b_1 + b_2 -\frac{1}{2}) n + (c_1(n) + c_2(n) + \frac{1}{2}). \end{aligned}$$ Since $b_i \le 0$, we have $b_1 + b_2 -\frac{1}{2} < 0$.

Hence (4) obviously holds for $K_1 \sharp K_2$.

\[cabling\] Assume that $K \in \mathcal{K}$. Then its $(p, q)$–cable $K_{p, q}$ $$q > 1$$ belongs to $\mathcal{K}$.

If $K$ is trivial, then its cables $K_{p,q}$ are torus knots. By Example \[Kexamples\], these belong to $\mathcal{K}$. Thus we may assume $K$ is non-trivial.

By [@BMT_graph Lemma 4.2] we only need to see that (4) in Condition $\delta$ holds. If $\delta_{K}(n) = a n^2 + b n + c(n)$, then we have [@BMT_graph Proposition 3.1]: $$\delta_{K_{p,q}}(n)=
   \left\{ \begin{array}{ll} 
           q^2 a n^2 +\left(q b+\frac {(q-1)(p-4qa)}{2} \right) n & \\
          \quad\quad +\left(a(q-1)^2-(b+\frac p 2)(q-1)+c(i)\right) & \mbox{for } \frac p q< 4a, \\
          \frac {pq(n^2-1)} 4+C_j(K_{p,q})  &  \mbox{for }\frac p q \geq 4a.
          \end{array} \right.$$ where $i \equiv_{(2)} q(n-1)+1$, $j \equiv_{(2)} n$, and $C_j(K_{p,q})$ is a number that only depends on the knot $K$ and the numbers $p$ and $q$.

Assume first that $\frac{p}{q} < 4a$. If $q^2a = 0$, then $a=0$. Thus $p/q < 0$ and $p < 0$ (because $q > 1$). Then $q b+\frac {(q-1)(p-4qa)}{2} = qb + \frac{p(q-1)}{2} < 0$ (because $b \le 0$). Hence, if $q b+\frac {(q-1)(p-4qa)}{2} = 0$, then $q^2a \ne 0$. In the case where $\frac{p}{q} \ge 4a$, the linear therm is $0$, but the quadratic term $\frac{pq}{4}$ is not $0$.

Therefore $K_{p, q}$ also satisfies Condition $\delta$.

\[doubling\] Assume that $K \in \mathcal{K}$. Then its untwisted $\omega$–generalized Whitehead double $W_{\omega}^0(K)$ with $\omega >0$ also belongs to $\mathcal{K}$.

Note that an untwisted $\omega$–generalized Whitehead double of the trivial knot is again a trivial knot. So we may assume $K$ is non-trivial.

Write $\delta_{K}(n) = a n^2 + b n + c(n)$. Since $K$ satisfies Condition $\delta$, $\delta_{K}(n)$ has period at most $2$ and we have $b \le 0$, $4a \in \mathbb{Z}$, and $a \ne 0$ if $b = 0$.

Since $\omega \in {\mathbb Z}$, we may assume $\omega \geq 1$. Since $\tau = 0$, Propositions \[maxdeg-signcond\] show that

$$\delta_{W_{\omega}^{0}(K)}(n)=
   \left\{ \begin{array}{ll} 
            4a n^2 +(- 4a+2b - \frac{1}{2}) n+a - b + c_1+\frac{1}{2} & (a > 0), \\
             -\frac 1 2 n+C_+(K, 0)+\frac{1}{2}  &  (a < 0), \\
             -\frac{1}{2}n + C_+'(K, 0) + \frac{1}{2} &  (a = 0, b \ne 0),
         \end{array} \right.$$

We now check Condition $\delta$ for $W_{\omega}^{0}(K)$. Obviously (1) in Condition $\delta$ holds; actually $ \delta_{W_{\omega}^{0}(K)}(n)$ is a usual polynomial rather than quasi-polynomial. Since $4(4a)$, $0$ are integers, we have (3) in Condition $\delta$.

To address (2) and (4) in Condition $\delta$ we first examine the coefficients of $\delta_{W_{\omega}^{0}(K)}(n)$. When $a > 0$, since $b \le 0$ (by Condition $\delta$ for $K$), we have $-4a + 2b - \frac{1}{2} < 0$. Thus the coefficient of linear term of $\delta_{W_{\omega}^{0}(K)}(n)$ is negative; in particular it is not $0$. When $a \le 0$, the coefficient of linear term of $\delta_{W_{\omega}^{0}(K)}(n)$ is $-\frac{1}{2} < 0$. Hence (2) and (4) in Condition $\delta$ hold.

Since $K$ satisfies the Sign Condition, the last assertion in Proposition \[maxdeg-signcond\] shows that $W_{\omega}^{0}(K)$ also satisfies the Sign Condition. So it remains to show that $W_{\omega}^{0}(K)$ enjoys the Strong Slope Conjecture, which is equivalent in this case to the Strong Slope Conjecture with $SS(1)$ by Remark \[constant\]. Note that since $K$ satisfies the Strong Slope Conjecture and Condition $\delta$, it also satisfies the Strong Slope Conjecture with $SS(1)$; again, see Remark \[constant\]. Since $\tau = 0$, to apply Theorem \[slopeconjectureWmtSignCond\] we need to check extra conditions: if $b = 0$, then $a \ne \frac{\tau}{4} = 0$.

If $b = 0$, then by Condition $\delta$ for $K$, we have $a \ne 0$. Hence, Theorem \[slopeconjectureWmtSignCond\] shows that $W_{\omega}^{0}(K)$ satisfies the Strong Slope Conjecture.

The proof follows from Lemmas \[connected sum\], \[cabling\] and \[doubling\].

Since the trivial knot, torus knots, and $B$–adequate knots belong to $\mathcal{K}$ by Example \[Kexamples\], the proof follows from Proposition \[induction\].

As we mentioned in Section \[section:Introduction\] adequate knots satisfy the assumption in Theorem \[bothslopeconjecturesWmt\]. Recall that a positive torus knot is $A$–adequate and a negative torus knot is $B$–adequate [@FKP Example 9]. We say that a knot $K$ is *inadequate* if it is neither $A$–adequate nor $B$–adequate. We close this section by observing that $\mathcal{K}$ contains infinitely many inadequate knots.

\[inadequate\] Let $T_{p, q}$ and $T_{p', -q'}$ be torus knots with odd integers $p, q, p', q' > 1$. Then a connected sum $T_{p, q}\, \sharp\, T_{p', -q'}$ is inadequate. Following Corollary \[finite-sequence\] $T_{p, q} \,\sharp\, T_{p', -q'}$ belongs to $\mathcal{K}$.

Let us denote the minimum degree of $J'_{K,n}(v)$ by $d_-[J'_{K,n}(v)]$. (Here we use the letter “$v$” instead of “$q$” for variables of normalized colored Jones functions to avoid notational confusion.) Assume for a contradiction that $T_{p, q}\, \sharp\, T_{p', -q'}$ is $A$–adequate or $B$–adequate. Thus $T_{p, q}\, \sharp\, T_{p', -q'}$ admits a diagram $D$ with $c_{+}$ positive crossings and $c_{-}$ negative crossings, which is $A$–adequate or $B$–adequate. Then [@FKP Lemma 6] shows that if $D$ is $A$–adequate, then $d_{-}[J'_{T_{p, q}\, \sharp\, T_{p', -q'}, n}(v)] = - \frac{c_{-}}{2} n^2 + O(n)$, and if $D$ is $B$–adequate, then $d_{+}[J'_{T_{p, q}\, \sharp\, T_{p', -q'}, n}(v)] =  \frac{c_{+}}{2} n^2 + O(n)$, where $O(n)$ denotes a term that is at most linear in $n$. To apply this result let us compute $d_{+}[J'_{T_{p,q}\, \sharp\, T_{p', q'}, n}(v)]$ and $d_{-}[J'_{T_{p,q}\, \sharp\, T_{p', q'}, n}(v)]$. Garoufalidis [@Garoufalidis Section 4.8] computes normalized colored Jones functions of $T_{p, q}$ $(p, q > 0)$ explicitly: $$\begin{aligned}
 && 
d_{+}[J'_{T_{p,q}, n}(v)] = \frac{pq}{4}n^2 - \frac{1}{2}n - \frac{pq-2}{4} - (1+(-1)^n)\frac{(p-2)(q-2)}{8},\\
&& d_{-}[J'_{T_{p,q}, n}(v)] = \frac{(p-1)(q-1)}{2}n - \frac{(p-1)(q-1)}{2}. \end{aligned}$$ Since $T_{p', -q'}=\overline{T_{p', q'}}$, we have $$\begin{aligned}
 && 
d_{+}[J'_{T_{p', -q'}, n}(v)] 
= - d_{-}[J'_{T_{p', q'}, n}(v)] 
= -\frac{(p'-1)(q'-1)}{2}n + \frac{(p'-1)(q'-1)}{2},\\
&& d_{-}[J'_{T_{p', -q'}, n}(v)] 
= - d_{+}[J'_{T_{p', q'}, n}(v)] 
=  -\frac{p'q'}{4}n^2 + \frac{1}{2}n + \frac{p'q'-2}{4} + (1+(-1)^n)\frac{(p'-2)(q'-2)}{8}. \end{aligned}$$

Hence $$d_{+}[J'_{T_{p,q}\, \sharp\, T_{p', q'}, n}(v)] 
= d_{+}[J'_{T_{p,q}, n}(v)] + d_{+}[J'_{T_{p' ,q'}, n}(v)]
= \frac{pq}{4} n^2 + O(n)$$ and $$d_{-}[J'_{T_{p,q}\, \sharp\, T_{p', q'}, n}(v)] 
= d_{-}[J'_{T_{p,q}, n}(v)] + d_{-}[J'_{T_{p' ,q'}, n}(v)]
= -\frac{p'q'}{4} n^2 + O(n)$$

Since $p, q, p', q' > 1$ are odd integers, $\frac{pq}{4},  -\frac{p'q'}{4} \not \in \frac{1}{2}\mathbb{Z}$. This is a contradiction.

Is a twisted generalized Whitehead double of an inadequate knot also inadequate?

Non-adequate Whitehead doubles {#non-adequate}
==============================

As shown by Kalfagianni-Tran [@KT] and Futer-Kalfagianni-Purcell [@FKP; @FKP2] (cf. [@Ozawa]), adequate knots and their iterated cables satisfy the Strong Slope Conjecture. In some cases a Whitehead double is a $B$–adequate knot.

\[minus\_adequate\_W\] Let $K$ be a knot which has a $B$–adequate diagram with non-negative writhe. The its untwisted negative Whitehead double is also $B$–adequate.

Let $K$ be a knot which has a $B$–adequate diagram $\mathcal{D}(K)$ whose writhe is not negative; $\mathcal{D}_-(K)$ denotes a diagram obtained from $\mathcal{D}(K)$ by applying $B$–resolution at each crossing. Then we have a diagram $\mathcal{D}(W_{1}^{0}(K))$ of $W_{1}^{0}(K)$ as in the Figure \[fig:adequate\_tgW\]. Apply $B$–resolution at each crossing to $\mathcal{D}(W_{1}^{0}(K))$ to obtain a diagram $\mathcal{D}^2_-(K) \cup C$, where $\mathcal{D}^2(K)$ denotes a diagram obtained from $\mathcal{D}(K)$ by replacing each of its component by $2$ parallels and $\mathcal{D}^2_-(K)$ denotes a diagram obtained from $\mathcal{D}^2(K)$ by applying $B$–resolution at each crossing. Since $\mathcal{D}(K)$ is $B$–adequate, [@Le-lec Lemma 2.17] implies that $\mathcal{D}^2(K)$ is also $B$–adequate, and hence the $\sigma_{-}$–state graph associated to $\mathcal{D}_{-}^2(K)$ has no loop edge. (In [@Le-lec] Le use the terminology *plus*-adequate (resp. *minus*-adequate) to mean $A$–adequate (resp. $B$–adequate).) Then it is easy to see that the graph associated to $\mathcal{D}^2_-(K) \cup C$ has no loop edge, and hence $\mathcal{D}(W_{1}^{0}(K))$ is $B$–adequate as well. Thus $W_{1}^{0}(K)$ is $B$–adequate.

![[]{data-label="fig:adequate_tgW"}](adequate_tgW-Badequate.eps){width="4in"}

We may expect that most Whitehead doubles are not adequate. However, to the best our knowledge, there are no explicit such examples. So for completeness we give explicit family of Whitehead doubles which are not adequate. Recall that $W_1^0(K)$ is the (untwisted) negative Whitehead double of $K$. In the following, for notational simplicity, we denote $W_1^0(K)$ by $W_{-}(K)$. We also denote the (untwisted) positive Whitehead double of $K$ by $W_{+}(K)$, which may be written as $W_{-1}^0(K)$.

\[non-adequate\_W\] Let $K$ be the torus knot $T_{2,-(2m+1)}$ for $m \ge 2$. Then $W_{-}(K)$ is not adequate.

Since $K = T_{2,-(2m+1)}$ is alternating, it is adequate. So this result shows that even when $K$ is adequate, its Whitehead double $W_{-}(K)$ may not be adequate.

To prove Theorem \[non-adequate\_W\], we prepare two lemmas below. Let us denote the Turaev genus of $K$ by $g_T(K)$, which was introduced by Turaev [@Turaev], and denote the minimal crossing number of $K$ by $c(K)$.

\[Turaev\_genus\_1\] If $W_{-}(T_{p, -q})$ is adequate for $p, q > 0$, then $g_T(W_{-}(T_{p, -q})) = 1$.

Since $T_{p, -q}=\overline{T_{p, q}}$, $$\delta_{T_{p, -q}}(n) = - \delta^{*}_{T_{p, q}}(n) =-\frac {pq-p-q} 2 n+\frac {pq-p-q} 2,$$ and then by Proposition \[maxdeg\_KT\_Wmt-allw\], we obtain: $$\delta_{W_-(T_{p, -q})}(n)=-\frac{1}{2} n + \frac {pq-p-q} 2 + \frac{1}{2}.$$ Moreover, since $$\delta_{T_{p, q}}(n) =\frac {pq} 4 n^2-\frac {pq} 4-(1+(-1)^n)\frac{(p-2)(q-2)}{8},$$ by Propositions \[maxdeg\_KT\_Wmt-allw\] and $\delta^{*}_{W_-(T_{p, -q})}(n)=-\delta_{\overline{W_-(T_{p, -q})}}=-\delta_{W_{-1}^0(T_{p, q})}(n)$, we obtain: $$\delta^{*}_{W_-(T_{p, -q})}(n)=-(pq+\frac{1}{2})n^2+pq n+ \frac{1}{2}.$$ Then, it follows that $$\delta_{W_-(T_{p, -q})}(n)- \delta^{*}_{W_-(T_{p, -q})}(n)
=(pq+\frac{1}{2})n^2-(pq+\frac{1}{2})n +  \frac {pq-p-q} 2.$$

Then [@Ka Theorem 1.1] asserts: $$c(W_-(T_{p, -q})) = 2(pq+\frac{1}{2}) = 2pq + 1,\quad \mathrm{and}$$ $$-(pq+\frac 1 2) = 1-g_T(W_-(T_{p, -q}))-c(W_-(T_{p, -q}))/2  =1-g_T(W_-(T_{p, -q}))-(pq+\frac 1 2).$$ Hence, we have $g_T(W_-(T_{p, -q}))=1$ as desired.

\[Turaev\_genus\_not\_1\] $g_T(W_-(T_{2, -(2m+1)})) \ne 1$.

It follows from [@DFKLS Lemmas 4.1 and 4.5] that a Turaev genus one knot admits an alternating projection on a standardly embedded torus in $S^3$. Recall that since any Whitehead double has (Seifert) genus one, it is prime. Then Adams [@Adams] has shown that such knots are either torus knots or hyperbolic knots. Thus the Whitehead double of any non-trivial knot cannot have Turaev genus one.

Assume for a contradiction that $W_-(T_{2, -(2m+1)})$ is adequate. Following Lemma \[Turaev\_genus\_1\] $g_T(W_-(T_{2, -(2m+1)})) = 1$. On the contrary, Lemma \[Turaev\_genus\_not\_1\] shows that $g_T(W_-(T_{2, -(2m+1)})) \ne 1$, a contradiction.

Theorem \[non-adequate\_W\] says that $W_{-}(K)$ is not adequate, and we can see that a modification of the diagram of $W_{-}(K)$ in Figure \[fig:Wwtwrithe0\] is $A$–adequate. So it is not $B$–adequate. However Theorem \[bothslopeconjecturesWmt\] (or Theorem \[slopeconjectureWmtSignCond\]) shows that $W_{-}(K)$ satisfies the Strong Slope Conjecture.

**Acknowledgements** – We would like to thank the referee for careful reading and valuable suggestions that have enabled us to improve the article. In particular, the proof of Lemma \[Turaev\_genus\_not\_1\] was simplified by the referee’s suggestion.

[99]{}

C. Adams; Toroidally alternating knots and links, Topology **33** (1994), 353–369.

K.L. Baker, K.Motegi and T.Takata, The Strong Slope Conjecture for cablings and connected sums, in preparation.

O.T. Dasbach, D. Futer, E. Kalfagianni, X.S. Lin, and N. Stoltzfus, The Jones polynomial and graphs on surfaces, J. Combin. Theory Ser. B **98** (2008), 384–399.

W. Floyd and A. Hatcher; The space of incompressible surfaces in a $2$–bridge link complement, Trans. Amer. Math. Soc. **305** (1988), 575–599.

D. Futer, E. Kalfagianni and J. Purcell; Slopes and colored Jones polynomials of adequate knots, Proc. Amer. Math. Soc., **139** (2011), 1889–1896.

D. Futer, E. Kalfagianni, J. Purcell; Guts of surfaces and the colored Jones polynomial, Lecture Notes in Mathematics, 2069. Springer, Heidelberg, 2013. x+170 pp.

S. Garoufalidis; The Jones slopes of a knot, Quantum Topology **2** (2011), 43–69.

S. Garoufalidis; The degree of a $q$-holonomic sequence is a quadratic quasi-polynomial, Electron. J. Combin. **18(2)** (2011), 23 pp.

S. Garoufalidis and T.T. Le; The colored Jones function is $q$-holonomic, Geom. Topol. **9** (2005),1253–1293.

S. Garoufalidis and R. van der Veen; Quadratic integer programming and the slope conjecture, New York J. Math. **22** (2016), 907–932.

A.E. Hatcher; On the boundary curves of incompressible surfaces, Pacific J. Math. **99** (1982), 373–377.

A. Hatcher and W. Thurston; Incompressible surfaces in $2$–bridge knot complements, Invent. Math. **79** (1985), 225–246.

J. Hoste and P. Shanahan; Computing boundary slopes of $2$–bridge links, Math. Comp. **76** (2007), 1521–1545.

J. Howie: Coiled surfaces and slope conjectures, in preparation.

E. Kalfagianni; “Colored Jones polynomials,” Talk at AMS meeting, Hartford, CT, April 2019.

E. Kalfagianni; A Jones slopes characterization of $A$ adequate knots, Indiana Univ. Math. J. **67**(1) (2018) 205–219.

E. Kalfagianni and A.T. Tran; Knot cabling and the degree of the colored Jones polynomial, New York J. Math. **21** (2015), 905–941.

A.E. Lash; Boundary curve space of the Whitehead link complement, Ph.D. thesis, University of California, Santa Barbara, 1993.

T.T. Le; The colored Jones polynomial and the AJ conjecture,\
[http://people.math.gatech.edu/\~letu/Papers/Lectures\_Luminy\_2014\_new.pdf]{}.

G. Masbaum; Skein-theoretical derivation of some formulas of Habiro, Algebr. Geom. Topol. **3** (2003), 537–556.

G. Masbaum and P. Vogel; $3$–valent graphs and the Kauffman bracket, Pacific J. Math. **164** (1994), 361–381.

H. R. Morton; The coloured Jones function and Alexander polynomial for torus knot, Math. Proc. Cambridge Philos. Soc. **117** (1995), 129–135.

K. Motegi and T. Takata; The slope conjecture for graph knots, Math. Proc. Camb. Philos. Soc. **162** (2017), 383–392.

M. Ozawa; Essential state surfaces for knots and links, J. Aust. Math. Soc. **91**(2011), 391–404.

T. Tanaka; The colored Jones polynomials of doubles of knots, J. Knot  Theory **17** No.8 (2008), 925–937.

V. G. Turaev; A simple proof of the Murasugi and Kauffman theorems on alternating links, Enseign. Math. **33** (1987), 203–225.

H. Zheng; Proof of the volume conjecture for Whitehead doubles of a Family of torus knots, Chin. Ann. Math., **26** B(4) (2007), 375–388.
