Search

This work investigates the spatio-temporal evolution of coherentstructures in the wake of a high-speed train. SPOD is used to extract energy spectra and empirical modes for both symmetric and antisymmetric components of the fluctuating flow field. The spectrum of the symmetric component shows overall higher energy and more pronounced low-rank behavior compared to the antisymmetric one. The most dominant symmetric mode features periodic vortex shedding in the near wake, and wave-like structures in the far wake. The mode bispectrum further reveals the dominant role of self-interaction of the symmetric component, leading to first harmonic and subharmonic triads of the fundamental frequency, with remarkable deformation of the mean field. Then the stability of the three-dimensional wake flow is analyzed based on two-dimensional local linear stability analysis combined with a non-parallelism approximation approach. Temporal stability analysis is first performed, showing a more unstable condition in the near wake. The absolute frequency of the near-wake eigenmode is determined based on spatio-temporal analysis, then tracked along the streamwise direction to find out the global mode growth rate and frequency, which indicate a marginally stable global mode oscillating at a frequency close to the most dominant SPOD mode. The global mode wavemaker is then located, and the structural sensitivity is calculated based on the direct and adjoint modes derived from a local analysis, with the maximum value localized within the recirculation region close to the train tail. Finally, the global mode is computed by tracking the most spatially unstable eigenmode in the far wake, and the alignment with the SPOD mode is computed as a function of streamwise location. By combining data-driven and theoretical approaches, the mechanisms of coherentstructures in complex wake flows are well identified and isolated., Comment: 44 pages, 23 figures (accepted version)

We demonstrate the possibility of growing textured La$_{2/3}$Sr$_{1/3}$MnO$_3$ (LSMO) thin films on silicon substrates with magneto-optical and optical properties comparable to high-quality epitaxial layers grown on bulk SrTiO$_3$ (STO). The pulsed laser deposition growth of LSMO is achieved by a two-dimensional nanosheet (NS) seed layer of Ca$_2$Nb$_3$O$_{10}$ (CNO) inducing epitaxial stabilization of LSMO films. The resulting layers possess a higher Curie temperature and a lower overall magnetization than samples of LSMO on STO. Spectra of the full permittivity tensor were calculated from optical and magneto-optical measurements. Spectral dependencies of both the diagonal and off-diagonal elements share many similarities between the LSMO/NS/Si and LSMO/STO samples. These similarities indicate comparable electronic structures of the layers and demonstrate comparable optical quality of textured LSMO on NS/Si and epitaxial LSMO on STO.

Probability density function estimation with weighted samples is the main foundation of all adaptive importance sampling algorithms. Classically, a target distribution is approximated either by a non-parametric model or within a parametric family. However, these models suffer from the curse of dimensionality or from their lack of flexibility. In this contribution, we suggest to use as the approximating model a distribution parameterised by a variational autoencoder. We extend the existing framework to the case of weighted samples by introducing a new objective function. The flexibility of the obtained family of distributions makes it as expressive as a non-parametric model, and despite the very high number of parameters to estimate, this family is much more efficient in high dimension than the classical Gaussian or Gaussian mixture families. Moreover, in order to add flexibility to the model and to be able to learn multimodal distributions, we consider a learnable prior distribution for the variational autoencoder latent variables. We also introduce a new pre-training procedure for the variational autoencoder to find good starting weights of the neural networks to prevent as much as possible the posterior collapse phenomenon to happen. At last, we explicit how the resulting distribution can be combined with importance sampling, and we exploit the proposed procedure in existing adaptive importance sampling algorithms to draw points from a target distribution and to estimate a rare event probability in high dimension on two multimodal problems., Comment: 20 pages, 5 figures

