Cette recherche s'inscrit dans une démarche originale d'évaluation de politiques publiques en France à travers l'étude du concours national d'aide à la création d'entreprises de technologies innovantes (crédit incitatif issu de la Loi sur l'Innovation du 12 Juillet 1999). <br />Son efficacité est évaluée sous l'angle de la qualité de son ciblage et de l'information qu'il procure aux autres agents (notamment les investisseurs) en s'appuyant sur le concept de quality certification (ou label public). <br />Le travail empirique se base sur le traitement statistique d'un échantillon de 500 entreprises créées sur la période 1999-2006, sur une étude de cas portant sur 11 entreprises issues du concours ayant réalisé une forte levée de fonds sur le marché du capital risque, et sur une enquête de satisfaction auprès d'une vingtaine d'investisseurs. <br />Les résultats mettent en valeur l'impact positif de ce financement public en termes de ciblage, de performance des bénéficiaires, d'effet de levier financier et d'efficience systémique. Mais la viabilité des entreprises créées reste incertaine et la quality certification est insuffisante auprès des différents partenaires financiers. Dans un contexte institutionnel encore peu favorable, la pluralité et la forte décentralisation de l'intervention publique est plus largement pointée tout comme les déterminants et barrières à la croissance et au financement des Jeunes Entreprises Innovantes. Des préconisations méthodologiques, pratiques et politiques sont enfin formulées.

Cette thèse est consacrée à l'étude des interactions entre la théorie des jeux et la théorie de l'information, ainsi qu'à leurs applications aux réseaux de communication décentralisés. D'une part, la théorie des jeux apporte des réponses aux problèmes d'optimisation dans lesquels des agents interagissent. Dans un jeu, les joueurs choisissent des actions et obtiennent des gains appelés utilités. Les hypothèses sur l'information que possèdent les joueurs avant de jouer sont fondamentales pour déterminer l'issue d'un jeu, aussi appelée équilibre. Lorsque le même jeu est répété d'étape en étape et que les joueurs n'observent pas les actions passées parfaitement,alors les utilités d'équilibre ne sont pas connues. D'autre part, la théorie de l'information étudie les performances d'un système communicant. De nos jours, les réseaux de communication sont tellement denses qu'ils ne peuvent plus s'organiser autour d'un unique opérateur central. La théorie des jeux est appropriée pour étudier de nouvelles organisations du traitement de l'information dans lesquelles les décisions sont prises localement. Dans un premier temps, au chapitre3, nous étudions le jeu du contrôle de puissance efficace du point de vue énergétique, grâce aux résultats existants pour les jeux répétés. Les émetteurs sont considérés comme des joueurs et choisissent la puissance d'émission du signal, considérée comme leur action. L'objectif d'un joueur est de choisir une puissance optimale pour la qualité de sa propre communication. Même si les joueurs n'observent pas les actions passées de manière parfaite, nous montrons que l'observation du "ratio signal sur interférence plus bruit" est suffisante pour garantir des résultats d'équilibre optimaux pour le réseau de communication. Dans un second temps, nous utilisons les outils de la théorie de l'information pour approfondir l'étude de la circulation de l'information parmi les joueurs. Dans le chapitre 4, un encodeur envoie un signal supplémentaire aux joueurs afin qu'ils observent parfaitement les actions jouées à l'étape précédente. L'observation des joueurs devient suffisamment précise pour nous permettre de retrouver l'ensemble des utilités d'équilibre du jeu répété. Ces résultats sont à leur tour exploités afin de modéliser des réseaux de communication plus réalistes et d'y apporter des solutions nouvelles. Dans le chapitre5, nous approfondissons l'étude des utilités d'équilibre lorsque les joueurs observent les actions passées à travers un canal d'observation arbitraire. Nous démontrons un résultat d'atteignabilité pour un canal multi-utilisateurs avec états qui comporte un encodeur, deux récepteurs légitimes et un espion. Ce résultat nous permet d'étudier les corrélations entre les suites d'actions qu'un groupe de joueurs peut mettre en oeuvre à l'insu d'un joueur opposant. L'étude des canaux multiutilisateurs est un pas en avant vers la caractérisation des utilités d'équilibre dans un jeu répété avec observation imparfaite.

