La abundancia de muestras es un paradigma de procesamiento de señales en el que se aprovechan grandes cantidades de mediciones de baja precisión —a menudo muestras de un bit producidas por comparadores con umbrales variables en el tiempo— para recuperar señales o parámetros con alta fidelidad y menor coste computacional. [ 1 ] En lugar de imponer restricciones difíciles (por ejemplo, semidefinición positiva o rango bajo) durante la reconstrucción, muchos problemas bajo abundancia de muestras se reformulan como tareas de factibilidad lineal sobredeterminadas definidas por desigualdades de semiespacio. Con suficientes mediciones binarias, estas desigualdades confinan la solución a una pequeña región poliédrica alrededor de la verdad fundamental, lo que hace innecesarias las restricciones que antes eran esenciales. Más allá de un número crítico de muestras, la carga algorítmica colapsa repentinamente, un fenómeno que puede denominarse singularidad de abundancia de muestras . [ 2 ]

Fondo
Los convertidores analógico-digitales (ADC) de uno o pocos bits son atractivos en aplicaciones como MIMO masivo y radar porque los comparadores son económicos, rápidos y de bajo consumo energético. La introducción de dither o umbrales variables en el tiempo permite que los signos binarios conserven suficiente información estadística para la estimación, incluyendo la covarianza y la recuperación del espectro mediante resultados de la ley del arcoseno generalizada. [ 3 ] [ 4 ] Las arquitecturas híbridas como Unlimited One-Bit Sampling (UNO) combinan el plegado modular con umbrales de un bit para aumentar aún más el rango dinámico manteniendo un bajo coste de hardware. [ 5 ] Los esfuerzos relacionados abarcan la estimación de canales MIMO de baja resolución y el procesamiento de radar con datos binarios. [ 6 ] [ 7 ]
Definición
Supongamos que se obtiene una muestra de un bit comparando una medición.con un umbral: Cada observación produce la desigualdad lineal.. Apilando muchas muestras y escribiendopara detección lineal da como resultado el poliedro de un bit :
- ,
dóndecolecciona filas firmadas deyapila los términos umbral. Bajo abundancia de muestra (muchas más desigualdades que incógnitas),Por lo general, tiene un volumen finito cerca de la verdad fundamental y se reduce a medida que se agregan más muestras. [ 1 ]
singularidad de abundancia de muestras
La singularidad de abundancia de muestras se refiere al cambio de régimen observado en el que, después de superarse un umbral de medición dependiente del problema, los requisitos computacionales se reducen de programas no convexos o restringidos (por ejemplo, formulaciones semidefinidas o con restricción de rango) a proyecciones simples sobre semiplanos lineales. En este régimen, imponer la semidefinición positiva, el rango o la escasez puede resultar innecesario porque el conjunto factible poliédrico ya localiza la solución dentro de la precisión deseada. [ 8 ] [ 1 ]
Formulación matemática y ejemplos
recuperación de fase
Con mediciones cuadráticas conocidas solo a través de comparaciones de un bit con umbrales, cada muestra binaria impone una desigualdad en la variable elevada.: Más allá de un muestreo amplio, las restricciones explícitas de PSD y de rango uno utilizadas por los programas semidefinidos (por ejemplo, PhaseLift) pueden omitirse en la práctica. [ 8 ] [ 9 ]
Detección de matrices de bajo rango
Para mediciones lineales, señales de un bitdefine un poliedro en el espacio matricial; con muestras abundantes, las restricciones de norma nuclear o de rango pueden volverse opcionales para imponer. [ 10 ]
Detección comprimida
Dadoy señales, el conjunto factible
puede localizar un vector disperso sin explícitominimización cuando hay muchas comparaciones binarias disponibles. [ 11 ] [ 12 ]
Algoritmos
Debido a que la abundancia de muestras produce sistemas sobredeterminados de desigualdades lineales, los métodos de proyección son naturales. El algoritmo aleatorio de Kaczmarz (RKA) selecciona una fila al azar y proyecta la iteración; para sistemas consistentes, converge linealmente en esperanza a una tasa gobernada por un número de condición escalado . [ 13 ] [ 14 ] El método de muestreo de Kaczmarz-Motzkin (SKM) extrae un mini-lote de filas, elige la restricción más violada y proyecta, acelerando a menudo la convergencia en sistemas grandes. [ 15 ] También se han reportado variantes desplegadas y plug-and-play adaptadas a datos de un bit para mayor velocidad y robustez. [ 1 ]
Propiedad de volumen finito
La propiedad de volumen finito (FVP) proporciona límites de complejidad de muestra que aseguran que el poliedro formado por desigualdades de un bit tenga un volumen pequeño (por ejemplo, se encuentra dentro de un-bola alrededor de la verdad). Para mediciones isotrópicas, un conjunto de resultados implica que
- Las muestras arrojan error,
con mejorasescalado cuando la señal pertenece a conjuntos estructurados (por ejemplo, vectores dispersos o matrices de bajo rango) cuyas entropías de Kolmogorov son menores. [ 1 ] [ 16 ] Estas garantías ayudan a explicar por qué las restricciones explícitas de PSD, rango o dispersión pueden volverse redundantes una vez que el número de comparaciones binarias supera un umbral dependiente del problema. [ 1 ]
Aplicaciones
- Receptores de baja resolución en comunicaciones y detección MIMO masivas. [ 17 ]
- Detección por radar y automoción, incluyendo la dirección de llegada basada en covarianza y la compleción de matrices de Hankel de un bit . [ 18 ] [ 19 ]
- Muestreo ilimitado/de un bit para señales de ancho de banda limitado y tasa de innovación finita, e imágenes HDR con umbrales variables. [ 20 ]
Véase también
Referencias
- 1 2 3 4 5 6 Eamaz, Arian; Yeganegi, Farhang; Needell, Deanna; Soltanalian, Mojtaba (2024). "Aprovechando el poder de la abundancia de muestras: garantías teóricas y algoritmos para la detección acelerada de un bit" . IEEE Transactions on Information Theory . 70 (9): 6690– 6713. Bibcode : 2024ITIT...70.6690E . doi : 10.1109/TIT.2024.3422918 .
- ↑ "Seminario web SA-TWG: Nuevas fronteras en el procesamiento de señales de un bit: De la abundancia de muestras a la inteligencia eficiente a escala" . Sociedad de Procesamiento de Señales del IEEE . IEEE.
- ↑ Eamaz, Arian; Yeganegi, Farhang; Soltanalian, Mojtaba (2023). "Recuperación de covarianza para señales estacionarias muestreadas de un bit con umbrales de muestreo variables en el tiempo". Procesamiento de señales . 206 108899. arXiv : 2203.09460 . Bibcode : 2023SigPr.20608899E . doi : 10.1016/j.sigpro.2022.108899 .
- ↑ Eamaz, Arian; Yeganegi, Farhang (2022). "Recuperación de covarianza para señales no estacionarias muestreadas de un bit con umbrales de muestreo variables en el tiempo" . IEEE Transactions on Signal Processing . 70 : 5222–5236 . Bibcode : 2022ITSP...70.5222E . doi : 10.1109/TSP.2022.3217379 .
- ↑ Eamaz, Arian; Mishra, Kumar V.; Yeganegi, Farhang; Soltanalian, Mojtaba (2024). "UNO: Unlimited Sampling Meets One-Bit Quantization". IEEE Transactions on Signal Processing . 72 : 997– 1014. arXiv : 2301.10155 . Bibcode : 2024ITSP...72..997E . doi : 10.1109/TSP.2024.3356253 .
- ↑ Mezghani, Amine; Swindlehurst, A. Lee (2018). "Estimación ciega de canales MIMO masivos de banda ancha dispersos con ADC ideales y de un bit". IEEE Transactions on Signal Processing . 66 (11): 2972– 2983. arXiv : 1709.06698 . Bibcode : 2018ITSP...66.2972M . doi : 10.1109/TSP.2018.2821640 .
- ↑ Ameri, Aria; Bose, Arindam; Li, Jian; Soltanalian, Mojtaba (2019). "Procesamiento de radar de un bit con umbrales de muestreo variables en el tiempo". IEEE Transactions on Signal Processing . 67 (20): 5297– 5308. arXiv : 1911.10170 . Bibcode : 2019ITSP...67.5297A . doi : 10.1109/TSP.2019.2939086 .
- 1 2 Eamaz, Arian; Yeganegi, Farhang; Soltanalian, Mojtaba (2022). "Recuperación de fase de un bit: ¿Más muestras significan menos complejidad?". IEEE Transactions on Signal Processing . 70 : 4618– 4632. arXiv : 2203.08982 . Bibcode : 2022ITSP...70.4618E . doi : 10.1109/TSP.2022.3208430 .preimpresión

