\section{Introduction}
  The Ricci curvature is one of the most important concepts in Riemannian geometry. In space physics, Ricci-flat manifolds represent vacuum solutions to an analogue of Einstein's equation for Riemannian manifolds with vanishing cosmological constant. They are used in the theory of general relativity. In mathematics, Calabi-Yau manifolds are Ricci-flat and can be applied to the superstring theory. There are some definitions of generalized Ricci curvature, and Ollivier's coarse Ricci curvature is one of them (see \cite{Ol1}, \cite{Ol2}). It is formulated in terms of the Wasserstein distance on a metric space $(X, d)$ with a random walk $m$. The coarse Ricci curvature is defined as, for $x, y \in X$, 
  \begin{eqnarray*}
  \kappa(x, y) := 1 - \cfrac{W(m_{x}, m_{y})}{d(x, y)},
  \end{eqnarray*}
  where $m_{x}$ and $m_{y}$ are probability measures and $W$($m_{x}, m_{y}$) is the $1$-Wasserstein distance between $m_{x}$ and $m_{y}$. \\
　On the other hand, the graph theory is used to model many types of relations and processes in physical, biological, social and information systems (see \cite{Wa1}, \cite{Wat1}, \cite{Wu1}). A graph $G =(V, E)$ is a pair of the set $V$ of vertices and the set $E$ of edges. If each edge is represented as an ordered pair of vertices, $G$ is called a directed graph. \\
　Lin-Lu-Yau modified Ollivier's definition of coarse Ricci curvature and defined the Ricci curvature on undirected graphs in \cite{Yau1}. In this paper, we define the Ricci curvature on {\em directed} graphs based on Lin-Lu-Yau's definition and calculate it on some directed graphs. As a main result, we prove some properties about Ricci curvature on directed graphs(see [Propositon \ref{kantoro} and Proposition \ref{Yamada1}]), and find conditions of a directed regular graph being Ricci-flat (see [Theorem \ref{main}]).
\section{Properties of Ricci curvature on directed graphs}
 \subsection{Ricci curvature on directed graphs}
  Throughout the paper, let $G=(V, E)$ be a directed graph. For $x, y \in V$, we write $(x, y)$ as an edge from $x$ to $y$.  We denote the set of vertices of $G$ by $V(G)$ and the set of edges by $E(G)$.
  \begin{definition}
  \begin{enumerate}
  \renewcommand{\labelenumi}{(\arabic{enumi})}
   \item A {\em directed path} from vertex $x$ to vertex $y$ is a sequence of edges\\ $(a_{0}, a_{1}), (a_{1}, a_{2}), \cdots ,(a_{n-2}, a_{n-1}), (a_{n-1}, a_{n})$, where $x = a_{0}$, $a_{n} = y$, and $n \geq 1$. We call $n$ the {\em length} of the path.
   \item The {\em distance} $d(x, y)$ between two vertices $x, y \in V$ is the length of a shortest path from $x$ to $y$.
   \end{enumerate}
  \end{definition}
  \begin{remark}
  If $G$ is strongly connected(i.e., there always exists a directed path for any two vertices), the distance satisfies finiteness. The distance function satisfies positivity and triangle inequality, but symmetry is not necessarily satisfied.
  \end{remark}
    \begin{definition}
    \begin{enumerate}
      \renewcommand{\labelenumi}{(\arabic{enumi})}
      \item For any $x \in V$, the {\em neighborhood} of $x$ is defined as
   \begin{eqnarray*}
   \Gamma(x) := \Gamma^{\mathrm{in}}(x) \cup \Gamma^{\mathrm{out}}(x),
   \end{eqnarray*}
   where $\Gamma^{\mathrm{in}}(x) := \left\{y \mid (y, x) \in E \right\}$ and 
   $\Gamma^{\mathrm{out}}(x) := \left\{y \mid (x, y) \in E \right\}$.
  \item For all $x \in V$, 
   \begin{enumerate}
     \renewcommand{\labelenumii}{(\roman{enumii})}
      \item The {\em degree} of $x$, denoted by $d_{x}$, is the number of edges connecting $x$. i.e., $d_{x} = |\Gamma(x)|$.
     \item The {\em in-degree} of $x$, denoted by $d_{x}^{\mathrm{in}}$, is the number of edges with $x$ as their terminal vertex. i.e., $d_{x}^{\mathrm{in}} = |\Gamma^{\mathrm{in}}(x)|$.
     \item The {\em out-degree} of $x$, denoted by $d_{x}^{\mathrm{out}}$, is the number of edges with $x$ as their initial vertex. i.e., $d_{x}^{\mathrm{out}} = |\Gamma^{\mathrm{out}}(x)|$.
   \end{enumerate}
   \item $G$ is a {\em regular graph} if every vertex has the same degree.
   \end{enumerate}
  \end{definition}
  \begin{definition}
  For a finite graph $G$, the {\em adjacency matrix} is defined by the following elements. 
  \begin{eqnarray*}
   a_{i,j}=
   \begin{cases}
    1, & (v_{i}, v_{j}) \in E,\\
    0, & (v_{i}, v_{j}) \not \in E,\\
   \end{cases}
  \end{eqnarray*}
  where $V(G)=\left\{v_{1}, v_{2}, \cdots, v_{n} \right\}$.
  \end{definition}
 In this paper, we assume that a directed graph $G$ has the following properties.
 \begin{enumerate}
   \renewcommand{\labelenumi}{(\arabic{enumi})}
  \item Locally finiteness (every vertex has finite degree)
  \item Simpleness (no loops and no multi-edges)
  \item Strongly connectedness 
 \end{enumerate}

   \begin{definition}
  For any vertex $x \in V(G)$ and any $\alpha \in [0,1]$, a {\em probability measure} $m_{x}^{\alpha}$ is defined as
   \begin{eqnarray*}
    m_{x}^{\alpha}(v) = 
    \begin{cases}
    \alpha + \cfrac{1 - \alpha}{d_{x}}d_{x}^{\mathrm{in}}, & v = x, \\
    \cfrac{1 - \alpha}{d_{x}}, & (x, v) \in E, \\
    0, & \mathrm{\mathrm{otherwise}}.
    \end{cases}
   \end{eqnarray*}
  \end{definition} 
  For $m_{x}^{\alpha}$ and $m_{y}^{\alpha}$, the 1-Wasserstein distance between $m_{x}^{\alpha}$ and $m_{y}^{\alpha}$ is written by
   \begin{eqnarray*}
   W(m_{x}^{\alpha}, m_{y}^{\alpha}) = \inf_{A} \sum_{u, v \in V}A(u, v)d(u, v),
   \end{eqnarray*}
    where $A : V \times V \to [0, 1]$ runs over all maps satisfying 
     $\begin{cases}
      \sum_{v \in V}A(u, v) = m_{x}^{\alpha}(u),\\
      \sum_{u \in V}A(u, v) = m_{y}^{\alpha}(v).
     \end{cases}$
     The map $A$ is called a {\em coupling} between $m_{x}^{\alpha}$ and $m_{y}^{\alpha}$. 
   \begin{definition}
   \label{Ricci}
    For any $x, y \in V$, the {\em $\alpha$-Ricci curvature} of $x$ and $y$ is defined as
   \begin{eqnarray*}
    \kappa_{\alpha}(x, y) =  1 - \cfrac{W(m_{x}^{\alpha}, m_{y}^{\alpha})}{d(x, y)}.
   \end{eqnarray*}
  \end{definition}
  \begin{proposition}
  \label{concave}
  For any two vertices $x$ and $y$, $\kappa_{\alpha}(x, y)$ is concave in $\alpha \in [0, 1)$.
  \end{proposition}
  The proof is similar to the case of undirected graphs \cite{Yau1} and is omitted.
  \begin{proposition}
   \label{kantoro}
   For any two vertices $x$ and $y$, we have
   \begin{eqnarray}
    W(m_{x}^{\alpha}, m_{y}^{\alpha}) \geq \sup_{f \in F(G)} \sum_{z \in V}f(z)(m_{x}^{\alpha}(z)-m_{y}^{\alpha}(z)), \nonumber
    \end{eqnarray}
    where $F(G) := \left\{ f : V(G) \to \mathbb{R} \mid f(u) - f(v) \leq d(u, v) \right\}$.
    \end{proposition}
    \begin{proof}
    For any coupling $A$ between $m_{x}^{\alpha}$ and $m_{y}^{\alpha}$, we have
     \begin{eqnarray}
     \label{duality}
      \sum_{u, v \in V}A(u, v)d(u, v) & \geq & \sum_{u, v \in V}A(u, v)(f(u) - f(v)) \nonumber \\
      & = & \sum_{u \in V}f(u)\sum_{v \in V}A(u, v) - \sum_{v \in V}f(v)\sum_{u \in V}A(u, v) \nonumber \\
      & = & \sum_{u \in V}f(u)m_{x}^{\alpha}(u) - \sum_{v \in V}f(v)m_{y}^{\alpha}(v). 
     \end{eqnarray}
     Since the left-hand side does not depend on $f$ and the right-hand side does not depend on $A$, the proof is completed.
     \end{proof}
     \begin{remark}
      The proposition \ref{kantoro} is the weak version of Kantorovich and Rubinstein duality. 
     \end{remark}
       We can decompose $\Gamma^{\mathrm{out}}(y)$ into the following.
   \begin{eqnarray*}
     \Gamma_{x}^{k}(y) & = & \left\{v \in \Gamma^{\mathrm{out}}(y) \mid d(x, v) = d(x, y) - k \right\}, \\
     \Gamma_{x}^{+}(y) & = & \left\{v \in \Gamma^{\mathrm{out}}(y) \mid d(x, v) = d(x, y) + 1 \right\},
    \end{eqnarray*}
	where for all $0 \leq k \leq d(x, y)$.
  \begin{proposition}
     \label{Yamada1}
  For any two distinct vertices $x, y$, we have
   \begin{eqnarray}
   \displaystyle \kappa_{\alpha}(x, y) \leq \frac{1 - \alpha}{d(x, y)}\left\{\frac{1}{d_{y}}\left( \sum_{k = 1}^{d(x, y) - 1} k |\Gamma_{x}^{k}(y)| - |\Gamma_{x}^{+}(y)|\right) + \frac{d_{x}^{\mathrm{out}}}{d_{x}} \right\} ,
   \end{eqnarray}
   \end{proposition}
    \begin{proof}
    For a fixed $x \in V$, we define $f(z) := - d(x, z)$. Then it follows that
     \begin{eqnarray*}
     f(z) - f(w) & = & - d(x, z) + d(x, w) \\
     & \leq & d(z, w). \nonumber
     \end{eqnarray*}
     Thus, $f \in F(G)$ holds. By Proposition \ref{kantoro}, we have
      \begin{eqnarray*}
      W(m_{x}^{\alpha}, m_{y}^{\alpha}) & \geq & \sum_{z \in V}d(x, z)(m_{y}^{\alpha}(z) - m_{x}^{\alpha}(z)) \\
      & = & d(x, y)(\alpha + \frac{1 - \alpha}{d_{y}}d_{y}^{\mathrm{in}}) + \sum_{k = 0}^{d(x, y) - 1}(d(x, y) -     k)|\Gamma_{x}^{k}(y)|\frac{1 - \alpha}{d_{y}}\\
      & \ & + (d(x, y) + 1)|\Gamma_{x}^{+}(y)|\frac{1 - \alpha}{d_{y}} - \frac{d_{x}^{\mathrm{out}}}{d_{x}}(1 - \alpha)\\
      & = & d(x, y)(\alpha + \frac{1 - \alpha}{d_{y}}d_{y}^{\mathrm{in}}) - \frac{1 - \alpha}{d_{x}}d_{x}^{\mathrm{out}} \\
      & \ & + d(x, y) \frac{1 - \alpha}{d_{y}}d_{y}^{\mathrm{out}} - \frac{1 - \alpha}{d_{y}}\left( \sum_{k = 1}^{d(x, y) - 1}k |\Gamma_{x}^{k}(y)| - |\Gamma_{x}^{+}(y)| \right) \\
      & = & d(x, y) - \frac{1 - \alpha}{d_{y}}\left( \sum_{k = 1}^{d(x, y) - 1}k |\Gamma_{x}^{k}(y)| - |\Gamma_{x}^{+}(y)|\right) - \frac{1 - \alpha}{d_{x}}d_{x}^{\mathrm{out}}.
     \end{eqnarray*}
     This proves the proposition.
    \end{proof}
    \begin{remark}
    Proposition \ref{concave} implies that $h(\alpha) = \kappa_{\alpha}(x, y)/(1 - \alpha)$ is a monotone increasing function in $\alpha \in [0, 1)$ (the detail is written in the proof of Lemma 2.1 in \cite{Yau1}). Proposition \ref{Yamada1} implies that $h(\alpha)$ is bounded. Thus, the limit $\kappa(x, y) = \lim_{\alpha \to 1} \kappa_{\alpha}(x, y) / (1 - \alpha)$ exists.
    \end{remark}
    \begin{definition}
      For any $x, y \in V$, the {\em Ricci curvature} of $x$ and $y$ is defined as
   \begin{eqnarray*}
    \kappa(x, y) = \lim_{\alpha \to 1}\cfrac{\kappa_{\alpha}(x, y)}{1 - \alpha}.
   \end{eqnarray*}
   \end{definition}
   Whenever we are interested in the lower bound of Ricci curvature, the following lemma implies that it is sufficient to only consider the Ricci curvature for the edge although the Ricci curvature is defined by the pair of vertices.