Some classical uncertainty quantification problems require the estimation of multiple expectations. Estimating all of them accurately is crucial and can have a major impact on the analysis to perform, and standard existing Monte Carlo methods can be costly to do so. We propose here a new procedure based on importance sampling and control variates for estimating more efficiently multiple expectations with the same sample. We first show that there exists a family of optimal estimators combining both importance sampling and control variates, which however cannot be used in practice because they require the knowledge of the values of the expectations to estimate. Motivated by the form of these optimal estimators and some interesting properties, we therefore propose an adaptive algorithm. The general idea is to adaptively update the parameters of the estimators for approaching the optimal ones. We suggest then a quantitative stopping criterion that exploits the trade-off between approaching these optimal parameters and having a sufficient budget left. This left budget is then used to draw a new independent sample from the final sampling distribution, allowing to get unbiased estimators of the expectations. We show how to apply our procedure to sensitivity analysis, by estimating Sobol' indices and quantifying the impact of the input distributions. Finally, realistic test cases show the practical interest of the proposed algorithm, and its significant improvement over estimating the expectations separately., Comment: 28 pages, 4 Figures, 6 Tables

The space mission MICROSCOPE dedicated to the test of the Equivalence Principle (EP) operated from April 25, 2016 until the deactivation of the satellite on October 16, 2018. In this analysis we compare the free-fall accelerations ($a_{\rm A}$ and $a_{\rm B}$) of two test masses in terms of the E\"otv\"os parameter $\eta({\rm{A, B}}) = 2 \frac{a_{\rm A}- a_{\rm B}}{a_{\rm A}+ a_{\rm B}}$. No EP violation has been detected for two test masses, made from platinum and titanium alloys, in a sequence of 19 segments lasting from 13 to 198 hours down to the limit of the statistical error which is smaller than $10^{-14}$ for $ \eta({\rm{Ti, Pt}})$. Accumulating data from all segments leads to $\eta({\rm{Ti, Pt}}) =[-1.5\pm{}2.3{\rm (stat)}\pm{}1.5{\rm (syst)}] \times{}10^{-15}$ showing no EP violation at the level of $2.7\times{}10^{-15}$ if we combine stochastic and systematic errors quadratically. This represents an improvement of almost two orders of magnitude with respect to the previous best such test performed by the E\"ot-Wash group. The reliability of this limit has been verified by comparing the free falls of two test masses of the same composition (platinum) leading to a null E\"otv\"os parameter with a statistical uncertainty of $1.1\times{}10^{-15}$., Comment: Class. Quantum Grav. 39 204009

The MICROSCOPE mission was designed to test the Weak Equivalence Principle (WEP), stating the equality between the inertial and the gravitational masses, with a precision of $10^{-15}$ in terms of the E\"otv\"os ratio $\eta$. Its experimental test consisted of comparing the accelerations undergone by two collocated test masses of different compositions as they orbited the Earth, by measuring the electrostatic forces required to keep them in equilibrium. This was done with ultra-sensitive differential electrostatic accelerometers onboard a drag-free satellite. The mission lasted two and a half years, cumulating five-months-worth of science free-fall data, two thirds with a pair of test masses of different compositions -- Titanium and Platinum alloys -- and the last third with a reference pair of test masses of the same composition -- Platinum. We summarize the data analysis, with an emphasis on the characterization of the systematic uncertainties due to thermal instabilities and on the correction of short-lived events which could mimic a WEP violation signal. We found no violation of the WEP, with the E\"otv\"os parameter of the Titanium and Platinum pair constrained to $\eta({\rm Ti, Pt})~=~ [-1.5 \pm 2.3~{\rm (stat)} \pm 1.5~{\rm (syst)}]~\times 10^{-15}$ at $1\sigma$ in statistical errors., Comment: Phys. Rev. Lett. 129, 121102

In this work, we present the discovery and characterization of a new southern S-type symbiotic star, DeGaPe 35. We have obtained the low-resolution spectroscopic observations and supplemented them with photometry from Gaia DR3 and other surveys. The optical spectra of this target show prominent emission lines, including highly ionized [Fe VII] and O VI lines. The cool component of this symbiotic binary is an M4-5 giant with effective temperature ~ 3 380 - 3 470 K and luminosity ~ 3 000 L$_\odot$ (for the adopted distance of 3 kpc). The hot component is a shell-burning white dwarf. The photometric observations of the Gaia satellite, published recently in the Gaia DR3 suggested the variability with the period of about 700 - 800 days that we tentatively attributed to the orbital motion of the binary., Comment: accepted for publication in New Astronomy; 7 pages, 5 figures, 1 table

