Almost Perfect Nonlinear functions

HAL Id: inria-00070246

https://hal.inria.fr/inria-00070246

Submitted on 19 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non,

Almost Perfect Nonlinear functions

Thierry Pierre Berger, Anne Canteaut, Pascale Charpin, Yann Laigle-Chapuy

To cite this version:

Thierry Pierre Berger, Anne Canteaut, Pascale Charpin, Yann Laigle-Chapuy. Almost Perfect Non- linear functions. [Research Report] RR-5774, INRIA. 2005, pp.28. �inria-00070246�

ISRN INRIA/RR--5774--FR+ENG

a p p o r t

d e r e c h e r c h e

THÈME 2

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Almost Perfect Nonlinear functions

Thierry P. Berger — Anne Canteaut — Pascale Charpin — Yann Laigle-Chapuy

N° 5774

Décembre 2005

%'&(*),+-+.0/21435),+-67),+

∗ ^849:: )<;>=

:?

)@=BA

? † ⁸ /C=BDEF=BGH)I;5&4=B+-JK(

: ‡ ^{8KL = ::}

MN=O(*67GH)QP;5&=BJAK.

§

RSUTV5WXY[ZC\]U^_W!`baQc,^bd^_W`

WeNdfg`hdij`lknmFVoBaQ`b^hp,ijW

qrsaQtuWe2vwayxyWk

z{fQ|U|BaQrsexUW!rsW-d}SUWr}d}SUW~]B€@Q‚ƒY…„N\-dWV†oUr‡W!XQˆQˆ@€‰YXgŠ†|jfQcQWk

‹ŒKŽ‘U’QQ“•” W‰^_]F–,Wknes^bc,fe‡WCksaQV>WCaQ|BW]#|Ur‡aQoU`bWV'k—aQ]™˜{`bV>a,kneqWrnš›W-dœe{{a,]U`_^b]UW-fgr!žŸ˜Nq2 —š›ij]jdœ¡

e‡^_a,]jk{a–,Wr{f>¢O]U^£e‡W!¢jW`bx¤aQš¥d}Sjfgr}fQdesWr‡^hkue‡^bd

2^{¦ ”} W|Ur‡a–F^bxyW!]jW§¨d}Sjfgr}fQdesWrs^b©fges^baQ]jk—agš˜Nq¨š›ij]jdœ¡

e‡^_a,]jk¥fQ]jx5agš˜{qª|OWrsV†iye‡fges^baQ]jk4oFm†V5W-fg]jk¥agšBesSUW^_rdaQV>|BaQ]UW],e4š›ij]jdœe‡^_a,]jk

¦ ” W{cQW]UWr}fg`b^b©Wkna,V>W

r‡WksiU`_e‡kwagš{mFoOWrsc#žu«-¬Q¬g‚F ¥fQ]jxknesr‡W]jcgesSjW]f5da,]tuWdesiUr‡W2a,]­e‡SUW‰iU|U|BWroOa,iU]jxagš®]jaQ]U`b^_]jWfgr‡^_eum5aQš

˜Nqªš›iU]jdœe‡^_a,]jk

¦ ” W‰fg`hkna!š›aydijka,]'esSjW2df,knW2agš®p@ijf,xyr‡fges^hdš›iU]jdes^baQ]jk

¦ ” WCda,],e‡rs^boUiye‡W{e‡aesSjWCdiUrn¡

r‡W]@e§—aQr‡¯yk¥a,]­˜{q°p@ijfQxyr}fe‡^bdš›iU]jdœe‡^_a,]jk±@oFm5|Ur‡a–@^b]Uc!e‡Sjfef`hfgr‡cQW{d`bf,kskagš®p@ijfQxUr‡fges^hdš›iU]jdes^baQ]jk

dfg]U]jageoOW˜Nq

¦

²¤³@´7µ‡¶· ¸KŽQ“[¹ a@a,`_W-fg]#š›iU]jdes^baQ]l±l˜N`_V>a@kueCoOW],eCš›iU]jdes^baQ]l±fQ`_V>a,kne2|BWrsš›Wde2]Ua,]U`b^_]UW-fgrNš›iU]jdœe‡^_a,]l±

|Ba§—Wr—š›iU]jdes^baQ]l±U|BWr‡ViUe‡fe‡^_a,]|BaQ`bmF]UaQV>^hfg`

º$»#¼¾½¿*¼u»ÁÀÁ¼uÀÃÂ}ÄÁş¿*ÆHÂ}Ǿ¿‰È}É¥¿HÊÁËÌÅ2ÍÁÂ}ÍQ¼uÆ{ÎlÂ}ÅNÍÁÏÁÄÁÐÌËÌÅHÊÁ¼uÀ#ËÌ»¿HÊÁ¼ÍÁƟÈÇu¼u¼uÀÁËÌ»ÁќʼnÈ}ÉÒÓӜÔ'՟ÖBÖOÖ0Õ¾×ØÚÙnÛ¾×gܜØhÝbޜ×gܜß

àQáœâKã Þä*Ý_å â Þ×CÕæ×sçuޜÛâ ÜØbÝbޜ×èFé-ÙæޜÛáœêëŸìëÚíÃîœï-ê ºlÀÁ¼uÐðÂ}ËÌÀÁ¼ ê ºKÏÁş¿*ÆHÂ}ÐÌË̼ êgì ¼uÍ-¿H¼uñ—Äg¼uÆKò îœîœï-ó

ºôÅ*Ê-ȜƟ¿õ¼uÆHÅHËÌȜ»'È}É®¿HÊÁËÌÅÍÂ}Íg¼uÆwήËÌÐÌÐBÄg¼ÍÁÏÁÄ-ÐÌËÌÅ*ÊÁ¼uÀ>ËÌ»>ÕHÖOÖBÖ°è۟Ü×äæÜönØhÝ_Þ×äNޜ×5Õ¾×sç¾ÞœÛ

â

ܜØhÝ_ޜ׃è@é-ÙæޜÛ

á÷!í Ê-¼

Â}Ï-¿*Ê-ȜÆHÅ4ÎȜÏÁÐÌÀÐÌËÌøœ¼¿*ÈN¿*ÊÂ}»-ø‰¿*ÊÁ¼Â}»ÁȜ»ùñȜÏÁÅ4Ɵ¼¾õ-Ë̼¾Î¼uƟÅήÊÁÈ ê Äù»ÏÁñ¼uƟȜÏÁÅ4ÇuȜññ¼n»¿HÅ4Â}»ÁÀÅ*ÏÁќќ¼uş¿*ËÌȜ»ÁÅ ê ÊÂuõ¼

ÇnȜ»¿HÆHËÌÄÁÏ¿*¼uÀ‰¿HÈËÌñÍÁƟÈsõ¼¿HÊÁ¼4ñ{Â}»Ï-Å*ÇuÆHËÌÍ¿ ó

∗ ^{ú º$û®ü ê@ý Â}ÇuÏÁп*þ{ÀÁ¼uÅ ì} ÇuË̼u»ÁÇu¼uŗÀÁ¼

ú

ËÌñȜќ¼uÅ êBÿò‰Âuõ¼n»ÏÁ¼{ºKÐÌÄg¼uƛ¿ í ÊÁȜñ{Â}Å ê}îœî

ú

ËÌñȜќ¼uÅû7¼uÀÁ¼¾½ êUý ÆHÂ}»ÁÇu¼ ó

¼hñ{Â}ËÌÐ F¿*Ê-Ë̼nƟƛù

ó

Äg¼uƟќ¼nÆKÏÁ»ÁËÌÐÌËÌñ

ó

É_Æ

† ^{ëlëº ê} Ȝñ{Â}ËÌ»Á¼ ÀÁ¼OȜÐÌÏÁÇu¼nÂ}Ï ÈÇÏÁ¼u»ÁÇuȜÏÁƟ¿ ê ÿnîœï -ÿnï ê ú

¼ôû7ÊÁ¼uÅ*»ÁÂnù ê­ý Æ*Â}»-Çn¼ ó ¼Úñ{Â}ËÌÐ

ºK»Á»Á¼

ó

ûÂ}»¿*¼nÂ}Ï-¿KËÌ»ÁƟËðÂ

ó

ÉbÆ

