Supersymmetric gaps of a numerical semigroup with two generators
Patricio Almirón, Julio José Moyano-Fernández
备注：
v3: subsection 4.3 has been improved, minor changes in the rest of the manuscript;v2:Statements and proofs of Proposition 4.7 and 4.11 have changed. Comments are welcome. 19 pages
发表信息：
Communications in Algebra 50(10), pp. 4252-4268 (2022)
In this paper we introduce the new concepts of supersymmetric and self-symmetric gaps of a numerical semigroup with two generators. Those concepts are based on certain symmetries of the gaps of the semigroup with respect to their Wilf number. We prove that the set of supersymmetric and self-symmetric gaps completely determines the semigroup and we compare this set with the fundamental gaps of the semigroup.
This article is partly a survey and partly a research paper. It tackles the use of Groebner bases for addressing problems of numerical semigroups, which is a topic that has been around for some years, but it does it in a systematic way which enables us to prove some results and a hopefully interesting characterization of the elements of a semigroup in terms of Groebner bases.
We contruct a one-to-one correspondence between a subset of numerical semigroups with genus $g$ and $γ$ even gaps and the integer points of a rational polytope. In particular, we give an overview to apply this correspondence to try to decide if the sequence $(n_g)$ is increasing, where $n_g$ denotes the number of numerical semigroups with genus $g$.
A common tool in the theory of numerical semigroups is to interpret a desired class of semigroups as the integer lattice points in a rational polyhedron in order to leverage computational and enumerative techniques from polyhedral geometry. Most arguments of this type make use of a parametrization of numerical semigroups with fixed multiplicity $m$ in terms of their $m$-Apéry sets, giving a representation called Kunz coordinates which obey a collection of inequalities defining the Kunz polyhedron. In this work, we introduce a new class of polyhedra describing numerical semigroups in terms of a…
We study how certain invariants of numerical semigroups relate to the number of second kind gaps. Furthermore, given two fixed non-negative integers F and k, we provide an algorithm to compute all the numerical semigroups whose Frobenius number is F and which have exactly k second kind gaps.
For g $\ge$ 0, let n g denote the number of numerical semi-groups of genus g. A conjecture by Maria Bras-Amorós in 2008 states that the inequality n g $\ge$ n g--1 + n g--2 should hold for all g $\ge$ 2. Here we show that such an inequality holds for the very large subtree of numerical semigroups satisfying c $\le$ 3m, where c and m are the conductor and multiplicity, respectively. Our proof is given in the more flexible setting of gapsets, i.e. complements in N of numerical semigroups.
A generalised numerical semigroup (GNS) is a submonoid $S$ of $\mathbb{N}^d$ for which the complement $\mathbb{N}^d\setminus S$ is finite. The points in the complement $\mathbb{N}^d\setminus S$ are called gaps. A gap $F$ is considered Frobenius allowable if there is some relaxed monomial ordering on $\mathbb{N}^d$ with respect to which $F$ is the largest gap. We characterise the Frobenius allowable gaps of a GNS. A GNS that has only one Frobenius allowable gap is called a Frobenius GNS. We estimate the number of Frobenius GNS with a given Frobenius gap $F=(F^{(1)},\dots,F^{(d)})\in\mathbb{N}^d…
The pseudo-Frobenius numbers of a numerical semigroup are those gaps of the numerical semigroup that are maximal for the partial order induced by the semigroup. We present a procedure to detect if a given set of integers is the set of pseudo-Frobenius numbers of a numerical semigroup and, if so, to compute the set of all numerical semigroups having this set as set of pseudo-Frobenius numbers.
Let $n_g$ be the number of numerical semigroups of genus $g$. We present an approach to compute $n_g$ by using even gaps, and the question: Is it true that $n_{g+1}>n_g$? is investigated. Let $N_γ(g)$ be the number of numerical semigroups of genus $g$ whose number of even gaps equals $γ$. We show that $N_γ(g)=N_γ(3γ)$ for $γ\leq \lfloor g/3\rfloor$ and $N_γ(g)=0$ for $γ> \lfloor 2g/3\rfloor$; thus the question above is true provided that $N_γ(g+1) > N_γ(g)$ for $γ= \lfloor g/3 \rfloor +1, \ldots, \lfloor 2g/3\rfloor$. We also show that $N_γ(3γ)$ coincides with $f_γ$, the number introduced by B…
We provide algorithms for performing computations in generalized numerical semigroups, that is, submonoids of $\mathbb{N}^{d}$ with finite complement in $\mathbb{N}^{d}$. These semigroups are affine semigroups, which in particular implies that they are finitely generated. For a given finite set of elements in $\mathbb{N}^d$ we show how to deduce if the monoid spanned by this set is a generalized numerical semigroup and, if so, we calculate its set of gaps. Also, given a finite set of elements in $\mathbb{N}^d$ we can determine if it is the set of gaps of a generalized numerical semigroup and, …
Let $\mathcal C \subset \mathbb N^p$ be a finitely generated integer cone and $S\subset \mathcal C$ be an affine semigroup such that the real cones generated by $\mathcal C$ and by $S$ are equal. The semigroup $S$ is called $\mathcal C$-semigroup if $\mathcal C\setminus S$ is a finite set. In this paper, we characterize the $\mathcal C$-semigroups from their minimal generating sets, and we give an algorithm to check if $S$ is a $\mathcal C$-semigroup and to compute its set of gaps. We also study the embedding dimension of $\mathcal C$-semigroups obtaining a lower bound for it, and introduce so…
We study the cyclotomic exponent sequence of a numerical semigroup $S,$ and we compute its values at the gaps of $S,$ the elements of $S$ with unique representations in terms of minimal generators, and the Betti elements $b\in S$ for which the set $\{a \in \operatorname{Betti}(S) : a \le_{S}b\}$ is totally ordered with respect to $\le_S$ (we write $a \le_S b$ whenever $a - b \in S,$ with $a,b\in S$). This allows us to characterize certain semigroup families, such as Betti-sorted or Betti-divisible numerical semigroups, as well as numerical semigroups with a unique Betti element, in terms of th…
Let Γ=<α, β> be a numerical semigroup. In this article we consider several relations between the so-called Γ-semimodules and lattice paths from (0,α) to (β,0): we investigate isomorphism classes of Γ-semimodules as well as certain subsets of the set of gaps of Γ, and finally syzygies of Γ-semimodules. In particular we compute the number of Γ-semimodules which are isomorphic with their k-th syzygy for some k.
In this paper, we prove that the numerical-semigroup-gap counting problem is #NP-complete as a main theorem. A numerical semigroup is an additive semigroup over the set of all nonnegative integers. A gap of a numerical semigroup is defined as a positive integer that does not belong to the numerical semigroup. The computation of gaps of numerical semigroups has been actively studied from the 19th century. However, little has been known on the computational complexity. In 2005, Ramirez-Alfonsin proposed a question whether or not the numerical-semigroup-gap counting problem is #P-complete. This w…
We give two proofs of a folkore result relating numerical semigroups of embedding dimension two and binary cyclotomic polynomials and explore some consequences. In particular, we give a more conceptual reproof of a result of Hong et al. (2012) on gaps between the exponents of non-zero monomials in a binary cyclotomic polynomial. The intent of the author with this expositional paper is to better unify the various results within the cyclotomic polynomial and numerical semigroup communities.
