Search

Algorithmic contract design studies scenarios where a principal incentivizes an agent to exert effort on her behalf. In this work, we focus on settings where the agent's type is drawn from an unknown distribution, and formalize an offline learning framework for learning near-optimal contracts from sample agent types. A central tool in our analysis is the notion of pseudo-dimension from statistical learning theory. Beyond its role in establishing upper bounds on the sample complexity, pseudo-dimension measures the intrinsic complexity of a class of contracts, offering a new perspective on the tradeoffs between simplicity and optimality in contract design. Our main results provide essentially optimal tradeoffs between pseudo-dimension and representation error (defined as the loss in principal's utility) with respect to linear and bounded contracts. Using these tradeoffs, we derive sample- and time-efficient learning algorithms, and demonstrate their near-optimality by providing almost matching lower bounds on the sample complexity. Conversely, for unbounded contracts, we prove an impossibility result showing that no learning algorithm exists. Finally, we extend our techniques in three important ways. First, we provide refined pseudo-dimension and sample complexity guarantees for the combinatorial actions model, revealing a novel connection between the number of critical values and sample complexity. Second, we extend our results to menus of contracts, showing that their pseudo-dimension scales linearly with the menu size. Third, we adapt our algorithms to the online learning setting, where we show that, a polynomial number of type samples suffice to learn near-optimal bounded contracts. Combined with prior work, this establishes a formal separation between expert advice and bandit feedback for this setting.

In dataspaces, federation services facilitate key functions such as enabling participating organizations to establish mutual trust and assisting them in discovering data and services available for consumption. Discovery is enabled by a catalogue, where participants publish metadata describing themselves and their data and service offerings as Verifiable Presentations (VPs), such that other participants may query them. This paper presents the Eclipse Cross Federation Services Components (XFSC) Catalogue, which originated as a catalogue reference implementation for the Gaia-X federated cloud service architecture but is also generally applicable to metadata required to be trustable. This implementation provides basic lifecycle management for DCAT-style metadata records and schemas. It validates submitted VPs for their cryptographic integrity and trustability, and for their conformance to an extensible collection of semantic schemas. The claims in the latest versions of valid VP submissions are extracted into a searchable graph database. The implementation scales to large numbers of records and is secure by design. Filling the catalogue with content in a maintainable way requires bindings towards where data and service offerings are coming from: connectors that expose resources hosted in an organization's IT infrastructure towards the dataspace. We demonstrate the integration of our catalogue with the widely used Eclipse Dataspace Components Connector, enabling real-world use cases of the German Culture Dataspace. In addition, we discuss potential extensions and upcoming integrations of the catalogue., Comment: Preprint. Under review

We present a comprehensive classification theory for saturated Fell bundles over locally compact groups, utilizing data associated with their base group and unit fiber. This framework offers a unified approach to understanding the structure and properties of such bundles, providing key insights into their classification., Comment: 24 pages

Context. The MINCE (Measuring at Intermediate Metallicity Neutron-Capture Elements) project aims to provide high quality neutron-capture abundances measurements in several hundred stars at intermediate metallicity,-2.5 < [Fe/H] < -1.5. This project will shed light on the origin of the neutron-capture elements and the chemical enrichment of the Milky Way. Aims. The goal of this work is to chemically characterize the second sample of the MINCE project and compare the abundances with the galactic chemical evolution model at our disposal. Methods. We performed a standard abundance analysis based on 1D LTE model atmospheres on high-resolution and high-signal-to-noise-ratio UVES spectra. Results. We provide the kinematic classification (i.e., thin disk, thick disk, thin-to-thick disk, halo, Gaia Sausage Enceladus, Sequoia) of 99 stars and the atmospheric parameters for almost all stars. We derive the abundances for light elements (from Na to Zn) and neutron-capture elements (Rb, Sr, Y, Zr, Ba, La, Ce, Pr, Nd, Sm, Eu) in a subsample of 32 stars in the metallicity range -2.5 < Fe/H] < -1.00. In the subsample of 32 stars, we identify 8 active stars exhibiting (inverse) P-Cygni profile and one Li-rich star, CD 28-11039. We find a general agreement between the chemical abundances and the stochastic model computed for the chemical evolution of the Milky Way halo for the elements Mg, Ca, Si, Ti, Sc, Mn, Co, Ni, Zn, Rb, Sr, Y, Zr, Ba, La, and Eu . Conclusions. The MINCE project has already significantly increased the number of neutron-capture elements measurements in the intermediate metallicity range. The results from this sample are in perfect agreement with the previous MINCE sample. The good agreement between the chemical abundances and the chemical evolution model of the Galaxy supports the nucleosynthetic processes adopted to describe the origin of the n-capture elements., Comment: 33 pages, 15 figures, 11 tables

The excellent mechanical properties make graphene promising for realizing nanomechanical resonators with high resonant frequencies, large quality factors, strong nonlinearities, and the capability to effectively interface with various physical systems. Equipped with gate electrodes, it has been demonstrated that these exceptional device properties can be electrically manipulated, leading to a variety of nanomechanical/acoustic applications. Here, we review the recent progress of graphene nanomechanical resonators with a focus on their electrical tunability. First, we provide an overview of different graphene nanomechanical resonators, including their device structures, fabrication methods, and measurement setups. Then, the key mechanical properties of these devices, for example, resonant frequencies, nonlinearities, dissipations, and mode coupling mechanisms, are discussed, with their behaviors upon electrical gating being highlighted. After that, various potential classical/quantum applications based on these graphene nanomechanical resonators are reviewed. Finally, we briefly discuss challenges and opportunities in this field to offer future prospects of the ongoing studies on graphene nanomechanical resonators., Comment: Invited review

