599 research outputs found
Mathematical Programming Decoding of Binary Linear Codes: Theory and Algorithms
Mathematical programming is a branch of applied mathematics and has recently
been used to derive new decoding approaches, challenging established but often
heuristic algorithms based on iterative message passing. Concepts from
mathematical programming used in the context of decoding include linear,
integer, and nonlinear programming, network flows, notions of duality as well
as matroid and polyhedral theory. This survey article reviews and categorizes
decoding methods based on mathematical programming approaches for binary linear
codes over binary-input memoryless symmetric channels.Comment: 17 pages, submitted to the IEEE Transactions on Information Theory.
Published July 201
Excluding Kuratowski graphs and their duals from binary matroids
We consider some applications of our characterisation of the internally
4-connected binary matroids with no M(K3,3)-minor. We characterise the
internally 4-connected binary matroids with no minor in some subset of
{M(K3,3),M*(K3,3),M(K5),M*(K5)} that contains either M(K3,3) or M*(K3,3). We
also describe a practical algorithm for testing whether a binary matroid has a
minor in the subset. In addition we characterise the growth-rate of binary
matroids with no M(K3,3)-minor, and we show that a binary matroid with no
M(K3,3)-minor has critical exponent over GF(2) at most equal to four.Comment: Some small change
An extensive English language bibliography on graph theory and its applications, supplement 1
Graph theory and its applications - bibliography, supplement
Reconfiguration of basis pairs in regular matroids
In recent years, combinatorial reconfiguration problems have attracted great
attention due to their connection to various topics such as optimization,
counting, enumeration, or sampling. One of the most intriguing open questions
concerns the exchange distance of two matroid basis sequences, a problem that
appears in several areas of computer science and mathematics. In 1980, White
proposed a conjecture for the characterization of two basis sequences being
reachable from each other by symmetric exchanges, which received a significant
interest also in algebra due to its connection to toric ideals and Gr\"obner
bases. In this work, we verify White's conjecture for basis sequences of length
two in regular matroids, a problem that was formulated as a separate question
by Farber, Richter, and Shan and Andres, Hochst\"attler, and Merkel. Most of
previous work on White's conjecture has not considered the question from an
algorithmic perspective. We study the problem from an optimization point of
view: our proof implies a polynomial algorithm for determining a sequence of
symmetric exchanges that transforms a basis pair into another, thus providing
the first polynomial upper bound on the exchange distance of basis pairs in
regular matroids. As a byproduct, we verify a conjecture of Gabow from 1976 on
the serial symmetric exchange property of matroids for the regular case.Comment: 28 pages, 6 figure
- …