Effective Determination of Prime Decompositions of Cubic Function Fields

Yusheng Zhao,Wei Li,Xianke Zhang

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

2010-01-01

International Journal of Number Theory

Abstract:In this paper, we determine completely the prime decomposition of cubic function fields by effective and explicit methods.

What problem does this paper attempt to address?

Explicit Factorization of Prime Integers in Quartic Number Fields defined by $X^4+aX+b$

Lhoussain El Fadil

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

2010-08-22

Abstract:For every prime integer $p$, an explicit factorization of the principal ideal $p\z_K$ into prime ideals of $\z_K$ is given, where $K$ is a quartic number field defined by an irreducible polynomial $X^4+aX+b\in\z[X]$.

Number Theory
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.
Quadratic Number Fields with Class Numbers Divisible by a Prime Q

杨东,张贤科

2012-01-01

Tsinghua Science & Technology

Abstract:Let q ≥ 5 be a prime number.Let be a quadratic number field,where d = Then the class number of k is divisible by q for certain integers u,w.Conversely,assume Ω/ k is an unramified cyclic extension of degree q Ω (which implies the class number of k is divisible by q),and Ω is the splitting field of some irreducible trinomial f(X) = Xq-aX-b with integer coefficients,K=Q(D(F))with D(f) the discriminant of f(X).Then f(X) must be of the form f(X) = Xq-uq-2wX-uq-1 in a certain sense where u,w are certain integers.Therefore,K=Q(d) with d = (-1)q(q-1)/2(-q-1)q-1uwq-1uw-+u2qq).Moreover,the above two results are both generalized for certain kinds of general polynomials.
Trinomial Planar Functions on Cubic and Quartic Extensions of Finite Fields

Ruikai Chen,Sihem Mesnager

2023-06-30

Abstract:Planar functions, introduced by Dembowski and Ostrom, are functions from a finite field to itself that give rise to finite projective planes. They exist, however, only for finite fields of odd characteristics. They have attracted much attention in the last decade thanks to their interest in theory and those deep and various applications in many fields. This paper focuses on planar trinomials over cubic and quartic extensions of finite fields. Our achievements are obtained using connections with quadratic forms and classical algebraic tools over finite fields. Furthermore, given the generality of our approach, the methodology presented could be employed to drive more planar functions on some finite extension fields.

Number Theory,Information Theory
Class Number and Regulator Computation in Purely Cubic Function Fields of Unit Rank Two

Felix Fontein,Eric Landquist,Renate Scheidler

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

2010-01-23

Abstract:We describe and give computational results of a procedure to compute the divisor class number and regulator of most purely cubic function fields of unit rank 2. Our implementation is an improvement to Pollard's Kangaroo method in infrastructures, using distribution results of class numbers as well as information on the congruence class of the divisor class number, and an adaptation that efficiently navigates these torus-shaped infrastructures. Moreover, this is the first time that an efficient "square-root" algorithm has been applied to the infrastructure of a global field of unit rank 2. With the exception of certain function fields defined by Picard curves, our examples are the largest known divisor class numbers and regulators ever computed for a function field of genus 3.

Number Theory
Computations in Cubic Function Fields of Characteristic Three

Mark Bauer,Jonathan Webster

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

2010-09-04

Abstract:This paper contains an account of arbitrary cubic function fields of characteristic three. We define a standard form for an arbitrary cubic curve and consider its function field. By considering an integral basis for the maximal order of these function fields, we are able to calculate the field discriminant and the genus. We also describe the splitting behavior of any place, and give composition and reduction algorithms for arithmetic in the ideal class group.

Number Theory
An algorithm to compute relative cubic fields

Anna Morra

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

2011-08-26

Abstract:Let k be an imaginary quadratic number field (with class number 1). We describe a new, essentially linear-time algorithm, to list all isomorphism classes of cubic extensions L/k up to a bound X on the norm of the relative discriminant ideal. The main tools are Taniguchi's generalization of Davenport-Heilbronn parametrisation of cubic extensions, and reduction theory for binary cubic forms over imaginary quadratic fields. Finally, we give numerical data for k=Q(i), and we compare our results with ray class field algorithm ones, and with asymptotic heuristics, based on a generalization of Roberts' conjecture.

