An algorithm for factoring non-monic quadratic polynomials Or: How I learned to stop using the quadratic formula and love undoing FOIL

Corey Thomas Bruns

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

2009-12-08

Abstract:We give an algorithm for factoring quadratic polynomials over any UFD, Z in particular. We prove the correctness of this algorithm and give examples over Z and Z[i].

Rings and Algebras,History and Overview

What problem does this paper attempt to address?

Deducing factoring methods through concrete material

Ivon Dorado,Ricardo Torres

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

2019-04-05

History and Overview

Abstract:We formulate and prove a criterion for reducibility of a quadratic polynomial over the integers. The main theorem was suggested by the teaching experience with the concrete material called "the polynomial box". Through the corollaries we relate our theorem and the use of concrete material with some well know factoring methods for quadratic polynomial with integer coeficients.
Factoring polynomials over function fields

Jose Felipe Voloch

2024-09-13

Abstract:If K/k is a function field in one variable of positive characteristic, we describe a general algorithm to factor one-variable polynomials with coefficients in K. The algorithm is flexible enough to find factors subject to additional restrictions, e.g., to find all roots that belong to a given finite dimensional k-subspace of K more efficiently. It also provides a deterministic polynomial time irreducibility test in small characteristic. We also discuss some applications.

Number Theory
Factorization and root-finding for polynomials over division quaternion algebras

Przemysław Koprowski

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

2023-05-03

Abstract:Polynomial factorization and root finding are among the most standard themes of computational mathematics. Yet still, little has been done for polynomials over quaternion algebras, with the single exception of Hamiltonian quaternions for which there are known numerical methods for polynomial root approximation. The sole purpose of the present paper is to present a polynomial factorization algorithm for division quaternion algebras over number fields, together with its adaptation for root finding.

Symbolic Computation,Rings and Algebras
Integer Polynomial Factorization by Recombination of Real Factors: Re-evaluating an Old Technique in Modern Era

Shahriar Iravanian

2024-10-21

Abstract:Polynomial factorization over $ZZ$ is of great historical and practical importance. Currently, the standard technique is to factor the polynomial over finite fields first and then to lift to integers. Factorization over finite fields can be done in polynomial time using Berlekamp or Cantor-Zassenhaus algorithms. Lifting from the finite field to $ZZ$ requires a combinatorial algorithm. The van Hoeij algorithm casts the combinatorial problem as a knapsack-equivalent problem, which is then solved using lattice-reduction (the LLL algorithm) in polynomial time, which is implemented in many computer algebra systems (CAS). In this paper, we revisit the old idea of starting with factorization over $RR$ instead of a finite field, followed by recombination of the resulting linear and quadratic factors. We transform the problem into an integer subset sum problem, which is then solved using the Horowizt-Sinha algorithm. This algorithm can factor a random integer polynomial of degree $d$ in a time complexity of $O(2^(d slash 4))$. While the resulting algorithm is exponential, consistent with the integer subset sum problem being in NP, it has a few advantages. First, it is simple and easy to implement. Second, it is almost embarrassingly parallelizable. We demonstrate this by implementing the algorithm in a Graphic Processing Unit (GPU). The resulting code can factor a degree 100 polynomial is a few tenths of a second, comparable to some standard CAS. This shows that it is possible to use current hardware, especially massively parallel systems like GPU, to the benefit of symbolic algebra.

Symbolic Computation,Computational Complexity
Integer Factorization via Continued Fractions and Quadratic Forms

Nadir Murru,Giulia Salvatori

2024-09-05

Abstract:We propose a novel factorization algorithm that leverages the theory underlying the SQUFOF method, including reduced quadratic forms, infrastructural distance, and Gauss composition. We also present an analysis of our method, which has a computational complexity of $O \left( \exp \left( \frac{3}{\sqrt{8}} \sqrt{\ln N \ln \ln N} \right) \right)$, making it more efficient than the classical SQUFOF and CFRAC algorithms. Additionally, our algorithm is polynomial-time, provided knowledge of a (not too large) multiple of the regulator of $\mathbb{Q}(N)$.

Number Theory
Exact polynomial factorization by approximate high degree algebraic numbers

