Anzi, pensandoci bene il codice di Alberto è un po’ troppo sporco perché devi andare a mano con \hspace e poi la minipage è un po’ sprecata e poi non ha senso mettere \small se poi si usa \displaystyle
Prova così
`\par\noindent
\hbox to \linewidth{\hss\xymatrix@C-2pc{
0 \ar[d] & L – l \ar[d] & \\
X_{t_2 + L – l}(R + h) = \ar[d]_{d_{R+h}^l} & \bigg\{ X_{(L-l,l),0}^{(t_2 + 1,1,\ldots,1)}(R+t_1+l) \bigg\} \ar[d] & \\
X_{t_2 + L – l}(R + h – 1) = \ar[d] & \bigg\{\displaystyle \sum_{i + s = R + h – 1} \sum^{L-l}_{\substack{|h| = i \\ |h| \geq l}} X_{(|h|,l), L-|h|-l}^{(t_2 + h_1,h_2, \ldots, h_i)}(1) \bigg\} \ar[d] & \\
\vdots \ar[d] & \vdots \ar[d] & \\
X_{t_2 + L – l}(R + t_1 + l + 1) = \ar[d] & \bigg\{ \displaystyle \sum_{i + s = R + t_1 + l – 1} \sum^{L-l}_{\substack{|h| = i \\ |h| \geq l}} X_{(|h|,l), L-|h|-l}^{(t_2 + h_1,h_2, \ldots, h_i)}(1) \ar[d] & + & \displaystyle \sum^{L – l}_{h = l} X_{(h,l)}^{t_2 + h}(R + t_1 + l) \bigg\} \\
\vdots \ar[d] & \vdots \ar[d] & \\
X_{t_2 + L – l}(3) = \ar[d]_{d_3^l} & \bigg\{ \displaystyle \sum^{L – l}_{|h| = l} X_{(|h|, l), L – l – |h|}^{(t_2 + h_1, h_2, h_3)}(0) \ar[dr] & \oplus & \displaystyle \sum^{L – l}_{|h| = l} X_{(|h|, l), L – l – |h|}^{(t_2 + h_1, h_2)}(1) \ar[dll] \ar[d] & \oplus \displaystyle \sum_{|h| = l} X_{(|h|, l), L – l – |h|}^{(t_2 + h)}(2) \bigg\} \ar@{.>}[dlll] \\
X_{t_2 + L – l}(2) = \ar[d]_{d_2^l} & \bigg\{ \displaystyle \sum^{L – l}_{h = l} X_{(h, l), L – h – l}^{(t_2 + h)}(1) \ar[d] & \oplus & \displaystyle \sum^{L – l}_{|h| = l} X_{(|h|, l), L – l – |h|}^{(t_2 + h_1, h_2)}(0) \bigg\} \ar[dll] \\
X_{t_2 + L – l}(1) = & \bigg\{ \displaystyle \sum_{h = l}^{L – l}X_{(h,l), L – l – h}^{t_2 + h} \bigg\} & }\hss}`
dove ho tolto small e lasciato displaystyle, oppure così:
`\par\noindent
\hbox to \linewidth{\hss\small\xymatrix@C-2pc{
0 \ar[d] & L – l \ar[d] & \\
X_{t_2 + L – l}(R + h) = \ar[d]_{d_{R+h}^l} & \bigg\{ X_{(L-l,l),0}^{(t_2 + 1,1,\ldots,1)}(R+t_1+l) \bigg\} \ar[d] & \\
X_{t_2 + L – l}(R + h – 1) = \ar[d] & \bigg\{ \sum\limits_{i + s = R + h – 1} \sum\limits^{L-l}_{\substack{|h| = i \\ |h| \geq l}} X_{(|h|,l), L-|h|-l}^{(t_2 + h_1,h_2, \ldots, h_i)}(1) \bigg\} \ar[d] & \\
\vdots \ar[d] & \vdots \ar[d] & \\
X_{t_2 + L – l}(R + t_1 + l + 1) = \ar[d] & \bigg\{ \sum\limits_{i + s = R + t_1 + l – 1} \sum\limits^{L-l}_{\substack{|h| = i \\ |h| \geq l}} X_{(|h|,l), L-|h|-l}^{(t_2 + h_1,h_2, \ldots, h_i)}(1) \ar[d] & + & \sum\limits^{L – l}_{h = l} X_{(h,l)}^{t_2 + h}(R + t_1 + l) \bigg\} \\
\vdots \ar[d] & \vdots \ar[d] & \\
X_{t_2 + L – l}(3) = \ar[d]_{d_3^l} & \bigg\{ \sum\limits^{L – l}_{|h| = l} X_{(|h|, l), L – l – |h|}^{(t_2 + h_1, h_2, h_3)}(0) \ar[dr] & \oplus & \sum\limits^{L – l}_{|h| = l} X_{(|h|, l), L – l – |h|}^{(t_2 + h_1, h_2)}(1) \ar[dll] \ar[d] & \oplus \sum\limits_{|h| = l} X_{(|h|, l), L – l – |h|}^{(t_2 + h)}(2) \bigg\} \ar@{.>}[dlll] \\
X_{t_2 + L – l}(2) = \ar[d]_{d_2^l} & \bigg\{ \sum\limits^{L – l}_{h = l} X_{(h, l), L – h – l}^{(t_2 + h)}(1) \ar[d] & \oplus & \sum\limits^{L – l}_{|h| = l} X_{(|h|, l), L – l – |h|}^{(t_2 + h_1, h_2)}(0) \bigg\} \ar[dll] \\
X_{t_2 + L – l}(1) = & \bigg\{\sum\limits_{h = l}^{L – l}X_{(h,l), L – l – h}^{t_2 + h} \bigg\} & }\hss}`
dove ho lasciato \small, tolto \displaystyle e usato \sum\limits.
Tra l’altro, con \hbox e \hss non hai nemmeno i messaggi di overfull \hbox, anche se il grafico sfora i margini. Se lo vuoi un po’ più piccolo sostituisci \small con \footnotesize o con \scriptsize. Anzi dico che con \scriptsize è quasi perfetto.
Ciao
Andrea