Asynchronous Multi-Channel USF: Modified CRT for Modulo Unfolding

Resumo Técnico: USF Multicanal Assíncrono via CRT Modificado para Desdobramento de Módulo

Enunciado do Problema
O Estrutura de Amostragem Ilimitada (USF - Unlimited Sampling Framework) aborda o tradicional compromisso entre faixa dinâmica (DR - dynamic range) e resolução digital ao empregar não-linearidades controladas (dobramento de sinal) no domínio analógico, seguidas de reconstrução digital. Embora extensões Multicanais (MC) de USF tenham sido propostas para permitir a reconstrução a partir de múltiplas medições dobradas em taxas de amostragem críticas, os métodos existentes dependem fortemente do Teorema Chinês do Resto (CRT). Uma limitação crítica das abordagens atuais baseadas em CRT é a sua exigência estrita de sincronização de amostragem ao nível de canal (ou seja, amostras alinhadas no tempo ou equiespaçadas entre os canais). Em cenários práticos, essa suposição é frequentemente violada devido ao drift de clock, jitter, sincronização imperfeita ou à natureza inerente de sistemas assíncronos (por exemplo, arquiteturas de multi-coset com amostragem irregular). Quando os deslocamentos temporais ($T_l$) não são uniformes, a estrutura padrão do CRT colapsa, tornando as garantias de recuperação existentes inaplicáveis e limitando a implementação do MC-USF no mundo real.

Metodologia
Este artigo propõe uma arquitetura MC-USF assíncrona que elimina a necessidade de sincronização estrita ao aproveitar a suavidade inerente de sinais limitados em banda. A metodologia central envolve as seguintes etapas:

1. Modelagem Baseada em Teoria dos Grafos: Os autores modelam as amostras multicanais em um instante de tempo fixo como um grafo completo onde os nós representam as medições dobradas de diferentes canais. O insight fundamental é que a natureza limitada em banda do sinal subjacente $g(t)$ impõe uma "restrição de suavidade" sobre este grafo. Especificamente, a diferença entre quaisquer duas amostras de canais é limitada pela frequência máxima do sinal ($\Omega$), sua faixa dinâmica ($\|g\|_{L\infty}$) e o desvio máximo de deslocamento temporal ($t_c^n$) entre os canais.
2. Programação Inteira Restrita: Em vez de resolver um problema de otimização combinatória padrão (que é computacionalmente intratável para $N$ e $L$ grandes), os autores formulam a recuperação dos resíduos inteiros ($\gamma_l^n$) como um problema de programação inteira. O objetivo é minimizar a norma $\ell_\infty$ das diferenças do grafo:
   $$\min_{\tilde{\gamma}^n \in \mathbb{Z}^L} \| B y^n + 2 B \Lambda \tilde{\gamma}^n \|_{\ell_\infty}$$
   sujeito a restrições derivadas da condição de suavidade do grafo. Aqui, $B$ é a matriz de incidência do grafo completo, $y^n$ representa as medições dobradas e $\Lambda$ é uma matriz diagonal de limiares de dobramento.
3. Garantias Teóricas: O artigo estabelece o Teorema 1, que prova que a recuperação exata e única do sinal é possível mesmo com deslocamentos temporais não uniformes, desde que:
   • Os limiares de dobramento $\lambda_l$ sejam relacionados por inteiros primos entre si ($\lambda_l = \lambda \kappa_l$).
   • A faixa dinâmica do sinal satisfaça um limite específico envolvendo o mínimo múltiplo comum (LCM) dos valores de $\kappa_l$ e o desvio máximo de deslocamento temporal.
   • A condição de suavidade do grafo seja mantida, garantindo que a solução para a minimização inteira coincida com a verdade fundamental (ground truth).

Principais Contribuições

• Extensão Assíncrona do CRT: O trabalho generaliza a estrutura USF baseada em CRT para configurações assíncronas, removendo a exigência de $T_l = 0$ (alinhamento temporal).
• Recuperação Baseada em Suavidade: Ao visualizar o levantamento (lifting) espaço-temporal do sinal como um indutor de suavidade sobre um grafo de canais de detecção, os autores desenvolvem uma estratégia de reconstrução robusta a desalinhamento temporal, jitter e drift.
• Compatibilidade Retroativa: A formulação proposta permanece compatível com arquiteturas multicanais existentes, como a amostragem de multi-coset, permitindo a reconstrução do tipo CRT em cenários anteriormente considerados inacessíveis devido a padrões de amostragem irregulares.
• Algoritmo Eficiente: O método transforma um problema potencialmente intratável de natureza combinatória em uma minimização inteira restrita que pode ser resolvida eficientemente, mesmo para conjuntos de dados de escala de milhões.

Resultos Experimentais
Experimentos numéricos foram conduzidos utilizando uma arquitetura de multi-coset de dois canais com quantização de 10 bits e sinais limitados em banda (3,2 kHz a 6,5 kHz).

• Precisão: O método recuperou com sucesso as amostras até a precisão dos ADCs de módulo ($\max \lambda_l / (2^B - 1)$), validando os limites teóricos.
• Desempenho: No regime de sobreamostragem média, a abordagem alcançou estimativas de sinal de alta precisão (Erro Quadrático Médio $< 5 \times 10^{-4}$) com até 20 vezes de sobreamostragem.
• Robustez: Mesmo quando levado próximo à taxa de Nyquist, onde a correlação temporal diminui, o método demonstrou uma reconstrução de sinal razoável e expansão significativa da faixa dinâmica, superando métodos tradicionais de filtragem não linear ou partição de Fourier nestes regimes de baixa correlação.

Significância
O artigo afirma que este trabalho amplia significativamente a aplicabilidade da recuperação baseada em CRT para sistemas de detecção práticos onde o descasamento de clock ou a aquisição assíncrona são inevitáveis. Ao unificar a detção MC síncrona e assíncrona dentro de um fluxo de trabalho USF comum, os autores permitem a detecção de alta faixa dinâmica e alta resolução sem o ônus de hardware de uma sincronização estrita. Os resultados validam que a recuperação exata é teoricamente garantida e praticamente alcançável sob condições moderadas, oferecendo uma solução robusta para implementações de detecção ilimitada multicanal no mundo real.