Given an inequality with imbalances in symmetry between the left-hand side (LHS) and right-hand side (RHS), amplification is a mathematical trick that can exploit that imbalance to derive a stronger inequality (i.e. the LHS and RHS are closer). As for why mathematicians might need such a technique, see “Why do we need strong inequalities?” below.
Consider some transformations that change such that , but not , is “symmetric” relative to . That is, . Then we can choose to maximize the LHS and “tighten” the inequality. Let’s illustrate this trick by applying it to prove the Cauchy-Schwarz Inequality (actually, the special case of the familiar -dimensional space ):
Discard the trivial case of either and being a zero vector. The dot product and norms (self-dot product) like suggest expanding the (nonnegative) dot product into
The vector norm (and by extension, the RHS) is symmetric relative to dilation by factor (i.e. flip each point 180° about the origin) but the LHS is not. So we choose the transformation . This gives
The inequality has been tightened by increasing the LHS, but the RHS is still too big. This is because (easily derived by expanding ).
We reduce the RHS by exploiting another imbalance in symmetry, this time of a “homogenisation” transformation which scales the first vector by and the second by , which keeps the product of their lengths the same. Thus the dot product (and by extension, the LHS) is symmetric relative to but the RHS is not, which gives
Finally we minimize the RHS by setting to get Eq. (3.1). We have “amplified” our way into the Cauchy-Schwarz Inequality!
For another insight to Eq. (3.1), consider that .
The “magical cheating” of amplification can produce amazingly strong inequalities, that are difficult to prove otherwise, from comparatively weak or even trivial inequalities. However, from another perspective, this means that the strong and weak inequalities were equivalent in the first place! Our vision was simply obstructed and misled by low-quality versions of the strong inequality.
Tao’s original blog post [1.9] exploits more symmetry imbalances – via dilation, homogenity, linearity and phase rotation (for complex numbers) to amplify an astonishing variety of inequalities in harmonic analysis.
into the more general inequality
This intrigued me for two reasons – this was a rather “discrete” inequality (mostly involving integers) as opposed to the “continuous” nature of the Cauchy-Schwarz Inequality, and amplification was used to generalize, not merely to strengthen inequalities!
For the sake of readers unfamiliar with inequalities, I feel that I need to explain beyond what Tao did:
Why do we need strong inequalities?
Many properties and quantities in math are difficult or impossible to calculate exactly (e.g. the number of twin primes below some (primes differing by , like 11 and 13) or the position or momentum of particles), so we often establish upper or lower bounds on them to at least give some idea of the size of the quantity. Conjecturing is now somewhat easier with computer methods (e.g. plot a graph of “number of twin primes below ” versus and look at the graph shape) but how do we prove a bound ?
We could start off with known inequalities and add them together, multiply or somehow manipulate them into some , where hopefully (A) and (B) . Naive attempts usually fail because we either violate (A) or (B). Such failure gets more likely if the gap between and is narrow; such an inequality is called “tight”, “strong” or “powerful”. Failure increases because an inequality that is “too weak” (LHS and RHS are too far apart) may participate in our manipulations, bloating the gap between and and preventing us from “squeezing” both of them between and . So we need to be extra careful to use only strong inequalities in our manipulations, which requires many strong inequalities to be available in the first place. Strong inequalities are so useful that they can give rise to quick proofs of difficult inequalities.
Of course, after we prove our conjecture , ambitious souls might attempt to tighten the bound further. “Is this the most we can estimate about ? Could we improve our knowledge of its size?” Strengthening techniques such as amplification might then lend a hand.
For instance, an upper bound of the aforementioned number of twin primes below is known to be
The smaller the constant , the tighter the upper bound, but the harder is is to prove that the inequality still holds. The history of improvement on the value of the twin prime constant (as proven to be possible) by various researchers is summarized in the following table (Nazardonyavi, 2012):
Interested readers can check out the proof of the best known bound (Wu, 2004).
[1.9] Tao, Terence. Amplification, arbitrage, and the tensor power trick. In Structure and Randomness: Pages from Year One of a Mathematical Blog. American Mathematical Society (2008).
(Nazardonyavi, 2012) Nazardonyavi, S. Some History About the Twin Prime Conjecture. ArXiv (2012).
(Wu, 2004) Wu, J. Chen’s double sieve, Goldbach’s conjecture and the twin prime problem. Acta Arithmetica 114, 215-273, (2004).