Search

Recent years have seen a significant surge in complex AI systems for competitive programming, capable of performing at admirable levels against human competitors. While steady progress has been made, the highest percentiles still remain out of reach for these methods on standard competition platforms such as Codeforces. Here we instead focus on combinatorial competitive programming, where the target is to find as-good-as-possible solutions to otherwise computationally intractable problems, over specific given inputs. We hypothesise that this scenario offers a unique testbed for human-AI synergy, as human programmers can write a backbone of a heuristic solution, after which AI can be used to optimise the scoring function used by the heuristic. We deploy our approach on previous iterations of Hash Code, a global team programming competition inspired by NP-hard software engineering problems at Google, and we leverage FunSearch to evolve our scoring functions. Our evolved solutions significantly improve the attained scores from their baseline, successfully breaking into the top percentile on all previous Hash Code online qualification rounds, and outperforming the top human teams on several. Our method is also performant on an optimisation problem that featured in a recent held-out AtCoder contest., Comment: Technical report. 18 pages, 8 figures

The presence of a hydrosphere on Europa raises questions about its habitability, and studies of its volatile inventory can provide insight into its formation process. Different scenarios suggest that Europa's volatiles could be derived from cometary ices or devolatilized building blocks. The study of post-accretion processes, in particular the "open ocean" phase that likely occurred before the formation of the icy crust, is crucial to distinguish these origins, as this phase is likely to have influenced the volatile inventory. The abundance of ammonia in Europa's building blocks is also crucial for understanding the composition of its ocean and primordial atmosphere. We aim to investigate ocean-atmosphere equilibrium during the post-accretion period by varying the ammonia fraction in the atmosphere. Our model evaluates the vapor-liquid equilibrium of water and volatiles, as well as the chemical equilibrium within the ocean, to study Europa's early hydrosphere. We explore two initial conditions: one in which Europa's hydrosphere originates from comet-like building blocks, and another in which it forms in equilibrium with a thick, CO$_2$-rich atmosphere. In both scenarios, the initial ratio of accreted CO$_2$ to NH$_3$ determines the magnitude of their partial pressures in Europa's early atmosphere. If this ratio exceeds a certain threshold (set to $10^{-4}$ in this study), the atmosphere will be CO$_2$-rich; otherwise, it will be CO$_2$-depleted by multiple orders of magnitude. Overall, our work provides a initial assessment of the distribution of primordial volatiles in Europa's primitive hydrosphere, and provides a baseline for interpreting data from the upcoming Europa Clipper mission., Comment: 15 pages, 5 figures. Accepted for publication in Planetary Science Journal

Disk winds play a crucial role in the evolution of protoplanetary disks. Typical conditions for star and planet formation are in regions with intermediate or strong UV radiation fields produced by massive stars. The $\sigma$-Orionis cluster is the ideal site to study disk winds under these conditions; its outer parts can be used to study disk evolution, while its innermost regions to study the effect of external irradiation. For this, we analyze the $\rm [OI]\,\lambda$6300, $\rm [NII]\,\lambda$6583, and $\rm [SII]\,\lambda$6731,$\lambda$6716 lines using high-resolution MIKE spectra of 27 classical T Tauri stars and complemented by intermediate-resolution X-shooter data. We decompose the line profiles into multiple Gaussian components. We calculated luminosities, line ratios, and kinematic properties of these components. We found that the $\rm [OI]\,\lambda$6300 line luminosity and kinematic properties are similar to those found in low-mass star-forming regions (SFRs). The frequency of single-component $\rm [OI]\,\lambda$6300 line profiles reflects the expected evolutionary stage given the intermediate age of $\sigma$-Orionis. This points to internal processes contributing to the line emission. However, the highly irradiated disks do not follow the accretion - [OI] luminosity relation found in low-mass SFRs, and all exhibit single-component line profiles. Line ratios of highly ionized species of [NII] and [SII] show higher ratios than typical values found in low-mass SFRs. The innermost regions of $\sigma$-Orionis are clearly affected by external irradiation, evidenced by the lack of correlation in the accretion - [OI] luminosity relation. The broad line widths of close-in sources, however, indicate a contribution from internal processes, such as magnetohydrodynamical winds and/or internal photoevaporation. This suggests a coevolution of internal and external winds in $\sigma$-Orionis., Comment: Accepted for publication on Astronomy & Astrophysics. 14 pages, 11 figures + appendix. Abstract abridged to meet arXiv requirements

Objective: In modern healthcare, accurately predicting diseases is a crucial matter. This study introduces a novel approach using graph neural networks (GNNs) and a Graph Transformer (GT) to predict the incidence of heart failure (HF) on a patient similarity graph at the next hospital visit. Materials and Methods: We used electronic health records (EHR) from the MIMIC-III dataset and applied the K-Nearest Neighbors (KNN) algorithm to create a patient similarity graph using embeddings from diagnoses, procedures, and medications. Three models - GraphSAGE, Graph Attention Network (GAT), and Graph Transformer (GT) - were implemented to predict HF incidence. Model performance was evaluated using F1 score, AUROC, and AUPRC metrics, and results were compared against baseline algorithms. An interpretability analysis was performed to understand the model's decision-making process. Results: The GT model demonstrated the best performance (F1 score: 0.5361, AUROC: 0.7925, AUPRC: 0.5168). Although the Random Forest (RF) baseline achieved a similar AUPRC value, the GT model offered enhanced interpretability due to the use of patient relationships in the graph structure. A joint analysis of attention weights, graph connectivity, and clinical features provided insight into model predictions across different classification groups. Discussion and Conclusion: Graph-based approaches such as GNNs provide an effective framework for predicting HF. By leveraging a patient similarity graph, GNNs can capture complex relationships in EHR data, potentially improving prediction accuracy and clinical interpretability.

