J u m p t o c o n t e n t
M a i n m e n u
M a i n m e n u
N a v i g a t i o n
● M a i n p a g e
● C o n t e n t s
● C u r r e n t e v e n t s
● R a n d o m a r t i c l e
● A b o u t W i k i p e d i a
● C o n t a c t u s
● D o n a t e
C o n t r i b u t e
● H e l p
● L e a r n t o e d i t
● C o m m u n i t y p o r t a l
● R e c e n t c h a n g e s
● U p l o a d f i l e
S e a r c h
Search
A p p e a r a n c e
● C r e a t e a c c o u n t
● L o g i n
P e r s o n a l t o o l s
● C r e a t e a c c o u n t
● L o g i n
P a g e s f o r l o g g e d o u t e d i t o r s l e a r n m o r e
● C o n t r i b u t i o n s
● T a l k
( T o p )
1
D e f i n i t i o n
2
I n v e r s e c o n j e c t u r e s
3
R e f e r e n c e s
T o g g l e t h e t a b l e o f c o n t e n t s
G o w e r s n o r m
A d d l a n g u a g e s
A d d l i n k s
● A r t i c l e
● T a l k
E n g l i s h
● R e a d
● E d i t
● V i e w h i s t o r y
T o o l s
T o o l s
A c t i o n s
● R e a d
● E d i t
● V i e w h i s t o r y
G e n e r a l
● W h a t l i n k s h e r e
● R e l a t e d c h a n g e s
● U p l o a d f i l e
● S p e c i a l p a g e s
● P e r m a n e n t l i n k
● P a g e i n f o r m a t i o n
● C i t e t h i s p a g e
● G e t s h o r t e n e d U R L
● D o w n l o a d Q R c o d e
● W i k i d a t a i t e m
P r i n t / e x p o r t
● D o w n l o a d a s P D F
● P r i n t a b l e v e r s i o n
A p p e a r a n c e
F r o m W i k i p e d i a , t h e f r e e e n c y c l o p e d i a
Definition
[ edit ]
Let
f
{\displaystyle f}
be a complex -valued function on a finite abelian group
G
{\displaystyle G}
and let
J
{\displaystyle J}
denote complex conjugation . The Gowers
d
{\displaystyle d}
-norm is
‖
f
‖
U
d
(
G
)
2
d
=
∑
x
,
h
1
,
…
,
h
d
∈
G
∏
ω
1
,
…
,
ω
d
∈
{
0
,
1
}
J
ω
1
+
⋯
+
ω
d
f
(
x
+
h
1
ω
1
+
⋯
+
h
d
ω
d
)
.
{\displaystyle \Vert f\Vert _{U^{d}(G )}^{2^{d}}=\sum _{x,h_{1},\ldots ,h_{d}\in G}\prod _{\omega _{1},\ldots ,\omega _{d}\in \{0,1\}}J^{\omega _{1}+\cdots +\omega _{d}}f\left({x+h_{1}\omega _{1}+\cdots +h_{d}\omega _{d}}\right)\ .}
Gowers norms are also defined for complex-valued functions f on a segment
[
N
]
=
0
,
1
,
2
,
.
.
.
,
N
−
1
{\displaystyle [N ]={0,1,2,...,N-1}}
, where N is a positive integer . In this context, the uniformity norm is given as
‖
f
‖
U
d
[
N
]
=
‖
f
~
‖
U
d
(
Z
/
N
~
Z
)
/
‖
1
[
N
]
‖
U
d
(
Z
/
N
~
Z
)
{\displaystyle \Vert f\Vert _{U^{d}[N ]}=\Vert {\tilde {f}}\Vert _{U^{d}(\mathbb {Z} /{\tilde {N}}\mathbb {Z} )}/\Vert 1_{[N ]}\Vert _{U^{d}(\mathbb {Z} /{\tilde {N}}\mathbb {Z} )}}
, where
N
~
{\displaystyle {\tilde {N}}}
is a large integer,
1
[
N
]
{\displaystyle 1_{[N ]}}
denotes the indicator function of [N ], and
f
~
(
x
)
{\displaystyle {\tilde {f}}(x )}
is equal to
f
(
x
)
{\displaystyle f(x )}
for
x
∈
[
N
]
{\displaystyle x\in [N ]}
and
0
{\displaystyle 0}
for all other
x
{\displaystyle x}
. This definition does not depend on
N
~
{\displaystyle {\tilde {N}}}
, as long as
N
~
>
2
d
N
{\displaystyle {\tilde {N}}>2^{d}N}
.
Inverse conjectures
[ edit ]
An inverse conjecture for these norms is a statement asserting that if a bounded function f has a large Gowers d -norm then f correlates with a polynomial phase of degree d − 1 or other object with polynomial behaviour (e.g. a (d − 1)-step nilsequence ). The precise statement depends on the Gowers norm under consideration.
The Inverse Conjecture for vector spaces over a finite field
F
{\displaystyle \mathbb {F} }
asserts that for any
δ
>
0
{\displaystyle \delta >0}
there exists a constant
c
>
0
{\displaystyle c>0}
such that for any finite-dimensional vector space V over
F
{\displaystyle \mathbb {F} }
and any complex-valued function
f
{\displaystyle f}
on
V
{\displaystyle V}
, bounded by 1, such that
‖
f
‖
U
d
[
V
]
≥
δ
{\displaystyle \Vert f\Vert _{U^{d}[V ]}\geq \delta }
, there exists a polynomial sequence
P
:
V
→
R
/
Z
{\displaystyle P\colon V\to \mathbb {R} /\mathbb {Z} }
such that
|
1
|
V
|
∑
x
∈
V
f
(
x
)
e
(
−
P
(
x
)
)
|
≥
c
,
{\displaystyle \left|{\frac {1}{|V|}}\sum _{x\in V}f(x )e\left(-P(x )\right)\right|\geq c,}
where
e
(
x
)
:=
e
2
π
i
x
{\displaystyle e(x ):=e^{2\pi ix}}
. This conjecture was proved to be true by Bergelson, Tao, and Ziegler.[3] [4] [5]
The Inverse Conjecture for Gowers
U
d
[
N
]
{\displaystyle U^{d}[N ]}
norm asserts that for any
δ
>
0
{\displaystyle \delta >0}
, a finite collection of (d − 1)-step nilmanifolds
M
δ
{\displaystyle {\mathcal {M}}_{\delta }}
and constants
c
,
C
{\displaystyle c,C}
can be found, so that the following is true. If
N
{\displaystyle N}
is a positive integer and
f
:
[
N
]
→
C
{\displaystyle f\colon [N ]\to \mathbb {C} }
is bounded in absolute value by 1 and
‖
f
‖
U
d
[
N
]
≥
δ
{\displaystyle \Vert f\Vert _{U^{d}[N ]}\geq \delta }
, then there exists a nilmanifold
G
/
Γ
∈
M
δ
{\displaystyle G/\Gamma \in {\mathcal {M}}_{\delta }}
and a nilsequence
F
(
g
n
x
)
{\displaystyle F(g^{n}x)}
where
g
∈
G
,
x
∈
G
/
Γ
{\displaystyle g\in G,\ x\in G/\Gamma }
and
F
:
G
/
Γ
→
C
{\displaystyle F\colon G/\Gamma \to \mathbb {C} }
bounded by 1 in absolute value and with Lipschitz constant bounded by
C
{\displaystyle C}
such that:
|
1
N
∑
n
=
0
N
−
1
f
(
n
)
F
(
g
n
x
¯
)
|
≥
c
.
{\displaystyle \left|{\frac {1}{N}}\sum _{n=0}^{N-1}f(n ){\overline {F(g^{n}x}})\right|\geq c.}
This conjecture was proved to be true by Green, Tao, and Ziegler.[6] [7] It should be stressed that the appearance of nilsequences in the above statement is necessary. The statement is no longer true if we only consider polynomial phases.
References
[ edit ]
^ Bergelson, Vitaly; Tao, Terence ; Ziegler, Tamar (2010). "An inverse theorem for the uniformity seminorms associated with the action of
F
p
∞
{\displaystyle \mathbb {F} _{p}^{\infty }}
". Geometric & Functional Analysis . 19 (6 ): 1539–1596. arXiv :0901.2602 . doi :10.1007/s00039-010-0051-1 . MR 2594614 . S2CID 10875469 .
^ Tao, Terence ; Ziegler, Tamar (2010). "The inverse conjecture for the Gowers norm over finite fields via the correspondence principle". Analysis & PDE . 3 (1 ): 1–20. arXiv :0810.5527 . doi :10.2140/apde.2010.3.1 . MR 2663409 . S2CID 16850505 .
^ Tao, Terence ; Ziegler, Tamar (2011). "The Inverse Conjecture for the Gowers Norm over Finite Fields in Low Characteristic". Annals of Combinatorics . 16 : 121–188. arXiv :1101.1469 . doi :10.1007/s00026-011-0124-3 . MR 2948765 . S2CID 253591592 .
^ Green, Ben ; Tao, Terence ; Ziegler, Tamar (2011). "An inverse theorem for the Gowers
U
s
+
1
[
N
]
{\displaystyle U^{s+1}[N ]}
-norm". Electron. Res. Announc. Math. Sci . 18 : 69–90. arXiv :1006.0205 . doi :10.3934/era.2011.18.69 . MR 2817840 .
^ Green, Ben ; Tao, Terence ; Ziegler, Tamar (2012). "An inverse theorem for the Gowers
U
s
+
1
[
N
]
{\displaystyle U^{s+1}[N ]}
-norm". Annals of Mathematics . 176 (2 ): 1231–1372. arXiv :1009.3998 . doi :10.4007/annals.2012.176.2.11 . MR 2950773 . S2CID 119588323 .
R e t r i e v e d f r o m " https://en.wikipedia.org/w/index.php?title=Gowers_norm&oldid=1175199180 "
C a t e g o r y :
● A d d i t i v e c o m b i n a t o r i c s
● T h i s p a g e w a s l a s t e d i t e d o n 1 3 S e p t e m b e r 2 0 2 3 , a t 1 1 : 3 8 ( U T C ) .
● T e x t i s a v a i l a b l e u n d e r t h e C r e a t i v e C o m m o n s A t t r i b u t i o n - S h a r e A l i k e L i c e n s e 4 . 0 ;
a d d i t i o n a l t e r m s m a y a p p l y . B y u s i n g t h i s s i t e , y o u a g r e e t o t h e T e r m s o f U s e a n d P r i v a c y P o l i c y . W i k i p e d i a ® i s a r e g i s t e r e d t r a d e m a r k o f t h e W i k i m e d i a F o u n d a t i o n , I n c . , a n o n - p r o f i t o r g a n i z a t i o n .
● P r i v a c y p o l i c y
● A b o u t W i k i p e d i a
● D i s c l a i m e r s
● C o n t a c t W i k i p e d i a
● C o d e o f C o n d u c t
● D e v e l o p e r s
● S t a t i s t i c s
● C o o k i e s t a t e m e n t
● M o b i l e v i e w