Three methods for computing the total star formation rate of the Milky Way agree well with a reference value of $1.65\pm0.19$ M$_\odot$ yr$^{-1}$. They are then used to determine the radial dependence of the star formation rate and face-on map for the Milky Way. First, the method based on a model of star formation in Hi-GAL-defined dense clumps, adjusted for an increase in the gas-to-dust ratio with Galactocentric radius, predicts $1.65\pm0.61$ M$_\odot$ yr$^{-1}$. Second, the method using the 70 $\mu$m emission, commonly used in other galaxies, with a technique to assign distances to the extended emission, predicts $1.42^{+0.63}_{-0.44}$ M$_\odot$ yr$^{-1}$. Finally, a method based on theoretical predictions of star formation efficiency as a function of virial parameter, with masses corrected for metallicity dependence, applied to a catalog of molecular clouds also predicts a value in agreement at $1.47$ M$_\odot$ yr$^{-1}$. The three methods predict the radial variation of the star formation rate, with remarkably good agreement from the CMZ out to about 20 kpc. More differences were seen in face-on maps with a resolution of 0.5 kpc made with the three approaches and in comparisons to the local (within 3 kpc) star formation rate, indicating limitations of the methods when applied to smaller scales. The 70 $\mu$m star formation rate follows very closely the surface density of molecular gas, corrected for a metallicity-dependent CO conversion factor. A molecular gas depletion time of 1 Gyr is consistent with the data, as is a molecular Kennicutt-Schmidt relation with a power-law slope of $1.10 \pm 0.06$., Comment: Accepted by ApJ

Global climate change has reduced crop resilience and pesticide efficacy, making reliance on synthetic pesticides inevitable, even though their widespread use poses significant health and environmental risks. While these pesticides remain a key tool in pest management, previous machine-learning applications in pesticide and agriculture have focused on classification or regression, leaving the fundamental challenge of generating new molecular structures or designing novel candidates unaddressed. In this paper, we propose Pesti-Gen, a novel generative model based on variational auto-encoders, designed to create pesticide candidates with optimized properties for the first time. Specifically, Pesti-Gen leverages a two-stage learning process: an initial pre-training phase that captures a generalized chemical structure representation, followed by a fine-tuning stage that incorporates toxicity-specific information. The model simultaneously optimizes over multiple toxicity metrics, such as (1) livestock toxicity and (2) aqua toxicity to generate environmentally friendly pesticide candidates. Notably, Pesti-Gen achieves approximately 68\% structural validity in generating new molecular structures, demonstrating the model's effectiveness in producing optimized and feasible pesticide candidates, thereby providing a new way for safer and more sustainable pest management solutions., Comment: 9 pages, 2 figures, 5 tables

Aerosol injectors applied in single-particle diffractive imaging experiments demonstrated their potential in efficiently delivering nanoparticles with high density. Continuous optimization of injector design is crucial for achieving high-density particle streams, minimizing background gas, enhancing X-ray interactions, and generating high-quality diffraction patterns. We present an updated simulation framework designed for the fast and effective exploration of the experimental parameter space to enhance the optimization process. The framework includes both the simulation of the carrier gas and the particle trajectories within injectors and their expansion into the experimental vacuum chamber. A hybrid molecular-continuum-simulation method (DSMC/CFD) is utilized to accurately capture the multi-scale nature of the flow. The simulation setup, initial benchmark results of the coupled approach, and the validation of the entire methodology against experimental data are presented.

Dense retrievers have demonstrated significant potential for neural information retrieval; however, they lack robustness to domain shifts, limiting their efficacy in zero-shot settings across diverse domains. In this paper, we set out to analyze the possible factors that lead to successful domain adaptation of dense retrievers. We include domain similarity proxies between generated queries to test and source domains. Furthermore, we conduct a case study comparing two powerful domain adaptation techniques. We find that generated query type distribution is an important factor, and generating queries that share a similar domain to the test documents improves the performance of domain adaptation methods. This study further emphasizes the importance of domain-tailored generated queries.

We study two-photon scattering by a two-level giant atom in a waveguide. We first study the case that the giant atom is coupled to the waveguide via two coupling points, and obtain Bethe ansatz eigenstates and eigenvalues in the Hilbert space of two-excitation. Then we derive bound states by subtracting the states corresponding to Bethe ansatz solutions from the entire two-excitation Hilbert space, and construct the two-photon scattering matrix (S-matrix) by using Bethe ansatz eigenstates and bound states. We further study the properties of output states, which include both the scattering and bound states, for arbitrarily incident two-photon states by using a concrete example. We find that the oscillation period of the scattering states and decay rates of the bound states strongly depend on the distance between two coupling points. Moreover, we find that the two-photon correlation in the bound states can be enhanced by changing such distance when the total energy of two incident photons equals to two times of single photon resonance energy. We also generalize our study to the case that the giant atom is coupled to the waveguide via $N$ coupling points. We obtain all the eigenstates and eigenvalues of the scattering matrix and construct the S-matrix. Comparing with the case of the two coupling points, we find the photon correlation can be further enhanced by increasing the number of the coupling points for the same incident states when the distance of any two nearest neighbor coupling points is half of the wavelength., Comment: 24pages,8figures

