arXiv:2607.14750v1 Announce Type: new
Abstract: In this work, we present an intrusive stochastic Galerkin formulation of the one-dimensional shallow water linearised moment equations expressed in conservative variables, using the pseudospectral product for generalised polynomial chaos expansions. The shallow water linearised moment equations constitute a hyperbolic system of partial differential equations with an arbitrary number of equations that enhance the accuracy of the standard shallow water equations. Without loss of generality, we assume for both the theoretical analysis and the simulations that the uncertain parameter is the friction coefficient. For the new stochastic Galerkin shallow water linearised moment equations, we derive an energy equation, analyse the hyperbolicity - since this property is not preserved by the stochastic Galerkin projection - and introduce a regularisation to ensure hyperbolicity for the linear case of the shallow water linearised moment equations. Through numerical tests, we demonstrate the accuracy of the new stochastic Galerkin formulation in comparison with a non-intrusive Monte Carlo method, showing that the stochastic Galerkin approach achieves comparable accuracy with significantly faster run times.
Science Journals
arXiv:2607.14751v1 Announce Type: new
Abstract: Wavefront shaping allows light to be focused through scattering objects. However, the wavefront correction found is only valid in a small region called the isoplanatic patch. Here we present a simple approach to extend this isoplanatic patch by shifting and scaling the corrected wavefront appropriately, demonstrating an 8.6-fold increase in the lateral scanning range and a 1.5-fold increase in the axial range through a scattering layer without the need to perform additional wavefront shaping measurements. Our findings agree well with a simple geometrical model that also allows us to extract the effective position of the scattering layer from the measurements.
arXiv:2607.14753v1 Announce Type: new
Abstract: Recent advances in text-to-speech and voice cloning make high-quality spoofing inexpensive and scalable, threatening voice authentication systems, especially automatic speaker verification (ASV). Existing defenses mainly address this threat through binary countermeasures (CMs) for deepfake detection or spoofing-aware speaker verification (SASV), where current systems are dominated by modular ASV-CM fusion and cascaded pipelines. Although large audio language models (LALMs) have shown promise on related audio tasks, including CM and ASV, their use for SASV remains unexplored, despite their capacity to produce natural-language rationales for auditing and robustness beyond discriminative predictions. This work systematically evaluates LALMs for SASV against conventional pipelines under zero-shot prompting, supervised adaptation, reasoning-oriented training, and reinforcement-learning-based optimization. Our results show that pretrained LALMs are near chance in the zero-shot setting, confirming that they are not natively suited to SASV, but that task-specific adaptation closes this gap. We further find that competitive SASV performance can be achieved through several distinct routes. These findings position LALMs as a promising and auditable foundation for unified SASV, while clarifying where conventional cascade systems still lead.
arXiv:2607.14754v1 Announce Type: new
Abstract: The Model Context Protocol (MCP) enables LLM agents to interact with external tools through metadata exchange, tool invocation, and response consumption. Existing MCP security scanners primarily reason about suspicious semantic signals rather than real execution behaviors, which can lead to unreliable risk assessment. For example, credential-like strings may simply be placeholders rather than actual leakage. This gap requires runtime evidence for execution-related risks and careful semantic analysis for risks carried in metadata or returned content. We present FlowGuard, an evidence-grounded MCP security detection system. FlowGuard combines semantic risk triage, recon-guided payload narrowing, schema-valid probe generation, evidence adjudication, and history-guided refinement. It verifies execution-related risks through runtime evidence and detects semantic risks in tool metadata and returned content. We evaluate FlowGuard on an executable benchmark containing 1,880 MCP cases across five vulnerability categories. FlowGuard achieves F1 scores of 0.879 and 0.942 on the execution-related Command Injection and File System Access categories, respectively. Compared with existing dynamic scanners, FlowGuard reduces end-to-end latency by up to 2.23x. In the real-world evaluation, FlowGuard reports 523 findings across 326 servers. These results show that evidence-grounded detection can assess both execution-related and semantic risks in MCP interactions.
arXiv:2607.14757v1 Announce Type: new
Abstract: This paper determines the structural and proof-theoretic consequences of the forcing condition in relational quantum modal logic, under which every modal transition available at a world is also available at every world compatible with it. We prove that modal successor sets are constant on compatibility components, so boxed truth sets belong to the Boolean algebra of unions of these components. The relation holding exactly between worlds in the same component assigns to each stable proposition its greatest lower and least upper approximations by unions of components, and in hard superselection models these are exactly the approximations by central propositions. We adopt local validity for sequents with multiple conclusions to give a semantics for modal excluded middle on frames with several components. A connectedization obtained by adding one point then shows that component frames, equivalence frames satisfying the forcing condition, and connected compatibility frames with universal modal accessibility have the same logic for sequents with one conclusion. Finally, maximal consistent pairs yield a canonical model, and the calculus obtained by adding T, 4, and B is proved sound and complete for the three frame classes. These results characterize the logical scope of the forcing condition and establish a complete proof theory for component modalities.
arXiv:2607.14759v1 Announce Type: new
Abstract: Programmable photonic interferometer meshes enable reconfigurable linear optical transformations, but their performance depends critically on accurate calibration of Mach-Zehnder interferometers and phase shifters. Conventional methods often require node isolation, dedicated routing paths, orthogonal training states, reference channels, or prior phase-voltage characterization, which become increasingly difficult in large thermally tuned meshes.
We introduce a local variance-based self-calibration method using intensity-only measurements. Controlled phase perturbations are applied, and calibration points are identified from minima of the measured output-power variance. For Mach-Zehnder interferometers, the variance follows a characteristic |sin(theta)| dependence, allowing bar and cross operating points to be found without conventional node isolation. For phase shifters, balanced interference produces a complementary |cos(phi)| variance signature, enabling quadrature calibration through the same statistical principle.
We validate the method experimentally on an 8 x 8 silicon nitride programmable photonic processor using a fully automated two-stage procedure. Starting from random phase settings, all Mach-Zehnder interferometers are calibrated first, followed by phase-shifter calibration under balanced-interference conditions. As a system-level test, we implement an embedded 4 x 4 Hadamard transformation on the 8 x 8 processor using a Clements decomposition.
These results establish local output variance as a simple calibration observable for programmable photonic meshes. The method is compatible with discrete random phase ensembles and requires neither conventional node isolation nor orthogonal training fields, making it a practical calibration primitive for scalable self-stabilizing photonic processors.
arXiv:2607.14761v1 Announce Type: new
Abstract: Label-free all-optical nanosizing approaches based on interferometric or darkfield-imaging infer size, composition, or shape from single-particle scattering signals, but these signals are inseparably coupled to the spatially non-uniform illumination profile of the imaging system. Existing normalisation strategies require directly measuring this illumination field, an approach that fails for background-free geometries, such as lightsheet-type illumination, where the field cannot be detected. Here we introduce a self-normalisation method that reconstructs the illumination profile directly from the scattering signals of many freely diffusing nanoparticles, requiring no additional hardware, calibration samples, or direct field measurement. Critically, our approach eliminates the particle-heterogeneity bias that otherwise corrupts such reconstructions, by normalising single-particle trajectories against each other in regions of spatial overlap, where distinct particles necessarily sample identical illumination and detection conditions. We validate this method for gold nanoparticles of various size in two- and three-dimensional geometries, including a 90{\deg} side-illumination configuration in which the illumination field is entirely undetectable by conventional means, and show that reconstructed profiles closely match ground-truth measurements, thus drastically reducing signal variability. Relying solely on the scattering signal already acquired for sizing, our approach is immediately compatible with existing interferometric and darkfield nanoscopy platforms and broadly extendable to other scattering or fluorescent modalities, including light-sheet microscopy.
arXiv:2607.14765v1 Announce Type: new
Abstract: Rare concept generation focuses on synthesizing customized images conditioned on text prompts that describe objects with unusual attributes. Previous works failed to align the generated images with rare concepts, resulting in incorrect attribute rendering or inconsistent composition of concepts. Such failures, as we observed, stem from the inherent common knowledge bias in the training stage of diffusion models, where objects are strongly associated with their common attributes, making it difficult to break these associations when generating rare concepts. To address such challenges, in this paper, we propose a novel Counterfactual Inference-based Diffusion approach, dubbed CI-Diff. CI-Diff blocks the interference of the model's inherent common knowledge bias and utilizes the Natural Direct Effect to capture the independent influence of the text prompt of rare concepts on image generation so that decoupling the unusual attributes from the rare concepts. To this end, we reformulate the classifier-free guidance mechanism to highlight the atypical attributes. To the best of our knowledge, we are the first to introduce causal inference into the rare concept generation task. Extensive experiments on the RareBench benchmark validate the superiority of CI-Diff over state-of-the-art diffusion models. Our code can be accessed from https://github.com/200204jzy/CI-Diff.
arXiv:2607.14767v1 Announce Type: new
Abstract: Photonic lanterns efficiently map input spatial modes to single-mode outputs for applications like high angular resolution imaging and nulling interferometry. However, manufacturing limits prevent full control over the device's mode transfer matrix at the design stage, making empirical characterisation essential. In this work we further analyse a dataset of direct measurements of a photonic lantern's principal modes using digital off-axis holography over a 73 nm range near 1550 nm. By analysing the electric field directly, we find that the principal modes are significantly more orthogonal than random vectors in a space of the same size, as expected for near-adiabatic devices. We propose metrics for quantifying this effect, noting that mode converters with orthogonal principal modes provide better conditioned inverse solvers. We also simulate additional measurements that characterisation systems could take, where the orthogonality would be leveraged to determine the relative phase between principal modes.
arXiv:2607.14768v1 Announce Type: new
Abstract: This paper characterizes random spherical codebooks over the real additive white Gaussian noise channel in the high signal-to-noise ratio (SNR) regime when the blocklength is fixed and the codebook size grows with SNR. In this regime, the random spherical ensemble exhibits a sharp error-probability transition governed by the intrinsic dimension of the sphere and the codebook-growth scale. Below the critical codebook-growth scale, the ensemble-average error probability vanishes; at the critical scale, it converges to a nontrivial limit; and above that scale, it approaches one. By inverting this transition law, we obtain the high-SNR expansion of the ensemble-achievable data rate for a prescribed error probability. This rate has the same leading high-SNR growth as the corresponding converse rate bound, while reliability enters through the constant-order terms. Consequently, the ratio of the ensemble-achievable rate to the converse rate bound tends to one as the SNR increases. Their additive difference, however, generally approaches a positive blocklength- and reliability-dependent limit. We characterize this limiting rate-bound gap jointly as a function of blocklength and error probability. For every fixed error probability, the gap vanishes as the blocklength increases. We further identify the reliability scalings under which a decreasing error probability prevents the additive gap from vanishing in the large-blocklength limit.
arXiv:2607.14769v1 Announce Type: new
Abstract: Existing text summarization research has focused much on monologic information (e.g., newspaper articles, reports) without accounting for the interaction between speakers or authors. In contrast, dialogues are a rich communication channel where multiple participants conduct back and forth exchanges to construct meaning. We propose a dialogue summarization framework that explicitly models both semantic and emotion dynamics using multimodal dialogue inputs, built on an adapted hierarchical Chain-of-Agents approach. We decompose dialogues from two perspectives: (1) topic segments based on the utterances of all participants, and (2) participant-specific utterance segments. These are used to generate corresponding summaries while incorporating automatically inferred emotions. Topic- and participant-level summaries are aggregated into a dialogue summary capturing semantic content and emotion trajectories. To evaluate beyond content accuracy, we introduce emotion trajectory metrics measuring how well summaries preserve emotional flow. Experiments with small language models on multimodal dialogue datasets show that our framework produces summaries with both semantic and emotion content. Further experiments on explicit emotion label availability highlight the efficacy of our proposed methodology and the opportunities in dialogue analysis using language models.
arXiv:2607.14770v1 Announce Type: new
Abstract: Knowledge graph question generation (KGQG) aims to generate natural-language questions from structured graph evidence. Existing KGQG benchmarks, however, are mostly built on static knowledge graphs and do not encode the temporal scopes of graph facts. As a result, they cannot evaluate whether generated questions faithfully preserve temporal validity, event ordering, and answer-determining temporal constraints. In this paper, we study temporal knowledge graph question generation (TKGQG), where a generated question must be faithful to both the support subgraph and the temporal constraints required to identify the target answer. We propose ChronoQG, the first temporally expressive and hop-bounded benchmark construction framework for TKGQG. ChronoQG integrates a comprehensive temporal-constraint taxonomy, topology-temporal subgraph sampling, and trace-grounded question generation to construct temporally faithful questions. The framework produces four benchmark datasets from heterogeneous temporal knowledge graphs, totaling 16,011 verified questions. We evaluate representative LLM-based KGQG methods and prompting baselines across diverse TKGQG settings, including temporal-constraint counts, topological templates, and temporal-constraint types. The results show that existing methods struggle to preserve temporal constraints, especially under multi-constraint settings and harder temporal-constraint types. These findings reveal a clear gap between static KGQG and TKGQG, and establish ChronoQG as a challenging testbed for temporally faithful question generation.
arXiv:2607.14779v1 Announce Type: new
Abstract: \textsc{$H$-Packing} asks whether a graph $G$ contains $k$ vertex-disjoint copies of a fixed pattern graph $H$. Via the standard reduction to \textsc{$d$-Set Packing}, one obtains generic kernels with $O(k^{|V(H)|-1})$ vertices and $O(k^{|V(H)|})$ edges. We revisit the question of beating these bounds for specific patterns $H$.
Our main results concern subdivided stars. Let $S_{d_1,d_2}$ denote the subdivided star with $d_1$ branches of length $1$ and $d_2$ branches of length $2$. We obtain kernels with $O(k^2)$ vertices and $O(k^3)$ edges for $P_5=S_{0,2}$, for $S_{1,2}$, and for every $S_{d_1,1}$, kernels with $O(k^4)$ vertices and $O(k^6)$ edges for every fixed $S_{d_1,d_2}$ with $d_1\ge 1$, and a kernel with $O(k^2)$ vertices and $O(k^4)$ edges for the paw. Our proofs proceed in two steps. First, we reduce to instances in which all but a small part of the graph is independent, or in which the graph has a small vertex cover. Second, we reduce the independent side by keeping only a bounded number of witness vertices for each subset of the small part.
On the negative side, we prove a lower bound for the line $S_{0,d}$. For every $d\ge 3$ and every $\varepsilon>0$, \textsc{$S_{0,d}$-Packing} does not admit a compression of size $O(k^{d-\varepsilon})$ unless $\NP\subseteq \coNP/\poly$. Thus, deleting a single vertex from the pattern may, surprisingly, make kernelization provably harder, showing that compressibility of \textsc{$H$-Packing} is not monotone under taking induced subgraphs.
arXiv:2607.14780v1 Announce Type: new
Abstract: Bio-nanoparticles are pivotal to next generation nanotherapeutics, but providing single-particle biomolecular characterization remains a crucial challenge. Herein we present ultra-violet direct absorption microscopy (UV-DAM) to tackle this challenge. UV-DAM is based on a tailored illumination scheme for absorption-only imaging, combined with a custom deep UV light source. Combined, they provide biomolecular specificity with single particle sensitivity. As such, UV-DAM provides rapid, label-free, high resolution, biochemical imaging. Enabled by these capabilities, we implement the classic nucleic acid:protein absorption assay at the single virus level where we demonstrate UV-DAM's ability to distinguish empty from DNA-loaded viral capsids based on bimolecularly specific absorption fingerprints. UV-DAM presents the translation from bulk UV-visible spectrometry to single-particle assessment, a crucial advancement for nanomedicine characterization where particle loading efficiencies are often heterogenous. Beyond this, UV-DAM is applicable to a wide range of nanomaterials or investigation of biological process with high spatio-temporal resolution and intrinsic molecular contrast.
arXiv:2607.14781v1 Announce Type: new
Abstract: The simultaneous arrival of multiple mobile robots at a target point is crucial for cooperation tasks such as cooperative encirclement, disaster relief, and environmental monitoring. Although the simultaneous arrival problem itself is already complex, the problem becomes more challenging when there are constraints on the robot trajectory curvatures and the speeds are required to be constant (possibly different for different robots), and the control law for robots needs to be distributed. These constraints are typical for a multi-robot system consisting of, e.g., fixed-wing UAVs. To address this challenge, this paper proposes a distributed switching control method based on the maximum consensus protocol. By exploiting the geometric properties of Dubins paths along with optimization principles, a virtual time variable is introduced, and a hybrid control law that combines optimal control with saturated proportional control is designed. Under the proposed control law, each robot is driven to approach the maximum virtual time among its neighbors, thereby achieving simultaneous arrival under some mild conditions. Furthermore, we prove that in certain cases the proposed method attains a theoretically optimal arrival time. The approach is scalable and real-time, with low communication overhead. Its effectiveness and robustness are validated through extensive simulations and experiments.
arXiv:2607.14782v1 Announce Type: new
Abstract: Grounded in human rights-based frameworks such as the UNESCO Recommendation on the Ethics of AI, the Global Index on Responsible AI (GIRAI) examines how countries translate responsible AI commitments into enforceable protections, institutional capacity, and redress mechanisms. GIRAI 2026 assesses these across five dimensions: Inclusion and Diversity, Ethics and Sustainability, Labour and Skills, Trust and Safety, and AI Use in Public Service. A global network of 135 country-level researchers collected and assessed 68,138 data points on 38 indicators organised across three pillars: government AI policy and implementation (17 indicators), civil society engagement (5), enabling conditions (15), and documented cases of government deployment of unacceptable-risk AI systems. The data covers November 2023 to September 2025. A score of 100 is derived from the indicators to rank all countries. Findings show that while responsible AI governance is expanding, with 126 of 135 countries having at least one government policy or initiative across the 17 AI Policy indicators, this does not often translate into meaningful protection. For instance, Global South countries account for 203 of 306 new cases of indicators with frameworks since the first edition, yet 78% of their frameworks remain non-binding compared with 42% in the Global North. Government commitment to AI governance also does not extend to their own algorithms: whereas Transparency and Explainability is the strongest performing indicator, with 58% of countries having some framework, only 18% require Public Disclosure of Government Algorithms. Credible evidence of government deployment of unacceptable-risk AI systems was also found in 35 countries. These findings show that responsible AI governance must move beyond framework adoption toward enforceable rights-based protections, resourced oversight institutions, and accessible redress.
arXiv:2607.14784v1 Announce Type: new
Abstract: Photovoltaics can exhibit favourable installation-level energy return on investment (EROI), yet electricity must also be delivered when solar and wind generation are insufficient. This study evaluates how the energy balance changes when the boundary is expanded to reliable electricity supply. A fleet-equivalent benchmark model includes component turnover, grids, storage, renewable overbuild, dispatchable backup, and fuel supply. It is not a simulation, optimization, or real-system prediction. Photovoltaics provide the accounting reference in an illustrative Central European mix of 80% wind and 20% photovoltaics, while the firming penalties arise more generally from weather-dependent generation.
Expanding the boundary is decisive. The unfirmed renewable fleet retains an EROI of 10.7-16.0, but does not provide continuous electricity. Battery load-balancing references decline from 7.1-12.5 for 1h to 0.7-2.3 for 24h. Seasonal hydrogen yields 3.4-7.7; adding a 1h battery reduces the combined range to 2.9-6.8. Pipeline-gas and LNG backup yield only 1.2-2.6 and 1.0-2.2.
The lifecycle-carbon advantage narrows accordingly. Under present industrial supply chains, GWP$_{100}$ intensities rise from 38-75 gCO$_2$eq/kWh without firming to 80-289 gCO$_2$eq/kWh for hydrogen and battery-hydrogen firming, and 121-327 gCO$_2$eq/kWh for gas backup. These favourable benchmarks set orientation, site, curtailment, and delivery factors to unity; real deployment lowers EROI and raises emissions. The results identify firming as a critical energetic constraint: reliable decarbonization requires firm low-carbon generation with sufficient net-energy surplus to sustain a resilient industrial society.
arXiv:2607.14786v1 Announce Type: new
Abstract: Across hydrodynamics, ecology, neuroscience, network dynamics, non-Hermitian physics, and socio-economic systems, asymptotically stable dynamics can exhibit large transient amplifications that are invisible to eigenvalue-based analyses. The mechanism is geometric rather than spectral: perturbations entering along one direction may be expressed transiently along another, allowing asymptotic decay to coexist with strong transient or noise-driven amplification. We introduce non-normal directional response inference, a data-driven method for detecting this geometry from multivariate time series when the governing operator is unknown. A local linear operator is estimated from sliding windows and projected onto the dominant two-dimensional input-response subspace. The reduced dynamics are summarized by the eigenvalue splitting $\Delta$, eigenvector non-orthogonality $K$, and the scale-free ratio $R=K/K_c(\Delta)$, where $K_c(\Delta)$ is the two-dimensional threshold for transient amplification. Controlled benchmarks show that the reduced geometry, particularly $R$, can be recovered from finite data even when the full high-dimensional operator is poorly estimated. Tests across sample size, dimension, training horizon, spectral structure, and non-stationarity confirm that the relevant response geometry requires far fewer observations than full-matrix recovery. Applied in moving windows to electrohysterogram, seizure EEG, freezing-of-gait, and unstable push-up inertial recordings, the method reveals systematic changes around known physiological or behavioral episodes through shifts in $R$, changes in $\Delta$, or stronger projection of fluctuations onto the inferred response direction. It thus exposes interpretable changes in local response geometry without framing the problem as supervised event detection.
arXiv:2605.10174v2 Announce Type: replace
Abstract: Through-water photogrammetry from UAV imagery enables shallow-water bathymetry, but refraction at the air--water interface violates the straight-ray assumption of Structure-from-Motion and causes systematic depth bias. We present BathyFacto, a refraction-aware two-media extension of Nerfacto in Nerfstudio for metrically consistent underwater point clouds on simulated data. BathyFacto uses a shared hash-grid density field with a medium-conditioned color head and traces each camera ray as two segments: a straight air segment to a planar water surface and a refracted water segment computed using Snell's law and known refractive indices. A single proposal-network sampler operates on a virtual straight ray, while a kinked density wrapper corrects water-segment positions before density evaluation. Our pipeline converts photogrammetric reconstructions to Nerfstudio format, estimates the water plane from boundary markers, provides per-pixel medium masks, and supports refraction-corrected point-cloud export with reversible transforms to world and global frames. On a simulated scene with ground truth, BathyFacto achieves a Cloud-to-Mesh signed median deviation of $-0.001$,m and 85.7,% completeness at 0.2,m tolerance in the absolute global frame without rigid-body alignment. This compares with $+1.370$,m / 11.6,% for Nerfacto and $+1.409$,m / 9.9,% for BathyFacto without refraction. Even after a naive refractive-index depth correction, both baselines remain offset by approximately 0.4,m. Unlike a refraction-corrected Multi-View Stereo reference, which is reliable mainly for near-nadir views, BathyFacto recovers consistent geometry across the full range of camera incidence angles.
arXiv:2607.14787v1 Announce Type: new
Abstract: We propose and analyze a class of evolving surface finite element methods for mean curvature flow of closed surfaces using Lagrange multipliers for preserving the energy-decreasing structure. The algorithm is based on the solution-driven formulation using Huisken's evolution equations for the normal vector and the mean curvature. The time discretizations use linearly implicit backward difference formulas (BDF) for the parabolic geometric variables and implicit Adams updates for the nodal positions. The approach also accommodates artificial tangential velocities of minimal-deformation-rate type. The resulting fully discrete algorithms are area-decreasing at every time step, with a prescribed decay rate determined by the computed mean curvature. We prove local existence and uniqueness of the discrete Lagrange multiplier and convergence of a simplified Newton iteration for its computation under weak regularity assumptions. Under stronger regularity assumptions, as used in the convergence theory for the underlying evolving surface finite element method, we derive optimal-order error bounds of order $h^k+\tau^q$ in the $H^1$-norm for finite elements of polynomial degree $k\ge 2$ and $q$-step BDF and $q$-step implicit Adams methods with $2\le q\le 5$, both without and with minimal-deformation-rate tangential motion. Numerical experiments for mean curvature flow of a sphere confirm the predicted convergence rates and show that the Lagrange-multiplier correction entails only a small computational overhead that is essentially independent of the mesh size and the time step size.
arXiv:2607.14789v1 Announce Type: new
Abstract: Physical memory allocation establishes virtual-to-physical mappings on demand. In current systems, each minor page fault traps into the kernel and triggers pipeline flushes, stalls, and a long sequence of allocation steps that can cost tens of thousands of cycles. These overheads are increasingly significant for short-lived workloads such as serverless functions and microservices, where minor faults can account for up to 54% of runtime and up to 40% of system energy. Prior hardware allocation proposals avoid traps and context switches, but either sacrifice useful placement optimizations or rely on fixed-function logic that cannot adapt to new policies or changing hardware conditions.
We present Valinor, a hardware-OS cooperative memory allocation substrate that combines software flexibility with hardware-class performance. Valinor introduces a programmable hardware allocation engine that executes compact OS-supplied allocation libraries at close to fixed-hardware speed. It supports diverse policies, including short-lived object allocators, integrity mechanisms, and hardware-telemetry-guided placement. We implement Valinor on a BOOM RISC-V soft core running Linux and in a full-system simulator. On real hardware, Valinor accelerates allocation by 17x, improves end-to-end performance by 16%, and reduces energy consumption by up to 8%. Full-system simulation further evaluates the programmable allocation engine and six allocation libraries, showing that Valinor provides hardware-class performance without sacrificing programmability.
arXiv:2607.14791v1 Announce Type: new
Abstract: Transcoders have recently emerged as a promising approach for mechanistic interpretability (MI), enabling circuit-level analysis of model behaviour. In this paper, we investigate the use of transcoders to analyse deceptive behaviour in language models, a behaviour that poses a safety and security risk. Using a Qwen3-4B model with pre-trained transcoders, specifically per-layer transcoders (PLTs), we construct attribution graphs that capture feature activations and inter-feature dependencies, allowing circuit-level analysis of deception. Through feature steering and circuit analysis, we identified a dictionary of deception-related features and show that these features exert a stronger influence on deceptive outputs, as they produce predictable shifts between deceptive and non-deceptive responses. These findings suggest that deception emerges from internal model mechanisms and highlight the potential of transcoders for behavioural monitoring and early detection of security vulnerabilities related to malicious behaviours in language models.
arXiv:2607.14796v1 Announce Type: new
Abstract: Two-dimensional turbulent properties are investigated within a ``low-density'' Galerkin-truncated system, with a focus on both Eulerian and Lagrangian characteristics.
In particular, an ordered pseudo-logarithmic and a disordered distribution of {active (i.e. resonant)} triads has been sampled in Fourier space, allowing for a tunable degree of anisotropy and ``triadic density'', enabling investigation into their effects on the inverse energy cascade and particle pairs diffusion.
Despite the non-uniform and anisotropic mesh in the Fourier
space, this reduced model successfully captures 2D turbulence scaling laws and maintains integral energy cascade properties. It consistently reveals the classical double-cascade: a $k^{-5/3}$ inverse cascade at large scales and a $k^{-3}$ direct cascade at small scales, observed across all configurations. Furthermore, while anisotropy, controlled via angular sampling, significantly impacts the vorticity field organization and the efficiency of the inverse energy flux, the system's diffusive properties exhibit a Richardson superdiffusive scaling, $\ell^2(t)\sim t^3$, for particle pair separation. The prescribed spectral anisotropy affects the Lagrangian eddy diffusivity, enhancing diffusion along one direction for short timescales. Conversely, for longer times, particles become uncorrelated, and the separation distance degenerates into the classical Brownian scaling, $\ell^2(t)\sim t$.
The observed $t^3$ pair-dispersion indicates that the retained spectral interactions sustain super-ballistic separation, while anisotropy mainly affects the dispersion amplitude without modifying the scaling.
arXiv:2607.14800v1 Announce Type: new
Abstract: We present CrimeNER Demo, an AI-powered platform that enables us to extract general crime-related information from documents and classify them into entity types with two levels of granularity. We provide pretrained NER models on the CrimeNER database, and we give the possibility to users to provide their own annotated data to train models for their own specific cases. This demonstrator aims to promote crime-related NER research and provides a practical tool to automatically extract crime information for researchers and law enforcement agencies. The demonstrator includes: i) Pretrained NER models on the crime domain; ii) Possibility to finetune the models on specific data annotated by the user; and iii) An automatic pipeline to extract and annotate crime entities from documents. The demo platform, a tutorial to run the demo, and a video demonstration are publicly available on GitHub.
arXiv:2607.14805v1 Announce Type: new
Abstract: This paper traces the evolution of Red Ambiental Ciudadana de Monitoreo (RACiMo), a citizen-science and environmental-education initiative developed by Universidad Industrial de Santander in Colombia. RACiMo has evolved through successive editions from a school-based open-hardware programme into a regional environmental monitoring network that integrates meteorological and air-quality data, open-data practices, and student-centred research. The project's central objective is to train citizens, especially secondary-school students, teachers, and university mentors, to record, curate, analyse, interpret, and communicate climate and air-quality data relevant to their local contexts. RACiMo has involved approximately 515 students from urban, metropolitan, rural, and p\'aramo communities in Santander, Colombia. It has progressed from Arduino-Raspberry Pi stations assembled through a Do-It-With-Others approach to low-maintenance commercial instruments and a multi-municipality network of professional weather and air-quality stations. Its pedagogy has shifted from learning by building sensors to learning by analysing real environmental datasets through Python, Jupyter notebooks, visualisation tools, and student-led research projects. The current RACiMo-Orqu\'ideas implementation expands the network across five municipalities, emphasises local environmental issues such as freight traffic and industrial activity, and provides public access to data through repositories and interactive tools. The paper discusses the trade-offs between openness, educational value, reliability, data quality, sustainability, and scalability. It argues that citizen environmental monitoring can strengthen climate awareness and adaptation when local communities are trained not only to collect data, but also to understand and use it critically.