Source author record

Peter Borg

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

16works
2topics
3close collaborators

Published work

16 publications

preprint2025arXiv

Solution to a problem on isolation of cliques in uniform hypergraphs

A copy of a hypergraph FF is called an FF-copy. Let KkrK_k^r denote the complete rr-uniform hypergraph whose vertex set is [k]={1,…,k}[k] = \{1, \dots, k\} (that is, the edges of KkrK_k^r are the rr-element subsets of [k][k]). Given an rr-uniform nn-vertex hypergraph HH, the KkrK_k^r-isolation number of HH, denoted by ι(H,Kkr)ι(H, K_k^r), is the size of a smallest subset DD of the vertex set of HH such that the closed neighbourhood N[D]N[D] of DD intersects the vertex sets of the KkrK_k^r-copies contained by HH (equivalently, H−N[D]H-N[D] contains no KkrK_k^r-copy). In this note, we show that if 2≤r≤k2 \leq r \leq k and HH is connected, then ι(H,Kkr)≤nk+1ι(H, K_k^r) \leq \frac{n}{k+1} unless HH is a KkrK_k^r-copy or k=r=2k = r = 2 and HH is a 55-cycle. This solves a recent problem of Li, Zhang and Ye. The result for r=2r = 2 (that is, HH is a graph) was proved by Fenech, Kaemawichanurat and the author, and is used to prove the result for any rr. The extremal structures for r=2r = 2 were determined by various authors. We use this to determine the extremal structures for any rr.

preprint2023arXiv

Solution to a problem of Katona on counting cliques of weighted graphs

A subset II of the vertex set V(G)V(G) of a graph GG is called a kk-clique independent set of GG if no kk vertices in II form a kk-clique of GG. An independent set is a 22-clique independent set. Let πk(G)π_k(G) denote the number of kk-cliques of GG. For a function w:V(G)→{0,1,2,… }w: V(G) \rightarrow \{0, 1, 2, \dots\}, let G(w)G(w) be the graph obtained from GG by replacing each vertex vv by a w(v)w(v)-clique KvK^v and making each vertex of KuK^u adjacent to each vertex of KvK^v for each edge {u,v}\{u,v\} of GG. For an integer m≥1m \geq 1, consider any ww with ∑v∈V(G)w(v)=m\sum_{v \in V(G)} w(v) = m. For U⊆V(G)U \subseteq V(G), we say that ww is uniform on UU if w(v)=0w(v) = 0 for each v∈V(G)∖Uv \in V(G) \setminus U and, for each u∈Uu \in U, w(u)=⌊m/∣U∣⌋w(u) = \left\lfloor m/|U| \right\rfloor or w(u)=⌈m/∣U∣⌉w(u) = \left\lceil m/|U| \right\rceil. Katona asked if πk(G(w))π_k(G(w)) is smallest when ww is uniform on a largest kk-clique independent set of GG. He placed particular emphasis on the Sperner graph BnB_n, given by V(Bn)={X ⁣:X⊆{1,…,n}}V(B_n) = \{X \colon X \subseteq \{1, \dots, n\}\} and E(Bn)={{X,Y} ⁣:X⊊Y∈V(Bn)}E(B_n) = \{\{X,Y\} \colon X \subsetneq Y \in V(B_n)\}. He provided an affirmative answer for k=2k = 2 (and any GG). We determine graphs for which the answer is negative for every k≥3k \geq 3. These include BnB_n for n≥2n \geq 2. Generalizing Sperner's Theorem and a recent result of Qian, Engel and Xu, we show that πk(Bn(w))π_k(B_n(w)) is smallest when ww is uniform on a largest independent set of BnB_n. We also show that the same holds for complete multipartite graphs and chordal graphs. We show that this is not true of every graph, using a deep result of Bohman on triangle-free graphs.

preprint2021arXiv

The maximum sum of sizes of cross-intersecting families of subsets of a set

