arXiv Science⌕ Search

SEARCH · arXiv Science

Search arXiv Science

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

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 883 records · Page 49Linked to original sources

Fast and Convergent Alternating GPI Precoding for Self-Backhauled Satellite-Terrestrial Networks

In this paper, we propose a precoding framework for an integrated satellite terrestrial self-backhauled (ISTS) system, where a low Earth orbit (LEO) satellite transmits a backhaul stream to an earth station (ES), and the ES forwards its payload to the base station (BS) serving the users. We formulate a user sum spectral efficiency (SE) maximization problem subject to a self-backhaul constraint, which ensures that the user data forwarded by the BS do not exceed the data delivered to the ES. We then reformulate the resulting non-convex precoding problem into a form amenable to generalized power iteration (GPI). The GPI update is reinterpreted as projected preconditioned gradient ascent, revealing that its fixed step size may cause overshooting and non-monotonic behavior. Building on this interpretation, we first develop an alternating convergent GPI (AC-GPI), in which the fixed step is replaced by an Armijo backtracking rule, and show that a single Armijo-accepted step per block already guarantees sufficient ascent. This leads to the fast alternating convergent GPI (FAC-GPI), which performs one Armijo-accepted satellite update followed by one BS update in every round. Unlike existing backtracking-based GPI methods, whose convergence has not been established, we establish finite backtracking termination, monotone ascent, convergence to stationary points, along with a global stationarity-rate guarantee. Simulation results demonstrate stable and fast convergence as well as performance gains over existing methods.

eess.SP↗

Observation of Inter-Transition Interference

Many well-known quantum interference phenomena are associated with coherent superpositions of quantum states. Recent theoretical work showed that dissipative coupling between transition coherences can give rise to a distinct form of quantum interference in open quantum systems, termed inter-transition interference (ITI). Here we experimentally observe ITI through coherent microwave reflection spectroscopy of a superconducting artificial atom realized by a Kerr parametric oscillator. Using strong parametric driving, we access a regime in which two transitions become nearly degenerate and simultaneously contribute to the reflected response. The observed spectral lineshapes are not adequately captured by a model of independent transitions. By contrast, theoretical calculations that incorporate dissipative coupling between the corresponding transition coherences reproduce the essential features of the measured spectra. These results provide experimental evidence for ITI and demonstrate that dissipative coupling between transition coherences can qualitatively modify spectroscopic responses. More broadly, our work identifies transition coherences as a new arena for quantum interference in open quantum systems.

quant-ph↗

Detecting Nonbilocal Correlations via Parameterized Elegant Joint Measurement

Quantum networks constitute a defining resource for quantum information processing; however, their nonclassical behavior is jointly governed by the choice of measurement basis and the independence of the distributed sources. We study a bilocal entanglement-swapping network in which the central node performs a three-parameter elegant joint measurement (EJM). For two independent Bell-state sources, we construct two binary edge observables and then derive a quantum prediction involving three parameters, which surpasses the classical constraints. In particular, the parameter θ controls both the degree of entanglement of the EJM basis states and the maximum value of the quantum prediction. These results provide an analytic and directly reproducible route for tuning nonbilocal correlations in an experimentally relevant two-source network.

quant-ph↗

Development of time-resolved fluorescence spectroscopy using heralded emission spectroscopy for organic light-emitting materials

Organic light-emitting materials are widely used in optoelectronics and bioimaging, but sometimes conventional fluorescence spectroscopy techniques can be limited by scattering, background fluorescence, photon pile-up and photobleaching. We report a quantum-spectroscopic approach using frequency-entangled, nondegenerate photon pairs generated via spontaneous parametric down-conversion with heralded detection, to perform photoluminescence lifetime measurements at low excitation intensities. We demonstrate this approach across three organic light-emitting material classes: the fluorescent dye Rhodamine 6G, an organic semiconducting conjugated polymer poly[2-methoxy-5-(2-ethylhexyloxy)-1,4-phenylenevinylene] (MEH-PPV), and a fluorescent protein mOrange. The intrinsic timing correlation between signal and idler photons enables coincidence gating that suppresses uncorrelated background counts. Across all materials and integration times of 500, 1000 and 3600 seconds, heralded detection yields signal-to-noise ratios 1.6-3.0 times higher than classical pulsed-laser excitation attenuated to match heralded photon counts in the fitting range. For MEH-PPV, this roughly halves the noise amplitude. Our measured lifetimes closely match long-integration classical pulsed-laser reference values.