‡ ^{ÝÙâwê ¼Úñ{Â}ËÌÐ} Â}Å*ÇnÂ}Ð̼ óû7ÊÂ}ƟÍÁËÌ» KËÌ»ÁƟËð óÉbÆ

§ ^ÝÙâwê ¼Úñ{Â}ËÌÐ "!BÂ}»Á» óú

Â}ËÌќÐ̼Ÿû7ÊÂ}Í-Ï-ù#KËÌ»-ÆHËð óÉ_Æ

Ž “ f<ks\diUr‡^£e‡\xyW-k! #"%$&(')+*,-./0'$213,r‡W|Ba,ksWW] c,r‡fQ]jxyW|Ofgrses^bW

ksiUr‰`bWk‰|Ur‡aQ|Ur‡^b\es\-k‰xyWkCš›a,]jdœe‡^_a,]jkCoOaFaQ`b\W]U]UW-k!p,i54^b`bk‰iUes^b`_^hknW]@e

¦ Wk‰|jrsa,|Urs^b\e‡\k‰xyW'dW-k2š›aQ]jdes^baQ]jk

ksaQ]@eCW]ƒW67We!kna,iU–QW],e‰dr‡ijd^hfg`bWk2`baQr}k2x74fese‡f,p,ijWk‰da,],e‡rsW5dW†eumF|OW>x74fg`bcQaQr‡^_esSUV>Wk

¦

˜{^b]jks^H±lxUfQ]jkC`_W

#"%$&(')+*,8$9/'):;<$=8>?:;'A@+BDCE ±7`04W+F'dfQd^£e‡\†xyW`hf­|j`_iU|Ofgrse2xyWk2dr‡mF|ye‡fQ]jfg`bmyknW-k{kue}fe‡^bknes^hp@iUWk2xy\|BW]jx

W-ksksW]@e‡^_W`_`bWV>W]@e¥xyW-k4|Ur‡aQ|Ur‡^_\es\-kKxUW`bf2š›aQ]Odœes^baQ]'xyWksiUojknes^_esiye‡^_a,]'iyes^b`b^bks\WxUfQ]jk4`hfNš›a,]jdœe‡^_a,]'xyW—esaQijr

¦

vwWene‡WNš›a,]jdœe‡^_a,]l±yfg|U|BW`b\WG@HC;I9J+KJLO±FW-kueiU]UW2š›aQ]jdes^baQ]­–,WdesaQr‡^bW`b`_W{r‡W|jrs\-knW],e‡\W{|OfgrknW-kwdaQV>|Oa@ksfQ]@esWk

oBaFaQ`b\W]U]UWk

¦

„Cfg]jkdWene‡Ww\esijxUWw]Ua,ijk$]UaQijkK^b]@es\r‡Wk‡ksaQ]jk$fgiNM!oBa.OhesWkn¡QPp@iU^@|Urs\-knW]@esW]@eK`bf2V>W^b`_`bWiUr‡Wr‡\ks^hkue}fg]jdW

fQiNM:;<:1+3,R;$&R/'H*S<$2+B9BDUTV.W

¦ WoUiyex74iU]UW{fgene}fQp@iUWxy^D6B\rsW],e‡^_W`_`bWWkne¥x74^bxyW]@es^_¢jWrxUWk¥daQiU|U`bWk

xUW{esW+MFesWk—d`hfg^br}k¥xyaQ]@e—`bf†xy^X67\r‡W]OdW{W-kuew¢?My\WQ±@Wexya,],ew`bf†xy^X67\r‡W]OdW2xUWk¥^bV'fgc,Wk¥|jrs\-knW],e‡W{iU]­oj^bfQ^bk

ks|B\d^_¢Op@iUW†Sjfgiye‡WV>W]@e‰|Ur‡aQojfQoU`_W

¦

qa,iUr‰iU]UW5oOa;Obe‡W¡QPY

nW]@esr‡\Wk2r‡W|Ur‡\ksW]@es\W|jfQr2iU]jWš›a,]jdœe‡^_a,]

F ^knijr Fⁿ2

±y`bf>r‡\ks^hkue}fg]jdWZY>dWene‡Wdr‡m@|Ue‡fg]Ofg`bmFksWCWknep@ijfQ]@es^_¢j\W‰|jfQr`_W!|jfQr‡fQV>Tesr‡W

δ(F) ^[ δ(F) = max

a6=0,b#{x∈Fⁿ2, F(x+a) +F(x) =b}.

\N]UW‰daQ]Oxy^£e‡^_a,]xyW‰ks\dijrs^_es\2Wknep@iUWC`bf5xy^hkue‡rs^boUiye‡^_a,]xyW-k—–ÁfQ`_WiUr}kwxyW2esa,iyesW-k—`_W-k—xU\r‡^_–,\WkwxyW

F ^{kna,^£e}

|jrsayd}SUW5xyW>`bf#xy^hkue‡rs^boUiye‡^_a,]<iU]j^£š›a,rsV>WQ±ld4W-kues¡JYg¡æxU^_r‡W†p@iUW

δ(F) ksaQ^_eC`bW†|j`_ijk‰|BWe‡^£e|Ba,k‡ks^_oU`bW

¦

R®a,iyesW

oBa.OhesW¡P

F ^Y nW]@e‡rs\Wk—We

n ksaQrses^bWkw–Q\rs^_¢jW

δ(F)≥2^¦ Wkwš›aQ]Odœes^baQ]Ok

F e‡W`b`_W-kp@iUW

δ(F) = 2^ksaQ]@e

xU^£e‡WkU>]')+1+3,U>,:.'^=:;$9J+G+*,_*]C.*,KBX$9*`/#:.$9')CžH˜{q±5$2a9Eab±OfQ`_V>a,kne|OWrnš›W-dœe{]Ua,]U`b^_]UW-fgrœ 

¦

WkNš›aQ]jdes^baQ]jkC˜{q ksaQ]@eCxUaQ]jd†x74ij]IcQr}fg]Ox™^_]@es\r)be2W]<dr‡mF|yesa,`_a,cQ^bW|UiU^hk‡p,i54W`_`bWk2a;67rsW]@e2iU]UW

r‡\ks^hkue}fg]jdWaQ|Ues^bV>fQ`_WcYÃ`hfƒdr‡m@|Ue‡fg]Ofg`bmFksWxU^X67\r‡W]@es^bW`b`bWQ±¥V'fg^hk>dW™kna,]@e5fgiOksks^xyWk5aQoUtuWe‡k>xy^hk‡dr‡We‡k

W+MUdW|Ues^baQ]U]UW`bk

¦ fƒrsW-d}SUWr}d}SUW­e‡SU\a,rs^hp@iUW™kniUr>`bWk5š›a,]jdœe‡^_a,]jk'˜{q f<|BaQiUr­xya,V'fg^b]UW`04W]jksWV†oU`_W

xUiÃdayxUfgc,W!oU^b]jfg^brsWž3N$9J#dU #CeG HC;'')# +3N'#Hd5>?C;Bf.*`g;GAaEaa‡  f­d`bf,ksks^_¢Odfges^baQ]™xyWk{š›aQ]jdes^baQ]jk

˜Nq Wkne`_a,^_]>x74besr‡WfQd}SUW–Q\WwWe¥xyWVij`£e‡^_|U`bWk|jrsa,oU`_TV>Wkx74iU]†c,r‡fQ]jx!^b]@es\rHbe4r‡WknesW],e]Ua,]r‡\ksaQ`bijk

¦

NaQijk‰\esijxy^baQ]Ok‰^bd^4iU] dWrse‡fQ^_]<]UaQV†oUr‡W5xyW'dWk‰|Ur‡aQoU`bTV>W-k2a,iU–QWrne}k

¦

