Difference between revisions of "Muirhead's Inequality"

(Added bruteforce note)
 
(28 intermediate revisions by 14 users not shown)
Line 1: Line 1:
Before '''Muirhead's Inequality''' can be defined, it is first necessary to define another term.
+
'''Muirhead's Inequality''' states that if a sequence <math>p</math> [[Majorization|majorizes]] a sequence <math>q</math>, then given a set of positive reals <math>x_1,x_2,\cdots,x_n</math>:
 +
<cmath>\sum_{\text{sym}} {x_1}^{p_1}{x_2}^{p_2}\cdots {x_n}^{p_n}\geq \sum_{\text{sym}} {x_1}^{q_1}{x_2}^{q_2}\cdots {x_n}^{q_n}</cmath>
  
Given two sequences of real numbers <math>\displaystyle A=a_1,a_2,\cdots,a_n</math> and <math>\displaystyle B=b_1,b_2,\cdots,b_n</math>, <math>A</math> is said to [[Majorization | majorize]] <math>B</math> if and only if all of the following are true:
+
== Example ==
 +
The inequality is easier to understand given an example.  Since the sequence <math>(5,1)</math> majorizes <math>(4,2)</math> (as <math>5>4, 5+1=4+2</math>), Muirhead's inequality states that for any positive <math>x,y</math>,
  
<math>\displaystyle a_1\geq b_1</math>  
+
<cmath>x^5y^1+y^5x^1\geq x^4y^2+y^4x^2</cmath>
  
<math>\displaystyle a_1+a_2\geq b_1+b_2</math>
+
== Usage on Olympiad Problems ==
 +
A common [[Brute forcing|bruteforce]] technique with inequalities is to clear denominators, multiply everything out, and apply Muirhead's or [[Schur's Inequality|Schur's]].  However, it is worth noting that any inequality that can be proved directly with Muirhead can also be proved using the [[Arithmetic mean-geometric mean | Arithmetic Mean-Geometric Mean]] inequality.  In fact, [[International Mathematics Olympiad | IMO]] gold medalist [[Thomas Mildorf]] says it is unwise to use Muirhead in an Olympiad solution; one should use an application of AM-GM instead. Thus, it is suggested that Muirhead be used only to verify that an inequality ''can'' be proved with AM-GM before demonstrating the full AM-GM proof.
  
<math>\displaystyle \vdots</math>  
+
==Example revisited==
 +
To understand the proof further below, let's also prove the inequality <math>x^5y^1+y^5x^1\geq x^4y^2+y^4x^2</math> from the [[AM-GM Inequality#Weighted AM-GM Inequality|(weighted) AM-GM inequality]].
  
<math>\displaystyle a_1+a_2+\cdots+a_{n-1}\geq b_1+b_2+\cdots+b_{n-1}</math>  
+
<cmath>
 +
\begin{align*}
 +
x^5y^1+y^5x^1&=\frac{3}{4}\left(x^5y^1+y^5x^1\right)+\frac{1}{4}\left(x^5y^1+y^5x^1\right)\
 +
&=\left(\frac{3}{4}x^5y^1+\frac{1}{4}x^1y^5\right)+\left(\frac{3}{4}y^5x^1+\frac{1}{4}y^1x^5\right)\
 +
&\geq \left(x^{\frac{3}{4}5+\frac{1}{4}1}y^{\frac{3}{4}1+\frac{1}{4}5}\right)^{3/4+1/4} + \left(y^{\frac{3}{4}5+\frac{1}{4}1}x^{\frac{3}{4}1+\frac{1}{4}5}\right)^{3/4+1/4}\
 +
&=x^4y^2+y^2x^4
 +
\end{align*}
 +
</cmath>
  
<math>\displaystyle a_1+a_2+\cdots+a_n=b_1+b_2+\cdots+b_n</math>
+
where the step with the inequality consists in applying the weighted AM-GM inequality to each expression in parentheses.
  
 +
The coefficients <math>3/4</math> and <math>1/4</math> and the grouping of terms according to the permutations <math>(5,1)</math> and <math>(1,5)</math> of the tuple of exponents <math>(5,1)</math> come from the following arithmetic facts.
  
 +
Note that <math>[42]=T[51]</math>, where the matrix <math>T=[3/41/41/43/4]</math>. This matrix has non-negative entries and all its rows and columns add up to <math>1</math>. Such matrices are called ''doubly stochastic matrices''. We can write <math>T=\frac{3}{4}[1001]+\frac{1}{4}[0110]</math>. Matrices like <math>P_1=[1001]</math> and <math>P_2=[0110]</math>, with exactly one <math>1</math> in each row and each column and <math>0</math> everywhere else, are called ''permutation matrices''. Observe how <math>P_1[51]=[51]</math> and <math>P_2[51]=[15]</math> gives us all permutations of <math>[51]</math>.
  
