×

Privileged users in zero-error transmission over a noisy channel. (English) Zbl 1164.05033

Summary: The \(k\)-th power of a graph \(G\) is the graph whose vertex set is \(V(G)^k\), where two distinct \(k\)-tuples are adjacent iff they are equal or adjacent in \(G\) in each coordinate. The Shannon capacity of \(G\), \(c(G)\), is \(\lim_{k\to \infty} \alpha(G^k)^{\frac 1k}\), where \(\alpha(G)\) denotes the independence number of \(G\). When \(G\) is the characteristic graph of a channel \(\mathcal C\), \(c(G)\) measures the effective alphabet size of \(\mathcal C\) in a zero-error protocol. A sum of channels, \(\mathcal C =\sum_i \mathcal C_i\), describes a setting when there are \(t \geq 2\) senders, each with his own channel \(\mathcal C_i\), and each letter in a word can be selected from any of the channels. This corresponds to a disjoint union of the characteristic graphs, \(G = \sum_i G_i\). It is well known that \(c(G)\geq \sum_i c(G_i)\), and in N. Alon [Combinatorica 18, 301-310 (1998; Zbl 0921.05039)] it is shown that in fact \(c(G)\) can be larger than any fixed power of the above sum.
We extend the ideas of [N. Alon, ”Shannon capacity of a union,” Combinatorica 18, No.3, 301–310 (1998; Zbl 0921.05039)] and show that for every \(\mathcal F\), a family of subsets of \([t]\), it is possible to assign a channel \(\mathcal C_i\) to each sender \(i \in [t]\), such that the capacity of a group of senders \(X \subset [t]\) is high iff \(X\) contains some \(F \in \mathcal F\). This corresponds to a case where only privileged subsets of senders are allowed to transmit in a high rate. For instance, as an analogue to secret sharing, it is possible to ensure that whenever at least \(k\) senders combine their channels, they obtain a high capacity, however every group of \(k - 1\) senders has a low capacity (and yet is not totally denied of service). In the process, we obtain an explicit Ramsey construction of an edge-coloring of the complete graph on \(n\) vertices by \(t\) colors, where every induced subgraph on \(\exp(\Omega(\sqrt{\log n\log \log n}\,))\) vertices contains all \(t\) colors.

MSC:

05C35 Extremal problems in graph theory
05C55 Generalized Ramsey theory
94A24 Coding theorems (Shannon theory)

Citations:

Zbl 0921.05039

References:

[1] N. Alon: The Shannon capacity of a union, Combinatorica 18(3) (1998), 301–310. · Zbl 0921.05039 · doi:10.1007/PL00009824
[2] P. Frankl and R. M. Wilson: Intersection theorems with geometric consequences, Combinatorica 1(4) (1981), 357–368. · Zbl 0498.05048 · doi:10.1007/BF02579457
[3] W. Haemers: An upper bound for the Shannon capacity of a graph, Colloquia Mathematica Societatis János Bolyai 25: Algebraic Methods in Graph Theory, Szeged (Hungary), 1978, 267–272.
[4] J. H. van Lint and R. M. Wilson: A Course in Combinatorics, Second Edition, Cambridge University Press, Cambridge, 2001.
[5] C. E. Shannon: The zero-error capacity of a noisy channel, IRE Transactions on Information Theory 2(3) (1956), 8–19. · doi:10.1109/TIT.1956.1056798
[6] E. Sperner: Ein Satz über Untermengen einer endlichen Menge, Math. Z. 27 (1928), 544–548. · JFM 54.0090.06 · doi:10.1007/BF01171114
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.