arXiv Science⌕ Search

arXiv subjects

Search papers

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

At least 1,369 records · Page 76Linked to original sources

When Does a Second Model Help? Cross-Model Review in LLM Verification

Large language models now generate code, documentation, and analyses, and are increasingly used to review such output. We ask when a second review by a different model helps. Building on the author's earlier preprints, which varied context, repetition, and role structure within one model, we test model independence in a controlled experiment: 30 artifacts with 150 planted errors, 10 review conditions, and 900 review sessions with three reviewer models from two developers. In this experiment, (1) a top-tier cross-model reviewer is not significantly different in F1 from same-model review in a fresh session (CCR), which does not establish equivalence; (2) the two find partly different errors (Jaccard 41.2%); and (3) at two review calls, one CCR plus one cross-model review matches more planted errors than two CCR reviews (56.7% vs. 42.7%; Holm-adjusted p=.006), but not significantly more than two reviews by the top-tier cross-model reviewer, so model difference and reviewer capability are not separated. A lightweight cross-model reviewer scores no higher than same-model review. Withholding requirements from the reviewer raises F1 for the two lower tiers but not the top tier, in untested point estimates whose pattern depends on how failed sessions are scored. Before analysis we audited all session records, excluding one baseline run of uncertain provenance and 14 failed calls; results with all sessions are also reported. A partial check on public detector outputs from another benchmark neither replicates nor contradicts the main comparison. Records, artifacts, and scripts are available from the author on request.

cs.CL↗

Zero Flux: Flow-Based Comparison of High-Dimensional Discrete Distributions

Comparing two high-dimensional discrete distributions has always been a challenging task due to the exponentially growing state space and complex changes in interactions. A recent work suggests comparing distributions through a vector field trained using flow matching between two continuous distributions. The resulting vector field at mid-point vanishes if and only if two distributions identical. However, such a flow-based criterion does not naturally apply to discrete distributions. We extend this principle to the discrete domain and introduce the \emph{Zero Flux} criterion, a discrepancy based on local probability fluxes. Under independent coupling, we show that all local probability fluxes vanish at the midpoint if and only if two distributions are the same. This discrepancy decomposes the joint distributional difference into smaller, local contributions and can be efficiently estimated from samples. We establish finite sample error bounds for our estimator. Experiments on synthetic and real categorical data demonstrate reliable recovery of sparse dependence signals and stable tracking of distribution shifts in high dimensions.

stat.ML↗

Engineering photonic crystal slab modes for strong exciton-photon coupling and polariton dispersion control

We numerically study exciton-photon coupling in a hybrid structure composed of a period-doubled Si3N4 photonic crystal slab and an hBN-encapsulated MoSe2 monolayer. Period doubling folds quasi-guided modes into the light cone and produces spectrally separated photonic branches whose radiative character is controlled by the symmetry of the doubled unit cell, resulting in one bright and one bound state in the continuum (BIC)-like mode at normal incidence. We then use the hBN thickness as an independent tuning parameter for the vertical field profile. Increasing the hBN thickness redistributes the resonant field toward the MoSe2 monolayer and enhances the Rabi splitting from about 3-4 meV to 8.5 meV, corresponding to an increase in the coupling strength from approximately 1.5-1.7 meV to 4.3-4.4 meV. Comparison between bright and BIC-like configurations shows that the quality factor primarily determines radiative visibility and linewidth, whereas the coupling strength is mainly governed by the field amplitude at the monolayer. We further show that the hBN layer controls the hybridization of folded TE-like modes at finite momentum, leading to an additional photonic gap whose size can be tuned by the hBN thickness and closes at an hBN thickness of approximately 113 nm. In the hybrid structure, we observe finite-momentum exciton-polariton states that, depending on the hBN thickness, form either through coupling to an isolated photonic branch or through coupling to two nearly degenerate photonic modes. These results identify period-doubled photonic crystal slabs as a flexible platform for controlling radiative coupling, exciton-photon overlap, and polariton dispersion in hybrid structures based on transition-metal dichalcogenide monolayers.

physics.optics↗

Cramér-Rao Bound Optimization for Joint Beamforming and Mode Selection in RDARS-Assisted ISAC Systems

