---
title: '3BASiL: Sparse & Low-Rank LLM Compression'
url: https://www.emergentmind.com/topics/3basil
type: topic
---

# 3BASiL: Sparse & Low-Rank LLM Compression

3BASiL denotes the framework introduced in “3BASiL: An Algorithmic Framework for Sparse plus Low-Rank Compression of LLMs,” a one-shot, post-training method for compressing large language models by decomposing pretrained weights into a sparse component and a low-rank component, $\mathbf{W} \approx \mathbf{S} + \mathbf{LR}$ [2603.01376]. The framework couples a novel 3-block Alternating Direction Method of Multipliers (ADMM) method, termed 3BASiL, with a memory-efficient transformer-level refinement step, Transformer-Matching (TM), that jointly optimizes sparse and low-rank components across layers. The name is potentially ambiguous in recent arXiv usage: the LiDAR active-learning paper “BaSAL” states that “3BASiL” is not its official name [2310.08035], the desktop Bayesian-optimization application “BASIL” states that the term does not appear in that paper [2606.21092], BASILISK has also been denoted BASiL/3BASiL [1908.07547], and a separate synthesis uses the query “3BASiL” while discussing Bismut–Ambrose–Singer manifolds [2605.02485]. In [2603.01376], however, 3BASiL is the official designation of the LLM-compression framework.

## 1. Sparse-plus-low-rank compression setting

3BASiL is situated in the sparse plus low-rank $(\mathbf{S} + \mathbf{LR})$ compression literature for LLMs. The core decomposition approximates a pretrained weight matrix by the sum of a sparse backbone and a low-rank correction, targeting both accuracy and inference efficiency. In practice, the sparse matrix $\mathbf{S}$ enforces structured sparsity patterns such as N:M semi-structured sparsity with 2:4 on NVIDIA Ampere GPUs, while the low-rank term can be implemented either by a constrained matrix with rank $r$ or by factors $\mathbf{U}, \mathbf{V}$ via $\mathbf{LR} = \mathbf{U}\mathbf{V}^{\top}$ with rank $r$ [2603.01376].

The paper compresses layers sequentially by minimizing the discrepancy between outputs using a small calibration set. Let $\mathbf{X}$ be the input activations and $\widehat{\mathbf{W}}$ the original weight of a layer. The stated per-layer formulation includes both a data term and a weight-approximation term $(\lambda > 0)$, subject to the sparse constraint $\mathbf{S} \in \mathcal{S}$ and the low-rank constraint $\operatorname{rank}(\mathbf{L}) \le r$. This design makes the method explicitly reconstruction-based rather than retraining-based.

The stated motivation for the $\mathbf{S} + \mathbf{LR}$ parameterization is that it fuses pruning’s inference speedups with low-rank’s strong reconstruction capability, and is “LoRA-aware”: the low-rank part doubles as an initialization for parameter-efficient finetuning. A plausible implication is that 3BASiL is intended not only as a terminal compression scheme, but also as a bridge between post-training compression and later adaptation.

## 2. Three-block ADMM formulation and convergence

The algorithmic core of 3BASiL is a 3-block ADMM scheme that introduces an auxiliary variable $\mathbf{D}$ to handle the sparsity constraint via projection. The constrained formulation is described as optimizing $\mathbf{S}$, $\mathbf{D}$, and $\mathbf{L}$ jointly under the equality constraint $\mathbf{S} = \mathbf{D}$ and the rank restriction on $\mathbf{L}$ [2603.01376].

With dual variable $\mathbf{V}$ and penalty $\rho > 0$, the update structure is
$$
\mathbf{S}^{(t+1)} = \arg\min_{\mathbf{S}} \mathcal{L}_{\rho}( \mathbf{S},\mathbf{L}^{(t)}, \mathbf{D}^{(t)}, \mathbf{V}^{(t)}),
$$
$$
\mathbf{L}^{(t+1)} = \arg\min_{\mathbf{L}} \mathcal{L}_{\rho}( \mathbf{S}^{(t+1)}, \mathbf{L}, \mathbf{D}^{(t)}, \mathbf{V}^{(t)}),
$$
$$
\mathbf{D}^{(t+1)} = \arg\min_{\mathbf{D}} \mathcal{L}_{\rho}( \mathbf{S}^{(t+1)},\mathbf{L}^{(t+1)}, \mathbf{D}, \mathbf{V}^{(t)}),
$$
$$
\mathbf{V}^{(t+1)} = \mathbf{V}^{(t)} + \rho(\mathbf{S}^{(t+1)}-\mathbf{D}^{(t+1)}).
$$

