a = a i 2 i a = All such series are automatically convergent with respect to the standard norm, but note that this representation is not unique: i<0

Similar documents
Chapter 8. P-adic numbers. 8.1 Absolute values

1 Adeles over Q. 1.1 Absolute values

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES

NOTES ON DIOPHANTINE APPROXIMATION

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2

February 1, 2005 INTRODUCTION TO p-adic NUMBERS. 1. p-adic Expansions

The p-adic numbers. Given a prime p, we define a valuation on the rationals by

8 Complete fields and valuation rings

Local Fields. Chapter Absolute Values and Discrete Valuations Definitions and Comments

Math 120 HW 9 Solutions

Part IA Numbers and Sets

THE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p

then it is called a non-archimedean absolute value. If condition (1.1.2) fails for some x, y F, then is called an archimedean absolute value.

NOTES ON FINITE FIELDS

CONSTRUCTION OF THE REAL NUMBERS.

Number Theory, Algebra and Analysis. William Yslas Vélez Department of Mathematics University of Arizona

p-adic Analysis Compared to Real Lecture 1

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

Chapter 1 : The language of mathematics.

MA3H1 TOPICS IN NUMBER THEORY PART III

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Algebraic Number Theory Notes: Local Fields

Quadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation

Absolute Values and Completions

Quadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation

CHAPTER 8: EXPLORING R

p-adic fields Chapter 7

Notes on ordinals and cardinals

Exploring the infinite : an introduction to proof and analysis / Jennifer Brooks. Boca Raton [etc.], cop Spis treści

Chapter 1 The Real Numbers

x = π m (a 0 + a 1 π + a 2 π ) where a i R, a 0 = 0, m Z.

Algebraic function fields

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

Fast Polynomial Multiplication

Places of Number Fields and Function Fields MATH 681, Spring 2018

Public-key Cryptography: Theory and Practice

Topological properties of Z p and Q p and Euclidean models

Contents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3

The p-adic Numbers. Akhil Mathew

Elliptic curves over Q p

Standard forms for writing numbers

Valuations. 6.1 Definitions. Chapter 6

Logic Synthesis and Verification

MATH 361: NUMBER THEORY FOURTH LECTURE

Metric Spaces Math 413 Honors Project

Solutions, Project on p-adic Numbers, Real Analysis I, Fall, 2010.

A BRIEF INTRODUCTION TO LOCAL FIELDS

Part III. x 2 + y 2 n mod m

Introduction to Arithmetic Geometry Fall 2013 Lecture #5 09/19/2013

Discrete Mathematics for CS Spring 2007 Luca Trevisan Lecture 27

3. The Sheaf of Regular Functions

ABSTRACT NONSINGULAR CURVES

Computations/Applications

Some Background Material

Sets. We discuss an informal (naive) set theory as needed in Computer Science. It was introduced by G. Cantor in the second half of the nineteenth

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define

RINGS: SUMMARY OF MATERIAL

A p-adic Euclidean Algorithm

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

CDM. Finite Fields. Klaus Sutner Carnegie Mellon University. Fall 2018

Discrete Mathematics. W. Ethan Duckworth. Fall 2017, Loyola University Maryland

Contribution of Problems

Part IA Numbers and Sets

Introduction to Arithmetic Geometry Fall 2013 Lecture #7 09/26/2013

The p-adic Numbers. Akhil Mathew. 4 May Math 155, Professor Alan Candiotti

In N we can do addition, but in order to do subtraction we need to extend N to the integers

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations

Homework 1 Solutions

2. THE EUCLIDEAN ALGORITHM More ring essentials

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory

Course MA2C02, Hilary Term 2013 Section 9: Introduction to Number Theory and Cryptography

There are seven questions, of varying point-value. Each question is worth the indicated number of points.

Lecture 8: The Field B dr

Finite Fields. Mike Reiter

Tomáš Madaras Congruence classes

Algebraic Number Theory

Real Analysis - Notes and After Notes Fall 2008

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998

Numbers 1. 1 Overview. 2 The Integers, Z. John Nachbar Washington University in St. Louis September 22, 2017

