Quartic polynomials in two variables do not represent all non-negative integers

Stanley Yao Xiao,Shuntaro Yamagishi

2023-07-14

Abstract:In this paper, we prove that there does not exist $F \in \mathbb{Q}[x,y]$ of degree $4$ such that $F(\mathbb{Z}^2) = \mathbb{Z}_{\geq 0}$. In particular, this answers a question by John S. Lew and Bjorn Poonen for quartic polynomials.

Number Theory

What problem does this paper attempt to address?

Sextic polynomials in two variables do not represent all non-negative integers

Stanley Yao Xiao

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

2023-10-31

Abstract:In this paper we prove that for all degree $6$ polynomials with rational coefficients that $F(\mathbb{Z}^2) \neq \mathbb{Z}_{\geq 0}$. The answers a question of B. Poonen and J. S. Lew in the degree 6 case. This work builds on previous work with S. Yamagishi.

Number Theory
The Connectedness Locus of a Family of Real Biquadratic Polynomials.

Yeshun Sun,Yongcheng Yin

DOI: https://doi.org/10.1142/s0218127407019767

IF: 2.45

2007-01-01

International Journal of Bifurcation and Chaos

Abstract:In this paper we present a precise description of the connectedness locus of the family of polynomials (z(2) + x)(2) + y, where x, y are real numbers.
On the Diophantine Equation F (X) F (Y) = F (Z(2))

Yong Zhang,Tianxin Cai

DOI: https://doi.org/10.1007/s10998-014-0068-6

2013-01-01

Publicationes Mathematicae Debrecen

Abstract:Let $f\in {\mathbb {Q}}[X]$ be a polynomial without multiple roots and $deg(f)\ge 2$. We consider the Diophantine equation $f(x)f(y)=f(z^2)$. For two classes of irreducible quadratic polynomials, this equation has infinitely many nontrivial integer solutions, if the corresponding Pell’s equations satisfy a condition. For a special cubic polynomial, it has a one-parameter family of rational solutions. For $f(X)=X(X^2+X+k)$ and $X(X^2+kX+1)$ there are infinitely many $k \in {\mathbb {Q}}$ such that the title equation has rational solutions.
(Positive) Quadratic Determinantal Representations of Quartic Curves and the Robinson Polynomial

Clemens Brüser,Mario Kummer

2024-12-03

Abstract:We prove that every real nonnegative ternary quartic whose complex zero set is smooth can be represented as the determinant of a symmetric matrix with quadratic entries which is everywhere positive semidefinite. We show that the corresponding statement fails for the Robinson polynomial, answering a question by Buckley and Šivic.

Algebraic Geometry
Monogenic Quartic Polynomials and Their Galois Groups

Joshua Harrington,Lenny Jones

2024-04-16