Integrated Sensing and Communication (ISAC) is a foundation of 6G networks, demanding architectures that simultaneously enhance sensing accuracy and communication reliability. This paper presents a Reconfigurable Distributed Antenna and Reflecting Surface (RDARS) aided ISAC framework, where an RDARS overcomes the limitations of conventional passive Reconfigurable Intelligent Surfaces (RIS) and Distributed Antenna Systems (DAS). By enabling each element to dynamically operate in either \textit{reflection} or \textit{connection} mode, RDARS synergistically harnesses reflection gain, distribution gain, and an additional mode-selection gain. We investigate the joint optimization of transmit beamforming at the base station and dynamic mode selection at the RDARS to minimize the sensing performance metric, namely the Cramér-Rao Bound (CRB) for target localization, while guaranteeing a minimum required Signal-to-Interference-plus-Noise Ratio (SINR) for multiple communication users. To solve the resulting non-convex and mixed-integer problem, we develop an efficient iterative algorithm based on the Alternating Optimization (AO) framework, effectively leveraging Majorization-Minimization (MM) and Penalty methods. Comprehensive simulations validate the proposed design, demonstrating that the dynamic RDARS configuration achieves a superior trade-off between the Position Error Bound (PEB) and communication SINR, significantly outperforming benchmark passive RIS and DAS systems.

eess.SP↗

Dirichlet--Neumann waveform relaxation for heterogeneous heat equations: fully discrete $l^2$ analysis

We consider two coupled linear heat equations on different spatial domains that interact through a lower dimensional interface. This models conjugate heat transfer. The problem is solved using Dirichlet--Neumann waveform relaxation. This allows the subproblems to be solved using separate codes, a so called partitioned approach. Our overall goal is to develop more efficient partitioned methods, and to this end, we want reliable error estimates. Here, we use an exponentially weighted Fourier technique to derive new error estimates in $l^2$ for finite time $T$ in the fully discrete setting. These describe both linear and superlinear behavior. We show that the fully discrete estimate is close to a previously obtained time discrete estimate and independent of $Δx_1$ and $Δx_2$ when the CFL number in the subsolvers is large. We also show that the convergence behaviour depends on the ratio $Δx_1/Δx_2$ when the CFL number is small. Our numerical experiments show that the fully discrete estimate is accurate across a wide range of grid sizes $Δx_1, Δx_2$, time step sizes $Δt$ and $T$.

math.NA↗

Closed timelike curves in modified theories of gravity

We study closed timelike curves (CTCs) in three rotating spacetimes arising in modified gravity: the tidally charged braneworld black hole, the Kerr-Newman black hole in Rastall gravity, and the charged Johannsen-Psaltis spacetime. Using the sign of $g_{ϕϕ}$ on the equatorial plane, we show that an additional parameter of each geometry controls the chronology-violating region, and we obtain critical parameter values analytically. In the braneworld case, the positive $r$ CTC region exists only for positive tidal charge and disappears completely for $q\leq 0$. In Rastall gravity, the extent of the CTC region depends jointly on the Rastall coupling and the surrounding matter. For each matter type we find a finite range of the coupling for which the CTC region is absent. In the charged Johannsen-Psaltis spacetime, the deformation parameter can either increase or decrease $g_{ϕϕ}$ depending on the radial position, and we derive a window of its values for which the CTC region is removed from the radial domain considered. Thus, in all three examples, the additional parameters can be chosen to control the extent of equatorial CTCs, and even to eliminate them entirely.

gr-qc↗

ALFRED: Requirement-driven development of an open-source mobile manipulator for long-term plant monitoring

Tracking seasonal change in crops and forests requires observing the same plants repeatedly. Ground robots can do this at close range, and a manipulator gives their sensors more viewpoints. Yet the robots behind long-term field datasets are rarely released with their design files, and how a robot's own structure limits arm reach and occludes its sensors is seldom compared between builds. We present ALFRED, an open-source mobile manipulator built from commercially available components. It carries a six-degree-of-freedom arm, LiDAR, RGB-D cameras, RTK GNSS and an IMU on an Ackermann-steered base, all mounted on a reconfigurable aluminium strut frame, and runs containerised ROS software. It was developed through four builds against six requirements for repeated outdoor deployment: durability, modularity, repairability, sensing reach, endurance and reproducibility. Model-based analysis of the last three builds shows the usable share of the arm's reachable poses rising from 34.0% to 60.0% and then 66.1%, and ray casting shows that only the final build keeps the frame-mounted LiDAR's horizontal view clear both forwards and backwards. ALFRED completed a year of monthly forest surveys (528 traversals) without missing a scheduled collection. This was despite battery degradation, reconfiguration for another researcher's study, and the parallel development of ALFRED 2.0 for autonomous crop-row operation, with each switch between builds taking about six hours. The deployment also showed that mechanical modularity is only as dependable as the robot description that tracks it.

cs.RO↗