{a,ijk!xyaQ]j]UaQ]jk‰xyW-k‰\`b\¡

V>W],e}k­xyWIdfgr}fQdes\r‡^hksfges^baQ]l±w|Urs^b]jd^_|jfQ`_WV>W]@e­W]0c,\]U\r‡fQ`_^hksfQ]@e5`bWk­esr}fÁ–ÁfQiNM xyW<{mFoOWrschTÌX;VU±—X‚;W

¦

NaQijkCfg|j|Oa,rne‡aQ]jkN]Uage}fgV>V>W]@eCxyW-k2fQV>\`b^_a,r‡fges^baQ]jk|BaQijrCdW†p@iU^KWkneCxyW†`bf]UaQ]y¡æ`b^_]U\-fgr‡^£e‡\xyW-k{š›a,]jdœ¡

e‡^_a,]jk—˜{q°We{xyW2`<4WMy^hkue‡W]jdWCxUW2|BWr‡Viye}fe‡^_a,]jkw˜Nq ž›`baQr}ksp@iUW2`_WC]Ua,VoUr‡W2xyWC–fgr‡^bfQoU`bWk¥W-kue|jfQ^_rœ 

¦

NaQijkxyaQ]U]jaQ]jkwxyWk4\`_\V>W]@e‡kwxyWNxyW-ksdrs^b|yes^baQ]'xyW-k5=C;*` +<$2C;*?i>]3N$jH+:;*` #¥˜Nq

¦lk

]y¢j]®±,]Ua,ijkdfgr}fQd¡

e‡\r‡^bksaQ]Okwij]UW!`bfQrsc,WCd`bf,ksksW!xyWCš›aQ]jdes^baQ]jkNp,iOfQxyr}fe‡^bp@iUW-k—p@iU^]jW!|OWiU–QW],e(besr‡W!˜{q

¦

vwW>xyWr‡]U^bWrCrs\-knij`£e}feCfQ|U|BaQrsesW†xUWkC\`b\V>W]@e}k2]jaQiU–,Wfgi?M#|BaQiUr‰\`bfQoOa,rsWrNiU]UW>d`hfQk‡ks^£¢Odfe‡^_a,]ÃxyWk

š›a,]jdœe‡^_a,]jk˜Nq p@ijfQxUr‡fges^hp,ijWk±lWexya,^£embesr‡W>|U`hfQd\­xjfg]jk!`bW­da,]@esWMFe‡W­xyW'|U`bijkn^bWijr‡k‰e‡r‡fÁ–fQiNM¤esr‡Tk

r‡\dW]@e‡k±Á^_]j^£e‡^_\-k|jfgrK`<4\p@iU^b|BW—x74˜ ¦

qaQene±,p,ij^@V>WenesW]@eKW]†\–@^hxyW]jdWw`bf2|Ur‡WV>^_TrsW—d`hfQk‡knW—xyWwš›aQ]jdes^baQ]jk

˜Nq¨p@ijfQxUr‡fges^hp,ijWk]Ua,]\-p,ij^_–fg`bW]@e‡Wk8Y>xyWk—š›a,]jdœe‡^_a,]jk|Uij^bk‡ksfQ]jdW-k‰ž›–Qa,^_r-T‚U±l«Wæ±bž*XgˆQˆ@€Q s 

¦

n ·

-Ž

µ

’o Ž“

š›aQ]Odœes^baQ]OkoOaFaQ`b\W]U]UW-k±Fš›a,]jdœe‡^_a,]jk|Ur‡Wk‡p,ijWC|OfgrsšŸfg^_esWV>W],e]Ua,]`b^b]U\fQ^_r‡Wk±@š›aQ]jdes^baQ]jk

|jrsW-ksp@iUW‰da,iUrsoBWk±Fš›aQ]Odœes^baQ]Ok|UiU^hksk‡fg]jdWk±y|Oa,`_mF]?p,V>WkxyW!|BWr‡Viye}fe‡^_a,]

¦

† ®#" $

Ãa,kne2fese‡fQd}¯ykNaQ]Ãksm@V>V>We‡rs^hddrsmF|ye‡aQc,r‡fQ|USU^hdCfQ`_c,aQr‡^£e‡SUV'k{fgr‡Wr‡W`hfe‡Wx#esa#kna,V>W|Ur‡aQ|BWrses^bWk{aQš4esSUW

¹ aFaQ`bWfQ]ƒš›iU]jdœe‡^_a,]jkxUWk‡dr‡^_oU^b]Uc™e‡SUWksmykue‡WV

¦

aQr†^£e‡Wr}fe‡Wx oU`bayd}¯ƒd^_|USjWr}k±$esSUWWF­d^bW]jdm<aQšesSUW

V'fQ^_] dr‡m@|Ue‡fg]Ofg`bm,e‡^bd­esW-d}SU]U^hp,ijWk™žŸksijd}S fQk†`_^b]UWfQr'dr‡m@|Ue‡fg]Ofg`bmFks^hk±¥xy^D67Wr‡W]@es^hfg`dr‡mF|ye‡fQ]jfg`bmykn^hk

¦¦¦

dfg] oBWV>Wf,knijrsW-x o@m ksaQV>Wp@ijfg]@e‡^£e‡^_W-kr‡W`hfe‡WxƒesaÃesSUW#daQ]Uš›ijkn^baQ] |Ofgrse†agše‡SUWr‡aQiU]Oxƒš›iU]jdœe‡^_a,]l±

iOknijfQ`_`bmƒ]jfgV>Wx Pž›ijojkue‡^£e‡iyes^baQ]B æ¡æoOaM

¦

RSU^bk†|jfQ|OWrš›aydiOknW-kaQ] esSUWP@¡æoOaMyWk§SU^hd}S cQijfQr‡fQ]@esWW­f

Sj^_c,S<r‡Wks^bkne‡fQ]jdW5e‡a™xU^X67Wr‡W]@es^hfg`¥drsmF|ye}fg]jfQ`_myks^bkATV.W

¦

RSU^hk!fene}fQd}¯IksijddWk‡knš›iU`_`bmIfQ|U|U`b^_W-k‰§SUW]ƒeu§—a

|j`bfQ^_]@esW+MFe‡k4§^_esS>¢?MyW-x'xy^X67Wr‡W]OdW`bWfQx>fgšÚesWr¥esSUW{`hfQknen¡æoUiyes¡*a,]UWr‡aQiU]jx†e‡a!aQiye‡|Uiye‡k§SUa,ksW{xy^D6BWrsW]jdW

e}fg¯,Wk‰f™dWrse‡fQ^_]ƒ–fg`biUW'§^_esS f#SU^_c,S<|jrsa,ojfgoU^b`b^£eum

¦

RSjWr‡Wš›aQr‡WQ±lf™]jWdW-ksk‡fgr‡m¤knW-diUr‡^_eumIda,]jxy^_es^baQ]ƒ^bk

e‡Sjfee‡SUW‰aQiye‡|Uiye{xy^hkue‡rs^boUiye‡^_a,]jkagš$fQ`_`lxUWr‡^_–fe‡^_–,Wk—agš®esSUW‰^b]@–,aQ`b–QW-xP@¡æoOaM±

x7→F(x+a) +F(x)^±

V†ijkne5oBW¤d`ba,ksW­esa<esSjW#ij]U^£š›a,rsV xU^bknesr‡^_ojiyes^baQ]

¦

RSUWr‡W`bW–fQ],e5|jfgr}fgV>WesWr†š›aQr'fQ] P@¡æoOaM

F ^{§^_esS} n^_]j|Uiye‡k{^bke‡SUW]

δ(F) = max

a6=0,b#{x∈Fⁿ2, F(x+a) +F(x) =b},

§Sj^bd}S†Vijkne4oOWfQkksV>fQ`_`yf,k$|Ba,k‡ks^_oU`bW

¦ ” SUW]†esSjW—]FiUV†oOWragšja,iyes|UiUeoj^£e}kagšUe‡SUW(P@¡*oBaM^hk®e‡SUWksfQV>W

f,kesSjW]FiUVoBWr2agš4^b]U|Uiye}k†ž›esSU^hkN^hke‡SUW†dfQksW!^_]¤V>a@kue2d^_|jSUWr}k‡ ±O§—WSjfÁ–,W‰esSjfge

δ(F)≥2±7fg]jx#e‡SUW

š›ij]jdœe‡^_a,]jk!fQd}SU^bW–F^b]UcesSU^hk‰oOa,iU]jxƒfgr‡W5dfg`b`_W-x :;BfCi>,'^=# +R*]C.*,BX$9*`#:.' TÌXQ€EW

¦

RSjWr‡Wš›aQr‡WQ±

˜Nq0š›ij]jdœe‡^_a,]jkfQrsW—esSja,ksW P@¡æoOaMyWk¥§SU^bd}S>a6BWraQ|Ues^bV>fQ`Ur‡Wks^bkne‡fQ]jdWe‡axy^X67Wr‡W]@e‡^bfQ`Odr‡mF|ye‡fQ]jfg`bmykn^hk

¦

˜2kaQ|Ues^bV>fQ`¥aQoUtuWdœe}k±K˜{q š›iU]jdes^baQ]jkfQrsW'fQ`bksa¤ijksWxƒ^_] ksW–,Wr}fg`4age‡SUWr†fgr‡WfQkCaQš—e‡W`bWdaQV>Viy¡

]j^bdfes^baQ]Ok