With this out of the way, it is now possible to define Muirhead's Inequality.
+
So, we can write
  
Let <math>\displaystyle x_1,x_2,\cdots,x_n</math> be a set of positive integers, and let <math>\displaystyle A=a_1,a_2,\cdots,a_n</math>, and <math>\displaystyle B=b_1,b_2,\cdots,b_n</math> be sets of positive real numbers (note that they all contain the same number of terms) such that <math>\displaystyle A</math> majorizes <math>\displaystyle B</math>.  Then, using [[sigma notation]], it is possible to say that
+
<cmath>
 +
\begin{align*}
 +
\begin{bmatrix}4\2\end{bmatrix}&=T[51]\
 +
&=\left(\frac{3}{4}[1001]+\frac{1}{4}[0110]\right)\begin{bmatrix}5\1\end{bmatrix}\
 +
&=\frac{3}{4}[51]+\frac{1}{4}[15]
 +
\end{align*}
 +
</cmath>
  
<math>\displaystyle \sum_{sym} {x_1}^{a_1}{x_2}^{a_2}\cdots {x_n}^{a_n}\geq \sum_{sym} {x_1}^{b_1}{x_2}^{b_2}\cdots {x_n}^{b_n}</math>
+
A single inequality that follows from Muirhead's inequality could be proven from the AM-GM inequality in multiple ways.
 +
Another way is
  
A concrete example will probably help to understand the inequality.  Since the sequence <math>\displaystyle 5,1</math> majorizes <math>\displaystyle 4,2</math>, Muirhead's inequality tells us that, for any positive <math>\displaystyle x,y</math>, we have
+
<cmath>
 +
\begin{align*}
 +
\frac{x^4+x^4+x^4+y^4}{4}&\geq\sqrt[4]{x^{12}y^4}=x^3y\
 +
\frac{x^4+y^4+y^4+y^4}{4}&\geq\sqrt[4]{x^4y^{12}}=xy^3
 +
\end{align*}
 +
</cmath>
 +
Adding these,
 +
<cmath>x^4+y^4\geq x^3y+xy^3</cmath>
 +
Multiplying both sides by <math>xy</math> (as both <math>x</math> and <math>y</math> are positive),
 +
<cmath>x^5y+xy^5\geq x^4y^2+x^2y^4</cmath>
 +
as desired.
  
<math>\displaystyle x^5y^1+y^5x^1\geq x^4y^2+y^4x^2</math>
+
==Proof==
 +
Given <math>p=(p_1,p_2,\ldots,p_n)\in\mathbb{R}^n</math>, let's write
 +
<cmath>[p]=\frac{1}{n!}\sum_{sym}x_1^{p_1}x_2^{p_2}\dotsm x_n^{p_n}</cmath>
 +
Let's denote that <math>p</math> majorizes <math>q=(q_1,q_2,\ldots,q_n)\in\mathbb{R}^n</math> as <math>p\succ q</math>.
 +
These notation is useful in the context of Muirhead's inequality. In particular the theorem can be stated as <math>p\succ q</math> implies <math>[p]\geq [q]</math>.
  
 +
Even though <math>p</math> and <math>q</math> are written above as <math>n</math>-tuples, it will be convenient to think of them as column vectors, vertical.
  
 +