Jing-wei Chen,Yong Feng,Xiao-lin Qin,Jing-zhong Zhang

DOI: https://doi.org/10.1145/1577190.1577199

2009-01-01

Abstract:For factoring polynomials in two variables with rational coefficients, an algorithm using transcendental evaluation was presented by Hulst and Lenstra. In their algorithm, transcendence measure was computed. However, a constant c is necessary to compute the transcendence measure. The size of c involved the transcendence measure can influence the efficiency of the algorithm greatly. In this paper, we overcome the problem arising in Hulst and Lenstra's algorithm and propose a new polynomial time algorithm for factoring bivariate polynomials with rational coefficients. Using an approximate algebraic number of high degree instead of a variable of a bivariate polynomial, we can get a univariate one. A factor of the resulting univariate polynomial can then be obtained by a numerical root finder and the purely numerical LLL algorithm. The high degree of the algebraic number guarantees that this factor corresponds to a factor of the original bivariate polynomial. We prove that our algorithm saves a (log2(mn))2+ε factor in bit-complexity comparing with the algorithm presented by Hulst and Lenstra, where (n, m) represents the bi-degree of the polynomial to be factored. We also demonstrate on many significant experiments that our algorithm is practical. Moreover our algorithm can be generalized to polynomials with variables more than two.
Derandomizing Multivariate Polynomial Factoring for Low Degree Factors

Pranjal Dutta,Amit Sinhababu,Thomas Thierauf

2024-11-26

Abstract:For a polynomial $f$ from a class $\mathcal{C}$ of polynomials, we show that the problem to compute all the constant degree irreducible factors of $f$ reduces in polynomial time to polynomial identity tests (PIT) for class $\mathcal{C}$ and divisibility tests of $f$ by constant degree polynomials. We apply the result to several classes $\mathcal{C}$ and obtain the constant degree factors in \begin{enumerate} \item polynomial time, for $\mathcal{C}$ being polynomials that have only constant degree factors, \item quasipolynomial time, for $\mathcal{C}$ being sparse polynomials, \item subexponential time, for $\mathcal{C}$ being polynomials that have constant-depth circuits. \end{enumerate} Result 2 and 3 were already shown by Kumar, Ramanathan, and Saptharishi with a different proof and their time complexities necessarily depend on black-box PITs for a related bigger class $\mathcal{C}'$. Our complexities vary on whether the input is given as a blackbox or whitebox. We also show that the problem to compute the sparse factors of polynomial from a class $\mathcal{C}$ reduces in polynomial time to PIT for class $\mathcal{C}$, divisibility tests of $f$ by sparse polynomials, and irreducibility preserving bivariate projections for sparse polynomials. For $\mathcal{C}$ being sparse polynomials, it follows that it suffices to derandomize irreducibility preserving bivariate projections for sparse polynomials in order to compute all the sparse irreducible factors efficiently. When we consider factors of sparse polynomials that are sums of univariate polynomials, a subclass of sparse polynomials, we obtain a polynomial time algorithm. This was already shown by Volkovich with a different proof.

Computational Complexity
Towards Verified Polynomial Factorisation

James H. Davenport

2024-09-15

Abstract:Computer algebra systems are really good at factoring polynomials, i.e. writing f as a product of irreducible factors. It is relatively easy to verify that we have a factorisation, but verifying that these factors are irreducible is a much harder problem. This paper reports work-in-progress to do such verification in Lean.

Symbolic Computation
Factorization of integers and arithmetic functions

Lincoln Durst

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

2001-05-27

Abstract:Elementary proofs of unique factorization in rings of arithmetic functions using a simple variant of Euclid's proof for the fundamental theorem of arithmetic.

Number Theory
An overview of the computational aspects of nonunique factorization invariants

P. A. García-Sánchez

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

2015-04-28

Abstract:We give an overview of the existing algorithms to compute nonunique factorization invariants in finitely generated monoids.

Commutative Algebra,Combinatorics
Unconditional correctness of recent quantum algorithms for factoring and computing discrete logarithms

Cédric Pilatte

2024-04-25