¦

¤a@kue5]Uage}fgoU`bmQ±4˜Nq š›iU]Odœes^baQ]Ok†daQr‡rsW-kn|BaQ]jx<e‡aI`b^_]UW-fgr5dayxyWkagš{`bW]UcQesS

2ⁿ−1 ^fg]jx

xU^_V>W]Okn^baQ]

2n §SU^hd}SôSjfÁ–,W­esSjWoBWkne5V>^b]U^bV>fQ`{xy^hkue}fg]jdW

5 ^{T_«,«W ¦} RS@iOk±˜Nqš›iU]jdes^baQ]jk>fgr‡WaQš

c,rsW-feN^b]@esWrsW-kueC^_]ƒdayxy^b]Uc­e‡SUWa,rsm

¦

„2Wks|U^_esW>f­]FiUV†oOWr2aQšrsW-dW],eC§wa,rs¯yk±OV'fQ]@m™|Ur‡aQoj`_WV>k2r‡WV'fg^b]

a,|OW]

¦

˜desijfQ`_`bmQ±jaQ]U`bmf5š›W§°˜Nq¨š›iU]Odœes^baQ]Ok{fgr‡W‰¯@]ja§]l±jfg]OxV>a@kue{aQšKe‡SUWVfgr‡Wf.F']UW`_mWp@iU^b–,¡

fQ`_W]@eesaf>|Ba§wWrš›iU]jdes^baQ] žHknWW!W

¦c ¦ T̀EW› 

¦

RSUW!¢Or‡kne{^_]U¢j]U^_esW†d`bf,ksk{agš4p,iOfQxyr}fe‡^bd!˜Nq¨š›iU]Odœes^baQ]Ok±

§Sj^bd}SôfQrsW]Uage5Wp@iU^b–ÁfQ`_W]@eesaƒfg]Fmƒ|Oa§—Wrš›iU]jdœe‡^_a,]l±4§fQk†WMySU^boU^£e‡Wx –,Wr‡m<r‡WdW]@es`bm žŸksWW T‚;Wfg]Ox

Tb«ÁEWÚ 

¦

] esSj^bk'|Ofg|BWr-±§—W#^b]F–QW-kue‡^_c@fesW#kna,V>W#a,|OW] |jrsa,oU`_WV'k>aQ] ˜Nq š›iU]Odœes^baQ]Ok'fg]jx §wW™c,^_–,W

|Ofgrses^hfg`7rsW-knij`£e}k

¦

RSUW—]UW+M@e4ksWdœe‡^_a,]c,^_–,Wk®ksaQV>WwojfQks^bdwxyW¢O]U^£e‡^_a,]jkKrsW`bfgesW-x‰esa‰˜{q š›iU]Odœes^baQ]Ok$a–,Wr

Fⁿ2^¦

˜desijfQ`_`bmQ±

^b]'e‡SUW2§SjaQ`bW{|jfg|BWr-±@§wW2^bxyW]@es^_š›m>esSUW2–QWdesa,rwks|jfQdW

Fⁿ2

§^£e‡S­e‡SUW{¢j]j^£e‡WN¢jW`bx

F2ⁿ

aQšlaQr}xyWr

2^{n fg]Ox}

ksijd}S'f‰š›iU]Odœes^baQ]

F ^hk¥W+My|UrsW-ksksWx>f,k¥f!|BaQ`bm@]jaQV>^bfQ`U^b]

F2ⁿ[x]^{¦ PF^b]jdW} F dfg]'oBW{rsW|Ur‡WksW]@esW-x†oFm†esSUW daQ`b`_W-dœe‡^_a,]'agš®^_e‡k

n^¹ a@a,`_W-fg]­da@a,r‡xU^_]jfgesW-k±,§wWCfg`hknar‡Wdfg`b`BksaQV>W{|jrsa,|OWrne‡^_W-ka,] ¹ a@a,`_W-fg]>š›iU]Odœes^baQ]Ok

¦

] PyWdœe‡^_a,] V ¦

«g±§—Wkue‡ijxym<esSUW#˜{q š›iU]jdes^baQ]jk†oFm<V>WfQ]jkaQšesSUW^_r ¹ aFa,`_W-fg] da,V5|BaQ]jW]@e‡k

¦ ” W

|jrsa–,W­esSOfe'esSjW#]jWdW-ksk‡fgr‡m da,]jxy^_es^baQ] š›aQr'f<š›iU]jdes^baQ] esa oBW™˜Nq±w^_]@e‡rsayxyijdWx ^_] TÌX‚.Wæ±w^hk'fg`hksa

ksiNF­d^bW]@eNžHRSUWa,rsWV XQ 

¦

RSUW]l±,§wW2xyWr‡^_–,Wf!]UW§ d}SjfQr‡f,dœesWrs^b©fges^baQ]†agšl˜{q0š›iU]jdœe‡^_a,]jkNžævwaQr‡aQ`b`bfQrsm

«- 

¦ ” W™`hfesWr'd}Sjfgr}fQdesWr‡^b©W˜Nq |OWrsV†iye‡fges^baQ]jk5aQš

F2ⁿ

ž›q¥r‡aQ|Ba,ks^_es^baQ] X, 

¦

RSU^bk5`hfQkne'rsW-kniU`_e>^bk

V>aQes^b–ÁfgesW-x¤oFme‡SUW>daQ]gtuWdœe‡iUr‡WesSOfeNe‡SUWr‡W5^bk2]Ua˜Nq |OWrsV†iye‡fges^baQ]ÃaQš

F2ⁿ

§SjW]

n ^{^hk2W–QW] ¦ ]}

e‡SU^hkda,],e‡WMFe±fg]Ox<iOkn^b]Uc¤aQijrd}Sjfgr}fQdesWr‡^b©fe‡^_a,]l±§—W'|Ursa–,W5esSjfgeesSUWrsW'^hk!]UaØNq |BWr‡Viye}fe‡^_a,]

§Sja,ksW{daQV>|BaQ]UW]@e¥š›iU]jdes^baQ]jk—fgr‡W|U`hfesW-fgiUW-x¤ž*vwa,rsa,`_`hfgr‡m VfQ]jx'RSUWa,rsWV V, 

¦ ” WNfg`hknacQ^b–QW{f!]UW§

d}SOfgr}fQdœe‡Wr‡^_©-fe‡^_a,]Iagš˜{qw |Ba§wWr‰š›iU]jdœe‡^_a,]jka,]

F2ⁿ

§SUW]

n ^{^hk!W–QW] fQ]jx fg]} iU|U|BWr†oOa,iU]jx a,]

e‡SUW^br]jaQ]U`b^_]jWfgr‡^_eum žHRSUWa,rsWV‚, 

¦

RSUW`bf,kue†ksWdes^baQ] ^hkxUW–QaQesW-xƒesa<p@ijf,xyr}fes^hd'˜{qw š›iU]Odœes^baQ]Ok

¦

e†^bk!§—W`b`_¡*¯F]Ua§]ƒesSOfee‡SUW­|Ba§wWr‰š›iU]jdœe‡^_a,]jkaQšesSUW'š›a,rsV

x^{2k+1 a–QWr} F2ⁿ

§^£e‡S

gcd(k, n) = 1

fQrsW˜{q

¦ ¹ iye-±esSUW#d`hfQk‡kn^_¢Odfes^baQ] aQšNp,iOfQxyr}fe‡^bd­˜Nqš›iU]jdœe‡^_a,]jk†§SU^bd}S fgr‡W­]Uage5Wp@iU^b–fg`bW]@eesa

e‡SUW!|Ur‡W–F^baQijk|Ba§wWr—š›iU]jdœe‡^_a,]jk^hk{knes^b`_`®fQ]a,|OW]™|Ursa,oU`bWV

¦

WrsW,±U§wW‰W+MFSj^_oU^_eNf>§SUa,`_W!ksiUoBd`bf,kskaQš

p@ijf,xyr}fes^hd‰š›iU]Odœes^baQ]Ok2§Sj^bd}SƒxyaFWk2]Uage!da,],e}fg^b]Ifg]Fm¤˜{qw~š›iU]Odœes^baQ]Ok

¦

RSU^hk2rsW-kniU`_e‰cQ^b–QWkNijkCV>aQr‡W