COMPUTER ARITHMETIC. 13/05/2010 cryptography - math background pp. 1 / 162

Part II. Number Theory. Year

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

CHAPTER 6. Prime Numbers. Definition and Fundamental Results

Profinite Groups. Hendrik Lenstra. 1. Introduction

A CONSTRUCTION FOR ABSOLUTE VALUES IN POLYNOMIAL RINGS. than define a second approximation V 0

P-adic numbers. Rich Schwartz. October 24, 2014

Zair Ibragimov CSUF. Talk at Fullerton College July 14, Geometry of p-adic numbers. Zair Ibragimov CSUF. Valuations on Rational Numbers

Introduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION

Automorphisms of varieties and critical density. Jason Bell (U. Michigan)

Chapter 1. Sets and Numbers

Profinite number theory

ECEN 5022 Cryptography

Lecture 11 - Basic Number Theory.

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

Course 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography

Formal groups. Peter Bruin 2 March 2006

MASTERS EXAMINATION IN MATHEMATICS SOLUTIONS

Chapter 5. Modular arithmetic. 5.1 The modular ring

MASTERS EXAMINATION IN MATHEMATICS

Transcription:

p-adic Numbers K. Sutner v0.4 1 Modular Arithmetic rings integral domains integers gcd, extended Euclidean algorithm factorization modular numbers add Lemma 1.1 (Chinese Remainder Theorem) Let a b. Then Z/(ab) is isomorphic to Z/(a) Z/(b). 2 Motivation We can write non-negative integers in binary notation as sums a = k a i 2 i i=0 where the digits a i are in {0, 1}. Indeed, by adopting reasonable conventions about leading zeros, we obtain a unique representation. If we extend the summation to the left, we can represent arbitrary non-negative reals: k a = a i 2 i i= All such series are automatically convergent with respect to the standard norm, but note that this representation is not unique: 1 2 0 = 1 2 i i<0 Arithmetic operations are defined in the usual manner. To deal with negative numbers we have admit signs as in k a = ± a i 2 i i= Inquisitive minds might wonder what happens if we extend the summation to the right instead and consider numbers of the form, say, a = a i 2 i i=0 1

We will call these objects dyadic integers. It is convenient to abuse the standard decimal point and write these numbers in the format a =. a 0 a 1 a 2... A priori, these expressions are just formal Laurent series, there is no convergence unless all but finitely many of the digits are 0. Still, at the least we get back the non-negative integers. We can add two such numbers via the eminently reasonable rule 2 i + 2 i 2 i+1 ; note that we may have to apply this rule infinitely often in a single addition. Now consider m = 2 i =.1111... i=0 According to our rules for addition, m + 1 = 0. Hence m = 1. We can also define multiplication: to multiply by 2 i, shift by i places to the right and deal with sums by distributivity. For example, multiplying by m = 1 comes down to flipping all bits after the first 1. It turns out that our dyadic integers form a commutative ring. Moreover, we can represent all the integers in our new number system without use of a sign, and one can show that the representation is unique. So far, so good. But unless the dyadic integers capture more numbers this would seem like so much wasted effort. What number would the expression a =. 10101010... represent? Since 2a =. 0101010... we have 3a =. 11111... so that a = 1/3; likewise 1/3 =. 11010101... This observation can be pushed further: suppose the bit-sequence associated with a dyadic number a is periodic. Then a = p/q where the denominator q is odd. For suppose (a i ) has period π 1. Then 2 π a = a i<π a i2 i so that a = i<π a i2 i 2 π 1 The numerator p here is constrained to 2 π < p < 0. But then a general rational p/q, q odd, corresponds to an ultimately periodic dyadic integer. This turns out to be an if-and-only-if situation. For example, 1/3 + 1/5 = 8/15 translates into. 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1.... 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0.... 0 0 0 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1... Needless to say, instead of 2 we could also consider an arbitrary prime p and use digits D = {0, 1,..., p 1}. 3 Completions of Q The reals R can be construed as the completion of Q with respect to the standard norm x on Q, the absolute value. Technically one considers all Cauchy sequences (a n ) over Q: A null-sequence is a sequence (a n ) with ε > 0 n i, j > n ( a i a j < ε) ε > 0 n i > n ( a i < ε) 2