Abstract:In 1994, Shor introduced his famous quantum algorithm to factor integers and compute discrete logarithms in polynomial time. In 2023, Regev proposed a multi-dimensional version of Shor's algorithm that requires far fewer quantum gates. His algorithm relies on a number-theoretic conjecture on the elements in $(\mathbb{Z}/N\mathbb{Z})^{\times}$ that can be written as short products of very small prime numbers. We prove a version of this conjecture using tools from analytic number theory such as zero-density estimates. As a result, we obtain an unconditional proof of correctness of this improved quantum algorithm and of subsequent variants.

Number Theory,Computational Complexity,Quantum Physics
Factoring Odd Integers without Multiplication and Division

Charles Sauerbier

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

2017-01-07

Abstract:A method of determining two factors of an odd integer without need of multiplication or division operation in iterative portion of computation is presented. It is feasible for an implementing algorithm to use only integer addition and subtraction throughout. Presentation of material is non-theoretical; intended to be accessible to a broader audience of non academic and theoretical practitioners.

Discrete Mathematics
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
Solving Generalized Bivariate Integer Equations and Its Application to Factoring With Known Bits

Mengce Zheng,Zhigang Chen,Yaohui Wu

DOI: https://doi.org/10.1109/access.2023.3264590

IF: 3.9

2023-04-14

IEEE Access

Abstract:In this paper, we propose two improved theorems for addressing generalized bivariate integer equations using the lattice-based method. We examine the application of these theorems to the problem of factoring general RSA (Rivest–Shamir–Adleman) moduli of the form where and are prime numbers. These moduli, which are commonly used in the RSA cryptosystem and its variants, have previously been subjected to attacks primarily through the solution of univariate modular equations. In contrast, we investigate the possibility of factoring using leaked most significant bits (MSBs) or least significant bits (LSBs) of the prime numbers by solving generalized bivariate integer equations. We determine the minimum amount of known bits required for implementing the proposed factoring attacks and establish a unifying attack strategy. Furthermore, our results are verified through numerical computer experiments.

computer science, information systems,telecommunications,engineering, electrical & electronic
A New Hyperbola based Approach to factoring Integers

Gilda Rech Bansimba,Regis Freguin Babindamana,Basile Guy R. Bossoto

2023-04-15

Abstract:From the results in the literature, the algebraic set of the hyperbola with parameter $n$ defined by $\mathcal{B}_{n}(X, Y, Z)_{\mid_{x\geq 4n}}= \displaystyle \lbrace \left(X: Y: Z\right)\in \mathbb{P}^{2}(\mathbb{Q}) \ \vert \ \displaystyle Y^{2}=X^{2}-4nXZ \rbrace$ where $n$ is a semiprime is proved to be in relation with prime factors of $n$. In the affine space over $\mathbb{Z}_{\geqslant 4n}\times \mathbb{Z}_{\geqslant 0}$, this set has exactly 5 points $\displaystyle\lbrace P_{0}, P_{1}, P_{2}, P_{3}, P_{4} \rbrace$ with $P_{2}+P_{3}=P_{1}+2P_{2}=P_{4}$ for which knowledge of $P_{2}$ or $P_{3}$ yields the factorization of $n$. However, The non cyclicity of this group structure over rationals and integers and moreover its non good reduction over finite fields constitute the main difficulty in finding its solutions. In this paper we describe an approach to finding $P_{2}$ and $P_{3}$. We introduce the concept of Hyperbola X-root and Y-root that the solution's greatest common divisors with $n$ reveal prime factors of $n$. We prove that $P_{2}$ and $P_{3}$ can be found on a singular Weierstrass curve isomorphic to a Jacobi quartic using the Hyperbola X-root and Y-root. We present the mathematical framework for this approach.

Number Theory
An Efficient Quantum Factoring Algorithm

Oded Regev

2024-01-07

Abstract:We show that $n$-bit integers can be factorized by independently running a quantum circuit with $\tilde{O}(n^{3/2})$ gates for $\sqrt{n}+4$ times, and then using polynomial-time classical post-processing. The correctness of the algorithm relies on a number-theoretic heuristic assumption reminiscent of those used in subexponential classical factorization algorithms. It is currently not clear if the algorithm can lead to improved physical implementations in practice.