^b]yš›a,rsV'fe‡^_a,]#fQoOa,iyeesSUW‰š›a,rsVagš4p,iOfQxyr}fe‡^bdC˜{q¨š›iU]jdœe‡^_a,]jkžŸq¥rsa,|Oa@kn^_es^baQ]Á 

¦

™} K# ™ ® -ƒ® $

]<esSj^bk!ksWdes^baQ]l±l§—W>^_]@e‡rsayxyijdW>]Uage}fes^baQ]ƒfg]jxƒksaQV>W>ojfQks^bd†|Ur‡aQ|BWrses^bWkC§SU^hd}S<§^b`b`4oOW'ijksWx<^b]ƒfQ`_`

e‡SUWC|jfg|BWr

¦

RSUW2]jWMFe{xyW¢j]j^£e‡^_a,]^hkwc,W]UWr‡fQ`BfQ]jx'e‡SUW]™ksiU^£e}fgoU`bW2š›aQr

¹

aFa,`_W-fg]'š›iU]Odœes^baQ]Ok

¦

˜desijfQ`_`bmQ±

^b]#esSU^hk|jfQ|OWr±U§—WCesr‡Wfge—e‡SUWdf,knW-k

m=n ^fg]jx m= 1^{a,]U`bm ¦}

#³ Ÿ·+

n <sup>:.*`</sup> m <sup>@#</sup> CG*`C;*E'HCG$9*,e+'#+a

F @#m:8=#3N*` +<$2C;* =#')C.

Fⁿ2

$9*,C

F^m2

a

!C.' :.*S

a∈Fⁿ₂^d 9",xyWr‡^b–Áfges^b–QW{aQš

F §^£e‡S­rsW-kn|BWde¥esa

a ^{$jR^"?} =#3N*` +0$2C.*

DaF ^=#')C; Fⁿ₂ ^$9*SJC F^m₂

e#" *`#@+

DaF(x) =F(x+a) +F(x), ∀x∈Fⁿ2 .

$2= DaF $jm #C;*?J:;*, ^"?+*

a ^{$j +:.$2JC} @#A:!`b^_]jWfgr{knesr‡ijdesiUr‡WCQ=

F^a

RSUW!r‡Wks^hkue}fg]jdWNe‡a­xy^X67Wr‡W]@e‡^bfQ`ldr‡m@|Ue‡fg]Ofg`bmFks^hkw^hkr‡W`hfesW-x­e‡a5esSUW‰š›a,`_`ba§^_]jc>p@ijfQ]@es^_es^bWk

¦

#³ Ÿ·%+

F ^{@# :} =#3N*` +<$2C;* =#')C;

Fⁿ₂ ^$9*SJC Fⁿ₂^{a!C.' :;*,} a ^:.*] b ^$9* Fⁿ₂^{d me*]C.}

δ(a, b) = #{x∈Fⁿ₂, DaF(x) =b},

",'H

#E $j-^"?A H:;').$9*]:.Bf$90C= :.*SG+'&(a(]"?+*?d) "?:+*

δ(F) = max

a6=0, b∈Fⁿ₂δ(a, b)≥2

:;*` 9", =#3N*] 0$2C.*, =C;',"%$2 #" #1+3,:.Bf$90A",C.BD.m:.') +:.$2JC @#2fg`bV>a,kne|BWrsš›Wde{]UaQ]j`_^b]UWfQržŸ˜Nq2 a

RSUW˜Nq¨|Ur‡aQ|BWrseum­dfQ]oBW!Wp@iU^b–fg`bW]@es`bmxyW¢j]UW-x#f,k—š›aQ`b`_a§{k

¦

-  ·/.· Ž  Ÿ·0+

F @#A:.*,(=#3N*] 0$2C.* C.*

Fⁿ2

a1(`",*,d

F $j{fg`bV>a,kne|BWrsš›Wde{]UaQ]j`_^b]UWfQr

$= :;*`C.*SBf$=HdS=C.'A:.*,*]C.*2+')C

a∈Fⁿ2

d 9",-++

{DaF(x), x∈Fⁿ2}"?:.m #:.');$9*`:.BX$9<

2^n−1a

rsa,V ]Ua§~aQ]®±B§—W5^bxyW]@es^_š›m™esSUW5–QW-dœesa,rCks|jf,dW

Fⁿ2

§^£e‡SIe‡SUW¢O]U^£e‡W5¢jW`hxç^_esS

2ⁿ W`_WV5W]@e‡k±

F2^n¦

˜N]Fmš›ij]jdœe‡^_a,]

F ^š›rsa,V Fⁿ2

^_]@esa

Fⁿ2

dfQ]™esSUW]IoBWW+MF|jrsW-ksksWx¤f,kNf­|BaQ`bmF]UaQV>^hfg`$^_]

F2ⁿ[x]^{¦ zW-dfQ`_`}

e‡Sjfee‡SUW')#agš

F ^hk—esSjW!V>f;My^_V'fg`

fgV>V>^_]jc'§wW^_c,S,eagš^_e‡kW+MF|BaQ]jW]@e‡k

[

deg

2ⁿ−1

X

i=0

λixⁱ

!

= max {wt(i)|λi6= 0},

§SjWr‡W

λi∈F2ⁿ

fQ]jx#esSjW§wW^_c,S@e{^bk2dfg`hdij`bfgesWx#a,]™esSUW

2¡æfQrsmWMy|jfg]Okn^baQ]™agš

i^{¦ ”} WxUW]UaQesWoFmR$r e‡SUW‰esr}fQdWNš›ij]jdœe‡^_a,]¤aQ]

F2ⁿ

±U^

¦W ¦

±UR®r

(β) =β+β²+· · ·+β^2n−1¦

RSUWwš›iU]jdes^baQ]

F dfQ]†fQ`bksaNoBWrsW|UrsW-knW]@esWx‰oFm

n^¹ aFaQ`bWfQ]!š›iU]jdes^baQ]jkaQš

n–fgr‡^hfgoU`bWk±Á^£e}k ¹ aFaQ`bWfQ]

#CEC.');$9*`:;J

¦

{aQesW‰esSOfeesSjWdaFaQr}xy^b]jfe‡Wkfgr‡W!kna,V>Wes^bV>Wkdfg`b`_W-x­e‡SUWda,V>|Oa,]UW]@e‡kaQš

F±UojiyeN^_e{^bk V>a,rsW!da,]F–QW]j^_W],e—š›aQra,iUr|UiUr‡|Ba,ksW2e‡a>ijknW‰e‡SUWCš›aQ`b`_a§^b]Uc'xyW¢j]U^_es^baQ]l±U`b^b¯QW‰^_] TÌX‚.W

¦

#³ Ÿ· +

F ^@# :c=#3N*` +<$2C;* =#')C;

F2ⁿ

$9*,C

F2ⁿ

a (]", Bf$9*`#:;' #C.@+$9*`:.0$2C.*, C = ^"?

#CEC.');$9*`:;J CQ=

F ^{:;') ^"?} CC;BD#:.*G=#3N*` +<$2C;*?

fλ:x∈F2ⁿ7→^R$r (λF(x)), λ∈F2ⁿ,

",'H

f0

$j-9", *S3NB9B;=#3N*` +<$2C;*`a (]"?U=#3N*` +<$2C;*?

fλ

:.')A #:.B9BD#9",NdaQV>|Oa,]UW]@e}kmCQ=

F^a

” WxyW]UaQesWwo@m

Bn

esSUWknWeKaQš ¹ a@a,`_W-fg]!š›ij]jdœe‡^_a,]jkKaQ]

F2^n¦

]5aQijrKdaQ]@esW+M@e-±-esSUW`b^_]UW-fgr$š›iU]jdes^baQ]jk

aQš Bn

fgr‡WNe‡SUW‰š›iU]jdes^baQ]jk

ϕa

±UxyW¢j]jWx#oFm

ϕa:x∈F2ⁿ7→^R®r (ax), a∈F^∗2ⁿ. ^žu«- 