On the Multi-Index, Multi-Rate, and Multi-Phase Dynamics of Decoder-Only Language Models: A Unified Hybrid Framework for Generative and Agentic Systems

Large language models (LLMs) are increasingly deployed as computational engines in autonomous decision-making and planning loops, yet their systems and control treatment remains hindered by architectural simplifications, index conflations, and informal descriptions of tool interactions. This paper presents a control-theoretic formulation of decoder-only language models as multi-index, multi-rate systems, and sets the stage for a stochastic hybrid systems framework to govern the multi-phase dynamics of agentic tool interaction. We formalize the architecture across three hierarchically coupled evolution indices: (i) an ultrafast feedforward cascade of transformer blocks across layer depth, where layer normalization is cast as a spherical projection and key--value caching is proven to be an exact internal state realization via causal prefix invariance; (ii) an uncontrolled stochastic difference recursion over token generation steps, where finite context truncation induces a time-homogeneous Markov chain; and (iii) an autonomous mode-switching mechanism governing transitions between token generation and tool execution regimes, where tool invocations are triggered upon trajectory arrival at switching manifolds, followed by exogenous state jump maps that augment the context string with external observations. By defining a prompt-dependent evaluator over successive evaluable claims, we obtain a task-level error process whose fault-free histories and expected error growth admit bounds under conditional fault-hazard and error-drift assumptions.

math.OC↗

Inverse spectral results for the magnetic Schrödinger operator in low dimensions

We consider the semiclassical magnetic Schrödinger operator in dimensions one and two. The first result is that an even one dimensional semiclassical potential is spectrally determined by the Schrödinger operator. The second result states that a two dimensional radial magnetic field is spectrally determined by a purely magnetic Schrödinger operator. This extends the earlier work of Guillemin-Wang and answers a conjecture of theirs therein.

math.SP↗

Stability of representation cohomology sheaves on moduli spaces of bundles

We prove that the tangent sheaf of $\SU_C(n,L)$ is slope stable for every smooth complex projective curve $C$ of genus $g\geq2$, every $n\geq2$, and every determinant $L$. For $g\geq3$, we prove a more general stability theorem on moduli spaces of principal bundles for connected reductive groups, using cohomology sheaves associated with representations in place of tangent sheaves. The adjoint representation gives tangent sheaf stability for the case of almost simple groups. The moduli spaces may be singular, and stability holds with respect to every ample Cartier polarization.

math.AG↗

Bridging the Omics Divide: A Modular Relational Approach to Multi-Layer Biological Data Management

Background: Rapid growth of high-throughput molecular data demands systems for efficient retrieval, integration, and scalability across omics layers. Traditional file-based workflows hinder cross-modal analysis and reproducibility because of fragmented storage and ad-hoc querying. Few existing tools for genomic variation data prioritize modular multi-omics integration. We developed vcf2db, a sample-centric relational framework modeling each omics modality as a distinct but linkable component centered on biological samples. This study evaluates whether this design delivers competitive genomic retrieval while enabling extension to additional molecular layers. Results: We implemented a proof-of-concept genomic schema and ingestion pipeline for annotated VCF data using the European subset of the 1000 Genomes Project (502 samples, 25 million variants). We benchmarked it against three established VCF-oriented tools on seven retrieval tasks: coordinate filtering, annotation-driven queries, genotype extraction, and aggregation. Under controlled conditions, vcf2db performed strongly on selective queries, often outperforming other systems for coordinate and annotation filters, and remained usable for genotype retrieval. Aggregation-heavy tasks were less efficient, indicating optimization targets. We also validated modular extensibility by adding a synthetic transcriptomic layer without modifying genomic tables, linking layers via shared sample identifiers. Conclusion: vcf2db supports cross-layer retrieval directly as SQL queries anchored on shared sample identifiers, enabling integrated multi-omics access that is difficult with file-based approaches.

cs.DB↗

Relative quasi-Gorenstein homological dimensions in extriangulated categories

Let $(\mathcal{C},\mathbb{E},\mathfrak s)$ be an extriangulated category equipped with a proper class $ξ$ of $\mathbb E$-triangles.We establish stability under iteration for the quasi-$ξ$-Gorenstein projective and injective subcategories and extend the relative Ext-vanishing criteria for their finite homological dimensions to larger coefficient subcategories. An example in a bounded homotopy category shows that $\mathcal{P}(ξ)\subsetneq\mathcal{QGP}(ξ)\subsetneq\mathcal{GP}(ξ)$. For module categories, every quasi-Gorenstein projective module over a left perfect ring or a commutative Noetherian ring of finite Krull dimension is projective. When a commutative ring admits a finite chain of trace and nilpotent quotients ending in an Artinian ring and the endomorphism rings at the trace steps have finite right global dimension, we construct finite families of quasi-projective test modules that detect prescribed upper bounds on projective dimension for modules of bounded cardinality through Ext vanishing in finitely many consecutive degrees.

