arXiv++ Combinatorics

The principle of maximum entropy provides a fundamental framework for characterizing typical structures of large random networks subject to observable constraints. In their pioneering numerical experiments \cite{radin2014asymptotics}, Radin, Ren, and Sadun conjectured that entropy-maximizing graphons satisfying subgraph density constraints are stochastic block models a conjecture we term the RRS conjecture. While several special cases have been proven for single-relation graphs with specific constraint families, the general problem has remained open, particularly for multi-relational networks. We resolve the RRS conjecture for constrained multi-relational graphons in the non-extremal regime, proving that entropy-maximizing solutions are step functions with finitely many blocks under the condition the subgraph density constraints are analytically independent and for almost all feasible combinations of sufficient statistics. Our proof employs a differential geometric technique to study solutions of constrained optimization problems in function space via functions with a finite parametrization (step functions). The two cornerstones of this work are: the generalization of subgraph density notion to $h$-subgraph density and the proof that manifolds that define the constrained region for the solutions maintain topological stability without developing new connected components under refinement. Together, these enable proving that no new global optima emerge in higher-dimensional spaces.

The root lattice $A_n$, equipped with its graph distance (equivalently, one half of the ambient $\ell_1$ metric), is isometric to $\mathbb{Z}^n$ with the asymmetric Manhattan metric. We study two extremal problems in this space -- the isodiametric problem, i.e., determining the maximum anticode cardinality, and the (non)existence of linear diameter-perfect codes, i.e., lattice tilings by optimal anticodes -- and solve them in dimension $3$. We show that, for every integer $D\ge 0$, the largest cardinality of a diameter-$D$ subset of $A_3$ is $\binom{D+3}{3}+(D+1)\lfloor D^2/4\rfloor$, and this value is attained by the balanced difference of two discrete simplices. We then prove an integrality-refined simplex-packing obstruction: a sublattice of $\mathbb{Z}^n$ of asymmetric Manhattan distance greater than $D$ induces a lattice packing by $(D+1)Δ_n$ in $\mathbb{R}^n$. Combining this observation with the exact lattice-packing density of the tetrahedron yields a complete classification in dimension $3$: lattice diameter-perfect codes in $A_3$ exist precisely for $D=1$ and $D=2$. We also give the equivalent statement for perfect $B_h$ sets of cardinality four. Finally, we formulate a conjecture regarding optimal anticodes in arbitrary dimension, and restate it as an intersection problem for uniform multisets.

The Shannon capacity $Θ(G)$ of a graph $G$ quantifies the maximum rate at which information can be transmitted with zero error over a noisy channel. It is lower bounded by $α(G^d)^{1/d}$ for any $d$, where $α(G^d)$ is the independence number of the $d$-th strong power of $G$. We construct independent sets of size $134753$ in $C_7^{10}$, $21909$ in $C_{11}^{6}$, and $62530$ in $C_{13}^{6}$, improving the best known lower bounds for the Shannon capacity of these graphs to $Θ(C_7)\geq 134753^{1/10}>3.258020$, $Θ(C_{11})\geq 21909^{1/6}>5.289773$, and $Θ(C_{13})\geq 62530^{1/6}>6.300109$. We also improve the best known lower bounds on the independence numbers of several individual strong powers of odd cycles that do not improve the Shannon capacity lower bound. The constructions were discovered through iterative interactions with a Large Language Model (LLM), illustrating the potential of LLMs for finding explicit combinatorial constructions.

Let $A(n,d,w)$ denote the maximum size of a binary constant-weight code of length $n$, minimum distance $d$, and weight $w$. We construct explicit codes proving $A(23,6,10)\ge 2979$ and $A(24,6,10)\ge 4214$. These improve the best surviving explicit codes of sizes 2969 and 4174 and surpass the corresponding 1990 bounds 2970 and 4200 of Brouwer, Shearer, Sloane and Smith, whose code listings were lost. We also obtain $A(23,6,11)\ge 3539$ and $A(24,6,8)\ge 1855$. All four bounds are now listed in Brouwer's online table. The constructions use a coordinate decomposition in which one half is fixed to a known code and the complementary half is selected from its full cross-compatible pool using CHILS for maximum-weight independent set. For the 2969-word $A(23,6,10)$ incumbent, exact computations with two solver families prove insertion maximality and exclude every improving exchange deleting at most three codewords. We also analyze codes invariant under prime-order permutations: several cycle types are excluded exactly, the $5+1^{18}$ type has upper bound 499, and reproducible heuristic saturation evidence is reported for the remaining types, with $13+1^{10}$ left open. Code files, an independent validator, model descriptions, and computational logs are released.

