Source author record

Kok Bin Wong

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

10works
1topics
4close collaborators

Published work

10 publications

preprint2014arXiv

An Erd{\H o}s-Ko-Rado theorem for permutations with fixed number of cycles

Let SnS_{n} denote the set of permutations of [n]={1,2,…,n}[n]=\{1,2,\dots, n\}. For a positive integer kk, define Sn,kS_{n,k} to be the set of all permutations of [n][n] with exactly kk disjoint cycles, i.e., Sn,k={π∈Sn:π=c1c2⋯ck}, S_{n,k} = \{π\in S_{n}: π= c_{1}c_{2} \cdots c_{k}\}, where c1,c2,…,ckc_1,c_2,\dots ,c_k are disjoint cycles. The size of Sn,kS_{n,k} is given by [nk]=(−1)n−ks(n,k)\left [ \begin{matrix}n\\ k \end{matrix}\right]=(-1)^{n-k}s(n,k), where s(n,k)s(n,k) is the Stirling number of the first kind. A family A⊆Sn,k\mathcal{A} \subseteq S_{n,k} is said to be tt-{\em intersecting} if any two elements of A\mathcal{A} have at least tt common cycles. In this paper, we show that, given any positive integers k,tk,t with k≥t+1k\geq t+1, there exists an integer n0=n0(k,t)n_0=n_0(k,t), such that for all n≥n0n\geq n_0, if A⊆Sn,k\mathcal{A} \subseteq S_{n,k} is tt-intersecting, then ∣A∣≤[n−tk−t], |\mathcal{A}| \le \left [ \begin{matrix}n-t\\ k-t \end{matrix}\right], with equality if and only if A\mathcal{A} is the stabiliser of tt fixed points.

preprint2014arXiv

Cayley Graph on Symmetric Group Generated by Elements Fixing kk Points

Let Sn\mathcal{S}_{n} be the symmetric group on [n]={1,…,n}[n]=\{1, \ldots, n\}. The kk-point fixing graph F(n,k)\mathcal{F}(n,k) is defined to be the graph with vertex set Sn\mathcal{S}_{n} and two vertices gg, hh of F(n,k)\mathcal{F}(n,k) are joined if and only if gh−1gh^{-1} fixes exactly kk points. In this paper, we derive a recurrence formula for the eigenvalues of F(n,k)\mathcal{F}(n,k). Then we apply our result to determine the sign of the eigenvalues of F(n,1)\mathcal{F}(n,1).

preprint2013arXiv

A generalization of the extremal function of the Davenport-Schinzel sequences

Let [n]={1,…,n}[n]=\{1, \ldots, n\}. A sequence u=a1a2…alu=a_1a_2\dots a_l over [n][n] is called kk-sparse if ai=aja_i = a_j, i>ji > j implies i−j≥ki-j\geq k. In other words, every consecutive subsequence of uu of length at most kk does not have letters in common. Let u,vu,v be two sequences. We say that uu is vv-free, if uu does not contain a subsequence isomorphic to vv. Suppose there are only kk letters appearing in vv. The extremal function Ex(v,n)(v,n) is defined as the maximum length of all the vv-free and kk-sparse sequences. In this paper, we study a generalization of the extremal function Ex(v,n)(v,n).

preprint2013arXiv

An Analogue of the Hilton-Milner Theorem for weak compositions

