89,896 research outputs found
On Protected Realizations of Quantum Information
There are two complementary approaches to realizing quantum information so
that it is protected from a given set of error operators. Both involve encoding
information by means of subsystems. One is initialization-based error
protection, which involves a quantum operation that is applied before error
events occur. The other is operator quantum error correction, which uses a
recovery operation applied after the errors. Together, the two approaches make
it clear how quantum information can be stored at all stages of a process
involving alternating error and quantum operations. In particular, there is
always a subsystem that faithfully represents the desired quantum information.
We give a definition of faithful realization of quantum information and show
that it always involves subsystems. This justifies the "subsystems principle"
for realizing quantum information. In the presence of errors, one can make use
of noiseless, (initialization) protectable, or error-correcting subsystems. We
give an explicit algorithm for finding optimal noiseless subsystems. Finding
optimal protectable or error-correcting subsystems is in general difficult.
Verifying that a subsystem is error-correcting involves only linear algebra. We
discuss the verification problem for protectable subsystems and reduce it to a
simpler version of the problem of finding error-detecting codes.Comment: 17 page
Identifying codes in vertex-transitive graphs and strongly regular graphs
We consider the problem of computing identifying codes of graphs and its fractional relaxation. The ratio between the size of optimal integer and fractional solutions is between 1 and 2ln(vertical bar V vertical bar) + 1 where V is the set of vertices of the graph. We focus on vertex-transitive graphs for which we can compute the exact fractional solution. There are known examples of vertex-transitive graphs that reach both bounds. We exhibit infinite families of vertex-transitive graphs with integer and fractional identifying codes of order vertical bar V vertical bar(alpha) with alpha is an element of{1/4, 1/3, 2/5}These families are generalized quadrangles (strongly regular graphs based on finite geometries). They also provide examples for metric dimension of graphs
Problems on q-Analogs in Coding Theory
The interest in -analogs of codes and designs has been increased in the
last few years as a consequence of their new application in error-correction
for random network coding. There are many interesting theoretical, algebraic,
and combinatorial coding problems concerning these q-analogs which remained
unsolved. The first goal of this paper is to make a short summary of the large
amount of research which was done in the area mainly in the last few years and
to provide most of the relevant references. The second goal of this paper is to
present one hundred open questions and problems for future research, whose
solution will advance the knowledge in this area. The third goal of this paper
is to present and start some directions in solving some of these problems.Comment: arXiv admin note: text overlap with arXiv:0805.3528 by other author
Fourier-Reflexive Partitions and MacWilliams Identities for Additive Codes
A partition of a finite abelian group gives rise to a dual partition on the
character group via the Fourier transform. Properties of the dual partitions
are investigated and a convenient test is given for the case that the bidual
partition coincides the primal partition. Such partitions permit MacWilliams
identities for the partition enumerators of additive codes. It is shown that
dualization commutes with taking products and symmetrized products of
partitions on cartesian powers of the given group. After translating the
results to Frobenius rings, which are identified with their character module,
the approach is applied to partitions that arise from poset structures
Persistence for Circle Valued Maps
We study circle valued maps and consider the persistence of the homology of
their fibers. The outcome is a finite collection of computable invariants which
answer the basic questions on persistence and in addition encode the topology
of the source space and its relevant subspaces. Unlike persistence of real
valued maps, circle valued maps enjoy a different class of invariants called
Jordan cells in addition to bar codes. We establish a relation between the
homology of the source space and of its relevant subspaces with these
invariants and provide a new algorithm to compute these invariants from an
input matrix that encodes a circle valued map on an input simplicial complex.Comment: A complete algorithm to compute barcodes and Jordan cells is provided
in this version. The paper is accepted in in the journal Discrete &
Computational Geometry. arXiv admin note: text overlap with arXiv:1210.3092
by other author
Identifying codes from the spectrum of a graph or digraph
Peer ReviewedPostprint (author's final draft
- …