Universality of asymptotic graph homomorphism

TL;DR

This paper demonstrates that the asymptotic cohomomorphism order of graphs is universal for all countable preorders, revealing deep structural insights into the asymptotic spectrum related to Shannon capacity.

Contribution

It proves the universality of the asymptotic cohomomorphism order for countable preorders, extending previous results from non-asymptotic to asymptotic relations.

Findings

Asymptotic cohomomorphism order is universal for all countable preorders.

Provides a new proof of the universality of non-asymptotic cohomomorphism.

Connects asymptotic spectrum duality with the structure of graph homomorphisms.

Abstract

The Shannon capacity of graphs, introduced by Shannon in 1956 to model zero-error communication, asks for determining the rate of growth of independent sets in strong powers of graphs. Much is still unknown about this parameter, for instance whether it is computable. Recent work has established a dual characterization of the Shannon capacity in terms of the asymptotic spectrum of graphs. A core step in this duality theory is to shift focus from Shannon capacity itself to studying the asymptotic relations between graphs, that is, the asymptotic cohomomorphisms. Towards understanding the structure of Shannon capacity, we study the "combinatorial complexity" of asymptotic cohomomorphism. As our main result, we prove that the asymptotic cohomomorphism order is universal for all countable preorders. That is, we prove that any countable preorder can be order-embedded into the asymptotic cohomomorphism order (i.e. appears as a suborder). Previously this was only known for (non-asymptotic) cohomomorphism. Our proof is based on techniques from asymptotic spectrum duality and convex structure of the asymptotic spectrum of graphs. Our approach in fact leads to a new proof of the universality of (non-asymptotic) cohomomorphism.