Showing 1–11 of 11 results for author: Leung, K H

On lattice tilings of $\mathbb{Z}^n$ by limited magnitude error balls $\mathcal{B}(n,2,k_{1},k_{2})$ with $k_1>k_2$

Authors: Ka Hin Leung, Ran Tao, Daohua Wang, Tao Zhang

Abstract: Lattice tilings of $\mathbb{Z}^n$ by limited-magnitude error balls correspond to linear perfect codes under such error models and play a crucial role in flash memory applications. In this work, we establish three main results. First, we fully determine the existence of lattice tilings by $\mathcal{B}(n,2,3,0)$ in all dimensions $n$. Second, we completely resolve the case $k_1=k_2+1$. Finally, we p… ▽ More Lattice tilings of $\mathbb{Z}^n$ by limited-magnitude error balls correspond to linear perfect codes under such error models and play a crucial role in flash memory applications. In this work, we establish three main results. First, we fully determine the existence of lattice tilings by $\mathcal{B}(n,2,3,0)$ in all dimensions $n$. Second, we completely resolve the case $k_1=k_2+1$. Finally, we prove that for any integers $k_1>k_2\ge0$ where $k_1+k_2+1$ is composite, no lattice tiling of $\mathbb{Z}^n$ by the error ball $\mathcal{B}(n,2,k_1,k_2)$ exists for sufficiently large $n$. △ Less

Submitted 13 May, 2025; originally announced May 2025.

Comments: 27 pages

Nonexistence of Strong External Difference Families in Abelian Groups of Order Being Product of At Most Three Primes

Authors: Ka Hin Leung, Shuxing Li, Theo Fanuela Prabowo

Abstract: Let $v$ be a product of at most three not necessarily distinct primes. We prove that there exists no strong external difference family with more than two subsets in abelian group $G$ of order $v$, except possibly when $G=C_p^3$ and $p$ is a prime greater than $3 \times 10^{12}$. Let $v$ be a product of at most three not necessarily distinct primes. We prove that there exists no strong external difference family with more than two subsets in abelian group $G$ of order $v$, except possibly when $G=C_p^3$ and $p$ is a prime greater than $3 \times 10^{12}$. △ Less

Submitted 3 June, 2020; v1 submitted 8 October, 2019; originally announced October 2019.

Comments: 30 pages, major changes made to version 1, we refined proofs to some theorems and reorganized the exposition of many results

New nonexistence results on $(m,n)$-generalized bent functions

Authors: Ka Hin Leung, Qi Wang

Abstract: In this paper, we present some new nonexistence results on $(m,n)$-generalized bent functions, which improved recent results. More precisely, we derive new nonexistence results for general $n$ and $m$ odd or $m \equiv 2 \pmod{4}$, and further explicitly prove nonexistence of $(m,3)$-generalized bent functions for all integers $m$ odd or $m \equiv 2 \pmod{4}$. The main tools we utilized are certain… ▽ More In this paper, we present some new nonexistence results on $(m,n)$-generalized bent functions, which improved recent results. More precisely, we derive new nonexistence results for general $n$ and $m$ odd or $m \equiv 2 \pmod{4}$, and further explicitly prove nonexistence of $(m,3)$-generalized bent functions for all integers $m$ odd or $m \equiv 2 \pmod{4}$. The main tools we utilized are certain exponents of minimal vanishing sums from applying characters to group ring equations that characterize $(m,n)$-generalized bent functions. △ Less

Submitted 2 August, 2019; originally announced August 2019.

A new family of Hadamard matrices of order $4(2q^2+1)$

Authors: Ka Hin Leung, Koji Momihara, Qing Xiang

Abstract: Let $q$ be a prime power of the form $q=12c^2+4c+3$ with $c$ an arbitrary integer. In this paper we construct a difference family with parameters $(2q^2;q^2,q^2,q^2,q^2-1;2q^2-2)$ in ${\mathbb Z}_2\times ({\mathbb F}_{q^2},+)$. As a consequence, by applying the Wallis-Whiteman array, we obtain Hadamard matrices of order $4(2q^2+1)$ for the aforementioned $q$'s. Let $q$ be a prime power of the form $q=12c^2+4c+3$ with $c$ an arbitrary integer. In this paper we construct a difference family with parameters $(2q^2;q^2,q^2,q^2,q^2-1;2q^2-2)$ in ${\mathbb Z}_2\times ({\mathbb F}_{q^2},+)$. As a consequence, by applying the Wallis-Whiteman array, we obtain Hadamard matrices of order $4(2q^2+1)$ for the aforementioned $q$'s. △ Less

Submitted 4 July, 2019; originally announced July 2019.

Comments: 13 pages

