Table of Contents
Fetching ...

Extensions of the Carlitz-McConnel and Blokhuis-Sziklai theorems for unions of cyclotomic classes

Maosheng Xiong, Chi Hoi Yip

Abstract

Let $p$ be a prime, let $q=p^n$, and let $D\subseteq \mathbb{F}_q^\ast$. A celebrated result of Carlitz and McConnel states that if $D$ is a proper subgroup of $\mathbb{F}_q^\ast$, and $f:\mathbb{F}_q\to\mathbb{F}_q$ is a function such that $(f(x)-f(y))/(x-y)\in D$ for all $x\neq y$, then $f$ must be of the form $f(x)=ax^{p^j}+b$. In this paper, we extend their result to the setting where $D$ is a union of cosets of a fixed subgroup of $\mathbb{F}_q^\ast$, under a mild assumption. In a similar spirit, we also investigate maximum cliques in related Cayley graphs over finite fields, strengthening several results of Blokhuis, Sziklai, and Asgarli and Yip.

Extensions of the Carlitz-McConnel and Blokhuis-Sziklai theorems for unions of cyclotomic classes

Abstract

Let be a prime, let , and let . A celebrated result of Carlitz and McConnel states that if is a proper subgroup of , and is a function such that for all , then must be of the form . In this paper, we extend their result to the setting where is a union of cosets of a fixed subgroup of , under a mild assumption. In a similar spirit, we also investigate maximum cliques in related Cayley graphs over finite fields, strengthening several results of Blokhuis, Sziklai, and Asgarli and Yip.

Paper Structure

This paper contains 6 sections, 13 theorems, 59 equations.

Key Result

Theorem 1.1

Let $p$ be a prime and $n$ a positive integer, and let $q=p^n$. If $D$ is a proper subgroup of $\mathbb{F}_q^\ast$, and $f:\mathbb{F}_q\to\mathbb{F}_q$ is a function such that whenever $x,y\in\mathbb{F}_q$ with $x\neq y$, then there exist $a,b\in\mathbb{F}_q$ and an integer $0\le j\le n-1$ such that $\blacktriangleleft$$\blacktriangleleft$

Theorems & Definitions (21)

  • Theorem 1.1: C60M62
  • Theorem 1.2: B03BBBSS99
  • Theorem 1.3: Y25
  • Theorem 1.4
  • Corollary 1.5
  • Example 1.6
  • Theorem 1.7: B84Szi99
  • Theorem 1.8
  • Corollary 1.9
  • Lemma 2.1
  • ...and 11 more