Convex Hull of Arithmetic Automata

Arithmetic automata recognize infinite words of digits denoting decompositions of real and integer vectors. These automata are known expressive and efficient enough to represent the whole set of solutions of complex linear constraints combining both integral and real variables. In this paper, the closed convex hull of arithmetic automata is proved rational polyhedral. Moreover an algorithm computing the linear constraints defining these convex set is provided. Such an algorithm is useful for effectively extracting geometrical properties of the whole set of solutions of complex constraints symbolically represented by arithmetic automata

Renormalization : A number theoretical model

We analyse the Dirichlet convolution ring of arithmetic number theoretic functions. It turns out to fail to be a Hopf algebra on the diagonal, due to the lack of complete multiplicativity of the product and coproduct. A related Hopf algebra can be established, which however overcounts the diagonal. We argue that the mechanism of renormalization in quantum field theory is modelled after the same principle. Singularities hence arise as a (now continuously indexed) overcounting on the diagonals. Renormalization is given by the map from the auxiliary Hopf algebra to the weaker multiplicative structure, called Hopf gebra, rescaling the diagonals.Comment: 15 pages, extended version of talks delivered at SLC55 Bertinoro,Sep 2005, and the Bob Delbourgo QFT Fest in Hobart, Dec 200

Pinning an Ion with an Intracavity Optical Lattice

We report one-dimensional pinning of a single ion by an optical lattice. The lattice potential is produced by a standing-wave cavity along the rf-field-free axis of a linear Paul trap. The ion's localization is detected by measuring its fluorescence when excited by standing-wave fields with the same period, but different spatial phases. The experiments agree with an analytical model of the localization process, which we test against numerical simulations. For the best localization achieved, the ion's average coupling to the cavity field is enhanced from 50% to 81(3)% of its maximum possible value, and we infer that the ion is bound in a lattice well with over 97% probability.Comment: 5 pages, 4 figures; Text edited for clarity, results unchange

Multiscale nature of hysteretic phenomena: Application to CoPt-type magnets

We suggest a workable approach for the description of multiscale magnetization reversal phenomena in nanoscale magnets and apply it to CoPt-type alloys. We show that their hysteretic properties are governed by two effects originating at different length scales: a peculiar splitting of domain walls and their strong pinning at antiphase boundaries. We emphasize that such multiscale nature of hysteretic phenomena is a generic feature of nanoscale magnetic materials.Comment: 4 pages (revtex 4), 2 color EPS figure

On Multiphase-Linear Ranking Functions

Multiphase ranking functions ($\mathit{M{\Phi}RFs}$) were proposed as a means to prove the termination of a loop in which the computation progresses through a number of "phases", and the progress of each phase is described by a different linear ranking function. Our work provides new insights regarding such functions for loops described by a conjunction of linear constraints (single-path loops). We provide a complete polynomial-time solution to the problem of existence and of synthesis of $\mathit{M{\Phi}RF}$ of bounded depth (number of phases), when variables range over rational or real numbers; a complete solution for the (harder) case that variables are integer, with a matching lower-bound proof, showing that the problem is coNP-complete; and a new theorem which bounds the number of iterations for loops with $\mathit{M{\Phi}RFs}$. Surprisingly, the bound is linear, even when the variables involved change in non-linear way. We also consider a type of lexicographic ranking functions, $\mathit{LLRFs}$, more expressive than types of lexicographic functions for which complete solutions have been given so far. We prove that for the above type of loops, lexicographic functions can be reduced to $\mathit{M{\Phi}RFs}$, and thus the questions of complexity of detection and synthesis, and of resulting iteration bounds, are also answered for this class.Comment: typos correcte

Autonomy and forage grasses in goat farming of western France First results of a sociological survey

International audienceOur communication is based on the results of a multidisciplinary research (PSDR FLECHE-Fromages et Laits issus d'Élevages de Chèvres conduites avec de l'Herbe-2016-2020) which aims to study the potential of grass valorization in goat systems, with the dual objective of strengthening the economic resilience of farms and the social image of the dairy goat sector of Western France. The latter currently represent almost half of the national goat population and 58% of the milk supplied in France. The sociological aspect of the research concerns the representations, value systems, interests and constraint systems (technical, economic, etc.) that guide the practices of all the actors in the sector: farmers, upstream and downstream actors. The objective of this approach is to analyse, at all levels of the value chain, the incentives and obstacles to a possible transition to more grassy feeding systems. Based on 76 semi-directive interviews, this paper presents the first results of this survey by showing how contextual elements (socio-economic, professional, etc.) impact farmers' choices of practices. While, in principle, the whole goat sector seems to be converging towards an agro-ecological transition that ensures its sustainability, in practice, each of its actors is confronted with a system of constraints that limit actual developments. The articulation of these obstacles seems to lead to a kind of inertia, which prevents the adoption of practices that are nevertheless perceived as recommendable by most actors. Autonomie et fourrages herbagers dans les élevages caprins de l'Ouest de la France. Premiers résultats d'une enquête sociologique. Résumé. Notre communication s'inscrit dans le cadre d'une recherche pluridisciplinaire (Programme PSDR-FLECHE-Fromages et Laits issus d'Élevages de Chèvres conduites avec de l'Herbe-2016-2020) qui vise à étudier le potentiel de valorisation de l'herbe dans les systèmes caprins, dans le double objectif de renforcer la résilience économique des exploitations et l'image sociale des filières caprines laitières de l'Ouest de la France. Ces dernières représentent actuellement près de la moitié de l'effectif national de chèvres et 58% du lait livré en France. Le volet sociologique de la recherche porte sur les représentations, les systèmes de valeurs, les intérêts et les systèmes de contraintes (techniques, économiques, etc.) qui orientent les pratiques de l'ensemble des acteurs de la filière : éleveurs, acteurs de l'amont et de l'aval. L'objectif de cette démarche est d'analyser, à tous les niveaux de la filière, les incitations et les freins à une éventuelle transition vers des systèmes alimentaires plus herbagers. A partir de 76 entretiens semi-directifs, ce papier présente les premiers résultats de cette enquête en montrant, notamment, comment les éléments contextuels (socio-économiques, professionnels, etc.) impactent les choix des pratiques des exploitants agricoles. Si, en principe, l'ensemble de la filière caprine semble converger vers une transition agroécologique qui en assure la durabilité, dans la pratique, chacun de ses acteurs est confronté à un univers de contraintes qui limitent les évolutions effectives. L'articulation des freins relevant des différents maillons de la filière, semble ainsi déboucher sur une sorte d'inertie, qui empêche l'adoption de pratiques pourtant perçues comme souhaitables par la plupart des acteurs. Mots-clés. Autonomie-fourrages herbagers-caprins-sociologie

