English
Related papers

Related papers: An Algebraic-Coding Equivalence to the Maximum Dis…

200 papers

This work introduces a decoding strategy for binary self-dual codes possessing an automorphism of a specific type. The proposed algorithm is a hard decision iterative decoding scheme. The enclosed experiments show that the new decoding…

Information Theory · Computer Science 2021-06-22 Radinka Yorgova

In any setting in which observable properties have a quantitative flavour, it is natural to compare computational objects by way of \emph{metrics} rather than equivalences or partial orders. This holds, in particular, for probabilistic…

Logic in Computer Science · Computer Science 2017-01-20 Raphaëlle Crubillé , Ugo Dal Lago

Inspired by a recently formulated conjecture by Bannai et al. we investigate spherical codes which admit exactly three different distances and are spherical 5-designs. Computing and analyzing distance distributions we provide new proof of…

Combinatorics · Mathematics 2020-07-07 Peter Boyvalenkov , Navid Safaei

We apply Schrijver's semidefinite programming method to obtain improved upper bounds on generalized distances and list decoding radii of binary codes.

Information Theory · Computer Science 2010-02-17 Christine Bachoc , Gilles Zemor

Maximum distance separable convolutional codes are the codes that present best performance in error correction among all convolutional codes with certain rate and degree. In this paper, we show that taking the constant matrix coefficients…

Information Theory · Computer Science 2019-05-30 Julia Lieb , Raquel Pinto

Explicit sufficient and necessary conditions for separability of $N$-dimensional rank two multiparty quantum mixed states are presented. A nonseparability inequality is also given, for the case where one of the eigenvectors corresponding to…

Quantum Physics · Physics 2015-06-26 Shao-Ming Fei , Xiu-Hong Gao , Xiao-Hong Wang , Zhi-Xi Wang , Ke Wu

The algebraic intersection type unification problem is an important component in proof search related to several natural decision problems in intersection type systems. It is unknown and remains open whether the algebraic intersection type…

Logic in Computer Science · Computer Science 2023-06-22 Andrej Dudenhefner , Moritz Martens , Jakob Rehof

In this paper we study the decoding capabilities of convolutional codes over the erasure channel. Of special interest will be maximum distance profile (MDP) convolutional codes. These are codes which have a maximum possible column distance…

Information Theory · Computer Science 2011-09-01 Virtudes Tomás , Joachim Rosenthal , Roxana Smarandache

We provide necessary and sufficient conditions for separability of mixed states. As a result we obtain a simple criterion of separability for $2\times2$ and $2\times3$ systems. Here, the positivity of the partial transposition of a state is…

Quantum Physics · Physics 2009-10-30 Michal Horodecki , Pawel Horodecki , Ryszard Horodecki

A {\em maximal inequality} seeks to estimate $\mathbb{E}\max_i X_i$ in terms of properties of the $X_i$. When the latter are independent, the union bound (in its various guises) can yield tight upper bounds. If, however, the $X_i$ are…

Probability · Mathematics 2024-07-25 Aryeh Kontorovich

A $q$-ary maximum distance separable (MDS) code $C$ with length $n$, dimension $k$ over an alphabet $\mathcal{A}$ of size $q$ is a set of $q^k$ codewords that are elements of $\mathcal{A}^n$, such that the Hamming distance between two…

Combinatorics · Mathematics 2015-04-28 Janne I. Kokkala , Patric R. J. Östergård

In the field of algebraic geometric codes (AG codes), the characterization of dual codes has long been a challenging problem which relies on differentials. In this paper, we provide some descriptions for certain differentials utilizing…

Information Theory · Computer Science 2025-01-29 Puyin Wang , Jinquan Luo

In this paper we explore the possibility of using computational algebraic methods to analyze a class of consensus protocols. We state some necessary conditions for convergence under consensus protocols that are polynomials.

Symbolic Computation · Computer Science 2011-07-20 Joel George Manathara , Ambedkar Dukkipati , Debasish Ghose

In the near future, the $5^{th}$ generation (5G) wireless systems will be established. They will consist of an integration of different techniques, including distributed antenna systems and massive multiple-input multiple-output systems,…

Information Theory · Computer Science 2017-10-17 Amaro Barreal , Camilla Hollanti

We prove that the main examples in the theory of algebraic differential equations possess a remarkable total differential overconvergence property. This allows one to consider solutions to these equations with coordinates in algebraically…

Number Theory · Mathematics 2019-11-04 Alexandru Buium , Lance Edward Miller

In a recent paper (quant-ph/0102133) Chen, Liang, Li and Huang suggest a necessary and sufficient separability criterion, which is supposedly practical in judging the separability of any mixed state. In this note we briefly recapitulate…

Quantum Physics · Physics 2007-05-23 T. Eggeling , K. G. H. Vollbrecht , M. M. Wolf

In this paper, we considier the limiting distribution of the maximum interpoint Euclidean distance $M_n=\max _{1 \leq i<j \leq n}\left\|\boldsymbol{X}_i-\boldsymbol{X}_j\right\|$, where $\boldsymbol{X}_1, \boldsymbol{X}_2, \ldots,…

Probability · Mathematics 2023-12-19 Guowei Yan , Long Feng

We present an algorithm that, given a channel, determines if there is a distance for it such that the maximum likelihood decoder coincides with the minimum distance decoder. We also show that any metric, up to a decoding equivalence, can be…

Information Theory · Computer Science 2016-02-26 Rafael G. L. D'Oliveira , Marcelo Firer

With distributed computing and mobile applications becoming ever more prevalent, synchronizing diverging replicas of the same data is a common problem. Reconciliation -- bringing two replicas of the same data structure as close as possible…

Information Theory · Computer Science 2022-08-10 Elod P. Csirmaz , Laszlo Csirmaz

The number-theoretic codes are a class of codes defined by single or multiple congruences and are mainly used for correcting insertion and deletion errors. Since the number-theoretic codes are generally non-linear, the analysis method for…

Information Theory · Computer Science 2021-02-02 Takayuki Nozaki