Computer Vision
Papers
Fresh from arXiv, typeset properly. Highlighted words trade on the market.
All of arXiv
Sunday 4 October
Visual token pruning is an effective way to accelerate vision-language models and is especially useful for vision-language-action (VLA) inference, where many visual tokens must be processed before predicting robot actions. Existing pruning methods usually estimate which tokens can be pruned based on attention scores or feature diversity, retaining tokens that are either highly attended or visually different from others. However, most of them use fixed pruning schedules, such as pruning once at a preset layer or pruning at uniformly spaced layers. Such schedules can be risky for VLA models, because the model may not know which visual regions matter for the action in early layers. Tokens that look unimportant at first may become useful after the model combines visual observations with the language instruction. In this work, we propose SAPrune, a training-free visual token pruning framework for efficient VLA inference. Instead of pruning at fixed layers, SAPrune uses a small calibration set to observe how action-to-visual attention changes across layers, and chooses pruning layers only after the attention pattern becomes more reliable. At each selected layer, SAPrune applies a dual-path pruning rule: one path protects strongly attended visual tokens from pruning, while the other prevents useful surrounding context from being discarded. Experiments on LIBERO, SIMPLER, and real-world robotic tasks show that SAPrune prunes 87.5% of visual tokens and achieves up to 1.718x inference speedup while maintaining competitive task success rates.
Optimization and Control
Curvature, Scaling, and Complexity in Riemannian Projection-Free Optimization
Projection-free methods replace projections by linear minimization oracles, making their convergence fundamentally sensitive to the geometry of the feasible region. We develop a geometric framework for this dependence in Riemannian Frank–Wolfe optimization. A power-type double-geodesic modulus quantifies the intrinsic geometry of the feasible set, and an exact transfer principle shows that this modulus induces a Frank–Wolfe scaling margin modulated by the differential of the Riemannian logarithm map. The resulting factorization separates the contributions of feasible-set geometry and ambient Riemannian distortion. Rauch comparison provides explicit curvature-dependent certificates for this distortion, while on the positive-definite cone equipped with the affine-invariant metric the logarithm differential admits an exact spectral characterization in terms of relative eigenvalue spread. Combined with a quadratic error bound, the power-type geometry yields the convergence rate $O(t^{-p/(p-1)})$ for the gap-feedback short-step policy. For every fixed $p>3$, a compact feasible set in a hyperbolic plane attains the matching rate $\Theta(t^{-p/(p-1)})$ under the same policy. The geometry-derived exponent $p/(p-1)$ is therefore sharp for the gap-feedback short-step policy over the geometry-controlled class considered here.
Read the full abstract
Optics
Photonic architectures for synthetic chiral light-driven chiral sensing
Molecular chirality gives rise to left- and right-handed enantiomers whose balance underpins biochemical function. Deviations from this enantiomeric excess are promising biomarkers of disease. Despite its importance, rapid and sensitive detection of enantiomeric excess in trace amounts of small chiral molecules remains an outstanding challenge. Synthetic chiral light introduces new opportunities for chiroptical spectroscopy, with the potential to enhance light-matter interactions by several orders of magnitude. Here we propose a new class of photonic architectures for synthetic chiral light, in which photonic structures generate, guide and optimize chiral light-matter interactions. As a first realization, we show that hollow dielectric waveguides support phase-matched propagation of multicolor fields enabling coherent accumulation of the enantio-sensitive nonlinear response over centimeter-scale distances. By combining microscopic quantum-response simulations with Maxwell's equations, we predict that incident pulse energies of around 1 uJ produce hundreds of picojoules of third-harmonic emission from only picomole quantities of carvone gas at 50 mbar over just 2 cm of propagation, with enantio-sensitive contrast approaching 5%. Phase-resolved Fourier analysis isolates a background-free chiral signal exhibiting the maximum possible dichroism of 200%. Beyond efficient chiral sensing, photonic architectures for synthetic chiral light establish a scalable platform for integrated nonlinear chiral spectroscopy, molecular fingerprinting based on ultrafast electron dynamics, and topologically robust chiroptical observables.
Read the full abstract
Multiagent Systems
Synergizing Drone Delivery Order Pooling and Road Network Monitoring through Monitoring-Task Orderization
This paper investigates the real-time dispatch of a shared drone fleet for on-demand food delivery and urban road network monitoring. We consider a courier-drone collaborative setting in which couriers transport orders to launchpads and drones complete the final delivery leg to kiosks. Drones may consolidate multiple origin-destination orders within one flight and make monitoring-aware route adjustments to collect real-time traffic information subject to delivery-time constraints. This yields a joint decision problem coupling dynamic order-to-drone matching, multi-order pooling, routing, and time-varying monitoring under fleet-level competition and uncertainty. We propose monitoring-task orderization, which periodically converts road-network nodes with high congestion and stale information into virtual monitoring orders. Pooling these virtual tasks with food-delivery orders creates a unified heterogeneous task set and transforms the coupled matching-and-routing problem into an order-level decision process. Building on this abstraction, we formulate a decentralized graph-interdependent Multi-Agent Markov Decision Process and develop Graph Multi-Agent Q-Learning (Graph-MAQL), which captures localized inter-agent dependencies through bipartite match coordination graphs. Agent-task value estimates are then used as edge weights in a dynamic heterogeneous bipartite matching program for globally feasible execution. Experiments using real-world data reveal strong operational synergy between delivery and monitoring. Monitoring-task orderization improves monitoring performance by 25.1% with less than a 1% reduction in delivery performance, while Graph-MAQL improves the aggregate objective by up to 20.8%, reduces deadline violations by over 40%, and transfers zero-shot to higher demand intensity without retraining.
Read the full abstract
Machine Learning
A Unified Scaling Law for Time Series Foundation Models
We develop a Unified Scaling Law and a Unified Theory of Time Series Learning to understand how model capacity and historical information support forecasting. Across different lookback lengths and forecast horizons, we analyze 18,768 experimental cells from 21 checkpoints on 23 dataset-frequency tasks spanning six domains. Our empirical methodology integrates local resource relations into a parsimonious, fitted five-parameter law: capacity gains increase with history, context gains diminish toward saturation, and horizon effects enter as a common shift. Fitted without Toto 2.0, the law predicts its horizon-averaged capacity-scaling curves with mean absolute percentage errors of 1.09% and 1.50% at input lengths 2048 and 4096. To understand how history supports prediction, our learning theory uses Gaussian regression to analyze rule identification and predictive capability. We hypothesize that full-shot models learn by accumulating information in weights, while frozen time series foundation models (TSFMs) use history by extracting information through activations. Matched-history comparisons establish the predictive value of additional history. Controlled parameter exchanges and activation interventions provide evidence that history-derived rule information can be retained, reused across queries, and used to recover a contribution to long-context prediction. Together, these findings inform capacity scaling, context allocation, and the development of models that retain and apply historical rules. Code and main results are available at https://github.com/Fifthky/UniScale.
Read the full abstract
Analysis of PDEs
The Global Existence and Energy Decay of a Partially Logarithmically Damped Wave System
We investigate the global existence and energy decay properties of a weakly coupled evolution system consisting of two wave equations in a bounded domain. The system exhibits a unique structural asymmetry: a nonlinear logarithmic damping term acts exclusively as a friction-like feedback mechanism on the first wave equation, while the second equation remains completely undamped and relies solely on linear cross-coupling to transfer and dissipate its energy. We establish two primary objectives. First, by utilizing the Faedo-Galerkin approximation scheme in conjunction with the structural monotonicity properties of the non-Lipschitz logarithmic nonlinearity, we prove a rigorous global existence result for strong solutions. Second, we provide a rigorous mathematical proof demonstrating the stability and asymptotic energy decay of the solutions under suitable constraints on the cross-coupling parameter. These results provide new insights into the stabilization mechanisms of coupled hyperbolic systems under degenerate nonlinear damping.
Read the full abstract
Data Structures and Algorithms
Multilevel Dynamic Thinning for Matroid Secretary
In the matroid secretary problem, weighted elements arrive in random order, and an online algorithm must irrevocably accept elements forming a high-weight independent set. Dynamic Thinning is a recent, conceptually simple $3.1462$-competitive algorithm for the matroid secretary problem that maintains a random reference set. Given this reference set, the elements in its maximum-weight independent subset have been accepted independently with a time-dependent probability. We extend this approach by replacing the single reference set with a finite hierarchy of nested reference sets. For every fixed $\eps>0$, the resulting algorithm is $(e+\eps)$-probability-competitive for arbitrary matroids, with $O_\eps(n^2)$ queries in the worst case.
Read the full abstract
Cryptography and Security
Who Is Your Agent Serving? Provider-Side Indirect Prompt Injection in Proactive Agents
Proactive personal agents increasingly decide what to recommend, how to personalize advice, and what follow-up assistance to offer, creating a new user-decision attack surface for provider-side indirect prompt injection. We show that an external provider need not access private user context, compromise the agent, or gain additional permissions: by controlling only content associated with its own target, it can redirect an otherwise benign agent to advance that target, recruit legitimately available user context to justify it, and proactively reduce the friction of adoption. We characterize this failure mode through Target Control, Private Binding, and Prospective Support, which respectively steer what the agent advances, how it connects the target to the user, and what target-specific assistance it offers next. Across three proactive-agent environments and six simulated user models, the full attack increases target authorization in all tested environment-user-model combinations, with a macro gain of up to 77.4 percentage points. Controlled replay shows that correct user-target binding is more consequential than additional proposal detail alone, while a multi-turn extension reveals that provider objectives can remain influential even without final authorization by reshaping how the agent responds to user constraints and resistance. These findings expose a broader trust boundary: capabilities designed to serve the user can be redirected toward objectives originating outside the user-agent relationship.
Read the full abstract
Machine Learning
Loopy: Low-Bit Quantization Framework for Looped Language Models
Looped language models provide a parameter-efficient way to scale iterative test-time computation by repeatedly executing a shared recurrent core. Post-training quantization (PTQ) can reduce the memory footprint and inference cost of looped language models, but errors introduced by a quantized shared core affect subsequent cores. Among PTQ methods, channel scaling and orthogonal rotations preserve the floating-point computation while producing representations with different quantization quality. We find that quantization configuration candidate rankings can change with recurrent depth, motivating configuration selection at the target deployment depth. However, evaluating every candidate over the full calibration set at this depth is costly. We therefore propose Loopy, a PTQ framework that formulates shared-core quantization through a recurrent-depth-aware objective, selecting shared low-bit representations by their final prediction loss at the target deployment depth. Channel scaling and orthogonal rotations parameterize the candidate representations. To approximately solve this selection problem efficiently, Loopy progressively allocates calibration windows to promising candidates while preserving complete target-depth execution, using only forward evaluations. Across eight settings, Loopy achieves the state-of-the-art results among different baselines. On Ouro-1.4B under W4A4, Loopy reduces LAMBADA perplexity by 36.5% relative to SpinQuant. Our code is available at https://github.com/Shameless0817/Loopy-review.git.
Read the full abstract
Sound
Task-Aware Joint Pruning and Distillation for Efficient Audio Deepfake Detection
Advances in speech synthesis have made deepfake speeches increasingly convincing, posing growing threats to security. While self-supervised learning (SSL) based detectors achieve state-of-the-art performance, their computational demands (typically 300M+ parameters) prevent deployment on resource-constrained devices. Existing compression methods, designed mainly for content-centric tasks, struggle to maintain competitive performance when directly adapted to deepfake detection. We propose a Task-Aware Joint Pruning and Distillation framework that combines cross-domain knowledge distillation with movement-guided structured pruning to transfer forgery-discriminative knowledge and preserve critical structures under aggressive compression. Our framework reduces the model to 31.9M parameters with 6.3$\times$ FLOPs reduction, with an average performance drop of only 1.30% across multiple datasets compared to the uncompressed baseline, demonstrating strong potential for on-device deployment.
Read the full abstract
Logic in Computer Science
A Logic for Minor-Free Graph Classes: Model Checking, Dependence, and Combinatorial Reconfiguration
We introduce sub-connectivity logic, denoted by $\textsf{FOscon}$, an extension of first-order logic for graphs with a specified set $Z$ of admissible edges. Its additional atom $\textsf{scon}(x,y;\bar z)$ asserts that $x$ and $y$ are connected by a path using only edges of $Z$ and avoiding the vertices in $\bar z$. Our main structural result states that, for every weakly sparse graph class $\mathscr C$, the class of all expansions of graphs in $\mathscr C$ by rooted spanning forest orders has bounded twin-width if and only if $\mathscr C$ excludes a fixed minor. When $\mathscr C$ excludes a fixed minor, we can also compute an additional linear order that preserves bounded twin-width in polynomial time. We translate $\textsf{FOscon}$ into first-order logic over an expansion by a depth-first spanning forest order of the admissible-edge graph. Combining this translation with our structural result, we obtain a model checking algorithm for $\textsf{FOscon}$ with running time $f(|\phi|,h(G))\cdot |G|^c$, where $f$ is computable, $c$ is an absolute constant, and $h(G)$ is the Hadwiger number of $G$. The translation and model-checking algorithm extend to binary relational structures, with the Hadwiger number measured on the Gaifman graph. For a graph class $\mathscr C$ let $\mathscr C_Z:=\{(G,Z):G\in\mathscr C,\ Z\subseteq E(G)\}$. We show that for every weakly sparse graph class $\mathscr C$, the class $\mathscr C_Z$ is monadically dependent for $\textsf{FOscon}$ if and only if $\mathscr C$ excludes a fixed minor. For monotone classes that admit efficient minor encodings, a corresponding hardness result makes this frontier computationally tight. We give applications to combinatorial reconfiguration and solution discovery problems, and study a guarded extension of $\textsf{FOscon}$ motivated by database queries.
Read the full abstract
Quantum Physics
Origin and classification of fractional dynamical topology in non-Hermitian quantum systems
Dynamical quantum phase transitions (DQPT) provide a fundamental framework for characterizing nonequilibrium critical phenomena, and have recently been extended to non-Hermitian systems. Half-integer jumps of the dynamical topological order parameter can arise in both Hermitian and non-Hermitian systems, yet their origin in non-Hermitian settings remains unclear. Here, we investigate DQPTs in a two-band non-Hermitian model and show that these fractional jumps originate from the discontinuity in the complex energy spectrum. We demonstrate that this behavior is intrinsically linked to the steady-state phase diagram of the quench Hamiltonian, and also classify the occurrence of DQPT. We further extend our analysis to the multiband Hamiltonian and the two-dimensional model, providing a unified understanding of fractional dynamical topological signatures.
Read the full abstract
High Energy Physics (Experiment)
Observation of $D^+ \to K^{*0}\rho^+$ and $D^+\to K^{*+}\rho^0$ in Doubly Cabibbo-Suppressed Decay $D^+ \to K^+\pi^+\pi^-\pi^0$
By analyzing an $e^+e^-$ collision data sample with an integrated luminosity of 20.3 fb$^{-1}$ collected with the BESIII detector at the center-of-mass energy of 3.773 GeV, we perform the first amplitude analysis on the doubly Cabibbo-suppressed decay $D^+ \to K^+\pi^+\pi^-\pi^0$ and report the first observation of $D^+ \to K^{*0}\rho^+$ and $D^+\to K^{*+}\rho^0$. The corresponding branching fractions are $(5.67\pm0.41_{\rm stat}\pm0.17_{\rm syst})\times10^{-4}$ and $(5.32\pm0.57_{\rm stat}\pm0.24_{\rm syst})\times10^{-4}$, respectively. These two $D\to VV$ decay both have large transverse polarizations. The longitudinal polarization fractions are measured to be $0.111\pm0.024_{\rm stat}\pm0.008_{\rm syst}$ and $0.263\pm0.049_{\rm stat}\pm0.015_{\rm syst}$, respectively. The branching fraction of the decay $D^+\to K^+\omega$ is measured to be $(4.76\pm0.84_{\rm stat}\pm0.13_{\rm syst})\times 10^{-5}$.
Read the full abstract
Information Theory
Limits of Weight-Bounded Redundant Checks for Peeling Decoding of Random Regular LDPC Codes
We study peeling decoding on the binary erasure channel when redundant parity checks may be added without restriction in number, but each check is subject to a row-weight constraint. For random simple binary regular low-density parity-check (LDPC) codes, we consider the parity-check matrix formed by all nonzero dual codewords up to a prescribed weight. We show that, throughout an explicit logarithmic row-weight range, this complete family of redundant checks has the same asymptotic normalized-residual threshold as peeling with the original LDPC matrix. In the same range, with probability tending to one over the random code, it still has a linear-size stopping set that is uniquely decodable. Consequently, every parity-check representation whose peeling decoder succeeds on every uniquely decodable erasure pattern must contain checks above this logarithmic scale, and the supports of those heavier checks must collectively contain a linear number of coordinates. Thus row weight remains an asymptotic limitation even when the number and selection of redundant checks are unrestricted.
Read the full abstract
Representation Theory
A quiver presentation of the type D arc algebras and intrinsic formality of $\mathbb{D}_4$
We construct a presentation of the Khovanov arc algebras of type $D$ by a quiver with quadratic relations. As an application, we use this presentation and the Koszul dual to compute some Hochschild cohomology groups of $\mathbb{D}_4$, and show that $\mathbb{D}_4$ is intrinsically formal, that is, it admits no non-trivial $A_\infty$-deformations.
Read the full abstract
Robotics
Safe Ergodic Control for Multi-Robot Systems via Quadratic Programming
Ergodic control drives robots to spend time in each region in proportion to a spatial distribution of interest, making it well suited for dense spatiotemporal environmental monitoring. Existing safe ergodic controllers rely on offline trajectory optimization or hierarchical architectures, which limit real-time applicability and decouple the ergodicity objective from the safety constraint. This paper presents a quadratic programming (QP)-based controller that treats ergodicity and safety jointly. We first introduce a Gaussian-kernel ergodic metric that, unlike the classical indicator-based metric, is time differentiable. This allows the exponential decay of the metric to be imposed as a time-varying control barrier function (CBF) constraint, relaxed by a slack variable, alongside hard CBF constraints for region containment and inter-robot collision avoidance. We establish that the resulting QP remains feasible from any safe initial configuration and that, up to the slack term, the ergodic metric decays exponentially. Simulations show improved performance over baseline methods, and experiments with three aerial vehicles validate the work on real hardware.
Read the full abstract
Analysis of PDEs
Nontrivial periodic solutions to the one-phase free boundary problem
We construct new classical global solutions of the one-phase Bernoulli free boundary problem in $\mathbb{R}^3$ whose positive phases are periodic perturbations of the product of the Hauswirth–Hélein–Pacard double hairpin domain with a line. In contrast with previous constructions of undulating cylinders, the free boundary of the base solution is not compact modulo translations. More generally, we show that the same scheme yields periodic solutions in $\mathbb{R}^{n+1}$, $n \geq 3$, bifurcating from product solutions $U(x,t)=u(x)$, when the base $u:\mathbb{R}^n\to [0,\infty)$ has nontrivial finite Morse index, is nondegenerate within a symmetry class, and satisfies certain natural geometric conditions at infinity. In dimensions $n\in\{3,4\}$, where the stable Bernstein theorem is available, the recent classification of finite Morse index solutions by Fernández-Real, Florit-Simon and Serra shows that every such solution satisfies these geometric conditions. Thus, the existence of undulating solutions in $\mathbb{R}^{4}$ and $\mathbb{R}^{5}$ bifurcating from their respective products reduces to a nondegeneracy property of the base solution. In order to confirm that the perturbed solutions are positive, we prove that finite Morse index solutions with noncompact free boundary satisfy a strong distance nondegeneracy estimate.
Read the full abstract
Artificial Intelligence
Learning from imperfect teachers for low-resource acoustic generalization
Knowledge distillation (KD) improves low-resource acoustic learning by enriching one-hot supervision with the softened predictive distribution of a fixed teacher network. However, a teacher trained with limited or imbalanced annotations may produce a biased distribution whose components are not uniformly reliable. Although this distribution can still encode useful knowledge, direct full-distribution matching may also transfer teacher-induced biases, thereby distorting the student's decision boundary and degrading its generalization performance. To address this limitation, we propose Boundary-Anchored Mass-Partitioned Distillation (BA-MPD), a logit-based distillation objective composed of Boundary-Anchored Correction (BAC) and Mass-Partitioned Distillation (MPD). BAC addresses missing ground-truth labels in the set of the teacher's top predictions by swapping the true label for the lowest-ranked entry of the set, thus keeping the mass and uncertainty of the set unchanged. MPD then distills this corrected distribution through separate losses that enforce relational consistency within the set, balance the mass between high- and low-confidence groups, and weight lower-confidence dependencies. Ultimately, BAC and MPD together suppress harmful ranking errors and noisy low-confidence details, while retaining all useful teacher information. Experiments on two acoustic benchmarks under multiple label budgets show that BA-MPD consistently improves over supervised-learning baselines and vanilla KD while remaining competitive with strong logit-based KD baselines. Cross-budget results further show that BA-MPD remains effective when the teacher and student models use mismatched label budgets, demonstrating its ability to exploit imperfect teachers across supervision gaps. Implementation available at https://github.com/ShuanglinLi/BA-MPD.
Read the full abstract
Group Theory
Conjugacy and period in symmetric diagram groups
We show how to solve the conjugacy (search) problem and the problem of determining whether a given element is periodic in symmetric diagram groups based on finite semigroup presentations.
Computer Vision
Hybrid-Basis Feature Forecasting for Diffusion Sampling Acceleration
We propose Hybrid-Basis Feature Forecasting (HybridFF), a training-free, plug-and-play framework for accelerating diffusion sampling. To capture local smoothness, long-range trends, and complex non-monotonic variations when modeling feature evolution, HybridFF first estimates coefficients using moving least squares (MLS) for each of multiple complementary basis families and then combines the corresponding predictors using fusion weights. In addition to the choice of basis functions, the fusion weights also play a critical role. We introduce two strategies to balance quality and speedup. HybridFF (Fixed) prioritizes efficiency with model-specific fusion weights calibrated on a small set and held constant during inference. HybridFF (Adaptive) updates the fusion weights online using branch reliability scores computed from an exponential moving average of full-step prediction errors, improving prediction fidelity and generation quality under aggressive caching while retaining substantial acceleration. Experiments across DiT-XL/2, FLUX.1-dev, SD3.5-Large, and HunyuanVideo demonstrate a favorable speedup–quality trade-off over representative single-basis forecasters and caching baselines.
Read the full abstract
Theoretical Economics
A Social Welfare Function Satisfying Anonymity and Almost Weak Pareto
We study the existence of real-valued social welfare functions (SWFs) on the set of infinite utility streams that satisfy anonymity and almost weak Pareto. We characterize the domains of one-period utilities, \(Y\subset \mathbb{R}\), for which such SWFs exist. We show that an SWF satisfying these two axioms exists if and only if \(Y\) contains no subset that is order-isomorphic to the set of negative and positive integers. Thus, the restrictions on \(Y\) required for the existence of an SWF satisfying anonymity and almost weak Pareto coincide with those required for an SWF satisfying anonymity and weak Pareto. Moreover, the SWF we construct is invariant under arbitrary permutations and satisfies stationarity, two properties that are particularly useful for decision making in infinite-horizon economies.
Read the full abstract
Computer Vision
MGPO: Manifold-Guided Diffusion Alignment for Task-Aware Dataset Distillation
Diffusion-based dataset distillation (DD) suffers from a fundamental objective mismatch: likelihood-driven diffusion models prioritize density approximation over the discriminative decision boundaries required for downstream tasks. Beyond semantic mismatch, relying solely on density also leads to geometric coverage loss, where generated samples collapse into a few high-density modes and fail to cover the manifold's structural diversity. We propose Manifold-Guided Policy Optimization (MGPO), which reformulates DD as a multi-objective reinforcement learning problem and achieves Dual-Space Alignment via a pixel-space discriminative reward and a latent-space geometric reward guided by a class-wise Minimum Spanning Tree (MST). The discriminative reward enforces class separability, while the MST-based geometric reward encourages generated latents to cover a sparse geometric skeleton of each class, jointly addressing both failure modes. We further provide an idealized analysis that motivates the MST-based reward, including a Hausdorff approximation bound and a subsampling bound independent of the dataset size. The reward-modular design extends to structured tasks such as object detection and segmentation by substituting the frozen task reward model. Extensive experiments show MGPO consistently outperforms existing methods, including a +8.0% mIoU gain on segmentation under low-budget settings.
Read the full abstract
General Economics
What a Shorter Contest Really Costs: Serial Dependence, Effective Trials, and Evidence from a Rule Change in Professional Esports
Operational research evaluates tournament formats by their efficacy, the probability that the design identifies the stronger competitor, and computes it almost exclusively by simulation under an assumption that is rarely tested: that the trials a format aggregates are independent. We show that this assumption systematically overstates what shortening a contest costs, and we measure the correction. When trials are serially correlated, a format carries N/[1+(N-1)rho] effective trials rather than N, so a twenty per cent cut costs 10.6 per cent of discriminating power under independence but only 5.2 per cent at the correlation we estimate, and only 2.1 per cent in a sixty-trial format. The ingredients are estimated from an implemented change in contest length: in September 2023 professional Counter-Strike cut regulation rounds per map from thirty to twenty-four. Across 72,576 maps we measure discrimination as the ability slope over the residual standard deviation on the first half of a map, a contest fixed by rule at fifteen or twelve rounds with no stopping rule. Against the calibrated benchmark of 0.948, discrimination falls by thirty-five per cent in a ten-month window around the switch (0.648, 95 per cent interval 0.52-0.81) and by ten per cent over the full panel (0.901, 0.82-0.99). The correction needs one number, recoverable from ordinary results data as a design effect.
Read the full abstract
Machine Learning
Kolmogorov-Arnold Networks for Personal Context Recognition on ExtraSensory
Kolmogorov–Arnold Networks (KANs) have attracted increasing attention in recent years, with applications across a wide range of AI tasks. In this paper, we evaluate several KAN variants on the ExtraSensory dataset for personal context recognition and compare them with a multilayer perceptron (MLP) and TabM. We conduct the main experiments using five user folds and three random seeds per fold and report the average Macro-F1, Micro-F1, and training time. We also perform shallow ablation studies on grid size, the number of grids, and data normalization to examine their effects on KAN performance. The results show that all evaluated KAN variants significantly outperform MLP in terms of Macro-F1 and Micro-F1 and achieve performance comparable to TabM. However, KAN variants generally require more training time, while TabM provides a more favorable balance between predictive performance and training efficiency. These results suggest that KANs are promising for personal context recognition, while their computational efficiency remains an important challenge. Our source code is publicly available at: https://github.com/hoangthangta/ExtraSensory-KANs.
Read the full abstract
Computer Vision
ArticuTable: Generating Instance-Level Interactive Rigid-Articulated 3D Tabletop Scenes from a Single Image
Embodied agents benefit from 3D environments that combine visual fidelity to real-world observations with physical interactivity. Existing single-image tabletop reconstruction methods recover plausible scene geometry but typically represent objects as monolithic rigid bodies, limiting interaction to whole-object rigid motion and precluding executable part-level articulation. Meanwhile, recovering a scene layout consistent with the input view remains challenging because a single observation may admit multiple plausible pose-scale configurations. We present ArticuTable, a single-image 3D tabletop reconstruction framework that recovers both executable part-level articulation and an input-view-consistent scene layout. For object modeling, we introduce generation-robust articulation modeling (GRAM), which combines joint fitting guided by a multimodal large language model with semantic state reasoning to recover reliable joint parameters and valid motion ranges from imperfect monolithic proxy meshes, thereby converting them into executable articulated assets. For scene layout, we introduce progressive semantic-geometric scene registration (PSGSR), which progressively narrows the pose-scale search space under complementary metric, planar, and input-view constraints and resolves orientation ambiguity through structure-aware semantic correspondences, yielding a scene layout consistent with the input view. We further contribute ArticuTable-100, a curated collection of 100 simulation-ready tabletop scenes. Extensive evaluation, including a user study, demonstrates strong performance across visual fidelity, input-view consistency, articulation quality, physical plausibility, and simulation readiness.
Read the full abstract
Algebraic Geometry
Varieties Admitting Polarized Galois Endomorphisms
Let $X$ be an $n$-dimensional smooth complex projective variety admitting an int-amplified Galois endomorphism. We prove that its maximal rationally connected fibration is represented by a smooth toric fibration over a smooth $Q$-abelian variety. Consequently, if $X$ is rationally connected, then it is toric. If it also has Picard number one, then $X\cong \mathbf{P}^n$. As another application, we prove that such $X$ is of log Calabi-Yau type as conjectured by Gongyo.
Read the full abstract
Multiagent Systems
templar: agentic induction and evolution of standardized radiology reporting templates from large-scale clinical corpora
Structured radiology reporting mitigates the heterogeneity of free-text reports, yet its benefits depend on high-quality reporting templates. In practice, such templates are conventionally built through labor-intensive expert consensus and therefore vary across institutions and lag behind evolving clinical practice. Large language models (LLMs) enable automated template induction, but existing approaches remain limited: single-LLM induction is constrained by context length, and the corpus-scale method ASTAR produces a static, closed-corpus template without external grounding or downstream adaptation. To address these limitations, we propose TEMPLAR, a TEMPLate-centric Agentic framework for inducing and evolving standardized Radiology reporting templates from large-scale clinical corpora. TEMPLAR treats the template as a persistent central state maintained alongside two provenance-aware knowledge graphs, namely an anatomical graph that constrains template construction and a diagnostic graph that supports finding-to-diagnosis reasoning. Three agents operate on this state. The Induction Agent derives canonical clinical slots from anatomy-constrained Span-Triple atoms via dual-view similarity clustering; the Evolution Agent then assembles these slots into a hierarchical template and revises it under consistency constraints, external clinical evidence, and downstream structuring feedback; and the Clinical Agent applies the evolved template to report structuring, reconstruction, and diagnostic reasoning. Across four datasets, TEMPLAR outperforms ASTAR, three medical LLMs, and six general-purpose LLMs in coverage, information fidelity, and diagnostic fidelity, while achieving the highest or tied-highest LLM-rated template quality. Its fidelity advantages over ASTAR persist under cross-dataset transfer, and cumulative ablations support complementary contributions of its key components.
Read the full abstract
Cryptography and Security
What a Policy Gate Can and Cannot Know: Measured Boundaries of Cross-Platform Command Adjudication
Gateways that adjudicate an agent's actions before they execute are only as good as their understanding of the action. We study a policy gate that never parses shell syntax: it consumes a typed, realised action (verb, operands, resolved zones, program-object identity) and decides ALLOW, ASK or DENY. Working on a Linux twin of the Windows benchmark of our previous study [1], we ask how faithfully it adjudicates, what survives translation, and whether deciding stays affordable as the system is used. A frozen 61-case table scores 61/61 in two rounds with no false allow; a 50-operator mutation campaign kills 46 of 50 mutants (92.0%), with all four surviving mutants classified. An 82-row audit yields 43 re-expressions, 21 carrier differences, 16 study-specific inapplicable rows and two unresolved cases; of 25 rows labelled "no counterpart," four remain unmapped here. Consulted by the executor, 25 escapes become zero with no benign payload blocked. In an exploratory one-gateway snapshot, three unauthenticated endpoint labels produce case-level non-refusal majorities of 81.8-98.0%, but immediate-execution majorities of 4.0-52.5%. Adjudication reads no accumulating state; credential verification does, scanning its whole ledger. We report that cost and the fix we would make.
Read the full abstract
Complex Variables
Two-sided slice regular functions
In this paper, we introduce two types of two-sided slice regular functions, which are left slice regular in the first variable and right slice regular in the second variable. We prove that these two classes of functions coincide on axially symmetric domains. We further investigate fundamental properties of two-sided slice regular functions and define a star-product that preserves this regularity. In addition, we establish the Cauchy integral formula for these functions.
Read the full abstract
Nuclear Theory
Neutrino Emissivity in $\Delta$-direct-Urca Processes Inside Neutron Stars
Observed massive neutron stars may contain heavier baryons such as $\Delta$ isobars and hyperons in their interiors. In the presence of $\Delta$ isobars, the neutrino emitting nucleonic Urca processes can be accompanied by $\Delta$-direct-Urca processes involving nucleons and hyperons. Over the past three decades, significant theoretical effort has been dedicated to understanding the thermal evolution of neutron stars with the nucleonic and hyperonic Urca processes emerging as dominant cooling mechanisms. While recent studies have proposed the presence of $\Delta$ isobars in the dense core of neutron stars, the specific contribution of the $\Delta$-direct-Urca process to neutrino emissivity has not been explicitly quantified. In this work, we address this gap by deriving the neutrino emissivity associated with $\Delta$-direct-Urca processes in dense matter inside neutron stars. We show that once $\Delta$-direct-Urca processes become kinematically allowed, their emissivities are comparable to those of nucleonic-direct-Urca processes.