The Graph Geometric Control Condition

Comments welcomeIn this paper, we introduce a novel concept called the Graph Geometric Control Condition (GGCC). It turns out to be a simple, geometric rewriting of many of the frameworks in which the controllability of PDEs on graphs has been studied. We prove that (GGCC) is a necessary and sufficient condition for the exact controllability of the wave equation on metric graphs with internal controls and Dirichlet boundary conditions. We then investigate the internal exact controllability of the wave equation with mixed boundary conditions and the one of the Schr\"odinger equation, as well as the internal null-controllability of the heat equation. We show that (GGCC) provides a sufficient condition for the controllability of these equations and we provide explicit examples proving that (GGCC) is not necessary in these cases

A hybridizable discontinuous Galerkin method with transmission variables for time-harmonic electromagnetic problems

The CHDG method is a hybridizable discontinuous Galerkin (HDG) finite element method suitable for the iterative solution of time-harmonic wave propagation problems. Hybrid unknowns corresponding to transmission variables are introduced at the element interfaces and the physical unknowns inside the elements are eliminated, resulting in a hybridized system with favorable properties for fast iterative solution. In this paper, we extend the CHDG method, initially studied for the Helmholtz equation, to the time-harmonic Maxwell equations. We prove that the local problems stemming from hybridization are well-posed and that the fixed-point iteration naturally associated to the hybridized system is contractive. We propose a 3D implementation with a discrete scheme based on nodal basis functions. The resulting solver and different iterative strategies are studied with several numerical examples using a high-performance parallel C++ code

On the MID Property in Planar Delay Systems. Towards a Partial Pole Placement in the Multidimensional case

International audienceIn recent works, a new stabilization paradigm called Partial Pole Placement has been set for single-delay single-input single-output systems of linear time-invariant delay differential equations. In fact, the PPP has the advantage of prescribing the closed-loop exponential decay rate since it consists in assigning the corresponding rightmost spectral value thanks to two remarkable spectral properties called respectively multiplicity-induced-dominancy (MID) and coexistant-real-roots inducing multiplicity (CRRID). In this note, we show the validity of the MID property in planar delay systems when some spectral value achieves its maximal multiplicity, thus opening new perspectives in the prescribed stabilization for delay systems with commensurate delays.</div

Withdrawal of: Solution of the Ovals problem

In the previous version of the preprint, we made a mistake in our proposed solution to the Ovals problem (formulated in [3, 24]). The erroneous claim is that the operator A_T, used in the proof of Lemma 2.4.1, is selfadjoint. But this fact is wrong, as kindly pointed out to us by Matthias Baur, Rupert L. Frank, Larry Read and Timo Weidl, whom we warmly thank. At the moment, unfortunately, this mistake seems fatal to us, so the Ovals conjecture remains open. Nevertheless, since our work contains arguments that may be useful to address the conjecture, we let it available as a preprint, with a warning on Section 2.4

What Happened in This Pipeline? Diffing Build Logs with CiDiff

Continuous integration (CI) is widely used by developers to ensure the quality and reliability of their software projects. However, diagnosing a CI regression is a tedious process that involves the manual analysis of lengthy build logs. In this paper, we explore how textual differencing can support the debugging of CI regressions. As off-the-shelf diff algorithms produce suboptimal results, in this work we introduce a new diff algorithm specifically tailored to build logs called CiDiff. We evaluate CiDiff against several baselines on a novel dataset of 17 906 CI regressions, performing an accuracy study, a quantitative study and a user-study. Notably, our algorithm reduces the number of lines to inspect by about 60 % in the median case, with reasonable overhead compared to the state-of-practice LCS-diff. Finally, our algorithm is preferred by the majority of participants in 70 % of the regression cases, whereas LCS-diff is preferred in only 5 % of the cases.</div

ProvSQL: A General System for Keeping Track of the Provenance and Probability of Data

We present the data model, design choices, and performance of ProvSQL, a general and easy-to-deploy provenance tracking and probabilistic database system implemented as a PostgreSQL extension. ProvSQL's data and query models closely reflect that of a large core of SQL, including multiset semantics, the full relational algebra, and terminal aggregation. A key part of its implementation relies on generic provenance circuits stored in memory-mapped files. We propose benchmarks to measure the overhead of provenance and probabilistic evaluation and demonstrate its scalability and competitiveness with respect to other state-of-the-art systems

Channel Simulation: Tight meta converse for error and strong converse exponents

International audienc

Periodic convergence for a class of nonlinear time-delay systems

International audienceThe new existence conditions for periodic steady-state solution in time-delay convergent systems are presented. The main advantage of this result is that highly nonlinear (without meaningful linear approximation) dynamics are allowed for analysis. These conditions are developed for Persidskii and Lotka-Volterra time-delay systems. The efficiency of the approach is demonstrated on academic examples of these models

Understanding Linux Kernel Code through Formal Verification: A Case Study of the Task-Scheduler Function select_idle_core

International audienceOn the one hand, the Linux kernel task scheduler is critical to all application performance. On the other hand, it is widely agreed that its code complexity is spiraling out of control, and only a tiny handful of kernel developers understand it. We are exploring the opportunities and challenges in applying formal verification to Linux kernel task-scheduler code. Building on a previous work focusing on the evolution of the function should_we_balance, we here consider a version of the key task-placement function select_idle_core and the evolution of the iterators on which it relies

Mast cells act as pro-angiogenic and pro-tumorigenic players in pituitary gonadotroph tumors

International audienceAbstract Background The tumor microenvironment (TME) represents a promising avenue to understand gonadotroph tumors and develop therapeutic tools. Here, we aimed to gain insight into the tumorigenesis mechanisms driven by the gonadotoph TME. Methods Single-cell and spatial-omics were combined with histological analysis. Mice engrafted with tumor cells were used for functional validation. Results using single-cell and spatial transcriptomic data from gonadotroph tumors and normal tissues, we identified mast cells in the microenvironment of gonadotroph tumors and confirmed their physical and functional interaction with endothelial cells. Quantification of mast cells in 40 patients suggested their pro-tumoral role as tumors relapsing after surgery harbored more mast cells. More interestingly, the distribution of mast cells was associated with the presence of a higher number of blood vessels, with an increased microvessel density (MVD), and with blood vessels with thicker walls. Ligand-receptor network analysis highlighted VEGFA as a modulator of mast/endothelial cell communication, a result confirmed by the identification of intratumoral mast cells expressing VEGFA in mouse and human gonadotroph tumors. Finally, using mice engrafted with gonadotroph tumor cells, we demonstrated that the depletion of mast cells reduces tumor volume through increased apoptosis. These observations were associated with increased hemorrhagic areas and a significant reduction of the number of blood vessels and MVD as evidenced in human gonadotroph tumors. Conclusion we demonstrate that mast cells represent a new actor of the gonadotroph TME, and highlight their pro-angiogenic and pro-tumorigenic roles as potential targets for the therapeutic treatment of gonadotroph tumors