Writing $\mathbf{H} = \mathbf{X}^{\top}\mathbf{X} + \lambda \mathbf{I}$, the method uses exact closed-form updates for the $\mathbf{S}$ and $\mathbf{L}$ blocks:
$$
\mathbf{S}^{(t+1)} = \left(\mathbf{H}+\rho \mathbf{I}\right)^{-1} \left(\mathbf{H}(\widehat{\mathbf{W}-\mathbf{L}^{(t)}}) - \mathbf{V}^{(t)} +\rho \mathbf{D}^{(t)}\right),
$$
$$
\mathbf{L}^{(t+1)} =\mathbf{H}^{-1/2} P_r\left(\mathbf{H}^{1/2} (\widehat{\mathbf{W}- \mathbf{S}^{(t+1)}})\right),
$$
where $P_r$ is the best rank-$r$ approximation. The $\mathbf{D}$-update is the sparsity projection
$$
\mathbf{D}^{(t+1)} = P_{\mathcal{S}}(\mathbf{S}^{(t+1)} + \mathbf{V}^{(t)}/\rho),
$$
implemented by magnitude pruning: for unstructured sparsity, keep the top-$k$ entries; for N:M semi-structured sparsity, keep the top-$N$ entries in each block of $M$.

In practice, the paper uses an increasing penalty schedule $\rho_t$ and states the full update lines as
$$
\mathbf{S}^{(t+1)}=\left( \mathbf{H}+\rho_t \mathbf{I}\right)^{-1} ( \mathbf{H}(\widehat{\mathbf{W}-\mathbf{L}^{(t)}}) - \mathbf{V}^{(t)} +\rho_t \mathbf{D}^{(t)}),
$$
$$
\mathbf{L}^{(t+1)} = \mathbf{H}^{-1/2} P_r(\mathbf{H}^{1/2} (\widehat{\mathbf{W}- \mathbf{S}^{(t+1)}})),
$$
$$
\mathbf{D}^{(t+1)} = P_\mathcal{S}(\mathbf{S}^{(t+1)} + \mathbf{V}^{(t)}/\rho_t),
$$
$$
\mathbf{V}^{(t+1)} = \mathbf{V}^{(t)} + \rho_t(\mathbf{S}^{(t+1)}-\mathbf{D}^{(t+1)}).
$$

The associated theorem gives a convergence guarantee under a non-decreasing penalty satisfying $\sum_{t=0}^{\infty} 1/\rho_t < \infty$. Specifically, for any $t \ge 1$,
$$
\max\{\| \mathbf{S}^{(t+1)} - \mathbf{S}^{(t)} \|_F, \| \mathbf{L}^{(t+1)} - \mathbf{L}^{(t)} \|_F\} \le \frac{C}{\rho_{t-1}},
$$
and there exists a matrix $\mathbf{\bar W}$ such that $\mathbf{S}^{(t)}+\mathbf{L}^{(t)} \rightarrow \mathbf{\bar W}$ as $t \rightarrow \infty$. The proof sketch in the paper treats $(\mathbf{L}, \mathbf{D})$ as one block, reducing the analysis to a 2-block ADMM with separable structure.

## 3. Transformer-Matching refinement

The second component of the framework is Transformer-Matching, abbreviated TM. Rather than refining only the low-rank part, TM jointly optimizes both $\mathbf{S}$ and $\mathbf{L}$ across the layers in one transformer block to match the block’s dense outputs [2603.01376]. For transformer block $T_i$ with $L$ layers, calibration input $\mathbf{X}_i$, sparse supports $\mathcal{S}^{(i,\ell)}$, and layerwise ranks $r^{(i,\ell)}$, the paper defines
$$
\min_{\{\mathbf{S}^{(i,\ell)}, \mathbf{L}^{(i,\ell)}\}_{\ell=1}^{L}}
\left\|T_i\left(\mathbf{X}_i; \{\mathbf{W}^{(i,\ell)}\}_{\ell=1}^{L}\right) - T_i\left(\mathbf{X}_i; \{\mathbf{S}^{(i,\ell)} + \mathbf{L}^{(i,\ell)}\}_{\ell=1}^{L}\right)\right\|_F^2,
$$
subject to
$$
\operatorname{Supp}(\mathbf{S}^{(i,\ell)}) \subset \mathcal{S}^{(i,\ell)}, \quad \operatorname{rank}(\mathbf{L}^{(i,\ell)}) \le r^{(i,\ell)}.
$$

