Finding polynomials with arbitrary intersection numbers

Weiyuan Qiu,Yueyang Wang

DOI: https://doi.org/10.1007/s11856-024-2698-6

2024-12-05

Israel Journal of Mathematics

Abstract:We prove that for any positive integers p ≥ 2 and d ≥ 3, there exists a polynomial of degree d which is a common boundary point of exactly p hyperbolic components. For p > 3, there is no such map in the case of degree d = 2.

mathematics

What problem does this paper attempt to address?

Intersections Between Boundaries of Bounded Hyperbolic Components of Cubic Polynomials

Weiyuan Qiu,Yueyang Wang

DOI: https://doi.org/10.1007/s00209-023-03372-w

2023-01-01

Mathematische Zeitschrift

Abstract:We are concerned with the intersections between the boundaries of bounded hyperbolic components in the space of cubic polynomials. We show that if the intersection map has an attracting periodic orbit, then it is either a parabolic map or a Misiurewicz map. This result is based on a complete classification of all these intersection maps in one-dimensional slices 𝒮_p introduced by J. Milnor, which consists of cubic polynomials with a periodic p critical point.
Hyperbolic components and cubic polynomials

Xiaoguang Wang

DOI: https://doi.org/10.1016/j.aim.2020.107554

IF: 1.675

2021-01-01

Advances in Mathematics

Abstract:In the space of cubic polynomials, Milnor defined a notable curve S-p, consisting of cubic polynomials with a periodic critical point, whose period is exactly p. In this paper, we show that for any integer p >= 1, any bounded hyperbolic component on S-p is a Jordan disk. (C) 2020 Elsevier Inc. All rights reserved.
Generalized polynomials and hyperplane functions in $(\mathbb{Z}/p^k\mathbb{Z})^n$

Izabella Łaba,Charlotte Trainor

2024-03-09

Abstract:For $p$ prime, let $\mathcal{H}^n$ be the linear span of characteristic functions of hyperplanes in $(\mathbb{Z}/p^k\mathbb{Z})^n$. We establish new upper bounds on the dimension of $\mathcal{H}^n$ over $\mathbb{Z}/p\mathbb{Z}$, or equivalently, on the rank of point-hyperplane incidence matrices in $(\mathbb{Z}/p^k\mathbb{Z})^n$ over $\mathbb{Z}/p\mathbb{Z}$. Our proof is based on a variant of the polynomial method using binomial coefficients in $\mathbb{Z}/p^k\mathbb{Z}$ as generalized polynomials. We also establish additional necessary conditions for a function on $(\mathbb{Z}/p^k\mathbb{Z})^n$ to be an element of $\mathcal{H}^n$.

Combinatorics
On P-unique hypergraphs

J. A. Makowsky,R.X. Zhang

DOI: https://doi.org/10.48550/arXiv.1712.07357

2017-12-20

Abstract:We study hypergraphs which are uniquely determined by their chromatic, independence and matching polynomials. B. Bollobás, L. Pebody and O. Riordan (2000) conjectured (BPR-conjecture) that almost all graphs are uniquely determined by their chromatic polynomials. We show that for $r$-uniform hypergraphs with $r \geq 3$ this is almost never the case. This disproves the analolgue of the BPR-conjecture for $3$-uniform hypergraphs. For $r =2$ this also holds for the independence polynomial, as shown by J.A. Makowsky and V. Rakita (2017), whereas for the chromatic and matching polynomial this remains open.

Combinatorics
Sarkozy's Theorem for P-Intersective Polynomials

Alex Rice

DOI: https://doi.org/10.48550/arXiv.1111.6559

2011-11-28

Classical Analysis and ODEs

Abstract:We define a necessary and sufficient condition on a polynomial $h\in \mathbb{Z}[x]$ to guarantee that every set of natural numbers of positive upper density contains a nonzero difference of the form $h(p)$ for some prime $p$. Moreover, we establish a quantitative estimate on the size of the largest subset of ${1,2,\dots,N}$ which lacks the desired arithmetic structure, showing that if deg$(h)=k$, then the density of such a set is at most a constant times $(\log N)^{-c}$ for any $c<1/(2k-2)$. We also discuss how an improved version of this result for $k=2$ and a relative version in the primes can be obtained with some additional known methods.
Intersection of orbits for polynomials in characteristic $p$

