8,503 research outputs found
Spanning trees of 3-uniform hypergraphs
Masbaum and Vaintrob's "Pfaffian matrix tree theorem" implies that counting
spanning trees of a 3-uniform hypergraph (abbreviated to 3-graph) can be done
in polynomial time for a class of "3-Pfaffian" 3-graphs, comparable to and
related to the class of Pfaffian graphs. We prove a complexity result for
recognizing a 3-Pfaffian 3-graph and describe two large classes of 3-Pfaffian
3-graphs -- one of these is given by a forbidden subgraph characterization
analogous to Little's for bipartite Pfaffian graphs, and the other consists of
a class of partial Steiner triple systems for which the property of being
3-Pfaffian can be reduced to the property of an associated graph being
Pfaffian. We exhibit an infinite set of partial Steiner triple systems that are
not 3-Pfaffian, none of which can be reduced to any other by deletion or
contraction of triples.
We also find some necessary or sufficient conditions for the existence of a
spanning tree of a 3-graph (much more succinct than can be obtained by the
currently fastest polynomial-time algorithm of Gabow and Stallmann for finding
a spanning tree) and a superexponential lower bound on the number of spanning
trees of a Steiner triple system.Comment: 34 pages, 9 figure
On Box-Perfect Graphs
Let be a graph and let be the clique-vertex incidence matrix
of . It is well known that is perfect iff the system , is totally dual integral (TDI). In 1982,
Cameron and Edmonds proposed to call box-perfect if the system
, is box-totally dual
integral (box-TDI), and posed the problem of characterizing such graphs. In
this paper we prove the Cameron-Edmonds conjecture on box-perfectness of parity
graphs, and identify several other classes of box-perfect graphs. We also
develop a general and powerful method for establishing box-perfectness
A New Class of MDS Erasure Codes Based on Graphs
Maximum distance separable (MDS) array codes are XOR-based optimal erasure
codes that are particularly suitable for use in disk arrays. This paper
develops an innovative method to build MDS array codes from an elegant class of
nested graphs, termed \textit{complete-graph-of-rings (CGR)}. We discuss a
systematic and concrete way to transfer these graphs to array codes, unveil an
interesting relation between the proposed map and the renowned perfect
1-factorization, and show that the proposed CGR codes subsume B-codes as their
"contracted" codes. These new codes, termed \textit{CGR codes}, and their dual
codes are simple to describe, and require minimal encoding and decoding
complexity.Comment: in Proceeding of IEEE Global Communications Conference (GLOBECOM
Sparse Graph Codes for Quantum Error-Correction
We present sparse graph codes appropriate for use in quantum
error-correction. Quantum error-correcting codes based on sparse graphs are of
interest for three reasons. First, the best codes currently known for classical
channels are based on sparse graphs. Second, sparse graph codes keep the number
of quantum interactions associated with the quantum error correction process
small: a constant number per quantum bit, independent of the blocklength.
Third, sparse graph codes often offer great flexibility with respect to
blocklength and rate. We believe some of the codes we present are unsurpassed
by previously published quantum error-correcting codes.Comment: Version 7.3e: 42 pages. Extended version, Feb 2004. A shortened
version was resubmitted to IEEE Transactions on Information Theory Jan 20,
200
- …