35,072 research outputs found
Strongly intersecting integer partitions
We call a sum a1+a2+β’ β’ β’+ak a partition of n of length k if a1, a2, . . . , ak and n are positive integers such that a1 β€ a2 β€ β’ β’ β’ β€ ak and n = a1 + a2 + β’ β’ β’ + ak. For i = 1, 2, . . . , k, we call ai the ith part of the sum a1 + a2 + β’ β’ β’ + ak. Let Pn,k be the set of all partitions of n of length k. We say that two partitions a1+a2+β’ β’ β’+ak and b1+b2+β’ β’ β’+bk strongly intersect if ai = bi for some i. We call a subset A of Pn,k strongly intersecting if every two partitions in A strongly intersect. Let Pn,k(1) be the set of all partitions in Pn,k whose first part is 1. We prove that if 2 β€ k β€ n, then Pn,k(1) is a largest strongly intersecting subset of Pn,k, and uniquely so if and only if k β₯ 4 or k = 3 β€ n ΜΈβ {6, 7, 8} or k = 2 β€ n β€ 3.peer-reviewe
A Hilton-Milner-type theorem and an intersection conjecture for signed sets
Abstract A family A of sets is said to be intersecting if any two sets in A intersect (i.e. have at least one common element). A is said to be centred if there is an element common to all the sets in A; otherwise, A is said to be non-centred. For any r β [n] := {1, ..., n} and any integer k β₯ 2, let S n,r,k be the family . Let m := max{0, 2r β n}. We establish the following HiltonMilner-type theorems, the second of which is proved using the first: (i) If A 1 and A 2 are non-empty cross-intersecting (i.e. any set in A 1 intersects any set in A 2 ) sub-families of S n,r,k , then (ii) If A is a non-centred intersecting sub-family of S n,r,k , 2 β€ r β€ n, then We also determine the extremal structures. (ii) is a stability theorem that extends ErdΕs-Ko-Rado-type results proved by various authors. We then show that (ii) leads to further evidence for an intersection conjecture suggested by the author about general signed set systems
Cross-intersecting families and primitivity of symmetric systems
Let be a finite set and , the power set of ,
satisfying three conditions: (a) is an ideal in , that is,
if and , then ; (b) For with , if for any
with ; (c) for every . The
pair is called a symmetric system if there is a group
transitively acting on and preserving the ideal . A
family is said to be a
cross--family of if for any and with . We prove that if is a
symmetric system and is a
cross--family of , then where . This generalizes Hilton's theorem on
cross-intersecting families of finite sets, and provides analogs for
cross--intersecting families of finite sets, finite vector spaces and
permutations, etc.
Moreover, the primitivity of symmetric systems is introduced to characterize
the optimal families.Comment: 15 page
Cross-intersecting integer sequences
We call an \emph{-partial sequence} if exactly of
its entries are positive integers and the rest are all zero. For with , let
be the set of -partial sequences with for each in , and let be the set
of members of which have . We say that \emph{meets} if for some . Two
sets and of sequences are said to be \emph{cross-intersecting} if each
sequence in meets each sequence in . Let
with . Let and such that and are cross-intersecting. We
show that if either and or and . We also
determine the cases of equality. We obtain this by proving a general
cross-intersection theorem for \emph{weighted} sets. The bound generalises to
one for cross-intersecting sets.Comment: 20 pages, submitted for publication, presentation improve
Cross-intersecting sub-families of hereditary families
Families of sets are said
to be \emph{cross-intersecting} if for any and in
with , any set in intersects any set in
. For a finite set , let denote the \emph{power set of
} (the family of all subsets of ). A family is said to be
\emph{hereditary} if all subsets of any set in are in
; so is hereditary if and only if it is a union of
power sets. We conjecture that for any non-empty hereditary sub-family
of and any , both the sum
and product of sizes of cross-intersecting sub-families (not necessarily distinct or non-empty) of
are maxima if for some largest \emph{star of
} (a sub-family of whose sets have a common
element). We prove this for the case when is \emph{compressed
with respect to an element of }, and for this purpose we establish new
properties of the usual \emph{compression operation}. For the product, we
actually conjecture that the configuration is optimal for any hereditary and
any , and we prove this for a special case too.Comment: 13 page
- β¦