1: \begin{abstract}

2: \emph{Brascamp-Lieb} inequalities \cite{brascamp1976best} is an important mathematical tool in analysis, geometry and information theory. There are various ways to prove Brascamp-Lieb inequality such as heat flow method \cite{bennett2008brascamp}, Brownian motion \cite{lehec2013short} and subadditivity of the entropy \cite{carlen2009subadditivity}. While Brascamp-Lieb inequality is originally stated in Euclidean Space, \cite{christ2013optimal} discussed Brascamp-Lieb inequality for discrete Abelian group and \cite{barthe2010correlation} discussed Brascamp-Lieb inequality for Markov semigroups.

3: 

4: Many mathematical inequalities can be formulated as algebraic inequalities which asserts some given polynomial is nonnegative. In 1927, Artin proved that any nonnegative polynomial can be represented as a sum of squares of rational functions \cite{delzell1984continuous}, which can be further formulated as a polynomial certificate of the nonnegativity of the polynomial. This is a \emph{Sum-of-Square proof} of the inequality. 

5: %Take the degree of the polynomial certificate as the \emph{degree} of Sum-of-Square proof. The degree of an Sum-of-Square proof determines the complexity of generating such proof by 

6: The Sum-of-Square proof can be captured by 

7: \emph{Sum-of-Square algorithm} which is a powerful tool for optimization and computer aided proof. For more about Sum-of-Square algorithm, see \cite{barak2014sum}. 

8: 

9: In this paper, we give a Sum-of-Square proof for some special settings of Brascamp-Lieb inequality following \cite{christ2015holder} and \cite{bennett2008brascamp} and discuss some applications of Brascamp-Lieb inequality on Abelian group and Euclidean Sphere. If the original description of the inequality has constant degree and $d$ is constant, the degree of the proof is also constant. Therefore, low degree sum of square algorithm can fully capture the power of low degree finite Brascamp-Lieb inequality. 

10: \end{abstract}

11: