“…The form of the matrix H (x, γ ) and Theorem 1 in Tanabe and Sagae (1992) show that H (x, γ ) is symmetric positive definite with 0 < λ min (H (x, γ )) ≤ λ max (H (x, γ )) < 1, which implies that H (x, γ ) ≥ λ min (H (x, γ )) I J and λ min (H (x, γ )) ≥ det (H (x, γ )). These results and the exact Cholesky decomposition of H (x, γ ) give inf x∈X H (x, γ ) ≥ inf x∈X J t=0 L t (g −0 (x, γ )) I J , in a positive semidefinite sense.…”