The severity of wildfires can be mitigated adopting preventive measures like the construction of firebreaks that are strips of land from which the vegetation is completely removed. In this paper, we model the problem of wildfire containment as an optimization problem on infinite graphs called Infinite Windy Firebreak Location. A land of unknown extension is modeled as an infinite undirected graph in which the vertices correspond to areas subject to fire and edges represent the propagation of fire from an area to another. The construction of a firebreak on the territory is modeled as the removal of edges in both directions between two vertices. The number of firebreaks that can be installed depends on budget constraints. We assume that fire ignites in a subset of vertices and propagates to the neighbours. The goal is to select a subset of edges to remove in order to contain the fire and avoid burning an infinite part of the graph. We prove that Infinite Windy Firebreak Location is coNP-complete in restricted cases and we address some polynomial cases. We show that Infinite Windy Firebreak Location polynomially reduces to Min Cut for certain classes of graphs like infinite grid graphs and polyomino-grids., Comment: 18 pages

GC-rich sequences are recurring motifs in oncogenes and retroviruses, and could be targeted by non-covalent major-groove therapeutic ligands. We considered the palindromic sequence d(G1G2C3G4C5C6)2, and designed several oligopeptide derivatives of the anti-cancer intercalator mitoxantrone. The stability of their complexes with a 18-mer oligonucleotide encompassing this sequence in its center was validated using polarizable molecular dynamics. We report the most salient structural features of two novel compounds, having a dialkylammonium group as a side-chain on both arms. The anthraquinone ring is intercalated in the central d(CpG)2 sequence with its long axis perpendicular to that of the two base-pairs. On each strand, this enables each ammonium group to bind in-register to O6/N7 of the two facing G bases upstream. We subsequently designed tris-intercalating derivatives, each dialkylammonium substituted with a connector to an N9-aminoacridine intercalator extending our target range from six- to a ten-base pair palindromic sequence, d(C1G2G3G4C5G6C7C8C9G10)2. The structural features of the complex of the most promising derivative are reported. The present design strategy paves the way for designing intercalator-oligopeptide derivatives with an even higher selectivity, targeting an increased number of DNA bases, going beyond ten.

Reliability-oriented sensitivity analysis aims at combining both reliability and sensitivity analyses by quantifying the influence of each input variable of a numerical model on a quantity of interest related to its failure. In particular, target sensitivity analysis focuses on the occurrence of the failure, and more precisely aims to determine which inputs are more likely to lead to the failure of the system. The Shapley effects are quantitative global sensitivity indices which are able to deal with correlated input variables. They have been recently adapted to the target sensitivity analysis framework. In this article, we investigate two importance-sampling-based estimation schemes of these indices which are more efficient than the existing ones when the failure probability is small. Moreover, an extension to the case where only an i.i.d. input/output N-sample distributed according to the importance sampling auxiliary distribution is proposed. This extension allows to estimate the Shapley effects only with a data set distributed according to the importance sampling auxiliary distribution stemming from a reliability analysis without additional calls to the numerical model. In addition, we study theoretically the absence of bias of some estimators as well as the benefit of importance sampling. We also provide numerical guidelines and finally, realistic test cases show the practical interest of the proposed methods.

The Orienteering Problem with Time Window and Delay (\OPTiWinD) is a variant of the online orienteering problem. A series of requests appear in various locations while a vehicle moves within the territory to serve them. Each request has a time window during which it can be served and a weight which describes its importance. There is also a minimum delay $T$ between successive requests. The objective is to find a path for the vehicles that maximises the sum of the weights of the requests served. We further assume that the length of each time window is equal to the diameter of the territory. We study the optimal performance and competitive ratio for the set of instances with $n$ requests. We obtain complete resolution for $T$ at least half of the diameter, small values of $T$ or small values of $n$, as well as partial results in the remaining cases.

