Papers
Topics
Authors
Recent
Search
2000 character limit reached

Small-Gain Nash (SGN) Metrics

Updated 14 December 2025
  • Small-Gain Nash (SGN) is a unifying framework for block-weighted poset metrics, integrating models like Hamming, Lee, and poset metrics in finite vector spaces.
  • It leverages local block transformations and poset-induced dependencies to provide precise analysis of weight distributions, isometry groups, and combinatorial structures.
  • The SGN framework has practical applications in coding theory, random discrete models, and combinatorial design, offering insights into MDS codes and optimal code constructions.

Small-Gain Nash (SGN) refers to a unifying structural and geometric framework encompassing a broad set of block-weighted metric structures in finite vector spaces, with applications in coding theory, combinatorics, and random discrete models. The small-gain property characterizes metrics generated by local block transformations with poset-induced dependencies, and underlies the class of weighted poset block metrics and their generalizations. This class contains the classical Hamming, Lee, poset, pomset, block, and poset-block metrics as special cases, and supports a comprehensive analysis of weight distributions, isometry groups, code bounds, and geometric-combinatorial properties.

1. Formal Definition and Construction

Let V=FqNV = \mathbb{F}_q^{N} be a finite vector space decomposed into nn blocks, V=i=1nFqkiV = \bigoplus_{i=1}^n \mathbb{F}_q^{k_i}, where the ii-th block has length kik_i. Introduce a weight function w:FqNw: \mathbb{F}_q \to \mathbb{N}, with Mw=maxaFqw(a)M_w = \max_{a \in \mathbb{F}_q} w(a) and mw=mina0w(a)m_w = \min_{a \ne 0} w(a). For each block, define the induced block-weight wki(x(i))=max1jkiw(xi,j)w_{k_i}(x^{(i)}) = \max_{1 \leq j \leq k_i} w(x_{i,j}). For vectors xVx \in V, the nn0-support nn1 generates an order ideal nn2 in a chosen poset nn3. The set of maximal elements nn4 of nn5 captures highest-level nonzero blocks.

Define the SGN (block-weighted poset) norm: nn6 This yields the SGN metric: nn7 This metric class subsumes the Hamming, Lee, block, poset, poset-block, and pomset metrics for suitable choices of nn8, nn9, and V=i=1nFqkiV = \bigoplus_{i=1}^n \mathbb{F}_q^{k_i}0 (Ma et al., 2023, Ma et al., 2023, Shriwastva et al., 21 Jan 2025, Shriwastva et al., 2022).

2. Structural Properties and Unification

The SGN framework unifies prior metric structures via its parameterization:

  • Hamming metric: V=i=1nFqkiV = \bigoplus_{i=1}^n \mathbb{F}_q^{k_i}1 antichain, V=i=1nFqkiV = \bigoplus_{i=1}^n \mathbb{F}_q^{k_i}2, V=i=1nFqkiV = \bigoplus_{i=1}^n \mathbb{F}_q^{k_i}3 is Hamming weight.
  • Lee metric: V=i=1nFqkiV = \bigoplus_{i=1}^n \mathbb{F}_q^{k_i}4 antichain, V=i=1nFqkiV = \bigoplus_{i=1}^n \mathbb{F}_q^{k_i}5, V=i=1nFqkiV = \bigoplus_{i=1}^n \mathbb{F}_q^{k_i}6 is Lee weight.
  • Block (error-block) metric: V=i=1nFqkiV = \bigoplus_{i=1}^n \mathbb{F}_q^{k_i}7 antichain, general V=i=1nFqkiV = \bigoplus_{i=1}^n \mathbb{F}_q^{k_i}8, V=i=1nFqkiV = \bigoplus_{i=1}^n \mathbb{F}_q^{k_i}9 is Hamming.
  • Poset metric: ii0, general ii1, Hamming ii2.
  • Weighted poset: ii3, general ii4, general ii5.
  • Poset-block metric: general ii6, general ii7, Hamming ii8.
  • Niederreiter-Rosenbloom-Tsfasman (NRT): ii9 chain, general kik_i0, Hamming kik_i1.
  • Pomset/pomset-block: general kik_i2, possible Lee kik_i3, general kik_i4 (Ma et al., 2023, Shriwastva et al., 21 Jan 2025, Shriwastva et al., 2022).

By means of this block-weighted poset metric, geometric and combinatorial structures—balls, spheres, code parameters—can all be analyzed within a common theoretical scaffold.

3. Weight Distribution and Geometric Enumeration

