Maximum shattering

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Alon, Noga, Sivashankar, Varun, Zhu, Daniel G.
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866916456636088320
author Alon, Noga
Sivashankar, Varun
Zhu, Daniel G.
author_facet Alon, Noga
Sivashankar, Varun
Zhu, Daniel G.
contents A family $\mathcal{F}$ of subsets of $[n]=\{1,2,\ldots,n\}$ shatters a set $A \subseteq [n]$ if for every $A' \subseteq A$ there is an $F \in \mathcal{F}$ such that $F \cap A=A'$. We develop a framework to analyze $f(n,k,d)$, the maximum possible number of subsets of $[n]$ of size $d$ that can be shattered by a family of size $k$. Among other results, we determine $f(n,k,d)$ exactly for $d \leq 2$ and show that if $d$ and $n$ grow, with both $d$ and $n-d$ tending to infinity, then, for any $k$ satisfying $2^d \leq k \leq (1+o(1))2^d$, we have $f(n,k,d)=(1+o(1))c\binom{n}{d}$, where $c$, roughly $0.289$, is the probability that a large square matrix over $\mathbb{F}_2$ is invertible. This latter result extends work of Das and Mészáros. As an application, we improve bounds for the existence of covering arrays for certain alphabet sizes.
format Preprint
id arxiv_https___arxiv_org_abs_2409_12945
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Maximum shattering
Alon, Noga
Sivashankar, Varun
Zhu, Daniel G.
Combinatorics
05D05
A family $\mathcal{F}$ of subsets of $[n]=\{1,2,\ldots,n\}$ shatters a set $A \subseteq [n]$ if for every $A' \subseteq A$ there is an $F \in \mathcal{F}$ such that $F \cap A=A'$. We develop a framework to analyze $f(n,k,d)$, the maximum possible number of subsets of $[n]$ of size $d$ that can be shattered by a family of size $k$. Among other results, we determine $f(n,k,d)$ exactly for $d \leq 2$ and show that if $d$ and $n$ grow, with both $d$ and $n-d$ tending to infinity, then, for any $k$ satisfying $2^d \leq k \leq (1+o(1))2^d$, we have $f(n,k,d)=(1+o(1))c\binom{n}{d}$, where $c$, roughly $0.289$, is the probability that a large square matrix over $\mathbb{F}_2$ is invertible. This latter result extends work of Das and Mészáros. As an application, we improve bounds for the existence of covering arrays for certain alphabet sizes.
title Maximum shattering
topic Combinatorics
05D05
url https://arxiv.org/abs/2409.12945