arXiv Science⌕ Search

arXiv subjects

Tao Feng

Publications and source records attributed to Tao Feng.

At least 217 records · Page 12Linked to original sources

Partial difference sets and amorphic Cayley schemes in non-abelian $2$-groups

In this paper, we consider regular automorphism groups of graphs in the RT$2$ family and the Davis-Xiang family and amorphic abelian Cayley schemes from these graphs. We derive general results on the existence of non-abelian regular automorphism groups from abelian regular automorphism groups and apply them to the RT$2$ family and Davis-Xiang family and their amorphic abelian Cayley schemes to produce amorphic non-abelian Cayley schemes.

math.CO↗

Triangle decompositions of $λK_v-λK_w-λK_u$

Denote by $λK_v$ the complete graph of order $v$ with multiplicity $λ$. Let $λK_v-λK_w-λK_u$ be the graph obtained from $λK_v$ by the removal of the edges of two vertex disjoint complete multi-subgraphs with multiplicity $ λ$ of orders $ w $ and $ u $, respectively. When $λ$ is odd, it is shown that there exists a triangle decomposition of $λK_v-λK_w-λK_u$ if and only if $v\geq w+u+\max\{u,w\}$, $ λ\left({v\choose 2}-{u\choose 2}-{w\choose 2}\right) \equiv 0 \pmod 3$ and $λ(v-w) \equiv λ(v-u) \equiv λ(v-1) \equiv 0 \pmod 2$. When $λ$ is even, it is shown that for large enough $v$, the elementary necessary conditions for the existence of a triangle decomposition of $λK_v-λK_w-λK_u$ are also sufficient.

math.CO↗

Several classes of optimal Ferrers diagram rank-metric codes

Four constructions for Ferrers diagram rank-metric (FDRM) codes are presented. The first one makes use of a characterization on generator matrices of a class of systematic maximum rank distance codes. By introducing restricted Gabidulin codes, the second construction is presented, which unifies many known constructions for FDRM codes. The third and fourth constructions are based on two different ways to represent elements of a finite field $\mathbb F_{q^m}$ (vector representation and matrix representation). Each of these constructions produces optimal codes with different diagrams and parameters.

math.CO↗

On $m$-ovoids of Symplectic Polar Spaces

In this paper, we develop a new method for constructing $m$-ovoids in the symplectic polar space $\W(2r-1,\q)$ from some strongly regular Cayley graphs in \cite{Brouwer1999Journal}. Using this method, we obtain many new $m$-ovoids which can not be derived by field reduction.

math.CO↗

Optimal optical orthogonal signature pattern codes with weight three and cross-correlation constraint one

Optical orthogonal signature pattern codes (OOSPCs) have attracted wide attention as signature patterns of spatial optical code division multiple access networks. In this paper, an improved upper bound on the size of an $(m,n,3,λ_a,1)$-OOSPC with $λ_a=2,3$ is established. The exact number of codewords of an optimal $(m,n,3,λ_a,1)$-OOSPC is determined for any positive integers $m,n\equiv2\ ({\rm mod }\ 4)$ and $λ_a\in\{2,3\}$.

math.CO↗

Strong difference families of special types

Strong difference families of special types are introduced to produce new relative difference families from the point of view of both asymptotic existences and concrete examples. As applications, group divisible designs of type $30^u$ with block size $6$ are discussed, $r$-rotational balanced incomplete block designs with block size $6$ are derived for $r\in\{6,10\}$, and several classes of optimal optical orthogonal codes with weight $5$, $6$, $7$, or $8$ are obtained.

math.CO↗

Leaves for packings with block size four