As data sets grow in size and complexity, it is becoming more difficult to pull useful features from them using hand-crafted feature extractors. For this reason, deep learning (DL) frameworks are now widely popular. The Holy Grail of DL and one of the most mysterious challenges in all of modern ML is to develop a fundamental understanding of DL optimization and generalization. While numerous optimization techniques have been introduced in the literature to navigate the exploration of the highly non-convex DL optimization landscape, many survey papers reviewing them primarily focus on summarizing these methodologies, often overlooking the critical theoretical analyses of these methods. In this paper, we provide an extensive summary of the theoretical foundations of optimization methods in DL, including presenting various methodologies, their convergence analyses, and generalization abilities. This paper not only includes theoretical analysis of popular generic gradient-based first-order and second-order methods, but it also covers the analysis of the optimization techniques adapting to the properties of the DL loss landscape and explicitly encouraging the discovery of well-generalizing optimal points. Additionally, we extend our discussion to distributed optimization methods that facilitate parallel computations, including both centralized and decentralized approaches. We provide both convex and non-convex analysis for the optimization algorithms considered in this survey paper. Finally, this paper aims to serve as a comprehensive theoretical handbook on optimization methods for DL, offering insights and understanding to both novice and seasoned researchers in the field.

Many problems are NP-hard and, unless P = NP, do not admit polynomial-time exact algorithms. The fastest known exact algorithms exactly usually take time exponential in the input size. Much research effort has gone into obtaining faster exact algorithms for instances that are sufficiently well-structured, e.g., through parameterized algorithms with running time $f(k)\cdot n^{\mathcal{O}(1)}$ where n is the input size and k quantifies some structural property such as treewidth. When k is small, this is comparable to a polynomial-time exact algorithm and outperforms the fastest exact exponential-time algorithms for a large range of k. In this work, we are interested instead in leveraging instance structure for polynomial-time approximation algorithms. We aim for polynomial-time algorithms that produce a solution of value at most or at least (depending on minimization vs. maximization) $c\mathrm{OPT}\pm f(k)$ where c is a constant. Unlike for standard parameterized algorithms, we do not assume that structural information is provided with the input. Ideally, we can obtain algorithms with small additive error, i.e., $c=1$ and $f(k)$ is polynomial or even linear in $k$. For small k, this is similarly comparable to a polynomial-time exact algorithm and will beat general case approximation for a large range of k. We study Vertex Cover, Connected Vertex Cover, Chromatic Number, and Triangle Packing. The parameters we consider are the size of minimum modulators to graph classes on which the respective problem is tractable. For most problem-parameter combinations we give algorithms that compute a solution of size at least or at most $\mathrm{OPT}\pm k$. In the case of Vertex Cover, most of our algorithms are tight under the Unique Games Conjecture and provide better approximation guarantees than standard 2-approximations if the modulator is smaller than the optimum solution.

As software systems grow more complex, automated testing has become essential to ensuring reliability and performance. Traditional methods for boundary value test input generation can be time-consuming and may struggle to address all potential error cases effectively, especially in systems with intricate or highly variable boundaries. This paper presents a framework for assessing the effectiveness of large language models (LLMs) in generating boundary value test inputs for white-box software testing by examining their potential through prompt engineering. Specifically, we evaluate the effectiveness of LLM-based test input generation by analyzing fault detection rates and test coverage, comparing these LLM-generated test sets with those produced using traditional boundary value analysis methods. Our analysis shows the strengths and limitations of LLMs in boundary value generation, particularly in detecting common boundary-related issues. However, they still face challenges in certain areas, especially when handling complex or less common test inputs. This research provides insights into the role of LLMs in boundary value testing, underscoring both their potential and areas for improvement in automated testing methods.

Dense retrievers have demonstrated significant potential for neural information retrieval; however, they exhibit a lack of robustness to domain shifts, thereby limiting their efficacy in zero-shot settings across diverse domains. Previous research has investigated unsupervised domain adaptation techniques to adapt dense retrievers to target domains. However, these studies have not focused on explainability analysis to understand how such adaptations alter the model's behavior. In this paper, we propose utilizing the integrated gradients framework to develop an interpretability method that provides both instance-based and ranking-based explanations for dense retrievers. To generate these explanations, we introduce a novel baseline that reveals both query and document attributions. This method is used to analyze the effects of domain adaptation on input attributions for query and document tokens across two datasets: the financial question answering dataset (FIQA) and the biomedical information retrieval dataset (TREC-COVID). Our visualizations reveal that domain-adapted models focus more on in-domain terminology compared to non-adapted models, exemplified by terms such as "hedge," "gold," "corona," and "disease." This research addresses how unsupervised domain adaptation techniques influence the behavior of dense retrievers when adapted to new domains. Additionally, we demonstrate that integrated gradients are a viable choice for explaining and analyzing the internal mechanisms of these opaque neural models.

Large language models (LLMs) often exhibit gender bias, posing challenges for their safe deployment. Existing methods to mitigate bias lack a comprehensive understanding of its mechanisms or compromise the model's core capabilities. To address these issues, we propose the CommonWords dataset, to systematically evaluate gender bias in LLMs. Our analysis reveals pervasive bias across models and identifies specific neuron circuits, including gender neurons and general neurons, responsible for this behavior. Notably, editing even a small number of general neurons can disrupt the model's overall capabilities due to hierarchical neuron interactions. Based on these insights, we propose an interpretable neuron editing method that combines logit-based and causal-based strategies to selectively target biased neurons. Experiments on five LLMs demonstrate that our method effectively reduces gender bias while preserving the model's original capabilities, outperforming existing fine-tuning and editing approaches. Our findings contribute a novel dataset, a detailed analysis of bias mechanisms, and a practical solution for mitigating gender bias in LLMs., Comment: preprint

Distributed dataflow systems like Spark and Flink enable data-parallel processing of large datasets on clusters. Yet, selecting appropriate computational resources for dataflow jobs is often challenging. For efficient execution, individual resource allocations, such as memory and CPU cores, must meet the specific resource requirements of the job. An alternative to selecting a static resource allocation for a job execution is autoscaling as implemented for example by Spark. In this paper, we evaluate the resource efficiency of autoscaling batch data processing jobs based on resource demand both conceptually and experimentally by analyzing a new dataset of Spark job executions on Google Dataproc Serverless. In our experimental evaluation, we show that there is no significant resource efficiency gain over static resource allocations. We found that the inherent conceptual limitations of such autoscaling approaches are the inelasticity of node size as well as the inelasticity of the ratio of memory to CPU cores., Comment: 6 pages, 3 figures, 6 tables. IEEE Big Data 2024

