Source author record

Mark Siggers

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

3works
1topics
3close collaborators

Published work

3 publications

preprint2016arXiv

On the representation of finite distributive lattices

A simple but elegant result of Rival states that every sublattice LL of a finite distributive lattice P\mathcal{P} can be constructed from P\mathcal{P} by removing a particular family IL\mathcal{I}_L of its irreducible intervals. Applying this in the case that P\mathcal{P} is a product of a finite set C\mathcal{C} of chains, we get a one-to-one correspondence L↦DP(L)L \mapsto \mathcal{D}_\mathcal{P}(L) between the sublattices of P\mathcal{P} and the preorders spanned by a canonical sublattice C∞\mathcal{C}^\infty of P\mathcal{P}. We then show that LL is a tight sublattice of the product of chains P\mathcal{P} if and only if DP(L)\mathcal{D}_\mathcal{P}(L) is asymmetric. This yields a one-to-one correspondence between the tight sublattices of P\mathcal{P} and the posets spanned by its poset J(P)J(\mathcal{P}) of non-zero join-irreducible elements. With this we recover and extend, among other classical results, the correspondence derived from results of Birkhoff and Dilworth, between the tight embeddings of a finite distributive lattice LL into products of chains, and the chain decompositions of its poset J(L)J(L) of non-zero join-irreducible elements.

preprint2015arXiv

Towards extending the Ahlswede-Khachatrian theorem to cross t-intersecting families

Ahlswede and Khachatrian's diametric theorem is a weighted version of their complete intersection theorem, itself an extension of the tt-intersecting Erdős-Ko-Rado theorem. Their intersection theorem says that the maximum size of a family of subsets of [n]={1,…,n}[n] = \{1, \dots, n\}, every pair of which intersects in at least tt elements, is the size of certain trivially intersecting families proposed by Frankl. We address a cross intersecting version of their diametric theorem. Two families A\mathcal{A} and B\mathcal{B} of subsets of [n][n] are {\em cross tt-intersecting} if for every A∈AA \in \mathcal{A} and B∈BB \in \mathcal{B}, AA and BB intersect in at least tt elements. The pp-weight of a kk element subset AA of [n][n] is pk(1−p)n−kp^{k}(1-p)^{n-k}, and the weight of a family A\mathcal{A} is the sum of the weights of its sets. The weight of a pair of families is the product of the weights of the families. The maximum pp-weight of a tt-intersecting family depends on the value of pp. Ahlswede and Khachatrian showed that for pp in the range [rt+2r−1,r+1t+2r+1][\frac{r}{t + 2r - 1}, \frac{r+1}{t + 2r + 1}], the maximum pp-weight of a tt-intersecting family is that of the family Frt\mathcal{F}^t_r consisting of all subsets of [n][n] containing at least t+rt+r elements of the set [t+2r][t+2r]. In a previous paper we showed a cross tt-intersecting version of this for large tt in the case that r=0r = 0. In this paper, we do the same in the case that r=1r = 1. We show that for pp in the range [1t+1,2t+3][\frac{1}{t + 1}, \frac{2}{t + 3}] the maximum pp-weight of a cross tt-intersecting pair of families, for t≥200t \geq 200, is achieved when both families are F1t\mathcal{F}^t_1. Further, we show that except at the endpoints of this range, this is, up to isomorphism, the only pair of tt-intersecting families achieving this weight.

preprint2014arXiv

An Erd\H os--Ko--Rado theorem for cross tt-intersecting families

Two families A\mathcal{A} and B\mathcal{B}, of kk-subsets of an nn-set, are {\em cross tt-intersecting} if for every choice of subsets A∈AA \in \mathcal{A} and B∈BB \in \mathcal{B} we have ∣A∩B∣≥t|A \cap B| \geq t. We address the following conjectured cross tt-intersecting version of the Erd\H os--Ko--Rado Theorem: For all n≥(t+1)(k−t+1)n \geq (t+1)(k-t+1) the maximum value of ∣A∣∣B∣|\mathcal{A}||\mathcal{B}| for two cross tt-intersecting families A,B⊂([n]k)\mathcal{A}, \mathcal{B} \subset\binom{[n]}{k} is (n−tk−t)2\binom{n-t}{k-t}^2. We verify this for all t≥14t \geq 14 except finitely many nn and kk for each fixed tt. Further, we prove uniqueness and stability results in these cases, showing, for instance, that the families reaching this bound are unique up to isomorphism. We also consider a {\em pp-weight} version of the problem, which comes from the product measure on the power set of an nn-set.

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.