RSjWNš›a,`_`ba§^_]jc]UaQe‡fe‡^_a,]§^b`_`7oBW‰WMFesW]jkn^b–QW`_m>ijksWx^_]esSjW2|jfQ|OWr

¦ aQrfg]Fm

f ∈ Bn

±F§wW‰xyW]Uage‡W2oFm

F(f)e‡SUWCš›aQ`b`_a§^b]Uc>–fg`biUW‰rsW`bfgesWxesa>e‡SUW a,iUr‡^_Wr‰žŸaQr ” fg`hknSB wesr}fg]jknš›aQr‡V agš

f^[

F(f) = X

x∈F2n

(−1)^f(x)= 2ⁿ−2wt(f), ^ž*XQ 

§SjWr‡W

wt(f) ^{^hk2esSUW} fgV>V>^_]Uc™§—W^bcQS@e2aQš

f^{±^¦W ¦}±e‡SUW>]FiUVoBWr‰agš

x ∈Fⁿ2

kniOd}SÃesSOfe

f(x) = 1^¦

RSjW{š›iU]jdes^baQ]

f ^bkk‡fg^hx>esa†oOW@#:.BD:;*` ##N^_š$fQ]jx'aQ]j`_m>^_š

F(f) = 0 a,r±@Wp@iU^b–fg`bW]@es`bmQ±

wt(f) = 2^n−1¦

#³



Ÿ· (]",

”

fg`hknS¤ks|OW-dœe‡rsiUV C=

f ∈ Bn

$j-9", A3NBf0$j+

{F(f+ϕa), a∈F2ⁿ}.

(]"?N]Ua,]U`_^b]UW-fgr‡^£eum CQ=

f ^{$j $9<} :.AA$9*;$jJ:;*` #-CG^"? + C = :.B9B: *] =#3N*] 0$2C.*,a $ $j $*.*

@+

2ⁿ⁻¹−1

2L(f) ^"?+') L(f) = max

a∈F2n

|F(f +ϕa)| .

RSjWC`ba§—Wkne|Ba,k‡ks^_oU`bW‰–fg`biUWCš›aQr

L(f)^{^bk} 2ⁿ² fg]jxesSU^hkoBaQiU]Ox^hkfQd}Sj^_W–QWxš›aQr @#+*,`=#3N*` +<$2C;*?

¦

#³ Ÿ·;d +

f ∈ Bn

a (]"?G=#3N*` +0$2C.*

f ^{$j:;$2 JC} @#|j`bfgesWfQiUWx $=!$9<G:.B)"

#CE +$2*S2-:em:; C ^"%'HH *.:.Bf3,#d *`:.+Bf

0,±L(f)a(]"?+*?d

L(f) = 2^{s i$99"} s≥n/2^a

$2= s =n/2 ^Q:.*] n ^{*+* !^"?+*} f ^{$jG+:.$2 C} @#†oOW]@ec:.*]!$9<A:;B)" #CE $2+*,< :e C

*.:.BX3, C.*SBfd *`:;G+Bf

±2^{n2a C.')#C *.+'#d} f ^$j +:.$2|U`hfesW-fgiUW-x­a,|yes^bV'fg` $=

s= (n+ 1)/2^{=C;' Ce} n

:;*` s= (n+ 2)/2^{=C.' *.*} n^a

RSjWksWš›iU]jdœe‡^_a,]jkwoOW`_a,]Uc‰esaf|jfgrses^hdiU`hfgrwd`hfQk‡k4agš ¹ aFaQ`bWfg]5š›iU]Odœes^baQ]Ok±@§SU^hd}S']Uage}fgoU`bm^b]jd`bijxyW-kfQ`_`

p@ijf,xyr}fes^hdNš›iU]jdœe‡^_a,]jk{fQ]jx±yV>aQr‡W‰cQW]jWr}fg`b`_m,±>,:.'0$2:.B9BX@#*SCš›iU]jdes^baQ]jk

¦

RSUW™]Ua,]U`b^_]UW-fgr‡^£eum aQšCf<š›iU]jdes^baQ]

F ^š›r‡aQV F2ⁿ

^b]@esa

F2ⁿ

^hk>]Ua§xyW¢j]UW-xôoFm V>WfQ]jk>agš2esSUW

]jaQ]U`b^_]jWfgr‡^_es^bWk—agš^£e}k{da,V>|Oa,]UW]@e‡k

¦

º ñ—ÏÁпHËÌÅ*¼¾¿¥ËÌÅw‰Å*¼¾¿Î$Ë¿HÊ>Ɵ¼uÍQ¼¾¿HË¿*ËÌȜ»Â}ÐÌÐÌÈnμuÀ ó!í ÊÏ-Åw¿HÊÁ¼ 5Â}ÐÌÅHÊ>Å*Íg¼uǾ¿*ƟÏÁñ¨ËÌ»ÁÇuÐÌÏÁÀ-¼nÅw¼nÂ}ÇæÊ>õœÂ}ÐÌÏÁ¼Î®Ë¿HÊ5¿*Ê-¼

»ÏÁñwÄg¼nÆlÈ}Éy¿HËÌñ¼uÅË¿$ÈÇuÇuÏÁÆHÅ

ó

! í Ê-¼nÅH¼ÉbÏ-»ÁǾ¿*ËÌȜ»ÁŮμuÆH¼4ËÌ»¿HÆHÈÀÁÏÁÇu¼uÀ!ËÌ»#"ÿnî%$'& ¿*Ê-¼uù2ÇnÂ}»CÄg¼4Å*¼u¼u»!Â}ٗќ¼u»Á¼uÆHÂ}ÐÌË)(s‡¿HËÌȜ»!È}ÉÏÂ}ÀÁÆH‡¿*ËÌÇ¥ÉbÏ-»ÁǾ¿*ËÌȜ»ÁÅó

#³ Ÿ· +

F @#:-=#3N*` +<$2C;* =#')C.

F2ⁿ

$9*SJC

F2ⁿ

i$99" #C;(>,C.*]*S2

fλ

d

λ∈ F^∗2ⁿ

a (]"?

]jaQ]U`b^_]jWfgr‡^_eum CQ=

F ^{$j-^"?} m$9*S$9G:;B *.:.Bf3,ACQ= 9", *]C.*,BX$9*`#:.'$90$2 C=-9",

fλ

a$ $j H1+3,:.B5JC

N(F) = 2ⁿ⁻¹−Λ(F) 2

",')

Λ(F) = max

λ∈F^∗₂n

L(fλ).

RSjW2]Ua,]U`b^_]UW-fgr‡^£eum>aQš

F ^hkfV>W-fQksiUrsW2agš®^_e‡k–FiU`b]UWr‡fQoU^_`b^_eum†e‡a>`_^b]UWfQr—fgene}fQd}¯yk

¦

RSUW2š›iU]jdes^baQ]jk—e‡Sjfe

SOfÁ–QWCV>f;My^_V'fg`]jaQ]U`b^_]jWfgr‡^_eum­fgr‡W‰dfg`b`_W-x˜ ¹ š›iU]Odœes^baQ]Ok

¦

RSUWm­WMy^hkueš›a,rayxUx

n^{aQ]j`_m ¦}

#³ Ÿ· +

F ^@#: =#3N*` +<$2C;*=#')C;

F2ⁿ

$9*,C

F2ⁿ

i$99" #C.R>?C;*`+*,<

fλ

d

λ ∈ F2ⁿ

a

(]",*,d

Λ(F)≥2ⁿ⁺¹² .

(]", =#3N*] 0$2C.*,

F "N$2 H"+:.0$j^=#

Λ(F) = 2ⁿ⁺¹²

:;')m+:.$2cCc@#‰fg`bV5a@kueCoOW]@e>žH˜ ¹  +a (]"?+ e$j "?+*

n $jGCEC;*,Bfa!C;')#C *.'#d($=

F ^$jG:.BfC

@#+*,<di9",*A=C.' :.*S

a∈F2ⁿ

:.*`R=C.' :;*,*`C;*E+')C

λ

{F(fλ+ϕa), λ∈F^∗2ⁿ, a∈F2ⁿ}={0,±2ⁿ⁺¹² }, ^ž2V, 

$2a9EaDdU:;B9B

fλ

d

λ6= 0^d :.')8>`B:.H:;3,#C#>`0$9G:;BDa

³

‘y

We F oBW'f­š›ij]jdœe‡^_a,]ڛr‡aQV

