-
Quantum Cyclic Code of length dividing $p^{t}+1$
Authors:
Sagarmoy Dutta,
Piyush P Kurur
Abstract:
In this paper, we study cyclic stabiliser codes over $\mathbb{F}_p$ of length dividing $p^t+1$ for some positive integer $t$. We call these $t$-Frobenius codes or just Frobenius codes for short. We give methods to construct them and show that they have efficient decoding algorithms. An important subclass of stabiliser codes are the linear stabiliser codes. For linear Frobenius codes we have strong…
▽ More
In this paper, we study cyclic stabiliser codes over $\mathbb{F}_p$ of length dividing $p^t+1$ for some positive integer $t$. We call these $t$-Frobenius codes or just Frobenius codes for short. We give methods to construct them and show that they have efficient decoding algorithms. An important subclass of stabiliser codes are the linear stabiliser codes. For linear Frobenius codes we have stronger results: We completely characterise all linear Frobenius codes. As a consequence, we show that for every integer $n$ that divides $p^t+1$ for an odd $t$, there are no linear cyclic codes of length $n$. On the other hand for even $t$, we give an explicit method to construct all of them. This gives us a many explicit example of Frobenius codes which include the well studied Laflamme code. We show that the classical notion of BCH distance can be generalised to all the Frobenius codes that we construct, including the non-linear ones, and show that the algorithm of Berlekamp can be generalised to correct quantum errors within the BCH limit. This gives, for the first time, a family of codes that are neither CSS nor linear for which efficient decoding algorithm exits. The explicit examples that we construct are summarised in Table \ref{tab:explicit-examples-short} and explained in detail in Tables \ref{tab:explicit-examples-2} (linear case) and \ref{tab:explicit-examples-3} (non-linear case).
△ Less
Submitted 25 March, 2011; v1 submitted 26 November, 2010;
originally announced November 2010.
-
Quantum Cyclic Code
Authors:
Sagarmoy Dutta,
Piyush P Kurur
Abstract:
In this paper, we define and study \emph{quantum cyclic codes}, a generalisation of cyclic codes to the quantum setting. Previously studied examples of quantum cyclic codes were all quantum codes obtained from classical cyclic codes via the CSS construction. However, the codes that we study are much more general. In particular, we construct cyclic stabiliser codes with parameters $[[5,1,3]]$,…
▽ More
In this paper, we define and study \emph{quantum cyclic codes}, a generalisation of cyclic codes to the quantum setting. Previously studied examples of quantum cyclic codes were all quantum codes obtained from classical cyclic codes via the CSS construction. However, the codes that we study are much more general. In particular, we construct cyclic stabiliser codes with parameters $[[5,1,3]]$, $[[17,1,7]]$ and $[[17,9,3]]$, all of which are \emph{not} CSS. The $[[5,1,3]]$ code is the well known Laflamme code and to the best of our knowledge the other two are new examples. Our definition of cyclicity applies to non-stabiliser codes as well; in fact we show that the $((5,6,2))$ nonstabiliser first constructed by Rains\etal~ cite{rains97nonadditive} and latter by Arvind \etal~\cite{arvind:2004:nonstabilizer} is cyclic. We also study stabiliser codes of length $4^m +1$ over $\mathbb{F}_2$ for which we define a notation of BCH distance. Much like the Berlekamp decoding algorithm for classical BCH codes, we
give efficient quantum algorithms to correct up to $\floor{\frac{d-1}{2}}$ errors when the BCH distance is $d$.
△ Less
Submitted 10 July, 2010;
originally announced July 2010.
-
Representating groups on graphs
Authors:
Sagarmoy Dutta,
Piyush P Kurur
Abstract:
In this paper we formulate and study the problem of representing groups on graphs. We show that with respect to polynomial time turing reducibility, both abelian and solvable group representability are all equivalent to graph isomorphism, even when the group is presented as a permutation group via generators. On the other hand, the representability problem for general groups on trees is equivale…
▽ More
In this paper we formulate and study the problem of representing groups on graphs. We show that with respect to polynomial time turing reducibility, both abelian and solvable group representability are all equivalent to graph isomorphism, even when the group is presented as a permutation group via generators. On the other hand, the representability problem for general groups on trees is equivalent to checking, given a group $G$ and $n$, whether a nontrivial homomorphism from $G$ to $S_n$ exists. There does not seem to be a polynomial time algorithm for this problem, in spite of the fact that tree isomorphism has polynomial time algorithm.
△ Less
Submitted 24 April, 2009;
originally announced April 2009.
-
Fast Integer Multiplication using Modular Arithmetic
Authors:
Anindya De,
Piyush P Kurur,
Chandan Saha,
Ramprasad Saptharishi
Abstract:
We give an $O(N\cdot \log N\cdot 2^{O(\log^*N)})$ algorithm for multiplying two $N$-bit integers that improves the $O(N\cdot \log N\cdot \log\log N)$ algorithm by Schönhage-Strassen. Both these algorithms use modular arithmetic. Recently, Fürer gave an $O(N\cdot \log N\cdot 2^{O(\log^*N)})$ algorithm which however uses arithmetic over complex numbers as opposed to modular arithmetic. In this pap…
▽ More
We give an $O(N\cdot \log N\cdot 2^{O(\log^*N)})$ algorithm for multiplying two $N$-bit integers that improves the $O(N\cdot \log N\cdot \log\log N)$ algorithm by Schönhage-Strassen. Both these algorithms use modular arithmetic. Recently, Fürer gave an $O(N\cdot \log N\cdot 2^{O(\log^*N)})$ algorithm which however uses arithmetic over complex numbers as opposed to modular arithmetic. In this paper, we use multivariate polynomial multiplication along with ideas from Fürer's algorithm to achieve this improvement in the modular setting. Our algorithm can also be viewed as a $p$-adic version of Fürer's algorithm. Thus, we show that the two seemingly different approaches to integer multiplication, modular and complex arithmetic, are similar.
△ Less
Submitted 19 September, 2008; v1 submitted 9 January, 2008;
originally announced January 2008.
-
A Polynomial Time Nilpotence Test for Galois Groups and Related Results
Authors:
V. Arvind,
Piyush P Kurur
Abstract:
We give a deterministic polynomial-time algorithm to check whether the Galois group $\Gal{f}$ of an input polynomial $f(X) \in \Q[X]$ is nilpotent: the running time is polynomial in $\size{f}$. Also, we generalize the Landau-Miller solvability test to an algorithm that tests if $\Gal{f}$ is in $Γ_d$: this algorithm runs in time polynomial in $\size{f}$ and $n^d$ and, moreover, if…
▽ More
We give a deterministic polynomial-time algorithm to check whether the Galois group $\Gal{f}$ of an input polynomial $f(X) \in \Q[X]$ is nilpotent: the running time is polynomial in $\size{f}$. Also, we generalize the Landau-Miller solvability test to an algorithm that tests if $\Gal{f}$ is in $Γ_d$: this algorithm runs in time polynomial in $\size{f}$ and $n^d$ and, moreover, if $\Gal{f}\inΓ_d$ it computes all the prime factors of $# \Gal{f}$.
△ Less
Submitted 11 May, 2006;
originally announced May 2006.