This work provides a geometrical interpretation of the confluent Heun functions (CHE) within black hole perturbation theory (BHPT) and elaborates on their relation to the hyperboloidal framework. In BHPT, the confluent Heun functions are solutions to the radial Teukolsky equation, but they are traditionally studied without an explicit reference to the underlying spacetime geometry. Here, we show that the distinct behaviour of confluent Heun functions near their singular points reflects the structure of key geometrical surfaces in black hole spacetimes. By interpreting homotopic transformations of the confluent Heun functions as changes in the spacetime foliation, we connect these solutions to different regions of the black hole's global structure, such as the past and future event horizons, past and future null infinity, spatial infinity, and even past and future time infinity. We also discuss the relation between CHEs and the hyperboloidal formulation of the Teukolsky equation. Even though neither representation of the radial Teukolsky equation in the confluent Heun form can be interpreted as hyperboloidal slices, this geometrical approach offers new insights into wave propagation and scattering from a global black hole spacetime perspective., Comment: 26 pages and 7 figures

Reconstruction of the baryon acoustic oscillation (BAO) signal has been a standard procedure in BAO analyses over the past decade and has helped to improve the BAO parameter precision by a factor of ~2 on average. The Dark Energy Spectroscopic Instrument (DESI) BAO analysis for the first year (DR1) data uses the ``standard'' reconstruction framework, in which the displacement field is estimated from the observed density field by solving the linearized continuity equation in redshift space, and galaxy and random positions are shifted in order to partially remove nonlinearities. There are several approaches to solving for the displacement field in real survey data, including the multigrid (MG), iterative Fast Fourier Transform (iFFT), and iterative Fast Fourier Transform particle (iFFTP) algorithms. In this work, we analyze these algorithms and compare them with various metrics including two-point statistics and the displacement itself using realistic DESI mocks. We focus on three representative DESI samples, the emission line galaxies (ELG), quasars (QSO), and the bright galaxy sample (BGS), which cover the extreme redshifts and number densities, and potential wide-angle effects. We conclude that the MG and iFFT algorithms agree within 0.4% in post-reconstruction power spectrum on BAO scales with the RecSym convention, which does not remove large-scale redshift space distortions (RSDs), in all three tracers. The RecSym convention appears to be less sensitive to displacement errors than the RecIso convention, which attempts to remove large-scale RSDs. However, iFFTP deviates from the first two; thus, we recommend against using iFFTP without further development. In addition, we provide the optimal settings for reconstruction for five years of DESI observation. The analyses presented in this work pave the way for DESI DR1 analysis as well as future BAO analyses., Comment: 51 pages, 28 figures. Supporting publication of DESI 2024 III: Baryon Acoustic Oscillations from Galaxies and Quasars

We give a new proof, by using the terminology and notation in the textbook \cite{Lin18b}, to a result, due to Puig, stating that a stable equivalence of Morita type between two block algebras of finite groups induced by a bimodule with an endopermutation source preserves K\"ulshammer--Puig classes.

We present a long-term strong correlation between millimeter (mm) radio and $\gamma$-ray emission in the flat-spectrum radio quasar (FSRQ) PKS 1424-418. The mm$-\gamma$-ray connection in blazars is generally thought to originate from the relativistic jet close to the central engine. We confirm a unique long-lasting mm$-\gamma$-ray correlation of PKS 1424-418 by using detailed correlation analyses and statistical tests, and we find its physical meaning in the source. We employed ~8.5 yr of (sub)mm and $\gamma$-ray light curves observed by ALMA and Fermi-LAT, respectively. From linear and cross-correlation analyses between the light curves, we found a significant, strong mm$-\gamma$-ray correlation over the whole period. We did not find any notable time delay within the uncertainties for the mm$-\gamma$-ray correlation, which means zero lag. The mm wave spectral index values (S$_{\nu}$ $\propto$ $\nu_{\alpha}$) between the band 3 and 7 flux densities indicate a time-variable opacity of the source at (sub)mm wavelengths. Interestingly, the mm wave spectral index becomes temporarily flatter (i.e., $\alpha$ > $-$0.5) when the source flares in the $\gamma$-rays. We relate our results with the jet of PKS 1424-418, and we discuss the origin of the $\gamma$-rays and opacity of the inner (sub)parsec-scale jet regions., Comment: 11 pages, 11 figures, accepted for publication in A&A, in press

In this work we derive higher order error estimates for inverse problems distorted by non-additive noise, in terms of Bregman distances. The results are obtained by means of a novel source condition, inspired by the dual problem. Specifically, we focus on variational regularization having the Kullback-Leibler divergence as data-fidelity, and a convex penalty term. In this framework, we provide an interpretation of the new source condition, and present error estimates also when a variational formulation of the source condition is employed. We show that this approach can be extended to variational regularization that incorporates more general convex data fidelities.

Weprovide an upper bound for generalized Littlewood-Richardson coefficients $c^w_{uv}$, where $u$ is a two-row Young diagram corresponding to a Grassmannian permutation. We end with a conjecture on the upper bounds for all such structure constants., Comment: 13 pages

We apply a generative AI pattern-recognition technique called PatternBoost to study bootstrap percolation on hypercubes. With this, we slightly improve the best existing upper bound for the size of percolating subsets of the hypercube.

Reinforcement learning often requires extensive training data. Simulation-to-real transfer offers a promising approach to address this challenge in robotics. While differentiable simulators offer improved sample efficiency through exact gradients, they can be unstable in contact-rich environments and may lead to poor generalization. This paper introduces a novel approach integrating sharpness-aware optimization into gradient-based reinforcement learning algorithms. Our simulation results demonstrate that our method, tested on contact-rich environments, significantly enhances policy robustness to environmental variations and action perturbations while maintaining the sample efficiency of first-order methods. Specifically, our approach improves action noise tolerance compared to standard first-order methods and achieves generalization comparable to zeroth-order methods. This improvement stems from finding flatter minima in the loss landscape, associated with better generalization. Our work offers a promising solution to balance efficient learning and robust sim-to-real transfer in robotics, potentially bridging the gap between simulation and real-world performance., Comment: 9 pages, 6 figures

