Publications related to Reversible computing

Light-Intensity Switching of Graphene/WSe2 Synaptic Devices

Giulia Tagliabue, Tarique Anwar, Hongyu Tang

2D van der Waals heterojunctions (vdWH) have emerged as an attractive platform for the realization of optoelectronic synaptic devices, which are critical for energy-efficient computing systems. Photogating induced by charge traps at the interfaces indeed r ...

Wiley2024

High-order geometric integrators for the variational Gaussian wavepacket dynamics and application to vibronic spectra at finite temperature

Roya Moghaddasi Fereidani

Molecular quantum dynamics simulations are essential for understanding many fundamental phenomena in physics and chemistry. They often require solving the time-dependent Schrödinger equation for molecular nuclei, which is challenging even for medium-sized ...

EPFL2024

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

Security in the Presence of Quantum Adversaries

Khashayar Barooti

With the looming threat of large-scale quantum computers, a fair portion of recent cryptographic research has focused on examining cryptographic primitives from the perspective of a quantum adversary. Shor's 1994 result revealed that quantum computers can ...

EPFL2023

Fast polynomial inversion for post quantum QC-MDPC cryptography

Dusan Kostic

New post-quantum Key Encapsulation Mechanism (KEM) designs, evaluated as part of the NIST PQC standardization Project, pose challenging tradeoffs between communication bandwidth and computational overheads. Several KEM designs evaluated in Round-2 of the p ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2021

Universal Quantum Computing Using Electronuclear Wavefunctions of Rare-Earth Ions

Gabriel Aeppli

We propose a scheme for universal quantum computing based on Kramers rare-earth ions. Their nuclear spins in the presence of a Zeeman-split electronic crystal field ground state act as "passive" qubits that store quantum information. The "active" qubits ar ...

AMER PHYSICAL 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

Classical variational simulation of the Quantum Approximate Optimization Algorithm

Giuseppe Carleo

A key open question in quantum computing is whether quantum algorithms can potentially offer a significant advantage over classical algorithms for tasks of practical interest. Understanding the limits of classical computing in simulating quantum systems is ...

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

Program compilation for large-scale quantum computers

Giulia Meuli

Practical realizations of quantum computers are poised to deliver outstanding computational capabilities far beyond the reach of any classical supercomputer. While classical systems are reliably implemented using CMOS technology, the fabrication of quantu ...

EPFL2020

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

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

A time-reversible integrator for the time-dependent Schrödinger equation on an adaptive grid

Jiri Vanicek, Seonghoon Choi

One of the most accurate methods for solving the time-dependent Schrödinger equation uses a combination of the dynamic Fourier method with the split-operator algorithm on a tensor-product grid. To reduce the number of required grid points, we let the grid ...

2019

Resource-Aware Distributed Epilepsy Monitoring Using Self-Awareness From Edge to Cloud

David Atienza Alonso, Amir Aminifar, Farnaz Forooghifar

The integration of wearable devices in humans' daily lives has grown significantly in recent years and still continues to affect different aspects of high-quality life. Thus, ensuring the reliability of the decisions becomes essential in biomedical applica ...

2019

Parameters affecting thermal risk through a kinetic model under adiabatic condition: Application to liquid-liquid reaction system

Thierry Meyer

Risk of thermal runaway for epoxidation is not negligible and should be analyzed and assessed. In industry, epoxidation of vegetable oils is carried out by the oxidation of Prileschajew, involving the in situ production of percarboxylic acid from hydrogen ...

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

Logic Synthesis for Established and Emerging Computing

Giovanni De Micheli, Eleonora Testa, Mathias Soeken, Luca Gaetano Amarù

Logic synthesis is an enabling technology to realize integrated computing systems, and it entails solving computationally intractable problems through a plurality of heuristic techniques. A recent push toward further formalization of synthesis problems has ...

2018

Mediatorless, Reversible Optical Nanosensor Enabled through Enzymatic Pocket Doping

Ardemis Anoush Boghossian, Vitalijs Zubkovs, Benjamin Paul Johanès Gabriel Lambert, Esra Ahunbay, Nils Schürgers

This study presents a reversible, mediatorless, near-infrared glucose sensor based on glucose oxidase-wrapped SWCNTs. A combination of fluorescence, absorption, and Raman spectroscopy measurements suggest a fluorescence enhancement mechanism based on local ...

Wiley-Blackwell2017

Hierarchical Reversible Logic Synthesis Using LUTs

Giovanni De Micheli, Mathias Soeken

Today's rapid advances in the physical implementation of quantum computers demand for scalable synthesis methods in order to map practical logic designs to quantum architectures. We present a synthesis algorithm for quantum computing based on k-LUT network ...

IEEE2017

Cryo-CMOS Electronic Control for Scalable Quantum Computing

Edoardo Charbon, Harald Arjan Robert Homulle, Fabio Sebastiano

Quantum computers1 could revolutionize computing in a profound way due to the massive speedup they promise. A quantum computer comprises a cryogenic quantum processor and a classical electronic controller. When scaling up the cryogenic quantum processor to ...

2017