arXiv subjects
Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.
We give explicit cubic equations for the wild character varieties corresponding to the rank 3 representations of Painlevé equations, and compare them to the ones of their classical rank 2 representations.
We construct examples of Noetherian three-dimensional local geometrically normal domains of prime characteristic which are $F$-injective but not $F$-full. Along the way, we find examples of two-dimensional local geometrically normal domains which are $F$-injective but not $F$-anti-nilpotent. A crucial theme of our constructions is the behavior of $F$-injectivity along a purely inseparable finite base change.
We investigate how a two-dimensional spatial embedding changes the entanglement observed across geometrically local bipartitions of a one-dimensional quantum spin chain. A $q$-deformed colored Motzkin chain is placed along a spiral-inspired Hamiltonian path that visits $N(L)=Θ(L^2)$ sites of a square-lattice region while retaining a path interaction graph. Straight ambient-space cuts then correspond to unions of $Θ(L)$ disconnected intervals in the chain ordering. We derive the scaling of a height-variation proxy for the leading color-pairing contribution and predict ambient-space entropy scaling proportional to $L^2$, $L$, and $O(1)$ for $q>1$, $q=1$, and $q<1$, respectively. We evaluate this proxy numerically using the matrix-product-state representation and verify its predicted finite-size scaling. The embedded and original Hamiltonians have exactly identical spectra and spectral gaps at fixed chain length. We also describe a sparse tensor-network representation and propose a two-chain junction extension. These results isolate the roles of interaction connectivity, spatial embedding, and subsystem geometry in entanglement scaling.
AI-generated images (AIGIs) have reached a level of quality at which humans are unable to reliably distinguish them from real images. To counter the inherent risks of fraud and disinformation, their detection is a pressing challenge and an active research topic. While many of the presented methods claim high detection accuracy, they are often evaluated without considering their adversarial robustness. In real-world scenarios, malicious actors can modify AIGIs, e.g., through imperceptible perturbations, to evade detection systems. In this work, we provide a dataset to assess the robustness of AI-generated image detectors. We present RAID (Robust evaluation of AI-generated image Detectors), a benchmark dataset of 216k diverse and transferable adversarial images. The proposed dataset is created starting from images generated by four different text-to-image models (to promote diversity) and optimizing attacks against an ensemble of seven state-of-the-art detectors (to promote transferability). Extensive experiments show that our methodology generates adversarial images that transfer to unseen detectors, degrading the performance of every detector outside the attack ensemble that we evaluate, and provides a practical, worst-case robustness screen: failure on RAID is a strong indicator that a detector is not adversarially robust. We release our dataset at https://huggingface.co/datasets/aimagelab/RAID and evaluation code at https://github.com/pralab/RAID.
In this paper, our main goal is to study the evolution problem associated with the Laplacian operator with Dirichlet boundary conditions on a regular tree. To this end, we place special emphasis on the associated first eigenvalue problem, which provides the fundamental tool for describing the long-time dynamics. First, we prove existence and uniqueness of solutions when the initial condition is compatible with the boundary condition. Next, we address the asymptotic behavior of the solutions and show that they decay to zero exponentially fast. This decay rate is determined by the associated first eigenvalue, which we also analyze in detail.
Let $q\equiv3\pmod4$ be a fixed odd prime power. We study the first moment of central values of primitive quartic Dirichlet $L$-functions over $\F_q[T]$, with fixed genus $g$ and with $χ^2$ primitive. We obtain a main term $C_q q^{2g/3}$ and a secondary term $(α_r g+β_r)q^{g/2}$, with error $O_{q,\eps}(q^{(16/33+\eps)g})$, where $r\equiv g/3+1\pmod4$. The constants are explicit, with $C_q>0$ and $α_r<0$ for every $r$. We use a double Dirichlet series and the functional equation of the quartic Gauss sum generating series to compute the residues and obtain the continuation needed to separate both terms.
Downscaling is essential for generating the high-resolution climate data needed for local planning, but traditional methods remain computationally demanding. Recent years have seen impressive results from AI downscaling models, particularly diffusion models, which have attracted attention due to their ability to generate ensembles and overcome the smoothing problem common in other AI methods. However, these models typically remain computationally intensive. We introduce a Hierarchical Diffusion Downscaling (HDD) model, which introduces an easily-extensible hierarchical sampling process to the diffusion framework. A coarse-to-fine hierarchy is imposed via a simple downsampling scheme. HDD achieves competitive accuracy on ERA5 reanalysis datasets and CMIP6 models, significantly reducing computational load by running on up to half as many pixels with competitive results. Additionally, a single model trained at 0.25° resolution transfers seamlessly across multiple CMIP6 models with much coarser resolution. HDD thus offers a lightweight alternative for probabilistic climate downscaling, facilitating affordable large-ensemble high-resolution climate projections. See a full code implementation at: https://github.com/HDD-Hierarchical-Diffusion-Downscaling/HDD-Hierarchical-Diffusion-Downscaling.
We introduce the notion of rational structure on a quiver and associated representations to establish a coherent framework for studying quiver representations in separable field extensions. This notion is linked to a refinement of the notion of $K$-species, which we term étale $K$-species. We establish a categorical anti-equivalence between $K$-rational quivers and étale $K$-species, which extends to an equivalence of their respective representation categories. For $K$-rational quivers there is a canonical notion of base change, which suggests a corresponding notion of base change for (étale) $K$-species which we elaborate. As a primary application, we generalize Gelfand's celebrated equivalence between certain blocks of Harish-Chandra modules for $\mathrm{SL}_2(\mathbb{R})$ and representations of the Gelfand quiver to a rational setting. To this end, we define a $\mathbb{Q}$-rational structure on the Gelfand quiver and its representations. A key technical tool, which we call unipotent stabilization, is developed to construct the functor from rational Harish-Chandra modules to nilpotent rational quiver representations. We prove that this functor is an equivalence. A similar result is established for the cyclic quiver. Both results hold over every field $E$ of characteristic $0$, for suitable $E$-rational structures on the two quivers; for $E=\mathbb{C}$ they recover Gelfand's equivalence. In this rational framework the defining relation of the Gelfand quiver acquires a descent-theoretic meaning: its Galois orbit is stable, it descends to a single relation on the associated $\mathbb{Q}$-species, and a $\mathbb{Q}$-rational representation satisfies it if and only if the composite of the two arrows through the vertex $-$ is a $\mathbb{Q}$-rational endomorphism of the space at the central vertex. This allows us to recast our results in the language of $\mathbb{Q}$-species.
More than twenty-five years ago, early ideas emerged on how to design systems that provide recommendations to groups of users rather than individuals. Since then, a wide range of algorithmic approaches has been proposed to elicit individual preferences, aggregate them, and generate group recommendations. However, despite this substantial body of work, relatively few examples of real-world group recommender systems are in use. This observation invites reflection on the assumptions of the academic research, particularly regarding how inter-group communication unfolds and how recommendation-supported decisions should be made. In this essay, we suggest that some of these assumptions and corresponding system designs may not fully align with users' needs or expectations. We therefore outline a forward-looking perspective that explores how insights from group-decision making research and recent advances in Generative AI, including systems such as ChatGPT, could better inform the design of group recommender systems. As one possible direction, we consider settings in which human group members interact and exchange information through a chat based interface, while an AI-based agent supports the decision-making process. Such an approach may contribute to design more natural group and system interactions, and could help facilitate a broader adoption of group recommender systems in practice.
Big bang/big crunch closed universes can be realized in AdS/CFT, even though they lack asymptotically AdS boundaries. With enough bulk entanglement, the bulk Hilbert space of a closed universe can be holographically encoded in the CFT. We clarify the relation of this encoding to observer-clone proposals and refute recent arguments about the breakdown of semiclassical physics in such spaces. In the limit of no bulk entanglement, the holographic encoding breaks down. The oft-cited one-dimensional nature of the closed universe Hilbert space represents the limitation of the external (CFT) Hilbert space to access the quantum information in the closed universe, similar to the limitations imposed on observers outside a perfectly isolated quantum lab. We advocate that the CFT nevertheless continues to determine the physical properties of the closed universe in this regime, showing how to interpret this relationship in terms of a final state projection in the closed universe. We provide a dictionary between the final state wavefunction and CFT data. We propose a model of the emergence of an arrow of time in the universe with a given initial or final state projection. Finally, we show that the conventional EFT in the closed universe, without any projection, can be recovered as a maximally ignorant description of the final state. This conventional EFT is encoded in CFT data, and it can be probed by computing coarse-grained observables. We provide an example of one such observable. Taken together, these results amount to a clean bill of health for baby universes born of AdS/CFT.
Bouncing cosmology offers a singularity-free alternative to inflation. However, its minimal realization, known as minimal bouncing cosmology (MBC), comprises only four cosmic phases and produces a stochastic gravitational-wave background (SGWB) with a single power-law spectrum. Interpreting the pulsar timing array (PTA) signal within this framework faces tension with the $ΔN_{\rm eff}$ bound and has required trans-Planckian bounce energies, restricting its observational viability. In this work, we propose next-to-minimal bouncing cosmology (NMBC) by adding an earlier phase of cosmic evolution to MBC. Using our previously developed primordial gravitational-wave propagation-matrix method, with an improved matching prescription, we derive explicit analytic expressions for the resulting SGWB spectrum. The spectrum takes a broken power-law form: the low- and high-frequency tilts are determined by the equations of state of the additional and original contraction phases, respectively, while the spectral amplitudes depend jointly on these equations of state and the characteristic transition-time scales. This additional freedom allows a PTA-band signal to coexist with a scale-invariant or red-tilted high-frequency branch, providing a way to satisfy the $ΔN_{\rm eff}$ bound. For the scale-invariant high-frequency branch, a pointwise benchmark using the adopted $ΔN_{\rm eff}$ radiation budget gives $ρ_{s\downarrow}^{1/4}\lesssim2.65\,m_{\rm pl}$, where $m_{\rm pl}$ is the reduced Planck mass. This provides a conservative comparison estimate for the setup considered here, since integrating the spectrum over the adopted illustrative frequency interval gives a tighter bound. The resulting upper limit is therefore of order the reduced Planck scale. please refer to the PDF for the full abstract.
We study the stationary double-divergence equation on the infinite cylinder $\mathbb R\times\mathbb T^{d-1}$, whose coefficients coincide with two possibly different periodic media outside a bounded interface layer. Under the centering conditions for the two periodic media, we construct a positive invariant density that converges exponentially in $C^1$ at each end to a positive multiple of the corresponding periodic invariant density. Every bounded distributional solution is a scalar multiple of this density. The two asymptotic amplitudes are determined by the full interface problem, up to a common normalization. Motivated by the invariant-measure analysis of Hairer and Manson [Ann. Probab. 39(2011) 648-682], our proof uses only PDE methods: a transformation based on the periodic invariant densities, adjoint Neumann problems on finite cylinders, and energy estimates.
We prove several results on the model theory of Artin groups, focusing on Artin groups which are "far from right-angled Artin groups". The first result is that if $C$ is a class of Artin groups whose irreducible components are acylindrically hyperbolic and torsion-free, then the model theory of Artin groups of type $C$ reduces to the model theory of their irreducible components. The second result is that the problem of superstability of a given non-abelian Artin group $A$ reduces to certain dihedral parabolic subgroups of $A$ being $n$-pure in $A$, for certain large enough primes $n \in \mathbb{N}$. The third result is that two spherical Artin groups are elementarily equivalent if and only if they are isomorphic. Finally, we prove that the affine Artin groups of type $\tilde{A}_n$, for $n \geq 4$, can be distinguished from the other simply laced affine Artin groups using existential sentences; this uses known computations of second integral homology together with a direct calculation for simply laced Artin groups under the $K(π,1)$ assumption. These computations provide obstructions to the retractions forced by existential equivalence.
Supernova cooling provides a powerful probe of physics beyond the Standard Model (SM), in particular for new, light states interacting feebly with SM particles. In this \textit{Letter}, we investigate for the first time the production of fermionic dark matter (DM) via the neutrino-devouring process inside a core-collapse supernova, which contributes to the excessive cooling of the supernova. By incorporating state-of-the-art supernova simulation data and the full time evolution information, we derive stringent and robust limits on DM interactions, which can improve upon direct detection limits by several orders of magnitude. We exclude the cross sections down to $10^{-51}-10^{-58}$~cm$^2$ in the keV-MeV mass range for DM-electron scattering, and $10^{-49}-10^{-56}$~cm$^2$ in the 0.1-100~MeV mass range for DM-nucleon scattering, supplemented by complementary constraints from cosmology, astrophysics, colliders and direct detection experiments in the larger cross section regime. We also close almost the entire window in which fermionic DM constitutes $\mathcal{O}(1)$ fraction of DM due to its coupling to electrons in the keV-MeV mass range.
In this paper, we introduce hierarchical matrices with Tucker blocks (HMTB) for data-sparse approximation of matrices arising from nonoscillatory and mildly oscillatory kernels. Building on the hierarchical matrix framework, HMTB matrices replace conventional low-rank blocks with Tucker representations. Using high-dimensional interpolation and tensor compression and contractions, we develop algorithms for constructing HMTB matrices and performing matrix-vector multiplication. For an $N \times N$ matrix, these algorithms have linear and quasi-linear complexities in $N$, respectively. Numerical comparisons with an interpolation-based $\mathcal{H}$-matrix implementation demonstrate storage savings and, in several cases, reduced construction times, while maintaining competitive forward-evaluation costs. The framework is also applicable to quasi-uniform grids.
Temporal Video Grounding (TVG) aims to localize video segments corresponding to a given textual query, which often describes human actions. However, we observe that current methods, usually optimizing for high temporal Intersection-over-Union (IoU), frequently struggle to accurately recognize or understand the underlying actions in both the video and query, thus reducing the effectiveness of these methods. To address this, we propose a novel TVG framework that integrates inversion-based TVG as auxiliary objectives to maintain the model's action understanding ability. We introduce three kinds of inversion TVG tasks derived from the original TVG annotations: (1) Verb Completion, predicting masked verbs (actions) in queries given video segments; (2) Action Recognition, identifying query-described actions; and (3) Video Description, generating descriptions containing query-relevant actions given video segments. These inversion tasks are entirely derived from the original TVG tasks and are probabilistically integrated with them within a reinforcement learning framework. By leveraging carefully designed reward functions, the model preserves its ability to understand actions, thereby improving the accuracy of temporal grounding. Experiments show our method outperforms state-of-the-art approaches, achieving a 7.1\% improvement in R1@0.7 on Charades-STA for a 3B model.
Precise suites of benchmarks are required to assess the progress of early fault-tolerant quantum computers at economically impactful applications such as cryptanalysis. Appropriate challenges exist for factoring but those for elliptic curve cryptography are either too sparse or inadequate for standard applications of Shor's algorithm. We introduce a difficulty-graded suite of elliptic curve discrete logarithm (ECDLP) challenges that use Bitcoin's curve y^2=x^3+7 mod p while incrementally lowering the prime field from 256 down to 6 bits. For each bit-length, we provide the prime, the prime group order, and two deterministic nothing-up-my-sleeve (NUMS) points in compressed SEC1 form. All challenges are generated by a deterministic, reproducible procedure, and no private challenge scalar is chosen in advance. We calibrate classical cost against Pollard's rho records and quantum cost against resource estimation results for Shor's algorithm. We compile Shor's ECDLP circuit to logical counts and map them to physical resources for various parameters of the surface code, the repetition cat code and the LDPC cat codes. Under explicit and testable assumptions on physical error rates, code distances, and non-Clifford supply, our scenarios place the full 256-bit instance within a 2027--2033 window. The challenge ladder thus offers a transparent ruler to track fault-tolerant progress on a cryptanalytic target of immediate relevance, and it motivates proactive migration of digital assets to post-quantum signatures.
Meta-analyses of published subgroup-level data may yield different interaction estimates depending on how the available data are weighted across studies. In particular, the difference between meta-analytic subgroup-specific effects need not equal the meta-analysis of within-study subgroup differences when these quantities are based on different study weights. Variation in subgroup prevalence across trials, including the presence of single-subgroup trials, may further amplify this discrepancy and introduce aggregation bias into across-study subgroup comparisons. We examine established approaches for jointly or separately estimating subgroup-specific effects and treatment-by-subgroup interactions and introduce the Same Weighting Across Different Analyses (SWADA) principle. SWADA applies a common set of study weights across the connected subgroup and interaction analyses, thereby guaranteeing algebraic agreement between the difference of subgroup averages and the average subgroup difference. Through simulation studies and meta-analyses of randomised trials of COVID-19 treatments, we compare several SWADA weighting schemes with existing approaches in terms of bias, coverage, precision, and root mean squared error. SWADA ensures internally coherent subgroup and interaction estimates, but may require down-weighting or excluding studies that provide information for only one subgroup. The choice of weights therefore involves a trade- off between algebraic coherence, use of the available subgroup evidence, and statistical efficiency. SWADA should be viewed as a general weighting principle for meta-analytic comparisons rather than as a universally preferable estimator.