Search

In this paper, we introduce PASTA (Perceptual Assessment System for explanaTion of Artificial intelligence), a novel framework for a human-centric evaluation of XAI techniques in computer vision. Our first key contribution is a human evaluation of XAI explanations on four diverse datasets (COCO, Pascal Parts, Cats Dogs Cars, and MonumAI) which constitutes the first large-scale benchmark dataset for XAI, with annotations at both the image and concept levels. This dataset allows for robust evaluation and comparison across various XAI methods. Our second major contribution is a data-based metric for assessing the interpretability of explanations. It mimics human preferences, based on a database of human evaluations of explanations in the PASTA-dataset. With its dataset and metric, the PASTA framework provides consistent and reliable comparisons between XAI techniques, in a way that is scalable but still aligned with human evaluations. Additionally, our benchmark allows for comparisons between explanations across different modalities, an aspect previously unaddressed. Our findings indicate that humans tend to prefer saliency maps over other explanation types. Moreover, we provide evidence that human assessments show a low correlation with existing XAI metrics that are numerically simulated by probing the model., Comment: https://github.com/ENSTA-U2IS-AI/Dataset_XAI

Polarons can naturally form in materials from the interaction of extra charge carriers with the atomic lattice. Ubiquitous, they are central to various topics and phenomena such as high-T$_c$ superconductivity, electrochromism, photovoltaics, photocatalysis or ion batteries. However, polaron formation remains poorly understood and mostly relies on few historical models such as Landau-Pekar, Fr\"olich, Holstein or Jahn-Teller polarons. Here, from advanced first-principles calculations, we show that the formation of intriguing medium-size polarons in WO$_3$ does not fit with traditional models but instead arises from the undoing of distortive atomic motions inherent to the pristine phase, which lowers the bandgap through dynamical covalency effects. We so introduce the innovative concept of {\it anti-distortive} polaron and rationalize it from a quantum-dot model. We demonstrate that anti-distortive polarons are generic to different families of compounds and clarify how this new concept opens concrete perspectives for a better control of the polaronic state and related properties., Comment: 9 pages, 2 figures

We compute from density functional theory calculations the dynamical magnetic effective charges of the Jahn-Teller ground state of KCoF$_3$ and we unexpectedly obtain the largest up-to-date values reported in real materials (close to 200$\times 10^{-2}\mu_{\text{B}}/\text{\r{A}}$). We determine that those large values are due to both spin and orbital contributions, as expected from the presence of unquenched Co-d orbital magnetic moment, even though we show that the Co dynamical magnetic effective charges values are surprisingly zero by symmetry. Hence, we conclude that even if KCoF$_3$ is not multiferroic, it is antimagnetoelectric with a compensating but large individual magnetic sublattice magnetoelectric response of 210 ps/m per spin-channel. Our study shows that the dynamical magnetic effective charges might be an important property of magnetic materials beyond the magnetoelectric ones.

We establish that the Lavrentiev gap between Sobolev and Lipschitz maps does not occur for a scalar variational problem of the form: \[ \textrm{to minimize} \qquad u \mapsto \int_\Omega f(x,u,\nabla u)\text{d}x \,, \] under a Dirichlet boundary condition. Here, $\Omega$ is a bounded Lipschitz open set in $\mathbb{R}^N$, $N\geq 1$ and the function $f$ is required to be measurable with respect to the spacial variable, continuous with respect to the second one, and continuous and comparable to convex with respect to the last variable. Moreover, we assume that $f$ satisfies a natural condition balancing the variations with respect to the first variable and the growth with respect to the last one. Remarkably, typical conditions that are usually imposed on $f$ to discard the Lavrentiev gap are dropped here: we do not require $f$ to be bounded or convex with respect to the second variable, nor impose any condition of $\Delta_2$-kind with respect to the last variable.

In local certification, vertices of a $n$-vertex graph perform a local verification to check if a given property is satisfied by the graph. This verification is performed thanks to certificates, which are pieces of information that are given to the vertices. In this work, we focus on the local certification of $P_5$-freeness, and we prove a $O(n^{3/2})$ upper bound on the size of the certificates, which is (to our knowledge) the first subquadratic upper bound for this property.

This paper presents the design and implementation of the Scintillation Filter by Kalman-colored algorithm (SciFi), which is used to remove tropospheric scintillation from Q/V bands total attenuation data series. In contrast to the classical methods using low-pass filters, the SciFi algorithm allows to estimate both the attenuation, its slope and a confidence interval. Moreover, the linear observer structure of the Kalman filter allows it to operate in real time. Therefore, the states and uncertainties estimated by SciFi can be used as input for Fade Mitigation Techniques (FMT) such as Adaptive Coding and Modulation (ACM) or Site Diversity (SD). In this article, we propose a method to tune the noise level based on recommendations approved by the ITU-R. Finally, some results of filtering on Alphasat experimental data are discussed., Comment: Ka and Broadband Communications Conference, Seattle, WA, USA, Sept 2024

