Showing 1–7 of 7 results for author: Duc, T D

New Constructions of Group-Invariant Butson Hadamard Matrices

Authors: Tai Do Duc

Abstract: Let $G$ be a finite group and let $h$ be a positive integer. A $\text{BH}(G,h)$ matrix is a $G$-invariant $|G|\times |G|$ matrix $H$ whose entries are complex $h$th roots of unity such that $HH^*=|G|I_{|G|}$, where $H^*$ denotes the complex conjugate transpose of $H$, and $I_{|G|}$ is the identity matrix of order $|G|$. In this paper, we give three new constructions of $\text{BH}(G,h)$ matrices. T… ▽ More Let $G$ be a finite group and let $h$ be a positive integer. A $\text{BH}(G,h)$ matrix is a $G$-invariant $|G|\times |G|$ matrix $H$ whose entries are complex $h$th roots of unity such that $HH^*=|G|I_{|G|}$, where $H^*$ denotes the complex conjugate transpose of $H$, and $I_{|G|}$ is the identity matrix of order $|G|$. In this paper, we give three new constructions of $\text{BH}(G,h)$ matrices. The first construction is the first known family of $\text{BH}(G,h)$ matrices in which $G$ does not need to be abelian. The second and the third constructions are two families of $\text{BH}(G,h)$ matrices in which $G$ is a finite local ring. △ Less

Submitted 13 December, 2019; v1 submitted 23 March, 2019; originally announced March 2019.

Necessary Conditions for the Existence of Group-Invariant Butson Matrices and a New Family of Perfect Arrays

Authors: Tai Do Duc

Abstract: Let $G$ be a finite abelian group and let $\exp(G)$ denote the least common multiple of the orders of all elements of $G$. A $BH(G,h)$ matrix is a $G$-invariant $|G|\times |G|$ matrix $H$ whose entries are complex $h$th roots of unity such that $HH^*=|G|I_{|G|}$. In this paper, we study the relation between $G$ and $h$ so that a $BH(G,h)$ matrix exists. We will only focus on $BH(\mathbb{Z}_n,h)$ m… ▽ More Let $G$ be a finite abelian group and let $\exp(G)$ denote the least common multiple of the orders of all elements of $G$. A $BH(G,h)$ matrix is a $G$-invariant $|G|\times |G|$ matrix $H$ whose entries are complex $h$th roots of unity such that $HH^*=|G|I_{|G|}$. In this paper, we study the relation between $G$ and $h$ so that a $BH(G,h)$ matrix exists. We will only focus on $BH(\mathbb{Z}_n,h)$ matrices and $BH(G,2p^b)$ matrices, where $p$ is an odd prime. By our results, there are $2687$ open cases left for the existence of $BH(\mathbb{Z}_n,h)$ matrices in which $1\leq n,h \leq 100$. In the last section, we show that $BH(\mathbb{Z}_n,h)$ matrices can be used to construct a new family of perfect polyphase arrays. △ Less

Submitted 16 April, 2019; v1 submitted 18 March, 2019; originally announced March 2019.

Non-projective cyclic codes whose check polynomial contains two zeros

Authors: Tai Do Duc

Abstract: Let $n\geq 3$ be a positive integer and let $\mathbb{F}_{q^k}$ be the splitting field of $x^n-1$. By $γ$ we denote a primitive element of $\mathbb{F}_{q^k}$. Let $C$ be a cyclic code of length $n$ whose check polynomial contains two zeros $γ^d$ and $γ^{d+D}$, where $de \mid (q-1)$, $e>1$ and $D=(q^k-1)/e$. This family of cyclic codes is not projective. Many authors have studied the weight distribu… ▽ More Let $n\geq 3$ be a positive integer and let $\mathbb{F}_{q^k}$ be the splitting field of $x^n-1$. By $γ$ we denote a primitive element of $\mathbb{F}_{q^k}$. Let $C$ be a cyclic code of length $n$ whose check polynomial contains two zeros $γ^d$ and $γ^{d+D}$, where $de \mid (q-1)$, $e>1$ and $D=(q^k-1)/e$. This family of cyclic codes is not projective. Many authors have studied the weight distribution of these codes for certain parameters. In this paper, we prove that these codes are never two-weight codes. This result would strengthen a conjecture by Vega which states that all two-weight cyclic codes are the "known" ones. △ Less

