title: Real structures. An introduction to a general approach

abstract: In this paper we attempt to present a very general approach to the study of structures (somehow) defined on a set $X$ by a family of maps $d: X \times X \mapsto \mathbb{R}^+$. It will be shown how the assignment of a preorder $\prec_{\Pi}$ on a set $\Pi$ of families of maps from $X \times X$ into $\mathbb{R}^+$ defines a structure on $X$. The structures obtained in this way will be called \emph{real structures}. For real structures on two different sets we study when they are \emph{of the same type}. An answer to this question will allow to introduce the notion of \emph{morphism}, and then to give the definition of the initial real structure with respect to a family of maps, and so also the definition of product real structure. Various examples of preorders, and hence of real structures, will be exhibited and discussed. A few examples of morphisms will be proposed.


title: Particle production and entropy measurement in ALICE

abstract: One of the main goals in the study of hadronic interactions at LHC energies is the attempt to characterize the mechanisms involved in particle production in different regimes. The charged-particle multiplicity is one of the most interesting observables in these kind of studies. Measurements of charged-particle pseudorapidity densities in pp collisions at $\sqrt{\textit{s}}$ = 13.6 TeV are presented, for the first time. Furthermore, we present a method for better understanding the collision dynamics. On the one hand, the pseudorapidity dependence of charged-particle production provides information on the partonic structure of the colliding hadrons and is sensitive to non-linear QCD evolution in the initial state. On the other hand to understand the thermal-like behavior and particle yields in pp collisions, a possible approach is to address the principles of quantum states and their entanglement in the produced system. The entanglement in the initial state has a measurable effect on the evolution of the system and is the driving mechanism behind the thermal-like behavior and particle yields observed. We describe a method to understand the level of entanglement in the initial and final states of the collision using a calculation of entropy, the final-state entropy being calculated from multiplicity distributions.


title: Nuclear uncertainties associated with the ejecta of a neutron-star black-hole accretion disk

abstract: The simulation of heavy element nucleosynthesis requires input from yet-to-be-measured nuclear properties. The uncertainty in the values of these off-stability nuclear properties propagates to uncertainties in the predictions of elemental and isotopic abundances. However, for any given astrophysical explosion, there are many different trajectories, i.e. temperature and density histories, experienced by outflowing material and thus different nuclear properties can come into play. We consider combined nucleosynthesis results from 460,000 trajectories from a neutron star-black hole accretion disk and the find spread in elemental predictions due solely to unknown nuclear properties to be a factor of a few. We analyze this relative spread in model predictions due to nuclear variations and conclude that the uncertainties can be attributed to a combination of properties in a given region of the abundance pattern. We calculate a cross-correlation between mass changes and abundance changes to show how variations among the properties of participating nuclei may be explored. Our results provide further impetus for measurements of multiple quantities on individual short-lived neutron-rich isotopes at modern experimental facilities.


title: Particle Acceleration and Nonthermal Emission at the Intrabinary Shock of Spider Pulsars. I: Non-Radiative Simulations

