Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
I don't know any general techniques to estimate the theta-function. However there are other, easier to compute, spectral lower bounds on chromatic number. In particular, see Theorem 5.2 of these notes: tinyurl.com/297vtgk
The De Bruijn–Erdős Theorem says that the chromatic number of an infinite graph (if it exists) is the maximum chromatic number of its finite subgraphs. Shelah and Soifer gave examples to suggest that the chromatic number of the plane might depend on set theoretic axioms. Here is an example of a coloring problem in the plane (with countably many colors), where the answer is equivalent to the Continuum Hypothesis: mathoverflow.net/questions/273/…