\begin{proposition}
 If $\kappa(u, v) \geq \kappa_{0}$ for any edge $(u, v) \in E(G)$, then $\kappa(x, y) \geq \kappa_{0}$ for any pair of vertices $(x, y)$ such that there exists a directed path from $x$ to $y$.
\end{proposition}
\begin{proof}
Suppose $d(x, y)=n$ and there exists a path $P$ of length $n$ from $x$ to $y$. For $\alpha \in [0, 1)$, we have
 \begin{eqnarray*}
  \cfrac{\kappa_{\alpha}(x, y)}{1 - \alpha} &=& \cfrac{1}{1- \alpha}\left\{1 - \cfrac{W(m^{\alpha}_{x}, m^{\alpha}_{y})}{d(x, y)} \right\}\\
  &\geq& \cfrac{1}{1- \alpha}\left\{1 - \cfrac{\sum_{i=1}^{n}W(m^{\alpha}_{a_{i-1}}, m^{\alpha}_{a_{i}})}{n} \right\}\\
  &=& \cfrac{\sum_{i=1}^{n}\kappa_{\alpha}(a_{i-1}, a_{i})}{n(1- \alpha)}.
 \end{eqnarray*}
 We take the limit of both hand sides as $\alpha \to 1$, and we obtain
 \begin{eqnarray*}
  \kappa(x, y) \geq \kappa_{0}.
 \end{eqnarray*}