Upper Bounds for Cyclotomic Numbers

Authors: Tai Do Duc, Ka Hin Leung, Bernhard Schmidt

Abstract: Let $q$ be a power of a prime $p$, let $k$ be a nontrivial divisor of $q-1$ and write $e=(q-1)/k$. We study upper bounds for cyclotomic numbers $(a,b)$ of order $e$ over the finite field $\mathbb{F}_q$. A general result of our study is that $(a,b)\leq 3$ for all $a,b \in \mathbb{Z}$ if $p> (\sqrt{14})^{k/ord_k(p)}$. More conclusive results will be obtained through separate investigation of the fiv… ▽ More Let $q$ be a power of a prime $p$, let $k$ be a nontrivial divisor of $q-1$ and write $e=(q-1)/k$. We study upper bounds for cyclotomic numbers $(a,b)$ of order $e$ over the finite field $\mathbb{F}_q$. A general result of our study is that $(a,b)\leq 3$ for all $a,b \in \mathbb{Z}$ if $p> (\sqrt{14})^{k/ord_k(p)}$. More conclusive results will be obtained through separate investigation of the five types of cyclotomic numbers: $(0,0), (0,a), (a,0), (a,a)$ and $(a,b)$, where $a\neq b$ and $a,b \in \{1,\dots,e-1\}$. The main idea we use is to transform equations over $\mathbb{F}_q$ into equations over the field of complex numbers on which we have more information. A major tool for the improvements we obtain over known results is new upper bounds on the norm of cyclotomic integers. △ Less

Submitted 18 March, 2019; originally announced March 2019.

New constructions of Hadamard matrices

Authors: Ka Hin Leung, Koji Momihara

Abstract: In this paper, we obtain a number of new infinite families of Hadamard matrices. Our constructions are based on four new constructions of difference families with four or eight blocks. By applying the Wallis-Whiteman array or the Kharaghani array to the difference families constructed, we obtain new Hadamard matrices of order $4(uv+1)$ for $u=2$ and $v\in Φ_1\cup Φ_2 \cup Φ_3 \cup Φ_4$; and for… ▽ More In this paper, we obtain a number of new infinite families of Hadamard matrices. Our constructions are based on four new constructions of difference families with four or eight blocks. By applying the Wallis-Whiteman array or the Kharaghani array to the difference families constructed, we obtain new Hadamard matrices of order $4(uv+1)$ for $u=2$ and $v\in Φ_1\cup Φ_2 \cup Φ_3 \cup Φ_4$; and for $u\in \{3,5\}$ and $v\in Φ_1\cup Φ_2 \cup Φ_3$. Here, $Φ_1=\{q^2:q\equiv 1\pmod{4}\mbox{ is a prime power}\}$, $Φ_2=\{n^4\in \mathbb{N}:n\equiv 1\pmod{2}\} \cup \{9n^4\in \mathbb{N}:n\equiv 1\pmod{2}\}$, $Φ_3=\{5\}$ and $Φ_4=\{13,37\}$. Moreover, our construction also yields new Hadamard matrices of order $8(uv+1)$ for any $u\in Φ_1\cup Φ_2$ and $v\in Φ_1\cup Φ_2 \cup Φ_3$. △ Less

Submitted 12 July, 2019; v1 submitted 14 September, 2018; originally announced September 2018.

Comments: 22 pages, revised version

No lattice tiling of $\mathbb{Z}^n$ by Lee Sphere of radius 2

Authors: Ka Hin Leung, Yue Zhou

Abstract: We prove the nonexistence of lattice tilings of $\mathbb{Z}^n$ by Lee spheres of radius $2$ for all dimensions $n\geq 3$. This implies that the Golomb-Welch conjecture is true when the common radius of the Lee spheres equals $2$ and $2n^2+2n+1$ is a prime. As a direct consequence, we also answer an open question in the degree-diameter problem of graph theory: the order of any abelian Cayley graph… ▽ More We prove the nonexistence of lattice tilings of $\mathbb{Z}^n$ by Lee spheres of radius $2$ for all dimensions $n\geq 3$. This implies that the Golomb-Welch conjecture is true when the common radius of the Lee spheres equals $2$ and $2n^2+2n+1$ is a prime. As a direct consequence, we also answer an open question in the degree-diameter problem of graph theory: the order of any abelian Cayley graph of diameter $2$ and degree larger than $5$ cannot meet the abelian Cayley Moore bound. △ Less

Submitted 21 October, 2019; v1 submitted 26 August, 2018; originally announced August 2018.

Comments: Compared with the first version, we have extended the introduction part and corrected several typos

MSC Class: 52C22; 11H31; 05C25; 11H7