This work presents a set of experiments conducted to predict the gender of Twitter users based on language-independent features extracted from the text of the users' tweets. The experiments were performed on a version of TwiSty dataset including tweets written by the users of six different languages: Portuguese, French, Dutch, English, German, and Italian. Logistic regression (LR), and feed-forward neural networks (FFNN) with back-propagation were used to build models in two different settings: Inter-Lingual (IL) and Cross-Lingual (CL). In the IL setting, the training and testing were performed on the same language whereas in the CL, Italian and German datasets were set aside and only used as test sets and the rest were combined to compose training and development sets. In the IL, the highest accuracy score belongs to LR whereas in the CL, FFNN with three hidden layers yields the highest score. The results show that neural network based models underperform traditional models when the size of the training set is small; however, they beat traditional models by a non-trivial margin, when they are fed with large enough data. Finally, the feature analysis confirms that men and women have different writing styles independent of their language.

This thesis is part of a CIFRE agreement between the company Othello and the LIASD laboratory. The objective is to develop an artificial intelligence system that can detect real-time dangers in a video stream. To achieve this, a novel approach combining temporal and spatial analysis has been proposed. Several avenues have been explored to improve anomaly detection by integrating object detection, human pose detection, and motion analysis. For result interpretability, techniques commonly used for image analysis, such as activation and saliency maps, have been extended to videos, and an original method has been proposed. The proposed architecture performs binary or multiclass classification depending on whether an alert or the cause needs to be identified. Numerous neural networkmodels have been tested, and three of them have been selected. You Only Looks Once (YOLO) has been used for spatial analysis, a Convolutional Recurrent Neuronal Network (CRNN) composed of VGG19 and a Gated Recurrent Unit (GRU) for temporal analysis, and a multi-layer perceptron for classification. These models handle different types of data and can be combined in parallel or in series. Although the parallel mode is faster, the serial mode is generally more reliable. For training these models, supervised learning was chosen, and two proprietary datasets were created. The first dataset focuses on objects that may play a potential role in anomalies, while the second consists of videos containing anomalies or non-anomalies. This approach allows for the processing of both continuous video streams and finite videos, providing greater flexibility in detection.

Virtual Reality (VR) applications have a number of unique characteristics that set them apart from traditional video streaming. These characteristics have major implications on the design of VR rendering, adaptation, prefetching, caching, and transport mechanisms. This paper contrasts VR to video streaming, stored 2D video streaming in particular, and discusses how to rethink system and network support for VR.

In light of the inherently complex and dynamic nature of real-world environments, incorporating risk measures is crucial for the robustness evaluation of deep learning models. In this work, we propose a Risk-Averse Certification framework for Bayesian neural networks called RAC-BNN. Our method leverages sampling and optimisation to compute a sound approximation of the output set of a BNN, represented using a set of template polytopes. To enhance robustness evaluation, we integrate a coherent distortion risk measure--Conditional Value at Risk (CVaR)--into the certification framework, providing probabilistic guarantees based on empirical distributions obtained through sampling. We validate RAC-BNN on a range of regression and classification benchmarks and compare its performance with a state-of-the-art method. The results show that RAC-BNN effectively quantifies robustness under worst-performing risky scenarios, and achieves tighter certified bounds and higher efficiency in complex tasks.

We present design and implementation of a novel neural network potential (NNP) and its combination with an electrostatic embedding scheme, commonly used within the context of hybrid quantum-mechanical/molecular-mechanical (QM/MM) simulations. Substitution of a computationally expensive QM Hamiltonian by a NNP with the same accuracy largely reduces the computational cost and enables efficient sampling in prospective MD simulations, the main limitation faced by traditional QM/MM set-ups. The model relies on the recently introduced anisotropic message passing (AMP) formalism to compute atomic interactions and encode symmetries found in QM systems. AMP is shown to be highly efficient in terms of both data and computational costs, and can be readily scaled to sample systems involving more than 350 solute and 40'000 solvent atoms for hundreds of nanoseconds using umbrella sampling. The performance and broad applicability of our approach are showcased by calculating the free-energy surface of alanine dipeptide, the preferred ligation states of nickel phosphine complexes, and dissociation free energies of charged pyridine and quinoline dimers. Results with this ML/MM approach show excellent agreement with experimental data. In contrast, free energies calculated with static high-level QM calculations paired with implicit solvent models or QM/MM MD simulations using cheaper semi-empirical methods show up to ten times higher deviation from the experimental ground truth and sometimes even fail to reproduce qualitative trends.

There is an increasing global emphasis on information accessibility, with numerous researchers actively developing automated tools to detect and repair accessibility issues, thereby ensuring that individuals with diverse abilities can independently access software products and services. However, current research still encounters significant challenges in two key areas: the absence of a comprehensive taxonomy of accessibility issue types, and the lack of comprehensive analysis of the capabilities of detection and repair tools, as well as the status of corresponding datasets. To address these challenges, this paper introduces the Accessibility Issue Analysis (AIA) framework. Utilizing this framework, we develop a comprehensive taxonomy that categorizes 55 types of accessibility issues across four pivotal dimensions: Perceivability, Operability, Understandability, and Robustness. This taxonomy has been rigorously recognized through a questionnaire survey (n=130). Building on this taxonomy, we conduct an in-depth analysis of existing detection and repair tools, as well as the status of corresponding datasets. In terms of tools, our findings indicate that 14 detection tools can identify 31 issue types, achieving a 56.3% rate (31/55). Meanwhile, 9 repair tools address just 13 issue types, with a 23.6% rate. In terms of datasets, those for detection tools cover 21 issue types, at a 38.1% coverage rate, whereas those for repair tools cover only 7 types, at a 12.7% coverage rate., Comment: 16 pages, 3 figures

