Quantum stabilizer codes from Abelian and non-Abelian groups association schemes

Association schemes and permutation groups

We present the theory of equiangular tight frames (ETFs) from association schemes as a generalization of harmonic ETFs. This theory has the pleasing consequence of including not only harmonic ETFs from abelian groups but also real ETFs with centroidal symmetry and the ETFs discovered by Renes and Strohmer coming from skew-symmetric conference matrices. Finally we present a theory of nonabelian harmonic ETFs from the perspective of association schemes. An infinite class of ETFs arising as group frames from nonabelian groups is presented.

A Pair of Families of Non-isomorphic Group Association Schemes with the same Parameters

Existing quantum stabilizer codes constructed from the classic binary codes exclusively belong to the special subclass of Calderbank-Shor-Steane (CSS) codes. This paper fills in the gap by proposing five systematic constructions for non-CSS stabilizer codes, the first four of which are based on classic binary quasi-cyclic low-density parity-check (LDPC) codes and last on classic binary LDPC-convolutional codes. These new constructions exploit structured sparse graphs, make essential use of simple and powerful coding techniques including concatenation, rotation and scrambling, and generate rich classes of codes with a wide range of lengths and rates. We derive the sufficient, and in some cases also the necessary, conditions for each construction to satisfy the general symplectic inner product (SIP) condition, and develop practical decoder algorithms for these codes. The resulting codes are the first classes of non-CSS quantum LDPC codes and non-CSS quantum convolutional codes rooted from classic binary codes (rather than codes in GF(4 <i xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">)</i> ), and some of them perform as well as or better than the existing quantum codes.

New stabilizer codes from the construction of dual-containing matrix-product codes

Noise is a major obstacle in the development of practical schemes for quantum computation and communication. Similar to the case of classical communication, this noise can be protected against by employing a code, which provides a means for encoding quantum states prior to transmission and allows for errors to be inferred, and hopefully corrected, by a decoder at the receiver. Unfortunately, designing good codes and decoders is typically a difficult problem. This thesis focuses on developing low-complexity heuristic approaches to three such problems: the design of modified belief propagation decoders for quantum low-density parity-check codes, the design of stabilizer codes for asymmetric channels, and the design of codeword stabilized codes. Quantum low-density parity-check codes are stabilizer codes with low-weight generators. Such codes permit low-complexity decoding via the use of belief propagation, which is an iterative message passing algorithm that takes place on a factor graph defined by the code. However, the performance of such a decoder is limited both by code structure and the degenerate nature of quantum errors. To overcome these limitations, at least in part, a number of modifications to belief propagation are developed. Central among these is the augmented decoder, which in the case of a decoding error, iteratively reattempts decoding using modified factor graph. This heuristic modification simply involves the duplication of a randomly selected subset of the graph’s check nodes, which are in one-to-one correspondence with the code’s stabilizer generators. Across a range of codes, it is shown that the decoders developed perform as well as or better than other modified decoders presented in literature. For a number of channels of physical interest, phase-flip errors occur far more frequently than bit-flip errors. When transmitting across these so-called asymmetric channels, the decoding error rate can be minimized by tailoring the code used to the channel. However, assessing the performance of codes on a given channel is made difficult by the #P-completeness of optimal decoding. To address this complexity, it is shown that the decoding error rate can be accurately approximated using only a small fraction of the possible errors caused by the channel. This approximation is then used to identify a number of cyclic stabilizer codes that perform well on two different asymmetric channels. To further build on this, a heuristic is demonstrated for assessing code performance based on the decoding error rate of an associated classical code. The complexity of calculating this classical error rate is relatively low, and it is shown that it can be used as the basis for a hill-climbing search algorithm. Such searches have yielded a large number of highly performant codes satisfying various structure constraints. The family of codeword stabilized codes encompasses both the stabilizer codes as well as many of the best known nonadditive codes. Constructing a standard form codeword stabilized code is a matter of selecting a simple undirected graph and a binary classical code. This makes designing optimal codes difficult as the number of possible graphs grows exponentially with code length, and the clique search required to construct the classical code is NP-hard. To address the exponential growth of the search space, a heuristic is developed for assessing graphs. This heuristic is then employed by a genetic algorithm that also makes use of a novel crossover operation based on spectral bisection, which is show to be superior to more standard crossover operations. With a graph selected, it is demonstrated that the complexity of the clique search required to construct the associated classical code can be mitigated through the use of a heuristic clique finding algorithm. A number of best known codes are presented that have been found using this approach.

We investigate the creation of optimal entanglement in axially symmetric networks. Theproposed network is one in which the connections are organized using a group table—inother words, using group association schemes. We show that optimal entanglement can beprovided on such networks by adjusting couplings and the initial state. We find that theoptimal initial state is a simple locally excited state. Moreover we obtain an analyticformula for the entanglement achievable between vertex pairs located in the same orconjugate strata and calculate their relevant optimal couplings. For those pairs located innon-conjugate strata, two upper bounds are presented. These results are also checkednumerically.

Motivated by the fast Pauli block transforms (or matrices) over the finite field GF(q) for an arbitrary number q, we suggest how to construct the simplified quantum code on the basis of quadratic residues. The present quantum code, which is the stabilizer quantum code, can be fast generated from an Abelian group with commutative quantum operators being selected from a suitable Pauli block matrix. This construction does not require the dual-containing or self-orthogonal constraint for the standard quantum error-correction code, thus allowing us to construct a quantum code with much efficiency.

In this paper the stability of the quadratic equation is considered on arbitrary groups. Since the quadratic equation is stable on Abelian groups, this paper examines the stability of the quadratic equation on noncommutative groups. It is shown that the quadratic equation is stable on $n$-Abelian groups when $n$ is a positive integer. The stability of the quadratic equation is also established on the noncommutative group $T(2, K)$, where $K$ is an arbitrary commutative field. It is proved that every group can be embedded into a group in which the quadratic equation is stable.

This paper introduces multidimensional generalizations of binary Reed-Muller codes where the codewords are projection operators, and the corresponding subspaces are widely separated with respect to the chordal distance on Grassmannian space. Parameters of these Grassmannian packings are derived and a low complexity decoding algorithm is developed by modifying standard decoding algorithms for binary Reed-Muller codes. The subspaces are associated with projection operators determined by Pauli matrices appearing in the theory of quantum error correction and this connection with quantum stabilizer codes may be of independent interest. The Grassmannian packings constructed here find application in noncoherent wireless communication with multiple antennas, where separation with respect to the chordal distance on Grassmannian space guarantees closeness to the channel capacity. It is shown that the capacity of the noncoherent multiple-input-multiple-output (MIMO) channel at both low and moderate signal-to-noise ratio (SNR) (under the constraint that only isotropically distributed unitary matrices are used for information transmission) is closely approximated by these packings.

We present an explicit construction of linear-time encodable and decodable codes of rate r which can correct a fraction (1 —re)/2 of errors over an alphabet of constant size depending only on e, for every 0 r 0. The error-correction performance of these codes is optimal as seen by the Singleton bound (these are codes). Such near-MDS linear-time codes were known for the decoding from erasures [2]; our construction generalizes this to handle errors as well. Concatenating these codes with good, constant-sized binary codes gives a construction of linear-time binary codes which meet the so-called Zyablov bound. In a nutshell, our results match the performance of the previously known explicit constructions of codes that had polynomial time encoding and decoding, but in addition have linear time encoding and decoding algorithms.We also obtain some results for list decoding targeted at the situation when the fraction of errors is very large, namely (1—e) for an arbitrarily small constant e > 0. The previously known constructions of such codes of good rate over constant-sized alphabets either used algebraic-geometric codes and thus suffered from complicated constructions and slow decoding, or as in the recent work of the authors [9], had fast encoding/decoding, but suffered from an alphabet size that was exponential in 1/e. We present two constructions of such codes with rate close to Ω(e2) over an alphabet of size quasi-polynomial in 1/e. One of the constructions, at the expense of a slight worsening of the rate, can achieve an alphabet size which is polynomial in 1/e. It also yields constructions of codes for list decoding from erasures which achieve new trade-offs. In particular, we construct codes of rate close to the optimal Ω(e) rate which can be efficiently list decoded from a fraction (1—e) of erasures.

A new framework for identifying absolute maximum nonlinear functions

Remark. Theorem I is not true for some non-abelian collineation groups. For example, the non-abelian group G = PGL(3, q) acting naturally on PG(2, q3) (or on the Figueroa plane of order q3) has a point orbit P and a line orbit ℒ satisfying: The point orbit (P is the set of all points which are incident with exactly one line of a ^-invariant order q subplane and the line orbit L is the set of lines incident with no point of this sub-plane. See, for example, Brown (1983, §6).

The research of my dissertation was motivated by the conjecture of Thomassen that every 4-connected line graph is hamiltonian and by the conjecture of Matthews and Sumner that every 4-connected claw-free graph is hamiltonian. Towards the hamiltonian line graph problem, we proved that every 3-edge-connected, essentially 4-edge-connected graph G has a spanning eulerian subgraph, if for every pair of adjacent vertices u and v, dG(u) + dG(v) ≥ 9. A straight forward corollary is that every 4-connected, essentially 6-connected line graph with minimum degree at least 7 is hamiltonian.;We also investigate graphs G such that the line graph L(G) is hamiltonian connected when L( G) is 4-connected. Ryjacek and Vrana recently further conjectured that every 4-connected line graph is hamiltonian-connected. In 2001, Kriesell proved that every 4-connected line graph of a claw free graph is hamiltonian connected. Recently, Lai et al showed that every 4-connected line graph of a quasi claw free graph is hamiltonian connected, and that every 4-connected line graph of an almost claw free graph is hamiltonian connected. In 2009, Broersma and Vumer discovered the P3-dominating (P3D) graphs as a superfamily that properly contains all quasi claw free graphs, and in particular, all claw-free graphs. Here we prove that every 4-connected line graph of a P3D graph is hamiltonian connected, which extends several former results in this area.;R. Gould [15] asked what natural graph properties of G and H are sufficient to imply that the product of G and H is hamiltonian. We first investigate the sufficient and necessary conditions for G x H being hamiltonian or traceable when G is a hamiltonian graph and H is a tree. Then we further investigate sufficient and necessary conditions for G x H being hamiltonian connected, or edge-pancyclic, or pan-connected.;The problem of group colorings of graphs is also investigated in this dissertation. Group coloring was first introduced by Jeager et al. [21]. They introduced a concept of group connectivity as a generalization of nowhere-zero flows. They also introduced group coloring as a dual concept to group connectivity. Prior research on group chromatic number was restricted to simple graphs, and considered only Abelian groups in the definition of chi g(G). The behavior of group coloring for multigraphs is different to that of simple graphs. Thus we extend the definition of group coloring by considering general groups (both Abelian groups and non-Abelian groups), and investigate the properties of chig for multigraphs

The general solution of the multiplicative symmetric functional equation $$f(f(x)y)=f(xf(y))$$, in abelian groups, was given by Dhombres. But it is still an open problem in non-abelian groups and abelian quasi-groups. In this paper, by using a new approach introduced by the author, we give a vast class of its solutions in arbitrary semigroups. It also works for non-abelian groups, and gives its general solution in abelian groups with a different representation from Dhombres’s solution. Also, we introduce some related equations and closed relationships between decomposer type and multiplicative symmetric equations. It is worth noting that the new approach and methods can be used for studying the equation on magmas (groupoids) as the most general algebraic structures for the topic. At last we pose a conjecture that guesses the general solution in arbitrary groups (and possibly semigroups).