{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nThe following function (known as the *Poljak-Rödl function*) measures how low the chromatic number of products of *n*-chromatic graphs can be.\n\n$$f(n) = \\min\\{ \\chi (G \\times H) \\colon \\chi (G) = \\chi (H) = n \\}$$\n\nHedetniemi's conjecture is then equivalent to saying that $f(n) = n$. The **Weak Hedetniemi Conjecture** instead states merely that the function *f*(*n*) is unbounded. In other words, if the tensor product of two graphs can be colored with few colors, this should imply some bound on the chromatic number of one of the factors.\n\nThe main result of (Poljak Rödl 1981), independently improved by Poljak, James H. Schmerl, and Zhu, states that if the function *f*(*n*) is bounded, then it is bounded by at most 9. Thus a proof of Hedetniemi's conjecture for 10-chromatic graphs would already imply the Weak Hedetniemi Conjecture for all graphs.\n",
  "commit": "68a8c3dc73fd55004b2796431c607c30960d1a85",
  "front": {
    "inventory": [
      "JJ0K9HZV2N"
    ],
    "kind": "statement",
    "name": "Weak Hedetniemi Conjecture",
    "role": "proposition",
    "sources": [
      {
        "locator": "Hedetniemi's conjecture, section Weak Hedetniemi Conjecture",
        "mention": "wikipedia://en/8155146#UN6W",
        "note": "adopted",
        "sections": [
          "Statement"
        ],
        "wikipedia": "en:8155146@r1353005739"
      }
    ],
    "tag": "4H1HA9BX5T"
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/4H1HA9BX5T/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/4H1HA9BX5T.md",
  "msc": null,
  "name": "Weak Hedetniemi Conjecture",
  "prov": null,
  "role": "proposition",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/4H1/4H1HA9BX5T.md",
  "status": null,
  "tag": "4H1HA9BX5T",
  "uri": "m2://4H1HA9BX5T",
  "url": "https://math2.tamnd.com/wiki/weak-hedetniemi-conjecture/",
  "writing": {
    "tag": "4H1HA9BX5T",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "edge uses out",
        "note": "each definition that the statement needs",
        "have": 0,
        "want": 1
      }
    ]
  }
}