arXiv:2607.06940v1 Announce Type: new Abstract: The remarkable performance of large language models (LLMs) in linguistic tasks underscores an urgent need for comprehensive evaluation of their response quality. Prevailing methods, often confined to singular dimensions, fall short of capturing the full spectrum of model capabilities. This study introduces a multifactor scoring paradigm, integrating accuracy, conciseness, factual consistency, readability, and coherence, complemented by a graphical user interface (GUI) for visualizing outcomes. Evaluations on the TruthfulQA dataset unveil mainstream LLMs' strengths in reasoning tasks (peaking at a composite score of 0.6104) alongside pervasive limitations in navigating complex facts and ambiguities. Transcending the narrow lens of traditional metrics, this framework offers a transparent, adaptable avenue to illuminate model potential and deficiencies. Though presently focused on English tasks, its horizons beckon toward multilingual domains. This work carves a novel path for knowledge engineering and model refinement.
Science Journals
Coexistence and manipulation of multiple singularities in a reconfigurable non-Hermitian metasurface
arXiv:2607.07402v1 Announce Type: new Abstract: Non-Hermitian frameworks extend conventional Hermitian physics, offering a powerful paradigm for describing open systems. Central to this field are various singularities within the complex parameter space, such as exceptional points (EPs) and scattering zeros, which dictate exotic physical behaviors. As research shifts from isolated singularities toward multi-singularity interactions, conventional planar metasurfaces remain constrained by limited tuning dimensions. Here, we propose a mirror-coupled design that maps a metasurface into a quasi-high-dimensional parameter space. By employing a metallic plane to generate image resonators, this scheme multiplies the system degrees of freedom without increasing the number of physical resonators. Its implementation on a reconfigurable platform integrated with PIN diodes yields the coexistence and manipulation of an EP and multiple reflection zeros. Through simulations and microwave experiments, we characterize the dynamic evolution of these singularities and exploit their synergistic effects for two distinct applications. First, for tunable absorption, multiple reflection zeros are spectrally coordinated to achieve a near-perfect absorption band exceeding $99.9\%$ across the X-band, thereby dynamically suppressing target scattering. Second, for enhanced sensing, a reflection zero couples with the EP to form a hybrid singularity. This hybrid state inherits the power-law sensitivity of the EP while substantially boosting robustness against fluctuations, resolving the conventional trade-off between sensitivity and stability and simplifying detection to direct peak tracking rather than complex multimode eigenvalue fitting. Our work provides a general methodology to circumvent parameter competition among non-Hermitian singularities, opening new avenues for multifunctional metadevices across the electromagnetic spectrum.
arXiv:2603.17057v2 Announce Type: replace Abstract: Active multi-fidelity surrogate modeling is developed for multi-condition airfoil shape optimization to reduce high-fidelity CFD cost while retaining RANS-consistent aerodynamic metrics. The framework couples a low-fidelity-informed Gaussian process regression transfer model with uncertainty-triggered sampling and a synchronized elitism rule embedded in a hybrid genetic algorithm. Low-fidelity XFOIL evaluations provide inexpensive features, while sparse RANS simulations are adaptively allocated when predictive uncertainty exceeds a threshold; elite candidates are mandatorily validated at high fidelity, and the population is re-evaluated to prevent evolutionary selection based on outdated fitness values produced by earlier surrogate states. The method is demonstrated for a two-point problem at $Re=6\times10^6$ with cruise at $\alpha=2^\circ$ (maximize $E=L/D$) and take-off at $\alpha=10^\circ$ (maximize $C_L$) using a 12-parameter CST representation. Independent multi-fidelity surrogates per flight condition enable decoupled refinement. The optimized design improves cruise efficiency by 41.05% and take-off lift by 20.75% relative to the best first-generation individual. Over the full campaign, RANS evaluations were required for only 14.78% and 9.5% of the condition-specific candidate evaluations at cruise and take-off, respectively. These percentages quantify the reduction in high-fidelity usage relative to the fixed automated RANS workflow adopted as the high-fidelity reference in this study.
arXiv:2603.17390v2 Announce Type: replace Abstract: Material classification has emerged as a critical task in computer vision and graphics, supporting the assignment of accurate material properties to a wide range of digital and real-world applications. While traditionally framed as an image classification task, this domain faces significant challenges due to the scarcity of annotated data, limiting the accuracy and generalizability of trained models. Recent advances in vision-language foundation models (VLMs) offer promising avenues to address these issues, yet existing solutions leveraging these models still exhibit unsatisfying results in material recognition tasks. In this work, we propose a novel framework that effectively harnesses foundation models to overcome data limitations and enhance classification accuracy. Our method integrates two key innovations: (a) a robust image generation and auto-labeling pipeline that creates a diverse and high-quality training dataset with material-centric images, and automatically assigns labels by fusing object semantics and material attributes in text prompts; (b) a prior incorporation strategy to distill information from VLMs, combined with a joint fine-tuning method that optimizes a pre-trained vision foundation model alongside VLM-derived priors, preserving broad generalizability while adapting to material-specific features. Extensive experiments demonstrate significant improvements on multiple datasets. We show that our synthetic dataset effectively captures the characteristics of real world materials, and the integration of priors from vision-language models significantly enhances the final performance. The source code and dataset will be released.
arXiv:2603.26772v2 Announce Type: replace Abstract: Automated semantic annotation of broadcast television content presents distinctive challenges, combining structured audiovisual composition, domain-specific editorial patterns, and strict operational constraints. While multimodal large language models (MLLMs) have demonstrated strong general-purpose video understanding capabilities, their comparative effectiveness across pipeline architectures and input configurations in broadcast-specific settings remains empirically undercharacterized. This paper presents a systematic evaluation of multimodal annotation pipelines applied to broadcast television news in the Italian setting. We construct a domain-specific benchmark of clips labeled across four semantic dimensions: visual environment classification, topic classification, sensitive content detection, and named entity recognition. Two different pipeline architectures are evaluated across nine frontier models, including Gemini 3.0 Pro, LLaMA 4 Maverick, Qwen-VL variants, and Gemma 3, under progressively enriched input strategies combining visual signals, automatic speech recognition, speaker diarization, and metadata. Experimental results demonstrate that gains from video input are strongly model-dependent: larger models effectively leverage temporal continuity, while smaller models show performance degradation under extended multimodal context, likely due to token overload. Beyond benchmarking, the selected pipeline is deployed on 14 full broadcast episodes, with minute-level annotations integrated with normalized audience measurement data provided by an Italian media company. This integration enables correlational analysis of topic-level audience sensitivity and generational engagement divergence, demonstrating the operational viability of the proposed framework for content-based audience analytics.
arXiv:2603.20493v2 Announce Type: replace Abstract: Understanding and predicting the behavior of liquid matter across length scales, using only the microscopic interactions encoded in the Schr\"odinger equation, remains a central challenge in the physical sciences. Achieving this goal requires not only an accurate and efficient description of intermolecular forces but also a consistent framework that bridges the micro-, meso-, and macroscales. Here, by combining machine-learned interatomic potentials (MLIPs) with neural classical density functional theory (neural cDFT), we present such a framework. The underlying idea is simple: MLIPs trained on quantum-mechanical energies and forces are used to generate inhomogeneous microscopic density profiles, which in turn serve as the training data for neural cDFT. The resulting ab initio neural cDFT is not only significantly more computationally efficient than molecular simulations, but also provides a conceptually transparent route to the thermodynamics of both homogeneous and inhomogeneous systems. We demonstrate the approach for both water and carbon dioxide using several exchange-correlation functionals. Beyond accurately reproducing bulk equations of state and liquid-vapor phase diagrams, ab initio neural cDFT predicts, from first principles, how confinement modifies liquid-vapor coexistence in water. It also captures complex behavior in supercritical carbon dioxide such as the Fisher-Widom and Widom lines. Ab initio neural cDFT establishes a general first-principles route to multiscale modeling of fluids within a single unified conceptual framework.
arXiv:2603.21489v2 Announce Type: replace Abstract: AI agents have become increasingly capable at isolated software engineering (SWE) tasks such as resolving issues on Github. Yet long-horizon tasks involving multiple interdependent subtasks still pose challenges both with respect to accuracy, and with respect to timely completion. A natural approach to solving these long-horizon tasks in a timely manner is asynchronous multi-agent collaboration, where multiple agents work on different parts of the task at the same time. But effective application of multi-agent systems has proven surprisingly difficult: concurrent edits by multiple agents interfere with each other, dependencies are difficult to synchronize, and combining partial progress into a coherent whole is challenging. On the other hand, human developers have long relied on mature collaboration infrastructure to manage these challenges in large software projects. Inspired by these collaboration primitives, we introduce Centralized Asynchronous Isolated Delegation (CAID), a structured multi-agent coordination paradigm grounded in three core SWE primitives: centralized task delegation, asynchronous execution, and isolated workspaces. CAID constructs dependency-aware task plans through a central manager, executes subtasks concurrently in isolated workspaces, and consolidates progress via structured integration with executable test-based verification. In empirical evaluation, we find that CAID improves accuracy over single-agent baselines by 25.6% absolute on paper reproduction tasks (PaperBench) and 14.7% on Python library development tasks (Commit0). Through systematic analysis, we find that branch-and-merge is a central coordination mechanism for multi-agent collaboration, and that SWE primitives such as git worktree, git commit, and git merge enable it to be realized in a reliable and executable manner.
arXiv:2604.09558v2 Announce Type: replace Abstract: With the widening gap between compute and memory operation latencies, data movement optimizations have become increasingly important for DNN compilation. Current optimizations such as layout transformations and operator fusion only target a subset of tensor operators and consequently miss important opportunities for reducing data movement in contemporary DNN workloads, including large language models. We introduce VTC, a novel tensor compilation framework that for the first time eliminates all unnecessary data movement by targeting the full spectrum of data movement operators. VTC proposes the concept of virtual tensors to track data movement between compute operators via index mappings rather than expensive physical data transfers to and from global memory, which can seamlessly interoperate with existing computation kernels and handle arbitrary tensor operator compositions. We also introduce a novel data movement elimination algorithm to automatically identify a profitable virtual tensor creation strategy. Evaluation on a variety of DNNs shows that VTC can outperform existing ML compilers by up to 1.93x (1.28x on average) on NVIDIA GPUs with up to 60% (17.5% on average) inference memory savings.
arXiv:2604.11840v3 Announce Type: replace Abstract: Language models are increasingly used to simulate people: survey respondents, negotiators, stakeholders in policy exercises. In that role a model should reproduce how people plausibly behave, hesitating, conceding late, and settling for imperfect deals, rather than playing the best move. We call this the sampler role, in contrast to the solver role of finding the best move, and we test how the reasoning modes providers ship to strengthen models as solvers affect it. Our testbed is multi-party negotiation: five agents bargain over a regulation for fifteen turns, and unresolved issues are decided by an authority. Agents without a structured memory of the negotiation almost never reach agreement, whether reasoning is on or off: 314 of 315 such runs end with the authority deciding. What reasoning changes is how the failure looks. With reasoning enabled, one model family negotiates visibly, with varied moves, concessions in most runs, and a different path every time, yet still ends without agreement in fifteen runs of fifteen. Diversity checks would pass a model whose endings never change. Two further results show the task permits agreement: when agents write their own short running notes on the negotiation, agreement becomes the norm, while the same notes supplied ready-made change nothing; and hand-coded agents following textbook concession strategies agree in most runs under identical rules. Simulation pipelines should therefore vet models as samplers, on the distributions of outcomes they produce. Fidelity as a sampler must be tested on its own: solver strength is no guide to it, and switching on reasoning leaves it where it was.
arXiv:2607.02644v2 Announce Type: replace-cross Abstract: The Earth's interior reflects its geological evolution, from accretion to present-day dynamics. Its structure drives the geodynamo in the outer core, generating the magnetic field that shields the surface from charged cosmic radiation. The primary observables of the Earth's interior are its radial density distribution and derived quantities such as its mass and moment of inertia. These have traditionally been inferred from gravity and seismic wave propagation, which probe the macroscopic response of matter to gravitational and elastic forces. Here we instead constrain the Earth's density profile using high-energy neutrinos observed by the IceCube Neutrino Observatory at the South Pole. We analyze 10.7 years of predominantly muon-neutrino data spanning 500 GeV--100 TeV, including atmospheric neutrinos produced by cosmic-ray interactions in the Earth's atmosphere and the diffuse astrophysical neutrino flux. Neutrino attenuation depends on both the traversed column density and neutrino energy. By measuring the zenith- and energy-dependent flux suppression, we infer the Earth's radial density profile by fitting a concentric uniform-density shell model that incorporates neutrino fluxes, interaction cross sections, detector response, and glacial-ice systematic uncertainties. From the resulting density posteriors, we derive the Earth's mass and polar moment of inertia as measured by neutrinos. These are the most precise weak-interaction measurements of these quantities to date and are consistent with the Preliminary Reference Earth Model and independent gravitational determinations. Our results demonstrate that neutrinos provide a novel probe of planetary interiors via a distinct physical interaction, complementing gravity and seismology. With improved detectors and precision, neutrinos will further contribute to a multifaceted understanding of the Earth's structure.
arXiv:2607.06743v1 Announce Type: new Abstract: This paper proposes Variational Inference-based Bayesian Estimation with Sobol screening (VIBES), a two-stage scalable framework for Bayesian uncertainty quantification (UQ). The proposed approach combines Sobol global sensitivity analysis (GSA) for screening and dimensionality reduction, followed by variational inference (VI) for UQ of kinetic, design/operational, and economic parameters. In the first stage, Sobol GSA is performed to identify dominant variables and parameters governing uncertainty in process outputs. In the second stage, Bayesian inference is performed only on the reduced dimensional space using VI, thus reducing computational burden and enhancing scalability. The framework is demonstrated on a process for bioadhesive production through base-catalyzed depolymerization of kraft lignin and subsequent crosslinking with isolated soy protein. A Python-Aspen interface is developed for automated simulation and parameter estimation, enabling Bayesian calibration through stochastic gradient-based optimization and automatic-differentiation. The methodology is generic and readily generalizable to other biomass conversion pathways. The results show that application of VIBES consistently reduces predictive uncertainty bounds across all model outputs by more than 80%, even when only the reduced-space input variables and parameters are optimized during Bayesian estimation. The framework can be potentially applied for scalable, uncertainty-aware decision-making in high-dimensional, complex chemical process systems.
arXiv:2607.07008v1 Announce Type: cross Abstract: A common method for the representation and analysis of time-series data is the hidden Markov model (HMM), where each observation is associated with a hidden state that evolves over time. However, many real-world systems are influenced by multiple independent factors, which are more naturally represented by factorial hidden Markov models (fHMM), where several hidden Markov chains jointly generate the observed data. Although an fHMM provides a richer and more realistic representation of many real-world systems, it can be reformulated as an equivalent HMM, but with a significantly larger state-space, leading to a severe increase in computational cost. In particular, the forward filtering algorithm, which is central to evaluation, decoding, and estimation tasks, becomes prohibitively expensive even for small systems. This work focuses on developing scalable methods for time-series analysis using tensor algebra to exploit the multidimensional structure of fHMM directly, without constructing intermediate HMM representations. Our novel filtering approach significantly improves computational performance and enables the efficient analysis of large systems and datasets, extending the scope of fHMM and providing a practical framework for data intensive applications.
arXiv:2607.07529v1 Announce Type: new Abstract: Federated foundation-model adaptation increasingly relies on heterogeneous private artifacts (retrieval corpora, prompts and demonstrations, LoRA adapters, preference and safety data, and update sketches), yet existing federated-learning incentive mechanisms price clients as homogeneous data or update providers. This assumption poorly matches foundation-model pipelines, where contribution value is heterogeneous, non-IID, pipeline-dependent, privacy-constrained, and vulnerable to strategic behavior. We propose FedMark-FM, an auditable, risk-adjusted data-market framework that models clients as sellers of typed artifacts, estimates marginal contribution with S3Val, a stratified, uncertainty-aware Shapley estimator supporting pipeline-ordered valuation, and converts lower-confidence-bound values into budget-feasible payments penalizing duplication, sybil splitting, poisoned adapters, privacy-budget gaming, and cost inflation. We evaluate FedMark-FM-Bench across FEVER retrieval, held-out generator-backed RAG, and trained PEFT/LoRA tracks. Under a held-out prompt-injection poisoner, FedMark-FM improves downstream accuracy by 7.5-8.1 points over volume, leave-one-out, and FL-Shapley while selecting zero strategic clients. Split-conformal calibration reaches full lower-bound coverage at mean width 0.0141, versus 0.33 for naive intervals. We prove pipeline-ordered valuation is the unique credit rule respecting serving causality, and show it materially changes credit assignment (Spearman 0.76, selected-set overlap 0.67) while leaving held-out task quality unchanged; the market preserves rare specialists with audit-ready ledgers at 200-1000-client scale. FedMark-FM shows incentives for federated foundation models can be engineered as auditable data infrastructure coupling valuation, mechanism design, privacy interfaces, and pipeline-order semantics.
arXiv:2607.07532v1 Announce Type: new Abstract: Accurate mapping of informal settlements remains a major challenge in Sub-Saharan African (SSA) cities because optical imagery often fails to distinguish Informal Settlements (defined here as LCZ 7) from spectrally similar formal Compact Low-Rise areas (LCZ 3). This study presents a context-aware, reproducible Optical-SAR framework that improves informal settlement delineation using Sentinel-2 spectral features and Sentinel-1 structural information within an adapted Local Climate Zone (LCZ) taxonomy. We implement a three-tier SAR integration strategy: calibrated backscatter, GLCM textures, and a physics-guided feature engineered to capture the high structural disorder and weak radar return characteristic of SSA informal settlements. Using reference data across Nairobi and Eldoret (Kenya), we evaluate performance via a stratified hold-out protocol and a season-aware ablation study. Results show that SAR textures provide the dominant performance gain for LCZ 7 detection. The Optical-SAR model achieves overall accuracy of 0.816 (dry) and 0.807 (wet), significantly outperforming the WUDAPT baseline (OA 0.704) and reducing the critical LCZ 3 - LCZ 7 confusion to 7%. Seasonal analysis indicates that while optical-only separability varies with phenology, SAR-derived textures stabilize informal settlement mapping across seasons. These findings demonstrate that the incorporation of SAR-derived features yields consistent improvements for urban morphology mapping in data-scarce environments across seasons and across the evaluated source cities, while cross-city transfer remains limited without local adaptation strategies.
arXiv:2607.07186v1 Announce Type: cross Abstract: Magnesium ions are essential for RNA structure but difficult to model due to slow binding kinetics and experimental limitations. We present an enhanced-sampling strategy that accelerates Mg$^{2+}$ inner-shell binding by orders of magnitude, enabling quantitative exploration of ion-binding motifs in a large ribozyme. The method combines a barrier-flattening bias with Hamiltonian replica exchange to efficiently sample multiple equivalent binding sites, and builds on an approach that achieved top performance in the CASP16 blind assessment of RNA solvation structure. Using cryo-electron microscopy maps for validation, we introduce a local analysis framework that infers the population of individual binding motifs from their agreement with experimental density, enabling site-by-site validation. We find that insufficient sampling of inner-shell binding leads to significantly poorer agreement with experiment, whereas force fields predicting different inner/outer binding equilibria remain largely indistinguishable at the current experimental resolution. These results highlight the dominant role of sampling in modelling divalent ion binding and provide a general strategy for integrating simulations with experimental data in complex biomolecular systems.
arXiv:2606.01438v2 Announce Type: replace Abstract: We present a detailed formalization in Lean4 of some multigraded algebraic geometry constructions, focusing on the Brenner--Schr\"oer Proj construction and algebraic dilatations of rings.
arXiv:2607.07510v1 Announce Type: cross Abstract: Generating signals on graphs requires permutation-equivariant models that exhibit stability with respect to relative structural perturbations. While favorable stability properties of Graph Neural Networks (GNNs) have been well documented, it is unclear how structural errors propagate through the dynamics of continuous generative flow models that are gaining traction for graph signal generation. In this paper, we analyze continuous normalized flow models parameterized by GNNs and show that permutation equivariance is preserved for both the resulting continuous-time ordinary differential equations and their discrete numerical approximations used as graph signal samplers. Our primary contribution is to derive explicit stability bounds on the generated probability distributions, which quantify how relative graph perturbations affect the final sampled signals. Motivated by these theoretical bounds, we introduce a stability-promoting regularized flow matching strategy that actively penalizes the spatial Lipschitz constant of the vector field during model training. Experiments using synthetic smooth signals on stochastic block model graphs and real-world fMRI signals on brain connectomes demonstrate that this bound-oriented approach yields generative models that are more robust to structural noise, without sacrificing output quality.
Symmetric-Tensor Distributional Mixed Method for Fourth-Order Elliptic Singular Perturbation Problem
arXiv:2606.02188v2 Announce Type: replace Abstract: A symmetric-tensor distributional mixed method for a fourth-order elliptic singular perturbation problem is developed in this paper. The moment variable is approximated by normal-normal continuous symmetric tensor elements, while the scalar variable is represented by an H^1-nonconforming virtual element space coupled with a polynomial multiplier on interior codimension-two subsimplices. Optimal parameter-uniform error estimates are derived, independent of the presence of boundary layers. A hybridized form is further shown to be equivalent to stabilization-free weak Galerkin and H^2-nonconforming virtual element formulations. In two dimensions, we establish a close connection between the distributional mixed method and the classical Hellan-Herrmann-Johnson (HHJ) method by identifying the scalar virtual element-multiplier pair with the Lagrange finite element space. Consequently, the proposed method extends the two-dimensional HHJ framework to any spatial dimension d >= 2. Three-dimensional numerical experiments support the theoretical convergence and robustness estimates. A two-dimensional adaptive constant-load benchmark on an L-shaped polygonal domain tests the method on a non-manufactured nonsmooth problem and shows mesh concentration near the reentrant corner and, for small epsilon, boundary refinement at the expected O(epsilon) scale.
arXiv:2607.07622v1 Announce Type: new Abstract: The elephant trunk is a dexterous and versatile manipulator whose performance is still unmatched in robotics. In previous works, modularity was prioritized and relatively small-scale continuum robots were built. We take the natural proboscis of the *Loxodonta africana* species as a model and propose a different design approach which favors structural continuity and dynamic properties that plausibly emulate those of the natural trunk, while conferring high adaptability to the environment and humans. Instead of targeting prescribed behaviors, we show that a biomimetic design based on the macroscopic properties of the natural system enables elephant-like movements and grasping. We build by 3D printing an 85 cm long, compliant, tapered, volumetrically tessellated continuum arm, which is combined with tendon-driven actuation mimicking the longitudinal and oblique muscles of the natural model. We demonstrate whole-body grasping of objects having different shapes and dimensions and discuss a comparison to the biological trunk highlighting aspects of both biology and robotics.
arXiv:2607.06086v2 Announce Type: replace-cross Abstract: This study harnesses topological analysis in an attempt to reveal structure in the dynamics of a crowd. Topology and in particular persistent homology characterizes relational structures in data through the number of connected components and holes, that is, a loop of pairwise connection with no connections across it. We apply this universal data analysis method to a simulated time series of individual pedestrian positions of a crowd moving through a wide corridor -- either uni- or bidirectional. We consider two pedestrians to be connected, when they are sufficiently close. This approach leads to two matrices containing the persistence signatures for the whole time series, so-called CROCKERs. Despite the high level of data abstraction, the CROCKERs' first two principal components on time-delayed positional data show a clear separation of the different parameter configurations. This holds up to symmetry. Our results support our claim that persistent homology is a useful tool to characterize crowd dynamics without introducing any prior assumptions about the detectable spatio-temporal patterns.
arXiv:2607.07006v1 Announce Type: new Abstract: This paper focuses on the analysis of the tensor equation $\mathcal{A\ltimes X\ltimes B=C}$, formulated via the semi tensor product with t-product. For the unknown vector $\mathcal{X}$, we establish a necessary and sufficient condition that provides an equivalence criterion for the existence of solutions. For matrix valued and higher-order tensor valued unknown $\mathcal{X}$, solvability is determined by corresponding compatibility requirements. Moreover, the explicit structure (Toeplitz and Circulant) of $\mathcal{C}$ is characterized. The derived results are supported by several illustrative examples.
arXiv:2607.07007v1 Announce Type: new Abstract: High-quality fuzz harnesses are essential for effective gray-box fuzzing. While Large Language Models (LLMs) offer promise for automating this task, existing one-turn generation methods suffer from hallucinations and inadequate coverage due to coarse-grained function targeting and misaligned generation workflows. We present SynapseFlow, an automatic harness generator that addresses these limitations through two key innovations: dataflow-aware function aggregation and a staged, rollback-enabled generation workflow decomposition. SynapseFlow first analyzes source code to construct Structural Flow Graphs and extract coherent Function Triplets. It then synthesizes harnesses via a decomposed four-stage process governed by a staged rollback algorithm to ensure correctness. We evaluated SynapseFlow on 25 real-world open-source software projects. The experimental results indicate that SynapseFlow outperforms state-of-the-art tools (OSS-Fuzz-Gen, CKGFuzzer, PromeFuzz), achieving 3.07$\times$, 1.71$\times$, and 4.26$\times$ higher branch coverage, and 1.77$\times$, 1.51$\times$, and 1.36$\times$ higher bug detection rates, respectively. Most importantly, SynapseFlow discovered 7 previously unreported bugs (5 assigned CVEs), demonstrating its practical effectiveness in real-world bug discovery.
arXiv:2607.06602v1 Announce Type: cross Abstract: This report presents a prototype VPN that uses QKD-derived keys delivered through the ETSI GS QKD 014 API. The VPN encrypts IP traffic with AES-256-GCM, transports ETSI key identifiers in-band, and retrieves matching keys from local KMEs. After validation with a controlled KME simulator, the system was tested on two Jetson Xavier NX devices connected to a LuxQuanta NOVA QKD platform. The experiment successfully transmitted bidirectional real-time audio and video traffic through the VPN for eight continuous hours, demonstrating the feasibility of integrating classical VPN applications with QKD infrastructure through a standardized key-delivery interface.
arXiv:2607.06783v1 Announce Type: cross Abstract: Continuous variable quantum key distribution protocols (CV-QKD) with discrete modulation have been intensively investigated to bridge the gap between ideal Gaussian modulation and modern coherent optical communication systems. To mitigate the penalty of discrete modulation, probabilistic constellation shaping (PCS) is applied to the modulation format and is typically performed by distribution matching (DM) algorithms. In this paper, we address the application of DM algorithms to perform PCS in CV-QKD protocols. We investigate the impact of approximating optimized Maxwell-Boltzman distributions with DM algorithms based on Huffman (HDM) and constant composition (CCDM) codes on the protocol's secret key rate (SKR) and tolerance to excess noise. Our results show that specifically symbol-by-symbol HDM degrades the SKR by at least 30\%, whereas CCDM matches the optimal SKR with code length of $10^3$ or more symbols. Furthermore, we also provide a statistical analysis of symbol dependence for both approaches, showing that CCDM must operate with blocks of at least $10^5$ symbols for the correlations become negligible. Finally, we propose an algorithm to generate independent symbols following near-optimal distributions.
arXiv:2503.24218v2 Announce Type: replace Abstract: Ultrafast pulse optical vortices are spatiotemporal structures with a diverse range of applications. There are different ways to generate them, often restricted to a wavelength range. Likewise, characterization techniques frequently possess similar limitations. In this work, we first generate ultrashort optical vortices in the near-infrared from Ti:sapphire laser pulses by means of structured waveplates and beam manipulation. Then, we produce the visible vortices through up-conversion using a second-harmonic generation crystal. The resulting beams require spatiotemporal characterization, which is performed by bulk lateral shearing interferometry. The reference pulse is temporally characterized with the amplitude swing technique. In this manner, we present the generation of these pulses in the visible range, which is experimentally validated, and demonstrate that bulk lateral shearing interferometry can be used for pulsed beams across widely different spectral regions with the same setup. This finding is significant for future applications of the technique with various sources.