We consider maximum packings of edge-disjoint $4$-cliques in the complete graph $K_n$. When $n \equiv 1$ or $4 \pmod{12}$, these are simply block designs. In other congruence classes, there are necessarily uncovered edges; we examine the possible `leave' graphs induced by those edges. We give particular emphasis to the case $n \equiv 0$ or $3 \pmod{12}$, when the leave is $2$-regular. Colbourn and Ling settled the case of Hamiltonian leaves in this case. We extend their construction and use several additional direct and recursive constructions to realize a variety of $2$-regular leaves. For various subsets $S \subseteq \{3,4,5,\dots\}$, we establish explicit lower bounds on $n$ to guarantee the existence of maximum packings with any possible leave whose cycle lengths belong to $S$.

math.CO↗

An infinite family of $m$-ovoids of $Q(4,q)$

In this paper, we construct an infinite family of $\frac{q-1}{2}$-ovoids of the generalized quadrangle $Q(4,q)$, for $q\equiv 1 (\text{mod}\ 4)$ and $q>5$. Together with the examples given by Bamberg et al. and constructions provided by Feng et al., this establishes the existence of $\frac{q-1}{2}$-ovoids in $Q(4,q)$ for each odd prime power $q$.

math.CO↗

Constructions for optimal Ferrers diagram rank-metric codes

Optimal rank-metric codes in Ferrers diagrams can be used to construct good subspace codes. Such codes consist of matrices having zeros at certain fixed positions. This paper generalizes the known constructions for Ferrers diagram rank-metric (FDRM) codes. Via a criteria for linear maximum rank distance (MRD) codes, an explicit construction for a class of systematic MRD codes is presented, which is used to produce new optimal FDRM codes. By exploring subcodes of Gabidulin codes, if each of the rightmost $δ-1$ columns in Ferrers diagram $\cal F$ has at least $n-r$ dots, where $r$ is taken in a range, then the conditions that an FDRM code in $\cal F$ is optimal are established. The known combining constructions for FDRM code are generalized by introducing the concept of proper combinations of Ferrers diagrams.

math.CO↗

Optimal $2$-D $(n\times m,3,2,1)$-optical orthogonal codes and related equi-difference conflict avoiding codes

This paper focuses on constructions for optimal $2$-D $(n\times m,3,2,1)$-optical orthogonal codes with $m\equiv 0\ ({\rm mod}\ 4)$. An upper bound on the size of such codes is established. It relies heavily on the size of optimal equi-difference $1$-D $(m,3,2,1)$-optical orthogonal codes, which is closely related to optimal equi-difference conflict avoiding codes with weight $3$. The exact number of codewords of an optimal $2$-D $(n\times m,3,2,1)$-optical orthogonal code is determined for $n=1,2$, $m\equiv 0 \pmod{4}$, and $n\equiv 0 \pmod{3}$, $m\equiv 8 \pmod{16}$ or $m\equiv 32 \pmod{64}$ or $m\equiv 4,20 \pmod{48}$.

math.CO↗

The shift bound for abelian codes and generalizations of the Donoho-Stark uncertainty principle

Let $G$ be a finite abelian group. If $f: G\rightarrow \bC$ is a nonzero function with Fourier transform $\hf$, the Donoho-Stark uncertainty principle states that $|\supp(f)||\supp(\hf)|\geq |G|$. The purpose of this paper is twofold. First, we present the shift bound for abelian codes with a streamlined proof. Second, we use the shifting technique to prove a generalization and a sharpening of the Donoho-Stark uncertainty principle. In particular, the sharpened uncertainty principle states, with notation above, that $|\supp(f)||\supp(\hf)|\geq |G|+|\supp(f)|-|H(\supp(f))|$, where $H(\supp(f))$ is the stabilizer of $\supp(f)$ in $G$.

math.CO↗

Frame difference families and resolvable balanced incomplete block designs

Frame difference families, which can be obtained via a careful use of cyclotomic conditions attached to strong difference families, play an important role in direct constructions for resolvable balanced incomplete block designs. We establish asymptotic existences for several classes of frame difference families. As corollaries new infinite families of 1-rotational $(pq+1,p+1,1)$-RBIBDs over $\mathbb{F}_{p}^+ \times \mathbb{F}_{q}^+$ are derived, and the existence of $(125q+1,6,1)$-RBIBDs is discussed. We construct $(v,8,1)$-RBIBDs for $v\in\{624,1576,2976,5720,5776,10200,14176,24480\}$, whose existence were previously in doubt. As applications, we establish asymptotic existences for an infinite family of optimal constant composition codes and an infinite family of strictly optimal frequency hopping sequences.

math.CO↗

New $2$-designs from strong difference families

Strong difference families are an interesting class of discrete structures which can be used to derive relative difference families. Relative difference families are closely related to $2$-designs, and have applications in constructions for many significant codes, such as optical orthogonal codes and optical orthogonal signature pattern codes. In this paper, with a careful use of cyclotomic conditions attached to strong difference families, we improve the lower bound on the asymptotic existence results of $(\mathbb{F}_{p}\times \mathbb{F}_{q},\mathbb{F}_{p}\times \{0\},k,λ)$-DFs for $k\in\{p,p+1\}$. We improve Buratti's existence results for $2$-$(13q,13,λ)$ designs and $2$-$(17q,17,λ)$ designs, and establish the existence of seven new $2$-$(v,k,λ)$ designs for $(v,k,λ)\in\{(694,7,2),(1576,8,1),(2025,9,1),(765,9,2),(1845,9,2),(459,9,4)$, $(783,9,4)\}$.

math.CO↗

Optimal design for high-throughput screening via false discovery rate control

High-throughput screening (HTS) is a large-scale hierarchical process in which a large number of chemicals are tested in multiple stages. Conventional statistical analyses of HTS studies often suffer from high testing error rates and soaring costs in large-scale settings. This article develops new methodologies for false discovery rate control and optimal design in HTS studies. We propose a two-stage procedure that determines the optimal numbers of replicates at different screening stages while simultaneously controlling the false discovery rate in the confirmatory stage subject to a constraint on the total budget. The merits of the proposed methods are illustrated using both simulated and real data. We show that the proposed screening procedure effectively controls the error rate and the design leads to improved detection power. This is achieved at the expense of a limited budget.

stat.AP↗

Finite flag-transitive affine planes with a solvable automorphism group

In this paper, we consider finite flag-transitive affine planes with a solvable automorphism group. Under a mild number-theoretic condition involving the order and dimension of the plane, the translation complement must contain a linear cyclic subgroup that either is transitive or has two equal-sized orbits on the line at infinity. We develop a new approach to the study of such planes by associating them with planar functions and permutation polynomials in the odd order and even order case respectively. In the odd order case, we characterize the Kantor-Suetake family by using Menichetti's classification of generalized twisted fields and Blokhuis, Lavrauw and Ball's classifcation of rank two commutative semifields. In the even order case, we develop a technique to study permutation polynomials of DO type by quadratic forms and characterize such planes that have dimensions up to four over their kernels.

math.CO↗

Some new results on permutation polynomials over finite fields

Permutation polynomials over finite fields constitute an active research area and have applications in many areas of science and engineering. In this paper, four classes of monomial complete permutation polynomials and one class of trinomial complete permutation polynomials are presented, one of which confirms a conjecture proposed by Wu et al. (Sci. China Math., to appear. Doi: 10.1007/s11425-014-4964-2). Furthermore, we give two classes of trinomial permutation polynomials, and make some progress on a conjecture about the differential uniformity of power permutation polynomials proposed by Blondeau et al. (Int. J. Inf. Coding Theory, 2010, 1, pp. 149-170).

cs.IT↗