arXiv:2410.01574v4 Announce Type: replace Abstract: The rapid advancement of Generative Artificial Intelligence (GenAI) capabilities is accompanied by a concerning rise in its misuse. In particular the generation of credible misinformation in the form of images poses a significant threat to the public trust in democratic processes. Consequently, there is an urgent need to develop tools to reliably distinguish between authentic and AI-generated content. The majority of detection methods are based on neural networks that are trained to recognize forensic artifacts. In this work, we demonstrate that current state-of-the-art classifiers are vulnerable to adversarial examples under real-world conditions. Through extensive experiments, comprising four detection methods and five attack algorithms, we show that an attacker can dramatically decrease classification performance, without internal knowledge of the detector's architecture. Notably, most attacks remain effective even when images are degraded during the upload to, e.g., social media platforms. In a case study, we demonstrate that these robustness challenges are also found in commercial tools by conducting black-box attacks on HIVE, a proprietary online GenAI media detector. In addition, we evaluate the robustness of using generated features of a robust pre-trained model and showed that this increases the robustness, while not reaching the performance on benign inputs. These results, along with the increasing potential of GenAI to erode public trust, underscore the need for more research and new perspectives on methods to prevent its misuse.
Science Journals
arXiv:2606.26185v1 Announce Type: new Abstract: LLM-as-judge ("grader") components are now standard in evaluation harnesses, including safety evaluations where a pass/fail verdict may gate downstream deployment decisions. A widespread assumption is that setting the grader's sampling temperature to 0 makes grading deterministic. We test this assumption against a real safety-evaluation codebase (Japan AISI's open-source aisev) and show it fails on two levels. First, the harness invokes its grader without setting temperature or seed; the underlying provider silently applies its default of 1.0, so items near the decision boundary flip pass/fail across identical runs (per-item disagreement up to ~50% over 20 runs). Second, pinning temperature=0 reduces but does not eliminate flips: across 690 API calls spanning two providers, three model tiers, and five sampling configurations, 1-2 of 7 borderline items remain non-reproducible even under forced greedy decoding (top_k=1). Claude Opus 4.7/4.8 has since deprecated temperature entirely, rendering the primary mitigation inapplicable to newer model generations. These findings expose a structural gap: evaluation harnesses that report single-run verdicts without variance or grader-disagreement metrics can present noise as a safety property. We release a reproduction harness (690 calls, 7 conditions) and recommend that harnesses treat grader disagreement as a first-class health metric alongside the scores themselves.
arXiv:2606.26189v1 Announce Type: new Abstract: Money Laundering Group Discovery (MLGD) aims to identify hidden criminal groups and recover their complete structures in large-scale financial networks. Existing graph anomaly detection methods mainly produce node-level risk alerts, while global group discovery methods passively search for suspicious groups over the whole network. Both are mismatched with real Anti-money-laundering (AML) investigations, where analysts usually start from a concrete clue and gradually expand the investigation to recover the responsible group. To address this gap, we propose Clue-Guided Group Discovery (CGGD), where a laundering group is progressively recovered from an initial clue set through analyst interaction. We further propose Clue2Group, a framework that first constructs a compact local investigation context to reduce noise and preserve chain-like and cycle-like laundering structures. It then estimates a clue-conditioned local risk field with a multi-semantic local-temporal GNN, and finally integrates risk, structural, and prior-pattern evidence to recover a coherent laundering group. Experiments on two large-scale AML benchmarks show that Clue2Group provides a practical clue-driven analysis framework for AML investigations, offering a feasible step toward bridging the gap between graph-based AML research and real investigation workflows.
arXiv:2503.07414v3 Announce Type: replace Abstract: This study aims to develop a cost-effective microgrid (MG) design that optimally balances the economic feasibility, reliability, efficiency, and environmental impact in a grid-tied community MG. A multi-objective optimization framework is first employed to generate feasible MG configurations considering economic, reliability, efficiency, and environmental objectives. Subsequently, a preference-based deep reinforcement learning (DRL) framework is utilized to evaluate and select preferred configurations using a scalarized reward function. This combined approach enables systematic exploration of trade-offs among conflicting objectives and supports informed decision-making for community MG planning. Sensitivity analyses are conducted to evaluate the system performance under varying load demand and renewable energy fluctuations. Besides, an economic sensitivity assessment examines the impact of electricity prices and capital costs on the levelized cost of energy (LCOE). The proposed MG configuration achieves high reliability, satisfying 100% of the load, even under adverse weather conditions. The proposed framework attains an efficiency of 91.99\% while maintaining a carbon footprint of 302,747 kg/year, which is approximately 95\% lower than the annual emissions associated with a conventional grid-supplied energy system. The economic analysis indicates a net present cost of \$4.83M with a competitive LCOE of \$0.208/kWh. In addition, the operation cost is \$201,473 per year with a capital investment of \$1.42M, rendering it a financially viable alternative to conventional grid-dependent systems. This work can be valuable in identifying effective solutions for supplying reliable and cost-effective power to regional and remote areas.
arXiv:2503.15283v2 Announce Type: replace Abstract: Text-and-Image-To-Image (TI2I), an extension of Text-To-Image (T2I), integrates image inputs with textual instructions to enhance image generation. Existing methods often partially utilize image inputs, focusing on specific elements like objects or styles, or they experience a decline in generation quality with complex, multi-image instructions. To overcome these challenges, we introduce Training-Free Text-and-Image-to-Image (TF-TI2I), which adapts cutting-edge T2I models such as SD3 without the need for additional training. Our method capitalizes on the MM-DiT architecture, in which we point out that textual tokens can implicitly learn visual information from vision tokens. We enhance this interaction by extracting a condensed visual representation from reference images, facilitating selective information sharing through Reference Contextual Masking -- this technique confines the usage of contextual tokens to instruction-relevant visual information. Additionally, our Winner-Takes-All module mitigates distribution shifts by prioritizing the most pertinent references for each vision token. Addressing the gap in TI2I evaluation, we also introduce the FG-TI2I Bench, a comprehensive benchmark tailored for TI2I and compatible with existing T2I methods. Our approach shows robust performance across various benchmarks, confirming its effectiveness in handling complex image-generation tasks.
arXiv:2504.09891v3 Announce Type: replace Abstract: GMRES is known to determine a least squares solution of $ A x = b $ where $ A \in R^{n \times n} $ without breakdown for arbitrary $ b \in R^n $, and initial iterate $ x_0 \in R^n $ if and only if $ A $ is range-symmetric, i.e. $ R(A^T) = R(A) $, where $ A $ may be singular and $ b $ may not be in the range space $ R(A) $ of $ A $. In this paper, we propose applying the Range Restricted GMRES (RRGMRES) to $ A C A^T z = b $, where $ C \in R^{n \times n} $ is symmetric positive definite. This determines a least squares solution $ x = C A^T z $ of $ A x = b $ without breakdown for arbitrary (singular) matrix $ A \in R^{n \times n} $ and $ b, x_0 \in R^n $, and is much more stable and accurate compared to GMRES, RRGMRES and MINRES-QLP applied to $ A x = b $ for inconsistent problems when $ b \notin R(A) $. In particular, we propose applying the NR-SSOR as the inner iteration right preconditioner, which also works efficiently for least squares problems $ \min_{x \in R^n} \| b - A x\|_2 $ for $ A \in R^{m \times n} $ and arbitrary $ b \in R^m $. Numerical experiments demonstrate the validity of the proposed method.
arXiv:2504.13432v3 Announce Type: replace Abstract: Imaging through inhomogeneous media often results in severe distortions, posing significant challenges to downstream image-processing tasks. The lack of clean paired images makes supervised learning impractical, motivating unsupervised restoration approaches. In this work, we propose the Circular Quasi-Conformal Deturbulence (CQCD) framework, an unsupervised approach that reconstructs distortion-free images from multiple frames using a circular architecture. The framework minimizes reconstruction errors by jointly estimating forward and backward transformations between distorted observations and the restored image. A key advancement of CQCD is the integration of computational quasi-conformal geometry, which encourages bijective non-rigid deformations and improves the well-posedness of both forward and inverse mappings for cycle consistency. The deformation field is further regularized to preserve structural coherence and reduce non-physical artifacts such as folding or tearing. Additionally, tight-frame blocks are employed to effectively encode distortion-sensitive features, enhancing the precision of the restoration process. To assess the effectiveness of the proposed framework, extensive evaluations are conducted on synthetic and real-world image datasets. Experimental findings indicate that CQCD not only surpasses existing state-of-the-art deturbulence techniques in restoration quality but also achieves highly accurate deformation field estimation.
arXiv:2606.26130v1 Announce Type: new Abstract: Large Language Models (LLMs) are increasingly used to guide research methodology, yet their default methodological tendencies under minimal prompting remain unclear. Here, we prompt GPT-5.1, Gemini 3 Pro, and DeepSeek-V3.2 with an LLM-extracted research question from each of 1,000 recent arXiv computer-science papers and compare the resulting methodology suggestions against a paper-derived experimental inventory. Since we provide only the research question, the differences we measure reflect initial suggestions and not how optimal those suggestions are. We extract structured method features from both sources, map them into a shared taxonomy, and quantify divergence across multiple taxonomy dimensions including model provider, dataset task type, and evaluation metric type. The strongest imbalance appears in provider choice, with Jensen-Shannon divergence about 3-5x larger than any other taxonomy dimension. Other/Academic single-occurrence models are underrepresented by 23-24 percentage points, while reused academic/community models are slightly overrepresented (4-6pp). LLMs also suggest a much narrower range of methods overall: the effective number of model entities contracts from 1,232 to 59-96, and inter-LLM rank correlations (0.55-0.68) generally exceed LLM-to-paper correlations (0.33-0.56), so the distortions are largely shared across models. Popularity baselines, BM25 retrieval calibration, and paper-level similarity tests confirm that the outputs are query-specific responses, but filtered through a narrower set of options. Researchers who rely on LLM suggestions without cross-checking therefore risk narrowing their methodological search space toward a more concentrated default.
arXiv:2606.26151v1 Announce Type: new Abstract: While autonomous rovers have become indispensable to precision farming, achieving consistent operational safety remains a critical challenge. Conventional safety sensors, such as LiDAR, fail to detect obstacles positioned below the plant canopy, posing a significant risk. While camera-based supervised learning methods can detect common objects, they perform poorly when faced with obstacles that were not present in their training data. Actual unsupervised anomaly detection offers a solution by learning the normal visual patterns of an environment, but often fails for the dynamic scenes captured by a moving rover.\\ This paper introduces Video Memory Transformers for Anomaly Detection (VMTAD), a fully unsupervised method designed for real-time obstacle detection in dynamic agricultural scenes. VMTAD utilizes a transformer-driven architecture augmented with a dedicated memory module. This memory module leverages temporal context by processing encoded representations of preceding frames. This approach enables the system to effectively address the dynamic context caused by the robot's movement. The model is trained using only images that represent normal operation, requiring no data labels.\\ VMTAD was rigorously evaluated on the 'Grillion' agricultural rover. On a challenging rapeseed dataset, VMTAD achieved state-of-the-art performance, reaching a 0.973 detection and 0.997 segmentation Area Under the Receiver Operating Characteristic curve. A lightweight variant provides an optimal balance of high accuracy and real-time inference (14 ms), which is critical for safety, as confirmed by our analysis of the rover's total stopping distance.
arXiv:2606.26434v1 Announce Type: new Abstract: This paper studies deletion-correcting codes for the $\ell$-symbol read channel, whose noiseless output is the vector of all consecutive $\ell$-mers of a transmitted sequence. This model is motivated by overlapping-read mechanisms arising in nanopore sequencing, racetrack memories with consecutive read heads, and related sequence-labeling problems. We consider an adversarial setting in which a fixed number of $\ell$-mers are deleted from the read vector. Our first contribution is a structural characterization of the effect of such deletions: after a minimum number of $\ell$-mers are inserted to restore consistency, the resulting sequence is obtained from the transmitted sequence by deleting symbols from certain periodic substrings; when $t\le \ell-2$, these deletions correspond to complete minimum periods. Based on this characterization, we introduce check patterns and construct $\ell$-read deletion-correcting codes via power-sum syndromes. For every $\ell\ge2$, we obtain single-deletion correcting codes with redundancy $\log\lfloor (n+2\ell)/(\ell-1)\rfloor$. For $2\le t\le \ell/2$, we construct $q$-ary $\ell$-read $t$-deletion correcting codes with redundancy $t\log n+O(1)$, and for $\ell=2t-1$ with $t\ge3$, we construct codes with redundancy $(2t-1)\log n+O(1)$. We also study the sporadic parameter pairs $(\ell,t)\in\{(2,2),(3,2),(3,3)\}$ and obtain improved constructions, including binary $\ell$-read $2$-deletion correcting codes with redundancy $2\log n+O(1)$ for $\ell=2,3$, a non-binary $3$-read $2$-deletion correcting code with redundancy $3\log n+O(1)$, a binary $3$-read $3$-deletion correcting code with redundancy $5\log n+O(1)$, and a non-binary $3$-read $3$-deletion correcting code with redundancy $7\log n+O(1)$.
arXiv:2606.26437v1 Announce Type: new Abstract: Existing metrics for factuality and faithfulness evaluate whether an answer is supported or contradicted by its grounding documents, but they fail to capture when both supporting and contradicting evidence coexist. We introduce ConflictScore, a novel metric that quantifies how well a model's response acknowledges conflicting evidence in its grounding documents. Our framework decomposes responses into atomic claims, labels each claim against each grounding document, and then aggregates these labels into two complementary measures: ConflictScore-Count (CS-C), the proportion of claims exhibiting conflicts, and ConflictScore-Ratio (CS-R), the balance between supporting and contradicting evidence. We develop ConflictBench, a benchmark covering diverse forms of conflicts such as ambiguity, contradiction, and divergent opinions, to systematically evaluate our metric. Experiments show that ConflictScore effectively detects overconfident claims across domains and can serve as a corrective feedback mechanism that improves truthfulness on TruthfulQA.
arXiv:2502.09241v2 Announce Type: replace Abstract: This paper presents a novel approach to real-time safety monitoring in human-robot collaborative manufacturing environments through a wrist-mounted Inertial Measurement Unit (IMU) system integrated with a Predictive Safety Model (PSM). The proposed system extends previous PSM implementations through the adaptation of a spring-damper-mass model specifically optimized for wrist motions, employing probabilistic safety assessment through impedance-based computations. We analyze our proposed impedance-based safety approach with frequency domain methods, establishing quantitative safety thresholds through comprehensive comparative analysis. Experimental validation across three manufacturing tasks - tool manipulation, visual inspection, and pick-and-place operations. Results show robust performance across diverse manufacturing scenarios while maintaining computational efficiency through optimized parameter selection. This work establishes a foundation for future developments in adaptive risk assessment in real-time for human-robot collaborative manufacturing environments.
arXiv:2502.10764v4 Announce Type: replace Abstract: Understanding how air traffic controllers construct a mental 'picture' of complex air traffic situations is crucial but remains a challenge due to the inherently intricate, high-dimensional interactions between aircraft, pilots, and controllers. Previous work on modeling the strategies of air traffic controllers and their mental image of traffic situations often centers on specific air traffic control tasks or pairwise interactions between aircraft, neglecting to capture the comprehensive dynamics of an air traffic situation. To address this issue, we propose a machine learning-based framework for explaining air traffic situations. Specifically, we employ a Transformer-based multi-agent trajectory model that encapsulates both the spatio-temporal movement of aircraft and social interaction between them. By deriving attention scores from the model, we can quantify the influence of individual aircraft on overall traffic dynamics. This provides explainable insights into how air traffic controllers perceive and understand the traffic situation. Trained on real-world air traffic surveillance data collected from the terminal airspace around Incheon International Airport in South Korea, our framework effectively explicates air traffic situations. This could potentially support and enhance the decision-making and situational awareness of air traffic controllers.
arXiv:2505.00807v2 Announce Type: replace Abstract: Equality saturation, a technique for program optimisation and reasoning, has gained attention due to the resurgence of equality graphs (e-graphs). E-graphs represent equivalence classes of terms under rewrite rules, enabling simultaneous rewriting across a family of terms. However, they struggle in domains like $\lambda$-calculus that involve variable binding, due to a lack of native support for bindings. Building on recent work interpreting e-graphs categorically as morphisms in semilattice-enriched symmetric monoidal categories, we extend this framework to closed symmetric monoidal categories to handle bindings. We provide a concrete combinatorial representation using hierarchical hypergraphs and introduce a corresponding double-pushout (DPO) rewriting mechanism. Finally, we establish the equivalence of term rewriting and DPO rewriting, with the key property that the combinatorial representation absorbs the equations of the symmetric monoidal category.
arXiv:2505.02870v3 Announce Type: replace Abstract: We propose a structural variational resolution of the Abraham-Lorentz-Dirac (ALD) pathologies. By deriving the Variational Kinematic Constraint (VKC) and the Variational Dynamics Constraint (VDC) from the particle's proper-time perspective, we show that self-induced variations are forbidden and dynamics arise solely from first-order proper-time variations of external fields. Consequently, self-force terms are excluded at the variational level, eliminating runaway solutions and non-causal behavior without regularization. Our framework further provides a first-principles derivation of minimal coupling and reveals gauge invariance as a necessary consequence of proper-time-based variational structure.
arXiv:2505.15290v2 Announce Type: replace Abstract: Despite its prevalence, probabilistic bisimilarity suffers from a lack of robustness under minuscule perturbations of the transition probabilities. This can lead to discontinuities in the probabilistic bisimilarity distance function, undermining its reliability in practical applications where transition probabilities are often approximations derived from experimental data. Motivated by this limitation, we introduce the notion of robust probabilistic bisimilarity for labelled Markov chains, which ensures the continuity of the probabilistic bisimilarity distance function. We also propose an efficient algorithm for computing robust probabilistic bisimilarity and show that it performs well in practice, as evidenced by our experimental results.
arXiv:2505.21581v4 Announce Type: replace Abstract: While end-to-end autonomous driving has advanced significantly, prevailing methods remain fundamentally misaligned with human cognitive principles in both perception and planning. In this paper, we propose CogAD, a novel end-to-end autonomous driving model that emulates the hierarchical cognition mechanisms of human drivers. CogAD implements dual hierarchical mechanisms: global-to-local context processing for human-like perception and intent-conditioned multi-mode trajectory generation for cognitively-inspired planning. The proposed method demonstrates three principal advantages: comprehensive environmental understanding through hierarchical perception, robust planning exploration enabled by multi-level planning, and diverse yet reasonable multi-modal trajectory generation facilitated by dual-level uncertainty modeling. Extensive experiments on nuScenes and Bench2Drive demonstrate that CogAD achieves state-of-the-art performance in end-to-end planning, exhibiting particular superiority in long-tail scenarios and robust generalization to complex real-world driving conditions.
arXiv:2506.07031v5 Announce Type: replace Abstract: Emerging Large Reasoning Models (LRMs) consistently excel in mathematical and reasoning tasks, showcasing remarkable capabilities. However, the enhancement of reasoning abilities and the exposure of internal reasoning processes introduce new safety vulnerabilities. A critical question arises: when reasoning becomes intertwined with harmfulness, will LRMs become more vulnerable to jailbreaks in reasoning mode? To investigate this, we introduce HauntAttack, a novel and general-purpose black-box adversarial attack framework that systematically embeds harmful instructions into reasoning questions. Specifically, we modify key reasoning conditions in existing questions with harmful instructions, thereby constructing a reasoning pathway that guides the model step by step toward unsafe outputs. We evaluate HauntAttack on 11 LRMs and observe an average attack success rate of over 70\%, achieving up to 13 percentage points of absolute improvement over the strongest prior baseline. Our further analysis reveals that even advanced safety-aligned models remain highly susceptible to reasoning-based attacks, offering insights into the urgent challenge of balancing reasoning capability and safety in future model development.
arXiv:2606.26484v1 Announce Type: new Abstract: The nonlinear space-charge effect plays a significant role in high-intensity accelerators and has been extensively studied using multi-particle tracking methods. In this paper, we present a novel 2.5-dimensional symplectic space-charge solver specifically designed for long beam bunches. We begin by detailing its application to a transverse Gaussian density distribution under open boundary conditions in a straight system, where a semi-analytical expression is derived. We then demonstrate the solver's adaptation to arbitrary distributions in open space, as well as within rectangular and round conducting pipes. Finally, we discuss the extension of this solver to circular accelerator systems. This study shows that the fast 2.5-dimensional solver can be a good approximation to the fully three-dimensional solver for long bunches in large circular accelerators.
arXiv:2507.04949v3 Announce Type: replace Abstract: Many robotic tasks, such as inverse kinematics, motion planning, and contact-rich manipulation, can be formulated as optimization problems. Solving these problems requires addressing inherent nonlinear kinematics, complex contact dynamics, long-horizon correlations, and multi-modal optimization landscapes, each posing distinct challenges for state-of-the-art optimizers. While existing methods tackle these issues through problem-specific strategies, such specialization inherently limits cross-task generalization, requires heavy engineering effort in problem reformulation, and hinders multi-task autonomy. Monte Carlo Tree Search (MCTS) offers a compelling framework that generalizes across diverse robotic tasks via strategic exploration of the solution space. However, it typically suffers from combinatorial complexity when applied naively, resulting in slow convergence and excessive storage space in high-dimensional domains. To address this limitation, we propose Tensor Train Tree Search (TTTS), which leverages tensor factorization to exploit implicit correlations among different branches within the decision tree. By utilizing the resulting compact, linear-complexity representation, TTTS significantly reduces both computation and storage overhead, thereby enabling highly efficient global decision making. Experimental results across inverse kinematics, motion planning around obstacles, legged robot manipulation, multi-stage motion planning, and bimanual whole-body manipulation demonstrate the efficiency of TTTS for generalized robot optimization over a diverse set of tasks.
arXiv:2507.14250v2 Announce Type: replace Abstract: The R\'{e}nyi entropy, a one-parameter generalization of Boltzmann-Gibbs entropy, offers a promising framework for probing quantum gravitational effects in cosmology. By modifying the entropy-area relation of the apparent horizon, R\'{e}nyi entropy can alter the expansion dynamics of the early universe, with potential implications for Big-Bang Nucleosynthesis. In this work, we derive the modified Friedmann equations within the R\'{e}nyi entropy paradigm and investigate their impact on the primordial abundances of light elements Deuterium ($D$), Helium-4 ($_{}^{4}\textit{He}$), Lithium-7 ($_{}^{7}\textit{Li}$) and baryogenesis. Using observational constraints from Planck, primordial abundance data and observational data on baryogenesis, we put stringent bounds on the R\'{e}nyi parameter. Furthermore, we explore whether R\'{e}nyi entropy corrections could mitigate the long-standing Lithium discrepancy. This study provides the first systematic constraints on R\'{e}nyi cosmology from BBN and highlights the role of nonextensive thermodynamics in early-universe physics. Our analysis shows that the obtained ranges for the R\'{e}nyi parameter $\lambda$ exhibit a overlap for the Helium-4 and Deuterium, but this overlapping region-despite a small discrepancy-is inconsistent with the range obtained from Lithium-7. This small mismatch between the ranges raises the possibility of alleviating the \textit{Lithium Problem} in the modified cosmology scenarios. Furthermore, we present the relationship between the cosmic time and temperature within the framework of R\'{e}nyi cosmology. We observe that an increase in the R\'{e}nyi parameter increase the temperature of the early universe.
Revelator: Rapid Data Fetching via System-Software-Guided Hash-based Speculative Address Translation
arXiv:2508.02007v2 Announce Type: replace Abstract: Address translation is a major performance bottleneck in modern computing systems. Predicting the physical address (PA) of requested data before address translation completes can hide this latency, but accurate virtual address (VA)-to-PA prediction is difficult because conventional operating systems make VA-to-PA mappings unpredictable. Prior work improves predictability but relies on large pages or VA-to-PA contiguity, or stores speculation metadata in costly hardware structures. We introduce Revelator, a hardware-OS cooperative technique that uses hashing to enable accurate speculative address translation with small system modifications. Revelator employs a tiered hash-based memory allocation policy for both program data and last-level page table entries (PTEs), creating predictable VA-to-PA and VA-to-PTE mappings. After an L2 TLB miss, a lightweight hardware speculation engine uses the OS hash functions to predict these mappings and prefetch the corresponding cache blocks before translation completes, hiding address translation latency and accelerating page table walks (PTWs). Revelator does not rely on large pages or VA-to-PA contiguity and requires only small OS and hardware changes. Across 11 data-intensive workloads, Revelator improves performance by 15.3% on average over the state-of-the-art speculative address translation technique under high memory fragmentation. In virtualized environments, it predicts both guest and host physical addresses, providing a 13.6% average speedup over Nested Paging. In 16-core systems, Revelator achieves 1.40x (1.50x) speedup over Transparent Huge Pages across 30 server workload mixes from Google under medium (high) memory fragmentation. RTL synthesis shows only 0.02% area and 0.03% power overheads on a high-end server-grade CPU. Revelator is freely available at \href{https://github.com/CMU-SAFARI/Virtuoso}{github.com/CMU-SAFARI/Virtuoso}.
arXiv:2606.26101v1 Announce Type: new Abstract: Reliable evaluation of large language models should separate supported answering from unsupported guessing without conflating either with data contamination, prompt idiosyncrasy, or generic refusal behavior. We present a contamination-aware, multi-zone benchmark for measuring the transition from answerable knowledge to abstention-expected unknowns under frozen build-time labels. The benchmark contains 1,200 items across five domains, explicit abstention expectations, contamination-risk metadata, and dual parsing with an official strict parser plus a normalized robustness parser. We evaluate FLAN-T5, Qwen2.5-Instruct, and Llama-3-Instruct models under locked answer-or-abstain prompts, answer-only controls, and prompt-template variants. The benchmark is not solved by generic non-answer behavior: FLAN baselines remain weak on productive abstention, while stronger instruction-tuned models expose a selective but incomplete transition from answering to abstaining. Qwen2.5-3B-Instruct achieves the best overall reliability, but answer-expected zones remain difficult, calibration remains poor, and benign-item refusal persists. Prompt and parser robustness analyses preserve the main ranking and qualitative conclusions. The benchmark therefore provides a reproducible protocol for auditing answerability, abstention, refusal, and contamination as distinct but interacting dimensions of LLM reliability.The dataset is publicly available at https://github.com/renweimeng/Know2Guess-A-Contamination-Aware-Multi-Zone-Benchmark.
arXiv:2505.03152v5 Announce Type: replace Abstract: Light possesses both spin and orbital angular momentum. In spatially asymmetric optical fields, these properties undergo spontaneous coupling, referred to as optical spin-orbit coupling. The study of the coupling has recently become central in modern optics due to its substantial applications in communications, sensing, and quantum control. A key challenge is to clarify the relationship between the origins of spatially asymmetric optical fields and the resulting spin-orbit coupling. Current research focuses on materials and configurations exhibiting spatial asymmetry, such as focusing lenses, interfaces, inhomogeneous media, and metasurfaces. However, Maxwell's equations indicate that matter can introduce both spatial and temporal asymmetry into optical fields. For instance, magnetic ordering breaks the time-reversal symmetry of interacting optical fields via the magneto-optic effect, introducing nonreciprocity in the resulting optical phenomena. Despite the importance, optical phenomena involving both spatially and temporally asymmetric optical fields remain unexplored. Here, we demonstrate that breaking time and spatial symmetries through magnons and light focusing, respectively, transforms an input Gaussian beam into a specific optical vortex beam in a nonreciprocal manner. This phenomenon is quantitatively explained by integrating the physics of magnon-induced Brillouin light scattering with optical spin-orbit coupling. The observed conservation of total angular momentum, encompassing both magnons and photons, further indicates that magnons can control both spin and orbital angular momentum of light. Finally, we outline future research directions enabled by asymmetric optical fields in both space and time.
arXiv:2505.19922v4 Announce Type: replace Abstract: This paper describes the developed setup and characterization approach for full two-port calibrated S-parameter measurements at cryogenic temperatures, together with a complete uncertainty budget. The system developed at the Istituto Nazionale di Ricerca Metrologica (INRiM, Italy), exploits the Short-Open-Load-Reciprocal technique to realize error-corrected cryogenic measurements within a single cooling cycle. The system operates down to mK temperatures over the 4-12 GHz band in coaxial line. Calibration standards are referenced to SI-traceable room-temperature measurements, while a numerical approach is used to evaluate the response shift of the artifacts upon cooling and to derive an additional cryogenic uncertainty contribution for the measurement uncertainty budget. Moreover, relevant measurement uncertainty contributions are evaluated according to internationally agreed procedures, and a comprehensive uncertainty budget is presented. Test measurements on a 20 dB attenuator are shown as an example. An attenuation of 20.70 +/- 0.08 dB (95% confidence interval) was obtained at 6 GHz. Full SI-traceable verification at mK temperatures remains an open challenge; however, an initial calibration verification is also presented.