In the Stanley lattice defined on Dyck paths of size $n$, cover relations are obtained by replacing a valley $DU$ by a peak $UD$. We investigate a greedy version of this lattice, first introduced by Chenevi\`ere, where cover relations replace a factor $DU^k D$ by $U^kD^2$. By relating this poset to another poset recently defined by Nadeau and Tewari, we prove that this still yields a lattice, which we call the ascent lattice $L_n$. We then count intervals in $L_n$. Their generating function is found to be algebraic of degree $3$. The proof is based on a recursive decomposition of intervals involving two catalytic parameters. The solution of the corresponding functional equation is inspired by recent work on the enumeration of walks confined to a quadrant. We also consider the order induced in $L_{mn}$ on $m$-Dyck paths, that is, paths in which all ascent lengths are multiples of $m$, and on mirrored $m$-Dyck paths, in which all descent lengths are multiples of $m$. The first poset $L_{m,n}$ is still a lattice for any $m$, while the second poset $L'_{m,n}$ is only a join semilattice when $m>1$. In both cases, the enumeration of intervals is still described by an equation in two catalytic variables. Interesting connections arise with the sylvester congruence of Hivert, Novelli and Thibon, and again with walks confined to a quadrant. We combine the latter connection with probabilistic results to give asymptotic estimates of the number of intervals in both $L_{m,n}$ and $L'_{m,n}$. Their form implies that the generating functions of intervals are no longer algebraic, nor even D-finite, when $m>1$., Comment: 35 pages

Local certification is the area of distributed network computing asking the following question: How to certify to the nodes of a network that a global property holds, if they are limited to a local verification? In this area, it is often essential to have identifiers, that is, unique integers assigned to the nodes. In this short paper, we show how to reduce the range of the identifiers, in three different settings. More precisely, we show how to rename identifiers in the classical local certification setting, when we can (resp. cannot) choose the new identifiers, and we show how a global certificate can help to encode very compactly a new identifier assignment that is not injective in general, but still useful. We conclude with a number of applications of these three results.

In this paper, we investigate how local rules enforced at every node can influence the topology of a network. More precisely, we establish several results on the diameter of trees as a function of the number of nodes, as listed below. These results have important consequences on the landscape of locally checkable labelings (LCL) on \emph{unbounded} degree graphs, a case in which our lack of knowledge is in striking contrast with that of \emph{bounded degree graphs}, that has been intensively studied recently. [See paper for full abstract.]

Input variables in numerical models are often subject to several levels of uncertainty, usually modeled by probability distributions. In the context of uncertainty quantification applied to these models, studying the robustness of output quantities with respect to the input distributions requires: (a) defining variational classes for these distributions; (b) calculating boundary values for the output quantities of interest with respect to these variational classes. The latter should be defined in a way that is consistent with the information structure defined by the ``baseline'' choice of input distributions. Considering parametric families, the variational classes are defined using the geodesic distance in their Riemannian manifold, a generic approach to such problems. Theoretical results and application tools are provided to justify and facilitate the implementation of such robustness studies, in concrete situations where these distributions are truncated -- a setting frequently encountered in applications. The feasibility of our approach is illustrated in a simplified industrial case study.

Chirality refers to the asymmetry of objects that cannot be superimposed on their mirror image. It is a concept that exists in various scientific fields and has profound consequences. Although these are perhaps most widely recognized within biology, chemistry, and pharmacology, recent advances in chiral phonons, topological systems, crystal enantiomorphic materials, and magneto-chiral materials have brought this topic to the forefront of condensed matter physics research. Our review discusses the symmetry requirements and the features associated with structural chirality in inorganic materials. This allows us to explore the nature of phase transitions in these systems, the coupling between order parameters, and their impact on the material's physical properties. We highlight essential contributions to the field, particularly recent progress in the study of chiral phonons, altermagnetism, magnetochirality between others. Despite the rarity of naturally occurring inorganic chiral crystals, this review also highlights a significant knowledge gap, presenting challenges and opportunities for structural chirality mostly at the fundamental level, e.g., chiral displacive phase transitions and ferrochirality, possibilities of tuning and switching structural chirality by external means (electric, magnetic, or strain fields), whether chirality could be an independent order parameter, and whether structural chirality could be quantified, etc. Beyond simply summarising this field of research, this review aims to inspire further research in materials science by addressing future challenges, encouraging the exploration of chirality beyond traditional boundaries, and seeking the development of innovative materials with superior or new properties.

An st-shortest path, or st-path for short, in a graph G is a shortest (induced) path from s to t in G. Two st-paths are said to be adjacent if they differ on exactly one vertex. A reconfiguration sequence between two st-paths P and Q is a sequence of adjacent st-paths starting from P and ending at Q. Deciding whether there exists a reconfiguration sequence between two given $st$-paths is known to be PSPACE-complete, even on restricted classes of graphs such as graphs of bounded bandwidth (hence pathwidth). On the positive side, and rather surprisingly, the problem is polynomial-time solvable on planar graphs. In this paper, we study the parameterized complexity of the Shortest Path Reconfiguration (SPR) problem. We show that SPR is W[1]-hard parameterized by k + \ell, even when restricted to graphs of bounded (constant) degeneracy; here k denotes the number of edges on an st-path, and \ell denotes the length of a reconfiguration sequence from P to Q. We complement our hardness result by establishing the fixed-parameter tractability of SPR parameterized by \ell and restricted to nowhere-dense classes of graphs. Additionally, we establish fixed-parameter tractability of SPR when parameterized by the treedepth, by the cluster-deletion number, or by the modular-width of the input graph.

Using first-principles calculations, we explore the magnetoelectric properties of the room-temperature multiferroic crystal BiCoO$_3$. We use both applied magnetic field and finite-difference techniques to show that BiCoO$_3$ is anti-magnetoelectric at the linear level. The calculation of the dynamical effective charges reveals that the total magnetoelectric response is zero due to the compensating non-zero magnetoelectric response of each magnetic sublattice. This calculation also highlights that the the orbital contribution to the response is remarkably larger than the spin one and that each sublattice has a rather large total magnetoelectric response of 85 ps/m. Furthermore, we provide an intuitive recipe to visualize the dynamical magnetic effective charge, allowing to examine its multipolar nature which we confirm by means of ab initio calculations. Given the large value of the local response, we investigate the ferromagnetic phase as well, which gives a giant magnetoelectric response of about 1000 ps/m and coming mainly from the spin contribution this time. Finally, we discuss the possible reasons for such a large magnetoelectric response in BiCoO3 and propose possible strategies to unveil this potentially large response.

In this short note, we prove that every twin-free graph on $n$ vertices contains a locating-dominating set of size at most $\lceil\frac{5}{8}n\rceil$. This improves the earlier bound of $\lfloor\frac{2}{3}n\rfloor$ due to Foucaud, Henning, L\"owenstein and Sasse from 2016, and makes some progress towards the well-studied locating-dominating conjecture of Garijo, Gonz\'alez and M\'arquez., Comment: 5 pages, 1 figure. Changed title. To appear in Discrete Mathematics 348(2), 2025

We compare the various chirality measures most widely used in the literature to quantify chiral symmetry in extended solids, i.e., the continuous chirality measure, the Hausdorff distance, and the angular momentum. By studying these functions in an algebraically tractable case, we can evaluate their strengths and weaknesses when applied to more complex crystals. Going beyond those classical calculations, we propose a new method to quantify the handedness of a crystal based on a pseudoscalar function, i.e., the helicity. This quantity, borrowed from hydrodynamics, can be computed from the eigenvector carrying the system from the high-symmetry non-chiral phase to the low-symmetry chiral phase. Different model systems like K$_3$NiO$_2$, CsCuCl$_3$ and MgTi$_2$O$_4$ are used as test cases where we show the superior interest of using helicity to quantify chirality together with the handedness distinction.

We demonstrate through first-principles calculations applied to the K$_{3}$NiO$_{2}$ crystal that a structural phase transition from an achiral to a chiral phase can be mediated by a degenerate soft phonon mode and controlled by pressure and epitaxial strain. Breaking such degeneracy with an electric field generates a competition between enantiomorphic, polar, and orthorhombic displacements. Originated by the interaction between spontaneous chiral and induced polar and axial modes, an optimal parameter window for converting the handedness of the system into its opposite kind is observed.

Surface acoustic wave devices are key components for processing radio frequency signals in wireless communication because these devices offer simultaneously high performance, compact size and low cost. The optimization of the device structure requires a quantitative understanding of energy conversion and loss mechanisms. Stroboscopic full-field diffraction x-ray microscopy studies of a prototypical one-port resonator device revealed the existence of unanticipated acoustic loss. A non-uniform acoustic excitation in the active area was responsible for the substantial end and side leakages observed at the design frequency. Quantitative analysis of the strain amplitude using a wave decomposition method allowed the determination of several key device parameters. This high-resolution spatiotemporal strain imaging technique is, more generally, suited for studying nanophononics, specifically when the feature size is smaller than optical wavelengths. The strain sensitivity allows precise measurement of acoustic waves with picometer-scale amplitude.

The SdSv challenge Task 2 provided an opportunity to assess efficiency and robustness of modern text-independent speaker verification systems. But it also made it possible to test new approaches, capable of taking into account the main issues of this challenge (duration, language, ...). This paper describes the contributions of our laboratory to the speaker recognition field. These contributions highlight two other challenges in addition to short-duration and language: the mismatch between enrollment and test data and the one between subsets of the evaluation trial dataset. The proposed approaches experimentally show their relevance and efficiency on the SdSv evaluation, and could be of interest in many real-life applications., Comment: LIA system description for the Short Duration Speaker Verification (SdSv) challenge 2020 Task 2

This article provides a critical review of the main methods used to produce conservative estimators of probabilities of rare events, or critical failures, for reliability and certification studies in the broadest sense. These probabilities must theoretically be calculated from simulations of (certified) numerical models, but which typically suffer from prohibitive computational costs. This occurs frequently, for instance, for complex and critical industrial systems. We focus therefore in adapting the common use of surrogates to replace these numerical models, the aim being to offer a high level of confidence in the results. We suggest avenues of research to improve the guarantees currently reachable.

Detecting specific structures in a network has been a very active theme of research in distributed computing for at least a decade. In this paper, we start the study of subgraph detection from the perspective of local certification. Remember that a local certification is a distributed mechanism enabling the nodes of a network to check the correctness of the current configuration, thanks to small pieces of information called certificates. Our main question is: For a given graph $H$, what is the minimum certificate size that allows checking that the network does not contain $H$ as a (possibly induced) subgraph? We show a variety of lower and upper bounds, uncovering an interesting interplay between the optimal certificate size, the size of the forbidden subgraph, and the locality of the verification. Along the way we introduce several new technical tools, in particular what we call the \emph{layered map}, which is not specific to forbidden subgraphs and that we expect to be useful for certifying many other properties.

In this work, we provide an upper bound for global certification of graph homomorphism, a generalization of graph coloring. In certification, the nodes of a network should decide if the network satisfies a given property, thanks to small pieces of information called certificates. Here, there is only one global certificate which is shared by all the nodes, and the property we want to certify is the existence of a graph homomorphism to a given graph. For bipartiteness, a special case of graph homomorphism, Feuilloley and Hirvonen proved in~\cite{FeuilloleyH18} some upper and lower bounds on the size of the optimal certificate, and made the conjecture that their lower bound could be improved to match their upper bound. We prove that this conjecture is false: their lower bound was in fact optimal, and we prove it by providing the matching upper bound using a known result of perfect hashing.

Given a graph $G$ and two independent sets of $G$, the independent set reconfiguration problem asks whether one independent set can be transformed into the other by moving a single vertex at a time, such that at each intermediate step we have an independent set of $G$. We study the complexity of this problem for $H$-free graphs under the token sliding and token jumping rule. Our contribution is twofold. First, we prove a reconfiguration analogue of Alekseev's theorem, showing that the problem is PSPACE-complete unless $H$ is a path or a subdivision of the claw. We then show that under the token sliding rule, the problem admits a polynomial-time algorithm if the input graph is fork-free., Comment: 19 pages, 4 figures

Dominating sets in graphs are often used to model some monitoring of the graph: guards are posted on the vertices of the dominating set, and they can thus react to attacks occurring on the unguarded vertices by moving there (yielding a new set of guards, which may not be dominating anymore). A dominating set is eternal if it can endlessly resist to attacks. From the attacker's perspective, if we are given a non-eternal dominating set, the question is to determine how fast can we provoke an attack that cannot be handled by a neighboring guard. We investigate this question from a computational complexity point of view, by showing that this question is PSPACE-hard, even for graph classes where finding a minimum eternal dominating set is in P. We then complement this result by giving polynomial time algorithms for cographs and trees, and showing a connection with tree-depth for the latter. We also investigate the problem from a parameterized complexity perspective, mainly considering two parameters: the number of guards and the number of steps., Comment: 26 pages, 4 figures

The fusion of non-Abelian anyons or topological defects is a fundamental operation in measurement-only topological quantum computation. In topological superconductors, this operation amounts to a determination of the shared fermion parity of Majorana zero modes. As a step towards this, we implement a single-shot interferometric measurement of fermion parity in indium arsenide-aluminum heterostructures with a gate-defined nanowire. The interferometer is formed by tunnel-coupling the proximitized nanowire to quantum dots. The nanowire causes a state-dependent shift of these quantum dots' quantum capacitance of up to 1 fF. Our quantum capacitance measurements show flux h/2e-periodic bimodality with a signal-to-noise ratio of 1 in 3.7 $\mu$s at optimal flux values. From the time traces of the quantum capacitance measurements, we extract a dwell time in the two associated states that is longer than 1 ms at in-plane magnetic fields of approximately 2 T. These results are consistent with a measurement of the fermion parity encoded in a pair of Majorana zero modes that are separated by approximately 3 $\mu$m and subjected to a low rate of poisoning by non-equilibrium quasiparticles. The large capacitance shift and long poisoning time enable a parity measurement error probability of 1%., Comment: Added data on a second measurement of device A and a measurement of device B, expanded discussion of a trivial scenario. Refs added, author list updated

We say that a graph is $k$-mixing if it is possible to transform any $k$-coloring into any other via a sequence of single vertex recolorings keeping a proper coloring all along. Cereceda, van den Heuvel and Johnson proved that deciding if a graph is $3$-mixing is co-NP-complete and left open the case $k \ge 4$. We prove that for every $k \ge 4$, $k$-mixing is co-NP-hard.

A new loss function for speaker recognition with deep neural network is proposed, based on Jeffreys Divergence. Adding this divergence to the cross-entropy loss function allows to maximize the target value of the output distribution while smoothing the non-target values. This objective function provides highly discriminative features. Beyond this effect, we propose a theoretical justification of its effectiveness and try to understand how this loss function affects the model, in particular the impact on dataset types (i.e. in-domain or out-of-domain w.r.t the training corpus). Our experiments show that Jeffreys loss consistently outperforms the state-of-the-art for speaker recognition, especially on out-of-domain data, and helps limit false alarms., Comment: Accepted in ICASSP 2023

Local certification is a distributed mechanism enabling the nodes of a network to check the correctness of the current configuration, thanks to small pieces of information called certificates. For many classic global properties, like checking the acyclicity of the network, the optimal size of the certificates depends on the size of the network, $n$. In this paper, we focus on properties for which the size of the certificates does not depend on $n$ but on other parameters. We focus on three such important properties and prove tight bounds for all of them. Namely, we prove that the optimal certification size is: $\Theta(\log k)$ for $k$-colorability (and even exactly $\lceil \log k \rceil$ bits in the anonymous model while previous works had only proved a $2$-bit lower bound); $(1/2)\log t+o(\log t)$ for dominating sets at distance $t$ (an unexpected and tighter-than-usual bound) ; and $\Theta(\log \Delta)$ for perfect matching in graphs of maximum degree $\Delta$ (the first non-trivial bound parameterized by $\Delta$). We also prove some surprising upper bounds, for example, certifying the existence of a perfect matching in a planar graph can be done with only two bits. In addition, we explore various specific cases for these properties, in particular improving our understanding of the trade-off between locality of the verification and certificate size., Comment: Accepted at STACS 2024

We study from first-principles calculations the ferroelectric structural phase transition of Pb$_5$Ge$_3$O$_{11}$ crystal. The calculations of phonons and Born effective charges of the paraelectric phase allow us to identify a polar instability that is unstable in both transverse-optic and longitudinal-optic versions, giving rise to an entire branch of instability along a propagation vector parallel to the mode polarization (the hexagonal axe). This is the hint of hyperferroelectricity and the stable head-to-head and tail-to-tail domain, as recently reported from both experiments and theory. Then, our analysis of the ferroelectric phase shows that the polarization of Pb$_5$Ge$_3$O$_{11}$ is uniaxial along the hexagonal axes and with small in-plane components due to a piezoelectric effect. The symmetry-adapted mode analysis shows that the total ferroelectric ground state distortion comes mainly from polar distortions of the unstable polar phonon mode but also from an invariant, cooperative mode that amplifies the polar deformation. We also build a phenomenological model that highlights how the coupling between these modes is at play and helps us understand how to reproduce the second-order phase transition. At last, we also quantify the structural chirality through the continuous symmetry measure method and trace its origin to the polar unstable mode itself. By extending our approach to the phonon states we further show that the chirality is poorly affected by the relaxation but could also be enhanced by activating high frequency modes with polar symmetry. Finally we study the phonon angular momentum (AM) distribution in both phases and identify trends in the AM behaviour across the Brillouin zone.