Around seven million individuals in India, Bangladesh, Bhutan, and Nepal speak Santali, positioning it as nearly the third most commonly used Austroasiatic language. Despite its prominence among the Austroasiatic language family's Munda subfamily, Santali lacks global recognition. Currently, no translation models exist for the Santali language. Our paper aims to include Santali to the NPL spectrum. We aim to examine the feasibility of building Santali translation models based on available Santali corpora. The paper successfully addressed the low-resource problem and, with promising results, examined the possibility of creating a functional Santali machine translation model in a low-resource setup. Our study shows that Santali-English parallel corpus performs better when in transformers like mt5 as opposed to untrained transformers, proving that transfer learning can be a viable technique that works with Santali language. Besides the mT5 transformer, Santali-English performs better than Santali-Bangla parallel corpus as the mT5 has been trained in way more English data than Bangla data. Lastly, our study shows that with data augmentation, our model performs better.

A two-dimensional spin-up ideal Fermi gas interacting attractively with a spin-down impurity in the continuum undergoes, at zero temperature, a first-order phase transition from a polaron to a dimeron state. Here we study a similar system on a square lattice, by considering the attractive 2D Fermi-Hubbard model with a single spin-down and a finite filling fraction of spin-up fermions. We study polaron and dimeron quasi-particle properties via variational Ansatz up to one particle-hole excitation. Moreover, we develop a determinant diagrammatic Monte Carlo algorithm for this problem based on expansion in bare on-site coupling $U$. This algorithm turns out to be sign-problem free at any filling of spin-up fermions, allowing one to sample very high diagram order (larger than $200$ in our study) and to do simulations for large $U/t$ (we go up to $U/t=-20$ with $t$ the hopping strength). Both methods give qualitatively consistent results. With variational Ansatz we go to even larger on-site attraction. In contrast with the continuum case, we do not observe any polaron-to-dimeron transition for a range of spin-up filling fractions $\rho_{\uparrow}$ between $0.1$ and $0.4$. % (away from the low-filling limit). The polaron state always gives a lower energy and has a finite quasi-particle residue., Comment: 7 pages, 4 figures

The p-center problem consists in selecting p facilities from a set of possible sites and allocating a set of clients to them in such a way that the maximum distance between a client and the facility to which it is allocated is minimized. This paper proposes a new scalable exact solution algorithm based on client clustering and an iterative distance rounding procedure. The client clustering enables to initialize and update a subset of clients for which the p-center problem is iteratively solved. The rounding drastically reduces the number of distinct distances considered at each iteration. Our algorithm is tested on 396 benchmark instances with up to 1.9 million clients and facilities. We outperform the two state-of-the-art exact methods considered when p is not very small (i.e., p > 5).

Accurately estimating traffic variables across unequipped portions of a network remains a significant challenge due to the limited coverage of sensor-equipped links, such as loop detectors and probe vehicles. A common approach is to apply uniform scaling, treating unequipped links as equivalent to equipped ones. This study introduces a novel framework to improve traffic variable estimation by integrating statistical scaling methods with geospatial imputation techniques. Two main approaches are proposed: (1) Statistical Scaling, which includes hierarchical and non-hierarchical network approaches, and (2) Geospatial Imputation, based on variogram modeling. The hierarchical scaling method categorizes the network into several levels according to spatial and functional characteristics, applying tailored scaling factors to each category. In contrast, the non-hierarchical method uses a uniform scaling factor across all links, ignoring network heterogeneity. The variogram-based geospatial imputation leverages spatial correlations to estimate traffic variables for unequipped links, capturing spatial dependencies in urban road networks. Validation results indicate that the hierarchical scaling approach provides the most accurate estimates, achieving reliable performance even with as low as 5% uniform detector coverage. Although the variogram-based method yields strong results, it is slightly less effective than the hierarchical scaling approach but outperforms the non-hierarchical method.

Lopsided galaxies are late-type galaxies with a non-axisymmetric disc due to an uneven distribution of their stellar mass. Despite being a relatively common perturbation, several questions regarding its origin and the information that can be extracted from them about the evolutionary history of late-type galaxies. The advent of several large multi-band photometric surveys will allow us to statistically analyze this perturbation, with information that was not previously available. Given the strong correlation between lopsidedness and the structural properties of the galaxies, this paper aims to develop a method to automatically classify late-type galaxies between lopsided and symmetric. We seek to explore if an accurate classification can be obtain by only considering their internal properties, without additional information about the environment. We select 8000 late-type galaxies from TNG50. A Fourier decomposition of their stellar mass surface density is used to label galaxies as lopsided and symmetric. We trained a Random Forest classifier to rapidly and automatically identify this type of perturbations, exclusively using galaxies internal properties. We test different algorithms to deal with the imbalance of our data and select the most suitable approach based on the considered metrics. We show that our trained algorithm can provide a very accurate and rapid classification of lopsided galaxies. The excellent results obtained by our classifier strongly supports the hypothesis that lopsidedness is mainly a tracer of galaxies internal structures. We show that similar results can be obtained using observable quantities, readily obtainable from multi-bad photometric surveys. Our results show it allows a rapid and accurate classification of lopsided galaxies, allowing us to explore whether lopsidedness in present-day disc galaxies is connected to galaxies specific evolutionary histories., Comment: 15 pages, 10 figures. Submitted to A&A

Removing modeling constraints and unifying architectures across domains has been a key driver of the recent progress in training large multimodal models. However, most of these models still rely on many separately trained components such as modality-specific encoders and decoders. In this work, we further streamline joint generative modeling of images and text. We propose an autoregressive decoder-only transformer - JetFormer - which is trained to directly maximize the likelihood of raw data, without relying on any separately pretrained components, and can understand and generate both text and images. Specifically, we leverage a normalizing flow model to obtain a soft-token image representation that is jointly trained with an autoregressive multimodal transformer. The normalizing flow model serves as both an image encoder for perception tasks and an image decoder for image generation tasks during inference. JetFormer achieves text-to-image generation quality competitive with recent VQ-VAE- and VAE-based baselines. These baselines rely on pretrained image autoencoders, which are trained with a complex mixture of losses, including perceptual ones. At the same time, JetFormer demonstrates robust image understanding capabilities. To the best of our knowledge, JetFormer is the first model that is capable of generating high-fidelity images and producing strong log-likelihood bounds.

