Search

We design an Interactive Oracle Proof of Proximity (IOPP) for codes on graphs inspired by the FRI protocol. The soundness is significantly improved compared to the FRI, the complexity parameters are comparable, and there are no restrictions on the field used, enabling to consider new codes to design code-based SNARKs.

We consider quenched critical percolation on a supercritical Galton--Watson tree with either finite variance or $\alpha$-stable offspring tails for some $\alpha \in (1,2)$. We show that the GHP scaling limit of a quenched critical percolation cluster on this tree is the corresponding $\alpha$-stable tree, as is the case in the annealed setting. As a corollary we obtain that a simple random walk on the cluster also rescales to Brownian motion on the stable tree. Along the way, we also obtain quenched asymptotics for the tail of the cluster size, which completes earlier results obtained in Michelen (2019) and Archer-Vogel (2024).

We present a study of atmospheric disturbances at Jezero Crater, Mars, using ground-based measurements of surface pressure by the Perseverance rover in combination with orbital images from the Mars Express and Mars Reconnaissance Orbiter missions. The study starts at Ls $\sim$ 13.3{\deg} in MY36 (March 6th, 2021) and extends up to Ls $\sim$ 30.3{\deg} in MY37 (February 28th, 2023). We focus on the characterization of the major atmospheric phenomena at synoptic and planetary-scales. These are the thermal tides (measured up to the sixth component), long-period pressure oscillations (periods > 1 sol), the Aphelion Cloud Belt, and the occasional development of regional dust storms over Jezero. We present the seasonal evolution of the amplitudes and phases of the thermal tides and their relation with the atmospheric dust content (optical depth). Three regional dust storms and one polar storm extending over Jezero produced an increase in the diurnal and semidiurnal amplitudes but resulted in inverse responses in their phases. We show that the primary regular wave activity is due to baroclinic disturbances with periods of 2-4 sols and amplitudes $\sim$ 1-15 Pa increasing with dust content, in good agreement with theoretical predictions by model calculations. The spacecraft images show a number of arc-shaped, spiral and irregular cyclonic vortices, traced by dust and clouds at the edge of the North Polar Cap, that could be behind some of the pressure oscillations measured at Jezero.

We consider a recent model of random walk that recursively grows the network on which it evolves, namely the Tree Builder Random Walk (TBRW). We introduce a bias $\rho \in (0,\infty)$ towards the root, and exhibit a phase transition for transience/recurrence at a critical threshold $\rho_c =1+2\overline{\nu}$, where $\overline{\nu}$ is the (possibly infinite) expected number of new leaves attached to the walker's position at each step. This generalizes previously known results, which focused on the unbiased case $\rho=1$. The proofs rely on a recursive analysis of the local times of the walk at each vertex of the tree, after a given number of returns to the root. We moreover characterize the strength of the transience (law of large numbers and central limit theorem with positive speed) via standard arguments, establish recurrence at $\rho_c$, and show a condensation phenomenon in the non-critical recurrent case.

Wasserstein barycentres represent average distributions between multiple probability measures for the Wasserstein distance. The numerical computation of Wasserstein barycentres is notoriously challenging. A common approach is to use Sinkhorn iterations, where an entropic regularisation term is introduced to make the problem more manageable. Another approach involves using fixed-point methods, akin to those employed for computing Fr\'echet means on manifolds. The convergence of such methods for 2-Wasserstein barycentres, specifically with a quadratic cost function and absolutely continuous measures, was studied by Alvarez-Esteban et al. (2016). In this paper, we delve into the main ideas behind this fixed-point method and explore how it can be generalised to accommodate more diverse transport costs and generic probability measures, thereby extending its applicability to a broader range of problems. We show convergence results for this approach and illustrate its numerical behaviour on several barycentre problems.

Detecting synthetic tabular data is essential to prevent the distribution of false or manipulated datasets that could compromise data-driven decision-making. This study explores whether synthetic tabular data can be reliably identified ''in the wild''-meaning across different generators, domains, and table formats. This challenge is unique to tabular data, where structures (such as number of columns, data types, and formats) can vary widely from one table to another. We propose three cross-table baseline detectors and four distinct evaluation protocols, each corresponding to a different level of ''wildness''. Our very preliminary results confirm that cross-table adaptation is a challenging task.

Neural Marked Temporal Point Processes (MTPP) are flexible models to capture complex temporal inter-dependencies between labeled events. These models inherently learn two predictive distributions: one for the arrival times of events and another for the types of events, also known as marks. In this study, we demonstrate that learning a MTPP model can be framed as a two-task learning problem, where both tasks share a common set of trainable parameters that are optimized jointly. We show that this often leads to the emergence of conflicting gradients during training, where task-specific gradients are pointing in opposite directions. When such conflicts arise, following the average gradient can be detrimental to the learning of each individual tasks, resulting in overall degraded performance. To overcome this issue, we introduce novel parametrizations for neural MTPP models that allow for separate modeling and training of each task, effectively avoiding the problem of conflicting gradients. Through experiments on multiple real-world event sequence datasets, we demonstrate the benefits of our framework compared to the original model formulations.

