---
title: Left-to-Right Minima Basis in Combinatorics
url: https://www.emergentmind.com/topics/left-to-right-minima-basis
type: topic
---

# Left-to-Right Minima Basis in Combinatorics

The left-to-right minima basis ("LRM basis") is a unifying concept in algebraic combinatorics and related fields, arising independently in the theory of group algebras of the symmetric group, the geometry of lattices, and the enumeration of permutation statistics. The LRM basis leverages the combinatorial structure of left-to-right minima in permutations to define canonical, triangular, or extremal bases that reveal deep interactions between representation theory, combinatorics, and computational algebra.

## 1. Definition and Characterization of Left-to-Right Minima

For a permutation $\sigma=\sigma(1)\ldots\sigma(n)\in S_n$, $\sigma(i)$ is a left-to-right minimum (LR-minimum) if $\sigma(i)<\min\{\sigma(1),\ldots,\sigma(i-1)\}$. Equivalently, the statistic $\operatorname{lrmin}(\sigma)$ counts the number of positions $i$ at which $\sigma(i)$ sets a new minimum as one scans the permutation from left to right [2408.12865]. In the context of the symmetric group algebra, a “shifted” set $\operatorname{LRM}'(w):=\{i-1\,|\,i\in\operatorname{LRM}(w),i>1\}\subset[n-1]$ is also defined, with an associated composition $\mathbf{cLRM}'(w)\vDash n$ [2601.02952].

In lattice theory, “left-to-right minima basis” is synonymous with the “successive minima basis” or “Minkowski basis”: for a lattice $L\subset\mathbb{R}^n$, its successive minima $\lambda_1\leq\lambda_2\leq\ldots\leq\lambda_n$ are defined such that $\lambda_k$ is the smallest $r>0$ for which there exist $k$ linearly independent lattice vectors of norm $\le r$. The LRM basis is constructed greedily: $v_1$ is any shortest nonzero vector, $v_k$ is a shortest vector linearly independent from $v_1,\ldots,v_{k-1}$, guaranteeing $\|v_k\|=\lambda_k$ [2106.03183].

## 2. LRM Basis in the Group Algebra of the Symmetric Group