Studying the magnetic ground states of frustrated antiferromagnets provides unique insight into the stability of quantum spin liquids, even if the anticipated state is not realized towards T = 0. Particularly relevant are structural modifications setting in at temperatures where the magnetic correlations come into play. Here we explore the lattice dynamics of Y-kapellasite (Y3Cu9(OH)19Cl8) single crystals by infrared spectroscopy in combination with ab initio calculations. We observe significant changes in the phonon spectra at Ts = 32 K, that gradually evolve down to low temperatures. The increase in the number of phonon modes provides evidence for a lowering of symmetry and we discuss several possibilities of crystal structure modifications. Our analysis also reveals that the structural variation involves exclusively H and O atoms, while the other atoms remain rather unaffected. An 8% red shift of the lowest-lying phonon mode upon cooling indicates strong magneto-elastic effects upon decoupling Cu-6f hexagons through the lattice vibrations.

Retrieval Augmented Generation (RAG) systems are a widespread application of Large Language Models (LLMs) in the industry. While many tools exist empowering developers to build their own systems, measuring their performance locally, with datasets reflective of the system's use cases, is a technological challenge. Solutions to this problem range from non-specific and cheap (most public datasets) to specific and costly (generating data from local documents). In this paper, we show that using public question and answer (Q&A) datasets to assess retrieval performance can lead to non-optimal systems design, and that common tools for RAG dataset generation can lead to unbalanced data. We propose solutions to these issues based on the characterization of RAG datasets through labels and through label-targeted data generation. Finally, we show that fine-tuned small LLMs can efficiently generate Q&A datasets. We believe that these observations are invaluable to the know-your-data step of RAG systems development., Comment: to be published in the 31st International Conference on Computational Linguistics (COLING 2025)

We consider solutions to the Navier-Stokes equations on $\mathbb{R}^2$ close to the Poiseuille flow with viscosity $0< \nu < 1$. For the linearized problem, we prove that when the $x$-frequency satisfy $|k| \ge \nu^{-\frac{1}{3}}$, the perturbation decays on a time-scale proportional to $\nu^{-\frac{1}{2}}|k|^{-\frac{1}{2}}$. Since it decays faster than the heat equation, this phenomenon is referred to as enhanced dissipation. Then we concern the non-linear equations. We show that if the initial perturbation $\omega_{in}$ is of size at most $\nu^\frac{7}{12}$ in an anisotropic Sobolev space, then it remains so for all time.

In multi-user semantic communication, language mismatche poses a significant challenge when independently trained agents interact. We present a novel semantic equalization algorithm that enables communication between agents with different languages without additional retraining. Our algorithm is based on relative representations, a framework that enables different agents employing different neural network models to have unified representation. It proceeds by projecting the latent vectors of different models into a common space defined relative to a set of data samples called \textit{anchors}, whose number equals the dimension of the resulting space. A communication between different agents translates to a communication of semantic symbols sampled from this relative space. This approach, in addition to aligning the semantic representations of different agents, allows compressing the amount of information being exchanged, by appropriately selecting the number of anchors. Eventually, we introduce a novel anchor selection strategy, which advantageously determines prototypical anchors, capturing the most relevant information for the downstream task. Our numerical results show the effectiveness of the proposed approach allowing seamless communication between agents with radically different models, including differences in terms of neural network architecture and datasets used for initial training.

Consider a generalized Oseen evolution operator in 3D exterior domains, that is generated by a non-autonomous linearized system arising from time-dependent rigid motions. This was found by Hansel and Rhandi, and then the theory was developed by the second author, however, desired regularity properties such as estimate of the temporal derivative as well as the Hoelder estimate have remained open. The present paper provides us with those properties together with weighted estimates of the evolution operator. The results are then applied to the Navier-Stokes initial value problem, so that a new theorem on existence of a unique strong Lq-solution locally in time is proved., Comment: 49 pages

We introduce the notion of dynamic asymptotic dimension growth for actions of discrete groups on compact spaces, and more generally for locally compact \'etale groupoids with compact unit space. Using the work of Bartels, L\"uck, and Reich to bridge our notion for group actions with asymptotic dimension growth for groups, thus providing many concrete examples for our notion. Moreover, we show that the asymptotic dimension growth for a discrete metric space of bounded geometry is equivalent to the dynamic asymptotic dimension growth for its associated coarse groupoid, hence deducing that the coarse groupoid with subexponential dynamic asymptotic dimension growth is amenable. More generally, every $\sigma$-compact locally compact Hausdorff \'etale groupoid with compact unit space having dynamic asymptotic dimension growth at most $x^{\alpha}$ $(0<\alpha<1)$ is amenable., Comment: 43 pages. arXiv admin note: text overlap with arXiv:1510.07769 by other authors

Self-supervised monocular depth estimation (MDE) has gained popularity for obtaining depth predictions directly from videos. However, these methods often produce scale invariant results, unless additional training signals are provided. Addressing this challenge, we introduce a novel self-supervised metric-scaled MDE model that requires only monocular video data and the camera's mounting position, both of which are readily available in modern vehicles. Our approach leverages planar-parallax geometry to reconstruct scene structure. The full pipeline consists of three main networks, a multi-frame network, a singleframe network, and a pose network. The multi-frame network processes sequential frames to estimate the structure of the static scene using planar-parallax geometry and the camera mounting position. Based on this reconstruction, it acts as a teacher, distilling knowledge such as scale information, masked drivable area, metric-scale depth for the static scene, and dynamic object mask to the singleframe network. It also aids the pose network in predicting a metric-scaled relative pose between two subsequent images. Our method achieved state-of-the-art results for the driving benchmark KITTI for metric-scaled depth prediction. Notably, it is one of the first methods to produce self-supervised metric-scaled depth prediction for the challenging Cityscapes dataset, demonstrating its effectiveness and versatility., Comment: Accepted at WACV 25, project page: https://mono-pp.github.io/

