Searcharxiv⌕ Search

arXiv subjects

Mohamed A. Mabrok

Publications and source records attributed to Mohamed A. Mabrok.

7 recordsLinked to original sources

Latent Semantic Manifolds in Large Language Models

Large Language Models (LLMs) perform internal computations in continuous vector spaces yet produce discrete tokens -- a fundamental mismatch whose geometric consequences remain poorly understood. We develop a mathematical framework that interprets LLM hidden states as points on a latent semantic manifold: a Riemannian submanifold equipped with the Fisher information metric, where tokens correspond to Voronoi regions partitioning the manifold. We define the expressibility gap, a geometric measure of the semantic distortion from vocabulary discretization, and prove two theorems: a rate-distortion lower bound on distortion for any finite vocabulary, and a linear volume scaling law for the expressibility gap via the coarea formula. We validate these predictions across six transformer architectures (124M-1.5B parameters), confirming universal hourglass intrinsic dimension profiles, smooth curvature structure, and linear gap scaling with slopes 0.87-1.12 (R^2 > 0.985). The margin distribution across models reveals a persistent hard core of boundary-proximal representations invariant to scale, providing a geometric decomposition of perplexity. We discuss implications for architecture design, model compression, decoding strategies, and scaling laws

cs.LG↗

X-VMamba: Explainable Vision Mamba

State Space Models (SSMs), particularly the Mamba architecture, have recently emerged as powerful alternatives to Transformers for sequence modeling, offering linear computational complexity while achieving competitive performance. Yet, despite their effectiveness, understanding how these Vision SSMs process spatial information remains challenging due to the lack of transparent, attention-like mechanisms. To address this gap, we introduce a controllability-based interpretability framework that quantifies how different parts of the input sequence (tokens or patches) influence the internal state dynamics of SSMs. We propose two complementary formulations: a Jacobian-based method applicable to any SSM architecture that measures influence through the full chain of state propagation, and a Gramian-based approach for diagonal SSMs that achieves superior speed through closed-form analytical solutions. Both methods operate in a single forward pass with linear complexity, requiring no architectural modifications or hyperparameter tuning. We validate our framework through experiments on three diverse medical imaging modalities, demonstrating that SSMs naturally implement hierarchical feature refinement from diffuse low-level textures in early layers to focused, clinically meaningful patterns in deeper layers. Our analysis reveals domain-specific controllability signatures aligned with diagnostic criteria, progressive spatial selectivity across the network hierarchy, and the substantial influence of scanning strategies on attention patterns. Beyond medical imaging, we articulate applications spanning computer vision, natural language processing, and cross-domain tasks. Our framework establishes controllability analysis as a unified, foundational interpretability paradigm for SSMs across all domains. Code and analysis tools will be made available upon publication

cs.CV↗

RISCuer: A Reliable Multi-UAV Search and Rescue Testbed

We present the Robotics Intelligent Systems & Control (RISC) Lab multiagent testbed for reliable search and rescue and aerial transport in outdoor environments. The system consists of a team of three multirotor unmanned aerial vehicles (UAVs), which are capable of autonomously searching, picking up, and transporting randomly distributed objects in an outdoor field. The method involves vision based object detection and localization, passive aerial grasping with our novel design, GPS based UAV navigation, and safe release of the objects at the drop zone. Our cooperative strategy ensures safe spatial separation between UAVs at all times and we prevent any conflicts at the drop zone using communication enabled consensus. All computation is performed onboard each UAV. We describe the complete software and hardware architecture for the system and demonstrate its reliable performance using comprehensive outdoor experiments, and by comparing our results with some recent, similar works.

cs.RO↗

Lyapunov-based Stability of Feedback Interconnections of Negative Imaginary Systems

Feedback control systems using sensors and actuators such as piezoelectric sensors and actuators, micro-electro-mechanical systems (MEMS) sensors and opto-mechanical sensors, are allowing new advances in designing such high precision technologies. The negative imaginary control systems framework allows for robust control design for such high precision systems in the face of uncertainties due to un modelled dynamics. The stability of the feedback interconnection of negative imaginary systems has been well established in the literature. However, the proofs of stability feedback interconnection which are used in some previous papers have a shortcoming due to a matrix inevitability issue. In this paper we provide a new and correct Lyapunobv-based proof of one such result and show that the result is still true.

math.OC↗

Ultra-wide frequency response measurement of an optical system with a DC photo-detector

Precise knowledge of an optical device's frequency response is crucial for it to be useful in most applications. Traditional methods for determining the frequency response of an optical system (e.g. optical cavity or waveguide modulator) usually rely on calibrated broadband photo-detectors or complicated RF mixdown operations. As the bandwidths of these devices continue to increase, there is a growing need for a characterization method that does not have bandwidth limitations, or require a previously calibrated device. We demonstrate a new calibration technique on an optical system (consisting of an optical cavity and a high-speed waveguide modulator) that is free from limitations imposed by detector bandwidth, and does not require a calibrated photo-detector or modulator. We use a low-frequency (DC) photo-detector to monitor the cavity's optical response as a function of modulation frequency, which is also used to determine the modulator's frequency response. Knowledge of the frequency-dependent modulation depth allows us to more precisely determine the cavity's characteristics (free spectral range and linewidth). The precision and repeatability of our technique is demonstrated by measuring the different resonant frequencies of orthogonal polarization cavity modes caused by the presence of a non-linear crystal. Once the modulator has been characterized using this simple method, the frequency response of any passive optical element can be determined.

physics.ins-det↗

Sampling-based Learning Control for Quantum Systems with Uncertainties

Robust control design for quantum systems has been recognized as a key task in the development of practical quantum technology. In this paper, we present a systematic numerical methodology of sampling-based learning control (SLC) for control design of quantum systems with uncertainties. The SLC method includes two steps of "training" and "testing". In the training step, an augmented system is constructed using artificial samples generated by sampling uncertainty parameters according to a given distribution. A gradient flow based learning algorithm is developed to find the control for the augmented system. In the process of testing, a number of additional samples are tested to evaluate the control performance where these samples are obtained through sampling the uncertainty parameters according to a possible distribution. The SLC method is applied to three significant examples of quantum robust control including state preparation in a three-level quantum system, robust entanglement generation in a two-qubit superconducting circuit and quantum entanglement control in a two-atom system interacting with a quantized field in a cavity. Numerical results demonstrate the effectiveness of the SLC approach even when uncertainties are quite large, and show its potential for robust control design of quantum systems.

quant-ph↗

A New Stability Result for the Feedback Interconnection of Negative Imaginary Systems with a Pole at the Origin

This paper is concerned with stability conditions for the positive feedback interconnection of negative imaginary systems. A generalization of the negative imaginary lemma is derived, which remains true even if the transfer function has poles on the imaginary axis including the origin. A sufficient condition for the internal stability of a feedback interconnection for NI systems including a pole at the origin is given and an illustrative example is presented to support the result.

math.OC↗