English

The resolvent kernel on the discrete circle and twisted cosecant sums

Combinatorics 2023-05-02 v1 Number Theory

Abstract

Let XmX_m denote the discrete circle with mm vertices. For x,yXmx,y\in X_{m} and complex ss, let GXm,χβ(x,y;s)G_{X_m,\chi_{\beta}}(x,y;s) be the resolvent kernel associated to the combinatorial Laplacian which acts on the space of functions on XmX_{m} that are twisted by a character χβ\chi_{\beta}. We will compute GXm,χβ(x,y;s)G_{X_m,\chi_{\beta}}(x,y;s) in two different ways. First, using the spectral expansion of the Laplacian, we show that GXm,χβ(x,y;s)G_{X_m,\chi_{\beta}}(x,y;s) is a generating function for certain trigonometric sums involving powers of the cosecant function; by choosing β\beta or ss appropriately, the sums in question involve powers of the secant function. Second, by viewing XmX_{m} as a quotient space of Z\mathbb{Z}, we prove that GXm,χβ(x,y;s)G_{X_m,\chi_{\beta}}(x,y;s) is a rational function which is given in terms of Chebyshev polynomials. From the existence and uniqueness of GXm,χβ(x,y;s)G_{X_m,\chi_{\beta}}(x,y;s), these two evaluations are equal. From the resulting identity, we obtain a means by which one can obtain explicit evaluations of cosecant and secant sums. The identities we prove depend on a number of parameters, and when we specialize the values of these parameters we obtain several previously known formulas. Going further, we derive a recursion formula for special values of the LL-functions associated to the cycle graph XmX_{m}, thus answering a question from arXiv:2212.13687v1.

Keywords

Cite

@article{arxiv.2305.00202,
  title  = {The resolvent kernel on the discrete circle and twisted cosecant sums},
  author = {Jay Jorgenson and Anders Karlsson and Lejla Smajlović},
  journal= {arXiv preprint arXiv:2305.00202},
  year   = {2023}
}

Comments

26 pages