In coding theory, list recoverability is a fundamental concept which robustly captures how ``spread-out'' codewords are in a code. More formally, given a code $C \subseteq Σ^n$ and input lists $S_1, \dots, S_n \subseteq Σ$ of size at most $\ell$, list recoverability requires that there are at most $L$ codewords $c \in C$ such that $c_i \in S_i$ for at least $(1-ρ)n$ choices of $i \in [n]$. List recovery is an important question which has found applications in many areas, including complexity theory, property testing, compressed sensing, streaming algorithms, and cryptography. As our first main result, we establish a tight ``generalized singleton bound''. Formally, we show that for constant $\ell, L,ρ$ and sufficiently large alphabets $Σ$, if we define $R^*=\frac{L+1-\ell}{L}-\frac{L+1}{L}ρ$, it is possible for a $(ρ,\ell,L)$ list-recoverable code to have rate $R^*-ε$ but impossible to have rate $R^*+ε$. One direction of our result already directly generalizes and improves a weaker impossibility result due to Goldberg, Shangguan, and Tamo. For our second main result, we prove that there is a fundamental shortcoming in existing methods that aim to construct explicit, optimal list-recoverable codes. Indeed, recent work has constructed explicit codes achieving list-decoding capacity (along with other related properties) using a framework introduced in the work of Alon--Edmonds--Luby (AEL). We give a meta-analysis of such constructions by presenting an ``AEL framework'' which captures all such recent constructions in the literature. Within this framework, we show that no AEL-based code can break a recently-identified list-recovery barrier for additive and linear codes.

Let $A:\mathbb{F}_2^n\to\mathbb{F}_2^m$ be a binary linear map with fixed coordinate bases, let $C_A=\ker A$, and let $λ_A(y)$ be the minimum Hamming weight of a preimage of the syndrome $y$. We define $\operatorname{Shat}_{q,s}(A)$ as the least common check support of a $q$-dimensional syndrome subspace whose every nonzero element has coset-leader weight at least $s$. It therefore distinguishes release of $q$ independent syndromes from release of a subspace with no easy linear combination. Deleting check coordinates $F$ releases $\ker A_{\bar{F}}/\ker A$, canonically isomorphic to $(\operatorname{im} A)[F]$. Finiteness implies $R_q(C_A)\ge \mathsf{N}_2(q,s)$, where $\mathsf{N}_2(q,s)$ is the shortest length of a binary code of dimension $q$ and distance at least $s$; profile-Griesmer bounds independently control common check support. The hierarchy is coordinate-relabeling invariant but can change under a change of check basis. For the pair-repetition code $C_n=\{(x,x):x\in\mathbb{F}_2^n\}$, the standard realization $H_0=[I_n\ I_n]$ has $\operatorname{Shat}_{q,s}(H_0)=\mathsf{N}_2(q,s)$ whenever feasible. For every $q\ge 1$ and $s\ge 2$, with $n=\mathsf{N}_2(q,s)$, a row-equivalent realization of the same code has value $q$. For a simplicial coboundary map $A=δ_k$, check erasure is top-face erasure and the released quotient is emergent cohomology. At $s=1$ the hierarchy reduces to generalized Hamming weights and is Tutte-determined; for $s\ge 2$, even identical labeled cut codes can have different values.

The classical Ingleton inequality is known to hold for entropic points under specific exact conditional independence constraints. Recently, Matveev and Romashchenko (2026) investigated the stability of these implications, quantifying the extent to which the Ingleton inequality can be violated when a group of conditional mutual information terms is small but non-zero. While their proofs relied fundamentally on the complex framework of tropical probability spaces, we revisit these stability results using a completely tropicalization-free approach. By developing an alternative framework, we significantly streamline the underlying concepts and proofs, derive explicit error terms, and improve some estimates. Furthermore, we resolve an open problem posed in prior work by exhibiting a new infinite family of entropy inequalities that establishes the stability of the sum of two Ingleton expressions.