Simone Coccia,Dragos Ghioca,Jungin Lee,Gyeonghyeon Nam

2024-08-13

Abstract:In [GTZ08, GTZ12], the following result was established: given polynomials $f,g\in\mathbb{C}[x]$ of degrees larger than $1$, if there exist $\alpha,\beta\in\mathbb{C}$ such that their corresponding orbits $\mathcal{O}_f(\alpha)$ and $\mathcal{O}_g(\beta)$ (under the action of $f$, respectively of $g$) intersect in infinitely many points, then $f$ and $g$ must share a common iterate, i.e., $f^m=g^n$ for some $m,n\in\mathbb{N}$. If one replaces $\mathbb{C}$ with a field $K$ of characteristic $p$, then the conclusion fails; we provide numerous examples showing the complexity of the problem over a field of positive characteristic. We advance a modified conjecture regarding polynomials $f$ and $g$ which admit two orbits with infinite intersection over a field of characteristic $p$. Then we present various partial results, along with connections with another deep conjecture in the area, the dynamical Mordell-Lang conjecture.

Number Theory,Dynamical Systems
Intersection of irreducible curves and the Hermitian curve

Peter Beelen,Mrinmoy Datta,Maria Montanucci,Jonathan Tilling Niemann

2024-07-18

Abstract:Let $\mathcal{H}_q$ denote the Hermitian curve in $\mathbb{P}^2$ over $\mathbb{F}_{q^2}$ and $\mathcal{C}_d$ be an irreducible plane projective curve in $\mathbb{P}^2$ also defined over $\mathbb{F}_{q^2}$ of degree $d$. Can $\mathcal{H}_q$ and $\mathcal{C}_d$ intersect in exactly $d(q+1)$ distinct $\mathbb{F}_{q^2}$-rational points? Bézout's theorem immediately implies that $\mathcal{H}_q$ and $\mathcal{C}_d$ intersect in at most $d(q+1)$ points, but equality is not guaranteed over $\mathbb{F}_{q^2}$. In this paper we prove that for many $d \le q^2-q+1$, the answer to this question is affirmative. The case $d=1$ is trivial: it is well known that any secant line of $\mathcal{H}_q$ defined over $\mathbb{F}_{q^2}$ intersects $\mathcal{H}_q$ in $q+1$ rational points. Moreover, all possible intersections of conics and $\mathcal{H}_q$ were classified by Donati et al. in 2009 and their results imply that the answer to the question above is affirmative for $d=2$ and $q \ge 4$, as well. However, an exhaustive computer search quickly reveals that for $(q,d) \in \{(2,2),(3,2),(2,3)\}$, the answer is instead negative. We show that for $q \le d \le q^2-q+1$, $d=\lfloor(q+1)/2\rfloor$ and $d=3$, $q \geq 3$ the answer is again affirmative. Various partial results for the case $d$ small compared to $q$ are also provided.

Algebraic Geometry
Hausdorff measure of zeros of polynomials

Andrew Murdza,Khai T. Nguyen,Etienne Phillips

2024-04-28

Abstract:The paper provides an elementary proof establishing a sharp universal bound on the $(d-1)$-Hausdorff measure of the zeros of any nontrivial multivariable polynomial $p:\mathbb{R}^d\to\mathbb{R}$ within a $d$-dimensional cube of size $r$. This bound depends solely on the parameter $r$, the dimension $d$, and the degrees of $p$.

Classical Analysis and ODEs,Algebraic Geometry
Shared Dynamically-Small Points for Polynomials on Average

Yan Sheng Ang,Jit Wu Yap

2023-12-08

