REVIEW 3 major objections 7 minor 1 cited by
NestQuant: Nested Lattice Quantization for Matrix Products and LLMs
T0 review · 3 major / 7 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read NestQuant quantizes weights, activations, and KV cache together on a nested Gosset lattice, halving the perplexity gap to the full-precision Llama-3-8B at 4 bits.
desk verdict Strong empirical results for runtime lattice quantization, with a real but fixable gap in the QA-LDLQ justification. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the Voronoi code of the Gosset lattice E8: the codebook $C = \Lambda \cap qV_{\Lambda}$ for an integer nesting ratio $q = 2^R$, where encoding sends the coordinates of the nearest lattice point modulo $q$ and decoding returns the minimum-energy point of that coset. This shaping wastes far fewer bit patterns on rare vectors than the cubic cells of uniform quantization, while still admitting a fast nearest-neighbor oracle. Around it sit three supporting mechanisms: a small union of scaled codebooks $\beta_t C$ chosen by dynamic programming to control overload error; a random Hadamard rotation that makes high-dimensional blocks approximately Gaussian; and QA-LDLQ, which replaces the weight matrix by $\tilde{W} = W H(H + \epsilon^2 I)^{-1}$ before quantization to compensate for activation noise modeled as independent zero-mean Gaussian noise with covariance $\epsilon^2 I$.
What would settle it
Measure the empirical conditional mean and covariance of the activation quantization error $Z = \hat{X} - X$ on the first value-projection layer of Llama-3-70B using a handful of wikitext2 sequences; if $E[Z\mid X]$ is not near zero or the covariance is far from $\epsilon^2 I$, the QA-LDLQ update is not the true minimizer and the reported 70B gains should be rechecked with the measured covariance.
Extended reading notes
Core claim
NestQuant's core claim is that nested-lattice vector quantization, not scalar rounding, is the right primitive for low-precision matrix multiplication in LLMs. The paper builds an 8-dimensional Voronoi code from the Gosset lattice E8, encodes each length-8 block by its nearest lattice point modulo an integer nesting ratio q, and decodes to the minimum-energy representative of the coset. A Hadamard rotation is applied first so weight and activation blocks behave like near-Gaussian vectors, and a union of a few scaled copies of the codebook absorbs rare large vectors. With this codebook, NestQuant quantizes weights, keys, values, and activations all to 4 bits and reports 6.6 wikitext2 perplexity on Llama-3-8B (full precision 6.14), and 3.61 on Llama-3-70B at W4A4KV4, versus 4.01 for OstQuant and 6.66 for QuaRot. It also reports synthetic Gaussian matrix-product error close to the information-theoretic lower bound and well below uniform quantization.
Load-bearing premise
The load-bearing premise is that activation quantization error is zero-mean, independent, isotropic Gaussian noise; if that model is wrong, the QA-LDLQ correction that makes the largest-model results work may be suboptimal.
Editorial extensions
If this is right
- At 4 bits, quantizing weights, activations, and KV cache together with NestQuant closes more than half of the wikitext2 perplexity gap to the unquantized Llama-3-8B compared with SpinQuant, OstQuant, and QuaRot.
- Across Llama-2 and Llama-3 models from 1B to 70B, 4-bit NestQuant in full quantization is reported to match or beat prior methods that quantize weights and activations but keep the KV cache at 16 bits, except on Llama-2-7B.
- Weight-only 4-bit NestQuant also improves perplexity over GPTQ, LLM-QAT, and SpinQuant on Llama-3-8B, reaching 6.3 versus 7.2, 7.7, and 6.5.
- Because the quantizer is a generic matrix-multiplication replacement, its benefit is not tied to a specific LLM component; any attention or MLP product can use it.
- On synthetic Gaussian matrices, NestQuant's product error tracks the information-theoretic lower bound for rate-R matrix multiplication more closely than uniform quantization, suggesting the gains are structural rather than model-specific.
Reading between the lines
- Because NestQuant deliberately skips learned rotations and fine-tuning, composing its lattice codebook with optimized rotations is a natural next step that the paper's numbers suggest would push gains further.
- QA-LDLQ's Gaussian noise model is testable: plugging the empirically measured covariance of activation quantization error into $\tilde{W} = W H(H+J)^{-1}$, per layer, would show whether the 70B results depend on the isotropic-noise assumption.
- The multi-scale beta union is a portable idea; any lattice or trellis codebook with a fast decoder could use the same dynamic-programming selection of scaling coefficients.
- Using zstd-compressed scaling coefficients means the reported bitrate is content-dependent; a common benchmark that fixes both rate and hardware kernel would make comparisons with scalar quantizers cleaner.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces NestQuant, a post-training quantization method that replaces scalar uniform quantizers with a nested-lattice (Gosset E8) vector quantizer based on Voronoi codes, applied to weights, activations, and KV cache of LLMs. The method combines Hadamard rotations, L2 normalization, multiple scaling coefficients, and a new weight-correction rule (QA-LDLQ) that accounts for activation quantization noise. The authors report perplexity results on Llama-2 and Llama-3 models up to 70B, claiming 4-bit end-to-end quantization with perplexity close to the unquantized model and superior to SpinQuant, QuaRot, OstQuant, and DuQuant.
Significance. If the empirical claims are correct, NestQuant is a significant advance: it provides a practical vector quantizer whose synthetic matrix-multiplication performance is close to the information-theoretic lower bound of Eq. (1), and it achieves the strongest reported W4A4KV4 perplexity on Llama-3-70B. The paper is also valuable for its honest bit accounting (including zstd compression of scaling coefficients), its detailed pseudocode for E8 encoding/decoding and the CUDA kernel description, and its explicit attempt to connect nested-lattice theory to LLM quantization. The main risk to the headline claims is the untested noise model underlying QA-LDLQ, which is load-bearing for the 70B results.
major comments (3)
- [4.5, Lemma 4.2, Eq. (7), Appendix B] QA-LDLQ is load-bearing for the Llama-3-70B results: Section 4.5 states that standard LDLQ gives infinite perplexity at W4A4, and Table 2 reports NestQuant's 70B numbers after applying QA-LDLQ. However, the derivation of the corrected weight Wtilde = W H (H+J)^{-1} assumes the activation quantization error Z is zero-mean and independent of X, with covariance J = epsilon^2 I. The paper's own Appendix B says 'We model quantization noise as a random Gaussian vector with mean 0 and covariance matrix J = ε²I.' NestQuant's encoder is a lattice quantizer without subtractive dither, so Z = Q(X) - X is generally correlated with X at finite rate and dimension. Then Eq. (7) omits the cross term (W-U)E[XZ^T]U^T + ..., and Wtilde is no longer the minimizer of E[||delta(U)||^2]. The authors report no measurements of E[XZ^T] or of the resulting suboptimality for the problematic layers (e.g., the value projection of layer 0 of Llama-3-70B). Since the 70B superiority claim depends on this correction, the paper should either justify the independence assumption empirically for rotated activations at 4 bits or modify QA-LDLQ to account for nonzero correlation, and quantify the sensitivity of the Table 2 70B perplexities to the choice of noise model.
- [5.2, Appendix G/H.1] The 'uniform superiority' claim is partly based on hyperparameters selected on the evaluation set, and the reported score differences are sometimes small. In Section 5.2, q=14 and k=4 are chosen after inspecting validation perplexity (Table 3 and Figure 8), and Appendix G uses the same wikitext2 validation split for the reported perplexities; this creates a risk of selection bias for the headline numbers. Additionally, all results appear to be single runs, so margins like 5.53 vs 5.56 (Llama-2-7B, W4A4KV16, Table 2) or 6.30 vs 6.31 (weight-only) are within typical run-to-run noise. The authors should provide repeated runs with standard errors (or at least state the number of runs), and ideally a nested validation split for hyperparameter selection, before the abstract-level 'uniform superiority' claim can be taken at face value.
- [Appendix B, Figure 6] The procedure for choosing the QA-LDLQ noise parameter epsilon is not specified. Appendix B says epsilon^2 'depends on the quantization rate and the statistics of X' and Figure 6 shows a tradeoff between output fidelity and noise amplification, but no exact selection rule or pseudocode is given. Because the Llama-3-70B W4A4 result in Table 2 is obtained with this correction, the paper should state how epsilon is computed for each layer (e.g., from the calibration set, with a formula or grid-search criterion), so that the result is reproducible.
minor comments (7)
- [Section 4.5 footnote] The footnote says 'produces ∞ perplexity' while Appendix B says 'ppl ∼ 10^4'; please use one consistent value.
- [Appendix D.1 proof] In case 2 of the proof, 'for u, v∈ D8' should read 'for u, w∈ D8'; the current notation defines v twice and obscures the argument.
- [Appendices F and G] There are repeated typos such as 'overload'/'overflow' and 'perplxity'; please proofread the appendices.
- [Tables 1 and 2] Table 1 reports 6.6 for Llama-3-8B W+KV+A while Table 2 reports 6.63 for the same configuration; please clarify the rounding convention.
- [Abstract] The phrase 'drop-in replacement for any matrix multiplication' overstates the practical requirements: the method needs calibration data to estimate H, a DP step to choose betas, and Hadamard rotations; please qualify the claim.
- [Appendix F and Algorithm 3] The dynamic programming optimizes the FIRST-β strategy while Algorithm 3 encodes with OPT-β (trying all betas and picking the best); the paper should explain why this mismatch does not affect the reported bit rates or perplexities.
- [Appendix G] The calibration set for running DP on activations is described as '6 full-length sequences'; please report the corresponding number of tokens, as this is small relative to typical calibration sets (e.g., 128 segments).
Circularity Check
No significant circularity: empirical claims are benchmarked against external baselines; the only self-citation, the information-theoretic lower bound of Eq. (1), is motivational and not load-bearing.
full rationale
The paper's central results are perplexity and benchmark numbers for quantized Llama models compared against external methods (SpinQuant, QuaRot, OstQuant, QuIP#, DuQuant) and the unquantized model. None of these numbers is produced by the theory; they come from running the proposed quantizer. The QA-LDLQ correction (Section 4.5, Lemma 4.2) is derived algebraically under an explicitly stated stochastic model of the activation quantization error Z (zero mean, independent of X, covariance J = eps^2 I). That assumption may be violated in practice, which is a correctness risk, but it is not circular: the derivation does not assume the target perplexity. The beta scaling coefficients are fitted to calibration data by dynamic programming (Appendix F), a standard calibration fit, not a prediction. The only self-citation is Eq. (1), the matrix-multiplication quantization lower bound from the authors' prior work [8]; it motivates the use of nested lattices and serves as a benchmark in Figure 3, but the paper explicitly resorts to a low-dimensional Gosset lattice because the asymptotically optimal lattices in [8] lack efficient decoding. Thus the reported improvements do not reduce to the cited theorem. No step of the derivation is equivalent to its inputs by construction.
Assumptions & free parameters
free parameters (5)
- nesting ratio q =
14 (4-bit setting); also 7, 8, 10, 12 across experiments
- number of scaling coefficients k =
4
- scaling coefficients beta_1..beta_k =
Per tensor type and layer; initial set [3.5, 4.5, 6.0, 14.5, 25.0]/q
- QA-LDLQ noise parameter epsilon =
Not fixed; swept logarithmically from 1e-5 to 1
- Rotation construction for non-power-of-2 dimensions =
H1 x H2 (hardcoded Hadamard) chosen after comparisons
assumptions (4)
- domain assumption After random orthogonal rotation, 8-dimensional chunks of weights, activations, and KV cache are approximately iid Gaussian.
- ad hoc to paper Activation quantization error Z is zero-mean, independent of X, with covariance J = epsilon^2 I.
- standard math The information-theoretic lower bound for Gaussian matrix multiplication from Ordentlich-Polyanskiy [8] is the correct benchmark.
- domain assumption Beta coefficients tuned on 6 calibration sequences generalize to the evaluation distribution.
Cite this review
Pith. "Pith review of NestQuant: Nested Lattice Quantization for Matrix Products and LLMs." pith.science (2026). https://pith.science/paper/DVA3XILX
@misc{pith2026250209720,
author = {Pith},
title = {Pith review of: NestQuant: Nested Lattice Quantization for Matrix Products and LLMs},
year = {2026},
howpublished = {\url{https://pith.science/paper/DVA3XILX}},
note = {Machine review of arXiv:2502.09720}
}
read the original abstract
Post-training quantization (PTQ) has emerged as a critical technique for efficient deployment of large language models (LLMs). This work proposes NestQuant, a novel PTQ scheme for weights and activations that is based on self-similar nested lattices. Recent works have mathematically shown such quantizers to be information-theoretically optimal for low-precision matrix multiplication. We implement a practical low-complexity version of NestQuant based on Gosset lattice, making it a drop-in quantizer for any matrix multiplication step (e.g., in self-attention, MLP etc). For example, NestQuant quantizes weights, KV-cache, and activations of Llama-3-8B to 4 bits, achieving perplexity of 6.6 on wikitext2. This represents more than 55% reduction in perplexity gap with respect to unquantized model (perplexity of 6.14) compared to state-of-the-art Metas SpinQuant (perplexity 7.3), OstQuant (7.3) and QuaRot (8.2). Comparisons on bigger models (up to 70B) and on various LLM evaluation benchmarks confirm uniform superiority of NestQuant.
Figures
Figures from the paper (5 more)
Forward citations
Cited by 1 Pith paper
-
Price of metric universality in vector quantization is at most 0.11 bit
A universal vector-quantization codebook exists that is within 0.11 bit/coordinate of covariance-adaptive waterfilling simultaneously for all input covariances, for Gaussian weights.
Reference graph
Works this paper leans on
-
[1]
J. Conway and N. Sloane. A fast encoding method for lattice codes and quantizers. IEEE Transactions on Information Theory, 29(6):820–824, 1983
work page 1983
-
[2]
Polyanskiy and Y
Y . Polyanskiy and Y . Wu.Information Theory: From Coding to Learning. Cambridge University Press, 2024
2024
-
[3]
R. Zamir. Lattice Coding for Signals and Networks: A Structured Coding Approach to Quantization, Modulation, and Multiuser Information Theory. Cambridge University Press, 2014
work page 2014
-
[4]
A. J. Stam. Limit theorems for uniform distributions on spheres in high-dimensional euclidean spaces. Journal of Applied Probability, 19(1):221–228, 1982
work page 1982
-
[5]
A. Gersho. Asymptotically optimal block quantization. IEEE Transactions on Information Theory, 25(4):373–380, 1979
work page 1979
-
[6]
A. C. Hung and T. H. Meng. Multidimensional rotations for robust quantization of image data. IEEE Transactions on Image Processing, 7(1):1–12, 1998
work page 1998
-
[7]
R. Hadad and U. Erez. Dithered quantization via orthogonal transformations. IEEE Transactions on Signal Processing, 64(22):5887–5900, 2016
work page 2016
-
[8]
O. Ordentlich and Y . Polyanskiy. Optimal quantization for matrix multiplication, 2024
work page 2024
Show all 41 references
-
[9]
Zamir and M
R. Zamir and M. Feder. On lattice quantization noise. IEEE Transactions on Information Theory, 42(4):1152–1159, 1996
1996
-
[10]
M. S. Charikar. Similarity estimation techniques from rounding algorithms. In Proceedings of the 34th Annual ACM Symposium on Theory of Computing (STOC 2002), pages 380–388, 2002
2002
-
[11]
Datar, N
M. Datar, N. Immorlica, P. Indyk, and V . S. Mirrokni. Locality-sensitive hashing scheme based onp-stable distributions. In Proceedings of the 20th Annual Symposium on Computational Geometry (SCG 2004), pages 253–262, 2004
2004
-
[12]
Andoni and P
A. Andoni and P. Indyk. Near-optimal hashing algorithms for approximate nearest neighbor in high dimensions. Communi- cations of the ACM, 51(1):117–122, 2008
2008
-
[13]
Dettmers, M
T. Dettmers, M. Lewis, Y . Belkada, and L. Zettlemoyer. LLM.int8(): 8-bit matrix multiplication for transformers at scale. In Advances in Neural Information Processing Systems 35 (NeurIPS 2022), pages 29498–29512, 2022
2022
-
[14]
G. Xiao, J. Lin, M. Seznec, H. Wu, J. Demouth, and S. Han. Smoothquant: Accurate and efficient post-training quantization for large language models. In Proceedings of the 40th International Conference on Machine Learning (ICML 2023) , volume 202 of Proceedings of Machine Learn...
2023
-
[15]
Ashkboos, A
S. Ashkboos, A. Mohtashami, M. L. Croci, B. Li, P. Cameron, M. Jaggi, D. Alistarh, T. Hoefler, and J. Hensman. Quarot: Outlier-free 4-bit inference in rotated llms. In Advances in Neural Information Processing Systems 38 (NeurIPS 2024), 2024
2024
-
[16]
Z. Liu, C. Zhao, I. Fedorov, B. Soran, D. Choudhary, R. Krishnamoorthi, V . Chandra, Y . Tian, and T. Blankevoort. Spinquant: Llm quantization with learned rotations, 2024
2024
-
[17]
J. Li, F. Li, and S. Todorovic. Efficient riemannian optimization on the stiefel manifold via the cayley transform. In International Conference on Learning Representations (ICLR 2020), 2020
2020
-
[18]
Tseng, J
A. Tseng, J. Chee, Q. Sun, V . Kuleshov, and C. De Sa. Quip#: Even better llm quantization with hadamard incoherence and lattice codebooks. In Proceedings of the 41st International Conference on Machine Learning (ICML 2024), volume 235 of Proceedings of Machine Learning Resear...
2024
-
[19]
Juang and A
B.-H. Juang and A. H. Gray. Multiple stage vector quantization for speech coding. In IEEE International Conference on Acoustics, Speech, and Signal Processing, 1982
1982
-
[20]
Tseng, Q
A. Tseng, Q. Sun, D. Hou, and C. De Sa. Qtip: Quantization with trellises and incoherence processing. In Advances in Neural Information Processing Systems 38 (NeurIPS 2024), 2024
2024
-
[21]
J. Chee, Y . Cai, V . Kuleshov, and C. De Sa. Quip: 2-bit quantization of large language models with guarantees. InAdvances in Neural Information Processing Systems 37 (NeurIPS 2023), 2023
2023
-
[22]
Frantar, S
E. Frantar, S. P. Singh, and D. Alistarh. Optimal brain compression: A framework for accurate post-training quantization and pruning. In Advances in Neural Information Processing Systems 36 (NeurIPS 2022), 2022
2022
-
[23]
Dinur, G
I. Dinur, G. Kindler, R. Raz, and S. Safra. Approximating CVP to within almost-polynomial factors is np-hard. Combina- torica, 23(2):205–243, 2003
2003
-
[24]
Agrell and B
E. Agrell and B. Allen. On the best lattice quantizers. IEEE Transactions on Information Theory, 2023
2023
-
[25]
nvcomp: Gpu-accelerated compression library, 2025
NVIDIA Corporation. nvcomp: Gpu-accelerated compression library, 2025. Accessed 2025-01-30
2025
-
[26]
Conway and N
J. Conway and N. Sloane. Fast quantizing and decoding algorithms for lattice quantizers and codes. IEEE Transactions on Information Theory, 28(2):227–232, 1982. 12
1982
-
[27]
H. Lin, H. Xu, Y . Wu, J. Cui, Y . Zhang, L. Mou, L. Song, Z. Sun, and Y . Wei. Duquant: Distributing outliers via dual transformation makes stronger quantized llms. In Advances in Neural Information Processing Systems 38 (NeurIPS 2024), 2024
2024
-
[28]
The llama 3 herd of models, 2024
Llama Team, AI @ Meta. The llama 3 herd of models, 2024
2024
-
[29]
Clark, I
P. Clark, I. Cowhey, O. Etzioni, T. Khot, A. Sabharwal, C. Schoenick, and O. Tafjord. Think you have solved question answering? try arc, the ai2 reasoning challenge, 2018
2018
-
[30]
Zellers, A
R. Zellers, A. Holtzman, Y . Bisk, A. Farhadi, and Y . Choi. Hellaswag: Can a machine really finish your sentence? In Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics (ACL 2019), pages 4791–4800, 2019
2019
-
[31]
Y . Bisk, R. Zellers, R. Le Bras, J. Gao, and Y . Choi. Piqa: Reasoning about physical commonsense in natural language. In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), pages 7432–7439, 2020
2020
-
[32]
Sakaguchi, R
K. Sakaguchi, R. Le Bras, C. Bhagavatula, and Y . Choi. Winogrande: An adversarial winograd schema challenge at scale. In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), pages 8732–8740, 2020
2020
-
[33]
X. Hu, Y . Cheng, D. Yang, Z. Xu, Z. Yuan, J. Yu, C. Xu, Z. Jiang, and S. Zhou. Ostquant: Refining large language model quantization with orthogonal and scaling transformations for better distribution fitting. In International Conference on Learning Representations (ICLR 2025), 2025
2025
-
[34]
Frantar, S
E. Frantar, S. Ashkboos, T. Hoefler, and D. Alistarh. Gptq: Accurate post-training quantization for generative pre-trained transformers. In Advances in Neural Information Processing Systems 37 (NeurIPS 2023), 2023
2023
-
[35]
Merity, C
S. Merity, C. Xiong, J. Bradbury, and R. Socher. Pointer sentinel mixture models. In International Conference on Learning Representations (ICLR 2017), 2017. 13 A Figures Figure 5: Complement Gaussian measure of a 8-dimensional cube (corresponding to shaping using an ℓ∞ ball), ...
2017
-
[36]
The optimal coordinate to flip can be determined through dist, and the new value of flipped coordinate — through g
In pseudocode, we storeP disti as ∆ We note that we should check the constraint that the sum of coordinates in D8 is even, and if it is not, “flip" one of the rounding directions. The optimal coordinate to flip can be determined through dist, and the new value of flipped coord...
-
[37]
Note that c1(x) = g(x) and c2(x) = g x − 1 2 + 1 2
Then, the algorithm chooses the closest point among these candidates to x. Note that c1(x) = g(x) and c2(x) = g x − 1 2 + 1 2. We will prove that for u ∈ D8, g(x + u) = g(x) + u for any x ∈ R8. Now, let’s show the original lemma. Note that since we are choosing the closest can...
-
[38]
Then: c1(x + v) = g(x + v) = g(x) + v = c1(x) + v c2(x + v) = g x + v − 1 2 + 1 2 = g x − 1 2 + 1 2 + v = c2(x) + v
v ∈ D8. Then: c1(x + v) = g(x + v) = g(x) + v = c1(x) + v c2(x + v) = g x + v − 1 2 + 1 2 = g x − 1 2 + 1 2 + v = c2(x) + v
-
[39]
Then, we say that v = u − 1 2 = w + 1 2 for u, v∈ D8. c1(x + v) = g(x + v) = g x + u − 1 2 = g x − 1 2 + u = g x − 1 2 + 1 2 + v = c2(x) + v c2(x + v) = g x − 1 2 + v + 1 2 = g(x + w) + 1 2 = g(x) + w + 1 2 = g(x) + v = c1(x) + v 16 Thus, in both cases the condition on candida...
-
[40]
First-β: Use the smallest β, which does not result in an overflow error
-
[41]
Opt-β: Try all the values of β, and choose the one that has the smallest reconstruction MSE. K 2 4 6 8 10 OPT-β 0.0878 0.0795 0.0708 0.0669 0.0646 FIRST-β 0.0878 0.0798 0.0712 0.0676 0.0656 Table 5: Mean RMSE for reconstructed iid standard Gaussian 8-vectors, q = 16, k betas a...
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.