TY - GEN

T1 - Universally Sparse Hypergraphs with Applications to Coding Theory

AU - Shangguan, Chong

AU - Tamo, Itzhak

N1 - Publisher Copyright:
© 2019 IEEE.

PY - 2019/7

Y1 - 2019/7

N2 - For fixed integers r ≥ 2, e ≥ 2, v ≥ r + 1, an r-uniform hypergraph is called G r {v,e} -free if the union of any e distinct edges contains at least v+1 vertices. Let fr(n,v,e) denote the maximum number of edges in a G {v,e} -free r-uniform hypergraph on n vertices. Brown, Erds and Sós showed in 1973 that there exist constants c1,c2 depending only on r,e,v such that c-1 {er - v} {e - 1} \leq {f-r} {n,v,e} \leq {c-2}{n lceil {{er - v}{e - 1} rceil 1}}. For e - 1|er - v, the lower bound matches the upper bound up to a constant factor; whereas for e - 1ł er - v, it is a notoriously hard problem to determine the correct exponent of n. Our main result is an improvement {f-r} {n,v,e} = Ω {er - v} {e - 1}( log n) {frac 1} {e - 1} for any r,e,v satisfying gcd(e - 1,er - v) = 1. Moreover, the hypergraph we constructed is not only G r {v,e}-free but also universally G r ir - lceil (i - 1)(er - v) {e - 1} rceil ,i -free for every 2 ≤ i ≤ e. Interestingly, our new lower bound provides improved constructions for several seemingly unrelated topics in Coding Theory, namely, Parent-Identifying Set Systems, uniform Combinatorial Batch Codes and optimal Locally Recoverable Codes.For a full version [1], see: https://arxiv.org/abs/1902.05903

AB - For fixed integers r ≥ 2, e ≥ 2, v ≥ r + 1, an r-uniform hypergraph is called G r {v,e} -free if the union of any e distinct edges contains at least v+1 vertices. Let fr(n,v,e) denote the maximum number of edges in a G {v,e} -free r-uniform hypergraph on n vertices. Brown, Erds and Sós showed in 1973 that there exist constants c1,c2 depending only on r,e,v such that c-1 {er - v} {e - 1} \leq {f-r} {n,v,e} \leq {c-2}{n lceil {{er - v}{e - 1} rceil 1}}. For e - 1|er - v, the lower bound matches the upper bound up to a constant factor; whereas for e - 1ł er - v, it is a notoriously hard problem to determine the correct exponent of n. Our main result is an improvement {f-r} {n,v,e} = Ω {er - v} {e - 1}( log n) {frac 1} {e - 1} for any r,e,v satisfying gcd(e - 1,er - v) = 1. Moreover, the hypergraph we constructed is not only G r {v,e}-free but also universally G r ir - lceil (i - 1)(er - v) {e - 1} rceil ,i -free for every 2 ≤ i ≤ e. Interestingly, our new lower bound provides improved constructions for several seemingly unrelated topics in Coding Theory, namely, Parent-Identifying Set Systems, uniform Combinatorial Batch Codes and optimal Locally Recoverable Codes.For a full version [1], see: https://arxiv.org/abs/1902.05903

UR - http://www.scopus.com/inward/record.url?scp=85073165733&partnerID=8YFLogxK

U2 - 10.1109/ISIT.2019.8849463

DO - 10.1109/ISIT.2019.8849463

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:85073165733

T3 - IEEE International Symposium on Information Theory - Proceedings

SP - 2349

EP - 2353

BT - 2019 IEEE International Symposium on Information Theory, ISIT 2019 - Proceedings

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2019 IEEE International Symposium on Information Theory, ISIT 2019

Y2 - 7 July 2019 through 12 July 2019

ER -