727c9f17a85a5040.tex
1: \begin{definition}\label{def:rcm}
2: Inspired by Proposition \ref{diff-alpha-majorize-beta}, \ref{majorize-alpha} and Theorem \ref{thm:conv-AI}, we consider a partial order on $\cA$ called the \textit{reverse-coupled majorization order} $\rcm$ that is generated by the following relations between $\vectpair{x_1}{y_1}$ and $\vectpair{x_2}{y_2}$:
3: \begin{enumerate}
4: % \item[(i)] \begin{equation}
5: % \vectpair{x_1}{y_1} \geq^a \vectpair{x_2}{y_2} 
6: % \end{equation}
7: 
8: \item[(i)] $\exists 1\leq i < j\leq n$, such that \begin{equation}\label{eqn:reverse_pair}
9: (y_{2j} - y_{2i})(x_{2j} - x_{2i}) \leq 0
10: \end{equation}
11: And
12: \begin{align*}
13: & (x_{1i}, x_{1j}) \prec (x_{2i}, x_{2j}), \quad x_{1m} = x_{2m}, m\neq i, j;\\
14: & \ovr{y_1} = \ovr{y_2} \numberthis \label{eqn:rcm-1}
15: \end{align*}
16: 
17: \item[(ii)] Under condition \eqref{eqn:reverse_pair}, 
18: \begin{align*}
19: & (y_{1i}, y_{1j}) \prec (y_{2i}, y_{2j}), \quad y_{1m} =y_{2m}, m\neq i, j;\\
20: & \ovr{x_1} = \ovr{x_2}  \numberthis \label{eqn:rcm-2}
21: \end{align*}
22: \end{enumerate}
23: 
24: Define $\vectpair{x_1}{y_1}\rcm\vectpair{x_2}{y_2}$ if we can find finitely many elements $\vectpair{\phi_i}{\psi_i}\in \cA$, $i=1,2,\ldots, k$ such that $\vectpair{x_1}{y_1} = \vectpair{\phi_1}{\psi_1}$, $\vectpair{x_2}{y_2} = \vectpair{\phi_k}{\psi_k}$; and $\vectpair{\phi_i}{\psi_i}$, $(\ovr{\phi}_{i+1}, \ovr{\psi}_{i+1})$, $i=1,\ldots, k-1$ satisfy one of the above relations (i-ii).
25: 
26: In addition, consider
27: \begin{enumerate}
28: \item[(iii)]
29: \[x_{1i} \leq x_{2i},\quad i=1,\ldots, n; \quad \ovr{y_1} = \ovr{y_2}\]
30: %\[ \]
31: 
32: \item[(iv)]
33: \[y_{1i} \geq y_{2i},\quad i=1,\ldots, n; \quad \ovr{x_1} = \ovr{x_2} \]
34: %\[\]
35: \end{enumerate}	
36: 
37: We call a partial ordering generated by $\rcm$ together with relations (iii-iv) the \textit{reverse-coupled weakly sub-sup majorization order}, denoted by $\vectpair{x_1}{y_1}\wrcm \vectpair{x_2}{y_2}$. 
38: \end{definition}