Spread codes are a well-known family of constant-dimension subspace-metric codes. For constant dimension $k$ and ambient space dimension $n$ being a multiple of $k$, these codes have minimum distance $2k$ and a rich geometric structure. In this paper, we study the decoding capabilities of the Nearest Neighbor Decoder for Desarguesian spread codes, establishing that unique decoding is still achievable beyond half the minimum distance. Motivated by this, we develop a new decoding algorithm to uniquely decode Desarguesian spread codes in the presence of both insertions and deletions, which increase and decrease, respectively, the dimension of the transmitted codeword. Even when the sum of the dimensions of insertions and deletions exceeds half the minimum distance, provided that deletions are of dimension at most $k-2$, the algorithm succeeds with a small decoding failure. We also propose two refinements to this algorithm that, empirically, can handle nearly as many insertions as the Nearest Neighbor Decoder.

Let $G_q(d)$ be the unit-transfer graph on the nonnegative integer vectors whose $q$ coordinates sum to $d$, equivalently on the multiplicity profiles of size-$d$ multisets over $q$ symbols. The prime-checksum conjecture predicts that, for prime $q$ and all sufficiently large $d$, a largest independent set is a fiber of the natural cyclic checksum. We introduce weighted local covers of $G_q(d)$ by translated induced subgraphs. For fixed $q$, capped anchor profiles reduce the covering conditions for infinitely many degrees to a finite rational linear system. This method gives new proofs of the known cases $q=3$ and $q=4$ and determines $α(G_q(d))$ exactly for $q=5$ and $q=7$ in every degree, thereby proving the next two odd-prime cases of the conjecture. In the complementary regime where $d$ is fixed and $q$ grows, a partition-orbit reduction solves degree five for $q\ge7$, gives exact power-of-two families in degrees six, eight, and ten, and yields an asymptotically sharp upper bound through three terms for every fixed $d\ge7$. All computer-assisted assertions reduce to finite rational or integer systems and are supported by independently checkable certificates.

The existence, several properties, and constructions of Generalized Weighing-Hadamard (GWH) matrices over finite fields are addressed in this work. We study the subset of invertible GWH matrices and show that it forms a group under matrix multiplication. Besides that, we introduce a strong notion of equivalence between such matrices, defined via orthogonal transformations, and further prove that the corresponding quotient group by the subgroup of orthogonal matrices is abelian. Finally, we discuss some applications of these matrices in coding theory

A binary Coxeter code associated with a finite Coxeter system $(W,S)$ is an ${\mathbb F}_2$-linear span of indicators of standard cosets of a fixed rank. Coxeter codes, introduced in a recent paper by N. Coble and A. Barg, are a generalization of Reed--Muller codes which arise when $W={\mathbb Z}_2^m$ is the Coxeter group of type $mA_1$. In that paper, the authors proposed a conjectural value for the minimum distance of a general Coxeter code. This conjecture is proved in the present work. As a consequence, we obtain a Coxeter-theoretic generalization of Reed's majority-logic decoding algorithm for Reed--Muller codes.

Ferrers diagram rank-metric codes are rank-metric codes with prescribed support, and their dimension is bounded from above by the Etzion--Silberstein bound. In this paper, we study this problem for block Ferrers diagrams, namely Ferrers diagrams whose dots are grouped into square blocks of a fixed size. Motivated by the diagonal construction for MDS-constructible Ferrers diagrams, we introduce the notion of MSRD-constructibility, where MDS codes on diagonals are replaced by maximum sum-rank distance (MSRD) codes on block diagonals. We show that MSRD-constructible pairs yield optimal Ferrers diagram rank-metric codes over sufficiently large finite fields. We then relate MSRD-constructibility of a block Ferrers diagram to MDS-constructibility of its contraction, proving an equivalence when the distance is compatible with the block size and giving lifting criteria in the general case. As a consequence, we obtain MSRD-constructibility for strictly block-monotone and initially block-convex diagrams. Finally, we prove a reduction to block triangular diagrams and use it to obtain new arbitrary-field cases of the Etzion--Silberstein conjecture for MSRD-constructible block Ferrers diagrams.

