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}(\sqrt{N})$.
We show how a recent result by Aka and Shapira on the evolution of continued fractions in a fixed quadratic field implies the classic result of de Mathan and Teullié on the Mixed Littlewood
We consider continued fractions with partial quotients in the ring of integers of a quadratic number field $K$ and we prove a generalization to such continued fractions of the classical theorem of Lagrange. A particular example of these continued fractions is the $β$-continued fraction introduced by Bernat. As a corollary of our theorem we show that for any quadratic Perron number $β$, the $β$-continued fraction expansion of elements in $\mathbb Q(β)$ is either finite of eventually periodic. The same holds for $β$ being a square root of an integer. We also show that for certain 4 quadratic Per…
A well known theorem of Lagrange states that the simple continued fraction of a real number $α$ is periodic if and only if $α$ is a quadratic irrational. We examine non-periodic and non-simple continued fractions formed by two interlacing geometric series and show that in certain cases they converge to quadratic irrationalities. This phenomenon is connected with certain sequences of polynomials whose properties we examine further.
We generalise remarks of Euler and of Perron by explaining how to detail all quadratic irrational integers for which the symmetric part of the period of their continued fraction expansion commences with prescribed partial quotients. The function field case is particularly striking.
We study quadratic approximations for two families of hyperquadratic continued fractions in the field of Laurent series over a finite field. As the first application, we give the answer to a question of the second author concerning Diophantine exponents for algebraic Laurent series. As the second application, we determine the degrees of these families in particular case.
We study the generalized continued fraction expansions of complex numbers in term of elements from Euclidean subrings, especially Gaussian or Eisenstein integers, in a general framework as pursued in [3] and [1]. We introduce a common approach to studying the continued fraction expansions of zeroes of binary forms, via consideration of the action of the general linear group, and apply it to discuss expansions of quadratic surds on the one hand and of badly approximable numbers on the other hand. Also, we generalize the property of the simple continued fraction expansions that the convergents a…
We discuss continued fractions on real quadratic number fields of class number 1. If the field has the property of being 2-stage euclidean, a generalization of the euclidean algorithm can be used to compute these continued fractions. Although it is conjectured that all real quadratic fields of class number 1 are 2-stage euclidean, this property has been proven for only a few of them. The main result of this paper is an algorithm that, given a real quadratic field of class number 1, verifies this conjecture, and produces as byproduct enough data to efficiently compute continued fraction expansi…
We show that for a fixed integer $n \neq \pm2$, the congruence $x^2 + nx \pm 1 \equiv 0 \pmodα$ has the solution $β$ with $0 < β< α$ if and only if $α/β$ has a continued fraction expansion with sequence of quotients having one of a finite number of possible asymmetry types. This generalizes the old theorem that a rational number $α/β> 1$ in lowest terms has a symmetric continued fraction precisely when $β^2 \equiv \pm 1 \pmodα$.
We construct a random model to study the distribution of class numbers in special families of real quadratic fields $\mathbb Q(\sqrt d)$ arising from continued fractions. These families are obtained by considering periodic continued fraction expansions of the form $\sqrt {D(n)}=[f(n), [u_1, u_2, \dots, u_{s-1}, 2f(n)]]$ with fixed coefficients $u_1, \dots, u_{s-1}$ and generalize well-known families such as Chowla's $4n^2+1$, for which analogous results were recently proved by Dahl and Lamzouri.
We establish new combinatorial transcendence criteria for continued fraction expansions. Let $α= [0; a_1, a_2,...]$ be an algebraic number of degree at least three. One of our criteria implies that the sequence of partial quotients $(a_{\ell})_{\ell \ge 1}$ of $α$ cannot be generated by a finite automaton, and that the complexity function of $(a_{\ell})_{\ell \ge 1}$ cannot increase too slowly.
Let x be a quadratic irrational and let P be the set of prime numbers. We show the existence of an infinite subset S of P such that the statistics of the period of the continued fraction expansions along the sequence {px: p\in S} approach the normal statistics given by the Gauss-Kuzmin measure. Under the generalized Riemann hypothesis, we prove that there exist full density subsets S of P and T of N satisfying the same assertion. We give a rate of convergence in all cases.
Let ${\bf F}_q$ be a finite field of order a positive power $q$ of a prime number. We study the nonarchimedean quadratic Lagrange spectrum defined by Parkkonen and Paulin by considering the approximation by elements of the orbit of a given quadratic power series in ${\bf F}_q((Y^{-1}))$, for the action by homographies and anti-homographies of ${\rm PGL}_2({\bf F}_q[Y])$ on ${\bf F}_q((Y^{-1})) \cup \{\infty\}$. While their approach used geometric methods of group actions on Bruhat--Tits trees, ours is based on the theory of continued fractions in power series fields.
This paper is devoted to a detailed exposition of geometry of continued fractions. We pay particular interest to the case of quadratic irrationalities and use the technique described to prove a criterion for the continued fraction of a quadratic surd to have a symmetric period.
We describe various properties of continued fraction expansions of complex numbers in terms of Gaussian integers. Numerous distinct such expansions are possible for a complex number. They can be arrived at through various algorithms, as also in a more general way from what we call "iteration sequences". We consider in this broader context the analogues of the Lagrange theorem characterizing quadratic surds, the growth properties of the denominators of the convergents, and the overall relation between sequences satisfying certain conditions, in terms of nonoccurrence of certain finite blocks, a…
Legendre discovered that the continued fraction expansion of $\sqrt N$ having odd period leads directly to an explicit representation of $N$ as the sum of two squares. In this vein, it was recently observed that the continued fraction expansion of $\sqrt N$ having even period directly produces a factor of composite $N$. It is proved here that these apparently fortuitous occurrences allow us to propose and apply a variation of Shanks' infrastructural method which significantly reduces the asymptotic computational burden with respect to currently used factoring techniques.
Let $f(x)$ be a square free quartic polynomial defined over a quadratic field $K$ such that its leading coefficient is a square. If the continued fraction expansion of $\displaystyle \sqrt{f(x)}$ is periodic, then its period $n$ lies in the set \[\{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,17,18,22,26,30,34\}.\] We write explicitly all such polynomials for which the period $n$ occurs over $K$ but not over $\Q$ and $\displaystyle n\not\in\{ 13,15,17\}$. Moreover we give necessary and sufficient conditions for the existence of such continued fraction expansions with period $13, 15$ or $17$ over $K$.
In this paper we study certain real functions defined in a very simple way by Zagier as sums of infinite powers of quadratic polynomials with integer coefficients. These functions give the even parts of the period polynomials of the modular forms which are the coefficients in Fourier expansion of the kernel function for Shimura-Shintani correspondence. We prove two conjectures of Zagier showing that the sums converge exponentially. We also prove unexpected results on the representation of these functions as sums over simple or reduced quadratic forms and the positive or negative continued frac…
Legendre found that the continued fraction expansion of $\sqrt N$ having odd period leads directly to an explicit representation of $N$ as the sum of two squares. Similarly, it is shown here that the continued fraction expansion of $\sqrt N$ having even period directly produces a factor of a composite $N$. Shanks' infrastructural method is then revisited, and some consequences of its application to factorization by means of the continued fraction expansion of $\sqrt N$ are derived.
We give a short proof -- not relying on ideal classes or the geometry of numbers -- of a known criterion for quadratic orders to possess unique factorization.
Let $\ell>3$ be a prime such that $\ell \equiv 3 \pmod{4}$ and $\mathbb{Q}(\sqrt{\ell})$ has class number 1. Then Hirzebruch and Zagier noticed that the class number of $\mathbb{Q}(\sqrt{-\ell})$ can be expressed as $h(-\ell) = (1/3)(b_1+b_2 + \cdots + b_m) - m$ where the $b_i$ are partial quotients in the `minus' continued fraction expansion $\sqrt{\ell} = [[b_0; \overline{b_1, b_2, \ldots, b_m}]]$. For an odd prime $p \neq \ell$, we prove an analogous formula using these $b_i$ which computes the sum of Iwasawa lambda invariants $λ_p(-\ell)+λ_p(-4)$ of $\mathbb{Q}(\sqrt{-\ell})$ and $\mathbb{…
We propose and study a generalized continued fraction algorithm that can be executed in an arbitrary imaginary quadratic field, the novelty being a non-restriction to the five Euclidean cases. Many hallmark properties of classical continued fractions are shown to be retained, including exponential convergence, best-of-the-second-kind approximation quality (up to a constant), periodicity of quadratic irrational expansions, and polynomial time complexity.
We prove an analog of Lagrange's Theorem for continued fractions on the Heisenberg group: points with an eventually periodic continued fraction expansion are those that satisfy a particular type of quadratic form, and vice-versa.
This paper investigates the quadratic irrationals that arise as periodic points of the Gauss type shift associated to the odd continued fraction expansion. It is shown that these numbers, which we call O-reduced, when ordered by the length of the associated closed primitive geodesic on some modular surface $Γ\backslash \mathbb{H}$, are equidistributed with respect to the Lebesgue absolutely continuous invariant probability measure of the Odd Gauss shift.
In this paper we answer certain questions posed by V.I. Arnold, namely, we study periods of continued fractions for solutions of quadratic equations in the form $x^2+p x=q$ with integer $p$ and $q$, $p^2+q^2\le R^2$. Our results concern the average sum of period elements and Gauss--Kuzmin statistics as $R\to\infty$.
We study the minimal number of variables required by a totally positive definite diagonal universal quadratic form over a real quadratic field $\mathbb Q(\sqrt D)$ and obtain lower and upper bounds for it in terms of certain sums of coefficients of the associated continued fraction. We also estimate such sums in terms of $D$ and establish a link between continued fraction expansions and special values of $L$-functions in the spirit of Kronecker's limit formula.
Ramanujan recorded four reciprocity formulas for the Roger-Ramanujan continued fraction. Two reciprocity formulas each are also associated with the Ramanujan--Göllnitz--Gordon continued fraction and a level-13 analog of the Roger-Ramanujan continued fraction. We show that all eight reciprocity formulas are related to a pair of quadratic equations. The solution to the first equation generalizes the golden ratio and is used to set the value of a coefficient in the second equation; and the solution to the second equation gives a pair of values for a continued fraction. We relate the coefficients …
We build, for real quadratic fields, infinitely many periodic continuous fractions uniformly bounded, with a seemingly better bound than the known ones. We do that using continuous fraction expansions with the same shape as those of real numbers sqrt(n) + n. It allows us to obtain that there exist infinitely many quadratic fields containing infinitely many continuous fraction expansions formed only by integers 1 and 2. We also prove that a conjecture of Zaremba implies a conjecture of McMullen, building periodic continuous fractions from continued fraction expansions of rational numbers.
The continue fractions of quadratic surds are periodic, according to a theorem by Lagrange. Their periods may have differing types of symmetries. This work relates these types of symmetries to the symmetries of the classes of the corresponding indefinite quadratic forms. This allows to classify the periods of quadratic surds and at the same time to find, for an arbitrary indefinite quadratic form, the symmetry type of its class and the number of integer points, for that class, contained in each domain of the Poincare' model of the de Sitter world, introduced in Part I. Moreover, we obtain the …
Periodicity and Period-Length Bounds for Browkin $p$-Adic Continued Fractions
Dipartimento di Matematica, Università di Trento（特伦托大学数学系）；Dipartimento di Scienze Matematiche ”Giuseppe Luigi Lagrange”, Politecnico di Torino（都灵理工学院朱塞佩·路易吉·拉格朗日数学科学系）
The Newton approximation, the Hurwitz continued fraction, and the Sierpinski series for relatively quadratic units over certain imaginary quadratic number fields
We prove that the statistics of the period of the continued fraction expansion of certain sequences of quadratic irrationals from a fixed quadratic field approach the `normal' statistics given by the Gauss-Kuzmin measure. As a by-product, the growth rate of the period is analyzed and, for example, it is shown that for a fixed integer $k$ and a quadratic irrational $\al$, the length of the period of the continued fraction expansion of $k^n\al$ equals $c k^n +o(k^{(1-\frac{1}{16})n})$ for some positive constant $c$. This improves results of Cohn, Lagarias, and Grisel, and settles a conjecture of…
The problem of the classification of the indefinite binary quadratic forms with integer coefficients is solved introducing a special partition of the de Sitter world, where the coefficients of the forms lie, into separate domains. Every class of indefinite forms, under the action of the special linear group acting on the integer plane lattice, has a finite and well defined number of representatives inside each one of such domains. This property belongs exclusively to rational points on the one-sheeted hyperboloid. In the second part we will show how to obtain the symmetry type of a class as we…
Let $K$ be a quadratic field, and let $ζ_K$ its Dedekind zeta function. In this paper we introduce a factorization of $ζ_K$ into two functions, $L_1$ and $L_2$, defined as partial Euler products of $ζ_K$, which lead to a factorization of Riemann's $ζ$ function into two functions, $p_1$ and $p_2$. We prove that these functions satisfy a functional equation which has a unique solution, and we give series of very fast convergence to them. Moreover, when $Δ_K>0$ the general term of these series at even positive integers is calculated explicitly in terms of generalized Bernoulli numbers.
We study Möbius transformations (also known as linear fractional transformations) of quadratic numbers. We construct explicit upper and lower bounds on the period of the continued fraction expansion of a transformed number as a function of the period of the continued fraction expansion of the original number. We provide examples that show that the bound is sharp.
We construct a class of quadratic irrationals having continued fractions of period $n\geq2$ with "small" partial quotients for which certain integer multiples have continued fractions of period $1$, $2$ or $4$ with "large" partial quotients. We then show that numbers in the period of the new continued fraction are simple functions of the numbers in the periods of the original continued fraction. We give generalizations of some of the continued fractions and show that polynomials arising from the generalizations are related to Chebyshev and Fibonacci polynomials. We then show that some of these…
V.I. Arnold has experimentally established that the limit of the statistics of incomplete quotients of partial continued fractions of quadratic irrationalities coincides with the Gauss--Kuz'min statistics. Below we briefly prove this fact for roots of the equation $r x^2+p x=q$ with fixed $p$ and $r$ ($r>0$), and with random $q$, $q\le R$, $R\to \infty$. In Section 3 we estimate the sum of incomplete quotients of the period. According to the obtained bound, prior to the passage to the limit, incomplete quotients in average are logarithmically small. We also upper estimate the proportion of the…
In this paper we establish properties of independence for the continued fraction expansions of two algebraic numbers. Roughly speaking, if the continued fraction expansions of two irrational algebraic numbers have the same long sub-word, then the two continued fraction expansions have the same tails. If the two expansions have mirror symmetry long sub-words, then both the two algebraic numbers are quadratic. Applying the above results, we prove a theorem analogous to the Roth's theorem about approximation by algebraic numbers.
The Lagrange theorem on continued fractions states that a number is a quadratic surd if and only if its continued fraction expansion is eventually periodic. The current paper is devoted to a multidimensional generalization of this fact. As a multidimensional analog of continued fractions so called Klein polyhedra are considered: given an irrational lattice in an n-dimensional Euclidean space, its Klein polyhedron is defined as the convex hull of nonzero lattice points with nonnegative coordinates.
We detail the continued fraction expansion of the square root of the general monic quartic polynomial, noting that each line of the expansion corresponds to addition of the divisor at infinity. We analyse the data yielded by the general expansion. In that way we obtain `elliptic sequences' satisfying Somos relations. I mention several new results on such sequences. The paper includes a detailed `reminder exposition' on continued fractions of quadratic irrationals in function fields.
We introduce here a general framework for studying continued fraction expansions for complex numbers and establish some results on the convergence of the corresponding sequence of convergents. For continued fraction expansions with partial quotients in a discrete subring of $\mathbb C$ an analogue of the classical Lagrange theorem, characterising quadratic surds as numbers with eventually periodic continued fraction expansions, is proved. Monotonicity and exponential growth are established for the absolute values of the denominators of the convergents for a class of continued fraction algorith…
For a given quadratic irrational $α$, let us denote by $D(α)$ the length of the periodic part of the continued fraction expansion of $α$. We prove that for a positive integer $d$, which is not a perfect square, the sequence $(D(n\sqrt{d}))_{n=1}^{\infty}$ has infinitely many limit points.
We discuss a proposal for a continued fraction-like algorithm to determine simultaneous rational approximations to $d$ real numbers $α_1,\ldots,α_d$. It combines an algorithm of Hermite and Lagarias with ideas from LLL-reduction. We dynamically LLL-reduce a quadratic form with parameter $t$ as $t\downarrow0$. The new idea in this paper is that checking the LLL-conditions consists of solving linear equations in $t$.
Many generalizations of continued fractions, where the reciprocal function has been replaced by a more general function, have been studied, and it is often asked whether such generalized expansions can have nice properties. For instance, we might ask that algebraic numbers of a given degree have periodic expansions, just as quadratic irrationals have periodic continued fractions; or we might ask that familiar transcendental constants such as $e$ or $π$ have periodic or terminating expansions. In this paper, we show that there exist such generalized continued function expansions with essentiall…
In this paper we show how to construct several infinite families of polynomials $D(\bar{x},k)$, such that $\sqrt{D(\bar{x},k)}$ has a regular continued fraction expansion with arbitrarily long period, the length of this period being controlled by the positive integer parameter $k$. We also describe how to quickly compute the fundamental units in the corresponding real quadratic fields.
In this paper we describe the group of symmetries of a two-dimensional continued fraction. As a multidimensional generalization of continued fractions we consider Klein polyhedra. We distinguish two types of symmetries: the Dirichlet-type ones, that correspond to the multiplication by units of the corresponding number field, and so called palindromic ones. The main result of the paper is a criterion for a two-dimensional continued fraction to have a palindromic symmetry. This criterion is analogous to the criterion for the period of a quadratic irrationality to be symmetric.
Let x be a real number and let n be a positive integer. We define four exponents of Diophantine approximation, which complement the exponents w_n(x) and w_n^*(x) defined by Mahler and Koksma. We calculate their six values when n=2 and x is a real number whose continued fraction expansion coincides with some Sturmian sequence of positive integers, up to the initial terms. In particular, we obtain the exact exponent of approximation to such a continued fraction x by quadratic surds.
In this paper we study the geodesic continued fraction in the case of the Shimura curve coming from the $(2,3,7)$-triangle group. We construct a certain continued fraction expansion of real numbers using the so-called coding of the geodesics on the Shimura curve, and prove the Lagrange type periodicity theorem for the expansion which captures the fundamental relative units of quadratic extensions of $\mathbb{Q}(\cos(2π/7))$ with rank one relative unit groups. We also discuss the convergence of these continued fractions.
The continued fraction expansion of an irrational number $α$ is eventually periodic if and only if $α$ is a quadratic irrationality. However, very little is known regarding the size of the partial quotients of algebraic real numbers of degree at least three. Because of some numerical evidence and a belief that these numbers behave like most numbers in this respect, it is often conjectured that their partial quotients form an unbounded sequence. More modestly, we may expect that if the sequence of partial quotients of an irrational number $α$ is, in some sense, "simple", then $α$ is either quad…
Adolf Hurwitz proposed in 1887 a continued fraction algorithm for complex numbers: Hurwitz continued fractions (HCF). Among other similarities between HCF and regular continued fractions, quadratic irrational numbers over $\mathbb{Q}(i)$ are precisely those with periodic HCF expansions. In this paper, we give some necessary as well as some sufficient conditions for pure periodicity of HCF. Then, we characterize badly approximable complex numbers in terms of HCF. Finally, we prove a slightly weaker complex analogue of a theorem by Y. Bugeaud on the transcendence of certain continued fractions.
There exists a particular subset of algebraic power series over a finite field which, for different reasons, can be compared to the subset of quadratic real numbers. The continued fraction expansion for these elements, called hyperquadratic, can sometimes be made explicit. Here we describe this expansion for a wide family of hyperquadratic power series in odd characteristic. This leads to consider interesting recurrent sequences in the finite base field when it is not a prime field.