Let N0\mathbb N_0 be the set of non-negative integers, and let P(n,l)P(n,l) denote the set of all weak compositions of nn with ll parts, i.e., P(n,l)={(x1,x2,…,xl)∈N0l : x1+x2+⋯+xl=n}P(n,l)=\{ (x_1,x_2,\dots, x_l)\in\mathbb N_0^l\ :\ x_1+x_2+\cdots+x_l=n\}. For any element u=(u1,u2,…,ul)∈P(n,l)\mathbf u=(u_1,u_2,\dots, u_l)\in P(n,l), denote its iith-coordinate by u(i)\mathbf u(i), i.e., u(i)=ui\mathbf u(i)=u_i. A family A⊆P(n,l)\mathcal A\subseteq P(n,l) is said to be tt-intersecting if ∣{i : u(i)=v(i)}∣≥t\vert \{ i \ :\ \mathbf u(i)=\mathbf v(i)\} \vert\geq t for all u,v∈A\mathbf u,\mathbf v\in \mathcal A. A family A⊆P(n,l)\mathcal A\subseteq P(n,l) is said to be trivially tt-intersecting if there is a tt-set TT of {1,2,…,l}\{1,2,\dots,l\} and elements ys∈N0y_s\in \mathbb N_0 (s∈Ts\in T) such that A={u∈P(n,l) : u(j)=yj forall j∈T}\mathcal{A}= \{\mathbf u\in P(n,l)\ :\ \mathbf u(j)=y_j\ {\rm for all}\ j\in T\}. We prove that given any positive integers l,tl,t with l≥2t+3l\geq 2t+3, there exists a constant n0(l,t)n_0(l,t) depending only on ll and tt, such that for all n≥n0(l,t)n\geq n_0(l,t), if A⊆P(n,l)\mathcal{A} \subseteq P(n,l) is non-trivially tt-intersecting then \begin{equation} \vert \mathcal{A} \vert\leq {n+l-t-1 \choose l-t-1}-{n-1 \choose l-t-1}+t.\notag \end{equation} Moreover, equality holds if and only if there is a tt-set TT of {1,2,…,l}\{1,2,\dots,l\} such that \begin{equation} \mathcal A=\bigcup_{s\in \{1,2,\dots, l\}\setminus T} \mathcal A_s\cup \left\{ \mathbf q_i\ :\ i\in T \right\},\notag \end{equation} where \begin{align} \mathcal{A}_s & =\{\mathbf u\in P(n,l)\ :\ \mathbf u(j)=0\ {\rm for all}\ j\in T\ {\rm and}\ \mathbf u(s)=0\}\notag \end{align} and qi∈P(n,l)\mathbf q_i\in P(n,l) with qi(j)=0\mathbf q_i(j)=0 for all j∈{1,2,…,l}∖{i}j\in \{1,2,\dots, l\}\setminus \{i\} and qi(i)=n\mathbf q_i(i)=n.

preprint2013arXiv

Cyclic decomposition of k-permutations and eigenvalues of the arrangement graphs

The (n,k)-arrangement graph A(n,k) is a graph with all the k-permutations of an n-element set as vertices where two k-permutations are adjacent if they agree in exactly k-1 positions. We introduce a cyclic decomposition for k-permutations and show that this gives rise to a very fine equitable partition of A(n,k). This equitable partition can be employed to compute the complete set of eigenvalues (of the adjacency matrix) of A(n,k). Consequently, we determine the eigenvalues of A(n,k) for small values of k. Finally, we show that any eigenvalue of the Johnson graph J(n,k) is an eigenvalue of A(n,k) and that -k is the smallest eigenvalue of A(n,k) with multiplicity O(n^k) for fixed k.

preprint2013arXiv

On rr-cross tt-intersecting families for weak compositions