Extensive atomistic simulations based on the quasiparticle (QA) approach are performed to determine the momentous aspects of the displacive fcc/bcc phase transformation in a binary system. We demonstrate that the QA is able to predict the major structural characteristics of fcc/bcc phase transformations, including the growth of a bcc nuclei in a fcc matrix, and eventually the formation of an internally twinned structure consisting in two variants with Kurdjumov-Sachs orientation relationship. At atomic level, we determine the defect structure of twinning boundaries and fcc/bcc interfaces, and identify the main mechanism for their propagation. In details, it is shown that twin boundaries are propagated by the propagation of screw dislocations in fcc along the <-1-11>_{\alpha} direction, while the propagation of fcc screw dislocations along coherent terrace edges is the pivotal vector of the fcc/bcc transformation. The simulation results are compared with our TEM and HRTEM observations of Fe-rich bcc twinned particle embedded in the fcc Cu-rich matrix in the Cu-Fe-Co system.

The present work is devoted to the phenomenon of induced side branching stemming from the disruption of free dendrite growth. Therein, we postulate that the secondary branching instability can be triggered by the departure of the morphology of the dendrite from its steady state shape. Thence, the instability results from the thermodynamic trade-off between non monotonic variations of interface temperature, surface energy, kinetic anisotropy and interface velocity within the Gibbs Thomson equation. For purposes of illustration, the toy model of capillary anisotropy modulation is prospected both analytically and numerically by means of phase field simulations. It is evidenced that side branching can befall both smooth and faceted dendrites, at a normal angle from the front tip which is specific to the nature of the capillary anisotropy shift applied.

In the last decade, wildfires have become wider and more destructive. The climate change and the growth of urban areas may further increase the probability of incidence of large-scale fires. The risk of fire can be lowered with preventive measures. Among them, firefighting lines are used to stop the fire from spreading beyond them. Due to high costs of installation and maintenance, their placement must be carefully planned. In this work, we address the wildfire management problem from a theoretical point of view and define a risk function to model the fire diffusion phenomena. The land is modeled by a mixed graph in which vertices are areas subject to fire with a certain probability while edges model the probability of fire spreading from one area to another. To reduce the risk, we introduce the {\sc Windy Firebreak Location} problem that addresses the optimal positioning of firefighting lines under budget constraints. We study the complexity of the problem and prove its hardness even when the graph is planar, bipartite, with maximum degree four and the propagation probabilities are equal to one. We also show an efficient polynomial time algorithm for particular instances on trees., Comment: 37 pages, 10 figures, 2 algorithms

The Probabilistic p-Center problem under Pressure (Min PpCP) is a variant of the usual p-Center problem we recently introduced in the context of wildfire management. The problem is to locate p shelters minimizing the maximum distance people will have to cover to reach the closest accessible shelter in case of fire. The landscape is divided into zones and is modeled as an edge-weighted graph with vertices corresponding to zones and edges corresponding to direct connections between two adjacent zones. The risk associated with fire outbreaks is modeled using a finite set of fire scenarios. Each scenario corresponds to a fire outbreak on a single zone (i.e., on a vertex) with the main consequence of modifying evacuation paths in two ways. First, an evacuation path cannot pass through the vertex on fire. Second, the fact that someone close to the fire may not take rational decisions when selecting a direction to escape is modeled using new kinds of evacuation paths. In this paper, for a given instance of Min PpCP defined by an edge-weighted graph G=(V,E,L) and an integer p, we characterize the set of feasible solutions of Min PpCP. We prove that Min PpCP cannot be approximated with a ratio less than 56/55 on subgrids (subgraphs of grids) of degree at most 3. Then, we propose some approximation results for Min PpCP. These results require approximation results for two variants of the (deterministic) Min p-Center problem called Min MAC p-Center and Min Partial p-Center., Comment: 40 pages, 10 figures

The Firefighter Problem (FP) is a graph problem originally introduced in 1995 to model the spread of a fire in a graph, which has attracted considerable attention in the literature. The goal is to devise a strategy to employ a given sequence of firefighters on strategic points in the graph in order to contain efficiently the fire (which spreads from each unprotected vertex to all of it neighbours on successive time steps). Recently, an online version of FP---where the number of firefighters available at each turn are revealed in real-time--- has been introduced in the literature and studied on trees. In this paper, we consider the online containment of fire on square grids. In particular, we provide a set of sufficient conditions that allow to solve the online version of the firefighting problem on infinite square grids, illustrating the corresponding fire containment strategies.

