Sized Types for low-level Quantum Metaprogramming

One of the most fundamental aspects of quantum circuit design is the concept of families of circuits parametrized by an instance size. As in classical programming, metaprogramming allows the programmer to write entire families of circuits simultaneously, an ability which is of particular importance in the context of quantum computing as algorithms frequently use arithmetic over non-standard word lengths. In this work, we introduce metaQASM, a typed extension of the openQASM language supporting the metaprogramming of circuit families. Our language and type system, built around a lightweight implementation of sized types, supports subtyping over register sizes and is moreover type-safe. In particular, we prove that our system is strongly normalizing, and as such any well-typed metaQASM program can be statically unrolled into a finite circuit.Comment: Presented at Reversible Computation 2019. Final authenticated publication is available online at https://doi.org/10.1007/978-3-030-21500-2_

Line orientation adaptation: local or global?

Prolonged exposure to an oriented line shifts the perceived orientation of a subsequently observed line in the opposite direction, a phenomenon known as the tilt aftereffect (TAE). Here we consider whether the TAE for line stimuli is mediated by a mechanism that integrates the local parts of the line into a single global entity prior to the site of adaptation, or the result of the sum of local TAEs acting separately on the parts of the line. To test between these two alternatives we used the fact the TAE transfers almost completely across luminance contrast polarity [1]. We measured the TAE using adaptor and test lines that (1) either alternated in luminance polarity or were of a single polarity, and (2) either alternated in local orientation or were of a single orientation. We reasoned that if the TAE was agnostic to luminance polarity and was parts-based, we should obtain large TAEs using alternating-polarity adaptors with single-polarity tests. However we found that (i) TAEs using one-alternating-polarity adaptors with all-white tests were relatively small, increased slightly for two-alternating-polarity adaptors, and were largest with all-white or all-black adaptors. (ii) however TAEs were relatively large when the test was one-alternating polarity, irrespective of the adaptor type. (iii) The results with orientation closely mirrored those obtained with polarity with the difference that the TAE transfer across orthogonal orientations was weak. Taken together, our results demonstrate that the TAE for lines is mediated by a global shape mechanism that integrates the parts of lines into whole prior to the site of orientation adaptation. The asymmetry in the magnitude of TAE depending on whether the alternating-polarity lines was the adaptor or test can be explained by an imbalance in the population of neurons sensitive to 1st-and 2nd-order lines, with the 2nd-order lines being encoded by a subset of the mechanisms sensitive to 1st-order lines

Security Limitations of Classical-Client Delegated Quantum Computing

Secure delegated quantum computing allows a computationally weak client to outsource an arbitrary quantum computation to an untrusted quantum server in a privacy-preserving manner. One of the promising candidates to achieve classical delegation of quantum computation is classical-client remote state preparation ($RSP_{CC}$), where a client remotely prepares a quantum state using a classical channel. However, the privacy loss incurred by employing $RSP_{CC}$ as a sub-module is unclear. In this work, we investigate this question using the Constructive Cryptography framework by Maurer and Renner (ICS'11). We first identify the goal of $RSP_{CC}$ as the construction of ideal RSP resources from classical channels and then reveal the security limitations of using $RSP_{CC}$. First, we uncover a fundamental relationship between constructing ideal RSP resources (from classical channels) and the task of cloning quantum states. Any classically constructed ideal RSP resource must leak to the server the full classical description (possibly in an encoded form) of the generated quantum state, even if we target computational security only. As a consequence, we find that the realization of common RSP resources, without weakening their guarantees drastically, is impossible due to the no-cloning theorem. Second, the above result does not rule out that a specific $RSP_{CC}$ protocol can replace the quantum channel at least in some contexts, such as the Universal Blind Quantum Computing (UBQC) protocol of Broadbent et al. (FOCS '09). However, we show that the resulting UBQC protocol cannot maintain its proven composable security as soon as $RSP_{CC}$ is used as a subroutine. Third, we show that replacing the quantum channel of the above UBQC protocol by the $RSP_{CC}$ protocol QFactory of Cojocaru et al. (Asiacrypt '19), preserves the weaker, game-based, security of UBQC.Comment: 40 pages, 12 figure

Verification of Quantum Computation: An Overview of Existing Approaches

International audienc

Biophysical Characteristics Reveal Neural Stem Cell Differentiation Potential

Distinguishing human neural stem/progenitor cell (huNSPC) populations that will predominantly generate neurons from those that produce glia is currently hampered by a lack of sufficient cell type-specific surface markers predictive of fate potential. This limits investigation of lineage-biased progenitors and their potential use as therapeutic agents. A live-cell biophysical and label-free measure of fate potential would solve this problem by obviating the need for specific cell surface markers

A Blessing and a Curse? Political Institutions in the Growth and Decay of Generalized Trust: A Cross-National Panel Analysis, 1980–2009

Despite decades of research on social capital, studies that explore the relationship between political institutions and generalized trust–a key element of social capital–across time are sparse. To address this issue, we use various cross-national public-opinion data sets including the World Values Survey and employ pooled time-series OLS regression and fixed- and random-effects estimation techniques on an unbalanced panel of 74 countries and 248 observations spread over a 29-year time period. With these data and methods, we investigate the impact of five political-institutional factors–legal property rights, market regulations, labor market regulations, universality of socioeconomic provisions, and power-sharing capacity–on generalized trust. We find that generalized trust increases monotonically with the quality of property rights institutions, that labor market regulations increase generalized trust, and that power-sharing capacity of the state decreases generalized trust. While generalized trust increases as the government regulation of credit, business, and economic markets decreases and as the universality of socioeconomic provisions increases, both effects appear to be more sensitive to the countries included and the modeling techniques employed than the other political-institutional factors. In short, we find that political institutions simultaneously promote and undermine generalized trust

Heterogeneous catalysis for sustainable biodiesel production via esterification and transesterification

Concern over the economics of accessing fossil fuel reserves, and widespread acceptance of the anthropogenic origin of rising CO2 emissions and associated climate change from combusting such carbon sources, is driving academic and commercial research into new routes to sustainable fuels to meet the demands of a rapidly rising global population. Here we discuss catalytic esterification and transesterification solutions to the clean synthesis of biodiesel, the most readily implemented and low cost, alternative source of transportation fuels to meet future societal demands