Les Systèmes de Contrôle Embarqués Distribués (SCED) utilisent les réseaux de communication dans les boucles de rétroaction. Étant donné que les systèmes SCED ont une puissance de batterie, une bande passante de communication et une puissance de calcul limitée, les débits des données ou des informations transmises sont bornées et ils peuvent affecter leur stabilité. Ceci nous amène à élargir le spectre de notre étude et y intégrer une étude sur la relation entre la théorie du contrôle d'un coté et celle de l'information de l'autre. La contrainte de débit de données induit la quantification des signaux tandis que les aspects de calcul temps réel et de communication induit des événements asynchrones qui ne sont plus réguliers ou périodiques. Ces deux phénomènes donnent au SCED une double nature, continue et discrète, et en font des cas d'étude spécifiques. Dans cette thèse, nous analysons la stabilité et la performance de SCED du point de vue de la théorie de l'information et du contrôle. Pour les systèmes linéaires, nous montrons l'importance du compromis entre la quantité d'information communiquée et les objectifs de contrôle, telles que la stabilité, la contrôlabilité/observabilité et les performances. Une approche de conception conjointe de contrôle et de communication (en termes de débit d'information au sens de Shannon) des SCED est étudiée. Les principaux résultats de ces travaux sont les suivants : nous avons prouvé que la réduction d'entropie (ce qui correspond à la réduction d'incertitude) dépend du Grammien de contrôlabilité. Cette réduction est également liée à l'information mutuelle de Shannon. Nous avons démontré que le Grammien de contrôlabilité constitue une métrique de l'entropie théorique de l'information en ce qui concerne les bruits induits par la quantification. La réduction de l'influence de ces bruits est équivalente à la réduction de la norme du Grammien de contrôlabilité. Nous avons établi une nouvelle relation entre la matrice d'information de Fisher (FIM) et le Grammien de Contrôlabilité (CG) basé sur la théorie de l'estimation et la théorie de l'information. Nous proposons un algorithme qui distribue de manière optimale les capacités de communication du réseau entre un nombre "n" d'actionneurs et/ou systèmes concurrents se basant sur la réduction de la norme du Grammien de Contrôlabilité

Les Systèmes de Contrôle Embarqués Distribués (SCED) utilisent les réseaux de communication dans les boucles de rétroaction. Étant donné que les systèmes SCED ont une puissance de batterie, une bande passante de communication et une puissance de calcul limitée, les débits des données ou des informations transmises sont bornées et ils peuvent affecter leur stabilité. Ceci nous amène à élargir le spectre de notre étude et y intégrer une étude sur la relation entre la théorie du contrôle d'un coté et celle de l'information de l'autre. La contrainte de débit de données induit la quantification des signaux tandis que les aspects de calcul temps réel et de communication induit des événements asynchrones qui ne sont plus réguliers ou périodiques. Ces deux phénomènes donnent au SCED une double nature, continue et discrète, et en font des cas d'étude spécifiques. Dans cette thèse, nous analysons la stabilité et la performance de SCED du point de vue de la théorie de l'information et du contrôle. Pour les systèmes linéaires, nous montrons l'importance du compromis entre la quantité d'information communiquée et les objectifs de contrôle, telles que la stabilité, la contrôlabilité/observabilité et les performances. Une approche de conception conjointe de contrôle et de communication (en termes de débit d'information au sens de Shannon) des SCED est étudiée. Les principaux résultats de ces travaux sont les suivants : nous avons prouvé que la réduction d'entropie (ce qui correspond à la réduction d'incertitude) dépend du Grammien de contrôlabilité. Cette réduction est également liée à l'information mutuelle de Shannon. Nous avons démontré que le Grammien de contrôlabilité constitue une métrique de l'entropie théorique de l'information en ce qui concerne les bruits induits par la quantification. La réduction de l'influence de ces bruits est équivalente à la réduction de la norme du Grammien de contrôlabilité. Nous avons établi une nouvelle relation entre la matrice d'information de Fisher (FIM) et le Grammien de Contrôlabilité (CG) basé sur la théorie de l'estimation et la théorie de l'information. Nous proposons un algorithme qui distribue de manière optimale les capacités de communication du réseau entre un nombre "n" d'actionneurs et/ou systèmes concurrents se basant sur la réduction de la norme du Grammien de Contrôlabilité