Dynorphin is a neuropeptide involved in pain, addiction and mood regulation. It exerts its activity by binding to the kappa opioid receptor (KOP) which belongs to the large family of G-protein coupled receptors. The dynorphin peptide was discovered in 1975, while its receptor was cloned in 1993. This review will describe: a) the activities and physiological functions of dynorphin and its receptor, b) early structure-activity relationship studies performed before cloning of the receptor (mostly pharmacological and biophysical studies of peptide analogues), c) structure-activity relationship studies performed after cloning of the receptor via receptor mutagenesis and the development of recombinant receptor expression systems, d) structural biology of the opiate receptors culminating in X-ray structures of the four opioid receptors in their inactive state and structures of MOP and KOP receptors in their active state. X-ray and EM structures are combined with NMR data, which gives complementary insight into receptor and peptide dynamics. Molecular modelling greatly benefited from the availability of atomic resolution 3D structures of receptor-ligand complexes and an example of the strategy used to model a dynorphin-KOP receptor complex using NMR data will be described. These achievements have led to a better understanding of the complex dynamics of KOP receptor activation and to the development of new ligands and drugs., Comment: Vitamins and hormones, Elsevier, In press, Opioid Hormones (Litwack, G., Ed.)

In the Firefighter problem, introduced by Hartnell in 1995, a fire spreads through a graph while a player chooses which vertices to protect in order to contain it. In this paper, we focus on the case of trees and we consider as well the Fractional Firefighter game where the amount of protection allocated to a vertex lies between 0 and 1. While most of the work in this area deals with a constant amount of firefighters available at each turn, we consider three research questions which arise when including the sequence of firefighters as part of the instance. We first introduce the online version of both Firefighter and Fractional Firefighter, in which the number of firefighters available at each turn is revealed over time. We show that a greedy algorithm on finite trees is 1/2-competitive for both online versions, which generalises a result previously known for special cases of Firefighter. We also show that the optimal competitive ratio of online Firefighter ranges between 1/2 and the inverse of the golden ratio. Next, given two firefighter sequences, we discuss sufficient conditions for the existence of an infinite tree that separates them, in the sense that the fire can be contained with one sequence but not with the other. To this aim, we study a new purely numerical game called targeting game. Finally, we give sufficient conditions for the fire to be contained, expressed as the asymptotic comparison of the number of firefighters and the size of the tree levels.

Snowflake growth provides us with a fascinating example of spontaneous pattern formation in nature. Attempts to understand this phenomenon have led to important insights in non-equilibrium dynamics observed in various active scientific fields, ranging from pattern formation in physical and chemical systems, to self-assembly problems in biology. Yet, very few models currently succeed in reproducing the diversity of snowflake forms in three dimensions, and the link between model parameters and thermodynamic quantities is not established. Here, we report a modified phase field model that describes the subtlety of the ice vapour phase transition, through anisotropic water molecules attachment and condensation, surface diffusion, and strong anisotropic surface tension, that guarantee the anisotropy, faceting and dendritic growth of snowflakes. We demonstrate that this model reproduces the growth dynamics of the most challenging morphologies of snowflakes from the Nakaya diagram. We find that the growth dynamics of snow crystals matches the selection theory, consistently with previous experimental observations.

Understanding ballistic effects caused by ion beam irradiation, and linking them with induced structure can be a key point for controlling and predicting the microstructure of irradiated materials. For this purpose, we have investigated ballistic effects from an ion mixing formalism point of view. The displacement cascades in copper and AgCu alloy were obtained using binary collision approximation (BCA) and molecular dynamics (MD) simulations. We employed BCA-based code MARLOWE for its ability to simulate high energy displacement cascades. A first set of simulations was performed using both methods on pure copper for energies ranging from 0.5 keV to 20 keV. The results of BCA and MD simulations are compared, evidencing rationally parametrized MARLOWE to be predictive. A second set of simulations was then carried out using BCA only. Following experimental studies, AgCu alloy was subjected to 1 MeV krypton ions. MARLOW simulations are found to be in good agreement with experimental results.

