Abstract
Let k ≥ 1 be an integer and \(h = {\scriptsize \left[\begin{array} {cc} h(00) & h(01) \\ h(10) & h(11) \end{array}\right] }\), where h(01) = h(10), be a complex-valued (symmetric) function h on domain {0,1}. We introduce a new technique, called a syzygy, and prove a dichotomy theorem for the following class of problems, specified by k and h: Given an arbitrary k-regular graph G = (V, E), where each edge is attached the function h, compute Z(G) = ∑ σ: V → {0,1} ∏ {u,v} ∈ E h (σ(u), σ(v)). Z(·) is known as the partition function of the spin system, also known as graph homomorphisms on domain size two, and is a special case of Holant problems. The dichotomy theorem gives a complete classification of the computational complexity of this problem, depending on k and h. The dependence on k and h is explicit. We also extend this classification to graphs with deg(v), for all v ∈ V, belonging to a specified set of degrees.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baxter, R.: Exactly solved models in statistical mechanics. Academic Press, London (1982)
Bulatov, A.A.: A dichotomy theorem for constraint satisfaction problems on a 3-element set. J. ACM 53(1), 66–120 (2006)
Bulatov, A.A.: The complexity of the counting constraint satisfaction problem. Electronic Colloquium on Computational Complexity (ECCC) 14(093) (2007), http://eccc.hpi-web.de/eccc-reports/2007/TR07-093/index.html
Bulatov, A.A.: The complexity of the counting constraint satisfaction problem. In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part I. LNCS, vol. 5125, pp. 646–661. Springer, Heidelberg (2008)
Bulatov, A.A., Dalmau, V.: Towards a dichotomy theorem for the counting constraint satisfaction problem. Inf. Comput. 205(5), 651–678 (2007)
Bulatov, A.A., Grohe, M.: The complexity of partition functions. Theor. Comput. Sci. 348(2-3), 148–186 (2005)
Cai, J.Y., Chen, X.: A decidable dichotomy theorem on directed graph homomorphisms with non-negative weights. In: FOCS, pp. 437–446 (2010)
Cai, J.Y., Chen, X., Lu, P.: Graph homomorphisms with complex values: A dichotomy theorem. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010. LNCS, vol. 6198, pp. 275–286. Springer, Heidelberg (2010)
Cai, J.Y., Chen, X., Lu, P.: Non-negative weighted #CSPs: An effective complexity dichotomy, arXiv 1012.5659 (2010)
Cai, J.Y., Kowalczyk, M.: A dichotomy for k-regular graphs with {0, 1}-vertex assignments and real edge functions. In: Kratochvíl, J., Li, A., Fiala, J., Kolman, P. (eds.) TAMC 2010. LNCS, vol. 6108, pp. 328–339. Springer, Heidelberg (2010)
Cai, J.Y., Lu, P., Xia, M.: A computational proof of complexity of some restricted counting problems. Theor. Comput. Sci. 412(23), 2468–2485 (2011)
Creignou, N., Khanna, S., Sudan, M.: Complexity classifications of boolean constraint satisfaction problems. SIAM Monographs on Discrete Mathematics and Applications (2001)
Dyer, M., Richerby, D.: An effective dichotomy for the counting constraint satisfaction problem, arXiv 1003.3879 (2010)
Dyer, M.E., Goldberg, L.A., Jerrum, M.: The complexity of weighted boolean CSP. SIAM J. Comput. 38(5), 1970–1986 (2009)
Dyer, M.E., Goldberg, L.A., Paterson, M.: On counting homomorphisms to directed acyclic graphs. J. ACM 54(6) (2007)
Dyer, M.E., Greenhill, C.S.: The complexity of counting graph homomorphisms. Random Struct. Algorithms 17(3-4), 260–289 (2000)
Goldberg, L.A., Grohe, M., Jerrum, M., Thurley, M.: A complexity dichotomy for partition functions with mixed signs. SIAM J. Comput. 39(7), 3336–3402 (2010)
Kowalczyk, M., Cai, J.Y.: Holant problems for regular graphs with complex edge functions. In: Marion, J.Y., Schwentick, T. (eds.) STACS, pp. 525–536 (2010)
Temperley, H.N.V., Fisher, M.E.: Dimer problem in statistical mechanics — an exact result. Philosophical Magazine 6, 1061–1063 (1961)
Valiant, L.G.: Holographic algorithms. SIAM J. Comput. 37(5), 1565–1594 (2008)
Xia, M., Zhang, P., Zhao, W.: Computational complexity of counting problems on 3-regular planar graphs. Theor. Comput. Sci. 384(1), 111–125 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cai, JY., Kowalczyk, M. (2011). Spin Systems on Graphs with Complex Edge Functions and Specified Degree Regularities. In: Fu, B., Du, DZ. (eds) Computing and Combinatorics. COCOON 2011. Lecture Notes in Computer Science, vol 6842. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22685-4_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-22685-4_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22684-7
Online ISBN: 978-3-642-22685-4
eBook Packages: Computer ScienceComputer Science (R0)