Dans cette thèse, nous nous sommes intéressés au problème de codage de sources avec information adjacente au décodeur seulement. Plus précisément, nous avons considéré le cas où la distribution jointe entre la source et l'information adjacente n'est pas bien connue. Dans ce contexte, pour un problème de codage sans pertes, nous avons d'abord effectué une analyse de performance à l'aide d'outils de la théorie de l'information. Nous avons ensuite proposé un schéma de codage pratique efficace malgré le manque de connaissance sur la distribution de probabilité jointe. Ce schéma de codage s'appuie sur des codes LDPC non-binaires et sur un algorithme de type Espérance-Maximisation. Le problème du schéma de codage proposé, c'est que les codes LDPC non-binaires utilisés doivent être performants. C'est à dire qu'ils doivent être construits à partir de distributions de degrés qui permettent d'atteindre un débit proche des performances théoriques. Nous avons donc proposé une méthode d'optimisation des distributions de degrés des codes LDPC. Enfin, nous nous sommes intéressés à un cas de codage avec pertes. Nous avons supposé que le modèle de corrélation entre la source et l'information adjacente était décrit par un modèle de Markov caché à émissions Gaussiennes. Pour ce modèle, nous avons également effectué une analyse de performance, puis nous avons proposé un schéma de codage pratique. Ce schéma de codage s'appuie sur des codes LDPC non-binaires et sur une reconstruction MMSE. Ces deux composantes exploitent la structure avec mémoire du modèle de Markov caché.

