61,229 research outputs found
A Graph-based Framework for Transmission of Correlated Sources over Broadcast Channels
In this paper we consider the communication problem that involves
transmission of correlated sources over broadcast channels. We consider a
graph-based framework for this information transmission problem. The system
involves a source coding module and a channel coding module. In the source
coding module, the sources are efficiently mapped into a nearly semi-regular
bipartite graph, and in the channel coding module, the edges of this graph are
reliably transmitted over a broadcast channel. We consider nearly semi-regular
bipartite graphs as discrete interface between source coding and channel coding
in this multiterminal setting. We provide an information-theoretic
characterization of (1) the rate of exponential growth (as a function of the
number of channel uses) of the size of the bipartite graphs whose edges can be
reliably transmitted over a broadcast channel and (2) the rate of exponential
growth (as a function of the number of source samples) of the size of the
bipartite graphs which can reliably represent a pair of correlated sources to
be transmitted over a broadcast channel.Comment: 36 pages, 9 figure
Alignment based Network Coding for Two-Unicast-Z Networks
In this paper, we study the wireline two-unicast-Z communication network over
directed acyclic graphs. The two-unicast-Z network is a two-unicast network
where the destination intending to decode the second message has apriori side
information of the first message. We make three contributions in this paper:
1. We describe a new linear network coding algorithm for two-unicast-Z
networks over directed acyclic graphs. Our approach includes the idea of
interference alignment as one of its key ingredients. For graphs of a bounded
degree, our algorithm has linear complexity in terms of the number of vertices,
and polynomial complexity in terms of the number of edges.
2. We prove that our algorithm achieves the rate-pair (1, 1) whenever it is
feasible in the network. Our proof serves as an alternative, albeit restricted
to two-unicast-Z networks over directed acyclic graphs, to an earlier result of
Wang et al. which studied necessary and sufficient conditions for feasibility
of the rate pair (1, 1) in two-unicast networks.
3. We provide a new proof of the classical max-flow min-cut theorem for
directed acyclic graphs.Comment: The paper is an extended version of our earlier paper at ITW 201
Commutative association schemes
Association schemes were originally introduced by Bose and his co-workers in
the design of statistical experiments. Since that point of inception, the
concept has proved useful in the study of group actions, in algebraic graph
theory, in algebraic coding theory, and in areas as far afield as knot theory
and numerical integration. This branch of the theory, viewed in this collection
of surveys as the "commutative case," has seen significant activity in the last
few decades. The goal of the present survey is to discuss the most important
new developments in several directions, including Gelfand pairs, cometric
association schemes, Delsarte Theory, spin models and the semidefinite
programming technique. The narrative follows a thread through this list of
topics, this being the contrast between combinatorial symmetry and
group-theoretic symmetry, culminating in Schrijver's SDP bound for binary codes
(based on group actions) and its connection to the Terwilliger algebra (based
on combinatorial symmetry). We propose this new role of the Terwilliger algebra
in Delsarte Theory as a central topic for future work.Comment: 36 page
Succinct progress measures for solving parity games
The recent breakthrough paper by Calude et al. has given the first algorithm
for solving parity games in quasi-polynomial time, where previously the best
algorithms were mildly subexponential. We devise an alternative
quasi-polynomial time algorithm based on progress measures, which allows us to
reduce the space required from quasi-polynomial to nearly linear. Our key
technical tools are a novel concept of ordered tree coding, and a succinct tree
coding result that we prove using bounded adaptive multi-counters, both of
which are interesting in their own right
- …