Multimodal fake news detection has become one of the most crucial issues on social media platforms. Although existing methods have achieved advanced performance, two main challenges persist: (1) Under-performed multimodal news information fusion due to model architecture solidification, and (2) weak generalization ability on partial-modality contained fake news. To meet these challenges, we propose a novel and flexible triple path enhanced neural architecture search model MUSE. MUSE includes two dynamic paths for detecting partial-modality contained fake news and a static path for exploiting potential multimodal correlations. Experimental results show that MUSE achieves stable performance improvement over the baselines., Comment: This paper has been accepted into the IEEE International Conference on Acoustics, Speech, and Signal Processing(ICASSP 2024)

This paper provides a complete classification of $\mathrm{GL}_n(\mathbb{R})$-distinguished irreducible representations of $\mathrm{GL}_n(\mathbb{C})$ when the representations are either generic or unitary. Additionally, for any $\mathrm{GL}_n(\mathbb{R})$-distinguished generic representation, we demonstrate that the period does not vanish on the distinguished minimal $K$-type. Furthermore, we establish the triviality of the $\varepsilon$-factor for distinguished representations and offer some applications to the branching problem using theta correspondence., Comment: Comments are welcomed!

This paper considers the achievable rate-exponent region of integrated sensing and communication systems in the presence of variable-length coding with feedback. This scheme is fundamentally different from earlier studies, as the coding methods that utilize feedback impose different constraints on the codewords. The focus herein is specifically on the Gaussian channel, where three achievable regions are analytically derived and numerically evaluated. In contrast to a setting without feedback, we show that a trade-off exists between the operations of sensing and communications., Comment: Accepted at the IEEE Wireless Communications and Networking Conference (WCNC) 2025

In this paper we consider a particular class of solutions of the linear Boltzmann-Rayleigh equation, known in the nonlinear setting as Homoenergetic solutions. These solutions describe the dynamics of Boltzmann gases under the effect of different mechanical deformations. Therefore, the long-time behaviour of these solutions cannot be described by Maxwellian distributions and it strongly depends on the homogeneity of the collision kernel of the equation. Here we focus on the paradigmatic case of simple shear deformations and in the case of cut-off collision kernels with homogeneity $\gamma\geq 0$, in particular covering the case of Maxwell molecules (i.e. $\gamma=0$) and hard potentials with $0\leq \gamma <1$. We first prove a well-posedness result for this class of solutions in the space of non-negative Radon measures and then we rigorously prove the existence of a stationary solution under the non-equilibrium condition which is induced by the presence of the shear deformation. In the case of Maxwell molecules we prove that there is a different behaviour of the solutions for small and large values of the shear parameter., Comment: 35 pages

Forsstr\"om et al. [8] recently introduced a large class of $\{0,1\}$-valued processes that they named Poisson representable. In addition to deriving several interesting properties for these processes, their main focus was determining which processes are contained in this class. In this paper, we derive new characteristics for Poisson representable processes in terms of certain mixing properties. Using these, we argue that neither the upper invariant measure of the supercritical contact process on $\mathbb{Z}^d$ nor the plus state of the Ising model on $\mathbb{Z}^2$ within the phase transition regime is Poisson representable. Moreover, we show that on $\mathbb{Z}^d$, $d\geq 2$, any non-extremal translation invariant state of the Ising model cannot be Poisson representable. Together, these results provide answers to questions raised in [8]., Comment: 25 pages

Federated Learning (FL) emerged as a learning method to enable the server to train models over data distributed among various clients. These clients are protective about their data being leaked to the server, any other client, or an external adversary, and hence, locally train the model and share it with the server rather than sharing the data. The introduction of sophisticated inferencing attacks enabled the leakage of information about data through access to model parameters. To tackle this challenge, privacy-preserving federated learning aims to achieve differential privacy through learning algorithms like DP-SGD. However, such methods involve adding noise to the model, data, or gradients, reducing the model's performance. This work provides a theoretical analysis of the tradeoff between model performance and communication complexity of the FL system. We formally prove that training for one local epoch per global round of training gives optimal performance while preserving the same privacy budget. We also investigate the change of utility (tied to privacy) of FL models with a change in the number of clients and observe that when clients are training using DP-SGD and argue that for the same privacy budget, the utility improved with increased clients. We validate our findings through experiments on real-world datasets. The results from this paper aim to improve the performance of privacy-preserving federated learning systems.

In a reconfiguration problem, we are given two feasible solutions of a combinatorial problem and our goal is to determine whether it is possible to reconfigure one into the other, with the steps dictated by specific reconfiguration rules. Traditionally, most studies on reconfiguration problems have focused on rules that allow changing a single element at a time. In contrast, this paper considers scenarios in which $k \ge 2$ elements can be changed simultaneously. We investigate the general reconfiguration problem of isomorphisms. For the Induced Subgraph Isomorphism Reconfiguration problem, we show that the problem remains $\textsf{PSPACE}$-complete even under stringent constraints on the pattern graph when $k$ is constant. We then give two meta-theorems applicable when $k$ is slightly less than the number of vertices in the pattern graph. In addition, we investigate the complexity of the Independent Set Reconfiguration problem, which is a special case of the Induced Subgraph Isomorphism Reconfiguration problem.

