Publications associées à Porte de Toffoli

Quantum process tomography with unsupervised learning and tensor networks

The impressive pace of advance of quantum technology calls for robust and scalable techniques for the characterization and validation of quantum hardware. Quantum process tomography, the reconstruction of an unknown quantum channel from measurement data, r ...

Nature Portfolio2023

In-situ atomic level observation of the strain response of graphene lattice

Klaus Kern, Jz -Yuan Juo

Strain is inevitable in two-dimensional (2D) materials, regardless of whether the film is suspended or supported. However, the direct measurement of strain response at the atomic scale is challenging due to the difficulties of maintaining both flexibility ...

Nature Portfolio2023

Optimizing Quantum Compilers: Efficient and Effective Algorithms

Fereshte Mozafari Ghoraba

Quantum computing has made significant progress in recent years, with Google and IBM releasing quantum computers with 72 and 50 qubits, respectively. Google has also achieved quantum supremacy with its 54-qubit device, and IBM has announced the release of ...

EPFL2023

Variational dynamics as a ground-state problem on a quantum computer

Giuseppe Carleo, Filippo Vicentini, Stefano Barison

We propose a variational quantum algorithm to study the real-time dynamics of quantum systems as a ground -state problem. The method is based on the original proposal of Feynman and Kitaev to encode time into a register of auxiliary qubits. We prepare the ...

AMER PHYSICAL SOC2022

Further Results on Efficient Implementations of Block Cipher Linear Layers

Subhadeep Banik

At the FSE conference of ToSC 2018, Kranz et al. presented their results on shortest linear programs for the linear layers of several well known block ciphers in literature. Shortest linear programs are essentially the minimum number of 2-input xor gates r ...

2021

Three-Input Gates for Logic Synthesis

Giovanni De Micheli, Mathias Soeken, Dewmini Sudara Marakkalage, Eleonora Testa, Heinz Riener

Most logic synthesis algorithms work on graph representations of logic functions with nodes associated with arbitrary logic expressions or simple logic functions and iteratively optimize such graphs. While recent multilevel logic synthesis efforts focused ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021

Gate Control of Spin-Layer-Locking FETs and Application to Monolayer LuIO

Nicola Marzari, Antimo Marrazzo, Thibault Daniel Pierre Sohier, Rong Zhang

A recent 2D spinFET concept proposes to switch electrostatically between two separate sublayers with strong and opposite intrinsic Rashba effects, exploiting the spin-layer-locking mechanism in centrosymmetric materials with local dipole fields. Here, we p ...

AMER CHEMICAL SOC2021

Load bearing device

Corentin Jean Dominique Fivet, Jan Friedrich Georg Brütting, Dario Redaelli, Alex-Manuel Muresan

The present relates to a device being used in modular building construction comprising at least one flat load support comprising a first main face and a second main face, at least one elongated load support designed for being coupled with said flat load su ...

2021

Enumerating Optimal Quantum Circuits using Spectral Classification

Giovanni De Micheli, Mathias Soeken, Giulia Meuli

This work targets fault-tolerant quantum computing and focuses on the problem of mapping reversible circuits into the Clifford+T quantum gate library. We present an automatically-generated database containing minimal-cost quantum circuits for Boolean funct ...

IEEE2020

More Results on Shortest Linear Programs

Subhadeep Banik

At the FSE conference of ToSC 2018, Kranz et al. presented their results on shortest linear programs for the linear layers of several well known block ciphers in literature. Shortest linear programs are essentially the minimum number of 2-input xor gates r ...

2019

LUT-Based Hierarchical Reversible Logic Synthesis

Giovanni De Micheli, Mathias Soeken

We present a synthesis framework to map logic networks into quantum circuits for quantum computing. The synthesis framework is based on lookup-table (urn networks, which play a key role in conventional logic synthesis. Establishing a connection between LUT ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2019

Scaling-up ESOP Synthesis for Quantum Compilation

Giovanni De Micheli, Mathias Soeken, Bruno Schmitt Antunes

Today's rapid advances in quantum computing hardware call for scalable synthesis methods to map combinational logic represented as multi-level Boolean networks (e.g., an and inverter graph, AIG) to quantum circuits. Such synthesis process must yield revers ...

IEEE2019

Impact of Classical Control Electronics on Qubit Fidelity

Edoardo Charbon, Fabio Sebastiano

Quantum processors rely on classical electronic controllers to manipulate and read out the state of quantum bits (qubits). As the performance of the quantum processor improves, nonidealities in the classical controller can become the performance bottleneck ...

American Physical Society (APS)2019

Fluorescence lifetime imaging with a single-photon SPAD array using long overlapping gates: an experimental and theoretical study

Edoardo Charbon, Claudio Bruschini, Andrei Ardelean, Arin Can Ülkü

Developing large arrays of single-photon avalanche diodes (SPADs) with on-chip time-correlated single-photon counting (TCSPC) capabilities continues to be a difficult task due to stringent silicon real estate constraints, high data rates and system complex ...

2019

Local control theory for superconducting qubits

Ivano Tavernelli, Sara Bonella

In this work, we develop a method to design control pulses for fixed-frequency superconducting qubits coupled via tunable couplers based on local control theory, an approach commonly employed to steer chemical reactions. Local control theory provides an al ...

AMER PHYSICAL SOC2019

Phasor-based widefield FLIM using a gated 512×512 single-photon SPAD imager

Claudio Bruschini, Edoardo Charbon, Ivan Michel Antolovic, Arin Can Ülkü

Single-photon avalanche diode (SPAD) imagers can perform fast time-resolved imaging in a compact form factor, by exploiting the processing capability and speed of integrated CMOS electronics. Developments in SPAD imagers have recently made them compatible ...

2019

SAT-based {CNOT, T} Quantum Circuit Synthesis

Giovanni De Micheli, Mathias Soeken, Giulia Meuli

The prospective of practical quantum computers has lead researchers to investigate automatic tools to program them. A quantum program is modeled as a Clifford+T quantum circuit that needs to be optimized in order to comply with quantum technology constrain ...

2018

A Best-Fit Mapping Algorithm to Facilitate ESOP-Decomposition in Clifford+T Quantum Network Synthesis

Giovanni De Micheli, Mathias Soeken, Giulia Meuli

Currently, there is a large research interest and a significant economical effort to build the first practical quantum computer. Such quantum computers promise to exceed the capabilities of conventional computers in fields such as computational chemistry, ...

IEEE2018

The impact of classical control electronics on qubit fidelity

Edoardo Charbon, Fabio Sebastiano

Quantum processors rely on classical electronic controllers to manipulate and read out the quantum state. As the performance of the quantum processor improves, non-idealities in the classical controller can become the performance bottleneck for the whole q ...

2018

Exploiting Inherent Characteristic of Reversible Circuits for Faster Combinational Equivalence Checking

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù

Reversible circuits implement invertible logic functions. They are of great interest to cryptography, coding theory, interconnect design, computer graphics, quantum computing, and many other fields. As for conventional circuits, checking the combinational ...

Ieee2016