arXiv:2607.01179v1 Announce Type: new Abstract: Scaling inference compute, by generating many parallel attempts per problem, is a costly but reliable lever for improving language model capabilities. By default these attempts are generated independently, wasting inference compute on redundant solutions. This waste seems unavoidable. After all, independence is what makes parallel sampling trivial to scale. However, this tradeoff is not fundamental: there is a rich design space of samplers that generate correlated but exact samples entirely in parallel. We explore this design space as an avenue for improving sample efficiency in scaling inference compute and reinforcement learning (RL). Concretely, we introduce QuasiMoTTo, which uses correlated samples as a drop-in replacement for i.i.d. samples. To generate these samples, QuasiMoTTo uses a reparameterization of autoregressive sampling as inverse-CDF sampling and draws the underlying uniforms with quasi-Monte Carlo (QMC); because QMC spreads the uniforms out more evenly than i.i.d., the resulting samples cover the output space with far less redundancy. Even though the batch is correlated, each sample is marginally distributed according to the language model, so we can use the batch for policy-gradient training. Our empirical analysis focuses on understanding how efficiently QuasiMoTTo can turn compute into performance. To evaluate correlated samplers, whose dependence breaks standard pass@k estimators, we first develop an unbiased bootstrap estimator. Across four reasoning benchmarks, QuasiMoTTo matches i.i.d. pass@k accuracy with 25-47% fewer samples. Strikingly, QuasiMoTTo often saturates an upper bound on pass@k that holds for any marginal-preserving sampler. We also apply QuasiMoTTo to policy-gradient RL (GRPO) where it matches i.i.d. performance with 50% fewer training steps. These gains come from higher coverage, which yields a stronger learning signal per batch.
Science Journals
arXiv:2607.01202v1 Announce Type: new Abstract: We present World from Motion, a method for generating freely renderable dynamic 3D Gaussian representations from monocular videos. Our approach conditions a video model on dense, pixel-aligned renderings that encode appearance, geometry, and 3D scene motion along both input and target camera trajectories to correct rendering artifacts and fill in missing regions from an initial reconstruction. To train this model, we construct a dataset of aligned multiview video pairs and dynamic 3DGS representations, with simulated artifacts characteristic of monocular reconstruction. At test time, we distill the model's generations, including newly observed regions and motions, back into a single consistent, high-quality dynamic 3DGS, improving both novel-view synthesis and the underlying 3D motion. Our method sets a new state of the art in 4D reconstruction and seamlessly generalizes to in-the-wild videos with large viewpoint changes and dynamic motions.
arXiv:2607.01225v1 Announce Type: new Abstract: Prior work on imitation learning from suboptimal demonstrations typically relies on compressed supervision signals such as confidence estimates, discriminator scores, or importance weights. These scalar signals are inherently limited, as they cannot explicitly express intermediate reasoning about task progress, failure modes, or corrective actions. We propose a language-critique framework for imitation learning from suboptimal demonstrations that instead leverages natural language as a structured supervision signal, avoiding the collapse of expressive feedback into scalars. Our method first constructs language labels from demonstrations that explicitly describe current progress, identify suboptimal behaviors, and provide fine-grained corrective guidance. We then introduce a language-critique loss that directly trains policies using these structured signals without reducing them to scalars, and instantiate it for both behavior cloning and diffusion policies, yielding LC-BC and LC-DP. We further provide a theoretical result showing that the proposed objective upper-bounds the expert performance gap under standard assumptions. Empirically, we evaluate on diverse continuous control tasks spanning navigation, manipulation, and gameplay, where our methods consistently outperform strong imitation learning and offline reinforcement learning baselines. These results demonstrate that language can serve as a powerful and structured form of supervision for learning robust policies from suboptimal data.
arXiv:2607.01233v1 Announce Type: new Abstract: LLMs are increasingly used to brainstorm research ideas, but existing evaluations mostly judge individual ideas by novelty, feasibility, or expert preference. We instead ask: how far are current LLM-generated ideas from human researchers? To characterize this gap, we build a large-scale evaluation framework for ideation from high-quality human research papers. For each paper, we reverse-engineer a small set of closely related prior works that likely inspired its core idea. LLMs are then prompted to generate a new idea from the set of paper titles and summaries. We introduce a two-axis research-taste taxonomy to profile each idea by its opportunity pattern and research paradigm, and use it to quantify the divergence between human and LLM ideas. Across idea sets generated by different LLMs, we observe a consistent distributional gap: LLM ideas are disproportionately concentrated around bridge-like opportunities and synthesis methods, whereas the human paper reference distribution spreads more broadly across ways of framing gaps and constructing contributions. This result suggests that strong LLMs can produce a range of reasonable ideas, but that range remains narrower than, and systematically shifted relative to, human research taste.
arXiv:2607.00335v1 Announce Type: new Abstract: We provide rigorous error analysis of the mass-preserving time-splitting methods for solving the semiclassical Dirac equation. The scaled Planck constant $\epsilon$ in the equation gives rise to rapid oscillations in both space and time when $0<\epsilon\ll 1$ with wavelengths of order $O(\epsilon)$. %We prove that the first-order splitting $S_1$ and the second-order splitting $S_2$ schemes preserve the total discretized mass. Rigorous error estimates reveal the precise dependence of the approximation errors on the time step $\tau$, the spatial mesh size $h$, and the parameter $\epsilon$. Specifically, the temporal error scales as $O\left(\tau/\epsilon^2\right)$ for the first-order splitting $S_1$ and as $O\left(\tau^2/\epsilon^3\right)$ for the second-order splitting $S_2$, while the spatial error scales as $O(h^m/\epsilon^m)$ for both methods, where $m$ is related to the regularity of the solution. In addition, we obtain error bounds for key physical observables, including the total probability density $\rho$ and the current density $\mathbf{J}$. Compared with finite difference time domain (FDTD) methods, time-splitting approaches exhibit spectral accuracy in space and retain a relatively low computational cost. Furthermore, we demonstrate that higher accuracy can be achieved by employing the fourth-order compact time-splitting ($S_\text{4c}$) method. Numerical experiments are conducted to verify the reliability of the error estimates.
arXiv:2607.00338v1 Announce Type: new Abstract: Object detection for Unmanned Aerial Vehicles (UAVs) working in open and dynamic environments is a highly challenging task. While Vision-Language Models (VLMs) have offered a powerful solution for universal object detection, adapting them to UAV scenarios remains non-trivial due to a substantial domain gap between VLM pre-training data and aerial imagery. The prevailing Parameter-Efficient Fine-Tuning (PEFT) methods prove ineffective in bridging this gap, as VLMs' "natural-scene, foreground-dominant" visual priors misalign with the "bird's-eye-view, background-dominant, small-object" characteristics of UAV data. To address this issue, we propose DroneFINE, a novel PEFT paradigm comprising two domain-aware complementary modules tailored for VLM-based drone image detectors. Specifically, a data-dependent, foreground-aware, and multi-path adaptation mechanism named HyperAdapter is designed, which overcomes the static structural constraints of PEFT. In addition, a background suppression algorithm named SemanticGate is developed. It is a text-conditioned guidance strategy that employs background vocabulary to actively guide the model in suppressing responses from irrelevant regions. Extensive experiments on VisDrone and UAVDT demonstrate that DroneFINE significantly outperforms existing PEFT methods and achieves performance comparable to full fine-tuning while substantially reducing the number of trainable parameters.
arXiv:2607.00253v1 Announce Type: cross Abstract: Dynamic metasurface antennas (DMAs) enable programmable wave-domain signal processing that can be jointly optimized with downstream digital processing in an end-to-end manner. Existing studies, however, typically assume ideal analog-to-digital conversion (ADC) and often rely on simplified electromagnetic models. Here, we study ADC-aware end-to-end optimization of a monostatic sensing pipeline based on a DMA with strong mutual coupling (MC). We model the wave domain using an MC-aware multiport-network model whose parameters were experimentally estimated for a fabricated chaotic-cavity-backed DMA with 96 one-bit-programmable meta-elements. We perform ADC-aware end-to-end optimization of the DMA configurations and digital classifier, either with awareness of a fixed uniform ADC or, optionally, with jointly learned ADC decision thresholds, and compare against baselines that assume an ideal ADC and/or ignore MC. Our results show that ADC awareness is essential in low-resolution ADC regimes: with one-bit ADCs and eight DMA configurations, deploying an ideal-ADC-trained system with a uniform one-bit ADC reduces the test accuracy from 95.5% to 56.0%, whereas ADC-aware training with the same fixed uniform one-bit ADC achieves 87.2%. We also show that without MC awareness the accuracy drops to the random-guess level. Learning non-uniform ADC thresholds provides at most modest additional gains over fixed uniform ADCs in the considered DMA-based sensing pipeline.
arXiv:2603.16859v2 Announce Type: replace Abstract: Omni-modal large language models (OLMs) redefine human-machine interaction by natively integrating audio, vision, and text. However, existing OLM benchmarks remain anchored to static, accuracy-centric tasks, leaving a critical gap in assessing social interactivity, the fundamental capacity to navigate dynamic cues in natural dialogues. To this end, we propose SocialOmni, a comprehensive benchmark that operationalizes the evaluation of this conversational interactivity across three core dimensions: (i) speaker separation and identification (who is speaking), (ii) interruption timing control (when to interject), and (iii) natural interruption generation (how to phrase the interruption). SocialOmni features 2,000 perception samples and a quality-controlled diagnostic set of 209 interaction-generation instances with strict temporal and contextual constraints, complemented by controlled audio-visual inconsistency scenarios to test model robustness. We benchmarked 12 leading OLMs, which uncovers significant variance in their social-interaction capabilities across models. Furthermore, our analysis reveals a pronounced decoupling between a model's perceptual accuracy and its ability to generate contextually appropriate interruptions, indicating that understanding-centric metrics alone are insufficient to characterize conversational social competence. More encouragingly, these diagnostics from SocialOmni yield actionable signals for bridging the perception-interaction divide in future OLMs.
arXiv:2607.00115v1 Announce Type: new Abstract: This paper explores multi-turn visual reasoning and observes that MLLMs repeatedly fail to localize the target, leading to long, redundant trajectories. We attribute this failure to the entanglement of reasoning and perception within a single model, the MLLM reasons and localizes simultaneously, and inaccurate localization triggers additional reasoning turns that bloat the trajectory. To solve this problem, we propose PixelEyes, a multi-turn visual reasoning agent that explicitly decouples reasoning from perception, i.e., the reasoner decides what to look for, while a specialized perception tool answers where it is. Specifically, PixelEyes introduces 1) Mask-guided Visual Search. A referring segmentation model is invoked to provide mask-precise localization, freeing the reasoner from the need to compensate for imprecise grounding. 2) Semantic-region Breadth-first Search (BFS). To eliminate redundant loops caused by repeatedly cropping incorrect sub-regions, we organize exploration as a breadth-first search over semantic regions. To internalize these capabilities, we construct the PixelEyes-6K dataset by resynthesizing expert trajectories from existing data. This explicitly embeds our mask-guided search and BFS logic into the model. We further introduce Pinpoint-Bench, a zero-hint visual search benchmark, i.e., no location cues are provided in the question, with instance-level masks and bounding boxes that separate localization failures from reasoning failures, enabling fine-grained analysis of failure modes such as inattentional blindness. Recent state-of-the-art MLLMs and visual reasoning agents leave large headroom on Pinpoint-Bench, demonstrating its quality and difficulty. Code and models are open-sourced.
arXiv:2607.00339v1 Announce Type: new Abstract: Conversational data is increasingly used as a persistent source of user state for long-running assistants and AI agents. However, querying this data remains challenging because conversations naturally evolve: plans are revised, preferences change, and later messages frequently supersede or contradict earlier information. Existing long-memory pipelines largely treat memories as independent text or vector objects. This approach often retrieves semantically similar but stale evidence, offering limited support for state-aware reasoning. To address this problem, we present TRACE, a query processing framework over temporal evidence graphs for evolving conversational data. TRACE models conversations as a hierarchical graph spanning events, sessions, and topics, enriched with typed temporal, causal, update, and contradiction relations. Crucially, the framework maintains validity annotations so obsolete facts remain accessible for historical queries but are discounted for current-state answers. At query time, TRACE combines vector-based note retrieval with graph-guided evidence search, generating validity-aware support paths and a hybrid context for answer generation. This design separates lexical recall from evidence reconstruction, enabling bounded query-time reasoning over long conversational histories. Experiments on long-conversation query-answering (QA) benchmarks show that TRACE improves temporal and multi-hop reasoning, with ablations highlighting the importance of hierarchy, update-aware seeding, and path-grounded evidence.
arXiv:2607.01044v1 Announce Type: new Abstract: Assistive autonomous robots operating in multi-agent environments require efficient strategies to locate specific individuals among multiple residents. Current social navigation methods focus on reactive collision avoidance and trajectory adaptation, but lack mechanisms to proactively gather information through human-robot communication. We introduce Communication-enabled Social Navigation (CommNav). In this novel task, robotic agents actively seek assistance from residents to locate target individuals by requesting information about recent sightings, locations, and movements. To evaluate CommNav, we extend Habitat 3.0 to create Habitat 3.0c, a communication-enabled variant supporting multi-human environments with information exchange protocols. Adding our communication module (COMM) to a state-of-the-art social navigation model yields a 10 percentage-point improvement in Episode Success. We further investigate the transition from structured data to natural language by evaluating models trained on LLM-generated instructions and on colloquial instructions collected from a human study. Our experiments reveal that: (i) explicit human-robot communication substantially enhances multi-person navigation performance; (ii) pre-training COMM on a communication pretext task effectively addresses the challenge of occasional interaction signals; and (iii) the navigation policy is highly robust to natural, colloquial human language, achieving an episode success statistically similar to the model using perfect structured data.
arXiv:2607.01046v1 Announce Type: new Abstract: Vineyards, or time-varying families of persistence diagrams, are widely used in topological data analysis (TDA) pipelines to track how topological features change and evolve as a parameter varies. When the parameter traces a closed loop, a vineyard can exhibit monodromy: diagram points permute over the course of a full traversal, which obstructs feature tracking and can complicate downstream analysis of such data. Chambers et al. considered the periodic vineyards that arise from the radial persistence transform, which maps the manifold to a family of persistence diagrams, where each diagram fixes a base point and considers the filtration that is based on Euclidean distance to that point, and showed that monodromy and knotting can occur. Other recent work by Arya et al. considers geometric conditions that exclude monodromy in two dimensions, in an effort to better understand when this effect happens. That said, understanding when and why monodromy occurs is a fundamental open problem with direct practical consequences for many data analysis pipelines. In this work, we study this question for 1-manifolds in $\mathbb{R}^2$, using a surprising connection with tools from singularity theory, and provide a classification for the causes of monodromy in vineyards. More precisely, we prove that the vineyard of a sufficiently small loop $\gamma$ cannot exhibit monodromy unless it contains a specific singularity of the distance function. The central geometric object in our analysis is the symmetry set, which is the locus of centers of spheres tangent in more than one point to the manifold; this object classifies singularities of the distance function, and in our setting, dictates precisely when monodromy occurs. This characterization opens the door to the development of algorithmic criteria for detecting and utilizing (or avoiding) monodromy in TDA pipelines.
arXiv:2606.21450v2 Announce Type: replace Abstract: Quotients have only been studied for a handful of equivalences in the linear time-branching time spectrum, for which there are results pertaining to canonicity and minimality. We extend these results to weak simulation equivalence and coupled similarity, two closely related equivalences induced by simulation preorders. We describe abstract procedures for transforming an LTS into a unique representative of its equivalence class, and for transforming an LTS into an equivalent state- and transition-minimal LTS. Moreover, we show the minimisation problem is NP-complete.
arXiv:2605.17988v2 Announce Type: replace-cross Abstract: Ray-tracing (RT) has become central to site-specific electromagnetic propagation modeling in dynamic complex environments. Yet its computational burden grows sharply as high-fidelity digital twins of these environments scale to millions of facets whose material parameters must be continuously updated as the environment changes. The challenge is amplified at mmWave and sub-THz frequencies, where surface roughness becomes comparable to the wavelength and so diffuse scattering can account for up to 40% of the received power, making accurate yet tractable models essential. The popular Effective Roughness (ER) approach offers physical consistency but become increasingly costly when highly directive lobes are required or when parameters must be iteratively tuned. This communication introduces a directive, reciprocal diffuse scattering model that preserves the structure of the ER while enabling an order-of-magnitude reduction in computational cost. Validation across eight materials shows no loss in accuracy - and a slight improvement - demonstrating a scalable and physically meaningful solution for RT in scenarios where diffuse scattering is non-negligible.
arXiv:2606.21639v2 Announce Type: replace Abstract: Minimum Spanning Trees have been used in unsupervised learning, particularly in clustering tasks, due to their ability to recognize clusters by removing edges that are considered inconsistent in defining those clusters. This paper aims to study the use of Minimum Spanning Trees in supervised learning. Specifically, we propose a classification algorithm based on Minimum Spanning Trees. To improve its performance, we introduce a robust version of the method that is also computationally more efficient. We evaluate the effectiveness of our proposed method through an extensive simulation study. We also apply the proposed methodology to a real-world case study involving aircraft trajectories.
arXiv:2606.29678v2 Announce Type: replace Abstract: We develop a Fourier--Hankel moment framework for extracting topological counting information from full-aperture acoustic far-field data. The method is based on the observation that separated localized components generate distinct phase centers in angular Fourier data. Under the Born approximation, a Bessel--Fourier moment identity shows that suitably scaled row Fourier coefficients form, to leading order, a finite exponential moment sequence. The associated Hankel matrix has rank equal to the number of separated connected components, and the corresponding Hankel pencil recovers their phase-center locations. We prove the exact Hankel rank formula in the phase-center model and establish a perturbation theorem showing stable component counting under a singular-gap condition. We further extend the framework to detectable cavities by introducing a signed phase-center model. In this model, material components and cavities contribute with opposite signs to the moment sequence. The signed Hankel rank counts distinct signed phase centers, and the detectable cavity count is obtained from the excess rank beyond the positive component count. This formulation also identifies an intrinsic degeneracy: cavities whose phase centers coincide with material phase centers, such as perfectly concentric annuli, do not increase the leading signed rank and therefore cannot be detected by the leading phase-center mechanism alone. Numerical experiments validate the proposed theory at several levels: ideal moment sequences, Born far-field data with finite-size components, phase-center location recovery, signed cavity counting, and exact Helmholtz far-field data. The results show that the Fourier--Hankel rank mechanism provides a data-level algebraic approach to component counting and detectable cavity counting, while also making explicit its stability conditions and failure modes.
arXiv:2607.01176v1 Announce Type: new Abstract: Magnetic resonance imaging (MRI) reconstruction under realistic acquisition conditions can be fundamentally viewed as estimating the underlying k-space distribution from incomplete and noise-corrupted measurements. While diffusion models have recently shown strong potential as generative prior for inverse problems,existingapproachesstruggletohandlenoisyreconstruction settings, especially when operating directly in k-space domain. In this work, we propose a unified high-dimensional k-space reconstruction framework tailored for noisy inverse problems, whichenhancesdiffusion-based solversthroughrepresentation lifting.Ratherthanmodifyingthe underlying optimization procedures, the proposed framework augments the data representation space, enabling existing diffusion-based solvers to operate on enriched k-space embeddings with improved expressiveness. Extensive experiments on both in-house and public datasets across varying noise levels and undersampled factors demonstrate that the proposed frame work consistently improves reconstruction quality for multiple diffusion-based inverse solvers. Notably, the largest gains are observed in high-noise regimes, which is consistent with our theoretical analysis of error propagation under high-dimensional representation. These results suggest that high-dimensional representation provides a general and model-agnostic mechanism for improving diffusion-based MRI reconstruction in noisy settings, offering a new perspective on robust k-space generative modeling for practical inverse problems. The code will be available at https://github.com/yqx7150/HEP-MRIRec.
arXiv:2607.01208v1 Announce Type: new Abstract: Language models deployed in high-stakes roles can potentially favor certain entities, brands, or viewpoints, steering user decisions at scale. Such preferential biases can be introduced by any actor in the model's supply chain and are most dangerous when the model reveals its preference only on the relevant topic while behaving identically to its unmodified base on all other inputs. Recent work has shown that these biases can transfer through context distillation on semantically unrelated data, with the signal residing entirely in the soft logit distribution and remaining invisible to text-based inspection. However, the defender faces a fundamental asymmetry: without knowing the bias topic, no detection method can reliably surface a stealth preferential bias, regardless of whether it examines generated text, internal representations, or model weights. Here we introduce Distill to Detect (D2D), a method that surfaces hidden biases by distilling the distributional shift between a suspected model and its base into a cartridge (a KV-cache prefix adapter), concentrating the dominant divergence and amplifying the bias signal into generated text. We show that D2D successfully amplifies the hidden biases of stealth models to the extent that they can be reliably detected across multiple bias types. We also propose a theoretical framework that explains the efficacy of D2D through the lens of Fisher-weighted projection of the logit distribution shift, supported by empirical observations. By turning the capacity bottleneck of prefix-tuning adapters into a detection tool, D2D provides a practical building block for auditing hidden behaviors in deployed language models.
arXiv:2607.00954v1 Announce Type: cross Abstract: Microwave linear analog computers (MiLACs) have recently gained attention for future gigantic multiple-input multiple-output (MIMO) systems by enabling beamforming with greatly reduced hardware and computational cost. However, channel estimation for MiLAC-aided multiuser systems remains an open problem. Conventional channel estimation requires many radio-frequency (RF) chains to access full-dimensional received signals, followed by massive digital processing, which undermines the advantages of MiLAC-aided systems in reducing the number of RF chains and computational complexity. In this paper, we propose computationally efficient channel estimation and beamforming schemes for MiLAC-aided multiuser multiple-input single-output (MU-MISO) systems with a limited number of RF chains. We consider the general case where different user groups experience different channel correlation matrices. By exploiting the rank deficiency of these matrices, the proposed schemes use MiLAC to compress the full-dimensional received signals in the analog domain, making them compatible with the available RF chains while preserving the essential channel information. Then, in the digital domain, only low-dimensional channel estimation is performed based on these compressed observations, substantially reducing computational cost. We further show how regularized zero-forcing beamforming (R-ZFBF) can be efficiently realized from the low-dimensional channel estimates through a cascade of two MiLACs, which offers greater computational flexibility than a single MiLAC. Numerical results show that the proposed schemes reduce computational complexity up to $1540\times$ and $16108\times$, for channel estimation and beamforming, respectively, while achieving performance comparable to digital baselines.
arXiv:2511.18050v1 Announce Type: cross Abstract: Diffusion transformers have recently delivered strong text-to-image generation around 1K resolution, but we show that extending them to native 4K across diverse aspect ratios exposes a tightly coupled failure mode spanning positional encoding, VAE compression, and optimization. Tackling any of these factors in isolation leaves substantial quality on the table. We therefore take a data-model co-design view and introduce UltraFlux, a Flux-based DiT trained natively at 4K on MultiAspect-4K-1M, a 1M-image 4K corpus with controlled multi-AR coverage, bilingual captions, and rich VLM/IQA metadata for resolution- and AR-aware sampling. On the model side, UltraFlux couples (i) Resonance 2D RoPE with YaRN for training-window-, frequency-, and AR-aware positional encoding at 4K; (ii) a simple, non-adversarial VAE post-training scheme that improves 4K reconstruction fidelity; (iii) an SNR-Aware Huber Wavelet objective that rebalances gradients across timesteps and frequency bands; and (iv) a Stage-wise Aesthetic Curriculum Learning strategy that concentrates high-aesthetic supervision on high-noise steps governed by the model prior. Together, these components yield a stable, detail-preserving 4K DiT that generalizes across wide, square, and tall ARs. On the Aesthetic-Eval at 4096 benchmark and multi-AR 4K settings, UltraFlux consistently outperforms strong open-source baselines across fidelity, aesthetic, and alignment metrics, and-with a LLM prompt refiner-matches or surpasses the proprietary Seedream 4.0.
arXiv:2607.00036v1 Announce Type: cross Abstract: The simplest point-particle description of classical matter is incompatible with Einstein's General Relativity because the stress-energy tensor of a point particle is distributional and concentrated on a one-dimensional worldline. For such higher-codimension sources, smooth spacetime solutions generally do not exist. This obstruction was established by Geroch and Traschen for sources of codimension $\geq2$. Motivated by this result, this thesis proposes codimension-zero tubes as a fundamental description of gravitating matter. Timelike tubes are constructed within the tubular neighbourhood of an auxiliary timelike curve. The tube interior is foliated by timelike codimension-one hypersurfaces whose dynamics are governed by a brane-like action. The resulting collective stress-energy tensor is smooth, unlike that of a point particle. For a broad class of tension and potential profiles, the strong energy condition is violated inside the tube, while the null and weak energy conditions remain satisfied. In the ultraviolet limit, where the tube radius vanishes, an appropriate rescaling of the Lagrangian density reduces the tube action to the point-particle action together with a canonical self-force-like term. The particle's rest mass then emerges as an effective quantity rather than a fundamental localized parameter. Perturbative stability is analysed at two levels. Field perturbations yield an infinite squared sound speed, showing that the foliation-generating scalar is non-dynamical and cuscuton-like. Small deformations of the leaves lead to the Jacobi equation for timelike hypersurface congruences, further constraining admissible tension and potential profiles. These results establish gravitating tubes as a geometrically and dynamically consistent description of matter that respects the Geroch--Traschen obstruction.
arXiv:2607.00241v1 Announce Type: new Abstract: This paper focuses on identifying defective units in unbounded periodic arrays of point sources using boundary data. The study is motivated by the noninvasive evaluation of large-scale periodic source systems. Unlike classical inverse source problems in free space, the key challenge here lies in the disruption of periodicity caused by defective sources in the infinite array. To address this, we employ the Floquet - Bloch transform to reformulate the original inverse source problem as a quasi-periodic inverse source problem. We first establish uniqueness theorems for both the original and the quasi-periodic formulations. Then, we develop a new numerical method for identifying defective sources. This method combines a sampling indicator function with an algebraic technique to determine not only the number of defective sources, but also their locations and intensities. Numerical experiments are presented to validate the effectiveness of the proposed method.
arXiv:2607.00392v1 Announce Type: new Abstract: Unsupervised Reinforcement Learning (URL) aims to pre-train scalable, skill-conditioned policies without extrinsic rewards, serving as a foundation for downstream control tasks. Despite recent progress, we argue that current off-policy URL methods are limited by two critical, overlooked bottlenecks: (1) non-stationary skill semantics and (2) brittle generalization. To address these challenges, we propose GenDa (Generalizable Data-efficient Agent), a unified framework for robust unsupervised reinforcement learning. First, we introduce a skill relabeling mechanism to mitigate non-stationarity and significantly improve data efficiency for pre-training. Second, we propose a Complementary Information Bottleneck (CIB), encouraging the learned skill policy to focus on ego-centric features and become robust to distribution shifts for downstream tasks. Through various experiments, we demonstrate that GenDa significantly enhances the scalability of URL with superior generalizability and data efficiency. Our code and videos are available at https://ihatebroccoli.github.io/official-GenDa.
arXiv:2607.00642v1 Announce Type: new Abstract: Reinforcement learning has proven to be a valuable tool in the creation of advanced AI and robotic systems, contributing to everything from game playing to robotics to foundation models. Through trial-and-error, these AI systems typically learn one, near-optimal behavior to solve their tasks. However, there are many use cases in which one would like to assert some level of control, preferably in real time, over how the task is solved. We refer to these modifications of a core task as styles. We combine universal value function approximators (UVFAs) with carefully selected training scenarios, learning algorithms, and data augmentation to create a framework for coaching agents that exhibit styles in complex domains. We demonstrate the framework's application in the AAA video games Horizon Forbidden West and Gran Turismo, and in an open-source humanoid test domain. Despite the different nature of the domains -- car racing, stylized game combat, and humanoid walking -- each agent shows strong coherence to the style requests while still satisfying the main task in its domain. Importantly, the techniques outlined in this paper allow an end user to choose the final behavior at run time, giving them flexible control over the final executed performance.
arXiv:2607.00394v1 Announce Type: new Abstract: LLM agents increasingly rely on retrieval buffers to store and reuse past experience, yet the cache management policies governing these buffers remain largely ad-hoc. We formalize this as an online semantic cache replacement problem with switching costs, where items are matched by embedding similarity and hit quality is continuous rather than binary. Through experiments on two datasets from MemoryBench-Full (LoCoMo, DialSim) with 8 replacement policies, we reveal a surprising finding: classic heuristics (LRU, LFU) \emph{consistently underperform} the naive FIFO baseline on semantic workloads, due to the absence of temporal locality and frequency concentration. We propose SOLAR, a learning-augmented framework that derives modification timing from regret accumulation (achieving $\sim$17\% modification rate) and content selection from Bayesian online learning over implicit retrieval feedback. We prove SOLAR achieves a constant competitive ratio $\leq 3$, independent of cache size and horizon (vs.\ $\Omega(K)$ for FIFO), and eviction regret $O(\sqrt{KT\log T})$, matching the $\Omega(\sqrt{KT})$ lower bound up to logarithmic factors. Experiments demonstrate 5--75\% relative improvement over FIFO at tight cache sizes, with a clearly characterized phase transition at the working set boundary. Synthetic experiments with 5000-item pools further reveal an inverted-U relationship between pool size and retrieval quality, justifying capacity constraints as a retrieval noise phenomenon rather than a storage limitation.