Tootfinder

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
Antonella Bilotta
https://arxiv.org/abs/2506.10048 https://…

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
The present dissertation introduces the research project on HOLMS (\textbf{HOL} Light Library for \textbf{M}odal \textbf{S}ystems), a growing modular framework for modal reasoning within the HOL Light proof assistant. To provide an accessible introduction to the library, the fundamentals of modal logic are outlined first, followed by a concise manual for the proof assistant itself. The core contribution of this work on HOLMS is the development of a unified and modular strategy for proving adequ…

Beyond Compliance: A User-Autonomy Framework for Inclusive and Customizable Web Accessibility
Lalitha A R
https://arxiv.org/abs/2506.10324 https://

Beyond Compliance: A User-Autonomy Framework for Inclusive and Customizable Web Accessibility
This paper proposes a shift from compliance-centered web accessibility to a care-driven model that prioritizes user autonomy, using neurodivergent users as a catalyst case for broader personalization needs. While accessibility standards offer a flexible framework, they are often interpreted and implemented as static compliance checklists, our approach reframes it as a flexible, user-centered process. We introduce a customizable Comfort Mode framework that allows users to adapt interface setting…

Back from a #cycling loop around the #ammersee !
Unfortunately I forgot to turn on my cycling computer for the first half hour 🥴 Yeah well, the red frame around the statistics page was quite clear but .. well.
Anyways! It was a nice ~50km loop with excellent weather (prepared with a lo…

A criterion for holomorphic Lie algebroid connections
David Alfaya, Indranil Biswas, Pradip Kumar, Anoop Singh
https://arxiv.org/abs/2506.10514 https://

A criterion for holomorphic Lie algebroid connections
Given a holomorphic Lie algebroid $(V, ϕ)$ on a compact connected Riemann surface $X$, we give a necessary and sufficient condition for a holomorphic vector bundle $E$ on $X$ to admit a holomorphic Lie algebroid connection. If $(V, ϕ)$ is nonsplit, then every holomorphic vector bundle on $X$ admits a holomorphic Lie algebroid connection for $(V, ϕ)$. If $(V, ϕ)$ is split, then a holomorphic vector bundle $E$ on $X$ admits a holomorphic Lie algebroid connection if and only if the degree of e…

Algorithmic methods of finite discrete structures. Topological graph drawing (part III)
Sergey Kurapov, Maxim Davidovsky
https://arxiv.org/abs/2506.10936 h…

Algorithmic methods of finite discrete structures. Topological graph drawing (part III)
The manuscript considers mathematical models for creating a topological drawing of a graph based on the methods of G. Ringel's vertex rotation theory. An algorithm is presented for generating a topological drawing of a flat part of a graph based on the selection of a basis for the cycle subspace C(G) using the Monte Carlo method. A steepest descent method for constructing a topological drawing of a flat subgraph is described in the manuscript. The topological drawing of a graph is constructed u…

From Tool Calling to Symbolic Thinking: LLMs in a Persistent Lisp Metaprogramming Loop
Jordi de la Torre
https://arxiv.org/abs/2506.10021 https://

From Tool Calling to Symbolic Thinking: LLMs in a Persistent Lisp Metaprogramming Loop
We propose a novel architecture for integrating large language models (LLMs) with a persistent, interactive Lisp environment. This setup enables LLMs to define, invoke, and evolve their own tools through programmatic interaction with a live REPL. By embedding Lisp expressions within generation and intercepting them via a middleware layer, the system allows for stateful external memory, reflective programming, and dynamic tool creation. We present a design framework and architectural principles …

Practical Improvements of A/B Testing with Off-Policy Estimation
Sakhi Otmane, Gilotte Alexandre, Rohde David
https://arxiv.org/abs/2506.10677 https://

Practical Improvements of A/B Testing with Off-Policy Estimation
We address the problem of A/B testing, a widely used protocol for evaluating the potential improvement achieved by a new decision system compared to a baseline. This protocol segments the population into two subgroups, each exposed to a version of the system and estimates the improvement as the difference between the measured effects. In this work, we demonstrate that the commonly used difference-in-means estimator, while unbiased, can be improved. We introduce a family of unbiased off-policy e…

see also the #Anduril corporatese home page http://www.anduril.com for a slick peek at all the kewl weapons tech our #Instagram and #Facebook friends now power with their loyal attention.
Trouble is, telling them doesn't work. This frustration feels maybe something like what the kids say they feel like when their parents watch Fox?

Rotating Carroll Black Holes: A No Go Theorem
Ivan Kol\'a\v{r}, David Kubiznak, Poula Tadros
https://arxiv.org/abs/2506.10451 https://

Rotating Carroll Black Holes: A No Go Theorem
Recently, there has been a lot of interest in Carroll black holes and in particular whether or not one could find a Carrollian analogue of a rotating black hole spacetime. Here we show that every stationary and axisymmetric solution (and thence also a black hole) of Carrollian general relativity in any number of $d\geq 3$ dimensions is necessarily also static. Using this result, we construct a unique stationary and axisymmetric black hole in three dimensions - a static Carroll BTZ black hole. A…

Coherent states of finite-level systems
A. I. Breev, D. M. Gitman
https://arxiv.org/abs/2506.10668 https://arxiv.org/pdf/2506.10668…

Coherent states of finite-level systems
A method for constructing coherent states (CS) of finite-level systems with a given angular momentum is proposed. To this end we generalize the known spin equation (SE) to an infinite-dimensional Fock space. The equation describes a special quadratic system in the latter space. Its projections on $d$-dimensional subspaces, represent analogs of SE for $d$-dimensional systems in an external electromagnetic field which describe $d$-dimensional systems with a given angular moment. Using a modificat…

Two coincidences are a clue: Probing a GeV-scale dark QCD sector
Yi Chung
https://arxiv.org/abs/2506.10928 https://arxiv.org/pdf/2506…

Two coincidences are a clue: Probing a GeV-scale dark QCD sector
The similarity between dark matter and baryon energy densities suggests the existence of a dark sector analogous to the visible QCD sector. In addition, small-scale structure issues can be addressed by dark matter self-interactions with a cross section comparable to that of QCD. Both observations point to a GeV-scale dark QCD sector. In this letter, guided by these two coincidences, we investigate how a chiral dark QCD model with a MeV-scale dark photon can resolve the core-cusp problem. A pote…

Eye, Robot: Learning to Look to Act with a BC-RL Perception-Action Loop
Justin Kerr, Kush Hari, Ethan Weber, Chung Min Kim, Brent Yi, Tyler Bonnen, Ken Goldberg, Angjoo Kanazawa
https://arxiv.org/abs/2506.10968

Eye, Robot: Learning to Look to Act with a BC-RL Perception-Action Loop
Humans do not passively observe the visual world -- we actively look in order to act. Motivated by this principle, we introduce EyeRobot, a robotic system with gaze behavior that emerges from the need to complete real-world tasks. We develop a mechanical eyeball that can freely rotate to observe its surroundings and train a gaze policy to control it using reinforcement learning. We accomplish this by first collecting teleoperated demonstrations paired with a 360 camera. This data is imported in…

Symbolic Generation and Modular Embedding of High-Quality abc-Triples
Michael A. Idowu
https://arxiv.org/abs/2506.10039 https://arxiv…

Symbolic Generation and Modular Embedding of High-Quality abc-Triples
We present a symbolic identity for generating integer triples $(a, b, c)$ satisfying $a + b = c$, inspired by structural features of the \emph{abc conjecture}. The construction uses powers of $2$ and $3$ in combination with modular inversion in $\mathbb{Z}/3^p\mathbb{Z}$, leading to a parametric identity with residue constraints that yield abc-triples exhibiting low radical values. Through affine transformations, these symbolic triples are embedded into a broader space of high-quality examples,…

A potential-theoretic approach to optimal stopping in a spectrally L\'evy Model
Masahiko Egami, Tomohiro Koike
https://arxiv.org/abs/2506.10538 https:/…

A potential-theoretic approach to optimal stopping in a spectrally Lévy Model
We present a systematic solution method for optimal stopping problem of one-dimensional spectrally negative Lévy processes. Our main tools are based on potential theory, particularly the Riesz decomposition and the maximum principle. This novel approach allows us to handle a broad class of reward functions. That is, we solve the problem in a general setup without relying on specific form of the reward function or on the fluctuation identities. We provide a step-by-step solution procedure, whic…

edit_wiktionary: Wiktionary edits (2010)
Three bipartite user-page networks extracted from Wiktionary, for French, German, and English. A user connects to a page if that user edited that page. Edits (edges) are timestamped. Edge weights represent counts of the number of edits.
This network has 28802 nodes and 66112 edges.
Tags: Informational, Web graph, Multigraph, Timestamps

AI-Based Software Vulnerability Detection: A Systematic Literature Review
Samiha Shimmi, Hamed Okhravi, Mona Rahimi
https://arxiv.org/abs/2506.10280 https:…

AI-Based Software Vulnerability Detection: A Systematic Literature Review
Software vulnerabilities in source code pose serious cybersecurity risks, prompting a shift from traditional detection methods (e.g., static analysis, rule-based matching) to AI-driven approaches. This study presents a systematic review of software vulnerability detection (SVD) research from 2018 to 2023, offering a comprehensive taxonomy of techniques, feature representations, and embedding methods. Our analysis reveals that 91% of studies use AI-based methods, with graph-based models being th…

Generalist Models in Medical Image Segmentation: A Survey and Performance Comparison with Task-Specific Approaches
Andrea Moglia (Politecnico di Milano), Matteo Leccardi (Politecnico di Milano), Matteo Cavicchioli (Politecnico di Milano), Alice Maccarini (Universit\`a di Pavia), Marco Marcon (Politecnico di Milano), Luca Mainardi (Politecnico di Milano), Pietro Cerveri (Politecnico di Milano, Universit\`a di Pavia)

Generalist Models in Medical Image Segmentation: A Survey and Performance Comparison with Task-Specific Approaches
Following the successful paradigm shift of large language models, leveraging pre-training on a massive corpus of data and fine-tuning on different downstream tasks, generalist models have made their foray into computer vision. The introduction of Segment Anything Model (SAM) set a milestone on segmentation of natural images, inspiring the design of a multitude of architectures for medical image segmentation. In this survey we offer a comprehensive and in-depth investigation on generalist models…

A Unifying Algorithm for Hierarchical Queries
Mahmoud Abo Khamis, Jesse Comer, Phokion Kolaitis, Sudeepa Roy, Val Tannen
https://arxiv.org/abs/2506.10238 h…

A Unifying Algorithm for Hierarchical Queries
The class of hierarchical queries is known to define the boundary of the dichotomy between tractability and intractability for the following two extensively studied problems about self-join free Boolean conjunctive queries (SJF-BCQ): (i) evaluating a SJF-BCQ on a tuple-independent probabilistic database; (ii) computing the Shapley value of a fact in a database on which a SJF-BCQ evaluates to true. Here, we establish that hierarchical queries define also the boundary of the dichotomy between tra…

I updated my website's list of links to add @USERNAME@WEBSITE to every social media account I own.
This way, it’s clearer what my name is and which site it belongs to. It might look like federation, but it’s not on most sites; it just works as a placeholder.
Read more here: https://midtsveen.codeberg.page

Effects of the sheared flow velocity profile shape on impedance eduction in a 2D duct
Lucas A Bonomo, Edward J Brambley, Julio A Cordioli
https://arxiv.org/abs/2506.10129

Effects of the sheared flow velocity profile shape on impedance eduction in a 2D duct
We assess the impact of the flow profile shape on acoustic propagation in a two-dimensional duct within the typical operating range of impedance eduction facilities. Firstly, a numerical experiment is proposed in which the Pridmore--Brown equation is assumed to represent the true physical behaviour, and is used with both simplified flow profiles commonly used in the literature and a realistic representation of a turbulent boundary layer using a van Driest universal law of the wall model. The da…

Prediction of steady states in a marine ecosystem model by a machine learning technique
Sarker Miraz Mahfuz, Thomas Slawig
https://arxiv.org/abs/2506.10475

Prediction of steady states in a marine ecosystem model by a machine learning technique
We used precomputed steady states obtained by a spin-up for a global marine ecosystem model as training data to build a mapping from the small number of biogeochemical model parameters onto the three-dimensional converged steady annual cycle. The mapping was performed by a conditional variational autoencoder (CVAE) with mass correction. Applied for test data, we show that the prediction obtained by the CVAE already gives a reasonable good approximation of the steady states obtained by a regular…

Dynamical Horizon Segments and Spacetime Isometries
Abhay Ashtekar, Badri Krishnan
https://arxiv.org/abs/2506.10190 https://arxiv.org…

Dynamical Horizon Segments and Spacetime Isometries
Given a space-time $(\mathscr{M}, g_{ab})$ admitting a dynamical horizon segment (DHS) $\mathscr{H}$, we show that there are stringent constraints on the Killing fields $ξ^a$ that $g_{ab}$ can admit in a neighborhood of $\mathscr{H}$: Generically, $ξ^a$ can only be a rotational Killing field which, furthermore, leaves each marginally trapped 2-sphere cross-section $\mathcal{S}$ of $\mathscr{H}$ invariant. Finally, if $ξ^a$ happens to be hypersurface orthogonal near $\mathscr{H}$, then, not o…

Trace duality and additive complementary pairs of additive cyclic codes over finite chain rings
Sanjit Bhowmick, Kuntal Deka, Alexandre Fotue Tabue, Edgar Mart\'inez-Moro
https://arxiv.org/abs/2506.10381

Trace duality and additive complementary pairs of additive cyclic codes over finite chain rings
This paper investigates the algebraic structure of additive complementary pairs of cyclic codes over a finite commutative ring. We demonstrate that for every additive complementary pair of additive cyclic codes, both constituent codes are free modules. Moreover, we present a necessary and sufficient condition for a pair of additive cyclic codes over a finite commutative ring to form an additive complementary pair. Finally, we construct a complementary pair of additive cyclic codes over a finite…

Magnetophoresis of Weakly Magnetic Nanoparticle Suspension Around a Wire
Mohd Bilal Khan, Peter Rassolov, Jamel Ali, Theo Siegrist, Munir Humayun, Hadi Mohammadigoushki
https://arxiv.org/abs/2506.10018

Magnetophoresis of Weakly Magnetic Nanoparticle Suspension Around a Wire
We present a combined experimental and numerical study into the magnetophoresis behavior of weakly magnetic nanoparticle suspensions in the vicinity of a wire under a non-uniform magnetic field and negligible inertia. The experiments were conducted within a closed rectangular cuvette, with a wire positioned between the poles of an electromagnet. Two types of nanoparticles, paramagnetic manganese oxide and diamagnetic bismuth oxide, were studied across a broad range of concentrations (10-100 mgL…

The Urban Model Platform: A Public Backbone for Modeling and Simulation in Urban Digital Twins
Rico H Herzog, Till Degkwitz, Trivik Verma
https://arxiv.org/abs/2506.10964

The Urban Model Platform: A Public Backbone for Modeling and Simulation in Urban Digital Twins
Urban digital twins are increasingly perceived as a way to pool the growing digital resources of cities for the purpose of a more sustainable and integrated urban planning. Models and simulations are central to this undertaking: They enable "what if?" scenarios, create insights and describe relationships between the vast data that is being collected. However, the process of integrating and subsequently using models in urban digital twins is an inherently complex undertaking. It raises questions…

Spectral Analysis of Discretized Boundary Integral Operators in 3D: a High-Frequency Perspective
V. Giunzioni, A. Merlini, F. P. Andriulli
https://arxiv.org/abs/2506.10880

Spectral Analysis of Discretized Boundary Integral Operators in 3D: a High-Frequency Perspective
When modeling propagation and scattering phenomena using integral equations discretized by the boundary element method, it is common practice to approximate the boundary of the scatterer with a mesh comprising elements of size approximately equal to a fraction of the wavelength $λ$ of the incident wave, e.g., $λ/10$. In this work, by analyzing the spectra of the operator matrices, we show a discrepancy with respect to the continuous operators which grows with the simulation frequency, challen…

Design of A* based heuristic algorithm for efficient interdiction in multi-Layer networks
Sukanya Samanta
https://arxiv.org/abs/2506.10017 https://

Design of A* based heuristic algorithm for efficient interdiction in multi-Layer networks
Intercepting a criminal using limited police resources presents a significant challenge in dynamic crime environments, where the criminal's location continuously changes over time. The complexity is further heightened by the vastness of the transportation network. To tackle this problem, we propose a layered graph representation, in which each time step is associated with a duplicate of the transportation network. For any given set of attacker strategies, a near-optimal defender strategy is com…

Colimits in the $\infty$-category of $\infty$-topoi and \'etale morphisms
Taichi Uemura
https://arxiv.org/abs/2506.10431 https://…

Colimits in the $\infty$-category of $\infty$-topoi and étale morphisms
We provide an alternative proof of Lurie's result that the wide subcategory of the $\infty$-category of $\infty$-topoi spanned by the étale morphisms is closed under small colimits. Our proof is based on a new characterization of étale morphisms of $\infty$-topoi in relation to univalent families and does not rely on a larger universe. During the proof, we also give an elementary construction of univalent completion.

A Robust Optimization Framework for Flexible Industrial Energy Scheduling: Application to a Cement Plant with Market Participation
Sebasti\'an Rojas-Innocenti, Enrique Baeyens, Alejandro Mart\'in-Crespo, Sergio Saludes-Rodil, Fernando Frechoso Escudero
https://arxiv.org/abs/2506.10824

A Robust Optimization Framework for Flexible Industrial Energy Scheduling: Application to a Cement Plant with Market Participation
This paper presents a scenario based robust optimization framework for short term energy scheduling in electricity intensive industrial plants, explicitly addressing uncertainty in planning decisions. The model is formulated as a two-stage Mixed Integer Linear Program (MILP) and integrates a hybrid scenario generation method capable of representing uncertain inputs such as electricity prices, renewable generation, and internal demand. A convex objective function combining expected and worst cas…

A semi-Lagrangian scheme for First-Order Mean Field Games based on monotone operators
Elisabetta Carlini, Valentina Coscetti
https://arxiv.org/abs/2506.10509

A semi-Lagrangian scheme for First-Order Mean Field Games based on monotone operators
We construct a semi-Lagrangian scheme for first-order, time-dependent, and non-local Mean Field Games. The convergence of the scheme to a weak solution of the system is analyzed by exploiting a key monotonicity property. To solve the resulting discrete problem, we implement a Learning Value Algorithm, prove its convergence, and propose an acceleration strategy based on a Policy iteration method. Finally, we present numerical experiments that validate the effectiveness of the proposed schemes an…

A voice for minorities: diversity in approval-based committee elections under incomplete or inaccurate information
Feline Lindeboom, Martijn Brehm, Davide Grossi, Pradeep Murukannaiah
https://arxiv.org/abs/2506.10843

A voice for minorities: diversity in approval-based committee elections under incomplete or inaccurate information
We study diversity in approval-based committee elections with incomplete or inaccurate information. As standard in the literature on approval-based multi-winner voting, we define diversity according to the maximum coverage problem, which is known to be NP-complete, with a best attainable polynomial time approximation ratio of $1-1/\e$. In the incomplete information model, voters can vote on only a small portion of the candidates. We suggest a greedy algorithm and a local search algorithm that q…

Suns in triangle-free graphs of large chromatic number
Sepehr Hajebi, Sophie Spirkl
https://arxiv.org/abs/2506.10227 https://arxiv.or…

Suns in triangle-free graphs of large chromatic number
For an integer $t\geq 4$, a $t$-sun is a graph obtained from a $t$-vertex cycle $C$ by adding a degree-one neighbor for each vertex of $C$. Trotignon asked whether every triangle-free graph of sufficiently large chromatic number has an induced subgraph that is a $t$-sun for some $t\geq 4$. This remains open, but we show that every triangle-free graph of chromatic number at least $44$ has an induced subgraph that is either a $t$-sun for some $t\geq 5$, or a $4$-sun with a single degree-one verte…

A closer look at the algebraic-operator correspondence between position and momentum space in Quantum Mechanics
Siddharth Dwivedi
https://arxiv.org/abs/2506.10950

A closer look at the algebraic-operator correspondence between position and momentum space in Quantum Mechanics
In this work we take a closer look at the algebraic-operator correspondence between the momentum ($k$) space and the position ($x$) space which gives us the form of the momentum operator in position space and vice versa in Quantum Mechanics. Taking the definition of the Fourier Transform as the starting point, we present a two parameter generalisation of the form of the momentum operator in position space followed by a generalisation of the momentum eigenfunctions and a few other results. It is…

Cybernetic Marionette: Channeling Collective Agency Through a Wearable Robot in a Live Dancer-Robot Duet
Anup Sathya, Jiasheng Li, Zeyu Yan, Adriane Fang, Bill Kules, Jonathan David Martin, Huaishu Peng
https://arxiv.org/abs/2506.10079

Cybernetic Marionette: Channeling Collective Agency Through a Wearable Robot in a Live Dancer-Robot Duet
We describe DANCE^2, an interactive dance performance in which audience members channel their collective agency into a dancer-robot duet by voting on the behavior of a wearable robot affixed to the dancer's body. At key moments during the performance, the audience is invited to either continue the choreography or override it, shaping the unfolding interaction through real-time collective input. While post-performance surveys revealed that participants felt their choices meaningfully influenced …

A Crack in the Bark: Leveraging Public Knowledge to Remove Tree-Ring Watermarks
Junhua Lin (University of Edinburgh), Marc Juarez (University of Edinburgh)
https://arxiv.org/abs/2506.10502

A Crack in the Bark: Leveraging Public Knowledge to Remove Tree-Ring Watermarks
We present a novel attack specifically designed against Tree-Ring, a watermarking technique for diffusion models known for its high imperceptibility and robustness against removal attacks. Unlike previous removal attacks, which rely on strong assumptions about attacker capabilities, our attack only requires access to the variational autoencoder that was used to train the target diffusion model, a component that is often publicly available. By leveraging this variational autoencoder, the attacke…

Topological A-Model for $AdS_5\times S^5$ Superstring and the Maldacena Conjecture
Nathan Berkovits (ICTP-SAIFR/IFT-UNESP, Sao Paulo)
https://arxiv.org/abs/2506.10907

Topological A-Model for $AdS_5\times S^5$ Superstring and the Maldacena Conjecture
A topological A-model constructed from $CP^{3|4}$ supertwistor variables is proposed for the $AdS_5\times S^5$ superstring. At zero $AdS$ radius, free N=4 d=4 super-Yang-Mills amplitudes are reproduced by topological amplitudes of the corresponding gauged linear sigma model where the closed superstring vertex operator for a trace of $k$ super-Yang-Mills fields is described by a boundary state with U(1) worldsheet instanton number $k$. After turning on a Fayet-Iliopoulis term in the sigma m…

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
Zhiyao Zhong, Cyrus Omar
https://arxiv.org/abs/2506.10781 https://

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
Students in programming languages and formal logic courses often struggle with constructing rule-based derivation trees due to the complexity of applying inference rules, the lack of immediate feedback, and the manual effort required for handwritten proofs. We present Hazel Deriver, a live, web-based editor designed to scaffold derivation construction through multiple layers of support. Built on the Hazel live programming environment, it provides a structured, interactive experience that encour…

Are We Generalizing from the Exception? An In-the-Wild Study on Group-Sensitive Conversation Design in Human-Agent Interactions
Ana M\"uller, Sabina Jeschke, Anja Richert
https://arxiv.org/abs/2506.10462

Are We Generalizing from the Exception? An In-the-Wild Study on Group-Sensitive Conversation Design in Human-Agent Interactions
This paper investigates the impact of a group-adaptive conversation design in two socially interactive agents (SIAs) through two real-world studies. Both SIAs - Furhat, a social robot, and MetaHuman, a virtual agent - were equipped with a conversational artificial intelligence (CAI) backend combining hybrid retrieval and generative models. The studies were carried out in an in-the-wild setting with a total of $N = 188$ participants who interacted with the SIAs - in dyads, triads or larger group…

A short way of counting maps to hypersurfaces in Grassmannians
Alina Marian, Shubham Sinha
https://arxiv.org/abs/2506.10593 https://a…

A short way of counting maps to hypersurfaces in Grassmannians
Using a Quot scheme compactification, we calculate the virtual count of maps of degree $d$ from a smooth projective curve of genus $g$ to a hypersurface in a Grassmannian, sending specified points of the curve to special Schubert subvarieties restricted to the hypersurface. We study the question of whether this virtual count is in fact enumerative under suitable conditions on the hypersurface, in the regime when the map degree $d$ is large.

Bug Classification in Quantum Software: A Rule-Based Framework and Its Evaluation
Mir Mohammad Yousuf, Shabir Ahmad Sofi
https://arxiv.org/abs/2506.10397 h…

Bug Classification in Quantum Software: A Rule-Based Framework and Its Evaluation
Accurate classification of software bugs is essential for improving software quality. This paper presents a rule-based automated framework for classifying issues in quantum software repositories by bug type, category, severity, and impacted quality attributes, with additional focus on quantum-specific bug types. The framework applies keyword and heuristic-based techniques tailored to quantum computing. To assess its reliability, we manually classified a stratified sample of 4,984 issues from a …

A space-time interface-fitted method for moving-subdomain distributed control problems with energy regularization
Quang Huy Nguyen, Phuong Cuc Hoang, Van Chien Le, Thi Thanh Mai Ta
https://arxiv.org/abs/2506.10924

A space-time interface-fitted method for moving-subdomain distributed control problems with energy regularization
This paper investigates a space-time interface-fitted approximation of a moving-interface optimal control problem with energy regularization. We reformulate the optimality conditions into a variational problem involving both the state and adjoint. This problem is shown to be equivalent to our optimal control problem. Based on fully unstructured, space-time interface-fitted meshes, we propose and analyze a Petrov-Galerkin approximation of the problem. An optimal error estimate with respect to a …

IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
Kinnari Dave, Alejandro D\'iaz-Caro, Vladimir Zamdzhiev
https://arxiv.org/abs/2506.09545

IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
We introduce a proof language for Intuitionistic Multiplicative Additive Linear Logic (IMALL), extended with a modality B to capture mixed-state quantum computation. The language supports algebraic constructs such as linear combinations, and embeds pure quantum computations within a mixed-state framework via B, interpreted categorically as a functor from a category of Hilbert Spaces to a category of finite-dimensional C*-algebras. Measurement arises as a definable term, not as a constant, and t…

Semi-Automated Quality Assurance in Digital Pathology: Tile Classification Approach
Meredith VandeHaar, M. Clinch, I. Yilmaz, M. A. Rahman, Y. Xiao, F. Dogany, H. M. Alazab, A. Nassar, Z. Akkus, B. Dangott
https://arxiv.org/abs/2506.10916

Semi-Automated Quality Assurance in Digital Pathology: Tile Classification Approach
Quality assurance is a critical but underexplored area in digital pathology, where even minor artifacts can have significant effects. Artifacts have been shown to negatively impact the performance of AI diagnostic models. In current practice, trained staff manually review digitized images prior to release of these slides to pathologists which are then used to render a diagnosis. Conventional image processing approaches, provide a foundation for detecting artifacts on digital pathology slides. H…

A Survey of Data Compression Algorithms and their Applications
Mohammad Hosseini
https://arxiv.org/abs/2506.10000 https://arxiv.org/p…

A Survey of Data Compression Algorithms and their Applications
Today, with the growing demands of information storage and data transfer, data compression is becoming increasingly important. Data Compression is a technique which is used to decrease the size of data. This is very useful when some huge files have to be transferred over networks or being stored on a data storage device and the size is more than the capacity of the data storage or would consume so much bandwidth for transmission in a network. With the advent of the Internet and mobile devices w…

Momentum Multi-Marginal Schr\"odinger Bridge Matching
Panagiotis Theodoropoulos, Augustinos D. Saravanos, Evangelos A. Theodorou, Guan-Horng Liu
https://arxiv.org/abs/2506.10168

Momentum Multi-Marginal Schrödinger Bridge Matching
Understanding complex systems by inferring trajectories from sparse sample snapshots is a fundamental challenge in a wide range of domains, e.g., single-cell biology, meteorology, and economics. Despite advancements in Bridge and Flow matching frameworks, current methodologies rely on pairwise interpolation between adjacent snapshots. This hinders their ability to capture long-range temporal dependencies and potentially affects the coherence of the inferred trajectories. To address these issues…

HBAR entropy of Infalling Atoms into a GUP-corrected Schwarzschild Black Hole and equivalence principle
Ali \"Ovg\"un, Reggie C. Pantig
https://arxiv.org/abs/2506.10621 …

HBAR entropy of Infalling Atoms into a GUP-corrected Schwarzschild Black Hole and equivalence principle
In this work, we have investigated the phenomenon of acceleration radiation exhibited by a two-level atom freely falling into a Generalized Uncertainty Principle (GUP)-corrected Schwarzschild black hole. We derive analytic expressions for the atom's excitation probability with simultaneous emission of a scalar quantum and observe that it satisfies the Einstein equivalence principle when compared to the excitation probability induced by a uniformly accelerating mirror, motivated by studies [10.1…

Sampling-Based Planning Under STL Specifications: A Forward Invariance Approach
Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas
https://arxiv.org/abs/2506.10739

Sampling-Based Planning Under STL Specifications: A Forward Invariance Approach
We propose a variant of the Rapidly Exploring Random Tree Star (RRT$^{\star}$) algorithm to synthesize trajectories satisfying a given spatio-temporal specification expressed in a fragment of Signal Temporal Logic (STL) for linear systems. Previous approaches for planning trajectories under STL specifications using sampling-based methods leverage either mixed-integer or non-smooth optimization techniques, with poor scalability in the horizon and complexity of the task. We adopt instead a contro…

The Ramsey number of the 4-cycle versus a book graph
Chunyang Dou, Tianyu Li, Qizhong Lin, Xing Peng
https://arxiv.org/abs/2506.10477 https://

The Ramsey number of the 4-cycle versus a book graph
Given positive integers $n$ and $k$, the book graph $B_n^{(k)}$ consists of $n$ copies of $K_{k+1}$ sharing a common $K_k$. The book graph is a common generalization of a star and a clique, which can be seen by taking $k=1$ and $n=1$ respectively. In addition, the Ramsey number of a book graph is closely related to the diagonal Ramsey number. Thus the study of extremal problems related to the book graph is of substantial significance. In this paper, we aim to investigate the Ramsey number $r(C_…

Observation of High-Order Quantum Pancharatnam-Berry Phase with Structured Photons
Shuang-Yin Huang, He Jiang, Zhi-Cheng Ren, Zi-Mo Cheng, Wen-Zheng Zhu, Jing Gao, Chang Liu, Xi-Lin Wang, Hui-Tian Wang
https://arxiv.org/abs/2506.10692

Observation of High-Order Quantum Pancharatnam-Berry Phase with Structured Photons
When a quantum system evolves so that it returns to its initial state, it will acquire a geometric phase acting as a memory of the transformation of a physical system, which has been experimentally measured in a variety of physical systems. In optics, the most prominent example is the Pancharatnam-Berry (PB) phase. Recent technological advances in phase and polarization structure have led to the discovery of high-order PB phases with structured light fields. The study on the high-order PB phase…

ObfusBFA: A Holistic Approach to Safeguarding DNNs from Different Types of Bit-Flip Attacks
Xiaobei Yan, Han Qiu, Tianwei Zhang
https://arxiv.org/abs/2506.10744

ObfusBFA: A Holistic Approach to Safeguarding DNNs from Different Types of Bit-Flip Attacks
Bit-flip attacks (BFAs) represent a serious threat to Deep Neural Networks (DNNs), where flipping a small number of bits in the model parameters or binary code can significantly degrade the model accuracy or mislead the model prediction in a desired way. Existing defenses exclusively focus on protecting models for specific attacks and platforms, while lacking effectiveness for other scenarios. We propose ObfusBFA, an efficient and holistic methodology to mitigate BFAs targeting both the high-le…

Choreographic Quick Changes: First-Class Location (Set) Polymorphism
Ashley Samuelson, Andrew K. Hirsch, Ethan Cecchetti
https://arxiv.org/abs/2506.10913 h…

Choreographic Quick Changes: First-Class Location (Set) Polymorphism
Choreographic programming is a promising new paradigm for programming concurrent systems where a developer writes a single centralized program that compiles to individual programs for each node. Existing choreographic languages, however, lack critical features integral to modern systems, like the ability of one node to dynamically compute who should perform a computation and send that decision to others. This work addresses this gap with $λ_{QC}$, the first typed choreographic language with \e…

Boundary output feedback stabilization of a cascade of N heat equations
Hugo Lhachemi (L2S), Christophe Prieur (GIPSA-INFINITY), Emmanuel Tr\'elat (LJLL)
https://arxiv.org/abs/2506.10500

Boundary output feedback stabilization of a cascade of N heat equations
This paper solves the problem of output feedback stabilization for a cascade of N heat equations that are coupled at the boundary, the input being a scalar boundary control applied to the first heat equation of the cascade, and the scalar output being either a distributed or a pointwise in-domain measurement done on the last equation of the cascade. Two different configurations are studied in details. The first one consists of a cascade of N heat equations with totally disconnected spectra. The…

A Navigation Framework Utilizing Vision-Language Models
Yicheng Duan, Kaiyu tang
https://arxiv.org/abs/2506.10172 https://arxiv.org/p…

A Navigation Framework Utilizing Vision-Language Models
Vision-and-Language Navigation (VLN) presents a complex challenge in embodied AI, requiring agents to interpret natural language instructions and navigate through visually rich, unfamiliar environments. Recent advances in large vision-language models (LVLMs), such as CLIP and Flamingo, have significantly improved multimodal understanding but introduced new challenges related to computational cost and real-time deployment. In this project, we propose a modular, plug-and-play navigation framework…

Finite temperature Casimir effect of a Lorentz-violating scalar with higher order derivatives
Andrea Erdas
https://arxiv.org/abs/2506.10284 https://…

Finite temperature Casimir effect of a Lorentz-violating scalar with higher order derivatives
In this work I study the finite temperature Casimir effect caused by a complex and massive scalar field that breaks Lorentz invariance in a CPT-even, aether-like manner. The Lorentz invariance breaking is caused by a constant space-like vector directly coupled to higher order field derivatives. This vector needs to be space-like in order to avoid non-causality problems that will arise with a time-like vector. I investigate the two scenarios of the scalar field satisfying either Dirichlet or mix…

The Role of Generative AI in Facilitating Social Interactions: A Scoping Review
T. T. J. E. Arets, G. Perugia, M. Houben, W. A. IJsselsteijn
https://arxiv.org/abs/2506.10927

The Role of Generative AI in Facilitating Social Interactions: A Scoping Review
Reduced social connectedness increasingly poses a threat to mental health, life expectancy, and general well-being. Generative AI (GAI) technologies, such as large language models (LLMs) and image generation tools, are increasingly integrated into applications aimed at enhancing human social experiences. Despite their growing presence, little is known about how these technologies influence social interactions. This scoping review investigates how GAI-based applications are currently designed to…

Notes on applicative matching logic
Laurentiu Leustean
https://arxiv.org/abs/2506.10088 https://arxiv.org/pdf/2506.10088

Notes on applicative matching logic
Matching logic (ML) was developed by Grigore Roşu and collaborators as a logic for defining the formal semantics of programming languages and for specifying and reasoning about the behavior of programs. These lecture notes present basic definitions and results on applicative matching logic (AML), a functional variant of ML introduced recently by Xiaohong Chen and Grigore Roşu. They can be used as an introductory text in the theory of AML. Monk's textbook on mathematical logic has an enormous …

MultiCoSim: A Python-based Multi-Fidelity Co-Simulation Framework
Quinn Thibeault, Giulia Pedrielli
https://arxiv.org/abs/2506.10869 https://

MultiCoSim: A Python-based Multi-Fidelity Co-Simulation Framework
Simulation is a foundational tool for the analysis and testing of cyber-physical systems (CPS), underpinning activities such as algorithm development, runtime monitoring, and system verification. As CPS grow in complexity and scale, particularly in safety-critical and learning-enabled settings, accurate analysis and synthesis increasingly rely on the rapid use of simulation experiments. Because CPS inherently integrate hardware, software, and physical processes, simulation platforms must suppor…

Geometric and Hodge-theoretic completion of period mappings
Haohua Deng
https://arxiv.org/abs/2506.10109 https://arxiv.org/pdf/2506.1…

Geometric and Hodge-theoretic completion of period mappings
Given a period map defined over a quasi-projective variety, we construct a completion with rich geometric and Hodge-theoretic meaning. This result may be regarded as an analog of Mumford's toroidal compactification for locally symmetric Hodge varieties as well as a realizable alternative of Kato--Nakayama--Usui's construction. As an application, we give an alternative proof on the algebraicity of weakly special subvarieties.

Ultrahigh threshold nonstabilizer nonlinear quantum error correcting code
Maga Grafe, Kaixuan Zhou, Zaman Tekin, Zhiyuan Lin, Sen Li, Fengquan Zhang, Valentin Ivannikov, Tim Byrnes
https://arxiv.org/abs/2506.10445

Ultrahigh threshold nonstabilizer nonlinear quantum error correcting code
We introduce a novel type of quantum error correcting code, called the spinor code, based on spaces defined by total spin. The code is a nonstabilizer code, and is also a nonlinear quantum error correcting code, meaning that quantum information is encoded in a parameterized family of quantum states, rather than a linear superposition of code words. Syndrome measurements are performed by projecting on states with differing total spin, with an associated correction to map states back to the maxim…

Adaptive Chosen-Ciphertext Security of Distributed Broadcast Encryption
Kwangsu Lee
https://arxiv.org/abs/2506.10338 https://arxiv.or…

Adaptive Chosen-Ciphertext Security of Distributed Broadcast Encryption
Distributed broadcast encryption (DBE) is a specific kind of broadcast encryption (BE) where users independently generate their own public and private keys, and a sender can efficiently create a ciphertext for a subset of users by using the public keys of the subset users. Previously proposed DBE schemes have been proven in the adaptive chosen-plaintext attack (CPA) security model and have the disadvantage of requiring linear number of pairing operations when verifying the public key of a user.…

A Unified Framework for Probabilistic Dynamic-, Trajectory- and Vision-based Virtual Fixtures
Maximilian M\"uhlbauer, Freek Stulp, Sylvain Calinon, Alin Albu-Sch\"affer, Jo\~ao Silv\'erio
https://arxiv.org/abs/2506.10239

A Unified Framework for Probabilistic Dynamic-, Trajectory- and Vision-based Virtual Fixtures
Probabilistic Virtual Fixtures (VFs) enable the adaptive selection of the most suitable haptic feedback for each phase of a task, based on learned or perceived uncertainty. While keeping the human in the loop remains essential, for instance, to ensure high precision, partial automation of certain task phases is critical for productivity. We present a unified framework for probabilistic VFs that seamlessly switches between manual fixtures, semi-automated fixtures (with the human handling precise…

Approximate Controllability Problems for the Heat Equation in a Half-Plane Controlled by the Dirichlet Boundary Condition with a Bounded Control
Larissa Fardigola, Kateryna Khalina
https://arxiv.org/abs/2506.10466

Approximate Controllability Problems for the Heat Equation in a Half-Plane Controlled by the Dirichlet Boundary Condition with a Bounded Control
In the paper, the problems of approximate controllability are studied for the control system $w_t=Δw$, $w(0,x_2,t)=u(x_2,t)$, $x_1\in\mathbb R_+=(0,+\infty)$, $x_2\in\mathbb R$, $t\in(0,T)$, where $u$ is a control belonging to a special subset of $L^\infty(\mathbb R\times (0,T))\cap L^2(\mathbb R\times (0,T))$. It is proved that each initial state belonging to $L^2(\mathbb R_+\times\mathbb R)$ is approximately controllable to an arbitrary end state belonging to $L^2(\mathbb R_+\times\mathbb R)…

The Classification of Graphs on $8$ vertices with Coinciding Zero Forcing number and Maximum Nullity
Wayne Barrett, Mark Hunnell, John Hutchens, John Sinkovic
https://arxiv.org/abs/2506.10726

The Classification of Graphs on $8$ vertices with Coinciding Zero Forcing number and Maximum Nullity
We study the minimum rank of a (simple, undirected) graph, which is the minimum rank among all matrices in a space determined by the graph. We determine the exact set of graphs on eight vertices for which the nullity of a minimum rank matrix does not coincide with a bound determined by the zero forcing number of a graph. Although our goal was to determine which eight-vertex graphs satisfy maximum nullity equal to the zero forcing number, we also established several additional methods to assist …

Extended Creativity: A Conceptual Framework for Understanding Human-AI Creative Relations
Andrea Gaggioli, Sabrina Bartolotta, Andrea Ubaldi, Katusha Gerardini, Eleonora Diletta Sarcinella, Alice Chirico
https://arxiv.org/abs/2506.10249

Extended Creativity: A Conceptual Framework for Understanding Human-AI Creative Relations
Artificial Intelligence holds significant potential to enhance human creativity. However, achieving this vision requires a clearer understanding of how such enhancement can be effectively realized. Adopting the perspective of distributed creativity, we identify three primary modes through which AI can contribute to creative processes: Support, where AI acts as a tool; Synergy, where AI and humans collaborate in complementary ways; and Symbiosis, where human and AI cognition become so integrated…

StepProof: Step-by-step verification of natural language mathematical proofs
Xiaolin Hu, Qinghua Zhou, Bogdan Grechuk, Ivan Y. Tyukin
https://arxiv.org/abs/2506.10558

StepProof: Step-by-step verification of natural language mathematical proofs
Interactive theorem provers (ITPs) are powerful tools for the formal verification of mathematical proofs down to the axiom level. However, their lack of a natural language interface remains a significant limitation. Recent advancements in large language models (LLMs) have enhanced the understanding of natural language inputs, paving the way for autoformalization - the process of translating natural language proofs into formal proofs that can be verified. Despite these advancements, existing aut…

AdaptiveLLM: A Framework for Selecting Optimal Cost-Efficient LLM for Code-Generation Based on CoT Length
Junhang Cheng, Fang Liu, Chengru Wu, Li Zhang
https://arxiv.org/abs/2506.10525

AdaptiveLLM: A Framework for Selecting Optimal Cost-Efficient LLM for Code-Generation Based on CoT Length
While Large Language Models (LLMs) have significantly advanced code generation efficiency, they face inherent challenges in balancing performance and inference costs across diverse programming tasks. Dynamically selecting the optimal LLM based on task difficulty and resource constraints offers a promising approach to achieve an optimal balance between efficiency and performance. However, existing model selection methods are resource-intensive and often neglect cost efficiency. Moreover, these a…

A Language-Agnostic Logical Relation for Message-Passing Protocols
Tesla Zhang, Sonya Simkin, Rui Li, Yue Yao, Stephanie Balzer
https://arxiv.org/abs/2506.10026

A Language-Agnostic Logical Relation for Message-Passing Protocols
Today's computing landscape has been gradually shifting to applications targeting distributed and *heterogeneous* systems, such as cloud computing and Internet of Things (IoT) applications. These applications are predominantly *concurrent*, employ *message-passing*, and interface with *foreign objects*, ranging from externally implemented code to actual physical devices such as sensors. Verifying that the resulting systems adhere to the intended protocol of interaction is challenging -- the usu…

Deligne 1-motives with torsion and \'etale motives
Rapha\"el Ruimy
https://arxiv.org/abs/2506.10637 https://arxiv.org/pdf/25…

Deligne 1-motives with torsion and étale motives
We construct the motivic t-structure on 1-motives with integral coefficients over a scheme of characteristic zero or a Dedekind scheme. When we invert the residue characteristic exponents of the base, this t-structure induces a t-structure on the category of smooth 1-motives whose heart is the category of Deligne 1-motives with torsion which we prove to be abelian. This relies on the fact that over a normal scheme, Deligne 1-motives with torsion are determined by their fiber on the generic poin…

A Quantum Mechanical Pendulum Clock
Matteo Brunelli, Mohammad Mehboudi, Nicolas Brunner, Patrick P. Potts
https://arxiv.org/abs/2506.10666 https://

A Quantum Mechanical Pendulum Clock
We investigate an optomechanical system as a model of an autonomous mechanical pendulum clock in the quantum regime, whose operation relies only on incoherent (thermal) resources. The escapement of the clock, the mechanism that translates oscillatory motion into ticks, is provided by an emitter in the optical cavity and the operation of the clock relies on the existence of a limit cycle. Since the clock is based on an oscillatory degree of freedom, it can overcome the thermodynamic uncertainty …

Vib2Move: In-Hand Object Reconfiguration via Fingertip Micro-Vibrations
Xili Yi, Nima Fazeli
https://arxiv.org/abs/2506.10923 https://

Vib2Move: In-Hand Object Reconfiguration via Fingertip Micro-Vibrations
We introduce Vib2Move, a novel approach for in-hand object reconfiguration that uses fingertip micro-vibrations and gravity to precisely reposition planar objects. Our framework comprises three key innovations. First, we design a vibration-based actuator that dynamically modulates the effective finger-object friction coefficient, effectively emulating changes in gripping force. Second, we derive a sliding motion model for objects clamped in a parallel gripper with two symmetric, variable-fricti…

GOLIATH: A Decentralized Framework for Data Collection in Intelligent Transportation Systems
Davide Maffiola, Stefano Longari, Michele Carminati, Mara Tanelli, Stefano Zanero
https://arxiv.org/abs/2506.10665

GOLIATH: A Decentralized Framework for Data Collection in Intelligent Transportation Systems
Intelligent Transportation Systems (ITSs) technology has advanced during the past years, and it is now used for several applications that require vehicles to exchange real-time data, such as in traffic information management. Traditionally, road traffic information has been collected using on-site sensors. However, crowd-sourcing traffic information from onboard sensors or smartphones has become a viable alternative. State-of-the-art solutions currently follow a centralized model where only the…

Accessible Design in Integrated Development Environments: A Think Aloud Study Exploring the Experiences of Students with ADHD
Luke Halpin, Phillip Benachour, Tracy Hall, Ann-Marie Houghton, Emily Winter
https://arxiv.org/abs/2506.10598

Accessible Design in Integrated Development Environments: A Think Aloud Study Exploring the Experiences of Students with ADHD
Coding forms a key part of computer science education in universities. As part of this education, Integrated Development Environments (IDEs) are essential tools for coding. However, it is currently unknown how the design of an IDE's interface impacts on students with Attention Deficit Hyperactivity Disorder (ADHD). In this study we investigated the use of IDEs by students with ADHD. We conducted a think aloud study with nine university computing students, followed by qualitative observational…

The double of a simplicial complex
Kathryn Lesh, Bridget Schreiner, Nathalie Wahl
https://arxiv.org/abs/2506.10436 https://arxiv.org/…

The double of a simplicial complex
We introduce the notion of doubling and r-tupling for simplicial complexes, a notion reminiscent to that of matching complexes in graph theory. We prove a connectivity result for such complexes and relate r-tupling to stabilizing r times faster in homological stability.

The Gittins Index: A Design Principle for Decision-Making Under Uncertainty
Ziv Scully, Alexander Terenin
https://arxiv.org/abs/2506.10872 https://

The Gittins Index: A Design Principle for Decision-Making Under Uncertainty
The Gittins index is a tool that optimally solves a variety of decision-making problems involving uncertainty, including multi-armed bandit problems, minimizing mean latency in queues, and search problems like the Pandora's box model. However, despite the above examples and later extensions thereof, the space of problems that the Gittins index can solve perfectly optimally is limited, and its definition is rather subtle compared to those of other multi-armed bandit algorithms. As a result, the …

BugGen: A Self-Correcting Multi-Agent LLM Pipeline for Realistic RTL Bug Synthesis
Surya Jasper, Minh Luu, Evan Pan, Aakash Tyagi, Michael Quinn, Jiang Hu, David Kebo Houngninou
https://arxiv.org/abs/2506.10501

BugGen: A Self-Correcting Multi-Agent LLM Pipeline for Realistic RTL Bug Synthesis
Hardware complexity continues to strain verification resources, motivating the adoption of machine learning (ML) methods to improve debug efficiency. However, ML-assisted debugging critically depends on diverse and scalable bug datasets, which existing manual or automated bug insertion methods fail to reliably produce. We introduce BugGen, a first of its kind, fully autonomous, multi-agent pipeline leveraging Large Language Models (LLMs) to systematically generate, insert, and validate realisti…

Quantum secret sharing in a triangular superconducting quantum network
Haoxiong Yan, Allen Zang, Joel Grebel, Xuntao Wu, Ming-Han Chou, Gustav Andersson, Christopher R. Conner, Yash J. Joshi, Shiheng Li, Jacob M. Miller, Rhys G. Povey, Hong Qiao, Eric Chitambar, Andrew N. Cleland
https://arxiv.org/abs/2506.10878

Quantum secret sharing in a triangular superconducting quantum network
We present a three-node quantum communication testbed with a triangular topology, each side of the triangle formed by a 1.3-meter-long transmission line. We demonstrate state transfer and entanglement generation between any two nodes, generate genuine multipartite entangled GHZ states, and implement quantum secret sharing (QSS) of classical information. Our experiments show that the QSS protocol can effectively detect eavesdropping, ensuring the secure sharing of secrets. This device forms a te…

Private Memorization Editing: Turning Memorization into a Defense to Strengthen Data Privacy in Large Language Models
Elena Sofia Ruzzetti, Giancarlo A. Xompero, Davide Venditti, Fabio Massimo Zanzotto
https://arxiv.org/abs/2506.10024

Private Memorization Editing: Turning Memorization into a Defense to Strengthen Data Privacy in Large Language Models
Large Language Models (LLMs) memorize, and thus, among huge amounts of uncontrolled data, may memorize Personally Identifiable Information (PII), which should not be stored and, consequently, not leaked. In this paper, we introduce Private Memorization Editing (PME), an approach for preventing private data leakage that turns an apparent limitation, that is, the LLMs' memorization ability, into a powerful privacy defense strategy. While attacks against LLMs have been performed exploiting previou…

RICE: Reactive Interaction Controller for Cluttered Canopy Environment
Nidhi Homey Parayil, Thierry Peynot, Chris Lehnert
https://arxiv.org/abs/2506.10383 …

RICE: Reactive Interaction Controller for Cluttered Canopy Environment
Robotic navigation in dense, cluttered environments such as agricultural canopies presents significant challenges due to physical and visual occlusion caused by leaves and branches. Traditional vision-based or model-dependent approaches often fail in these settings, where physical interaction without damaging foliage and branches is necessary to reach a target. We present a novel reactive controller that enables safe navigation for a robotic arm in a contact-rich, cluttered, deformable environm…

Counting Small Cycle Double Covers
Jorik Jooken, Ben Seamone, Carol T. Zamfirescu
https://arxiv.org/abs/2506.10604 https://arxiv.org/…

Counting Small Cycle Double Covers
A theorem due to Seyffarth states that every planar $4$-connected $n$-vertex graph has a cycle double cover (CDC) containing at most $n-1$ cycles (a "small" CDC). We extend this theorem by proving that, in fact, such a graph must contain linearly many small CDCs (in terms of $n$), and provide stronger results in the case of planar $4$-connected triangulations. We complement this result with constructions of planar $4$-connected graphs which contain at most polynomially many small CDCs. Thereaft…

Controllability and Stabilization of a Wave-Heat Cascade System
Hugo Lhachemi (L2S), Christophe Prieur (GIPSA-INFINITY), Emmanuel Tr\'elat (LJLL)
https://arxiv.org/abs/2506.10495

Controllability and Stabilization of a Wave-Heat Cascade System
Considering a wave-reaction-diffusion PDE cascade system with wave Neumann control, we first establish controllability properties in a suitable Hilbert space depending on the coupling cascade term. This is done by deriving an observability inequality for the dual problem by resorting to an Ingham-M{ü}ntz inequality. Second, we design an explicit output feedback control strategy for the actual stabilization of the PDE cascade. The key property is that the underlying operator is a Riesz-spectral…

Universal gates for a metastable qubit in strontium-88
Renhao Tao, Ohad Lib, Flavien Gyger, Hendrik Timme, Maximilian Ammenwerth, Immanuel Bloch, Johannes Zeiher
https://arxiv.org/abs/2506.10714

Universal gates for a metastable qubit in strontium-88
Metastable atomic qubits are a highly promising platform for the realization of quantum computers, owing to their scalability and the possibility of converting leakage errors to erasure errors mid-circuit. Here, we demonstrate and characterize a universal gate set for the metastable fine-structure qubit encoded between the $^3\text{P}_0$ and $^3\text{P}_2$ states in bosonic strontium-88. We find single-qubit gate fidelities of 0.993(1), and two-qubit gate fidelities of 0.9945(6) after correctin…

Video-Mediated Emotion Disclosure: A Study of Mental Health Vlogging by People with Schizophrenia on YouTube
Jiaying Lizzy Liu, Yan Zhang
https://arxiv.org/abs/2506.10932

Video-Mediated Emotion Disclosure: A Study of Mental Health Vlogging by People with Schizophrenia on YouTube
Individuals with schizophrenia frequently experience intense emotions and often turn to vlogging as a medium for emotional expression. While previous research has predominantly focused on text based disclosure, little is known about how individuals construct narratives around emotions and emotional experiences in video blogs. Our study addresses this gap by analyzing 200 YouTube videos created by individuals with schizophrenia. Drawing on media research and self presentation theories, we develo…

MLLM-Based UI2Code Automation Guided by UI Layout Information
Fan Wu, Cuiyun Gao, Shuqing Li, Xin-Cheng Wen, Qing Liao
https://arxiv.org/abs/2506.10376 htt…

MLLM-Based UI2Code Automation Guided by UI Layout Information
Converting user interfaces into code (UI2Code) is a crucial step in website development, which is time-consuming and labor-intensive. The automation of UI2Code is essential to streamline this task, beneficial for improving the development efficiency. There exist deep learning-based methods for the task; however, they heavily rely on a large amount of labeled training data and struggle with generalizing to real-world, unseen web page designs. The advent of Multimodal Large Language Models (MLLMs…

Multiverse Privacy Theory for Contextual Risks in Complex User-AI Interactions
Ece Gumusel
https://arxiv.org/abs/2506.10042 https://a…

Multiverse Privacy Theory for Contextual Risks in Complex User-AI Interactions
In an era of increasing interaction with artificial intelligence (AI), users face evolving privacy decisions shaped by complex, uncertain factors. This paper introduces Multiverse Privacy Theory, a novel framework in which each privacy decision spawns a parallel universe, representing a distinct potential outcome based on user choices over time. By simulating these universes, this theory provides a foundation for understanding privacy through the lens of contextual integrity, evolving preferenc…

EmbodiedGen: Towards a Generative 3D World Engine for Embodied Intelligence
Wang Xinjie, Liu Liu, Cao Yu, Wu Ruiqi, Qin Wenkang, Wang Dehui, Sui Wei, Su Zhizhong
https://arxiv.org/abs/2506.10600

EmbodiedGen: Towards a Generative 3D World Engine for Embodied Intelligence
Constructing a physically realistic and accurately scaled simulated 3D world is crucial for the training and evaluation of embodied intelligence tasks. The diversity, realism, low cost accessibility and affordability of 3D data assets are critical for achieving generalization and scalability in embodied AI. However, most current embodied intelligence tasks still rely heavily on traditional 3D computer graphics assets manually created and annotated, which suffer from high production costs and li…

Ordinarization numbers of numerical semigroups
Sogol Cyrusian, Nathan Kaplan
https://arxiv.org/abs/2506.10222 https://arxiv.org/pdf/2…

Ordinarization numbers of numerical semigroups
There has been significant recent interest in studying how the number of numerical semigroups of genus $g$ behaves as a function of $g$. Bras-Amorós has shown how to organize the collection of numerical semigroups of genus $g$ into a rooted tree called the ordinarization tree. The ordinarization number of a numerical semigroup $S$ is the length of the path from $S$ back to the root of the tree. We study the problem of counting numerical semigroups of genus $g$ with a fixed ordinarization numbe…

Reward Models Enable Scalable Code Verification by Trading Accuracy for Throughput
Gabriel Orlanski, Nicholas Roberts, Aws Albarghouthi, Frederic Sala
https://arxiv.org/abs/2506.10056

Reward Models Enable Scalable Code Verification by Trading Accuracy for Throughput
The standard paradigm for solving coding tasks via large language models (LLMs) is to generate-then-rank programs, where the latter step uses a verifier in the ranking process. The growing consensus is that a comprehensive verifier (e.g., a full test suite) should be prioritized over an outcome reward model (ORM) whenever possible, with little consideration given to the trade-offs involved. We aim to challenge this assumption by systematically exploring the tradeoff between speed and accuracy. …

Unitary Scrambling and Collapse: A Quantum Diffusion Framework for Generative Modeling
Yihua Li, Jiayi Chen, Tamanna S. Kumavat, Kyriakos Flouris
https://arxiv.org/abs/2506.10571 …

Unitary Scrambling and Collapse: A Quantum Diffusion Framework for Generative Modeling
Quantum computing, with its promise of exponential speedups, is rapidly emerging as a powerful paradigm for advancing artificial intelligence. We propose QSC-Diffusion, the first fully quantum diffusion-based framework for image generation. Our method integrates classical Gaussian noise with quantum scrambling in the forward process, and employs parameterized quantum circuits with measurement-induced collapse for reverse denoising -- enabling end-to-end sampling without reliance on classical ne…

A Novel Feedforward Youla Parameterization Method for Avoiding Local Minima in Stereo Image Based Visual Servoing Control
Rongfei Li, Francis Assadian
https://arxiv.org/abs/2506.10252

A Novel Feedforward Youla Parameterization Method for Avoiding Local Minima in Stereo Image Based Visual Servoing Control
In robot navigation and manipulation, accurately determining the camera's pose relative to the environment is crucial for effective task execution. In this paper, we systematically prove that this problem corresponds to the Perspective-3-Point (P3P) formulation, where exactly three known 3D points and their corresponding 2D image projections are used to estimate the pose of a stereo camera. In image-based visual servoing (IBVS) control, the system becomes overdetermined, as the 6 degrees of fre…

AURA: A Multi-Agent Intelligence Framework for Knowledge-Enhanced Cyber Threat Attribution
Nanda Rani, Sandeep Kumar Shukla
https://arxiv.org/abs/2506.10175

AURA: A Multi-Agent Intelligence Framework for Knowledge-Enhanced Cyber Threat Attribution
Effective attribution of Advanced Persistent Threats (APTs) increasingly hinges on the ability to correlate behavioral patterns and reason over complex, varied threat intelligence artifacts. We present AURA (Attribution Using Retrieval-Augmented Agents), a multi-agent, knowledge-enhanced framework for automated and interpretable APT attribution. AURA ingests diverse threat data including Tactics, Techniques, and Procedures (TTPs), Indicators of Compromise (IoCs), malware details, adversarial to…

Saturable nonlinearity induced quantum correlations in optomechanics
D. R. Kenigoule Massembele, E. Kongkui Berinyuy, P. Djorwe, A. -H. Abdel-Aty, M. R. Eid, R. Altuijri, S. G. Nana Engo
https://arxiv.org/abs/2506.10709

Saturable nonlinearity induced quantum correlations in optomechanics
We propose a scheme that induces quantum correlations in optomtomechanical systems. Our benchmark system consists of two optically coupled optical cavities which interact with a common mechanical resonator. The optical cavities host saturable nonlinearity which triggers either gain or losses in each cavity. Without these nonlinearities, there are no quantum correlations, i.e., entanglement and steering, generated in the system. By turning on the nonlinearities, gain and losses are switched on, …

Safeguarding Multimodal Knowledge Copyright in the RAG-as-a-Service Environment
Tianyu Chen, Jian Lou, Wenjie Wang
https://arxiv.org/abs/2506.10030 https:/…

Safeguarding Multimodal Knowledge Copyright in the RAG-as-a-Service Environment
As Retrieval-Augmented Generation (RAG) evolves into service-oriented platforms (Rag-as-a-Service) with shared knowledge bases, protecting the copyright of contributed data becomes essential. Existing watermarking methods in RAG focus solely on textual knowledge, leaving image knowledge unprotected. In this work, we propose AQUA, the first watermark framework for image knowledge protection in Multimodal RAG systems. AQUA embeds semantic signals into synthetic images using two complementary meth…

In-Hand Object Pose Estimation via Visual-Tactile Fusion
Felix Nonnengie{\ss}er, Alap Kshirsagar, Boris Belousov, Jan Peters
https://arxiv.org/abs/2506.10787

In-Hand Object Pose Estimation via Visual-Tactile Fusion
Accurate in-hand pose estimation is crucial for robotic object manipulation, but visual occlusion remains a major challenge for vision-based approaches. This paper presents an approach to robotic in-hand object pose estimation, combining visual and tactile information to accurately determine the position and orientation of objects grasped by a robotic hand. We address the challenge of visual occlusion by fusing visual information from a wrist-mounted RGB-D camera with tactile information from v…

Constructing Quantum Many-Body Scars from Hilbert Space Fragmentation
Fan Yang, Matteo Magoni, Hannes Pichler
https://arxiv.org/abs/2506.10806 https://

Constructing Quantum Many-Body Scars from Hilbert Space Fragmentation
Quantum many-body scars (QMBS) are exotic many-body states that exhibit anomalous non-thermal behavior in an otherwise ergodic system. In this work, we demonstrate a simple, scalable and intuitive construction of QMBS in a kinetically constrained quantum model exhibiting weak Hilbert space fragmentation. We show that towers of exact QMBS can be constructed by injecting a quasiparticle excitation that partially activates the frozen regions in the lattice. Meanwhile, the inelastic collision betwe…

A Comprehensive Survey of Unmanned Aerial Systems' Risks and Mitigation Strategies
Sharad Shrestha, Mohammed Ababneh, Satyajayant Misra, Henry M. Cathey, Jr., Roopa Vishwanathan, Matt Jansen, Jinhong Choi, Rakesh Bobba, Yeongjin Jang
https://arxiv.org/abs/2506.10327

A Comprehensive Survey of Unmanned Aerial Systems' Risks and Mitigation Strategies
In the last decade, the rapid growth of Unmanned Aircraft Systems (UAS) and Unmanned Aircraft Vehicles (UAV) in communication, defense, and transportation has increased. The application of UAS will continue to increase rapidly. This has led researchers to examine security vulnerabilities in various facets of UAS infrastructure and UAVs, which form a part of the UAS system to reinforce these critical systems. This survey summarizes the cybersecurity vulnerabilities in several phases of UAV deplo…

Using Language and Road Manuals to Inform Map Reconstruction for Autonomous Driving
Akshar Tumu, Henrik I. Christensen, Marcell Vazquez-Chanlatte, Chikao Tsuchiya, Dhaval Bhanderi
https://arxiv.org/abs/2506.10317

Using Language and Road Manuals to Inform Map Reconstruction for Autonomous Driving
Lane-topology prediction is a critical component of safe and reliable autonomous navigation. An accurate understanding of the road environment aids this task. We observe that this information often follows conventions encoded in natural language, through design codes that reflect the road structure and road names that capture the road functionality. We augment this information in a lightweight manner to SMERF, a map-prior-based online lane-topology prediction model, by combining structured road…

Quantifying Azure RBAC Wildcard Overreach
Christophe Parisel
https://arxiv.org/abs/2506.10755 https://arxiv.org/pdf/2506.10755…

Quantifying Azure RBAC Wildcard Overreach
Azure RBAC leverages wildcard permissions to simplify policy authoring, but this abstraction often obscures the actual set of allowed operations and undermines least-privilege guarantees. We introduce Belshazaar, a two-stage framework that targets both the effective permission set problem and the evaluation of wildcards permissions spread. First, we formalize Azure action syntax via a context free grammar and implement a compiler that expands any wildcard into its explicit action set. Second, w…

From Threat to Tool: Leveraging Refusal-Aware Injection Attacks for Safety Alignment
Kyubyung Chae, Hyunbin Jin, Taesup Kim
https://arxiv.org/abs/2506.10020

From Threat to Tool: Leveraging Refusal-Aware Injection Attacks for Safety Alignment
Safely aligning large language models (LLMs) often demands extensive human-labeled preference data, a process that's both costly and time-consuming. While synthetic data offers a promising alternative, current methods frequently rely on complex iterative prompting or auxiliary models. To address this, we introduce Refusal-Aware Adaptive Injection (RAAI), a straightforward, training-free, and model-agnostic framework that repurposes LLM attack techniques. RAAI works by detecting internal refusal…

Monitoring Decomposition Attacks in LLMs with Lightweight Sequential Monitors
Chen Yueh-Han, Nitish Joshi, Yulin Chen, Maksym Andriushchenko, Rico Angell, He He
https://arxiv.org/abs/2506.10949

Monitoring Decomposition Attacks in LLMs with Lightweight Sequential Monitors
Current LLM safety defenses fail under decomposition attacks, where a malicious goal is decomposed into benign subtasks that circumvent refusals. The challenge lies in the existing shallow safety alignment techniques: they only detect harm in the immediate prompt and do not reason about long-range intent, leaving them blind to malicious intent that emerges over a sequence of seemingly benign instructions. We therefore propose adding an external monitor that observes the conversation at a higher…

ELFuzz: Efficient Input Generation via LLM-driven Synthesis Over Fuzzer Space
Chuyang Chen, Brendan Dolan-Gavitt, Zhiqiang Lin
https://arxiv.org/abs/2506.10323

ELFuzz: Efficient Input Generation via LLM-driven Synthesis Over Fuzzer Space
Generation-based fuzzing produces appropriate testing cases according to specifications of input grammars and semantic constraints to test systems and software. However, these specifications require significant manual efforts to construct. This paper proposes a new approach, ELFuzz (Evolution Through Large Language Models for Fuzzing), that automatically synthesizes generation-based fuzzers tailored to a system under test (SUT) via LLM-driven synthesis over fuzzer space. At a high level, it sta…