Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007194013> ?p ?o ?g. }
- W2007194013 abstract "We show that an effective version of Siegel's Theorem on finiteness of integer solutions for a specific algebraic curve and an application of elementary Galois theory are key ingredients in a complexity classification of some Holant problems. These Holant problems, denoted by Holant(f), are defined by a symmetric ternary function f that is invariant under any permutation of the κ ≥ 3 domain elements. We prove that Holant(f) exhibits a complexity dichotomy. The hardness, and thus the dichotomy, holds even when restricted to planar graphs. A special case of this result is that counting edge κ-colorings is #P-hard over planar 3-regular multigraphs for all κ ≥ 3. In fact, we prove that counting edge κ-colorings is #P-hard over planar r-regular multigraphs for all κ ≥ r ≥ 3. The problem is polynomial-time computable in all other parameter settings. The proof of the dichotomy theorem for Holant(f) depends on the fact that a specific polynomial p(x, y) has an explicitly listed finite set of integer solutions, and the determination of the Galois groups of some specific polynomials. In the process, we also encounter the Tutte polynomial, medial graphs, Eulerian partitions, Puiseux series, and a certain lattice condition on the (logarithm of) the roots of polynomials." @default.
- W2007194013 created "2016-06-24" @default.
- W2007194013 creator A5022706581 @default.
- W2007194013 creator A5029588621 @default.
- W2007194013 creator A5059907509 @default.
- W2007194013 date "2014-10-01" @default.
- W2007194013 modified "2023-10-16" @default.
- W2007194013 title "The Complexity of Counting Edge Colorings and a Dichotomy for Some Higher Domain Holant Problems" @default.
- W2007194013 cites W1490370380 @default.
- W2007194013 cites W1503285044 @default.
- W2007194013 cites W1534570367 @default.
- W2007194013 cites W1575761830 @default.
- W2007194013 cites W1608193 @default.
- W2007194013 cites W1660495057 @default.
- W2007194013 cites W1684722273 @default.
- W2007194013 cites W188858573 @default.
- W2007194013 cites W1966769222 @default.
- W2007194013 cites W1997590411 @default.
- W2007194013 cites W1997649256 @default.
- W2007194013 cites W2003244973 @default.
- W2007194013 cites W2003722559 @default.
- W2007194013 cites W2011473996 @default.
- W2007194013 cites W2012753562 @default.
- W2007194013 cites W2031917338 @default.
- W2007194013 cites W2032292489 @default.
- W2007194013 cites W2038383731 @default.
- W2007194013 cites W2040145343 @default.
- W2007194013 cites W2054043146 @default.
- W2007194013 cites W2058673868 @default.
- W2007194013 cites W2064541898 @default.
- W2007194013 cites W2072969317 @default.
- W2007194013 cites W2074783224 @default.
- W2007194013 cites W2078752178 @default.
- W2007194013 cites W2083443606 @default.
- W2007194013 cites W2086735515 @default.
- W2007194013 cites W2092436554 @default.
- W2007194013 cites W2102669784 @default.
- W2007194013 cites W2106221905 @default.
- W2007194013 cites W2110841914 @default.
- W2007194013 cites W2112167630 @default.
- W2007194013 cites W2118223706 @default.
- W2007194013 cites W2131358503 @default.
- W2007194013 cites W2134273915 @default.
- W2007194013 cites W2139584447 @default.
- W2007194013 cites W2150339067 @default.
- W2007194013 cites W2150859678 @default.
- W2007194013 cites W2157384210 @default.
- W2007194013 cites W2163118022 @default.
- W2007194013 cites W2175558056 @default.
- W2007194013 cites W2282669851 @default.
- W2007194013 cites W2398627875 @default.
- W2007194013 cites W256612138 @default.
- W2007194013 cites W2568097732 @default.
- W2007194013 cites W2570207426 @default.
- W2007194013 cites W2896866551 @default.
- W2007194013 cites W2949766321 @default.
- W2007194013 cites W3124201190 @default.
- W2007194013 cites W3183392806 @default.
- W2007194013 cites W655585282 @default.
- W2007194013 cites W837807138 @default.
- W2007194013 cites W2093488492 @default.
- W2007194013 cites W2913798276 @default.
- W2007194013 doi "https://doi.org/10.1109/focs.2014.70" @default.
- W2007194013 hasPublicationYear "2014" @default.
- W2007194013 type Work @default.
- W2007194013 sameAs 2007194013 @default.
- W2007194013 citedByCount "4" @default.
- W2007194013 countsByYear W20071940132014 @default.
- W2007194013 countsByYear W20071940132020 @default.
- W2007194013 countsByYear W20071940132021 @default.
- W2007194013 crossrefType "proceedings-article" @default.
- W2007194013 hasAuthorship W2007194013A5022706581 @default.
- W2007194013 hasAuthorship W2007194013A5029588621 @default.
- W2007194013 hasAuthorship W2007194013A5059907509 @default.
- W2007194013 hasBestOaLocation W20071940132 @default.
- W2007194013 hasConcept C114614502 @default.
- W2007194013 hasConcept C118615104 @default.
- W2007194013 hasConcept C16592021 @default.
- W2007194013 hasConcept C33923547 @default.
- W2007194013 hasConcept C3746008 @default.
- W2007194013 hasConceptScore W2007194013C114614502 @default.
- W2007194013 hasConceptScore W2007194013C118615104 @default.
- W2007194013 hasConceptScore W2007194013C16592021 @default.
- W2007194013 hasConceptScore W2007194013C33923547 @default.
- W2007194013 hasConceptScore W2007194013C3746008 @default.
- W2007194013 hasLocation W20071940131 @default.
- W2007194013 hasLocation W20071940132 @default.
- W2007194013 hasLocation W20071940133 @default.
- W2007194013 hasLocation W20071940134 @default.
- W2007194013 hasLocation W20071940135 @default.
- W2007194013 hasOpenAccess W2007194013 @default.
- W2007194013 hasPrimaryLocation W20071940131 @default.
- W2007194013 hasRelatedWork W2007194013 @default.
- W2007194013 hasRelatedWork W2015133130 @default.
- W2007194013 hasRelatedWork W2035968489 @default.
- W2007194013 hasRelatedWork W2057972598 @default.
- W2007194013 hasRelatedWork W2104281821 @default.
- W2007194013 hasRelatedWork W2807924989 @default.
- W2007194013 hasRelatedWork W2949766321 @default.
- W2007194013 hasRelatedWork W2951667105 @default.