Number Theory
Exponential sums over singular binary quartic forms and applications

Yasuhiro Ishitsuka,Takashi Taniguchi,Frank Thorne,Stanley Yao Xiao

2024-03-31

Abstract:We investigate exponential sums over singular binary quartic forms, proving an explicit formula for the finite field Fourier transform of this set. Our formula shares much in common with analogous formulas proved previously for other vector spaces, but also exhibits a striking new feature: the point counting function $a_p(E) = p + 1 - \#E(\mathbb{F}_p)$ associated to an associated elliptic curve makes a prominent appearance. The proof techniques are also new, involving techniques from elementary algebraic geometry and classical invariant theory. As an application to prime number theory, we demonstrate the existence of `many' 2-Selmer elements for elliptic curves with discriminants that are squarefree and have at most four prime factors.

Number Theory
Sums of three cubes over a function field

Tim Browning,Jakob Glas,Victor Y. Wang

2024-02-11

Abstract:We use a function field version of the circle method to prove that a positive proportion of elements in $\mathbb{F}_q[t]$ are representable as a sum of three cubes of minimal degree from $\mathbb{F}_q[t]$, assuming a suitable form of the Ratios Conjecture and that the characteristic is greater than 3. The analogue of this conjecture for quadratic Dirichlet $L$-functions is known for large fixed $q$, via recent developments in homological stability.

Number Theory,Algebraic Geometry
Quadratic residues and quartic residues modulo primes

Zhi-Wei Sun

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

2020-09-11

Abstract:In this paper we study some products related to quadratic residues and quartic residues modulo primes. Let $p$ be an odd prime and let $A$ be any integer. We mainly determine completely the product $$f_p(A):=\prod_{1\le i,j\le(p-1)/2\atop p\nmid i^2-Aij-j^2}(i^2-Aij-j^2)$$ modulo $p$; for example, if $p\equiv1\pmod4$ then $$f_p(A)\equiv\begin{cases}-(A^2+4)^{(p-1)/4}\pmod p&\text{if}\ (\frac{A^2+4}p)=1, \\(-A^2-4)^{(p-1)/4}\pmod p&\text{if}\ (\frac{A^2+4}p)=-1,\end{cases}$$ where $(\frac{\cdot}p)$ denotes the Legendre symbol. We also determine $$\prod^{(p-1)/2}_{i,j=1\atop p\nmid 2i^2+5ij+2j^2}\left(2i^2+5ij+2j^2\right) \ \text{and}\ \prod^{(p-1)/2}_{i,j=1\atop p\nmid 2i^2-5ij+2j^2}\left(2i^2-5ij+2j^2\right)$$ modulo $p$.

Number Theory
A Fast Algorithm for Partial Fraction Decompositions

Guoce Xin

DOI: https://doi.org/10.48550/arXiv.math/0408189

2004-08-14

Combinatorics

Abstract:We obtain two new algorithms for partial fraction decompositions; the first is over algebraically closed fields, and the second is over general fields. These algorithms takes $O(M^2)$ time, where $M$ is the degree of the denominator of the rational function. The new algorithms use less storage space, and are suitable for parallel programming. We also discuss full partial fraction decompositions.
Arithmetic Problems in Cubic and Quartic Function Fields

Tobias Bembom

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

2010-07-08

Abstract:One of the main themes in this thesis is the description of the signature of both the infinite place and the finite places in cubic function fields of any characteristic and quartic function fields of characteristic at least 5. For these purposes, we provide a new theory which can be applied to cubic and quartic function fields and to even higher dimensional function fields. One of the striking advantages of this theory to other existing methods is that is does not use the concept of p-adic completions and we can dispense of Cardano's formulae. Another key result comprises the construction of cubic function fields of unit rank 1 and 2, with an obvious fundamental system. One of the main ingredients for such constructions is the definition of the maximum value. This definition is new and very prolific in the context of finding fundamental systems. We conclude the thesis with miscellaneous results on the divisor class number h, including a new approach for finding divisors of h.