quant-ph↗

Emergent Symmetry in Constant-Density Flocks

In two dimensions, the ordered phase of constant-density flocks is described by a single angle field, which makes them arguably the simplest systems with a scale-free ordered phase of collective motion. We show that the equation governing the corresponding Nambu-Goldstone mode, completed with terms previously discarded, possesses on large scales an invariance combining a shear and a Galilean boost. Broken at the bare level, this symmetry is restored at the unique attractive fixed point, and the associated Ward identities fix the scaling exponents exactly, as confirmed numerically.

cond-mat.stat-mech↗

Adapt the Object to the Subject: Representative Study Material for Empirical Software Engineering

External validity is a central concern in empirical software engineering, yet the debate has largely focused on whether study participants are representative. How well the study objects they reason about - code, models, or requirements - are representative of each participant's own work is often overlooked. Practitioners' own artifacts would be ideal, but are often out of reach, so researchers sample from public datasets or construct objects artificially. Whether this lack of subject-object fit affects participants' ability to act on the material remains unknown. We take a first step toward answering this question for requirements. We propose an approach that uses an LLM to generate context-adapted synthetic requirements just-in-time during an online survey from a short, participant-supplied context description, optionally injecting requirements smells as controlled stimuli. To validate the approach, we conducted a controlled experiment with 31 industry practitioners in a 2x2 design that crosses stimulus generation (static vs. synthetic) with quality (clean vs. smelly). Each participant rated the perceived representativeness and assessability of 20 requirements. Using Bayesian data analysis within a statistical causal-inference framework, we find that perceived representativeness has a strong positive effect on assessability. Synthetic requirements are rated as more representative and, primarily due to this gain, more assessable than static ones sourced from public datasets; smell injection leaves both perceptions unchanged. Our results support treating a lack of study-object representativeness as a first-class validity threat and position context-adapted synthetic study objects as a practical addition to the empirical methodology toolbox.

cs.SE↗

Optimal Learning in Games with Arbitrary Delays: Best-of-Both-Worlds for Self-Play and Adversarial Opponents

We study learning in zero-sum games with delayed feedback. We introduce Multi-Anchor Optimistic Online Mirror Descent (MAO-OMD), a single algorithm which obtains optimal fast rates in self-play on smooth games, while simultaneously maintaining minimax optimal guarantees against arbitrary opponents. In particular, in smooth zero-sum games with arbitrary and unknown feedback delays, MAO-OMD obtains $O(σ_{\max}+1)$ social and individual regrets when used by both players, where $σ_{\max}$ denotes the maximum number of outstanding gradients, while also guaranteeing minimax optimal $O(\sqrt{T+d_{\mathrm{tot}}})$ individual regret against arbitrary opponents, where $d_{\mathrm{tot}}$ is the total delay. Moreover, we show that these optimal rates cannot be obtained simultaneously using the standard black-box reduction to the undelayed setting. We also extend our results to multi-player games, and to games with player-dependent delay sequences.

cs.LG↗

Unobserved Consideration and Consumer Welfare

Can welfare effects of price change be identified when consumers' consideration sets are heterogeneous and unobserved? We establish that the welfare distribution is the same functional of structural choice probabilities under stable but limited consideration as under full consideration. The result permits unrestricted income-effects, preference heterogeneity, and dependence between preferences and consideration. Within this class, limited consideration admits a full-consideration representation preserving choice-probabilities and money-metric compensation: consideration/preferences can remain unidentified while demand and welfare are identified. When consideration sets contract as prices rise, the welfare distribution can be bounded using demand and a bound on choice-set attrition.

econ.EM↗