The uncertainty principle lies at the heart of quantum physics. It exhibits one of the key divergences between a classical and a quantum system: it is impossible to define a quantum state for which the values of two observables that do not commute are simultaneously specified with infinite precision. A paradigmatic example is given by Heisenberg’s original formulation of the uncertainty principle expressed in terms of variances of two canonically-conjugate variables, such as position x and momentum p, which was later generalized to a symplectic-invariant form by Schrödinger and Robertson. A different kind of uncertainty relations, originated by Białynicki-Birula and Mycielski, again for canonically-conjugate variables, relies on Shannon entropy instead of variances as a measure of uncertainty. In this thesis, we suggest several improvements of these entropic uncertainty relations and highlight the fact that they are better formulated in terms of entropy power, a notion borrowed from the information theory of real-valued signals. Our first novel entropic uncertainty relation takes x-p correlations into account and is consequently saturated by all pure Gaussian states in an arbitrary number of modes, improving on the original formulation by Białynicki-Birula and Mycielski. Our second main result is the derivation of an entropic uncertainty relation that holds for any n-tuples of not-necessarily canonically conjugate variables based on the matrix of their commutators. We then define a general form of the entropic uncertainty principle that combines both previous results. It expresses the incompatibility between two arbitrary variable n-uples and is saturated by all pure Gaussian states. Interestingly, we can also deduce from it the most general form of the Robertson uncertainty relation based on the covariance matrix of n variables.This line of research underlines the interest of defining an entropic uncertainty relation that is intrinsically invariant under symplectic transformations. Then, as a first attempt to reach this goal, we conjecture a symplectic-invariant uncertainty relation that is based on the joint differential entropy of the Wigner function. This conjecture is, however, only legitimate for states with a non-negative Wigner function. We also suggest a complex extension of this so-called Wigner entropy, which could provide the way towards an extension (and proof) of the above conjecture for all states. As a second attempt, we introduce the notion of multi-copy uncertainty observables, exploiting a connection with the algebra of angular momenta. Expressing the positivity of the variance of our multi-copy observable coincides with the Schrödinger-Robertson uncertainty relation, which suggests that the discrete Shannon entropy of such an uncertainty observable provides a new symplectic-invariant measure of uncertainty.Currently available separability criteria for continuous-variable systems imply a necessary and sufficient condition for a two-mode Gaussian state to be separable, but leave many entangled non-Gaussian states undetected. In this thesis, we introduce two improved separability criteria that enable a stronger entanglement detection. The first improved condition is based on the knowledge of an additional parameter, namely the degree of Gaussianity, and exploits a connection with Gaussianity-bounded uncertainty relations by Mandilara and Cerf. We exhibit families of non- Gaussian entangled states whose entanglement remains undetected by the Duan- Simon criterion. The second improved separability criterion is based on our improved entropic uncertainty relation that takes x-p correlations into account, and has the main advantage over the one proposed by Walborn et al. that it does not require any optimization procedure. / Le principe d’incertitude se situe au cœur de la physique quantique. Il représente l’une des différences majeures entre des systèmes classiques et quantiques, soit qu’il est impossible de définir un état quantique pour lequel deux observables qui ne commutent pas auraient des valeurs spécifiées simultanément et avec une précision infinie. La formulation originale du principe d’incertitude est due à Heisenberg et est exprimée en termes des variances de deux variables canoniquement conjuguées, telles que la position x et l’impulsion p. Cela fut par la suite généralisé par Schrödinger et Robertson qui ont donné au principe d’incertitude une forme invariante sous transformations symplectiques. Si l’incertitude est mesurée à l’aide de l’entropie différentielle de Shannon plutôt que des variances, il est alors possible de définir d’autres types de relations d’incertitude. Originellement introduites par Białynicki-Birula et Mycielski, elles expriment également l’incompatibilité entre deux variables canoniquement conjuguées. Dans cette thèse, nous proposons différentes améliorations de ces relations d’incertitude entropiques et mettons particulièrement l’accent sur le fait qu’elles s’expriment mieux sous forme de puissances entropiques, une notion empruntée à la théorie de l’information. En premier lieu, nous introduisons une nouvelle relation d’incertitude entropique qui tient compte des corrélations x-p et qui est par conséquent saturée par tous les états purs Gaussiens, ce qui représente une amélioration par rapport à la formulation originale de Białynicki- Birula et Mycielski. En second lieu, nous dérivons une relation d’incertitude entropique valide pour tous les n-uplets de variables non nécessairement canoniquement conjuguées et basée sur la matrice de leurs commutateurs. Nous définissons ensuite une forme plus générale du principe d’incertitude entropique qui combine les deux résultats précédents. Il exprime l’incompatibilité entre deux n-uplets arbitraires de variables et est saturé par tous les états purs Gaussiens. Notons que de ce principe d’incertitude entropique, nous pouvons déduire la forme la plus générale de la relation d’incertitude de Robertson, basée sur la matrice de covariance de n variables. Les résultats précédents soulignent un des points essentiels de notre axe de recherche: définir une relation d’incertitude entropique intrinsèquement invariante sous trans- formations symplectiques. Afin d’atteindre cet objectif, notre première tentative est de conjecturer une relation d’incertitude — invariante sous transformations symplectiques — basée sur l’entropie différentielle jointe de la fonction de Wigner. Cette conjecture n’est cependant légitime que pour des états décrits par une fonction de Wigner non-négative. Nous proposons aussi une extension complexe de cette en- tropie dite entropie de Wigner, qui pourrait ouvrir la voie vers une extension (et une preuve) de la conjecture proposée ci-dessus qui serait alors valide pour tous les états quantiques. Comme seconde tentative, en exploitant une connexion avec l’algèbre des moments angulaires, nous introduisons la notion d’observables d’incertitude agissant sur plusieurs copies d’un état. Exprimer la positivité de la variance de notre observable coïncide avec la relation d’incertitude de Schrödinger-Robertson, ce qui suggère que l’entropie discrète de Shannon d’une telle observable fournit une nouvelle mesure de l’incertitude. Cette relation d’incertitude est invariante sous transformations symplectiques.Les critères de séparabilité actuellement disponibles pour les variables continues donnent une condition nécessaire et suffisante afin qu’un état Gaussien bimodal soit séparable, mais laissent de nombreux états intriqués non-Gaussiens non détectés. Dans cette thèse, nous introduisons deux nouveaux critères de séparabilité qui permettent une meilleure détection de l’intrication. La première nouvelle condition est basée sur la connaissance d’un paramètre supplémentaire, à savoir le degré de Gaussianité de l’état, et exploite une connexion avec les relations d’incertitude de Mandilara et Cerf bornées par ce degré de Gaussianité. En particulier, nous donnons l’exemple de familles d’états intriqués non Gaussiens dont l’intrication est détectée par notre critère, mais pas par celui de Duan-Simon. Le second critère de séparabil- ité entropique que nous proposons est basé sur notre nouvelle relation d’incertitude entropique qui tient compte des corrélations x-p. Son principal avantage par rapport au critère de Walborn et al. est de ne nécessiter aucune procédure d’optimisation. / Doctorat en Sciences de l'ingénieur et technologie / info:eu-repo/semantics/nonPublished

