HAL-ENS-LYON
Not a member yet
104280 research outputs found
Sort by
A Circular Disformal Kerr Black Hole
No full textInternational audienceThe Kerr solution is the cornerstone of General Relativity (GR) for modelling astrophysical rotating black holes and for testing GR through gravitational-wave observations and black hole imaging. Understanding how the Kerr geometry is modified in alternative theories of gravity is therefore a crucial step toward constraining possible deviations from GR. Despite their importance, exact analytical solutions describing rotating black holes in modified gravity are rare, limiting our ability to explore novel phenomenology and to design robust observational tests of new physics. In this work, we present a new exact rotating black hole solution within a specific scalar-tensor theory belonging to the Horndeski class. The solution is obtained via a disformal transformation acting on a Kerr stealth black hole. Crucially, unlike previous constructions, the disformal transformation of our chosen seed configuration preserves circularity, ensuring that many of the geometrical and physical properties that make the Kerr spacetime so compelling are retained. We refer to the resulting geometry as the Circular Disformal Kerr solution. Remarkably, key features such as the structure of Killing horizons, the ergosphere, and the absence of causality violations closely mirror those of the Kerr metric. The spacetime is algebraically general, corresponding to Petrov type I. This new exact solution therefore provides a rare example of a rotating black hole beyond GR that closely mimics the Kerr geometry, offering a valuable theoretical laboratory to investigate the phenomenology of Kerr-like black holes in modified gravity
Renormalization of bosonic quadratic Hamiltonians involving rank-one perturbations
No full textWe study the renormalization of a bosonic quadratic Hamiltonian with an ultraviolet divergence. The Hamiltonian is composed of the sum of a free part and the square of the smeared field operator. We explicitly diagonalize the Hamiltonian via Bogoliubov transformations, thus simplifying its definition as a self-adjoint operator. Depending on the field operator's smearing, we discuss different renormalizations, either of the energy alone, or the energy and coupling constant together
Multi-criteria and multi-stage environmental study of Pl@ntnet service for the year 2024
No full textIn this study, we focus our investigation on Pl@ntNet, a citizen science platform, which re- lies on Artificial Intelligence (AI) models to identify plant species. Pl@ntNet provides a large-scale infrastructure supporting millions of users in over 200 countries. At this stage of deployment, and with years of experience developing the platform, Pl@ntNet is committed to understanding the environmental impacts of its identification service and contributing to the search for reduction opportunities. Our investigations assess the associated environmental impacts of Pl@ntNet for the year 2024. We based our approach on multi-criteria LCA, considering multiple impact type and the different life-cycle phases
Consolidation of virtual machines to reduce energy consumption of data centers by using ballooning, sharing and swapping mechanisms
No full textInternational audienceData centers have major environmental impacts due to their energy consumption and the manufacturing of equipment. They emit greenhouse gases and consume energy and resources, such as rare earth and water. Efficient computing resource management is therefore a key challenge for Cloud service providers today as they need to meet a growing demand while limiting the oversizing of their infrastructures. Mechanisms derived from virtualization, such as Virtual Machines (VMs) consolidation, are used to optimize resource management and infrastructure sizing, but economic and technical constraints can hinder their adoption. They require prior infrastructure knowledge and usage study to evaluate their potential, involve complex placement algorithms, and are sometimes difficult to implement in hypervisors. In this paper, we propose ORCA (OuR Consolidation Algorithm), a complete consolidation methodology designed to facilitate the production implementation of such mechanisms. This methodology includes the study of VM usage, the use of prediction models, and a VM placement algorithm that takes advantage of resource oversubscription. The choice of relevant oversubscription ratios is also addressed, with a focus on memory overcommitment through the study of memory overcommitment mechanisms:ballooning, page sharing, and swapping. Results from a detailed simulation process and deployment on a production infrastructure are presented. The methodology is tested in simulation on two production infrastructure datasets, with power consumption reduction as high as 29.8% and without consolidation error. The production deployment using VMWare vSphere and considering fault tolerance requirements reduces the energy consumption by 6.12% without causing any performance degradation
Instabilités mécaniques et claquage pour les tiges hélicoidales en présence de perversion
No full textInternational audienceEquilibrium configurations of helical elastic rods during quasi-static unwinding are studied experimentally and theoretically. At a critical degree of unwinding, the helical conformation destabilizes into a mixed phase consisting of two helices with opposite chiralities connected by a perversion. As unwinding progresses, the perversion migrates along the rod, eventually disappearing, leading to a pure helical conformation with opposite chirality from the initial state. Measurements of axial torque and force as functions of extension and winding reveal remarkable phenomena: (i) As the perversion migrates, the torque remains nearly constant. (ii) The transition from a pure helix to a configuration with perversion is accompanied by snapping events, seen as singularities in torque and force. (iii) At a critical force, the perversion destabilizes and transitions to a self-touching conformation. The phase diagram and overall mechanical behavior are reproduced using a biphasic model. A shooting technique, numerical path-following methods and finite element simulations are employed to assess the instability of the perversion and the associated snapping toward self-contact. The singularity at the creation of the perversion is reproduced by incorporating clamping effects within path-following methods. An analogy with first-order phase transitions is discussed. The nearly constant torque in the mixed phase is reminiscent of a Maxwell plateau, while the creation of a perversion with snapping corresponds to a nucleation event. Finally, to apply our analysis to plant tendrils, we study a specific line in the phase diagram of the mixed state corresponding to zero net turns. The associated transition is continuous and supercritical.Les configurations d'équilibre des tiges élastiques hélicoïdales lors de leur déroulement quasi-statique sont étudiées expérimentalement et théoriquement. À un degré critique de déroulement, la conformation hélicoïdale se déstabilise pour former une phase mixte constituée de deux hélices de chiralités opposées reliées par une perversion. À mesure que le déroulement se poursuit, la perversion migre le long de la tige, pour finalement disparaître, aboutissant à une conformation hélicoïdale pure de chiralité opposée de l'état initial.Les mesures du couple axial et de la force en fonction de l'extension et du déroulement révèlent des phénomènes remarquables :(i) Pendant la migration de l'inversion, le couple reste presque constant.(ii) La transition d'une hélice pure à une configuration avec inversion s'accompagne de phénomènes de rupture brusque, observés comme des singularités dans les mesures de couple et de force.(iii) À une force critique, la perversion se déstabilise pour adopter une conformation avec auto-contact.Le diagramme de phase et le comportement mécanique global sont reproduits à l'aide d'un modèle biphasique. Une technique de tir ("shooting"), des méthodes numériques de suivi de chemin et des simulations par éléments finis sont utilisées pour analyser l'instabilité de la perversion et les phénomènes claquage associés menant à l'auto-contact. La singularité à la création de la perversion est reproduite en incluant les effets de fixation dans les méthodes de suivi de chemin.Une analogie avec les transitions de phase du premier ordre est discutée. Le couple presque constant dans la phase mixte rappelle un plateau de Maxwell, tandis que la création d'une perversion accompagnée d'un claquage correspond à un événement de nucléation. Enfin, pour appliquer cette analyse aux vrilles de plantes, une ligne spécifique dans le diagramme de phase de l'état mixte correspondant à un nombre net de tours nul est étudiée. La transition associée est continue et supercritique
(Innocent ?) Bias in argumentation. The view from language
No full textOur intuitive perception of argumentation puts in the foreground a relatively simple scenario. When we argue, we try to provide arguments in favor of one or several conclusions. While argumentation is most often used to influence others, it can also be used to reach an opinion on some question and thus is part of a process of self-deliberation. When it targets other people, argumentation can become manipulative. In this chapter, I take manipulative argumentation to be an attempt to influence another cognitive agent by knowingly using a faulty argumentative pattern. The existence of manipulative argumentation might induce one to believe that it is essentially different from ‘correct’ or ‘valid’ argumentation. I argue in this chapter that this is largely illusory because, by design, there is no such thing as ‘correct’ or ‘valid’ argumentation. However, argumentation is intrinsically different from proof, although similar to it to some extent. Using confirmation theory as a technical framework, I show how this double status contributes to explaining the ‘success’ of argumentative manipulation, which, although objectively objectionable, can masquerade as a serious piece of reasoning
Vanité et conversion des arts dans la théologie de Bernard de Clairvaux
No full textInternational audienc
Récits des eaux et des rives: Création sonore et visuelle, issue d'un projet de recherche-création
No full texthttps://www.labandesonore.fr//projects/RecitsDeLeau/Récits des Eaux et des Rives est un projet de recherche-création qui s'appuie sur une enquête menée sur le territoire Diois dans la vallée de la Drôme. Il s'inscrit dans un contexte de crise climatique, écologique, et vient questionner le sujet sensible de nos relations à l'eau, aux eaux, et les multiples liens que tissent l’eau, le territoire et ses habitants. On s’intéresse ici à l'amont du bassin versant de la Drôme en tant qu’entité géographique dont la majorité des cours d’eau sont alimentés par des écoulements souterrains provenant des terrains karstiques du Vercors. Le caractère montagneux et hyper-rural de ce territoire, avec moins de 10 habitants au km2, en fait aussi sa spécificité en termes de distribution d'eau potable : le Diois compte 95 réseaux d’eau potable, sur près de 500 km de linéaire, avec 122 sources actives et 47 régies communales. Le bénévolat est très répandu pour entretenir au quotidien ces infrastructures. Les élus,opposés au transfert de la compétence d’eau potable des communes vers l’intercommunalité, défendent une gestion de proximité et un modèle de mutualisation permettant de conserver et valoriser certains de leur savoirs et savoirs faire.La gestion de l'eau, de la rivière, de milieux aquatiques et de leurs usages, est également organisée collectivement à l’échelle du bassin versant depuis plus de 30 ans. La commission Locale de l’Eau, crée en 1993, était la première en France. La vallée de la Drôme, aussi appelée Biovallée, est un territoire d’innovation en matière socio-écologique. Elle continue de voir émerger de nombreuses initiatives ces dernières années pour rétablir l’équilibre du cycle de l’eau, comme par exemple l’hydrologie régénérative, qui vise à retenir et ralentir la circulation de l’eau dans les sols et la végétation, ou des alliances avec les castors pour aménager les cours d’eau..Ce projet est né dans les suites de l'été 2022 et de sécheresses qui en tant qu'habitants nous ont fait prendre conscience de notre vulnérabilité, de la raréfaction de l'eau, et du risque accru de pénuries d’eau. On a aussi perçu cette année-là à quel point les questions entourant le partage de l'eau pouvaient être sensibles entre les usagers. Pour ceux qui n’avaient jamais connu que l’abondance, c’était une vraie prise de conscience qui remettait en question nos pratiques, nos modes de vie, mais aussi nos façons de voir. L’enquête menée en 2024 portait sur la pluralité des manières d’interagir avec les eaux, de les connaitre, de les utiliser, de s’y relier. Le choix des témoins était celui de personnes qui par leur histoire, leur lieu de vie, leur activité, ont une sensibilité particulière à l'eau. Il a aussi été guidé par l’exploration de deux grands questionnements thématiques :Comment les habitants se sont organisés de longue date pour trouver, aménager et partager l'eau, que ce soit pour la gestion de l'eau potable dans les petites communes, au sein des associations qui gèrent des canaux d'irrigations, ou encore à l'échelle du bassin versant de la Drôme au sein de la Commission Locale de l'Eau ; Comment les représentations et les façons de voir autour de l'eau évoluent et amènent de nouvelles pratiques, en particulier pour retenir l'eau sur les territoires, pratiques auxquelles sont associées des animaux et des végétaux.A chaque fois que c'était possible, les personnes ont été enregistrées « sur le terrain » c’est-à-dire sur leur lieu de travail, leur lieu de vie, leur lieu d’observation, là où sont situées les sources, les captages, les réservoirs, les rivières, les goures, les cascades, les zones humides, les canaux, les mares, les jardins, les terres cultivées… Nous avons fait le choix de restituer une pluralité d’histoires pour aborder ce sujet de la relation aux eaux à travers différents éclairages. Les prises de paroles, qui sont le plus souvent liées au lieu de vie des témoins, sont situées sur le territoire grâce à la carte numérique des récits des eaux et des rives. 25 « capsules sonores » courtes sont proposées sur la carte, captations de scènes de vie, prises de parole, extraits d’entretiens, 15 sont extraites de récits sonores plus longs qui peuvent s'écouter en podcast.Le projet est porté par l'association la Bande sonore située à Die, qui mène depuis 2012 des projets sur son territoire. L’enquête, menée en 2024, a été conduite en lien avec Emilie Belmont, chargée de mission sur l’eau et l’assainissement à la communauté de communes du Diois, qui a partagé son expérience du terrain et des acteurs de l’eau potable. Une collaboration s’est tissée avec la chercheuse en géographie Sabine Girard et le doctorant Samuel Pinjon à partir de l'enquête de terrain et de leur écoute des récits receuillis. Ils ont participé au travail de cartographie qui visait à représenter et donc à réinterpréter les résultats de l’enquête documentaire. Cette collaboration se poursuit aujourd’hui à travers de nouvelles enquêtes menées conjointement, l'exploitaiton de matières sonores qui n'ont pas pu l'être jusque-là et la diffusion de la carte numérique lors d'événements publics.Le développement numérique de la carte a été conçu par Nicolas Guichard, artiste développeur multimédia. Les dessins qui illustrent et mettent en perspective les récits sont de Yann Degruel, dessinateur et auteur de bande dessinées. Les paysages naturalistes et les compositions présentes sur la carte sont extraites d’enregistrements et de créations de Bernard Fort, audionaturaliste et compositieur de musique acousmatique. La coordination éditoriale, l’enquête et la réalisation sonore ont été menées par Caroline Fontana, réalisatrice de documentaires sonores.Le projet a été soutenu par Fonds de dotation Klub Terre dans sa dynamique d’accompagnement à la transition, par le Département de la Drôme qui soutient la création sonore et graphique, par la Communauté de Communes du Diois sur le volet des savoir-faire autour de la gestion de l’Eau potable, par l’INRAE pour sa participation à de « nouvelles écritures de la recherche », par le Fonds de Développement de la Vie Associative, et par le programme européen LEADER. Le Syndicat Mixte de la Rivière Drôme, l’association Codyter et l’association Valdequint en sont des partenaires privilégiés.Ce projet a aussi bénéficié de la collaboration de chercheurs dans le cadre du projet de recherche « GGEMM » (Recompositions de la gestion et de la gouvernance territoriales des eaux en montagnes méditerranéennes ), cofinancé et soutenu par l’Inrae (Lessem, Centre de Grenoble), l’Agence de l’Eau Rhône Méditerranée Corse, la Zone Atelier du Bas Rhône et l’EUR H2O’Lyon (ANR-17-EURE-0018) de l’Université de Lyon (UdL) et le Labex ITTEM (Innovations et Transitions Territoriales en Montagne) ».Ce document a été réalisé avec le soutien de l’Union Européenn
MEGATRON: how the first stars create an iron metallicity plateau in the smallest dwarf galaxies
No full textInternational audienceWe study the stellar mass-iron metallicity relation of dwarf galaxies in the new high-resolution MEGATRON cosmological radiation-hydrodynamics simulations. These simulations model galaxy formation up to in a region that will collapse into a Milky-Way-like galaxy at , while self-consistently tracking Population III and II (Pop.~III, Pop.~II) star formation, feedback and chemical enrichment. MEGATRON dwarf galaxies are in excellent agreement with the observed stellar mass-metallicity relation at , including an over-abundance of dwarfs along a flat plateau in metallicity () at low stellar masses (). We tie this feature to the chemical enrichment of dwarf galaxies by Pop.~III pair-instability supernova (PISN) explosions. The strong Lyman-Werner background (LW) from the protogalaxy ensures that PISNe occur in haloes massive enough () to retain their ejecta. We also predict a tail of of iron-deficient () dwarf galaxies. We show that both plateau and tail (i) are robust to large variations in Pop.~II feedback assumptions, and (ii) survive in bound satellites surrounding the central galaxy at
Bounded Sort Polymorphism with Elimination Constraints
No full textInternational audienceProof assistants based on dependent type theory-such as Agda, Lean, and Rocq-employ different universes to classify types, typically combining a predicative tower for computationally relevant types with a possibly impredicative universe for proof-irrelevant propositions. Several other universes with specific logical and computational principles have been explored in the literature. In general, a universe is characterized by its sort (e.g., Type, Prop, or SProp) and, in the predicative case, by its level. To improve modularity and better avoid code duplication, sort polymorphism has recently been introduced and integrated in the Rocq prover.However, we observe that, due to its unbounded formulation, sort polymorphism is currently insufficiently expressive to abstract over valid definitions with a single polymorphic schema. Indeed, to ensure soundness of a multi-sorted type theory, the interaction between different sorts must be carefully controlled, as exemplified by the forbidden elimination of irrelevant terms to produce relevant ones. As a result, generic functions that eliminate values of inductive types from one sort to another cannot be made polymorphic; dually, polymorphic records that encapsulate attributes of different sorts cannot be defined. This lack of expressiveness also breaks the possibility to infer principal types, which is highly desirable for both metatheoretical and practical reasons. To address these issues, we extend sort polymorphism with bounds that reflect the required elimination constraints on sort variables. We present the metatheory of bounded sort polymorphism, paying particular attention to the consistency of the resulting constraint graph. We implement bounded sort polymorphism in Rocq and illustrate its benefits through concrete examples. Bounded sort polymorphism with elimination constraints is a natural and general solution that effectively addresses current limitations and fosters the development of, and practical experimentation with, multi-sorted type theories.</p