A set of sets is called a family. Two families A\mathcal{A} and B\mathcal{B} of sets are said to be cross-intersecting if each member of A\mathcal{A} intersects each member of B\mathcal{B}. For any two integers nn and kk with 1≤k≤n1 \leq k \leq n, let ([n]≤k){[n] \choose \leq k} denote the family of subsets of [n]={1,…,n}[n] = \{1, \dots, n\} that have at most kk elements. We show that if A\mathcal{A} is a non-empty subfamily of ([n]≤r){[n] \choose \leq r}, B\mathcal{B} is a non-empty subfamily of ([n]≤s){[n] \choose \leq s}, r≤sr \leq s, and A\mathcal{A} and B\mathcal{B} are cross-intersecting, then ∣A∣+∣B∣≤1+∑i=1s((ni)−(n−ri)),|\mathcal{A}| + |\mathcal{B}| \leq 1 + \sum_{i=1}^s \left({n \choose i} - {n-r \choose i} \right), and equality holds if A={[r]}\mathcal{A} = \{[r]\} and B\mathcal{B} is the family of sets in ([n]≤s){[n] \choose \leq s} that intersect [r][r].

preprint2020arXiv

Reducing the maximum degree of a graph: comparisons of bounds

Let λ(G)λ(G) be the smallest number of vertices that can be removed from a non-empty graph GG so that the resulting graph has a smaller maximum degree. Let λe(G)λ_{\rm e}(G) be the smallest number of edges that can be removed from GG for the same purpose. Let kk be the maximum degree of GG, let tt be the number of vertices of degree kk, let M(G)M(G) be the set of vertices of degree kk, let nn be the number of vertices in the closed neighbourhood of M(G)M(G), and let mm be the number of edges incident to vertices in M(G)M(G). Fenech and the author showed that λ(G)≤n+(k−1)t2kλ(G) \leq \frac{n+(k-1)t}{2k}, and they essentially showed that λ(G)≤n(1−kk+1(n(k+1)t)1/k)λ(G) \leq n \left ( 1- \frac{k}{k+1} { \Big( \frac{n}{(k+1)t} \Big) }^{1/k} \right ). They also showed that λe(G)≤m+(k−1)t2k−1λ_{\rm e}(G) \leq \frac{m + (k-1)t}{2k-1} and λe(G)≤m(1−k−1k(mkt)1/(k−1))λ_{\rm e} (G) \leq m \left ( 1- \frac{k-1}{k} { \Big( \frac{m}{kt} \Big) }^{1/(k-1)} \right ). These bounds are attained if k≥2k \geq 2 and GG is the union of tt pairwise vertex-disjoint (k+1)(k+1)-vertex stars. For each of λ(G)λ(G) and λe(G)λ_{\rm e}(G), the two bounds on the parameter are compared for the purpose of determining, for each bound, the cases in which the bound is better than the other. This work is also motivated by the likelihood that similar pairs of bounds will be discovered for other graph parameters and the same analysis can be applied.

preprint2016arXiv

Stars on trees

For a positive integer rr and a vertex vv of a graph GG, let IG(r)(v)\mathcal{I}_G^{(r)}(v) denote the set of all independent sets of GG that have exactly rr elements and contain vv. Hurlbert and Kamat conjectured that for any rr and any tree TT, there exists a leaf zz of TT such that ∣IT(r)(v)∣≤∣IT(r)(z)∣|\mathcal{I}_T^{(r)}(v)| \leq |\mathcal{I}_T^{(r)}(z)| for each vertex vv of TT. They proved the conjecture for r≤4r \leq 4. For any k≥3k \geq 3, we construct a tree TkT_k that has a vertex xx such that xx is not a leaf of TkT_k, ∣ITk(r)(z)∣<∣ITk(r)(x)∣|\mathcal{I}_{T_k}^{(r)}(z)| < |\mathcal{I}_{T_k}^{(r)}(x)| for any leaf zz of TkT_k and any 5≤r≤2k+15 \leq r \leq 2k+1, and 2k+12k+1 is the largest integer ss for which ITk(s)(x)\mathcal{I}_{T_k}^{(s)}(x) is non-empty. Therefore, the conjecture is not true for r≥5r \geq 5.

preprint2016arXiv

The maximum product of sizes of cross-intersecting families