In this work, a multiscale approach based on phase field was developed to simulate the microstructure's evolution under irradiation in binary systems, from atomic to microstructural scale. For that purpose, an efficient numerical scheme was developed. In the case of AgCu alloy under Krypton ions irradiation, phenomenological parameters were computed using atomistic methods, as a function of the temperature and the irradiation flux. As a result, we predicted the influence of the irradiation flux and the temperature on the formation of patterned microstructures. In the case of AgCu, our model was qualitatively and quantitatively validated by a diffraction experimental study., Comment: 11 pages, 10 figures

Let $G$ be a graph whose each component has order at least 3. Let $s : E(G) \rightarrow \mathbb{Z}_k$ for some integer $k\geq 2$ be an improper edge coloring of $G$ (where adjacent edges may be assigned the same color). If the induced vertex coloring $c : V (G) \rightarrow \mathbb{Z}_k$ defined by $c(v) = \sum_{e\in E_v} s(e) \mbox{ in } \mathbb{Z}_k,$ (where the indicated sum is computed in $\mathbb{Z}_k$ and $E_v$ denotes the set of all edges incident to $v$) results in a proper vertex coloring of $G$, then we refer to such a coloring as an improper twin $k$-edge coloring. The minimum $k$ for which $G$ has an improper twin $k$-edge coloring is called the improper twin chromatic index of $G$ and is denoted by $\chi'_{it}(G)$. In this paper, we show that if $G$ is a graph with vertex chromatic number $\chi(G)$, then $\chi'_{it}(G)=\chi(G)$, unless $\chi(G)=2 \pmod 4$ and in this case $\chi'_{it}(G)\in \{\chi(G), \chi(G)+1\}$. Moreover, we show that it is NP-hard to decide whether $\chi'_{it}(G)=\chi(G)$ or $\chi'_{it}(G)=\chi(G)+1$ and give some examples of perfect graph classes for which the problem is polynomial.

A graph is $\ell$-choosable if, for any choice of lists of $\ell$ colors for each vertex, there is a list coloring, which is a coloring where each vertex receives a color from its list. We study complexity issues of choosability of graphs when the number $k$ of colors is limited. We get results which differ surprisingly from the usual case where $k$ is implicit and which extend known results for the usual case. We also exhibit some classes of graphs (defined by structural properties of their blocks) which are choosable., Comment: 31 pages, 11 figures

SAFE is a clean-slate design for a highly secure computer system, with pervasive mechanisms for tracking and limiting information flows. At the lowest level, the SAFE hardware supports fine-grained programmable tags, with efficient and flexible propagation and combination of tags as instructions are executed. The operating system virtualizes these generic facilities to present an information-flow abstract machine that allows user programs to label sensitive data with rich confidentiality policies. We present a formal, machine-checked model of the key hardware and software mechanisms used to dynamically control information flow in SAFE and an end-to-end proof of noninterference for this model. We use a refinement proof methodology to propagate the noninterference property of the abstract machine down to the concrete machine level. We use an intermediate layer in the refinement chain that factors out the details of the information-flow control policy and devise a code generator for compiling such information-flow policies into low-level monitor code. Finally, we verify the correctness of this generator using a dedicated Hoare logic that abstracts from low-level machine instructions into a reusable set of verified structured code generators.

We consider the constrained graph alignment problem which has applications in biological network analysis. Given two input graphs $G_1=(V_1,E_1), G_2=(V_2,E_2)$, a pair of vertex mappings induces an {\it edge conservation} if the vertex pairs are adjacent in their respective graphs. %In general terms The goal is to provide a one-to-one mapping between the vertices of the input graphs in order to maximize edge conservation. However the allowed mappings are restricted since each vertex from $V_1$ (resp. $V_2$) is allowed to be mapped to at most $m_1$ (resp. $m_2$) specified vertices in $V_2$ (resp. $V_1$). Most of results in this paper deal with the case $m_2=1$ which attracted most attention in the related literature. We formulate the problem as a maximum independent set problem in a related {\em conflict graph} and investigate structural properties of this graph in terms of forbidden subgraphs. We are interested, in particular, in excluding certain wheals, fans, cliques or claws (all terms are defined in the paper), which corresponds in excluding certain cycles, paths, cliques or independent sets in the neighborhood of each vertex. Then, we investigate algorithmic consequences of some of these properties, which illustrates the potential of this approach and raises new horizons for further works. In particular this approach allows us to reinterpret a known polynomial case in terms of conflict graph and to improve known approximation and fixed-parameter tractability results through efficiently solving the maximum independent set problem in conflict graphs. Some of our new approximation results involve approximation ratios that are function of the optimal value, in particular its square root; this kind of results cannot be achieved for maximum independent set in general graphs., Comment: 22 pages, 6 figures

