Generalised quantum weakest preconditions

Generalisation of the quantum weakest precondition result of D'Hondt and Panangaden is presented. In particular the most general notion of quantum predicate as positive operator valued measure (POVM) is introduced. The previously known quantum weakest precondition result has been extended to cover the case of POVM playing the role of a quantum predicate. Additionally, our result is valid in infinite dimension case and also holds for a quantum programs defined as a positive but not necessary completely positive transformations of a quantum states.Comment: 7 pages, no figures, added references, changed conten

Verdieping Bewaken en Beveiligen mei 2023 (1/2023)

De ‘Verdieping Bewaken en Beveiligen’ brengt verdieping aan op actuele gebeurtenissen en ontwikkelingen gerelateerd aan het stelsel Bewaken en Beveiligen. Deze Verdieping wordt aangeboden aan experts die werkzaam zijn bij de stelselpartners en de ketenpartners van het stelsel. Daarnaast wordt dit product aangeboden aan geïnteresseerden in een bredere kring rond het stelsel, waaronder academici, journalisten en politici.Security and Global Affair

Special relativity constraints on the effective constituent theory of hybrids

We consider a simplified constituent model for relativistic strong-interaction decays of hybrid mesons. The model is constructed using rules of renormalization group procedure for effective particles in light-front quantum field theory, which enables us to introduce low-energy phenomenological parameters. Boost covariance is kinematical and special relativity constraints are reduced to the requirements of rotational symmetry. For a hybrid meson decaying into two mesons through dissociation of a constituent gluon into a quark-anti-quark pair, the simplified constituent model leads to a rotationally symmetric decay amplitude if the hybrid meson state is made of a constituent gluon and a quark-anti-quark pair of size several times smaller than the distance between the gluon and the pair, as if the pair originated from one gluon in a gluonium state in the same effective theory.Comment: 11 pages, 5 figure

Polariton propagation in weak confinement quantum wells

Exciton-polariton propagation in a quantum well, under centre-of-mass quantization, is computed by a variational self-consistent microscopic theory. The Wannier exciton envelope functions basis set is given by the simple analytical model of ref. [1], based on pure states of the centre-of-mass wave vector, free from fitting parameters and "ad hoc" (the so called additional boundary conditions-ABCs) assumptions. In the present paper, the former analytical model is implemented in order to reproduce the centre-of-mass quantization in a large range of quantum well thicknesses (5a_B < L < inf.). The role of the dynamical transition layer at the well/barrier interfaces is discussed at variance of the classical Pekar's dead-layer and ABCs. The Wannier exciton eigenstates are computed, and compared with various theoretical models with different degrees of accuracy. Exciton-polariton transmission spectra in large quantum wells (L>> a_B) are computed and compared with experimental results of Schneider et al.\cite{Schneider} in high quality GaAs samples. The sound agreement between theory and experiment allows to unambiguously assign the exciton-polariton dips of the transmission spectrum to the pure states of the Wannier exciton center-of-mass quantization.Comment: 15 pages, 15 figures; will appear in Phys.Rev.

A replication study of genetic risk loci for ischemic stroke in a Dutch population: A case-control study

We aimed to replicate reported associations of 10 SNPs at eight distinct loci with overall ischemic stroke (IS) and its subtypes in an independent cohort of Dutch IS patients. We included 1,375 IS patients enrolled in a prospective multicenter hospital-based cohort in the Netherlands, and 1,533 population-level controls of Dutch descent. We tested these SNPs for association with overall IS and its subtypes (large artery atherosclerosis, small vessel disease and cardioembolic stroke (CE), as classified by TOAST) using an additive multivariable logistic regression model, adjusting for age and sex. We obtained odds ratios (OR) with 95% confidence intervals (95% CI) for the risk allele of each SNP analyzed and exact p-values by permutation. We confirmed the association at 4q25 (PITX2) (OR 1.43; 95% CI, 1.13-1.81, p = 0.029) and 16q22 (ZFHX3) (OR 1.62; 95% CI, 1.26-2.07, p = 0.001) as risk loci for CE. Locus 16q22 was also associated with overall IS (OR 1.24; 95% CI, 1.08-1.42, p = 0.016). Other loci previously associated with IS and/or its subtypes were not confirmed. In conclusion, we validated two loci (4q25, 16q22) associated with CE. In addition, our study may suggest that the association of locus 16q22 may not be limited to CE, but also includes overall IS

Modeling the cumulative genetic risk for multiple sclerosis from genome-wide association data

