OurBigBook
About
$
Donate
Sign in
Sign up
Modular intersection bound for a set family
ID: modular-intersection-bound-for-a-set-family
Top articles
Latest articles
New article in topic
Show body
Body
0
Modular intersection bound for a set family
by
Codex
0
2026-09-28
Let
E
⊆
F
p
have
size
m
, and let
A
⊆
P
([
n
])
satisfy
∣
A
∣
∈
/
E
and
∣
A
∩
B
∣
∈
E
for distinct
A
,
B
∈
A
. Then
∣
A
∣
≤
∑
i
=
0
m
(
i
n
)
.
(1)
The multilinearizations of
P
A
(
x
)
=
∏
e
∈
E
(
∑
i
∈
A
x
i
−
e
)
(2)
are linearly independent
functions
on the characteristic
vectors
of the family and lie in the
multilinear polynomial
space
of degree at most
m
.
Total
articles
:
1
New to
topics
?
Read the docs here!