math.CT↗

Key-Reuse Vulnerability of Phase-Keyed Fourier-Curve Modulation: Relation Leakage and Key-Refresh Cost on Coded Links

The security of keyed modulation is often argued from the key-space size and the error rate of a key-less receiver. This evidence fails when the key is reused and the waveform is harmonically coupled. For a phase-keyed Fourier-curve constellation, whose $k$ tones share one data parameter, integer relations among the harmonic indices yield data-cancelling mixed moments of the received tones that expose key characters. A modular relation lattice characterizes the exposed characters; for consecutive harmonics, third-order moments recover the relative phases and a fourth-order moment completes the key up to cyclic relabeling whenever its coefficient is nonzero, as in all evaluated settings. A non-data-aided relation-moment estimator turns this leakage into an attack that never enumerates the key space. On a regular $(3,6)$ LDPC-coded link, one key per 168-symbol codeword leaves the eavesdropper a block error rate below $0.04$ at the middle noise level, and the attack meets a predeclared $0.1$ compromise criterion in eleven of twelve operating points. Tangent artificial noise and a harmonic set without relations below order four raise her measured error rate at intermediate reuse lengths but do not remove the one-codeword vulnerability. For a grid of $2^{128}$ protocol keys at the middle noise level, equal-length refresh schedules that keep a $95\%$ lower confidence bound of her block error rate above $0.9$ consume at least $1.52$ fresh key bits per information bit, $1.52$ times the entropy rate of a one-time pad on the data.

cs.CR↗

Quantitative schlieren imaging of a laser-ionized plasma channel in atomic vapor using symbolic regression

The plasma channel of the AWAKE plasma wakefield acceleration experiment is created by laser ionization of rubidium vapor in a 10~m long vapor source. Verifying the properties of the channel --- the radius of its fully ionized core and the width of its boundary sheath --- that are vital for ensuring good-quality wakefields is important as is validating numerical models of ionizing pulse propagation. Near-resonant schlieren imaging can detect the plasma channel in the low-density vapor, but there is no direct inversion to obtain channel parameters from the images. We use symbolic regression to find compact analytical formulas that connect measurable properties of the schlieren signal to plasma profile parameters. Using databases of simulated signals generated with three different plasma edge-profile families, we obtain formulas with one and two fitting constants to predict the equivalent channel radius with an accuracy below twice the camera pixel size and formulas to predict the sheath width. Re-evaluating previous measurements with these formulas, we confirm a theoretically predicted power-law relationship between the channel radius and the energy of the ionizing laser pulse. The formulas can be adapted to new experimental conditions by refitting the constants on a modest set of new samples, providing a lightweight, interpretable alternative to evaluation with deep neural networks.

physics.plasm-ph↗

Parafermions in fractional Chern insulator-superconductor heterostructures: the role of spin polarization

Most proposals for $Z_3$ parafermions in fractional quantum Hall-superconductor structures used the spin-unpolarized $ν= 2/3$ Halperin $(1,1,2)$ state. The fractional quantum anomalous Hall (FQAH) states of twisted MoTe$_2$ and rhombohedral graphene are believed to be spin- and valley-polarized Jain states, with the same topological order but a different spin structure. We analyze a trench between two polarized $ν= 2/3$ edges. Among the pairing and tunneling bilinears of the edge-mode electrons, exactly two of each have zero conformal spin. Pairing is compatible only with the neutral-mode superconductivity channel and tunneling only with neutral-mode backscattering, whereas in the unpolarized state singlet pairing and tunneling select the same channel. Since the two channels condense the same neutral anyon up to a local operator, the domain walls carry $Z_3$ parafermions, with 3 protected states per pair, whether or not the neutral channel changes between regions; fixing the fermion parity does not enlarge this count. Before the neutral gap forms, pairing is at best marginal for repulsive inter-edge coupling unless an attractive neutral coupling favors its channel; once the gap has formed, both charge terms are relevant for an inter-edge Coulomb coupling below 7/25 of the intra-edge one. The superconductor must supply even-frequency, equal-spin, intravalley pairing, which an s-wave singlet superconductor with only Ising spin-orbit coupling does not provide at leading order, whereas chiral $p+ip$ and $f+if$ states do. The $Z_3$ label is carried by a quasiparticle of the FQAH state, so no process confined to a junction whose tunneling segments are not FQAH can change it, and we expect a $6π$-periodic Josephson current with or without fixed fermion parity.