We say that a set AA tt-intersects a set BB if AA and BB have at least tt common elements. Two families A\mathcal{A} and B\mathcal{B} of sets are said to be cross-tt-intersecting if each set in A\mathcal{A} tt-intersects each set in B\mathcal{B}. A subfamily S\mathcal{S} of a family F\mathcal{F} is called a tt-star of F\mathcal{F} if the sets in S\mathcal{S} have tt common elements. Let l(F,t)l(\mathcal{F},t) denote the size of a largest tt-star of F\mathcal{F}. We call F\mathcal{F} a (≤r)(\leq r)-family if each set in F\mathcal{F} has at most rr elements. We determine a function c:N3→Nc : \mathbb{N}^3 \rightarrow \mathbb{N} such that the following holds. If A\mathcal{A} is a subfamily of a (≤r)(\leq r)-family F\mathcal{F} with l(F,t)≥c(r,s,t)l(F,t+1)l(\mathcal{F},t) \geq c(r,s,t)l(\mathcal{F},t+1), B\mathcal{B} is a subfamily of a (≤s)(\leq s)-family G\mathcal{G} with l(G,t)≥c(r,s,t)l(G,t+1)l(\mathcal{G},t) \geq c(r,s,t)l(\mathcal{G},t+1), and A\mathcal{A} and B\mathcal{B} are cross-tt-intersecting, then ∣A∣∣B∣≤l(F,t)l(G,t)|\mathcal{A}||\mathcal{B}| \leq l(\mathcal{F},t)l(\mathcal{G},t). Some known results follow from this, and we identify several natural classes of families for which the bound is attained.

preprint2015arXiv

The maximum product of weights of cross-intersecting families

Two families A\mathcal{A} and B\mathcal{B} of sets are said to be cross-tt-intersecting if each set in A\mathcal{A} intersects each set in B\mathcal{B} in at least tt elements. An active problem in extremal set theory is to determine the maximum product of sizes of cross-tt-intersecting subfamilies of a given family. We prove a cross-tt-intersection theorem for weighted subsets of a set by means of a new subfamily alteration method, and use the result to provide solutions for three natural families. For r∈[n]={1,2,…,n}r\in[n]=\{1,2,\dots,n\}, let ([n]r){[n]\choose r} be the family of rr-element subsets of [n][n], and let ([n]≤r){[n]\choose\leq r} be the family of subsets of [n][n] that have at most rr elements. Let Fn,r,t\mathcal{F}_{n,r,t} be the family of sets in ([n]≤r){[n]\choose\leq r} that contain [t][t]. We show that if g:([m]≤r)→R+g:{[m]\choose\leq r}\rightarrow\mathbb{R}^+ and h:([n]≤s)→R+h:{[n]\choose\leq s}\rightarrow\mathbb{R}^+ are functions that obey certain conditions, A⊆([m]≤r)\mathcal{A}\subseteq{[m]\choose\leq r}, B⊆([n]≤s)\mathcal{B}\subseteq{[n]\choose\leq s}, and A\mathcal{A} and B\mathcal{B} are cross-tt-intersecting, then ∑A∈Ag(A)∑B∈Bh(B)≤∑C∈Fm,r,tg(C)∑D∈Fn,s,th(D),\sum_{A\in\mathcal{A}}g(A)\sum_{B\in\mathcal{B}}h(B)\leq\sum_{C\in\mathcal{F}_{m,r,t}}g(C)\sum_{D\in\mathcal{F}_{n,s,t}}h(D), and equality holds if A=Fm,r,t\mathcal{A}=\mathcal{F}_{m,r,t} and B=Fn,s,t\mathcal{B}=\mathcal{F}_{n,s,t}. We prove this in a more general setting and characterise the cases of equality. We use the result to show that the maximum product of sizes of two cross-tt-intersecting families A⊆([m]r)\mathcal{A}\subseteq{[m]\choose r} and B⊆([n]s)\mathcal{B}\subseteq{[n]\choose s} is (m−tr−t)(n−ts−t){m-t\choose r-t}{n-t\choose s-t} for min⁡{m,n}≥n0(r,s,t)\min\{m,n\}\geq n_0(r,s,t), where n0(r,s,t)n_0(r,s,t) is close to best possible. We obtain analogous results for families of integer sequences and for families of multisets. The results yield generalisations for k≥2k\geq2 cross-tt-intersecting families, and Erdos-Ko-Rado-type results.

preprint2014arXiv

A cross-intersection theorem for subsets of a set