Adapters as Data: The Latent Space of LoRAs

LoRA adapters are usually treated as finished artifacts rather than as a data modality. Prior work has shown that LoRA adapters populate a low-dimensional manifold that a linear PCA basis already organizes well enough to support different operations such as sampling, editing, and inversion. We ask what a learned, nonlinear latent adds beyond this. We train a transformer autoencoder on the same population of LoRA identity adapters, mapping each into a latent space and compare every operation against the identical operation applied directly to the raw adapter weights. The latent preserves the capabilities already available in weight space, sampling diverse identities and editing individual attributes. Beyond preservation, we show that the latent is far more robust to displacement than weight space, degrading into distorted but still valid faces rather than texture. Fixed-dimensional weight-space representations cannot natively host adapters of more than one rank, so we extend our sequential autoencoder to hold mixed-rank adapters within one shared latent. This gives a path toward treating adapter weights of varying architecture as a single, general modality rather than one tied to a fixed rank, and points to a learned, nonlinear latent as the mechanism that could carry this generalization further, toward heterogeneous populations of adapters.

cs.LG↗

Discrete quadrature spectrum of composite bosons: Weyl relation, intensity correlations, and binned homodyne detection

A composite boson made of two fermions can look elementary under one measurement and composite under another. In an exactly solvable paired-mode model we compare three probes: classical drives, periodically binned quadrature statistics, and intensity correlations $g^{(2)}$. The Weyl defect has an exact product formula and a controlled dilute expansion in the Schmidt moments. The binned observables are instead piecewise constant in the Schmidt weights and sensitive to single eigenvalues crossing bin edges; on the flat-spectrum ladder they converge slowly and nonmonotonically over the computed range. A spectral filter and a polar correction recover an exact Pauli algebra; a heralded joint projection then extracts a logical singlet from the vacua of two independent copies of the composite, with probability set by the accepted weight and the mixedness of the filtered reduced qubit. Finite-mode examples with Schmidt number about three succeed at the percent level despite order-one Weyl defects; near-unit $g^{(2)}$ does not control the binned algebra. For flat spectra the construction converges strongly to its oscillator counterpart, whose vacuum overlap is strictly positive at every scale; for infinite spectra with summable Schmidt amplitudes it converges at all but countably many filter cutoffs, positivity at the cutoffs studied remaining open.

quant-ph↗

Online Optimization for Controlling HVAC Systems

Heating, ventilation, and air-conditioning (HVAC) systems account for a significant portion of buildings' energy consumption, motivating the design of energy- and cost-efficient control strategies. However, conventional strategies employ simple, reactive control, without incorporating a model. Therefore, in this paper we adopt an economic model predictive control framework and focus on designing online algorithms to solve the control input design problems with a limited computational budget. In particular, we propose two tailored online algorithms based on projected gradient descent, with a custom projection routine, and the projected primal-dual method. We discuss the pros and cons of both algorithm designs, focusing in particular on computational efficiency. We further compare them through numerical experiments simulating the control of an HVAC system over the course of a day. The results show that computationally efficient online solvers for HVAC systems control are indeed possible. Moreover, the performance closely matches that of a baseline algorithm with unlimited computational budget, in terms of reference temperature tracking and comfort temperature range enforcement.

math.OC↗

The Intrusion Pathway: How Non-Evidential Context Degrades Language Model Performance

Language models lose accuracy when a prompt contains non-evidential context: irrelevant statements from unrelated domains, or random off-distribution tokens, with no competing answer and no semantic overlap with the query. Such noise pervades retrieval-augmented, tool-using, and long-context deployments, yet the failure has lacked a mechanistic account. We trace the corruption to the Intrusion Pathway, which starts with MLPs enriching both query-subject and irrelevant-token representations, parroting heads carry prefix-token content to the prediction position, and relational readers largely avoid unrelated sources. Nevertheless, preserved subject enrichment and selective reading do not prevent intrusion in the broader computation. We then localize part of this interference to a sparse set of attention heads, which we call intrusion heads. Their prefix-derived writes promote distractor-related content, while their reduced support for the correct answer arises primarily from weaker non-prefix contributions rather than direct suppression by the prefix. The same heads transfer across tasks and distractor types and are largely weight-disjoint from the heads that integrate relevant contextual evidence, enabling a class-conditional intervention. Replacing the corrupted last-token residual with its clean counterpart, an oracle probe that requires a matched clean forward pass, recovers 97.6% on average of the distractor-induced drop across four downstream tasks. A deployable mask level knockout of about ten heads, roughly 1% of the model's attention heads, recovers 57% at bounded cost to helpful context.

