English

Hypergeometric functions for Dirichlet characters and Peisert-like graphs on $\mathbb{Z}_n$

Combinatorics 2023-10-03 v2 Number Theory

Abstract

For a prime p3(mod4)p\equiv 3\pmod 4 and a positive integer tt, let q=p2tq=p^{2t}. The Peisert graph of order qq is the graph with vertex set Fq\mathbb{F}_q such that abab is an edge if abg4gg4a-b\in\langle g^4\rangle\cup g\langle g^4\rangle, where gg is a primitive element of Fq\mathbb{F}_q. In this paper, we construct a similar graph with vertex set as the commutative ring Zn\mathbb{Z}_n for suitable nn, which we call \textit{Peisert-like} graph and denote by G(n)G^\ast(n). Owing to the need for cyclicity of the group of units of Zn\mathbb{Z}_n, we consider n=pαn=p^\alpha or 2pα2p^\alpha, where p1(mod4)p\equiv 1\pmod 4 is a prime and α\alpha is a positive integer. For primes p1(mod8)p\equiv 1\pmod 8, we compute the number of triangles in the graph G(pα)G^\ast(p^{\alpha}) by evaluating certain character sums. Next, we study cliques of order 4 in G(pα)G^\ast(p^{\alpha}). To find the number of cliques of order 44 in G(pα)G^\ast(p^{\alpha}), we first introduce hypergeometric functions containing Dirichlet characters as arguments, and then express the number of cliques of order 44 in G(pα)G^\ast(p^{\alpha}) in terms of these hypergeometric functions.

Cite

@article{arxiv.2211.03166,
  title  = {Hypergeometric functions for Dirichlet characters and Peisert-like graphs on $\mathbb{Z}_n$},
  author = {Anwita Bhowmik and Rupam Barman},
  journal= {arXiv preprint arXiv:2211.03166},
  year   = {2023}
}

Comments

Journal: La Matematica (accepted for publication)

R2 v1 2026-06-28T05:17:09.059Z