Abstract
In this paper, we study the relation between the function \(J_{4_1,0}\), which arises from a quantum invariant of the figure-eight knot, and Sudler’s trigonometric product. We find \(J_{4_1,0}\) up to a constant factor along continued fraction convergents to a quadratic irrational, and we show that its asymptotics deviates from the universal limiting behavior that has been found by Bettin and Drappeau in the case of large partial quotients. We relate the value of \(J_{4_1,0}\) to that of Sudler’s trigonometric product, and establish asymptotic upper and lower bounds for such Sudler products in response to a question of Lubinsky.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Quantum knot invariants arise in theoretical quantum physics, where a knot can be regarded as the spacetime orbit of a charged particle. A typical example of such an invariant is the n-colored Jones polynomial of the knot \(K=4_1\) (the figure-eight knot), which is given byFootnote 1
defined for roots of unity q. For a fixed q, the mapping \(n \mapsto J_{4_1,n}(q)\) is periodic in n, and so the definition can be extrapolated backwards in n to give
for a root of unity q. Note that both sums actually have only finitely many terms for any root of unity q. The figure-eight knot is the simplest hyperbolic knot; for other hyperbolic knots K one obtains formulas for \(J_{K,0}\) which are of a somewhat similar but more complicated nature. The so-called Kashaev invariant \(\langle K \rangle _n = J_{K,n} (e(1/n))\), \(n=1,2,\dots \) is another quantum invariant of the knot K; here and for the rest of the paper \(e(x)=e^{2 \pi i x}\). The Kashaev invariant plays a key role in the volume conjecture, an open problem in knot theory which relates quantum invariants of knots with the hyperbolic geometry of knot complements. For more general background information, see [15]; in the context of our present paper we refer to [6] and the references therein.
The functions \(J_{K,0}\) also have an interpretation as quantum modular forms as introduced by Zagier [17], and are predicted by Zagier’s modularity conjecture to satisfy an approximate modularity property. For the figure-eight knot the modularity conjecture has been established [6, 9]; that is, the function \(J_{4_1,0}(q)\) satisfies a remarkable modularity relation of the form \(J_{4_1,0}(e(\gamma r))/J_{4_1,0}(e(r)) \sim \varphi _{\gamma } (r)\), where \(\gamma \in \mathrm {SL}_2({\mathbb {Z}})\) acts on rational numbers r in a natural way, and the asymptotics holds as \(r \rightarrow \infty \) along rational numbers with bounded denominators. The ratio \(J_{4_1,0}(e(\gamma r))/J_{4_1,0}(e(r))\) as a function of r in general has a jump at every rational point, and consequently the asymptotics of \(J_{4_1,0}(e(a/b))\) along rationals a/b with \(b \rightarrow \infty \) is quite involved. It is known [2] that
where
is the hyperbolic volume of the complement of the figure-eight knot; this follows from the fact that the volume conjecture, as well as its stronger form, the arithmeticity conjecture have been verified for \(4_1\). Bettin and Drappeau [6, Theorem 3] found the asymptotics of \(J_{4_1,0}(e(a/b))\) for more general rationals a/b in terms of their continued fraction expansions: if \(a/b=[a_0;a_1, \dots , a_k]\), \(a_k>1\), is a sequence of rational numbers such that \((a_1+\cdots +a_k)/k \rightarrow \infty \), then
The result applies to a large class of rationals, including \(1/n=[0;n]\), as well as to almost all reduced fractions with denominator at most n, as \(n \rightarrow \infty \). Verifying a conjecture made by Bettin and Drappeau, in this paper we will show that (2) in general fails to be true without the assumption \((a_1+\cdots +a_k)/k \rightarrow \infty \).
The individual terms in (1) can be expressed in terms of the so-called Sudler products, which are defined as
This could also be written using q-Pochhammer symbols as
but (3) seems to be the more common notation. The history of such products goes back at least to work of Erdős and Szekeres [8] and Sudler [16] around 1960, and they seem to arise in many different contexts (see [14] for references). Bounds for such products also play a role in the solution of the Ten Martini Problem by Avila and Jitomirskaya [3]. It is somewhat surprising that, despite the obvious connection between (1) and (3), we have not found a reference where both objects appear together. A possible explanation is that (1) is only well-defined when \(q = e(a/b)\) with a/b being a rational, while the asymptotic order of (3) as \(N \rightarrow \infty \) is only interesting when \(\alpha \) is irrational. We will come back to this issue in Proposition 3 below.
Note that for any rational number a/b we have \(P_N (a/b)=0\) whenever \(N \ge b\); in particular, this means that \(J_{4_1,0}(e(a/b)) = \sum _{N=0}^{b-1} P_N (a/b)^2\). The asymptotics (2) a fortiori holds for more general functionals of the sequence \((P_N(a/b))_{0 \le N <b}\). For instance, it is not difficult to see that under the same conditions as those of (2) for any real \(c>0\),
and also
In particular, the maximal term in \(J_{4_1,0}(e(a/b)) = \sum _{N=0}^{b-1} P_N(a/b)^2\) is almost as large as the sum itself. For the sake of completeness, we formally deduce (4) and (5) from (2) in Sect. 2.
It is natural to consider the same quantities along the sequence of convergents \(p_k/q_k=[a_0;a_1, \dots , a_k]\) to a given irrational number \(\alpha =[a_0;a_1,a_2, \dots ]\). Formulas (2), (4) and (5) give precise results for a large class of irrationals, but not when the sequence \(a_k\) is bounded; our main result concerns this case. Recall that \(\alpha \) is badly approximable if and only if \(a_k\) is bounded, and that \(\alpha \) is a quadratic irrational if and only if \(a_k\) is eventually periodic; in particular, quadratic irrationals are badly approximable.
Theorem 1
Let \(\alpha \) be a quadratic irrational. For any real \(c>0\) and any \(k \ge 1\),
and
with some constants \(K_c (\alpha ), K_{\infty }(\alpha ) >0\). The implied constants depend only on \(\alpha \).
In particular, we have
The proof of Theorem 1 is based on the self-similar structure of quadratic irrationals; that is, on the periodicity of the continued fraction. In fact, it is not difficult to construct a badly approximable \(\alpha \) for which the result is not true.
Quadratic irrationals exhibit a remarkable deviation from the universal behavior of irrationals with unbounded partial quotients. In contrast to (2), (4) and (5), the constants \(K_c(\alpha )\) and \(K_{\infty }(\alpha )\) in Theorem 1 are in general not equal to each other, or to \(Vol (4_1){\overline{a}}(\alpha )/(4 \pi )\); here \({\overline{a}}(\alpha ) = \lim _{k \rightarrow \infty } (a_1+\cdots +a_k)/k\) denotes the average partial quotient, which is of course simply the average over a period in the continued fraction expansion. We have not been able to calculate the precise value of \(K_c (\alpha )\) for any specific quadratic irrational and for any c; as far as we can say, this seems to be a difficult problem. The precise value of \(K_\infty (\alpha )\) is known for some quadratic irrationals with very small partial quotients, as a consequence of results in [1]; for \(\alpha \) with larger partial quotients, calculating \(K_\infty (\alpha )\) precisely also seems to be difficult.
However, it is possible to give fairly good general upper and lower bounds for \(K_c(\alpha )\) and \(K_\infty (\alpha )\) in terms of the partial quotients. Recall that for any quadratic irrational \(\alpha \), we have \(\log q_k = \lambda (\alpha ) k+O(1)\) with some constant \(\lambda (\alpha )>0\); see Sect. 3 for a simple way of computing \(\lambda (\alpha )\) from the continued fraction. We start with three simple observations. First, for any rational number a/b with \((a,b)=1\), the identityFootnote 2
provides the trivial lower bound \(\max _{0 \le N <b} P_N(a/b) \ge b\). This immediately yields
Second, for any rational number a/b with \((a,b)=1\) and any real \(c>0\), we also have
which in turn shows that
Finally, we establish an antisymmetry of the sequence \((P_N(a/b))_{0 \le N <b}\); we call it the “reflection principle”. It is based on an observation which was already made in [1].
Proposition 2
For any rational number a/b with \((a,b)=1\), and any integer \(0 \le N < b\),
Note that Proposition 2 immediately implies that
thus relating the largest with the smallest value of \(P_N(a/b)\). In particular, all results for \(\max _{0 \le N <b} P_N(a/b)\) have straightforward analogues for the minimum. As a nice further application of Proposition 2, we deduce the average value of \(\log P_N (a/b)\) as
From (7) it follows that \(K_c(\alpha )\) and \(K_{\infty } (\alpha )\) exceed \(Vol (4_1){\overline{a}}(\alpha )/(4 \pi )\) whenever the quadratic irrational \(\alpha \) has relatively small partial quotients. For instance, \(\frac{1+\sqrt{5}}{2}=[1;1,1,1,\dots ]\), \(\sqrt{2}=[1;2,2,2,\dots ]\), \(\frac{1+\sqrt{13}}{2}=[2;3,3,3,\dots ]\), \(\sqrt{5}=[2;4,4,4,\dots ]\), \(\frac{1+\sqrt{29}}{2}=[3;5,5,5,\dots ]\) and \(\sqrt{10}=[3;6,6,6,\dots ]\) satisfy
whereas
In particular, the sequence of convergents to these quadratic irrationals violate (2), (4) and (5), demonstrating that the condition \((a_1+\cdots +a_k)/k \rightarrow \infty \) cannot be removed.
For a quadratic irrational \(\alpha \) with large partial quotients, the constants \(K_c (\alpha )\) and \(K_{\infty } (\alpha )\) are nevertheless close to \(Vol (4_1){\overline{a}}(\alpha ) /(4 \pi )\). Indeed, from results of Bettin and Drappeau [6, Theorem 2 and Lemma 15] it follows that for any rational \(a/b=[a_0;a_1, \dots , a_k]\), \(a_k>1\),
with \(A=1+\max _{1 \le \ell \le k} a_{\ell }\) and a universal implied constant. A fortiori, for any real \(c>0\),
and
The last two relations immediately show that for any quadratic irrational \(\alpha \) and any \(0<c \le \infty \),
with \(A(\alpha ) = 1+ \max _{k \ge 1} a_k\) and a universal implied constant.
In principle it might be the case that \(K_\infty (\alpha )= K_c (\alpha )\) holds for c beyond some threshold; note that this would be in accordance with the asymptotics (4) and (5) for the case \((a_1 + \dots + a_k)/k \rightarrow \infty \). However, we rather believe that \(K_\infty (\alpha )<K_c (\alpha )\) for all quadratic irrationals and all c. In this direction, from (10) and the Jensen inequality applied with the convex function \(e^{cx}\) we deduce that for any real \(c>0\),
in light of (7) and (9), this is nontrivial for \(0<c<2\). In particular, \(K_{\infty } (\alpha ) < K_c (\alpha )\) for all small enough c, and the set \(\{ K_c (\alpha ) \, : \, c>0 \}\) is infinite for all quadratic irrationals.
As we mentioned earlier, previous results on the Sudler product concerned the asymptotics of \(P_N(\alpha )\) as \(N \rightarrow \infty \) with a given irrational \(\alpha \), whereas \(J_{4_1,0}(e(a/b)) = \sum _{N=0}^{b-1} P_N(a/b)^2\) has been studied for rational a/b. To make these two types of results easier to compare, we prove the following simple “transfer principle”.
Proposition 3
Let \(\alpha =[a_0;a_1,a_2,\dots ]\) be an irrational number with convergents \(p_k/q_k=[a_0;a_1,\dots , a_k]\). For any integers \(k \ge 1\) and \(0 \le N < q_k\),
with \(A_k=1+\max _{1 \le \ell \le k} a_{\ell }\) and a universal implied constant.
In particular, for any real \(c>0\),
and
Applying the transfer principle to a quadratic irrational \(\alpha \), Theorem 1 can thus be restated in the irrational setting as
where \(\lambda (\alpha ) >0\) is defined by \(\log q_k = \lambda (\alpha )k+O(1)\), as before. For an arbitrary irrational \(\alpha \) the reflection principle becomes, with the notation of Proposition 3,
in particular,
For the sake of simplicity, we state all remaining results in the irrational setting only.
Erdős and Szekeres [8] proved that \(\liminf P_N (\alpha ) =0\) for almost all \(\alpha \) in the sense of the Lebesgue measure, and asked whether the relation is actually true for all irrational \(\alpha \). Lubinsky [14] gave more quantitative results on \(P_N (\alpha )\) in terms of the continued fraction expansion of \(\alpha \). The metric result of Erdős and Szekeres was extended to a convergence/divergence type criterion, and it was also shown that \(\liminf P_N(\alpha ) =0\) whenever \(\alpha \) has unbounded partial quotients. In addition, the results in the same paper imply
for all irrational \(\alpha \). Note that the relations in the previous line also follow from the identity (6) and the transfer and reflection principles; in fact, the limsup relation is a far-reaching generalization of our trivial lower bound (7). More recently, Grepstad, Kaltenböck and Neumüller [10] established the remarkable relation \(\liminf P_N (\frac{1+\sqrt{5}}{2}) >0\), thus answering the question of Erdős and Szekeres in the negative. On the other hand, however, in the paper [11] by the same authors it was shown that for the special irrational \(\alpha = [0;a,a,a,\dots ]=(\sqrt{a^2+4}-a)/2\) one has \(\liminf P_N (\alpha )=0\) whenever a is sufficiently large. Thus, rather remarkably, the question whether \(\liminf P_N (\alpha )>0\) or \(=0\) depends on the actual size of the partial quotients of \(\alpha \) in a very sensitive way. Numerical experiments suggested a similar change of behavior for large values of \(P_N\): for \(\alpha = [0;a,a,a,\dots ]\) it was conjectured that \(\limsup P_N(\alpha )/N < \infty \) or \(=\infty \), depending on the size of a. This problem was settled in [1], where it was proved that for \(\alpha = [0;a,a,a,\dots ]\),
and
Regarding general badly approximable irrationals \(\alpha \), Lubinsky [14] proved that \(|\log P_N (\alpha )| \ll \log N\); equivalently,
with some constants \(c_1, c_2\) and implied constants depending on \(\alpha \). Let \(c_1(\alpha )\) resp. \(c_2(\alpha )\) denote the infimum of all \(c_1\) resp. \(c_2\) for which (20) holds; Lubinsky remarked that it is an interesting problem to determine these constants. The reflection principle (17) immediately shows that given a badly approximable \(\alpha \) and a real constant c, we have \(P_N (\alpha ) \gg N^{-c} \Leftrightarrow P_N (\alpha ) \ll N^{1+c}\), with implied constants depending on \(\alpha \). Therefore \(c_2(\alpha )= c_1 (\alpha )+1\), which is a striking general relation that seems not to have been noticed so far. Thus establishing the optimal value of \(c_1\) and that of \(c_2\) in (20) are actually one and the same problem.
For a quadratic irrational \(\alpha \) our main result (16) shows that \(c_2(\alpha ) =c_1(\alpha )+1= K_{\infty } (\alpha )/\lambda (\alpha )\), and in fact
In particular,
where the last condition means that our trivial lower bound (7) holds with equality. Note that this relation also explains why the behavior of the liminf and the limsup in (18) and (19) changes at the same critical value of a; this is also reflected in the six examples we gave in (11), where we actually have equality everywhere except for \(\sqrt{10}\), in which case the inequality is strict. It seems to be a difficult problem to give a complete characterization of all quadratic irrationals \(\alpha \) such that \(K_{\infty }(\alpha ) = \lambda (\alpha )\); this is the subject of an upcoming paper of Grepstad, Neumüller and Zafeiropoulos [13].
The results in our paper allow us to give a fairly precise estimate for the constants \(c_1(\alpha ), c_2(\alpha )\) in the question of Lubinsky. From (15) with \(c=\infty \) we obtain that for any quadratic irrational \(\alpha \),
with a universal implied constant. In particular, for \(\alpha = [0;a,a,a,\dots ]\) we have
The discussion above shows that \(K_{\infty } (\alpha ) \ge K_{\infty } (\frac{1+\sqrt{5}}{2}) = \log \frac{1+\sqrt{5}}{2}\) for all quadratic irrationals. We do not know whether \(K_c (\alpha ) \ge K_c (\frac{1+\sqrt{5}}{2})\) for all quadratic irrationals and all \(c>0\); in fact, we do not even know the precise value of \(K_c (\frac{1+\sqrt{5}}{2})\) for any c. We mention, however, that numerical evidence found by Zagier [17] and Bettin and Drappeau [6] suggests that for the golden mean we have \(\log J_{4_1,0}(e(p_k/q_k)) \approx 1.1 k\); that is, \(K_2 (\frac{1+\sqrt{5}}{2}) \approx 0.55\).
In this context, it is an interesting question to characterize those values of N for which particularly large resp. small values of \(P_N(\alpha )\) occur. It is also interesting to estimate the relative number of indices which generate such values of \(P_N (\alpha )\). This would shed some light on the relation between the numbers \(K_c(\alpha )\) and \(K_\infty (\alpha )\) in Theorem 1 and (16). Essentially, the problem is whether the sum \(\sum _{N=0}^M P_N(\alpha )^c\) is dominated by a very small number of indices N which produce particularly large values of \(P_N\), or if there are enough such indices so that the full sum is of a significantly different asymptotic order than its maximal term. We plan to come back to all these questions in a future paper.
Finally, we mention a further open problem. In [17] Zagier introduced the function \(h(x) = \log \left( J_{4_1,0}(e(x)) / J_{4_1,0}(e(1/x)) \right) \). A conjecture of Zagier, established by Bettin and Drappeau in [6], implies that h has jumps at all rational points. Zagier also suggested that h(x) is continuous at irrational values of x (more precisely, since h is formally only defined for rational x, the conjecture is that h can be extended to all reals such that it is continuous at irrational values). Let \(\alpha \) be a quadratic irrational whose continued fraction expansion is of the simple form \(\alpha = [0;a,a,a,\dots ]\), and let \(p_k/q_k\) be its convergents. Then it is easily seen that \(h(p_k/q_k) = \log \left( J_{4_1,0}(e(p_k/q_k)) \right) - \log \left( J_{4_1,0}(e(p_{k-1}/q_{k-1})) \right) \). Thus, while we cannot prove that \(h(p_k/q_k)\) converges as \(k \rightarrow \infty \), as a consequence of Theorem 1 we can at least conclude that \(K^{-1} \sum _{k=1}^K h(p_k/q_k)\) converges as \(K \rightarrow \infty \). Note that if the error term in Theorem 1 could be reduced from O(1) to o(1), then we could deduce that actually \(h(p_k/q_k)\) itself converges as \(k \rightarrow \infty \), so such a conclusion is just beyond the reach of our theorem. Finally, note that Theorem 1 implies that if h can indeed be continuously extended to \(\alpha \), then the only possible value is \(h(\alpha ) = 2 K_2(\alpha )\) with \(K_2 (\alpha )\) from Theorem 1. Thus our results can be seen as progress towards Zagier’s problem, while it seems that there is still a long way to go for a full solution of the problem. From the discussion above, one might expect that the problem requires different approaches according to whether the partial quotients of \(\alpha \) are large (say, as in the case \((a_1 + \cdots + a_k)/k \rightarrow \infty \)), or small (say, bounded). The most difficult case could be the one when the partial quotients of \(\alpha \) are small, but there is no particular structure such as periodicity.
2 General rationals and irrationals
Recalling (8), to deduce (4) and (5) from (2) we only need to show that the condition \((a_1+\cdots +a_k)/k \rightarrow \infty \) implies that \(\log b /(a_1+\cdots +a_k) \rightarrow 0\); indeed, this will show that for any \(c>0\),
From the recursion satisfied by the convergents we get \(b \le (a_1+1)\cdots (a_k+1)\). Letting \({\overline{a}}_k=(a_1+\cdots +a_k)/k\), the AM–GM inequality gives
and we are done. To deduce (13) and (14) from (12), simply note that
and hence (8) shows that for any \(c>0\),
2.1 The reflection principle
Proof of Proposition 2
By the definition of Sudler products, for any integer \(0 \le N <b\),
A simple reindexing shows that here
As observed in (6), we also have \(P_{b-1}(a/b)=b\). Hence (21) yields
as claimed. \(\square \)
2.2 The transfer principle
Let \(\alpha =[a_0;a_1,a_2,\dots ]\) be an arbitrary irrational number with convergents \(p_k/q_k=[a_0;a_1, \dots , a_k]\). Let \(A_k =1+ \max _{1 \le \ell \le k} a_{\ell }\), and let \(\Vert x \Vert \) denote the distance from a real number x to the nearest integer. The sequence \(q_k\) satisfies the recursion \(q_k=a_k q_{k-1} + q_{k-2}\) with initial conditions \(q_0=1\), \(q_1=a_1\). Recall that for any \(k \ge 1\) and any \(0<n<q_k\), we have \(\Vert n \alpha \Vert \ge \Vert q_{k-1} \alpha \Vert \). Further, if \(k \ge 1\), or \(k=0\) and \(a_1>1\), then
The main tool in the proof of the transfer principle is a bound on a cotangent sum proved by Lubinsky [14, Theorem 4.1], which states that for any \(k \ge 1\) and any \(0\le N<q_k\),
The same bound holds in the rational setting as well, i.e.
Indeed, we can apply (23) to a sequence of irrational \(\alpha \)’s converging to \(p_k/q_k\), whose continued fraction expansions have initial segments identical to \(p_k/q_k=[a_0;a_1, \dots , a_k]\). The same cotangent sum and various generalizations thereof in the rational setting have been studied recently in [7], and used in [6] to establish (2). Cotangent sums have a long history in analytic number theory; some of them are known to satisfy interesting reciprocity formulas, and they also appear in the Nyman–Beurling–Báez–Duarte approach to the Riemann hypothesis. See [4, 5] for more details.
Proof of Proposition 3
We consider the cases \(q_k<200\) and \(q_k \ge 200\) separately, starting with the former; the value 200 is of course basically accidental.
First, assume that \(q_k<200\). If \(k=1\) and \(a_1=1\), then \(N=0\) and we are done; we may therefore assume that either \(k \ge 2\), or \(k=1\) and \(a_1>1\). For any \(0<n<q_k\) we thus have
and similarly
Consequently, \(|\log P_N (\alpha )| \ll 1\) and \(|\log P_N (p_k/q_k)| \ll 1\), and we are done provided \(a_{k+1}\) is bounded. For large \(a_{k+1}\) note that
In particular, by (25) we have
and hence
This finishes the proof in the case \(q_k<200\).
Next, assume that \(q_k \ge 200\). Observe that \(q_k \ge q_{\ell } \ge a_{\ell }\) for all \(1 \le \ell \le k\); in particular, \(q_k \ge A_k-1\). From the assumption \(q_k \ge 200\) we thus deduce \(q_k \ge \sqrt{200(A_k-1)} \ge 10 \sqrt{A_k}\). Using a trigonometric identity, we can write
where
Here
From the Taylor expansions of sine and cosine, for all \(0<n<q_k\),
as well as
The previous two estimates give \(|x_n+y_n| \le 1-1/(4 A_k)\); the point is that \(x_n+y_n\) is bounded away from \(-1\).
Observe that for any \(|x| \le 1-1/(4A_k)\),
Indeed, one readily verifies that the function \(e^{-x+2x^2 \log (4A_k)} (1+x)\) attains its minimum on the interval \([-1+1/(4A_k), 1-1/(4A_k)]\) at \(x=0\). Applying this estimate with \(x=x_n+y_n\) in each factor of (26), we obtain
Note that the right-hand side of (27) provides both an upper and a lower bound for the quotient on the left-hand side. Since
the contribution of \(x_n\) and \(x_n^2\) in (27) is negligible:
From Lubinsky’s bound on cotangent sums (24), summation by parts and
we obtain
Finally,
since the integers \(np_k\), \(1 \le n \le N\) attain each nonzero residue class modulo \(q_k\) at most once. Hence (27) simplifies as
which proves the proposition. \(\square \)
3 Quadratic irrationals
Fix a quadratic irrational \(\alpha \). Throughout this section, constants and implied constants depend only on \(\alpha \). The continued fraction expansion is of the form \(\alpha =[a_0;a_1,\dots , a_s, \overline{a_{s+1}, \dots , a_{s+p}}]\), where the overline means period. As before, \(p_k/q_k=[a_0;a_1,\dots , a_k]\) denotes the k-th convergent to \(\alpha \); further, let \(\delta _k=(-1)^k (q_k \alpha -p_k)\). The sequences \(q_k\) and \(p_k\) satisfy the same recursion; consequently, \(\delta _k=-a_k \delta _{k-1}+\delta _{k-2}\) for all \(k \ge 2\). If \(k \ge 1\), or \(k=0\) and \(a_1>1\), then \(\delta _k = \Vert q_k \alpha \Vert \).
For any \(1 \le r \le p\), let
The recursion \(q_k = a_k q_{k-1} +q_{k-2}\) can be written in the form
Observe that \(\det T_r =(-1)^p\), and that \(\mathrm {tr}\, T_r\) does not depend on r. Therefore the eigenvalues \(\eta \) and \(\mu \) of \(T_r\) are the same for all \(1 \le r \le p\). Since \(q_k \rightarrow \infty \) exponentially fast, we have, say, \(\eta >1\) and \(\mu =(-1)^p/\eta \). Consequently, the recursions for \(q_k\) and \(\delta _k\) have solutions
with some constants \(C_r, E_r >0\) and \(D_r\), \(1 \le r \le p\). In particular, \(\log q_k = \lambda (\alpha )k +O(1)\) with \(\lambda (\alpha ) = \log \eta ^{1/p}\).
Lemma 1
For any \(k \ge 0\), we have \(\kappa \delta _k \le \delta _{k+1} \le (1-\kappa ) \delta _k\) with some constant \(\kappa >0\).
Proof
We claim that \(\delta _k \le (a_{k+2}+2) \delta _{k+1}\) for all \(k \ge 0\). Indeed, if \(k=0\), \(a_1=1\) this can be verified “by hand”; else, from (22) we obtain
On the other hand,
and hence \(\delta _{k+1} \le \delta _k (a_{k+3}+2)/(a_{k+3}+3)\). The claim thus follows with \(\kappa =1/(\max _{k \ge 1} a_k +3)\). \(\square \)
3.1 Perturbed Sudler products
The fundamental objects in the proof of Theorem 1 are “perturbed” versions of the Sudler product defined as
Perturbed Sudler products were first introduced by Grepstad et al. [10], and have since been used in [1, 13]. The relevance of these functions come from the Ostrowski expansion of integers, which we now recall. Any integer \(N \ge 0\) can be written in a unique way in the form \(N=\sum _{k=0}^{\infty } b_k q_k\), where \(0 \le b_0 \le a_1-1\) and \(0 \le b_k \le a_{k+1}\), \(k \ge 1\) are integers satisfying the extra rule that \(b_{k-1}=0\) whenever \(b_k=a_{k+1}\). Of course, the series only has finitely many nonzero terms; more precisely, if \(0 \le N <q_{k+1}\), then \(b_{k+1}=b_{k+2}=\cdots =0\). Given an integer \(N \ge 0\) with Ostrowski expansion \(N=\sum _{k=0}^{\infty } b_k q_k\), let us introduce the notation
where \(\delta _\ell =(-1)^\ell (q_\ell \alpha -p_\ell )\) was already defined at the beginning of this section. Further, we shall write \(f(x)=|2 \sin (\pi x)|\).
Lemma 2
For any integer \(N \ge 0\) with Ostrowski expansion \(N=\sum _{k=0}^{\infty } b_k q_k\),
Proof
Note that only finitely many factors are different from 1. Let \(N_k=\sum _{\ell =k}^{\infty } b_{\ell } q_{\ell }\). Then \(N=N_0 \ge N_1 \ge N_2 \ge \cdots \), and \(N_k=0\) for all large enough k. By the definition of Sudler products,
\(\square \)
The main message of the next lemma is that for quadratic irrational \(\alpha \), the function \(P_{q_k}(\alpha , x)\) has a positive lower bound at all points which appear in the claim of Lemma 2. From now on let \(1 \le [k] \le p\) denote the remainder of \(k-s\) modulo p, where s is the length of the pre-period in the continued fraction for \(\alpha \); that is, if \(k=s+mp+r\), then \([k]=r\).
Lemma 3
-
(i)
For any integer \(N \ge 0\) with Ostrowski expansion \(N=\sum _{k=0}^{\infty } b_k q_k\), any \(k \ge 0\) and any \(0 \le b<b_k\) we have \(P_{q_k}(\alpha , bq_k \delta _k + \varepsilon _k (N)) \gg 1\) uniformly in N, k and b.
-
(ii)
There exist compact intervals \(I_r\), \(1 \le r \le p\), and a constant \(k_0>s\) with the following properties. First, for any integer \(N \ge 0\) with Ostrowski expansion \(N=\sum _{k=0}^{\infty } b_k q_k\), any \(k \ge k_0\) and any \(0 \le b<b_k\) we have \(bq_k \delta _k + \varepsilon _k (N) \in I_{[k]}\). Second, \(P_{q_k}(\alpha , x) \gg 1\) on \(I_{[k]}\) uniformly in \(k \ge k_0\).
Proof
Fix an integer \(N \ge 0\) with Ostrowski expansion \(\sum _{k=0}^{\infty } b_k q_k\), and integers \(k \ge 0\) and \(0 \le b <b_k\). We necessarily have \(b_k>0\); in particular, \(k \ge 1\), or \(k=0\) and \(a_1>1\). Observe that
Since \(b_k>0\), by the extra rule of the Ostrowski expansions we have \(b_{k+1}<a_{k+2}\). Therefore
Letting \(\kappa >0\) be as in Lemma 1, we thus have \(|\varepsilon _k (N)| \le (1-\kappa ) q_k \delta _k\).
Consider now
For each \(1 \le n \le q_k\) we have \(n+bq_k \le a_{k+1}q_k<q_{k+1}\), and hence by the best approximation property of continued fractions,
Consequently, \(P_{q_k}(\alpha , bq_k \delta _k+\varepsilon _k (N)) \gg 1\) for any fixed \(k \ge 0\). It will thus be enough to prove Lemma 3 (ii), and Lemma 3 (i) will follow.
We now prove Lemma 3 (ii). Observe that (28) implies \(q_{s+mp+r} \delta _{s+mp+r} \rightarrow B_r\) as \(m \rightarrow \infty \), where \(B_r=C_r E_r>0\), \(1 \le r \le p\), are constants. Define
These intervals, together with some constant \(k_0\), to be chosen, satisfy the claim. Choosing \(k_0\) large enough, for all \(k \ge k_0\) and all \(0 \le b<a_{k+1}\) we have \(bq_k \delta _k +[-(1-\kappa )q_k \delta _k, (1-\kappa )q_k \delta _k] \subseteq I_{[k]}\). In particular, \(bq_k \delta _k +\varepsilon _k (N) \in I_{[k]}\) for all \(N \ge 0\), all \(k \ge k_0\) and all \(0 \le b<b_k\).
Now let \(k \ge k_0\) and \(x \in I_{[k]}\) be arbitrary, and let us prove a lower bound for \(P_{q_k}(\alpha , x)\). Then \(x=b B_{[k]}+y\) for some appropriate integer \(0 \le b<a_{k+1}\), and some \(|y| \le (1-\kappa /2)B_{[k]}\). Let
and note that
provided \(k_0\) was chosen large enough. With this choice of z we have
and so
where the last equation follows from standard trigonometric identities. Using \(\Vert (n+bq_k) \alpha \Vert \ge \Vert q_k \alpha \Vert =\delta _k\) and (29), we obtain
provided \(k_0\) was chosen large enough; the point is that each factor in (30) is bounded away from 0. Following the steps in the proof of Proposition 3 (in particular, recalling the cotangent sum estimate (23)), we thus deduce that
On the other hand, a general result of Lubinsky [14, Proposition 5.1] implies that \(1 \ll P_N (\alpha ) \ll 1\) whenever the Ostrowski expansion of N contains \(\ll 1\) nonzero terms. In particular,
and hence \(P_{q_k} (\alpha , x) \gg 1\), as claimed. \(\square \)
3.2 The limit functions
The perturbed Sudler products \(P_{q_k}(\alpha , x)\) were shown to converge to an explicitly given limit function for the special irrationals \(\alpha =[0;a,a,a,\dots ]\) in [1]. A generalization to all quadratic irrationals has recently been obtained by Grepstad et al. [13]; see also [12] for a version without the perturbation variable x. In this paper, we prove the locally uniform convergence of \(P_{q_k}(\alpha , x)\) with an explicit rate. This explicit (in fact, exponential) rate is needed to derive the \(O(\max \{ 1,1/c\})\) resp. O(1) error terms in Theorem 1.
Let \(\alpha =[a_0;a_1,\ldots , a_s, \overline{a_{s+1},\ldots , a_{s+p}}]\) be a quadratic irrational, and let \(C_r, E_r\) be as in (28). For any \(1 \le r \le p\) let
where
Theorem 4
The infinite product in (31) is locally uniformly convergent on \({\mathbb {R}}\). The function \(G_r(\alpha , \cdot )\) is continuous on \({\mathbb {R}}\), and continuously differentiable on the open set \(\{ x \in {\mathbb {R}} \, : \, G_r (\alpha , x) \ne 0 \}\). For any compact interval \(I \subset {\mathbb {R}}\) and any integer \(k \ge 1\),
with implied constants depending only on I and \(\alpha \). In particular, \(P_{q_{s+mp+r}} (\alpha , \cdot ) \rightarrow G_r (\alpha , \cdot )\) locally uniformly on \({\mathbb {R}}\), as \(m \rightarrow \infty \).
We postpone the proof to Sect. 4. Note that the periodicity of the continued fraction expansion is crucial for such a limit relation; in particular, Theorem 4 does not hold for all badly approximable \(\alpha \).
Lemma 3 implies that \(G_r (\alpha , \cdot )>0\), and consequently that \(\log G_r (\alpha , \cdot )\) is Lipschitz on the compact interval \(I_r\). The main idea of the proof of Theorem 1 is to replace the perturbed Sudler product \(P_{q_k} (\alpha , bq_k \delta _k + \varepsilon _k (N))\) by its limit \(G_{[k]}(\alpha , bq_k \delta _k + \varepsilon _k (N))\) in the claim of Lemma 2. To this end, for any integer \(N \ge 0\) with Ostrowski expansion \(N=\sum _{k=0}^{\infty } b_k q_k\) let
where \(k_0\) is the constant from the conclusion of Lemma 3 (ii).
Lemma 4
For any real \(c>0\) and any integer \(\ell \ge 1\), we have
as well as
Proof
By Lemma 2, for all \(0 \le N <q_{\ell }\) with Ostrowski expansion \(N=\sum _{k=0}^{\ell -1} b_k q_k\),
Lemma 3 (i) shows that here \(1 \ll \prod _{k=0}^{k_0-1} P_{q_k} (\alpha , bq_k \delta _k + \varepsilon _k (N)) \ll 1\). Since by Lemma 3 (ii) we have \(G_{[k]} (\alpha , b q_k \delta _k + \varepsilon _k (N)) \gg 1\), each factor \(k_0 \le k \le \ell -1\) also stays between two positive constants. Finally, for a large enough constant \(k_1>k_0\) Theorem 4 gives
Hence \(1 \ll P_N (\alpha ) / G_N (\alpha ) \ll 1\), and the claims follow. \(\square \)
3.3 Approximate additivity
The final step is to prove that our sequences with \(P_N(\alpha )\) replaced by \(G_N(\alpha )\) are additive up to a small error; the proof of Theorem 1 will then be immediate.
Lemma 5
For any real \(c>0\), the sequences
satisfy \(c_{m+n} = c_m+c_n+O(\max \{ 1,1/c \})\) and \(c_{m+n}^* = c_m^*+c_n^*+O(1)\) for all \(m,n \ge 1\).
Proof
First, we prove that \(c_m\) and \(c_m^*\) are approximately subadditive. Let \(0 \le N < q_{k_0+(m+n)p}\) be an integer with Ostrowski expansion \(N=\sum _{k=0}^{k_0+(m+n)p-1} b_k q_k\). Consider the natural factorization
Let us write \(N=N_1+N_2\) with \(N_1=\sum _{k=0}^{k_0+mp-1} b_k q_k\) and \(N_2=\sum _{k=k_0+mp}^{k_0+(m+n)p-1} b_k q_k\). The plan of the proof is to show that, making a small error, we can replace \(\varepsilon _k (N)\) in (32) by \(\varepsilon _k (N_1)\) and \(\varepsilon _k (N_2)\), respectively, so that \(G_N \approx G_{N_1}G_{N_2}\). Then we will show that we can replace \(N_2\) by a number \(N_2^*\) having the “shifted” Ostrowski representation \(N_2^*=\sum _{k=k_0}^{k_0+np-1} b_{k+mp} q_k\), and obtain \(G_N \approx G_{N_1} G_{N_2^*}\). This approximate shift-invariance is crucial for the argument, and comes from the periodicity of the continued fraction expansion of \(\alpha \). From \(G_N \approx G_{N_1} G_{N_2^*}\) we can deduce that \(c_{m+n} \approx c_m + c_n\) and \(c_{m+n}^* \approx c_m^* + c_n^*\), which is what we want to prove.
Now we make this precise. Note that for any \(k_0 \le k \le k_0+mp-1\),
Since \(\log G_r\) is Lipschitz on \(I_r\), the previous estimate implies that the first factor in (32) is
Now let \(N_2^*=\sum _{k=k_0}^{k_0+np-1} b_{k+mp}q_k\); observe that this is a valid Ostrowski expansion of \(0 \le N_2^* < q_{k_0+np}\). Using (28), for any \(k_0+mp \le k \le k_0+(m+n)p-1\) and any \(0 \le b < b_k\),
Similarly,
Therefore the second factor in (32) is
From (32), (33) and (34) we finally obtain the approximate factorization \(G_N(\alpha ) = G_{N_1}(\alpha ) G_{N_2^*} (\alpha ) e^{O(1)}\). As N runs in the interval \(0 \le N < q_{k_0+(m+n)p}\), we obtain each pair \((N_1, N_2^*) \in [0,q_{k_0+mp}) \times [0,q_{k_0+np})\) at most once by the uniqueness of Ostrowski expansions. Therefore
and the approximate subadditivity \(c_{m+n} \le c_m+c_n +O(1)\) and \(c_{m+n}^* \le c_m^*+c_n^*+O(1)\) follows.
The proof of approximate superadditivity is entirely analogous. Let \(0 \le N' < q_{k_0+mp}\) and \(0 \le N'' < q_{k_0+np}\) be integers with Ostrowski expansions \(N'=\sum _{k=0}^{k_0+mp-1} b_k' q_k\) and \(N''=\sum _{k=0}^{k_0+np-1} b_k'' q_k\). Define \(N=\sum _{k=0}^{k_0+(m+n+1)p-1} b_k q_k\), where
Note that this is a valid Ostrowski expansion of an integer \(0 \le N < q_{k_0+(m+n+1)p}\); the block of zeroes in the middle ensures that the extra rule (\(b_{k-1}=0\) whenever \(b_k=a_{k+1}\)) is satisfied.
Repeating the arguments from above, we deduce the approximate factorization \(G_N(\alpha ) =G_{N'}(\alpha ) G_{N''}(\alpha )e^{O(1)}\). Observe that as \((N',N'') \in [0,q_{k_0+mp}) \times [0,q_{k_0+np})\), we obtain each integer \(N \in [0,q_{k_0+(m+n+1)p})\) at most O(1) times; indeed, from the value of N one can recover all Ostrowski digits of \(N'\) and \(N''\) except for \(b_k''\), \(0 \le k \le k_0-1\). Therefore
and we get \(c_m+c_n \le c_{m+n+1}+O(1)\) and \(c_m^*+c_n^* \le c_{m+n+1}^*+O(1)\). By the approximate subadditivity proved above, here
Hence
as claimed. \(\square \)
Proof of Theorem 1
According to Lemma 5, the sequence \(c_m+L\) is subadditive, and the sequence \(c_m-L\) is superadditive with some constant \(L=O(\max \{ 1,1/c \})\). Fekete’s subadditive lemma thus shows that \(c_m/m\) converges, and its limit is
The previous relations also yield the rate of convergence \(c_m=K_c(\alpha ) mp+O(\max \{ 1 , 1/c\})\). Since \(K_c (\alpha ) = O (\max \{ 1,1/c \})\) (see (9)), we have
Lemma 4 and Proposition 3 show that here \(G_N (\alpha )\) can be replaced by \(P_N(\alpha )\) and also by \(P_N (p_k/q_k )\). Hence
as claimed. An identical proof gives
It follows from (7) and (9) that the constants \(K_c (\alpha )\) and \(K_{\infty } (\alpha )\) are positive. \(\square \)
4 Locally uniform convergence of perturbed Sudler products
Proof of Theorem 4
Fix a compact interval \(I \subseteq {\mathbb {R}}\). Throughout the proof, constants and implied constants depend only on I and \(\alpha \). For the sake of readability, we continue to write \(f(x)=|2 \sin (\pi x)|\).
We start by peeling off the last factor in \(P_{q_k}(\alpha ,x)\) and using \(\alpha = p_k/q_k+(-1)^k \delta _k/q_k\) to get
The factors in the previous line depend only on the remainder of n modulo \(q_k\). The general identity \(q_k p_{k-1}-p_k q_{k-1}=(-1)^k\) in the theory of continued fractions shows that \(q_k\) and \(q_{k-1}\) are relatively prime, and \(p_k q_{k-1} \equiv (-1)^{k+1} \pmod {q_k}\). Reordering the product via the bijection \(n \mapsto q_{k-1}n\) of the set of nonzero residues modulo \(q_k\), and using the identity (6), we obtain
Let us combine the nth and the \((q_k-n)\)th factors in the product via the trigonometric identity \(f(u-v)f(u+v)=|f^2(u)-f^2(v)|\). If \(q_k\) is even, then the \(n=q_k/2\) factor is \(1+O(q_k^{-2})\), thus
Let \(\log t \ll \psi (t) =o(t)\) be a function, to be chosen. We now show that the factors \(\psi (q_k) \le n < q_k/2\) in (35) have negligible contribution. Simple trigonometric identities and estimates give
In particular, each factor \(\psi (q_k) \le n < q_k/2\) is \(1+O(1/n)\), and thus
Since \(\sin (2 \pi (t-1/2)\delta _k)\) is a mean zero, 1-periodic function of total variation \(\ll q_k^{-1}\), and \(q_{k-1}/q_k=[0;a_k,a_{k-1}, \dots , a_1]\) have bounded partial quotients, Koksma’s inequality yields
Observe also that \(\cot (\pi n /q_k)\) is monotone in \(0<n<q_k/2\). Applying summation by parts we thus deduce
hence
Next, fix a large constant \(N_0>0\), and consider the factors \(N_0<n <\psi (q_k)\) in (35). Applying the estimate \(f^2(t)=4 \pi ^2 t^2 (1+O(t^2))\) in all three terms introduces a multiplicative error of \(\prod _{N_0<n<\psi (q_k)} \left( 1+O(n^2/q_k^2) \right) = 1+O(\psi (q_k)^3/q_k^2)\), and we get
Choosing \(N_0\) large enough, we can ensure that each factor in the previous product stays in, say, [1/2, 2]. By the explicit formula (28) for \(q_k\) and \(\delta _k\), we have \(q_k \delta _k=C_{[k]}E_{[k]}+O(q_k^{-2})\). Hence replacing \(q_k \delta _k\) by \(C_{[k]}E_{[k]}\) in the previous formula introduces a negligible multiplicative error of \(\prod _{N_0<n<\psi (q_k)} (1+O(q_k^{-2}n^{-1}))=1+O(q_k^{-2}\log \psi (q_k))\).
We also wish to replace \(q_{k-1}/q_k=[0;a_k,a_{k-1},\dots , a_1]\) by its limit \(\alpha _{[k]}\); recall that \(\alpha _r=[0;\overline{a_{s+r+p}, \dots , a_{s+r+2},a_{s+r+1}}]\). By the explicit formula (28), we have \(q_{k-1}/q_k=\alpha _{[k]}+O(q_k^{-2})\) (in particular, \(\alpha _r=C_{r-1}/C_r\), \(1 \le r \le p\) with the convention \(C_0=C_p/\eta \)). Observe that the function \((\{ nt \}-1/2)/n\) consists of linear segments of slope 1, with jumps at the points j/n, \(j \in {\mathbb {Z}}\). Since \(q_{k-1}/q_k\) has bounded partial quotients, for all \(N_0<n<\psi (q_k)\) and all \(j \in {\mathbb {Z}}\) we have
hence there is no jump between \(q_{k-1}/q_k\) and \(\alpha _{[k]}\). Therefore
so replacing \(q_{k-1}/q_k\) by \(\alpha _{[k]}\) introduces a negligible multiplicative error of \(1+O(q_k^{-2} \psi (q_k))\). We have thus deduced
Lemma 6
For any integers \(N_0<N_1 \le N_2\) and any \(1 \le r \le p\),
Proof
Choosing the constant \(N_0\) large enough, each factor stays in, say, [1/2, 2]. Since \(\alpha _r\) is badly approximable, Koksma’s inequality yields \(\left| \sum _{n=1}^N (\{ n \alpha _r \} -1/2) \right| \ll \log N\) for all \(N \ge 1\). Applying summation by parts, we deduce
and the claim of Lemma 6 follows. \(\square \)
Lemma 6 immediately implies via the Cauchy criterion that the infinite product
is uniformly convergent on I, and its limit is positive. Its logarithm is given by a uniformly convergent series; the series of term-by-term derivatives
is also seen to be uniformly convergent on I. Therefore the logarithm of the infinite product in (38) is continuously differentiable on I; clearly so is the infinite product itself. Multiplying by the missing factors \(1 \le n \le N_0\), it follows that the infinite product (31) defining \(G_r(\alpha , x)\) is uniformly convergent on I, \(G_r (\alpha ,x)\) is continuous on I, and continuously differentiable on I except at its (finitely many) zeroes. This proves all claims on \(G_r(\alpha ,x)\).
Repeating the arguments above for the factors \(1 \le n \le N_0\), we deduce
with an additive instead of multiplicative error term, since the factors are not bounded away from zero. Lemma 6 also shows that the product on the right hand side of (37) can be extended to all \(N_0<n\) up to a negligible error, therefore combining (35)–(37) and the previous formula, we obtain
The optimal choice is \(\psi (t)=t^{1/2} \log ^{1/4} t\). This finishes the proof of Theorem 4. \(\square \)
Notes
Throughout the paper, empty sums equal 0, and empty products equal 1.
The last step follows e.g. from taking the limit as \(x \rightarrow 1\) in the factorization \((x^b-1)/(x-1)=\prod _{j=1}^{b-1} (x-e(j/b))\).
References
Aistleitner, C., Technau, N., Zafeiropoulos, A.: On the order of magnitude of Sudler products. Am. J. Math. (to appear). arXiv:2002.06602
Andersen, J., Hansen, S.: Asymptotics of the quantum invariants for surgeries on the figure 8 knot. J. Knot Theory Ramif. 15, 479–548 (2006)
Avila, A., Jitomirskaya, S.: The Ten Martini problem. Ann. Math. 170, 303–342 (2009)
Bettin, S., Conrey, B.: Period functions and cotangent sums. Algebra Number Theory 7, 215–242 (2013)
Bettin, S., Conrey, J.B.: A reciprocity formula for a cotangent sum. Int. Math. Res. Not. 24, 5709–5726 (2013)
Bettin, S., Drappeau, S.: Modularity and value distribution of quantum invariants of hyperbolic knots. Math. Ann. 382, 1631–1679 (2022)
Bettin, S., Drappeau, S.: Partial sums of the cotangent function. J. Théor. Nombres Bordeaux 32, 217–230 (2020)
Erdős, P., Szekeres, G.: On the product \(\prod _{k=1}^n (1-z^{a_k})\). Acad. Serbe Sci. Publ. Inst. Math. 13, 29–34 (1959)
Garoufalidis, S., Zagier, D.: Quantum modularity of the Kashaev invariant. (In preparation)
Grepstad, S., Kaltenböck, L., Neumüller, M.: A positive lower bound for \(\liminf _{N \rightarrow \infty } \prod _{r=1}^N 2|\sin \pi r \phi |\). Proc. Am. Math. Soc. 147, 4863–4876 (2019)
Grepstad, S., Kaltenböck, L., Neumüller, M.: On the asymptotic behaviour of the sine product \(\prod _{r=1}^n 2|\sin \pi r \alpha |\). In: Discrepancy Theory. Radon Series on Computational and Applied Mathematics, vol. 26. De Gruyter, Berlin (2020)
Grepstad, S., Neumüller, M.: Asymptotic behaviour of the Sudler product of sines for quadratic irrationals. J. Math. Anal. Appl. 465, 928–960 (2018)
Grepstad, S., Neumüller, M., Zafeiropoulos, A.: On the order of magnitude of Sudler products II. arXiv:2109.04342
Lubinsky, D.: The size of \((q;q)_n\) for \(q\) on the unit circle. J. Number Theory 76, 217–247 (1999)
Murakami, H., Yokota, Y.: Volume Conjecture for Knots. Springer Briefs in Mathematical Physics, vol. 30. Springer, Singapore (2018)
Sudler, C., Jr.: An estimate for a restricted partition function. Quart. J. Math. Oxford Ser. 15, 1–10 (1964)
Zagier, D.: Quantum Modular Forms Quanta of Maths. Clay Mathematics Proceedings. American Mathematical Society, Providence (2010)
Acknowledgements
CA is supported by the Austrian Science Fund (FWF), projects F-5512, I-3466, I-4945, I-5554, P-34763, P-35322 and Y-901. BB is supported by FWF project Y-901. We want to thank Agamemnon Zafeiropoulos for drawing our attention to the papers of Bettin and Drappeau, and for keeping us informed about his joint work with Grepstad and Neumüller.
Funding
Open access funding provided by Austrian Science Fund (FWF).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Aistleitner, C., Borda, B. Quantum invariants of hyperbolic knots and extreme values of trigonometric products. Math. Z. 302, 759–782 (2022). https://doi.org/10.1007/s00209-022-03086-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-022-03086-5
Keywords
- Continued fraction
- Quadratic irrational
- Quantum modular form
- Colored Jones polynomial
- Kashaev invariant
- Sudler product