Quantum Physics,Computational Complexity
A proof of the Quadratic Reciprocity Law

Math Dicker

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

2012-10-26

History and Overview

Abstract:A proof of the Quadratic Reciprocity Law is presented using a Lemma of Gauss, the theory of finite fields and the Frobenius automorfism.
Factoring sparse polynomials fast

Alexander Demin,Joris van der Hoeven

2023-12-29

Abstract:Consider a sparse polynomial in several variables given explicitly as a sum of non-zero terms with coefficients in an effective field. In this paper, we present several algorithms for factoring such polynomials and related tasks (such as gcd computation, square-free factorization, content-free factorization, and root extraction). Our methods are all based on sparse interpolation, but follow two main lines of attack: iteration on the number of variables and more direct reductions to the univariate or bivariate case. We present detailed probabilistic complexity bounds in terms of the complexity of sparse interpolation and evaluation.

Symbolic Computation,Commutative Algebra
An Empirical Comparison of the Quadratic Sieve Factoring Algorithm and the Pollard Rho Factoring Algorithm

Zongxia Li,William Gasarch

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

2021-11-05

Abstract:One of the most significant challenges on cryptography today is the problem of factoring large integers since there are no algorithms that can factor in polynomial time, and factoring large numbers more than some limits(200 digits) remain difficult. The security of the current cryptosystems depends on the hardness of factoring large public keys. In this work, we want to implement two existing factoring algorithms - pollard-rho and quadratic sieve - and compare their performance. In addition, we want to analyze how close is the theoretical time complexity of both algorithms compared to their actual time complexity and how bit length of numbers can affect quadratic sieve's performance. Finally, we verify whether the quadratic sieve would do better than pollard-rho for factoring numbers smaller than 80 bits.

Cryptography and Security,Computational Complexity
Exact Bivariate Polynomial Factorization over ℚ by Approximation of Roots

Yong Feng,Wenyuan Wu,Jingzhong Zhang,Jingwei Chen

DOI: https://doi.org/10.1007/s11424-014-2170-5

2015-01-01

Journal of Systems Science and Complexity

Abstract:Factorization of polynomials is one of the foundations of symbolic computation. Its applications arise in numerous branches of mathematics and other sciences. However, the present advanced programming languages such as C++ and J++, do not support symbolic computation directly. Hence, it leads to difficulties in applying factorization in engineering fields. In this paper, the authors present an algorithm which use numerical method to obtain exact factors of a bivariate polynomial with rational coefficients. The proposed method can be directly implemented in efficient programming language such C++ together with the GNU Multiple-Precision Library. In addition, the numerical computation part often only requires double precision and is easily parallelizable.

An algorithm for factoring non-monic quadratic polynomials Or: How I learned to stop using the quadratic formula and love undoing FOIL

Deducing factoring methods through concrete material

Factoring polynomials over function fields

Factorization and root-finding for polynomials over division quaternion algebras

Integer Polynomial Factorization by Recombination of Real Factors: Re-evaluating an Old Technique in Modern Era

Integer Factorization via Continued Fractions and Quadratic Forms

Exact polynomial factorization by approximate high degree algebraic numbers

Derandomizing Multivariate Polynomial Factoring for Low Degree Factors

Towards Verified Polynomial Factorisation

Factorization of integers and arithmetic functions

An overview of the computational aspects of nonunique factorization invariants

Unconditional correctness of recent quantum algorithms for factoring and computing discrete logarithms

Factoring Odd Integers without Multiplication and Division

An Algebraic-Geometry Approach to Prime Factorization

Solving Generalized Bivariate Integer Equations and Its Application to Factoring With Known Bits

A New Hyperbola based Approach to factoring Integers

An Efficient Quantum Factoring Algorithm

A proof of the Quadratic Reciprocity Law

Factoring sparse polynomials fast

An Empirical Comparison of the Quadratic Sieve Factoring Algorithm and the Pollard Rho Factoring Algorithm

Exact Bivariate Polynomial Factorization over ℚ by Approximation of Roots