cs.AI↗

Bridging Structure and Semantics: Knowledge Graph Verification via Triple-to-Text Alignment

Semantic accuracy is an important dimension of knowledge graph quality. Graph-based scoring methods exploit relational structure, while textual representations allow classifiers to draw on knowledge encoded by pre-trained language models (PLMs). We present GenVer, a generative verifier that scores triples using both their serialized form and generated natural language representations (NLRs). A triple-text alignment procedure selects training pairs for a sequence-to-sequence generator; a BERT-based classifier then combines features from each triple and its generated NLR. On four FactFB variants, constructed from FB15k using perturbed negative triples, GenVer obtains the highest classification accuracy among the evaluated baselines, ranging from 88.56% to 91.52%. The experiments suggest that generated representations can help triple classification, while the case analysis also exposes semantic drift and high-confidence errors.

cs.CL↗

Reliability-Aware Z-Grammars and Z-Automata over a Credible-Grade Semiring

Fuzzy grammars and weighted automata usually attach to each word a single grade, which records how strongly the word is generated but not how far that record can be trusted. We study weighted grammars and finite automata whose weights are scalar grade-reliability pairs inspired by Z-numbers. Sequential composition multiplies both components, while aggregation selects a derivation by its credible grade, the product of grade and reliability, with ties resolved by grade. On the canonical carrier, in which the weights of zero grade or zero reliability are identified with zero, the resulting structure is a commutative selective semiring, isomorphic to a subsemiring of a lexicographically ordered product, and its credible-grade projection is a homomorphism onto the Viterbi semiring. We compare several alternative combination rules and identify the carriers on which the relevant algebraic laws hold. Standard results on weighted automata then yield a rational characterization and closure properties. We prove that positive credible-grade cuts and selected-run reliability filters of finite automata are regular and effectively constructible for rational weights and thresholds, and we exhibit distinctions that the scalar projection cannot see: a reliability filter that no scalar reweighting of the same one-state automaton implements, nonmonotonicity under the addition of runs, and an unambiguous automaton with no deterministic equivalent although its scalar projection is deterministic. A count-based example illustrates an attestation penalty for grammar rules. The construction concerns scalar pairs, and its extension to arbitrary fuzzy-valued Z-numbers remains open.

cs.FL↗

Multi-epoch monitoring of the faint northern component in 3C 84 during 2016-2021

We present the results of multi-epoch very long baseline interferometry (VLBI) observations of the sub-parsec-scale northern jet component of 3C 84 (known as the N1 component) at 7 mm from 2016 to 2021. The peak position of the N1 component exhibits positional variations of approximately 0.2 mas at a distance of about 2.5 mas from the central radio core (C1) throughout the observation period. Although a linear fit yields a small proper motion of $μ_{\rm{Dec}}=0.054\pm0.019~\rm{mas}~\rm{yr}^{-1}$, corresponding to an apparent velocity of $β_{\rm{app}}=0.062\pm0.021$, this displacement is comparable to the observed positional scatter, and the hypothesis that N1 exhibits systematic motion is not statistically supported. In contrast, the peak flux density varies by approximately a factor of two on timescales of several months. We propose two possible explanations for the observed behavior of N1. One is that N1 is the counterpart of the southern hotspot C3, but its motion has been halted by a collision with a compact and dense cloud along its path; in this case, the flux variability may be caused by changes in the free-free absorption opacity of the non-uniform cloud. The other possibility is that N1 is part of the northern jet that is heavily obscured by foreground free-free absorption and is observed through a gap in the absorbing medium; in this case, the variability may reflect intrinsic changes in the jet and its interaction with a non-uniform ambient medium. These results provide new constraints on the physical origin of N1 and on the circumnuclear environment of 3C 84.

