Kato's conjecture is a mathematical problem named after mathematician Tosio Kato, of the University of California, Berkeley. Kato initially posed the problem in 1953. Kato asked whether the square roots of certain elliptic operators, defined via functional calculus, are analytic. The full statement of the conjecture as given by Auscher et al. is: "the domain of the square root of a uniformly complex elliptic operator with bounded measurable coefficients in Rn is the Sobolev space H1(Rn) in any dimension with the estimate ".