Article Instance

HTTP 200 OK
Allow: GET
Content-Type: application/json
Vary: Accept

{
    "pk": 65001,
    "title": "Bounds on unique-neighbor codes",
    "subtitle": null,
    "abstract": "Recall that a binary linear code of length \\(n\\) is a linear subspace \\(\\mathcal{C} = \\{x\\in \\mathbb{F}_2^n \\mid Ax=0\\}\\). Here the parity check matrix \\(A\\) is a binary \\(m\\times n\\) matrix of rank \\(m\\). We say that \\(\\mathcal{C}\\) has rate \\(R=1-\\frac mn\\). Its distance, denoted \\(\\delta n\\) is the smallest Hamming weight of a non-zero vector in \\(\\mathcal{C}\\). The rate vs. distance problem for binary linear codes is a fundamental open problem in coding theory, and a fascinating question in discrete mathematics. It concerns the function \\(R_L(\\delta)\\), the largest possible rate \\(R\\) for given \\(0\\le\\delta\\le 1\\) and arbitrarily large length \\(n\\). Here we investigate a variation of this fundamental question that we describe next. Clearly, \\(\\mathcal{C}\\) has distance \\(\\delta n\\), if and only if for every \\(0‹n'‹\\delta n\\), every \\(m\\times n'\\) submatrix of \\(A\\) has a row of odd weight. Motivated by several problems from coding theory, we say that \\(A\\) has the unique-neighbor property with parameter \\(\\delta n\\), if every such submatrix has a row of weight \\(1\\). Let \\(R_U(\\delta)\\) be the largest possible asymptotic rate of linear codes with a parity check matrix that has this stronger property. Clearly, \\(R_U(\\cdot), R_L(\\cdot)\\) are non-increasing functions, and \\(R_U(\\delta)\\le R_L(\\delta)\\) for all \\(\\delta\\). Also, \\(R_U(0) = R_L(0) = 1\\), and \\({R_U(1) = R_L(1) = 0}\\), so let \\(0\\le\\delta_U \\le\\delta_L\\le 1\\) be the smallest values of \\(\\delta\\) at which \\(R_U\\) resp. \\(R_L\\) vanish. It is well known that \\(\\delta_L=\\frac{1}{2}\\) and we conjecture that \\(\\delta_U\\) is strictly smaller than \\(\\frac{1}{2}\\), i.e., the rate of linear codes with the unique-neighbor property is more strictly bounded. While the conjecture remains open, we prove here several results supporting it. The reader is not assumed to have any specific background in coding theory, but we occasionally point out some relevant facts from that area.\n \nMathematics Subject Classifications: 05D99, 94B65\n \nKeywords: Unique neighbor, linear code",
    "language": "en",
    "license": {
        "name": "Creative Commons Attribution 4.0",
        "short_name": "CC BY 4.0",
        "text": "Attribution — You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.\n\nNo additional restrictions — You may not apply legal terms or technological measures that legally restrict others from doing anything the license permits.",
        "url": "https://creativecommons.org/licenses/by/4.0"
    },
    "keywords": [
        {
            "word": "Unique neighbor"
        },
        {
            "word": "linear code"
        }
    ],
    "section": "Research Articles",
    "is_remote": true,
    "remote_url": "https://escholarship.org/uc/item/6k75258k",
    "frozenauthors": [
        {
            "first_name": "Nathan",
            "middle_name": "",
            "last_name": "Linial",
            "name_suffix": "",
            "institution": "School of Computer Science and Engineering, Hebrew University, Jerusalem 91904, Israel",
            "department": ""
        },
        {
            "first_name": "Edan",
            "middle_name": "",
            "last_name": "Orzech",
            "name_suffix": "",
            "institution": "Department of Electrical Engineering and Computer Science, MIT CSAIL, Cambridge MA 02139, U.S.A.",
            "department": ""
        }
    ],
    "date_submitted": "2025-09-12T11:28:39Z",
    "date_accepted": "2025-09-12T11:28:39Z",
    "date_published": "2025-09-15T07:00:00Z",
    "render_galley": null,
    "galleys": [
        {
            "label": "",
            "type": "pdf",
            "path": "https://journalpub.escholarship.org/combinatorial_theory/article/65001/galley/49811/download/"
        }
    ]
}