F2ⁿ

^b],e‡a

F2^n¦

P@e‡ijxymF^_]jce‡SUW>˜{q |Ur‡aQ|BWrseum¤fg]jxÃesSUW

˜ ¹

|Ursa,|OWrneum#žÚš›a,rwayxUx

n ¥^bkwWp@iU^b–fg`bW]@ee‡aknesijxymF^b]Uce‡SUWN§—W^bcQS@e}k¥agš®fQ]­fQk‡knayd^bfgesWx'dayxyW

CF

fg]Ox

aQš$^_e‡k{xUijfg`

C_F^⊥ žŸksWWfQ]W+MFesW]Okn^b–QW!knesijxym^_] Tb«Q«W› 

¦

RSjW ” fg`hknSƒkn|BWdesr‡iUV agšf ¹ aFa,`_W-fg]¤š›iU]Odœes^baQ]ƒfg]jxÃ^£e}kCxUWr‡^_–fe‡^_–,WkCfgr‡Wr‡W`hfesW-x¤oFm#esSUW>knaQ¡ædfg`b`_W-x

3NAKCQ=#KJ+1+3,:.') $9*`.$2 #:;JC;'!^_]@esr‡ayxyijdWxƒ^_]TÌXgŠW—fg]jxƒWMFe‡W]jks^_–,W`bm<knesijxU^_W-x<^b]hT ±KEW—fg]jx TÌXg¬W

¦

RSUW

|jrsaFagšKagš$esSUW‰š›a,`_`ba§^_]jc†e‡SUWa,rsWVdfQ]oBW‰š›aQij]jx#^_] T W$fg]Ox TÌXg¬W

¦

#³ Ÿ· (]",NksiUV5¡*aQšÚ¡æk‡p@ijfgr‡WC^_]jxU^bdfesa,rAC=

f ∈ Bn

$j " *`#@

ν(f) = X

a∈F2n

F²(Daf) = 2⁻ⁿ X

a∈F2n

F⁴(f +ϕa).

³F·  ³ *S

f ∈ Bn

+:;<$j"

ν(f) ≤ 2ⁿL²(f)a0&81+3,:.Bf$90 CE # 3N'#c$=!:.*] C.*SBf $=

f ^$j

>]BD:.#:.3,#d 9",:.U$j

L(f) = 2^{s :.*`} ν(f) = 2^n+2s, n

2 ≤s≤n. ^žŸ‚@ 

¨ "# $#

˜ª]UWdWk‡ksfQrsm†daQ]Oxy^£e‡^_a,]>š›aQr—f‰š›iU]jdes^baQ]

F ^a–,Wr F2ⁿ

esaoBW2˜Nq§fQk|Ursa–F^hxyWx5oFm>{mFoOWrsc^_]!TÌX‚;W

¦

RSj^bkda,]jxy^_es^baQ]^b]F–Qa,`_–,Wk®esSUWxyWr‡^b–Áfges^b–QW-k®aQšUesSUWda,V>|Oa,]UW]@e‡kKaQš

F^¦ ]esSU^hk4knW-dœe‡^_a,]l±§wWw|Ur‡a–QW¥e‡Sjfe e‡SU^hkdaQ]Oxy^£e‡^_a,]^hkfg`hksa5f>ksiNF­d^bW]@e{daQ]Oxy^£e‡^_a,]#fQ]jx#xyWr‡^_–,W!fg]UaQesSUWrd}SOfgr}fQdœe‡Wr‡^_©-fe‡^_a,]'o@mV5W-fg]jkaQš

e‡SUWksiUV5¡*aQšÚ¡æk‡p@ijfgr‡WN^b]jxy^hdfgesaQr}kagš$esSUWdaQV>|BaQ]UW],e}kagš

F^{¦ ”} W‰š›iUrsesSjWrNxy^hk‡dijk‡kkna,V>W‰daQ]tuW-dœe‡iUrsW-k

¦

” W!]UaQe‡fgoj`_mfQ|U|U`bm­aQijr{d}Sjfgr}fQdesWr‡^b©fe‡^_a,]'esa'f,d}SU^_W–QW‰kna,V>WC]jW§°rsW-kniU`_e‡ka,]|j`bfgesWfQiUWxš›iU]jdes^baQ]jk

¦

"!$#&%')(*

RSjWÃ]UWMFe­e‡SUWa,rsWV ^hk­V'fQ^_]U`bm xUiUWÃe‡aô{mFoBWr‡chTXg‚.W

¦ ” WIdaQV>|U`bWesWI^£ea,]U`bmQ±|Ur‡a–F^bxy^b]Uc fƒš›iU`b`

d}SOfgr}fQdœe‡Wr‡^_©-fe‡^_a,]agšl˜{qw š›iU]jdes^baQ]jk4oFm†V5W-fg]jk¥agšBesSUWNxUWr‡^_–fe‡^_–,WkaQšOe‡SUW^brwdaQV>|Oa,]UW]@e4š›iU]Odœes^baQ]Ok

¦

³F·  ³ %

F @#m:R=#3N*` +<$2C;*m=#')C;

F2ⁿ

$9*,C

F2ⁿ

:.*` BD+

fλ

d λ∈F2ⁿ

+*`C. $92 #C.R>?C;K

*]*S2+a(`",*,dS=C.'A:.*,*]C.*2+')C

a∈F2ⁿ

X

λ∈F2n

F²(Dafλ)≥2²ⁿ⁺¹. ^žH€Q 

C;')#C *.'#d

F ^{$j $=} :;*`C;*,Bf$= =C.'m:;B9B *`C;*E'HC

a∈F2ⁿ

X

λ∈F2n

F²(Dafλ) = 2²ⁿ⁺¹. ^ž  

_')CC =a ” W!SjfÁ–QW

[

X

λ∈F2n

F²(Dafλ) = X

λ,x,y ∈F2n

(−1)

R®r

(λ(F(x+a)+F(x)+F(y+a)+F(y)))

= 2ⁿ#{(x, y)∈F²2ⁿ | F(x+a) +F(x) =F(y+a) +F(y)}

= 2²ⁿ⁺¹+ 2ⁿ#{(x, y)|DaF(x) =DaF(y), x6=y ^fg]Ox y6=x+a}

RSFijkCžH€, ¥^hk—^_V>V>WxU^bfgesW`bm­xyW-xyijdW-x­§^_esSWp@ijfg`b^_eum5^_š$fQ]jx­a,]U`_m>^_š

F ^{^hk—˜{q} žŸksWW‰„2W¢j]U^_es^baQ]™XQ 

¦

RSjW!|UrsW–F^_a,ijkwesSUWaQr‡WV ^hkV>aQr‡W‰WF­d^bW]@eš›aQr|jrsa–F^b]Uce‡Sjfe

F ^hk]Uage{˜Nq

¦

aQr^b]jkne‡fQ]jdW,±U^£š

F ^{^bk}

ksijd}SesSjfge

Dafλ

fQ]jx

Dafλ⁰

fgr‡W2da,]jkne‡fg]@e-±,š›a,r

λ6=λ⁰ 6= 0fQ]jx'š›a,rksaQV>W

a±,e‡SUW]esSjW‰ksiUV ^b]ƒž  

W-p@ijfg`hkNfge2`bWfQkne

2^{2n+2 + ksa} F ^bk2]UaQeC˜{qw

¦

RSU^hk2fQrsc,iUV>W]@eN§fQk{§^hxyW`_m™ijksWx™š›a,rN|Ur‡a–F^_]jc­V>aQr‡W

c,W]UWr‡fQ`rsW-kniU`_e‡kGTÌX‚W

¦

vwa,]F–QWr}ksW`bmQ±7esSjWkni?F'd^_W]@edaQ]Oxy^£e‡^_a,]<^b]jxyiOdWxƒoFm<RSjWaQr‡WV X`bWf,xUk‰e‡a™f

oBWesesWriU]jxUWr}kue}fg]jxy^b]UcaQš7esSUW2|Ursa,|OWrne‡^_W-k4agš®˜Nq0š›ij]jdœe‡^_a,]jk±yf,k4^_]Oxy^bdfe‡Wx'^b]>esSUW2]UWMFe—WMUfgV>|U`bW

¦

,.- ‘? . o³ We

F oBW‰f|BaQ`bm@]jaQV>^bfQ`OaQš®xyWc,rsWW

