arXiv ScienceSearch

arXiv · 2502.11666

Towards the classification of scattered binomials

Abstract

Let \( q \) be a prime power and \( n \) an integer. An \( \mathbb{F}_q \)-linearized polynomial \( f \) is said to be scattered if it satisfies the condition that for all \( x, y \in \mathbb{F}_q^n \setminus \{ 0 \} \), whenever \( \frac{f(x)}{x} = \frac{f(y)}{y} \), it follows that \( \frac{x}{y} \in \mathbb{F}_q \). In this paper, we focus on scattered binomials. Two families of scattered binomials are currently known: the one from Lunardon and Polverino (LP), given by $f(x) = δx^{q^s} + x^{q^{n-s}},$ and the one from Csajbók, Marino, Polverino, and Zanella (CMPZ), given by $f(x) = δx^{q^s} + x^{q^{s + n/2}},$ where \( n = 6 \) or \( n = 8 \). Using algebraic varieties as a tool, we prove some necessary conditions for a binomial to be scattered. As a corollary, we obtain that when \( q \) is sufficiently large and \( n \) is prime, a binomial is scattered if and only if it is of the form (LP). Moreover we obtain a complete classification of scattered binomial in $\Fn$ when $n\leq8$ and $q$ is large enough.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Daniele Bartoli, Francesco Ghiandoni, Alessandro Giannoni, Giuseppe Marino. 2025-02-17. Towards the classification of scattered binomials. https://arxiv.org/abs/2502.11666

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Distinguishing Graphs by Counting Homomorphisms from Sparse Graphs

Lovász (1967) showed that two graphs $G$ and $H$ are isomorphic if, and only if, they are homomorphism indistinguishable over all graphs, i.e., $G$ and $H$ admit the same number of number of homomorphisms from every graph $F$. Subsequently, a substantial line of work studied homomorphism indistinguishability over restricted graph classes. For example, homomorphism indistinguishability over minor-closed graph classes $\mathcal{F}$ such as the class of planar graphs, the class of graphs of treewidth $\leq k$, pathwidth $\leq k$, or treedepth $\leq k$, was shown to be equivalent to quantum isomorphism and equivalences with respect to counting logic fragments, respectively. Via such characterisations, the distinguishing power of e.g. logical or quantum graph isomorphism relaxations can be studied with graph-theoretic means. In this vein, Roberson (2022) conjectured that homomorphism indistinguishability over every graph class excluding some minor is not the same as isomorphism. We prove this conjecture for all vortex-free graph classes. In particular, homomorphism indistinguishability over graphs of bounded Euler genus is not the same as isomorphism. As a negative result, we show that Roberson's conjecture fails when generalised to graph classes excluding a topological minor. Furthermore, we show homomorphism distinguishing closedness for several graph classes including all topological-minor-closed and union-closed classes of forests, and show that homomorphism indistinguishability over graphs of genus $\leq g$ (and other parameters) forms a strict hierarchy.

math.CO

Knowledge management in House of Graphs

The House of Graphs is an online database of graphs which can be accessed at https://houseofgraphs.org/. It serves as a central repository for complete lists of graphs for various graph classes. However, its main feature is a searchable database of so-called "interesting" graphs. The development of the original House of Graphs started in 2010 and it was completely rebuilt in 2021-2022. Each graph in the database is accompanied by a significant amount of meta-data such as a name, drawings, precomputed graph invariants, and comments. Given this amount of information and the importance of reliability in the scientific world, robust data management is essential to ensure accuracy and consistency across the database. In this article, we therefore focus on knowledge management in the House of Graphs and describe the inner workings of the House of Graphs and how we ensure that its data is coherent, qualitative and stable.

math.CO

A Geometric Criterion for Degeneracy in the Elekes-Szabó Theorem

The Elekes-Szabó theorem establishes that an irreducible algebraic hypersurface $Z(F)$ contains few grid points unless it exhibits a specific group-related structure. Identifying this structure from the polynomial $F$ is a challenging problem in combinatorial geometry. Our first main result (Theorem 2.3) provides a local geometric criterion to detect such group-related hypersurfaces. By applying this criterion, we develop a geometric framework for boundary varieties, which are defined by the vanishing of partial derivatives along $Z(F)$. In Theorem 2.4, we show that for group-related varieties, these boundary varieties must be contained in coordinate slices. This gives a strict geometric constraint on the loci where $Z(F)$ becomes tangent to coordinate directions. As an application, we study configurations formed by $d$ coordinate-grid hyperplane families together with a one-parameter polynomial family of hyperspheres in $\mathbb{R}^d$. If one chooses $n$ members from each of these $d+1$ families and obtains $Ω(n^{d-η})$ common incidence points, then the hypersphere family is forced to have a very restricted form: it is concentric in dimensions $d \geq 3$, and in dimension $2$ it is either concentric or consists of fixed-radius circles whose centres lie on a line parallel to a coordinate axis. We also generalize the pinned distance problem initiated by Elekes and Szabó for three points in the plane to $d+1$ points in $\mathbb{R}^d$. More precisely, in Theorem 2.8 we prove that if $d+1$ families of hyperspheres centred at fixed points determine $Ω(n^{d-η})$ points, each lying on one hypersphere from each family, then the centres must be affinely dependent.

math.CO