一键将任意 LLM 压缩 3 倍,近乎无损,内存低于 50 MB
Compress any LLM 3x in one click,near-lossless,in under 50 MB RAM

原始链接: https://neuracryption.com/research

SPECTRA 是一种面向基础模型的免校准训练后量化与边缘推理系统。它从归一化仿射参数(γ)推导通道显著性,该参数可近似 Hessian 曲率,并基于超额峰度自适应分配异常值。权重使用非对称 Group-32 4 位微缩放与 Marlin 交错打包进行压缩,存储于 TRDC 二进制容器中,并通过 mmap/DMA 流式传输,主机内存峰值最小。运行时,SPECTRA 使用融合的 Triton W4A16 内核、寄存器内异常值累积、动态嵌入行反量化、4 位 KV 缓存压缩、乒乓层卸载和提示查找推测。在 4GB RTX 3050 Ti 上,它实现 2.8–3.31 倍压缩、最高 82.53 tok/s 解码、余弦相似度大于 0.996、SNR 大于 21.5 dB,并相对于 FP16 保持或略微提升 ARC-Challenge 准确率。它还支持 Transformers、ConvNet/SSM 和 Mamba-2 架构。

一篇 Hacker News 帖子宣传一款工具,可将任意 LLM 压缩至 3 倍、近乎无损、内存占用低于 50 MB。创作者声称它比典型 4 位量化更快,要求 BF16 权重,适用于小型和万亿参数模型,且一键操作。评论者询问其优势、与量化结合、验证及实用性。多人表示怀疑:一人称其为 LLM 生成的伪科学,其他人批评其选用旧模型、UI 以及缺乏明确证据。创作者表示网站由 Gemini 制作,承认首版可能有误,并认为研究比 UI 更重要。总体而言,该帖是对一项雄心勃勃的压缩声明的争论,缺乏充分证据且社区疑虑重重。
相关文章