Recent studies have revealed the central role of chaotic stretching and folding at the pore scale in controlling mixing within porous media, whether the solid phase is discrete (as in granular and packed media) or continuous (as in vascular networks and open porous structures). Despite its widespread occurrence, a unified theory of chaotic mixing across these diverse systems remains to be developed. Furthermore, previous studies have focused on fluid stretching mechanisms but the folding mechanisms are largely unknown. We address these shortcomings by presenting a unified theory of mixing in porous media. We thus show that fluid stretching and folding (SF) arise through the same fundamental kinematics driven by the topological complexity of the medium. We find that mixing in continuous porous media manifests as discontinuous mixing through a combination of SF and cutting and shuffling (CS) actions, but the rate of mixing is governed by SF only. Conversely, discrete porous media involves SF motions only. We unify these diverse systems and mechanisms by showing that continuous media represents an analog of discrete media with finite-sized grain contacts. This unified theory provides insights into the generation of pore-scale chaotic mixing and points to design of novel porous architectures with tuneable mixing and transport properties., Comment: 20 pages, 17 figures

Surface-plasmon polaritons (SPPs) are electromagnetic waves that propagate along metal-dielectric interfaces, with important applications in sensing, energy, and nanotechnology. While the behavior of SPPs in single metal slabs is well understood, the coupling between plasmon modes in multilayer systems has received less attention. In this paper, we explore the response functions of SPPs in single-slab, double-slab, and two-different-slab systems using the jellium model. Thanks to a comparison with classical models, our study reveals how quantum effects influence the resonance frequencies of these modes. It also details the spatial description of the different SPP modes and unveils how their coupling occurs in two-different-slab systems. These findings provide new insights into the behavior of SPPs, especially in complex nanostructures.

