A construction of bent functions from plateaued functions
|
|
- Ami Bridges
- 6 years ago
- Views:
Transcription
1 A construction of bent functions from lateaued functions Ayça Çeşmelioğlu, Wilfried Meidl Sabancı University, MDBF, Orhanlı, Tuzla, İstanbul, Turkey. Abstract In this resentation, a technique for constructing bent functions from lateaued functions is introduced and analysed. This generalizes earlier techniques for constructing bent from near-bent functions. Using this construction, we obtain a big variety of inequivalent bent functions, some weakly regular and some non-weakly regular. Classes of bent function with some additional roerties that enable the construction of strongly regular grahs are constructed, and exlicit exressions for bent functions with maximal degree are resented. 1 Introduction For a rime, let f be a function from F n to F. The Fourier transform of f is then defined to be the comlex valued function f on F n f(b) = x F n ɛ f(x) b x where ɛ = e 2πi/ and b x denotes the conventional dot roduct in F n. The Fourier sectrum sec(f) of f is the set of all values of f. We remark that one can equivalently consider functions from an arbitrary n-dimensional vector sace over F to F, and substitute the dot roduct with any (nondegenerate) inner roduct. Frequently the finite field F n with the inner roduct Tr n (bx) is used, where Tr n (z) denotes the absolute trace of z F n. The function f is called a bent function if f(b) 2 = n for all b F n. The normalized Fourier coefficient of f at b F n is defined by n/2 f(b). For a bent function the normalized Fourier coefficients are obviously ±1 when = 2, and for > 2 we always have (cf. [7]) { n/2 ±ɛ f(b) f (b) = : n even or n odd and 1 mod 4 ±iɛ f (b) (1) : n odd and 3 mod 4 where f is a function from F n to F. 1
2 A bent function f : F n F is called regular if for all b F n n/2 f(b) = ɛ f (b). When = 2, a bent function is trivially regular, and as can be seen from (1), for > 2 a regular bent function can only exist for even n and for odd n when 1 mod 4. A function f : F n F is called weakly regular if, for all b F n, we have n/2 f(b) = ζ ɛ f (b) for some comlex number ζ with ζ = 1. By (1), ζ can only be ±1 or ±i. Note that regular imlies weakly regular. A function f : F n F is called lateaued if f(b) 2 = A or 0 for all b F n. By Parseval s identity, we obtain that A = n+s for an integer s with 0 s n. Moreover, suort of f defined by su( f) = {b F n f(b) 0} has cardinality n s. We will call a lateaued function with f(b) 2 = n+s or 0 an s-lateaued function. The case s = 0 corresonds to bent functions by definition. For 1-lateaued functions the term nearbent function is common (see [3, 9]), binary 1-lateaued and 2-lateaued functions are referred to as semi-bent functions in [5]. We resent a technique for constructing bent functions from lateaued functions which generalizes earlier constructions of bent functions from nearbent functions. Though the technique also works for = 2, we assume in the following that is odd, as we are mainly interested in this tye of functions, which we also will call -ary functions. In Section 2 we analyse the Fourier sectrum of quadratic functions and the effect of equivalence transformations to the Fourier sectrum. In articular, we show under which conditions the multilication of a -ary function with a constant changes the signs in the Fourier sectrum. The rocedure for constructing bent functions from s-lateaued functions is resented in Section 3. In Section 4 we oint out that the construction delivers a large variety of rovable inequivalent bent functions, and we give some simle examles of weakly regular and non-weakly regular bent functions. Bent functions with some additional roerties can be used to construct strongly regular grahs (see [6, 11, 12]). We will show how to obtain a large variety of such bent functions. Finally, we resent simle exlicit exressions for bent functions in odd dimension with maximal ossible degree. 2
3 2 Fourier sectrum Two functions f and g from F n to F are called extended affine equivalent (EA-equivalent) if g(x) = cf(l(x) + u) + v x + e for some c F, e F, u, v F n, and a linear ermutation L : F n F n. As well known, EA-equivalence reserves the main characteristics of the Fourier sectrum, in articular if f is bent then also g is bent. More recisely we have the following roerties which can be verified straightforward. (i) (f + e)(b) = ɛ e f(b), (ii) if f v (x) = f(x) + v x then f v (b) = f(b v), (iii) f(x + u)(b) = ɛ b u f(b), (iv) if L(x) = Ax for A GL(F ) then f(l(x))(b) = f((a 1 ) T b), where A T denotes the transose of the matrix A. We note that these transformations do not only reserve the absolute value of the Fourier coefficients but also their sign is not changed. This is different if f is multilied by a constant c F. Before we analyse the effect of this transformation, we give an analysis of the Fourier transform of quadratic functions. Using the roerties (i),(ii), we omit the affine art and consider quadratic functions f(x) = 1 i j n a ijx i x j from F n to F, where we ut x = (x 1,..., x n ). Every such quadratic function f can be associated with a quadratic form f(x) = x T Ax where x T denotes the transose of the vector x, and A is a symmetric matrix with entries in F. By [10, Theorem 6.21] any quadratic form can be transformed to a diagonal quadratic form by a coordinate transformation, i.e. D = C T AC for a nonsingular (even orthogonal) matrix C over F and a diagonal matrix D = diag(d 1,..., d n ), and it is sufficient to describe the Fourier sectrum of a quadratic form f(x) = d 1 x d n s x 2 n s := Q d n,n s(x) for some 0 s n 1 and d = (d 1,..., d n s ). We may assume that the nonzero elements of the matrix D are d 1,..., d n s. The following roosition 3
4 describing Fourier sectrum of Q d n,n s(x) was resented in [3], where bent functions have been constructed from near-bent functions. For convenience we will include the roof. Proosition 1 [3] For the quadratic function Q d n,n s(x) = d 1 x d n s x 2 n s from F n to F, let = n s i=1 d i, and let η denote the quadratic character of F. The Fourier sectrum of Q d n,n s is given by { 0, η( ) n+s sec(q d 2 ɛ f (b) b su( Q } d n,n s ) : 1 mod 4, n,n s) = { 0, η( )i n s n+s 2 ɛ f (b) b su( Q } d n,n s ) : 3 mod 4, if s > 0, where f (x) is a function from su( Q d n,n s ) to F, and { } η( ) n sec(q d 2 ɛ f (b) b F n : 1 mod 4, n,n) = { } η( )i n n 2 ɛ f (b) b F n : 3 mod 4, where f (x) is a function from F n to F. Proof: We start with two facts which are simle to verify. For two functions f : F n F and g : F m F, we define the function f g from F n F m by (f g)(x, y) = f(x) + g(y). Then (see also [1]) (f g)(u, v) = f(u)ĝ(v). (2) For a function f : F m F let f be the function from F m+n = F m F n to F defined by f(x, y) = f(x). Then (see also [3, Lemma 2], and comare with Lemma 1 in Section 3) f(b, c) = { n f(b) : c = 0, 0 : else. (3) We first consider Q d 1,1 (x) = dx2 and note that by [10, Theorem 5.33] Q d 1,1 (0) = x F ɛ dx2 = η(d)g(η, χ 1 ) where χ 1 is the canonical additive character of F and G(η, χ 1 ) is the associated Gaussian sum. Consequently Q d 1,1 (b) = ɛ dx2 bx = ɛ d(x b/(2d))2 b 2 /(4d) = ɛ b2 /(4d) η(d)g(η, χ 1 ). x F x F 4
5 With [10, Theorem 5.15] we then obtain Q d 1,1 (b) = η( ) 1 2 ɛ b2 /(4d) : 1 mod 4, η( )i 1 2 ɛ b2 /(4d) : 3 mod 4. With equation (3) we get the assertion for Q d n,1 for arbitrary n. The general assertion then follows with induction from equation (2). Remark 1 Since the multilication of a quadratic function f by a constant c F causes a multilication by c of every element in the associated diagonal matrix, the Fourier sectra of the functions f and cf is identical if and only if n s is even or n s is odd and c is a square in F. If n s is odd and c is a nonsquare, then the Fourier coefficients of f and cf have oosite sign. Remark 2 Let Q d n,n s(x) = d 1 x d n sx 2 and Q d n,n s(x) = d 1 x d n sx 2 be two quadratic s-lateaued functions from F n to F, then one can be obtained from the other by a coordinate transformation if and only if η( ) = η( ), where = n s i=1 d i and = n s i=1 d i (see e.g. [10, Exercise 6.24]). If n s is odd we can also change the character of by multilying the s-lateaued function by a nonsquare. Consequently every quadratic s- lateaued function from F n to F is EA-equivalent to x x x2 n s if n s is odd. If n s is even then there are two EA-inequivalent classes of quadratic s-lateaued functions in dimension n. We will show next that Remark 1 is a secial case of a much more general theorem. For a function f : F n F and b F n, let N b (j) = {x F n : f(x) b x = j} for each j = 0,..., 1. Then and for any c F we have ĉf(cb) = x F n ɛ cf(x) (cb) x 1 f(b) = N b (j)ɛ j, = x F n 1 ɛ c(f(x) b x) = N b (j)ɛ cj. (4) 5
6 Suose that f(b) = (n+s)/2, then we have [7,.2019] 1 N b (j)ɛ j (n+s)/2 ɛ f (b) = 0 (5) when n s is even, and 1 ( ( j f ) ) (b) N b (j) (n+s 1)/2 ɛ j = 0 (6) when n s is odd, where 0 f (b) 1 is an integer deending on b. If n s is even, then using the automorhism σ c of Q(ɛ ) that fixes Q and σ c (ɛ ) = ɛ c, equation (5) imlies 1 N b (j)ɛ cj Consequently using equation (4) 1 ĉf(cb) = N b (j)ɛ cj = ± (n+s)/2 ɛ cf (b). = ± (n+s)/2 ɛ cf (b). If n s is odd, with the automorhism σ c and equation (6) we get 1 ( j f N b (j)ɛ cj ) (b) (n+s 1)/2 ɛ cj = 0. Hence equation (4) can be written as ĉf(cb) = ± (n+s 1)/2 ( j f (b) ) ɛ cj. Relacing j first by j + f (b) and then by c 1 j, we obtain 1 ( ĉf(cb) = ± (n+s 1)/2 ɛ cf (b) c 1 ) j ɛ j ( ) c 1 = ± ( c = ɛ (c 1)f (b) ) ɛ (c 1)f (b) f(b). We have shown the following theorem. 1 (n+s 1)/2 ɛ f (b) ( ) j ɛ j 6
7 Theorem 1 For an element b F n and a function f : F n F suose that f(b) 2 = n+s for some s 0. If n s is even or n s is odd and c is a square in F, then ĉf(cb) = ɛk f(b) for some integer k. If n s is odd and c is a nonsquare in F, then ĉf(cb) = ɛk f(b) for some integer k. 3 The construction In this section we describe the rocedure to construct -ary bent functions from F n+s to F from s-lateaued functions from F n to F. The construction seen in the framework of finite fields F n has been used in [4] to show the existence of ternary bent functions attaining the uer bound on algebraic degree given by Hou [8]. The construction can be seen as a generalization of the constructions in [5, 3, 9] where s = 1. Theorem 2 For each u = (u 1, u 2,, u s ) F s, let f u (x) : F n F be an s-lateaued function. If su( f u ) su( f v ) = for u, v F s, u v, then the function F (x, y 1, y 2,, y s ) from F n+s to F defined by F (x, y 1, y 2,, y s ) = u F s is bent. Proof: ( 1) s s i=1 y i(y i 1) (y i ( 1)) f u (x) (y 1 u 1 ) (y s u s ) For a F n, b F s, and utting y = (y 1,..., y s ), the Fourier transform F of F at (a, b) is F (a, b) = x F n,y Fs = y F s ɛ b y ɛ F (x,y) a x b y x F n ɛ fy(x) a x = y F s = y F s ɛ b y ɛ b y x F n f y (a). ɛ F (x,y) a x As each a F n belongs to the suort of exactly one f y, y F s, for this y we have F (a, b) = ɛ b y fy (a) = n+s 2. Given s-lateaued functions, there are various ossible aroaches to roduce a set of s-lateaued functions with Fourier transforms with airwise disjoint suort. We suggest a simle one using the following lemma. 7
8 Lemma 1 For some integers n and s < n, let f : F n s F be a bent function and u = (u n s+1,..., u n ) F s. Then the function in dimension n is s-lateaued with f u (x 1..., x n ) = f(x 1,..., x n s ) + n i=n s+1 u i x i su( f u ) = {(b 1,..., b n s, u n s+1,..., u n ) b i F, 1 i n s}. Proof: For b = (b 1,..., b n ) f u (b) = x F n = ɛ fu(x) b x n i=n s+1 ɛ (u i b i )x i ɛ f(x1,...,xn s) x n s+1,...,x n F x 1,...,x n s F Since f is a bent function in the variables x 1,..., x n s, we have n s i=1 b ix i = (n s)/2 and thus x 1,...,x n s F ɛ f(x1,...,xn s) { f (n+s)/2 if b u (b) = i = u i, n s + 1 i n, 0 else. n s i=1 b ix i As their Fourier sectrum is comletely known we will aly Lemma 1 to quadratic functions x x2 n s. Corollary 1 For u F s let d u (F ) n s. Then d u x 2 1. x 2 n s + u x n s+1. x n, u F s is a set of s-lateaued functions with Fourier transforms having airwise disjoint suort. 8
9 We remark that this rocedure of searating the suorts of the Fourier transforms can be alied to any set of bent functions in n s variables which by Lemma 1 can be seen as a set of s-lateaued functions in n variables. Examle 1 For = 3, n = 2, s = 1 we may choose f 0 (x) = x 2 1, f 1(x) = 2x x 2, f 2 (x) = 2x x 2. Writing x 3 for y, with Theorem 2 we obtain the bent function F (x) = x 2 1x x x 2 x 3 in dimension 3 and algebraic degree 4. 4 Alications Inequivalent bent functions With the construction in Theorem 2, a large variety of inequivalent bent functions, weakly regular as well as non-weakly regular ones, can be obtained. As it is well known, EA-equivalent functions have always the same algebraic degree. By Theorem 1, EA-equivalence does not change the sign of the Fourier coefficients of bent functions in even dimension. If the dimension is odd, then an equivalence transformation either does not change the sign of any Fourier coefficient of a bent function, or the signs of all Fourier coefficients are altered. In articular a weakly regular bent function and a non-weakly regular bent function are never EA-equivalent. Using the construction in Theorem 2 we can design inequivalent bent functions of the same algebraic degree. Examle 2. Consider the 2-lateaued functions from F 4 3 to F 3 g 0 (x 1, x 2, x 3, x 4 ) = x x 2 2, g 1 (x 1, x 2, x 3, x 4 ) = 2x x 2 2. Choosing f 0j (x 1, x 2, x 3, x 4 ) = g 0 (x 1, x 2, x 3, x 4 )+jx 4 and f ij (x 1, x 2, x 3, x 4 ) = g 1 (x 1, x 2, x 3, x 4 ) + ix 3 + jx 4 for i = 1, 2 and j = 0, 1, 2, and alying the construction in Theorem 2, we get the bent function in dimension 6 F (x 1, x 2, x 3, x 4, y 1, y 2 ) = x 2 1y x x x 3 y 1 + x 4 y 2. Examle 3. With the same 2-lateaued functions g 0 and g 1 from F 4 3 to F 3 as in Examle 2, we choose f 00 (x 1, x 2, x 3, x 4 ) = g 0 (x 1, x 2, x 3, x 4 ) and for 0 i, j 2 and (i, j) (0, 0) we choose f ij (x 1, x 2, x 3, x 4 ) = g 1 (x 1, x 2, x 3, x 4 ) + ix 3 + jx 4. Then the construction in Theorem 2 yields the bent function F (x 1, x 2, x 3, x 4, y 1, y 2 ) = 2x 2 1y 2 1y x 2 1y x 2 1y x x x 3 y 1 + x 4 y 2. 9
10 Let be defined as in Proosition 1, then for g 0 we have = 1, a square, and for g 1 we have = 2, a nonsquare in F 3. Therefore the functions in Examles 2 and 3 are non-weakly regular. In the construction of Examle 2 the function g 0 is used 3 times, g 1 is used 6 times. From the descrition of the Fourier sectrum of a quadratic function given in Proosition 1 we conclude that Fourier coefficients have negative sign, and Fourier coefficients have ositive sign. In fact the Fourier sectrum of the bent function in Examle 2 is { 27 63, , (27ɛ 2 3 )162, 27ɛ 90 3, 27ɛ162 3, ( 27ɛ 2 3 )90 }, where the integer in the exonent denotes the multilicity of the corresonding Fourier coefficient. For constructing Examle 3, g 0 is used only once, 8 times g 1 is used. Consequently 3 4 Fourier coefficients have negative sign, have ositive sign. In fact the Fourier sectrum of the bent function in Examle 3 is { 27 9, , (27ɛ 2 3 )216, 27ɛ 36 3, 27ɛ216 3, ( 27ɛ 2 3 )36 }. By Theorem 1 the two bent functions of algebraic degree 6 are inequivalent. Bent functions and strongly regular grahs In [2, 6, 11] it is shown that artial difference sets and strongly regular grahs can be obtained from some classes of -ary bent functions: Let n be an even integer and f : F n F be a bent function with the additional roerties that (a) f is weakly regular (b) for a constant k with gcd(k 1, 1) = 1 we have for all t F Then the sets D 0, D R, D N defined by f(tx) = t k f(x). D 0 = {x F n f(x) = 0}, D N = {x F n f(x) is a nonsquare of F }, D R = {x F n f(x) is a nonzero square of F } are artial difference sets of F n. Their Cayley grahs are strongly regular. There are a few examles of bent functions known that satisfy the above conditions, some of them yielding new strongly regular grahs, see [11]. Also note that every -ary quadratic function f which does not have a linear term satisfies f(tx) = t 2 f(x) for all t F. But in general, a bent function does not satisfy those conditions. In the following we relate our construction of bent functions to the construction of strongly regular grahs. We resent a general formula for a class 10
11 of bent functions which enable the construction of strongly regular grahs. As we will see, this class of bent functions is interesting from different oint of views. For each j {1,, s}, let σ j reresent the elementary symmetric function σ j (y 1,, y s ) := y i1 y ij 1 i 1 < <i j s with s indeterminates over F. We define a function G(y 1,, y s ) from F s to F by s G(y 1,, y s ) = ( 1) j σ j (y 1 1,, ys 1 ). Lemma 2 j=1 { 0 if (y1,, y G(y 1,, y s ) = s ) = (0,, 0) 1 otherwise. Proof: If y 1, y 2,, y s 0 then ( ) ( ) ( ) ( ) s s s s G(y 1,, y s ) = ( 1) s +( 1) s 1 +( 1) s 2 + +( 1) = 1. s s 1 s 2 1 If some y i1,, y ir = 0 then G(y 1,, y s ) will be reduced to the sum of ( 1)st owers elementary symmetric functions in s r variables and we will have ( ) ( ) ( ) s r s r s r G(y 1,, y s ) = ( 1) s r +( 1) s r 1 + +( 1) = 1. s r s r 1 1 Theorem 3 Let g 0, g 1 be two distinct bent functions from F n s to F satisfying g i (tx 1,..., tx n s ) = t 2 g i (x 1,..., x n s ) for all t F. We interret g 0, g 1 as s-lateaued functions in n variables, and define a function F from F n F s = F n+s to F by F (x, y 1,, y s ) = G(y 1,, y s )(g 0 (x) g 1 (x))+x n s+1 y 1 + +x n y s +g 0 (x) Then F is a bent function of degree s( 1) + d, where d is the degree of g 0 g 1, that satisfies F (tx, ty 1,, ty s ) = t 2 F (x, y 1,, y s ) for all t F. 11
12 Proof: For each nonzero vector (y 1,, y s ) F s, we define the function f y1,,y s (x) = g 1 (x) + x n s+1 y x n y s from F n to F. By Corollary 1 and the remarks thereafter {g 0, f y1,,y s (y 1,, y s ) F s \ {(0,..., 0)}} is a set of s-lateaued functions with Fourier transforms with airwise disjoint suort. Then = x F n = x F n = ĝ 0 (a) + = ĝ 0 (a) + F (a, b 1,, b s ) = x F n ɛ g 0(x) a.x ɛ g 0(x) a.x (y 1,,y s) F s 1 + (y 1,,y s) F s \{(0,,0)} (y 1,,y s) F s \{(0,,0)} ɛ F (x,y 1,,y s) a.x b 1 y 1 b sy s ɛ (g 0(x) g 1 (x))g(y 1,,y s)+(x n s+1 b 1 )y 1 + +(x n b s)y s (y 1,,y s) F s \{(0,,0)} ɛ b 1y 1 b sy s ɛ b 1y 1 b sy s ɛ (g 1(x) g 0 (x))+(x n s+1 b 1 )y 1 + +(x n b s)y s x F n ɛ g 1(x)+x n s+1 y 1 + +x ny s a.x f y1,y 2,,y s (a) Remark 3 The bent function of Theorem 3 is obtained with the construction in Theorem 2 taking f 0 = g 0 and f u = g 1, u 0, and by searating the suorts of the Fourier transforms similarly as in Corollary 1 for quadratic functions. Examle 4. For the 1-lateaued quadratic functions g 0, g 1 : F 3 3 F 3 given by g 0 (x 1, x 2, x 3 ) = 2x x2 2 and g 1(x 1, x 2, x 3 ) = x x2 2 with Theorem 3 (and utting y = x 4 ) we obtain the bent function of algebraic degree 4 F 1 (x 1, x 2, x 3, x 4 ) = 2x 1 x x 2 2x x 3 x 4 + 2x x 2 2. Examle 5. Alying Theorem 3 to the 2-lateaued quadratic functions g 0 (x 1, x 2, x 3, x 4 ) = x 2 1 +x2 2, g 1(x 1, x 2, x 3, x 4 ) = 4x 2 1 +x2 2 from F4 5 to F 5, yields the bent function of algebraic degree 6 F 2 (x 1, x 2, x 3, x 4, x 5, x 6 ) = 2x 2 1x 4 5x x 2 1x x 2 1x x 3 x 5 + x 4 x 6 + x x 2 2. The functions in Examles 2 and 3 are all in even dimension and satisfy the conditions (a),(b), therefore corresond to strongly regular grahs. According to the signs of the Fourier coefficients, the grah corresonding to F 1 is of negative Latin square tye, and the grah corresonding to F 2 is of Latin square tye (see [11]). 12
13 Examles of bent functions with maximal degree A -ary bent function f in dimension n can have algebraic degree at most ( 1)n/2 + 1, see Hou [8]. The bent function f must then be non-weakly regular. In a first aroach, in [4] the construction described in Theorem 2 is used with maximal ossible s = n 1 to show the existence of ternary bent functions in odd dimension attaining the Hou s uer bound on the algebraic degree. Constructions of such functions from F 3 n F s 3 to F 3 are described. We here resent some simle exlicit exressions for such bent functions. We first use Theorem 3 to obtain a closed formula for arbitrary odd dimension. The functions g 0 (x) = x 2 1, g 1(x) = 2x 2 1 from Fn 3 to F 3 are (n 1)- lateaued. Alying Theorem 3 to these functions yields a ternary bent function in dimension n+s and algebraic degree 2n. As obvious this function attains Hou s bound on the algebraic degree, and we have the following corollary. Corollary 2 For an arbitrary integer n let x = (x 1,..., x n ), y = (y 1,..., y n 1 ). The function F from F n 3 Fs 3 = Fn+s 3 to F 3 F (x, y) = 2x 2 1G(y 1,..., y n 1 ) + x x 2 y x n y n 1 (7) is a bent function with maximal ossible algebraic degree. Examle 6. For n = 2 the ternary function (7) of maximal ossible algebraic degree 4 is the function in Examle 1 F (x) = x 2 1x x x 2 x 3, for n = 3, function (7) is the ternary function F (x 1, x 2, x 3, y 1, y 2 ) = 2x 2 1y 2 1y x 2 1y x 2 1y x 2 y 1 + x 3 y 2 + x 2 1 of algebraic degree 6. Corollary 2 gives one exlicit formula for a ternary bent function with maximal algebraic degree in arbitrary odd dimension. A large number of ternary bent functions with maximal degree can be obtained using sets of s-lateaued functions described as in Corollary 1 with s = n 1. Examle 7. Using the notation of Corollary 1 for n = 3 thus s = 2 we may choose d 00 = d 02 = d 20 = d 11 = d 22 = 1 and d 01 = d 10 = d 12 = d 21 = 2. Alying the construction of Theorem 2, yields the ternary bent function F (x 1, x 2, x 3, y 1, y 2 ) = x 2 1y 2 1y x 2 1y 2 1y 2 + 2x 2 1y x 2 1y 1 y x 2 1y 1 y 2 + 2x 2 1y 1 + 2x 2 1y x 2 1y 2 + x x 2 y 1 + x 3 y 2 13
14 of degree 6. By Remark 3 the bent function in dimension 5 in Examle 6 is obtained by choosing d 00 = 1 and d u = 2 for u 00. By Proosition 1 the roortion of Fourier coefficients with ositive sign is smaller than for the function in Examle 7. Consequently these two functions of maximal algebraic degree are inequivalent. Remark 4 One may hoe that this construction of ternary bent functions of maximal degree can be generalized to the case > 3. One may start with bent functions from F to F, i.e. in dimension 1, with algebraic degree (+1)/2, interret this functions as (n 1)-lateaued functions in dimension n and roceed as above for the case = 3 to construct a bent function of maximal degree ( 1)(2n 1)/2+1 in dimension 2n 1. But by [8, Theorem 4.6] bent functions from F to F are always quadratic. Consequently this rocedure is only alicable for = 3. References [1] C. Carlet, H. Dobbertin, G. Leander, Normal extensions of bent functions. IEEE Trans. Inform. Theory 50 (2004), [2] Y.M. Chee, Y. Tan, X.D. Zhang, Strongly regular grahs constructed from -ary bent functions, rerint [3] A. Çeşmelioğlu, G. McGuire, W. Meidl, A construction of weakly and non-weakly regular bent functions, rerint [4] A. Çeşmelioğlu, W. Meidl, Bent functions of maximal degree, rerint [5] P. Charin, E. Pasalic, C. Tavernier, On bent and semi-bent quadratic Boolean functions. IEEE Trans. Inform. Theory 51 (2005), [6] T. Feng, B. Wen, Q. Xiang, J. Yin, Partial difference sets from -ary weakly regular bent functions and quadratic forms, rerint [7] T. Helleseth, A. Kholosha, Monomial and quadratic bent functions over the finite field of odd characteristic. IEEE Trans. Inform. Theory 52 (2006), [8] X.D. Hou, -ary and q-ary versions of certain results about bent functions and resilient functions. Finite Fields Al. 10 (2004),
15 [9] G. Leander, G. McGuire, Construction of bent functions from near-bent functions. Journal of Combinatorial Theory, Series A 116 (2009), [10] R. Lidl, H. Niederreiter, Finite Fields, 2nd ed., Encycloedia Math. Al., vol. 20, Cambridge Univ. Press, Cambridge, [11] Y. Tan, A. Pott, T. Feng, Strongly regular grahs associated with ternary bent functions. Journal of Combinatorial Theory, Series A 117 (2010), [12] Y. Tan, J. Yang, X. Zhang, A recursive aroach to construct -ary bent functions which are not weakly regular. In: Proceedings of IEEE International Conference on Information Theory and Information Security, Beijing, 2010, to aear. 15
A construction of bent functions from plateaued functions
A construction of bent functions from lateaued functions Ayca Cesmelioglu, Wilfried Meidl To cite this version: Ayca Cesmelioglu, Wilfried Meidl. A construction of bent functions from lateaued functions.
More informationBent Functions of maximal degree
IEEE TRANSACTIONS ON INFORMATION THEORY 1 Bent Functions of maximal degree Ayça Çeşmelioğlu and Wilfried Meidl Abstract In this article a technique for constructing -ary bent functions from lateaued functions
More informationOn the normality of p-ary bent functions
Noname manuscrit No. (will be inserted by the editor) On the normality of -ary bent functions Ayça Çeşmelioğlu Wilfried Meidl Alexander Pott Received: date / Acceted: date Abstract In this work, the normality
More informationElementary Analysis in Q p
Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some
More informationStrongly regular graphs constructed from p-ary bent functions
J Algebr Comb 011) 3:51 66 DOI 10.1007/s10801-010-070- Strongly regular grahs constructed from -ary bent functions Yeow Meng Chee Yin Tan Xian De Zhang Received: 8 January 010 / Acceted: 19 November 010
More informationMATH 2710: NOTES FOR ANALYSIS
MATH 270: NOTES FOR ANALYSIS The main ideas we will learn from analysis center around the idea of a limit. Limits occurs in several settings. We will start with finite limits of sequences, then cover infinite
More informationThe Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001
The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse-Minkowski Theorem rovides a characterization of the rational quadratic forms. What follows is a roof of the Hasse-Minkowski
More information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More informationON THE NORM OF AN IDEMPOTENT SCHUR MULTIPLIER ON THE SCHATTEN CLASS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 000-9939XX)0000-0 ON THE NORM OF AN IDEMPOTENT SCHUR MULTIPLIER ON THE SCHATTEN CLASS WILLIAM D. BANKS AND ASMA HARCHARRAS
More informationDISCRIMINANTS IN TOWERS
DISCRIMINANTS IN TOWERS JOSEPH RABINOFF Let A be a Dedekind domain with fraction field F, let K/F be a finite searable extension field, and let B be the integral closure of A in K. In this note, we will
More informationf(r) = a d n) d + + a0 = 0
Math 400-00/Foundations of Algebra/Fall 07 Polynomials at the Foundations: Roots Next, we turn to the notion of a root of a olynomial in Q[x]. Definition 8.. r Q is a rational root of fx) Q[x] if fr) 0.
More information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More informationx 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p,
13. Quadratic Residues We now turn to the question of when a quadratic equation has a solution modulo m. The general quadratic equation looks like ax + bx + c 0 mod m. Assuming that m is odd or that b
More informationANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM
ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM JOHN BINDER Abstract. In this aer, we rove Dirichlet s theorem that, given any air h, k with h, k) =, there are infinitely many rime numbers congruent to
More informationRECIPROCITY LAWS JEREMY BOOHER
RECIPROCITY LAWS JEREMY BOOHER 1 Introduction The law of uadratic recirocity gives a beautiful descrition of which rimes are suares modulo Secial cases of this law going back to Fermat, and Euler and Legendre
More informationRepresenting Integers as the Sum of Two Squares in the Ring Z n
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 17 (2014), Article 14.7.4 Reresenting Integers as the Sum of Two Squares in the Ring Z n Joshua Harrington, Lenny Jones, and Alicia Lamarche Deartment
More informationMath 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,
MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write
More informationVarious Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems
Int. J. Oen Problems Comt. Math., Vol. 3, No. 2, June 2010 ISSN 1998-6262; Coyright c ICSRS Publication, 2010 www.i-csrs.org Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various
More informationON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS
#A13 INTEGERS 14 (014) ON THE LEAST SIGNIFICANT ADIC DIGITS OF CERTAIN LUCAS NUMBERS Tamás Lengyel Deartment of Mathematics, Occidental College, Los Angeles, California lengyel@oxy.edu Received: 6/13/13,
More informationHENSEL S LEMMA KEITH CONRAD
HENSEL S LEMMA KEITH CONRAD 1. Introduction In the -adic integers, congruences are aroximations: for a and b in Z, a b mod n is the same as a b 1/ n. Turning information modulo one ower of into similar
More informationHASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES
HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES AHMAD EL-GUINDY AND KEN ONO Astract. Gauss s F x hyergeometric function gives eriods of ellitic curves in Legendre normal form. Certain truncations of this
More informationElliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015
18.783 Ellitic Curves Sring 2015 Problem Set #1 Due: 02/13/2015 Descrition These roblems are related to the material covered in Lectures 1-2. Some of them require the use of Sage, and you will need to
More informationSmall Zeros of Quadratic Forms Mod P m
International Mathematical Forum, Vol. 8, 2013, no. 8, 357-367 Small Zeros of Quadratic Forms Mod P m Ali H. Hakami Deartment of Mathematics, Faculty of Science, Jazan University P.O. Box 277, Jazan, Postal
More informationMobius Functions, Legendre Symbols, and Discriminants
Mobius Functions, Legendre Symbols, and Discriminants 1 Introduction Zev Chonoles, Erick Knight, Tim Kunisky Over the integers, there are two key number-theoretic functions that take on values of 1, 1,
More informationMATH 361: NUMBER THEORY EIGHTH LECTURE
MATH 361: NUMBER THEORY EIGHTH LECTURE 1. Quadratic Recirocity: Introduction Quadratic recirocity is the first result of modern number theory. Lagrange conjectured it in the late 1700 s, but it was first
More informationSUBORBITAL GRAPHS FOR A SPECIAL SUBGROUP OF THE NORMALIZER OF. 2p, p is a prime and p 1 mod4
Iranian Journal of Science & Technology, Transaction A, Vol. 34, No. A4 Printed in the Islamic Reublic of Iran, Shiraz University SUBORBITAL GRAPHS FOR A SPECIAL SUBGROUP * m OF THE NORMALIZER OF S. KADER,
More information#A47 INTEGERS 15 (2015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS
#A47 INTEGERS 15 (015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS Mihai Ciu Simion Stoilow Institute of Mathematics of the Romanian Academy, Research Unit No. 5,
More informationPOINTS ON CONICS MODULO p
POINTS ON CONICS MODULO TEAM 2: JONGMIN BAEK, ANAND DEOPURKAR, AND KATHERINE REDFIELD Abstract. We comute the number of integer oints on conics modulo, where is an odd rime. We extend our results to conics
More informationPrimes - Problem Sheet 5 - Solutions
Primes - Problem Sheet 5 - Solutions Class number, and reduction of quadratic forms Positive-definite Q1) Aly the roof of Theorem 5.5 to find reduced forms equivalent to the following, also give matrices
More informationON THE SET a x + b g x (mod p) 1 Introduction
PORTUGALIAE MATHEMATICA Vol 59 Fasc 00 Nova Série ON THE SET a x + b g x (mod ) Cristian Cobeli, Marian Vâjâitu and Alexandru Zaharescu Abstract: Given nonzero integers a, b we rove an asymtotic result
More informationSolvability and Number of Roots of Bi-Quadratic Equations over p adic Fields
Malaysian Journal of Mathematical Sciences 10(S February: 15-35 (016 Secial Issue: The 3 rd International Conference on Mathematical Alications in Engineering 014 (ICMAE 14 MALAYSIAN JOURNAL OF MATHEMATICAL
More informationSTRONG TYPE INEQUALITIES AND AN ALMOST-ORTHOGONALITY PRINCIPLE FOR FAMILIES OF MAXIMAL OPERATORS ALONG DIRECTIONS IN R 2
STRONG TYPE INEQUALITIES AND AN ALMOST-ORTHOGONALITY PRINCIPLE FOR FAMILIES OF MAXIMAL OPERATORS ALONG DIRECTIONS IN R 2 ANGELES ALFONSECA Abstract In this aer we rove an almost-orthogonality rincile for
More informationAn Estimate For Heilbronn s Exponential Sum
An Estimate For Heilbronn s Exonential Sum D.R. Heath-Brown Magdalen College, Oxford For Heini Halberstam, on his retirement Let be a rime, and set e(x) = ex(2πix). Heilbronn s exonential sum is defined
More informationON FREIMAN S 2.4-THEOREM
ON FREIMAN S 2.4-THEOREM ØYSTEIN J. RØDSETH Abstract. Gregory Freiman s celebrated 2.4-Theorem says that if A is a set of residue classes modulo a rime satisfying 2A 2.4 A 3 and A < /35, then A is contained
More informationPROFIT MAXIMIZATION. π = p y Σ n i=1 w i x i (2)
PROFIT MAXIMIZATION DEFINITION OF A NEOCLASSICAL FIRM A neoclassical firm is an organization that controls the transformation of inuts (resources it owns or urchases into oututs or roducts (valued roducts
More information3 Properties of Dedekind domains
18.785 Number theory I Fall 2016 Lecture #3 09/15/2016 3 Proerties of Dedekind domains In the revious lecture we defined a Dedekind domain as a noetherian domain A that satisfies either of the following
More informationDIFFERENTIAL GEOMETRY. LECTURES 9-10,
DIFFERENTIAL GEOMETRY. LECTURES 9-10, 23-26.06.08 Let us rovide some more details to the definintion of the de Rham differential. Let V, W be two vector bundles and assume we want to define an oerator
More informationAn Inverse Problem for Two Spectra of Complex Finite Jacobi Matrices
Coyright 202 Tech Science Press CMES, vol.86, no.4,.30-39, 202 An Inverse Problem for Two Sectra of Comlex Finite Jacobi Matrices Gusein Sh. Guseinov Abstract: This aer deals with the inverse sectral roblem
More information4. Score normalization technical details We now discuss the technical details of the score normalization method.
SMT SCORING SYSTEM This document describes the scoring system for the Stanford Math Tournament We begin by giving an overview of the changes to scoring and a non-technical descrition of the scoring rules
More informationt s (p). An Introduction
Notes 6. Quadratic Gauss Sums Definition. Let a, b Z. Then we denote a b if a divides b. Definition. Let a and b be elements of Z. Then c Z s.t. a, b c, where c gcda, b max{x Z x a and x b }. 5, Chater1
More informationDIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS
IVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUARATIC FIELS PAUL JENKINS AN KEN ONO Abstract. In a recent aer, Guerzhoy obtained formulas for certain class numbers as -adic limits of traces of singular
More informationOn Character Sums of Binary Quadratic Forms 1 2. Mei-Chu Chang 3. Abstract. We establish character sum bounds of the form.
On Character Sums of Binary Quadratic Forms 2 Mei-Chu Chang 3 Abstract. We establish character sum bounds of the form χ(x 2 + ky 2 ) < τ H 2, a x a+h b y b+h where χ is a nontrivial character (mod ), 4
More informationNew weighing matrices and orthogonal designs constructed using two sequences with zero autocorrelation function - a review
University of Wollongong Research Online Faculty of Informatics - Paers (Archive) Faculty of Engineering and Information Sciences 1999 New weighing matrices and orthogonal designs constructed using two
More informationGOOD MODELS FOR CUBIC SURFACES. 1. Introduction
GOOD MODELS FOR CUBIC SURFACES ANDREAS-STEPHAN ELSENHANS Abstract. This article describes an algorithm for finding a model of a hyersurface with small coefficients. It is shown that the aroach works in
More informationTowards understanding the Lorenz curve using the Uniform distribution. Chris J. Stephens. Newcastle City Council, Newcastle upon Tyne, UK
Towards understanding the Lorenz curve using the Uniform distribution Chris J. Stehens Newcastle City Council, Newcastle uon Tyne, UK (For the Gini-Lorenz Conference, University of Siena, Italy, May 2005)
More informationFrobenius Elements, the Chebotarev Density Theorem, and Reciprocity
Frobenius Elements, the Chebotarev Density Theorem, and Recirocity Dylan Yott July 30, 204 Motivation Recall Dirichlet s theorem from elementary number theory. Theorem.. For a, m) =, there are infinitely
More informationMATH 361: NUMBER THEORY ELEVENTH LECTURE
MATH 361: NUMBER THEORY ELEVENTH LECTURE The subjects of this lecture are characters, Gauss sums, Jacobi sums, and counting formulas for olynomial equations over finite fields. 1. Definitions, Basic Proerties
More informationp-adic Properties of Lengyel s Numbers
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.7.3 -adic Proerties of Lengyel s Numbers D. Barsky 7 rue La Condamine 75017 Paris France barsky.daniel@orange.fr J.-P. Bézivin 1, Allée
More informationThe Euler Phi Function
The Euler Phi Function 7-3-2006 An arithmetic function takes ositive integers as inuts and roduces real or comlex numbers as oututs. If f is an arithmetic function, the divisor sum Dfn) is the sum of the
More informationJARED DUKER LICHTMAN AND CARL POMERANCE
THE ERDŐS CONJECTURE FOR PRIMITIVE SETS JARED DUKER LICHTMAN AND CARL POMERANCE Abstract. A subset of the integers larger than is rimitive if no member divides another. Erdős roved in 935 that the sum
More informationGroup Theory Problems
Grou Theory Problems Ali Nesin 1 October 1999 Throughout the exercises G is a grou. We let Z i = Z i (G) and Z = Z(G). Let H and K be two subgrous of finite index of G. Show that H K has also finite index
More informationIntroduction to Group Theory Note 1
Introduction to Grou Theory Note July 7, 009 Contents INTRODUCTION. Examles OF Symmetry Grous in Physics................................. ELEMENT OF GROUP THEORY. De nition of Grou................................................
More informationMath 104B: Number Theory II (Winter 2012)
Math 104B: Number Theory II (Winter 01) Alina Bucur Contents 1 Review 11 Prime numbers 1 Euclidean algorithm 13 Multilicative functions 14 Linear diohantine equations 3 15 Congruences 3 Primes as sums
More informationOhno-type relation for finite multiple zeta values
Ohno-tye relation for finite multile zeta values Kojiro Oyama Abstract arxiv:1506.00833v3 [math.nt] 23 Se 2017 Ohno s relation is a well-known relation among multile zeta values. In this aer, we rove Ohno-tye
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCIT POOJA PATEL Abstract. This aer is an self-contained exosition of the law of uadratic recirocity. We will give two roofs of the Chinese remainder theorem and a roof of uadratic recirocity.
More informationTHE LEAST PRIME QUADRATIC NONRESIDUE IN A PRESCRIBED RESIDUE CLASS MOD 4
THE LEAST PRIME QUADRATIC NONRESIDUE IN A PRESCRIBED RESIDUE CLASS MOD 4 PAUL POLLACK Abstract For all rimes 5, there is a rime quadratic nonresidue q < with q 3 (mod 4 For all rimes 3, there is a rime
More informationTopic 7: Using identity types
Toic 7: Using identity tyes June 10, 2014 Now we would like to learn how to use identity tyes and how to do some actual mathematics with them. By now we have essentially introduced all inference rules
More informationCombinatorics of topmost discs of multi-peg Tower of Hanoi problem
Combinatorics of tomost discs of multi-eg Tower of Hanoi roblem Sandi Klavžar Deartment of Mathematics, PEF, Unversity of Maribor Koroška cesta 160, 000 Maribor, Slovenia Uroš Milutinović Deartment of
More informationp-adic Measures and Bernoulli Numbers
-Adic Measures and Bernoulli Numbers Adam Bowers Introduction The constants B k in the Taylor series exansion t e t = t k B k k! k=0 are known as the Bernoulli numbers. The first few are,, 6, 0, 30, 0,
More informationarxiv: v4 [math.nt] 11 Oct 2017
POPULAR DIFFERENCES AND GENERALIZED SIDON SETS WENQIANG XU arxiv:1706.05969v4 [math.nt] 11 Oct 2017 Abstract. For a subset A [N], we define the reresentation function r A A(d := #{(a,a A A : d = a a }
More informationAlgebraic Number Theory
Algebraic Number Theory Joseh R. Mileti May 11, 2012 2 Contents 1 Introduction 5 1.1 Sums of Squares........................................... 5 1.2 Pythagorean Triles.........................................
More informationMersenne and Fermat Numbers
NUMBER THEORY CHARLES LEYTEM Mersenne and Fermat Numbers CONTENTS 1. The Little Fermat theorem 2 2. Mersenne numbers 2 3. Fermat numbers 4 4. An IMO roblem 5 1 2 CHARLES LEYTEM 1. THE LITTLE FERMAT THEOREM
More informationA structure theorem for product sets in extra special groups
A structure theorem for roduct sets in extra secial grous Thang Pham Michael Tait Le Anh Vinh Robert Won arxiv:1704.07849v1 [math.nt] 25 Ar 2017 Abstract HegyváriandHennecartshowedthatifB isasufficientlylargebrickofaheisenberg
More informationMAS 4203 Number Theory. M. Yotov
MAS 4203 Number Theory M. Yotov June 15, 2017 These Notes were comiled by the author with the intent to be used by his students as a main text for the course MAS 4203 Number Theory taught at the Deartment
More informationNumber Theory Naoki Sato
Number Theory Naoki Sato 0 Preface This set of notes on number theory was originally written in 1995 for students at the IMO level. It covers the basic background material that an IMO
More informationOn Isoperimetric Functions of Probability Measures Having Log-Concave Densities with Respect to the Standard Normal Law
On Isoerimetric Functions of Probability Measures Having Log-Concave Densities with Resect to the Standard Normal Law Sergey G. Bobkov Abstract Isoerimetric inequalities are discussed for one-dimensional
More informationA CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract
A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS CASEY BRUCK 1. Abstract The goal of this aer is to rovide a concise way for undergraduate mathematics students to learn about how rime numbers behave
More informationIntroduction to Banach Spaces
CHAPTER 8 Introduction to Banach Saces 1. Uniform and Absolute Convergence As a rearation we begin by reviewing some familiar roerties of Cauchy sequences and uniform limits in the setting of metric saces.
More informationMarch 4, :21 WSPC/INSTRUCTION FILE FLSpaper2011
International Journal of Number Theory c World Scientific Publishing Comany SOLVING n(n + d) (n + (k 1)d ) = by 2 WITH P (b) Ck M. Filaseta Deartment of Mathematics, University of South Carolina, Columbia,
More informationTHE 2D CASE OF THE BOURGAIN-DEMETER-GUTH ARGUMENT
THE 2D CASE OF THE BOURGAIN-DEMETER-GUTH ARGUMENT ZANE LI Let e(z) := e 2πiz and for g : [0, ] C and J [0, ], define the extension oerator E J g(x) := g(t)e(tx + t 2 x 2 ) dt. J For a ositive weight ν
More information(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury
Is e π 163 odd or even? (Worksho on Harmonic Analysis on symmetric saces I.S.I. Bangalore : 9th July 004) B.Sury e π 163 = 653741640768743.999999999999.... The object of this talk is to exlain this amazing
More informationQuaternionic Projective Space (Lecture 34)
Quaternionic Projective Sace (Lecture 34) July 11, 2008 The three-shere S 3 can be identified with SU(2), and therefore has the structure of a toological grou. In this lecture, we will address the question
More informationHaar type and Carleson Constants
ariv:0902.955v [math.fa] Feb 2009 Haar tye and Carleson Constants Stefan Geiss October 30, 208 Abstract Paul F.. Müller For a collection E of dyadic intervals, a Banach sace, and,2] we assume the uer l
More informationInfinitely Many Quadratic Diophantine Equations Solvable Everywhere Locally, But Not Solvable Globally
Infinitely Many Quadratic Diohantine Equations Solvable Everywhere Locally, But Not Solvable Globally R.A. Mollin Abstract We resent an infinite class of integers 2c, which turn out to be Richaud-Degert
More informationTranspose of the Weighted Mean Matrix on Weighted Sequence Spaces
Transose of the Weighted Mean Matri on Weighted Sequence Saces Rahmatollah Lashkariour Deartment of Mathematics, Faculty of Sciences, Sistan and Baluchestan University, Zahedan, Iran Lashkari@hamoon.usb.ac.ir,
More informationFactorability in the ring Z[ 5]
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Dissertations, Theses, and Student Research Paers in Mathematics Mathematics, Deartment of 4-2004 Factorability in the ring
More informationBEST POSSIBLE DENSITIES OF DICKSON m-tuples, AS A CONSEQUENCE OF ZHANG-MAYNARD-TAO
BEST POSSIBLE DENSITIES OF DICKSON m-tuples, AS A CONSEQUENCE OF ZHANG-MAYNARD-TAO ANDREW GRANVILLE, DANIEL M. KANE, DIMITRIS KOUKOULOPOULOS, AND ROBERT J. LEMKE OLIVER Abstract. We determine for what
More informationWeil s Conjecture on Tamagawa Numbers (Lecture 1)
Weil s Conjecture on Tamagawa Numbers (Lecture ) January 30, 204 Let R be a commutative ring and let V be an R-module. A quadratic form on V is a ma q : V R satisfying the following conditions: (a) The
More informationThe Fekete Szegő theorem with splitting conditions: Part I
ACTA ARITHMETICA XCIII.2 (2000) The Fekete Szegő theorem with slitting conditions: Part I by Robert Rumely (Athens, GA) A classical theorem of Fekete and Szegő [4] says that if E is a comact set in the
More informationConvex Optimization methods for Computing Channel Capacity
Convex Otimization methods for Comuting Channel Caacity Abhishek Sinha Laboratory for Information and Decision Systems (LIDS), MIT sinhaa@mit.edu May 15, 2014 We consider a classical comutational roblem
More informationMAZUR S CONSTRUCTION OF THE KUBOTA LEPOLDT p-adic L-FUNCTION. n s = p. (1 p s ) 1.
MAZUR S CONSTRUCTION OF THE KUBOTA LEPOLDT -ADIC L-FUNCTION XEVI GUITART Abstract. We give an overview of Mazur s construction of the Kubota Leooldt -adic L- function as the -adic Mellin transform of a
More informationMODULAR FORMS, HYPERGEOMETRIC FUNCTIONS AND CONGRUENCES
MODULAR FORMS, HYPERGEOMETRIC FUNCTIONS AND CONGRUENCES MATIJA KAZALICKI Abstract. Using the theory of Stienstra and Beukers [9], we rove various elementary congruences for the numbers ) 2 ) 2 ) 2 2i1
More informationBy Evan Chen OTIS, Internal Use
Solutions Notes for DNY-NTCONSTRUCT Evan Chen January 17, 018 1 Solution Notes to TSTST 015/5 Let ϕ(n) denote the number of ositive integers less than n that are relatively rime to n. Prove that there
More informationCONSTRUCTIONS OF STRONGLY REGULAR CAYLEY GRAPHS AND SKEW HADAMARD DIFFERENCE SETS FROM CYCLOTOMIC CLASSES
COMBINATORICA Bolyai Society Sringer-Verlag Combinatorica 35 (4) (05) 43 434 DOI: 0.007/s00493-04-895-8 CONSTRUCTIONS OF STRONGLY REGULAR CAYLEY GRAPHS AND SKEW HADAMARD DIFFERENCE SETS FROM CYCLOTOMIC
More informationMA3H1 TOPICS IN NUMBER THEORY PART III
MA3H1 TOPICS IN NUMBER THEORY PART III SAMIR SIKSEK 1. Congruences Modulo m In quadratic recirocity we studied congruences of the form x 2 a (mod ). We now turn our attention to situations where is relaced
More informationε i (E j )=δj i = 0, if i j, form a basis for V, called the dual basis to (E i ). Therefore, dim V =dim V.
Covectors Definition. Let V be a finite-dimensional vector sace. A covector on V is real-valued linear functional on V, that is, a linear ma ω : V R. The sace of all covectors on V is itself a real vector
More informationPositive decomposition of transfer functions with multiple poles
Positive decomosition of transfer functions with multile oles Béla Nagy 1, Máté Matolcsi 2, and Márta Szilvási 1 Deartment of Analysis, Technical University of Budaest (BME), H-1111, Budaest, Egry J. u.
More informationReal Analysis 1 Fall Homework 3. a n.
eal Analysis Fall 06 Homework 3. Let and consider the measure sace N, P, µ, where µ is counting measure. That is, if N, then µ equals the number of elements in if is finite; µ = otherwise. One usually
More informationPETER J. GRABNER AND ARNOLD KNOPFMACHER
ARITHMETIC AND METRIC PROPERTIES OF -ADIC ENGEL SERIES EXPANSIONS PETER J. GRABNER AND ARNOLD KNOPFMACHER Abstract. We derive a characterization of rational numbers in terms of their unique -adic Engel
More informationSolution sheet ξi ξ < ξ i+1 0 otherwise ξ ξ i N i,p 1 (ξ) + where 0 0
Advanced Finite Elements MA5337 - WS7/8 Solution sheet This exercise sheets deals with B-slines and NURBS, which are the basis of isogeometric analysis as they will later relace the olynomial ansatz-functions
More information16.2. Infinite Series. Introduction. Prerequisites. Learning Outcomes
Infinite Series 6.2 Introduction We extend the concet of a finite series, met in Section 6., to the situation in which the number of terms increase without bound. We define what is meant by an infinite
More information#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS
#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS Norbert Hegyvári ELTE TTK, Eötvös University, Institute of Mathematics, Budaest, Hungary hegyvari@elte.hu François Hennecart Université
More informationQuadratic Reciprocity
Quadratic Recirocity 5-7-011 Quadratic recirocity relates solutions to x = (mod to solutions to x = (mod, where and are distinct odd rimes. The euations are oth solvale or oth unsolvale if either or has
More informationElementary theory of L p spaces
CHAPTER 3 Elementary theory of L saces 3.1 Convexity. Jensen, Hölder, Minkowski inequality. We begin with two definitions. A set A R d is said to be convex if, for any x 0, x 1 2 A x = x 0 + (x 1 x 0 )
More information6 Binary Quadratic forms
6 Binary Quadratic forms 6.1 Fermat-Euler Theorem A binary quadratic form is an exression of the form f(x,y) = ax 2 +bxy +cy 2 where a,b,c Z. Reresentation of an integer by a binary quadratic form has
More informationCONGRUENCE PROPERTIES OF TAYLOR COEFFICIENTS OF MODULAR FORMS
CONGRUENCE PROPERTIES OF TAYLOR COEFFICIENTS OF MODULAR FORMS HANNAH LARSON AND GEOFFREY SMITH Abstract. In their work, Serre and Swinnerton-Dyer study the congruence roerties of the Fourier coefficients
More informationFinding Shortest Hamiltonian Path is in P. Abstract
Finding Shortest Hamiltonian Path is in P Dhananay P. Mehendale Sir Parashurambhau College, Tilak Road, Pune, India bstract The roblem of finding shortest Hamiltonian ath in a eighted comlete grah belongs
More informationMATH 248A. THE CHARACTER GROUP OF Q. 1. Introduction
MATH 248A. THE CHARACTER GROUP OF Q KEITH CONRAD 1. Introduction The characters of a finite abelian grou G are the homomorhisms from G to the unit circle S 1 = {z C : z = 1}. Two characters can be multilied
More informationSums of independent random variables
3 Sums of indeendent random variables This lecture collects a number of estimates for sums of indeendent random variables with values in a Banach sace E. We concentrate on sums of the form N γ nx n, where
More informationCHAPTER 5 TANGENT VECTORS
CHAPTER 5 TANGENT VECTORS In R n tangent vectors can be viewed from two ersectives (1) they cature the infinitesimal movement along a ath, the direction, and () they oerate on functions by directional
More information