arXiv:2607.16015v2 Announce Type: replace
Abstract: 6D pose estimation remains a key challenge in robotics and computer vision, particularly in industrial environments. The deployment of currently available data-driven methods is often limited by resource-intensive data pipelines, reliance on textured 3D models, and sensitivity to geometric deviations caused by damages or assembly defects. We present PIXIE, a zero-shot framework that estimates the 6D pose of an object from an RGB image using only an untextured 3D model. Synthetic depth and normal maps are rendered from sampled reference viewpoints and matched to the query image via a pretrained cross-modality feature matcher. Matched keypoints are back-projected to obtain 2D--3D correspondences for PnP-based pose estimation. Relying exclusively on geometry makes the method inherently robust to lighting and texture variation, while correspondence filtering handles geometric deviations between the model and physical object. We evaluate on widely-used public benchmarks, reporting state-of-the-art results on texture-less objects without object-specific training, and introduce a novel dataset with assembly defects, texture variations, and occlusion to demonstrate real-world applicability.
Science Journals
arXiv:2607.16051v2 Announce Type: replace
Abstract: We present the Loopie series, consisting of two Mixture-of-Experts (MoE) models: a 20B-parameter model with 2B active parameters and a 6B-parameter model with 0.6B active parameters. Looped Transformers have long faced a challenge: given an N times increase in pre-training compute, increasing the parameter count by a factor of N usually outperforms looping a model N times. Loopie addresses this challenge. Extensive ablation studies, including comparisons with a vanilla 30B-A3B model, show that Loopie substantially outperforms vanilla Transformer baselines trained with the same compute budget. With a novel post-training method, Loopie develops strong reasoning abilities and achieves frontier-level reasoning performance.
arXiv:2607.16169v2 Announce Type: replace
Abstract: Muon is competitive with AdamW in large-scale pre-training, but its value for reinforcement-learning (RL) post-training remains unclear. We study vanilla Muon in sparse-reward agentic RL through matched single-seed comparisons with AdamW on ALFWorld using Qwen2.5-0.5B-Instruct. Under Group-in-Group Policy Optimization (GiGPO), applying Muon only to hidden weight matrices raises final-window validation success from 0.290 to 0.546 (+88%); high-rate AdamW controls retain no post-update success. The effect depends on the advantage estimator and learning rate. At 3e-5, Muon improves GRPO from 0.161 to 0.268, whereas GraphGPO's late-window gap narrows near saturation. At 1e-5, GraphGPO Muon reaches 0.901, raises normalized validation AUC from 0.399 to 0.556, and reaches 0.5 and 0.75 success 30 and 60 updates earlier, respectively. These exploratory results show that Muon can benefit agentic RL and motivate studying the policy optimizer, advantage estimator, and learning rate jointly.
arXiv:2110.13814v4 Announce Type: replace-cross
Abstract: We study actual bidding behavior when a new auction format gets introduced into the marketplace. More specifically, we investigate this question using a novel dataset on internet display advertising auctions that exploits a staggered adoption by different publishers (sellers) of first-price auctions (FPAs), instead of the traditional second-price auctions (SPAs). We analyze the auction format change using difference-in-differences regressions and a synthetic difference-in-differences estimator, which better handles pre-trends. The results show that revenue per sold impression (price) jumps considerably for treated publishers relative to control publishers, with increases ranging from 25% to 70% of the pre-treatment price level of the treated group. Moreover, for later auction format changes, the increase in price levels under FPAs relative to those under SPAs tends to dissipate over time, reminiscent of the revenue equivalence theorem, although the extent of this reversion depends on the specification. We view these results as suggestive of initially insufficient bid shading following the format change, as opposed to an immediate transition to a new Bayesian Nash equilibrium, with prices tending to decline in several specifications in a manner consistent with gradual adjustment in bidding behavior as bidders learn to shade their bids. Our work constitutes one of the first field studies on bidders'responses to auction format changes, providing an important complement to theoretical model predictions. As such, it provides valuable information to auction designers when considering the implementation of different formats.
arXiv:2509.14335v2 Announce Type: replace
Abstract: Automated malware classifiers achieve strong detection performance, but auditing requires more than flagging a sample: analysts must explain malicious behaviors and justify them with code evidence. Traditional signature-based methods and learning-based XAI often fail to provide such support in a human-interpretable form. Large Language Models (LLMs) appear promising, yet their reliability for malware auditing remains unclear. Evaluation faces three challenges: (1) the lack of human-written behavioral ground truth; (2) real-world codebases that exceed current context limits; and (3) the lack of reliable mechanisms to verify whether generated claims are grounded in code evidence. These obstacles make benchmarking difficult and leave model capabilities and failure modes opaque.
We introduce MalEval, a diagnostic framework for measuring the capability boundaries of LLMs in malware auditing. MalEval pairs real-world application codebases with expert-written audit reports to provide fine-grained behavior-level ground truth. It compresses large codebases into behavior-relevant program contexts through a context-driven intermediate representation that preserves call relations. Expert reports and model outputs are mapped, via constrained reasoning, into structured evidence chains linking code-level facts to high-level behaviors in a shared space. MalEval decomposes auditing into four stage-wise tasks, enabling each intermediate judgment to be verified under limited context windows. We evaluate seven LLMs and find that they rely on surface cues rather than verifiable evidence, struggle to compose dispersed facts into coherent attack chains, and are highly sensitive to context formulation. These findings shift attention from isolated outputs to reliable LLM and agentic workflows for malware auditing. MalEval is publicly available at https://github.com/ZhengXR930/MalEval.git
arXiv:2209.15130v3 Announce Type: replace-cross
Abstract: We study a general matrix optimization problem with a fixed-rank positive semidefinite (PSD) constraint. We perform the Burer-Monteiro factorization and consider a particular Riemannian quotient geometry in a search space that has a total space equipped with the Euclidean metric. When the original objective f satisfies standard restricted strong convexity and smoothness properties, we characterize the global landscape of the factorized objective under the Riemannian quotient geometry. We show the entire search space can be divided into three regions: (R1) the region near the target parameter of interest, where the factorized objective is geodesically strongly convex and smooth; (R2) the region containing neighborhoods of all strict saddle points; (R3) the remaining regions, where the factorized objective has a large gradient. To our best knowledge, this is the first global landscape analysis of the Burer-Monteiro factorized objective under the Riemannian quotient geometry. Our results provide a fully geometric explanation for the superior performance of vanilla gradient descent under the Burer-Monteiro factorization. When f satisfies a weaker restricted strict convexity property, we show there exists a neighborhood near local minimizers such that the factorized objective is geodesically convex. To prove our results, we provide a comprehensive landscape analysis of a matrix factorization problem with a least squares objective, which serves as a critical bridge. Our conclusions are also based on a result of independent interest stating that the geodesic ball centered at Y with a radius 1/3 of the least singular value of Y is a geodesically convex set under the Riemannian quotient geometry, which as a corollary, also implies a quantitative bound of the convexity radius in the Bures-Wasserstein space. The convexity radius obtained is sharp up to constants.
arXiv:2311.04455v2 Announce Type: replace-cross
Abstract: We study the weighted average consensus problem for a gossip network of agents with vector-valued states. For a given matrix-weighted graph, the gossip process is described by a sequence of pairs of adjacent agents communicating and updating their states based on the edge matrix weight. Our key contribution is providing conditions for the convergence of this non-homogeneous Markov process as well as the characterization of its limit set. To this end, we introduce the notion of "$w$-holonomy" of a set of stochastic matrices, which enables the characterization of sequences of gossiping pairs resulting in reaching a desired consensus in a decentralized manner. Stated otherwise, our result characterizes the limiting behavior of infinite products of (non-commuting, possibly with absorbing states) stochastic matrices.
arXiv:2607.09992v2 Announce Type: replace
Abstract: Modern ML serving increasingly lets learned, unverified components (routers, latency-SLO admitters, admit ladders) decide a tenant's quality of service; when one is wrong, the assured SLO can silently break, and the Kubernetes layers beneath (Kueue, DRA, the Gateway-API Inference Extension, GAIE) add cross-layer surprises. Rather than trust the learner to be right, we bound the damage a wrong one can do: a small trusted guard wraps the untrusted learner (learned proposes, the guard disposes). A tenant's assured-SLO obligation splits into two parts with different epistemics. Its safety projection, a per-class, per-window assured floor (with an optional drop rule, doom-sound only under an assumed service lower envelope), is a controllable obligation a guard enforces at runtime, holding it regardless of a learned admitter that is arbitrarily wrong within a bounded proposal interface. The admission floor is enforced structurally; given the stated assumptions, the service floor follows as a conditional response-time implication. Its aggregate obligation (the population tail-latency percentile) has no per-request enforcement point, so we treat it as a statistical residual and screen it. On real 2xV100 the guard (a Simplex-style assured-floor gate plus assured-first priority) holds assured-class miss 0.0 across every tested miscalibration of a learned admitter that, unguarded, misses 0.86-0.94; against a live deployment of the GAIE Flow Control, an injected mapping fault (emulating an untrusted mapper) flips the same assured requests from miss 0.0 to 1.0 (a mechanism-level trust-boundary test, not a head-to-head), while our guard reserves by the true class. As a Frontiers submission we evaluate the stance on commodity 2xV100 and a serving simulator, scoping datacenter scale, real-model Flow Control, and a closed worst-case theorem as the agenda.
arXiv:2404.14732v3 Announce Type: replace-cross
Abstract: I propose a general quantitative framework to evaluate the quality, track the historical development, and guide future optimization of photovoltaic (PV) absorbers at any development level, both lab-made and computer-simulated. The framework is centered around a PV figure of merit designed to include efficiency limitations that are not captured by classic detailed balance methods derived from the Shockley-Queisser limit. A more stringent set of figure-of-merit-driven efficiency limits are calculated for 28 experimentally synthesized PV absorbers and 10 PV computationally modeled absorbers. Among early-stage absorbers, this analysis reveals very large differences in their likelihood of achieving high PV efficiencies in the future. Since the proposed figure of merit is instantly evaluated from a single equation, it can be a suitable objective function for closed-loop research on PV materials in autonomous labs, while also providing a quantitative bridge between computationally determined material properties and PV efficiency.
arXiv:2406.10930v2 Announce Type: replace-cross
Abstract: In our earlier paper, "2 CSPs all are approximable within a constant differential factor" (ISCO 2018, LNCS 10856), we introduced a family of combinatorial designs called 'alphabet reduction pairs of arrays' (ARPAs). These designs are parameterized by three integers $q,p,k$, with $p\leq q$ and $k\leq p$: $q$ is the size of the alphabet from which the arrays draw their entries; $p$ is the maximum number of distinct symbols allowed in a row of the second array; $k$ is the largest integer for which the two arrays coincide -- up to row permutations -- on any $k$-element subset of their columns. The first array must contain at least one occurrence of the word $0\ 1 \cdots\ q-1$ as a row. The idea is to cover as many occurrences of this word as possible using as few words as possible, each containing at most $p$ distinct symbols.
ARPAs are related to the approximability of constraint satisfaction problems with bounded constraint arity ($k$-CSPs). In this context, we are particularly interested in ARPAs that maximize the frequency of the word $0\ 1 \cdots\ q-1$. We call such ARPAs 'optimal' and study them in this paper. To this end, we introduce a simpler family of combinatorial designs called 'Cover pairs of arrays' (CPAs), which can be viewed as partially defined ARPAs with Boolean entries. We prove that ARPAs and CPAs are equivalent with respect to maximizing the frequency of their target word. As a corollary of our proof, computing the frequency of the target word in optimal ARPAs reduces to solving a linear program in $q + p + 1$ continuous variables and $k + 1$ constraints. We also prove the optimality of previously known ARPAs for $p=k$ and provide optimal ARPAs for $k=1$ and $k=2$.
arXiv:2410.09973v2 Announce Type: replace-cross
Abstract: We prove that all 'gradient span algorithms' have asymptotically deterministic behavior on scaled Gaussian random functions as the dimension tends to infinity. This is a functional generalization of similar results for random quadratic functions and spin glasses. They explain the counterintuitive phenomenon that different training runs of many large machine learning models result in approximately equal cost curves despite random initialization on a complicated non-convex landscape. This 'predictable progress' phenomenon is exploited by the AutoML community: Since the optimization progress of a single run is already representative, multiple retries with the same hyperparameters are not necessary.
arXiv:2410.16005v4 Announce Type: replace-cross
Abstract: Metastatic prostate cancer is one of the leading causes of cancer-related morbidity and mortality worldwide. It is characterized by a high mortality rate and a poor prognosis. In this work, we explore how a clinical oncologist can apply a Stackelberg game-theoretic framework to prolong metastatic prostate cancer survival, or even make it chronic in duration. We utilize a Bayesian optimization approach to identify the optimal adaptive chemotherapeutic treatment policy for a single drug (Abiraterone) to maximize the time before the patient begins to show symptoms. We show that, with precise adaptive optimization of drug delivery, it is possible to significantly prolong the cancer suppression period, potentially converting metastatic prostate cancer from a terminal disease to a chronic disease for most patients, as supported by clinical and analytical evidence. We suggest that clinicians might explore the possibility of implementing a high-level tight control (HLTC) treatment, in which the trigger signals (i.e. biomarker levels) for drug administration and cessation are both high and close together, typically yield the best outcomes, as demonstrated through both computation and theoretical analysis. This simple insight could serve as a valuable guide for improving current adaptive chemotherapy treatments in other hormone-sensitive cancers.
arXiv:2412.18613v2 Announce Type: replace-cross
Abstract: Illusions are entertaining, but they are also a useful diagnostic tool in cognitive science, philosophy, and neuroscience. A typical illusion shows a gap between how something `really is' and how something `appears to be', and this gap helps us understand the mental processing that led to how something appears to be. Illusions are also useful for investigating artificial systems, and much research has examined whether computational models of perception fall prey to the same illusions as people. Here, I invert the standard use of perceptual illusions to examine basic processing errors in current vision language models. I present these models with illusory-illusions, neighbors of common illusions that should not elicit processing errors. These include such things as perfectly reasonable ducks, crooked lines that truly are crooked, circles that seem to have different sizes because they are, in fact, of different sizes, and so on. I show that many current vision language systems mistakenly see these illusion-illusions as illusions. I suggest that such failures are part of broader failures already discussed in the literature.
arXiv:2501.12842v5 Announce Type: replace-cross
Abstract: Symmetric private information retrieval is a cryptographic task allowing a user to query a database and obtain exactly one entry without revealing to the owner of the database which element was accessed. The task is a variant of general two-party protocols called one-sided secure function evaluation and is closely related to oblivious transfer. Under the name quantum private queries, quantum protocols have been proposed to solve this problem in a cheat-sensitive way: In such protocols, it is not impossible for dishonest participants to cheat, but they risk detection [V. Giovannetti, S. Lloyd, and L. Maccone, Phys. Rev. Lett. 100, 230502 (2008)]. We give an explicit attack against any cheat-sensitive symmetric private information retrieval protocol, showing that any protocol that is secure for the user cannot have non-trivial security guarantees for the owner of the database.
arXiv:2501.16801v2 Announce Type: replace-cross
Abstract: We present an effective theory for describing electron dynamics driven by an optical external field in a Schr\"{o}dinger's cat state. We show that the reduced electron density matrix evolves as an average over trajectories $\{\rho_\alpha\}$ weighted by the Sudarshan--Glauber $P$ distribution $P(\alpha)$ in the weak light--matter coupling regime. Each trajectory obeys an equation of motion, $\mathrm{i} \partial_t\rho_\alpha=\mathcal{H}_{\alpha} \rho_\alpha-\rho_\alpha\mathcal{H}_{\alpha}$, where an effective Hamiltonian $\mathcal{H}_{\alpha}$ becomes non-Hermitian due to quantum interference of light. The optical quantum interference is transferred to electrons through the asymmetric action between the ket and bra state vectors in $\rho_{\alpha}$. This non-Hermitian dynamics differs from the conventional one observed in open quantum systems, described by $\mathrm{i} \partial_t\rho=\mathcal{H}\rho-\rho \mathcal{H}^\dagger$, which has complex conjugation in the second term. We confirm that the reduced, trajectory-resolved effective theory agrees with full electron-photon simulations for the few-electron Dicke model, thereby validating the interferential non-Hermitian description in the weak-coupling regime.
arXiv:2502.12984v5 Announce Type: replace-cross
Abstract: In this paper, we propose a general approach for approximate simulation and analysis of delay differential equations (DDEs) with distributed time delays based on methods for ordinary differential equations (ODEs). The key innovation is that we 1) propose an Erlang mixture approximation of the kernel in the DDEs and 2) use the linear chain trick to transform the resulting approximate DDEs to ODEs. We refer to this as the Erlang ODE approximation of the DDEs, and we prove that the Erlang mixture approximation converges for continuous and bounded kernels if the number of terms increases sufficiently fast. Furthermore, we show that if the kernel is also exponentially bounded, the Erlang ODE approximation can be used to assess the stability of the steady states of the original DDEs and that the solution to the ODE approximation converges. Additionally, we propose an approach based on bisection and least-squares estimation for determining optimal parameter values in the approximation. Finally, we present numerical examples that demonstrate the accuracy and convergence rates of the approximations and the efficacy of the proposed approach for bifurcation analysis and Monte Carlo simulation. The numerical examples involve a modified logistic equation, chemotherapy-induced myelosuppression, and a point reactor kinetics model of a molten salt nuclear fission reactor.
arXiv:2505.10811v2 Announce Type: replace-cross
Abstract: We consider the $\Set{H}_2$-optimal feedback control problem, for the case in which the plant is passive with bounded $\Set{L}_2$ gain, and the feedback law is constrained to be output-strictly passive. We show that this problem distills to a convex, infinite-dimensional optimal control problem, in which the optimization domain is the Youla parameter for the closed-loop system. We devise truncated, finite-dimensional optimizations to find sub-optimal controllers, and lower bounds on the optimal objective. Furthermore we show that both these optimizations converge to the optimal objective of the original infinite-dimensional problem as their respective domains are increased. The idea is demonstrated on a simple vibration suppression example.
arXiv:2505.23460v5 Announce Type: replace-cross
Abstract: Chirality-induced spin selectivity (CISS) refers to phenomena where molecular chirality governs spin polarization. While symmetry simply requires chiral molecules to support spin-vector correlations, we show that CISS is fundamentally a conditioned measurement of these correlations. We illustrate this principle for spin-resolved one-photon ionization of a randomly oriented ensemble of chiral molecules. We introduce and quantify the phenomenon of enantio-sensitive locking of the photoelectron current to its spin, thereby providing a complete description of spin-conditioned photoelectron currents in one-photon ionization.
arXiv:2506.00452v5 Announce Type: replace-cross
Abstract: In orthogonal frequency division multiplexing (OFDM), accurate channel estimation is crucial. Classical signal processing-based approaches, such as linear minimum mean-squared error (LMMSE) estimation, often require second-order statistics that are difficult to obtain in practice. Recent deep neural network (DNN)-based methods have been introduced to address this, but they often suffer from high inference complexity. This paper proposes an Attention-aided MMSE (A-MMSE), a model-based DNN framework that learns the linear MMSE filter via the Attention Transformer. Once trained, the A-MMSE performs channel estimation through a single linear operation, eliminating nonlinear activations during inference and thus reducing computational complexity. To improve the learning efficiency of the A-MMSE, we develop a two-stage Attention encoder that captures the frequency and temporal correlation structure of OFDM channels. We also introduce a rank-adaptive extension that adjusts the filter rank at deployment time, enabling efficient operation under resource-constrained receivers. Numerical simulations show that A-MMSE consistently outperforms baseline methods across a wide range of signal-to-noise ratio (SNR) conditions. In particular, the A-MMSE and its rank-adaptive extension provide an improved performance-complexity trade-off.
arXiv:2507.05077v5 Announce Type: replace-cross
Abstract: Deep neural networks are increasingly applied in automated histopathology. Yet, whole-slide images (WSIs) are often acquired at gigapixel sizes, rendering them computationally infeasible to analyze entirely at high resolution. Diagnostic labels are largely available only at the slide-level, because expert annotation of images at a finer (patch) level is both laborious and expensive. Moreover, regions with diagnostic information typically occupy only a small fraction of the WSI, making it inefficient to examine the entire slide at full resolution. Here, we propose SASHA -- Sequential Attention-based Sampling for Histopathological Analysis -- a deep reinforcement learning approach for efficient analysis of histopathological images. First, SASHA learns informative features with a lightweight hierarchical, attention-based multiple instance learning (MIL) model. Second, SASHA samples intelligently and zooms selectively into a small fraction (10-20\%) of high-resolution patches to achieve reliable diagnoses. We show that SASHA matches state-of-the-art methods that analyze the WSI fully at high resolution, albeit at a fraction of their computational and memory costs. In addition, it significantly outperforms competing, sparse sampling methods. We propose SASHA as an intelligent sampling model for medical imaging challenges that involve automated diagnosis with exceptionally large images containing sparsely informative features. Model implementation is available at: https://github.com/coglabiisc/SASHA.
arXiv:2507.06788v3 Announce Type: replace-cross
Abstract: In this paper we propose dynamic output-feedback controller synthesis methods for discrete-time linear time-invariant systems. The synthesis goal is to achieve dissipativity with respect to a given quadratic supply rate or a given $H_2$ performance level. It is assumed that the model of system dynamics is unknown, expect for the disturbance term. Instead, we have a recorded trajectory of the control input and the state, which can be corrupted by an unknown but bounded disturbance. The state data is used only for the purpose of controller synthesis, while the designed controller is output feedback controller, i.e., the full state is not used for control in real time. The presented synthesis method is formulated in terms of linear matrix inequalities parametrized by a scalar variable, while in noiseless case it reduces to linear matrix inequalities. Within the considered setting, the synthesis procedure is non-conservative.
arXiv:2507.19841v3 Announce Type: replace-cross
Abstract: We study the extremal function $S^k_d(n)$, defined as the maximum number of regular $(k-1)$-simplices spanned by $n$ points in $\mathbb{R}^d$. For any fixed $d\geq2k\geq6$, we determine the asymptotic behavior of $S^k_d(n)$ up to a lower-order term. In particular, when $k=3$, we determine the exact value of $S^3_d(n)$, for all even dimensions $d\geq6$ and sufficiently large $n$. This resolves a conjecture of Erd\H{o}s in a stronger form. The proof leverages techniques from hypergraph Tur\'an theory and linear algebra.
arXiv:2508.10051v2 Announce Type: replace-cross
Abstract: Infrastructure shapes societies and scientific discovery. Traditional scientific infrastructure, often static and fragmented, leads to issues like data silos, lack of interoperability and reproducibility, and unsustainable short-lived solutions. Our current technical inability and social reticence to connect and coordinate scientific research and engineering lead to inefficiencies and impede progress. With AI technologies changing how we interact with the world around us, there is an opportunity to transform scientific processes. Neuroscience's exponential growth of multimodal and multiscale data, together with its urgent clinical relevance, demands an adaptive infrastructure that can expose computable states, coordinate across systems, and improve through use. Using neuroscience as a stress test, this perspective argues for a paradigm shift: infrastructure must evolve into a dynamic, AI-aligned ecosystem to accelerate science. Building on several existing principles for data, collective benefit, and digital repositories, I recommend operational guidelines for implementing these principles to create this dynamic ecosystem, aiming to foster a decentralized, self-learning, and self-correcting system where humans and AI can collaborate seamlessly. Addressing the chronic underfunding of scientific infrastructure, acknowledging diverse contributions beyond publications, and coordinating global efforts are critical for this transformation. A coordinating role, even more than analysis, is where AI becomes transformative rather than merely assistive. By prioritizing an intelligent infrastructure as a central scientific instrument for knowledge generation, we can overcome current limitations, accelerate discovery, ensure reproducibility and ethical practices, and ultimately translate neuroscientific understanding into tangible societal benefits, setting a blueprint for other scientific domains.
arXiv:2509.00078v2 Announce Type: replace-cross
Abstract: The emergence of large language models (LLMs) has transformed spoken dialog systems, yet the optimal architecture for real-time on-device voice agents remains an open question. While end-to-end approaches promise theoretical advantages, cascaded systems (CSs) continue to outperform them in language understanding tasks, despite being constrained by sequential processing latency. In this work, we introduce ChipChat, a novel low-latency CS that overcomes traditional bottlenecks through architectural innovations and streaming optimizations. Our system integrates streaming (a) conversational speech recognition with mixture-of-experts, (b) state-action augmented LLM, (c) text-to-speech synthesis, (d) neural vocoder, and (e) speaker modeling. Implemented using MLX, ChipChat achieves sub-second response latency on a Mac Studio without dedicated GPUs, while preserving user privacy through complete on-device processing. Our work shows that strategically redesigned CSs can overcome their historical latency limitations, offering a promising path forward for practical voice-based AI agents.
arXiv:2509.05044v3 Announce Type: replace-cross
Abstract: This paper provides a complete classification of all subvarieties of pointed Abelian lattice-ordered groups (l-groups), as well as all subquasivarieties that are generated by their totally ordered members. We present two complementary approaches to achieve this classification.
First, using purely l-group-theoretic methods, we analyze the structure of lexicographic products and values to identify all join-irreducible members of the lattice of subvarieties of positively pointed Abelian l-groups. We provide a novel equational basis for each of these subvarieties, leading to a complete description of the entire subvariety lattice. As a direct application, our l-group-theoretic classification yields an alternative, self-contained proof of Komori's classification of subvarieties of MV-algebras.
Second, we explore the connection to MV-algebras via an extended version of Mundici's functor. We prove that this functor preserves universal classes, a result of independent model-theoretic interest. This allows us to lift the classification of universal classes of totally ordered MV-algebras, due to Gispert, to a complete classification of universal classes of totally ordered pointed Abelian l-groups. As a direct consequence, we obtain a complete structural description of the lattice of subquasivarieties that are generated by their totally ordered members.