Two families A\mathcal{A} and B\mathcal{B} of sets are said to be cross-intersecting if each member of A\mathcal{A} intersects each member of B\mathcal{B}. For any two integers nn and kk with 0≤k≤n0 \leq k \leq n, let ([n]≤k){[n] \choose \leq k} denote the family of all subsets of {1,…,n}\{1, \dots, n\} of size at most kk. We show that if A⊆([m]≤r)\mathcal{A} \subseteq {[m] \choose \leq r}, B⊆([n]≤s)\mathcal{B} \subseteq {[n] \choose \leq s}, and A\mathcal{A} and B\mathcal{B} are cross-intersecting, then ∣A∣∣B∣≤∑i=0r(m−1i−1)∑j=0s(n−1j−1),|\mathcal{A}||\mathcal{B}| \leq \sum_{i=0}^r {m-1 \choose i-1} \sum_{j=0}^s {n-1 \choose j-1}, and equality holds if A={A∈([m]≤r) ⁣:1∈A}\mathcal{A} = \{A \in {[m] \choose \leq r} \colon 1 \in A\} and B={B∈([n]≤s) ⁣:1∈B}\mathcal{B} = \{B \in {[n] \choose \leq s} \colon 1 \in B\}. Also, we generalise this to any number of such cross-intersecting families.

preprint2014arXiv

Cross-intersecting integer sequences

We call (a1,…,an)(a_1, \dots, a_n) an \emph{rr-partial sequence} if exactly rr of its entries are positive integers and the rest are all zero. For c=(c1,…,cn){\bf c} = (c_1, \dots, c_n) with 1≤c1≤⋯≤cn1 \leq c_1 \leq \dots \leq c_n, let Sc(r)S_{\bf c}^{(r)} be the set of rr-partial sequences (a1,…,an)(a_1, \dots, a_n) with 0≤ai≤ci0 \leq a_i \leq c_i for each ii in {1,…,n}\{1, \dots, n\}, and let Sc(r)(1)S_{\bf c}^{(r)}(1) be the set of members of Sc(r)S_{\bf c}^{(r)} which have a1=1a_1 = 1. We say that (a1,…,an)(a_1, \dots, a_n) \emph{meets} (b1,…,bm)(b_1, \dots, b_m) if ai=bi≠0a_i = b_i \neq 0 for some ii. Two sets AA and BB of sequences are said to be \emph{cross-intersecting} if each sequence in AA meets each sequence in BB. Let d=(d1,…,dm){\bf d} = (d_1, \dots, d_m) with 1≤d1≤⋯≤dm1 \leq d_1 \leq \dots \leq d_m. Let A⊆Sc(r)A \subseteq S_{\bf c}^{(r)} and B⊆Sd(s)B \subseteq S_{\bf d}^{(s)} such that AA and BB are cross-intersecting. We show that ∣A∣∣B∣≤∣Sc(r)(1)∣∣Sd(s)(1)∣|A||B| \leq |S_{\bf c}^{(r)}(1)||S_{\bf d}^{(s)}(1)| if either c1≥3c_1 \geq 3 and d1≥3d_1 \geq 3 or c=d{\bf c} = {\bf d} and r=s=nr = s = n. 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 k≥2k \geq 2 cross-intersecting sets.

preprint2014arXiv

Intersecting generalised permutations

For any positive integers k,r,nk,r,n with r≤min⁡{k,n}r \leq \min\{k,n\}, let Pk,r,n\mathcal{P}_{k,r,n} be the family of all sets {(x1,y1),…,(xr,yr)}\{(x_1,y_1), \dots, (x_r,y_r)\} such that x1,…,xrx_1, \dots, x_r are distinct elements of [k]={1,…,k}[k] = \{1, \dots, k\} and y1,…,yry_1, \dots, y_r are distinct elements of [n][n]. The families Pn,n,n\mathcal{P}_{n,n,n} and Pn,r,n\mathcal{P}_{n,r,n} describe permutations of [n][n] and rr-partial permutations of [n][n], respectively. If k≤nk \leq n, then Pk,k,n\mathcal{P}_{k,k,n} describes permutations of kk-element subsets of [n][n]. A family A\mathcal{A} of sets is said to be intersecting if every two members of A\mathcal{A} intersect. In this note we use Katona's elegant cycle method to show that a number of important Erdős-Ko-Rado-type results by various authors generalise as follows: the size of any intersecting subfamily A\mathcal{A} of Pk,r,n\mathcal{P}_{k,r,n} is at most (k−1r−1)(n−1)!(n−r)!{k-1 \choose r-1}\frac{(n-1)!}{(n-r)!}, and the bound is attained if and only if A={A∈Pk,r,n ⁣:(a,b)∈A}\mathcal{A} = \{A \in \mathcal{P}_{k,r,n} \colon (a,b) \in A\} for some a∈[k]a \in [k] and b∈[n]b \in [n].