We study Schubert subspace codes, which are constant-dimension subspace codes with prescribed intersection conditions with a fixed subspace. Our goal is to construct codes of maximum possible size in the extremal distance cases where a natural counting upper bound applies. We give two families of constructions. The first one uses a direct-sum decomposition of the ambient space, together with partial spreads and colorings of powers of $q$-Johnson graphs. For this construction, we also prove necessary conditions, which show how chromatic and clique obstructions arise. The second family is obtained by field reduction from evasive and scattered subspaces over extension fields. This gives codes whose size can be computed exactly in the scattered case and recovers the only previously known construction as a special case.

Levenshtein's sequence reconstruction model plays an essential role in information retrieval of advanced memory systems, such as the DNA-based storage systems. In the model, a word $\mathbf{x}\in\mathbb{Z}_q^n$ is transmitted through $N$ noisy channels, and the goal is to recover it. Errors occurring in the channels usually involve substitutions, insertions and deletions. Our focus is on insertions. One of the main questions in this context is determining the minimum number of channels $N$ required to recover the transmitted word $\mathbf{x}$. The original formulation of the reconstruction problem requires that all the output words from the channels are distinct. However, different insertion errors may lead to the same output words. In this paper, we investigate two reconstruction models where the channels are allowed to produce identical output words even though different insertion errors occur in the channels. These two models, called \textit{the multiset model} and \textit{non-multiset model}, generalize the Levenshtein's model. We denote the minimum number of channels required to \textit{unambiguously} recover the transmitted word $\mathbf{x}\in\mathbb{Z}_q^n$ by $N_q^m(n,t)+1$ in the multiset model and $N_q^{nm}(n,t)+1$ in the non-multiset model, where $t$ is the exact number of insertions occurring in a channel. We determine $N_q^m(n,1)$ and $N_q^{nm}(n,1)$ for all $n$ and $q$, and show the somewhat surprising fact that $N_q^m(n,1)=N_q^{nm}(n,1)$. We also provide a full characterization of the words attaining this value and give a general lower bound on $N_q^m(n,t)$ for $t\ge1$ and a recursive upper bound. For $t=1$, we construct codes $C'\subseteq\mathbb{Z}_q^{n+2}$ from codes $C\subseteq\mathbb{Z}_q^n$ such that the number of channels required to determine the transmitted word $\mathbf{x}\in C'$ is small. This construction is shown to be optimal for certain parameters.

We propose several approaches for bounding the minim\-um distances of the family of quasi-cyclic LDPC codes in the 5G NR standard. In particular, we show that the high-rate [9984, 8448] and the low-rate [25344, 8448] BG1 5G LDPC codes have minimum distances in the ranges {8..14} and {22..57}, respectively. Also we propose a new early termination approach based on circulant modular reduction, which significantly lowers syndrome calculation complexity for the LDPC decoder.

The success of deep learning models in classification and regression is widely attributed to the low-dimensional structure that real-world data tend to exhibit, despite their high-dimensional representation. This work attempts to provide a mathematical framework for binary classification on low-dimensional data, building on Cover's (1965) function-counting theory. With our framework, we aim to address the question of how the low-dimensional structure of the data affects the classification capabilities of learning models. Cover's theory relies on a general position assumption that blinds it to the underlying data structure. We refine this assumption to account for the low-dimensionality of the data and derive dichotomy counts that reflect the data structure. We further extend Cover's separation capacity and problem of generalization to the low-dimensional setting, enabling the impact of the underlying data structure on both to be analyzed.

We establish the exact exponential growth rate of the $ρ$-th moment of the constrained guesswork $G_{\mathrm{coset}}$ -- the rank of the true noise vector within its syndrome coset of a random binary linear code under i.i.d.\ Bernoulli$(p)$ noise: \( \lim_{n\to\infty} \frac{1}{n}\log_2\Eb\!\left[G_{\mathrm{coset}}^ρ\right] = ρ\,h_{\frac{1}{1+ρ}}(p)\;+\;ρ(R-1), \, ρ>0, \) where $h_α(p)$ is the binary Rényi entropy and $R=k/n$ is the code rate. The exponent shifts down by exactly $ρ(1-R)$ relative to the unconstrained Arıkan--Merhav exponent, with each of the $n(1-R)$ parity checks contributing equally. Finite-length simulations confirm convergence from below. We further establish: (i)~a transfer theorem expressing the partition-function exponent in terms of an arbitrary weight-enumerator growth rate $g(δ)$; (ii)~the exact exponent for $L_n$-list (``$k$-th'') constrained guesswork; and (iii)~a sharp second-order refinement of order $ρ\log_2 n$. Beyond the binary i.i.d.\ setting, we prove a universality theorem: for any code ensemble $\mathcal{E}$ whose weight enumerator concentrates at rate $g_{\mathcal{E}}(δ)$, the guesswork exponent equals $(1+ρ)ψ_{1/(1+ρ)}(g_{\mathcal{E}})-ρ\,ψ_1(g_{\mathcal{E}})$, where $ψ_α(g)=\sup_δ[g(δ)+α\ell(δ)]$. As concrete applications, we instantiate this theorem for the $q$-ary extension, $Λ_q(ρ)=ρ\,h^{(q)}_{1/(1+ρ)}(P)+ρ(R-1)\log_2 q$, and for Gallager's regular LDPC ensemble, obtaining a closed-form guesswork exponent via an exact finite-length identity for the ensemble-average weight enumerator.