Abstract:A monic polynomial $f(x)\in {\mathbb Z}[x]$ of degree $N$ is called monogenic if $f(x)$ is irreducible over ${\mathbb Q}$ and $\{1,\theta,\theta^2,\ldots ,\theta^{N-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(\theta)$, where $f(\theta)=0$. In this article, we use the classification of the Galois groups of quartic polynomials, due to Kappe and Warren, to investigate the existence of infinite collections of monogenic quartic polynomials having a prescribed Galois group, such that each member of the collection generates a distinct quartic field. With the exception of the cyclic case, we provide such an infinite single-parameter collection for each possible Galois group. We believe these examples are new, and we provide evidence to support this belief by showing that they are distinct from other infinite collections in the current literature. Finally, we devote a separate section to a discussion concerning, what we believe to be, the still-unresolved cyclic case.

Number Theory
Square-free values of random polynomials

Tim Browning,Igor Shparlinski

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

2023-05-25

Abstract:The question of whether or not a given integral polynomial takes infinitely many square-free values has only been addressed unconditionally for polynomials of degree at most 3. We address this question, on average, for polynomials of arbitrary degree.

Number Theory
$2$-superirreducibility of univariate polynomials over $\mathbb{Q}$ and $\mathbb{Z}$

Lara Du

2024-09-25

Abstract:This paper investigates whether or not polynomials that are irreducible over $\mathbb{Q}$ and $\mathbb{Z}$ can remain irreducible under substitution by all quadratic polynomials. It answers this question in the negative in the degree 2 and 3 cases and provides families of examples in both the affirmative and the negative categories in the degree 4 case. Finally this paper explores what happens in higher degree cases, providing a family of examples in the negative category and offering a conjectured family for the positive category.

Number Theory
Quartic Integral Polynomial Pell Equations

Zachary Scherr,Katherine Thompson

2023-07-10

Abstract:In this paper we classify all monic, quartic, polynomials $d(x)\in\mathbb{Z}[x]$ for which the Pell equation $$f(x)^2-d(x)g(x)^2=1$$ has a non-trivial solution with $f(x),g(x)\in\mathbb{Z}[x]$.

Number Theory
On nonnegative invariant quartics in type A

Sebastian Debus,Charu Goel,Salma Kuhlmann,Cordian Riener

2024-02-06

Abstract:The equivariant nonnegativity versus sums of squares question has been solved for any infinite series of essential reflection groups but type A. As a first step to a classification, we analyse $A_n$-invariant quartics. We prove that the cones of invariant sums of squares and nonnegative forms are equal if and only if the number of variables is at most 3 or odd.

Algebraic Geometry
Classically Integral Quadratic Forms Excepting at Most Two Values

Madeleine Barowsky,William Damron,Andres Mejia,Frederick Saia,Nolan Schock,Katherine Thompson

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

2016-08-05

Abstract:Let $S \subseteq \mathbb{N}$ be finite. Is there a positive definite quadratic form that fails to represent only those elements in $S$? For $S = \emptyset$, this was solved (for classically integral forms) by the $15$-Theorem of Conway-Schneeberger in the early 1990s and (for all integral forms) by the $290$-Theorem of Bhargava-Hanke in the mid-2000s. In 1938 Halmos attempted to list all weighted sums of four squares that failed to represent $S=\{m\}$; of his $88$ candidates, he could provide complete justifications for all but one. In the same spirit, we ask, "for which $S = \{m, n\}$ does there exist a quadratic form excepting only the elements of $S$?" Extending the techniques of Bhargava and Hanke, we answer this question for quaternary forms. In the process, we prove what Halmos could not; namely, that $x^2+2y^2+7z^2+13w^2$ represents all positive integers except $5$. We develop new strategies to handle forms of higher dimensions, yielding an enumeration of and proofs for the $73$ possible pairs that a classically integral positive definite quadratic form may except.

Number Theory
A Note on Stable Quadratic Polynomials over Fields of Characteristic Two

Omran Ahmadi

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

2009-10-23

Number Theory

Abstract:In this note, first we show that there is no stable quadratic polynomial over finite fields of characteristic two and then show that there exist stable quadratic polynomials over function fields of characteristic two.
Factorization of Quaternionic Polynomials of Bi-Degree (n,1)

Johanna Lercher,Daniel F. Scharler,Hans-Peter Schröcker,Johannes Siegele

DOI: https://doi.org/10.1007/s13366-022-00629-z

2022-02-18

Abstract:We consider polynomials of bi-degree $(n,1)$ over the skew field of quaternions where the indeterminates commute with each other and with all coefficients. Polynomials of this type do not generally admit factorizations. We recall a necessary and sufficient condition for existence of a factorization with univariate linear factors that has originally been stated by Skopenkov and Krasauskas. Such a factorization is, in general, non-unique by known factorization results for univariate quaternionic polynomials. We unveil existence of bivariate polynomials with non-unique factorizations that cannot be explained in this way and characterize them geometrically and algebraically. Existence of factorizations is related to the existence of special rulings of two different types (left/right) on the ruled surface parameterized by the bivariate polynomial in the projective space over the quaternions. Special non-uniqueness in above sense can be explained algebraically by commutation properties of factors in suitable factorizations. A necessary geometric condition for this to happen is degeneration to a point of at least one of the left/right rulings.

Rings and Algebras
Solution of certain Diophantine equations in Gaussian integers

Arkabarata Ghosh

2024-09-30

Abstract:In this article, we show that the quartic Diophantine equations $x^4 \pm pqy^4=\pm z^2$ and $ x^4 \pm pq y^4= \pm iz^2$ have only trivial solutions for some primes $p$ and $q$ satisfying conditions $ p \equiv 3 \pmod 8, ~ q \equiv 1 \pmod 8 ~\text{and}~ \displaystyle\legendre{p}{q} = -1$. Here we have found the torsion of the two families of elliptic curves to find the solutions of given Diophantine equations. Moreover, we also calculate the rank of these two families of elliptic curves over the Gaussian field $\mathbb{Q}(i)$.

Number Theory
Quantifier elimination for quartics

Lu Yang,Bican Xia

DOI: https://doi.org/10.1007/11856290_13

2006-01-01

Abstract:Concerning quartics, two particular quantifier elimination (QE) problems of historical interests and practical values are studied. We solve the problems by the theory of complete discrimination systems and negative root discriminant sequences for polynomials that provide a method for real (positive/negative) and complex root classification for polynomials. The equivalent quantifier-free formulas are obtained mainly be hand and are simpler than those obtained automatically by previous methods or QE tools. Also, applications of the results to program verification and determination of positivity of symmetric polynomials are showed.
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
A positive proportion of monic odd-degree hyperelliptic curves of genus $g \geq 4$ have no unexpected quadratic points

Jef Laga,Ashvin A. Swaminathan

2024-08-21

Abstract:Let $\mathcal{F}_g$ be the family of monic odd-degree hyperelliptic curves of genus $g$ over $\mathbb{Q}$. Poonen and Stoll have shown that for every $g \geq 3$, a positive proportion of curves in $\mathcal{F}_g$ have no rational points except the point at infinity. In this note, we prove the analogue for quadratic points: for each $g\geq 4$, a positive proportion of curves in $\mathcal{F}_g$ have no points defined over quadratic extensions except those that arise by pulling back rational points from $\mathbb{P}^1$.

Number Theory,Algebraic Geometry
Almost all quadratic twists of an elliptic curve have no integral points

Tim Browning,Stephanie Chan

2024-01-09

Abstract:For a given elliptic curve E in short Weierstrass form, we show that almost all quadratic twists E_D have no integral points, as D ranges over square-free integers ordered by size. Our result is conditional on a weak form of the Hall-Lang conjecture in the case that E has partial 2-torsion. The proof uses a correspondence of Mordell and the reduction theory of binary quartic forms in order to transfer the problem to counting rational points of bounded height on a certain singular cubic surface, together with extensive use of cancellation in character sum estimates, drawn from Heath-Brown's analysis of Selmer group statistics for the congruent number curve.

Number Theory
A family of cyclic quartic monogenic polynomials

P. Voutier

2024-09-19

Abstract:We produce an explicit family of totally real cyclic quartic polynomials that are monogenic in many cases, and conjecturally are monogenic and generating distinct quartic fields infinitely often.

Number Theory
The product of a quartic and a sextic number cannot be octic

Artūras Dubickas,Lukas Maciulevičius

DOI: https://doi.org/10.1515/math-2023-0184

2024-03-13

Open Mathematics

Abstract:In this article, we prove that the product of two algebraic numbers of degrees 4 and 6 over Q cannot be of degree 8. This completes the classification of so-called product-feasible triplets ( a , b , c ) ∈ N 3 with a ≤ b ≤ c and b ≤ 7 . The triplet ( a , b , c ) is called product-feasible if there are algebraic numbers α , β , and γ of degrees a , b , and c over Q , respectively, such that α β = γ . In the proof, we use a proposition that describes all monic quartic irreducible polynomials in Q [ x ] with four roots of equal moduli and is of independent interest. We also prove a more general statement, which asserts that for any integers n ≥ 2 and k ≥ 1 , the triplet ( a , b , c ) = ( n , ( n − 1 ) k , n k ) is product-feasible if and only if n is a prime number. The choice ( n , k ) = ( 4 , 2 ) recovers the case ( a , b , c ) = ( 4 , 6 , 8 ) as well.

mathematics

Quartic polynomials in two variables do not represent all non-negative integers

Sextic polynomials in two variables do not represent all non-negative integers

The Connectedness Locus of a Family of Real Biquadratic Polynomials.

On the Diophantine Equation F (X) F (Y) = F (Z(2))

(Positive) Quadratic Determinantal Representations of Quartic Curves and the Robinson Polynomial

Monogenic Quartic Polynomials and Their Galois Groups

Square-free values of random polynomials

$2$-superirreducibility of univariate polynomials over $\mathbb{Q}$ and $\mathbb{Z}$

Quartic Integral Polynomial Pell Equations

On nonnegative invariant quartics in type A

Classically Integral Quadratic Forms Excepting at Most Two Values

A Note on Stable Quadratic Polynomials over Fields of Characteristic Two

Factorization of Quaternionic Polynomials of Bi-Degree (n,1)

Solution of certain Diophantine equations in Gaussian integers

Quantifier elimination for quartics

Finding polynomials with arbitrary intersection numbers

A positive proportion of monic odd-degree hyperelliptic curves of genus $g \geq 4$ have no unexpected quadratic points

Almost all quadratic twists of an elliptic curve have no integral points

A family of cyclic quartic monogenic polynomials

The product of a quartic and a sextic number cannot be octic