BACKGROUND: Multiple sclerosis (MS) is the most common cause of chronic neurologic disability beginning in early to middle adult life. Results from recent genome-wide association studies (GWAS) have substantially lengthened the list of disease loci and provide convincing evidence supporting a multifactorial and polygenic model of inheritance. Nevertheless, the knowledge of MS genetics remains incomplete, with many risk alleles still to be revealed. METHODS: We used a discovery GWAS dataset (8,844 samples, 2,124 cases and 6,720 controls) and a multi-step logistic regression protocol to identify novel genetic associations. The emerging genetic profile included 350 independent markers and was used to calculate and estimate the cumulative genetic risk in an independent validation dataset (3,606 samples). Analysis of covariance (ANCOVA) was implemented to compare clinical characteristics of individuals with various degrees of genetic risk. Gene ontology and pathway enrichment analysis was done using the DAVID functional annotation tool, the GO Tree Machine, and the Pathway-Express profiling tool. RESULTS: In the discovery dataset, the median cumulative genetic risk (P-Hat) was 0.903 and 0.007 in the case and control groups, respectively, together with 79.9% classification sensitivity and 95.8% specificity. The identified profile shows a significant enrichment of genes involved in the immune response, cell adhesion, cell communication/signaling, nervous system development, and neuronal signaling, including ionotropic glutamate receptors, which have been implicated in the pathological mechanism driving neurodegeneration. In the validation dataset, the median cumulative genetic risk was 0.59 and 0.32 in the case and control groups, respectively, with classification sensitivity 62.3% and specificity 75.9%. No differences in disease progression or T2-lesion volumes were observed among four levels of predicted genetic risk groups (high, medium, low, misclassified). On the other hand, a significant difference (F = 2.75, P = 0.04) was detected for age of disease onset between the affected misclassified as controls (mean = 36 years) and the other three groups (high, 33.5 years; medium, 33.4 years; low, 33.1 years). CONCLUSIONS: The results are consistent with the polygenic model of inheritance. The cumulative genetic risk established using currently available genome-wide association data provides important insights into disease heterogeneity and completeness of current knowledge in MS genetics

Prognostic value of total tumor volume in patients with colorectal liver metastases:A secondary analysis of the randomized CAIRO5 trial with external cohort validation

Background:This study aimed to assess the prognostic value of total tumor volume (TTV) for early recurrence (within 6 months) and overall survival (OS) in patients with colorectal liver metastases (CRLM), treated with induction systemic therapy followed by complete local treatment.Methods: Patients with initially unresectable CRLM from the multicenter randomized phase 3 CAIRO5 trial (NCT02162563) who received induction systemic therapy followed by local treatment were included. Baseline TTV and change in TTV as response to systemic therapy were calculated using the CT scan before and the first after systemic treatment, and were assessed for their added prognostic value. The findings were validated in an external cohort of patients treated at a tertiary center. Results:In total, 215 CAIRO5 patients were included. Baseline TTV and absolute change in TTV were significantly associated with early recurrence (P = 0.005 and P = 0.040, respectively) and OS in multivariable analyses (P = 0.024 and P = 0.006, respectively), whereas RECIST1.1 was not prognostic for early recurrence (P = 0.88) and OS (P = 0.35). In the validation cohort (n = 85), baseline TTV and absolute change in TTV remained prognostic for early recurrence (P = 0.041 and P = 0.021, respectively) and OS in multivariable analyses (P &lt; 0.0001 and P = 0.012, respectively), and showed added prognostic value over conventional clinicopathological variables (increase C-statistic, 0.06; 95 % CI, 0.02 to 0.14; P = 0.008). Conclusion: Total tumor volume is strongly prognostic for early recurrence and OS in patients who underwent complete local treatment of initially unresectable CRLM, both in the CAIRO5 trial and the validation cohort. In contrast, RECIST1.1 did not show prognostic value for neither early recurrence nor OS.</p

The Genome of the Netherlands: Design, and project goals

Within the Netherlands a national network of biobanks has been established (Biobanking and Biomolecular Research Infrastructure-Netherlands (BBMRI-NL)) as a national node of the European BBMRI. One of the aims of BBMRI-NL is to enrich biobanks with different types of molecular and phenotype data. Here, we describe the Genome of the Netherlands (GoNL), one of the projects within BBMRI-NL. GoNL is a whole-genome-sequencing project in a representative sample consisting of 250 trio-families from all provinces in the Netherlands, which aims to characterize DNA sequence variation in the Dutch population. The parent-offspring trios include adult individuals ranging in age from 19 to 87 years (mean=53 years; SD=16 years) from birth cohorts 1910-1994. Sequencing was done on blood-derived DNA from uncultured cells and accomplished coverage was 14-15x. The family-based design represents a unique resource to assess the frequency of regional variants, accurately reconstruct haplotypes by family-based phasing, characterize short indels and complex structural variants, and establish the rate of de novo mutational events. GoNL will also serve as a reference panel for imputation in the available genome-wide association studies in Dutch and other cohorts to refine association signals and uncover population-specific variants. GoNL will create a catalog of human genetic variation in this sample that is uniquely characterized with respect to micro-geographic location and a wide range of phenotypes. The resource will be made available to the research and medical community to guide the interpretation of sequencing projects. The present paper summarizes the global characteristics of the project