Approximate algebraic structure

Ben Green

DOI: https://doi.org/10.48550/arXiv.1404.0093

2014-04-01

Abstract:We discuss a selection of recent developments in arithmetic combinatorics having to do with ``approximate algebraic structure'' together with some of their applications.

Number Theory

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on the research of "approximate algebraic structure", especially under what circumstances the related inequalities are almost equal. Specifically, the author explores two specific inequalities: the convolution form of Young's inequality and the inequality regarding Gowers norms.

### Main problems

1. **When does the equality hold?**
- For a given inequality \( v(f) \leq M \), first, it is necessary to determine which functions \( f \in F \) can make \( v(f)=M \).

2. **When does the equality almost hold?**
- Further, study which functions \( f \in F \) make \( v(f) \approx M \). To be more precise, the author distinguishes two cases:
- **Stability problem**: When \( v(f) \geq (1 + o(1))M \), that is, the case where \( K \approx 1 \).
- **Robustness problem**: When \( v(f) \geq \frac{1}{K}M \), where \( K \) is large (for example, \( K \sim 100 \)).

### Specific examples

- **Young's inequality**: For Young's inequality in the convolution form, consider the finitely supported functions \( f: G \to [0, \infty) \) and satisfy \( \sum_{x \in G} f(x) = 1 \) and \( f(x)=f(x^{-1}) \). The inequality is:
\[
v(f)=\frac{\|f * f\|_2^2}{\|f\|_2^2} \leq 1
\]
where \( \|f\|_2^2=\sum_{x \in G} f(x)^2 \) and \( \|f * f\|_2^2=\sum_{x \in G}\left(\sum_{y \in G} f(y)f(yx)\right)^2 \).

### Research motivation

Through the study of the robustness problems of these inequalities, the author reveals their applications in different fields, such as group theory, additive prime number theory, and theoretical computer science. The solutions to these problems not only help to understand the mathematical structures themselves but also provide many possibilities for practical applications.

### Summary

The main goal of this paper is to explore the conditions when the inequalities are almost equal by studying "approximate algebraic structure", especially in Young's inequality and Gowers norm inequality, and discuss the applications of these conditions in different mathematical fields.