The first goal of the proof is to show that there is a ''doubly stochastic matrix'' <math>D</math> such that <math>q=Dp</math>. Then [https://en.wikipedia.org/wiki/Doubly_stochastic_matrix#Birkhoff%E2%80%93von_Neumann_theorem Birkhoff-von Neuman theorem] tells us that there are <math>c_1,c_2,\ldots c_{n!}\geq0</math> such that <math>\sum_{i=1}^{n!}c_i=1</math> and <math>D=\sum_{i=1}^{n!}c_iP_i</math>, where <math>P_i</math> are ''permutation matrices''.
  
A common [[Brute forcing|bruteforce]] technique with inequalities is to clear denominators, multiply everything out, and apply Muirhead's or [[Schur's Inequality|Shur's]].  However, it is worth noting that any inequality that can be proved directly with Muirhead can also be proved using the [[Arithmetic mean-geometric mean | Arithmetic Mean-Geometric Mean]] inequality.  In fact, [[International Mathematics Olympiad | IMO]] gold medalist [[Thomas Mildorf]] says it is unwise to use Muirhead in an Olympiad solution; you should use an application of AM-GM instead.
+
Note that once we have such an expression for <math>D</math>, then
 +
<cmath>
 +
\begin{align*}
 +
[p]&=1\cdot [p]\
 +
&=\left(\sum_{i=1}^{n!}c_i\right)[p]\
 +
&=\sum_{i=1}^{n!}c_i[p]\
 +
&=\sum_{i=1}^{n!}c_i[P_ip]\
 +
&\geq\left[\sum_{i=1}^{n!}c_iP_ip\right]\
 +
&=[Dp]\
 +
&=[q]
 +
\end{align*}
 +
</cmath>
 +
where the step with the inequality (like in the example above) consists of applying the weighted AM-GM inequality grouping the terms from each element of the sum <math>\sum_{i=1}^{n!}</math>, corresponding to each permutation of the variables <math>x_1,x_2,\ldots,x_n</math>. Remember that the brackets <math>[\cdot]</math> are representing also a summation <math>\frac{1}{n!}\sum_{sym}</math>.
  
As an example, here's how the above inequality can be proved using AM-GM:
+
Before showing how to produce the matrix <math>D</math>, note that knowing the computational aspect of Birkhoff-von Newmann theorem is useful, since it gives us an algorithm to compute the <math>c_1,c_2,\ldots,c_{n!}</math>.
  
<math>\displaystyle \frac{x^4+x^4+x^4+y^4}{4}\geq\sqrt[4]{x^{12}y^4}=x^3y</math>
+
To produce the matrix <math>D</math> we construct a sequence <math>p=r_0, r_1, r_2, \ldots, r_k=q</math> of <math>n</math>-tuples (or rather column vectors), such that <math>p\succ r_1\succ r_2\succ\ldots\succ r_k=q</math>, each <math>r_i</math> has at least one more component equal to a component of <math>q</math> than its predecessor <math>r_{i-1}</math>, and <math>r_{i}=T_ir_{i-1}</math>, for some ''doubly stochastic matrix'' <math>T_i</math>. Note that then we can take <math>D=T_k\dotsm T_2T_1</math> to get <math>q=Dp</math> and since products of ''doubly stochastic matrices'' is a ''doubly stochastic matrix'', we get what we wanted.
  
<math>\displaystyle \frac{x^4+y^4+y^4+y^4}{4}\geq\sqrt[4]{x^4y^{12}}=xy^3</math>
+
In the case <math>p=q</math> there is nothing to prove. Even Muirhead's inequality would be an equality in this case.
 +
So, assume that <math>p\succ q</math> and <math>p\neq q</math>.
  
Adding these, we get
+
Define
  
<math>\displaystyle x^4+y^4\geq x^3y+xy^3</math>
+
<cmath>
 +
\begin{align*}
 +
j&=\min\{i:\ p_i>q_i\}\
 +
k&=\min\{i:\ p_i<q_i\}\
 +
b&=\frac{p_j+p_k}{2}\\
 +
d&=\frac{p_j-p_k}{2}\
 +
c&=\max\{|q_k-b|, |q_k-b|\}\
 +
\end{align*}
 +
</cmath>
  
Multiplying both sides of this by <math>\displaystyle xy</math> (we can do this because both <math>\displaystyle x</math> and <math>\displaystyle y</math> are positive), we get
+
Define the matrix <math>T=T_1</math> with entries
  
<math>\displaystyle x^5y+xy^5\geq x^4y^2+x^2y^4</math>
+
<cmath>
 +
\begin{align*}
 +
T_{j,j}&=\frac{d+c}{2d}\
 +
T_{k,k}&=\frac{d+c}{2d}\
 +
T_{j,k}&=\frac{d-c}{2d}\
 +
T_{k,j}&=\frac{d-c}{2d}
 +
\end{align*}
 +
</cmath>
 +
all other diagonal entries <math>T_{i,i}</math>, for <math>i\notin\{j,k\}</math> are equal to <math>1</math> and the remaining entries equal to <math>0</math>.
  
as desired.
+
It is straightforward from the definition to verify that this matrix is doubly stochastic, satisfies <math>r_1=Tp</math>, all components of <math>r_1</math> before position <math>j</math> and after position <math>k</math> are equal to those of <math>p</math>, but at least one of the components at position <math>j</math> or <math>k</math> became equal to the corresponding component in <math>q</math>. By repeating this construction with <math>r_1,r_2,...</math> etc. we get the matrices <math>T_2,T_3,\ldots T_k</math>.
 +
 
 +
==See also==
 +
*[[PaperMath’s sum]]
  
Muirhead's inequality is just one of a good many well-known [[Inequality | inequalities]] that problem-solving students should learn.
+
[[Category:Algebra]]
 +
[[Category:Inequalities]]

Latest revision as of 11:53, 8 October 2023

Muirhead's Inequality states that if a sequence $p$ majorizes a sequence $q$, then given a set of positive reals $x_1,x_2,\cdots,x_n$: \[\sum_{\text{sym}} {x_1}^{p_1}{x_2}^{p_2}\cdots {x_n}^{p_n}\geq \sum_{\text{sym}} {x_1}^{q_1}{x_2}^{q_2}\cdots {x_n}^{q_n}\]

Example

The inequality is easier to understand given an example. Since the sequence $(5,1)$ majorizes $(4,2)$ (as $5>4, 5+1=4+2$), Muirhead's inequality states that for any positive $x,y$,

\[x^5y^1+y^5x^1\geq x^4y^2+y^4x^2\]

Usage on Olympiad Problems

A common bruteforce technique with inequalities is to clear denominators, multiply everything out, and apply Muirhead's or Schur's. However, it is worth noting that any inequality that can be proved directly with Muirhead can also be proved using the Arithmetic Mean-Geometric Mean inequality. In fact, IMO gold medalist Thomas Mildorf says it is unwise to use Muirhead in an Olympiad solution; one should use an application of AM-GM instead. Thus, it is suggested that Muirhead be used only to verify that an inequality can be proved with AM-GM before demonstrating the full AM-GM proof.

Example revisited

To understand the proof further below, let's also prove the inequality $x^5y^1+y^5x^1\geq x^4y^2+y^4x^2$ from the (weighted) AM-GM inequality.

\begin{align*} x^5y^1+y^5x^1&=\frac{3}{4}\left(x^5y^1+y^5x^1\right)+\frac{1}{4}\left(x^5y^1+y^5x^1\right)\\ &=\left(\frac{3}{4}x^5y^1+\frac{1}{4}x^1y^5\right)+\left(\frac{3}{4}y^5x^1+\frac{1}{4}y^1x^5\right)\\ &\geq \left(x^{\frac{3}{4}5+\frac{1}{4}1}y^{\frac{3}{4}1+\frac{1}{4}5}\right)^{3/4+1/4} + \left(y^{\frac{3}{4}5+\frac{1}{4}1}x^{\frac{3}{4}1+\frac{1}{4}5}\right)^{3/4+1/4}\\ &=x^4y^2+y^2x^4 \end{align*}

where the step with the inequality consists in applying the weighted AM-GM inequality to each expression in parentheses.

The coefficients $3/4$ and $1/4$ and the grouping of terms according to the permutations $(5,1)$ and $(1,5)$ of the tuple of exponents $(5,1)$ come from the following arithmetic facts.

Note that $\begin{bmatrix}4\\2\end{bmatrix}=T\begin{bmatrix}5\\1\end{bmatrix}$, where the matrix $T=\begin{bmatrix}3/4&1/4\\1/4&3/4\end{bmatrix}$. This matrix has non-negative entries and all its rows and columns add up to $1$. Such matrices are called doubly stochastic matrices. We can write $T=\frac{3}{4}\begin{bmatrix}1&0\\0&1\end{bmatrix}+\frac{1}{4}\begin{bmatrix}0&1\\1&0\end{bmatrix}$. Matrices like $P_1=\begin{bmatrix}1&0\\0&1\end{bmatrix}$ and $P_2=\begin{bmatrix}0&1\\1&0\end{bmatrix}$, with exactly one $1$ in each row and each column and $0$ everywhere else, are called permutation matrices. Observe how $P_1\begin{bmatrix}5\\1\end{bmatrix}=\begin{bmatrix}5\\1\end{bmatrix}$ and $P_2\begin{bmatrix}5\\1\end{bmatrix}=\begin{bmatrix}1\\5\end{bmatrix}$ gives us all permutations of $\begin{bmatrix}5\\1\end{bmatrix}$.

So, we can write

\begin{align*} \begin{bmatrix}4\\2\end{bmatrix}&=T\begin{bmatrix}5\\1\end{bmatrix}\\ &=\left(\frac{3}{4}\begin{bmatrix}1&0\\0&1\end{bmatrix}+\frac{1}{4}\begin{bmatrix}0&1\\1&0\end{bmatrix}\right)\begin{bmatrix}5\\1\end{bmatrix}\\ &=\frac{3}{4}\begin{bmatrix}5\\1\end{bmatrix}+\frac{1}{4}\begin{bmatrix}1\\5\end{bmatrix} \end{align*}

A single inequality that follows from Muirhead's inequality could be proven from the AM-GM inequality in multiple ways. Another way is

\begin{align*} \frac{x^4+x^4+x^4+y^4}{4}&\geq\sqrt[4]{x^{12}y^4}=x^3y\\ \frac{x^4+y^4+y^4+y^4}{4}&\geq\sqrt[4]{x^4y^{12}}=xy^3 \end{align*} Adding these, \[x^4+y^4\geq x^3y+xy^3\] Multiplying both sides by $xy$ (as both $x$ and $y$ are positive), \[x^5y+xy^5\geq x^4y^2+x^2y^4\] as desired.

Proof

Given $p=(p_1,p_2,\ldots,p_n)\in\mathbb{R}^n$, let's write \[[p]=\frac{1}{n!}\sum_{sym}x_1^{p_1}x_2^{p_2}\dotsm x_n^{p_n}\] Let's denote that $p$ majorizes $q=(q_1,q_2,\ldots,q_n)\in\mathbb{R}^n$ as $p\succ q$. These notation is useful in the context of Muirhead's inequality. In particular the theorem can be stated as $p\succ q$ implies $[p]\geq [q]$.

Even though $p$ and $q$ are written above as $n$-tuples, it will be convenient to think of them as column vectors, vertical.

The first goal of the proof is to show that there is a doubly stochastic matrix $D$ such that $q=Dp$. Then Birkhoff-von Neuman theorem tells us that there are $c_1,c_2,\ldots c_{n!}\geq0$ such that $\sum_{i=1}^{n!}c_i=1$ and $D=\sum_{i=1}^{n!}c_iP_i$, where $P_i$ are permutation matrices.

Note that once we have such an expression for $D$, then \begin{align*} [p]&=1\cdot [p]\\ &=\left(\sum_{i=1}^{n!}c_i\right)[p]\\ &=\sum_{i=1}^{n!}c_i[p]\\ &=\sum_{i=1}^{n!}c_i[P_ip]\\ &\geq\left[\sum_{i=1}^{n!}c_iP_ip\right]\\ &=[Dp]\\ &=[q] \end{align*} where the step with the inequality (like in the example above) consists of applying the weighted AM-GM inequality grouping the terms from each element of the sum $\sum_{i=1}^{n!}$, corresponding to each permutation of the variables $x_1,x_2,\ldots,x_n$. Remember that the brackets $[\cdot]$ are representing also a summation $\frac{1}{n!}\sum_{sym}$.

Before showing how to produce the matrix $D$, note that knowing the computational aspect of Birkhoff-von Newmann theorem is useful, since it gives us an algorithm to compute the $c_1,c_2,\ldots,c_{n!}$.

To produce the matrix $D$ we construct a sequence $p=r_0, r_1, r_2, \ldots, r_k=q$ of $n$-tuples (or rather column vectors), such that $p\succ r_1\succ r_2\succ\ldots\succ r_k=q$, each $r_i$ has at least one more component equal to a component of $q$ than its predecessor $r_{i-1}$, and $r_{i}=T_ir_{i-1}$, for some doubly stochastic matrix $T_i$. Note that then we can take $D=T_k\dotsm T_2T_1$ to get $q=Dp$ and since products of doubly stochastic matrices is a doubly stochastic matrix, we get what we wanted.

In the case $p=q$ there is nothing to prove. Even Muirhead's inequality would be an equality in this case. So, assume that $p\succ q$ and $p\neq q$.

Define

\begin{align*} j&=\min\{i:\ p_i>q_i\}\\ k&=\min\{i:\ p_i<q_i\}\\ b&=\frac{p_j+p_k}{2}\\ d&=\frac{p_j-p_k}{2}\\ c&=\max\{|q_k-b|, |q_k-b|\}\\ \end{align*}

Define the matrix $T=T_1$ with entries

\begin{align*} T_{j,j}&=\frac{d+c}{2d}\\ T_{k,k}&=\frac{d+c}{2d}\\ T_{j,k}&=\frac{d-c}{2d}\\ T_{k,j}&=\frac{d-c}{2d} \end{align*} all other diagonal entries $T_{i,i}$, for $i\notin\{j,k\}$ are equal to $1$ and the remaining entries equal to $0$.

It is straightforward from the definition to verify that this matrix is doubly stochastic, satisfies $r_1=Tp$, all components of $r_1$ before position $j$ and after position $k$ are equal to those of $p$, but at least one of the components at position $j$ or $k$ became equal to the corresponding component in $q$. By repeating this construction with $r_1,r_2,...$ etc. we get the matrices $T_2,T_3,\ldots T_k$.

See also