The weight distribution of the SGN metric space describes the number of vectors at a given weight, generalizing classical MacWilliams-type formulas. Let kik_i5 denote the set of block-vectors in block kik_i6 of block-weight kik_i7. For each order ideal kik_i8 of size kik_i9 and w:FqNw: \mathbb{F}_q \to \mathbb{N}0, compute all partitions of w:FqNw: \mathbb{F}_q \to \mathbb{N}1 among w:FqNw: \mathbb{F}_q \to \mathbb{N}2 maximal blocks. The full formula for the weight distribution is: w:FqNw: \mathbb{F}_q \to \mathbb{N}3 where w:FqNw: \mathbb{F}_q \to \mathbb{N}4 is the set of size-w:FqNw: \mathbb{F}_q \to \mathbb{N}5 ideals and arrangements sum over all distinct orderings of the partition (Shriwastva et al., 21 Jan 2025, Shriwastva et al., 2022).

This generality enables precise counting for standard and novel metrics, including two-block, chain, and hierarchical cases. The SGN geometric structure contains all classical weight spectra as limiting or special instances.

4. Code Bounds, Perfect and MDS Codes

Within the SGN metric, code parameters obey Singleton-type and sphere-packing bounds generalizing almost all classical results. For a code w:FqNw: \mathbb{F}_q \to \mathbb{N}6 of minimum distance w:FqNw: \mathbb{F}_q \to \mathbb{N}7, the Singleton bound is: w:FqNw: \mathbb{F}_q \to \mathbb{N}8 Codes attaining equality are maximum distance separable (MDS) in the SGN sense (Shriwastva et al., 21 Jan 2025, Ma et al., 2023, Shriwastva et al., 2022).

In the chain-poset (NRT) case with equal block sizes, MDS codes coincide exactly with the class of perfect codes: the w:FqNw: \mathbb{F}_q \to \mathbb{N}9-balls around codewords partition the whole space if and only if Mw=maxaFqw(a)M_w = \max_{a \in \mathbb{F}_q} w(a)0 is MDS. Moreover, there is a duality theorem: for equal-size blocks, MDS codes are in bijection (by duality) with perfect codes for the complement ideals in the dual poset (Shriwastva et al., 21 Jan 2025).

5. Isometry Groups and Symmetries

The automorphism group of the SGN metric space decomposes as a semidirect product: Mw=maxaFqw(a)M_w = \max_{a \in \mathbb{F}_q} w(a)1 where Mw=maxaFqw(a)M_w = \max_{a \in \mathbb{F}_q} w(a)2 consists of upper-triangular block matrices respecting the poset structure, and Mw=maxaFqw(a)M_w = \max_{a \in \mathbb{F}_q} w(a)3 permutes blocks among automorphisms of the poset with fixed block sizes. For classical metrics:

  • Hamming: the isometry group is Mw=maxaFqw(a)M_w = \max_{a \in \mathbb{F}_q} w(a)4.
  • Lee: Mw=maxaFqw(a)M_w = \max_{a \in \mathbb{F}_q} w(a)5.
  • General SGN: block-upper-triangular invertibles with block-permuting automorphisms (Ma et al., 2023).

This structure ensures that SGN metric balls and spheres are fully symmetric under these isometry actions, and that the associated combinatorial geometry is invariant under their action.

6. Geometric and Combinatorial Insights

The geometry of the SGN (block-weighted poset) space is governed by the interplay of block structure, poset dependencies, and symbol-weight functions. Balls of fixed radius correspond to unions of affine block subspaces, viewed as "plateaus" determined by the collection of order ideals, with maximal blocks contributing exact local weights and non-maximal blocks incurring full cost Mw=maxaFqw(a)M_w = \max_{a \in \mathbb{F}_q} w(a)6. The combinatorial structure is thus an intricate tiling by unions of axis-parallel "faces" of varying heights, interpolating between Hamming cubes, Lee octahedra, and NRT block simplices.

This geometric insight underlies packing and covering arguments, code construction, and direct computation of packing/covering radii. Slices of the SGN geometry, parameterized by Mw=maxaFqw(a)M_w = \max_{a \in \mathbb{F}_q} w(a)7 and Mw=maxaFqw(a)M_w = \max_{a \in \mathbb{F}_q} w(a)8, yield all previously known "small-gain" or block-weighted metric models as described in (Ma et al., 2023, Shriwastva et al., 2022, Ma et al., 2023).

7. Applications and Further Directions

SGN metrics are foundational in the study of error-correcting codes, random discrete geometric models, and combinatorial design. The universality of the construction supports new code families, explicit formulae for weight distributions, and duality theory for MDS codes in highly structured spaces (Shriwastva et al., 21 Jan 2025). SGN geometry has also been leveraged in phase transition analysis of block-weighted random maps, where the shifts in geometric regime correspond to varying block-weight parameters—a connection illuminating the breadth of the small-gain framework (Fleurat et al., 2023).

Further research develops geometric invariants, enumerative theory, optimal code constructions in new SGN instances, as well as probabilistic and combinatorial applications where small-gain decompositions yield tractable analytic results.


Key references:

Topic to Video (Beta)

No one has generated a video about this topic yet.

Whiteboard

No one has generated a whiteboard explanation for this topic yet.

Follow Topic

Get notified by email when new papers are published related to Small-Gain Nash (SGN).