Abstract:Given two rational maps $f,g: \mathbb{P}^1 \to \mathbb{P}^1$ of degree $d$ over $\mathbb{C}$, DeMarco-Krieger-Ye [DKY22] has conjectured that there should be a uniform bound $B = B(d) > 0$ such that either they have at most $B$ common preperiodic points or they have the same set of preperiodic points. We study their conjecture from a statistical perspective and prove that the average number of shared preperiodic points is zero for monic polynomials of degree $d \geq 6$ with rational coefficients. We also investigate the quantity $\liminf_{x \in \overline{\mathbb{Q}}} \left(\widehat{h}_f(x) + \widehat{h}_g(x) \right)$ for a generic pair of polynomials and prove both lower and upper bounds for it.

Dynamical Systems,Number Theory
Intersecting families of graphs of functions over a finite field

Angela Aguglia,Bence Csajbók,Zsuzsa Weiner

DOI: https://doi.org/10.26493/1855-3974.2903.9ca

2023-09-08

Abstract:Let $U$ be a set of polynomials of degree at most $k$ over $\mathbb{F}_q$, the finite field of $q$ elements. Assume that $U$ is an intersecting family, that is, the graphs of any two of the polynomials in $U$ share a common point. Adriaensen proved that the size of $U$ is at most $q^k$ with equality if and only if $U$ is the set of all polynomials of degree at most $k$ passing through a common point. In this manuscript, using a different, polynomial approach, we prove a stability version of this result, that is, the same conclusion holds if $|U|>q^k-q^{k-1}$. We prove a stronger result when $k=2$. For our purposes, we also prove the following results. If the set of directions determined by the graph of $f$ is contained in an additive subgroup of $\mathbb{F}_q$, then the graph of $f$ is a line. If the set of directions determined by at least $q-\sqrt{q}/2$ affine points is contained in the set of squares/non-squares plus the common point of either the vertical or the horizontal lines, then up to an affinity the point set is contained in the graph of some polynomial of the form $\alpha x^{p^k}$.

Combinatorics
On Poincaré polynomials for plane curves with quasi-homogeneous singularities

Piotr Pokora

2024-12-11

Abstract:We define a combinatorial object that can be associated with any conic-line arrangement with ordinary quasi-homogeneous singularities, which we call the combinatorial Poincaré polynomial. We prove a Terao-type factorization statement on the splitting of such a polynomial over the rationals under the assumption that our conic-line arrangements are free. Then we focus on the so-called $d$-arrangements in the plane. In particular, we provide a combinatorial constraint for free $d$-arrangements admitting ordinary quasi-homogeneous singularities.

Algebraic Geometry,Combinatorics
Difference Sets and Polynomials

Neil Lyall,Alex Rice

DOI: https://doi.org/10.48550/arXiv.1504.04904

2016-12-07

