Cosmological implications of a class of SO(10) models

The cosmological implications of a class of SO(10) models are discussed. In particular we show how a good prediction for neutrino masses is obtained in order to fit with the MSW mechanism to explain the solar neutrino flux deficit and with the predicted amount of the dark matter hot component. A possible scenario for baryogenesis is also considered.Comment: latex file, 3 pages, appeared in Proceedings of TAUP 95, Toledo, 17 -21 September 1995. Nucl. Phys. B (Proc. Suppl.) 48 (1996) 272, Eds. A. Morales, J. Morales and J. A. Villa

SO(10): a possible Scenario for new Physics in the Neutrino Sector and Baryogenesis

The implications on neutrino physics and on the dynamical generation of the baryonic asymmetry of a class of $SO(10)$ non-supersymmetric models are discussed.Comment: 4 pages, LaTex (requires espcrc2.sty which is appended). Contribution to the Proceedings of Trends in Astroparticle Physic

Qafny: Quantum Program Verification Through Type-guided Classical Separation Logic

Formal verification has been proven instrumental to ensure that quantum programs implement their specifications but often requires a significant investment of time and labor. To address this challenge, we present Qafny, an automated proof system designed for verifying quantum programs. At its core, Qafny uses a type-guided quantum proof system that translates quantum operations to classical array operations. By modeling these operations as proof rules within a classical separation logic framework, Qafny automates much of the traditionally tedious and time-consuming reasoning process. We prove the soundness and completeness of our proof system and implement a prototype compiler that transforms Qafny programs both into the Dafny programming language and into executable quantum circuits. Using Qafny, we demonstrate how to efficiently verify important quantum algorithms, including quantum-walk algorithms, Grover's search algorithm, and Shor's factoring algorithm, with significantly reduced human effort.Comment: Version

Water-Soluble Flexible Organic Frameworks That Include and Deliver Proteins.

Four water-soluble hydrazone-based three-dimensional (3D) flexible organic frameworks FOF-1-4 have been synthesized from a semirigid tetracationic tetraaldehyde and four flexible dihydrazides. 1H NMR spectroscopy indicated the quantitative formation of FOF-1-4 in D2O, while dynamic light scattering experiments revealed that, depending on the concentration, these porous frameworks display hydrodynamic diameters ranging from 50 to 120 nm. The porosity of the frameworks is confirmed by ethanol vapor adsorption experiments of the solid samples as well as the high loading capacity for a 2.3 nm porphyrin guest in water. The new water-soluble frameworks exhibit low cytotoxicity and form inherent pores with diameters of 5.3 or 6.7 nm, allowing rapid inclusion of proteins such as bovine serum albumin and green and orange fluorescent proteins, and efficient delivery of the proteins into normal and cancer cells. Flow cytometric analysis reveals percentages of the delivered cells up to 99.8%