Statistical Methodology
Papers
Fresh from arXiv, typeset properly. Highlighted words trade on the market.
All of arXiv
Thursday 24 September
In genomics, imaging and clinical studies, only a few of many candidate predictors are often nonlinearly associated with a response that may be, e.g. binary, categorical, a count or a censored event time. The Terminating-Random Experiments (T-Rex) selector is a scalable variable selection method that controls the false discovery rate (FDR) by letting synthetic null variables (dummies) compete with the real predictors. While the FDR control theory embraces more general settings, to date, the T-Rex selector has been specified only for linear models. We propose a memory-efficient selection procedure with FDR control for generalized linear models and Cox regression by extending the recently developed virtual dummy construction to score-based forward selection for Bernoulli, Poisson, multinomial and Cox responses. The virtual-dummy-based selection path remains equal in distribution to explicit augmentation, so FDR control carries over under the same assumptions. Simulations confirm this equivalence and the power gained by correct model specification. Real-world applicability is illustrated on simulated genotypes and on cancer survival data.
Computer Vision
A Study of the Limits of Collaborative DCT-Based Image Denoising via Interpretable Neural Networks
Image denoising remains a fundamental problem in image restoration, with applications in photography, biomedical, and scientific imaging. Modern deep neural networks achieve strong performance by learning powerful image priors, but often rely on large black-box models with limited interpretability. In contrast, DCT-based sliding-window and collaborative filtering methods such as BM3D offer clear algorithmic structure, but depend on handcrafted and non-differentiable operations. This work studies how far such structured collaborative filtering principles can be pushed when reformulated as trainable models. We introduce DeepBM3D, a compact fully differentiable architecture that combines non-local patch grouping, DCT-domain filtering, and multi-stage refinement within a BM3D-inspired pipeline. Lightweight convolutional feature extractors guide patch grouping, while filtering is performed through learned Wiener weights in the DCT domain. Experiments show that DeepBM3D improves over classical and hybrid baselines, remains competitive with FFDNet at low and moderate noise levels, and performs particularly well on repetitive textures.
Read the full abstract
Computation and Language
Where LLM Graders Succeed and Break: Evidence from Two Computer-Science Exams
One long-form exam in a large course costs hundreds of grader-hours, and qualified graders are scarce; LLM graders are a tempting alternative. To show its pitfalls we grade a practical Computer Vision exam ($570$ dual-graded students) under $171$ configurations spanning closed and open-weights models; the best reaches mean absolute error $1.64/35$, below the $2.61/35$ two human graders achieve against each other. The catch is the prompt: a short ”strict grader” preamble drives $14$ of $17$ open-weights models out of the graded band ($\text{MAE} \ge 8$), three stopping grading altogether. The damage traces to the preamble's two credit-withholding sentences, not to tone or model scale; one of them, ”never give partial credit”, alone makes two of three probed models stop grading. The closed flagships of three vendors shift calibration under it but stay in the band. In $162$ further configurations on a second, independent Machine Learning exam from another course ($1{,}038$ dual-graded students), the preamble worsens ten models, moving three out of the band into collapse and one into refusal, yet improves seven whose neutral prompts over-mark: the vulnerability replicates, but its direction is exam-specific. Light LoRA fine-tuning repairs it: one adapter on the two exams' pooled $\sim 3{,}900$ graded examples brings five small open models to parity or better with a human grader in agreement with the grader pair, and sensitivity to the three harsh personas nearly vanishes ($\le 0.32$ MAE). We release the anonymised dataset, full ablation grid, and grading, fine-tuning and analysis pipelines.
Read the full abstract
Game Theory
Diverse Representation in Approval-Based Committee Voting
The study of approval-based committee voting has so far focused predominantly on proportional representation. The canonical notion of diverse representation, based on the Chamberlin-Courant score, counts the number of voters with at least one representative in the committee, making it an individualistic notion. We develop a more comprehensive theory that instead requires the representation of many groups of voters, grounding it in the justified representation (JR) axiom, which we strengthen in two directions. First, we study the existing axioms of Strong JR (SJR) and Semi-Strong JR (SSJR), which consider the same cohesive groups as JR but demand stricter representation. We show that neither can be optimized efficiently on general domains (unless P = NP), but both can be on the Candidate Interval and Voter Interval domain. Second, to capture the unique and defining opinions of a group, we introduce Distinctive Representation (DR) and its local optimization variant, Local DR. We address satisfiability and computation time, and show (Local) DR to be distinct from known proportionality and diversity axioms. Experiments on real-world and synthetic data show that Local DR performs well on multiple empirical measures of diversity.
Read the full abstract
Differential Geometry
Filtered deformations of Lie groupoids
Let $G \rightrightarrows G^{(0)}$ be a Lie groupoid, $\mathrm{A} G \rightarrow G^{(0)}$ its Lie algebroid and $X_1, \dots, X_r$ a family of sections of $\mathrm{A} G$ satisfying a Lie bracket generating condition of Hörmander type. We aim to build a pseudodifferential calculus allowing to study a Helffer-Nourrigat's conjecture on the groupoid $G$; in particular, we want differential operators of the form $\sum_{i = 1}^r X_i^2$ to have an invertible symbol. In this article we achieve the geometrical part of this construction by defining a "weighted" version of the deformation to the normal cone $\mathrm{DNC}(G, G^{(0)}) \rightrightarrows G^{(0)} \times \mathbb{R}_+$. Heuristically, we deform $G$ around $G^{(0)}$ with a "zoom" parameter $t \in \mathbb{R}_+$ by stretching $G$ by $t$ in the directions of the sections $X_i$, $t^2$ along $[X_i, X_j]$, $t^3$ along $[X_i, [X_j, X_k]]$ etc. In the case where $G = M \times M$ we recover a construction of Mohsen, and when the structure is equiregular we recover a construction of van Erp-Yuncken.
Read the full abstract
Machine Learning
FlowAtom: Atom-Based Evidence Aggregation for Multi-Label Website Fingerprinting
Identifying the set of monitored websites in mixed encrypted traffic is challenging because an individual flow often provides only partial evidence of website identity. To address this challenge, we propose FlowAtom, which constructs shared prototypes, called Atoms, from flow representations without website labels. Specifically, FlowAtom pretrains a flow encoder on external unlabeled traffic and aggregates Atom responses across flows within each observation window into a fixed-dimensional, permutation-invariant representation for monitored website-set prediction. Across Direct HTTPS, Trojan, and VMess, FlowAtom achieves micro-F1 scores of 97.82%, 94.43%, and 93.92% in closed-world evaluation, respectively, and consistently outperforms the evaluated baselines in open-world evaluation on windows containing monitored visits. The code is available at https://github.com/aimafan123/FlowAtom.
Read the full abstract
Computer Vision
Hyperbolic Multimodal Continual Learning: A Closest-Admissible Solution
Existing continual-learning methods protect parameters, replayed examples, or Euclidean feature subspaces. When applied to hyperbolic multimodal models, they do not explicitly preserve the Lorentz geometry that jointly encodes within-modality similarity, cross-modal correspondence, and semantic hierarchy; sequential updates can therefore retain task scores while still distorting previously learned relations. We address this gap with Hyperbolic Multimodal Continual Learning (HMCL). We show that preserving the old multimodal geometry amounts to restricting all modalities to one shared hyperbolic isometry, which induces a family of admissible first-order parameter changes. We formulate a joint closest-admissible (CA) correction that retains the shared rotation best matching the candidate modal updates; its minimal-rotation (MR) special case fixes this rotation to zero. Both variants correct the displacement realized by AdamW, and task anchoring bounds within-task accumulation while preserving learning freedom. Across a unified 16-task classification-retrieval stream with three hyperbolic backbones, HMCL improves final performance and backward transfer over sequential fine-tuning and four continual-learning baselines; HMCL-CA gives the highest Overall score on every backbone. A modality-extended stream confirms the retrieval gains. Representation analyses find 81.2 to 95.5 percent less radial, angular, cross-modal, and paired-distance drift; ImageNet-WordNet results show better semantic ancestry and radial hierarchy.
Read the full abstract
Computation and Language
Grammatical "grandmother neurons" are rare in LLMs
Understanding how Large Language Models (LLMs) encode linguistic structures remains a fundamental challenge in interpretability research. While diagnostic classifiers (or "probes") are widely used for this task, they face significant methodological criticism: training auxiliary classifiers introduces capacity confounds and calibration issues, often making it difficult to distinguish the model's intrinsic representations from the probe's ability to learn the task. To address these limitations, we introduce a probe-free framework for localizing linguistic selectivity at the individual neuron level. Leveraging the controlled contrasts of linguistic minimal pairs, we propose a Neuron Separability Index (NSI), a metric that directly quantifies how reliably single neurons differentiate grammatical from ungrammatical constructions without parameter updates. Applying NSI across 68 linguistic paradigms and seven checkpoints reveals three main patterns: 1) raw separability reaches near-peak levels earlier for morphological and syntactic distinctions than for syntax-semantics interface and conceptual distinctions. 2) after permutation normalization, single-unit selectivity is sparse, weak, and narrowly tuned: only a small fraction of units are sensitive to an average paradigm, and strongly selective "grandmother neurons" are rare. 3) whole-vector linear separability, single-neuron selectivity, and behavioral competence are largely dissociated, and targeted ablations further separate activation selectivity from causal reliance.
Read the full abstract
Machine Learning (Statistics)
GCUL: Ambiguity Identification in Text Emotion Classification via Cluster-Guided Learning
Selective classification enables a model to abstain from predictions on uncertain instances, but existing approaches typically reject them through confidence scores, predefined coverage constraints or instance-level distance measures. These approaches may overlook the collective geometric structure of difficult samples in learned representation spaces. We propose Guided Clustering-based Uncertain Learning (GCUL), a geometric-guided selective classification framework that identifies misclassified and ambiguous instances as a potential confusion attractor in the representation space. GCUL uses a three-phase procedure to initialize, cluster, and explicitly relabel this uncertain region, allowing the rejection boundary to emerge from the underlying representation geometry rather than from a prescribed rejection rate. We further derive a selectivity score and a geometric sufficient condition that characterizes when rejection can provide positive operational utility, enabling pre-deployment feasibility assessment. GCUL improves DistilBERT accuracy from 89.37 percent to 94.98 percent with less than 9 percent rejection. Beyond accuracy, our selectivity score correctly pre-detects the only dataset (GoEmotion) where all baselines fail, and controlled simulations yield 6.1 percent Type-I and 0 percent Type-II errors, validating the sufficient condition's conservatism. These results suggest that collective representation geometry provides a useful alternative perspective for selective prediction.
Read the full abstract
Probability
Long-term behaviour of refracted Lévy processes in a half-line
We study the long-term behaviour of refracted Lévy processes within a half-line, with killing on exiting the domain and at state-dependent rate inside it. We identify the decay rate of the killed semigroup together with the associated invariant function and measure, and we obtain convergence at exponential rate to a Yaglom limit. The proofs make use of R-theory and Lyapunov function techniques.
Read the full abstract
Computational Physics
Monte Carlo sampling of first-order QED processes in laser and pulsar plasmas
Monte Carlo sampling of strong-field quantum electrodynamics processes underpins simulations of high-intensity laser experiments and of astrophysical compact-object magnetospheres. Sampling an event requires the total rate of the process together with the cumulative probability that determines how energy is partitioned between the produced particles. Simulations typically tabulate both in advance and invert the tabulated probability numerically. Here we replace this procedure with elementary-function approximations for synchrotron radiation and the nonlinear Breit–Wheeler process. For each process, we approximate the auxiliary function that sets the total rate, as well as the cumulative probability, with Padé approximants chosen so that the inversion reduces to a quartic equation. This yields the sampled quantum parameter—electron $\chi_e$ or photon $\chi_\gamma$—in closed form. The approximations and the particle spectra sampled from them agree with the exact results to within $1\%$. The procedure requires no lookup tables, no interpolation, and no numerical root finding, and can be inserted directly into radiative particle-in-cell codes.
Read the full abstract
Data Structures and Algorithms
Linear-Time FPT Algorithm for Surface Disjoint Paths via Surface Cutting
We study the \textsc{$k$-Disjoint Paths} problem on a graph embedded on a surface with bounded Euler genus. Given a graph $G$ with $n$ vertices and $k$ vertex pairs embedded on a surface of Euler genus $g$, we present a $2^{O(k^2+g^2)}n$-time algorithm that computes $k$ pairwise vertex-disjoint paths connecting the given vertex pairs if such paths exist. Our approach relies on the decomposition of $G$ into $O(k+g)$ planar subgraphs while bounding the complexity of the boundaries between these subgraphs. This approach enables the use of techniques for compressing linkages in planar graphs. Moreover, our techniques yield two kernels of size polynomial in $k$, $g$, and the treewidth of the graph, and of size $2^{O(k+g)}$. These results extend recent advances on \textsc{$k$-Disjoint Paths} on planar graphs [Cho et al. SODA 2023] and [Włodarczyk and Zehavi FOCS 2023] to surface-embedded graphs.
Read the full abstract
Statistical Mechanics
Two temperature scales in the Ising model on the $\{5,4\}$ hyperbolic lattice with free boundaries: susceptibility peak and boundary-induced order
On the $\{5,4\}$ hyperbolic lattice, the outermost generation holds 73% of the sites at all system sizes, making macroscopic averages strictly boundary-dependent. We study the ferromagnetic Ising model on this geometry with free boundaries by Monte Carlo simulation, demonstrating that conventional observables cease to identify a single critical scale. Instead, the finite lattices are organized by two distinct temperature scales. The susceptibility maximum identifies the lower transition scale at $T_{c2}=1.4782(15)J/k_{B}$ without extrapolation. However, the order-parameter distribution lacks a conventional fixed point at this scale. A distinct pseudocritical scale emerges instead at $T^{*}\simeq1.67(3)$ inside the boundary-sensitive intermediate phase, where Binder cumulant curves cross and effective exponents are compatible with mean-field criticality. Between $T_{c2}$ and $T^{*}$, the interior amplifies boundary fluctuations into induced order. Furthermore, because the volume grows exponentially with depth, finite-size scaling must be formulated in the generation index rather than the total number of sites. The lack of asymptotic power-law convergence in the scaling stretch confirms through an independent observable that $T^{*}$ is a finite-size crossover rather than a thermodynamic fixed point. Finally, by applying a coherent field to the outermost generation alone, we recover the upper thermodynamic transition at $T_{pt}=2.81(1)J/k_{B}$, demonstrating that it remains accessible under an appropriate boundary perturbation.
Read the full abstract
Machine Learning
TinyCardioUNet: IMU-to-ECG Translation with Graph-Encoded Inter-Axis Dependencies and Tensor Decomposition-Based Parameter Reduction
Estimating electrocardiography (ECG) from a chest-worn inertial measurement unit (IMU) enables continuous heart rate (HR) monitoring without the discomfort of electrodes. We propose TinyCardioUNet, a lightweight UNet that uses all six IMU axes without prior channel selection, refines its bottleneck with a graph neural network that encodes inter-axis dependencies, and employs tensor decomposition with automatic variational Bayesian rank selection for parameter reduction. On a public dataset, TinyCardioUNet achieves an RMSE of $0.098$ and a Pearson correlation coefficient of $0.677$ with only $36.0$k parameters and remains comparatively robust to additive noise, demonstrating accurate ECG reconstruction with a compact model.
Read the full abstract
Systems and Control
Inverse Linear Quadratic Gaussian Games: Constrained Setting and Transferability
This work addresses finite-horizon inverse linear quadratic Gaussian games. In a constrained setting, we characterize the set of cost parameters and optimal dual values that generate a given generalized Nash equilibrium, and we propose an algorithm to compute these parameters. In an unconstrained setting, we address transferability, namely, we bound the cost value perturbation between two policies: one induced by the identified cost parameters, the other by the expert parameters, under a set of different dynamics. This cost value perturbation scales linearly with the deviations in the dynamics and the identified cost parameters. Through numerical simulations, we show that, in a constrained setting, our algorithm identifies the cost parameters and dual values that can reproduce the policy and trajectories corresponding to the observed generalized Nash equilibrium. In an unconstrained setting, we show with a traffic simulation and real-robot experiments that the identified cost parameters can be used to control sufficiently close dynamics, with performance degrading linearly with the deviations in the dynamics and the identified cost parameters.
Read the full abstract
Sound
Off-manifold robustness in synthesizer inversion with joint distribution flow matching
Recent work on synthesizer inversion shows that generative models outperform deterministic approaches by explicitly modeling the ambiguity in mapping audio to parameters. Training such models, however, requires audio-parameter pairs, which are typically obtained by rendering sampled or preset parameters through the synthesizer itself. This creates a train-test mismatch that can degrade performance on off-manifold real-world recordings, for which ground-truth parameter annotations do not exist. To circumvent this obstacle, we propose to model the joint distribution of audio and parameters with a multi-modal continuous normalizing flow using independent noise schedules for each modality. This formulation allows us to train joint and conditional densities with paired synthesizer data, while unpaired real recordings can train the audio marginal alone, exposing the model to off-manifold signals without requiring parameter labels. Further, because the model learns to map from audio to parameters at all noise levels, we find that partially noising the audio reference at inference improves real-audio reconstruction, consistent with reducing sensitivity to distribution-specific detail while preserving coarse structure. Evaluating on Surge XT and Dexed, we find that modelling the joint distribution substantially improves both inversion of real-world and in-domain audio.
Read the full abstract
Systems and Control
Safe Learning-Based Adaptive Augmentation Control for Fixed-Wing UAV under Uncertainty
This paper presents a learning-based adaptive augmentation control concept inspired by the adaptation mechanisms of conventional adaptive control, while not being restricted to their specific parametric adaptation structures. In contrast to augmenting a reinforcement learning (RL) baseline controller with classical adaptive control to account for the simulation-to-reality gap, the proposed approach uses RL-based adaptive augmentation to address the limitations of conventional adaptive control. Domain randomization combined with observation stacking is employed to train the RL-based augmentation to compensate for matched uncertainties in a fixed-wing aircraft system. To ensure constraint satisfaction during operation, a safety filter is incorporated into the control architecture. Based on the concept of pseudo control hedging (PCH), we propose a modified reference model that avoids undesirable interactions between the RL-based augmentation and the safety filter. To reduce the conservatism of the safety filter, we additionally incorporate a disturbance observer. The proposed approach is evaluated on a fixed-wing aircraft model subject to uncertainties.
Read the full abstract
Differential Geometry
Discreteness of the Steklov Spectrum for Exterior Non-Compact Free-Boundary Minimal Surfaces with Regular Ends of Finite Total Curvature
We study the Steklov problem on non-compact exterior free-boundary minimal surfaces. Boundary values need not determine a unique harmonic extension, so the operator also requires a prescription at infinity. For proper surfaces in $\mathbb{R}^3$ with compact boundary and finitely many regular ends of finite total curvature, we construct a natural class of such prescriptions. Every resulting operator is self-adjoint with compact resolvent; consequently, its spectrum is discrete, bounded below, and tends to $+\infty$. If the coordinate functions have linearly independent boundary traces, the prescription can be chosen so that these traces are eigenfunctions with eigenvalue $-1$.
Read the full abstract
Machine Learning
Neuralized Multi-Wavelet Decomposition for Time Series Classification and Forecasting
Time series analysis is fundamental in domains such as finance, healthcare, and meteorology. Real-world time series often exhibit multiscale characteristics shaped by diverse latent factors, resulting in intricate temporal patterns and rich frequency structures. However, existing approaches typically focus on either frequency-domain decomposition or time-domain pattern extraction in isolation, neglecting their joint structure. This decoupled modeling limits representation expressiveness and undermines performance in tasks requiring simultaneous temporal and spectral reasoning. To address this gap, we propose m-WCN, a novel end-to-end deep learning framework that neuralizes multi-wavelet decomposition for joint extraction of temporal patterns and frequency components. By approximating the classical GHM multi-wavelet transform with trainable convolutional operators and enforcing orthogonality constraints, m-WCN produces interpretable multi-resolution representations. Built on this foundation, we introduce two task-specific architectures: TFBC for time series classification, which boosts discriminative features across frequency scales, and FTB for forecasting, which ensembles frequency-aware predictors. Extensive experiments on 64 UCR datasets and seven public forecasting benchmarks demonstrate the effectiveness of our approach. Built on the neuralized m-WCN, our TFBC and FTB outperform various baseline models across diverse datasets, achieving average improvements of 19.97% in classification and 19.92% in forecasting tasks.
Read the full abstract
High Energy Astrophysical Phenomena
Comparative spectro-temporal study between 1A 1246$-$588 and 4U 0614$+$091 using AstroSat
We present a comparative broadband spectro-temporal study of the ultra-compact X-ray binary (UCXB) candidates 1A 1246$-$588 and 4U 0614$+$091 using AstroSat observations. Spectral modelling shows that the spectrum of 1A 1246$-$588 is well described by thermal Comptonization and a soft thermal disk component. We identify a candidate narrow quasi-periodic oscillation (QPO) at $993\pm4$ Hz with a single-detector significance of $ ~ 3.7\sigma$, tentatively consistent with the upper kHz QPO previously reported from this source. An independent cross-instrument check does not confirm this feature, and we therefore treat it as a tentative, unconfirmed signature rather than a secure detection. In contrast, across the 4 observations, 4U 0614$+$091 evolves from a Comptonization-dominated hard state to a thermally dominated soft state, with the electron temperature decreasing from ~ 19 keV to ~2.3 keV, while the disk and blackbody temperatures increase. This evolution is accompanied by an increase in the disk contribution to the total flux from ~ 18% to ~ 50% and the appearance of an Fe emission line near 6.97 keV in the soft state. The inner disk radius remains approximately constant at ~13- 15 $R_g$, suggesting that the observed evolution is driven primarily by changes in the thermal properties of the accretion flow rather than substantial variations in disk truncation. When the source is in its hardest state, it displays the richest timing behaviour, with variability components spanning from ~ 12 Hz to nearly 1 kHz, whereas the softer observations are dominated by low frequency variability, along with a persistent component near ~140 Hz and a prominent ~ 100 Hz feature in O4. These results suggest that progressive cooling of the Comptonizing corona, along with enhanced thermal emission from the disk and boundary layer, play a key role in shaping the spectral and timing evolution of 4U 0614$+$091.
Read the full abstract
Systems and Control
A Multi-Stage Linear Programming Framework for Three-Phase State Estimation in Low-Voltage Distribution Grids
Low-voltage (LV) distribution feeders are increasingly difficult to monitor because real-time load data are unavailable, historical measurements are sparsely sampled, and high-rate voltage sensors cover only a few nodes. This paper proposes a multi-stage linear programming (MSLP) estimator for three-phase unbalanced LV grids that reconstructs per-phase nodal voltages under such limited observability. The estimator linearises the three-phase power flow through voltage-to-power sensitivity matrices and adjusts the nodal active and reactive power injections so that the resulting voltages match the available measurements. To limit the error introduced by linearisation, the sensitivities are rebuilt and the power corrections refined over successive iterations, and power-balance constraints at intermediate metered nodes are added to tighten the feasible region. The method is validated on a real 50-node Danish LV feeder, where it attains a mean absolute error of 0.641V, a standard deviation of 0.816V, a root-mean-square error of 0.842~V, and a maximum error of 3.437V. Compared with a single-stage linear estimator, MSLP lowers the error metrics by roughly 16 percent on average, and additional studies quantify the influence of the input-preparation strategy and of the number of estimation meters.
Read the full abstract
High Energy Physics (Phenomenology)
Theoretical Perspectives on Flavour Physics
Flavour physics and CP violation play a key role for the testing of the Standard Model and search for New Physics at the high-precision frontier. After a compact discussion of the current status of (quark)-flavour physics, I will illustrate theoretical prospects for benchmark processes in the sector of decays of B mesons, ranging from precision determinations of the CP-violating phases of neutral B-meson mixing over non-leptonic decays governed by penguin topologies and channels arising only from tree diagrams to rare loop-induced decays into final states with leptons. Exciting opportunities for theorists and experimentalists arise in the era of the HL-LHC and Belle II and beyond at the FCC-ee.
Read the full abstract
Systems and Control
Equivalent Flux Compensation for SPMSM Sensorless Control under Parameter Mismatch
Parameter mismatch is the main source of rotor position estimation error in sensorless control of surface-permanent magnet synchronous motors (SPMSMs). To this end, this paper proposes a simple yet efficient equivalent flux compensation (EFC) method that directly estimates the equivalent flux disturbance caused by parameter mismatches in real time. First, the equivalent flux disturbance caused by parameter mismatches is derived from a nonlinear flux observer. Second, a flux update law is proposed to minimize both magnitude and directional errors by leveraging geometric error together with the derived equivalent flux disturbance. To enhance numerical stability, a saturation function is introduced to improve gradient continuity in the update process. Additionally, Lyapunov analysis is employed to ensure the stability of the proposed update law, from which the corresponding error bounds and convergence properties are derived. Finally, experimental results validate that the proposed method fully compensates for the steady-state effects of resistance and flux mismatches, and partially mitigates the influence of inductance variation, effectively constraining the position estimation error within a relatively small range.
Read the full abstract
Artificial Intelligence
When No One Owns the Judgment: Accountability Under Contribution Dissolution in Human-AI Collaboration
Communities often respond to potentially AI-assisted work by asking three questions: Was AI used? Was that use disclosed? Can hidden use be detected? These questions place AI use itself at the center of accountability while overlooking a deeper problem: unowned judgment. Evaluations, claims, decisions, and creative directions can be shaped by AI with no accountable human or institution prepared to stand behind them. We develop this argument through two illustrative cases: AI-assisted peer review and concealed AI use in creative work. The first shows how contribution dissolution can weaken responsibility while the second shows how the fear of losing credit can discourage honest disclosure. The cases expose the limits of disclosure rules and provenance records as responses to AI-mediated collaboration. We offer three directions for discussion: distinguishing the roles AI plays, identifying judgments that require clear human ownership, and creating conditions in which AI involvement can be disclosed without default penalty. The broader aim is to make AI-shaped contributions discussable, creditable, contestable, and repairable.
Read the full abstract
Software Engineering
Model-Based Retargeting to Many-Core CPS: Simulink-to-OpenCL Workflow
This paper addresses the software portability gap between Model-Based Development (MBD) and advanced many-core execution for Cyber-Physical Systems (CPS). We present a workflow-preserving retargeting approach for Simulink-based CPS applications with candidate-wise data parallelism to OpenCL-based many-core processors. Rather than manually rewriting models for new platforms, our toolchain uses MathWorks GPU Coder to extract data-parallel CUDA code, which is then translated into OpenCL host and device code via a custom framework. The conversion handles syntax rewriting, API emulation, and platform-specific argument packing. We deployed this workflow for a computationally intensive Frenet-frame trajectory planner on the Kalray MPPA Coolidge2. The results demonstrate the feasibility of a workflow-preserving retargeting pipeline for the evaluated CPS workload and platform.
Read the full abstract
Robotics
EgoSpeedUp: Transferring Human Manipulation Tempo to Robot Policies
Robot manipulation policies trained through imitation learning inherit not only the demonstrated behavior but also the conservative execution tempo of robot demonstrations. Existing acceleration approaches can execute faster than the original demonstrations, but determine the appropriate acceleration primarily from robot-side information or a predefined set of tempo factors, leaving open how to obtain a task-appropriate reference for how fast each manipulation phase should progress. We introduce EgoSpeedUp, a framework that uses human manipulation as temporal supervision for robot imitation learning. Our key insight is that human demonstrations naturally reveal task-appropriate, phase-wise manipulation tempo. Given slow robot demonstrations and human demonstrations of the same task, EgoSpeedUp aligns corresponding manipulation phases, estimates their relative execution tempos from multiple human demonstrations, and transfers the resulting phase-wise tempo by retiming the robot demonstrations. The retimed demonstrations are then used for standard behavior cloning, allowing the robot to retain its executable manipulation behavior while learning to perform it at a human-informed tempo. Across two real-world manipulation tasks, EgoSpeedUp improves the task success rate by an average of 25 percentage points (pp) while reducing successful execution time by 36.5%. These results demonstrate that human manipulation tempo provides an effective temporal reference for learning faster and more reliable robot policies.
Read the full abstract
Human-Computer Interaction
DocuTeam: Mixed-Initiative Multi-Agent Discussions around Evolving Documents
In open-ended problem solving, collaborators often rely on discussion to surface concerns, challenge perspectives, and refine shared work as it evolves. While AI agents are increasingly used as discussion partners, existing multi-agent systems place a heavy burden on users to initiate and carefully orchestrate the discussions. We present DocuTeam, a mixed-initiative multi-agent discussion system in which both users and agents can initiate and steer conversations. Agents monitor document changes to proactively start and redirect discussions as the work evolves, while users can flexibly shape the conversation or adopt agent ideas. In a within-subjects study (N=20), participants using DocuTeam produced outcomes rated significantly more novel, relevant, and specific than with a baseline without any increase in cognitive load. Rather than using agents for one-off idea sourcing, participants engaged in an iterative refinement loop in which document changes prompted agent reactions, which led users to revisit and further develop their work.
Read the full abstract
Cryptography and Security
Beyond Centralized Policy Decision Points: Decentralized Sticky Policy Authorization through Evidence Quorums
Sticky policies remain attached to protected data so that access restrictions can persist across systems, yet request-time authorization often still depends on a centralized Trusted Authority or Policy Decision Point (PDP). This paper presents SPEAR-Q, a decentralized framework in which independent Policy Authority Nodes (PANs) evaluate the active sticky policy using local context, consent, and risk information and generate signed authorization evidence. A strict-majority Evidence quorum determines the global Permit or Deny decision, while a committed policy becomes active only after the required PAN majority applies it. SPEAR-Q was deployed across physically separated hosts in the Airbus Cyber Security Simulation Platform and evaluated using a healthcare workload derived from MIMIC-IV. Across 9,000 performance requests, all requests completed without execution failure or timeout. Latency increased and throughput saturated as cluster size and concurrency grew, with PAN evidence waiting and PAN-local processing dominating under load and credential validation forming the main PAN-side cost. Policy-activation experiments confirmed majority-based activation. Quorum experiments showed that correctly signed false-Permit evidence from fewer compromised PANs than the required quorum could not produce a global Permit or resource release, while authorization remained fail-closed when reachable PANs fell below the required quorum. Compared with prior approaches that decentralize policy management, credential authority, or threshold-based release separately, SPEAR-Q integrates persistent sticky policy enforcement, independent request-time evidence, majority-based policy activation, and explicit quorum-bounded authorization within one decentralized framework. Under the evaluated conditions, SPEAR-Q supports decentralized sticky-policy authorization without relying on a centralized decision authority.
Read the full abstract
Machine Learning
Beyond Feature Reliability: Repeat-Informed Multifractal Curve Regression for Brain-Age Prediction
Brain-age prediction from resting-state fMRI provides a quantitative framework for characterizing age-related changes in spontaneous brain dynamics and for identifying functional signatures. Existing studies have linked fractal and multifractal scaling to age and examined the reliability of individual features. However, prediction repeatability depends on how features fluctuate jointly and how a predictor combines them, which feature-wise reliability assessments do not capture. To address this problem, we propose Repeat-informed Multifractal Curve Regression (RMCR), a structured framework for learning stable age-predictive patterns from multifractal curves. By jointly modeling curve structure and repeat-scan variability, RMCR learns predictive combinations of fluctuation orders that target both accuracy and within-subject consistency. Relative to a matched run-level ridge baseline, RMCR reduces single-run MAE by 6.1% on HCP-A and 7.9% on an external Cam-CAN cohort, and within-visit repeat absolute difference by 18.5% on HCP-A, using a single scan at inference.
Read the full abstract
High Energy Physics (Theory)
Reduction technique for expanding the Feynman diagrams in AdS$_2$
We formulate the reduction technique for expanding the $n$-point AdS Feynman diagrams in two dimensions into the Wilson line networks. The technique applies to any $n$-point tree diagram, expressing it as several series of the matrix elements of Wilson line network operators, and employs the Wilson network expansions of the $(n-1)$-point AdS Feynman diagrams, which can in turn be obtained using the same technique. Consequently, the complexity of this technique does not increase with $n$, provided that the expansions of the $(n-1)$-point diagrams are known. To demonstrate the reduction technique, we apply it to all topologically distinct five-point AdS Feynman tree diagrams. The resulting expansions near the conformal boundary reproduce the known decompositions of the corresponding five-point Witten diagrams into conformal blocks.