Table of Contents
Fetching ...

On zero-sum free sequences contained in random subsets of finite cyclic groups

Sang June Lee, Jun Seok Oh

Abstract

Let $C_n$ be a cyclic group of order $n$. A sequence $S$ of length $\ell$ over $C_n$ is a sequence $S = a_1\boldsymbol\cdot a_2\boldsymbol\cdot \ldots\boldsymbol\cdot a_{\ell}$ of $\ell$ elements in $C_n$, where a repetition of elements is allowed and their order is disregarded. We say that $S$ is a zero-sum sequence if $Σ_{i=1}^{\ell} a_i = 0$ and that $S$ is a zero-sum free sequence if $S$ contains no zero-sum subsequence. Let $R$ be a random subset of $C_n$ obtained by choosing each element in $C_n$ independently with probability $p$. Let $N^R_{n-1-k}$ be the number of zero-sum free sequences of length $n-1-k$ in $R$. Also, let $N^R_{n-1-k,d}$ be the number of zero-sum free sequences of length $n-1-k$ having $d$ distinct elements in $R$. We obtain the expectation of $N^R_{n-1-k}$ and $N^R_{n-1-k,d}$ for $0\leq k\leq \big\lfloor \frac{n}{3} \big\rfloor$. We also show a concentration result on $N^R_{n-1-k}$ and $N^R_{n-1-k,d}$ when $k$ is fixed.

On zero-sum free sequences contained in random subsets of finite cyclic groups

Abstract

Let be a cyclic group of order . A sequence of length over is a sequence of elements in , where a repetition of elements is allowed and their order is disregarded. We say that is a zero-sum sequence if and that is a zero-sum free sequence if contains no zero-sum subsequence. Let be a random subset of obtained by choosing each element in independently with probability . Let be the number of zero-sum free sequences of length in . Also, let be the number of zero-sum free sequences of length having distinct elements in . We obtain the expectation of and for . We also show a concentration result on and when is fixed.

Paper Structure

This paper contains 9 sections, 71 equations, 1 figure.

Figures (1)

  • Figure 1: Definition of $Y_{b,c,d}$ and the deletion process

Theorems & Definitions (7)

  • proof : Proof of Theorem \ref{['thm:exp2']}
  • proof : Proof of Corollary \ref{['coro:exp2']}
  • proof
  • proof
  • proof
  • proof : Proof of Theorem \ref{['thm:concentration2']}
  • proof : Proof of Theorem \ref{['thm:concentration']}