In this study, we propose an exploratory approach aiming at a typology of user behaviour during a Web search session. We describe a typology based on generic IR variables (e.g. number of queries), but also on the study of topic (propositions with distinct semantic content defined from the search statement). To this end, we gathered experimental data enabling us to study variations across users (N=70) for the same task. We performed a multidimensional analysis and propose a 5 classes typology based on the individual behaviours during the processing of a complex search task., Comment: in French language, CORIA (COnf{\'e}rence en Recherche d'Information et Applications), 2024, La Rochelle, France

This study proposes a qualitative analysis of self replies in Wikipedia talk pages, more precisely when the first two messages of a discussion are written by the same user. This specific pattern occurs in more than 10% of threads with two messages or more and can be explained by a number of reasons. After a first examination of the lexical specificities of second messages, we propose a seven categories typology and use it to annotate two reference samples (English and French) of 100 threads each. Finally, we analyse and compare the performance of human annotators (who reach a reasonable global efficiency) and instruction-tuned LLMs (which encounter important difficulties with several categories).

In the last two years, text-to-image diffusion models have become extremely popular. As their quality and usage increase, a major concern has been the need for better output control. In addition to prompt engineering, one effective method to improve the controllability of diffusion models has been to condition them on additional modalities such as image style, depth map, or keypoints. This forms the basis of ControlNets or Adapters. When attempting to apply these methods to control human poses in outputs of text-to-image diffusion models, two main challenges have arisen. The first challenge is generating poses following a wide range of semantic text descriptions, for which previous methods involved searching for a pose within a dataset of (caption, pose) pairs. The second challenge is conditioning image generation on a specified pose while keeping both high aesthetic and high pose fidelity. In this article, we fix these two main issues by introducing a text-to-pose (T2P) generative model alongside a new sampling algorithm, and a new pose adapter that incorporates more pose keypoints for higher pose fidelity. Together, these two new state-of-the-art models enable, for the first time, a generative text-to-pose-to-image framework for higher pose control in diffusion models. We release all models and the code used for the experiments at https://github.com/clement-bonnet/text-to-pose., Comment: Published at the NeurIPS 2024 Workshop on Compositional Learning: Perspectives, Methods, and Paths Forward

The discrepancy between models and data regarding the muon content in air showers generated by ultra-high energy cosmic rays still needs to be solved. The CONEX simulation framework provides a flexible tool to assess the impact of different interaction properties and thus address the muon puzzle. In this work, we present the multidimensional extension of CONEX and show its performance compared to CORSIKA by discussing muon-related air-shower features for three experiments: KASCADE, IceTop, and the Pierre Auger Observatory. We also implement an effective version of the core-corona model to demonstrate the impact of the core effect, as observed at the LHC, on the muon content in air showers produced by ultra-high energy cosmic rays. At a primary energy of $E_0 = 10^{19}\,$eV, we obtain an increase of $15\%$ to $20\%$ in the muon content., Comment: 27+1 pages, 18 figures

The Affordable Care Act was signed into law in 2010, expanding Medicaid and improving access to care for millions of low-income Americans. Fewer uninsured individuals reduced the cost of uncompensated care, consequently improving the financial health of hospitals. We hypothesize that this amelioration in hospital finances resulted in a marked improvement of quality measures in states that chose to expand Medicaid. To our knowledge, the impact of Medicaid expansion on the Medicare population has not been investigated. Using a difference-in-difference analysis, we compare readmission rates for four measures from the Hospital Readmission Reduction Program: acute myocardial infarction, pneumonia, heart failure, and coronary artery bypass graft surgery. Our analysis provides evidence that between 2013 and 2021 expansion states improved hospital quality relative to non-expansion states as it relates to acute myocardial infarction readmissions (p = 0.015) and coronary artery bypass graft surgery readmissions (p = 0.039). Our analysis provides some evidence that expanding Medicaid improved hospital quality, as measured by a reduction in readmission rates. Using visualizations, we provide some evidence that hospital quality improved for the other two measures as well. We believe that a refinement of our estimation method and an improved dataset will increase our chances of finding significant results for these two other measures.

Data from multiple experiments suggest that the current interaction models used in Monte Carlo simulations do not correctly reproduce the hadronic interactions in air showers produced by ultra-high-energy cosmic rays (UHECR), in particular - but not limited to - the production of muons during the showers. We have created a large library of UHECR simulations where the interactions at the highest energies are slightly modified in various ways - but always within the constraints of the accelerator data, without any abrupt changes with energy and without assuming any specific mechanism or dramatically new physics at the ultra-high energies. We find that even when very different properties - cross-section, elasticity and multiplicity - of the interactions are modified, the resulting changes in some air-shower observables are still mutually correlated. Thus not all possible combinations of changes of observables are easily reproduced by some combination of the modifications. Most prominently, the recent results of the Pierre Auger Observatory, which call for a change in the prediction of both the muon content at ground and the depth of the maximum of longitudinal development of the showers, are rather difficult to reproduce with such modifications, in particular when taking into account other cosmic-ray data. While some of these results are related to the assumptions we place on the modifications, the overall lessons are general and provide valuable insight into how the UHECR data can be interpreted from the point of view of hadronic physics., Comment: Published in proceedings of New Trends in High-Energy and Low-x Physics in Ukrainian Journal of Physics

Let $f$ be an $E$-function (in Siegel's sense) not of the form $e^{\beta z}$, $\beta \in \overline{\mathbb{Q}}$, and let $\log$ denote any fixed determination of the complex logarithm. We first prove that there exists a finite set $S(f)$ such that for all $\xi\in \overline{\mathbb{Q}}\setminus S(f)$, $\log(f(\xi))$ is a transcendental number. We then quantify this result when $f$ is an $E$-function in the strict sense with rational coefficients, by proving an irrationality measure of $\ln(f(\xi))$ when $\xi\in \mathbb{Q}\setminus S(f)$ and $f(\xi)\gt0$. This measure implies that $\ln(f(\xi))$ is not an ultra-Liouville number, as defined by Marques and Moreira. The proof of our first result, which is in fact more general, uses in particular a recent theorem of Delaygue. The proof of the second result, which is independent of the first one, is a consequence of a new linear independence measure for values of linearly independent $E$-functions in the strict sense with rational coefficients, where emphasis is put on other parameters than on the height, contrary to the case in Shidlovskii's classical measure for instance.

This is an index of the contributions by the Giant Radio Array for Neutrino Detection (GRAND) Collaboration to the 10th International Workshop on Acoustic and Radio EeV Neutrino Detection Activities (ARENA 2024, University of Chicago, June 11-14, 2024). The contributions include an overview of GRAND in its present and future incarnations, methods of radio-detection that are being developed for them, and ongoing joint work between the GRAND and BEACON experiments., Comment: Note: To access the list of contributions, please follow the "HTML" link that can be found on the arXiv page

Triton and Pluto are believed to share a common origin, both forming initially in the Kuiper Belt but Triton being later captured by Neptune. Both objects display similar sizes, densities, and atmospheric and surface ice composition, with the presence of volatile ices N2, CH4 and CO. Yet their appearance, including their surface albedo and ice distribution strongly differ. What can explain these different appearances? A first disparity is that Triton is experiencing significant tidal heating due to its orbit around Neptune, with subsequent resurfacing and a relatively flat surface, while Pluto is not tidally activated and displays a pronounced topography. Here we present long-term volatile transport simulations of Pluto and Triton, using the same initial conditions and volatile inventory, but with the known orbit and rotation of each object. The model reproduces, to first order, the observed volatile ice surface distribution on Pluto and Triton. Our results unambiguously demonstrate that obliquity is the main driver of the differences in surface appearance and in climate properties on Pluto and Triton, and give further support to the hypothesis that both objects had a common origin followed by a different dynamical history., Comment: 16 pages, 3 figures

The operation of upcoming ultra-high-energy cosmic-ray, gamma-ray, and neutrino radio-detection experiments, like the Giant Radio Array for Neutrino Detection (GRAND), poses significant computational challenges involving the production of numerous simulations of particle showers and their detection, and a high data throughput. GRANDlib is an open-source software tool designed to meet these challenges. Its primary goal is to perform end-to-end simulations of the detector operation, from the interaction of ultra-high-energy particles, through -- by interfacing with external air-shower simulations -- the ensuing particle shower development and its radio emission, to its detection by antenna arrays and its processing by data-acquisition systems. Additionally, GRANDlib manages the visualization, storage, and retrieval of experimental and simulated data. We present an overview of GRANDlib to serve as the basis of future GRAND analyses., Comment: 11 pages, 9 figures, plus appendices; Matches published version

We investigate finding a map $g$ within a function class $G$ that minimises an Optimal Transport (OT) cost between a target measure $\nu$ and the image by $g$ of a source measure $\mu$. This is relevant when an OT map from $\mu$ to $\nu$ does not exist or does not satisfy the desired constraints of $G$. We address existence and uniqueness for generic subclasses of $L$-Lipschitz functions, including gradients of (strongly) convex functions and typical Neural Networks. We explore a variant that approaches a transport plan, showing equivalence to a map problem in some cases. For the squared Euclidean cost, we propose alternating minimisation over a transport plan $\pi$ and map $g$, with the optimisation over $g$ being the $L^2$ projection on $G$ of the barycentric mapping $\overline{\pi}$. In dimension one, this global problem equates the $L^2$ projection of $\overline{\pi^*}$ onto $G$ for an OT plan $\pi^*$ between $\mu$ and $\nu$, but this does not extend to higher dimensions. We introduce a simple kernel method to find $g$ within a Reproducing Kernel Hilbert Space in the discrete case. Finally, we present numerical methods for $L$-Lipschitz gradients of $\ell$-strongly convex potentials.

Surface acoustic waves (SAWs) are a powerful tool for controlling a wide range of quantum systems, particularly quantum dots (QDs) via their oscillating strain fields. The resulting energy modulation of these single photon sources can be harnessed to achieve spectral overlap between two QDs otherwise emitting at different wavelengths. In this study, we integrate InAsP/InP nanowire quantum dots onto a thin-film lithium niobate platform, a strong piezoelectric material, and embed them within Si$_{3}$N$_{4}$-loaded waveguides. We demonstrate emission wavelength modulation of 0.70 nm at 13 dBm with a single focused interdigital transducer (FIDT) operating at 400 MHz, and achieve twice this modulation by using two FIDTs as an acoustic cavity. Additionally, we bring two QDs with an initial wavelength difference of 0.5 nm into resonance using SAWs. This scalable strain-tuning approach represents a significant step towards producing indistinguishable single photons from remote emitters heterogeneously integrated on a single photonic chip, and paves the way for large scale on-chip quantum information processing using photonic platforms.

Zn-Al-Mg coatings are characterized by a complex microstructure with dendritic and eutectic phases. This heterogeneous phase distribution contributes to multiple deformation and damage mechanisms. The presence of brittle phases promotes crack initiation and propagation. This study reveals a new deformation and damage mechanism of a Zn-Al-Mg coating, where twinning can induce crack initiation in the eutectic region. The chronology of different events leading to crack initiation and propagation is clearly established by in-situ tensile testing in a scanning electron microscope, which helps to establish a detailed characterization of the mechanical behavior of the coating.

We report on the development and short-term stability characterization of an optical frequency reference based on the spectroscopy of the rubidium two-photon transition at 778 nm in a microfabricated vapor cell. When compared against a 778 nm reference signal extracted from a frequency-doubled cavity-stabilized telecom laser, the short-term stability of the microcell frequency standard is 3.5 $\times$ 10$^{-13}$ $\tau^{-1/2}$ until 200~s, in good agreement with a phase noise level of $+$ 43 dBrad$^2$/Hz at 1~Hz offset frequency. The two main contributions to the short-term stability of the microcell reference are currently the photon shot noise and the intermodulation effect induced by the laser frequency noise. With still a relevant margin of progress, these results show the interest of this spectroscopic approach for the demonstration of high-stability miniaturized optical vapor cell clocks. Such clocks are poised to be highly beneficial for applications in navigation, communications, and metrology.

Our study focuses on Wikipedia talk pages, from a global perspective analyzing contributors' behaviors in online interactions. Using a corpus comprising all Wikipedia talk pages in French, totaling more than 300,000 discussion threads, we examine how discussions with more than two participants (multiparty conversation) unfold and we specifically investigate the role of a third participant's intervention when two Wikipedians have already initiated an exchange. In this regard, we concentrate on the sequential structure of these interactions in terms of articulation among different participants and aim to specify this third message by exploring its lexical particularities, while also proposing an initial typology of the third participant's message role and how it aligns with preceding messages., Comment: in French language. JADT 2024 - 17es Journ{\'e}es internationales d'Analyse statistique des Donn{\'e}es Textuelles, SeSLa (S{\'e}minaire des Sciences du Langage de l'UCLouvain -- Site Saint-Louis); LASLA (Laboratoire d'Analyse statistique des Langues anciennes de l'Universit{\'e} de Li{\`e}ge), 2024, Bruxelles, Belgique

In this study, we propose a corpus analysis of an area of the French lexicon that is both dense and highly structured: the vocabulary of family relationships. Starting with a lexicon of 25 nouns designating the main relationships (son, cousin, mother, grandfather, sister-in-law etc.), we examine how these terms are positioned in relation to each other through distributional analyses based on the use of these terms in corpora. We show that distributional information can capture certain features that organize this vocabulary (descent, alliance, siblings, genre), in ways that vary according to the different corpora compared., Comment: in French language. JADT 2024 - 17es Journ{\'e}es internationales d'Analyse statistique des Donn{\'e}es Textuelles, SeSLa (S{\'e}minaire des Sciences du Langage de l'UCLouvain -- Site Saint-Louis), 2024, Bruxelles, Belgique

Wide field of view and light weight optics are critical for advanced eyewear, with applications in augmented/virtual reality and night vision. Conventional refractive lenses are often stacked to correct aberrations at wide field of view, leading to limited performance and increased size and weight. In particular, simultaneously achieving wide field of view and large aperture for light collection is desirable but challenging to realize in a compact form-factor. Here, we demonstrate a wide field of view (greater than 60$^\circ$) meta-optic doublet eyepiece with an entrance aperture of 2.1 cm. At the design wavelength of 633 nm, the meta-optic doublet achieves comparable performance to a refractive lens-based eyepiece system. This meta-doublet eyepiece illustrates the potential for meta-optics to play an important role in the development of high-quality monochrome near-eye display and night vision systems.

The ability to train generative models that produce realistic, safe and useful tabular data is essential for data privacy, imputation, oversampling, explainability or simulation. However, generating tabular data is not straightforward due to its heterogeneity, non-smooth distributions, complex dependencies and imbalanced categorical features. Although diverse methods have been proposed in the literature, there is a need for a unified evaluation, under the same conditions, on a variety of datasets. This study addresses this need by fully considering the optimization of: hyperparameters, feature encodings, and architectures. We investigate the impact of dataset-specific tuning on five recent model families for tabular data generation through an extensive benchmark on 16 datasets. These datasets vary in terms of size (an average of 80,000 rows), data types, and domains. We also propose a reduced search space for each model that allows for quick optimization, achieving nearly equivalent performance at a significantly lower cost. Our benchmark demonstrates that, for most models, large-scale dataset-specific tuning substantially improves performance compared to the original configurations. Furthermore, we confirm that diffusion-based models generally outperform other models on tabular data. However, this advantage is not significant when the entire tuning and training process is restricted to the same GPU budget.

The $\cal{CP}$ structure of the Higgs boson is a fundamental property which has not yet been constrained with high precision. $\cal{CP}$ violation in the Yukawa coupling between the Higgs boson and top quark pair can be probed directly at the Large Hadron Collider by measuring top-quark-associated Higgs production. Multivariate analysis techniques commonly developed so far by the experiments are designed for a specific signal model and, therefore, complicate reinterpretations and statistical combinations. With this motivation in mind, we propose a $\cal{CP}$-sensitive extension of the simplified template cross-section (STXS) framework. Considering multiple Higgs decay channels, we perform an in-depth comparison of $\cal{CP}$-sensitive observables and combinations thereof. Our resulting proposal is to extend the existing binning in the transverse momentum of the Higgs boson $p_{T,H}$ by either the pseudorapidity difference of the two top-quarks $\Delta \eta_{t\bar t}$, or a variable that is based on the top quark momenta, namely $b_2$ or the Collins-Soper angle $|\cos\theta^*|$. We demonstrate that this variable selection provides close to optimal sensitivity to the $\cal{CP}$ mixture in the top Yukawa coupling for an integrated luminosity of $300\mathrm{fb}^{-1}$, by comparing it to the results of a multivariate analysis. Our results also suggest a benefit of the two-dimensional STXS extension at 3000$\mathrm{fb}^{-1}$., Comment: 46 pages, 21 figures

Deep learning models for plant species identification rely on large annotated datasets. The PlantNet system enables global data collection by allowing users to upload and annotate plant observations, leading to noisy labels due to diverse user skills. Achieving consensus is crucial for training, but the vast scale of collected data makes traditional label aggregation strategies challenging. Existing methods either retain all observations, resulting in noisy training data or selectively keep those with sufficient votes, discarding valuable information. Additionally, as many species are rarely observed, user expertise can not be evaluated as an inter-user agreement: otherwise, botanical experts would have a lower weight in the AI training step than the average user. Our proposed label aggregation strategy aims to cooperatively train plant identification AI models. This strategy estimates user expertise as a trust score per user based on their ability to identify plant species from crowdsourced data. The trust score is recursively estimated from correctly identified species given the current estimated labels. This interpretable score exploits botanical experts' knowledge and the heterogeneity of users. Subsequently, our strategy removes unreliable observations but retains those with limited trusted annotations, unlike other approaches. We evaluate PlantNet's strategy on a released large subset of the PlantNet database focused on European flora, comprising over 6M observations and 800K users. We demonstrate that estimating users' skills based on the diversity of their expertise enhances labeling performance. Our findings emphasize the synergy of human annotation and data filtering in improving AI performance for a refined dataset. We explore incorporating AI-based votes alongside human input. This can further enhance human-AI interactions to detect unreliable observations.

In this thesis, we study counts of quiver representations over finite rings of truncated power series. We prove a plethystic formula relating counts of quiver representations over these rings and counts of jets on fibres of quiver moment maps. This solves a conjecture of Wyss and allows us to compute both counts on additional examples, using local zeta functions. The relation between counts of representations and counts of jets generalises the relation between Kac polynomials and counts of points on preprojective stacks. Pursuing this analogy, we establish further properties of our counts. We show that, for totally negative quivers, counts of jets converge to p-adic integrals on fibres of quiver moment maps. One expects a relation between these p-adic integrals and BPS invariants of preprojective algebras i.e. Kac polynomials. For small rank vectors, we also prove that the polynomials counting indecomposable quiver representations over finite rings have non-negative coefficients. Moreover, we show that jet schemes of fibres of quiver moment maps are cohomologically pure in that setting, so that their Poincar\'e polynomials are given by the former counts. This is reminiscent of the structure of cohomological Hall algebras, which are built from the cohomology of preprojective stacks. Finally, we compute the cohomology of jet spaces of preprojective stacks explicitly for the A2 quiver. Building on the structure of the preprojective cohomological Hall algebra of A2, we propose a candidate analogue of the BPS Lie algebra and conjecture the existence of a Hall product on the cohomology of these jet spaces., Comment: PhD Thesis, comments welcome! arXiv admin note: text overlap with arXiv:2209.14791

Fres\'an and Jossen have given a negative answer to a question of Siegel about the representability of every $E$-function as a polynomial with algebraic coefficients in $E$-functions of type ${}_pF_q[\underline{a};\underline{b};\gamma x^{q-p+1}]$ with $q\geq p\geq 0$, $\gamma \in \overline{\mathbb Q}$ and rational parameters $\underline{a}, \underline{b}$. In this paper, we study, in a more general context, a similar question for $G$-functions asked by Fischler and the second author: can every $G$-function be represented as a polynomial with algebraic coefficients in $G$-functions of type $\mu(x)\cdot {}_pF_{p-1}[\underline{a};\underline{b};\lambda(x)]$ with $p\ge 1$, rational parameters $\underline{a},\underline{b}$ and $\mu,\lambda$ algebraic over $\mathbb Q(x)$ with $\lambda(0)=0$? They have shown the answer to be negative under a generalization of Grothendieck's Period Conjecture and a technical assumption on the~$\lambda$'s. Using differential Galois theory, we prove that, for every $N\in \mathbb N$, there exists a $G$-function which can not be represented as a rational function with coefficients in $\overline{\mathbb C(x)}$ of solutions of linear differential equations with coefficients in $\mathbb C(x)$ and at most $N$ singularities in $\mathbb{P}^1 (\mathbb C)$. As a corollary, we deduce that not all $G$-functions can be represented as a rational function in hypergeometric series of the above mentioned type, when the $\lambda$'s are rational functions with degrees of their numerators and denominators bounded by an arbitrarily large fixed constant. This provides an unconditional negative answer to the question asked by Fischler and the second author for such~$\lambda$'s.

The X-ray Integral Field Unit (X-IFU) is the high-resolution X-ray spectrometer to fly on board the Athena Space Observatory of the European Space Agency (ESA). It is being developed by an international Consortium led by France, involving twelve ESA member states, plus the United States. It is a cryogenic instrument, involving state of the art technology, such as micro-calorimeters, to be read out by low noise electronics. As the instrument was undergoing its system requirement review (in 2022), a life cycle assessment (LCA) was performed to estimate the environmental impacts associated with the development of the sub-systems that were under the responsibility of the X-IFU Consortium. The assessment included the supply, manufacturing and testing of sub systems, as well as involved logistics and manpower. We find that the most significant environmental impacts arise from testing activities, which is related to energy consumption in clean rooms, office work, which is related to energy consumption in office buildings, and instrument manufacturing, which is related to the use of mineral and metal resources. Furthermore, business travels is another area of concern, despite the policy to reduced flying adopted by the Consortium. As the instrument is now being redesigned to fit within the new boundaries set by ESA, the LCA will be updated, with a focus on the hot spots identified in the first iteration. The new configuration, consolidated in 2023, is significantly different from the previously studied version and is marked by an increase of the perimeter of responsibility for the Consortium. This will need to be folded in the updated LCA, keeping the ambition to reduce the environmental footprint of X-IFU, while complying with its stringent requirements in terms of performance and risk management., Comment: 28 pages, 7 figures, accepted for publication in Experimental Astronomy

Wi-Fi sensing has been used to detect and track movements in an environment, resulting in the emergence of several innovative applications. Wi-Fi sensing can detect movement and locate objects by analyzing variations in the Wi-Fi signal due to its interaction with moving objects. Until recently, Wi-Fi sensing has been primarily available through proprietary solutions, which has limited its adoption. However, the recent initiative by the IEEE to develop the IEEE 802.11bf standard promises to make the adoption of Wi-Fi sensing widespread. Although Wi-Fi sensing procedures in communication standards can be overhead, there is currently a lack of literature exploring the sensing performance of Wi-Fi sensing procedures specified in the IEEE 802.11bf standard and its impact on data communication. Therefore, this paper presents a comprehensive evaluation of the sensing performance of the IEEE 802.11bf protocol and its impact on data communication in different configurations. Our findings expose the limitations of specific configurations and pave the way to provide guidance on efficient operating configurations of an IEEE 802.11bf network.

With the support of the national program on measurements, standards, and evaluation of quantum technologies MetriQs-France, a part of the French national quantum strategy, the BACQ project is dedicated to application-oriented benchmarks for quantum computing. The consortium gathering THALES, EVIDEN, an Atos business, CEA, CNRS, TERATEC, and LNE aims at establishing performance evaluation criteria of reference, meaningful for industry users.

Flat optics have been proposed as an attractive approach for the implementation of new imaging and sensing modalities to replace and augment refractive optics. However, chromatic aberrations impose fundamental limitations on diffractive flat optics. As such, true broadband high-quality imaging has thus far been out of reach for low f-number, large aperture, flat optics. In this work, we overcome these intrinsic fundamental limitations, achieving broadband imaging in the visible wavelength range with a flat meta-optic, co-designed with computational reconstruction. We derive the necessary conditions for a broadband, 1 cm aperture, f/2 flat optic, with a diagonal field of view of 30{\deg} and an average system MTF contrast of 30% or larger for a spatial frequency of 100 lp/mm in the visible band (> 50 % for 70 lp/mm and below). Finally, we use a coaxial, dual-aperture system to train the broadband imaging meta-optic with a learned reconstruction method operating on pair-wise captured imaging data. Fundamentally, our work challenges the entrenched belief of the inability of capturing high-quality, full-color images using a single large aperture meta-optic.

As more connectome data become available, the question of how to best analyse the structure of biological neural networks becomes increasingly pertinent. In brain networks, knowing that two areas are connected is often not sufficient, as the directionality and weight of the connection affect the dynamics in crucial ways. Still, the methods commonly used to estimate network properties, such as clustering and small-worldness, usually disregard features encoded in the directionality and strength of network connections. To address this issue, we propose using fully-weighted and directed clustering measures that provide higher sensitivity to non-random structural features. Using artificial networks, we demonstrate the problems with methods routinely used in the field and how fully-weighted and directed methods can alleviate them. Specifically, we highlight their robustness to noise and their ability to address thresholding issues, particularly in inferred networks. We further apply our method to the connectomes of different species and uncover regularities and correlations between neuronal structures and functions that cannot be detected with traditional clustering metrics. Finally, we extend the notion of small-worldness in brain networks to account for weights and directionality and show that some connectomes can no longer be considered ``small-world''. Overall, our study makes a case for a combined use of fully-weighted and directed measures to deal with the variability of brain networks and suggests the presence of complex patterns in neural connectivity that can only be revealed using such methods.

We introduce a single-set axiomatisation of cubical $\omega$-categories, including connections and inverses. We justify these axioms by establishing a series of equivalences between the category of single-set cubical $\omega$-categories, and their variants with connections and inverses, and the corresponding cubical $\omega$-categories. We also report on the formalisation of cubical $\omega$-categories with the Isabelle/HOL proof assistant, which has been instrumental in developing the single-set axiomatisation.

This paper is a write-up of the ideas that were presented, developed and discussed at the fourth International Workshop on QCD Challenges from pp to AA, which took place in February 2023 in Padua, Italy. The goal of the workshop was to focus on some of the open questions in the field of high-energy heavy-ion physics and to stimulate the formulation of concrete suggestions for making progresses on both the experimental and theoretical sides. The paper gives a brief introduction to each topic and then summarizes the primary results.

We performed molecular dynamics simulations of Zr$_{50}$Cu$_{50}$ metallic glass samples submitted to mechanical deformation at different strain rates. The simultaneous measurements of the stress-strain curve, and of the temperature evolution during the cyclic mechanical load, are used to determine the thermo-mechanical constitutive laws at the continuum scale. It is shown that plastic deformation acts as a heat source, but strong finite size effects affect the unfolding of shear bands and its related dissipation rate. Finally, a thermo-mechanical constitutive law is proposed to reproduce quantitavely self-heating processes at different scales.

Sequences of labeled events observed at irregular intervals in continuous time are ubiquitous across various fields. Temporal Point Processes (TPPs) provide a mathematical framework for modeling these sequences, enabling inferences such as predicting the arrival time of future events and their associated label, called mark. However, due to model misspecification or lack of training data, these probabilistic models may provide a poor approximation of the true, unknown underlying process, with prediction regions extracted from them being unreliable estimates of the underlying uncertainty. This paper develops more reliable methods for uncertainty quantification in neural TPP models via the framework of conformal prediction. A primary objective is to generate a distribution-free joint prediction region for an event's arrival time and mark, with a finite-sample marginal coverage guarantee. A key challenge is to handle both a strictly positive, continuous response and a categorical response, without distributional assumptions. We first consider a simple but conservative approach that combines individual prediction regions for the event's arrival time and mark. Then, we introduce a more effective method based on bivariate highest density regions derived from the joint predictive density of arrival times and marks. By leveraging the dependencies between these two variables, this method excludes unlikely combinations of the two, resulting in sharper prediction regions while still attaining the pre-specified coverage level. We also explore the generation of individual univariate prediction regions for events' arrival times and marks through conformal regression and classification techniques. Moreover, we evaluate the stronger notion of conditional coverage. Finally, through extensive experimentation on both simulated and real-world datasets, we assess the validity and efficiency of these methods.

We solve a long standing problem in the theory of Siegel's $E$-functions, initiated by Lang for Bessel's function $J_0$ in the 60's and considered in full generality by G. Chudnovsky in the 80's: we prove that irrational values taken at rational points by $E$-functions with rational Taylor coefficients have irrationality exponent equal to 2. This result had been obtained before by Zudilin under stronger assumptions on algebraic independence of $E$-functions, satisfied by $J_0$ but not by all hypergeometric $E$-functions for instance., Comment: 32 pages

Unsupervised Domain Adaptation (UDA) aims to harness labeled source data to train models for unlabeled target data. Despite extensive research in domains like computer vision and natural language processing, UDA remains underexplored for time series data, which has widespread real-world applications ranging from medicine and manufacturing to earth observation and human activity recognition. Our paper addresses this gap by introducing a comprehensive benchmark for evaluating UDA techniques for time series classification, with a focus on deep learning methods. We provide seven new benchmark datasets covering various domain shifts and temporal dynamics, facilitating fair and standardized UDA method assessments with state of the art neural network backbones (e.g. Inception) for time series data. This benchmark offers insights into the strengths and limitations of the evaluated approaches while preserving the unsupervised nature of domain adaptation, making it directly applicable to practical problems. Our paper serves as a vital resource for researchers and practitioners, advancing domain adaptation solutions for time series data and fostering innovation in this critical field. The implementation code of this benchmark is available at https://github.com/EricssonResearch/UDA-4-TSC.

Surface Enhanced Infrared Absorption (SEIRA) is an experimental method where trace amount of a compound can be detected with high sensibility. This high detection sensibility is the result of the interaction of the molecules with a localized plasmon, usually from a metallic nano-particle. In this study we numerically investigate by discrete dipole approximation the origin of the Fano-like response of the system, including the induced transparency when the plasmon resonance and the molecular vibrational mode coincide. The detailed analysis of the localization of the absorption show that the modification of the absorption cross-section when the molecule is present comes from a change of the plasmonic resonance, not from the direct molecular response which is negligible. This sheds a new light on the SEIRA mechanism. In particular, it demonstrates that the sensibility is associated with the influence of the molecule on the plasmon resonance rather than with the local field enhancement itself., Comment: 12 pages, 5 figures