Submitted 18 March, 2019; originally announced March 2019.

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.

Bilinear Forms on Finite Abelian Groups and Group-Invariant Butson Hadamard Matrices

Authors: Tai Do Duc, Bernhard Schmidt

Abstract: Let $K$ be a finite abelian group and let $\exp(K)$ denote the least common multiple of the orders of the elements of $K$. A $BH(K,h)$ matrix is a $K$-invariant $|K|\times |K|$ matrix $H$ whose entries are complex $h$th roots of unity such that $HH^*=|K|I$, where $H^*$ denotes the complex conjugate transpose of $H$, and $I$ is the identity matrix of order $|K|$. Let $ν_p(x)$ denote the $p$-adic va… ▽ More Let $K$ be a finite abelian group and let $\exp(K)$ denote the least common multiple of the orders of the elements of $K$. A $BH(K,h)$ matrix is a $K$-invariant $|K|\times |K|$ matrix $H$ whose entries are complex $h$th roots of unity such that $HH^*=|K|I$, where $H^*$ denotes the complex conjugate transpose of $H$, and $I$ is the identity matrix of order $|K|$. Let $ν_p(x)$ denote the $p$-adic valuation of the integer $x$. Using bilinear forms on $K$, we show that a $BH(K,h)$ exists whenever (i) $ν_p(h) \geq \lceil ν_p(\exp(K))/2 \rceil$ for every prime divisor $p$ of $|K|$ and (ii) $ν_2(h) \ge 2$ if $ν_2(|K|)$ is odd and $K$ has a direct factor $\mathbb{Z}_2$. Employing the field descent method, we prove that these conditions are necessary for the existence of a $BH(K,h)$ matrix in the case where $K$ is cyclic of prime power order. △ Less

Submitted 18 March, 2019; originally announced March 2019.

Unique Differences in Symmetric Subsets of $\mathbb{F}_p$

Authors: Tai Do Duc, Bernhard Schmidt

Abstract: Let $p$ be a prime and let $A$ be a subset of $\mathbb{F}_p$ with $A=-A$ and $|A\setminus\{0\}| \leq 2\log_3(p)$. Then there is an element of $\mathbb{F}_p$ which has a unique representation as a difference of two elements of $A$. Let $p$ be a prime and let $A$ be a subset of $\mathbb{F}_p$ with $A=-A$ and $|A\setminus\{0\}| \leq 2\log_3(p)$. Then there is an element of $\mathbb{F}_p$ which has a unique representation as a difference of two elements of $A$. △ Less

Submitted 13 February, 2019; originally announced February 2019.

Journal ref: Combinatorica 37 (2017), 167-182

Normal Families of Meromorphic Mappings of Several Complex Variables for Moving Hypersurfaces in a Complex Projective Space

Authors: Gerd Dethloff, Thai Do Duc, Trang Pham Nguyen Thu

Abstract: The main aim of this article is to give some sufficient conditions for a family of meromorphic mappings on a domain D in C^n into P^N(C) to be meromorphically normal if they satisfy only some very weak conditions with respect to moving hypersurfaces in P^N(C), namely that their intersections with these moving hypersurfaces, which may moreover depend on the meromorphic maps, are in some sense unifo… ▽ More The main aim of this article is to give some sufficient conditions for a family of meromorphic mappings on a domain D in C^n into P^N(C) to be meromorphically normal if they satisfy only some very weak conditions with respect to moving hypersurfaces in P^N(C), namely that their intersections with these moving hypersurfaces, which may moreover depend on the meromorphic maps, are in some sense uniform. Our results generalise and complete previous results in this area, especially the works of Fujimoto, Tu, Tu-Li, Mai-Thai-Trang and the recent work of Quang-Tan. △ Less

Submitted 30 November, 2014; v1 submitted 4 January, 2013; originally announced January 2013.

Comments: Final version, to appear in Nagoya Math. J.. Lemma on Hausdorff measure added, and a bit more details are given in the proof of Theorems 1.1 and 1.2

Journal ref: Nagoya Math. J. 217, 23-59 (2015)