preprint2013arXiv

A sharp upper bound for the independence number

An rr-graph GG is a pair (V,E)(V,E) such that VV is a set and EE is a family of rr-element subsets of VV. The \emph{independence number} α(G)α(G) of GG is the size of a largest subset II of VV such that no member of EE is a subset of II. The \emph{transversal number} τ(G)τ(G) of GG is the size of a smallest subset TT of VV that intersects each member of EE. GG is said to be \emph{connected} if for every distinct vv and ww in VV there exists a \emph{path} from vv to ww (that is, a sequence e1,…,epe_1, \dots, e_p of members of EE such that v∈e1v \in e_1, w∈epw \in e_p, and if p≥2p \geq 2, then for each i∈{1,…,p−1}i \in \{1, \dots, p-1\}, eie_i intersects ei+1e_{i+1}). The \emph{degree} of a member vv of VV is the number of members of EE that contain vv. The maximum of the degrees of the members of VV is denoted by Δ(G)Δ(G). We show that for any 1≤k<n1 \leq k < n, if G=(V,E)G = (V,E) is a connected rr-graph, ∣V∣=n|V| = n, and Δ(G)=kΔ(G) = k, then α(G)≤n−⌈n−1k(r−1)⌉,τ(G)≥⌈n−1k(r−1)⌉,α(G) \leq n - \left \lceil \frac{n-1}{k(r-1)} \right \rceil, \quad τ(G) \geq \left \lceil \frac{n-1}{k(r-1)} \right \rceil, and these bounds are sharp. The two bounds are equivalent.

preprint2013arXiv

Intersecting integer partitions

If a1,a2,...,aka_1, a_2, ..., a_k and nn are positive integers such that n=a1+a2+...+akn = a_1 + a_2 + ... + a_k, then the sum a1+a2+...+aka_1 + a_2 + ... + a_k is said to be a \emph{partition of nn} of \emph{length kk}, and a1,a2,...,aka_1, a_2, ..., a_k are said to be the \emph{parts} of the partition. Two partitions that differ only in the order of their parts are considered to be the same. We say that two partitions \emph{intersect} if they have at least one common part. We call a set AA of partitions \emph{intersecting} if any two partitions in AA intersect. Let Pn,kP_{n,k} be the set of all partitions of nn of length kk. We conjecture that if 2≤k≤n2 \leq k \leq n, then the size of any intersecting subset of Pn,kP_{n,k} is at most the size of Pn−1,k−1P_{n-1,k-1}, which is the size of the intersecting subset of Pn,kP_{n,k} consisting of those partitions which have 1 as a part. The conjecture is trivially true for n≤2kn \leq 2k, and we prove it for n≥5k5n \geq 5k^5. We also generalise this for subsets of Pn,kP_{n,k} with the property that any two of their members have at least tt common parts.

preprint2013arXiv

The maximum product of sizes of cross-tt-intersecting uniform families

We say that a set AA \emph{tt-intersects} a set BB if AA and BB have at least tt common elements. Two families A\mathcal{A} and B\mathcal{B} are said to be \emph{cross-tt-intersecting} if each set in A\mathcal{A} tt-intersects each set in B\mathcal{B}. For any positive integers nn and rr, let ([n]r){[n] \choose r} denote the family of all rr-element subsets of {1,2,…,n}\{1,2,\dots, n\}. We show that for any integers rr, ss and tt with 1≤t≤r≤s1 \leq t \leq r \leq s, there exists an integer n0(r,s,t)n_0(r,s,t) such that for any integer n≥n0(r,s,t)n \geq n_0(r,s,t), if A⊂([n]r)\mathcal{A} \subset {[n] \choose r} and B⊂([n]s)\mathcal{B} \subset {[n] \choose s} such that A\mathcal{A} and B\mathcal{B} are cross-tt-intersecting, then ∣A∣∣B∣≤(n−tr−t)(n−ts−t)|\mathcal{A}||\mathcal{B}| \leq {n-t \choose r-t}{n-t \choose s-t}, and equality holds if and only if for some T∈([n]t)T \in {[n] \choose t}, A={A∈([n]r) ⁣:T⊂A}\mathcal{A} = \{A \in {[n] \choose r} \colon T \subset A\} and B={B∈([n]s) ⁣:T⊂B}\mathcal{B} = \{B \in {[n] \choose s} \colon T \subset B\}. This verifies a conjecture of Hirschorn.