The refinement target is therefore transformer-level alignment:
$$
T_i\left(\mathbf{X}_i; \{\mathbf{S}^{(i,\ell)} + \mathbf{L}^{(i,\ell)}\}_{\ell=1}^{L}\right)
= \mathbf{X}_{i+1}
~~\approx~~
\mathbf{X}^{\text{(oracle)}_{i+1}}
=
T_i\left(\mathbf{X}_i; \{\mathbf{W}^{(i,\ell)}\}_{\ell=1}^{L}\right).
$$

TM is described as memory-efficient because it optimizes only one transformer block at a time on a small calibration set of 128 sequences, using standard optimizers and sparse-plus-LoRA modules whose trainable parameters are restricted to the pruned supports and low-rank components. It avoids full end-to-end backprop over the entire model and uses chunked batches, for example batch size 8 and short training such as 20 epochs. The paper emphasizes that TM is universal: it can enhance any $(\mathbf{S} + \mathbf{LR})$ decomposition, including pure sparsity. Empirically, it is presented as the main driver of the over 30% WikiText2 perplexity-gap reduction under the 2:4 + 64LR setting.

## 4. One-shot pipeline and implementation details

The full pipeline proceeds transformer-by-transformer. The paper uses 128 calibration sequences of 2048 tokens from C4. For each block, activations $\mathbf{X}_i$ are gathered from the already compressed previous block, 3BASiL is run per layer to obtain $\mathbf{S}$ and $\mathbf{L}$, and TM is then applied at the block level. The TM-refined block outputs are fed forward to the next block’s compression to mitigate error accumulation [2603.01376].