\end{proof}
     If $\kappa(x, y) = r$ holds for some constant $r \in \mathbb{R}$ and  all edges $(x, y) \in E$, we say that $G$ is a {\em graph of constant Ricci curvature}, and denote $\kappa(G) = r$. If $r$ = 0, we say that $G$ is {\em Ricci-flat}.
     \begin{remark}
     On the Ricci-flat graph, for two vertices $x$, $y$ that are connected by a path from $x$ to $y$, it is not necessary to satisfy $\kappa(x, y) = 0$. Example \ref{cycle} is one of such examples.
     \end{remark}
 \subsection{Examples}

 In this section, we treat some graphs on that a specific orientation is given, and calculate the Ricci curvature.
  \begin{example}[Complete graph $K_{n}$]
   We consider a complete graph that is oriented by the following adjacency matrix $A_{n}$. 
   If $n$ is odd ($n = 2m + 1$), then elements of the adjacency matrix $A_{n}$ are given as follows:
       \begin{eqnarray*}
    \begin{cases}
     a_{1,j}=1, & j \in \left\{2, \cdots, m+1 \right\},\\
     a_{1,j}=0, & j \in \left\{m+2, \cdots, 2m+1 \right\},\\
     a_{i, j}=1, & i \in \left\{2, \cdots, m+1 \right\}, j \in \left\{1+i, \cdots, m+i \right\},\\
     a_{i, j}=0, & i \in \left\{2, \cdots, m+1 \right\}, j \not \in \left\{1+i, \cdots, m+i \right\},\\
     a_{i, j}=1, & i \in \left\{m+2, \cdots, 2m \right\}, j \in \left\{1+i, \cdots, 2m+1 \right\} \cup \left\{1, \cdots, i-m \right\},\\
     a_{i, j}=0, & i \in \left\{m+2, \cdots, 2m \right\}, j \not \in \left\{1+i, \cdots, 2m+1 \right\} \cup \left\{1, \cdots, i-m \right\},\\
     a_{2m+1, j}=1, & j \in \left\{1, \cdots, m \right\}, \\
     a_{2m+1, j}=0, & j \in \left\{m+1, \cdots, 2m+1 \right\}.
    \end{cases}
   \end{eqnarray*}
    For instance, $A_{3}$, $A_{5}$, $A_{7}$ are given by
      \begin{eqnarray*}
    A_{3}=\left( \begin{array}{ccc}
0 & 1 & 0  \\
0 & 0 & 1  \\
1 & 0 & 0  \\
\end{array} \right),
    A_{5}=\left( \begin{array}{ccccc}
0 & 1 & 1 & 0 & 0 \\
0 & 0 & 1 & 1 & 0 \\
0 & 0 & 0 & 1 & 1 \\
1 & 0 & 0 & 0 & 1 \\
1 & 1 & 0 & 0 & 0 \\
\end{array} \right),
    A_{7}=\left( \begin{array}{ccccccc}
0 & 1 & 1 & 1 & 0 & 0 & 0 \\
0 & 0 & 1 & 1 & 1 & 0 & 0 \\
0 & 0 & 0 & 1 & 1 & 1 & 0 \\
0 & 0 & 0 & 0 & 1 & 1 & 1 \\
1 & 0 & 0 & 0 & 0 & 1 & 1 \\
1 & 1 & 0 & 0 & 0 & 0 & 1 \\
1 & 1 & 1 & 0 & 0 & 0 & 0 \\
\end{array} \right).
   \end{eqnarray*}
      If $n$ is even ($n = 2m$), then we take away the ($2m+1$)-th row and column from $A_{2m+1}$.\\
   The Ricci curvature depends on the edge, and the value is either one of the following.\\
   ・Case $K_{n} = K_{2m + 1}$
