arXiv++ Combinatorics

We develop a multi-view linear-programming framework for locally recoverable codes with arbitrary fixed availability $a$. For any retained order $1 \le s \le a$, the selected helper sets, the recovered coordinate, and their complement form an $(s+2)$-part partition. Recording the Hamming distance on all blocks preserves both compatibility among the selected repair alternatives and their coupling with the remaining coordinates. The resulting joint distribution satisfies centered counting identities, product-Krawtchouk positivity, and collision inequalities from the local-distance condition; for fixed $s$, these constraints give a polynomial-size relaxation for arbitrary, possibly nonlinear, codes over any finite field. Retaining one view recovers the three-block model of our companion paper. We develop the first genuinely multi-view case, $s=2$, in detail and specialize the exact computations to availability $a=2$. The resulting four-block LP projects to both the one-view three-block model and a globally conditioned two-view relaxation, making explicit the information lost by each coarsening. Exact rational primal-dual certificates together with checked constructions prove $M_{\max}(2,8,4,2,2,2)=8$, $M_{\max}(3,7,3,2,2,2)=27$, and $M_{\max}(4,7,3,2,2,2)=64$; in all three cases the four-block bound is strictly stronger than both coarsenings.

Let $q$ be odd. The trace conic in $\mathbb{F}_{q^3}$ determines a Singer difference set in $\mathbb{F}_{q^3}^\times / \mathbb{F}_q^\times$ and a natural square-class lift to $\mathbb{F}_{q^3}^\times / \mathbb{F}_q^{\times 2}$. We study the odd multiplicative Fourier coefficients of this lift and prove that they are bounded in absolute value by $2\sqrt{q}$. The proof improves the naive six-puncture Weil bound by exploiting a projective Klein-four symmetry of the associated rank-one local system. The resulting nontrivial cocycle produces a quaternionic action on its four-dimensional cohomology, while Frobenius symmetry reduces the relevant trace to two Weil-scale eigenvalues. As an application, the oriented conic yields an explicit Singer-invariant signing of the point-line incidence graph of $\mathrm{PG}(2, q)$. The corresponding dihedral Cayley graph is a connected Ramanujan double cover. Thus a conic lift already known in finite-geometric constructions has an additional Ramanujan spectral property governed by its odd multiplicative character sums.

We derive linear programming (LP) bounds on the minimum distance of binary and ternary linear complementary dual (LCD) codes by imposing arithmetic constraints on their weight enumerators. Special values of the weight enumerator give finitely many Gauss phases, each of which yields linear equations in the ordinary weight-distribution variables. The resulting bounds strengthen the real-valued LCD counting LP without introducing additional variables; both the number of branches and the number of added equations per branch are bounded independently of the code length. Exact certificates establish strict improvements for 62 binary parameter pairs of length at most 20 and 39 ternary pairs of length at most 14. For four binary pairs, the bounds also improve the joint-weight-enumerator LP while using fewer variables per branch. These comparisons show that Gauss-phase information provides a compact strengthening of existing LP relaxations for LCD codes.

We give a polynomial-size linear programming bound for $q$-ary all-symbol locally recoverable codes with locality parameters $(r,δ)$, without assuming linearity. The key idea is to keep, for every ordered pair of codewords and every selected recovery view, the joint Hamming weight on the helper set, the recovered coordinate, and the rest of the code -- rather than collapsing this triple into a single distance, as earlier formulations do. Averaging this three-block distribution over recovery views of the same length yields exact identities linking it to the global distance distribution, together with nonnegative product-Krawtchouk constraints that encode locality and spectral positivity simultaneously. The resulting LP has polynomially many variables, its optimum dominates the ordinary Delsarte bound, and an earlier outside-distance formulation, the convex-hull bound of Li--Wei--Xiong, and the dual-based bound of Gruica--Jany--Ravagnani all arise from it as coarser marginals. Exact rational certificates over $q=2,3,4$ show the bound is strictly stronger than the best of these prior LPs in thirteen of fifteen tested cases, pinning down seven exact maximum code sizes and twelve exact maximum linear dimensions.

We study how spherical $2$-designs arising from finite group orbits can be completed to spherical $4$-designs by adjoining further orbits, allowing weights in the general theory. For an irreducible real orthogonal $G$-module $W$ with $\mathbb D=\operatorname{End}_G(W)\in\{\mathbb R,\mathbb C,\mathbb H\}$, we consider the multiplicity-two representation $W\oplus W$ and retain the failure of the $2$-design equation $M^*M=\frac12 I_2$ as a quadratic defect. When the invariant quartics are determined by the Hermitian Gram matrix, the fourth-moment problem reduces to a mean and covariance condition on these defects. This yields a sharp lower bound for the total weight of the correction orbits; at equality, their normalized defects form a weighted spherical $2$-design in the associated defect space. The quartic condition holds for the multiqubit Clifford groups in every dimension $r\geq 1$, giving an unbounded-dimensional family with a fixed three-dimensional defect space; among equality cases using the minimum number of correction orbits, the defect geometry is always a regular tetrahedron. As a complementary unweighted example, we construct a $378$-point $W(E_6)$-invariant spherical $4$-design in $S^{11}$ and prove that it is sharp among unweighted invariant completions containing a spherical $2$-design orbit.