- ↑ Eamaz, Arian; Yeganegi, Farhang; Needell, Deanna; Soltanalian, Mojtaba (2023). Detección comprimida cuadrática de un bit: de la abundancia de muestras a la viabilidad lineal . Simposio internacional IEEE sobre teoría de la información (ISIT). doi : 10.1109/ISIT54713.2023.10206479 .
- ↑ Yeganegi, Farhang; Eamaz, Arian; Soltanalian, Mojtaba (2024). Detección de matrices de bajo rango con cuantización de un bit con tramado . Simposio Internacional IEEE sobre Teoría de la Información (ISIT). pp. 527– 532. doi : 10.1109/ISIT57864.2024.10619615 .
- ↑ Dirksen, Sjoerd; Mendelson, Shahar (2021). "Teselaciones de hiperplanos no gaussianos y detección comprimida robusta de un bit". Journal of the European Mathematical Society . 23 (9): 2913– 2947. arXiv : 1805.09409 . doi : 10.4171/JEMS/1066 .
- ↑ Xu, Chunlei; Jacques, Laurent (2020). "Detección compresiva cuantificada con matrices RIP: el beneficio del tramado". Information and Inference . 9 (3): 543– 586. doi : 10.1093/imaiai/iaz021 . hdl : 2078.1/216652 .
- ↑ Strohmer, Thomas; Vershynin, Roman (2009). "Un algoritmo de Kaczmarz aleatorio con convergencia exponencial". Journal of Fourier Analysis and Applications . 15 (2): 262– 278. arXiv : math/0702226 . Bibcode : 2009JFAA...15..262S . doi : 10.1007/s00041-008-9030-4 .
- ↑ Leventhal, Daniel; Lewis, Adrian S. (2010). "Métodos aleatorios para restricciones lineales: tasas de convergencia y condicionamiento". Matemáticas de la investigación operativa . 35 (3): 641– 654. doi : 10.1287/moor.1100.0456 .
- ↑ De Loera, Jesús A.; Haddock, John; Needell, Deanna (2017). "Un algoritmo de muestreo de Kaczmarz-Motzkin para la factibilidad lineal". SIAM Journal on Scientific Computing . 39 (5): S66– S87. arXiv : 1605.01418 . Bibcode : 2017SJSC...39S..66D . doi : 10.1137/16M1073807 .
- ↑ Jacques, Laurent; Cambareri, Vittorio (2017). "Time for Dithering: Fast and Quantized Random Inceddings via the Restricted Isometry Property". Information and Inference . 6 (4): 441– 476. arXiv : 1607.00816 . doi : 10.1093/imaiai/iax004 .
- ↑ Mezghani, Amine; Swindlehurst, A. Lee (2018). "Estimación ciega de canales MIMO masivos de banda ancha dispersos con ADC ideales y de un bit". IEEE Transactions on Signal Processing . 66 (11): 2972– 2983. arXiv : 1709.06698 . Bibcode : 2018ITSP...66.2972M . doi : 10.1109/TSP.2018.2821640 .
- ↑ Ameri, Aria; Bose, Arindam; Li, Jian; Soltanalian, Mojtaba (2019). "Procesamiento de radar de un bit con umbrales de muestreo variables en el tiempo". IEEE Transactions on Signal Processing . 67 (20): 5297– 5308. arXiv : 1911.10170 . Bibcode : 2019ITSP...67.5297A . doi : 10.1109/TSP.2019.2939086 .
- ↑ Eamaz, Arian; Yeganegi, Farhang; Hu, Yunqiao; Sun, Shunqiao; Soltanalian, Mojtaba (2024). "Detección por radar automotriz con matrices lineales dispersas mediante la completación de matrices de Hankel de un bit". Conferencia IEEE de Radar 2024 (RadarConf24) . págs. 1–6 . doi : 10.1109/RadarConf2458775.2024.10548330 . ISBN 979-8-3503-2920-9.
- ↑ Eamaz, Arian; Mishra, Kumar V.; Yeganegi, Farhang; Soltanalian, Mojtaba (2023). "Muestreo ilimitado mediante cuantización de un bit". Conferencia Internacional de 2023 sobre Teoría y Aplicaciones del Muestreo (SampTA) . págs. 1–5 . doi : 10.1109/SampTA59647.2023.10301408 . ISBN 979-8-3503-2885-1.
- Procesamiento de señales