Enumeration and Decidable Properties of Automatic Sequences

We show that various aspects of k-automatic sequences -- such as having an unbordered factor of length n -- are both decidable and effectively enumerable. As a consequence it follows that many related sequences are either k-automatic or k-regular. These include many sequences previously studied in the literature, such as the recurrence function, the appearance function, and the repetitivity index. We also give some new characterizations of the class of k-regular sequences. Many results extend to other sequences defined in terms of Pisot numeration systems

Characterization of potential biomarkers of reactogenicity of licensed antiviral vaccines: randomized controlled clinical trials conducted by the BIOVACSAFE consortium

Funding text The authors are grateful for the vital contributions of the participating study volunteers, clinicians, nurses, and laboratory technicians at the Surrey study site. The work by Roberto Leone, laboratory technician at Humanitas Clinical and Research Center, is gratefully acknowledged. Finally, they thank Ellen Oe (GSK) for scientific writing assistance. The research leading to these results has received support from the Innovative Medicines Initiative Joint Undertaking under grant agreement n°115308, resources of which are composed of financial contribution from the European Union’s Seventh Framework Programme (FP7/2007–2013) and EFPIA companies’ in-kind contribution. The contribution of the European Commission to the Advanced Immunization Technologies (ADITEC) project (grant agreement n° 280873) is also gratefully acknowledged. Publisher Copyright: © 2019, The Author(s).Biomarkers predictive of inflammatory events post-vaccination could accelerate vaccine development. Within the BIOVACSAFE framework, we conducted three identically designed, placebo-controlled inpatient/outpatient clinical studies (NCT01765413/NCT01771354/NCT01771367). Six antiviral vaccination strategies were evaluated to generate training data-sets of pre-/post-vaccination vital signs, blood changes and whole-blood gene transcripts, and to identify putative biomarkers of early inflammation/reactogenicity that could guide the design of subsequent focused confirmatory studies. Healthy adults (N = 123; 20–21/group) received one immunization at Day (D)0. Alum-adjuvanted hepatitis B vaccine elicited vital signs and inflammatory (CRP/innate cells) responses that were similar between primed/naive vaccinees, and low-level gene responses. MF59-adjuvanted trivalent influenza vaccine (ATIV) induced distinct physiological (temperature/heart rate/reactogenicity) response-patterns not seen with non-adjuvanted TIV or with the other vaccines. ATIV also elicited robust early (D1) activation of IFN-related genes (associated with serum IP-10 levels) and innate-cell-related genes, and changes in monocyte/neutrophil/lymphocyte counts, while TIV elicited similar but lower responses. Due to viral replication kinetics, innate gene activation by live yellow-fever or varicella-zoster virus (YFV/VZV) vaccines was more suspended, with early IFN-associated responses in naïve YFV-vaccine recipients but not in primed VZV-vaccine recipients. Inflammatory responses (physiological/serum markers, innate-signaling transcripts) are therefore a function of the vaccine type/composition and presence/absence of immune memory. The data reported here have guided the design of confirmatory Phase IV trials using ATIV to provide tools to identify inflammatory or reactogenicity biomarkers.Peer reviewe

Counting a black hole in Lorentzian product triangulations

We take a step toward a nonperturbative gravitational path integral for black-hole geometries by deriving an expression for the expansion rate of null geodesic congruences in the approach of causal dynamical triangulations. We propose to use the integrated expansion rate in building a quantum horizon finder in the sum over spacetime geometries. It takes the form of a counting formula for various types of discrete building blocks which differ in how they focus and defocus light rays. In the course of the derivation, we introduce the concept of a Lorentzian dynamical triangulation of product type, whose applicability goes beyond that of describing black-hole configurations.Comment: 42 pages, 11 figure