Number Theory
An Efficient Exact Quantum Algorithm for the Integer Square-free Decomposition Problem

Jun Li,Xinhua Peng,Jiangfeng Du,Dieter Suter

DOI: https://doi.org/10.1038/srep00260

IF: 4.6

2012-01-01

Scientific Reports

Abstract:Quantum computers are known to be qualitatively more powerful than classical computers, but so far only a small number of different algorithms have been discovered that actually use this potential. It would therefore be highly desirable to develop other types of quantum algorithms that widen the range of possible applications. Here we propose an efficient and exact quantum algorithm for finding the square-free part of a large integer - a problem for which no efficient classical algorithm exists. The algorithm relies on properties of Gauss sums and uses the quantum Fourier transform. We give an explicit quantum network for the algorithm. Our algorithm introduces new concepts and methods that have not been used in quantum information processing so far and may be applicable to a wider class of problems.
Group theory of cyclic cubic number fields

Daniel C. Mayer,Siham Aouissi,Bill Allombert,Abderazak Soullami

2024-06-10

Abstract:Astonishing new discoveries with quartets and octets of cyclic cubic fields sharing a common conductor are presented. Four kinds of graphs describing cubic residue conditions among the prime divisors of the conductor enforce elementary bi- or tricyclic 3-class groups and either a metabelian 3-class field tower group of coclass at least two or a closed Andozhskii-Tsvetkov group of order 6561. In the latter situation, abelian type invariants of first and second order are required for the identification.

Number Theory
Counting Irreducible Polynomials over Finite Fields

Qichun Wang,Haibin Kan

DOI: https://doi.org/10.1007/s10587-010-0055-x

2010-01-01

Abstract:In this paper we generalize the method used to prove the Prime Number Theorem to deal with finite fields, and prove the following theorem:pi(x) = q/q-1 x/log(q)x + q/(q-1)(2) x/log(q)(2)x + O(x/log(q)(3)x), x = q(n) -> infinitywhere pi(x) denotes the number of monic irreducible polynomials in F(q)[t] with norm <= x.
An Algebraic-Geometry Approach to Prime Factorization

Alberto Montina,Stefan Wolf

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

2022-09-23

Abstract:New algorithms for prime factorization that outperform the existing ones or take advantage of particular properties of the prime factors can have a practical impact on present implementations of cryptographic algorithms that rely on the complexity of factorization. Currently used keys are chosen on the basis of the present algorithmic knowledge and, thus, can potentially be subject to future breaches. For this reason, it is worth to investigate new approaches which have the potentiality of giving a computational advantage. The problem has also relevance in quantum computation, as an efficient quantum algorithm for prime factorization already exists. Thus, better classical asymptotic complexity can provide a better understanding of the advantages offered by quantum computers. In this paper, we reduce the factorization problem to the search of points of parametrizable varieties, in particular curves, over finite fields. The varieties are required to have an arbitrarily large number of intersection points with some hypersurface over the base field. For a subexponential or poly- nomial factoring complexity, the number of parameters have to scale sublinearly in the space dimension n and the complexity of computing a point given the parameters has to be subexponential or polynomial, respectively. We outline a procedure for building these varieties, which is illustrated with two constructions. In one case, we show that there are varieties whose points can be evaluated efficiently given a number of parameters not greater than n/2. In the other case, the bound is dropped to n/3. Incidentally, the first construction resembles a kind of retro-causal model. Retro-causality is considered one possible explanation of quantum weirdness.

Cryptography and Security,Computational Complexity,Algebraic Geometry,Number Theory,Quantum Physics
Some determinants involving quadratic residues modulo primes

Zhi-Wei Sun

2024-07-12