\begin{eqnarray*}
\kappa(x, y) \in
\left\{ 0,\ \cfrac{1}{2m},\ \cdots ,\ \cfrac{m - 1}{2m} \right\}.
\end{eqnarray*}
・Case $K_{n} = K_{2m}$
\begin{eqnarray*}
\kappa(x, y) \in
\left\{ \cfrac{1}{2m - 1},\ \cdots ,\ \cfrac{m - 1}{2m - 1} \right\}.
\end{eqnarray*}
  \end{example}
  \begin{example}[Cycle $C_{n}$]
  \label{cycle}
  We consider a cycle that is oriented as follows.\\
  Let $V(C_{n}) = \left\{x_{1}, x_{2}, \cdots, x_{n} \right\}$. For any $i \in \left\{1, 2, \cdots, n-1 \right\}$,
     $(x_{i}, x_{i + 1}) \in E(C_{n})$ and $(x_{n}, x_{1}) \in E(C_{n})$.
   This is Ricci-flat, namely, 
   \begin{eqnarray*}
    \kappa(x, y) = 0,\ \mathrm{for\ any}\ (x, y) \in E(C_{n}).
   \end{eqnarray*}
     \end{example}
     \begin{remark}
     The cycle in example \ref{cycle} is called a {\em directed cycle}.
     \end{remark}
  \begin{example}[Tree $T$]
  In general, a tree cannot be oriented satisfying strongly connected. However, if we consider a tree which is oriented so that for any $v \in V(T)$, $d_{v}^{\mathrm{out}} = 1$, we can calculate the Ricci curvature on any edges.
   Then the Ricci curvature is given by
   \begin{eqnarray*}
    \kappa(x, y) = \cfrac{1}{d_{x}} - \cfrac{1}{d_{y}},\ \mathrm{for\ any}\ (x, y) \in E(T).
   \end{eqnarray*} 
     \end{example}
   \begin{remark}
   A tree $T$ is Ricci-flat if and only if $T$ is a regular tree.
   \end{remark}
  \begin{figure}[H]
     \begin{center} 
     \includegraphics[scale=0.35]{example.eps}
     \end{center}
      \label{Tree}
    \end{figure}
    \vspace{-10mm}
    \hspace{40pt}Complete graph $K_{5}$ \hspace{40pt}Cycle $C_{5}$ \hspace{40pt} Regular tree $T_{3}$
    \newpage
 \subsection{Main theorem}
  \begin{theorem}
  \label{main}
  Let $G$ be a directed strongly connected $d$-regular graph.\\
  Assume that $G$ satisfies the following condition,
  \begin{enumerate}
    \renewcommand{\labelenumi}{$(\alph{enumi})$}
    \setlength{\itemsep}{0cm}
  \item for any $(x, y) \in E(G)$, $\Gamma^{\mathrm{out}}(x) \cap \Gamma^{\mathrm{out}}(y) = \emptyset, $
  \end{enumerate}
  Then we have the following claims:
  \begin{enumerate}
  \setlength{\itemsep}{0cm}
  \item there exists an edge $(x, y)$ of $G$ such that
  \begin{eqnarray*}
   \kappa(x, y) \leq 0.
  \end{eqnarray*}
  \item If $\kappa(x, y) \geq 0$ for any edges $(x, y)$ of $G$, $G$ is Ricci-flat.
  \item If $G$ is Ricci-flat, $G$ satisfies that the out-degree of $u$ is equal for any vertices $u$.
  \item If $G$ satisfies the following conditions:
\begin{enumerate}
\renewcommand{\labelenumii}{$(\arabic{enumii})$}
\setlength{\itemsep}{0cm}
 \item For any vertices $u$, the out-degree of $u$ is equal,
 \item For any edges $(u, v)$, there exists a bijective map $\phi$ : $\Gamma^{out}(u) \to \Gamma^{out}(v)$ such that $d(x, \phi(x)) = 1$ for any $x \in \Gamma^{out}(u)$.
\end{enumerate} 
 Then $G$ is Ricci-flat.
 \end{enumerate}
  \end{theorem}
   \begin{proof}
   Since $G$ is strongly connected, each vertex is contained some cycles on $G$. So, we take a directed cycle $C_{g}$ such that
    \begin{eqnarray*}
    V(C_{g}) := \left\{x_{1}, \cdots, x_{g} \right\},
   \end{eqnarray*}
   where $3 \leq g \leq |V(G)|$. Then we fix an edge $(x_{1}, x_{2}) \in E(C_{g})$ and calculate the Ricci curvature $\kappa(x_{1}, x_{2})$ according to the value of $d_{x_{1}}^{\mathrm{out}}.$\\
   