TakeLab Retriever is an AI-driven search engine designed to discover, collect, and semantically analyze news articles from Croatian news outlets. It offers a unique perspective on the history and current landscape of Croatian online news media, making it an essential tool for researchers seeking to uncover trends, patterns, and correlations that general-purpose search engines cannot provide. TakeLab retriever utilizes cutting-edge natural language processing (NLP) methods, enabling users to sift through articles using named entities, phrases, and topics through the web application. This technical report is divided into two parts: the first explains how TakeLab Retriever is utilized, while the second provides a detailed account of its design. In the second part, we also address the software engineering challenges involved and propose solutions for developing a microservice-based semantic search engine capable of handling over ten million news articles published over the past two decades.

As urban populations grow, cities are becoming more complex, driving the deployment of interconnected sensing systems to realize the vision of smart cities. These systems aim to improve safety, mobility, and quality of life through applications that integrate diverse sensors with real-time decision-making. Streetscape applications-focusing on challenges like pedestrian safety and adaptive traffic management-depend on managing distributed, heterogeneous sensor data, aligning information across time and space, and enabling real-time processing. These tasks are inherently complex and often difficult to scale. The Streetscape Application Services Stack (SASS) addresses these challenges with three core services: multimodal data synchronization, spatiotemporal data fusion, and distributed edge computing. By structuring these capabilities as clear, composable abstractions with clear semantics, SASS allows developers to scale streetscape applications efficiently while minimizing the complexity of multimodal integration. We evaluated SASS in two real-world testbed environments: a controlled parking lot and an urban intersection in a major U.S. city. These testbeds allowed us to test SASS under diverse conditions, demonstrating its practical applicability. The Multimodal Data Synchronization service reduced temporal misalignment errors by 88%, achieving synchronization accuracy within 50 milliseconds. Spatiotemporal Data Fusion service improved detection accuracy for pedestrians and vehicles by over 10%, leveraging multicamera integration. The Distributed Edge Computing service increased system throughput by more than an order of magnitude. Together, these results show how SASS provides the abstractions and performance needed to support real-time, scalable urban applications, bridging the gap between sensing infrastructure and actionable streetscape intelligence.

We describe the Forensics Adapter, an adapter network designed to transform CLIP into an effective and generalizable face forgery detector. Although CLIP is highly versatile, adapting it for face forgery detection is non-trivial as forgery-related knowledge is entangled with a wide range of unrelated knowledge. Existing methods treat CLIP merely as a feature extractor, lacking task-specific adaptation, which limits their effectiveness. To address this, we introduce an adapter to learn face forgery traces -- the blending boundaries unique to forged faces, guided by task-specific objectives. Then we enhance the CLIP visual tokens with a dedicated interaction strategy that communicates knowledge across CLIP and the adapter. Since the adapter is alongside CLIP, its versatility is highly retained, naturally ensuring strong generalizability in face forgery detection. With only $\bm{5.7M}$ trainable parameters, our method achieves a significant performance boost, improving by approximately $\bm{7\%}$ on average across five standard datasets. We believe the proposed method can serve as a baseline for future CLIP-based face forgery detection methods.

Many natural phenomena are characterized by self-similarity, for example the symmetry of human faces, or a repetitive motif of a song. Studying of such symmetries will allow us to gain deeper insights into the underlying mechanisms of complex systems. Recognizing the importance of understanding these patterns, we propose a geometrically inspired framework to study such phenomena in artificial neural networks. To this end, we introduce \emph{CantorNet}, inspired by the triadic construction of the Cantor set, which was introduced by Georg Cantor in the $19^\text{th}$ century. In mathematics, the Cantor set is a set of points lying on a single line that is self-similar and has a counter intuitive property of being an uncountably infinite null set. Similarly, we introduce CantorNet as a sandbox for studying self-similarity by means of novel topological and geometrical complexity measures. CantorNet constitutes a family of ReLU neural networks that spans the whole spectrum of possible Kolmogorov complexities, including the two opposite descriptions (linear and exponential as measured by the description length). CantorNet's decision boundaries can be arbitrarily ragged, yet are analytically known. Besides serving as a testing ground for complexity measures, our work may serve to illustrate potential pitfalls in geometry-ignorant data augmentation techniques and adversarial attacks., Comment: Accepted at the NeurIPS Workshop on Symmetry and Geometry in Neural Representations, 2024

Exploiting the first measurements of the same ion species in OO collisons at RHIC and LHC, we propose an observable to distinguish whether collective behavior builds up through a hydrodynamic expansion of a strongly interacting QGP or few final state re-scatterings. Our procedure allows to disentangle the effects of the initial state geometry and the dynamical response mechanism on anisotropic flow. We validate its ability to discriminate between systems with different interaction rates using results from event-by-event simulations in kinetic theory., Comment: 15 pages, 15 figures

High-energy nuclear collisions exhibit collective flow, which emerges as a dynamical response of the Quark-Gluon Plasma (QGP) to the initial state geometry of the collision. Collective flow in heavy-ion collisions is usually described within multi-stage evolution models, which employ a viscous relativistic hydrodynamic description of the space-time evolution of the QGP. By comparing event-by-event simulations in kinetic theory and viscous hydrodynamics in OO, AuAu and PbPb collisions at RHIC and LHC energies, we quantify to what extent a macroscopic hydrodynamic description can accurately describe the development of collective flow and to what extent collective flow in small systems, such as OO, is sensitive to the non-equilibrium evolution of the QGP beyond hydrodynamics., Comment: 24 pages, 16 figures

In 5G networks, non-orthogonal multiple access (NOMA) provides a number of benefits by providing uneven power distribution to multiple users at once. On the other hand, effective power allocation, successful successive interference cancellation (SIC), and user fairness all depend on precise channel state information (CSI). Because of dynamic channels, imperfect models, and feedback overhead, CSI prediction in NOMA is difficult. Our aim is to propose a CSI prediction technique based on an ML model that accounts for partially decoded data (PDD), a byproduct of the SIC process. Our proposed technique has been shown to be efficient in handover failure (HOF) prediction and reducing pilot overhead, which is particularly important in 5G. We have shown how machine learning (ML) models may be used to forecast CSI in NOMA handover.