Abstract:In this paper we evaluate several determinants involving quadratic residues modulo primes. For example, for any prime $p>3$ with $p\equiv3\pmod4$ and $a,b\in\mathbb Z$ with $p\nmid ab$, we prove that $$\det\left[ 1+\tan\pi\frac{aj^2+bk^2}p \right]_{1\le j,k \le \frac{p-1}2} = \begin{cases}-2^{(p-1)/2}p^{(p-3)/4}&\text{if}\ (\frac{ab}p)=1, \\p^{(p-3)/4}&\text{if}\ (\frac{ab}p)=-1, \end{cases}$$ where $(\frac{\cdot}p)$ denotes the Legendre symbol. We also pose some conjectures for further research.

Number Theory
Some Series of Imaginary Quadratic Fields with Class Numbers Divisible by 3

Jia Zhao,Lianrong Ma

2010-01-01

Abstract:In this paper, by constructing cubic polynomials, we obtain some explicit sequences of imaginary quadratic fields Q(root-d(n)) whose class numbers are divisible by 3. And, what is interesting is that each sequence {d(n)} has the divisibility: d(n) vertical bar d(n+1) for all n.
Prime rational functions over a field

Eva Goedhart,Omar Kihel,Jesse Larone

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

2022-08-25

Abstract:The aim of this paper is to provide sufficient conditions for when a polynomial or rational function over a field K is prime using its order of vanishing at infinity and the resultant.

Number Theory
Square-Free Pure Triangular Decomposition of Zero-Dimensional Polynomial Systems

Haokun Li,Bican Xia,Tianqi Zhao

DOI: https://doi.org/10.1007/s11424-023-2260-3

2023-01-01

Journal of Systems Science and Complexity

Abstract:Triangular decomposition with different properties has been used for various types of problem solving. In this paper, the concepts of pure chains and square-free pure triangular decomposition (SFPTD) of zero-dimensional polynomial systems are defined. Because of its good properties, SFPTD may be a key way to many problems related to zero-dimensional polynomial systems. Inspired by the work of Wang (2016) and of Dong and Mou (2019), the authors propose an algorithm for computing SFPTD based on Gröbner bases computation. The novelty of the algorithm is that the authors make use of saturated ideals and separant to ensure that the zero sets of any two pure chains are disjoint and every pure chain is square-free, respectively. On one hand, the authors prove the arithmetic complexity of the new algorithm can be single exponential in the square of the number of variables, which seems to be among the rare complexity analysis results for triangular-decomposition methods. On the other hand, the authors show experimentally that, on a large number of examples in the literature, the new algorithm is far more efficient than a popular triangular-decomposition method based on pseudodivision, and the methods based on SFPTD for real solution isolation and for computing radicals of zero-dimensional ideals are very efficient.

Effective Determination of Prime Decompositions of Cubic Function Fields

Explicit Factorization of Prime Integers in Quartic Number Fields defined by $X^4+aX+b$

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

Quadratic Number Fields with Class Numbers Divisible by a Prime Q

Trinomial Planar Functions on Cubic and Quartic Extensions of Finite Fields

Class Number and Regulator Computation in Purely Cubic Function Fields of Unit Rank Two

Computations in Cubic Function Fields of Characteristic Three

An algorithm to compute relative cubic fields

Exponential sums over singular binary quartic forms and applications

Sums of three cubes over a function field

Quadratic residues and quartic residues modulo primes

A Fast Algorithm for Partial Fraction Decompositions

Arithmetic Problems in Cubic and Quartic Function Fields

An Efficient Exact Quantum Algorithm for the Integer Square-free Decomposition Problem

Group theory of cyclic cubic number fields

Counting Irreducible Polynomials over Finite Fields

An Algebraic-Geometry Approach to Prime Factorization

Some determinants involving quadratic residues modulo primes

Some Series of Imaginary Quadratic Fields with Class Numbers Divisible by 3

Prime rational functions over a field

Square-Free Pure Triangular Decomposition of Zero-Dimensional Polynomial Systems