LIGO/Virgo — retenção e veto de canais auxiliares

Um detector de ondas gravitacionais carrega ~10⁵ canais auxiliares (sismômetros, magnetômetros, microfones do sítio) a 16 kHz, guardados para veto: decidir se um candidato é real ou um glitch ambiental. O TUBE retém essa frota com bound provável e transforma o veto numa consulta certificada. Dado real: strain de 16 kHz do GWOSC (GW150914 + GW151226, H1/L1).

O canal — strain real de 16 kHz (o que se retém, ×10⁵)

GW150914 · H1 · 32 s decimados · ruído quase branco: o gzip lossless mal comprime, mas o info real cabe abaixo do ε

Retenção certificada · ε = std/1000 (near-lossless)

gzip losslessSZ3TUBE (±ε)

Empate técnico com o SZ3 (2,18 vs 2,15 MB, 7,7× vs cru) — o gzip lossless só faz 1,05× porque strain é ruído. O ganho vem de podar o que está abaixo do ε, e o bound do TUBE nunca é violado. Multiplique por 10⁵ canais: é a frota inteira retida.

Veto = prova de ausência

limiar 6σ (glitch) · janela do candidato

[0, 0]
nenhum glitch coincidente
0,00%
do stream tocado (0/1748 GOPs)

O deadband é a prova: certifica que nada cruzou o limiar → o candidato não é vetado, sem descomprimir. Para a ciência, provar o não-glitch limpa o evento.

O limite honesto — onde a surpresa vê, e onde não vê

a mesma régua da casa: transiente ALTO é visível; sinal SUB-RUÍDO precisa de filtro casado (o "limite da baleia")

O sinal do GW é sub-ruído no strain cru — a surpresa e o CLAMP não o veem (só matched filtering o extrai). Mas o alvo do veto é o glitch alto, que fica do lado detectável. Por isso o caso funciona: veto persegue o transiente forte, não o sinal enterrado.

A proveniência do veto, assinada

🔏
Canal + tempo do veto selados no livro-razão GIRDER — verificado
ligo-aux · strain 16 kHz · cabeça cd390c92a64b6be8… · Ed25519, encadeado, carimbado PLUMB

As honestidades. acesso os 10⁵ canais PEM são internos à colaboração; medimos no strain aberto de 16 kHz (mesmo rate e mesmo problema de retenção) — a frota multiplica por canal; o glitch famoso do GW170817 só está aberto na versão já limpa. bytes empatam com o SZ3 — a venda é retenção da frota + proveniência de veto assinada, não tamanho. função o mecanismo CLAMP está validado (o bracket sempre contém a verdade); a detecção localizada de glitch precisaria de um segmento com glitch aberto. TUBE, SZ3 e gzip medidos no mesmo dado, bound idêntico.