cond-mat.mes-hall↗

The Vanishing-Diffusion Limit of an Incompressible Visco-Morphoelastic System: Weak Solutions and a Jaumann Defect

We study an incompressible visco-morphoelastic system in three dimensions in which the Eulerian effective strain is transported by the Zaremba-Jaumann rate and coupled to a Navier-Stokes momentum balance through a Kelvin-Voigt stress. The strain remains symmetric and splits into a scalar transport-relaxation equation for its trace and a deviatoric equation containing the nonlinear stretching and Jaumann terms. We regularize both equations by diffusion of order $\varepsilon$, which admits a mechanical interpretation as weakly nonlocal remodeling with a characteristic length scale. For fixed $\varepsilon>0$ we construct Leray-Hopf type weak solutions by a truncated Galerkin scheme and remove the truncation a posteriori using a maximum principle for the scalar variable. As $\varepsilon\to0$, the scalar variable converges strongly in $L^p((0,T)\timesΩ)$ for every $1\le p<\infty$, by a DiPerna-Lions commutator argument on bounded Lipschitz domains, allowing the stretching term to be identified in the limit. In contrast, the Jaumann commutator is a product of two weakly convergent sequences, and its limit cannot be identified from the available estimates. We therefore obtain a defect \[\boldsymbol{\mathcal{D}}\in L^2(0,T;(H^2(Ω;\mathbb{S}_0))^\ast)\] in the limiting deviatoric equation. We give two sufficient conditions for $\boldsymbol{\mathcal{D}}=0$. The energy-level cancellation used in related corotational viscoelastic models does not close here because the coefficient of the stretching term is itself an unknown.

math.AP↗

Multi-Party Backchannel Prediction: a Diagnosis, a Benchmark, and a Ceiling

Backchannel prediction has been studied almost entirely in dyadic conversation. We introduce a multi-party benchmark based on the AMI corpus, comprising 682 masked-listener views from 171 meetings, 190 speakers, and 18,697 backchannel events, with a person-disjoint held-out split. A state-of-the-art dyadic model applied zero-shot to meeting audio performs at chance (AUROC 0.499); nevertheless, its frozen acoustic features remain informative: a linear probe reaches 0.704, and retraining the predictor raises performance to 0.751. Retraining reveals a second limitation. Listener conditioning improves prediction for listeners seen during training but not for unseen listeners, and the gap remains under capacity reduction, listener-adversarial training, per-listener adaptation, and oracle lexical conditioning. Adversarial training removes only part of the speaker-identity information, while stronger removal hurts prediction, suggesting that identity is entangled with cues that are useful for backchanneling. A within-model control helps explain this pattern: with the same features and data splits, turn-onset prediction transfers to unseen listeners, while backchannel prediction does not. Backchannel rates also vary about twice as much across individuals as turn-onset rates. Since backchannels occupy only about 1% of frames, frame-level F1 is strongly affected by the base rate. We therefore report AUROC alongside event-F1 on listener-active regions. We release the benchmark and evaluation tools at https://github.com/HafsatiMohammed/bc_multiparty_release.

cs.SD↗

Building Seasonal Highways for Residential Energy Hubs: Sizing, planning and operating thermal energy storage

The operation of residential energy hubs with multiple energy carriers (electricity, heat, mobility) poses a significant challenge due to the energy storage differences in time-constants, round-trip efficiencies and self-discharge rates. Usually, thermal storage exhibits flexibility in yearly planning optimizations or long-term scenarios. However, as optimization horizons shrink (1-48hs) so does their supplied value due to the lower round-trip efficiencies. To avoid this early depletion during operation this paper proposes a data-driven highway to steer the short-term daily control towards long-term optimality. The proposed methodology also presents how to optimally size the thermal storage and avoid yearly simulations and how all of this is related to nonlinearities in the daily operation. The presented framework links seasonal and daily optimizations through dynamic terminal sets and value functions. The seasonally-aware nonlinear economic model predictive controller achieves the most balanced performance, with the second best mean grid cost of all MPCs at -\texteuro 209. It also achieves better battery degradation control than its linear counterparts (between 26-34%) and the best thermal comfort of the nonlinear benchmarks. Nevertheless, the data-driven seasonal highway restrains the ability to control battery degradation and slightly increases computational time.

eess.SY↗