Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs

In support of the growing interest in quantum computing experimentation, programmers need new tools to write quantum algorithms as program code. Compared to debugging classical programs, debugging quantum programs is difficult because programmers have limited ability to probe the internal states of quantum programs; those states are difficult to interpret even when observations exist; and programmers do not yet have guidelines for what to check for when building quantum programs. In this work, we present quantum program assertions based on statistical tests on classical observations. These allow programmers to decide if a quantum program state matches its expected value in one of classical, superposition, or entangled types of states. We extend an existing quantum programming language with the ability to specify quantum assertions, which our tool then checks in a quantum program simulator. We use these assertions to debug three benchmark quantum programs in factoring, search, and chemistry. We share what types of bugs are possible, and lay out a strategy for using quantum programming patterns to place assertions and prevent bugs.Comment: In The 46th Annual International Symposium on Computer Architecture (ISCA '19). arXiv admin note: text overlap with arXiv:1811.0544

Full Counting Statistics of Non-Commuting Variables: the Case of Spin Counts

We discuss the Full Counting Statistics of non-commuting variables with the measurement of successive spin counts in non-collinear directions taken as an example. We show that owing to an irreducible detector back-action, the FCS in this case may be sensitive to the dynamics of the detectors, and may differ from the predictions obtained with using a naive version of the Projection Postulate. We present here a general model of detector dynamics and path-integral approach to the evaluation of FCS. We concentrate further on a simple "diffusive" model of the detector dynamics where the FCS can be evaluated with transfer-matrix method. The resulting probability distribution of spin counts is characterized by anomalously large higher cumulants and substantially deviates from Gaussian Statistics.Comment: 11 pages, 3 figure

Layered architecture for quantum computing

We develop a layered quantum computer architecture, which is a systematic framework for tackling the individual challenges of developing a quantum computer while constructing a cohesive device design. We discuss many of the prominent techniques for implementing circuit-model quantum computing and introduce several new methods, with an emphasis on employing surface code quantum error correction. In doing so, we propose a new quantum computer architecture based on optical control of quantum dots. The timescales of physical hardware operations and logical, error-corrected quantum gates differ by several orders of magnitude. By dividing functionality into layers, we can design and analyze subsystems independently, demonstrating the value of our layered architectural approach. Using this concrete hardware platform, we provide resource analysis for executing fault-tolerant quantum algorithms for integer factoring and quantum simulation, finding that the quantum dot architecture we study could solve such problems on the timescale of days.Comment: 27 pages, 20 figure

Quantum resource estimates for computing elliptic curve discrete logarithms

We give precise quantum resource estimates for Shor's algorithm to compute discrete logarithms on elliptic curves over prime fields. The estimates are derived from a simulation of a Toffoli gate network for controlled elliptic curve point addition, implemented within the framework of the quantum computing software tool suite LIQ$Ui|\rangle$. We determine circuit implementations for reversible modular arithmetic, including modular addition, multiplication and inversion, as well as reversible elliptic curve point addition. We conclude that elliptic curve discrete logarithms on an elliptic curve defined over an $n$-bit prime field can be computed on a quantum computer with at most $9n + 2\lceil\log_2(n)\rceil+10$ qubits using a quantum circuit of at most $448 n^3 \log_2(n) + 4090 n^3$ Toffoli gates. We are able to classically simulate the Toffoli networks corresponding to the controlled elliptic curve point addition as the core piece of Shor's algorithm for the NIST standard curves P-192, P-224, P-256, P-384 and P-521. Our approach allows gate-level comparisons to recent resource estimates for Shor's factoring algorithm. The results also support estimates given earlier by Proos and Zalka and indicate that, for current parameters at comparable classical security levels, the number of qubits required to tackle elliptic curves is less than for attacking RSA, suggesting that indeed ECC is an easier target than RSA.Comment: 24 pages, 2 tables, 11 figures. v2: typos fixed and reference added. ASIACRYPT 201

Post-quantum cryptography

Cryptography is essential for the security of online communication, cars and implanted medical devices. However, many commonly used cryptosystems will be completely broken once large quantum computers exist. Post-quantum cryptography is cryptography under the assumption that the attacker has a large quantum computer; post-quantum cryptosystems strive to remain secure even in this scenario. This relatively young research area has seen some successes in identifying mathematical operations for which quantum algorithms offer little advantage in speed, and then building cryptographic systems around those. The central challenge in post-quantum cryptography is to meet demands for cryptographic usability and flexibility without sacrificing confidence.</p

A randomized, phase 2 trial of docetaxel with or without PX-866, an irreversible oral phosphatidylinositol 3-kinase inhibitor, in patients with relapsed or metastatic head and neck squamous cell cancer

INTRODUCTION: The phosphotidylinositol-3 kinase (PI3K)/serine-threonine kinase (AKT)/mammalian target of rapamycin (mTOR) signaling pathway is frequently altered in head and neck squamous cell cancer (HNSCC). PX-866 is an oral, irreversible, pan-isoform inhibitor of PI3K. Preclinical models revealed synergy with docetaxel and a phase 1 trial demonstrated tolerability of this combination. This randomized phase 2 study evaluated PX-866 combined with docetaxel in patients with advanced, refractory HNSCC. METHODS: Patients with locally advanced, recurrent or metastatic HNSCC who had received at least one and no more than two prior systemic treatment regimens were randomized (1:1) to a combination of docetaxel (75mg/m(2) IV every 21days) with or without PX-866 (8mg PO daily; Arms A and B, respectively). The primary endpoint was progression free survival (PFS). Secondary endpoints included objective response rate (RR), overall survival (OS), toxicity, and correlation of biomarker analyses with efficacy outcomes. RESULTS: 85 patients were enrolled. There was a non-significant improvement in response rate in the combination arm (14% vs. 5%; P=0.13). Median PFS was 92days in Arm A and 82days in Arm B (P=0.42). There was no difference in OS between the two arms (263 vs. 195days; P=0.62). Grade 3 or higher adverse events were infrequent, but more common in the combination arm with respect to diarrhea (17% vs. 2%), nausea (7% vs. 0%), and febrile neutropenia (21% vs. 5%); grade 3 or higher anemia was more frequent in arm B (7% vs. 27%). PIK3CA mutations or PTEN loss were infrequently observed. CONCLUSION: The addition of PX-866 to docetaxel did not improve PFS, RR, or OS in patients with advanced, refractory HNSCC without molecular pre-selection

A spatio-temporal description of the abrupt changes in the photospheric magnetic and Lorentz-force vectors during the 2011 February 15 X2.2 flare

The active region NOAA 11158 produced the first X-class flare of Solar Cycle 24, an X2.2 flare at 01:44 UT on 2011 February 15. Here we analyze SDO/HMI magnetograms covering a 12-hour interval centered at the time of this flare. We describe the spatial distributions of the photospheric magnetic changes associated with this flare, including the abrupt changes in the field vector, vertical electric current and Lorentz force vector. We also trace these parameters' temporal evolution. The abrupt magnetic changes were concentrated near the neutral line and in two neighboring sunspots. Near the neutral line, the field vectors became stronger and more horizontal during the flare and the shear increased. This was due to an increase in strength of the horizontal field components near the neutral line, most significant in the horizontal component parallel to the neutral line but the perpendicular component also increased in strength. The vertical component did not show a significant, permanent overall change at the neutral line. The increase in total flux at the neutral line was accompanied by a compensating flux decrease in the surrounding volume. In the two sunspots near the neutral line the azimuthal flux abruptly decreased during the flare but this change was permanent in only one of the spots. There was a large, abrupt, downward vertical Lorentz force change during the flare, consistent with results of past analyses and recent theoretical work. The horizontal Lorentz force acted in opposite directions along each side of neutral line, with the two sunspots at each end subject to abrupt torsional forces. The shearing forces were consistent with field contraction and decrease of shear near the neutral line, whereas the field itself became more sheared as a result of the flux collapsing towards the neutral line from the surrounding volume.Comment: DOI 10.1007/s11207-012-0071-0. Accepted for publication in Solar Physics SDO3 Topical Issue. Some graphics missing due to 15MB limi

Hyperactivation of monocytes and macrophages in MCI patients contributes to the progression of Alzheimer's disease

Background: Alzheimer’s disease (AD) is the most common neurodegenerative disease ultimately manifesting as clinical dementia. Despite considerable effort and ample experimental data, the role of neuroinflammation related to systemic inflammation is still unsettled. While the implication of microglia is well recognized, the exact contribution of peripheral monocytes/macrophages is still largely unknown, especially concerning their role in the various stages of AD. Objectives: AD develops over decades and its clinical manifestation is preceded by subjective memory complaints (SMC) and mild cognitive impairment (MCI); thus, the question arises how the peripheral innate immune response changes with the progression of the disease. Therefore, to further investigate the roles of monocytes/macrophages in the progression of AD we assessed their phenotypes and functions in patients at SMC, MCI and AD stages and compared them with cognitively healthy controls. We also conceptualised an idealised mathematical model to explain the functionality of monocytes/macrophages along the progression of the disease. Results: We show that there are distinct phenotypic and functional changes in monocyte and macrophage populations as the disease progresses. Higher free radical production upon stimulation could already be observed for the monocytes of SMC patients. The most striking results show that activation of peripheral monocytes (hyperactivation) is the strongest in the MCI group, at the prodromal stage of the disease. Monocytes exhibit significantly increased chemotaxis, free radical production, and cytokine production in response to TLR2 and TLR4 stimulation. Conclusion: Our data suggest that the peripheral innate immune system is activated during the progression from SMC through MCI to AD, with the highest levels of activation being in MCI subjects and the lowest in AD patients. Some of these parameters may be used as biomarkers, but more holistic immune studies are needed to find the best period of the disease for clinical intervention