For the ADMM phase, the implementation details given are: initialize $\mathbf{S} \leftarrow \widehat{\mathbf{W}}$ (or zeros), $\mathbf{D}$ as the projection of $\mathbf{S}$ onto $\mathcal{S}$, $\mathbf{L} \leftarrow 0$ or a small-rank initializer, and $\mathbf{V} \leftarrow 0$; start from $\rho_0 = 0.1$; and increase the penalty every 10 iterations according to the support-change quantity $s_t$:
$$
\rho_{t+1} =
\left\{
\begin{array}{ll}
1.1\rho_t & \text{ if } s_t \ge 0.1k, \\
1.05\rho_t & \text{ if } s_t \ge 0.005k, \\
1.02\rho_t & \text{ if } s_t \ge 0.5.
\end{array}
\right.
$$
The paper states that this gentle schedule, slower than pure pruning ADMM, yields better solution quality for $\mathbf{S} + \mathbf{LR}$.

The stated linear-algebra strategy is to precompute $\mathbf{H}$’s eigendecomposition, reuse $\mathbf{H}^{\pm 1/2}$, and use randomized SVD for $P_r(\cdot)$. Per iteration is dominated by five $O(N^3)$ matrix multiplies, a randomized SVD of $O(N^2 r)$, and the sparsity projection. This suggests that the method is organized around exact updates and reuse of matrix structure rather than approximate iterative subsolvers.

The TM phase uses Adam with PyTorch defaults, 20 epochs over 128 calibration points, batch size 8, learning rate $2 \times 10^{-5}$ with cosine annealing and $\eta_{\min} = 4 \times 10^{-6}$. The compressed components include all linear weights in attention and MLP modules: Q, K, V, output projection, up and down projections, and similar transformer linear submodules. The implementation is in PyTorch, with experiments on single A100 80GB, L40 48GB, or H100 80GB. N:M sparsity can be accelerated by specialized CUDA kernels, and 2:4 is supported on NVIDIA Ampere.

## 5. Empirical results and ablation evidence

The principal reported results are for one-shot compression without finetuning. On Meta-Llama-3-8B under 2:4 + 64LR, the paper reports WikiText2 perplexity 6.14 for the dense model, 11.38 for HASSLE-free-ALPS, 11.23 for 3BASiL, and 9.78 for 3BASiL-TM; it summarizes this as reducing the WikiText2 perplexity gap relative to dense LLaMA-8B by over 30% under a 2:4 Sparse + 64 LR configuration, compared to prior methods [2603.01376].

| Setting | Baseline result | 3BASiL / 3BASiL-TM |
|---|---:|---:|
| Llama-3-8B, 2:4 + 64LR, WT2 | Dense 6.14; HASSLE-free-ALPS 11.38 | 11.23 / 9.78 |
| Llama-3-8B, 3:8 + 64LR, WT2 | Dense 6.14; Hf-ALPS 22.77 | 20.66 / 17.18 |
| Llama-3-8B, 4:8 + 64LR, WT2 | Dense 6.14; Hf-ALPS 11.51 | 10.97 / 10.29 |

The same pattern is reported beyond the 8B model. For Llama-3.2-1B and 3B, across 2:8/3:8/4:8 + 64LR, 3BASiL beats OATS and HASSLE-free variants, and TM further improves by up to approximately 40% perplexity reduction in aggressive regimes such as 2:8 + 64. For OPT-30B at 2:4 + 112LR with a 6-hour cap, 3BASiL achieves C4/WT2/PTB = 11.53/10.04/14.26 and is described as slightly better than optimized baselines while staying within runtime limits.

Compression speed is another central empirical claim. On A100 80GB for Llama3-8B at 2:4 + 64LR, 3BASiL-TM achieves over 2× faster compression than HASSLE-free-ALPS, and the paper highlights “over 2.5x faster compression runtime on an A100 GPU compared to SOTA $(\mathbf{S} + \mathbf{LR})$ method.” On L40 48GB for Llama3.2-3B at 4:8 + 64LR, 3BASiL-TM exceeds 3× speedups over HASSLE-free-ALPS.

The ablation results assign most of the gain to exact joint optimization and transformer-level refinement. Layer-wise reconstruction-loss curves show 3BASiL’s joint updates optimize $\mathbf{S}$ and $\mathbf{L}$ more effectively than alternating minimization, with attention layers benefiting especially from exact $\mathbf{L}$-updates via $P_r(\cdot)$. TM is reported to narrow the layerwise-to-end-to-end loss mismatch, reduce cumulative activation drift, and improve both sparse weights on fixed supports and low-rank components. The paper also states that TM improves pure sparsity methods: for Llama3-8B 4:8 pure sparsity, SparseGPT-TM reaches WT2 approximately 9.28 from 12.29 and boosts ARC-E/ARC-C to approximately 70.29/43.94.

## 6. Applicability, limitations, and interpretive context

The demonstrated applicability spans Llama-3 and Llama-3.2 models from 1B to 8B, as well as OPT-30B, with semi-structured and unstructured sparsity. The framework is also stated to generalize to quantized backbones and hybrid constraints [2603.01376]. A plausible implication is that the method is intended as a generic compression framework rather than a model-specific heuristic.

The paper’s practical guidance centers on a few recurring configurations and hyperparameters: common settings are 2:4/3:8/4:8 + 64 LR; ranks should be increased modestly for larger models or more aggressive sparsity; randomized SVD with small oversampling and few power iterations is recommended; and optional downstream LoRA finetuning can use the low-rank components as initialization. This suggests that 3BASiL-TM is designed to interoperate with later PEFT-style adaptation rather than to exclude it.

The stated limitations are specific. Very aggressive compression can still degrade performance; trade-offs between N:M sparsity, rank $r$, and accuracy must be tuned; the method is sensitive to the $\rho_t$ schedule and rank choice; and while TM is efficient, it adds a short gradient optimization per block, so very large LLMs may require careful batching. The paper further notes that while OWL (Outlier Weighed Layerwise) allocation can be integrated and improves high-sparsity unstructured settings, dedicated algorithms for per-layer $\mathbf{S} + \mathbf{LR}$ allocation could further improve utility-efficiency tradeoffs.

A common misconception is terminological rather than technical: “3BASiL” is not a generic label for BaSAL, BASIL, BASILISK, or BAS manifolds. In the LLM-compression literature it specifically denotes the 3-block-ADMM-plus-TM framework of [2603.01376], whose defining features are exact closed-form ADMM updates for sparse and low-rank components, a convergence guarantee under an increasing-penalty schedule, and transformer-level refinement that is universal across $\mathbf{S} + \mathbf{LR}$ and pure sparsity decompositions.

Source: https://www.emergentmind.com/topics/3basil