arXiv ScienceSearch

arXiv subjects

Luis Rodriguez

Publications and source records attributed to Luis Rodriguez.

7 recordsLinked to original sources

Block-equivalent finite Gabor frames

We study finite systems of vectors whose frame operator matrices are unitarily equivalent, via explicit and computationally efficient unitary transformations, to block-diagonal matrices. We call such systems block-equivalent. We show that a Gabor system $\mathcal{G}=\mathcal{G}(g,L\times K)\subset \mathbb C^N$ is block-equivalent when either the modulation set $L$ or the translation set $K$ is a subgroup of $\mathbb Z_N$. We also characterize situations in which the frame operator matrix becomes diagonal. Finally, we show that geometric conditions on subsets of $\mathbb Z_N$ force certain diagonals of the frame operator matrix of $\mathcal{G}$ to vanish, yielding additional sparsity and block structures.

math.FA

Reason and Verify: A Framework for Faithful Retrieval-Augmented Generation

Retrieval-Augmented Generation (RAG) significantly improves the factuality of Large Language Models (LLMs), yet standard pipelines often lack mechanisms to verify inter- mediate reasoning, leaving them vulnerable to hallucinations in high-stakes domains. To address this, we propose a domain-specific RAG framework that integrates explicit rea- soning and faithfulness verification. Our architecture augments standard retrieval with neural query rewriting, BGE-based cross-encoder reranking, and a rationale generation module that grounds sub-claims in specific evidence spans. We further introduce an eight-category verification taxonomy that enables fine-grained assessment of rationale faithfulness, distinguishing between explicit and implicit support patterns to facilitate structured error diagnosis. We evaluate this framework on the BioASQ and PubMedQA benchmarks, specifically analyzing the impact of dynamic in-context learning and rerank- ing under constrained token budgets. Experiments demonstrate that explicit rationale generation improves accuracy over vanilla RAG baselines, while dynamic demonstration selection combined with robust reranking yields further gains in few-shot settings. Using Llama-3-8B-Instruct, our approach achieves 89.1% on BioASQ-Y/N and 73.0% on Pub- MedQA, competitive with systems using significantly larger models. Additionally, we perform a pilot study combining human expert assessment with LLM-based verification to explore how explicit rationale generation improves system transparency and enables more detailed diagnosis of retrieval failures in biomedical question answering.

cs.CL

Additive Stability of Frames

Given a frame in a finite dimensional Hilbert space we construct additive perturbations which decrease the condition number of the frame. By iterating this perturbation, we introduce an algorithm that produces a tight frame in a finite number of steps. Additionally, we give sharp bounds on additive perturbations which preserve frames and we study the effect of appending and erasing vectors to a given tight frame. We also discuss under which conditions our finite-dimensional results are extendable to infinite-dimensional Hilbert spaces.

math.FA

DREAMS: Drilling and Extraction Automated System

Drilling and Extraction Automated System (DREAMS) is a fully automated prototype-drilling rig that can drill, extract water and assess subsurface density profiles from simulated lunar and Martian subsurface ice. DREAMS system is developed by the Texas A&M drilling automation team and composed of four main components: 1- tensegrity rig structure, 2- drilling system, 3- water extracting and heating system, and 4- electronic hardware, controls, and machine algorithm. The vertical and rotational movements are controlled by using an Acme rod, stepper, and rotary motor. DREAMS is a unique system and different from other systems presented before in the NASA Rascal-Al competition because 1- It uses the tensegrity structure concept to decrease the system weight, improve mobility, and easier installation in space. 2- It cuts rock layers by using a short bit length connected to drill pipes. This drilling methodology is expected to drill hundreds and thousands of meters below the moon and Martian surfaces without any anticipated problems (not only 1 m.). 3- Drilling, heating, and extraction systems are integrated into one system that can work simultaneously or individually to save time and cost.

cs.RO

In Search of Circumstellar Disks Around Young Massive Stars

We present 7 mm, 1.3 cm and 3.6 cm continuum observations made with the Very Large Array toward a sample of ten luminous IRAS sources that are believed to be regions of massive star formation. We detect compact 7 mm emission in four of these objects: IRAS 18089-1732(1), IRAS 18182-1433, IRAS 18264-1152 and IRAS 18308-0841 and for the first time find that these IRAS sources are associated with double or triple radio sources separated by a few arcseconds. We discuss the characteristics of these sources based mostly on their spectral indices and find that their nature is diverse. Some features indicate that the 7 mm emission is dominated by dust from disks or envelopes. Toward other components the 7 mm emission appears to be dominated by free-free radiation, both from ionized outflows or from optically thick H II regions. Furthermore, there is evidence of synchrotron contamination in some of these sources. Finally, we found that the sources associated with ionized outflows, or thermal jets are correlated with CH$_3$OH masers. The precise determination of the nature of these objects requires additional multifrequency observations at high angular resolution. The 3.6 cm continuum observations also revealed seven UCHII regions in the vicinity of the sources IRAS 18089-1732(1) and two more in the source IRAS 18182-1433. We show that the small photoionized nebulae of these UCHII regions are produced by early B-type stars.

astro-ph

PKS 1622-253: A Weakly Accreting, Powerful Gamma Ray Source

In this Letter, we discuss new deep radio observations of PKS 1622-253 and their implications for the energetics of the central engine that powers this strong high energy gamma-ray source. Combining archival infrared and optical measurements with new millimeter observations, we show that even though the accretion flow in PKS 1622-253 is under-luminous by quasar standards, a powerful super-luminal jet is launched with a higher kinetic luminosity than most EGRET blazars. Only a few percent of the total jet kinetic luminosity is required to power even the most powerful gamma ray flares that are observed. The implication is that a high accretion system is not required to power the strongest high energy gamma ray sources.

astro-ph