93,898 research outputs found
Distance Properties of Short LDPC Codes and their Impact on the BP, ML and Near-ML Decoding Performance
Parameters of LDPC codes, such as minimum distance, stopping distance,
stopping redundancy, girth of the Tanner graph, and their influence on the
frame error rate performance of the BP, ML and near-ML decoding over a BEC and
an AWGN channel are studied. Both random and structured LDPC codes are
considered. In particular, the BP decoding is applied to the code parity-check
matrices with an increasing number of redundant rows, and the convergence of
the performance to that of the ML decoding is analyzed. A comparison of the
simulated BP, ML, and near-ML performance with the improved theoretical bounds
on the error probability based on the exact weight spectrum coefficients and
the exact stopping size spectrum coefficients is presented. It is observed that
decoding performance very close to the ML decoding performance can be achieved
with a relatively small number of redundant rows for some codes, for both the
BEC and the AWGN channels
Semidefinite programming and eigenvalue bounds for the graph partition problem
The graph partition problem is the problem of partitioning the vertex set of
a graph into a fixed number of sets of given sizes such that the sum of weights
of edges joining different sets is optimized. In this paper we simplify a known
matrix-lifting semidefinite programming relaxation of the graph partition
problem for several classes of graphs and also show how to aggregate additional
triangle and independent set constraints for graphs with symmetry. We present
an eigenvalue bound for the graph partition problem of a strongly regular
graph, extending a similar result for the equipartition problem. We also derive
a linear programming bound of the graph partition problem for certain Johnson
and Kneser graphs. Using what we call the Laplacian algebra of a graph, we
derive an eigenvalue bound for the graph partition problem that is the first
known closed form bound that is applicable to any graph, thereby extending a
well-known result in spectral graph theory. Finally, we strengthen a known
semidefinite programming relaxation of a specific quadratic assignment problem
and the above-mentioned matrix-lifting semidefinite programming relaxation by
adding two constraints that correspond to assigning two vertices of the graph
to different parts of the partition. This strengthening performs well on highly
symmetric graphs when other relaxations provide weak or trivial bounds
Equiangular lines in Euclidean spaces
We obtain several new results contributing to the theory of real equiangular
line systems. Among other things, we present a new general lower bound on the
maximum number of equiangular lines in d dimensional Euclidean space; we
describe the two-graphs on 12 vertices; and we investigate Seidel matrices with
exactly three distinct eigenvalues. As a result, we improve on two
long-standing upper bounds regarding the maximum number of equiangular lines in
dimensions d=14, and d=16. Additionally, we prove the nonexistence of certain
regular graphs with four eigenvalues, and correct some tables from the
literature.Comment: 24 pages, to appear in JCTA. Corrected an entry in Table
On the Linear Extension Complexity of Regular n-gons
In this paper, we propose new lower and upper bounds on the linear extension
complexity of regular -gons. Our bounds are based on the equivalence between
the computation of (i) an extended formulation of size of a polytope ,
and (ii) a rank- nonnegative factorization of a slack matrix of the polytope
. The lower bound is based on an improved bound for the rectangle covering
number (also known as the boolean rank) of the slack matrix of the -gons.
The upper bound is a slight improvement of the result of Fiorini, Rothvoss and
Tiwary [Extended Formulations for Polygons, Discrete Comput. Geom. 48(3), pp.
658-668, 2012]. The difference with their result is twofold: (i) our proof uses
a purely algebraic argument while Fiorini et al. used a geometric argument, and
(ii) we improve the base case allowing us to reduce their upper bound by one when for some integer . We conjecture that this new upper bound
is tight, which is suggested by numerical experiments for small . Moreover,
this improved upper bound allows us to close the gap with the best known lower
bound for certain regular -gons (namely, and ) hence allowing for the first time to determine their extension
complexity.Comment: 20 pages, 3 figures. New contribution: improved lower bound for the
boolean rank of the slack matrices of n-gon
Sign rank versus VC dimension
This work studies the maximum possible sign rank of sign
matrices with a given VC dimension . For , this maximum is {three}. For
, this maximum is . For , similar but
slightly less accurate statements hold. {The lower bounds improve over previous
ones by Ben-David et al., and the upper bounds are novel.}
The lower bounds are obtained by probabilistic constructions, using a theorem
of Warren in real algebraic topology. The upper bounds are obtained using a
result of Welzl about spanning trees with low stabbing number, and using the
moment curve.
The upper bound technique is also used to: (i) provide estimates on the
number of classes of a given VC dimension, and the number of maximum classes of
a given VC dimension -- answering a question of Frankl from '89, and (ii)
design an efficient algorithm that provides an multiplicative
approximation for the sign rank.
We also observe a general connection between sign rank and spectral gaps
which is based on Forster's argument. Consider the adjacency
matrix of a regular graph with a second eigenvalue of absolute value
and . We show that the sign rank of the signed
version of this matrix is at least . We use this connection to
prove the existence of a maximum class with VC
dimension and sign rank . This answers a question
of Ben-David et al.~regarding the sign rank of large VC classes. We also
describe limitations of this approach, in the spirit of the Alon-Boppana
theorem.
We further describe connections to communication complexity, geometry,
learning theory, and combinatorics.Comment: 33 pages. This is a revised version of the paper "Sign rank versus VC
dimension". Additional results in this version: (i) Estimates on the number
of maximum VC classes (answering a question of Frankl from '89). (ii)
Estimates on the sign rank of large VC classes (answering a question of
Ben-David et al. from '03). (iii) A discussion on the computational
complexity of computing the sign-ran
On the power of homogeneous depth 4 arithmetic circuits
We prove exponential lower bounds on the size of homogeneous depth 4
arithmetic circuits computing an explicit polynomial in . Our results hold
for the {\it Iterated Matrix Multiplication} polynomial - in particular we show
that any homogeneous depth 4 circuit computing the entry in the product
of generic matrices of dimension must have size
.
Our results strengthen previous works in two significant ways.
Our lower bounds hold for a polynomial in . Prior to our work, Kayal et
al [KLSS14] proved an exponential lower bound for homogeneous depth 4 circuits
(over fields of characteristic zero) computing a poly in . The best known
lower bounds for a depth 4 homogeneous circuit computing a poly in was the
bound of by [LSS, KLSS14].Our exponential lower bounds
also give the first exponential separation between general arithmetic circuits
and homogeneous depth 4 arithmetic circuits. In particular they imply that the
depth reduction results of Koiran [Koi12] and Tavenas [Tav13] are tight even
for reductions to general homogeneous depth 4 circuits (without the restriction
of bounded bottom fanin).
Our lower bound holds over all fields. The lower bound of [KLSS14] worked
only over fields of characteristic zero. Prior to our work, the best lower
bound for homogeneous depth 4 circuits over fields of positive characteristic
was [LSS, KLSS14]
- âŠ