SEARCH · arXiv Science
Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Popa and Schnell show that any holomorphic 1-form on a smooth projective variety of general type has zeros. In this article, we show that a smooth good minimal model has a holomorphic 1-form without zero if and only if it admits an analytic fiber bundle structure over a positive dimensional abelian variety.
We calculate the automorphism group of the Kummer surface associated with a curve of genus 2 or the product of two elliptic curves in characteristic two under the assumption that the Kummer surface is a $K3$ surface. Moreover we discuss the complex $K3$ surfaces with the same Picard lattice as these Kummer surfaces. The paper has two appendices.
The ability to observe the world is fundamental to reasoning and making informed decisions on how to interact with the environment. However, optical perception can often be disrupted due to common occurrences like occlusions, which can pose challenges to existing vision systems. We present MITO, the first millimeter-wave (mmWave) dataset of diverse, everyday objects, collected using a UR5 robotic arm with two mmWave radars operating at different frequencies and an RGB-D camera. Unlike visible light, mmWave signals can penetrate common occlusions (e.g., cardboard boxes, fabric, plastic). MITO captures over 24 million mmWave frames and uses them to generate 550 high-resolution mmWave images in line-of-sight and non-light-of-sight (NLOS), as well as RGB-D images, segmentation masks, and raw mmWave signals, taken from 76 different objects. We develop an open-source simulation tool that can be used to generate synthetic mmWave images for any 3D triangle mesh. Finally, we establish benchmarks for NLOS segmentation and classification to demonstrate the utility of our dataset and simulator for enabling broader NLOS perception.
The stochastic Airy and sine operators, which are respectively a random Sturm-Liouville operator and a random Dirac operator, characterize the soft edge and bulk scaling limits of $β$-ensembles. Dirac and Sturm-Liouville operators are distinct operator classes which can both be represented as canonical systems, which gives a unified framework for defining important properties, such as their spectral data. Seeing both as canonical systems, we prove that in a suitable high-energy scaling limit, the Airy operator converges to the sine operator. We prove this convergence in the vague topology of canonical systems' coefficient matrices, and deduce the convergence of the associated Weyl-Titchmarsh functions and spectral measures. Our proof relies on a coupling between the Brownian paths that drive the two operators, under which the convergence holds in probability. This extends the corresponding result at the level of the eigenvalue point processes, proven by Valkó and Virág (2009) by comparison to the Gaussian $β$-ensemble.
This paper proposes a novel solution concept, called the w-value, for cooperative pollution-control games. The w-value is axiomatically founded on three principles: Pareto Optimality (PO), Market Equilibrium (ME), and Fiscal Balance (FB), which together yield an efficient and implementable welfare distribution. We establish its existence and uniqueness under standard concavity and convexity assumptions, and provide a market mechanism that implements it through price constraints and an initial permit allocation. A key theoretical advantage is its strong stability: the w-value belongs to the gamma-core, which makes it resistant to coalitional deviations. Moreover, the w-value can be obtained through a simple step-by-step procedure, which facilitates its application to complex real-world problems. A numerical illustration demonstrates the step-by-step calculation process and confirms the gamma-core membership numerically. Finally, we apply the concept to international climate negotiations, showing how it provides a theoretical rationale for the shift from rigid mandatory emission reduction systems toward the flexible structure of Nationally Determined Contributions.
In econophysics, there are two enigmatic empirical laws of financial market microstructure: (i) the market-order flow has predictable persistence due to metaorder splitting by institutional investors, as formulated by the Lillo--Mike--Farmer model. However, this phenomenon seems paradoxical given the diffusive and unpredictable price dynamics. (ii) The price impact $I(Q_{\rm tot})$ of a large metaorder $Q_{\rm tot}$ follows the square-root law, $I(Q_{\rm tot})\propto \sqrt{Q_{\rm tot}}$. In this Letter, we reveal why price dynamics follows Brownian motion despite predictable order flow by unifying these enigmas via an exactly solvable model. We generalize the Lillo--Mike--Farmer model to nonlinear price-impact dynamics, which is mapped to a solvable Lévy-walk model. Our exact solution shows that the price dynamics remains diffusive under the square-root law, even under persistent order flow, reflecting the finite variance of metaorder impact; our model is thus a minimal representative of the universality class of nonlinear price-impact models with finite-variance metaorder impact. This work illustrates the crucial role of the square-root law in mitigating price movements by large metaorders, leading to Brownian price dynamics, consistent with the efficient market hypothesis over long timescales.
Unsupervised image anomaly detection (UAD) has become a critical process in industrial and medical applications, where models are trained on normal samples without requiring labeled anomalies. However, even normal images may contain sensitive product designs, manufacturing information, or institution-specific population characteristics, making centralized data collection difficult in practical deployments. Federated UAD provides a promising decentralized solution, but it remains challenging because clients use only normal training samples, their feature distributions remain highly heterogeneous within the same task, and communication should be efficient while limiting the exposure of sensitive client information. To address these challenges, we propose FedDyMem, an efficient federated learning method with dynamic memory and memory-reduce for unsupervised image anomaly detection. Instead of exchanging full model parameters, FedDyMem facilitates knowledge sharing between the clients and server through reduced dynamic memory banks. In the local clients, a memory generator and a metric loss are employed to improve the consistency of the feature distribution for normal samples, leveraging the local model to update the memory bank dynamically. For efficient communication and data privacy, a memory-reduce method based on weighted averages is proposed to significantly decrease the scale of memory banks. This representation reduces communication overhead and empirically lowers reconstruction fidelity under inversion attacks. On the server, global memory is constructed and distributed to individual clients through k-means aggregation. Experiments on six federated UAD tasks constructed from eleven public industrial and medical datasets show that FedDyMem consistently improves anomaly detection and localization while reducing communication cost.
Network Models with couplings between link pairs are the simplest models for a class of networks with Higher Order interactions. In this paper we give an analytic, general solution to this family of Random Graph Models extending previous results obtained for specific interaction structures. We use the Hubbard-Stratonovich transform to show that such higher order models can be decoupled into families of effectively separable random graph models, which might be enhanced with auxiliary, possibly multi-valued, parameters identifying the thermodynamical phase of the system. Moreover, given the diagonalizability of couplings between links, we carry out the full computation of the partition functions and discuss why in some cases they can effectively reduce to the one for the Mean-Field case.
The averaging principle for slow-fast systems of various kind of stochastic (partial) differential equations has been extensively studied. An analogous result was shown for slow-fast systems of rough differential equations driven by random rough paths a few years ago and the study of ``rough slow-fast systems" seems to be gaining momentum now. In all known results, however, the driving rough paths are of level 2. In this paper we formulate rough slow-fast systems driven by random rough paths of level 3 and prove the strong averaging principle of Khas'minskii-type.
In this paper, we study the following nonlinear Schrödinger system of Hamiltonian type \begin{equation*} \left\{\begin{array}{l} -Δu+V(x)u=\partial_v H(x,u,v)+ωv,\ x \in \mathbb{R}^N, \\ -Δv+V(x)v=\partial_u H(x,u,v)+ωu,\ x \in \mathbb{R}^N, \\ \displaystyle\int_{\R^N}|z|^2dx=a^2, \end{array}\right. \end{equation*} where the potential function $V(x)$ is periodic, $z:=(u,v):\R^N\rightarrow \R\times\R$, $ω\in \R$ appears as a Lagrange multiplier, $a>0$ is a prescribed constant. The existence and multiplicity of $L^2$-normalized solutions for the above Schrödinger system are obtained. The proof combines a constrained variational reduction, compactness estimates, and a Ljusternik--Schnirelmann type multiplicity theorem. In addition, a bifurcation result is also given.
Knowledge distillation is widely used to transfer behavior from a large teacher model to a smaller student. It is often assumed to be safe when the teacher is clean, because classic backdoor attacks rely on poisoned labels and triggers in supervised training, whereas distillation trains the student to match a teacher's outputs. We show that this assumption can fail when the distillation dataset itself is poisoned. Our attack injects triggered and manipulated images that a clean teacher already predicts as an attacker chosen target label, which causes the student to learn a backdoor even though the teacher remains unaffected. We evaluate this threat across multiple manipulation strategies, including targeted adversarial perturbations and targeted GAN based class transitions, and study how distillation settings influence both accuracy and attack success. We show that the attack remains effective even at a 10% poisoning rates. The results demonstrate that a clean teacher alone is not a sufficient safeguard: poisoned distillation data can produce a strongly backdoored student while maintaining competitive performance on clean images. These findings show that the integrity and provenance of distillation data are part of the security boundary of data intensive KD pipelines, even when the teacher itself is trusted.
Interactive imitation learning makes an agent's control policy robust by stepwise supervisions from an expert. The recent algorithms mostly employ expert-agent switching systems to reduce the expert's burden by limitedly selecting the supervision timing. However, this approach is useful only for static tasks; in dynamic tasks, timing discrepancies cause abrupt changes in actions, losing the robot's dynamic stability. This paper therefore proposes a novel method, named CubeDAgger, which improves robustness with less dynamic stability violations even for dynamic tasks. The proposed method is designed on a baseline, EnsembleDAgger, with three improvements. The first adds a regularization to explicitly activate the threshold for deciding the supervision timing. The second transforms the expert-agent switching system to an optimal consensus system of multiple action candidates. Third, autoregressive colored noise is injected to the agent's actions for time-consistent exploration. These improvements are verified by simulations, showing that the trained policies are sufficiently robust while maintaining dynamic stability during interaction. Finally, real-robot scooping experiments with a human expert demonstrate that the proposed method can learn robust policies from scratch based on just 30 minutes of interaction. https://youtu.be/kBl3SCTnVEM
In this paper, we generalize Zhou valuations, originally defined on complex domains, to the framework of general schemes. We demonstrate that an algebraic version of the Jonsson--Mustaţă conjecture is equivalent to the statement that every Zhou valuation is quasi-monomial. By introducing a mixed version of jumping numbers and Tian functions associated with valuations, we obtain characterizations of a valuation being a Zhou valuation or computing some jumping number using the Tian functions. Furthermore, we establish the correspondence between Zhou valuations in algebraic settings and their counterparts in analytic settings.
Understanding the reasoning behind deep learning model predictions is crucial in cheminformatics and drug discovery, where molecular design determines their properties. However, current evaluation frameworks for Explainable AI (XAI) in this domain often rely on artificial datasets or simplified tasks, employing data-derived metrics that fail to capture the complexity of real-world scenarios and lack a direct link to explanation faithfulness. To address this, we introduce B-XAIC, a novel benchmark constructed from real-world molecular data and diverse tasks with known ground-truth rationales for assigned labels. Through a comprehensive evaluation using B-XAIC, we reveal limitations of existing XAI methods for Graph Neural Networks (GNNs) in the molecular domain. This benchmark provides a valuable resource for gaining deeper insights into the faithfulness of XAI, facilitating the development of more reliable and interpretable models.
X-ray absorption spectroscopy (XAS) is a leading technique for understanding structural changes in advanced battery materials such as lithium-excess cathodes. However, extracting critical information like oxidation states from the experimental spectra requires expensive and time-consuming simulations. Building upon a recent proposal to simulate XAS using quantum computers, this work proposes a highly-optimized implementation of the time-domain algorithm for X-ray absorption. Among a host of improvements to Hamiltonian representation, circuit implementation, and measurement strategies, three optimizations are key to the efficiency of the algorithm. The first is the use of product formulas with the compressed double factorized form of the Hamiltonian. The second is recognizing that for spectroscopy applications, it is sufficient to control the error in the eigenvalues of the (approximate) Hamiltonian being implemented by the product formula, rather than the generic error on the full time evolution operator. Using perturbation theory to estimate this eigenvalue error, we find that significantly fewer Trotter steps are needed than expected from the time evolution error bound. The third is the choice of an optimized distribution of samples that takes advantage of the exponentially decaying Lorentzian kernel. Through constant factor resource estimates, we show that a challenging model Li$_4$Mn$_2$O cluster system with 18 spatial orbitals and 22 electrons in the active space can be simulated with 100 logical qubits and less than $4 \times 10^8$ Toffoli gates per circuit. Finally, the algorithm is implemented on a simulator, and the reconstructed spectrum is verified against a classical computational reference. The low cost of our algorithm makes it attractive to use on fault-tolerant quantum devices to accelerate the development and commercialization of high-capacity battery cathodes.
Operator scrambling describes how initially local operators spread under many-body dynamics and is closely connected to quantum chaos. In this work, we reveal a connection between operator scrambling and the reliability of quantum simulations. We show that the Trotter error in an observable expectation value is bounded by a scrambling correlator between the evolved observable and the multiplicative Trotter error operator. This bound retains the dependence on both the input state and the observable. We then derive entanglement-based bounds showing that sufficient entanglement brings both the observable and error-operator factors in the bound to their normalized Frobenius scales. This indicates that, for observables that are normalized sums of local Pauli terms, the leading system-size dependence of the upper bound may be reduced from O(N) to O(1) relative to the spectral-norm estimate in systems undergoing entanglement growth and quantum thermalization. Even when the evolving state is weakly entangled, the effective states generated by the observable or error operator can have larger subsystem entanglement, thereby improving the error bound. Our results clarify the fundamental connection between Trotterization, scrambling, and entanglement, and provide refined guarantees for quantum simulation of many-body dynamics.
Building on ideas of Kohno, we develop a framework for the construction of higher holonomy functors via the transport of formal power series connections. Using these techniques, we obtain functors from the path groupoid, the path 2-groupoid, and the path 3-groupoid of a manifold. We show that the resulting higher holonomy functors can detect non-trivial classes in higher homotopy groups. As an application, we construct a Gray functor from the path 3-groupoid of the configuration space of $m$ points in $\mathbb{R}^n$ for $n\geqslant 4$ and compute its restriction to 3-tracks with constant boundary when $n=4$.
Transformers, with their self-attention mechanisms for modeling long-range dependencies, have become a dominant paradigm in image restoration tasks. However, the high computational cost of self-attention limits scalability to high-resolution images, making efficiency-quality trade-offs a key research focus. To address this, Restormer employs channel-wise self-attention, which computes attention across channels instead of spatial dimensions. While effective, this approach may overlook localized artifacts that are crucial for high-quality image restoration. To bridge this gap, we explore Dilated Neighborhood Attention (DiNA) as a promising alternative, inspired by its success in high-level vision tasks. DiNA balances global context and local precision by integrating sliding-window attention with mixed dilation factors, effectively expanding the receptive field without excessive overhead. However, our preliminary experiments indicate that directly applying this global-local design to the classic deblurring task hinders accurate visual restoration, primarily due to the constrained global context understanding within local attention. To address this, we introduce a channel-aware module that complements local attention, effectively integrating global context without sacrificing pixel-level precision. The proposed DiNAT-IR, a Transformer-based architecture specifically designed for image restoration, achieves competitive results across multiple benchmarks, offering a high-quality solution for diverse low-level computer vision problems.