Gaps of Binary Numerical Semigroups and of Binary Inclusion-Exclusion Polynomials

Fuente: arXiv
Saved in:
Bibliographic Details
Main Author: Bachman, Gennady
Format: Preprint
Published: 2026
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866913136132489216
author Bachman, Gennady
author_facet Bachman, Gennady
contents Let $p$ be a given modulus, let $u$ be prime to $p$, and consider the linear permutation $u\cdot n\pmod p$ of the residue system modulo $p$. Writing $\langle x\rangle_p$ to denote the least nonnegative residue of $x$ modulo $p$, we say that a pair of integers $(a,b)$ is a dominant pair of this permutation if either the inequality $\max(\langle ua\rangle_p,\langle ub\rangle_p)<\min_{a<n<b}\langle un\rangle_p$, or the inequality $\min(\langle ua\rangle_p,\langle ub\rangle_p)>\max_{a<n<b}\langle un\rangle_p$ hold. The main technical part of this work gives analysis of this property of linear permutations of residue systems. We then apply this analysis to the problems that motivated it, and give (i) complete description of the gapsets of binary inclusion-exclusion polynomials $Q_{\{p,q\}}$ (which include binary cyclotomic polynomials $Φ_{pq}$ as its principal special case), and (ii) complete description of all possible distances between consecutive elements of a numerical semigroup $\langle p,q\rangle$.
format Preprint
id arxiv_https___arxiv_org_abs_2605_17157
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Gaps of Binary Numerical Semigroups and of Binary Inclusion-Exclusion Polynomials
Bachman, Gennady
Number Theory
11A07, 11B83 (Primary) 11A05, 11B75 (Secondary)
Let $p$ be a given modulus, let $u$ be prime to $p$, and consider the linear permutation $u\cdot n\pmod p$ of the residue system modulo $p$. Writing $\langle x\rangle_p$ to denote the least nonnegative residue of $x$ modulo $p$, we say that a pair of integers $(a,b)$ is a dominant pair of this permutation if either the inequality $\max(\langle ua\rangle_p,\langle ub\rangle_p)<\min_{a<n<b}\langle un\rangle_p$, or the inequality $\min(\langle ua\rangle_p,\langle ub\rangle_p)>\max_{a<n<b}\langle un\rangle_p$ hold. The main technical part of this work gives analysis of this property of linear permutations of residue systems. We then apply this analysis to the problems that motivated it, and give (i) complete description of the gapsets of binary inclusion-exclusion polynomials $Q_{\{p,q\}}$ (which include binary cyclotomic polynomials $Φ_{pq}$ as its principal special case), and (ii) complete description of all possible distances between consecutive elements of a numerical semigroup $\langle p,q\rangle$.
title Gaps of Binary Numerical Semigroups and of Binary Inclusion-Exclusion Polynomials
topic Number Theory
11A07, 11B83 (Primary) 11A05, 11B75 (Secondary)
url https://arxiv.org/abs/2605.17157