{\bf Case 1.} If $d_{x_{1}}^{\mathrm{out}} = 1$, the probability measures of $x_{1}$ and $x_{2}$ are given by
\begin{eqnarray*}
m_{x_{1}}^{\alpha}(v)=
\begin{cases}
\alpha + \cfrac{1 - \alpha}{d}(d- 1), &\mathrm{if}\  v = x_{1},\\
\cfrac{1 - \alpha}{d}, &\mathrm{if}\ v = x_{2},\\
0, & \mathrm{otherwise},
\end{cases}
m_{x_{2}}^{\alpha}(v)=
\begin{cases}
\alpha + \cfrac{1 - \alpha}{d}d_{x_{2}}^{\mathrm{in}}, &\mathrm{if}\ v = x_{2},\\
\cfrac{1 - \alpha}{d}, &\mathrm{if}\ (x_{2}, v) \in E,\\
0, & \mathrm{otherwise}.
\end{cases}
\end{eqnarray*}
We define a coupling $A$ between $m_{x_{1}}^{\alpha}$ and $m_{x_{2}}^{\alpha}$ by
\begin{eqnarray*}
A(u, v)=
\begin{cases}
\alpha + \cfrac{1 - \alpha}{d}d_{x_{2}}^{\mathrm{in}} - \cfrac{1 - \alpha}{d}, &\mathrm{if}\ u=x_{1}, v=x_{2}, \\
\cfrac{1 - \alpha}{d}, &\mathrm{if}\ u=x_{1}, v \in \Gamma^{\mathrm{out}}(x_{2}), \\
\cfrac{1 - \alpha}{d}, &\mathrm{if}\ u=v=x_{2},\\
0, & \mathrm{otherwise}.
\end{cases}
\end{eqnarray*}
Thus, the Wasserstein distance between them satisfies
\begin{eqnarray*}
W(m_{x_{1}}^{\alpha}, m_{x_{2}}^{\alpha}) & \leq & \alpha + \cfrac{1 - \alpha}{d}d_{x_{2}}^{\mathrm{in}} - \cfrac{1 - \alpha}{d} + 2 \cfrac{1 - \alpha}{d}d_{x_{2}}^{\mathrm{out}}\\
& = & \alpha + (1 - \alpha) + \cfrac{1 - \alpha}{d}d_{x_{2}}^{\mathrm{out}}  - \cfrac{1 - \alpha}{d}.\\
\end{eqnarray*}
Then we have
\begin{eqnarray}
\label{case1}
\kappa(x_{1}, x_{2}) \geq \frac{1}{d} - \frac{d_{x_{2}}^{\mathrm{out}}}{d}. 
\end{eqnarray}
On the other hand, we define a function  $f : V(G) \to \mathbb{R}$ by
\begin{eqnarray*}
f(v)=
\begin{cases}
1, &\mathrm{if}\ v = x_{1},\\
- 1, &\mathrm{if}\ v \in \Gamma^{\mathrm{out}}(x_{2}),\\
0, & \mathrm{otherwise}.
\end{cases}
\end{eqnarray*}
Since it is clear that $f \in F(G)$, we obtain by Proposition $\ref{kantoro}$
\begin{eqnarray}
W(m_{x_{1}}^{\alpha}, m_{x_{2}}^{\alpha}) \geq \alpha + \cfrac{1 - \alpha}{d}(d - 1) + \cfrac{1 - \alpha}{d}d_{x_{2}}^{\mathrm{out}}. \nonumber
\end{eqnarray}
Then we have
\begin{eqnarray}
\kappa(x_{1}, x_{2}) \leq \frac{1}{d} - \frac{d_{x_{2}}^{\mathrm{out}}}{d}, \nonumber 
\end{eqnarray}
and we obtain from (\ref{case1}),
\begin{eqnarray}
\label{new1}
\kappa(x_{1}, x_{2}) = \frac{1}{d} - \frac{d_{x_{2}}^{\mathrm{out}}}{d}. 
\end{eqnarray}

1.)\ Since $(x_{2}, x_{3})$ is an edge of $E(C_{g})$, we have $d_{x_{2}}^{\mathrm{out}} \geq 1$. Thus we obtain $\kappa(x_{1}, x_{2}) \leq 0$. 

2.)\ We suppose that $\kappa(x, y)$ for any edges $(x, y)$ of $G$. Then,
\begin{eqnarray}
\label{ricci-flat1}
d_{x_{2}}^{\mathrm{out}} = 1.
\end{eqnarray}
We can similarly calculate the Ricci curvature $\kappa(x_{2}, x_{3})$, $\kappa(x_{3}, x_{4})$, $\cdots$, $\kappa(x_{g}, x_{1})$. Then, we obtain
\begin{eqnarray}
\label{ricci-flat1}
d_{x_{i}}^{\mathrm{out}} = 1,
\end{eqnarray}
where $i \in \left\{1, 2, \cdots, g \right\}$. If $d_{x_{1}}^{\mathrm{in}} > 1$, then there exists $a_{i} \in V \setminus \left\{x_{i - 1} \right\}$ such that $(a_{i}, x_{i}) \in E$. Since $G$ is strongly connected, $G$ has to have a path from $x_{i}$ to $a_{i}$.( i.e., there has to exist a path from some vertices $x_{j}$ of $C_{g}$ to $a_{i}$.) However for all $i$, $d_{x_{i}}^{\mathrm{out}} = 1$. This is a contradiction. So, we obtain $d_u^{\mathrm{out}} = 1$ for any vertices $u$ of $G$, and the Ricci curvature on any edges of $G$ is zero. So, $G$ is Ricci-flat. 

3.)\ If we suppose $G$ is Ricci-flat, it holds the same result by the equation \ref{new1}. So, we obtain $d_u^{\mathrm{out}} = 1$ for any vertices $u$ of $G$.

4.)\ In this case, the claim 4 is clear by the equation \ref{new1}.\\
{\bf Case 2.}\ \ If $d_{x_{1}}^{\mathrm{out}} \geq 2$, then we write $d_{x_{1}}^{\mathrm{out}} = n_{1}, d_{x_{2}}^{\mathrm{out}} = n_{2}$. Then by the proposition \ref{Yamada1}, we have
\begin{eqnarray*}
\kappa(x_{1}, x_{2}) \leq \cfrac{1}{d}(n_{1} - n_{2}).
\end{eqnarray*}