When considering a graph problem from a parameterized point of view, the parameter chosen is often the size of an optimal solution of this problem (the "standard" parameter). A natural subject for investigation is what happens when we parameterize such a problem by various other parameters, some of which may be the values of optimal solutions to different problems. Such research is known as parameterized ecology. In this paper, we investigate seven natural vertex problems, along with their respective parameters: the size of a maximum independent set, the size of a minimum vertex cover, the size of a maximum clique, the chromatic number, the size of a minimum dominating set, the size of a minimum independent dominating set and the size of a minimum feedback vertex set. We study the parameterized complexity of each of these problems with respect to the standard parameter of the others., Comment: 17 pages

Compilation of CTA contributions to the proceedings of the 33rd International Cosmic Ray Conference (ICRC2013), which took place in 2-9 July, 2013, in Rio de Janeiro, Brazil, Comment: Index of CTA conference proceedings at the ICRC2013, Rio de Janeiro (Brazil). v1: placeholder with no arXiv links yet, to be replaced once individual contributions have been all submitted. v2: final with arXiv links to all CTA contributions and full author list

In the last few years appeared pedagogical propositional natural deduction systems. In these systems, one must satisfy the pedagogical constraint: the user must give an example of any introduced notion. First we expose the reasons of such a constraint and properties of these "pedagogical" calculi: the absence of negation at logical side, and the "usefulness" feature of terms at computational side (through the Curry-Howard correspondence). Then we construct a simple pedagogical restriction of the calculus of constructions (CC) called CCr. We establish logical limitations of this system, and compare its computational expressiveness to Godel system T. Finally, guided by the logical limitations of CCr, we propose a formal and general definition of what a pedagogical calculus of constructions should be., Comment: 18 pages

Parameter dependent non-Hermitian quantum systems typically not only possess eigenvalue degeneracies, but also degeneracies of the corresponding eigenfunctions at exceptional points. While the effect of two coalescing eigenfunctions on cyclic parameter variation is well investigated, little attention has hitherto been paid to the effect of more than two coalescing eigenfunctions. Here a characterisation of behaviours of symmetric Hamiltonians with three coalescing eigenfunctions is presented, using perturbation theory for non-Hermitian operators. Two main types of parameter perturbations need to be distinguished, which lead to characteristic eigenvalue and eigenvector patterns under cyclic variation. A physical system is introduced for which both behaviours might be experimentally accessible., Comment: 14 pages, 4 figures. Typos corrected, slightly extended, to appear in J. Phys. A

Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java. This paper describes the Sawja library: a static analysis framework fully compliant with Java 6 which provides OCaml modules for efficiently manipulating Java bytecode programs. We present the main features of the library, including (i) efficient functional data-structures for representing program with implicit sharing and lazy parsing, (ii) an intermediate stack-less representation, and (iii) fast computation and manipulation of complete programs.

In this paper, we generalise Hardy's uncertainty principle to vector-valued functions, and hence to operators. The principle for operators can be formulated loosely by saying that the kernel of an operator cannot be localised near the diagonal if the spectrum is also localised., Comment: 10 pages

We extend an uncertainty principle due to Beurling into a characterization of Hermite functions. More precisely, all functions $f$ on $\R^d$ which may be written as $P(x)\exp (Ax,x)$, with $A$ a real symmetric definite positive matrix, are characterized by integrability conditions on the product $f(x)\hat{f}(y)$. We also give the best constant in uncertainty principles of Gelf'and Shilov type. We then obtain similar results for the windowed Fourier transform (also known, up to elementary changes of functions, as the radar ambiguity function or the Wigner transform). We complete the paper with a sharp version of Heisenberg's inequality for this transform., Comment: 22 pages, submitted