astro-ph.HE↗

PBPO: Prefix-Block Policy Optimization for Diffusion Language Models

Diffusion Large Language Models (dLLMs) commonly decode responses by proceeding autoregressively across blocks while iteratively denoising multiple tokens within each block. This structure makes block-level policy optimization a natural adaptation of autoregressive policy optimization. However, the exact likelihood of a completed block is intractable because it marginalizes over the intermediate states and reveal orders of the denoising process. To realize the block-level formulation, we construct a prefix-block state and use a single model evaluation to define a factorized one-step surrogate for the block likelihood. The resulting block surrogate ratio is a product of its token surrogate ratios, allowing variation at individual positions to propagate across the entire block before clipping. We therefore introduce Prefix-Block Policy Optimization (PBPO), which preserves block-level conditioning but applies surrogate importance weighting and clipping separately to each token. PBPO further diversifies repeated updates by resampling corrupted views of the prompt and revealed prefix, a design motivated by masked-dLLM pre-training. Under our analysis assumptions, block-product weighting amplifies the variance of gradient contributions relative to token-local weighting. Across two LLaDA-family initializations, six benchmarks, and three generation lengths, PBPO achieves competitive performance against existing dLLM RL methods.

cs.LG↗

EnergyBench: a live, gate-aligned benchmark of day-ahead forecasts for European power markets

Energy forecasting models are usually compared on backtests and fixed public datasets. Backtests can use data that did not yet exist when the forecast would have been made, and a fixed test set, reused across studies and possibly contained in the pretraining data of foundation models, invites overfitting to the benchmark. EnergyBench evaluates every entry live instead. Each day at 11:30 CET/CEST, thirty minutes before the day-ahead (SDAC) gate closes, every model forecasts the next day's price, wind and solar generation and load on the 15-minute grid for six bidding zones (BE, NL, FR, DE-LU, DK1, DK2). Unlike existing live benchmarks, EnergyBench runs the models itself, on one information set that it freezes at the cut-off and publishes, including three numerical weather prediction models, so that foundation models can be compared with and without the same weather covariates under the actual market deadline. Errors are pooled per series against a seasonal-naive baseline, and models are ranked by a Bradley-Terry rating on the Elo scale with a day-bootstrap interval. The field spans baselines, linear and gradient-boosted models on the frozen weather, eighteen time-series foundation models from eleven families, ensembles, and the grid operators' own forecasts. Over the first thirty-two live days, the covariates reduced the error of each of the ten foundation models run with and without them by 37-51% on matched races (64-73% on wind, 48-61% on solar). Used zero-shot, these models match or outperform a LightGBM model trained on the same covariates. Model size, from 3M to 331M parameters, has a much smaller effect, and median ensembles of the covariate models rank highest. The grid operators' pre-gate forecasts remain ahead on wind and solar, where the best single foundation models have 16-22% more error; on load the gap is 4-6%, within the intervals.

cs.LG↗

Geometric Functional Inequalities for Markov Processes: An Invitation via the Langevin Diffusion

Functional inequalities provide a language for reasoning about the long-time properties of ergodic Markov processes in terms of their macroscopic geometry. This article offers an informal introduction to functional inequalities for readers who are more familiar with probabilistic tools based around couplings, Lyapunov techniques, and similar. The main ideas are developed through the overdamped Langevin diffusion, where various functionals related to this convergence admit particularly transparent expressions, and for which the key associated inequalities -- namely, the Poincaré and logarithmic Sobolev inequalities -- are especially well-studied. We explain the qualitative content of these inequalities, what they imply about convergence to equilibrium, how they transform and compose under natural operations, and how they interface with classical probabilistic approaches. Related inequalities are discussed more briefly, and an annotated guide is provided for readers wishing to enter the wider literature.

math.PR↗