Autonomous Driving Systems (ADSs) are safety-critical, as real-world safety violations can result in significant losses. Rigorous testing is essential before deployment, with simulation testing playing a key role. However, ADSs are typically complex, consisting of multiple modules such as perception and planning, or well-trained end-to-end autonomous driving systems. Offline methods, such as the Genetic Algorithm (GA), can only generate predefined trajectories for dynamics, which struggle to cause safety violations for ADSs rapidly and efficiently in different scenarios due to their evolutionary nature. Online methods, such as single-agent reinforcement learning (RL), can quickly adjust the dynamics' trajectory online to adapt to different scenarios, but they struggle to capture complex corner cases of ADS arising from the intricate interplay among multiple vehicles. Multi-agent reinforcement learning (MARL) has a strong ability in cooperative tasks. On the other hand, it faces its own challenges, particularly with convergence. This paper introduces MARL-OT, a scalable framework that leverages MARL to detect safety violations of ADS resulting from surrounding vehicles' cooperation. MARL-OT employs MARL for high-level guidance, triggering various dangerous scenarios for the rule-based online fuzzer to explore potential safety violations of ADS, thereby generating dynamic, realistic safety violation scenarios. Our approach improves the detected safety violation rate by up to 136.2% compared to the state-of-the-art (SOTA) testing technique.

The industrial application of Deep Reinforcement Learning (DRL) is frequently slowed down because of the inability to generate the experience required to train the models. Collecting data often involves considerable time and economic effort that is unaffordable in most cases. Fortunately, devices like robots can be trained with synthetic experience thanks to virtual environments. With this approach, the sample efficiency problems of artificial agents are mitigated, but another issue arises: the need for efficiently transferring the synthetic experience into the real world (sim-to-real). This paper analyzes the robustness of a state-of-the-art sim-to-real technique known as progressive neural networks (PNNs) and studies how adding diversity to the synthetic experience can complement it. To better understand the drivers that lead to a lack of robustness, the robotic agent is still tested in a virtual environment to ensure total control on the divergence between the simulated and real models. The results show that a PNN-like agent exhibits a substantial decrease in its robustness at the beginning of the real training phase. Randomizing certain variables during simulation-based training significantly mitigates this issue. On average, the increase in the model's accuracy is around 25% when diversity is introduced in the training process. This improvement can be translated into a decrease in the required real experience for the same final robustness performance. Notwithstanding, adding real experience to agents should still be beneficial regardless of the quality of the virtual experience fed into the agent., Comment: This article was accepted and published in Applied Intelligence (10.1007/s10489-022-04227-3)

Depth optimization of a quantum circuit consisting of commuting operations is shown to be reducible to the vertex coloring problem in graph theory. The reduction immediately leads to an algorithm for circuit optimization of commuting gates utilizing any coloring solver. To examine its applicability, known quantum circuits from the literature are optimized.

In a generic hybrid network, classical, quantum, and no-signaling sources emit local hidden variables, stabilizer states, and no-signaling systems, respectively. We investigate the maximal correlation strength as the non-classical feature in this network. Given the associated fully-quantum network of a hybrid network, we exploit the stabilizing operators of the distributed quantum state to construct segmented Bell operators and the Bell inequalities tailored to the state. We derive the upper bounds of the maximal correlation strengths in the associated full-classical, full-quantum, and fully-no-signaling networks as the benchmarks. Our study shows that the achievable correlation strength depends on the number of type-A measurements and that of nonlocal sources. We also introduce the t-nonlocality criteria, indicating that the achievable maximal correlation strength cannot modeled by the network with at least t observers with local hidden variables performing type-A measurements., Comment: 15 pages

For educational institutions in STEM areas, the provision of practical learning scenarios is, traditionally, a major concern. In the 21st century, the explosion of ICTs, as well as the universalization of low-cost hardware, have allowed the proliferation of technical solutions for any field; in the case of experimentation, encouraging the emergence and proliferation of non-traditional experimentation platforms. This movement has resulted in enriched practical environments, with wider adaptability for both students and teachers. In this paper, the evolution of scholar production has been analyzed at the global level from 2000 to 2020. Current and emerging experimentation scenarios have been identified, specifying the scope and boundaries between them., Comment: Transaction on learning Technologies, 20 pages

We establish the foundations of the local linear symplectic geometry of $p$-adic integrable systems on $p$-adic analytic symplectic $4$-dimensional manifolds, by classifiying all their possible local linear models. In order to do this we develop a new approach, of independent interest, to the theory of Weierstrass and Williamson concerning the diagonalization of real matrices by real symplectic matrices, which we show can be generalized to $p$-adic matrices, leading to a classification of real $(2n)$-by-$(2n)$ matrices and of $p$-adic $2$-by-$2$ and $4$-by-$4$ matrix normal forms. A combination of these results and the Hardy-Ramanujan formula shows that both the number of $p$-adic matrix normal forms and the number of local linear models of $p$-adic integrable systems grow almost exponentially with their dimensions, in strong contrast with the real case. Although the paper deals mostly with matrices and systems whose singularities are non-degenerate, we include several classifications in the degenerate $p$-adic case, for which the literature is limited even in the real case. The paper also includes a number of results concerning symplectic linear algebra over arbitrary fields in arbitrary dimensions as well as applications to $p$-adic mechanical systems and singularity theory for $p$-adic analytic maps on $4$-manifolds. These results fit in a program, proposed a decade ago by Voevodsky, Warren and the second author, to develop a $p$-adic theory of integrable systems with the goal of later implementing it using proof assistants., Comment: 98 pages, 18 figures

We consider mixed strong-electroweak corrections to Higgs production via gluon fusion, in which the Higgs boson couples to the top quark. Using the method of differential equations, we compute all of the master integrals that contribute to this process at two loops through $\mathcal{O}(\epsilon^2)$ in the dimensional regularization parameter $\epsilon = (d-4)/2$, keeping full analytic dependence on the top quark, Higgs, W, and Z boson masses. We present the results for these master integrals in terms of iterated integrals whose kernels depend on elliptic curves.