Let $G=N\rtimes H$ be a finite Frobenius group with $|N|=q$ and $|H|=q-1$. We classify all Ramanujan Cayley graphs of $G$ whose connection sets are normal, in the sense of being unions of conjugacy classes. The group-theoretic input is a simple blow-up phenomenon: every such Cayley graph is either $Y[\overline{K_q}]$ or $Y[K_q]$ for a connected regular Cayley graph $Y$ on the complement $H$. We first prove a graph-theoretic result classifying all Ramanujan graphs of these two forms when $Y$ is an arbitrary connected regular graph on $q-1$ vertices. The proof combines the classical characterization of regular graphs with least eigenvalue greater than $-2$ with a second-moment identity in the bipartite case. Translating the resulting five graph types back to $G$ yields a complete classification for all ratio-one Frobenius groups, and in particular for $\operatorname{AGL}(1,q)$ over every finite field.

A de Bruijn sequence is the cyclic prototype of a Cayley-graph observation problem: when does the ordered label word on a translated window $gY$ determine the vertex $g$? We distinguish three parameters. The unrestricted number $\operatorname{sep}_q(G)$ minimizes an arbitrary separating pattern; the connected number $\operatorname{csep}_q(G,S)$ requires a connected Cayley window containing $Y_S=\{1\}\cup S$; and the one-step number $χ_1(G,S)$ fixes $Y_S$ and minimizes the alphabet. Thus $\operatorname{sep}_q$ is a group-level baseline, $\operatorname{csep}_q$ measures the cost of locality, and $χ_1$ tests the smallest prescribed local window. The organizing theme is the tension between information and locality. Carbon tori test the gap between $\operatorname{sep}_q$ and $\operatorname{csep}_q$: for generalized dihedral groups $\mathbb{F}_{\ell^d}^{\times}\rtimes C_2$ we prove, for odd prime powers $\ell$, the sharp baseline $\operatorname{sep}_\ell=d+1$ and construct connected zig-zag windows, while the order-$14$ Heawood torus satisfies $\operatorname{sep}_4=2$ and $\operatorname{csep}_4=4$. The spherical $A_5$ example and a finite simple-group comparison test the fixed one-step window: explicit symmetric cubic generating tuples give $χ_1(A_5,S)=3$ and $χ_1(\operatorname{PSL}_2(\mathbb{F}_7),S)=4$, both at the counting bound, with structured matrix-coefficient certificates. Cyclic-coset packings, finite-field coordinates, and restricted matrix coefficients are used only as the construction tools these two examples require.

We construct universal cycles for affine planes in $\mathbb F_q^n$ for all prime powers $q$ and all $n\ge4$, using sliding windows of length three. The construction is local-to-global: explicit local cycles are built on frame configurations, the linear $2$-subspaces are organized by a layered frame decomposition, and the resulting cycles are assembled by gluing along shared directions. The universal cycle obtained has direction set containing all $1$-subspaces. We also extend the construction to universal cycles for $3$-subspaces of $\mathbb F_q^n$.

A universal cycle is a cyclic sequence in which each object of a combinatorial family appears exactly once as a contiguous window. While such cycles are well understood for many discrete structures and linear subspaces, the case of affine lines presents additional difficulties arising from parallelism. We prove that universal cycles exist for affine lines in $\mathrm{AG}(n,q)$ for all $n \ge 2$ and all prime powers $q$. Our construction embeds the problem into $\mathrm{PG}(n,q)$, using points at infinity to encode directions, and proceeds via a decomposition into pairwise and triple configurations combined with a recursive lifting and gluing argument. We further interpret the construction in the Grassmannian $G_q(2,n+1)$, where affine lines correspond to the outer shell of $2$-subspaces, thereby extending known constructions for Grassmannians. A Python implementation is provided as supplementary material.

We classify all spherical 2-designs that arise as orbits of finite group actions on real inner product spaces. Although it is well known that such designs can occur in representations without trivial components, we give a complete characterization of the orbits that satisfy the second-moment condition. In particular, we show that these orbits correspond to projections of compact group orbits within the regular representation, and we provide an explicit classification via isotypic decomposition and moment conditions. This approach unifies geometric and representation-theoretic viewpoints on highly symmetric point configurations.

In this paper we obtain a closed form expression of the zeta function $Z(X_Γ, u)$ of a finite quotient $X_Γ= Γ\backslash PGL_3(F)/PGL_3(O_F)$ of the Bruhat-Tits building of $PGL_3$ over a nonarchimedean local field $F$. Analogous to a graph zeta function, $Z(X_Γ, u)$ is a rational function and it satisfies the Riemann hypothesis if and only if $X_Γ$ is a Ramanujan complex.