3^a,] F2ⁿ

±@§SjWr‡W

n^{^hkW–QW] ¦} RS@iOk±Ffg]Fm'da,V5|Bag¡

]jW]@e{agš

F SjfQkxyWcQr‡WW!fe{V>a@kue

3^¦ ˜{]FmdaQV>|BaQ]UW],e

fλ

± λ6= 0±USOfQk{fQ`_`^_e‡k2xyWr‡^_–fges^b–QWkaQšxUWcQr‡WW fgeV5a@kue

2 ^žf0

^bk—e‡SUW!]FiU`b`š›iU]jdes^baQ]O 

¦

RSU^bk{^_V>|U`b^_W-kesSOfeš›aQr{fQ`_`

λfg]jxš›aQr{fQ`_`

a±y§—WCSOfÁ–QW

F(Dafλ)≡0 (mod 2^(n+2)/2),

f#da,]UcQr‡iUW]jdW§Sj^bd}Sƒ^bk‰k‡fe‡^bkn¢jWxIoFmÃfg]Fm¤p,iOfQxyr}fe‡^bd]UaQ]y¡æoBW]@e‰š›iU]jdœe‡^_a,]

¦

PFij|U|Oa@knW†esSOfe‰š›aQr!fg]Fm

a^± |F(Dafλ)|W-p@ijfg`hk

2^(n+2)/2 š›a,rwW+MUfQdœe‡`_m

2ⁿ⁻² –ÁfQ`_ijWkwagš

λfg]jx­Wp@ijfg`hk

0š›aQrwesSUW2age‡SUWr}k

¦

RSUW]l±

oFmfQ|U|U`bmF^_]Uc'RSUWaQr‡WVXy±

F ^{^hk{˜{qw ¦} k^_e{|Ba,k‡kn^boU`bW2e‡a­da,]jkue‡rsiOdœe{kniOd}S#f†š›iU]jdes^baQ]

F^/

eNš›aQ`b`_a§{kš›r‡aQVesSUW|UrsW–F^_a,ijkesSjWaQr‡WVesSjfge{esSjW˜{q |Ur‡aQ|BWrseum^hkrsW`bfgesW-x#esa>esSjW–fg`biUWkNagšesSUW

ksiUV5¡æagšÚ¡¾ksp@ijfQrsW2^_]jxU^bdfesa,r‡k±

ν(fλ)±UagšKesSjWdaQV>|BaQ]UW]@e‡kagš

F^¦

·  · o<oŸ‘y ´0

F ^@# :(=#3N*] 0$2C.*A=#')C.

F2ⁿ

$9*,C

F2ⁿ

i$99" HC;(>,C.*]*S2

fλ

d

λ∈F^∗2ⁿ

a(]"?+*

X

λ∈F^∗2n

ν(fλ)≥(2ⁿ−1)2²ⁿ⁺¹ . ^ž*g 

C;')#C *.'#d

F ^{$j $=} :;*`C;*,Bf$=

X

λ∈F^∗₂n

ν(fλ) = (2ⁿ−1)2²ⁿ⁺¹ . ^žŸŠ, 

C;*?+#13,+*,0Bfd $=

ν(fλ) = 2^{2n+1 =C.'} :;B9B5*]C.*E+')C

λ^{d ^"?+*} F ^{$j ma}

_')CC=a PFWe

A=P

a∈F^∗2n

P

λ∈F2nF²(Dafλ)^¦ ˜ddaQr}xy^b]Uc†esa¤žH€, œ±U§—W‰SjfÁ–QW

A≥2²ⁿ⁺¹(2ⁿ−1)^¦

Py^_]jdW

F²(D0fλ) =F²(Daf0) = 2²ⁿ š›aQr{fQ]@m

a fg]jxš›a,r{fg]Fm

λ^±jesSUW]

X

a∈F^∗2n

X

λ∈F2n

F²(Dafλ) = X

λ∈F^∗2n

X

a∈F2n

F²(Dafλ) = X

λ∈F^∗2n

ν(fλ).

RSFijk

A =P

λ∈F^∗2nν(fλ)±l^bV5|j`_mF^b]Uc<žæg 

¦

{a§!±7^£š

F ^{^bk‰˜Nq esSUW]} F k‡fe‡^bkn¢jW-k†ž  2fg]jxI§wW†cQWe

A= 2²ⁿ⁺¹(2ⁿ−1)^¦ vwa,]F–QWr}ksW`bmQ±FfQk‡kniUV>WCesSOfe

A= 2²ⁿ⁺¹(2ⁿ−1)^¦ PF^b]jdW‰š›aQr{fg]Fm

a

X

λ∈F2n

F²(Dafλ)≥2²ⁿ⁺¹,

e‡SUWksW>^_]jWp@ijfg`b^_es^bWk‰ViOkueoBW'Wp@ijfQ`_^_es^bWk

¦

RSUW]

F ^{^hk˜Nq ¦} RSjW'`bf,kuekne‡fe‡WV>W]@e!^hk!^_V>V>WxU^bfgesW`bm xUWxyijdWx

¦

,.- ‘? . o³ % "?+*

F $j89",($9*/*+'#+=#3N*` +<$2C;*

x7→x^{2n−2 C+*+'} F2ⁿ

d5$9$j +B9BfK;*`C i*^"?:.

F ^$j

h=C;' Ce

n ^{*`C; h=C.' *+*} n^{a (]"?} ν(fλ) :.')m #:.BD +3NBD:.#$9* a -:;*!$9B9Bf3%0'):.0$2C.*

C = C.3N'U>]3N'0>?C. ')# H:;B9B5^"?+,*.:.Bf3,

5+ n ^{@# CEea (]"N3%} Λ(F) = max

k≡0 (mod 4)|k <2^(n/2)+1 :;*`dN=C.'Z:.B9B

λ6= 0^d ν(fλ) = 2^2n+1a

5+ n ^{@#A *.+*`a (]"%3%</sup> Λ(F) = 2<sup>(n+2)/2 :;*`d`=C.' :.B9B} λ6= 0^d ν(fλ) = 2²ⁿ⁺¹+ 2^n+3a

ewfQ|U|BWfgr}kš›r‡aQV vwaQr‡aQ`b`bfQrsm'«e‡SjfeesSUWN˜Nq|jrsa,|OWrneuma,]U`bm5xyW|OW]jxUkaQ]5esSUWNWMFesW]jxyWx ” fg`hksS

ks|BWdœe‡rsijV agš

F^{±U^¦W ¦}±ya,]e‡SUW!Vij`£e‡^bksWe

W(F) ={|F(fλ+ϕa)|, λ∈F^∗2ⁿ, a∈F2ⁿ}.

Nage‡W‰esSjfge

W(F)da,]jkn^hkne‡kagš4fg`b`l–fg`biUW-k—e‡fg¯,W]™oFm

|F(fλ+ϕa)|fg]jxe‡SUW]FiUVoBWraQš$e‡^_V>W-kesSjWm ayddiUr

¦

]aQesSUWr—§—aQr}xUk±F^£š

F ^hk˜{q±jfg]Fm>š›iU]jdes^baQ]

F⁰ kniOd}Se‡Sjfe

W(F⁰) =W(F)^hk˜{q°e‡a@a

¦

]OxyWW-x±

F ^hk˜{qw¨^£š4fg]Oxa,]U`_m^£šKesSUW

ν(fλ)ksfges^hkuš›mƒžŸŠQ 

¦ ¹ iyeesSUW!–fQ`_iUW-k

ν(fλ)fQrsWCaQoUe‡fg^b]UW-xoFm V>W-fg]jkaQš®esSjW!–ÁfQ`_ijWkagšKesSjWknWe

W(F) žŸksWW!„NW¢j]U^_es^baQ]¤Š@ 

¦

RSUWrsW'fQrsW5aQ]U`bmIfš›W§ WMFe‡W]jxyW-x ” fg`hksSƒks|OW-dœe‡r‡f#§SU^hd}SƒfQrsW5¯F]Ua§]<esa¤da,rsr‡Wks|Oa,]jx¤e‡a¤˜{q

š›ij]jdœe‡^_a,]jk

¦ ” SjW]

n^hkayxUx±ye‡SUr‡WW!˜{q~WMFesW]jxyWx ” fg`hknS¤ks|OW-dœesr}f>fgr‡W2¯F]Ua§]