For a simple continued fraction, define
Multiplying the matrices gives
Their determinants also give . If the infinite tail is , the same formula implies
The denominators of these continued fraction convergents tend to infinity, since . Hence they converge to .
The square-root algorithm for the periodic continued fraction of a quadratic irrational, using , and , gives
The first four continued fraction convergents are . Direct substitution gives positive solutions to the requested Pell-type equations:
Let . In the Shor algorithm, first use classical arithmetic to deal with even and perfect powers, and to reject prime inputs. Perfect-power recognition and primality testing have polynomial-time classical algorithms. Factoring a perfect power , with , already gives a nontrivial factor . We may therefore consider an odd composite with at least two distinct prime factors.
Choose uniformly from and compute its greatest common divisor with using the Euclidean algorithm. A proper nontrivial divisor ends the computation. Otherwise is a unit, and the remaining task is quantum order finding. Set
Prepare a uniform quantum superposition in a -qubit register and use quantum modular exponentiation in a second register to obtain
Repeated squaring and reversible modular multiplication implement this step with polynomially many quantum gates in . Apply the inverse quantum Fourier transform to the first register and perform a quantum measurement in the computational basis, obtaining . Measuring the second register first, and Fourier-transforming the resulting periodic coset, gives the same distribution of .
Here is a quantitative quantum Fourier sampling bound for order finding. If , multiplication by cycles its orbit states. The Fourier eigenstates of that cycle have eigenvalues , and the initial state has squared overlap with each, for . Therefore
Conditioned on a particular eigenphase , its nearest integer outcome obeys and has probability at least . Indeed the absolute amplitude is , where . For , the numerator is at least and the denominator at most ; the limiting value at is one.
If , the fraction is reduced, and gives
Use continued-fraction recovery in quantum order finding. The relevant approximation theorem says that reduced fractions satisfying are continued fraction convergents of . For an input rational of digits, their candidates can be enumerated classically in time, and their denominators are at most the reduced input denominator. This is the supplied continued-fraction result; discard candidate denominators exceeding . A zero measurement is treated as a failed order-finding sample.
For each remaining even candidate denominator , compute by repeated squaring, and try and . Return only a divisor with ; otherwise repeat the quantum sample or choose another . This candidate-denominator gcd post-processing cannot return an incorrect factor, since its output is checked directly. When the recovered denominator is the true even multiplicative order and the square root of one is nontrivial, part (i) guarantees success. Checking before trying the gcds is also a valid, more restrictive convention; the single-run distinction matters in part (iii).
Two further standard quantitative facts explain why repetitions remain efficient. First, for a uniformly chosen unit modulo an odd integer with at least two distinct prime divisors, the probability of a useful unit in Shor factorization is at least : its true multiplicative order is even and . To see the source of this bound, the Chinese remainder theorem for unit groups makes the prime-power components independent. Each odd-prime-power unit group is cyclic. If its 2-primary order is , the probability of the largest possible value of is , and the probability of any specified smaller value is at most . Failure requires all components to have the same : either all zero, making odd, or all the same positive value, making the halfway power in every component. Conditioning on one component, the chance another component matches it is at most , so total failure is at most .
Second, the fraction of phase numerators coprime to is , where is the Euler totient function. The elementary totient-ratio lower bound suffices: if the distinct prime divisors are , then and . The totient product formula therefore gives
Thus for a good , the probability of sampling a coprime phase numerator with the required accuracy is at least . This is inverse-polynomial in the input length, so polynomially many repetitions achieve any fixed success probability. The quantum Fourier transform uses elementary rotations and Hadamard gates in the ideal gate description, and the other quantum and classical stages are polynomial in .
The reduction is therefore polynomial in the bit length:
A small denominator need not itself be the true multiplicative order; verification of the final factor is essential, and no guarantee is claimed for every individual sample.
Set and define the continued fraction convergents by
The recurrence reverses the sign of , whose initial value at is . Hence . Every common divisor of divides this number, proving .
The continued fraction convergents of begin . The last one yields
Changing either sign gives another valid integer solution.
Suppose first that a simple continued fraction is eventually periodic. Its periodic tail is fixed by the Möbius transformation represented by the continued-fraction matrix of one full period:
Thus
The infinite tail is not rational, since a rational simple continued fraction terminates. Hence is a quadratic irrational, and the finite initial block expresses the original number as another rational Möbius transform of . Therefore every eventually periodic simple continued fraction represents a quadratic irrational.
For the purely periodic fraction ,
so . Positivity selects
Apply the continued-fraction algorithm to :
The complete quotient then repeats, giving
The convergents through one term before the final are
The last of these satisfies the Pell equation
so a positive solution is
Let be the complete quotient after . Part (a) writes the irrational number as
so lies between the adjacent continued fraction convergents and . Their separation is
Because all are positive integers, the recurrence implies . Hence this separation tends to zero, and the squeeze theorem gives
Write the continued fraction as and define its convergents by
Induction using these recurrences gives
In particular, consecutive convergents have coprime numerator and denominator. The standard best-approximation consequence of the same determinant identity is that, for and ,
Dividing by gives
The contrapositive proves that any strictly better approximation has .
For , the continued-fraction algorithm gives
and the remainder then repeats. Hence
The convergent supplies a solution of the Pell equation:
The quantum Fourier transform measurement supplies a rational approximation
where is the desired multiplicative order. Here
Its reduced continued fraction convergent has denominator two, so continued-fraction recovery in quantum order finding proposes . Direct order verification from divisors confirms it:
Hence
As a check, the classical final step of the Shor algorithm gives
Apply the continued-fraction algorithm. Since ,
The successive complete quotients are
and
Taking one more reciprocal returns to , so the continued fraction of the square root of eleven is
Write
The first convergents are and , whence
The continued fraction convergent recurrence is
where for even and for odd .
Set
If is even and , then
because . If is odd and , then
because . The base case and induction prove the alternating multiplier recurrence for convergents of the square root of eleven:
Simple continued fraction 2026-10-06
A continued fraction with integer and positive integer for . Its partial numerators are all one. The continued fraction convergents have the standard two-term numerator and denominator recurrences.