The symplectic formalism applied to the phase-space representation of bosonic quantum systems provides us with a powerful mathematical tool for the characterisation of Gaussian states and transformations. As a consequence, quantum information protocols involving the latter are very well understood from a theoretical point of view. Nevertheless, it has become clear in recent years that the use of non-Gaussian resources is necessary in order to perform various crucial information-processing tasks. An illustration of this fact can for instance be found in situations where a Gaussian no-go theorem precludes the use of Gaussian transformations in order to achieve a task involving Gaussian states, such as quantum entanglement distillation, quantum error correction, or universal quantum computation. In the first part of this thesis, we develop a new method based on the generating function of a sequence, which gives rise to an elegant description of intrinsically non-Gaussian objects. Building on the generating function of the matrix elements of Gaussian unitaries in Fock basis, our approach gives access to the multi-photon transition probabilities via unexpectedly simple recurrence equations. The method is developed for Gaussian unitaries effecting both passive and active linear coupling between two bosonic modes. It predicts an interferometric suppression term which generalises the Hong-Ou-Mandel effect for more than two indistinguishable photons impinging on a balanced beam splitter. Furthermore, it exhibits an unsuspected 2-photon suppression effect in optical parametric amplification of gain 2, which originates from the indistinguishability between the input and output photon pairs. Finally, we extend our method to Bogoliubov transformations acting on an arbitrary number of modes. In the second part of this thesis, we introduce a class of Gaussian-dilatable bosonic quantum channels (characterised by a Gaussian unitary in their Stinespring dilation) called passive-environment channels. These channels are interesting from a quantum thermodynamical viewpoint because they correspond to the coupling of a bosonic system with a bosonic environment that is passive in the Fock-basis (that is, no energy can be extracted from it by using unitary transformations) followed by discarding the environment. Making use of the generating function, we provide a description of these channels in terms of Gaussian bosonic channels. We then introduce a new preorder relation called Fock-majorization, which coincides with regular majorization for passive states but also induces another relation in terms of mean boson number, thereby connecting the concepts of energy and disorder of a quantum state. We prove various properties of Fock-majorization, showing in particular that the latter can be interpreted as a relation indicating the existence of a heating or amplifying map between two quantum states. This new preorder relation happens to be relevant in the context of passive-environment bosonic channels. Indeed, we show that these channels are Fock-majorization-preserving, so that any two input states that obey a Fock-majorization relation are transformed into output states respecting a similar relation. As a consequence, it also implies that passive-environment channels are majorization-preserving over the set of passive states of the harmonic oscillator. The consequences of majorization preservation are discussed in the context of the so-called entropy photon-number inequality. Most of our results being independent of the specific nature of the system under investigation, they could be generalised to other quantum systems and Hamiltonians, providing new tools that may prove useful in quantum information theory. In the last part of our thesis, we lay out a resource theory of local activity for bosonic systems. We introduce a notion of local-activity distance, and compare it with the work that can be extracted from a quantum state under local unitaries assisted by passive global unitaries. With this framework, we hope to connect the area of continuous-variable bosonic channels together with quantum thermodynamics. / Le formalisme symplectique appliqué à la représentation des systèmes bosoniques dans l'espace des phases donne accès à un outil mathématique puissant pour la caractérisation des états gau-ssiens et transformations gaussiennes. Les protocoles d'information quantique impliquant ces derniers sont d'ailleurs très bien compris d'un point de vue théorique. Toutefois, il s'est avéré clair durant ces dernières années que l'utilisation de ressources non-gaussiennes est nécessaire afin d'effectuer des tâches cruciales de traitement de l'information. En effet, certaines tâches — telles que la distillation d’intrication quantique, le codage quantique ou encore le calcul quantique — impliquant des états gaussiens ne peuvent être effectuées avec des transformations gaussiennes. Dans la première partie de cette thèse, nous développons une nouvelle méthode basée sur la fonction génératrice d'une suite qui donne lieu à une description élégante d'objets intrinsèquement non-gaussiens. Se basant sur la fonction génératrice des éléments de matrice d'unitaires gaussiens dans la base de Fock, notre approche donne accès aux probabilités de transition multi-photon via des équations de récurrence étonnamment simples. La méthode est développée pour des unitaires gaussiens produisant des couplages linéaires passifs et actifs entres deux modes bosoniques. Elle prédit un terme d'interférence destructive qui généralise l'effet Hong-Ou-Mandel pour plus de deux photons indistinguables pénétrant dans un diviseur de faisceau équilibré. De plus, elle met en évidence un effet inattendu de suppression de deux photons dans un amplificateur paramétrique optique de gain 2. Cette suppression résulte de l’indistinguabilité entre les paires de photons d’entrée et de sortie. Finalement, nous étendons notre méthode à des transformations de Bogoliubov agissant sur un nombre de modes arbitraire. Dans la seconde partie de cette thèse, nous introduisons une classe de canaux quantiques bosoniques gaussiens-dilatables (caractérisés par un unitaire gaussien dans leur ``Stinespring dilation") appelés canaux à environnement passif. Ces canaux sont intéressants du point de vue de la thermodynamique quantique puisqu’ils correspondent au couplage d’un système bosonique avec un environnement bosonique qui est passif dans la base de Fock (en d’autres termes, il est impossible d’en extraire de l’énergie avec des transformations unitaires), suivi du rejet de l’environnement. Grâce à la fonction génératrice, nous fournissons une description de ces transformations en termes de canaux quantiques bosoniques gaussiens limités par le bruit du vide. Nous introduisons ensuite une nouvelle relation de pré-ordre appelé ``majorization" de Fock, qui coïncide avec la ``majorization" usuelle pour les états passifs mais induit une autre relation en terme du nombre moyen de bosons, connectant ainsi les concepts d’énergie et de désordre d’un état quantique. Dans ce contexte, nous prouvons des propriétés variées de la ``majorization" de Fock et montrons en particulier que cette dernière peut être interprétée comme une relation indiquant l’existence d’une transformation d’amplification entre deux états quantiques. Cette nouvelle relation de pré-ordre s’avère appropriée dans le contexte des canaux bosonique à environnement passif. En effet, nous montrons que ces canaux conservent la ``majorization" de Fock, de sorte que n’importe quels deux états d’entrée obéissant une relation de ``majorization" de Fock sont transformés en états de sortie vérifiant une relation similaire. En particulier, cela implique que les canaux à environnement passif préservent la ``majorization" pour l'ensemble des états passifs de l’oscillateur harmonique. Les conséquences de la préservation de la ``majorization" sont examinées dans le contexte de la ``entropy photon-number inequality". Étant indépendants de la nature spécifique du système étudié, la plupart de nos résultats peuvent être généralisés à d’autres systèmes et hamiltoniens quantiques, donnant lieu à de nouveaux outils qui pourraient s’avérer utiles en théorie de l’information quantique. Dans la dernière partie de notre thèse, nous mettons en place une théorie de l’activité locale pour les système bosoniques. Nous introduisons une notion de distance en terme d'activité locale et la comparons avec le travail qui peut être extrait d'un état quantique avec des unitaires locaux assistés par des unitaires globaux passifs. Le but à long terme est de se baser sur cette théorie afin de connecter les domaines des canaux bosoniques à variables continues et de la thermodynamique quantique. / Doctorat en Sciences de l'ingénieur et technologie / info:eu-repo/semantics/nonPublished

