Classical propositional logic and decidability of variables in intuitionistic propositional logic

We improve the answer to the question: what set of excluded middles for propositional variables in a formula suffices to prove the formula in intuitionistic propositional logic whenever it is provable in classical propositional logic

Entangled-photon generation in nano-to-bulk crossover regime

We have theoretically investigated a generation of entangled photons from biexcitons in a semiconductor film with thickness in nano-to-bulk crossover regime. In contrast to the cases of quantum dots and bulk materials, we can highly control the generated state of entangled photons by the design of peculiar energy structure of exciton-photon coupled modes in the thickness range between nanometers and micrometers. Owing to the enhancement of radiative decay rate of excitons at this thickness range, the statistical accuracy of generated photon pairs can be increased beyond the trade-off problem with the signal intensity. Implementing an optical cavity structure, the generation efficiency can be enhanced with keeping the high statistical accuracy.Comment: 9 pages, 3 figure

Reverse Mathematics in Bishop’s Constructive Mathematics

We will overview the results in an informal approach to constructive reverse mathematics, that is reverse mathematics in Bishop’s constructive mathematics, especially focusing on compactness properties and continuous properties