We classify Boolean cubic forms in ten variables up to GL(10,2)-equivalence. The catalog contains all 3691560 nonzero orbits. For every orbit we provide a representative with small monomial count, the stabilizer order, and the alternating rank together with an explicit decomposition. The classification is obtained by rank-stratified enumeration. We verify completeness by the Burnside orbit count and independently by the orbit--stabilizer identity. We also provide a fast, complete GL(10,2)-invariant. By polarization, this gives the first complete classification of alternating trilinear forms in dimension 10 over GF(2).

Erasure codes are a core component of most existing large-scale distributed storage systems, ensuring reliability against node failures. Recent work has shown that adapting code parameters to changing node failure rates can lead to significant storage savings. The default approach is to re-encode the data under a new code, which consumes substantial system resources. Code conversion was introduced to reduce this cost. However, existing work has mainly focused on conversions within specific classes of codes. In this paper, we study scalar linear code conversion in the merge regime for arbitrary linear codes. We derive universal lower bounds on the write and read costs in terms of unchanged and read symbols. The bounds are refined using generalized Hamming weights, which capture support-growth properties of subcodes and can give sharper estimates than minimum-distance-only arguments. We show that the framework recovers known bounds for important special cases and can be strictly stronger when the final code has nontrivial jumps in its generalized Hamming weight hierarchy. We then apply the framework to Reed-Muller codes and construct explicit Reed-Muller convertible codes using the Plotkin decomposition. For a natural Reed-Muller parameter regime, the construction attains the derived write-cost lower bound. For the read cost, the generalized-Hamming-weight analysis is sharp for one initial block, while a gap remains for the other block.

Motivated by sequence reconstruction and reconstruction codes, we study extremal intersections of deletion balls over a fixed $q$-ary alphabet. Let $Σ_q^n$ be the set of sequences of length $n$ over $Σ_q$, and let $D_t(x)$ denote the set of all sequences obtained from $x\inΣ_q^n$ by deleting exactly $t$ symbols. Our first result gives a finite upper bound under a lower-order deletion-correction constraint. We prove that if $x,y\inΣ_q^n$ satisfy $D_{s-1}(x)\cap D_{s-1}(y)=\varnothing$, then \[ |D_t(x)\cap D_t(y)| \le \binom{2s}{s}\binom{n-s}{t-s}. \] For binary alphabets, this strengthens a recent asymptotic upper bound of Pham, Goyal, and Kiah (2025, JCTA). We then investigate deletion-ball intersections under simultaneous constraints on run counts and lower-order deletion-ball intersections. For fixed $0<γ\le1$, integers $1\le s\le t$, and $m\ge1$, we show that if $x,y\inΣ_q^n$ have at most $γn$ runs and satisfy $|D_s(x)\cap D_s(y)|\le m$, then \[ |D_t(x)\cap D_t(y)|\le \frac{mγ^{t-s}}{(t-s)!}n^{t-s}+O_{s,t,m}(n^{t-s-1}). \] Moreover, the leading term can be attainable whenever $m$ is realized by a fixed finite-length seed pair. As a consequence, we obtain a direct lifting theorem for deletion reconstruction codes, transferring reconstruction properties from radius $s$ to larger radii $t$. Finally, we establish a parallel insertion theory and derive corresponding results for insertion-ball intersections and insertion reconstruction codes.