We define an equivalence relation on these sequences: (a n ) (b n ) (a n b n ) is a nullsequence. Then the space of all Cauchy sequences over Q modulo is the completion of Q with respect to the standard norm. This space is isomorphic to the reals (assuming they were defined in some other way to begin with; say, via Dedekind cuts). In particular this space is complete: applying the same Cauchy completion a second time produces no new points. The standard norm (or absolute value, sometimes called the absolute value at infinity) is arguably the most natural norm on Q. However, there are other maps that have the axiomatic properties of a norm: x = 0 x = 0 xy = x y x + y x + y (triangle inequality) For example, the trivial norm 0 = 0, x = 1 otherwise, satisfies the axioms. Here is a more interesting alternative. Fix some prime p. The p-adic valuation of an integer n 0 is the largest e such that p e divides n, in symbols ν p (n) and ν p (0) =. The p-adic norm of n is p νp(n), in symbols n p (with the understanding that 0 p = 0). This generalizes to rational a/b via ν p (a/b) = ν p (a) ν p (b) and a/b p = p νp(a/b). In other words, write a non-zero rational as r = p k a/b where k Z and p is coprime with ab. Then r p = p k. Note that the p-adic norm satifies a stronger property than the triangle inequality: we now have the ultrametric inequality x + y p max( x p, y p ) Norms with this property are called non-archimedean. By a theorem of Ostrowski all the norms on Q other than the standard norm are p-adic norms. The question arises what a completion of Q with respect to a p-adic norm might look like. One can follow the construction of the reals from Q using the p-adic norm instead of the standard, Archimedean norm. Here is a slightly more direct approach that focuses on reasonable representations of the objects under consideration. 4 p-adic Integers First define the set of rationals without a factor p in the denominator: Z (p) = { a/b Q ν p (b) = 0 } Then Z (p) forms a ring, p n+1 Z (p) is an ideal in this ring and thus defines a congruence. We write s = t (mod p n+1 Z (p) ) if s t p n+1 Z (p). Thus, writing s t = a/b in lowest common terms we have ν p (a) n + 1. A sequence (s n ) over Z (p) is coherent if s n = s n+1 (mod p n+1 Z (p) ). Thus, if the terms are integral, then s n s n+1 must be divisible at least by p n+1. Coherence allows one to think of such an integral sequence as defining an inverse limit in Z/(p) Z/(p 2 ) Z/(p 3 )... where the maps are the canonical epimorphisms; see also the standard sequences below. Two sequences (s n ) and (t n ) are similar, in symbols (s n ) (t n ), if s n = t n (mod p n+1 Z (p) ). 3