Owing to their significant advantages in terms of bandwidth, power efficiency and especially speed, optical neuromorphic systems have arisen as interesting alternatives to conventional semiconductor devices. Recently, photonic crystal nanolasers with excitable behaviour were first demonstrated. Depending on the pumping strength, they emit short optical pulses -- spikes -- at various intervals on a nanosecond timescale. In this theoretical work, we show how networks of such photonic spiking neurons can be used for Bayesian inference through sampling from learned probability distributions. We provide a detailed derivation of translation rules from conventional sampling networks such as Boltzmann machines to photonic spiking networks and demonstrate their functionality across a range of generative tasks. Finally, we provide estimates of processing speed and power consumption, for which we expect improvements of several orders of magnitude over current state-of-the-art neuromorphic systems., Comment: 13 pages, 9 figures

Performance models are essential for automatic code optimization, enabling compilers to predict the effects of code transformations on performance and guide search for optimal transformations. Building state-of-the-art performance models with deep learning, however, requires vast labeled datasets of random programs -- an expensive and time-consuming process, stretching over months. This paper introduces a self-supervised pre-training scheme with autoencoders to reduce the need for labeled data. By pre-training on a large dataset of random programs, the autoencoder learns representations of code and transformations, which are then used to embed programs for the performance model. Implemented in the Tiramisu autoscheduler, our approach improves model accuracy with less data. For example, to achieve a MAPE of 20.72%, the original model requires 18 million data points, whereas our method achieves a similar MAPE of 22.44% with only 3.6 million data points, reducing data requirements by 5x.

Graph Neural Networks (GNNs) are powerful tools for addressing learning problems on graph structures, with a wide range of applications in molecular biology and social networks. However, the theoretical foundations underlying their empirical performance are not well understood. In this article, we examine the convergence of gradient dynamics in the training of linear GNNs. Specifically, we prove that the gradient flow training of a linear GNN with mean squared loss converges to the global minimum at an exponential rate. The convergence rate depends explicitly on the initial weights and the graph shift operator, which we validate on synthetic datasets from well-known graph models and real-world datasets. Furthermore, we discuss the gradient flow that minimizes the total weights at the global minimum. In addition to the gradient flow, we study the convergence of linear GNNs under gradient descent training, an iterative scheme viewed as a discretization of gradient flow., Comment: 27 pages, 8 figures

Fine-grained noise maps are vital for epidemiological studies on traffic noise. However, detailed information on traffic noise is often limited, especially in Eastern Europe. Rigid linear noise land-use regressions are typically employed to estimate noise levels; however, machine learning likely offers more accurate noise predictions. We innovated by comparing the predictive accuracies of supervised machine learning models to estimate traffic noise levels across the five largest Bulgarian cities. In situ A-weighted equivalent continuous sound levels were obtained from 232 fixed-site monitors across these cities. We included transport- and land-use-related predictors using 50-1,000 m buffers. Extreme gradient boosting (XGB) had the highest ten-fold cross-validated fit (R2=0.680) and the lowest root mean square error (RMSE=4.739), insignificantly besting the random forest-based model (R2=0.667, RMSE=4.895). Support vector regression (R2=0.633, RMSE=5.358), elastic net (R2=0.568, RMSE=5.625), and linear regression (R2=0.548, RMSE=5.569) performed significantly worse. Shapley values for the XGB showed that the length of major roads within 100 m buffers, footways within 50 m buffers, residential roads within 50 m buffers, and the number of buildings within 50 m buffers were important non-linear predictors. Our spatially resolved noise maps revealed striking geographic noise variations and that, on average, 96.8% of the urban population experiences harmful noise levels.

About 4 billion years ago, the Earth probably fulfilled the environmental conditions necessary to favour the transition from primitive chemistry to life. Based on a theoretical hairpin duplication origin of tRNAs and their putative peptide-coding capability before ribosomes existed, here I postulate that, at this hypothetical environment, Earth's daily temperature cycles could have provided a unique planetary thermocycler to create self-replicating RNA hairpins that simultaneously templated amino acids polymerization in a primordial PCR well of prebiotic molecules. This early RNA hairpin-peptide interaction could have established a reciprocal nucleopeptide replicator that paved the way for catalytic translation and replication machineries towards the origin of LUCA., Comment: 17 pages, 4 figures

Batch normalization (BatchNorm) is a popular layer normalization technique used when training deep neural networks. It has been shown to enhance the training speed and accuracy of deep learning models. However, the mechanics by which BatchNorm achieves these benefits is an active area of research, and different perspectives have been proposed. In this paper, we investigate the effect of BatchNorm on the resulting hidden representations, that is, the vectors of activation values formed as samples are processed at each hidden layer. Specifically, we consider the sparsity of these representations, as well as their implicit clustering -- the creation of groups of representations that are similar to some extent. We contrast image classification models trained with and without batch normalization and highlight consistent differences observed. These findings highlight that BatchNorm's effect on representational sparsity is not a significant factor affecting generalization, while the representations of models trained with BatchNorm tend to show more advantageous clustering characteristics.

Dense retrievers have demonstrated significant potential for neural information retrieval; however, they exhibit a lack of robustness to domain shifts, thereby limiting their efficacy in zero-shot settings across diverse domains. A state-of-the-art domain adaptation technique is Generative Pseudo Labeling (GPL). GPL uses synthetic query generation and initially mined hard negatives to distill knowledge from cross-encoder to dense retrievers in the target domain. In this paper, we analyze the documents retrieved by the domain-adapted model and discover that these are more relevant to the target queries than those of the non-domain-adapted model. We then propose refreshing the hard-negative index during the knowledge distillation phase to mine better hard negatives. Our remining R-GPL approach boosts ranking performance in 13/14 BEIR datasets and 9/12 LoTTe datasets. Our contributions are (i) analyzing hard negatives returned by domain-adapted and non-domain-adapted models and (ii) applying the GPL training with and without hard-negative re-mining in LoTTE and BEIR datasets.

