<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Geometric_mean_theorem</id>
	<title>Geometric mean theorem - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Geometric_mean_theorem"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Geometric_mean_theorem&amp;action=history"/>
	<updated>2026-05-23T23:06:05Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.43.0-wmf.28</generator>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Geometric_mean_theorem&amp;diff=28343&amp;oldid=prev</id>
		<title>en&gt;MenoBot: WP:CHECKWIKI errors fix. Do general fixes if a problem exists</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Geometric_mean_theorem&amp;diff=28343&amp;oldid=prev"/>
		<updated>2013-11-07T15:22:37Z</updated>

		<summary type="html">&lt;p&gt;&lt;a href=&quot;/index.php?title=WP:CHECKWIKI&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;WP:CHECKWIKI (page does not exist)&quot;&gt;WP:CHECKWIKI&lt;/a&gt; errors fix. Do general fixes if a problem exists&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;{{redirect|Uniformity norm|the function field norm|uniform norm|unformity in topology|uniform space}}&lt;br /&gt;
In mathematics, in the field of [[additive combinatorics]], a &amp;#039;&amp;#039;&amp;#039;Gowers norm&amp;#039;&amp;#039;&amp;#039; or &amp;#039;&amp;#039;&amp;#039;uniformity norm&amp;#039;&amp;#039;&amp;#039; is a class of [[Norm (mathematics)|norm]] on functions on a finite [[Group (mathematics)|group]] or group-like object which are used in the study of arithmetic progressions in the group.  It is named after [[Timothy Gowers]], who introduced it in his work on [[Szemerédi&amp;#039;s theorem]].&lt;br /&gt;
&lt;br /&gt;
Let &amp;#039;&amp;#039;f&amp;#039;&amp;#039; be a complex-valued function on a finite Abelian group &amp;#039;&amp;#039;G&amp;#039;&amp;#039; and let &amp;#039;&amp;#039;J&amp;#039;&amp;#039; denote complex conjugation.  The Gowers &amp;#039;&amp;#039;d&amp;#039;&amp;#039;-norm is&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt; \Vert f \Vert_{U^d(g)}^{2^d} = \mathbf{E}_{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) \ . &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
The &amp;#039;&amp;#039;inverse conjecture&amp;#039;&amp;#039; for these norms is the statement that if &amp;#039;&amp;#039;f&amp;#039;&amp;#039; has [[L-infinity norm]] ([[uniform norm]] in the usual sense) equal to 1 then the Gowers &amp;#039;&amp;#039;s&amp;#039;&amp;#039;-norm is bounded above by 1, with equality if and only if &amp;#039;&amp;#039;f&amp;#039;&amp;#039; is of the form exp(2πi &amp;#039;&amp;#039;g&amp;#039;&amp;#039;) with &amp;#039;&amp;#039;g&amp;#039;&amp;#039; a polynomial of degree at most &amp;#039;&amp;#039;s&amp;#039;&amp;#039;.  This can be interpreted as saying that the Gowers norm is controlled by polynomial phases.&lt;br /&gt;
&lt;br /&gt;
The inverse conjecture holds for vector spaces over a finite field.  However, for cyclic groups &amp;#039;&amp;#039;&amp;#039;Z&amp;#039;&amp;#039;&amp;#039;/&amp;#039;&amp;#039;N&amp;#039;&amp;#039; this is not so, and the class of polynomial phases has to be extended to control the norm.&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
* {{cite book | zbl=pre06110460 | last=Tao | first=Terence | authorlink=Terence Tao | title=Higher order Fourier analysis | series=Graduate Studies in Mathematics | volume=142 | location=Providence, RI | publisher=[[American Mathematical Society]] | year=2012 | isbn=978-0-8218-8986-2 | url=http://terrytao.wordpress.com/books/higher-order-fourier-analysis/ }}&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
[[Category:Additive combinatorics]]&lt;br /&gt;
&lt;br /&gt;
{{combin-stub}}&lt;/div&gt;</summary>
		<author><name>en&gt;MenoBot</name></author>
	</entry>
</feed>