Definition 4.1 The p-adic integers are the quotient Z p = Z N,coh (p) / Addition and multiplication are defined point-wise. Since p is prime we obtain an integral domain in this way (non-prime p still produce a commutative ring but one with zero-divisors). While the p-adic integers are defined in terms of sequences of fractions they can also be obtained from sequences of integers. This sequence is the standard sequence and can be seen as a canonical representation of the corresponding p-adic integer. Lemma 4.1 For each coherent sequence (s n ) over Z (p) there exists a similar sequence (t n ) such that t n Z, 0 t n < p n+1. Proof. Let s n = a/b Z (p). Since b is a unit in the ring of modular numbers Z/(p n+1 ) we can choose an integer b such that bb = 1 (mod p n+1 ). Now set t n = ab mod p n+1. It is often more convenient to write the elements of the standard sequence in radix p representation: t n = i n α i p i. Note that this works since (t n ) is coherent. It is then natural to write α = i< α i p i for a p-adic integer. This is the p-adic digit representation of α. Note that this representation is unique (as opposed to the standard radix representation of reals). The map Z (p) Z p, s (s) is a ring monomorphism, so we can think of the integers as a subring of the p-adic integers. However, from the standard sequence representation it is easy to conclude that Z p is uncountable, so this notion of integer is far from the standard one. Example 4.1 For this example let p = 2, so we are dealing with dyadic integers. The integer 1 has the standard form (1, 3, 7, 15,...) and digit form (1, 1, 1, 1,...). The integer 5 has the form (1, 1, 5, 5, 5,...) in standard form and 1 2 0 + 0 2 1 + 1 2 2 in dyadic digit representation, the same as in ordinary binary radix. The standard form of -5 is (1, 3, 3, 11, 27, 59, 123, 251,...), in dyadic digits (1, 1, 0, 1, 1, 1, 1, 1, 1...). The fraction 1/5 has standard representation (1, 1, 5, 13, 13, 13, 77, 205, 205, 205, 1229,...) and digit representation (1, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0,...) Computation of digit representation in Mathematica: Reverse@IntegerDigits[ PowerMod[ 5, -1, 2ˆ10 ], 2 ] Example 4.2 Consider the sequence a n = (1 + p) pn 1. A simple computation shows that for n > 0 we have a n p = p (n+1). Hence (a n ) is a null sequence. Ultimately constant digit representations correspond to integers. For example, in the dyadic numbers 5 corresponds to 1101 ω. Ultimately periodic digit representations correspond to rational numbers. To see this, note that i 0 pi = 1/(1 p) in the p-adic norm (much like the case p < 1 in the standard norm). Consider α =.b 0... b r c 0... c s 1. Then α = i r b i p i + j<s c jp j 1 p s 4

Lemma 4.2 The p-adic digit representations of numbers in Z (p) are ultimately periodic. Proof. XXXXXXXXXXXXXXXX Here is a critical lemma that helps to determine solutions of polynomial equations over Z p. Lemma 4.3 (Hensel) Let f Z[x] be a polynomial with a root f(r) = 0 (mod p n ) and f (r) 0 (mod p). Then there exists an r such that f(r ) = 0 (mod p n+1 ) and r = r (mod p n ). Proof. As integers, the roots of f modulo p n have the form r + kp n where k Z. In order to determine appropriate values of k, let f(x) = i d a ix i so that where A is a multiple of p 2n. Hence f(r + kp n ) = a i (r + kp n ) i = a i r i + kp n ia i r i 1 + A i>0 = f(r) + kp n f (r) + A f(r + kp n ) = f(r) + kp n f (r) (mod p n+1 ) and it follows that Our claim follows. k f (r) = f(r)/p n (mod p) Note that polynomial equations over Z p may have solutions even when the corresponding equation over Q does not. For example, consider x 2 = 2. There is a solution x 2 n = 2 (mod 7 n ) for all n 0. In fact, we can obtain a coherent sequence of integers: x = (3, 10, 108, 2166, 4567, 38181,...) defining a solution x in Z 7. There is one other solution corresponding to x with sequence (4, 39, 235, 235, 12240, 79468,...). To prove the existence of these solutions we can use Hensel s lemma: let f(x) = x 2 2 so that f (x) = 2. Then r = 3 satisfies the conditions of the lemma: f(r) = 7 = 0 (mod 7) and f (r) = 2 0 (mod 7). There are many versions of Hensel s lemma; here is one that deals more directly with the question of when a polynomial has a root over Z p. Lemma 4.4 (Hensel, II) Let f Z p [x] be a polynomial. Suppose that for some α 0 Z p we have f(α 0 ) = 0 (mod pz p ) but f (α 0 ) 0 (mod pz p ). Then there is a unique p-adic integer α such that f(α) = 0 and α = α 0 (mod pz p ). 5 p-adic Rationals We can extend the p-adic valuation to Z p since, for all n, we must have ν p (s n ) n + 1 or ν p (s n ) = ν p (s n+1 ). So in the limit ν p (s n ) is either infinite or ν p (s n ) = ν p (s m ) for all n m. The units in Z p are easy to characterize (note that there are uncountably many of them). Lemma 5.1 α Z p is a unit if, and only if, α p = 1. 5