Human pose estimation has given rise to a broad spectrum of novel and compelling applications, including action recognition, sports analysis, as well as surveillance. However, accurate video pose estimation remains an open challenge. One aspect that has been overlooked so far is that existing methods learn motion clues from all pixels rather than focusing on the target human body, making them easily misled and disrupted by unimportant information such as background changes or movements of other people. Additionally, while the current Transformer-based pose estimation methods has demonstrated impressive performance with global modeling, they struggle with local context perception and precise positional identification. In this paper, we try to tackle these challenges from three aspects: (1) We propose a bilayer Human-Keypoint Mask module that performs coarse-to-fine visual token refinement, which gradually zooms in on the target human body and keypoints while masking out unimportant figure regions. (2) We further introduce a novel deformable cross attention mechanism and a bidirectional separation strategy to adaptively aggregate spatial and temporal motion clues from constrained surrounding contexts. (3) We mathematically formulate the deformable cross attention, constraining that the model focuses solely on the regions centered at the target person body. Empirically, our method achieves state-of-the-art performance on three large-scale benchmark datasets. A remarkable highlight is that our method achieves an 84.8 mean Average Precision (mAP) on the challenging wrist joint, which significantly outperforms the 81.5 mAP achieved by the current state-of-the-art method on the PoseTrack2017 dataset.

In~\cite{fgs}, the class of Poisson representable processes was introduced. Several well-known processes were shown not to belong to this class, with examples including both the Curie Weiss model and the Ising model on $ \mathbb{Z}^2 $ for certain choices of parameters. Curiously, it was also shown that all positively associated $ \{ 0,1 \}$-valued Markov chains do belong to this class. In this paper, we interpolate between Markov chains and Ising models by considering tree-indexed Markov chains. In particular, we show that for any finite tree that is not a path, whether or not the corresponding tree-indexed Markov chain is representable always depends on the parameters. Moreover, we give an example of a family of infinite trees such that the corresponding tree-indexed Markov chains are representable for some non-trivial parameters. In addition, we give alternative proofs and arguments and also strengthen several of the results in~\cite{fgs}., Comment: 30 pages, 7 figures

Large Language Models (LLMs) are widely applied to downstream domains. However, current LLMs for high-stakes domain tasks, such as financial investment and legal QA, typically generate brief answers without reasoning processes and explanations. This limits users' confidence in making decisions based on their responses. While original CoT shows promise, it lacks self-correction mechanisms during reasoning. This work introduces Domain$o1$s, which enhances LLMs' reasoning capabilities on domain tasks through supervised fine-tuning and tree search. We construct CoT-stock-2k and CoT-legal-2k datasets for fine-tuning models that activate domain-specific reasoning steps based on their judgment. Additionally, we propose Selective Tree Exploration to spontaneously explore solution spaces and sample optimal reasoning paths to improve performance. We also introduce PROOF-Score, a new metric for evaluating domain models' explainability, complementing traditional accuracy metrics with richer assessment dimensions. Extensive experiments on stock investment recommendation and legal reasoning QA tasks demonstrate Domaino1s's leading performance and explainability. Our code is available at https://anonymous.4open.science/r/Domaino1s-006F/.

When considering magnetic systems in the thermodynamic limit and at low enough temperature, one finds typically magnetically ordered phases. In contrast, in the high-temperature regime, the interactions between the spin degrees of freedom become less relevant and the system loses its order: this is a paramagnet. This phenomenon of phase transition has been well understood using statistical mechanics and simple modelling. In these short lecture notes, we will review the possibility that a many-body magnetic system may remain magnetically disordered down to zero-temperature, both for classical or quantum spins. These exotic phases of matter are known, respectively, as classical and quantum spin liquids. We will address in particular the question of classification of these classical or quantum disordered phases. Indeed, while they have no local order parameter by definition, they can still possess different qualitative features related e.g. to the nature of their correlations or elementary excitations, which could be probed experimentally., Comment: lecture notes from a talk given at the IHP workshop about "Open questions in the quantum many-body problem" organized by Yvan Castin and Carlos S\'a de Melo

Time series data from a variety of sensors and IoT devices need effective compression to reduce storage and I/O bandwidth requirements. While most time series databases and systems rely on lossless compression, lossy techniques offer even greater space-saving with a small loss in precision. However, the unknown impact on downstream analytics applications requires a semi-manual trial-and-error exploration. We initiate work on lossy compression that provides guarantees on complex statistical features (which are strongly correlated with the accuracy of the downstream analytics). Specifically, we propose a new lossy compression method that provides guarantees on the autocorrelation and partial-autocorrelation functions (ACF/PACF) of a time series. Our method leverages line simplification techniques as well as incremental maintenance of aggregates, blocking, and parallelization strategies for effective and efficient compression. The results show that our method improves compression ratios by 2x on average and up to 54x on selected datasets, compared to previous lossy and lossless compression methods. Moreover, we maintain -- and sometimes even improve -- the forecasting accuracy by preserving the autocorrelation properties of the time series. Our framework is extensible to multivariate time series and other statistical features of the time series., Comment: 14 pages, 13 figures

