DeepAI AI Chat
Log In Sign Up

Multivariate Analytic Combinatorics for Cost Constrained Channels and Subsequence Enumeration

by   Andreas Lenz, et al.

Analytic combinatorics in several variables is a powerful tool for deriving the asymptotic behavior of combinatorial quantities by analyzing multivariate generating functions. We study information-theoretic questions about sequences in a discrete noiseless channel under cost and forbidden substring constraints. Our main contributions involve the relationship between the graph structure of the channel and the singularities of the bivariate generating function whose coefficients are the number of sequences satisfying the constraints. We combine these new results with methods from multivariate analytic combinatorics to solve questions in many application areas. For example, we determine the optimal coded synthesis rate for DNA data storage when the synthesis supersequence is any periodic string. This follows from a precise characterization of the number of subsequences of an arbitrary periodic strings. Along the way, we provide a new proof of the equivalence of the combinatorial and probabilistic definitions of the cost-constrained capacity, and we show that the cost-constrained channel capacity is determined by a cost-dependent singularity, generalizing Shannon's classical result for unconstrained capacity.


page 1

page 2

page 3

page 4


Asymptotics of multivariate sequences IV: generating functions with poles on a hyperplane arrangement

Let F be the quotient of an analytic function with a product of linear f...

Optimal Reference for DNA Synthesis

In the recent years, DNA has emerged as a potentially viable storage tec...

Homotopy techniques for analytic combinatorics in several variables

We combine tools from homotopy continuation solvers with the methods of ...

The Secrecy Capacity of Cost-Constrained Wiretap Channels

In many information-theoretic communication problems, adding an input co...

Asymptotic Behavior and Typicality Properties of Runlength-Limited Sequences

We study properties of binary runlength-limited sequences with additiona...

Envelopes for multivariate linear regression with linearly constrained coefficients

A constrained multivariate linear model is a multivariate linear model w...

Asymptotics of multivariate sequences in the presence of a lacuna

We explain a discontinuous drop in the exponential growth rate for certa...