Traditional cellular service was designed for global connectivity, but business and logistical constraints led to its fragmentation, with deployments limited to individual countries and regions. Initiatives like Mobile Virtual Network Operators (MVNOs), Mobile Network Aggregators (MNAs), and regulations like ''roam-like-at-home'' have partially restored global service potential, though often at high costs in terms of user bills, application performance, and traffic efficiency. This paper makes two key contributions: first, it surveys the global cellular ecosystem, analyzing the strengths and weaknesses of major players using data from prior research, proprietary datasets, and public sources. Second, it argues that the technology for seamless global service exists in Local Breakout (LBO), a roaming architecture which allows user traffic to be routed directly to the Internet through the visited network, bypassing the home network and/or third-party infrastructures. However, LBO adoption is hindered by issues such as policy enforcement, billing, and Quality of Service (QoS) guarantees, rooted in a lack of trust between operators. The paper concludes by exploring technological advances that could enable LBO, and pave the way for truly global cellular connectivity.

In this note we investigate, as a natural continuation of [K. Castillo, Constr. Approx., 55 (2022) 605-627], the behaviour of the zeros of discrete paraorthogonal polynomials on the unit circle with respect to a real parameter.

Hard convex polyhedra, idealized models for anisotropic colloids and nanoparticles, are known to form variety of orientational phases despite the regular arrangement of particles in the crystalline assemblies. Based on the orientational behavior of the constituents particles, such phases could be categorized into freely rotating plastic crystals (PC), discrete plastic crystals (DPC) and orientationally ordered crystals (OC). In this article, we report an extensive Monte Carlo computer simulation study of sixty hard convex polyhedral shape indicating a direct predictive relationship between the nature of orientational phases in the crystalline assemblies and single-particle shape attributes. The influence of three attributes namely; (i) Isoperimetric Quotient (IQ) i.e., the extent of asphericity; (ii) isotropy of the moment of inertia tensor in the principal frame and (iii) number of symmetry operations in the point group of the particle and self-assembled crystal structure, were observed to control the orientational phase behavior of the entire solid region in many-body system. The translational order in the crystal appeared to play significant role only in the DPC phase, where as, other two phases were completely governed by the combination of two attributes. In this study, the role of shape attributes were characterized by sequential appearance of one or two of the aforementioned rotational phases across the phase diagram in a pressure dependent manner which could be regarded as an important stepping stone towards fully predictive self-assembly behavior of hard particle systems., Comment: 27 pages article, 64 references, 5 figures, 5 pages supplementary information

Two-color lasers with high coherence are paramount in precision measurement, accurate light-matter interaction, and low-noise photonic microwave generation. However, conventional two-color lasers often suffer from low coherence, particularly when these two colors face large frequency spacings. Here, harnessing the Pound-Drever-Hall technique, we synchronize two lasers to a shared ultra-stable optical reference cavity to break through the thermal noise constraint, achieving a highly coherent two-color laser. With conquering these non-common mode noises, we demonstrate an exceptional fractional frequency instability of 2.7E-17 at 1 second when normalized to the optical frequency. Characterizing coherence across large frequency spacings poses a significant challenge. To tackle this, we employ electro-optical frequency division to transfer the relative stability of a 0.5 THz spacing two-color laser to a 25 GHz microwave signal. As its performance surpasses the sensitivity of the current apparatus, we establish two independent systems for comparative analyses. The resulting 25 GHz signals exhibit exceptional phase noise of -74 dBc/Hz at 1 Hz and -120 dBc/Hz at 100 Hz, demonstrating the two-color laser's performance approaching the quantum noise limit of its synchronization system. It also sets a new record for the two-point frequency division method in photonic microwave generation. Our achievement in highly coherent two-color lasers and low-noise microwave signals will usher in a new era for precision measurements and refine the accuracy of light-matter and microwave-matter interactions to their next decimal place.

The GW approximation within many-body perturbation theory is the state of the art for computing quasiparticle energies in solids. Typically, Kohn-Sham (KS) eigenvalues and eigenfunctions, obtained from a Density Functional Theory (DFT) calculation are used as a starting point to build the Green's function G and the screened Coulomb interaction W, yielding the one-shot G0W0 selfenergy if no further update of these quantities are made. Multiple implementations exist for both the DFT and the subsequent G0W0 calculation, leading to possible differences in quasiparticle energies. In the present work, the G0W0 quasiparticle energies for states close to the band gap are calculated for six crystalline solids, using four different codes: Abinit, exciting, FHI-aims, and GPAW. This comparison helps to assess the impact of basis-set types (planewaves versus localized orbitals) and the treatment of core and valence electrons (all-electron full potentials versus pseudopotentials). The impact of unoccupied states as well as the algorithms for solving the quasiparticle equation are also briefly discussed. For the KS-DFT band gaps, we observe good agreement between all codes, with differences not exceeding 0.1 eV, while the G0W0 results deviate on the order of 0.1-0.3 eV. Between all-electron codes (FHI-aims and exciting), the agreement is better than 15 meV for KS-DFT and, with one exception, about 0.1 eV for G0W0 band gaps., Comment: 14 pages, 2 figures

Mutual Information (MI) is a powerful statistical measure that quantifies shared information between random variables, particularly valuable in high-dimensional data analysis across fields like genomics, natural language processing, and network science. However, computing MI becomes computationally prohibitive for large datasets where it is typically required a pairwise computational approach where each column is compared to others. This work introduces a matrix-based algorithm that accelerates MI computation by leveraging vectorized operations and optimized matrix calculations. By transforming traditional pairwise computational approaches into bulk matrix operations, the proposed method enables efficient MI calculation across all variable pairs. Experimental results demonstrate significant performance improvements, with computation times reduced up to 50,000 times in the largest dataset using optimized implementations, particularly when utilizing hardware optimized frameworks. The approach promises to expand MI's applicability in data-driven research by overcoming previous computational limitations.

