arXiv++ Combinatorics

We study random access in linear codes when codeword symbols are sampled independently and uniformly with replacement. A code is recovery balanced if the expected number of samples required to recover a codeword coordinate is the same for every coordinate. We express the recovery expectations in terms of the associated matroid and derive a coordinatewise identity relating these values for a code and its dual. This proves that a linear code is recovery balanced if and only if its dual is recovery balanced, establishing a conjecture of Gruica et al. We further define the recovery balance for arbitrary matroids and show that asymptotically almost every sparse paving matroid is not recovery balanced.

The Clifford defect is a rational number associated to the Weierstrass semigroup at a given point of an algebraic curve. It describes the error-correcting capability of the so-called Modified Algorithm for decoding the corresponding one-point codes defined at the point. This defect also finds applications in other contexts involving one-point codes. We study the Clifford defect of some numerical semigroups arising from curves and give explicit formulas for them.

We consider the action of the (combinatorial) Laplacian of a finite and simple graph on integer vectors. By a \emph{Laplacian monopole} we mean an image vector negative at exactly one coordinate associated with a vertex. We consider a numerical semigroup $H_f(P)$ given by all monopoles at a vertex of a graph. The well-known analogy between finite graphs and algebraic curves (Riemann surfaces) has motivated much work. More specifically for us, the motivation arises out of the classical Weierstrass semigroup of a rational point on a curve whose properties are tied to the Riemann-Roch Theorem, as well as out of the graph theoretic Riemann-Roch Theorem demonstrated by Baker and Norine. We determine $H_f(P)$ for some families of graphs and demonstrate a connection between $H_f(P)$ and the vertex (also edge) connectivity of a graph. We also study $H_r(P)$, another numerical semigroup which arises out of the result of Baker and Norine, and explore its connection to $H_f(P)$ on graphs. We show that $H_r(P)\subseteq H_f(P)$ in a number of special cases. In contrast to the situation in the classical setting, we demonstrate that $H_f(P)\setminus H_r(P)$ can be arbitrarily large and identify a potential obstruction to the inclusion of $H_r(P)$ in $H_f(P)$ in general, though we still conjecture this inclusion. We conclude with a few open questions.