arXiv++ Combinatorics

LDPC codes play a vital role in coding theory and practical error correction. A central problem in this direction is to understand their rate--distance tradeoff. In this paper, we develop a local-growth argument for estimating ball sizes in the coset graphs of LDPC codes. Rather than estimating coset balls directly, we use a local-growth analysis to bound the coset-weight generating function of linear spaces spanned by low-weight vectors. This approach sharpens the previous ball-size estimates of Iceland and Samorodnitsky. Combined with a general method of Friedman and Tillich that relates balls in coset graphs to sizes of error-correcting codes, it further improves the upper bounds on the rate of LDPC codes for a significant range of relative distances.

Locally decodable codes (LDCs) are error-correcting codes that allow recovery of any single message symbol by probing only a small number of positions from the (possibly corrupted) codeword. Relaxed locally decodable codes (RLDCs) further allow the decoder to output a special failure symbol $\bot$ on a corrupted codeword. While known constructions of RLDCs achieve much better parameters than standard LDCs, it is intriguing to understand the relationship between LDCs and RLDCs. On the one hand, separation results (i.e., the existence of $q$-query RLDCs that are not $q$-query LDCs) are known for $q=3$ (Gur, Minzer, Weissenberg, and Zheng, STOC 2026) and $q \geq 15$ (Grigorescu, Kumar, Manohar, and Mon, STOC 2026). On the other hand, prior work (Block, Blocki, Cheng, Grigorescu, Li, Zheng, and Zhu, CCC 2023) shows that any $2$-query RLDC also gives a $2$-query LDC, and Grigorescu, Kumar, Manohar, and Mon (STOC 2026) show that any \emph{linear} $3$-query RLDC is also a linear $3$-query LDC. Furthermore, Grigorescu, Kumar, Manohar, and Mon (STOC 2026) show that when the soundness error of a \emph{linear} $q$-query RLDC with perfect completeness is below some threshold $s(q)$, the code must also be a linear $q$-query LDC with comparable parameters. In this work, we extend the main result of Grigorescu, Kumar, Manohar, and Mon (STOC 2026) by removing the linearity requirement in the nonadaptive setting. Specifically, we show that every nonadaptive $(q,δ,1,s)$-RLDC over a finite alphabet $Σ$ with $s<|Σ|^{-q}$ yields a $q$-query LDC with comparable decoding radius and error. Our results also extend to the setting of locally correctable codes (LCCs) and relaxed locally correctable codes (RLCCs). From this, we also obtain lower bounds for nonadaptive RLDCs from known LDC lower bounds.

We prove dyadic entropy expansion for the observables $X+Y$ and $f(X,Y)$ under Frostman nonconcentration hypotheses on a prescribed, possibly dependent law. For an integer $n\ge1$, write $H_n(Z)=H(\lfloor 2^nZ\rfloor)$ for the base-two Shannon entropy at resolution $2^{-n}$; thus $n$ indexes the fineness of the dyadic discretization. For every $0<s<1$ and every real bivariate polynomial outside the family $H(ax+by+c)$, conditional Frostman regularity with common exponent $s$ forces one of the two output entropies to exceed $sn$ by a fixed positive multiple of $n$. Under rectangular Frostman regularity, the same conclusion holds after including the average marginal entropy in the maximum. The proof combines the discretized Elekes--Rónyai and web theorems of Raz and Zahl with simultaneous information profiles and an estimate for mass near critical layers. A second argument, based on Pham's folding estimate and a mutual information penalty, gives explicit gains. If the conditional laws of $X$ given $Y$ and of $Y$ given $X$ have Frostman exponents $s_1,s_2\in(0,1)$, respectively, with $s_1+s_2>4/3$, we obtain $\max\{H_n(X+Y),H_n(f(X,Y))\}\ge (\frac{s_1+s_2}{2}+\varepsilon)n-O(1)$ for an explicit $\varepsilon>0$. Here the baseline averages the two Frostman exponents. We also classify the exceptional coordinate representations and construct obstructions for algebraic affine directions with Frostman constants uniform in the scale.

The Lloyd Theorem of (Solé, 1989) is combined with the Schwartz-Zippel Lemma of theoretical computer science to derive non-existence results for perfect codes in the Lee metric, NRT metric, mixed Hamming metric, and for the sum-rank distance. The proofs are based on asymptotic enumeration of integer partitions. The framework is the new concept of {\em polynomial} weakly metric association schemes. A connection between this notion and the recent theory of multivariate P-polynomial schemes of ( Bannai et al. 2025) and of $m$-distance regular graphs ( Bernard et al 2025) is pointed out.

Recently, a new record kissing arrangement of $841$ points in $\mathbb R^{12}$ was obtained numerically by optimization (Takhanov-Assylbekov-Yun, 2026). The configuration was released as a coordinate file, without a mathematical description of its structure. The purpose of this paper is to provide such a description. The key observation is that the geometry becomes transparent once we regard $\mathbb R^{12}\cong \mathbb H^3$ as the Cartesian product of three copies of the quaternion algebra. We first introduce a new $840$-point kissing arrangement with a certain quaternionic structure. It consists of three mutually orthogonal regular $24$-cells, supported on the three quaternionic coordinate factors $\mathbb H\times\{0\}\times\{0\}$, $\{0\}\times\mathbb H\times\{0\}$, $\{0\}\times\{0\}\times\mathbb H$, together with two $384$-point families obtained by lifting affine sets of the form $$\{(u,v,w)\in (\mathbb F_2^2)^3\mid u+v+w=η\},$$ to quaternionic triples (whose components belong to the binary octahedral group $2O$) and then applying suitable component-wise rotations and weightings. A characteristic feature of this construction is a pronounced asymmetry among the three quaternionic factors. For the $816$ vectors obtained after removing the third $24$-cell, most of the squared norm is concentrated in the first two quaternionic coordinates, while the third coordinate carries systematically less mass. Thus, the third four-dimensional factor contains more available space than the first two. We then show that this $840$-point configuration provides a natural structural model for the numerical $841$-point record. Finally, we introduce a notion of the general quaternionic construction in dimensions divisible by $4$, and check that record kissing arrangements in ${\mathbb R}^{4k}$, $k\leq 5$, admit a quaternionic construction.

Dedekind's problem counts monotone Boolean functions, equivalently downsets of a Boolean lattice. We recast this enumeration as a finite layer-ratio reconstruction problem for the Whitney numbers of the ranked ideal lattice. An exact adjacent-layer double count expresses each layer ratio through local averages of the number of addable elements and the number of removable elements. Reversible fixed-layer Markov chains estimate these averages and hence estimate the Dedekind number $M(n)$. Backtests at $M(8)$ and $M(9)$ calibrate seed-level variability under the fixed protocol and measure the observed Monte Carlo budget scaling. The resulting estimate probes the Whitney-number sequence of the ideal lattice. Although these rows have previously been described empirically as unimodal, the high-precision $n=9$ estimate has a shallow two-shoulder feature around the central rank, contrary to that empirical description; $n=11$ and $n=13$ center-window estimates show a larger-contrast analogous pattern. The protocol estimate for $M(10)$ is \[ \widehat M(10)=(8.9360\pm0.0010)\times 10^{78}, \] where the displayed uncertainty is the budget-based forecast scale from the cross-$n$ scaling law under the production budget.

Disjunct matrices, also known as cover-free families and superimposed codes, are combinatorial arrays widely used in group testing. Among their variants, those that satisfy an additional combinatorial property called inclusiveness form a special class suitable for computationally efficient and highly error-tolerant group testing under the general inhibitor complex model, a broad framework that subsumes practical settings such as DNA screening. Despite this relevance, the asymptotic behavior of the inclusive variant of disjunct matrices has remained largely unexplored. In particular, it was not previously known whether this variant can achieve an asymptotically positive rate, a requirement for scalable group testing designs. In this work, we establish the first nontrivial asymptotic lower bound on the maximum achievable rate of the inclusive variant, which matches the strongest known upper bound up to a logarithmic factor. Our proof is based on the probabilistic method and yields a simple and efficient randomized construction. Furthermore, we derandomize this construction to obtain a deterministic polynomial-time construction. These results clarify the asymptotic potential of robust and scalable group testing under the general inhibitor complex model.

The service rate region of a coded distributed storage system is the set of all achievable data access requests under the capacity constraints. This paper investigates the service rate regions of systematic Hamming codes using hypergraph theory and derives bounds for the maximal achievable service rate of individual data objects. We establish upper bounds on the sum of service rates of data symbols indexed by a subset of systematic nodes in a systematic binary Hamming code, and explore the achievability of these bounds. Additionally, for non-systematic binary Hamming codes, we conclude that the aggregate service rate is limited by the number of columns of odd weight in the associated generator matrix.