arXiv++ Combinatorics

Suppose we have $r$ linearly independent hypersurfaces of degree $d$ in $\mathbb{P}^m$ (or $\mathbb{A}^m$) defined over a finite field $\mathbb{F}_q$, whose intersection is at most $k$-dimensional. What is the largest possible number of $\mathbb{F}_q$-rational points in the intersection? We conjecture an exact formula for this problem in both the projective and affine settings, assuming $q\geq d+1$. The case $k=m-1$ recovers the Beelen-Datta-Ghorpade conjecture [2] and the case $k=0$ recovers the zero-dimensional conjecture in [15]. Another interesting special case of the conjecture is $k=m-r$, which corresponds to the complete intersection of $r$ degree $d$ polynomials. The case $r=1$, $k=m-1$ was proven by Serre in [16] who showed that if $F$ is a degree $d$ homogeneous polynomial, then $|V(F)(\mathbb{F}_q)|\leq dq^{m-1}+π_{m-2}(q)$. We prove the case $r=2$ and $k=m-2$, that is, if $F_1, F_2$ are coprime, degree $d$ homogeneous polynomials, then $|V(F_1,F_2)(\mathbb{F}_q)|\leq d^2q^{m-2}+π_{m-3}(q)$.

Suppose we have $r$ hypersurfaces in $\mathbb{P}^m$ of degree $d$, whose defining polynomials are linearly independent, and their intersection has dimension $0$. Then what is the largest possible intersection of the $r$ hypersurfaces? We conjecture an exact formula for this problem and prove it when $m=2$. We show that this can be used to compute the generalized hamming weights of the projective Reed-Muller code $\operatorname{PRM}_q(d,2)$ and hence settle a conjecture of Beelen, Datta and Ghorpade for $m=2$.

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$ and show that it is close to $\sqrt{3}^{(F^{(1)}+1)\cdots (F^{(d)}+1)}$ for large $d$. We define notions of quasi-irreducibility and quasi-symmetry for GNS. While in the case of $d=1$ these notions coincide with irreducibility and symmetry of GNS, they are distinct in higher dimensions.

A numerical set is a co-finite subset of the natural numbers that contains zero. Its Frobenius number is the largest number in its complement. Each numerical set has an associated semigroup $A(T)=\{t\mid t+T\subseteq T\}$, which has the same Frobenius number as $T$. For a fixed Frobenius number $f$ there are $2^{f-1}$ numerical sets. It is known that there is a number $γ$ close to $0.484$ such that the ratio of these numerical sets that are mapped to $N_f=\{0\}\cup(f,\infty)$ is asymptotically $γ$. We identify a collection of families $N(D,f)$ of numerical semigroups such that for a fixed $D$ the ratio of the $2^{f-1}$ numerical sets that are mapped to $N(D,f)$ converges to a positive limit as $f$ goes to infinity. We denote the limit as $γ_D$, these constants sum up to $1$ meaning that they asymptotically account for almost all numerical sets.