Let N0\mathbb N_0 be the set of non-negative integers, and let P(n,l)P(n,l) denote the set of all weak compositions of nn with ll parts, i.e., P(n,l)={(x1,x2,…,xl)∈N0l : x1+x2+⋯+xl=n}P(n,l)=\{ (x_1,x_2,\dots, x_l)\in\mathbb N_0^l\ :\ x_1+x_2+\cdots+x_l=n\}. For any element u=(u1,u2,…,ul)∈P(n,l)\mathbf u=(u_1,u_2,\dots, u_l)\in P(n,l), denote its iith-coordinate by u(i)\mathbf u(i), i.e., u(i)=ui\mathbf u(i)=u_i. Let l=min⁡(l1,l2,…,lr)l=\min(l_1,l_2,\dots, l_r). Families Aj⊆P(nj,lj)\mathcal A_j\subseteq P(n_j,l_j) (j=1,2,…,rj=1,2,\dots, r) are said to be rr-cross tt-intersecting if ∣{i∈[l] : u1(i)=u2(i)=⋯=ur(i)}∣≥t\vert \{ i\in [l] \ :\ \mathbf u_1(i)=\mathbf u_2(i)=\cdots=\mathbf u_r(i)\} \vert\geq t for all uj∈Aj\mathbf u_j\in \mathcal A_j. Suppose that l≥t+2l\geq t+2. We prove that there exists a constant n0=n0(l1,l2,…,lr,t)n_0=n_0(l_1,l_2,\dots,l_r,t) depending only on ljl_j's and tt, such that for all nj≥n0n_j\geq n_0, if the families Aj⊆P(nj,lj)\mathcal A_j\subseteq P(n_j,l_j) (j=1,2,…,rj=1,2,\dots, r) are rr-cross tt-intersecting, then \begin{equation} \prod_{j=1}^r \vert \mathcal{A}_j \vert\leq \prod_{j=1}^r {n_j+l_j-t-1 \choose l_j-t-1}.\notag \end{equation} Moreover, equality holds if and only if there is a tt-set TT of {1,2,…,l}\{1,2,\dots,l\} such that Aj={u∈P(nj,lj) : u(i)=0 for all i∈T}\mathcal{A}_j=\{\mathbf u\in P(n_j,l_j)\ :\ \mathbf u(i)=0\ {\rm for\ all}\ i\in T\} for j=1,2,…,rj=1,2,\dots, r.

preprint2013arXiv

On the eigenvalues of certain Cayley graphs and arrangement graphs

In this paper, we show that the eigenvalues of certain classes of Cayley graphs are integers. The (n,k,r)-arrangement graph A(n,k,r) is a graph with all the k-permutations of an n-element set as vertices where two k-permutations are adjacent if they differ in exactly r positions. We establish a relation between the eigenvalues of the arrangement graphs and the eigenvalues of certain Cayley graphs. As a result, the conjecture on integrality of eigenvalues of A(n,k,1) follows.

preprint2012arXiv

Solving the Ku-Wales conjecture on the eigenvalues of the derangement graph

We give a new recurrence formula for the eigenvalues of the derangement graph. Consequently, we provide a simpler proof of the Alternating Sign Property of the derangement graph. Moreover, we prove that the absolute value of the eigenvalue decreases whenever the corresponding partition decreases in the dominance order. In particular, this settles affirmatively a conjecture of Ku and Wales (J. of Combin. Theory, Series A 117 (2010) 289--312) regarding the lower and upper bound for the absolute values of these eigenvalues.

preprint2011arXiv

An Analogue of Hilton-Milner Theorem for Set Partitions

Let B(n)\mathcal{B}(n) denote the collection of all set partitions of [n][n]. Suppose A⊆B(n)\mathcal{A} \subseteq \mathcal{B}(n) is a non-trivial tt-intersecting family of set partitions i.e. any two members of $\A$ have at least tt blocks in common, but there is no fixed tt blocks of size one which belong to all of them. It is proved that for sufficiently large nn depending on tt, ∣A∣≤Bn−t−B~n−t−B~n−t−1+t |\mathcal{A}| \le B_{n-t}-\tilde{B}_{n-t}-\tilde{B}_{n-t-1}+t where BnB_{n} is the nn-th Bell number and B~n\tilde{B}_{n} is the number of set partitions of [n][n] without blocks of size one. Moreover, equality holds if and only if A\mathcal{A} is equivalent to {P∈B(n):{1},{2},...,{t},{i}∈Pfor somei≠1,2,...,t,n}∪{Q(i,n) : 1≤i≤t} \{P \in \mathcal{B}(n): \{1\}, \{2\},..., \{t\}, \{i\} \in P \textnormal{for some} i \not = 1,2,..., t,n \}\cup \{Q(i,n)\ :\ 1\leq i\leq t\} where Q(i,n)={{i,n}}∪{{j} : j∈[n]∖{i,n}}Q(i,n)=\{\{i,n\}\}\cup\{\{j\}\ :\ j\in [n]\setminus \{i,n\}\}. This is an analogue of the Hilton-Milner theorem for set partitions.

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.