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_

Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding Problem

International audienceCurrent proposals for quantum compilers involve the synthesis and optimization of linear reversible circuits and among them CNOT circuits. This class of circuits represents a significant part of the cost of running an entire quantum circuit and therefore we aim at reducing the size of CNOT circuits. In this paper we present a new algorithm for the synthesis of CNOT circuits based on the solution of the syndrome decoding problem. Our method addresses the case of ideal hardware with an all-to-all qubit connectivity and the case of near-term quantum devices with restricted connectivity. Benchmarks show that our algorithm outperforms existing algorithms in both cases of partial and full connectivity

The Influence of Discrimination on Inmigrant Adolescents' Depressive Symptoms: What Buffers its Detrimental Effects?

The present study examined the link between perceived discrimination, depressive symptoms, cultural identity and social support at school reported by immigrant adolescents. Participants were 214 mostly male, immigrant adolescents in grades 9 through 13 of high schools in two small cities in northern Italy. Results showed that discrimination has a significant detrimental effect on psychological well-being of foreign-born adolescents. Additionally, the current study outlined that the only protective factor for depressive symptoms, among the analyzed variables concerning cultural identity and school social support, was social support from teachers. None of the analyzed moderators buffered the relationship between discrimination and depressive symptoms reported by immigrant adolescents. These results have implications for preventive interventions for immigrant adolescents and suggest a protective role for teachers. Future research should detect strategies to reduce discrimination and prejudice toward immigrant adolescents and detect factors that may buffer detrimental effects of discrimination on psychological well-being