We propose a homogeneity test closely related to the concept of linear separability between two samples. Using the test one can answer the question whether a linear classifier is merely ``random'' or effectively captures differences between two classes. We focus on establishing upper bounds for the test's \emph{p}-value when applied to two-dimensional samples. Specifically, for normally distributed samples we experimentally demonstrate that the upper bound is highly accurate. Using this bound, we evaluate classifiers designed to detect ER-positive breast cancer recurrence based on gene pair expression. Our findings confirm significance of IGFBP6 and ELOVL5 genes in this process., Comment: 16 pages, 3 figures

The success of Large Language Models (LLMs) in various domains has led researchers to apply them to graph-related problems by converting graph data into natural language text. However, unlike graph data, natural language inherently has sequential order. We observe that when the order of nodes or edges in the natural language description of a graph is shuffled, despite describing the same graph, model performance fluctuates between high performance and random guessing. Additionally, due to the limited input context length of LLMs, current methods typically randomly sample neighbors of target nodes as representatives of their neighborhood, which may not always be effective for accurate reasoning. To address these gaps, we introduce GraphBC. This novel model framework features an Order Selector Module to ensure proper serialization order of the graph and a Subgraph Sampling Module to sample subgraphs with better structure for better reasoning. Furthermore, we propose Graph CoT obtained through distillation, and enhance LLM's reasoning and zero-shot learning capabilities for graph tasks through instruction tuning. Experiments on multiple datasets for node classification and graph question-answering demonstrate that GraphBC improves LLMs' performance and generalization ability on graph tasks.

We study and compare some topos of types constructions, which were defined by Garner, Joyal, Reyes and Makkai.

Recent breakthroughs in large-scale generative modeling have demonstrated the potential of foundation models in domains such as natural language, computer vision, and protein structure prediction. However, their application in the energy and smart grid sector remains limited due to the scarcity and heterogeneity of high-quality data. In this work, we propose a method for creating high-fidelity electricity consumption time series data for rare and unseen context variables (e.g. location, building type, photovoltaics). Our approach, Context Encoding and Normalizing Time Series Generation, or CENTS, includes three key innovations: (i) A context normalization approach that enables inverse transformation for time series context variables unseen during training, (ii) a novel context encoder to condition any state-of-the-art time-series generator on arbitrary numbers and combinations of context variables, (iii) a framework for training this context encoder jointly with a time-series generator using an auxiliary context classification loss designed to increase expressivity of context embeddings and improve model performance. We further provide a comprehensive overview of different evaluation metrics for generative time series models. Our results highlight the efficacy of the proposed method in generating realistic household-level electricity consumption data, paving the way for training larger foundation models in the energy domain on synthetic as well as real-world data.

We present numerical approaches to approximate the solutions of systems of non-local balance laws. In particular, we derive a non-staggered central scheme based on the well-known Nessyahu-Tadmor scheme and show that it preserves the positivity of solutions. To reduce the numerical diffusion, we then consider a non-local version of the Kurganov-Tadmor scheme. For both schemes, an appropriate approximation of the non-local term is crucial to maintain a second-order accuracy. Numerical examples validate our theory and demonstrate its applicability to various systems of non-local problems.

Human Activity Recognition (HAR) is the identification and classification of static and dynamic human activities, which find applicability in domains like healthcare, entertainment, security, and cyber-physical systems. Traditional HAR approaches rely on wearable sensors, vision-based systems, or ambient sensing, each with inherent limitations such as privacy concerns or restricted sensing conditions. Recently, Radio Frequency (RF)-based HAR has emerged, relying on the interaction of RF signals with people to infer activities. Reconfigurable Intelligent Surfaces (RISs) offers significant potential in this domain by enabling dynamic control over the wireless environment, thus enhancing the information extracted from RF signals. We present an Hand Gesture Recognition (HGR) approach that employs our own 6.5 GHz RIS design to manipulate the RF medium in an area of interest. We validate the capability of our RIS to control the medium by characterizing its steering response, and further we gather and publish a dataset for HGR classification for three different hand gestures. By employing two Convolutional Neural Networks (CNNs) models trained on data gathered under random and optimized RIS configuration sequences, we achieved classification accuracies exceeding 90%.

The accurate detection and segmentation of pavement distresses, particularly tiny and small cracks, are critical for early intervention and preventive maintenance in transportation infrastructure. Traditional manual inspection methods are labor-intensive and inconsistent, while existing deep learning models struggle with fine-grained segmentation and computational efficiency. To address these challenges, this study proposes Context-CrackNet, a novel encoder-decoder architecture featuring the Region-Focused Enhancement Module (RFEM) and Context-Aware Global Module (CAGM). These innovations enhance the model's ability to capture fine-grained local details and global contextual dependencies, respectively. Context-CrackNet was rigorously evaluated on ten publicly available crack segmentation datasets, covering diverse pavement distress scenarios. The model consistently outperformed 9 state-of-the-art segmentation frameworks, achieving superior performance metrics such as mIoU and Dice score, while maintaining competitive inference efficiency. Ablation studies confirmed the complementary roles of RFEM and CAGM, with notable improvements in mIoU and Dice score when both modules were integrated. Additionally, the model's balance of precision and computational efficiency highlights its potential for real-time deployment in large-scale pavement monitoring systems.

We describe the self-duality symmetries for 4d Maxwell theory at any value of the coupling $\tau$ via topological manipulations that include gauging continuous symmetries with flat connections. Moreover, we demonstrate that the $SL(2,\mathbb{Z})$ duality of Maxwell can be realized by trivial gauging operations. Using a non-compact symmetry topological field theory (symTFT) to encode continuous global symmetries of the boundary theory, we reproduce the symTFT for Maxwell and find within this framework condensation defects that implement the non-invertible $SO(2)$ self-duality symmetry. These defects are systematically constructed by higher gauging subsets of the bulk $\mathbb{R}\times \mathbb{R}$ symmetry with appropriate discrete torsion., Comment: 21 pages + appendices, 2 figures