Related papers: An Eventown Result for Permutations
A family of permutations $A \subset S_n$ is said to be \emph{$t$-set-intersecting} if for any two permutations $\sigma, \pi \in A$, there exists a $t$-set $x$ whose image is the same under both permutations, i.e. $\sigma(x)=\pi(x)$. We…
Given two positive integers $n\geq 3$ and $t\leq n$, the permutations $\sigma,\pi \in \operatorname{Sym}(n)$ are $t$-setwise intersecting if they agree (setwise) on a $t$-subset of $\{1,2,\ldots,n\}$. A family $\mathcal{F} \subset…
Let $\mathcal{S}_n$ be the symmetric group on the set $[n]:=\{1,2,\ldots,n\}$. A family $\mathcal{F}\subset \mathcal{S}_n$ is called intersecting if for every $\sigma,\pi\in \mathcal{F}$ there exists some $i\in [n]$ such that…
Let S(n) be the symmetric group on n points. A subset S of S(n) is intersecting if for any pair of permutations \pi, \sigma in S there is a point i in {1,...,n} such that \pi(i)=\sigma(i). Deza and Frankl \cite{MR0439648} proved that if S a…
A set of permutations $I \subset S_n$ is said to be {\em k-intersecting} if any two permutations in $I$ agree on at least $k$ points. We show that for any $k \in \mathbb{N}$, if $n$ is sufficiently large depending on $k$, then the largest…
We show that for $n \ge 6$ every even permutation on $n$ symbols is the commutator of two $n$-cycles. More precisely, let $S_n$ be the symmetric group and $A_n$ the alternating group. Let $C(n) \subset S_n$ denote the conjugacy class of…
We prove that for $n$ sufficiently large, if $A$ is a family of permutations of $\{1,2,\ldots,n\}$ with no two permutations in $\mathcal{A}$ agreeing exactly once, then $|\mathcal{A}| \leq (n-2)!$, with equality holding only if…
Set systems with strongly restricted intersections, called $\alpha$-intersecting families for a vector $\alpha$, were introduced recently as a generalization of several well-studied intersecting families including the classical oddtown and…
In this paper we consider the Erd\H{o}s-Ko-Rado property for both $2$-pointwise and $2$-setwise intersecting permutations. Two permutations $\sigma,\tau \in Sym(n)$ are $t$-setwise intersecting if there exists a $t$-subset $S$ of…
A family of perfect matchings of $K_{2n}$ is $intersecting$ if any two of its members have an edge in common. It is known that if $\mathcal{F}$ is family of intersecting perfect matchings of $K_{2n}$, then $|\mathcal{F}| \leq (2n-3)!!$ and…
It is known that the number of permutations in the symmetric group $S_{2n}$ with cycles of odd lengths only is equal to the number of permutations with cycles of even lengths only. We prove a refinement of this equality, involving descent…
We prove the following, for a universal constant $c>0$. Let $n \in \mathbb{N}$ and $1 \leq t<c\frac{n}{\log n}$. Let $F,G \subset S_n$ be families of permutations such that no $\sigma \in F$ and $\tau \in G$ agree on exactly $t-1$ values.…
We call a family of sets intersecting, if any two sets in the family intersect. In this paper we investigate intersecting families $\mathcal{F}$ of $k$-element subsets of $[n]:=\{1,\ldots, n\},$ such that every element of $[n]$ lies in the…
Given a vector $\alpha = (\alpha_1, \ldots, \alpha_k) \in \mathbb{F}_2^k$, we say a collection of subsets $\mathcal{F}$ satisfies $\alpha$-intersection pattern modulo $2$ if all $i$-wise intersections consisting of $i$ distinct sets from…
A family of permutations A \subset S_n is said to be intersecting if any two permutations in A agree at some point, i.e. for any \sigma, \pi \in A, there is some i such that \sigma(i)=\pi(i). Deza and Frankl showed that for such a family,…
A family of permutations $\mathcal{F} \subset S_{n}$ is said to be $t$-intersecting if any two permutations in $\mathcal{F}$ agree on at least $t$ points. It is said to be $(t-1)$-intersection-free if no two permutations in $\mathcal{F}$…
Let M be a subset of {0, .., n} and F be a family of subsets of an n element set such that the size of A intersection B is in M for every A, B in F. Suppose that l is the maximum number of consecutive integers contained in M and n is…
We show that any smooth permutation $\sigma\in S_n$ is characterized by the set ${\mathbf{C}}(\sigma)$ of transpositions and $3$-cycles in the Bruhat interval $(S_n)_{\leq\sigma}$, and that $\sigma$ is the product (in a certain order) of…
A set of permutations of $\{1,2,\dots,n\}$ is $t$-intersecting if any two permutations agree on at least $t$ inputs. A recent work by Kupavskii, in the spirit of the Erd\H{o}s-Ko-Rado Theorem, shows that for all $t\leq…
A family $\mathcal A$ of subsets of an $n$-element set is called an eventown (resp. oddtown) if all its sets have even (resp. odd) size and all pairwise intersections have even size. Using tools from linear algebra, it was shown by…