Certificado único sobre bits e dimensões

∣ ⟨ q, x ⟩ - ⟨ q_{1 : m}, \overset{x}{^}_{1 : m}^{(b)} ⟩ ∣ \leq ∥ q_{1 : m} ∥ ∥ r_{1 : m}^{(b)} ∥ + ∥ q_{m + 1 : d} ∥ ∥ x_{m + 1 : d} ∥

Mecanismo

Com as dimensões ordenadas por energia e um código de $b$ bits lido até o prefixo $m$ :

\langle q,x\rangle=\langle q_{1:m},\hat x^{(b)}_{1:m}\rangle+\langle q_{1:m},r^{(b)}_{1:m}\rangle+\langle q_{m+1:d},x_{m+1:d}\rangle

Cada parcela já existe em separado na literatura. A leitura certificada que mistura planos de bits e dimensões sob um só limite não foi encontrada.

As garantias publicadas sobre códigos de poucos bits são probabilísticas; os métodos determinísticos leem valores em precisão cheia.
A poda exata é fraca em embeddings quase gaussianos: o PDX-BOND perde em OpenAI de 1.536 dimensões.
A compactação de energia pede uma rotação, que pode desfazer a escala diagonal.

Próximo teste. Na tabela 4/4, calcular offline, para uma grade de (m, b), a fração excluída e os bytes lidos até a exclusão.

Parar se. Os bytes lidos na mediana não caírem pela metade em relação ao 4/4, ou o esquema perder em relógio para a varredura em blocos.

O fórum ainda não foi ligado.

As discussões ficam no GitHub Discussions do repositório, via Giscus. Para ativar:

Deixe o repositório público e ative Discussions em Settings.
Crie as categorias Caminhos, Perguntas, Resultados e reproduções e Propostas novas.
Instale o app em github.com/apps/giscus.
Gere os IDs em giscus.app e preencha GISCUS em src/config.ts.