Grinberg–Vassilieva [2601.02952] introduced an LRM basis $\{\beta_w\}$ in the group algebra $\mathcal{A}=\mathbf{k}[S_n]$, defined by $\beta_w := \mathbf{B}_{\operatorname{LRM}'(w)}\,w$, where $\mathbf{B}_{I}$ is a Solomon descent algebra element for $I\subseteq[n-1]$. This basis enjoys the following key properties:

- **Lexicographic Triangularity:** Each $\beta_w$ expands as $w$ plus a linear combination of lex-order smaller permutations, ensuring that $\{\beta_w\}_{w\in S_n}$ forms a basis for $\mathcal{A}$.
- **Filtration Compatibility:** The subspaces $\mathcal{S}_\alpha := \mathrm{Span}\{\beta_w \mid \widetilde{\mathbf{cLRM}'(w)}\preceq_\pi\widetilde{\alpha}\}$ coincide with right ideals $\mathcal{R}_\alpha := \mathbf{B}_\alpha\mathcal{A}$ indexed by compositions $\alpha\vDash n$, with respect to the refinement order.
- **Triangular Action:** The descent algebra acts by (block-)triangular matrices in the LRM basis, leading to effective computations of eigenvalues, e.g., for random walk operators on $S_n$.

The construction is fundamentally connected to noncommutative symmetric functions and Dynkin elements (nested commutators) in the free algebra, which control the inclusion relations between right ideals [2601.02952]. This basis is also seen as an analogue of a cellular basis, with potential implications for categorification and generalizations to other Coxeter groups.

## 3. Successive Minima (LRM) Basis in Lattice Theory

The LRM basis in the context of lattices (Minkowski basis) is defined by sequentially choosing, at step $k$, a shortest lattice vector outside the span of previous choices, guaranteeing $\|v_k\| = \lambda_k$ [2106.03183]. This construction has intrinsic significance:

- **Minkowski-Reduced Bases:** A basis $\{b_1,\ldots,b_n\}$ is Minkowski-reduced if $b_i$ is a shortest nonzero vector in $L\setminus\mathrm{span}_\mathbb{R}(b_1,\ldots,b_{i-1})$ and the partial $\mathbb{Z}$-spans are primitive.
- **Optimality:** The LRM (Minkowski) basis achieves the successive minima, but may not minimize other metrics, e.g., the maximal basis vector norm.

Recent advances [2106.03183] have improved classical bounds on the squared norms of basis vectors: for $k=6,7$, $\|v_k\|^2\leq \frac{k}{4}\lambda_k^2$, confirming Schürmann's conjecture and improving Van der Waerden's exponential bound. However, explicit examples show that in high dimension, the last vector in the LRM basis may be exponentially larger than the longest vector in a Korkin–Zolotarev (KZ)-reduced basis, highlighting fundamental limitations of greedy algorithms for basis reduction.

## 4. LRM Statistics in Permutation Enumeration

The distribution and joint behavior of LRM in permutations, especially in classes such as up–down and down–up (alternating) permutations, are of central combinatorial interest [2408.12865]. Relevant generating functions enumerating permutations by number of left-to-right minima are as follows:

- **Single Statistic EGF (Up–Down Permutations):**
  $$
  F^1(t, q) = (\sec t)^q,
  $$
  where $q$ marks the number of LR-minima.
- **Combined EGF for Alternating Permutations:**
  $$
  \sum_{n\geq 0} A_n(q)\frac{t^n}{n!} = (\sec t + \tan t)^q,
  $$
  with $A_n(q) = \sum_{\sigma\in\text{Alt}_n} q^{\operatorname{lrmin}(\sigma)}$.

Joint distributions of minima and maxima, as well as mesh-pattern techniques and recursive constructions, enable closed generating functions for these refined statistics. Equidistribution under reverse/complement demonstrates deep symmetry between LR-minima and other extremal statistics across permutation classes.

## 5. LRM Basis in Polynomial Interpolation

A related, though distinct, concept arises in multivariate polynomial interpolation: the notion of a $\prec$-minimal monomial interpolating basis, which is the unique lex-minimal basis with respect to a fixed monomial order [2005.11439]. Here, the LRM principle is formalized via a “reverse reduced basis,” constructed by performing backward Gaussian elimination on the least monomials of a system of linearly independent polynomials, with respect to a chosen term order. The resulting least monomials form a basis with minimal support and triangular evaluation properties for the relevant interpolation conditions.

The algorithmic procedure can be summarized as follows:

- Process polynomials $P_1,\ldots,P_N$ by iteratively eliminating the least monomial of each $P_k$ from all $P_{k+1},\ldots,P_N$.
- The resulting least monomials $\{\operatorname{lm}(Q_i)\}$ across the reduced polynomials $Q_i$ constitute the $\prec$-minimal interpolating basis.
- This basis guarantees upper-triangularity of the evaluation matrix associated with interpolation, non-singularity, and support minimality.

This reverse reduced approach efficiently bypasses classic Gröbner basis computations for interpolation, leveraging the LRM principle to achieve computational sparsity and structural clarity [2005.11439].

## 6. Illustrative Examples and Explicit Computations

Concrete expansions are foundational to understanding the LRM basis. For $n=3$, listing permutations, their left-to-right minima, shifted sets, and associated compositions:

| Permutation $w$ | $\operatorname{LRM}(w)$ | $\operatorname{LRM}'(w)$ | Composition $\mathbf{cLRM}'(w)$ |
|---|---|---|---|
| 123 | $\{1\}$ | $\emptyset$ | (3) |
| 132 | $\{1,2\}$ | $\{1\}$ | (1,2) |
| 213 | $\{2,1\}$ | $\{1\}$ | (1,2) |
| 231 | $\{2,1\}$ | $\{1\}$ | (1,2) |
| 312 | $\{3,1\}$ | $\{2\}$ | (2,1) |
| 321 | $\{3,2,1\}$ | $\{1,2\}$ | (1,1,1) |

The LRM-basis element $\beta_{w}$ for each $w$ is constructed as $\beta_w = \mathbf{B}_{\operatorname{LRM}'(w)}w$, with explicit expansion in the group algebra basis exhibiting lex-triangular structure. The inclusion of these explicit combinatorial mappings is essential for computations in the descent algebra and beyond [2601.02952].

## 7. Applications, Limitations, and Open Problems

The LRM basis is structurally significant for several domains:

- **Representation Theory:** The triangularity of the basis under descent algebra action provides generalized eigenvector decompositions and explicit eigenvalues, e.g., for random walks and Hopf algebra connections [2601.02952].
- **Basis Reduction in Lattices:** While achieving successive minima, the LRM basis may yield poor worst-case maximal norms in high rank, indicating limitations of greedy algorithms and motivating alternative reductions (e.g., KZ reduction) [2106.03183].
- **Enumeration and $q$-Analogues:** The enumeration of permutations by LRM, with closed EGF and joint distributions, enriches the theory of permutation statistics and relates to classic objects such as Euler numbers and Springer numbers [2408.12865].

Open directions include the construction of bases that are simultaneously triangular for both left and right actions of the descent algebra, the extension of the LRM basis to other (e.g., type $B$) Coxeter groups, and characterizations of equality cases in lattice reduction extremal problems [2601.02952, 2106.03183]. In polynomial interpolation, refined algorithmic analyses and connections to sparsity remain active areas of investigation [2005.11439].

Source: https://www.emergentmind.com/topics/left-to-right-minima-basis