Proof. First suppose α is a unit and let (s n ) be the corresponding standard sequence. Then there is a standard sequence (t n ) such that s n t n = 1 (mod p n+1 Z (p) ). But then ν p (s n t n ) = 0 and ν p (s n ) = 0. The claim follows. For the opposite direction let m minimal such that ν p (s n ) = 0 for all n m. If m > 0 we have by coherence ν p (s m 1 s m ) m 1. But then ν p (s m 1 ) = 0, a contradiction. Hence m = 0. We need to show that the sequence (s 1 n ) is coherent. By coherence of s n we have s n s n+1 = r p n+1 where r Z (p). Now Done. s 1 n s 1 n+1 = s n+1 s n s n s n+1 = rpn+1 s n s n+1 Z (p) Thus, in the standard sequence representation, we need s 0 0 (same for digit representation). We can write any element 0 α Z p as α = ɛ p νp(α) where ɛ is a unit: we simple shift the first non-zero term of α to the first position by multiplying by α p. It is now easy to expand Z p to a field by a modification of the standard quotient construction. To this end define an equivalence relation = on Z p { p i i 0 } (rather than Z p Z p as in the standard construction) by (α, p n ) = (β, p m ) αp m = βp n As usual, the equivalence classes are written in fractional notation: α/p n. inherited from Z p : α p n + β p m = αpm + βp n p n+m α p n β p m = αβ p n+m Definition 5.1 The p-adic numbers are defined to be Q p = { α/p n α Z p, n 0 } We can also think of Q p as Z p [1/p]. It is natural to extend the p-adic norm to Q p by α/p n p = α p n Then we have again that any non-zero p-adic number ζ can be written as ζ = ɛ p νp(ζ) The operations are where ɛ is a unit in Z p. Hence we can compute reciprocals in Q p essentially by finding the inverse of ɛ, a unit in Z p. The p-adic digit representation for Q p is naturally written as α = i m α i p i where m is an integer, possibly negative. Note that this is just a finite-tailed Laurent series if we consider p to be the unknown. The series is often written using a p-adic point in analogy to the standard decimal notation: α = α m α m+1... α 1. α 0 α 1 α 2... 6

Example 5.1 Let p = 5, α = 2/3 so that m = 0. Then α =.4131313... since α 0 = 2 3 1 (mod p) = 4 2/3 4 = p ( 2/3) α 1 = 2 3 1 (mod p) = 1 2/3 1 = p ( 1/3) α 2 = 1 3 1 (mod p) = 3 1/3 3 = p ( 2/3) It follows that, say, 2/75 = 41.313131... and 50/3 = 0.0041313131... One can show that Q p is complete: all Cauchy sequences over Q p already converge to an element of Q p. We can think of Q as a subfield of Q p. For let a/b Q and set n = b p. Then a/b p n Z (p) Z p and we can identify a/b Q with (a/b p n )/p n Q p. Q is then dense in Q p and indeed Q p could also have been constructed as the completion of Q with respect to the p-adic norm. Using these identifications we have Z p = { x Q p x p 1 } Z (p) = Z p Q = { a/b Q p b } Z p Q = { a/b Q p ab } The first characterization relies on the fact that we are dealing with an ultrametric, so we get a compact subring of Q p by restricting ourselves to norm at most 1. As a consequence, Q p is totally disconnected. 6 Dyadic Numbers and Circuits The case p = 2 is particularly interesting, since we can naturally identify Z 2 with the sequence space 2 ω or the Boolean space B ω. As a consequence, there are natural operations on Z 2 other than the algebraic ones considered so far. Logical: We can think of 2 as B and apply logical operations pointwise; we obtain a Boolean algebra isomorphic to P(N). Combinatorial: up-shift b = z (a), b 0 = 0, b n = a n 1 down-shift b = z(a), b n = a n+1 up-power b = (a), b 2n = a n, b 2n+1 = 0 down-sample, even b = even(a), b n = a 2n down-sample, odd b = odd(a), b n = a 2n+1 shuffle c = a b, c 2n = a n, c 2n+1 = b n convolution c = a b, c n = i+j=n a i b j The space of dyadic numbers together will all these operations is referred to as digital numbers D by Vuillemin. There are natural embeddings B N Z Z (2) Z 2 D 7