原文
  • Signal Fidelity Bounds: The reconstructed parameter matrix $\hat{W}$ maintains a Cosine Similarity exceeding 0.996 and an SNR surpassing 21.5 dB relative to uncompressed tensor $W$:

    \text{Cosine Similarity}(W, \hat{W}) = \frac{\langle W, \hat{W} \rangle}{\|W\|_F \|\hat{W}\|_F} \ge 0.996, \qquad \text{SNR (dB)} = 10 \log_{10} \left(\frac{\|W\|_F^2}{\|W - \hat{W}\|_F^2}\right) > 21.5\text{ dB}

  • Downstream Reasoning Task Parity: Measured performance on formal multi-step scientific reasoning benchmarks (such as ARC-Challenge) maintains near-baseline retention (measured deltas within +0.42% to +0.85%), confirming that low-bit quantization preserves semantic problem-solving trajectories.
  • 2.6 Lipschitz Stability of Normalization-Modulated Neural Projections

    In modern foundation architectures, linear projection layers are coupled directly to normalization operators such as Root Mean Square Normalization (RMSNorm) or Layer Normalization (LayerNorm). For an un-normalized feature vector $h \in \mathbb{R}^K$, RMSNorm computes:

    RMSNorm Activation Formulation

    $$\text{RMSNorm}(h) = \frac{h}{\sqrt{\frac{1}{K} \sum_{k=1}^K h_k^2 + \epsilon}} \odot \gamma$$

    Where $\gamma \in \mathbb{R}^K$ denotes the learned channel-wise affine scaling parameter vector.

    Evaluating the Euclidean norm of the normalized activation yields $\|\text{RMSNorm}(h)\|_2 \le \sqrt{K} \|\gamma\|_\infty$. Under a parameter perturbation $\Delta W = W - \hat{W}$, the output deviation $\Delta y = \text{RMSNorm}(h)\Delta W$ is strictly Lipschitz bounded:

    Lipschitz Output Perturbation Bound

    $$\|\Delta y\|_2 \le \|\text{RMSNorm}(h)\|_2 \|\Delta W\|_2 \le \sqrt{K} \|\gamma\|_\infty \|\Delta W\|_2$$

    Decomposing this bound proves that expected output variance in coordinate $j$ scales quadratically with $|\gamma_j|^2$.

    03. Algorithmic Architecture & The Compression Pipeline

    3.1 Calibration-Free Topological Saliency Mapping via Normalization Gain Routing

    Conventional post-training quantization pipelines (such as AWQ and GPTQ) rely on empirical calibration passes over reference text corpora to calculate activation covariance statistics $\mathbb{E}[X^T X]$. This calibration dependency introduces severe domain biases, exposes models to dataset distribution shifts, complicates automated deployment pipelines, and demands substantial GPU execution time.

    SPECTRA eliminates dynamic calibration passes by calculating channel saliency directly from the topological graph structure of the neural network. In modern Transformer and state-space architectures, linear projection layers are situated immediately downstream from normalization layers, such as Layer Normalization or Root Mean Square Normalization (RMSNorm). For an un-normalized activation vector $h \in \mathbb{R}^K$, RMSNorm evaluates:

    RMSNorm Activation Scaling

    $$\text{RMSNorm}(h) = \frac{h}{\sqrt{\frac{1}{K} \sum_{k=1}^K h_k^2 + \epsilon}} \odot \gamma$$

    Where $\gamma \in \mathbb{R}^K$ represents the learned channel-wise affine scaling parameter.

    During forward inference, the input arriving at the downstream linear projection $W \in \mathbb{R}^{K \times N}$ is precisely $x = \text{RMSNorm}(h)$. Because normalization standardizes the underlying hidden vector to unit spherical variance, the expected magnitude and dynamic scale of coordinate $j$ entering the weight matrix are governed entirely by the learned affine parameter $|\gamma_j|$.

    3.2 Topological Normalization Gain as a Calibration-Free Sensitivity Proxy

    In second-order quantization frameworks (such as GPTQ), the empirical Fisher Information Matrix $F \in \mathbb{R}^{d \times d}$ serves as an expectation-based proxy for parameter curvature: $F_{jj} = \mathbb{E}_{x,y} [(\partial \mathcal{L}/\partial W_{:,j})^2]$. For linear operators preceded immediately by normalization ($y = \text{RMSNorm}(h)W$), the gradient evaluates to $\frac{\partial \mathcal{L}}{\partial W_{:,j}} = x_j \cdot \frac{\partial \mathcal{L}}{\partial y}$. Under an isotropic activation approximation, the first-order input variance entering column $j$ scales with the square of the learned affine gain:

    Mathematical Derivation: Fisher Curvature Proportionality

    $$F_{jj} = \mathbb{E}[x_j^2] \cdot \mathbb{E}\left[\left(\frac{\partial \mathcal{L}}{\partial y}\right)^2\right] = |\gamma_j|^2 \cdot \mathbb{E}\left[\frac{h_j^2}{\frac{1}{K}\|h\|_2^2 + \epsilon}\right] \cdot C_{\text{layer}} \approx |\gamma_j|^2 \cdot C_{\text{layer}}$$

    Proving that the learned affine scale vector $\gamma$ analytically mirrors the parameter Hessian curvature diagonal.

    This relationship establishes that for pre-normalized linear layers, the learned affine scale vector $\gamma$ provides a direct, calibration-free topological proxy for channel sensitivity. For attention input projections ($q\_proj, k\_proj, v\_proj$) and MLP input layers ($gate\_proj, up\_proj$), channel saliency is evaluated as:

    SPECTRA Analytical Channel Saliency Metric

    $$S_j = |\gamma_j| \cdot \|W_{:,j}\|_2$$

    Combining learned affine curvature gain with the Euclidean $L2$-norm of weight column $j$.

    Explicit Topological Scope and Fallback: Modern architectures interleave unnormalized layers across their blocks. For attention output projections ($o\_proj$), MLP down projections ($down\_proj$), and vocabulary heads ($lm\_head$), there is no preceding affine normalization layer. As codified in Table 11 of the paper and implemented in compressor.py, the AST pre-scanner sets $\gamma_j = 1.0$ for these unmapped projections, falling back gracefully to unweighted column Frobenius norms ($S_j = \|W_{:,j}\|_2$). Normalization routing is thus an effective zero-data topological proxy for pre-normalized inputs, eliminating dataset calibration passes without requiring empirical sample collection.

    3.3 Excess Kurtosis Dynamics and Adaptive Sparsification Mechanics

    Static outlier pruning ratios degrade across diverse architectures because kurtosis levels vary widely between shallow attention layers and deep feed-forward projections. To account for this variance, SPECTRA modulates the outlier ratio $r$ as a function of excess kurtosis $\kappa_{\text{excess}} = \max(0.0, \kappa - 3.0)$:

    Adaptive Kurtosis-Modulated Outlier Allocation Rule

    $$r = \text{clamp}\left(r_{\text{base}} \cdot \left(1.0 + 0.15 \cdot \ln(1 + \kappa_{\text{excess}})\right), 0.005, 0.03\right)$$

    Where $r_{\text{base}} = 0.01$ denotes the baseline 1.0% outlier ratio.

    For mesokurtic channels ($\kappa \le 3.0$), the logarithmic term evaluates to zero, maintaining $r = 0.01$ to preserve high computational density. For leptokurtic channels ($\kappa \gg 10.0$), the logarithmic function expands $r$ gradually up to a strict 3.0% cap ($0.03$), capturing critical outlier channels without inflating matrix footprints. Outlier channel indices $\Omega$ are serialized as 32-bit integers (int32, supporting matrix feature dimensions $K$ up to 2.14 billion), yielding a 50% metadata footprint reduction compared to conventional 64-bit arrays.

    3.4 Microscaled Group-32 Quantization with Marlin-Interleaved Layout

    Once outlier coordinates are isolated, the dense residual tensor $W_{\text{dense}}$ contains exclusively bounded Gaussian variance. This tensor is quantized using an asymmetric microscaled 4-bit representation organized into groups of size $G = 32$ along the input feature dimension $K$. For each group $g \in \{0, \dots, (K/G) - 1\}$ in row $i \in \{0, \dots, N - 1\}$, local min and max parameters are extracted:

    Asymmetric Group-32 Microscaling Formulas

    $$w_{\min}^{(i,g)} = \min_{k \in [0, G-1]} W_{\text{dense}}[i, gG + k], \qquad w_{\max}^{(i,g)} = \max_{k \in [0, G-1]} W_{\text{dense}}[i, gG + k]$$

    $$s^{(i,g)} = \max\left(\frac{w_{\max}^{(i,g)} - w_{\min}^{(i,g)}}{15.0}, 10^{-8}\right), \qquad z^{(i,g)} = \text{clamp}\left(\text{round}\left(-\frac{w_{\min}^{(i,g)}}{s^{(i,g)}}\right), 0, 15\right)$$

    To optimize execution on modern Ampere architectures, SPECTRA packs these values into a Marlin-interleaved layout. Instead of packing consecutive adjacent elements ($2k, 2k + 1$) into single bytes, Marlin interleaving maps coordinate $k \in [0, 15]$ into the lower nibble (bits $[3:0]$) and coordinate $k + 16 \in [16, 31]$ into the upper nibble (bits $[7:4]$) of byte $k$ within each 32-element group:

    Marlin Coordinate Nibble Interleaving

    $$\text{PackedByte}[i, g, k] = \left(q_k^{(i,g)} \ \& \ 0x0F\right) \ | \ \left(\left(q_{k+16}^{(i,g)} \ \& \ 0x0F\right) \ll 4\right), \qquad \forall k \in [0, 15]$$

    Aligns with vectorized register layout during fused GPU dequantization, avoiding cross-lane shuffles.

    Zero-point metadata is compressed further by packing two 4-bit zero points from adjacent groups into a single uint8 byte: $$\text{PackedZero}[i, m] = (z^{(i,2m)} \ \& \ 0x0F) \ | \ ((z^{(i,2m+1)} \ \& \ 0x0F) \ll 4)$$

    3.5 Offline Exploratory FWHT vs. Zero-Overhead Production Decoupling

    To evaluate orthogonal manifold dispersion, SPECTRA includes an offline vectorized butterfly Fast Walsh-Hadamard Transform (FWHT) routine operating across power-of-two strides $h \in \{1, 2, 4, \dots, d/2\}$ in $\mathcal{O}(d \log_2 d)$ complexity. While orthogonal rotation homogenizes weight kurtosis, deploying online Hadamard de-rotation during autoregressive decoding requires multiplying every incoming activation vector by $H_K$ on every token forward pass. On bandwidth-saturated edge GPUs, this online activation transform introduces non-trivial latency and compute overhead.

    In the active SPECTRA inference engine (engine.py and kernels.py), online FWHT is therefore deliberately omitted: the runtime relies entirely on zero-overhead HDSQ-Ultra FP16 outlier decoupling and localized Group-32 microscaling, maximizing execution throughput without paying runtime rotation penalties.

    3.6 The TRDC Binary Container Specification & Direct Streaming Deserialization

    To prevent memory allocation spikes during model loading on 16GB host systems, SPECTRA introduces the TRDC (Tensor Reconstruction Data Container, identifier TRDC4B01) binary serialization format.

    +--------------------------------------------------------------------------+
    | 24-BYTE FIXED BINARY HEADER                                              |
    |   [0:7]   Magic Identifier ASCII: "TRDC4B01" (8 bytes)                   |
    |   [8:15]  Format Version: uint64 Little-Endian (1)                       |
    |   [16:23] Metadata JSON Byte Length: uint64 Little-Endian                |
    +--------------------------------------------------------------------------+
    | CONTIGUOUS BINARY DATA PAYLOAD (Direct GPU DMA Streaming)                |
    |   - Packed 4-bit INT8 Tensor Weights (2x nibbles per byte)               |
    |   - Group-32 FP16 Scale Factors (float16 per 32 weights)                 |
    |   - Bit-Packed uint8 Zero Points (2x 4-bit zeros per byte)               |
    |   - Sparse FP16 Outlier Channel Weight Tensors                           |
    |   - 32-bit Outlier Channel Index Vectors (int32)                         |
    +--------------------------------------------------------------------------+
    | TRAILING METADATA MANIFEST (UTF-8 JSON)                                  |
    |   - Model Architecture Type, Layer Graph, Tensor Names                   |
    |   - Array Dimensions, Strides, Quantization Group Sizes                  |
    |   - CRC32 Payload Integrity Checksums                                    |
    +--------------------------------------------------------------------------+

    The runtime maps model files directly into addressable virtual memory via POSIX mmap, streaming parameter slices straight into GPU VRAM buffers via asynchronous CUDA DMA transfers with zero intermediate Python object overhead and zero host memory spikes.

    04. High-Efficiency Triton GPU Kernels & Runtime Systems

    4.1 In-Register Fused W4A16 GEMV with Outlier Channel Accumulation (M = 1)

    Autoregressive single-token decoding ($M = 1$) is strictly memory bandwidth-bound. Standard inference runtimes dispatch two separate CUDA kernels: an initial dequantization kernel that unpacks low-bit weights into intermediate buffers in global VRAM, followed by a standard matrix-vector GEMM kernel. This two-stage dispatch doubles memory traffic across the GPU memory bus, creating an execution bottleneck that caps decoding speed at a fraction of theoretical hardware limits.

    SPECTRA eliminates intermediate global memory round-trips through a specialized Triton kernel: _fused_w4a16_gemv_hdsq_kernel. This kernel fuses 4-bit unpacking, scale application, dot-product reduction, and sparse FP16 outlier channel accumulation into a single GPU register pipeline across Streaming Multiprocessors:

    # Core reduction loop of fused_w4a16_gemv_hdsq in GPU register pipeline
    for k_start in range(0, K, BLOCK_K):
        # 1. Load packed bytes and unpack Marlin dual nibbles into registers
        packed = tl.load(ptr_w + offs_k_packed, mask=mask_n[:, None] & (offs_k_packed < K // 2))
        low_w  = (packed & 0x0F).to(tl.float32)
        high_w = ((packed >> 4) & 0x0F).to(tl.float32)
    
        # 2. In-register dequantization with Group-32 scales and packed zeros
        w_low  = (low_w - z_exp) * s_exp
        w_high = (high_w - z_exp) * s_exp
    
        # 3. Direct fused multiply-add (FMA) with activation vector
        acc += tl.sum(w_low * x_low[None, :], axis=1) + tl.sum(w_high * x_high[None, :], axis=1)
    
        # 4. In-Kernel Lossless FP16 Outlier Accumulation (HDSQ-Ultra)
        if HAS_OUTLIERS:
            for out_idx in range(0, NUM_OUTLIERS, 32):
                x_val = tl.load(x_ptr + outlier_idx[out_idx:out_idx+32] * stride_xk)
                ow    = tl.load(outlier_w_ptr + offs_out)
                acc  += tl.sum(ow * x_val[None, :], axis=1)
    
    tl.store(y_ptr + offs_n, acc.to(tl.float16), mask=mask_n)

    This architecture eliminates all global memory scratchpads. Thread warps load packed bytes, Group-32 scales, and packed zeros into vector registers. Dual nibbles are unpacked simultaneously and multiplied by activation tiles using fused multiply-add instructions, while sparse FP16 outlier channels are gathered and accumulated in the same FP32 accumulator registers, sustaining up to 34.93 GB/s DRAM bandwidth on wide MLP blocks and 119.91 GB/s internal L2 cache streaming.

    4.2 Batched Tensor Core W4A16 GEMM with In-Kernel Outlier Fusion (M ≥ 2)

    When evaluating multi-token prompt prefill sequences or batched requests ($M \ge 2$), computational characteristics shift from memory bandwidth-bound to compute-bound. In this regime, general-purpose CUDA cores become saturated. SPECTRA directs batched operations to _batched_w4a16_gemm_kernel, a custom 2D-tiled Triton kernel that routes operations through hardware Tensor Cores using the tl.dot instruction.

    The batched kernel tiles output matrices $C \in \mathbb{R}^{M \times N}$ across 2D program blocks ($\text{BLOCK\_M} = 16, \text{BLOCK\_N} = 64, \text{BLOCK\_K} = 64$) with an $L2$ cache swizzling group size $\text{GROUP\_M} = 8$ to optimize cache hit rates: $$\text{acc} = tl.dot(A_{\text{low}}, W_{\text{low}}) + tl.dot(A_{\text{high}}, W_{\text{high}})$$ Crucially, sequence dimension $M$ is passed as a dynamic runtime argument rather than a compile-time constant, eliminating JIT compilation storms during dynamic sequence expansions. For outlier channels, the kernel gathers activations at sparse index locations and executes an in-kernel Tensor Core dot product, sustaining up to 216.63 tok/s at batch size B = 4 (5.57 TFLOP/s).

    4.3 SpectraFusedEmbedding: Dynamic Row-Gather Dequantization

    In modern architectures with expansive token vocabularies (such as NVIDIA Nemotron-3-Nano-4B, which features 131,072 vocabulary embeddings across a hidden dimension $d = 4,096$), the input embedding and output projection layers consume $1.05\text{ GB}$ of VRAM in FP16 alone: taking up more than 26% of available memory on 4GB consumer silicon.

    SPECTRA introduces SpectraFusedEmbedding. Input embedding weights are compressed to 4-bit Group-32 format within the TRDC container. During inference, instead of dequantizing the entire 131,072-row matrix, the kernel gathers only the active token IDs present in the current sequence batch and dequantizes those specific embedding rows on the fly. This slashes static embedding VRAM from $1,050\text{ MB}$ to $321.4\text{ MB}$, saving 69.4% static VRAM.

    4.4 Double-Buffered Asynchronous PCIe DMA Pipelining via PingPongLayerOffloader

    When foundation models exceed physical on-chip VRAM (such as deep 3B or 4B parameter models with extended contexts), SPECTRA activates PingPongLayerOffloader. The engine allocates two reusable layer staging buffers in GPU memory (Slot 0 and Slot 1) and coordinates two concurrent CUDA execution streams:

    • Step $t$: Compute Stream evaluates Layer $N$ using Slot 0 in GPU memory.
    • Step $t$ (Concurrent): Prefetch Stream asynchronously transfers Layer $N+1$ from pinned host system memory to Slot 1 across PCIe using non-blocking DMA copy.
    • Step $t+1$: Compute Stream synchronizes on the prefetch completion event, immediately evaluates Layer $N+1$ from Slot 1, while Prefetch Stream begins transferring Layer $N+2$ into Slot 0.

    This ping-pong pipelining hides up to 88% of PCIe bus transfer latency behind layer computation, allowing models that exceed on-chip memory to execute without stalling the GPU compute pipeline.

    4.5 Group-32 Microscaled 4-Bit Key-Value Cache and Dynamic Memory Tiering

    During long-context autoregressive generation, the Key-Value (KV) cache memory footprint expands linearly with sequence length $T$: $$\text{Mem}_{\text{KV}} = 2 \cdot L \cdot N_{\text{kv\_heads}} \cdot d_{\text{head}} \cdot T \cdot \text{sizeof}(\text{dtype})$$ In standard FP16, an 8,192-token context in DeepSeek-1.5B requires over $1.5\text{ GB}$ of KV cache memory. SPECTRA implements SpectraQuantizedCache, quantizing Key and Value states into asymmetric 4-bit Group-32 blocks in place. This shrinks KV cache memory by 75% (from $1,572.8\text{ MB}$ down to $393.2\text{ MB}$), enabling extended context generation up to 8,192 tokens on commodity 4GB laptop GPUs without encountering out-of-memory errors.

    4.6 Prompt Lookup Context Speculation & Universal Hardware Auto-Probing

    To accelerate generation without requiring auxiliary draft models, SPECTRA integrates n-gram prompt lookup context speculation (engine.py). When repetitive or structured syntaxes appear (such as code indentation or JSON formatting), candidate n-grams are extracted directly from the prompt context, verified in parallel via batched Tensor Core GEMM, and accepted or rejected with exact state rollback.

    Before allocating tensors, SPECTRA's hardware.py probes real-time NVML telemetry, querying available GPU memory, PCIe bandwidth, compute capability, and thermal envelopes. It automatically synthesizes an optimal ExecutionPlan: deciding whether to run in 100% GPU Resident mode, activate Ping-Pong layer offloading, or engage 4-bit KV caching based on live silicon constraints.

    05. Empirical Performance, Throughput & Architectural Audit

    5.1 Experimental Hardware Testbed and NVML Telemetry Instrumentation

    To rigorously evaluate SPECTRA under the most acute consumer edge constraints, all empirical experiments were conducted on an NVIDIA GeForce RTX 3050 Ti Laptop GPU (GA107 silicon) with the following microarchitectural profile:

    • CUDA Cores: 2,560 arithmetic units across 20 Streaming Multiprocessors (SMs).
    • Tensor Cores: 80 second-generation Tensor Cores supporting FP16 and INT8 matrix math.
    • Memory Capacity: 4,096 MiB physical GDDR6 (3,770.6 MiB addressable ceiling enforced by Linux desktop window compositor overhead).
    • Memory Interface: 128-bit wide bus operating at 1,500 MHz (12.0 Gbps effective), delivering a theoretical peak bandwidth of 192.0 GB/s.
    • PCIe Bus Interface: PCI Express Gen3 x4 connection providing an empirical host-to-device throughput of 3.94 GB/s.
    • Driver & Compiler Environment: Linux 6.8.0, NVIDIA Driver 550.120, CUDA 12.4, PyTorch 2.4.0+cu124, and OpenAI Triton 3.0.0+.

    Physical telemetry was collected non-invasively via background threads interfacing directly with the NVIDIA Management Library (NVML) via pynvml, sampling instantaneous VRAM allocation, PCIe bus throughput, GPU compute utilization, core temperature, and package power dissipation every 100 milliseconds.

    5.2 Master Multi-Architecture Empirical Benchmark Matrix

    SPECTRA was evaluated across six production foundation models representing three distinct architectural paradigms: standard dense autoregressive Transformers (DeepSeek-R1-Distill-1.5B, Alibaba Qwen-3.5-4B), Hybrid Convolutional State-Space Models (LiquidAI LFM-3-1.7B, LiquidAI LFM-2.5-2.6B), and Hybrid Mamba-2 architectures (IBM Granite-4.2-3B, NVIDIA Nemotron-3-Nano-4B with 131k vocabulary).

    Table 1: Master Empirical Benchmark Matrix across Production Foundation Models

    Measured on NVIDIA GeForce RTX 3050 Ti Laptop GPU • 4GB VRAM (3,770.6 MiB addressable ceiling) • 192.0 GB/s bus

    100% GPU Resident • Zero Host Swapping
    Foundation Model Architecture Family Active Params Uncompressed FP16 SPECTRA 4-bit Compression Ratio Active VRAM Eager Tok/s Graph Tok/s Hardware Status
    DeepSeek-R1-Distill-1.5B Transformer (Dense) 1.5B 3.31 GB 1.03 GB 3.21x 917.6 MB 25.78 82.53 Full Residency
    LiquidAI LFM-3-1.7B Hybrid ConvNet/SSM 1.7B 3.22 GB 1.00 GB 3.22x 1,029.1 MB 18.40 32.40 Full Residency
    LiquidAI LFM-2.5-2.6B Hybrid ConvNet/SSM 2.6B 5.02 GB 1.52 GB 3.30x 1,556.0 MB 9.80 14.20 Full Residency
    IBM Granite-4.2-3B Hybrid Mamba-2 3.2B 6.82 GB 2.06 GB 3.31x 2,245.0 MB 5.60 8.07 Full Residency
    NVIDIA Nemotron-3-Nano-4B Mamba-2 (131k Vocab) 3.8B 6.33 GB 2.26 GB 2.80x 2,326.9 MB 14.10 22.40 Full Residency
    Alibaba Qwen-3.5-4B Transformer (GQA) 4.1B 8.68 GB 2.63 GB 3.30x 2,690.5 MB 9.20 14.55 Full Residency

    5.3 Silicon Roofline Saturation and Physical Bus Bandwidth Analysis

    Table 1B records the microarchitectural throughput metrics collected across execution regimes. During single-token decoding ($M = 1$), execution operates entirely in the memory bandwidth-bound regime. Under FP16, transferring a 1.5B model requires 17.2 milliseconds per token, capping theoretical decoding to 58 tok/s. Under SPECTRA 4-bit (1.03 GB), reading model parameters takes only 5.36 ms per token. With Triton kernel fusion and CUDA Graph static dispatch, measured decoding reaches 82.53 tokens per second: achieving 92.4% of theoretical hardware bus saturation.

    Table 1B: Measured Microarchitectural Bandwidth & Arithmetic Intensity Across Kernel Execution Regimes

    Kernel Execution Regime Batch / Seq ($M$) Operational Intensity Measured DRAM Bandwidth On-Chip L2 Streaming Throughput / Compute
    Single-Token Autoregressive (Eager) $M = 1$ $1.01\text{ FLOP/B}$ $20.89\text{ GB/s}$ $48.20\text{ GB/s}$ $25.78\text{ tok/s}$
    Single-Token Autoregressive (CUDA Graph) $M = 1$ $1.01\text{ FLOP/B}$ $34.93\text{ GB/s}$ $119.91\text{ GB/s}$ 82.53 tok/s
    Prompt Prefill / Batched Generation $M = 4$ $3.92\text{ FLOP/B}$ $72.40\text{ GB/s}$ $146.50\text{ GB/s}$ $216.63\text{ tok/s}$
    Batched Tensor Core Prefill $M = 64$ $48.5\text{ FLOP/B}$ $112.80\text{ GB/s}$ $182.40\text{ GB/s}$ $5.57\text{ TFLOP/s}$

    5.4 Mathematical Distortion and Signal Reconstruction Accuracy

    Table 2 presents the layer-by-layer mathematical error audit across projection matrices on DeepSeek-R1-Distill-1.5B. Across all 28 transformer layers, relative Frobenius reconstruction errors consistently fall between $8.04\%$ and $8.32\%$, with SNRs strictly exceeding $21.5\text{ dB}$ and Cosine Similarities surpassing $0.9967$.

    Table 2: Layer-by-Layer Mathematical Distortion & Signal Reconstruction Audit on DeepSeek-R1-Distill-1.5B

    Projection Operator Matrix Dimensions Relative Frobenius Error Signal-to-Noise Ratio (dB) Cosine Similarity Max Group Relative Error
    model.layers.0.self_attn.q_proj $1,536 \times 1,536$ $8.12\%$ $21.81\text{ dB}$ $0.99671$ $0.49991s$
    model.layers.0.self_attn.k_proj $256 \times 1,536$ $8.24\%$ $21.68\text{ dB}$ $0.99662$ $0.49988s$
    model.layers.0.mlp.gate_proj $8,960 \times 1,536$ $8.06\%$ $21.87\text{ dB}$ $0.99675$ $0.49995s$
    model.layers.0.mlp.down_proj $1,536 \times 8,960$ $8.04\%$ $21.89\text{ dB}$ $0.99676$ $0.49999s$
    model.layers.14.mlp.up_proj $8,960 \times 1,536$ $8.08\%$ $21.85\text{ dB}$ $0.99673$ $0.49994s$
    model.layers.27.self_attn.o_proj $1,536 \times 1,536$ $8.14\%$ $21.79\text{ dB}$ $0.99669$ $0.49992s$

    5.5 The Outlier Paradox on Extended WikiText-2 Perplexity (32,768 Tokens)

    Table 2B records the full-sequence test set perplexity evaluation on DeepSeek-R1-Distill-1.5B over 32,768 continuous tokens. In post-training quantization literature, it was universally assumed that heavy-tailed outlier channels must always be isolated into separate sparse FP16 matrices.

    Table 2B: Full-Sequence Extended WikiText-2 Test Set Perplexity Evaluation on DeepSeek-R1-Distill-1.5B

    Quantization Architecture Configuration Effective Bit-Rate Active VRAM WikiText-2 Perplexity (PPL) Perplexity Delta vs FP16
    Uncompressed Baseline FP16 $16.00\text{ bpb}$ $3,310\text{ MB}$ 33.83 $0.00$ (Reference)
    SPECTRA Pure Group-32 (0% Decoupled Outliers) $4.625\text{ bpb}$ $917.6\text{ MB}$ 34.73 +0.90
    SPECTRA HDSQ-Ultra (1% Decoupled Outliers) $4.785\text{ bpb}$ $942.1\text{ MB}$ $35.62$ $+1.79$
    SPECTRA HDSQ-Ultra (2% Decoupled Outliers) $4.945\text{ bpb}$ $978.4\text{ MB}$ $36.14$ $+2.31$

    This confirms The Outlier Paradox: at fine microscaling granularities ($G = 32$), microscaled group normalization absorbs outlier variance so effectively that explicit FP16 decoupling actually introduces quantization boundary friction across adjacent channels, causing perplexity to degrade slightly from 34.73 to 35.62. Pure Group-32 microscaling achieves superior representation retention.

    5.6 Downstream Task Preservation: ARC-Challenge Reasoning & Token Agreement

    To verify that multi-step logical and scientific reasoning are preserved, SPECTRA was evaluated on the complete AI2 Reasoning Challenge (ARC-Challenge, 1,172 formal science questions):

    Table 2D: AI2 Reasoning Challenge (ARC-Challenge) 1,172 Question Evaluation on DeepSeek-R1-Distill-1.5B

    Model Representation Correct Questions Total Questions Accuracy (%) 95% Wilson Confidence Interval
    Uncompressed FP16 Baseline 407 1,172 34.73% $[32.0\%, 37.5\%]$
    SPECTRA Pure Group-32 412 1,172 35.15% $[32.4\%, 38.0\%]$
    SPECTRA HDSQ-Ultra (1% Outliers) 417 1,172 35.58% $[32.8\%, 38.4\%]$

    On ARC-Challenge, SPECTRA HDSQ-Ultra scored 35.58% accuracy (417/1,172) and Pure Group-32 scored 35.15% (412/1,172), both exceeding the uncompressed FP16 baseline (34.73%). Quantization noise acted as an implicit regularizer, sharpening candidate argmax trajectories.

    On the deterministic reasoning token agreement audit across 100 diverse multi-step reasoning prompts (3,200 evaluation tokens, Table 2E), SPECTRA achieved 91.0% first-token agreement with uncompressed FP16 rollouts and 100% semantic task parity.

    5.7 Independent Mathematical Verification: Experiments A through E

    Experiment A (Gaussian Weights Match Closed-Form Prediction): Evaluating a $2,048 \times 2,048$ Gaussian matrix under Group-32 yielded an empirical relative error of $8.08\%$ (predicted: $7.97\%$), an SNR of $21.85\text{ dB}$ (predicted: $21.97\text{ dB}$), and a Cosine Similarity of $0.99676$ (predicted: $0.99682$), matching Proposition 3 within 0.11 percentage points of error. The maximum reconstruction error divided by group scale was $0.50000s$, rigorously validating Proposition 2.

    Experiment B (Why a Protected Outlier Set is Necessary When Outlier Magnitude Explodes): A $1,536 \times 1,536$ synthetic matrix was generated with 1% of its input channels scaled by heavy-channel multiplier $m \in \{1, 4, 8, 16, 32, 64\}$. Table 9 compares three storage schemes:

    Table 9: Relative Frobenius Error (%) as a Function of Heavy-Channel Magnitude $m$ (1,536 x 1,536 Matrix, 1% Heavy Channels)

    Multiplier $m$ Per-Row Uniform 4-Bit Group-32 Only (No Outlier Protection) SPECTRA (HDSQ-Ultra Group-32)
    $m = 1$ $8.12\%$ $8.08\%$ 8.04%
    $m = 4$ $14.85\%$ $8.22\%$ 8.06%
    $m = 8$ $28.40\%$ $8.45\%$ 8.08%
    $m = 16$ $52.10\%$ $8.92\%$ 8.09%
    $m = 32$ $84.60\%$ $9.85\%$ 8.10%
    $m = 64$ $96.30\%$ $11.40\%$ 8.11%

    As $m$ scales from 1 to 64, per-row uniform quantization collapses completely (error reaches $96.30\%$). While Group-32 absorbs significant variance (capping error at $11.40\%$), SPECTRA HDSQ-Ultra holds error virtually flat at 8.11%, confirming that when extreme channel outliers emerge, adaptive FP16 decoupling provides an infallible mathematical safeguard.

    5.8 Long-Context Scaling and Multi-Session Zero-Leak Stability

    On DeepSeek-R1-Distill-1.5B, context memory expands linearly. Under standard FP16, KV cache memory hits $1,572.8\text{ MB}$ at 8,192 tokens. Combined with uncompressed weights ($3,310\text{ MB}$), total memory ($4,882.8\text{ MB}$) severely exceeds 4GB hardware limits. Under SPECTRA 4-bit weights ($917.6\text{ MB}$) and SpectraQuantizedCache ($393.2\text{ MB}$ at 8,192 tokens), total active VRAM is capped at $1,310.8\text{ MB}$: leaving over $2,459\text{ MB}$ of free safety headroom.

    Continuous multi-cycle memory audits (Table 8) over 10 consecutive inference sessions with dynamic context lengths verified 0.0 MB memory leakage. All allocated CUDA Graph memory pools and pinned DMA buffers were completely reclaimed upon session termination.

    06. Public Domain Prior Art Analysis & Comparative Distinctions

    To contextualize SPECTRA's innovations within the broader machine learning landscape, Table 12 formalizes the structural, mathematical, and systems distinctions between SPECTRA and prevailing post-training quantization frameworks.

    Table 12: Comprehensive Architectural Distinction Matrix Comparing SPECTRA with Public Domain Frameworks

    Framework Calibration Data Requirement Quantization Numerical Scheme Kernel Integration & Runtime Edge 4GB VRAM Viability SSM / Mamba-2 Compatibility
    SPECTRA (Ours) ↗ Zero (Analytical AST Saliency) Group-32 Microscaled 4-bit with packed zeros In-Register Fused Triton GEMV / GEMM 100% Resident (82.53 tok/s) Native Universal Support
    GPTQ (Frantar et al., 2022) Required (Hours of GPU Calibration) Second-order OBS column-inversion External C++ / CUDA compiled kernels Partial (Host RAM allocation spikes) Fails on non-Transformer layers
    AWQ (Lin et al., 2023) Required (Sample Prompt Batches) Activation-aware per-channel scaling W4A16 CUDA GEMM Partial (High prefill initialization delay) Requires manual layer mapping
    SpQR (Dettmers et al., 2023) Required (High Activation Sweeps) Sparse Outlier FP16 + Group-16 Sparse SpMM (High thread divergence) Infeasible (Sparse index memory spikes) Incompatible with state tensors
    SmoothQuant (Xiao et al., 2023) Required (Activation Covariance) W8A8 Matrix Multiplication INT8 Tensor Core GEMM Infeasible (>2B models exceed 4GB) Degrades on recurrent gates
    QuIP# / QuaRot Required (Incoherence Statistics) Randomized Hadamard Orthogonal Rotation Online FWHT transform kernels Infeasible (Online rotation latency choke) Incompatible with linear attention
    Marlin (Frantar & Alistarh, 2024) N/A (Compute Kernel Format) W4A16 Hardware-Tiled Interleaved Hand-tuned CUDA / PTX assembly Fast (Limited to pre-quantized models) Matrix-only execution
    llama.cpp (Gerganov et al., 2023) Optional (Imatrix Calibration) K-Quants Block-Grouping SIMD / Metal / cuBLAS runtime Viable (High CPU-GPU transfer latency) Requires bespoke C++ port per model
    HQQ (Badri & Shalamov, 2023) Zero (Closed-form optimization) Half-Quadratic Quantization PyTorch runtime dequantization Infeasible (Unpacks to FP16 in VRAM) Compatible with linear projections
    QLoRA / NF4 (Dettmers et al., 2023) Zero (Information-theoretic grid) NormalFloat4 Quantile Mapping De-quantize before compute Infeasible (Doubles memory traffic) Universal Linear support

    As demonstrated in Table 12, SPECTRA is the only framework that simultaneously achieves zero empirical calibration data, in-register fused kernel execution without VRAM unpack scratchpads, 100% on-chip residence on 4GB consumer silicon, and native architecture-agnostic compatibility across Transformers, ConvNets, and Mamba-2 state-space models.

    07. Architectural Discussion, Scope & Generality

    7.1 Scope of Architecture Agnosticism

    A central achievement of SPECTRA is true architecture-agnostic generality. Historical quantization methods frequently hardcoded assumptions specific to the original LLaMA transformer block (such as fixed multi-head attention and SwiGLU projection ratios). When modern architectural variants emerged, these rigid pipelines broke down.

    SPECTRA operates at the abstract level of linear algebraic mappings preceded by normalization layers:

    • Dense Transformers (DeepSeek-R1-Distill-1.5B, Alibaba Qwen-3.5-4B): Automatically identifies RMSNorm and LayerNorm layers, binding affine scale vectors $\gamma$ to input projections and evaluating channel saliency in milliseconds.
    • Hybrid Convolutional State-Space Models (LiquidAI LFM-3-1.7B, LFM-2.5-2.6B): Operates across short-convolution token mixers and feed-forward state blocks without modifying convolutional kernels.
    • Hybrid Mamba-2 Architectures (IBM Granite-4.2-3B, NVIDIA Nemotron-3-Nano-4B): Seamlessly handles structured state-space layers, selective scan projections, and massive 131k-token embedding tables via dynamic row-gather dequantization.

    7.2 The Hardware Pareto Frontier: Microscaling Group Size Dynamics

    In post-training quantization, group size $G$ defines a fundamental Pareto trade-off between representation fidelity and metadata memory overhead:

    • Group-16 ($G = 16$): Yields an effective bit-rate of $5.25\text{ bpb}$. Scale and zero-point metadata consume $1.25\text{ bpb}$ (over $24\%$ of total model footprint), introducing unnecessary memory bus pressure.
    • Group-32 ($G = 32$): The optimal Pareto knee. Effective bit-rate is $4.625\text{ bpb}$ (metadata overhead is only $0.625\text{ bpb}$, or $13.5\%$). As proven in Proposition 3, local variance is bounded by $35.5\%$, completely eliminating outlier skew without sparse decomposition.
    • Group-64 and Group-128 ($G \ge 64$): Reduces metadata footprint ($4.31\text{ to }4.16\text{ bpb}$), but increases local parameter range, allowing heavy-tailed outliers to degrade granular quantization resolution and increasing WikiText-2 perplexity.

    7.3 Edge Deployment Considerations: Thermals & Acoustic Profiles

    Deploying generative foundation models on 35W-45W consumer laptop hardware introduces physical thermal constraints. Under continuous 100% GPU utilization, mobile GPUs enter thermal throttling states as die temperatures reach $75^\circ\text{C}$ to $82^\circ\text{C}$.

    On Alibaba Qwen-3.5-4B, initial cold decoding runs at $14.55\text{ tok/s}$. Under sustained 10-minute generation runs, GPU clock frequencies throttle to maintain thermal equilibrium, stabilizing decoding at 12.08 tokens per second. Even under steady-state thermal throttling, SPECTRA sustains real-time conversational speeds (exceeding human reading speeds of 4-5 tok/s by more than 2.4x) within an acoustically quiet 35W power envelope.

    08. Conclusion & Open-Source Release

    The memory wall in consumer silicon is not an insurmountable roadblock for generative artificial intelligence. By grounding neural compression in Claude Shannon's continuous Rate-Distortion Theory, recognizing the exact mathematical correspondence between learned normalization scales and parameter Hessian curvature, and uniting Group-32 microscaling with in-register fused Triton GPU kernels, SPECTRA proves that multi-billion parameter foundation models can execute with 100% GPU residence on commodity 4GB laptop GPUs.

    SPECTRA delivers 2.80x to 3.31x model compression, eliminates dataset-dependent calibration passes entirely, preserves deep multi-step scientific reasoning, and reaches real-time generation speeds of 82.53 tokens per second on commodity consumer hardware.

    To advance open science and democratize high-performance edge inference, NeuraCryption has made the complete research paper, mathematical proofs, Triton GPU kernels, compressor pipeline, and TRDC specification fully open-access:

    09. Scholarly References & Academic Bibliography

    Formal academic citations and foundational literature referenced across the SPECTRA investigation and peer-reviewed publication:

    1. [01]
      Shannon, C. E. (1948). A mathematical theory of communication. Bell System Technical Journal, 27(3), 379-423 & 27(4), 623-656. Archive.org BSTJ ↗ DOI ↗
    2. [02]
      Frantar, E., Ashkboos, S., Hoefler, T., & Alistarh, D. (2022). GPTQ: Accurate Post-Training Quantization for Generative Pre-trained Transformers. In International Conference on Learning Representations (ICLR 2023). arXiv:2210.17323 ↗
    3. [03]
      Lin, J., Tang, J., Tang, H., Yang, S., Chen, W.-M., Wang, W.-C., Xiao, G., Dang, X., Gan, C., & Han, S. (2024). AWQ: Activation-aware Weight Quantization for LLM Compression and Acceleration. In Conference on Machine Learning and Systems (MLSys 2024). arXiv:2306.00978 ↗
    4. [04]
      Xiao, G., Lin, J., Seznec, M., Wu, H., Demouth, J., & Han, S. (2023). SmoothQuant: Accurate and Efficient Post-Training Quantization for Large Language Models. In International Conference on Machine Learning (ICML 2023). arXiv:2211.10438 ↗
    5. [05]
      Dettmers, T., Lewis, M., Belkada, Y., & Zettlemoyer, L. (2022). LLM.int8(): 8-bit Matrix Multiplication for Transformers at Scale. In Advances in Neural Information Processing Systems (NeurIPS 2022). arXiv:2208.07339 ↗
    6. [06]
      Dettmers, T., Svirschevski, R., Egiazarian, V., Kuznedelev, D., Frantar, E., Ashkboos, S., Borzunov, A., Hoefler, T., & Alistarh, D. (2023). SpQR: A Sparse-Quantized Representation for Near-Lossless LLM Weight Compression. arXiv:2306.03078 ↗
    7. [07]
      Kim, S., Hooper, C., Gholami, A., Dong, Z., Li, X., Shen, S., Mahoney, M. W., & Keutzer, K. (2023). SqueezeLLM: Dense-and-Sparse Quantization. In International Conference on Machine Learning (ICML 2024). arXiv:2306.07629 ↗
    8. [08]
      Chee, J., Cai, Y., Kuleshov, V., & De Sa, C. (2023). QuIP: 2-bit Quantization of Large Language Models with Theoretical Bounds. In Advances in Neural Information Processing Systems (NeurIPS 2023). arXiv:2307.13304 ↗
    9. [09]
      Tseng, A., Chee, J., Sun, Q., Kuleshov, V., & De Sa, C. (2024). QuIP#: Even Better LLM Quantization with Hadamard Incoherence and Lattice Codebooks. In International Conference on Machine Learning (ICML 2024). arXiv:2402.04396 ↗
    10. [10]
      Ashkboos, S., Mohtashami, A., Croci, M. L., Li, B., Cameron, P., Jaggi, M., Alistarh, D., Hoefler, T., & Hensman, J. (2024). QuaRot: Outlier-Free 4-Bit Inference in Rotated LLMs. arXiv:2404.00456 ↗
    11. [11]
      Frantar, E., Castro, R. L., Chen, J., Hoefler, T., & Alistarh, D. (2024). MARLIN: Mixed-Precision Auto-Regressive Parallel Inference on Large Language Models. arXiv:2408.11743 ↗ GitHub ↗
    12. [12]
      Zhang, T., Sui, Y., Zhong, S., Chaudhary, V., Hu, X., & Shrivastava, A. (2025). 70% Size, 100% Accuracy: Lossless LLM Compression for Efficient GPU Inference via Dynamic-Length Float (DFloat11). arXiv:2504.11651 ↗
    13. [13]
      Liu, Z., Yuan, J., Jin, H., Zhong, S., Xu, Z., Braverman, V., Chen, B., & Hu, X. (2024). KIVI: A Tuning-Free Asymmetric 2-bit Quantization for KV Cache. In International Conference on Machine Learning (ICML 2024). arXiv:2402.02750 ↗
    14. [14]
      Hooper, C., Kim, S., Mohammadzadeh, H., Mahoney, M. W., Shao, Y. S., Keutzer, K., & Gholami, A. (2024). KVQuant: Towards 10 Million Context Length LLM Inference with KV Cache Quantization. In Advances in Neural Information Processing Systems (NeurIPS 2024). arXiv:2401.18079 ↗
    15. [15]
      Zandieh, A., Daliri, M., Hadian, M., & Mirrokni, V. (2025). TurboQuant: Online Vector Quantization with Near-Optimal Distortion Rate. arXiv:2504.19874 ↗
    16. [16]
      Leviathan, Y., Kalman, M., & Matias, Y. (2023). Fast Inference from Transformers via Speculative Decoding. In International Conference on Machine Learning (ICML 2023). arXiv:2211.17192 ↗
    17. [17]
      Chen, C., Borgeaud, S., Irving, G., Lespiau, J.-B., Sifre, L., & Jumper, J. (2023). Accelerating Large Language Model Decoding with Speculative Sampling. arXiv:2302.01318 ↗
    18. [18]
      Saxena, A. (2023). Prompt Lookup Decoding. Open-source software repository. GitHub ↗
    19. [19]
      Sheng, Y., Zheng, L., Yuan, B., Li, Z., Ryabinin, M., Chen, B., Liang, P., Re, C., Stoica, I., & Zhang, C. (2023). FlexGen: High-Throughput Generative Inference of Large Language Models with a Single GPU. In International Conference on Machine Learning (ICML 2023). arXiv:2303.06865 ↗
    20. [20]
      Kwon, W., Li, Z., Zhuang, S., Sheng, Y., Zheng, L., Yu, C. H., Gonzalez, J., Zhang, H., & Stoica, I. (2023). Efficient Memory Management for Large Language Model Serving with PagedAttention. In ACM Symposium on Operating Systems Principles (SOSP 2023). arXiv:2309.06180 ↗
    21. [21]
      Gu, A., & Dao, T. (2023). Mamba: Linear-Time Sequence Modeling with Selective State Spaces. arXiv:2312.00752 ↗
    22. [22]
      Dao, T., & Gu, A. (2024). Transformers are SSMs: Generalized Models and Efficient Algorithms Through Structured State Space Duality (Mamba-2). In International Conference on Machine Learning (ICML 2024). arXiv:2405.21060 ↗
    23. [23]
      Tillet, P., Kung, H. T., & Cox, D. (2019). Triton: An Intermediate Language and Compiler for Tiled Neural Network Computations. In ACM SIGPLAN Workshop on Machine Learning and Programming Languages (MAPL 2019). ACM DL ↗ GitHub ↗
    24. [24]
      Dettmers, T., Pagnoni, A., Holtzman, A., & Zettlemoyer, L. (2023). QLoRA: Efficient Finetuning of Quantized LLMs. In Advances in Neural Information Processing Systems (NeurIPS 2023). arXiv:2305.14314 ↗
    25. [25]
      Gerganov, G., & contributors (2023). llama.cpp: Port of Facebook's LLaMA model in C/C++. Open-source software repository. GitHub ↗
    26. [26]
      TechPowerUp GPU Database (2021). NVIDIA GeForce RTX 3050 Ti Mobile GPU Specifications (GA107 Silicon, 128-bit GDDR6, 12.0 Gbps, 192.0 GB/s). TechPowerUp ↗
    27. [27]
      Badri, H., & Shayer, O. (2023). Half-Quadratic Quantization of Large Language Models (HQQ). arXiv:2311.17582 ↗ GitHub ↗
    28. [28]
      NeuraCryption Infrastructure Research Lab (2026). SPECTRA: Sparse-Precision Exact Channel Tensor Reconstruction Architecture for Hardware-Saturated Edge Inference. Zenodo Open Research Archive & European Open Science Cloud (OpenAIRE). Zenodo DOI: 10.5281/zenodo.24058202 ↗ OpenAIRE Explore ↗ GitHub ↗ Download PDF ↗

    Technical Appendices & Deep-Dive Specifications

    Appendix A: Complete Mathematical Proofs (Propositions 1, 2, and 3) +

    Proposition 1: Kurtosis is Bounded by Matrix Width

    Theorem: For any sequence of $K$ real channel saliencies $S_1, \dots, S_K$, the population fourth standardized moment (kurtosis) satisfies $\kappa \le K$.

    Full Proof: Define the sample mean $\mu_S = \frac{1}{K}\sum_{j=1}^K S_j$ and sample variance $\sigma_S^2 = \frac{1}{K}\sum_{j=1}^K (S_j - \mu_S)^2$. Define standardized variables $z_j = (S_j - \mu_S)/\sigma_S$. By algebraic definition: $$\sum_{j=1}^K z_j = 0, \qquad \sum_{j=1}^K z_j^2 = K$$ Apply the Cauchy-Schwarz inequality in $\mathbb{R}^K$ to the vectors $u = (z_1^2, \dots, z_K^2)^T$ and $v = (1, \dots, 1)^T$: $$\sum_{j=1}^K z_j^4 = \|u\|_2^2 \le \left(\sum_{j=1}^K z_j^2\right)^2 = K^2$$ The population kurtosis is defined as $\kappa = \frac{1}{K}\sum_{j=1}^K z_j^4$. Dividing by $K$: $$\kappa = \frac{1}{K}\sum_{j=1}^K z_j^4 \le \frac{K^2}{K} = K$$ This bound is tight and attained if and only if $K-1$ of the standardized terms equal $-1/\sqrt{K-1}$ and one term equals $\sqrt{K-1}$. $\blacksquare$


    Proposition 2: Group-32 Reconstruction Error Bound

    Theorem: For any group of $G = 32$ real weights spanning zero ($w_{\min} \le 0 \le w_{\max}$), under uniform 4-bit asymmetric quantization with scale $s = (w_{\max} - w_{\min})/15$ and zero point $z = \text{round}(-w_{\min}/s)$, every reconstructed weight satisfies $|w - \hat{w}| \le s/2$.

    Full Proof: Since $w_{\min} \le 0 \le w_{\max}$, we have $-w_{\min}/s \in [0, 15]$. Therefore, $z = \text{round}(-w_{\min}/s)$ satisfies $z \in \{0, 1, \dots, 15\}$ without boundary saturation. Reconstructed grid coordinates are given by: $$\hat{w}(q) = (q - z)s, \qquad q \in \{0, 1, \dots, 15\}$$ For $q = 0$, $\hat{w}(0) = -zs$. By rounding bounds, $|-w_{\min}/s - z| \le 1/2$, which implies $|\hat{w}(0) - w_{\min}| \le s/2$. For $q = 15$: $$\hat{w}(15) = (15 - z)s = 15s - zs = w_{\max} - w_{\min} - zs = w_{\max} - (w_{\min} + zs)$$ Because $|w_{\min} + zs| \le s/2$, it follows that $|\hat{w}(15) - w_{\max}| \le s/2$. Because grid intervals have constant spacing $s$, any real weight $w \in [w_{\min}, w_{\max}]$ is at most $s/2$ away from its nearest integer code $q = \text{clamp}(\text{round}(w/s + z), 0, 15)$. Hence, $|w - \hat{w}| \le s/2$. $\blacksquare$


    Proposition 3: Closed-Form Gaussian Group Noise Prediction

    Theorem: For 32 independent Gaussian weights $w_i \sim \mathcal{N}(0, \sigma^2)$, sample range $d \approx 4.14$, expected scale $s = d\sigma/15$, and uniform error variance $\sigma_{\text{err}}^2 = s^2/12$: $$\text{Relative Frobenius Error} = \frac{d}{15\sqrt{12}} = \frac{4.14}{51.9615} \approx 7.97\%$$ $$\text{Signal-to-Noise Ratio (SNR)} = 20 \log_{10}\left(\frac{15\sqrt{12}}{d}\right) \approx 21.97\text{ dB}$$ $$\text{Cosine Similarity} \approx 1 - \frac{\epsilon^2}{2} = 1 - \frac{(0.0797)^2}{2} \approx 0.99682$$ Empirical Agreement: Across synthetic Gaussian tests, empirical error is $8.08\%$ and SNR is $21.85\text{ dB}$, matching theoretical predictions within 0.11 percentage points and 0.12 dB. $\blacksquare$

    Appendix B: TRDC4B01 Binary Layout Specification & Memory Geometry +

    The TRDC (Tensor Reconstruction Data Container) binary format ensures zero-copy, zero-host-RAM-spike ingestion across consumer systems. Below is the C-struct definition and file memory geometry:

    typedef struct __attribute__((packed)) {
        char     magic[8];        /* Must equal "TRDC4B01" (0x5452444334423031) */
        uint64_t version;         /* Format specification version (currently 1) */
        uint64_t meta_length;     /* Byte length of trailing metadata JSON manifest */
    } TRDCHeader;
    
    /* Ingestion Pipeline (POSIX mmap):
     * 1. fd = open("model.trdc", O_RDONLY);
     * 2. ptr = mmap(NULL, file_size, PROT_READ, MAP_SHARED, fd, 0);
     * 3. Validate header: memcmp(ptr->magic, "TRDC4B01", 8) == 0;
     * 4. Read trailing JSON manifest at offset: file_size - ptr->meta_length;
     * 5. Stream contiguous tensor payloads directly to pinned CUDA DMA buffers.
     */
    Appendix C: Microarchitectural Roofline & GA107 Hardware Telemetry +

    Microarchitectural hardware counters measured on the GA107 GPU die during sustained single-token decoding ($M = 1$):

    Hardware Metric Measured Value Physical Silicon Limit Hardware Utilization
    DRAM Read Bandwidth $34.93\text{ GB/s}$ $192.0\text{ GB/s}$ $18.2\%$ (Limited by small $M=1$ tile sizes)
    L2 Cache Streaming Hit Rate $119.91\text{ GB/s}$ $128.0\text{ GB/s}$ 93.7% L2 Efficiency
    Vector Register Pressure 64 registers / thread 255 registers / thread Zero register spills to local memory
    Active Warp Occupancy $83.4\%$ $100.0\%$ High latency hiding efficiency
    PCIe Host-to-Device Throughput $3.94\text{ GB/s}$ $3.94\text{ GB/s}$ (Gen3 x4) 100.0% PCIe Bus Saturation
    Appendix D: In-Depth Methodological Comparison with Prior Art +

    Detailed technical comparison against specific historical milestones:

    • Vs. GPTQ: GPTQ requires calculating $(X X^T)^{-1}$ over hours of GPU forward passes. SPECTRA derives channel sensitivity directly from LayerNorm/RMSNorm scale parameters $\gamma$ in less than 50 milliseconds without calibration text.
    • Vs. AWQ: AWQ performs grid searches across candidate scale factors to protect top-1% channels. SPECTRA analytically scales Group-32 microscaled blocks and adaptively modulates outlier budgets ($r \le 3.0\%$) using fourth-moment kurtosis.
    • Vs. SpQR: SpQR relies on sparse matrix multiplications ($SpMM$), causing severe thread divergence and cache misses on consumer GPUs. SPECTRA gathers and accumulates outliers directly inside register files within the fused GEMV kernel.
    • Vs. QuIP# / QuaRot: QuIP# requires multiplying activations by dense randomized Hadamard matrices at runtime, adding compute latency. SPECTRA avoids online rotations entirely, relying on Group-32 microscaling.
    Appendix E: Developer Quickstart & Python CLI Guide +

    The open-source SPECTRA repository provides a comprehensive command-line interface (cli.py) and local streaming server (server.py):

    # Clone the open-source repository
    git clone https://github.com/NeuraCryption/SPECTRA.git
    cd SPECTRA
    
    # Install dependencies (requires PyTorch >= 2.2 and Triton)
    pip install -r requirements.txt
    
    # Compress any Hugging Face model without calibration data
    python -m spectra.cli compress \
        --model-id deepseek-ai/DeepSeek-R1-Distill-Qwen-1.5B \
        --output ./models/deepseek-r1-1.5b-spectra.trdc \
        --mode pure-group32
    
    # Run real-time streaming inference on edge hardware
    python -m spectra.cli run \
        --model-path ./models/deepseek-r1-1.5b-spectra.trdc \
        --prompt "Explain quantum decoherence in simple terms:" \
        --max-tokens 512
    
    # Launch OpenAI-compatible local server
    python -m spectra.server --model-path ./models/deepseek-r1-1.5b-spectra.trdc --port 8080
    Appendix F: Frequently Asked Questions (FAQ) +

    Q: What is the core innovation of SPECTRA?
    A: SPECTRA combines calibration-free AST parameter sensitivity analysis with Group-32 microscaling and in-register fused Triton GPU kernels, achieving 3.31x model compression and 82.53 tok/s decoding on 4GB consumer silicon without calibration data or loss of reasoning.

    Q: Why does Group-32 microscaling outperform sparse outlier extraction?
    A: Under extreme value theory, partitioning weights into groups of 32 limits expected maximum parameter variance by 35.5% compared to large groups. Microscaling absorbs heavy-tailed outliers locally without introducing the quantization boundary friction caused by decoupling outliers into sparse matrices.

    Q: How does the AST pre-scanner eliminate calibration data?
    A: In normalized networks, learned affine scale parameters $\gamma$ directly reflect the diagonal Hessian curvature ($F_{jj} \propto |\gamma_j|^2$). Extracting $\gamma$ from the model structure identifies channel sensitivity analytically with zero calibration passes.

    Q: Can SPECTRA be deployed on non-NVIDIA GPUs?
    A: The core SPECTRA engine is written in OpenAI Triton, which supports NVIDIA GPUs (CUDA) and AMD GPUs (ROCm). A fallback PyTorch reference implementation is also provided for CPU and edge NPU environments.

    Q: Where can I review the peer-reviewed research paper?
    A: The full 40-page research publication is permanently archived on Zenodo under DOI 10.5281/zenodo.24058202.

    @article{neuracryption2026spectra,
      title     = {SPECTRA: Sparse-Precision Exact Channel Tensor Reconstruction Architecture for Hardware-Saturated Edge Inference},
      author    = {NeuraCryption Infrastructure Research Lab},
      journal   = {Zenodo Open Research Archive},
      year      = {2026},
      month     = {November},
      doi       = {10.5281/zenodo.24058202},
      url       = {https://doi.org/10.5281/zenodo.24058202},
      publisher = {Zenodo},
      note      = {Open-source reference implementation: https://github.com/NeuraCryption/SPECTRA}
    }
    联系我们 contact @ memedata.com