1.)\ Suppose that $\kappa(x, y) > 0$ for any edges $(x, y)$ of $G$. We have $n_{1} > n_{2}$.
We can apply the same argument to the edges on $C_{g}$ and we suppose that $\kappa(x ,y) > 0$ for any edges $(x, y)$ of $G$. Then we obtain 
\begin{eqnarray}
n_{1} > n_{2} > n_{3} > \cdots > n_{g} > n_{1}, \nonumber
\end{eqnarray}
a contradiction. 

2.)\ We suppose that $\kappa(x, y)$ for any edges $(x, y)$ of $G$. By proposition \ref{Yamada1},
\begin{eqnarray*}
0 \leq \kappa(x_{1}, x_{2}) \leq \cfrac{1}{d}(n_{1} - n_{2}),
\end{eqnarray*}
so we have $n_{1} \geq n_{2}$. Applying the same argument to the edges on $C_{g}$ again, we obtain
\begin{eqnarray}
n_{1} \geq n_{2} \geq n_{3} \geq \cdots \geq n_{g} \geq n_{1}, \nonumber
\end{eqnarray}
which implies
\begin{eqnarray}
n := n_{1} = n_{2} = \cdots = n_{g}. \nonumber
\end{eqnarray}
Since $G$ is strongly connected (Each vertex is contained some cycles on $G$), we obtain $d_{u}^{\mathrm{out}}= n$ for any $u \in V(G)$. For any edges $(x, y)$ of $G$, by the proposition \ref{Yamada1}, 
\begin{eqnarray*}
0 \leq \kappa(x, y) \leq \cfrac{1}{d}(d_{x}^{\mathrm{out}} - d_{y}^{\mathrm{out}})= 0.
\end{eqnarray*}
Thus $G$ is Ricci-flat.

3.)\ if $G$ is $Ricci$-$flat$, by proposition \ref{Yamada1},
\begin{eqnarray*}
0 = \kappa(x_{1}, x_{2}) \leq \cfrac{1}{d}(n_{1} - n_{2}),
\end{eqnarray*}
so we have $n_{1} \geq n_{2}$. From the proof of claim 2, we obtain $d_{u}^{\mathrm{out}}= n$ for any $u \in V(G)$.

4.)\ We suppose that $G$ satisfies the conditions in the claim 4. Applying the condition (a) to the proposition \ref{Yamada1}, we have
\begin{eqnarray}
\label{eq1}
\kappa(x, y) \leq 0,
\end{eqnarray}
for any edges $(x, y)$ of $G$. On the other hand, we define a coupling $A$ between $m_{x}^{\alpha}$ and $m_{y}^{\alpha}$ by
\begin{eqnarray*}
A(u, v)=
\begin{cases}
\alpha + \cfrac{1 - \alpha}{d}d_{y}^{\mathrm{in}} - \cfrac{1 - \alpha}{d}, &\mathrm{if}\ u=x, v=y, \\
\cfrac{1 - \alpha}{d}, &\mathrm{if}\ u \in \Gamma^{\mathrm{out}}(x) \setminus \left\{ y \right\}, v =\phi(u), \\
\cfrac{1 - \alpha}{d}, &\mathrm{if}\ u=v=y,\\
\cfrac{1 - \alpha}{d}, &\mathrm{if}\ u=x, v=\phi(y),\\
0, & \mathrm{otherwise}.
\end{cases}
\end{eqnarray*}
where $\phi: \Gamma^{\mathrm{out}}(x) \to \Gamma^{\mathrm{out}}(y)$ is the bijective map satisfying the condition in the claim 4. So, we have $d(u, \phi(u)) = 1$. The Wasserstein distance between them satisfies
\begin{eqnarray*}
W(m_{x}^{\alpha}, m_{y}^{\alpha}) & \leq & \alpha + \cfrac{1 - \alpha}{d}d_{y}^{\mathrm{in}} - \cfrac{1 - \alpha}{d} + (n - 1) \cfrac{1 - \alpha}{d} + 2\cfrac{1 - \alpha}{d} \\
& \leq & \alpha + \cfrac{1 - \alpha}{d}d_{y}^{\mathrm{in}} + \cfrac{n(1 - \alpha)}{d} = 1.\\
\end{eqnarray*}
Thus we have
\begin{eqnarray}
\label{eq2}
\kappa(x, y) \geq 0.
\end{eqnarray}
Then we obtain $\kappa(x, y) = 0$, so $G$ is Ricci-flat.
 \end{proof}
In the case of $d_{u}^{\mathrm{out}}=1$, it is clear to classify directed graphs.
\begin{corollary}
Let $G$ be a directed graph satisfying the assumption as same as the theorem \ref{main} and satisfying   $d_{u}^{\mathrm{out}}=1$ for any vertices $u$. Then $G$ is Ricci-flat if and only if $G$ is a directed cycle.
\end{corollary}
In the case of $d_{u}^{\mathrm{out}}=2$, we need to proof the following proposition in order to classify  directed graphs.
\begin{proposition}
\label{out2}
Let $G$ be a directed graph satisfying the assumption as same as the theorem \ref{main} and satisfying   $d_{u}^{\mathrm{out}}=2$ for any vertices $u$. In addition, we assume that $G$ satisfies the following condition,
  \begin{enumerate}
    \renewcommand{\labelenumi}{$(\alph{enumi})$}
    \setcounter{enumi}{1}
    \setlength{\itemsep}{0cm}
    \item for any two adjacent edges $(x, y), (y, z)$ of each directed cycle, $\Gamma^{\mathrm{out}}(x) \cap \Gamma^{\mathrm{in}}(z) = \left\{ y \right\}.$
  \end{enumerate}
  Then $G$ is Ricci-flat if and only if $G$ satisfies the following conditions:
\begin{enumerate}
\renewcommand{\labelenumi}{$(\arabic{enumi})$}
\setlength{\itemsep}{0cm}
 \item For any vertices $u$, the out-degree of $u$ is equal,
 \item For any edges $(u, v)$, there exists a bijective map $\phi$ : $\Gamma^{out}(u) \to \Gamma^{out}(v)$ such that $d(x, \phi(x)) = 1$ for any $x \in \Gamma^{out}(u)$.
\end{enumerate} 
\end{proposition}
\begin{proof}
By the theorem \ref{main}, it is sufficient that we show the existence of the bijective map $\phi: \Gamma^{\mathrm{out}}(x_{1}) \to \Gamma^{\mathrm{out}}(x_{2})$ such that $d(x, \phi(x)) = 1$ for any $x \in \Gamma^{\mathrm{out}}(x_{1})$, if $G$ is Ricci-flat. So, We suppose that $G$ is Ricci-flat. Let $C_{g}$ be a directed cycle such that $V(C_{g}) := \left\{x_{1}, \cdots, x_{g} \right\}$, where $3 \leq g \leq |V(G)|$. For all $i \in \left\{1, 2, \cdots, g -1 \right\}$, there exist vertices $x'_{i}$ and $x'_{g}$ satisfying
\begin{eqnarray*}
\Gamma^{\mathrm{out}}(x_{i}) \setminus \left\{ x_{i + 1} \right\} = \left\{ x'_{i} \right\}
\end{eqnarray*}
and $\Gamma^{\mathrm{out}}(x_{g}) \setminus \left\{ x_{1} \right\} = \left\{ x'_{g} \right\}$, since $G$ satisfies the condition (1) of claim 4 in the theorem \ref{main}.We find the optimal transport $A_{0}$ between $m_{x_{1}}^{\alpha}$ and $m_{x_{2}}^{\alpha}$. It is clear that $A_{0}(x_{2}, x_{2}) = (1 - \alpha)/d$ and $A_{0}(x_{1}, x_{2}) = \alpha + (d - 2)(1 - \alpha)/d - (1 - \alpha)/d$, since we have $d(x_{1}, v) \geq 2$ for $v \in \Gamma^{\mathrm{out}}(x_{2})$ and $d(x'_{1}, x_{2}) \geq 2$ by the condition (a) in the theorem \ref{main}. Thus, in this case, 
\begin{eqnarray*}
\inf_{A} \sum_{u,v \in V}A(u, v)d(u, v) = \inf_{A'} \sum_{u,v \in V}A'(u, v)d(u, v),
\end{eqnarray*}
where $A'$ is a coupling between $m_{x_{1}}^{\alpha}$ and $m_{x_{2}}^{\alpha}$ satisfying $A'(x_{2}, x_{2}) = (1 - \alpha)/d$ and $A'(x_{1}, x_{2}) = \alpha + (d - 3)(1 - \alpha)/d$. We take a coupling $A'$ and we define $a :=A'(x_{1}, x'_{2})$, where $0 \leq a \leq (1 - \alpha)/d$. Then we can write $A'(x_{1}, x_{3}) = - a + (1 - \alpha)/d$, $A'(x'_{1}, x'_{2}) = - a +(1 - \alpha)/d$, and $A'(x'_{1}, x_{3}) = a$, since $A'$ is a coupling between $m_{x_{1}}^{\alpha}$ and $m_{x_{2}}^{\alpha}$. We calculate $\sum_{u,v \in V}A'(u, v)d(u, v)$ and we have 
\begin{eqnarray*}
\sum_{u,v \in V}A'(u, v)d(u, v)  &=& \alpha + (d - 3) \cfrac{1 - \alpha}{d} + 2 \cfrac{1 - \alpha}{d} + d(x'_{1}, x'_{2})(  - a + \cfrac{1 - \alpha}{d}) + d(x'_{1}, x_{3})a \\
&= & \alpha + (d - 1) \cfrac{1 - \alpha}{d} + d(x'_{1}, x'_{2}) \cfrac{1 - \alpha}{d} + a (d(x'_{1}, x_{3}) - d(x'_{1}, x'_{2})).
\end{eqnarray*}
Thus, if $d(x'_{1}, x'_{2}) \leq d(x'_{1}, x_{3})$, the minimum of the above equation is the case $a=0$. So, we obtain $A_{0}$ as follows.
\begin{eqnarray*}
A_{0} = 
\begin{cases}
\alpha + (d - 3)\cfrac{1 - \alpha}{d}, &\mathrm{if}\ u=x_{1}, v=x_{2}, \\
\cfrac{1 - \alpha}{d}, &\mathrm{if}\ u = x_{1}, v = x_{3}, \\
\cfrac{1 - \alpha}{d}, &\mathrm{if}\ u=v= x_{2},\\
\cfrac{1 - \alpha}{d}, &\mathrm{if}\ u=x'_{1}, v=x'_{2},\\
0, & \mathrm{otherwise}.
\end{cases}
\end{eqnarray*} 
Then the Ricci curvature is 
\begin{eqnarray*}
\kappa(x_{1}, x_{2}) = \cfrac{1}{d} - d(x'_{1}, x'_{2}) \cfrac{1}{d}.
\end{eqnarray*}
Since $G$ is Ricci flat, we obtain $d(x'_{1}, x'_{2}) = 1$. Thus if we choose $\phi_{0}(x_{2}) = 3$ and $\phi_{0}(x'_{1})=x'_{2}$, there exists the bijective map $\phi_{0}$ satisfying $d(x, \phi_{0}(x)) = 1$ for any $x \in \Gamma^{\mathrm{out}}(x_{1})$. On the other hand, if $d(x'_{1}, x'_{2}) > d(x'_{1}, x_{3})$, the minimum of the above equation is the case $a= (1 - \alpha)/d$. So, we obtain $A_{0}$ as follows.
\begin{eqnarray*}
A_{0} = 
\begin{cases}
\alpha + (d - 3)\cfrac{1 - \alpha}{d}, &\mathrm{if}\ u=x_{1}, v=x_{2}, \\
\cfrac{1 - \alpha}{d}, &\mathrm{if}\ u = x_{1}, v = x'_{2}, \\
\cfrac{1 - \alpha}{d}, &\mathrm{if}\ u=v= x_{2},\\
\cfrac{1 - \alpha}{d}, &\mathrm{if}\ u=x'_{1}, v=x_{3},\\
0, & \mathrm{otherwise}.
\end{cases}
\end{eqnarray*} 
Then the Ricci curvature is 
\begin{eqnarray*}
\kappa(x_{1}, x_{2}) = \cfrac{1}{d} - d(x'_{1}, x_{3}) \cfrac{1}{d}.
\end{eqnarray*}
Since $G$ is Ricci flat, we obtain $d(x'_{1}, x_{3}) = 1$. However, by the condition (b), there does not exist an edge $(x'_{1}, x_{3})$. This is a contradiction. 
\end{proof}
\begin{corollary}
Let $G$ be a directed graph satisfying the assumption as same as the proposition \ref{out2}. Then $G$ is Ricci-flat if and only if $G$ is the product of the directed cycles.
\end{corollary}
\begin{proof}
If we suppose that $G$ is the product of the directed cycles, it is easy to show that $G$ satisfies the conditions of the claim 3 in the theorem \ref{main}. So, the product of the directed cycles is Ricci-flat.

We suppose that $G$ is Ricci-flat. We define $C_{g}$, $x'_{i}$ and $x'_{g}$ as same as the proposition \ref{out2}. By the proposition \ref{out2}, there exists an edge $(x'_{i}, x'_{i+1})$ and $(x'_{g}, x'_{1})$ for $i \in \left\{1, \cdots, g - 1 \right\}$. So we obtain a subgraph $G'$ as follows.
\begin{eqnarray*}
V(G') &:=& \left\{ x'_{1}, x'_{2}, \cdots, x'_{g} \right\}, \\
E(G') &:=& \left\{(x'_{1}, x'_{2}), (x'_{2}, x'_{3}) \cdots, (x'_{g}, x'_{1}) \right\},
\end{eqnarray*}
i.e., $G'$ is a directed cycle. Since we have $d_{x'_{i}}^{\mathrm{out}}=2$ for any vertices of $G'$. So, the degree of $G$ is at least $4$.  We consider the case $d_{x_{1}}^{\mathrm{in}} = 2$, namely, $G$ is a 4-regular graph. For $j \in \left\{2, \cdots, g \right\}$, there exist vertices $x_{j}^{1}$ and $x_{1}^{1}$ satisfying $x_{j}^{1} \in \Gamma^{\mathrm{in}}(x_{j}) \setminus \left\{ x_{j - 1} \right\}$ and $x_{1}^{1} \in \Gamma^{\mathrm{in}}(x_{1}) \setminus \left\{ x_{g} \right\}$. For $\kappa(x_{1}^{1}, x_{1})$ to be zero, we obtain 3 patterns as follows.
\begin{enumerate}
\setlength{\itemsep}{0cm}
\item $x_{1}^{1} = x_{g}^{1}$.
\item There exists $y_{1} \in V \setminus \left\{x_{1} \right\}$ such that $(x_{1}^{1}, y_{1})$ and $(y_{1}, x'_{1}) \in E$.
\item There exists $(x_{1}^{1}, x_{2}^{1}) \in E$.
\end{enumerate}
In the first case, we have $x_{1} \in \Gamma^{\mathrm{out}}(x_{1}^{1}) \cap \Gamma^{\mathrm{out}}(x_{g})$. This contradicts the condition (a). 
In the second case, the degree of $x'_{1}$ is $5$. This is a contradiction.
In the third case, we obtain a subgraph $G^{1}$ as follows.
\begin{eqnarray*}
V(G^{1}) &:=& \left\{ x^{1}_{1}, x^{1}_{2}, \cdots, x^{1}_{g} \right\}, \\
E(G^{1}) &:=& \left\{(x^{1}_{1}, x^{1}_{2}), (x^{1}_{2}, x^{1}_{3}) \cdots, (x^{1}_{g}, x^{1}_{1}) \right\}
\end{eqnarray*}
i.e., $G^{1}$ is a directed cycle. Next, for a graph $G^{1}$, applying the same argument as $G$, we have a directed cycle $G^{2}$ $(V(G^{2}) = (x^{2}_{1}, x^{2}_{2}, \cdots, x^{2}_{g}))$. Repeating this, we obtain the following graph $G$. Since $G$ is strongly connected, there exists $h \in \mathbb{Z}$ such that $x_{i}^{h} = x'_{i}$, $G = C_{g} \times C_{h}$. \\
We consider the case $d_{x_{1}}^{\mathrm{in}} = m$ $(m \geq 2)$. There exists a vertex $x_{1}'' \in \Gamma^{\mathrm{in}}(x_{1}) \setminus (V(C_{g}) \cup V(C_{h}))$. Since $G$ is strongly connected, there exists a directed path from $x_{1}$ to $x_{1}''$. That is to say, there exists a vertex $x \in V(C_{g})\cup V(C_{h})$ such that $(x, y) \in E(G) \setminus (E(C_{g}) \cup E(C_{h}))$, and there exists a directed path from $y$ to $x_{1}''$. However, there already exist two edges from $x$, since $x$ is a vertex of directed cycles $C_{g}$ and $C_{h}$. So, the out-degree of $x$ is three. This is a contradiction. 
\end{proof}

\begin{remark}
In the case of undirected graphs, Lin-Lu-Yau classified the Ricci-flat graphs in \cite{Lin1}. In the present paper, we assume several conditions to find the conditions of a directed graph being the Ricci-flat, and we classify a directed graph in simple case. Without these conditions, cases to consider become too big, and it is hard to classify Ricci-flat graphs. My conjecture is that $G$ is Ricci-flat if and only if $G$ is the product of a directed cycles under the assumption of the theorem \ref{main}.
\end{remark}
