Knowledge (XXG)

Gowers norm

Source 📝

447: 723: 176: 537: 2028: 2033:
This conjecture was proved to be true by Green, Tao, and Ziegler. 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.
1411: 442:{\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)\ .} 1294: 1756: 1889: 1711: 1250: 2168: 1656: 1570: 1847: 1002: 1465: 524: 827: 718:{\displaystyle \Vert f\Vert _{U^{d}}=\Vert {\tilde {f}}\Vert _{U^{d}(\mathbb {Z} /{\tilde {N}}\mathbb {Z} )}/\Vert 1_{}\Vert _{U^{d}(\mathbb {Z} /{\tilde {N}}\mathbb {Z} )}} 1530: 1155: 1099: 1073: 957: 752: 1798: 2496: 2398: 1125: 1917: 1504: 888: 856: 785: 1596: 1909: 1616: 1195: 1175: 928: 908: 168: 144: 124: 97: 1302: 2574: 2052: 2172: 2085: 2609: 2562: 1255: 1716: 2566: 1852: 1661: 1200: 2445: 2347: 2139: 68: 1128: 1621: 1544: 1803: 2294: 962: 2232:(2010). "The inverse conjecture for the Gowers norm over finite fields via the correspondence principle". 60: 48: 32: 2500: 1419: 459: 2556: 794: 147: 52: 1509: 1138: 1078: 1056: 933: 728: 55:
or group-like object which quantify the amount of structure present, or conversely, the amount of
2535: 2509: 2409: 2329: 2303: 2267: 2241: 2207: 2181: 2110: 788: 44: 2292:(2011). "The Inverse Conjecture for the Gowers Norm over Finite Fields in Low Characteristic". 1764: 2570: 2023:{\displaystyle \left|{\frac {1}{N}}\sum _{n=0}^{N-1}f(n){\overline {F(g^{n}x}})\right|\geq c.} 2459: 2361: 2588: 2519: 2419: 2313: 2251: 2191: 2094: 1104: 1017: 2584: 2531: 2431: 2325: 2263: 2203: 2106: 1473: 861: 2592: 2580: 2527: 2427: 2321: 2259: 2199: 2102: 832: 757: 1575: 1406:{\displaystyle \left|{\frac {1}{|V|}}\sum _{x\in V}f(x)e\left(-P(x)\right)\right|\geq c,} 2136:(2010). "An inverse theorem for the uniformity seminorms associated with the action of 2076: 1894: 1601: 1180: 1160: 913: 893: 153: 129: 109: 100: 82: 64: 2603: 2539: 2453: 2355: 2333: 2289: 2229: 2133: 2114: 104: 21: 2271: 2211: 1538: 1051: 1047: 17: 2523: 2552: 2449: 2351: 2285: 2225: 2129: 1759: 1040: 28: 2317: 2195: 2098: 2080: 56: 2423: 2255: 1043:). The precise statement depends on the Gowers norm under consideration. 1467:. This conjecture was proved to be true by Bergelson, Tao, and Ziegler. 531: 1891:
bounded by 1 in absolute value and with Lipschitz constant bounded by
16:"Uniformity norm" redirects here. For the function field norm, see 2514: 2414: 2308: 2246: 2186: 2053:"Mathematicians Catch a Pattern by Figuring Out How to Avoid It" 1035:− 1 or other object with polynomial behaviour (e.g. a ( 1737: 1551: 452:
Gowers norms are also defined for complex-valued functions
1289:{\displaystyle P\colon V\to \mathbb {R} /\mathbb {Z} } 2462: 2364: 2142: 1920: 1897: 1855: 1806: 1767: 1751:{\displaystyle G/\Gamma \in {\mathcal {M}}_{\delta }} 1719: 1664: 1624: 1604: 1578: 1547: 1512: 1476: 1422: 1305: 1258: 1203: 1183: 1163: 1141: 1107: 1081: 1059: 965: 936: 916: 896: 864: 835: 797: 760: 731: 540: 462: 179: 156: 132: 112: 85: 1016:for these norms is a statement asserting that if a 534:. In this context, the uniformity norm is given as 2490: 2392: 2162: 2022: 1903: 1883: 1841: 1792: 1750: 1705: 1650: 1610: 1590: 1564: 1524: 1498: 1459: 1405: 1288: 1244: 1189: 1169: 1149: 1119: 1093: 1067: 996: 951: 922: 902: 882: 850: 821: 779: 746: 717: 518: 441: 162: 138: 118: 91: 1884:{\displaystyle F\colon G/\Gamma \to \mathbb {C} } 1706:{\displaystyle \Vert f\Vert _{U^{d}}\geq \delta } 1245:{\displaystyle \Vert f\Vert _{U^{d}}\geq \delta } 1598:can be found, so that the following is true. If 1031:correlates with a polynomial phase of degree 8: 1672: 1665: 1211: 1204: 666: 646: 592: 576: 548: 541: 324: 312: 187: 180: 2456:(2012). "An inverse theorem for the Gowers 2358:(2011). "An inverse theorem for the Gowers 2163:{\displaystyle \mathbb {F} _{p}^{\infty }} 2513: 2467: 2461: 2413: 2369: 2363: 2307: 2245: 2185: 2154: 2149: 2145: 2144: 2141: 1988: 1975: 1951: 1940: 1926: 1919: 1896: 1877: 1876: 1865: 1854: 1831: 1805: 1778: 1766: 1742: 1736: 1735: 1723: 1718: 1680: 1675: 1663: 1644: 1643: 1623: 1603: 1577: 1556: 1550: 1549: 1546: 1511: 1481: 1475: 1442: 1421: 1337: 1325: 1317: 1311: 1304: 1282: 1281: 1276: 1272: 1271: 1257: 1219: 1214: 1202: 1182: 1162: 1143: 1142: 1140: 1106: 1080: 1061: 1060: 1058: 985: 967: 966: 964: 938: 937: 935: 915: 895: 863: 834: 799: 798: 796: 765: 759: 733: 732: 730: 706: 705: 694: 693: 688: 684: 683: 674: 669: 653: 641: 632: 631: 620: 619: 614: 610: 609: 600: 595: 580: 579: 556: 551: 539: 475: 461: 422: 412: 393: 383: 372: 357: 338: 333: 303: 284: 279: 261: 242: 231: 216: 211: 195: 190: 178: 155: 131: 111: 84: 1651:{\displaystyle f\colon \to \mathbb {C} } 1565:{\displaystyle {\mathcal {M}}_{\delta }} 2043: 1842:{\displaystyle g\in G,\ x\in G/\Gamma } 1658:is bounded in absolute value by 1 and 997:{\displaystyle {\tilde {N}}>2^{d}N} 1252:, there exists a polynomial sequence 930:. This definition does not depend on 7: 2081:"A new proof of Szemerédi's theorem" 63:in the group. They are named after 2173:Geometric & Functional Analysis 2086:Geometric & Functional Analysis 67:, who introduced it in his work on 2155: 1870: 1836: 1728: 1713:, then there exists a nilmanifold 1470:The Inverse Conjecture for Gowers 20:. For uniformity in topology, see 14: 2565:. Vol. 142. Providence, RI: 2402:Electron. Res. Announc. Math. Sci 1460:{\displaystyle e(x):=e^{2\pi ix}} 1157:and any complex-valued function 519:{\displaystyle ={0,1,2,...,N-1}} 59:. They are used in the study of 2563:Graduate Studies in Mathematics 822:{\displaystyle {\tilde {f}}(x)} 2485: 2479: 2387: 2381: 2003: 1981: 1972: 1966: 1873: 1787: 1771: 1692: 1686: 1640: 1637: 1631: 1493: 1487: 1432: 1426: 1381: 1375: 1358: 1352: 1326: 1318: 1268: 1231: 1225: 972: 943: 877: 871: 845: 839: 816: 810: 804: 772: 766: 738: 710: 699: 680: 660: 654: 636: 625: 606: 585: 568: 562: 469: 463: 207: 201: 1: 2567:American Mathematical Society 2558:Higher order Fourier analysis 103:-valued function on a finite 2524:10.4007/annals.2012.176.2.11 1998: 1525:{\displaystyle \delta >0} 1150:{\displaystyle \mathbb {F} } 1094:{\displaystyle \delta >0} 1068:{\displaystyle \mathbb {F} } 952:{\displaystyle {\tilde {N}}} 747:{\displaystyle {\tilde {N}}} 1046:The Inverse Conjecture for 2626: 1618:is a positive integer and 1532:, a finite collection of ( 1506:norm asserts that for any 1197:, bounded by 1, such that 15: 2318:10.1007/s00026-011-0124-3 2196:10.1007/s00039-010-0051-1 2099:10.1007/s00039-001-0332-9 1793:{\displaystyle F(g^{n}x)} 1101:there exists a constant 2491:{\displaystyle U^{s+1}} 2393:{\displaystyle U^{s+1}} 2295:Annals of Combinatorics 61:arithmetic progressions 2610:Additive combinatorics 2492: 2424:10.3934/era.2011.18.69 2394: 2164: 2024: 1962: 1905: 1885: 1843: 1794: 1752: 1707: 1652: 1612: 1592: 1566: 1526: 1500: 1461: 1407: 1290: 1246: 1191: 1171: 1151: 1121: 1120:{\displaystyle c>0} 1095: 1069: 998: 953: 924: 904: 884: 852: 823: 781: 748: 719: 520: 443: 164: 140: 120: 93: 33:additive combinatorics 2501:Annals of Mathematics 2493: 2395: 2256:10.2140/apde.2010.3.1 2165: 2025: 1936: 1906: 1886: 1844: 1795: 1753: 1708: 1653: 1613: 1593: 1567: 1527: 1501: 1499:{\displaystyle U^{d}} 1462: 1408: 1291: 1247: 1192: 1172: 1152: 1122: 1096: 1075:asserts that for any 1070: 999: 954: 925: 905: 885: 883:{\displaystyle x\in } 853: 824: 782: 749: 720: 521: 444: 165: 141: 121: 94: 2460: 2362: 2140: 1918: 1895: 1853: 1804: 1765: 1717: 1662: 1622: 1602: 1576: 1545: 1510: 1474: 1420: 1303: 1256: 1201: 1181: 1161: 1139: 1105: 1079: 1057: 963: 934: 914: 894: 862: 851:{\displaystyle f(x)} 833: 795: 780:{\displaystyle 1_{}} 758: 754:is a large integer, 729: 538: 460: 177: 154: 130: 110: 83: 2159: 2128:Bergelson, Vitaly; 1591:{\displaystyle c,C} 1023:has a large Gowers 1008:Inverse conjectures 223: 148:complex conjugation 69:Szemerédi's theorem 2488: 2390: 2234:Analysis & PDE 2160: 2143: 2020: 1901: 1881: 1839: 1790: 1748: 1703: 1648: 1608: 1588: 1562: 1522: 1496: 1457: 1403: 1348: 1286: 1242: 1187: 1167: 1147: 1129:finite-dimensional 1127:such that for any 1117: 1091: 1065: 1014:inverse conjecture 994: 949: 920: 900: 880: 848: 819: 789:indicator function 777: 744: 715: 516: 439: 328: 274: 186: 160: 136: 116: 89: 31:, in the field of 2576:978-0-8218-8986-2 2051:Hartnett, Kevin. 2001: 1934: 1904:{\displaystyle C} 1821: 1611:{\displaystyle N} 1333: 1331: 1190:{\displaystyle V} 1170:{\displaystyle f} 975: 946: 923:{\displaystyle x} 903:{\displaystyle 0} 807: 741: 702: 628: 588: 435: 275: 227: 163:{\displaystyle d} 139:{\displaystyle J} 119:{\displaystyle G} 92:{\displaystyle f} 2617: 2596: 2544: 2543: 2517: 2508:(2): 1231–1372. 2497: 2495: 2494: 2489: 2478: 2477: 2442: 2436: 2435: 2417: 2399: 2397: 2396: 2391: 2380: 2379: 2344: 2338: 2337: 2311: 2282: 2276: 2275: 2249: 2222: 2216: 2215: 2189: 2180:(6): 1539–1596. 2169: 2167: 2166: 2161: 2158: 2153: 2148: 2125: 2119: 2118: 2073: 2067: 2066: 2064: 2063: 2048: 2029: 2027: 2026: 2021: 2010: 2006: 2002: 1997: 1993: 1992: 1976: 1961: 1950: 1935: 1927: 1910: 1908: 1907: 1902: 1890: 1888: 1887: 1882: 1880: 1869: 1848: 1846: 1845: 1840: 1835: 1819: 1799: 1797: 1796: 1791: 1783: 1782: 1757: 1755: 1754: 1749: 1747: 1746: 1741: 1740: 1727: 1712: 1710: 1709: 1704: 1696: 1695: 1685: 1684: 1657: 1655: 1654: 1649: 1647: 1617: 1615: 1614: 1609: 1597: 1595: 1594: 1589: 1571: 1569: 1568: 1563: 1561: 1560: 1555: 1554: 1536:− 1)-step 1531: 1529: 1528: 1523: 1505: 1503: 1502: 1497: 1486: 1485: 1466: 1464: 1463: 1458: 1456: 1455: 1412: 1410: 1409: 1404: 1393: 1389: 1388: 1384: 1347: 1332: 1330: 1329: 1321: 1312: 1295: 1293: 1292: 1287: 1285: 1280: 1275: 1251: 1249: 1248: 1243: 1235: 1234: 1224: 1223: 1196: 1194: 1193: 1188: 1176: 1174: 1173: 1168: 1156: 1154: 1153: 1148: 1146: 1126: 1124: 1123: 1118: 1100: 1098: 1097: 1092: 1074: 1072: 1071: 1066: 1064: 1039:− 1)-step 1018:bounded function 1003: 1001: 1000: 995: 990: 989: 977: 976: 968: 958: 956: 955: 950: 948: 947: 939: 929: 927: 926: 921: 909: 907: 906: 901: 889: 887: 886: 881: 857: 855: 854: 849: 828: 826: 825: 820: 809: 808: 800: 786: 784: 783: 778: 776: 775: 753: 751: 750: 745: 743: 742: 734: 724: 722: 721: 716: 714: 713: 709: 704: 703: 695: 692: 687: 679: 678: 664: 663: 645: 640: 639: 635: 630: 629: 621: 618: 613: 605: 604: 590: 589: 581: 572: 571: 561: 560: 525: 523: 522: 517: 515: 448: 446: 445: 440: 433: 432: 428: 427: 426: 417: 416: 398: 397: 388: 387: 364: 363: 362: 361: 343: 342: 327: 308: 307: 289: 288: 273: 266: 265: 247: 246: 222: 221: 220: 210: 200: 199: 169: 167: 166: 161: 145: 143: 142: 137: 125: 123: 122: 117: 98: 96: 95: 90: 2625: 2624: 2620: 2619: 2618: 2616: 2615: 2614: 2600: 2599: 2577: 2551: 2548: 2547: 2463: 2458: 2457: 2444: 2443: 2439: 2365: 2360: 2359: 2346: 2345: 2341: 2284: 2283: 2279: 2224: 2223: 2219: 2138: 2137: 2127: 2126: 2122: 2077:Gowers, Timothy 2075: 2074: 2070: 2061: 2059: 2057:Quanta Magazine 2050: 2049: 2045: 2040: 1984: 1977: 1925: 1921: 1916: 1915: 1893: 1892: 1851: 1850: 1802: 1801: 1774: 1763: 1762: 1734: 1715: 1714: 1676: 1671: 1660: 1659: 1620: 1619: 1600: 1599: 1574: 1573: 1548: 1543: 1542: 1508: 1507: 1477: 1472: 1471: 1438: 1418: 1417: 1368: 1364: 1316: 1310: 1306: 1301: 1300: 1254: 1253: 1215: 1210: 1199: 1198: 1179: 1178: 1159: 1158: 1137: 1136: 1103: 1102: 1077: 1076: 1055: 1054: 1010: 981: 961: 960: 932: 931: 912: 911: 892: 891: 860: 859: 831: 830: 793: 792: 761: 756: 755: 727: 726: 670: 665: 649: 596: 591: 552: 547: 536: 535: 458: 457: 418: 408: 389: 379: 368: 353: 334: 329: 299: 280: 257: 238: 212: 191: 175: 174: 152: 151: 128: 127: 108: 107: 81: 80: 77: 41:uniformity norm 25: 12: 11: 5: 2623: 2621: 2613: 2612: 2602: 2601: 2598: 2597: 2575: 2546: 2545: 2487: 2484: 2481: 2476: 2473: 2470: 2466: 2454:Ziegler, Tamar 2437: 2389: 2386: 2383: 2378: 2375: 2372: 2368: 2356:Ziegler, Tamar 2339: 2290:Ziegler, Tamar 2277: 2230:Ziegler, Tamar 2217: 2157: 2152: 2147: 2134:Ziegler, Tamar 2120: 2093:(3): 465–588. 2068: 2042: 2041: 2039: 2036: 2031: 2030: 2019: 2016: 2013: 2009: 2005: 2000: 1996: 1991: 1987: 1983: 1980: 1974: 1971: 1968: 1965: 1960: 1957: 1954: 1949: 1946: 1943: 1939: 1933: 1930: 1924: 1900: 1879: 1875: 1872: 1868: 1864: 1861: 1858: 1838: 1834: 1830: 1827: 1824: 1818: 1815: 1812: 1809: 1789: 1786: 1781: 1777: 1773: 1770: 1745: 1739: 1733: 1730: 1726: 1722: 1702: 1699: 1694: 1691: 1688: 1683: 1679: 1674: 1670: 1667: 1646: 1642: 1639: 1636: 1633: 1630: 1627: 1607: 1587: 1584: 1581: 1572:and constants 1559: 1553: 1521: 1518: 1515: 1495: 1492: 1489: 1484: 1480: 1454: 1451: 1448: 1445: 1441: 1437: 1434: 1431: 1428: 1425: 1414: 1413: 1402: 1399: 1396: 1392: 1387: 1383: 1380: 1377: 1374: 1371: 1367: 1363: 1360: 1357: 1354: 1351: 1346: 1343: 1340: 1336: 1328: 1324: 1320: 1315: 1309: 1284: 1279: 1274: 1270: 1267: 1264: 1261: 1241: 1238: 1233: 1230: 1227: 1222: 1218: 1213: 1209: 1206: 1186: 1166: 1145: 1116: 1113: 1110: 1090: 1087: 1084: 1063: 1009: 1006: 993: 988: 984: 980: 974: 971: 945: 942: 919: 910:for all other 899: 879: 876: 873: 870: 867: 847: 844: 841: 838: 818: 815: 812: 806: 803: 774: 771: 768: 764: 740: 737: 712: 708: 701: 698: 691: 686: 682: 677: 673: 668: 662: 659: 656: 652: 648: 644: 638: 634: 627: 624: 617: 612: 608: 603: 599: 594: 587: 584: 578: 575: 570: 567: 564: 559: 555: 550: 546: 543: 530:is a positive 514: 511: 508: 505: 502: 499: 496: 493: 490: 487: 484: 481: 478: 474: 471: 468: 465: 450: 449: 438: 431: 425: 421: 415: 411: 407: 404: 401: 396: 392: 386: 382: 378: 375: 371: 367: 360: 356: 352: 349: 346: 341: 337: 332: 326: 323: 320: 317: 314: 311: 306: 302: 298: 295: 292: 287: 283: 278: 272: 269: 264: 260: 256: 253: 250: 245: 241: 237: 234: 230: 226: 219: 215: 209: 206: 203: 198: 194: 189: 185: 182: 159: 150:. The Gowers 135: 115: 88: 76: 73: 65:Timothy Gowers 43:is a class of 13: 10: 9: 6: 4: 3: 2: 2622: 2611: 2608: 2607: 2605: 2594: 2590: 2586: 2582: 2578: 2572: 2568: 2564: 2560: 2559: 2554: 2550: 2549: 2541: 2537: 2533: 2529: 2525: 2521: 2516: 2511: 2507: 2503: 2502: 2482: 2474: 2471: 2468: 2464: 2455: 2451: 2447: 2441: 2438: 2433: 2429: 2425: 2421: 2416: 2411: 2407: 2403: 2384: 2376: 2373: 2370: 2366: 2357: 2353: 2349: 2343: 2340: 2335: 2331: 2327: 2323: 2319: 2315: 2310: 2305: 2301: 2297: 2296: 2291: 2287: 2281: 2278: 2273: 2269: 2265: 2261: 2257: 2253: 2248: 2243: 2239: 2235: 2231: 2227: 2221: 2218: 2213: 2209: 2205: 2201: 2197: 2193: 2188: 2183: 2179: 2175: 2174: 2150: 2135: 2131: 2124: 2121: 2116: 2112: 2108: 2104: 2100: 2096: 2092: 2088: 2087: 2082: 2078: 2072: 2069: 2058: 2054: 2047: 2044: 2037: 2035: 2017: 2014: 2011: 2007: 1994: 1989: 1985: 1978: 1969: 1963: 1958: 1955: 1952: 1947: 1944: 1941: 1937: 1931: 1928: 1922: 1914: 1913: 1912: 1898: 1866: 1862: 1859: 1856: 1832: 1828: 1825: 1822: 1816: 1813: 1810: 1807: 1784: 1779: 1775: 1768: 1761: 1743: 1731: 1724: 1720: 1700: 1697: 1689: 1681: 1677: 1668: 1634: 1628: 1625: 1605: 1585: 1582: 1579: 1557: 1541: 1540: 1535: 1519: 1516: 1513: 1490: 1482: 1478: 1468: 1452: 1449: 1446: 1443: 1439: 1435: 1429: 1423: 1400: 1397: 1394: 1390: 1385: 1378: 1372: 1369: 1365: 1361: 1355: 1349: 1344: 1341: 1338: 1334: 1322: 1313: 1307: 1299: 1298: 1297: 1277: 1265: 1262: 1259: 1239: 1236: 1228: 1220: 1216: 1207: 1184: 1164: 1134: 1131:vector space 1130: 1114: 1111: 1108: 1088: 1085: 1082: 1053: 1049: 1048:vector spaces 1044: 1042: 1038: 1034: 1030: 1026: 1022: 1019: 1015: 1007: 1005: 991: 986: 982: 978: 969: 959:, as long as 940: 917: 897: 874: 868: 865: 842: 836: 813: 801: 790: 769: 762: 735: 696: 689: 675: 671: 657: 650: 642: 622: 615: 601: 597: 582: 573: 565: 557: 553: 544: 533: 529: 512: 509: 506: 503: 500: 497: 494: 491: 488: 485: 482: 479: 476: 472: 466: 456:on a segment 455: 436: 429: 423: 419: 413: 409: 405: 402: 399: 394: 390: 384: 380: 376: 373: 369: 365: 358: 354: 350: 347: 344: 339: 335: 330: 321: 318: 315: 309: 304: 300: 296: 293: 290: 285: 281: 276: 270: 267: 262: 258: 254: 251: 248: 243: 239: 235: 232: 228: 224: 217: 213: 204: 196: 192: 183: 173: 172: 171: 157: 149: 133: 113: 106: 105:abelian group 102: 86: 74: 72: 70: 66: 62: 58: 54: 50: 46: 42: 38: 34: 30: 23: 22:uniform space 19: 2557: 2553:Tao, Terence 2505: 2499: 2450:Tao, Terence 2440: 2405: 2401: 2352:Tao, Terence 2342: 2299: 2293: 2286:Tao, Terence 2280: 2237: 2233: 2226:Tao, Terence 2220: 2177: 2171: 2130:Tao, Terence 2123: 2090: 2084: 2071: 2060:. Retrieved 2056: 2046: 2032: 1539:nilmanifolds 1537: 1533: 1469: 1415: 1132: 1052:finite field 1045: 1036: 1032: 1028: 1024: 1020: 1013: 1011: 829:is equal to 787:denotes the 527: 453: 451: 78: 51:on a finite 40: 36: 26: 18:uniform norm 2302:: 121–188. 2240:(1): 1–20. 1911:such that: 1760:nilsequence 1296:such that 1041:nilsequence 1027:-norm then 37:Gowers norm 29:mathematics 2593:1277.11010 2446:Green, Ben 2348:Green, Ben 2062:2019-11-26 2038:References 75:Definition 57:randomness 2540:119588323 2515:1009.3998 2415:1006.0205 2408:: 69–90. 2334:253591592 2309:1101.1469 2247:0810.5527 2187:0901.2602 2156:∞ 2115:124324198 2012:≥ 1999:¯ 1956:− 1938:∑ 1874:→ 1871:Γ 1860:: 1837:Γ 1826:∈ 1811:∈ 1744:δ 1732:∈ 1729:Γ 1701:δ 1698:≥ 1673:‖ 1666:‖ 1641:→ 1629:: 1558:δ 1514:δ 1447:π 1395:≥ 1370:− 1342:∈ 1335:∑ 1269:→ 1263:: 1240:δ 1237:≥ 1212:‖ 1205:‖ 1083:δ 973:~ 944:~ 869:∈ 805:~ 791:of , and 739:~ 700:~ 667:‖ 647:‖ 626:~ 593:‖ 586:~ 577:‖ 549:‖ 542:‖ 510:− 420:ω 403:⋯ 391:ω 355:ω 348:⋯ 336:ω 310:∈ 301:ω 294:… 282:ω 277:∏ 268:∈ 252:… 229:∑ 188:‖ 181:‖ 170:-norm is 49:functions 2604:Category 2555:(2012). 2498:-norm". 2400:-norm". 2272:16850505 2212:10875469 2079:(2001). 725:, where 526:, where 126:and let 2585:2931680 2532:2950773 2432:2817840 2326:2948765 2264:2663409 2204:2594614 2107:1844079 1050:over a 532:integer 146:denote 101:complex 2591:  2583:  2573:  2538:  2530:  2430:  2332:  2324:  2270:  2262:  2210:  2202:  2113:  2105:  1820:  1800:where 1758:and a 1416:where 434:  2536:S2CID 2510:arXiv 2410:arXiv 2330:S2CID 2304:arXiv 2268:S2CID 2242:arXiv 2208:S2CID 2182:arXiv 2111:S2CID 1135:over 858:for 99:be a 53:group 45:norms 2571:ISBN 1849:and 1517:> 1112:> 1086:> 979:> 890:and 79:Let 35:, a 2589:Zbl 2520:doi 2506:176 2420:doi 2314:doi 2252:doi 2192:doi 2170:". 2095:doi 1177:on 1012:An 47:on 39:or 27:In 2606:: 2587:. 2581:MR 2579:. 2569:. 2561:. 2534:. 2528:MR 2526:. 2518:. 2504:. 2452:; 2448:; 2428:MR 2426:. 2418:. 2406:18 2404:. 2354:; 2350:; 2328:. 2322:MR 2320:. 2312:. 2300:16 2298:. 2288:; 2266:. 2260:MR 2258:. 2250:. 2236:. 2228:; 2206:. 2200:MR 2198:. 2190:. 2178:19 2176:. 2132:; 2109:. 2103:MR 2101:. 2091:11 2089:. 2083:. 2055:. 1436::= 1004:. 71:. 2595:. 2542:. 2522:: 2512:: 2486:] 2483:N 2480:[ 2475:1 2472:+ 2469:s 2465:U 2434:. 2422:: 2412:: 2388:] 2385:N 2382:[ 2377:1 2374:+ 2371:s 2367:U 2336:. 2316:: 2306:: 2274:. 2254:: 2244:: 2238:3 2214:. 2194:: 2184:: 2151:p 2146:F 2117:. 2097:: 2065:. 2018:. 2015:c 2008:| 2004:) 1995:x 1990:n 1986:g 1982:( 1979:F 1973:) 1970:n 1967:( 1964:f 1959:1 1953:N 1948:0 1945:= 1942:n 1932:N 1929:1 1923:| 1899:C 1878:C 1867:/ 1863:G 1857:F 1833:/ 1829:G 1823:x 1817:, 1814:G 1808:g 1788:) 1785:x 1780:n 1776:g 1772:( 1769:F 1738:M 1725:/ 1721:G 1693:] 1690:N 1687:[ 1682:d 1678:U 1669:f 1645:C 1638:] 1635:N 1632:[ 1626:f 1606:N 1586:C 1583:, 1580:c 1552:M 1534:d 1520:0 1494:] 1491:N 1488:[ 1483:d 1479:U 1453:x 1450:i 1444:2 1440:e 1433:) 1430:x 1427:( 1424:e 1401:, 1398:c 1391:| 1386:) 1382:) 1379:x 1376:( 1373:P 1366:( 1362:e 1359:) 1356:x 1353:( 1350:f 1345:V 1339:x 1327:| 1323:V 1319:| 1314:1 1308:| 1283:Z 1278:/ 1273:R 1266:V 1260:P 1232:] 1229:V 1226:[ 1221:d 1217:U 1208:f 1185:V 1165:f 1144:F 1133:V 1115:0 1109:c 1089:0 1062:F 1037:d 1033:d 1029:f 1025:d 1021:f 992:N 987:d 983:2 970:N 941:N 918:x 898:0 878:] 875:N 872:[ 866:x 846:) 843:x 840:( 837:f 817:) 814:x 811:( 802:f 773:] 770:N 767:[ 763:1 736:N 711:) 707:Z 697:N 690:/ 685:Z 681:( 676:d 672:U 661:] 658:N 655:[ 651:1 643:/ 637:) 633:Z 623:N 616:/ 611:Z 607:( 602:d 598:U 583:f 574:= 569:] 566:N 563:[ 558:d 554:U 545:f 528:N 513:1 507:N 504:, 501:. 498:. 495:. 492:, 489:2 486:, 483:1 480:, 477:0 473:= 470:] 467:N 464:[ 454:f 437:. 430:) 424:d 414:d 410:h 406:+ 400:+ 395:1 385:1 381:h 377:+ 374:x 370:( 366:f 359:d 351:+ 345:+ 340:1 331:J 325:} 322:1 319:, 316:0 313:{ 305:d 297:, 291:, 286:1 271:G 263:d 259:h 255:, 249:, 244:1 240:h 236:, 233:x 225:= 218:d 214:2 208:) 205:G 202:( 197:d 193:U 184:f 158:d 134:J 114:G 87:f 24:.

Index

uniform norm
uniform space
mathematics
additive combinatorics
norms
functions
group
randomness
arithmetic progressions
Timothy Gowers
Szemerédi's theorem
complex
abelian group
complex conjugation
integer
indicator function
bounded function
nilsequence
vector spaces
finite field
finite-dimensional
nilmanifolds
nilsequence
"Mathematicians Catch a Pattern by Figuring Out How to Avoid It"
Gowers, Timothy
"A new proof of Szemerédi's theorem"
Geometric & Functional Analysis
doi
10.1007/s00039-001-0332-9
MR

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.