abstract: Spider pulsars are compact binary systems composed of a millisecond pulsar and a low-mass companion. Their X-ray emission - modulated on the orbital period - is interpreted as synchrotron radiation from high-energy electrons accelerated at the intrabinary shock. We perform global two-dimensional particle-in-cell simulations of the intrabinary shock, assuming that the shock wraps around the companion star. When the pulsar spin axis is nearly aligned with the orbital angular momentum, we find that the magnetic energy of the relativistic pulsar wind - composed of magnetic stripes of alternating field polarity - efficiently converts to particle energy at the intrabinary shock, via shock-driven reconnection. The highest energy particles accelerated by reconnection can stream ahead of the shock and be further accelerated by the upstream motional electric field. In the downstream, further energization is governed by stochastic interactions with the plasmoids / magnetic islands generated by reconnection. We also extend our earlier work (Cort\'es & Sironi 2022) by performing simulations that have a larger (and more realistic) companion size and a more strongly magnetized pulsar wind. We confirm that our first-principles synchrotron spectra and lightcurves are in good agreement with X-ray observations.


title: Predictive Analytics of Varieties of Potatoes

abstract: We explore the application of machine learning algorithms to predict the suitability of Russet potato clones for advancement in breeding trials. Leveraging data from manually collected trials in the state of Oregon, we investigate the potential of a wide variety of state-of-the-art binary classification models. We conduct a comprehensive analysis of the dataset that includes preprocessing, feature engineering, and imputation to address missing values. We focus on several key metrics such as accuracy, F1-score, and Matthews correlation coefficient (MCC) for model evaluation. The top-performing models, namely the multi-layer perceptron classifier (MLPC), histogram-based gradient boosting classifier (HGBC), and a support vector machine classifier (SVC), demonstrate consistent and significant results. Variable selection further enhances model performance and identifies influential features in predicting trial outcomes. The findings emphasize the potential of machine learning in streamlining the selection process for potato varieties, offering benefits such as increased efficiency, substantial cost savings, and judicious resource utilization. Our study contributes insights into precision agriculture and showcases the relevance of advanced technologies for informed decision-making in breeding programs.


title: Personalized Federated Learning for Spatio-Temporal Forecasting: A Dual Semantic Alignment-Based Contrastive Approach

abstract: The existing federated learning (FL) methods for spatio-temporal forecasting fail to capture the inherent spatio-temporal heterogeneity, which calls for personalized FL (PFL) methods to model the spatio-temporally variant patterns. While contrastive learning approach is promising in addressing spatio-temporal heterogeneity, the existing methods are noneffective in determining negative pairs and can hardly apply to PFL paradigm. To tackle this limitation, we propose a novel PFL method, named Federated dUal sEmantic aLignment-based contraStive learning (FUELS), which can adaptively align positive and negative pairs based on semantic similarity, thereby injecting precise spatio-temporal heterogeneity into the latent representation space by auxiliary contrastive tasks. From temporal perspective, a hard negative filtering module is introduced to dynamically align heterogeneous temporal representations for the supplemented intra-client contrastive task. From spatial perspective, we design lightweight-but-efficient prototypes as client-level semantic representations, based on which the server evaluates spatial similarity and yields client-customized global prototypes for the supplemented inter-client contrastive task. Extensive experiments demonstrate that FUELS outperforms state-of-the-art methods, with communication cost decreasing by around 94%.


title: Mitigating analytical variability in fMRI results with style transfer

abstract: We propose a novel approach to improve the reproducibility of neuroimaging results by converting statistic maps across different functional MRI pipelines. We make the assumption that pipelines can be considered as a style component of data and propose to use different generative models, among which, Diffusion Models (DM) to convert data between pipelines. We design a new DM-based unsupervised multi-domain image-to-image transition framework and constrain the generation of 3D fMRI statistic maps using the latent space of an auxiliary classifier that distinguishes statistic maps from different pipelines. We extend traditional sampling techniques used in DM to improve the transition performance. Our experiments demonstrate that our proposed methods are successful: pipelines can indeed be transferred, providing an important source of data augmentation for future medical studies.


title: Improvement of Performance in Freezing of Gait detection in Parkinsons Disease using Transformer networks and a single waist worn triaxial accelerometer

abstract: Freezing of gait (FOG) is one of the most incapacitating symptoms in Parkinsons disease, affecting more than 50 percent of patients in advanced stages of the disease. The presence of FOG may lead to falls and a loss of independence with a consequent reduction in the quality of life. Wearable technology and artificial intelligence have been used for automatic FOG detection to optimize monitoring. However, differences between laboratory and daily-life conditions present challenges for the implementation of reliable detection systems. Consequently, improvement of FOG detection methods remains important to provide accurate monitoring mechanisms intended for free-living and real-time use. This paper presents advances in automatic FOG detection using a single body-worn triaxial accelerometer and a novel classification algorithm based on Transformers and convolutional networks. This study was performed with data from 21 patients who manifested FOG episodes while performing activities of daily living in a home setting. Results indicate that the proposed FOG-Transformer can bring a significant improvement in FOG detection using leave-one-subject-out cross-validation (LOSO CV). These results bring opportunities for the implementation of accurate monitoring systems for use in ambulatory or home settings.


title: Multi-purpose InSTRument for Astronomy at Low-resolution: MISTRAL@OHP

abstract: MISTRAL is the new Faint Object Spectroscopic Camera mounted at the folded Cassegrain focus of the 1.93m telescope of Haute-Provence Observatory. We describe the design and components of the instrument and give some details about its operation. We emphasise in particular the various observing modes and the performances of the detector. A short description is also given about the working environment. Various types of objects, including stars, nebulae, comets, novae, galaxies have been observed during various test phases to evaluate the performances of the instrument. The instrument covers the range of 4000 to 8000A with the blue setting, or from 6000 to 10000A with the red setting, at an average spectral resolution of 700. Its peak efficiency is about 22% at 6000A. In spectroscopy, a limiting magnitude of 19.5 can be achieved for a point source in one hour with a signal to noise of 3 in the continuum (and better if emission lines are present). In imaging mode, limiting magnitudes of 20-21 can be obtained in 10-20mn (with average seing conditions of 2.5 arcsec at OHP). The instrument is very users-friendly and can be put into operations in less than 15mn (rapid change-over from the other instrument in use) if required by the science (like for Gamma-Rays Bursts). Some first scientific results are described for various types of objects, and in particular for the follow-up of GRBs. While some further improvements are still under way, in particular to ease the switch from blue to red setting and add more grisms or filters, MISTRAL is ready for the follow-up of transients and other variable objects, in the soon-to-come era of e.g. the SVOM satellite and of the Rubin telescope.


title: Bi-level Guided Diffusion Models for Zero-Shot Medical Imaging Inverse Problems

abstract: In the realm of medical imaging, inverse problems aim to infer high-quality images from incomplete, noisy measurements, with the objective of minimizing expenses and risks to patients in clinical settings. The Diffusion Models have recently emerged as a promising approach to such practical challenges, proving particularly useful for the zero-shot inference of images from partially acquired measurements in Magnetic Resonance Imaging (MRI) and Computed Tomography (CT). A central challenge in this approach, however, is how to guide an unconditional prediction to conform to the measurement information. Existing methods rely on deficient projection or inefficient posterior score approximation guidance, which often leads to suboptimal performance. In this paper, we propose \underline{\textbf{B}}i-level \underline{G}uided \underline{D}iffusion \underline{M}odels ({BGDM}), a zero-shot imaging framework that efficiently steers the initial unconditional prediction through a \emph{bi-level} guidance strategy. Specifically, BGDM first approximates an \emph{inner-level} conditional posterior mean as an initial measurement-consistent reference point and then solves an \emph{outer-level} proximal optimization objective to reinforce the measurement consistency. Our experimental findings, using publicly available MRI and CT medical datasets, reveal that BGDM is more effective and efficient compared to the baselines, faithfully generating high-fidelity medical images and substantially reducing hallucinatory artifacts in cases of severe degradation.


title: Investigating the Robustness of Counterfactual Learning to Rank Models: A Reproducibility Study

abstract: Counterfactual learning to rank (CLTR) has attracted extensive attention in the IR community for its ability to leverage massive logged user interaction data to train ranking models. While the CLTR models can be theoretically unbiased when the user behavior assumption is correct and the propensity estimation is accurate, their effectiveness is usually empirically evaluated via simulation-based experiments due to a lack of widely-available, large-scale, real click logs. However, the mainstream simulation-based experiments are somewhat limited as they often feature a single, deterministic production ranker and simplified user simulation models to generate the synthetic click logs. As a result, the robustness of CLTR models in complex and diverse situations is largely unknown and needs further investigation. To address this problem, in this paper, we aim to investigate the robustness of existing CLTR models in a reproducibility study with extensive simulation-based experiments that (1) use both deterministic and stochastic production rankers, each with different ranking performance, and (2) leverage multiple user simulation models with different user behavior assumptions. We find that the DLA models and IPS-DCM show better robustness under various simulation settings than IPS-PBM and PRS with offline propensity estimation. Besides, the existing CLTR models often fail to outperform the naive click baselines when the production ranker has relatively high ranking performance or certain randomness, which suggests an urgent need for developing new CLTR algorithms that work for these settings.


title: Dendrites endow artificial neural networks with accurate, robust and parameter-efficient learning

abstract: Artificial neural networks (ANNs) are at the core of most Deep learning (DL) algorithms that successfully tackle complex problems like image recognition, autonomous driving, and natural language processing. However, unlike biological brains who tackle similar problems in a very efficient manner, DL algorithms require a large number of trainable parameters, making them energy-intensive and prone to overfitting. Here, we show that a new ANN architecture that incorporates the structured connectivity and restricted sampling properties of biological dendrites counteracts these limitations. We find that dendritic ANNs are more robust to overfitting and outperform traditional ANNs on several image classification tasks while using significantly fewer trainable parameters. This is achieved through the adoption of a different learning strategy, whereby most of the nodes respond to several classes, unlike classical ANNs that strive for class-specificity. These findings suggest that the incorporation of dendrites can make learning in ANNs precise, resilient, and parameter-efficient and shed new light on how biological features can impact the learning strategies of ANNs.


title: Proceedings 12th International Workshop on Theorem proving components for Educational software

abstract: The ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education, while favouring software support for this transition by exploiting the power of theorem-proving technologies. What follows is a brief description of how the present volume contributes to this enterprise. The 12th International Workshop on Theorem Proving Components for Educational Software(ThEdu'23), was a satellite event of the 29th international Conference on Automated Deduction (CADE 2023), July 1-4, 2023, Rome, Italy. ThEdu'23 was very successful, with one invited talk, by Yves Bertot (Inria, France), "The challenges of using Type Theory to teach Mathematics", and seven regular contributions. An open call for papers was then issued, to which eight contributions were submitted. Seven submissions have been accepted by our reviewers, who jointly produced at least three careful reports on each of the contributions. The resulting revised papers are collected in the present volume. We, the volume editors, hope that this collection of papers will further promote the development of theorem-proving based software, and that it will allow to improve the mutual understanding between computer scientists, mathematicians and stakeholders in education. PC Chairs:Julien Narboux (University of Strasbourg, France); Walther Neuper (JKU, Johannes Kepler University, Linz, Austria); Pedro Quaresma (University of Coimbra, Portugal)


title: Self-organized arrival system for urban air mobility

abstract: Urban air mobility is an innovative mode of transportation in which electric vertical takeoff and landing (eVTOL) vehicles operate between nodes called vertiports. We outline a self-organized vertiport arrival system based on deep reinforcement learning. The airspace around the vertiport is assumed to be circular, and the vehicles can freely operate inside. Each aircraft is considered an individual agent and follows a shared policy, resulting in decentralized actions that are based on local information. We investigate the development of the reinforcement learning policy during training and illustrate how the algorithm moves from suboptimal local holding patterns to a safe and efficient final policy. The latter is validated in simulation-based scenarios and also deployed on small-scale unmanned aerial vehicles to showcase its real-world usability.


title: A new 700 GeV scalar in the LHC data?

abstract: As an alternative to the metastability of the electroweak vacuum, resulting from perturbative calculations, one can consider a non-perturbative effective potential which, as at the beginning of the Standard Model, is restricted to the pure $\Phi^4$ sector yet consistent with the known analytical and numerical studies. In this approach, where the electroweak vacuum is now the lowest-energy state, besides the resonance of mass $m_h=$ 125 GeV defined by the quadratic shape of the potential at its minimum, the Higgs field should exhibit a second resonance with mass $(M_H)^{\rm Theor}=690\,(30)$ GeV associated with the zero-point energy determining the potential depth. In spite of its large mass, this resonance would couple to longitudinal $W$s with the same typical strength as the low-mass state at 125 GeV and represent a relatively narrow resonance, mainly produced at LHC by gluon-gluon fusion. In this Letter, we review LHC data suggesting a new resonance of mass $(M_H)^{\rm EXP} \sim 682\,(10)$ GeV, with a statistical significance that is far from negligible.


title: Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

abstract: This volume contains the proceedings of PLACES 2024, the 15th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The PLACES workshop series offers a forum for researchers from different fields to exchange new ideas about the challenges of modern and future programming, where concurrency and distribution are the norm rather than a marginal concern. PLACES 2024 was held on 6 April 2024 in Luxembourg City, Luxembourg. The programme included keynote talks by Mariangiola Dezani-Ciancaglini and Peter M\"uller, presentations of five research papers, and three talks about preliminary or already-published work that could foster interesting discussion during the workshop. These proceedings contain the five accepted research papers, the abstracts of the keynote talks, and a list of the other contributions.


title: Explaining Explainability: Understanding Concept Activation Vectors

abstract: Recent interpretability methods propose using concept-based explanations to translate the internal representations of deep learning models into a language that humans are familiar with: concepts. This requires understanding which concepts are present in the representation space of a neural network. One popular method for finding concepts is Concept Activation Vectors (CAVs), which are learnt using a probe dataset of concept exemplars. In this work, we investigate three properties of CAVs. CAVs may be: (1) inconsistent between layers, (2) entangled with different concepts, and (3) spatially dependent. Each property provides both challenges and opportunities in interpreting models. We introduce tools designed to detect the presence of these properties, provide insight into how they affect the derived explanations, and provide recommendations to minimise their impact. Understanding these properties can be used to our advantage. For example, we introduce spatially dependent CAVs to test if a model is translation invariant with respect to a specific concept and class. Our experiments are performed on ImageNet and a new synthetic dataset, Elements. Elements is designed to capture a known ground truth relationship between concepts and classes. We release this dataset to facilitate further research in understanding and evaluating interpretability methods.


title: SpikeExplorer: hardware-oriented Design Space Exploration for Spiking Neural Networks on FPGA

abstract: One of today's main concerns is to bring Artificial Intelligence power to embedded systems for edge applications. The hardware resources and power consumption required by state-of-the-art models are incompatible with the constrained environments observed in edge systems, such as IoT nodes and wearable devices. Spiking Neural Networks (SNNs) can represent a solution in this sense: inspired by neuroscience, they reach unparalleled power and resource efficiency when run on dedicated hardware accelerators. However, when designing such accelerators, the amount of choices that can be taken is huge. This paper presents SpikExplorer, a modular and flexible Python tool for hardware-oriented Automatic Design Space Exploration to automate the configuration of FPGA accelerators for SNNs. Using Bayesian optimizations, SpikerExplorer enables hardware-centric multi-objective optimization, supporting factors such as accuracy, area, latency, power, and various combinations during the exploration process. The tool searches the optimal network architecture, neuron model, and internal and training parameters, trying to reach the desired constraints imposed by the user. It allows for a straightforward network configuration, providing the full set of explored points for the user to pick the trade-off that best fits the needs. The potential of SpikExplorer is showcased using three benchmark datasets. It reaches 95.8% accuracy on the MNIST dataset, with a power consumption of 180mW/image and a latency of 0.12 ms/image, making it a powerful tool for automatically optimizing SNNs.


title: Direct Nash Optimization: Teaching Language Models to Self-Improve with General Preferences

abstract: This paper studies post-training large language models (LLMs) using preference feedback from a powerful oracle to help a model iteratively improve over itself. The typical approach for post-training LLMs involves Reinforcement Learning from Human Feedback (RLHF), which traditionally separates reward learning and subsequent policy optimization. However, such a reward maximization approach is limited by the nature of "point-wise" rewards (such as Bradley-Terry model), which fails to express complex intransitive or cyclic preference relations. While advances on RLHF show reward learning and policy optimization can be merged into a single contrastive objective for stability, they yet still remain tethered to the reward maximization framework. Recently, a new wave of research sidesteps the reward maximization presumptions in favor of directly optimizing over "pair-wise" or general preferences. In this paper, we introduce Direct Nash Optimization (DNO), a provable and scalable algorithm that marries the simplicity and stability of contrastive learning with theoretical generality from optimizing general preferences. Because DNO is a batched on-policy algorithm using a regression-based objective, its implementation is straightforward and efficient. Moreover, DNO enjoys monotonic improvement across iterations that help it improve even over a strong teacher (such as GPT-4). In our experiments, a resulting 7B parameter Orca-2.5 model aligned by DNO achieves the state-of-the-art win-rate against GPT-4-Turbo of 33% on AlpacaEval 2.0 (even after controlling for response length), an absolute gain of 26% (7% to 33%) over the initializing model. It outperforms models with far more parameters, including Mistral Large, Self-Rewarding LM (70B parameters), and older versions of GPT-4.


title: Structure and Complexity of Cosmological Correlators

abstract: Cosmological correlators capture the spatial fluctuations imprinted during the earliest episodes of the universe. While they are generally very non-trivial functions of the kinematic variables, they are known to arise as solutions to special sets of differential equations. In this work we use this fact to uncover the underlying tame structure for such correlators and argue that they admit a well-defined notion of complexity. In particular, building upon the recently proposed kinematic flow algorithm, we show that tree-level cosmological correlators of a generic scalar field theory in an FLRW spacetime belong to the class of Pfaffian functions. Since Pfaffian functions admit a notion of complexity, we can give explicit bounds on the topological and computational complexity of cosmological correlators. We conclude with some speculative comments on the general tame structures capturing all cosmological correlators and the connection between complexity and the emergence of time.


title: Supersymmetric Soft Theorems

abstract: We show that in supersymmetric theories, knowing the soft theorem for a single particle in a supermultiplet allows one to immediately determine soft theorems for the remainder of the supermultiplet. While soft theorems in supersymmetric theories have a rich history, they have only been chronicled for specific examples due to the fact that they are usually derived with technical Feynman diagrammatics or amplitudes methods. By contrast, we show that one can compute soft theorems non-perturbatively for entire supermultiplets in one line of algebra. This formalism is directly applicable to the most general supersymmetric theory: one with an arbitrary matter content, number of supercharges, and spacetime dimension. We give many explicit examples illustrating the scope and dexterity of this framework.


title: The rules of multiplayer cooperation in networks of communities

abstract: Community organization permeates both social and biological complex systems. To study its interplay with behavior emergence, we model mobile structured populations with multiplayer interactions. We derive general analytical methods for evolutionary dynamics under high home fidelity when populations self-organize into networks of asymptotically isolated communities. In this limit, community organization dominates over the network structure and emerging behavior is independent of network topology. We obtain the rules of multiplayer cooperation in networks of communities for different types of social dilemmas. The success of cooperation is a result of the benefits shared amongst communal cooperators outperforming the benefits reaped by defectors in mixed communities. Under weak selection, cooperation can evolve and be stable for any size (Q) and number (M) of communities if the reward-to-cost ratio (V/K) of public goods is higher than a critical value. Community organization is a solid mechanism for sustaining the evolution of cooperation under public goods dilemmas, particularly when populations are organized into a higher number of smaller communities. Contrary to public goods dilemmas relating to production, the multiplayer Hawk-Dove (HD) dilemma is a commons dilemma focusing on the fair consumption of preexisting resources. This game holds mixed results but tends to favour cooperation under larger communities, highlighting that the two types of social dilemmas might lead to solid differences in the behaviour adopted under community structure.


title: The black hole low mass X-ray binary V404 Cygni is part of a wide hierarchical triple, and formed without a kick

abstract: Evidence suggests that when compact objects such as black holes and neutron stars form, they may receive a ``natal kick,'' where the stellar remnant gains momentum. Observational evidence for neutron star kicks is substantial, yet limited for black hole natal kicks, and some proposed black hole formation scenarios result in very small kicks. Here, we report the discovery that the canonical black hole low-mass X-ray binary V404 Cygni is part of a wide hierarchical triple with a tertiary companion at least 3500 astronomical units away from the inner binary. Given the orbital configuration, the black hole likely received a sub-5 kilometer per second kick to have avoided unbinding the tertiary. This discovery reveals that at least some black holes form with nearly no natal kick. Furthermore, the tertiary in this system lends credence to evolutionary models of low-mass X-ray binaries involving a hierarchical triple structure. Remarkably, the tertiary is evolved, indicating that the system formed 3-5 billion years ago, and that the black hole has removed at least half a solar mass of matter from its evolved secondary companion. During the event in which the black hole formed, it is likely that at least half of the mass of the black hole progenitor collapsed into the black hole; it may even have undergone a complete implosion, enabling the tertiary to remain loosely bound.


title: Dimension-eight Operator Basis for Universal Standard Model Effective Field Theory

abstract: We present the basis of dimension-eight operators associated with universal theories. We first derive a complete list of independent dimension-eight operators formed with the Standard Model bosonic fields characteristic of such universal new physics scenarios. Without imposing C or P symmetries the basis contains 175 operators -- that is, the assumption of Universality reduces the number of independent SMEFT coefficients at dimension eight from 44807 to 175. 89 of the 175 universal operators are included in the general dimension-eight operator basis in the literature. The 86 additional operators involve higher derivatives of the Standard Model bosonic fields and can be rotated in favor of operators involving fermions using the Standard Model equations of motion for the bosonic fields. By doing so we obtain the allowed fermionic operators generated in this class of models which we map into the corresponding 86 independent combinations of operators in the dimension-eight basis of Ref. arXiv:2005.00059


title: A new semi-coherent targeted search for continuous gravitational waves from pulsars in binary systems

abstract: We present a novel semi-coherent targeted search method for continuous gravitational waves (CW) emitted by pulsars in binary systems. The method is based on a custom optimization of the coherence time according to the orbital parameters and their uncertainties, as provided by electromagnetic observations. While rotating pulsars are expected to produce quasi-monochromatic CWs in their reference frame, their orbital motion introduces an additional modulation in the observer frame, alongside the one due to the Earth's motion. As a result, the received signal is dispersed across a frequency range and corrections, aimed at removing the orbital modulation, are therefore required to achieve detection. However, Doppler corrections can, in some cases, significantly vary within the uncertainties with which orbital parameters are known. In order to optimally exploit the constraints drawn from electromagnetic observations we implement a semi-coherent search, more robust than fully coherent methods, in which the coherence time is evaluated for each source taking into account uncertainties in its orbital parameters. This method was tested and applied to a set of twelve targets from the ATNF catalogue. The search identified a single outlier which astrophysical origin has been confidently excluded. For the first time to our knowledge, we then set upper limits on the signal strain from these 12 pulsars, the lowest being $h_{UL}\sim1.06\cdot10^{-25}$ for PSR J1326-4728B.


title: oMEGACat II -- Photometry and proper motions for 1.4 million stars in Omega Centauri and its rotation in the plane of the sky

abstract: Omega Centauri ($\omega$ Cen) is the most massive globular cluster of the Milky Way. It is thought to be the nucleus of an accreted dwarf galaxy because of its high mass and its complex stellar populations. To decipher its formation history and study its dynamics, we created the most comprehensive kinematic catalog for its inner region, by analyzing both archival and new Hubble Space Telescope (HST) data. Our catalog contains 1 395 781 proper-motion measurements out to the half-light radius of the cluster ($\sim$5.0') and down to $m_{F625W}\approx$25. The typical baseline for our proper-motion measurements is 20 years, leading to a median 1D proper motion precision of $\sim$11 $\mu$as yr$^{-1}$ for stars with $m_{F625W}\approx$18 mag, with even better precision ($\sim$6.6 $\mu$as yr$^{-1}$) achieved in the extensively observed centermost (r$<$1.5') region. In addition to our astrometric measurements, we also obtained precise HST photometry in seven filters spanning from the ultraviolet to the near-infrared. This allows detailed color-magnitude-diagram studies and to separate the multiple stellar populations of the cluster. In this work, we describe the data reduction used to obtain both the photometric and the proper-motion measurements. We also illustrate the creation and the content of our catalog, which is made publicly available. Finally, we present measurements of the plane-of-sky rotation of $\omega$ Cen in the previously unprobed inner few arcminutes and a precise measurement of the inclination $i = (43.6\pm1.5)^\circ$.


title: Metropolitan-scale heralded entanglement of solid-state qubits

abstract: A key challenge towards future quantum internet technology is connecting quantum processors at metropolitan scale. Here, we report on heralded entanglement between two independently operated quantum network nodes separated by 10km. The two nodes hosting diamond spin qubits are linked with a midpoint station via 25km of deployed optical fiber. We minimize the effects of fiber photon loss by quantum frequency conversion of the qubit-native photons to the telecom L-band and by embedding the link in an extensible phase-stabilized architecture enabling the use of the loss-resilient single-photon entangling protocol. By capitalizing on the full heralding capabilities of the network link in combination with real-time feedback logic on the long-lived qubits, we demonstrate the delivery of a predefined entangled state on the nodes irrespective of the heralding detection pattern. Addressing key scaling challenges and being compatible with different qubit systems, our architecture establishes a generic platform for exploring metropolitan-scale quantum networks.


title: Strong Cosmic Censorship in Kerr-Newman-de Sitter

abstract: Christodoulou's formulation of Strong Cosmic Censorship (SCC) holds true for Kerr-de Sitter black holes. On the other hand, Reissner-Nordstr\"om-de Sitter black holes violate SCC. We do a detailed scan of the parameter space of Kerr-Newman-de Sitter black holes between these two limiting families, to identify the boundary that marks the transition between solutions that respect and violate SCC. We focus our attention on linear scalar field perturbations. SCC is violated inside a (roughly) `spherical' shell of the parameter space of Kerr-Newman-de Sitter, centred at the corner that describes arbitrarily small extremal Reissner-Nordstr\"om-de Sitter solutions. Outside of this region, including the Kerr-de Sitter limit, we identify perturbation modes that decay slow enough to enforce SCC. Additionally, we do a necessary study of the quasinormal mode spectra of Kerr-Newman-de Sitter in some detail. As established in the literature, in the Kerr-de Sitter and Reissner-Nordstr\"om-de Sitter limits, we find three families of modes: de Sitter, photon sphere and near-horizon modes. These interact non-trivially away from the Reissner-Nordstr\"om-de Sitter limit and display eigenvalue repulsions like in Kerr-Newman black holes.


title: Conformal geometry from entanglement

abstract: In a physical system with conformal symmetry, observables depend on cross-ratios, measures of distance invariant under global conformal transformations (conformal geometry for short). We identify a quantum information-theoretic mechanism by which the conformal geometry emerges at the gapless edge of a 2+1D quantum many-body system with a bulk energy gap. We introduce a novel pair of information-theoretic quantities $(\mathfrak{c}_{\mathrm{tot}}, \eta)$ that can be defined locally on the edge from the wavefunction of the many-body system, without prior knowledge of any distance measure. We posit that, for a topological groundstate, the quantity $\mathfrak{c}_{\mathrm{tot}}$ is stationary under arbitrary variations of the quantum state, and study the logical consequences. We show that stationarity, modulo an entanglement-based assumption about the bulk, implies (i) $\mathfrak{c}_{\mathrm{tot}}$ is a non-negative constant that can be interpreted as the total central charge of the edge theory. (ii) $\eta$ is a cross-ratio, obeying the full set of mathematical consistency rules, which further indicates the existence of a distance measure of the edge with global conformal invariance. Thus, the conformal geometry emerges from a simple assumption on groundstate entanglement. We show that stationarity of $\mathfrak{c}_{\mathrm{tot}}$ is equivalent to a vector fixed-point equation involving $\eta$, making our assumption locally checkable. We also derive similar results for 1+1D systems under a suitable set of assumptions.


title: An overlooked source of uncertainty in the mass of the Milky Way

abstract: In the conventional approach to decomposing a rotation curve into a set of contributions from mass model components, the measurements of the rotation curve at different radii are taken to be independent. It is clear, however, that radial correlations are present in such data, for instance (but not only) because the orbital speed depends on the mass distribution at all (or, minimally, inner) radii. We adopt a very simple parametric form for a covariance matrix and constrain its parameters using Gaussian process regression. Applied to the rotation curve of the Milky Way, this suggests the presence of correlations between neighbouring rotation curve points with amplitudes $<10\,\mathrm{km}\,\mathrm{s}^{-1}$ over length scales of $1.5$-$2.5\,\mathrm{kpc}$ regardless of the assumed dark halo component. We show that accounting for such covariance can result in a $\sim 50$ per cent lower total mass estimate for the Milky Way than when it is neglected, and that the statistical uncertainty associated with the covariance is comparable to or exceeds the total systematic uncertainty budget. Our findings motivate including more detailed treatment of rotation curve covariance in future analyses.


title: Waveguide QED at the onset of spin-spin correlations

abstract: We experimentally explore the competition between light-mediated and direct matter-matter interactions in waveguide quantum electrodynamics. For this, we couple a superconducting line to a model magnetic material, made of organic free radical DPPH molecules with a spin $S=1/2$ and a $g_{S}$ factor very close to that of a free electron. The microwave transmission has been measured in a wide range of temperatures ($0.013$ K $\leq T \leq 2$ K), magnetic fields ($0\leq B \leq 0.5$ T) and frequencies ($0 \leq \omega/2 \pi \leq 14$ GHz). We find that molecules belonging to the crystal sublattice B form one-dimensional spin chains. Temperature then controls intrinsic spin correlations along the chain in a continuous and monotonic way. In the paramagnetic region ($T > 0.7$ K), the microwave transmission shows evidences for the collective coupling of quasi-identical spins to the propagating photons, with coupling strengths that reach values close to the dissipation rates. As $T$ decreases, the growth of intrinsic spin correlations, combined with the anisotropy in the spin-spin exchange constants, break down the collective spin-photon coupling. In this regime, the temperature dependence of the spin resonance visibility reflects the change in the nature of the dominant spin excitations, from single spin flips to bosonic magnons, which is brought about by the magnetic correlation growth.


title: Pymablock: an algorithm and a package for quasi-degenerate perturbation theory

abstract: A common technique in the study of complex quantum-mechanical systems is to reduce the number of degrees of freedom in the Hamiltonian by using quasi-degenerate perturbation theory. While the Schrieffer--Wolff transformation achieves this and constructs an effective Hamiltonian, its scaling is suboptimal, and implementing it efficiently is both challenging and error-prone. We introduce an algorithm for constructing an equivalent effective Hamiltonian as well as a Python package, Pymablock, that implements it. Our algorithm combines an optimal asymptotic scaling with a range of other improvements. The package supports numerical and analytical calculations of any order and it is designed to be interoperable with any other packages for specifying the Hamiltonian. We demonstrate how the package handles constructing a k.p model, analyses a superconducting qubit, and computes the low-energy spectrum of a large tight-binding model. We also compare its performance with reference calculations and demonstrate its efficiency.


title: JUICER: Data-Efficient Imitation Learning for Robotic Assembly

abstract: While learning from demonstrations is powerful for acquiring visuomotor policies, high-performance imitation without large demonstration datasets remains challenging for tasks requiring precise, long-horizon manipulation. This paper proposes a pipeline for improving imitation learning performance with a small human demonstration budget. We apply our approach to assembly tasks that require precisely grasping, reorienting, and inserting multiple parts over long horizons and multiple task phases. Our pipeline combines expressive policy architectures and various techniques for dataset expansion and simulation-based data augmentation. These help expand dataset support and supervise the model with locally corrective actions near bottleneck regions requiring high precision. We demonstrate our pipeline on four furniture assembly tasks in simulation, enabling a manipulator to assemble up to five parts over nearly 2500 time steps directly from RGB images, outperforming imitation and data augmentation baselines. Project website: https://imitation-juicer.github.io/.


title: Kpc-Scale Neutral Iron K$\alpha$ Emission in the Starburst-AGN NGC 4945: a Relic AGN Outflow?

abstract: NGC 4945 contains a well-known heavily obscured active galactic nucleus (AGN) at its core, with prior reports of strong nuclear and off-nuclear neutral Fe K$\alpha$ emission due to the AGN activity. We report the discovery of very extended Fe K$\alpha$ emission with the XMM-Newton EPIC pn in a $\sim5$ kpc by $\sim10$ kpc region that is misaligned with the plane of the inclined optical galaxy disk by $\sim60$ degrees in projection. After a careful consideration of the crowded center of the galaxy and numerous unresolved hard X-ray sources present, we estimate that $\sim15$% of the Fe K$\alpha$ is extended on kpc-sized scales. The overall size and misalignment of the region follows an unusual pattern of radio polarization that is not typical of starbursts or normal disk galaxies but has been interpreted as possibly due to AGN activity. We suggest that the extended Fe K$\alpha$ emission arose from a period of AGN eruption several million years ago - a relic of a past AGN ejection episode.


title: Singlet, triplet, and mixed all-to-all pairing states emerging from incoherent fermions

abstract: The electron-electron and electron-phonon coupling in complex materials can be more complicated than simple density-density interactions, involving intertwined dynamics of spin, charge, and spatial symmetries. This motivates studying universal models with complex interactions, and studying whether in this case BCS-type singlet pairing is still the ``natural'' fate of the system. To this end, we construct a Yukawa-SYK model with nonlocal couplings in both spin and charge channels. Furthermore, we provide for time-reversal-symmetry breaking dynamics by averaging over the Gaussian Unitary ensemble rather than the Orthogonal ensemble. We find that the ground state of the system can be an orbitally nonlocal superconducting state arising from incoherent fermions with no BCS-like analog. The superconductivity has an equal tendency to triplet and singlet pairing states separated by a non-Fermi liquid phase. We further study the fate of the system within the superconducting phase and find that the expected ground state, away from the critical point, is a mixed singlet/triplet state. Finally, we find that while at $T_c$ the triplet and singlet transitions are dual to one another, below $T_c$ the duality is broken, with the triplet state more susceptible to orbital fluctuations just by virtue of its symmetry. Our results indicate that such fluctuation-induced mixed states may be an inherent feature of strongly correlated materials.


title: SHROOM-INDElab at SemEval-2024 Task 6: Zero- and Few-Shot LLM-Based Classification for Hallucination Detection

abstract: We describe the University of Amsterdam Intelligent Data Engineering Lab team's entry for the SemEval-2024 Task 6 competition. The SHROOM-INDElab system builds on previous work on using prompt programming and in-context learning with large language models (LLMs) to build classifiers for hallucination detection, and extends that work through the incorporation of context-specific definition of task, role, and target concept, and automated generation of examples for use in a few-shot prompting approach. The resulting system achieved fourth-best and sixth-best performance in the model-agnostic track and model-aware tracks for Task 6, respectively, and evaluation using the validation sets showed that the system's classification decisions were consistent with those of the crowd-sourced human labellers. We further found that a zero-shot approach provided better accuracy than a few-shot approach using automatically generated examples. Code for the system described in this paper is available on Github.


title: Dualtronics: leveraging both faces of polar semiconductors

abstract: Unlike non-polar semiconductors such as silicon, the broken inversion symmetry of the wide bandgap semiconductor gallium nitride leads to a large electronic polarization along a unique crystal axis. This makes the two surfaces of the semiconductor wafer perpendicular to the polar axis dramatically different in their physical and chemical properties. In the last three decades, the cation (gallium) face of gallium nitride has been used for photonic devices such as LEDs and lasers. Though the cation face has also been predominantly used for electronic devices, the anion (nitrogen) face has recently shown promise for high electron mobility transistors due to favorable polarization discontinuities. In this work we show that it is possible to make photonic devices on the cation face, and electronic devices on the anion face, of the same semiconductor wafer. This opens the possibility for dualtronics in polar semiconductors, where electronic, photonic, and acoustic properties can be implemented on opposite faces of the same wafer, dramatically enhancing the functional capabilities of this revolutionary semiconductor family.


title: Legible and Proactive Robot Planning for Prosocial Human-Robot Interactions

abstract: Humans have a remarkable ability to fluently engage in joint collision avoidance in crowded navigation tasks despite the complexities and uncertainties inherent in human behavior. Underlying these interactions is a mutual understanding that (i) individuals are prosocial, that is, there is equitable responsibility in avoiding collisions, and (ii) individuals should behave legibly, that is, move in a way that clearly conveys their intent to reduce ambiguity in how they intend to avoid others. Toward building robots that can safely and seamlessly interact with humans, we propose a general robot trajectory planning framework for synthesizing legible and proactive behaviors and demonstrate that our robot planner naturally leads to prosocial interactions. Specifically, we introduce the notion of a markup factor to incentivize legible and proactive behaviors and an inconvenience budget constraint to ensure equitable collision avoidance responsibility. We evaluate our approach against well-established multi-agent planning algorithms and show that using our approach produces safe, fluent, and prosocial interactions. We demonstrate the real-time feasibility of our approach with human-in-the-loop simulations. Project page can be found at https://uw-ctrl.github.io/phri/.


title: Homology and homotopy for arbitrary categories

abstract: One of the prime motivation for topology was Homotopy theory, which captures the general idea of a continuous transformation between two entities, which may be spaces or maps. In later decades, an algebraic formulation of topology was discovered with the development of Homology theory. Some of the deepest results in topology are about the connections between Homotopy and Homology. These results are proved using intricate constructions. This paper re-proves these connections via an axiomatic approach that provides a common ground for homotopy and homology in arbitrary categories. One of the main contributions is a re-interpretation of convexity as an extrinsic rather than intrinsic property. All the axioms and results are applicable for the familiar context of topological spaces. This creates a complete framework for an algebraic characterization of various categories such as Dynamical systems, Open games, and Fractals, which also preserves a notion of Homotopy.


title: SC4D: Sparse-Controlled Video-to-4D Generation and Motion Transfer

abstract: Recent advances in 2D/3D generative models enable the generation of dynamic 3D objects from a single-view video. Existing approaches utilize score distillation sampling to form the dynamic scene as dynamic NeRF or dense 3D Gaussians. However, these methods struggle to strike a balance among reference view alignment, spatio-temporal consistency, and motion fidelity under single-view conditions due to the implicit nature of NeRF or the intricate dense Gaussian motion prediction. To address these issues, this paper proposes an efficient, sparse-controlled video-to-4D framework named SC4D, that decouples motion and appearance to achieve superior video-to-4D generation. Moreover, we introduce Adaptive Gaussian (AG) initialization and Gaussian Alignment (GA) loss to mitigate shape degeneration issue, ensuring the fidelity of the learned motion and shape. Comprehensive experimental results demonstrate that our method surpasses existing methods in both quality and efficiency. In addition, facilitated by the disentangled modeling of motion and appearance of SC4D, we devise a novel application that seamlessly transfers the learned motion onto a diverse array of 4D entities according to textual descriptions.


title: Forecasting with Neuro-Dynamic Programming

abstract: Economic forecasting is concerned with the estimation of some variable like gross domestic product (GDP) in the next period given a set of variables that describes the current situation or state of the economy, including industrial production, retail trade turnover or economic confidence. Neuro-dynamic programming (NDP) provides tools to deal with forecasting and other sequential problems with such high-dimensional states spaces. Whereas conventional forecasting methods penalises the difference (or loss) between predicted and actual outcomes, NDP favours the difference between temporally successive predictions, following an interactive and trial-and-error approach. Past data provides a guidance to train the models, but in a different way from ordinary least squares (OLS) and other supervised learning methods, signalling the adjustment costs between sequential states. We found that it is possible to train a GDP forecasting model with data concerned with other countries that performs better than models trained with past data from the tested country (Portugal). In addition, we found that non-linear architectures to approximate the value function of a sequential problem, namely, neural networks can perform better than a simple linear architecture, lowering the out-of-sample mean absolute forecast error (MAE) by 32% from an OLS model.


title: Optomagnetism with plasmonic skyrmion

abstract: Research at the frontier between optics and magnetism is revealing a wealth of innovative phenomena and avenues of exploration. Optical waves are demonstrating the capacity to induce ultrafast magnetism, while optical analogs of magnetic states, such as magnetic skyrmions, offer the prospect of novel spin-optical states. In this paper, we strengthen the synergy between light and magnetism by exploring the ability of plasmonic Neel skyrmions to create a stationary magnetic field within a thin gold film. We show that, when generated using a focused radially-polarized vortex beam, a plasmonic Neel skyrmion emerges as an optimum for inducing optomagnetism in a thin gold film. Optical skyrmions offer new degrees of freedom for enhancing and controlling optomagnetism in plasmonic nanostructures, with direct application in all-optical magnetization switching, magnetic recording, and the excitation of spin waves.


title: RG flows in de Sitter: c-functions and sum rules

abstract: We study the renormalization group flow of unitary Quantum Field Theories on two-dimensional de Sitter spacetime and on the Euclidean two-sphere of radius $R$. We prove the existence of two functions $c_1(R)$ and $c_2(R)$ which interpolate between the central charges of the UV and of the IR fixed points of the flow when tuning the radius $R$ while keeping the mass scales of the theory fixed. $c_1(R)$ is constructed from certain components of the two-point function of the stress tensor evaluated at antipodal separation. $c_2(R)$ is the spectral weight of the stress tensor over the $\Delta=2$ discrete series. This last fact implies that the stress tensor of any unitary QFT in $S^2$/dS$_2$ must interpolate between the vacuum and states in the $\Delta=2$ discrete series irrep. We verify that the c-functions are monotonic for intermediate radii in the free massive boson and free massive fermion theories, but we lack a general proof of said monotonicity. We derive a variety of sum rules which relate the central charges and the c-functions to integrals of the two-point function of the trace of the stress tensor and to integrals of its spectral densities. The positivity of these formulas implies $c^{\text{UV}}\geq c^{\text{IR}}$. In the infinite radius limit the sum rules reduce to the well known formulas in flat space. Throughout the paper, we prove some general properties of the spectral decomposition of the stress tensor in $S^{d+1}$/dS$_{d+1}$.


title: Randomized Greedy Methods for Weak Submodular Sensor Selection with Robustness Considerations

abstract: We study a pair of budget- and performance-constrained weak submodular maximization problems. For computational efficiency, we explore the use of stochastic greedy algorithms which limit the search space via random sampling instead of the standard greedy procedure which explores the entire feasible search space. We propose a pair of stochastic greedy algorithms, namely, Modified Randomized Greedy (MRG) and Dual Randomized Greedy (DRG) to approximately solve the budget- and performance-constrained problems, respectively. For both algorithms, we derive approximation guarantees that hold with high probability. We then examine the use of DRG in robust optimization problems wherein the objective is to maximize the worst-case of a number of weak submodular objectives and propose the Randomized Weak Submodular Saturation Algorithm (Random-WSSA). We further derive a high-probability guarantee for when Random-WSSA successfully constructs a robust solution. Finally, we showcase the effectiveness of these algorithms in a variety of relevant uses within the context of Earth-observing LEO constellations which estimate atmospheric weather conditions and provide Earth coverage.


title: A High-Fidelity Simulation Framework for Grasping Stability Analysis in Human Casualty Manipulation

abstract: Recently, there has been a growing interest in rescue robots due to their vital role in addressing emergency scenarios and providing crucial support in challenging or hazardous situations where human intervention is difficult. However, very few of these robots are capable of actively engaging with humans and undertaking physical manipulation tasks. This limitation is largely attributed to the absence of tools that can realistically simulate physical interactions, especially the contact mechanisms between a robotic gripper and a human body. In this letter, we aim to address key limitations in current developments towards robotic casualty manipulation. Firstly, we present an integrative simulation framework for casualty manipulation. We adapt a finite element method (FEM) tool into the grasping and manipulation scenario, and the developed framework can provide accurate biomechanical reactions resulting from manipulation. Secondly, we conduct a detailed assessment of grasping stability during casualty grasping and manipulation simulations. To validate the necessity and superior performance of the proposed high-fidelity simulation framework, we conducted a qualitative and quantitative comparison of grasping stability analyses between the proposed framework and the state-of-the-art multi-body physics simulations. Through these efforts, we have taken the first step towards a feasible solution for robotic casualty manipulation.


title: A general formulation of reweighted least squares fitting

abstract: We present a generalized formulation for reweighted least squares approximations. The goal of this article is twofold: firstly, to prove that the solution of such problem can be expressed as a convex combination of certain interpolants when the solution is sought in any finite-dimensional vector space; secondly, to provide a general strategy to iteratively update the weights according to the approximation error and apply it to the spline fitting problem. In the experiments, we provide numerical examples for the case of polynomials and splines spaces. Subsequently, we evaluate the performance of our fitting scheme for spline curve and surface approximation, including adaptive spline constructions.


title: Test Time Training for Industrial Anomaly Segmentation

abstract: Anomaly Detection and Segmentation (AD&S) is crucial for industrial quality control. While existing methods excel in generating anomaly scores for each pixel, practical applications require producing a binary segmentation to identify anomalies. Due to the absence of labeled anomalies in many real scenarios, standard practices binarize these maps based on some statistics derived from a validation set containing only nominal samples, resulting in poor segmentation performance. This paper addresses this problem by proposing a test time training strategy to improve the segmentation performance. Indeed, at test time, we can extract rich features directly from anomalous samples to train a classifier that can discriminate defects effectively. Our general approach can work downstream to any AD&S method that provides an anomaly score map as output, even in multimodal settings. We demonstrate the effectiveness of our approach over baselines through extensive experimentation and evaluation on MVTec AD and MVTec 3D-AD.


title: Super-extremal black holes in the quasitopological electromagnetic field theory

abstract: It has recently been proved that a simple generalization of electromagnetism, referred to as quasitopological electromagnetic field theory, is characterized by the presence of dyonic black-hole solutions of the Einstein field equations that, in certain parameter regions, are characterized by four horizons. In the present compact paper we reveal the existence, in this non-linear electrodynamic field theory, of super-extremal black-hole spacetimes that are characterized by the four degenerate functional relations $[g_{00}(r)]_{r=r_{\text{H}}}=[dg_{00}(r)/dr]_{r=r_{\text{H}}}=[d^2g_{00}(r)/dr^2]_ {r=r_{\text{H}}}=[d^3g_{00}(r)/dr^3]_{r=r_{\text{H}}}=0$, where $g_{00}(r)$ is the $tt$-component of the curved line element and $r_{\text{H}}$ is the black-hole horizon radius. In particular, using analytical techniques we prove that the quartically degenerate super-extremal black holes are characterized by the universal (parameter-{\it independent}) dimensionless compactness parameter $M/r_{\text{H}}={2\over3}(2\gamma+1)$, where $\gamma\equiv{_2F_1}(1/4,1;5/4;-3)$.


title: Fakes of Varying Shades: How Warning Affects Human Perception and Engagement Regarding LLM Hallucinations

abstract: The widespread adoption and transformative effects of large language models (LLMs) have sparked concerns regarding their capacity to produce inaccurate and fictitious content, referred to as `hallucinations'. Given the potential risks associated with hallucinations, humans should be able to identify them. This research aims to understand the human perception of LLM hallucinations by systematically varying the degree of hallucination (genuine, minor hallucination, major hallucination) and examining its interaction with warning (i.e., a warning of potential inaccuracies: absent vs. present). Participants (N=419) from Prolific rated the perceived accuracy and engaged with content (e.g., like, dislike, share) in a Q/A format. Results indicate that humans rank content as truthful in the order genuine > minor hallucination > major hallucination and user engagement behaviors mirror this pattern. More importantly, we observed that warning improves hallucination detection without significantly affecting the perceived truthfulness of genuine content. We conclude by offering insights for future tools to aid human detection of hallucinations.


title: GenQREnsemble: Zero-Shot LLM Ensemble Prompting for Generative Query Reformulation

abstract: Query Reformulation(QR) is a set of techniques used to transform a user's original search query to a text that better aligns with the user's intent and improves their search experience. Recently, zero-shot QR has been shown to be a promising approach due to its ability to exploit knowledge inherent in large language models. By taking inspiration from the success of ensemble prompting strategies which have benefited many tasks, we investigate if they can help improve query reformulation. In this context, we propose an ensemble based prompting technique, GenQREnsemble which leverages paraphrases of a zero-shot instruction to generate multiple sets of keywords ultimately improving retrieval performance. We further introduce its post-retrieval variant, GenQREnsembleRF to incorporate pseudo relevant feedback. On evaluations over four IR benchmarks, we find that GenQREnsemble generates better reformulations with relative nDCG@10 improvements up to 18% and MAP improvements upto 24% over the previous zero-shot state-of-art. On the MSMarco Passage Ranking task, GenQREnsembleRF shows relative gains of 5% MRR using pseudo-relevance feedback, and 9% nDCG@10 using relevant feedback documents.


title: Sensitivity, Proximity and FPT Algorithms for Exact Matroid Problems

abstract: We consider the problem of finding a basis of a matroid with weight exactly equal to a given target. Here weights can be discrete values from $\{-\Delta,\ldots,\Delta\}$ or more generally $m$-dimensional vectors of such discrete values. We resolve the parameterized complexity completely, by presenting an FPT algorithm parameterized by $\Delta$ and $m$ for arbitrary matroids. Prior to our work, no such algorithms were known even when weights are in $\{0,1\}$, or arbitrary $\Delta$ and $m=1$. Our main technical contributions are new proximity and sensitivity bounds for matroid problems, independent of the number of elements. These bounds imply FPT algorithms via matroid intersection.


title: Finite cut-off JT and Liouville quantum gravities on the disk at one loop

abstract: Within the path integral formalism, we compute the disk partition functions of two dimensional Liouville and JT quantum gravity theories coupled to a matter CFT of central charge $c$, with cosmological constant $\Lambda$, in the limit $c\rightarrow -\infty$, $|\Lambda|\rightarrow\infty$, for fixed $\Lambda/c$ and fixed and finite disk boundary length $\ell$, to leading and first subleading order in the $1/|c|$ expansion. In the case of Liouville theory, we find perfect agreement with the asymptotic expansion of the known exact FZZT partition function. In the case of JT gravity, we obtain the first explicit results for the partition functions at finite cut-off, in the three versions (negative, zero and positive curvature) of the model. Our findings are in agreement with predictions from the recent proposal for a microscopic definition of JT gravity, including the $c\rightarrow -\infty$ expansion of the Hausdorff dimension of the boundary. In the negative curvature case, we also provide evidence for the emergence of an effective Schwarzian description at length scales much greater than the curvature length scale.


title: Small-Signal Dynamics of Lossy Inverter-Based Microgrids for Generalized Droop Controls

abstract: A network-level small-signal model is developed for lossy microgrids, which considers coupled angle and voltage dynamics of inverter-based microgrids and uses a more general framework of droop controls in the inverter. It is shown that when relative resistances of the lines in the microgrid are reasonably consistent and differences of voltage angles across the lines are small at the operating point, the generalized droop controls can be designed to enforce decoupling between angle dynamics and voltage dynamics. Next, structural results for the asymptotic stability of small-signal angle and voltage dynamics are given for the case when generalized droop control achieves decoupling. Simulated transient responses of a modified IEEE 9-bus system are presented to validate the theoretical findings which show the effectiveness of generalized droop controls in independently shaping the settling times of the angle and voltage responses of the lossy microgrid system.


title: Dynamical heterogeneity and large deviations in the open quantum East glass model from tensor networks

abstract: We study the non-equilibrium dynamics of the dissipative quantum East model via numerical tensor networks. We use matrix product states to represent evolution under quantum-jump unravellings for sizes beyond those accessible to exact diagonalisation. This allows us to demonstrate that dynamical heterogeneity accompanies slow relaxation, in analogy with what is seen in classical glassy systems. Furthermore, using variational matrix product operators we: (i) compute the spectral gap of the Lindbladian, and show that glassiness is enhanced in the presence of weak quantum fluctuations compared to the pure classical case, and (ii) obtain the dynamical large deviations by calculating the leading eigenvector of the tilted Lindbladian, and find clear evidence for a first-order active-inactive dynamical phase transition. We also show how to directly sample the rare quantum trajectories associated to the large deviations.


title: The Maximum Clique Problem in a Disk Graph Made Easy

abstract: A disk graph is an intersection graph of disks in $\mathbb{R}^2$. Determining the computational complexity of finding a maximum clique in a disk graph is a long-standing open problem. In 1990, Clark, Colbourn, and Johnson gave a polynomial-time algorithm for computing a maximum clique in a unit disk graph. However, finding a maximum clique when disks are of arbitrary size is widely believed to be a challenging open problem. The problem is open even if we restrict the disks to have at most two different sizes of radii, or restrict the radii to be within $[1,1+\varepsilon]$ for some $\epsilon>0$. In this paper, we provide a new perspective to examine adjacencies in a disk graph that helps obtain the following results. - We design an $O(2^k n^{2k} poly(n))$-time algorithm to find a maximum clique in a $n$-vertex disk graph with $k$ different sizes of radii. This is polynomial for every fixed $k$, and thus settles the open question for the case when $k=2$. - Given a set of $n$ unit disks, we show how to compute a maximum clique inside each possible axis-aligned rectangle determined by the disk centers in $O(n^5\log n)$-time. This is at least a factor of $n^{4/3}$ faster than applying the fastest known algorithm for finding a maximum clique in a unit disk graph for each rectangle independently. - We give an $O(2^kn^{2rk} poly(n,r))$-time algorithm to find a maximum clique in a $n$-vertex ball graph with $k$ different sizes of radii where the ball centers lie on $r$ parallel planes. This is polynomial for every fixed $k$ and $r$, and thus contrasts the previously known NP-hardness result for finding a maximum clique in an arbitrary ball graph.


title: Path-monochromatic bounded depth rooted trees in (random) tournaments

abstract: An edge-colored rooted directed tree (aka arborescence) is path-monochromatic if every path in it is monochromatic. Let $k,\ell$ be positive integers. For a tournament $T$, let $f_T(k)$ be the largest integer such that every $k$-edge coloring of $T$ has a path-monochromatic subtree with at least $f_T(k)$ vertices and let $f_T(k,\ell)$ be the restriction to subtrees of depth at most $\ell$. It was proved by Landau that $f_T(1,2)=n$ and proved by Sands et al. that $f_T(2)=n$ where $|V(T)|=n$. Here we consider $f_T(k)$ and $f_T(k,\ell)$ in more generality, determine their extremal values in most cases, and in fact in all cases assuming the Caccetta-H\"aggkvist Conjecture. We also study the typical value of $f_T(k)$ and $f_T(k,\ell)$, i.e., when $T$ is a random tournament.


title: A Reinforcement Learning based Reset Policy for CDCL SAT Solvers

abstract: Restart policy is an important technique used in modern Conflict-Driven Clause Learning (CDCL) solvers, wherein some parts of the solver state are erased at certain intervals during the run of the solver. In most solvers, variable activities are preserved across restart boundaries, resulting in solvers continuing to search parts of the assignment tree that are not far from the one immediately prior to a restart. To enable the solver to search possibly "distant" parts of the assignment tree, we study the effect of resets, a variant of restarts which not only erases the assignment trail, but also randomizes the activity scores of the variables of the input formula after reset, thus potentially enabling a better global exploration of the search space. In this paper, we model the problem of whether to trigger reset as a multi-armed bandit (MAB) problem, and propose two reinforcement learning (RL) based adaptive reset policies using the Upper Confidence Bound (UCB) and Thompson sampling algorithms. These two algorithms balance the exploration-exploitation tradeoff by adaptively choosing arms (reset vs. no reset) based on their estimated rewards during the solver's run. We implement our reset policies in four baseline SOTA CDCL solvers and compare the baselines against the reset versions on Satcoin benchmarks and SAT Competition instances. Our results show that RL-based reset versions outperform the corresponding baseline solvers on both Satcoin and the SAT competition instances, suggesting that our RL policy helps to dynamically and profitably adapt the reset frequency for any given input instance. We also introduce the concept of a partial reset, where at least a constant number of variable activities are retained across reset boundaries. Building on previous results, we show that there is an exponential separation between O(1) vs. $\Omega(n)$-length partial resets.


title: Data Science for Geographic Information Systems

abstract: The integration of data science into Geographic Information Systems (GIS) has facilitated the evolution of these tools into complete spatial analysis platforms. The adoption of machine learning and big data techniques has equipped these platforms with the capacity to handle larger amounts of increasingly complex data, transcending the limitations of more traditional approaches. This work traces the historical and technical evolution of data science and GIS as fields of study, highlighting the critical points of convergence between domains, and underlining the many sectors that rely on this integration. A GIS application is presented as a case study in the disaster management sector where we utilize aerial data from Tr\'oia, Portugal, to emphasize the process of insight extraction from raw data. We conclude by outlining prospects for future research in integration of these fields in general, and the developed application in particular.


title: Noncommutative Reissner-Nordstr\"om black hole from noncommutative charged scalar field

abstract: Within the framework of noncommutative (NC) deformation of gauge field theory by twist, we first rederive the NC scalar and gauge field model from our previous papers and then generalize it to the second order in the Seiberg-Witten (SW) map. It turns out that SW expansion is finite and that it ceases at the second order in the deformation parameter, ultimately giving rise to the equation of motion for the scalar field that is nonperturbative and exact at the same order. As a further step, we show that the effective metric put forth and constructed in our previous work satisfies the equations of Einstein-Maxwell gravity, but only within the first order of deformation and when the gauge field is fixed by the Coulomb potential of the charged black hole. Thus obtained NC deformation of the Reissner--Nordstr\"om (RN) metric appears to have an additional off-diagonal element which scales linearly with a deformation parameter. We analyze various properties of this metric.


title: Robust finite element solvers for distributed hyperbolic optimal control problems

abstract: We propose, analyze, and test new robust iterative solvers for systems of linear algebraic equations arising from the space-time finite element discretization of reduced optimality systems defining the approximate solution of hyperbolic distributed, tracking-type optimal control problems with both the standard $L^2$ and the more general energy regularizations. In contrast to the usual time-stepping approach, we discretize the optimality system by space-time continuous piecewise-linear finite element basis functions which are defined on fully unstructured simplicial meshes. If we aim at the asymptotically best approximation of the given desired state $y_d$ by the computed finite element state $y_{\varrho h}$, then the optimal choice of the regularization parameter $\varrho$ is linked to the space-time finite element mesh-size $h$ by the relations $\varrho=h^4$ and $\varrho=h^2$ for the $L^2$ and the energy regularization, respectively. For this setting, we can construct robust (parallel) iterative solvers for the reduced finite element optimality systems. These results can be generalized to variable regularization parameters adapted to the local behavior of the mesh-size that can heavily change in the case of adaptive mesh refinements. The numerical results illustrate the theoretical findings firmly.


title: Sequential parametrized topological complexity of group epimorphisms

abstract: In this paper, we introduce the sequential parametrized topological complexity of group epimorphisms, which generalizes the sequential topological complexity of groups. We derive bounds for sequential parametrized topological complexity based on the cohomological dimension of certain subgroups, thereby extending the corresponding bounds for sequential topological complexity of groups. Finally, we utilize these results to provide alternative computations for the sequential parametrized topological complexity of planar Fadell-Neuwirth fibrations.


title: Thermal noise squeezing and amplification in parametrically driven resonators

abstract: Here we propose several methods with increasing precision for analytically estimating white noise squeezing in the frequency domain of classical parametrically-driven resonators with added noise. The analytical model is based on obtaining the response of the resonator to the added noise using Green's function. The response consists of three parts: elastic, down, and up parametric conversions. We obtain the Green's function approximately using the first-order averaging method or exactly, in principle, using Floquet theory. We characterize the noise squeezing by calculating the statistical properties of the real and imaginary parts of the Fourier transform of the resonator response to added noise. Furthermore, we observe that the squeezing effects occur only at half the parametric pump frequency. Due to correlation, the squeezing limit of $-6$~dB can be reached even with detuning around resonance near the instability threshold. Additionally, we validate some of our theoretical predictions of squeezing with the results obtained from the numerical integration of the stochastic differential equations of our model. We also applied our techniques to investigate squeezing in a pair of coupled parametric and harmonic resonators with a single noise input. The results obtained from Floquet theory can be applied generally to coupled


title: Localized Distributional Robustness in Submodular Multi-Task Subset Selection

abstract: In this work, we approach the problem of multi-task submodular optimization with the perspective of local distributional robustness, within the neighborhood of a reference distribution which assigns an importance score to each task. We initially propose to introduce a regularization term which makes use of the relative entropy to the standard multi-task objective. We then demonstrate through duality that this novel formulation itself is equivalent to the maximization of a submodular function, which may be efficiently carried out through standard greedy selection methods. This approach bridges the existing gap in the optimization of performance-robustness trade-offs in multi-task subset selection. To numerically validate our theoretical results, we test the proposed method in two different setting, one involving the selection of satellites in low Earth orbit constellations in the context of a sensor selection problem, and the other involving an image summarization task using neural networks. Our method is compared with two other algorithms focused on optimizing the performance of the worst-case task, and on directly optimizing the performance on the reference distribution itself. We conclude that our novel formulation produces a solution that is locally distributional robust, and computationally inexpensive.


title: Non-local impacts of distal airway constrictions on patterns of inhaled particle deposition

abstract: Airway constriction and blockage in obstructive lung diseases create barriers to effective drug deposition by altering how different regions of the lungs are ventilated. Established computational particle deposition models have not accounted for these impacts of disease. We present a new particle deposition model that calculates ventilation based on the resistance of each airway, such that ventilation patterns respond to airway constriction. We incorporate distal airway constrictions representative of cystic fibrosis, and assess the resulting impact on deposition down to the single-airway scale. We demonstrate how constriction reduces deposition in the airways directly distal and proximal to the affected airways. When multiple constrictions are clustered together, deposition in the central airways proximal to the constrictions is more strongly reduced, and deposition in the other central airways is generally increased. This results in more uneven deposition in both the central and distal airways, even when constrictions affect only the distal airways. We use our model to calculate lung clearance index (LCI), a clinical measure of ventilation heterogeneity, in lungs with constrictions of various severities localised to one lobe. We find an increase in LCI coinciding with a significant drop in deposition throughout the affected lobe.


title: Learning smooth functions in high dimensions: from sparse polynomials to deep neural networks

abstract: Learning approximations to smooth target functions of many variables from finite sets of pointwise samples is an important task in scientific computing and its many applications in computational science and engineering. Despite well over half a century of research on high-dimensional approximation, this remains a challenging problem. Yet, significant advances have been made in the last decade towards efficient methods for doing this, commencing with so-called sparse polynomial approximation methods and continuing most recently with methods based on Deep Neural Networks (DNNs). In tandem, there have been substantial advances in the relevant approximation theory and analysis of these techniques. In this work, we survey this recent progress. We describe the contemporary motivations for this problem, which stem from parametric models and computational uncertainty quantification; the relevant function classes, namely, classes of infinite-dimensional, Banach-valued, holomorphic functions; fundamental limits of learnability from finite data for these classes; and finally, sparse polynomial and DNN methods for efficiently learning such functions from finite data. For the latter, there is currently a significant gap between the approximation theory of DNNs and the practical performance of deep learning. Aiming to narrow this gap, we develop the topic of practical existence theory, which asserts the existence of dimension-independent DNN architectures and training strategies that achieve provably near-optimal generalization errors in terms of the amount of training data.


title: Nernst effect of high-mobility Weyl electrons in NdAlSi enhanced by a Fermi surface nesting instability

abstract: The thermoelectric Nernst effect of solids converts heat flow to beneficial electronic voltages. Here, using a correlated topological semimetal with high carrier mobility $\mu$ in presence of magnetic fluctuations, we demonstrate an enhancement of the Nernst effect close to a magnetic phase transition. A magnetic instability in NdAlSi modifies the carrier relaxation time on 'hotspots' in momentum space, causing a strong band filling dependence of $\mu$. We quantitatively derive electronic band parameters from a novel two-band analysis of the Nernst effect $S_{xy}$, in good agreement with quantum oscillation measurements and band calculations. While the Nernst response of NdAlSi behaves much like conventional semimetals at high temperatures, an additional contribution $\Delta S_{xy}$ from electronic correlations appears just above the magnetic transition. Our work demonstrates the engineering of the relaxation time, or the momentum-dependent self energy, to generate a large Nernst response independent of a material's carrier density, i.e. for metals, semimetals, and semiconductors with large $\mu$.


title: On an obstacle problem for the Brakke flow with a generalized right-angle boundary condition

abstract: We study Brakke's mean curvature flow with obstacles and with a right-angle boundary condition. Assuming that the obstacles have $C^{1,1}$-boundaries we prove that a weak solution exists globally in time. To show the existence we apply the phase-field method and thus investigate the singular limit of the Allen-Cahn equation with forcing term and homogeneous Neumann bounday condition. We also construct sub- and supersolutions that correspond to the obstacles.


title: CONCERT: Covariate-Elaborated Robust Local Information Transfer with Conditional Spike-and-Slab Prior

abstract: The popularity of transfer learning stems from the fact that it can borrow information from useful auxiliary datasets. Existing statistical transfer learning methods usually adopt a global similarity measure between the source data and the target data, which may lead to inefficiency when only local information is shared. In this paper, we propose a novel Bayesian transfer learning method named "CONCERT" to allow robust local information transfer for high-dimensional data analysis. A novel conditional spike-and-slab prior is introduced in the joint distribution of target and source parameters for information transfer. By incorporating covariate-specific priors, we can characterize the local similarities and make the sources work collaboratively to help improve the performance on the target. Distinguished from existing work, CONCERT is a one-step procedure, which achieves variable selection and information transfer simultaneously. Variable selection consistency is established for our CONCERT. To make our algorithm scalable, we adopt the variational Bayes framework to facilitate implementation. Extensive experiments and a genetic data analysis demonstrate the validity and the advantage of CONCERT over existing cutting-edge transfer learning methods. We also extend our CONCERT to the logistical models with numerical studies showing its superiority over other methods.


title: Differential geometry using quaternions

abstract: This paper establishes the basis of the quaternionic differential geometry ($\mathbbm H$DG) initiated in a previous article. The usual concepts of curves and surfaces are generalized to quaternionic constraints, as well as the curvature and torsion concepts, differential forms, directional derivatives and the structural equations. The analogy between the quaternionic and the real geometries is obtained using a matrix representation of quaternions. The results evidences the quaternionic formalism as a suitable language to differential geometry that can be useful in various directions of future investigation.


title: Finite-time Linear-Quadratic Optimal Control of Partial Differential-Algebraic Equations

abstract: Finite-time linear-quadratic control of partial differential-algebraic equations (PDAEs) is considered. The discussion is restricted to those that are radial with index $0$; this corresponds to a nilpotency degree of 1. We establish the existence of a unique minimizing optimal control. A projection is used to derive a system of differential Riccati-like equation coupled with an algebraic equation, yielding the solution of the optimization problem in a feedback form. This generalizes the well-known result for PDEs to this class of PDAEs. These equations and hence the optimal control can be calculated without construction of the projected PDAE. Finally, we provide numerical simulations to illustrate application of the theoretical results.


title: Mathematical Program Networks

abstract: Mathematical Program Networks (MPNs) are introduced in this work. An MPN is a collection of interdependent Mathematical Programs (MPs) which are to be solved simultaneously, while respecting the connectivity pattern of the network defining their relationships. The network structure of an MPN impacts which decision variables each constituent mathematical program can influence, either directly or indirectly via solution graph constraints representing optimal decisions for their decedents. Many existing problem formulations can be formulated as MPNs, including Nash Equilibrium problems, multilevel optimization problems, and Equilibrium Programs with Equilibrium Constraints (EPECs), among others. The equilibrium points of an MPN correspond with the equilibrium points or solutions of these other problems. By thinking of a collection of decision problems as an MPN, a common definition of equilibrium can be used regardless of relationship between problems, and the same algorithms can be used to compute solutions. The presented framework facilitates modeling flexibility and analysis of various equilibrium points in problems involving multiple mathematical programs.


title: Odometers in non-compact spaces

abstract: We define an odometer in the Baire space. That is the non-compact space of one sided sequences of natural numbers. We go on to prove that it is topologically conjugated to the dyadic odometer restricted to an appropriate non-compact subset of the space of one sided sequences on two symbols. We extend the action of the odometer to finite words. It turns out that, arranging the finite words in appropriate binary tree, this extension runs through the tree from left-right and top-down. Several well known binary trees made out of rational numbers, such as the Kepler tree or the Calkin and Wilf tree, are recovered in this way. Indeed, it suffices to identify finite words with rational numbers by means of certain continued fractions. The odometric action allow us to recover, in a unified way, several counting results for the rational numbers. Moreover, associated to certain interval maps with countably many branches we construct their corresponding odometers. Explicit formulas are provided in the cases of the Gauss map (continued fractions) and the Renyi map (backward continued fractions).


title: On Extending the Automatic Test Markup Language (ATML) for Machine Learning

abstract: This paper addresses the urgent need for messaging standards in the operational test and evaluation (T&E) of machine learning (ML) applications, particularly in edge ML applications embedded in systems like robots, satellites, and unmanned vehicles. It examines the suitability of the IEEE Standard 1671 (IEEE Std 1671), known as the Automatic Test Markup Language (ATML), an XML-based standard originally developed for electronic systems, for ML application testing. The paper explores extending IEEE Std 1671 to encompass the unique challenges of ML applications, including the use of datasets and dependencies on software. Through modeling various tests such as adversarial robustness and drift detection, this paper offers a framework adaptable to specific applications, suggesting that minor modifications to ATML might suffice to address the novelties of ML. This paper differentiates ATML's focus on testing from other ML standards like Predictive Model Markup Language (PMML) or Open Neural Network Exchange (ONNX), which concentrate on ML model specification. We conclude that ATML is a promising tool for effective, near real-time operational T&E of ML applications, an essential aspect of AI lifecycle management, safety, and governance.


title: An introduction to mixed Tate motives

abstract: Mixed Tate motives are central objects in the study of cohomology groups of algebraic varieties and their arithmetic invariants. They also play a crucial role in a wide variety of questions related to multiple zeta values and polylogarithms, algebraic K-theory, hyperbolic geometry, and particle physics among others. This survey article is an introduction to mixed Tate motives and their many facets. It was written for the proceedings of the Summer School on Motives and Arithmetic Groups held in Strasbourg in June 2022.


title: R5Detect: Detecting Control-Flow Attacks from Standard RISC-V Enclaves

abstract: Embedded and Internet-of-Things (IoT) devices are ubiquitous today, and the uprising of several botnets based on them (e.g., Mirai, Ripple20) raises issues about the security of such devices. Especially low-power devices often lack support for modern system security measures, such as stack integrity, Non-eXecutable bits or strong cryptography. In this work, we present R5Detect, a security monitoring software that detects and prevents control-flow attacks on unmodified RISC-V standard architectures. With a novel combination of different protection techniques, it can run on embedded and low-power IoT devices, which may lack proper security features. R5Detect implements a memory-protected shadow stack to prevent runtime modifications, as well as a heuristics detection based on Hardware Performance Counters to detect control-flow integrity violations. Our results indicate that regular software can be protected against different degrees of control-flow manipulations with an average performance overhead of below 5 %. We implement and evaluate R5Detect on standard low-power RISC-V devices and show that such security features can be effectively used with minimal hardware support.


title: Microscopic derivation of non-local models with anomalous diffusions from stochastic particle systems

abstract: This paper considers a large class of nonlinear integro-differential scalar equations which involve an anomalous diffusion (e.g. driven by a fractional Laplacian) and a non-local singular convolution kernel. Each of those singular equations is obtained as the macroscopic limit of an interacting particle system modeled as N coupled stochastic differential equations driven by L\'evy processes. In particular we derive quantitative estimates between the microscopic empirical measure of the particle system and the solution to the limit equation in some non-homogeneous Sobolev space. Our result only requires very weak regularity on the interaction kernel, therefore it includes numerous applications, e.g.: the 2d turbulence model (including the quasi-geostrophic equation) in sub-critical regime, the 2d generalized Navier-Stokes equation, the fractional Keller-Segel equation in any dimension, and the fractal Burgers equation.


title: An Optimal Control Problem Arising in Sailboat Trajectory Optimization

abstract: We formulate the optimal control problem for a sailboat that seeks to reach an upwind buoy, under the hypothesis that the wind speed is constant and the wind direction is a Brownian motion. The yacht moves in $\mathbb{R}^2$ and the target is a ball of radius $\eta \geq 0$ centered at the origin. The yacht can be subject to a tacking cost $c\geq 0$. We consider three control problems depending on the value of the parameters: the first one corresponds to the case $\eta =0$, $c=0$, the second to the case $\eta >0$, $c=0$, and the third to the case $\eta \geq 0$, $c>0$. We define the control problems, and prove that their value function is finite. We guess the optimal strategy $A^\star$ for $\eta \geq 0$, $c=0$. The process controlled by $A^\star$ has non continuous and unbounded coefficients near the origin, so the standard results on existence and uniqueness of a strong solution do not apply. We provide a proof using the Yamada-Watanabe argument.


title: Exploration is Harder than Prediction: Cryptographically Separating Reinforcement Learning from Supervised Learning

abstract: Supervised learning is often computationally easy in practice. But to what extent does this mean that other modes of learning, such as reinforcement learning (RL), ought to be computationally easy by extension? In this work we show the first cryptographic separation between RL and supervised learning, by exhibiting a class of block MDPs and associated decoding functions where reward-free exploration is provably computationally harder than the associated regression problem. We also show that there is no computationally efficient algorithm for reward-directed RL in block MDPs, even when given access to an oracle for this regression problem. It is known that being able to perform regression in block MDPs is necessary for finding a good policy; our results suggest that it is not sufficient. Our separation lower bound uses a new robustness property of the Learning Parities with Noise (LPN) hardness assumption, which is crucial in handling the dependent nature of RL data. We argue that separations and oracle lower bounds, such as ours, are a more meaningful way to prove hardness of learning because the constructions better reflect the practical reality that supervised learning by itself is often not the computational bottleneck.