The device-independent (DI) framework is a novel approach to quantum information science which exploits the nonlocality of quantum physics to certify the correct functioning of a quantum information processing task without relying on any assumption on the inner workings of the devices performing the task. This thesis focuses on the device-independent certification and generation of true randomness for cryptographic applications. The existence of such true randomness relies on a fundamental relation between the random character of quantum theory and its nonlocality, which arises in the context of Bell tests. Device-independent randomness generation (DIRG) and quantum key distribution (DIQKD) protocols usually evaluate the produced randomness (as measured by the conditional min-entropy) as a function of the violation of a given Bell inequality. However, the probabilities characterising the measurement outcomes of a Bell test are richer than the degree of violation of a single Bell inequality. In this work we show that a more accurate assessment of the randomness present in nonlocal correlations can be obtained if the value of several Bell expressions is simultaneously taken into account, or if the full set of probabilities characterising the behaviour of the device is considered. As a side result, we show that to every behaviour there corresponds an optimal Bell expression allowing to certify the maximal amount of DI randomness present in the correlations. Based on these results, we introduce a family of protocols for DIRG secure against classical side information that relies on the estimation of an arbitrary number of Bell expressions, or even directly on the experimental frequencies of the measurement outcomes. The family of protocols we propose also allows for the evaluation of randomness from a subset of measurement settings, which can be advantageous when considering correlations for which some measurement settings result in more randomness than others. We provide numerical examples illustrating the advantage of this method for finite data, and show that asymptotically it results in an optimal generation of randomness from experimental data without having to assume beforehand that the devices violate a specific Bell inequality. / L'approche indépendante des appareils ("device-independent" en anglais) est une nouvelle approche en informatique quantique. Cette nouvelle approche exploite la non-localité de la physique quantique afin de certifier le bon fonctionnement d'une tâche sans faire appel à des suppositions sur les appareils menant à bien cette tâche. Cette thèse traite de la certification et la génération d'aléa indépendante des appareils pour des applications cryptographiques. L'existence de cet aléa repose sur une relation fondamentale entre le caractère aléatoire de la théorie quantique et sa non-localité, mise en lumière dans le cadre des tests de Bell. Les protocoles de génération d'aléa et de distribution quantique de clés indépendants des appareils mesurent en général l'aléa produit en fonction de la violation d'une inégalité de Bell donnée. Cependant les probabilités qui caracterisent les résultats de mesures dans un test de Bell sont plus riches que le degré de violation d'une seule inégalité de Bell. Dans ce travail nous montrons qu'une évaluation plus exacte de l'aléa présent dans les corrélations nonlocales peut être faite si l'on tient compte de plusieurs expressions de Bell à la fois ou de l'ensemble des probabilités (ou comportement) caractérisant l'appareil testé. De plus nous montrons qu'à chaque comportement correspond une expression de Bell optimale permettant de certifier la quantité maximale d'aléa présente dans ces corrélations. À partir de ces resultats, nous introduisons une famille de protocoles de génération d'aléa indépendants des appareils, sécurisés contre des adversaires classiques, et reposant sur l'évaluation de l'aléa à partir d'un nombre arbitraire d'expressions de Bell, ou même à partir des fréquences expérimentales des résultats de mesure. Les protocoles proposés permettent aussi d'évaluer l'aléa à partir d'un sous-ensemble de choix de mesure, ce qui peut être avantageux lorsque l'on considère des corrélations pour lesquelles certains choix de mesure produisent plus d'aléa que d'autres. Nous fournissons des exemples numériques illustrant l'avantage de cette méthode pour des données finies et montrons qu'asymptotiquement cette méthode résulte en un taux de génération d'aléa optimal à partir des données expérimentales, sans devoir supposer à priori que l'expérience viole une inégalité de Bell spécifique. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