Recent developments in the field of explainable artificial intelligence (XAI) for vision models investigate the information extracted by their feature encoder. We contribute to this effort and propose Neuro-Activated Vision Explanations (NAVE), which extracts the information captured by the encoder by clustering the feature activations of the frozen network to be explained. The method does not aim to explain the model's prediction but to answer questions such as which parts of the image are processed similarly or which information is kept in deeper layers. Experimentally, we leverage NAVE to show that the training dataset and the level of supervision affect which concepts are captured. In addition, our method reveals the impact of registers on vision transformers (ViT) and the information saturation caused by the watermark Clever Hans effect in the training set.

The integral identity conjecture of Kontsevich and Soibelman plays an important role in proving the existence of motivic Donaldson-Thomas invariants for three-dimensional noncommutative Calabi-Yau manifolds. There are a number of different formulations of this conjecture in different contexts and accordingly, there are corresponding solutions to them. The methods devoted to solving this conjecture are diverse, ranging from $\ell$-adic cohomology of rigid analytic varieties to Hrushovski-Kazhdan motivic integration and motivic Fubini theorem for tropicalization maps,... In a recent work, Ivorra deduces a functorial version of the integral identity in the stable homotopy of schemes, from the Braden hyperbolic localization theorem. This functorial version concerns Ayoub's nearby cycles functor associated with a $\mathbb{G}_m$-equivariant function $f \colon X \longrightarrow \mathbb{A}^1$ on vector bundles with a linear action of $\mathbb{G}_m$ on algebraic varieties over a field of characteristic zero. In the present work, we follow the functorial approach by Ivorra and extend the scope of the original conjecture by Kontsevich and Soibelman by studying more generally the case of $\mathbb{G}_m$-equivariant functions on algebraic $S$-spaces with a $\tau$-locally linearizable action of $\mathbb{G}_m$ over a noetherian scheme $S$ and extend the functorial integral identity to these cases. Our result is functorial, it allows more flexibity on the characteristic of the base scheme and the formulation exists in the world of motives which can realizes to other settings, e.g., \'etale realization, Betti realization, virtual motives... We also prove a result which is independent of interest and already appears in the work of others, namely, the motivic version of the functorial compatibility of the Bernstein isomorphisms with constant term functors.

Topological spin textures in magnetic materials beyond two-dimensional skyrmions have attracted attention for electronics beyond CMOS technologies. In particular, three-dimensional (3D) topological spin textures are promising due to the expected complex non-linear dynamics as well as high static and dynamic thermal stability. In multilayer heterostructures, a hybrid chiral skyrmion tube is a well-known example of a 3D topological spin texture, exhibiting an intriguing chirality transition along the thickness direction. This transition progresses from left-handed to right-handed N\'eel-type chirality, passing through a Bloch-type intermediate state. Such an exotic spin configuration potentially exhibits distinctly different dynamics from that of the common skyrmion tube that exhibits a homogeneous chirality; yet these dynamics have not been ascertained so far. Here we reveal the distinct features of current-induced dynamics that result from the hybrid chiral skyrmion tube structure in synthetic antiferromagnetic (SyAFM) multilayers. Strikingly, the SyAFM hybrid chiral skyrmion tubes exhibit a non-reciprocal skyrmion Hall effect in the flow regime. The non-reciprocity can even be tuned by the degree of magnetic compensation in the SyAFM systems. Our theoretical modeling qualitatively corroborates that the non-reciprocity stems from the dynamic oscillation of skyrmion helicity during its current-induced motion. The findings highlight the critical role of the internal degrees of freedom of these complex skyrmion tubes for their current-induced dynamics.

We consider a mixed variational formulation recently proposed for the coupling of the Brinkman--Forchheimer and Darcy equations and develop the first reliable and efficient residual-based a posteriori error estimator for the 2D version of the associated conforming mixed finite element scheme. For the reliability analysis, due to the nonlinear nature of the problem, we make use of the inf-sup condition and the strong monotonicity of the operators involved, along with a stable Helmholtz decomposition in Hilbert spaces and local approximation properties of the Raviart--Thomas and Cl\'ement interpolants. On the other hand, inverse inequalities, the localization technique through bubble functions, and known results from previous works are the main tools yielding the efficiency estimate. Finally, several numerical examples confirming the theoretical properties of the estimator and illustrating the performance of the associated adaptive algorithms are reported. In particular, the case of flow through a heterogeneous porous medium is considered.

The Euler discriminant of a family of very affine varieties is defined as the locus where the Euler characteristic drops. In this work, we study the Euler discriminant of families of complements of hyperplanes. We prove that the Euler discriminant is a hypersurface in the space of coefficients, and provide its defining equation in two cases: (1) when the coefficients are generic, and (2) when they are constrained to a proper subspace. In the generic case, we show that the multiplicities of the components can be recovered combinatorially. This analysis also recovers the singularities of an Euler integral. In the appendix, we discuss a relation to cosmological correlators., Comment: 33 pages, comments are welcome!

We investigate the existence of multiple positive solutions for the following Dirichlet boundary value problem: \begin{equation*} \begin{aligned} -\Delta_p u + (-\Delta_p)^s u = \lambda \frac{f(u)}{u^{\beta}}\ \text{in} \ \Omega\newline u >0\ \text{in} \ \Omega,\ u =0\ \text{in} \ \mathbb{R}^N \setminus \Omega \end{aligned} \end{equation*} where $\Omega$ is an arbitrary bounded domain in $\mathbb{R}^N$ with smooth boundary, $0\leq \beta<1$ and $f$ is a non-decreasing $C^1$-function which is $p$-sublinear at infinity and satisfies $f(0)>0$. By employing the method of sub- and supersolutions, we establish the existence of a positive solution for every $\lambda>0$ and that of two positive solutions for a certain range of the parameter $\lambda$. In the non-singular case (i.e. when $\beta=0$) and in the linear case with singularity (i.e. when $p=2$ and $0<\beta<1$), we further apply Amann's fixed point theorem to show that the problem admits at least three positive solutions within this range of $\lambda$. The mixed local-nonlocal nature of the operator and the non-linearity pose challenges in constructing sub- and supersolutions, however, these are effectively addressed through the operator's homogeneity.