from various important structures into the digital numbers. By selecting appropriate subsets of the operations get for example the Boolean algebra D,,,. There are lots of equational relations between these operations. For example, we have a = 1 + a z a = 2 a = 2 a a = a a z z a = a a = (even a) (odd a). Also, D D D since the shuffle operation is a pairing function : D D D. The corresponding unpairing functions are even and odd. The additional operations can be useful in describing certain functions f : D D, in particular with a view towards their realization as a digital circuit. We will only consider circuits with discrete time, so the state of the circuit is defined only for t = 0, 1, 2,... It is convenient to consider a special ternary Boolean function, a so-called multiplexer: a type of controlled switch where the first input selects which of the other inputs is selected for output. Alternatively, we can think of a multiplexer as an if-then-else gate. In symbols:?(x, y, z) = (x y) ( x z) Note that? together with constants true and false forms a basis for all Boolean functions. x =?(x,, ) x y =?(x, y, ) =?(x, y, x) x y =?(x,, y) =?(x, x, y) x y =?(x,?(y,, y), y) Another important digital component is a register or unit delay: the output at time t = 0 is 0 and otherwise the input at time t 1. A closely related gadget is a register that outputs a 1 at time 0. In order for a circuit built from multiplexers and registers to have well-defined behavior we require that there are no cycles in the corresponding diagram whose nodes are exclusively multiplexers (equivalently, there are no feedback loops in the purely Boolean part of the circuit). Unless mentioned otherwise, we do not require circuits to be finite. However, all paths from input to output must be finite. 6.1 Types of Functions Definition 6.1 Let f : D D. f is continuous if it is continuous in the sense of the standard topology: ε > 0, x δ > 0 y ( x y < δ f(x) f(y) < ε). f is on-line or causal if f(x) = t 0 f t (x 0,..., x t ) 2 t where x = x i 2 i. f is 1-Lipschitz if x, y ( f(x) f(y) x y ). 8

By the Heine-Cantor theorem, a continuous function on D is already uniformly continuous so that n m x, y ( x y < 2 m f(x) f(y) < 2 n ). Thus, the first m = m(n) input bits suffice to determine the first n output bits. Theorem 6.1 f can be computed by a combinational circuit iff f is continuous. In other words, we can write f(x) = t 0 f t (x 0,..., x m(t) ) 2 t for some function m : N N. The component function f t is a finite Boolean function can thus be computed by a combinational circuit. Note that we require paths from inputs to outputs to be finite (though the whole circuit might be infinite). Lemma 6.1 Let f be on-line. Then f is injective iff g x : g(f(x)) = x. x, y ( f(x) f(y) = x y ). g, c x : f(x) = x c 2 g(x). Note that an injective on-line function is necessarily surjective. The following theorem generalizes Boolean decision diagrams to synchronous decision diagrams, a type of (possibly infinite) digital circuit that describes on-line functions, much the way a BDD describes Boolean functions. Theorem 6.2 f can be computed by a synchronous digital circuit iff f is on-line iff f is 1-Lipschitz. Proof. The idea is to construct a circuit built from muxes and registers by exploiting the following analogue to Shannon expansion of Boolean functions: f(x) =?(x, b 1 + 2 f 1 (x), b 0 + 2 f 0 (x)). To determine the right-hand side we compare coefficients: f f 1 f 0 f 0 (x 0 ) b 1 = f 0 (1) b 0 = f 0 (0) f 0 (x 0, x 1 ) f 1 (x 0, 1) f 1 (x 0, 0) f 0 (x 0, x 1, x 2 ) f 2 (x 0, x 1, 1) f 2 (x 0, x 1, 0) It is easy to build an infinite synchronous circuit with input x at the muxers, in the shape of a complete binary tree, that implements f. If f = p is given by a transducer we can construct the SDD as follows. First note that f(x) = z f(a) 2 z za x The functions f u associated with f in the SDD construction then have the form f u (x) = lst( z f(au)) 2 z za x Assuming that the transducer is accessible from state p, it follows that f u = f v iff q, a (lst(q au) = lst(q av)). Hence the SDD is finite whenever the transducer is finite. 9