arXiv:2607.12454v1 Announce Type: new
Abstract: Multivariate Time Series Anomaly Detection (MTSAD) is essential for reliability and safety in domains such as industrial process monitoring and financial risk management, yet conventional approaches rely on application-specific models that are costly to train and hard to scale. Foundation Models (FMs), pre-trained on broad data with strong zero-shot generalization, have recently become available for univariate time series forecasting, raising the question of whether they can address MTSAD without task-specific training. We investigate the zero-shot application of a univariate forecasting FM, TimesFM, to industrial MTSAD on the Secure Water Treatment (SWaT) benchmark, evaluating two strategies: treating the FM as a per-feature forecaster with thresholded prediction errors, and as an embedder whose intermediate representations feed standard outlier detectors. Neither of our proposed setups is competitive with established baselines; embeddings reveal only partial separation between normal and anomalous segments, insufficient for reliable detection. The cause is that the FM is too effective at capturing temporal dynamics, yielding low error even within fully anomalous windows, so persistent anomalies become indistinguishable from normal behavior. However, these observations yield valuable insights: the error peaks at anomaly boundaries, indicating FMs reliably detect distribution changes. We conclude that the proposed naive zero-shot FMs are unsuitable for MTSAD but promising for change-point detection.
Science Journals
arXiv:2607.12460v1 Announce Type: new
Abstract: Addressing learner heterogeneity in programming education is challenging due to variations in student speed, prior knowledge, and motivation. While differentiated instruction, such as tiered sequences, allows students to engage at appropriate difficulty levels, manually creating these resources is labour-intensive. This paper introduces CodeOwl, an AI-driven tool that automates the generation of tiered Parsons problems. Starting from a sample task or specific programming concepts, CodeOwl produces tiered sequences of Parsons problems automatically. We evaluated CodeOwl with a mixed-method framework comprising complexity analysis, expert ratings, and user studies. Analysis of 297 tiered sequences (three tiers each) revealed that 98.7% achieved a positive complexity increase, successfully rising in difficulty from Tier 1 to Tier 3. Experts rated the generated problem statements as highly clear. While teachers praised the tool's utility, they identified a need for greater control over curriculum alignment. Similarly, students reported positively but requested enhanced feedback mechanisms and alternative interaction modes.
arXiv:2607.12464v1 Announce Type: new
Abstract: When labeled data are scarce, off-the-shelf diffusion models can augment training sets for few-shot medical image classification, but not all generated samples are equally useful for the downstream task. Existing approaches largely improve synthetic data by increasing realism, diversity, or domain adaptation, while overlooking a more fundamental question: how should sample usefulness for classification be measured and optimized? We address this with Class-Contrastive Influence (C2I), a criterion that quantifies a sample's usefulness through its gradient-based influence on the classifier. We find that effective samples exhibit a strong C2I gap: their loss gradients align with validation gradients from the same class and oppose those from other classes. Our analysis further suggests that such high-C2I samples are hard, boundary-proximal examples that help refine the decision boundary and improve robustness. Building on this insight, we fine-tune diffusion models with reinforcement learning using a C2I-based reward to steer generation toward class-informative samples. Across several few-shot medical imaging benchmarks, C2I-guided generation improves downstream accuracy and robustness over diffusion-based augmentation baselines, showing that synthetic augmentation is most effective when guided by task usefulness rather than image quality alone.
arXiv:2607.11902v1 Announce Type: new
Abstract: Thunderstorm Ground Enhancements (TGEs) are known manifestations of relativistic runaway electron avalanches (RREAs) developing inside thunderclouds. However, the role of positrons in TGEs and their relationship to thundercloud charge structure remain poorly understood. We report time resolved observations of intense positron fluxes detected at the Aragats Observatory on 16 17 May 2026 during strong thunderstorms. Two of the three events were characterized by a positive near surface electric field (NSEF), graupel precipitation, a low cloud base, and low-to-moderate enhancement of gamma ray and electron fluxes measured by SEVAN and STAND3 detectors. The third event is a classical electron TGE considered for comparative purposes. All events show moderate to strong enhancement of the 511 keV annihilation line, along with enhanced radon progeny gamma ray lines. We observe a temporal separation between the electron and gamma ray TGE peak and the positron flux maximum. To explain these observations, we introduce a dual dipole electrodynamic model. The large scale electron dipole comprises the main negative thundercloud layer and its broad positive mirror charge induced at the Earths surface, producing ordinary TGEs. Simultaneously, a localized positron dipole forms from the LPCR, with its negative mirror charge directly beneath the LPCR footprint. This lower dipole accelerates positrons downward while decelerating electrons entering the same region. These results establish positron TGEs as a new subclass of atmospheric high energy phenomena and provide direct evidence of localized positron acceleration in the lower atmosphere.
arXiv:2607.11935v1 Announce Type: new
Abstract: Early-warning signals (EWS) for critical transitions are predominantly based on
changes in the dominant eigenvalue of the system's Jacobian-rising variance
and lag-1 autocorrelation (AR(1)). However, eigenvalue-based EWS have
$O(delta theta^2)$ sensitivity to perturbations, limiting their lead time.
We introduce a complementary EWS based on eigenvector rotation, measured by the
time-varying elasticity $beta(t) = d log y / d log x$ estimated via a
TVP-Kalman filter in log-log space. Since eigenvector sensitivity is
$O(delta theta)$, $beta$ is predicted to precede eigenvalue-based signals. We test this hypothesis on 24 years of monthly NASA AIRS data (2002--2026,
284 observations) across three climatically distinct regions (Arctic 65-90N,
Tropics 10S-10N, Indian Monsoon), using temperature ($T$) and specific
humidity ($q$) as the coupled variables. $beta$ is orthogonal to AR(1) in all
regions (Pearson $r approx 0$, n.s.), confirming the distinct information
content. Systematic lead-lag analysis reveals that $beta$ precedes AR(1) by
14--24 months, consistent with the $O(delta theta) > O(delta theta^2)$
mechanism. Six simulated systems with known tipping points (Stommel AMOC model, fold
bifurcation, logistic map, critical slowing down) further validate that $beta$
leads AR(1) by 39-153 timesteps when the transition involves coupling
degradation. The dimensionless nature of $beta$ (scale-free log-log exponent)
suggests it may serve as a universal, cross-system EWS, analogous to scaling
exponents in critical phenomena.
arXiv:2607.11962v1 Announce Type: new
Abstract: Self-supervised learning offers a compelling approach for medical imaging, where labeled data are scarce and acquisition costs are high. We present COJEPA, a self-supervised framework for volumetric brain MRI that combines a joint-embedding predictive architecture (JEPA) with a contrastive loss (CO), targeting two complementary properties: local predictivity and global discriminability. The model is trained without labels on T1-weighted structural MRI from two cohorts (HCP-YA and AABC, $N{=}2286$, ages 22 to 90), extending I-JEPA to 3D with foreground-aware block masking, a hierarchical convolutional patch embedding, and world-space sinusoidal positional encodings. We evaluate all three objectives across zero-shot twin retrieval, brain tumor segmentation (BraTS 2024), and age regression (OpenBHB). COJEPA achieves the best monozygotic twin recall at rank@1 (0.84), the best finetuning age MAE (2.55 years on OpenBHB 3.0T), and matches CO on BraTS whole-tumor Dice, demonstrating that the combined objective yields representations that are simultaneously discriminative and locally structured.
arXiv:2607.11967v1 Announce Type: new
Abstract: Independently trained neural networks have no shared neuron-index reference frame, so comparing them requires accounting for coordinate freedom. Neural Collapse sharpens this problem: networks converge toward a shared, low-dimensional geometry, raising the question of whether trajectory-specific functional variation remains distinguishable after convergence. We distinguish three claims - detectability, transplantability, and causal persistence - and address the first. Using five independently trained networks reconstructing Neural Collapse on MNIST, we apply a verified affine-correct alignment mapping donor heads into recipient coordinates. Donor-specific functional fingerprints remain distinguishable after recipient-level baseline correction: all 20 ordered donor-recipient pairs are correctly identified, with an exact permutation p=0.0083, robust to a leakage audit. These findings establish detectability under the test used here, but not transplantability or causal persistence. The study shows how alignment, ambiguity diagnostics, and leakage control combine to test cross-network variation in a controlled setting; whether this generalizes beyond it is open.
arXiv:2607.12488v1 Announce Type: new
Abstract: Molecular optimization in drug discovery, materials design, and catalysis requires searching vast chemical spaces under tight evaluation budgets, since high-fidelity oracles and experimental measurements are costly. The practical impact of an optimization method therefore hinges on its sample efficiency: how few evaluations it needs to find strong candidates. We introduce Sample Efficient Generative Optimization (SEGO), a framework for Bayesian optimization on adaptively generated molecules. In SEGO, a probabilistic surrogate model forms a hypothesis about where hits lie in chemical space, a generative model is steered to propose candidates in that region, the most promising candidate is selected via an acquisition function, and the resulting oracle call is used both to sharpen the surrogate and to anchor the generator in real reward. SEGO attains state-of-the-art performance on the practical molecular optimization (PMO) benchmark using only one tenth of the oracle calls consumed by other methods, and on a multiparameter docking task it reaches ten hits in roughly half the oracle calls of existing approaches. These gains move molecular optimization closer to campaigns driven by direct experimental feedback.
arXiv:2607.12067v1 Announce Type: new
Abstract: Institutional equity holdings disclosed in SEC Form 13F filings provide a rich temporal record of portfolio decisions by large investment managers. However, forecasting future allocations and modeling future demand remains challenging due to disclosure lags, reporting noise, and strong persistence in institutional behavior. We introduce the first benchmark for these tasks using temporal graph machine learning, framing holdings prediction as node affinity prediction -- i.e., forecasting portfolio weights -- on a discrete-time temporal bipartite graph of managers and securities extracted from preprocessed filings. On a sampled dataset comprising 99 managers and the S\&P 500 index (503 securities, 209,351 temporal edges across 48 quarters from 2013--2025), Node Affinity prediction model using Virtual State (NAVIS) achieves a state-of-the-art test Normalized Discounted Cumulative Gain (NDCG) of 0.9127 with features (0.9121 without), outperforming all dynamic graph representation learning competitors by a substantial margin, and outperforming all heuristic methods. Remarkably, a simple Exponential Moving Average baseline achieves 0.8882, surpassing all dynamic graph models except NAVIS and all heuristics except Persistent Forecast (0.8891), highlighting the strong smoothness and persistence of institutional portfolios. Domain-specific node features provide only marginal gains (<1.2\%), indicating that temporal and structural signals in the 13F ownership graph already capture most of the predictable information. By benchmarking a suite of Temporal Graph Benchmark (TGB) models under the node affinity prediction setting, both with and without features, on real-world 13F data, this work provides a reproducible foundation for temporal graph machine learning in holdings prediction and portfolio allocation.
arXiv:2607.12310v1 Announce Type: new
Abstract: While modern question answering (QA) systems excel on clean, schema-aligned corpora, real-world knowledge is rarely so neatly packaged. Answering questions over enterprise and scientific data lakes requires systems to navigate heterogeneous, weakly structured collections of tables, passages, and linked metadata. Current benchmarks abstract away this noisy discovery process, failing to evaluate end-to-end performance. To bridge this gap, we introduce LakeQuest, a human-validated benchmark of 9,846 QA pairs designed to evaluate the end-to-end retrieve-and-synthesize pipeline over realistic data lakes. LakeQuest spans three diverse domains (AI/ML metadata, retail banking, and multimodal biomedical drug information) and pairs every question with exact, modality-aware evidence pointers. By isolating source discovery from cross-modal synthesis, LakeQuest exposes critical failure modes in modern QA systems. Our baseline evaluations, including standard Retrieval-Augmented Generation (RAG) and agentic tool-use methods, reveal that high-quality retrieval does not guarantee correct reasoning. Systems consistently struggle with relation chaining in metadata graphs, policy grounding in bank ledgers, and joint tabular QA in biomedical contexts, highlighting the need for robust discovery and faithful cross-file composition mechanisms in future agentic QA systems.
arXiv:2607.12319v1 Announce Type: new
Abstract: As vision-language models (VLMs) are increasingly deployed in geospatial question answering and visual scene understanding, improving their spatial cognition capability on street view imagery for complex logical reasoning has emerged as a key research priority. However, existing VLMs frequently suffer from "spatial semantic hallucinations" when perceiving object locations, distances, and directions in real-world street view scenes. Furthermore, such errors are often recalcitrant to tracing and calibration, posing a critical bottleneck for their practical deployment in geospatial tasks. To address this pressing challenge, this study proposes DM-KG (Direction-Metric Knowledge Graph), a structurally grounded spatial representation framework for street view imagery. By explicitly extracting directional and metric relationships between entities from a single 2D image, this framework enhances the spatial reasoning accuracy of VLMs through a structured knowledge graph. Specifically, we integrate panoptic segmentation with metric depth estimation to robustly compute entity-level 3D spatial coordinates. Subsequently, we encode the clock azimuths and Euclidean distances of entity pairs into a JSON-formatted knowledge graph, which is injected into the VLM as an explicit geometric prior to guide spatial reasoning. Experimental results on public spatial question-answering (QA) benchmarks demonstrate that DM-KG reduces the mean absolute error (MAE) in distance estimation by 31.1% and the mean angular error in direction judgment by 65.8%, while simultaneously maintaining a high QA success rate. By establishing a complete, augmented reasoning pipeline, this research significantly improves the spatial cognitive capabilities of VLMs in street view scenarios, thereby providing a flexible, generalized, and interpretable framework for geographic visual question answering (GeoVQA) in open environments.
arXiv:2607.12324v1 Announce Type: new
Abstract: The massive energy consumption of GPU-accelerated AI workloads challenges sustainable computing. We observe that execution asynchrony (e.g., CPU-GPU, concurrent streams, multi-GPU) creates slack, allowing non-critical kernels to run at lower frequencies to save energy without impacting end-to-end latency. However, existing approaches fail to simultaneously achieve workload generality and fine-grained slack discovery, while high-fidelity modeling incurs prohibitive overhead.
We present EMO, a lightweight framework exploiting these fine-grained opportunities. First, to identify where to optimize, EMO constructs a low-level dependency graph capturing asynchrony and performs what-if timing analysis to precisely identify slack windows. Second, to determine how to optimize, EMO introduces dependency-aware kernel packing. It aggregates kernels to preserve critical paths while collapsing redundant details, enabling high-fidelity latency-energy modeling with minimal profiling cost. Finally, EMO combines graph analysis and pack-level models to formulate energy optimization as a constrained combinatorial problem, efficiently solving for optimal frequency policies under given latency targets. Evaluations show EMO reduces energy consumption by 15%--28% with only 2%--5% performance loss and negligible overhead.
arXiv:2607.12105v1 Announce Type: new
Abstract: In-hand manipulation without external sensing is challenging due to uncertainties from finger-object contacts and disturbances by gravity. While reinforcement learning has shown promise in learning complex finger gaiting, existing approaches do not prioritize maintaining well-conditioned grasps for sustained manipulation. We introduce two complementary physics priors for robust in-hand rolling: a global grasp-quality prior derived from classical grasp analysis and a local contact-geometry prior based on fingertip curvature. The grasp-quality prior is used as a dense reward-shaping term that encourages well-distributed contacts with improved worst-case wrench resistance. The contact-geometry prior is expressed in the fingertip geometry that mechanically shapes the contact interface toward task-aligned rolling while reducing off-axis drift. We evaluate the effect of these priors on learning in-hand rolling manipulation for a multifingered robotic hand manipulating three different objects at four palm orientations. Results show significant improvement in rotation efficiency, grasp stability, and disturbance rejection, suggesting that physics priors embedded in both learning and fingertip morphology improve task robustness and sim-to-real transfer. An overview video can be found at https://youtu.be/pdd1wHxQnJM?si=dM-U5kiiPTYsk3Pk.
arXiv:2607.12167v1 Announce Type: new
Abstract: Astronomical observations allow us to better our understanding of the universe. As we observe smaller and more distance features, we run into the diffraction limit of our observation system. This limit is a function of the wavelength observed and the size of the primary aperture used. We can synthesize a larger primary aperture by implementing interferometry. Long baseline optical interferometry would lead to significant improvements in astronomical imaging resolution. Building optical interferometers with free space baselines becomes significantly more difficult as the baseline increases. A promising alternative is to use optical fiber to connect telescopes. Fiber-based interferometers are much more susceptible to phase noise than their free-space counterparts due to inhomogeneities in the fiber medium. This leads to significant degradation of interferometric signals used for astronomical measurements. We implement phase stabilization techniques used in quantum communications to stabilize an optical interferometer with a 170km pseudo-baseline. We use a quantum optimal measurement technique with this interferometer to resolve the extent of a source four times smaller than the diffraction limit of the system within 1.5% error. These results bring the potential for a full-scale on-sky long baseline interferometer significantly closer. A 350km baseline optical interferometer at 1550nm would allow us to resolve sub microarcsecond features in the universe.
arXiv:2607.12326v1 Announce Type: new
Abstract: Background. Interview based studies are widely used in empirical software engineering to investigate human, organizational, and socio technical phenomena, yet interview sample adequacy and saturation are reported inconsistently across the literature. Aims. This paper investigates how interview sample adequacy and saturation are operationalized in empirical software engineering research. Method. We analyzed papers published between 2016 and 2025 across major software engineering venues, focusing on interview sample sizes, saturation discussions, and sample adequacy justifications. Results. Preliminary findings indicate substantial variation in sample sizes, from highly specialized small sample studies to broader investigations involving large interview datasets. Studies involving fewer than 12 interviewees were common and frequently associated with specialized industrial contexts or constrained organizational access. However, the most recurrent range was 13 to 24 interviewees, suggesting that moderate sized samples represent the most common configuration in empirical software engineering research. Saturation and sample adequacy justification were heterogeneous, with many studies relying on implicit or contextual reasoning rather than explicit methodological discussion. Conclusions. Our findings provide initial empirical insights into methodological reporting practices in interview based software engineering research and contribute to ongoing discussions regarding qualitative rigor and transparency.
arXiv:2607.12659v1 Announce Type: new
Abstract: Vision-Language-Action (VLA) models have achieved impressive performance on diverse embodied tasks. However, deploying VLA models on low-power onboard devices, such as the Jetson Orin, remains challenging due to their high computational complexity, which leads to substantial inference latency and low control frequency. Asynchronous inference can partially mask this latency by parallelizing action execution and subsequent inference, but it introduces two critical issues: perception-execution misalignment and long reaction time. In this paper, we propose Jetson-PI, a method for efficient VLA deployment on onboard devices via Foresight-Aligned Asynchronous Correction. To address misalignment, we train a lightweight future correction module that predicts future environment representation conditioned on committed actions, enabling the action expert to directly predict actions from the future time step. To reduce reaction time, we introduce confidence-based scheduling optimization that adaptively balances VLM and action expert invocations, complemented by system-level accelerations including CUDA graph reuse, GPU-resident intermediate buffering, and flow unrolling. Extensive experiments demonstrate that Jetson-PI achieves 8.66x and 5.41x improvements in control frequency compared with naive PyTorch and vla.cpp on NVIDIA Jetson Orin, while outperforming VLASH by 14.8\% in average success rate on the LIBERO benchmark. The code of our asynchronous algorithm is available on https://github.com/PKU-SEC-Lab/Jetson-PI, and our efficient llama.cpp-based inference engine is available on https://github.com/PKU-SEC-Lab/Jetson-PI-Edge.
arXiv:2607.12328v1 Announce Type: new
Abstract: Next-generation low Earth orbit (LEO) satellite constellations face critical bottlenecks in spectral efficiency and onboard hardware complexity. To overcome these limitations, this paper introduces a novel architecture enabled by metasurface antennas (MAs) at the LEO satellites. In particular, MAs are metasurface-integrated feed antennas that perform high-precision beamforming directly in the wave domain, thereby effectively mitigating multi-user interference. Based on such an antenna architecture, a weighted sum rate (WSR) maximization problem is formulated by jointly optimizing the scheduling of feed antennas to terrestrial users (TUs) and the passive beamforming of the metasurface for system performance enhancement. To address this mixed-integer nonlinear programming (MINLP) challenge, an alternating optimization (AO)-based joint scheduling and beamforming algorithm is proposed. On the one hand, the proposed algorithm incorporates a polynomial-time minimum-cost maximum-flow (MCMF) method, which is dedicated to the optimal scheduling of feed antennas and TUs. On the other hand, it adopts a weighted minimum mean square error (WMMSE) method integrated with semidefinite relaxation (SDR) technique, which is tailored for metasurface beamforming design. Simulation results confirm the effectiveness of the proposed algorithm for MA-enabled LEO satellite constellation communications.
arXiv:2607.12331v1 Announce Type: new
Abstract: We show the following hardness results for monotone learning and approximation of monotone circuit size:
1. Under the Randomised Exponential-Time Hypothesis (rETH), it requires time $n^{\Omega(\log n)}$ to PAC-learn monotone formulas with $n$ input bits and size $s(n) = n$ by monotone circuits of size $n^{(\log n)^{1-\epsilon}}$, for every $\epsilon > 0$.
2. Under the Randomised Exponential-Time Hypothesis (rETH), for any $\delta > 0$, there is a polynomially bounded function $m$ such that $m^{1-\delta}$-multiplicatively approximating the minimum monotone circuit size of a monotone function consistent with a sequence of $m(n)$ labelled examples $\{(x_i, b_i)\}$ over $n$-bit inputs requires time $m^{\Omega(\log(m))}$.
Our results are shown by a novel application of lifting arguments in proof and communication complexity to hardness of monotone learning, by building on the seminal result of Atserias and M\"uller (J. ACM, 2020) on hardness of automating Resolution proofs.
arXiv:2607.12332v1 Announce Type: new
Abstract: We study the gradient flow dynamics of diagonal linear networks for regression tasks under infinitesimal initialization. Extending Theorem 1 from Pesme & Flammarion (2023), we generalize the analysis to both deep diagonal linear networks and a broader class of two-layer diagonal linear networks (as defined in Definition 4.1). Specifically, we demonstrate that the training trajectories of these models can be equivalently characterized by the proposed Algorithm 1. We further prove that this algorithm converges to the solution of a modified $ \mathcal{l}_1 $ norm minimization problem. As a result, we establish that the implicit bias of both network architectures corresponds to a modified $ \mathcal{l}_1 $ norm in the regime of infinitesimal initialization. Additionally, we provide insights into the underlying mechanisms governing these dynamics by identifying the Structural Invariant Manifold (SIM) (Zhao et al., 2026) as the key geometric structure that shapes the learning process.
arXiv:2607.12535v1 Announce Type: new
Abstract: Social surveys such as CHNS, NHANES, and BRFSS underpin population health and inequality research, yet critical metadata--urban/rural status, gender, and related stratification fields--are often incomplete. External population statistics or survey design information can provide a known prior P(M) over metadata categories. We formalize this setting as Context Distribution Restoration (CDR): recovering sample-level metadata assignments from covariates X while respecting P(M). The core challenge is that metadata recoverability varies by case: some respondents carry strong signals in X, others do not. We define recoverability theoretically as mutual information R(M|X) = I(X; M) and approximate it operationally via calibrated predictive uncertainty. We then introduce a recoverability-adaptive transport mechanism within an optimal transport framework to regulate the trade-off between individual evidence and population constraints. Across three large-scale surveys (CHNS, NHANES, BRFSS; up to 67k test samples), we show that unconstrained classifiers (XGBoost) achieve high accuracy but violate P(M) (TVD approximately 0.11), while CDR restores TVD < 0.001 with minimal accuracy loss. A CHNS case study illustrates interpretable continuum structure. CDR offers a framework for population-consistent metadata restoration in computational social science.
arXiv:2607.12532v1 Announce Type: new
Abstract: Quantum weakest preconditions are a fundamental tool for program verification of quantum programs. Many variations have been reported in the literature. We revisit quantum weakest preconditions from the perspective of expected runtime analysis of quantum programs and introduce a novel pre-expectation framework that enables to reason about the preconditions of quantum programs without the need of an upper bound. This is particularly interesting for quantum programs involving reward statements. The overall goal is to analyze runtime behavior even in the case of programs with potentially infinite expected runtime. This paper presents several ways to do so, e.g., a program transformation such that the expected runtime of a quantum program can be expressed using the weakest pre-expectation calculus with rewards.
arXiv:2607.12540v1 Announce Type: new
Abstract: We propose a residual energy-based framework for constructing low-rank approximations of kernel matrices arising from continuous kernel functions. The method operates in a continuous setting and is based on the adaptive selection of pivot nodes, referred to as \emph{optimal nodes}, which are chosen to minimize the residual energy at each step. This leads to a sequence of rank-$1$ updates of the residual kernel and admits a natural interpretation as a continuous analog of Adaptive Cross Approximation (ACA). From a theoretical perspective, we show that the residual kernels remain in the class of compact operators and that the approximation error is exactly characterized by the residual energy. We provide convergence guarantees showing that the method yields monotonic error reduction under an alignment condition and achieves geometric decay under practically motivated assumptions. Extensive numerical experiments demonstrate that the proposed method achieves approximation errors close to those of the truncated singular value decomposition across a range of kernel functions. The method exhibits strong robustness with respect to sampling and maintains stable performance across different discretizations. Furthermore, the close agreement between the continuous residual energy and the discrete approximation error highlights the consistency of the formulation. These results establish the proposed approach as a theoretically grounded, practically effective continuous counterpart to classical cross-approximation techniques.
arXiv:2607.12541v1 Announce Type: new
Abstract: Docker is widely used to create reproducible build environments, but Dockerfile drift, the divergence between a Dockerfile and its evolving source code, can cause CI/CD builds to fail. Existing rule-based and retrieval-based repair approaches analyze Dockerfiles in isolation and therefore struggle with context-dependent failures. We present Cadre, a context-aware framework for automated Dockerfile drift repair. Cadre uses static analysis to construct a Context-aware Dependency Graph (CDG), which maps each Dockerfile instruction to its file-level and inter-instruction dependencies. Guided by the CDG, Cadre first selects the context causally relevant to a failure and then generates a targeted patch from that context. We also introduce DodeX, a pipeline that mines real-world Dockerfile drift instances from GitHub Actions CI logs while preserving the complete build configurations omitted by static-snapshot datasets. Using DodeX, we construct $D^3$, a benchmark of 1,040 drift instances reproducible locally with the original CI parameters. Across $D^3$, Cadre achieves a 35.22\% repair rate, 2.78$\times$ that of the rule-based baseline and 1.24$\times$ that of the best LLM-based baseline. Its two-step workflow keeps 95.25\% of prompts below 30k tokens and avoids the prompt-overflow failures that prevent competing LLM-based methods from producing patches in 41 to 58 cases per method. Ablation results confirm that both the CDG and the two-step workflow improve repair performance. Cadre's advantage over diff-only approaches also increases as drift ages across commits, supporting explicit dependency modeling for context-aware infrastructure-as-code maintenance. Code and data are available at https://github.com/dw763j/Cadre.
arXiv:2607.12255v1 Announce Type: new
Abstract: We study interaction-aware mixture-of-experts for post-stroke rigidity prediction using multi-level views of structured health records. Despite minimal performance gains, routing attribution reveals systematic importance differences across views, underscoring view construction as key to interpretability.
arXiv:2607.12256v1 Announce Type: new
Abstract: We develop a contour-count indicator method for visible pole clusters in outward meromorphic continuation from circular boundary data. The method starts from determinant characteristics built from positive Fourier coefficients. In the pure finite-pole model, the correct determinant characteristic factors into a polynomial whose zeros are the reciprocals of the exterior poles. In the presence of a holomorphic background, finite sampling, and noise, roots of individual determinants are unstable and are used only as local evidence. We aggregate this evidence into a scalar indicator field on the reciprocal pole plane: at each sampling point, the field records the fraction of determinant orders and shifts for which a small contour centered at that point encloses exactly one empirical determinant zero. The resulting field plays the role of a sampling-type imaging functional for pole visibility. Fixed superlevel sets give visible-pole clusters, while zero-dimensional persistent homology is used only as a threshold-robust post-processing step. We prove deterministic results linking pure-pole contour counts, Rouch\'e stability, indicator-field contrast, fixed-threshold component recovery, and persistence-gap stability. These results explain why isolated poles with sufficient residue and separation generate stable high-value components, whereas weak, close, boundary-near, or noise-dominated poles may give low, short-lived, or merged components. The framework is a cluster-certification and imaging method, not an unconditional all-pole recovery procedure.