Journal ref: Journal of Combinatorial Theory, Series A, Vol. 171, April 2020

Binary Cyclic codes with two primitive nonzeros

Authors: Tao Feng, Ka Hin Leung, Qing Xiang

Abstract: In this paper, we make some progress towards a well-known conjecture on the minimum weights of binary cyclic codes with two primitive nonzeros. We also determine the Walsh spectrum of $\Tr(x^d)$ over $\F_{2^{m}}$ in the case where $m=2t$, $d=3+2^{t+1}$ and $\gcd(d, 2^{m}-1)=1$. In this paper, we make some progress towards a well-known conjecture on the minimum weights of binary cyclic codes with two primitive nonzeros. We also determine the Walsh spectrum of $\Tr(x^d)$ over $\F_{2^{m}}$ in the case where $m=2t$, $d=3+2^{t+1}$ and $\gcd(d, 2^{m}-1)=1$. △ Less

Submitted 21 January, 2013; originally announced January 2013.

Comments: 11 pages, submitted to the special volumn of Science Sinica Mathematics on Coding, Cryptography and Combinatorics

On Mathon's construction of maximal arcs in Desarguesian planes. II

Authors: Frank Fiedler, Ka Hin Leung, Qing Xiang

Abstract: In a recent paper [M], Mathon gives a new construction of maximal arcs which generalizes the construction of Denniston. In relation to this construction, Mathon asks the question of determining the largest degree of a non-Denniston maximal arc arising from his new construction. In this paper, we give a nearly complete answer to this problem. Specifically, we prove that when $m\geq 5$ and… ▽ More In a recent paper [M], Mathon gives a new construction of maximal arcs which generalizes the construction of Denniston. In relation to this construction, Mathon asks the question of determining the largest degree of a non-Denniston maximal arc arising from his new construction. In this paper, we give a nearly complete answer to this problem. Specifically, we prove that when $m\geq 5$ and $m\neq 9$, the largest $d$ of a non-Denniston maximal arc of degree $2^d$ in PG(2,2^m) generated by a {p,1}-map is $(\floor {m/2} +1)$. This confirms our conjecture in [FLX]. For {p,q}-maps, we prove that if $m\geq 7$ and $m\neq 9$, then the largest $d$ of a non-Denniston maximal arc of degree $2^d$ in PG(2,2^m) generated by a {p,q}-map is either $\floor {m/2} +1$ or $\floor{m/2} +2$. △ Less

Submitted 5 January, 2004; originally announced January 2004.

Comments: 21 pages

MSC Class: 51E21; 51E05

On vanishing sums of $\,m\,$th roots of unity in finite fields

Authors: T. Y. Lam, K. H. Leung

Abstract: In an earlier work, the authors have determined all possible weights $n$ for which there exists a vanishing sum $ζ_1+\cdots +ζ_n=0$ of $m$th roots of unity $ζ_i$ in characteristic 0. In this paper, the same problem is studied in finite fields of characteristic $p$. For given $m$ and $p$, results are obtained on integers $n_0$ such that all integers $n\geq n_0$ are in the ``weight set'' $W_p(m)$.… ▽ More In an earlier work, the authors have determined all possible weights $n$ for which there exists a vanishing sum $ζ_1+\cdots +ζ_n=0$ of $m$th roots of unity $ζ_i$ in characteristic 0. In this paper, the same problem is studied in finite fields of characteristic $p$. For given $m$ and $p$, results are obtained on integers $n_0$ such that all integers $n\geq n_0$ are in the ``weight set'' $W_p(m)$. The main result $(1.3)$ in this paper guarantees, under suitable conditions, the existence of solutions of $x_1^d+\cdots+x_n^d=0$ with all coordinates not equal to zero over a finite field. △ Less

Submitted 1 May, 1996; originally announced May 1996.

Report number: MSRI 1996-028

On vanishing sums for roots of unity

Authors: T. Y. Lam, K. H. Leung

Abstract: Consider the $m$-th roots of unity in {\bf C}, where $m>0$ is an integer. We address the following question: For what values of $n$ can one find $n$ such $m$-th roots of unity (with repetitions allowed) adding up to zero? We prove that the answer is exactly the set of linear combinations with non-negative integer coefficients of the prime factors of $m$. Consider the $m$-th roots of unity in {\bf C}, where $m>0$ is an integer. We address the following question: For what values of $n$ can one find $n$ such $m$-th roots of unity (with repetitions allowed) adding up to zero? We prove that the answer is exactly the set of linear combinations with non-negative integer coefficients of the prime factors of $m$. △ Less

Submitted 12 November, 1995; originally announced November 1995.

Report number: MSRI 1995-082