Je souhaite réaliser un modèle théorique optimal pour les protocoles de partage de secret quantique basé sur l'utilisation des états graphes. Le paramètre représentatif d'un partage de secret à seuil est, entre autres la taille du plus grand ensemble de joueurs qui ne peut pas accéder au secret. Je souhaite donc trouver un famille de protocoles pour laquelle ce paramètre est le plus petit possible. J'étudie également les liens entre les protocoles de partage de secret quantique et des familles de courbes en géométrie algébrique. / I want to realize an optimal theoretical model for quantum secret sharing protocols based on graph states. The main parameter of a threshold quantum secret sharing scheme is the size of the largest set of players that can not access the secret. Thus, my goal is to find a collection of protocols for which the value of this parameter is the smallest possible. I also study the links between quantum secret sharing protocols and families of curves in algebraic geometry.

An important problem in bioinformatics is the reconstruction of gene regulatory networks from expression data. The analysis of genomic data stemming from high- throughput technologies such as microarray experiments or RNA-sequencing faces several difficulties. The first major issue is the high variable to sample ratio which is due to a number of factors: a single experiment captures all genes while the number of experiments is restricted by the experiment’s cost, time and patient cohort size. The second problem is that these data sets typically exhibit high amounts of noise.<p><p>Another important problem in bioinformatics is the question of how the inferred networks’ quality can be evaluated. The current best practice is a two step procedure. In the first step, the highest scoring interactions are compared to known interactions stored in biological databases. The inferred networks passes this quality assessment if there is a large overlap with the known interactions. In this case, a second step is carried out in which unknown but high scoring and thus promising new interactions are validated ’by hand’ via laboratory experiments. Unfortunately when integrating prior knowledge in the inference procedure, this validation procedure would be biased by using the same information in both the inference and the validation. Therefore, it would no longer allow an independent validation of the resulting network.<p><p>The main contribution of this thesis is a complete computational framework that uses experimental knock down data in a cross-validation scheme to both infer and validate directed networks. Its components are i) a method that integrates genomic data and prior knowledge to infer directed networks, ii) its implementation in an R/Bioconductor package and iii) a web application to retrieve prior knowledge from PubMed abstracts and biological databases. To infer directed networks from genomic data and prior knowledge, we propose a two step procedure: First, we adapt the pairwise feature selection strategy mRMR to integrate prior knowledge in order to obtain the network’s skeleton. Then for the subsequent orientation phase of the algorithm, we extend a criterion based on interaction information to include prior knowledge. The implementation of this method is available both as part of the prior retrieval tool Predictive Networks and as a stand-alone R/Bioconductor package named predictionet.<p><p>Furthermore, we propose a fully data-driven quantitative validation of such directed networks using experimental knock-down data: We start by identifying the set of genes that was truly affected by the perturbation experiment. The rationale of our validation procedure is that these truly affected genes should also be part of the perturbed gene’s childhood in the inferred network. Consequently, we can compute a performance score / Doctorat en Sciences / info:eu-repo/semantics/nonPublished