preprint2012arXiv

The maximum sum and maximum product of sizes of cross-intersecting families

We say that a set AA \emph{tt-intersects} a set BB if AA and BB have at least tt common elements. A family A\mathcal{A} of sets is said to be \emph{tt-intersecting} if each set in A\mathcal{A} tt-intersects any other set in A\mathcal{A}. Families A1,A2,...,Ak\mathcal{A}_1, \mathcal{A}_2, ..., \mathcal{A}_k are said to be \emph{cross-tt-intersecting} if for any ii and jj in {1,2,...,k}\{1, 2, ..., k\} with i≠ji \neq j, any set in Ai\mathcal{A}_i tt-intersects any set in Aj\mathcal{A}_j. We prove that for any finite family F\mathcal{F} that has at least one set of size at least tt, there exists an integer κ≤∣F∣κ\leq |\mathcal{F}| such that for any k≥κk \geq κ, both the sum and the product of sizes of any kk cross-tt-intersecting sub-families A1,...,Ak\mathcal{A}_1, ..., \mathcal{A}_k (not necessarily distinct or non-empty) of F\mathcal{F} are maxima if A1=...=Ak=L\mathcal{A}_1 = ... = \mathcal{A}_k = \mathcal{L} for some largest tt-intersecting sub-family L\mathcal{L} of F\mathcal{F}. We then study the smallest possible value of κκ and investigate the case k<κk < κ; this includes a cross-intersection result for straight lines that demonstrates that it is possible to have F\mathcal{F} and κκ such that for any k<κk < κ, the configuration A1=...=Ak=L\mathcal{A}_1 = ... = \mathcal{A}_k = \mathcal{L} is neither optimal for the sum nor optimal for the product. We also outline solutions for various important families F\mathcal{F}, and we provide solutions for the case when F\mathcal{F} is a power set.

preprint2011arXiv

Cross-intersecting sub-families of hereditary families

Families A1,A2,...,Ak\mathcal{A}_1, \mathcal{A}_2, ..., \mathcal{A}_k of sets are said to be \emph{cross-intersecting} if for any ii and jj in {1,2,...,k}\{1, 2, ..., k\} with i≠ji \neq j, any set in Ai\mathcal{A}_i intersects any set in Aj\mathcal{A}_j. For a finite set XX, let 2X2^X denote the \emph{power set of XX} (the family of all subsets of XX). A family H\mathcal{H} is said to be \emph{hereditary} if all subsets of any set in H\mathcal{H} are in H\mathcal{H}; so H\mathcal{H} is hereditary if and only if it is a union of power sets. We conjecture that for any non-empty hereditary sub-family H≠{∅}\mathcal{H} \neq \{\emptyset\} of 2X2^X and any k≥∣X∣+1k \geq |X|+1, both the sum and product of sizes of kk cross-intersecting sub-families A1,A2,...,Ak\mathcal{A}_1, \mathcal{A}_2, ..., \mathcal{A}_k (not necessarily distinct or non-empty) of H\mathcal{H} are maxima if A1=A2=...=Ak=S\mathcal{A}_1 = \mathcal{A}_2 = ... = \mathcal{A}_k = \mathcal{S} for some largest \emph{star S\mathcal{S} of H\mathcal{H}} (a sub-family of H\mathcal{H} whose sets have a common element). We prove this for the case when H\mathcal{H} is \emph{compressed with respect to an element xx of XX}, and for this purpose we establish new properties of the usual \emph{compression operation}. For the product, we actually conjecture that the configuration A1=A2=...=Ak=S\mathcal{A}_1 = \mathcal{A}_2 = ... = \mathcal{A}_k = \mathcal{S} is optimal for any hereditary H\mathcal{H} and any k≥2k \geq 2, and we prove this for a special case too.

preprint2011arXiv

Intersecting families of sets and permutations: a survey

A family A\mathcal{A} of sets is said to be \emph{tt-intersecting} if any two sets in A\mathcal{A} have at least tt common elements. A central problem in extremal set theory is to determine the size or structure of a largest tt-intersecting sub-family of a given family F\mathcal{F}. We give a survey of known results, conjectures and open problems for various important families F\mathcal{F}, namely, power sets, levels of power sets, hereditary families, families of signed sets, families of labeled sets, and families of permutations. We also provide some extensions and consequences of known results.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.