Abstract:We provide upper bounds on the largest subsets of $\{1,2,\dots,N\}$ with no differences of the form $h_1(n_1)+\cdots+h_{\ell}(n_{\ell})$ with $n_i\in \mathbb{N}$ or $h_1(p_1)+\cdots+h_{\ell}(p_{\ell})$ with $p_i$ prime, where $h_i\in \mathbb{Z}[x]$ lie in in the classes of so-called intersective and $\mathcal{P}$-intersective polynomials, respectively. For example, we show that a subset of $\{1,2,\dots,N\}$ free of nonzero differences of the form $n^j+m^k$ for fixed $j,k\in \mathbb{N}$ has density at most $e^{-(\log N)^{\mu}}$ for some $\mu=\mu(j,k)>0$. Our results, obtained by adapting two Fourier analytic, circle method-driven strategies, either recover or improve upon all previous results for a single polynomial. UPDATE: While the results and proofs in this preprint are correct, the main result (Theorem 1.1) has been superseded prior to publication by a new paper ( <a class="link-internal link-https" href="https://arxiv.org/abs/1612.01760">https://arxiv.org/abs/1612.01760</a> ) that provides better results with considerably less technicality, to which the interested reader should refer.

Number Theory,Classical Analysis and ODEs,Combinatorics
Just-likely intersections on Hilbert modular surfaces

G. Asvin,Qiao He,Ananth N. Shankar

DOI: https://doi.org/10.1007/s00208-023-02793-6

2024-01-14

Mathematische Annalen

Abstract:In this paper, we prove an intersection-theoretic result pertaining to curves in certain Hilbert modular surfaces in positive characteristic p . Specifically, let C , D be two proper curves inside a mod p Hilbert modular surface associated to a real quadratic field split at p . Suppose that the curves are generically ordinary, and that at least one of them is ample. Then, the set of points in with abelian surfaces parameterized by x and y isogenous to each other is Zariski dense in , thereby proving a case of a just-likely intersection conjecture. We also compute the change in Faltings height under appropriate p -power isogenies of abelian surfaces with real multiplication over characteristic p global fields.

mathematics
Intersecting families of polynomials over finite fields

Nika Salia,Dávid Tóth

2024-09-26

Abstract:This paper establishes an analog of the Erdős-Ko-Rado theorem to polynomial rings over finite fields, affirmatively answering a conjecture of C. Tompkins. A $k$-uniform family of subsets of a set of finite size $n$ is $l$-intersecting if any two subsets in the family intersect in at least $l$ elements. The study of such intersecting families is a core subject of extremal set theory, tracing its roots to the seminal 1961 Erdős-Ko-Rado theorem, which establishes a sharp upper bound on the size of these families. As an analog of the Erdős-Ko-Rado theorem, we determine the largest possible size of a family of monic polynomials, each of degree $n$, over a finite field $F_q$, where every pair of polynomials in the family shares a common factor of degree at least $l$. We establish that the upper bound for this size is $q^{n-l}$ and further characterize all extremal families that achieve this maximum size. Further extending our study to triple-intersecting families, where every triplet of polynomials shares a common factor of degree at least $l$, we prove that only trivial families achieve the corresponding upper bound. Moreover, by relaxing the conditions to include polynomials of degree at most $n$, we affirm that the same upper bound holds and only trivial families achieve the corresponding upper bound.

Number Theory,Combinatorics
Polynomial correspondences expressible as maps of $d$-tuples

Shrihari Sridharan,Subith G.,Atma Ram Tiwari

2024-09-05

Abstract:In this paper, we consider polynomial correspondences $f (x, y)$ in $\mathbb{C}[x, y]$ of degree $d \ge 2$ in both the variables and obtain necessary and sufficient conditions in order that the equation $f (x, y) = 0$ can be expressed as $\phi (x) = \psi (y)$, where $\phi$ and $\psi$ are fractional degree $d$ rational maps in the Riemann sphere. In the absence of involutions that played a vital role towards characterising quadratic correspondences ($d = 2$), we employ certain elementary ideas from theory of equations and matrices to achieve our results. We further explore certain symmetry conditions on the matrix of coefficients of correspondences that satisfy the above factorisation. We conclude this short note with a few examples.

Dynamical Systems,Complex Variables
On polynomials associated to Voronoi diagrams of point sets and crossing numbers

Mercè Claverol,Andrea de las Heras-Parrilla,David Flores-Peñaloza,Clemens Huemer,David Orden

2024-09-18

Abstract:Three polynomials are defined for given sets $S$ of $n$ points in general position in the plane: The Voronoi polynomial with coefficients the numbers of vertices of the order-$k$ Voronoi diagrams of $S$, the circle polynomial with coefficients the numbers of circles through three points of $S$ enclosing $k$ points of $S$, and the $E_{\leq k}$ polynomial with coefficients the numbers of (at most $k$)-edges of $S$. We present several formulas for the rectilinear crossing number of $S$ in terms of these polynomials and their roots. We also prove that the roots of the Voronoi polynomial lie on the unit circle if, and only if, $S$ is in convex position. Further, we present bounds on the location of the roots of these polynomials.

Combinatorics,Computational Geometry,Discrete Mathematics
Non-cyclicity and polynomials in Dirichlet-type spaces of the unit ball

Dimitrios Vavitsas,Konstantinos Zarvalis

2024-05-06

Abstract:We give a description of the intersection of the zero set with the unit sphere of a zero-free polynomial in the unit ball of $\mathbb{C}^n$. This description leads to the formulation of a conjecture regarding the characterization of polynomials that are cyclic in Dirichlet-type spaces in the unit ball of $\mathbb{C}^n$. Furthermore, we answer partially ascertaining whether an arbitrary polynomial is not cyclic.

Complex Variables
About almost covering subsets of the hypercube

Arijit Ghosh,Chandrima Kayal,Soumi Nandi

2024-09-25

Abstract:Let $\mathbb{F}$ be a field, and consider the hypercube $\{ 0, 1 \}^{n}$ in $\mathbb{F}^{n}$. Sziklai and Weiner (Journal of Combinatorial Theory, Series A 2022) showed that if a polynomial $P ( X_{1}, \dots, X_{n} ) \in \mathbb{F}[ X_{1}, \dots, X_{n}]$ vanishes on every point of the hypercube $\{0,1\}^{n}$ except those with at most $r$ many ones then the degree of the polynomial will be at least $n-r$. This is a generalization of Alon and Füredi's fundamental result (European Journal of Combinatorics 1993) about polynomials vanishing on every point of the hypercube except at the origin (point with all zero coordinates). Sziklai and Weiner proved their interesting result using Möbius inversion formula and the Zeilberger method for proving binomial equalities. In this short note, we show that a stronger version of Sziklai and Weiner's result can be derived directly from Alon and Füredi's result.

Combinatorics,Discrete Mathematics
A Degree Bound for Planar Functions

Christof Beierle,Tim Beyne

2024-07-05

Abstract:Using Stickelberger's theorem on Gauss sums, we show that if $F$ is a planar function on a finite field $\mathbb{F}_q$, then for all non-zero functions $G : \mathbb{F}_q \to \mathbb{F}_q$, we have \begin{equation*} \mathrm{deg } \ G \circ F - \mathrm{deg } \ G \le \frac{n(p-1)}{2}\,, \end{equation*} where $q = p^n$ with $p$ a prime and $n$ a positive integer, and $\mathrm{deg } \ F$ is the algebraic degree of $F$, i.e., the degree of the corresponding multivariate polynomial over $\mathbb{F}_p$. This bound leads to a simpler proof of the classification of planar polynomials over $\mathbb{F}_p$ and planar monomials over $\mathbb{F}_{p^2}$. As a new result, using the same degree bound, we complete the classification of planar monomials for all $n = 2^k$ with $p>5$ and $k$ a non-negative integer. Finally, we state a conjecture on the sum of the base-$p$ digits of integers modulo $q-1$ that implies the complete classification of planar monomials over finite fields of characteristic $p>5$.

Combinatorics

Finding polynomials with arbitrary intersection numbers

Intersections Between Boundaries of Bounded Hyperbolic Components of Cubic Polynomials

Hyperbolic components and cubic polynomials

Generalized polynomials and hyperplane functions in $(\mathbb{Z}/p^k\mathbb{Z})^n$

On P-unique hypergraphs

Sarkozy's Theorem for P-Intersective Polynomials

Intersection of orbits for polynomials in characteristic $p$

Intersection of irreducible curves and the Hermitian curve

Hausdorff measure of zeros of polynomials

Shared Dynamically-Small Points for Polynomials on Average

Intersecting families of graphs of functions over a finite field

On Poincaré polynomials for plane curves with quasi-homogeneous singularities

Difference Sets and Polynomials

Just-likely intersections on Hilbert modular surfaces

Intersecting families of polynomials over finite fields

Polynomial correspondences expressible as maps of $d$-tuples

On polynomials associated to Voronoi diagrams of point sets and crossing numbers

Non-cyclicity and polynomials in Dirichlet-type spaces of the unit ball

About almost covering subsets of the hypercube

A Degree Bound for Planar Functions