arXiv:2606.14376v1 Announce Type: new Abstract: The video game industry comprises a vast, continuously evolving landscape of themes and genres. For studios and publishers that navigate this competitive market, understanding the structural dynamics and temporal evolution of specific game categories is crucial for identifying viable entry points. In this paper, we introduce Games Mapper, a novel analytical tool based on the Mapper algorithm from topological data analysis. Unlike traditional clustering techniques, Games Mapper captures the continuous topological relationships between datasets over time (or other guiding variables). We extend the standard algorithm with an automated cluster labelling method, ensuring highly interpretable and interactive visualisations of genre evolution. To demonstrate the efficacy of our approach, we present a comprehensive case study on Simulation games released on Steam between 2015 and 2025. Games Mapper autonomously segments the genre into coherent, persistent subgenres, and captures dynamic market shifts. Ultimately, we provide a scalable, generalisable tool for researchers and industrials to unravel complex market structures and track the evolution of the Steam ecosystem.
Science Journals
arXiv:2606.14377v1 Announce Type: new Abstract: Freedom of Information (FOI) laws aim to increase government transparency, yet existing assessments focus mainly on legal compliance and procedural outcomes, leaving organizational behavior underexamined. As FOI processes are increasingly mediated through digital information systems, public response data offer traces of how organizations handle requests and disclosures in practice. This paper develops and evaluates a pattern-based approach that uses such data to signal transparency-impeding behavior across government agencies and over time. Drawing on prior literature, we identify nine recurring behavioral patterns that undermine transparency. Using a dataset of 15,277 Dutch FOI dossiers comprising 139,449 documents, we operationalize and evaluate measurable indicators for six of these patterns, demonstrating that they enable systematic comparison of disclosure practices across agencies and over time. Expert interviews with researchers, journalists, and civil servants confirm the interpretability and practical usefulness of the indicators for investigative prioritization, comparative research, and transparency oversight.
arXiv:2606.13706v1 Announce Type: new Abstract: We present HierSVA, an integrated suite that combines a pipeline, dataset, and benchmark for LLM-driven hierarchical hardware formal verification. HierSVA-SP pairs an RTL preprocessing toolchain with an LLM-in-the-loop formal verification flow to produce reference SystemVerilog Assertions (SVA) on hierarchical RTL. Applying it to BaseJump STL yields HierSVA-DS, a dataset of 342 modules, with hierarchy metadata and depths 0--9, accompanied by a deep subset of 28 module-bug pairs with natural-language specifications and bug variants. HierSVA-B decomposes assertion quality into six metric axes: syntax correctness, assertion proof success rate, vacuity, specification faithfulness, mutation coverage, and formal core coverage. Applying HierSVA-B to twelve recent LLMs reveals three findings. First, the module-level compile rate is 67.1\%; among generated assertions in evaluable runs, 82.1\% prove non-vacuously, but the corresponding assertion sets detect only 70.2\% of eligible injected faults and cover 36.2\% of the formal core. Second, on 211 evaluable model--module entries in the deep subset, assertion sets flag buggy RTL with 0.87 recall, but 40\% of predicted-buggy outcomes are false positives on correct RTL, limiting precision to 0.60. Third, agentic mode improves S1-style provability and strength metrics, but gains plateau and oscillate. Codes and artifacts are available at \href{https://github.com/HierSVAAnon/HierSVACodeAndArtifacts}{https://github.com/HierSVAAnon/HierSVACodeAndArtifacts}. Dataset is available at \href{https://huggingface.co/datasets/AnonymousHierSVA/HierSVA}{https://huggingface.co/datasets/AnonymousHierSVA/HierSVA}.
arXiv:2606.14380v1 Announce Type: new Abstract: Anticipating traffic accidents from dashcam videos is a critical challenge in intelligent transportation systems. Existing methods typically map visual context directly to a collision probability without explicitly modeling the future evolution of the driving scene. In this paper we propose FLaRA (Predicting Future Latent Representations for Accident Anticipation), a novel predictive architecture that shifts this paradigm by forecasting future latent representations for accident anticipation. Building upon the Video Joint-Embedding Predictive Architecture (V-JEPA2), our model conditions a predictor network on observed context frames to predict the forthcoming latent features of the scene. A classifier then operates on these predicted future representations rather than only on past observations. To ensure these forecasts remain grounded in realistic future dynamics, we introduce a joint training objective that simultaneously optimizes an auxiliary feature-level reconstruction loss and a cross-entropy classification loss. Extensive evaluations on the Nexar dataset, alongside cross-domain validations on the DAD, DADA-2000, and DoTA benchmarks, demonstrate that our approach achieves state-of-the-art performance while maintaining realistic early warning capabilities.
arXiv:2606.14400v1 Announce Type: new Abstract: This paper investigates the fundamental limits and optimal signal distribution design for Integrated Sensing and Communication (ISAC) systems operating under strictly noncoherent conditions. Unlike conventional coherent frameworks that rely on perfect channel state information, we consider a block-fading MIMO channel where the channel realizations are unknown to both the transmitter and the receiver. We adopt a realization-wise perspective to characterize the noncoherent performance tradeoff across different signal-to-noise ratio (SNR) regimes. In the high-SNR regime, we derive a lower bound for the noncoherent mutual information and define a metric, termed sensing-induced rate loss, to quantify the communication penalty incurred by sensing-oriented beamforming. We then employ a projected gradient algorithm to optimize the spatial power allocation, balancing the conflict between the unitary space-time modulation-based structure for communication and the task-oriented spatial power allocation for sensing. Conversely, in the low-SNR regime, we perform a first-order asymptotic analysis of the ergodic minimum mean squared error (EMMSE). Our theoretical derivation reveals a fundamental synergy: the sensing-optimal strategy collapses to a rank-one transmission along the dominant eigenvector of the target response, which incurs no first-order communication loss in the low-SNR regime. This result demonstrates that the conflicting tradeoff observed at high SNR vanishes asymptotically at low SNR, enabling perfect alignment between sensing and communication objectives.
arXiv:2606.14401v1 Announce Type: new Abstract: This article studies the stability of feedback interconnections of linear time-invariant systems based on frequency-dependent passivity indices. Using these frequency-dependent passivity indices, we show that the feedback interconnection of two systems can be certified to be stable even if both systems have a lack of passivity in terms of their scalar passivity indices. The main contribution of this paper is a new stability theorem based on frequency-dependent passivity indices. Moreover, we discuss the connection of the proposed feedback stability theorem to prior results based on scalar passivity indices. A numerical case study showcases the advantages of frequency-dependent passivity indices over scalar indices for feedback interconnections of linear systems.
arXiv:2606.13735v1 Announce Type: new Abstract: Large Language Models (LLM) have shown impressive capabilities in Register Transfer Level (RTL) code generation, particularly for Verilog. However, evaluating their performance with other Hardware Description Languages (HDL), especially VHDL, remains limited although its distinct language characteristics, such as stricter semantic rules, introduce evaluation considerations that differ from Verilog. This lack of coverage restricts fully understanding of how well current models generalize across hardware design languages with differing structures and semantics. To address this gap, we introduce VHDLSuite, a benchmark-centered infrastructure for scalable VHDL generation evaluation, integrating automated benchmark synthesis, executable validation, and multi-model diagnostic analysis. First, we propose a data pipeline that automatically converts Verilog designs and their accompanying testbenches into executable VHDL benchmark instances, followed by VUnit/GHDL-based validation to ensure each released task is compilable, runnable, and consistently checkable in the VHDL environment. Second, we introduce VHDLBench, a benchmark with over 200 VHDL problems with complete and validated testbenches across a wide range of complexity levels. Third, we extensively evaluate cutting-edge LLMs and uncover key challenges specific on LLM-aided VHDL generation. Our findings provide important insights and support future work in multi-language hardware design automation.Our data pipeline, benchmark, and evaluation framework will be open-sourced.
arXiv:2606.13717v1 Announce Type: new Abstract: Conversational interactions have reshaped information retrieval systems, as users increasingly favour direct answers over traditional hyperlinks. To build reliable Conversational Information Access (CIA) systems that account for personal context, this thesis addresses challenges: (1) personal context extraction, (2) personalized response generation, and (3) effective and interpretable system evaluation. First, we tackle personal context extraction by studying what Entity Linking (EL) in conversations entails, introducing a dataset for conversational entity linking (ConEL), and proposing CREL, a novel EL method tailored for conversational settings. Second, we focus on personalized response generation by proposing LAPS, a method for efficiently constructing large-scale, human-written, personalized conversational datasets, and using them to study how users' preferences can be utilized to generate personalized responses. Finally, we address the need for effective and interpretable system evaluation by introducing FACE, an automatic, reference-free method that assesses entire conversations and aligns closely with human judgments.
arXiv:2606.14415v1 Announce Type: new Abstract: Safe reinforcement learning (Safe RL) aims to maximize expected return while satisfying safety constraints, typically modeled as Constrained Markov Decision Processes (CMDPs). While primal-dual methods scale well to deep RL, they often suffer from delayed constraint correction, leading to oscillatory behavior and prolonged safety violations. In this paper, we propose Constraint-Sensitive Policy Optimization (CSPO), a first-order primal-dual method that incorporates local constraint sensitivity into policy updates. CSPO augments the primal objective with a constraint-sensitive correction derived from the shortest signed distance to the safety boundary, enabling smarter recovery steps back to safety, compensating for delayed Lagrange multiplier updates, reducing oscillations near the boundary, and preserving the KKT solutions of the original constrained problem. Experiments on navigation and locomotion benchmarks demonstrate that CSPO achieves faster safety recovery and high reward preservation, resulting in higher constrained returns compared to state-of-the-art primal-dual and penalty-based methods
arXiv:2606.13733v1 Announce Type: new Abstract: Multi-agent systems (MAS) were expected to overcome the limitation of single-agent systems (SAS) through collaboration. However, under typicality conditions on the task's constraint graph and bounded inter-agent communication, we prove that the success probability of a MAS is closely tied to the connectivity of task constraints, where each agent has limited information-processing capacity. Specifically, the success probability decays exponentially with an information bottleneck that emerges from partitioning the task's constraint graph among agents. We define this quantity as the \emph{minimum cut cost} $C_{\min}$ of the potential constraint graph of each task. This information-theoretic bound applies to both open systems with external feedback and closed systems without. We validate our theory on both synthetic experiments and real-world empirical data from SWE-bench submissions. From our framework, effective MAS design should incorporate task-inherent constraints alongside engineering optimization, and when $\Cmin$ is high, practitioners should restructure tasks rather than simply scaling agents or communication.
arXiv:2606.14428v1 Announce Type: new Abstract: Potential functions are a key tool in theoretical computer science with applications ranging from the runtime analysis of algorithms and data structures, through the analysis of the expected behavior of random processes and search heuristics, to proving the existence of equilibrium states in strategic games. Typically, proofs that employ potential functions are short, elegant, and easy to verify, yet very powerful. Moreover, potential functions are essential ingredients for constructive proofs, in particular in algorithmic game theory. There, a key question is the existence of equilibrium states, but the most powerful theorem in the field -- Nash's theorem -- is unfortunately non-constructive. For many strategic games, potential functions come to the rescue by enabling constructive proofs that sometimes even yield efficient algorithms for finding equilibria. We add to this by providing a novel class of entropy-inspired log-multinomial potential functions for natural game-theoretic settings where rational agents of different types strategically choose actions to maximize their utility. In particular, we consider utility functions that are based on the fraction of same- and other-type agents taking the same action. We demonstrate the versatility of the new potential function class by presenting simple equilibrium existence proofs for two recent game-theoretic models, for which only involved technical proofs were previously known. Even better, the new potential function class yields efficient algorithms for constructing equilibria for much more general models. Thereby, we positively resolve several open problems.
arXiv:2606.14430v1 Announce Type: new Abstract: Partial differential equations (PDEs) regulate the behaviour of countless spatiotemporal systems in the physical and life sciences. In many cases, they encode the coupling between the system's degrees of freedom, leading to nonlinear equations whose solution space is challenging to explore exhaustively. Systematic approaches to PDE model exploration are a holy grail of computational science. In this article, we formulate a criterion for increasing the diversity of a search campaign, based on the PDE residual behaviour under solution deformation. We develop a practical formalism to compute this property and illustrate its role in a few cases of interest.
arXiv:2606.14434v1 Announce Type: new Abstract: A nonlinear orbital station-keeping solution for the circular and elliptic versions of the Earth-Moon Restricted Three-Body Problem (R3BP) is developed via a backstepping technique. Formal guarantees for global asymptotic stability (GAS) are attained, as shown through Lyapunov's stability theory. The adequacy of the proposed control law is evaluated through the means of numerical trials over closed periodic solutions of the circular and elliptic R3BPs. The ramifications of the control gain choice are carefully studied and simulated.
arXiv:2606.14439v1 Announce Type: new Abstract: Determining accurate wave dispersion relations is a central problem in plasma physics. Recent advances have enabled the numerical computation of linear dispersion relation in plasmas with arbitrary particle velocity distribution functions (VDFs), using two distinct solvers, BO and ALPS. Their reliability and mutual consistency, however, have not been systematically tested for a broad range of VDFs. Here we compare the dispersion relations obtained from BO and ALPS for several representative distributions. We find that the two solvers give consistent unstable modes for kappa distributions with large values of $\kappa$, as well as for ring-beam, shell, and proton core-beam distributions. BO, however, becomes unreliable for kappa distributions with $\kappa < 4$. For an observationally derived VDF, the two solvers give similar real frequencies for the unstable waves but substantially different growth rates. This difference is mainly caused by the imperfect fitting of the input distribution required by BO. Despite this limitation, BO has a clear computational advantage because it can obtain all roots in a single run. Considering the complementary strengths of the two solvers, their combined use can provide a more reliable and effective framework for investigating instabilities in non-Maxwellian plasma environments.
arXiv:2606.13740v1 Announce Type: new Abstract: Diffusion large language models (dLLMs) accelerate generation by denoising multiple tokens in parallel, making them attractive for latency-sensitive mobile inference. However, repeated denoising introduces substantial computation on smartphones. Mobile neural processing units (NPUs) offer high-throughput dense matrix computation, but efficiently exploiting them remains challenging: token commitment shrinks per-block effective workloads, token revision complicates KV cache reuse, and limited NPU-visible address space incurs costly remapping and data transfer overheads. In this paper, we propose llada.cpp, the first NPU-aware inference framework for accelerating dLLMs on smartphones. llada.cpp aligns block-wise dLLM inference with the execution characteristics of mobile NPUs through three techniques. (1) Multi-Block Speculative Decoding fills the shrinking workload in late-stage current-block decoding with speculative future-block tokens. (2) Dual-Path Progressive Revision keeps committed tokens revisable until stable and refreshes unstable tokens through a CPU-side path without stalling dense NPU execution. (3) Swap-Optimized Memory Runtime compacts NPU-visible address layouts and overlaps data staging with NPU computation to reduce remapping and transfer overheads. We implement llada.cpp as an end-to-end framework and evaluate it across diverse hardware platforms and dLLM workloads. llada.cpp reduces LLaDA-8B generation latency by 17x-42x over the CPU baseline with prefix KV cache reuse, while preserving generation quality.
arXiv:2606.13722v1 Announce Type: new Abstract: This paper introduces YeasierAgent, an application-building paradigm based on symbiotic agents, narrative worlds, and scene-aware interaction. It challenges the conventional device-coupled model of software by redefining applications as collaborative spaces among users, agents, and worlds. We present a system architecture that achieves two primary contributions: (1) enabling the rapid, cross-platform construction of agent-native applications by utilizing platform-agnostic interactive units (agents, scenes, dialogue) rather than fixed graphical layouts; and (2) unifying the emotional companionship and practical tool execution attributes of intelligent agents within a single experiential sandbox. By integrating automated generation, user-created worlds, and spatial multi-agent collaboration, YeasierAgent formalizes the category of Symbiotic Agent-Native Applications, demonstrating a shift from isolated, tool-specific chatbots toward cohesive, socially embedded computational environments.
arXiv:2606.14449v1 Announce Type: new Abstract: Cryogenic electron microscopy images sample individual biomolecules from their conformational landscapes, offering a route to infer the distributions underlying molecular mechanisms. However, because images are indirect measurements, they limit which features of an underlying landscape are statistically identifiable. In ensemble reweighting, this problem appears as a choice of resolution: conformational space is discretized into representative structures whose population weights are inferred from images. Adding structures increases nominal resolution, but nearby conformations may generate overlapping image distributions and indistinguishable weights. Here, we develop an information-theoretic framework that selects representative conformations by maximizing mutual information between ensemble weights and images under a probabilistic forward model. Analytically, we show in a one-dimensional Gaussian model that measurement noise sets the optimal spacing. Applied to molecular conformations sampled from simulation, the framework constructs near-optimal ensembles that span heterogeneity while avoiding redundancy. Thus, the measurement process induces a maximally learnable coarse graining of conformation space.
arXiv:2606.14453v1 Announce Type: new Abstract: Independent Redistricting Commissions (IRCs) are a promising tool for bottom-up redistricting, but their public testimony processes are vulnerable to adversarial manipulation. We propose using differential privacy to draw redistricting plans that incorporate community of interest (COI) testimonies while remaining robust to adversarial input. Treating individual testimonies as data points, we use the marked edge walk to sample from differentially private distributions of redistricting plans via the exponential mechanism. We introduce two score functions and demonstrate that both can be targeted by MEW across a range of privacy budgets. Applying this method to Missouri's mid-cycle redistricting using 808 COI testimonies, we show that COI-informed sampling outperforms an uninformed baseline and the enacted plan. An adversarial experiment demonstrates that the method can be robust to attacks under certain privacy budgets and may perform better in practice than formal group privacy guarantees imply. We also find that stronger COI preservation tends to spread minority and Democratic representation more evenly across districts.
arXiv:2504.16173v3 Announce Type: replace Abstract: Space missions are becoming increasingly ambitious, necessitating high-performance onboard spacecraft computing systems. In response, field-programmable gate arrays (FPGAs) have garnered significant interest due to their flexibility, cost-effectiveness, and radiation tolerance potential. Concurrently, neural networks (NNs) are being recognized for their capability to execute space mission tasks such as autonomous operations, sensor data analysis, and data compression. This survey serves as a valuable resource for researchers aiming to implement FPGA-based NN accelerators in space applications. By analyzing existing literature, identifying trends and gaps, and proposing future research directions, this work highlights the potential of these accelerators to enhance onboard computing systems.
arXiv:2606.14465v1 Announce Type: new Abstract: This paper presents an investigation of a novel class of stealthy and selective reactive jamming attacks targeting the Physical Uplink Shared Channel (PUSCH) in 5G New Radio (NR) networks. We design and implement STORM-RJ (Stealthy Timing Obstruction and Radio Manipulation -- Reactive Jamming), a Software-Defined Radio (SDR)-based adversarial framework that enables highly precise, time-frequency aligned interference by dynamically adapting the bandwidth and center frequency of injected noise bursts in real time. STORM-RJ leverages decoded Downlink Control Information (DCI) to identify Uplink-Grants (UL-Grants) and synchronizes interference exactly with the resource blocks allocated to a target User Equipment (UE). We further characterize and mitigate the dominant latency sources -- both at the software processing and hardware Radio Frequency (RF) frontend levels -- to achieve a rapid jamming response upon grant detection. We conduct a comparative analysis of high-level versus low-level radio control strategies, demonstrating that only low-level tuning provides the microsecond-scale responsiveness necessary to meet 5G-NR timing constraints for effective reactive jamming. We analyze the practical feasibility of such selective jamming under realistic hardware and timing constraints, highlighting key trade-offs between SDR flexibility, processing latency, and synchronization accuracy. Finally, we discuss potential mitigation strategies, including Hybrid Automatic Repeat reQuest (HARQ) anomaly detection.
arXiv:2606.14466v1 Announce Type: new Abstract: This paper investigates the fragility of post-hoc explanation methods in audio deepfake detection. While previous work on explanation manipulation focused on images using standard $L_p$ metrics, we introduce a psychoacoustic framework that optimizes inaudible perturbations to decouple model attributions from final classifications. We evaluate this vulnerability across state-of-the-art architectures under strict prediction-preserving constraints. By evaluating the manipulation cost through domain-specific perceptual audio quality metrics alongside explanation alignment criteria, our framework demonstrates that an adversary can systematically distort automated explanation heatmaps while preserving the predicted deepfake label. Full code available at: https://github.com/cncPomper/Audio-XAI
arXiv:2606.13690v1 Announce Type: new Abstract: This paper,from the perspective of a collaborative intelligent computing system formed by combining human-computer interface and collaborative computing programs, discusses the principles of optimized cloud computing technology supported by the combination of an indirect computing model and an indirect formal method. On the basis of systematically reviewing the influence of previous theoretical achievements Turing's computability theory,Kleene's formal theory of small strings,von Neumann's digital computer architecture and Turing's hypothesis on AI judgment on the mainstream general-purpose digital computer paradigm,the author focuses on introducing an indirect computing model and an indirect formal theory compatible with both large and small strings. Using Chinese information data as an example,the design concept of a collaborative intelligent computing system prototype is presented. The significance is that this achievement facilitates optimization of cloud computing from data centers to knowledge centers.
arXiv:2606.14470v1 Announce Type: new Abstract: Large language model (LLM) reasoning is ephemeral: chains of thought vanish with the context window, pruned search branches leave no record, and memory buffers cannot be diffed, merged, or audited. Every other complex software process (code, infrastructure, data, experiments) is version-controlled; reasoning is not. We introduce GitOfThoughts, which stores an agent's reasoning tree as a git repository: every scored thought is a commit, scores are notes, outcomes are tags, and retrieval is "git log" over the agent's own history. This makes reasoning replayable, auditable, and mergeable across agents at near-zero engineering cost. We then ask the harder question: does memory, in any substrate, actually improve accuracy? Across five substrates (none, markdown, vector, graph, git), two benchmarks, two model scales, and pre-registered replications, the answer for novel problems is no. No memory format reliably helps, and a promising early result collapsed under its own pre-registered replication. Memory pays only above what we call the copyability threshold: when the retrieved case is a near-duplicate of the current problem (similarity >~ 0.8), accuracy jumps sharply; below it, nothing. The gain is answer retrieval, not method transfer: a 4.5x larger model doubles the near-duplicate payoff yet still cannot extract a transferable method from a worked example. The only general lever we find is test-time sampling. The case for git-as-substrate is therefore auditability, provenance, and mergeability at accuracy parity. We document a retracted result and a refuted hypothesis to model the evaluation standard we hold ourselves to.
arXiv:2606.14471v1 Announce Type: new Abstract: Feedback optimization is a control approach for driving a dynamical system to the solution of an optimization problem by interconnecting the plant with an algorithm. Existing stability guarantees typically rely on timescale separation, enforced by conservative gain bounds that limit transient performance and require a pre-stabilized plant. This paper revisits the robust control perspective on feedback optimization. We formulate the plant-optimizer interconnection as a generalized plant, where the cost gradients are characterized by Zames--Falb Integral Quadratic Constraints. Classical timescale-separation bounds are recovered as a special case of static multipliers, with dynamic multipliers yielding substantially tighter stability margins. The formulation also enables IQC based synthesis of dynamic output feedback controllers that jointly stabilize the plant and optimize transient performance, with possible model uncertainty absorbed into an uncertainty channel. For constrained problems, the framework extends to dynamic controllers that generalize projected gradient flows. Numerical examples illustrate the benefits and flexibility of the proposed approach.
arXiv:2606.13945v1 Announce Type: new Abstract: Rare diseases affect over $300$ million patients across more than $7{,}000$ conditions, yet no single hospital encounters enough cases of any one condition for reliable diagnosis. Cross-hospital collaboration could help by allowing a diagnosing institution to use distributed, case-specific diagnostic evidence, but privacy regulations restrict the transmission of identifiable clinical text across institutional boundaries. This setting raises two challenges: existing medical agent systems often rely on textual evidence exchange, while raw latent states such as hidden states and KV caches may still reveal prompt-derived clinical content. We introduce MedLatentDx, a latent multi-agent communication framework in which hospital agents keep private clinical records and retrieved cases local, and send compact latent KV blocks to a host agent for rare-disease diagnosis. MedLatentDx supports two deployment settings: same-backbone hospital agents use latent KV distillation, while hospitals with different LLM backbones use cross-family latent alignment. On CrossRare-Bench, a self-built large-scale rare-disease benchmark with hospital-level partitions, MedLatentDx improves cross-hospital diagnostic performance while reducing reconstructable clinical content relative to raw-latent communication baselines.