-
Women for Quantum -- Manifesto of Values
Authors:
Almut Beige,
Ana Predojević,
Anja Metelmann,
Anna Sanpera,
Chiara Macchiavello,
Christiane P. Koch,
Christine Silberhorn,
Costanza Toninelli,
Dagmar Bruß,
Elisa Ercolessi,
Elisabetta Paladino,
Francesca Ferlaino,
Giulia Ferrini,
Gloria Platero,
Ivette Fuentes,
Kae Nemoto,
Leticia Tarruell,
Maria Bondani,
Marilu Chiofalo,
Marisa Pons,
Milena D'Angelo,
Mio Murao,
Nicole Fabbri,
Paola Verrucchi,
Pascale Senellart-Mardon
, et al. (8 additional authors not shown)
Abstract:
Data show that the presence of women in quantum science is affected by a number of detriments and their percentage decreases even further for higher positions. Beyond data, from our shared personal experiences as female tenured quantum physics professors, we believe that the current model of scientific leadership, funding, and authority fails to represent many of us. It is time for a real change t…
▽ More
Data show that the presence of women in quantum science is affected by a number of detriments and their percentage decreases even further for higher positions. Beyond data, from our shared personal experiences as female tenured quantum physics professors, we believe that the current model of scientific leadership, funding, and authority fails to represent many of us. It is time for a real change that calls for a different kind of force and for the participation of everyone. Women for quantum calls for a joint effort and aims with this initiative to contribute to such a transformation.
△ Less
Submitted 4 July, 2024; v1 submitted 24 May, 2024;
originally announced July 2024.
-
Superconstant Inapproximability of Decision Tree Learning
Authors:
Caleb Koch,
Carmen Strassle,
Li-Yang Tan
Abstract:
We consider the task of properly PAC learning decision trees with queries. Recent work of Koch, Strassle, and Tan showed that the strictest version of this task, where the hypothesis tree $T$ is required to be optimally small, is NP-hard. Their work leaves open the question of whether the task remains intractable if $T$ is only required to be close to optimal, say within a factor of 2, rather than…
▽ More
We consider the task of properly PAC learning decision trees with queries. Recent work of Koch, Strassle, and Tan showed that the strictest version of this task, where the hypothesis tree $T$ is required to be optimally small, is NP-hard. Their work leaves open the question of whether the task remains intractable if $T$ is only required to be close to optimal, say within a factor of 2, rather than exactly optimal.
We answer this affirmatively and show that the task indeed remains NP-hard even if $T$ is allowed to be within any constant factor of optimal. More generally, our result allows for a smooth tradeoff between the hardness assumption and the inapproximability factor. As Koch et al.'s techniques do not appear to be amenable to such a strengthening, we first recover their result with a new and simpler proof, which we couple with a new XOR lemma for decision trees. While there is a large body of work on XOR lemmas for decision trees, our setting necessitates parameters that are extremely sharp, and are not known to be attainable by existing XOR lemmas. Our work also carries new implications for the related problem of Decision Tree Minimization.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
Improved Three-Dimensional Reconstructions in Electron Ptychography through Defocus Series Measurements
Authors:
Marcel Schloz,
Thomas C. Pekin,
Hamish G. Brown,
Dana O. Byrne,
Bryan D. Esser,
Emmanuel Terzoudis-Lumsden,
Takashi Taniguchi,
Kenji Watanabe,
Scott D. Findlay,
Benedikt Haas,
Jim Ciston,
Christoph T. Koch
Abstract:
A detailed analysis of ptychography for 3D phase reconstructions of thick specimens is performed. We introduce multi-focus ptychography, which incorporates a 4D-STEM defocus series to enhance the quality of 3D reconstructions along the beam direction through a higher overdetermination ratio. This method is compared with established multi-slice ptychography techniques, such as conventional ptychogr…
▽ More
A detailed analysis of ptychography for 3D phase reconstructions of thick specimens is performed. We introduce multi-focus ptychography, which incorporates a 4D-STEM defocus series to enhance the quality of 3D reconstructions along the beam direction through a higher overdetermination ratio. This method is compared with established multi-slice ptychography techniques, such as conventional ptychography, regularized ptychography, and multi-mode ptychography. Additionally, we contrast multi-focus ptychography with an alternative method that uses virtual optical sectioning through a reconstructed scattering matrix ($\mathcal{S}$-matrix), which offers more precise 3D structure information compared to conventional ptychography. Our findings from multiple 3D reconstructions based on simulated and experimental data demonstrate that multi-focus ptychography surpasses other techniques, particularly in accurately reconstructing the surfaces and interface regions of thick specimens.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Quantum Optimal Control of Squeezing in Cavity Optomechanics
Authors:
Anton Halaski,
Matthias G. Krauss,
Daniel Basilewitsch,
Christiane P. Koch
Abstract:
Squeezing is a non-classical feature of quantum states that is a useful resource, for example in quantum sensing of mechanical forces. Here, we show how to use optimal control theory to maximize squeezing in an optomechanical setup with two external drives and determine how fast the mechanical mode can be squeezed. For the autonomous drives considered here, we find the inverse cavity decay to lowe…
▽ More
Squeezing is a non-classical feature of quantum states that is a useful resource, for example in quantum sensing of mechanical forces. Here, we show how to use optimal control theory to maximize squeezing in an optomechanical setup with two external drives and determine how fast the mechanical mode can be squeezed. For the autonomous drives considered here, we find the inverse cavity decay to lower-bound the protocol duration. At and above this limit, we identify a family of protocols leveraging a two-stage control strategy, where the mechanical mode is cooled before it is squeezed. Identification of the control strategy allows for two important insights - to determine the factors that limit squeezing and to simplify the time-dependence of the external drives, making our protocol readily applicable in experiments.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
A Strong Direct Sum Theorem for Distributional Query Complexity
Authors:
Guy Blanc,
Caleb Koch,
Carmen Strassle,
Li-Yang Tan
Abstract:
Consider the expected query complexity of computing the $k$-fold direct product $f^{\otimes k}$ of a function $f$ to error $\varepsilon$ with respect to a distribution $μ^k$. One strategy is to sequentially compute each of the $k$ copies to error $\varepsilon/k$ with respect to $μ$ and apply the union bound. We prove a strong direct sum theorem showing that this naive strategy is essentially optim…
▽ More
Consider the expected query complexity of computing the $k$-fold direct product $f^{\otimes k}$ of a function $f$ to error $\varepsilon$ with respect to a distribution $μ^k$. One strategy is to sequentially compute each of the $k$ copies to error $\varepsilon/k$ with respect to $μ$ and apply the union bound. We prove a strong direct sum theorem showing that this naive strategy is essentially optimal. In particular, computing a direct product necessitates a blowup in both query complexity and error.
Strong direct sum theorems contrast with results that only show a blowup in query complexity or error but not both. There has been a long line of such results for distributional query complexity, dating back to (Impagliazzo, Raz, Wigderson 1994) and (Nisan, Rudich, Saks 1994), but a strong direct sum theorem had been elusive.
A key idea in our work is the first use of the Hardcore Theorem (Impagliazzo 1995) in the context of query complexity. We prove a new "resilience lemma" that accompanies it, showing that the hardcore of $f^{\otimes k}$ is likely to remain dense under arbitrary partitions of the input space.
△ Less
Submitted 25 May, 2024;
originally announced May 2024.
-
Ultrafast phonon-mediated dephasing of color centers in hexagonal boron nitride probed by electron beams
Authors:
Masoud Taleb,
Paul Bittorf,
Mximilian Black,
Mario Hentschel,
Wilfried Sigle,
Benedikt Haas,
Christoph Koch,
Peter A. van Aken,
Harald Giessen,
Nahid Talebi
Abstract:
Defect centers in hexagonal boron nitride have been extensively studied as room temperature single photon sources. The electronic structure of these defects exhibits strong coupling to phonons, as evidenced by the observation of phonon sidebands in both photoluminescence and cathodoluminescence spectra. However, the dynamics of the electron phonon coupling as well as phonon mediated dephasing of t…
▽ More
Defect centers in hexagonal boron nitride have been extensively studied as room temperature single photon sources. The electronic structure of these defects exhibits strong coupling to phonons, as evidenced by the observation of phonon sidebands in both photoluminescence and cathodoluminescence spectra. However, the dynamics of the electron phonon coupling as well as phonon mediated dephasing of the color centers in hexagonal boron nitride remain unexplored. Here, we apply a novel time resolved CL spectroscopy technique to explore the population decay to phonon states and the dephasing time T2 with sub femtosecond time resolution. We demonstrate an ultrafast dephasing time of only 200 fs and a radiative decay of about 585 fs at room temperature, in contrast with all optical time resolved photoluminescence techniques that report a decay of a few nanoseconds. This behavior is attributed to efficient electron-beam excitation of coherent phonon polaritons in hexagonal boron nitride, resulting in faster dephasing of electronic transitions. Our results demonstrate the capability of our sequential cathodoluminescence spectroscopy technique to probe the ultrafast dephasing time of single emitters in quantum materials with sub femtosecond time resolution, heralding access to quantum path interferences in single emitters coupled to their complex environment.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
Bootstrap Percolation on the Binomial Random $k$-uniform Hypergraph
Authors:
Mihyun Kang,
Christoph Koch,
Tamás Makai
Abstract:
We investigate the behaviour of $r$-neighbourhood bootstrap percolation on the binomial $k$-uniform random hypergraph $H_k(n,p)$ for given integers $k\geq 2$ and $r\geq 2$. In $r$-neighbourhood bootstrap percolation, infection spreads through the hypergraph, starting from a set of initially infected vertices, and in each subsequent step of the process every vertex with at least $r$ infected neighb…
▽ More
We investigate the behaviour of $r$-neighbourhood bootstrap percolation on the binomial $k$-uniform random hypergraph $H_k(n,p)$ for given integers $k\geq 2$ and $r\geq 2$. In $r$-neighbourhood bootstrap percolation, infection spreads through the hypergraph, starting from a set of initially infected vertices, and in each subsequent step of the process every vertex with at least $r$ infected neighbours becomes infected. For our analysis the set of initially infected vertices is chosen uniformly at random from all sets of given size. In the regime $n^{-1}\ll n^{k-2}p \ll n^{-1/r}$ we establish a threshold such that if the number of initially infected vertices remains below the threshold, then with high probability only a few additional vertices become infected, while if the number of initially infected vertices exceeds the threshold then with high probability almost every vertex becomes infected. In fact we show that the probability of failure decreases exponentially.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
Roadmap on Data-Centric Materials Science
Authors:
Stefan Bauer,
Peter Benner,
Tristan Bereau,
Volker Blum,
Mario Boley,
Christian Carbogno,
C. Richard A. Catlow,
Gerhard Dehm,
Sebastian Eibl,
Ralph Ernstorfer,
Ádám Fekete,
Lucas Foppa,
Peter Fratzl,
Christoph Freysoldt,
Baptiste Gault,
Luca M. Ghiringhelli,
Sajal K. Giri,
Anton Gladyshev,
Pawan Goyal,
Jason Hattrick-Simpers,
Lara Kabalan,
Petr Karpov,
Mohammad S. Khorrami,
Christoph Koch,
Sebastian Kokott
, et al. (36 additional authors not shown)
Abstract:
Science is and always has been based on data, but the terms "data-centric" and the "4th paradigm of" materials research indicate a radical change in how information is retrieved, handled and research is performed. It signifies a transformative shift towards managing vast data collections, digital repositories, and innovative data analytics methods. The integration of Artificial Intelligence (AI) a…
▽ More
Science is and always has been based on data, but the terms "data-centric" and the "4th paradigm of" materials research indicate a radical change in how information is retrieved, handled and research is performed. It signifies a transformative shift towards managing vast data collections, digital repositories, and innovative data analytics methods. The integration of Artificial Intelligence (AI) and its subset Machine Learning (ML), has become pivotal in addressing all these challenges. This Roadmap on Data-Centric Materials Science explores fundamental concepts and methodologies, illustrating diverse applications in electronic-structure theory, soft matter theory, microstructure research, and experimental techniques like photoemission, atom probe tomography, and electron microscopy. While the roadmap delves into specific areas within the broad interdisciplinary field of materials science, the provided examples elucidate key concepts applicable to a wider range of topics. The discussed instances offer insights into addressing the multifaceted challenges encountered in contemporary materials research.
△ Less
Submitted 1 May, 2024; v1 submitted 1 February, 2024;
originally announced February 2024.
-
Fast and robust cat state preparation utilizing higher order nonlinearities
Authors:
S. Zhao,
M. G. Krauss,
T. Bienaime,
S. Whitlock,
C. P. Koch,
S. Qvarfort,
A. Metelmann
Abstract:
Cat states are a valuable resource for quantum metrology applications, promising to enable sensitivity down to the Heisenberg limit. Moreover, Schrödinger cat states, based on a coherent superposition of coherent states, show robustness against phase-flip errors making them a promising candidate for bosonic quantum codes. A pathway to realize cat states is via utilizing single Kerr-type anharmonic…
▽ More
Cat states are a valuable resource for quantum metrology applications, promising to enable sensitivity down to the Heisenberg limit. Moreover, Schrödinger cat states, based on a coherent superposition of coherent states, show robustness against phase-flip errors making them a promising candidate for bosonic quantum codes. A pathway to realize cat states is via utilizing single Kerr-type anharmonicities as found in superconducting devices as well as in Rydberg atoms. Such platforms nevertheless utilize only the second order anharmonicity, which limits the time it takes for a cat state to be prepared. Here we show how proper tuning of multiple higher order nonlinear interactions leads to shorter cat state preparation time. We also discuss practical aspects including an optimal control scheme which allows us to start the state preparation from the vacuum state under standard single mode driving. Lastly, we propose an ensemble of Rydberg atoms that exhibits higher order nonlinearities as a platform to prepare cat states in the laboratory.
△ Less
Submitted 8 December, 2023;
originally announced December 2023.
-
Chaotic fluctuations in a universal set of transmon qubit gates
Authors:
Daniel Basilewitsch,
Simon-Dominik Börner,
Christoph Berke,
Alexander Altland,
Simon Trebst,
Christiane P. Koch
Abstract:
Transmon qubits arise from the quantization of nonlinear resonators, systems that are prone to the buildup of strong, possibly chaotic, fluctuations. Such instabilities will likely affect fast gate operations which involve the transient population of higher excited states outside the computational subspace. Here we show that a statistical analysis of the instantaneous eigenphases of the time evolu…
▽ More
Transmon qubits arise from the quantization of nonlinear resonators, systems that are prone to the buildup of strong, possibly chaotic, fluctuations. Such instabilities will likely affect fast gate operations which involve the transient population of higher excited states outside the computational subspace. Here we show that a statistical analysis of the instantaneous eigenphases of the time evolution operator, in particular of their curvatures, allows for identifying the subspace affected by chaotic fluctuations. Our analysis shows that fast entangling gates, operating at speeds close to the so-called quantum speed limit, contain transient regimes where the dynamics indeed becomes partially chaotic for just two transmons.
△ Less
Submitted 23 January, 2024; v1 submitted 24 November, 2023;
originally announced November 2023.
-
Dilute measurement-induced cooling into many-body ground states
Authors:
Josias Langbehn,
Kyrylo Snizhko,
Igor Gornyi,
Giovanna Morigi,
Yuval Gefen,
Christiane P. Koch
Abstract:
Cooling a quantum system to its ground state is important for the characterization of non-trivial interacting systems, and in the context of a variety of quantum information platforms. In principle, this can be achieved by employing measurement-based passive steering protocols, where the steering steps are predetermined and are not based on measurement readouts. However, measurements, i.e., coupli…
▽ More
Cooling a quantum system to its ground state is important for the characterization of non-trivial interacting systems, and in the context of a variety of quantum information platforms. In principle, this can be achieved by employing measurement-based passive steering protocols, where the steering steps are predetermined and are not based on measurement readouts. However, measurements, i.e., coupling the system to auxiliary quantum degrees of freedom, is rather costly, and protocols in which the number of measurements scales with system size will have limited practical applicability. Here, we identify conditions under which measurement-based cooling protocols can be taken to the dilute limit. For two examples of frustration-free one-dimensional spin chains, we show that steering on a single link is sufficient to cool these systems into their unique ground states. We corroborate our analytical arguments with finite-size numerical simulations and discuss further applications.
△ Less
Submitted 20 December, 2023; v1 submitted 9 November, 2023;
originally announced November 2023.
-
Transfer of Reinforcement Learning-Based Controllers from Model- to Hardware-in-the-Loop
Authors:
Mario Picerno,
Lucas Koch,
Kevin Badalian,
Marius Wegener,
Joschka Schaub,
Charles Robert Koch,
Jakob Andert
Abstract:
The process of developing control functions for embedded systems is resource-, time-, and data-intensive, often resulting in sub-optimal cost and solutions approaches. Reinforcement Learning (RL) has great potential for autonomously training agents to perform complex control tasks with minimal human intervention. Due to costly data generation and safety constraints, however, its application is mos…
▽ More
The process of developing control functions for embedded systems is resource-, time-, and data-intensive, often resulting in sub-optimal cost and solutions approaches. Reinforcement Learning (RL) has great potential for autonomously training agents to perform complex control tasks with minimal human intervention. Due to costly data generation and safety constraints, however, its application is mostly limited to purely simulated domains. To use RL effectively in embedded system function development, the generated agents must be able to handle real-world applications. In this context, this work focuses on accelerating the training process of RL agents by combining Transfer Learning (TL) and X-in-the-Loop (XiL) simulation. For the use case of transient exhaust gas re-circulation control for an internal combustion engine, use of a computationally cheap Model-in-the-Loop (MiL) simulation is made to select a suitable algorithm, fine-tune hyperparameters, and finally train candidate agents for the transfer. These pre-trained RL agents are then fine-tuned in a Hardware-in-the-Loop (HiL) system via TL. The transfer revealed the need for adjusting the reward parameters when advancing to real hardware. Further, the comparison between a purely HiL-trained and a transferred agent showed a reduction of training time by a factor of 5.9. The results emphasize the necessity to train RL agents with real hardware, and demonstrate that the maturity of the transferred policies affects both training time and performance, highlighting the strong synergies between TL and XiL simulation.
△ Less
Submitted 25 October, 2023;
originally announced October 2023.
-
Quantum control of ro-vibrational dynamics and application to light-induced molecular chirality
Authors:
Monika Leibscher,
Eugenio Pozzoli,
Alexander Blech,
Mario Sigalotti,
Ugo Boscain,
Christiane P. Koch
Abstract:
Achiral molecules can be made temporarily chiral by excitation with electric fields, in the sense that an average over molecular orientations displays a net chiral signal [Tikhonov et al., Sci. Adv. 8, eade0311 (2022)]. Here, we go beyond the assumption of molecular orientations to remain fixed during the excitation process. Treating both rotations and vibrations quantum mechanically, we identify…
▽ More
Achiral molecules can be made temporarily chiral by excitation with electric fields, in the sense that an average over molecular orientations displays a net chiral signal [Tikhonov et al., Sci. Adv. 8, eade0311 (2022)]. Here, we go beyond the assumption of molecular orientations to remain fixed during the excitation process. Treating both rotations and vibrations quantum mechanically, we identify conditions for the creation of chiral vibrational wavepackets -- with net chiral signals -- in ensembles of achiral molecules which are initially randomly oriented. Based on the analysis of symmetry and controllability, we derive excitation schemes for the creation of chiral wavepackets using a combination of (a) microwave and IR pulses and (b) a static field and a sequence of IR pulses. These protocols leverage quantum rotational dynamics for pump-probe spectroscopy of chiral vibrational dynamics, extending the latter to regions of the electromagnetic spectrum other than the UV.
△ Less
Submitted 17 October, 2023;
originally announced October 2023.
-
Introducing a Deep Neural Network-based Model Predictive Control Framework for Rapid Controller Implementation
Authors:
David C. Gordon,
Alexander Winkler,
Julian Bedei,
Patrick Schaber,
Jakob Andert,
Charles R. Koch
Abstract:
Model Predictive Control (MPC) provides an optimal control solution based on a cost function while allowing for the implementation of process constraints. As a model-based optimal control technique, the performance of MPC strongly depends on the model used where a trade-off between model computation time and prediction performance exists. One solution is the integration of MPC with a machine learn…
▽ More
Model Predictive Control (MPC) provides an optimal control solution based on a cost function while allowing for the implementation of process constraints. As a model-based optimal control technique, the performance of MPC strongly depends on the model used where a trade-off between model computation time and prediction performance exists. One solution is the integration of MPC with a machine learning (ML) based process model which are quick to evaluate online. This work presents the experimental implementation of a deep neural network (DNN) based nonlinear MPC for Homogeneous Charge Compression Ignition (HCCI) combustion control. The DNN model consists of a Long Short-Term Memory (LSTM) network surrounded by fully connected layers which was trained using experimental engine data and showed acceptable prediction performance with under 5% error for all outputs. Using this model, the MPC is designed to track the Indicated Mean Effective Pressure (IMEP) and combustion phasing trajectories, while minimizing several parameters. Using the acados software package to enable the real-time implementation of the MPC on an ARM Cortex A72, the optimization calculations are completed within 1.4 ms. The external A72 processor is integrated with the prototyping engine controller using a UDP connection allowing for rapid experimental deployment of the NMPC. The IMEP trajectory following of the developed controller was excellent, with a root-mean-square error of 0.133 bar, in addition to observing process constraints.
△ Less
Submitted 12 October, 2023;
originally announced October 2023.
-
Improving Potential Energy Surfaces Using Experimental Feshbach Resonance Tomography
Authors:
Karl P. Horn,
Luis Itza Vazquez-Salazar,
Christiane P. Koch,
Markus Meuwly
Abstract:
The structure and dynamics of a molecular system is governed by its potential energy surface (PES), representing the total energy as a function of the nuclear coordinates. Obtaining accurate potential energy surfaces is limited by the exponential scaling of Hilbert space, restricting quantitative predictions of experimental observables from first principles to small molecules with just a few elect…
▽ More
The structure and dynamics of a molecular system is governed by its potential energy surface (PES), representing the total energy as a function of the nuclear coordinates. Obtaining accurate potential energy surfaces is limited by the exponential scaling of Hilbert space, restricting quantitative predictions of experimental observables from first principles to small molecules with just a few electrons. Here, we present an explicitly physics-informed approach for improving and assessing the quality of families of PESs by modifying them through linear coordinate transformations based on experimental data. We demonstrate this "morphing" of the PES for the He-H$_{2}^{+}$ complex for reference surfaces at three different levels of quantum chemistry and using recent comprehensive Feshbach resonance(FR) measurements. In all cases, the positions and intensities of peaks in the collision cross-section are improved. We find these observables to be mainly sensitive to the long-range part of the PES.
△ Less
Submitted 28 September, 2023;
originally announced September 2023.
-
Reconstructing Lattice Vibrations of Crystals with Electron Ptychography
Authors:
Anton Gladyshev,
Benedikt Haas,
Tara M. Boland,
Peter Rez,
Christoph T. Koch
Abstract:
While capable of imaging the atoms constituting thin slabs of material, the achievable resolution of conventional electron imaging techniques in a transmission electron microscope (TEM) is very sensitive to the partial spatial coherence of the electron source, lens aberrations and mechanical instabilities of the microscope. The desire to break free from the limitations of the apparatus spurred the…
▽ More
While capable of imaging the atoms constituting thin slabs of material, the achievable resolution of conventional electron imaging techniques in a transmission electron microscope (TEM) is very sensitive to the partial spatial coherence of the electron source, lens aberrations and mechanical instabilities of the microscope. The desire to break free from the limitations of the apparatus spurred the popularity of ptychography, a computational phase retrieval technique that, to some extent, can compensate for the imperfections of the equipment. Recently it was shown that ptychography is capable of resolving specimen features as fine as the blurring due to the vibrations of atoms, a limit defined not by the microscope, but by the investigated sample itself. Here we report on the successful application of a mixed-object formalism in the ptychographic reconstruction that enables the resolution of fluctuations in atomic positions within real space. We show a reconstruction of a symmetric Σ9 grain boundary in silicon from realistically (molecular dynamics) simulated data. By reconstructing the object as an ensemble of 10 different states we were able to observe movements of atoms in the range of 0.1-0.2 Åin agreement with the expectation. This is a significant step forward in the field of electron ptychography, as it enables the study of dynamic systems with unprecedented precision and overcomes the resolution limit so far considered to be imposed by the thermal motion of the atoms.
△ Less
Submitted 21 September, 2023;
originally announced September 2023.
-
Charge-Trapping-Induced Compensation of the Ferroelectric Polarization in FTJs: Optimal Conditions for a Synaptic Device Operation
Authors:
R. Fontanini,
M. Segatto,
K. S. Nair,
M. Holzer,
F. Driussi,
I. Häusler,
C. T. Koch,
C. Dubourdieu,
V. Deshpande,
D. Esseni
Abstract:
In this work, we present a clear evidence, based on numerical simulations and experiments, that the polarization compensation due to trapped charge strongly influences the ON/ OFF ratio in Hf 0.5 Zr 0.5 O 2 (HZO)-based ferroelectric tunnel junctions (FTJs). Furthermore, we identify and explain compensation conditions that enable an optimal operation of FTJs. Our results provide both key physical i…
▽ More
In this work, we present a clear evidence, based on numerical simulations and experiments, that the polarization compensation due to trapped charge strongly influences the ON/ OFF ratio in Hf 0.5 Zr 0.5 O 2 (HZO)-based ferroelectric tunnel junctions (FTJs). Furthermore, we identify and explain compensation conditions that enable an optimal operation of FTJs. Our results provide both key physical insights and design guidelines for the operation of FTJs as multilevel synaptic devices.
△ Less
Submitted 4 September, 2023;
originally announced September 2023.
-
Determining the ability for universal quantum computing: Testing controllability via dimensional expressivity
Authors:
Fernando Gago-Encinas,
Tobias Hartung,
Daniel M. Reich,
Karl Jansen,
Christiane P. Koch
Abstract:
Operator controllability refers to the ability to implement an arbitrary unitary in SU(N) and is a prerequisite for universal quantum computing. Controllability tests can be used in the design of quantum devices to reduce the number of external controls. Their practical use is hampered, however, by the exponential scaling of their numerical effort with the number of qubits. Here, we devise a hybri…
▽ More
Operator controllability refers to the ability to implement an arbitrary unitary in SU(N) and is a prerequisite for universal quantum computing. Controllability tests can be used in the design of quantum devices to reduce the number of external controls. Their practical use is hampered, however, by the exponential scaling of their numerical effort with the number of qubits. Here, we devise a hybrid quantum-classical algorithm based on a parametrized quantum circuit. We show that controllability is linked to the number of independent parameters, which can be obtained by dimensional expressivity analysis. We exemplify the application of the algorithm to qubit arrays with nearest-neighbour couplings and local controls. Our work provides a systematic approach to the resource-efficient design of quantum chips.
△ Less
Submitted 15 December, 2023; v1 submitted 1 August, 2023;
originally announced August 2023.
-
Properly Learning Decision Trees with Queries Is NP-Hard
Authors:
Caleb Koch,
Carmen Strassle,
Li-Yang Tan
Abstract:
We prove that it is NP-hard to properly PAC learn decision trees with queries, resolving a longstanding open problem in learning theory (Bshouty 1993; Guijarro-Lavin-Raghavan 1999; Mehta-Raghavan 2002; Feldman 2016). While there has been a long line of work, dating back to (Pitt-Valiant 1988), establishing the hardness of properly learning decision trees from random examples, the more challenging…
▽ More
We prove that it is NP-hard to properly PAC learn decision trees with queries, resolving a longstanding open problem in learning theory (Bshouty 1993; Guijarro-Lavin-Raghavan 1999; Mehta-Raghavan 2002; Feldman 2016). While there has been a long line of work, dating back to (Pitt-Valiant 1988), establishing the hardness of properly learning decision trees from random examples, the more challenging setting of query learners necessitates different techniques and there were no previous lower bounds. En route to our main result, we simplify and strengthen the best known lower bounds for a different problem of Decision Tree Minimization (Zantema-Bodlaender 2000; Sieling 2003).
On a technical level, we introduce the notion of hardness distillation, which we study for decision tree complexity but can be considered for any complexity measure: for a function that requires large decision trees, we give a general method for identifying a small set of inputs that is responsible for its complexity. Our technique even rules out query learners that are allowed constant error. This contrasts with existing lower bounds for the setting of random examples which only hold for inverse-polynomial error.
Our result, taken together with a recent almost-polynomial time query algorithm for properly learning decision trees under the uniform distribution (Blanc-Lange-Qiao-Tan 2022), demonstrates the dramatic impact of distributional assumptions on the problem.
△ Less
Submitted 9 July, 2023;
originally announced July 2023.
-
A Strong Composition Theorem for Junta Complexity and the Boosting of Property Testers
Authors:
Guy Blanc,
Caleb Koch,
Carmen Strassle,
Li-Yang Tan
Abstract:
We prove a strong composition theorem for junta complexity and show how such theorems can be used to generically boost the performance of property testers.
The $\varepsilon$-approximate junta complexity of a function $f$ is the smallest integer $r$ such that $f$ is $\varepsilon$-close to a function that depends only on $r$ variables. A strong composition theorem states that if $f$ has large…
▽ More
We prove a strong composition theorem for junta complexity and show how such theorems can be used to generically boost the performance of property testers.
The $\varepsilon$-approximate junta complexity of a function $f$ is the smallest integer $r$ such that $f$ is $\varepsilon$-close to a function that depends only on $r$ variables. A strong composition theorem states that if $f$ has large $\varepsilon$-approximate junta complexity, then $g \circ f$ has even larger $\varepsilon'$-approximate junta complexity, even for $\varepsilon' \gg \varepsilon$. We develop a fairly complete understanding of this behavior, proving that the junta complexity of $g \circ f$ is characterized by that of $f$ along with the multivariate noise sensitivity of $g$. For the important case of symmetric functions $g$, we relate their multivariate noise sensitivity to the simpler and well-studied case of univariate noise sensitivity.
We then show how strong composition theorems yield boosting algorithms for property testers: with a strong composition theorem for any class of functions, a large-distance tester for that class is immediately upgraded into one for small distances. Combining our contributions yields a booster for junta testers, and with it new implications for junta testing. This is the first boosting-type result in property testing, and we hope that the connection to composition theorems adds compelling motivation to the study of both topics.
△ Less
Submitted 8 July, 2023;
originally announced July 2023.
-
Atomic resolution mapping of localized phonon modes at grain boundaries
Authors:
Benedikt Haas,
Tara M. Boland,
Christian Elsässer,
Arunima K. Singh,
Katia March,
Juri Barthel,
Christoph T. Koch,
Peter Rez
Abstract:
Phonon scattering at grain boundaries (GBs) is significant in controlling nanoscale device thermal conductivity. However, GBs could also act as waveguides for selected modes. To measure localized GB phonon modes, meV energy resolution is needed with sub-nm spatial resolution. Using monochromated electron energy loss spectroscopy (EELS) in the scanning transmission electron microscope (STEM) we hav…
▽ More
Phonon scattering at grain boundaries (GBs) is significant in controlling nanoscale device thermal conductivity. However, GBs could also act as waveguides for selected modes. To measure localized GB phonon modes, meV energy resolution is needed with sub-nm spatial resolution. Using monochromated electron energy loss spectroscopy (EELS) in the scanning transmission electron microscope (STEM) we have mapped the 60 meV optic mode across GBs in silicon at atomic resolution and compared it to calculated phonon densities of states (DOS). The intensity is strongly reduced at GBs characterised by the presence of five- and seven-fold rings where bond angles differ from the bulk. The excellent agreement between theory and experiment strongly supports the existence of localized phonon modes and thus of GBs acting as waveguides.
△ Less
Submitted 15 June, 2023; v1 submitted 9 March, 2023;
originally announced March 2023.
-
Detecting Robustness against MVRC for Transaction Programs with Predicate Reads
Authors:
Brecht Vandevoort,
Bas Ketsman,
Christoph Koch,
Frank Neven
Abstract:
The transactional robustness problem revolves around deciding whether, for a given workload, a lower isolation level than Serializable is sufficient to guarantee serializability. The paper presents a new characterization for robustness against isolation level (multi-version) Read Committed. It supports transaction programs with control structures (loops and conditionals) and inserts, deletes, and…
▽ More
The transactional robustness problem revolves around deciding whether, for a given workload, a lower isolation level than Serializable is sufficient to guarantee serializability. The paper presents a new characterization for robustness against isolation level (multi-version) Read Committed. It supports transaction programs with control structures (loops and conditionals) and inserts, deletes, and predicate reads -- scenarios that trigger the phantom problem, which is known to be hard to analyze in this context. The characterization is graph-theoretic and not unlike previous decision mechanisms known from the concurrency control literature that database researchers and practicians are comfortable with. We show experimentally that our characterization pushes the frontier in allowing to recognize more and more complex workloads as robust than before.
△ Less
Submitted 17 February, 2023;
originally announced February 2023.
-
Sharing Neurophysiology Data from the Allen Brain Observatory: Lessons Learned
Authors:
Saskia E. J. de Vries,
Joshua H. Siegle,
Christof Koch
Abstract:
Making all data for any observation or experiment openly available is a defining feature of empirical science (e.g., nullius in verba, the motto of the Royal Society). It enhances transparency, reproducibility, and societal trust. While embraced in spirit by many, in practice open data sharing remains the exception in contemporary systems neuroscience. Here, we take stock of the Allen Brain Observ…
▽ More
Making all data for any observation or experiment openly available is a defining feature of empirical science (e.g., nullius in verba, the motto of the Royal Society). It enhances transparency, reproducibility, and societal trust. While embraced in spirit by many, in practice open data sharing remains the exception in contemporary systems neuroscience. Here, we take stock of the Allen Brain Observatory, an effort to share data and metadata associated with surveys of neuronal activity in the visual system of laboratory mice. The data from these surveys have been used to produce new discoveries, to validate computational algorithms, and as a benchmark for comparison with other data, resulting in over 100 publications and preprints to date. We distill some of the lessons learned about open surveys and data reuse, including remaining barriers to data sharing and what might be done to address these.
△ Less
Submitted 16 December, 2022;
originally announced December 2022.
-
Graph test of controllability in qubit arrays: A systematic way to determine the minimum number of external controls
Authors:
Fernando Gago-Encinas,
Monika Leibscher,
Christiane P. Koch
Abstract:
The ability to implement any desired quantum logic gate on a quantum processing unit is equivalent to evolution-operator controllability of the qubits. Conversely, controllability analysis can be used to minimize the resources, i.e., the number of external controls and qubit-qubit couplings, required for universal quantum computing. Standard controllability analysis, consisting in the construction…
▽ More
The ability to implement any desired quantum logic gate on a quantum processing unit is equivalent to evolution-operator controllability of the qubits. Conversely, controllability analysis can be used to minimize the resources, i.e., the number of external controls and qubit-qubit couplings, required for universal quantum computing. Standard controllability analysis, consisting in the construction of the dynamical Lie algebra, is, however, impractical already for a comparatively small number of qubits. Here, we show how to leverage an alternative approach, based on a graph representation of the Hamiltonian, to determine controllability of arrays of coupled qubits. We provide a complete computational framework and exemplify it for arrays of five qubits, inspired by the ibmq_quito architecture. We find that the number of controls can be reduced from five to one for complex qubit-qubit couplings and to two for standard qubit-qubit couplings.
△ Less
Submitted 9 December, 2022;
originally announced December 2022.
-
Tomography of Feshbach Resonance States
Authors:
Baruch Margulis,
Karl P. Horn,
Daniel M. Reich,
Meenu Upadhyay,
Nitzan Kahn,
Arthur Christianen,
Ad van der Avoird,
Gerrit C. Groenenboom,
Markus Meuwly,
Christiane P. Koch,
Edvardas Narevicius
Abstract:
Feshbach resonances are fundamental to interparticle interactions and become particularly important in cold collisions with atoms, ions, and molecules. Here we present the detection of Feshbach resonances in a benchmark system for strongly interacting and highly anisotropic collisions -- molecular hydrogen ions colliding with noble gas atoms. The collisions are launched by cold Penning ionization…
▽ More
Feshbach resonances are fundamental to interparticle interactions and become particularly important in cold collisions with atoms, ions, and molecules. Here we present the detection of Feshbach resonances in a benchmark system for strongly interacting and highly anisotropic collisions -- molecular hydrogen ions colliding with noble gas atoms. The collisions are launched by cold Penning ionization exclusively populating Feshbach resonances that span both short- and long-range parts of the interaction potential. We resolved all final molecular channels in a tomographic manner using ion-electron coincidence detection. We demonstrate the non-statistical nature of the final state distribution. By performing quantum scattering calculations on ab initio potential energy surfaces, we show that the isolation of the Feshbach resonance pathways reveals their distinctive fingerprints in the collision outcome.
△ Less
Submitted 9 March, 2023; v1 submitted 6 December, 2022;
originally announced December 2022.
-
Lossy Compression of Electron Diffraction Patterns for Ptychography via Change of Basis
Authors:
Anton Gladyshev,
Thomas C. Pekin,
Marcel Schloz,
Benedikt Haas,
Johannes Müller,
Christoph T. Koch
Abstract:
Ptychography is a computational imaging technique that has risen in popularity in the x-ray and electron microscopy communities in the past half decade. One of the reasons for this success is the development of new high performance electron detectors with increased dynamic range and readout speed, both of which are necessary for a successful application of this technique. Despite the advances made…
▽ More
Ptychography is a computational imaging technique that has risen in popularity in the x-ray and electron microscopy communities in the past half decade. One of the reasons for this success is the development of new high performance electron detectors with increased dynamic range and readout speed, both of which are necessary for a successful application of this technique. Despite the advances made in computing power, processing the recorded data remains a challenging task, and the growth in data rate has made the size of the resulting datasets a bottleneck for the whole process. Here we present an investigation into lossy compression methods for electron diffraction patterns that retain the necessary information for ptychographic reconstructions, yet lead to a decrease in data set size by three or four orders of magnitude. We apply several compression methods to both simulated and experimental data - all with promising results.
△ Less
Submitted 23 September, 2023; v1 submitted 14 November, 2022;
originally announced November 2022.
-
Certification with an NP Oracle
Authors:
Guy Blanc,
Caleb Koch,
Jane Lange,
Carmen Strassle,
Li-Yang Tan
Abstract:
In the certification problem, the algorithm is given a function $f$ with certificate complexity $k$ and an input $x^\star$, and the goal is to find a certificate of size $\le \text{poly}(k)$ for $f$'s value at $x^\star$. This problem is in $\mathsf{NP}^{\mathsf{NP}}$, and assuming $\mathsf{P} \ne \mathsf{NP}$, is not in $\mathsf{P}$. Prior works, dating back to Valiant in 1984, have therefore soug…
▽ More
In the certification problem, the algorithm is given a function $f$ with certificate complexity $k$ and an input $x^\star$, and the goal is to find a certificate of size $\le \text{poly}(k)$ for $f$'s value at $x^\star$. This problem is in $\mathsf{NP}^{\mathsf{NP}}$, and assuming $\mathsf{P} \ne \mathsf{NP}$, is not in $\mathsf{P}$. Prior works, dating back to Valiant in 1984, have therefore sought to design efficient algorithms by imposing assumptions on $f$ such as monotonicity.
Our first result is a $\mathsf{BPP}^{\mathsf{NP}}$ algorithm for the general problem. The key ingredient is a new notion of the balanced influence of variables, a natural variant of influence that corrects for the bias of the function. Balanced influences can be accurately estimated via uniform generation, and classic $\mathsf{BPP}^{\mathsf{NP}}$ algorithms are known for the latter task.
We then consider certification with stricter instance-wise guarantees: for each $x^\star$, find a certificate whose size scales with that of the smallest certificate for $x^\star$. In sharp contrast with our first result, we show that this problem is $\mathsf{NP}^{\mathsf{NP}}$-hard even to approximate. We obtain an optimal inapproximability ratio, adding to a small handful of problems in the higher levels of the polynomial hierarchy for which optimal inapproximability is known. Our proof involves the novel use of bit-fixing dispersers for gap amplification.
△ Less
Submitted 4 November, 2022;
originally announced November 2022.
-
Superpolynomial Lower Bounds for Decision Tree Learning and Testing
Authors:
Caleb Koch,
Carmen Strassle,
Li-Yang Tan
Abstract:
We establish new hardness results for decision tree optimization problems, adding to a line of work that dates back to Hyafil and Rivest in 1976. We prove, under randomized ETH, superpolynomial lower bounds for two basic problems: given an explicit representation of a function $f$ and a generator for a distribution $\mathcal{D}$, construct a small decision tree approximator for $f$ under…
▽ More
We establish new hardness results for decision tree optimization problems, adding to a line of work that dates back to Hyafil and Rivest in 1976. We prove, under randomized ETH, superpolynomial lower bounds for two basic problems: given an explicit representation of a function $f$ and a generator for a distribution $\mathcal{D}$, construct a small decision tree approximator for $f$ under $\mathcal{D}$, and decide if there is a small decision tree approximator for $f$ under $\mathcal{D}$.
Our results imply new lower bounds for distribution-free PAC learning and testing of decision trees, settings in which the algorithm only has restricted access to $f$ and $\mathcal{D}$. Specifically, we show: $n$-variable size-$s$ decision trees cannot be properly PAC learned in time $n^{\tilde{O}(\log\log s)}$, and depth-$d$ decision trees cannot be tested in time $\exp(d^{\,O(1)})$. For learning, the previous best lower bound only ruled out $\text{poly}(n)$-time algorithms (Alekhnovich, Braverman, Feldman, Klivans, and Pitassi, 2009). For testing, recent work gives similar though incomparable bounds in the setting where $f$ is random and $\mathcal{D}$ is nonexplicit (Blais, Ferreira Pinto Jr., and Harms, 2021). Assuming a plausible conjecture on the hardness of Set-Cover, we show our lower bound for learning decision trees can be improved to $n^{Ω(\log s)}$, matching the best known upper bound of $n^{O(\log s)}$ due to Ehrenfeucht and Haussler (1989).
We obtain our results within a unified framework that leverages recent progress in two lines of work: the inapproximability of Set-Cover and XOR lemmas for query complexity. Our framework is versatile and yields results for related concept classes such as juntas and DNF formulas.
△ Less
Submitted 12 October, 2022;
originally announced October 2022.
-
Optimizing for an arbitrary Schrödinger cat state. II. Application in the presence of dissipation
Authors:
Matthias G. Krauss,
Daniel M. Reich,
Christiane P. Koch
Abstract:
We extend here the optimization functional targeting arbitrary cat states, derived in the companion paper, to open quantum system dynamics. Applying it to a Jaynes-Cummings model with decay on the oscillator, we find, for strong dissipation and large cat radii, a change in the control strategy for preparing an entangled cat state. Our results illustrate the versatility of the quantum optimal contr…
▽ More
We extend here the optimization functional targeting arbitrary cat states, derived in the companion paper, to open quantum system dynamics. Applying it to a Jaynes-Cummings model with decay on the oscillator, we find, for strong dissipation and large cat radii, a change in the control strategy for preparing an entangled cat state. Our results illustrate the versatility of the quantum optimal control toolbox for practical applications in the quantum technologies.
△ Less
Submitted 29 June, 2023; v1 submitted 29 September, 2022;
originally announced September 2022.
-
Optimizing for an arbitrary Schrödinger cat state
Authors:
Matthias G. Krauss,
Christiane P. Koch,
Daniel M. Reich
Abstract:
We derive a set of functionals for optimization towards an arbitrary cat state and demonstrate their application by optimizing the dynamics of a Kerr-nonlinear Hamiltonian with two-photon driving. The versatility of our framework allows us to adapt our functional towards optimization of maximally entangled cat states, applying it to a Jaynes-Cummings model. We identify the strategy of the obtained…
▽ More
We derive a set of functionals for optimization towards an arbitrary cat state and demonstrate their application by optimizing the dynamics of a Kerr-nonlinear Hamiltonian with two-photon driving. The versatility of our framework allows us to adapt our functional towards optimization of maximally entangled cat states, applying it to a Jaynes-Cummings model. We identify the strategy of the obtained control fields and determine the quantum speed limit as a function of the cat state's excitation. Finally, we extend our optimization functionals to open quantum system dynamics and apply it to the Jaynes-Cummings model with decay on the oscillator. For strong dissipation and large cat radii, we find a change in the control strategy compared to the case without dissipation. Our results highlight the power of optimal control with functionals specifically crafted for complex physical tasks and the versatility of the quantum optimal control toolbox for practical applications in the quantum technologies.
△ Less
Submitted 29 June, 2023; v1 submitted 29 September, 2022;
originally announced September 2022.
-
Rational pulse design for enantiomer-selective microwave three-wave mixing
Authors:
Monika Leibscher,
Jonas Kalveram,
Christiane P. Koch
Abstract:
Microwave three-wave mixing allows for enantiomer-selective excitation of randomly oriented chiral molecules into rotational states with different energy. The random orientation of molecules is reflected in the degeneracy of the rotational spectrum with respect to the orientational quantum number $M$ and reduces, if not accounted for, enantiomer-selectivity. Here, we show how to design pulse seque…
▽ More
Microwave three-wave mixing allows for enantiomer-selective excitation of randomly oriented chiral molecules into rotational states with different energy. The random orientation of molecules is reflected in the degeneracy of the rotational spectrum with respect to the orientational quantum number $M$ and reduces, if not accounted for, enantiomer-selectivity. Here, we show how to design pulse sequences with maximal enantiomer-selectivity from an analysis of the $M$-dependence of the Rabi frequencies associated with rotational transitions induced by resonant microwave drives. We compare different excitations schemes for rotational transitions and show that maximal enantiomer-selectivity at a given rotational temperature is achieved for synchronized three-wave mixing with circularly polarized fields.
△ Less
Submitted 29 July, 2022;
originally announced August 2022.
-
A Query-Optimal Algorithm for Finding Counterfactuals
Authors:
Guy Blanc,
Caleb Koch,
Jane Lange,
Li-Yang Tan
Abstract:
We design an algorithm for finding counterfactuals with strong theoretical guarantees on its performance. For any monotone model $f : X^d \to \{0,1\}$ and instance $x^\star$, our algorithm makes \[ {S(f)^{O(Δ_f(x^\star))}\cdot \log d}\] queries to $f$ and returns {an {\sl optimal}} counterfactual for $x^\star$: a nearest instance $x'$ to $x^\star$ for which $f(x')\ne f(x^\star)$. Here $S(f)$ is th…
▽ More
We design an algorithm for finding counterfactuals with strong theoretical guarantees on its performance. For any monotone model $f : X^d \to \{0,1\}$ and instance $x^\star$, our algorithm makes \[ {S(f)^{O(Δ_f(x^\star))}\cdot \log d}\] queries to $f$ and returns {an {\sl optimal}} counterfactual for $x^\star$: a nearest instance $x'$ to $x^\star$ for which $f(x')\ne f(x^\star)$. Here $S(f)$ is the sensitivity of $f$, a discrete analogue of the Lipschitz constant, and $Δ_f(x^\star)$ is the distance from $x^\star$ to its nearest counterfactuals. The previous best known query complexity was $d^{\,O(Δ_f(x^\star))}$, achievable by brute-force local search. We further prove a lower bound of $S(f)^{Ω(Δ_f(x^\star))} + Ω(\log d)$ on the query complexity of any algorithm, thereby showing that the guarantees of our algorithm are essentially optimal.
△ Less
Submitted 14 July, 2022;
originally announced July 2022.
-
Only what exists can cause: An intrinsic view of free will
Authors:
Giulio Tononi,
Larissa Albantakis,
Melanie Boly,
Chiara Cirelli,
Christof Koch
Abstract:
This essay addresses the implications of integrated information theory (IIT) for free will. IIT is a theory of what consciousness is and what it takes to have it. According to IIT, the presence of consciousness is accounted for by a maximum of cause-effect power in the brain. Moreover, the way specific experiences feel is accounted for by how that cause-effect power is structured. If IIT is right,…
▽ More
This essay addresses the implications of integrated information theory (IIT) for free will. IIT is a theory of what consciousness is and what it takes to have it. According to IIT, the presence of consciousness is accounted for by a maximum of cause-effect power in the brain. Moreover, the way specific experiences feel is accounted for by how that cause-effect power is structured. If IIT is right, we do have free will in the fundamental sense: we have true alternatives, we make true decisions, and we - not our neurons or atoms - are the true cause of our willed actions and bear true responsibility for them. IIT's argument for true free will hinges on the proper understanding of consciousness as true existence, as captured by its intrinsic powers ontology: what truly exists, in physical terms, are intrinsic entities, and only what truly exists can cause.
△ Less
Submitted 31 March, 2023; v1 submitted 4 June, 2022;
originally announced June 2022.
-
Shared Metadata for Data-Centric Materials Science
Authors:
Luca M. Ghiringhelli,
Carsten Baldauf,
Tristan Bereau,
Sandor Brockhauser,
Christian Carbogno,
Javad Chamanara,
Stefano Cozzini,
Stefano Curtarolo,
Claudia Draxl,
Shyam Dwaraknath,
Ádám Fekete,
James Kermode,
Christoph T. Koch,
Markus Kühbach,
Alvin Noe Ladines,
Patrick Lambrix,
Maja-Olivia Lenz-Himmer,
Sergey Levchenko,
Micael Oliveira,
Adam Michalchuk,
Ron Miller,
Berk Onat,
Pasquale Pavone,
Giovanni Pizzi,
Benjamin Regler
, et al. (10 additional authors not shown)
Abstract:
The expansive production of data in materials science, their widespread sharing and repurposing requires educated support and stewardship. In order to ensure that this need helps rather than hinders scientific work, the implementation of the FAIR-data principles (Findable, Accessible, Interoperable, and Reusable) must not be too narrow. Besides, the wider materials-science community ought to agree…
▽ More
The expansive production of data in materials science, their widespread sharing and repurposing requires educated support and stewardship. In order to ensure that this need helps rather than hinders scientific work, the implementation of the FAIR-data principles (Findable, Accessible, Interoperable, and Reusable) must not be too narrow. Besides, the wider materials-science community ought to agree on the strategies to tackle the challenges that are specific to its data, both from computations and experiments. In this paper, we present the result of the discussions held at the workshop on "Shared Metadata and Data Formats for Big-Data Driven Materials Science". We start from an operative definition of metadata, and what features a FAIR-compliant metadata schema should have. We will mainly focus on computational materials-science data and propose a constructive approach for the FAIRification of the (meta)data related to ground-state and excited-states calculations, potential-energy sampling, and generalized workflows. Finally, challenges with the FAIRification of experimental (meta)data and materials-science ontologies are presented together with an outlook of how to meet them.
△ Less
Submitted 23 August, 2023; v1 submitted 29 May, 2022;
originally announced May 2022.
-
Quantum optimal control in quantum technologies. Strategic report on current status, visions and goals for research in Europe
Authors:
Christiane P. Koch,
Ugo Boscain,
Tommaso Calarco,
Gunther Dirr,
Stefan Filipp,
Steffen J. Glaser,
Ronnie Kosloff,
Simone Montangero,
Thomas Schulte-Herbrüggen,
Dominique Sugny,
Frank K. Wilhelm
Abstract:
Quantum optimal control, a toolbox for devising and implementing the shapes of external fields that accomplish given tasks in the operation of a quantum device in the best way possible, has evolved into one of the cornerstones for enabling quantum technologies. The last few years have seen a rapid evolution and expansion of the field. We review here recent progress in our understanding of the cont…
▽ More
Quantum optimal control, a toolbox for devising and implementing the shapes of external fields that accomplish given tasks in the operation of a quantum device in the best way possible, has evolved into one of the cornerstones for enabling quantum technologies. The last few years have seen a rapid evolution and expansion of the field. We review here recent progress in our understanding of the controllability of open quantum systems and in the development and application of quantum control techniques to quantum technologies. We also address key challenges and sketch a roadmap for future developments.
△ Less
Submitted 24 May, 2022;
originally announced May 2022.
-
Rydberg atom-enabled spectroscopy of polar molecules via Förster resonance energy transfer
Authors:
Sabrina Patsch,
Martin Zeppenfeld,
Christiane P. Koch
Abstract:
Non-radiative energy transfer between a Rydberg atom and a polar molecule can be controlled by a DC electric field. Here we show how to exploit this control for state-resolved, non-destructive detection and spectroscopy of the molecules where the lineshape reflects the type of molecular transition. Using the example of ammonia, we identify the conditions for collision-mediated spectroscopy in term…
▽ More
Non-radiative energy transfer between a Rydberg atom and a polar molecule can be controlled by a DC electric field. Here we show how to exploit this control for state-resolved, non-destructive detection and spectroscopy of the molecules where the lineshape reflects the type of molecular transition. Using the example of ammonia, we identify the conditions for collision-mediated spectroscopy in terms of the required electric field strengths, relative velocities, and molecular densities. Rydberg atom-enabled spectroscopy is feasible with current experimental technology, providing a versatile detection method as basic building block for applications of polar molecules in quantum technologies and chemical reaction studies.
△ Less
Submitted 9 May, 2022;
originally announced May 2022.
-
Optimal control for Hamiltonian parameter estimation in non-commuting and bipartite quantum dynamics
Authors:
Shushen Qin,
Marcus Cramer,
Christiane P. Koch,
Alessio Serafini
Abstract:
The ability to characterise a Hamiltonian with high precision is crucial for the implementation of quantum technologies. In addition to the well-developed approaches utilising optimal probe states and optimal measurements, the method of optimal control can be used to identify time-dependent pulses applied to the system to achieve higher precision in the estimation of Hamiltonian parameters, especi…
▽ More
The ability to characterise a Hamiltonian with high precision is crucial for the implementation of quantum technologies. In addition to the well-developed approaches utilising optimal probe states and optimal measurements, the method of optimal control can be used to identify time-dependent pulses applied to the system to achieve higher precision in the estimation of Hamiltonian parameters, especially in the presence of noise. Here, we extend optimally controlled estimation schemes for single qubits to non-commuting dynamics as well as two interacting qubits, demonstrating improvements in terms of maximal precision, time-stability, as well as robustness over uncontrolled protocols.
△ Less
Submitted 4 August, 2022; v1 submitted 5 May, 2022;
originally announced May 2022.
-
FAIR data enabling new horizons for materials research
Authors:
Matthias Scheffler,
Martin Aeschlimann,
Martin Albrecht,
Tristan Bereau,
Hans-Joachim Bungartz,
Claudia Felser,
Mark Greiner,
Axel Groß,
Christoph T. Koch,
Kurt Kremer,
Wolfgang E. Nagel,
Markus Scheidgen,
Christof Wöll,
Claudia Draxl
Abstract:
The prosperity and lifestyle of our society are very much governed by achievements in condensed matter physics, chemistry and materials science, because new products for sectors such as energy, the environment, health, mobility and information technology (IT) rely largely on improved or even new materials. Examples include solid-state lighting, touchscreens, batteries, implants, drug delivery and…
▽ More
The prosperity and lifestyle of our society are very much governed by achievements in condensed matter physics, chemistry and materials science, because new products for sectors such as energy, the environment, health, mobility and information technology (IT) rely largely on improved or even new materials. Examples include solid-state lighting, touchscreens, batteries, implants, drug delivery and many more. The enormous amount of research data produced every day in these fields represents a gold mine of the twenty-first century. This gold mine is, however, of little value if these data are not comprehensively characterized and made available. How can we refine this feedstock; that is, turn data into knowledge and value? For this, a FAIR (findable, accessible, interoperable and reusable) data infrastructure is a must. Only then can data be readily shared and explored using data analytics and artificial intelligence (AI) methods. Making data 'findable and AI ready' (a forward-looking interpretation of the acronym) will change the way in which science is carried out today. In this Perspective, we discuss how we can prepare to make this happen for the field of materials science.
△ Less
Submitted 27 April, 2022;
originally announced April 2022.
-
Machine Learning Integrated with Model Predictive Control for Imitative Optimal Control of Compression Ignition Engines
Authors:
Armin Norouzi,
Saeid Shahpouri,
David Gordon,
Alexander Winkler,
Eugen Nuss,
Dirk Abel,
Jakob Andert,
Mahdi Shahbakhti,
Charles Robert Koch
Abstract:
The high thermal efficiency and reliability of the compression-ignition engine makes it the first choice for many applications. For this to continue, a reduction of the pollutant emissions is needed. One solution is the use of machine learning (ML) and model predictive control (MPC) to minimize emissions and fuel consumption, without adding substantial computational cost to the engine controller.…
▽ More
The high thermal efficiency and reliability of the compression-ignition engine makes it the first choice for many applications. For this to continue, a reduction of the pollutant emissions is needed. One solution is the use of machine learning (ML) and model predictive control (MPC) to minimize emissions and fuel consumption, without adding substantial computational cost to the engine controller. ML is developed in this paper for both modeling engine performance and emissions and for imitating the behaviour of an Linear Parameter Varying (LPV) MPC. Using a support vector machine-based linear parameter varying model of the engine performance and emissions, a model predictive controller is implemented for a 4.5 Cummins diesel engine. This online optimized MPC solution offers advantages in minimizing the \nox~emissions and fuel consumption compared to the baseline feedforward production controller. To reduce the computational cost of this MPC, a deep learning scheme is designed to mimic the behavior of the developed controller. The performance in reducing NOx emissions at a constant load by the imitative controller is similar to that of the online optimized MPC compared to the Cummins production controller. In addition, the imitative controller requires 50 times less computation time compared to that of the online MPC optimization.
△ Less
Submitted 2 August, 2022; v1 submitted 31 March, 2022;
originally announced April 2022.
-
Deep Learning based Model Predictive Control for Compression Ignition Engines
Authors:
Armin Norouzi,
Saeid Shahpouri,
David Gordon,
Alexander Winkler,
Eugen Nuss,
Dirk Abel,
Jakob Andert,
Mahdi Shahbakhti,
Charles Robert Koch
Abstract:
Machine learning (ML) and a nonlinear model predictive controller (NMPC) are used in this paper to minimize the emissions and fuel consumption of a compression ignition engine. In this work machine learning is applied in two methods. In the first application, ML is used to identify a model for implementation in model predictive control optimization problems. In the second application, ML is used a…
▽ More
Machine learning (ML) and a nonlinear model predictive controller (NMPC) are used in this paper to minimize the emissions and fuel consumption of a compression ignition engine. In this work machine learning is applied in two methods. In the first application, ML is used to identify a model for implementation in model predictive control optimization problems. In the second application, ML is used as a replacement of the NMPC where the ML controller learns the optimal control action by imitating or mimicking the behavior of the model predictive controller. In this study, a deep recurrent neural network including long-short term memory (LSTM) layers are used to model the emissions and performance of an industrial 4.5 liter 4-cylinder Cummins diesel engine. This model is then used for model predictive controller implementation. Then, a deep learning scheme is deployed to clone the behavior of the developed controller. In the LSTM integration, a novel scheme is used by augmenting hidden and cell states of the network in an NMPC optimization problem. The developed LSTM-NMPC and the imitative NMPC are compared with the Cummins calibrated Engine Control Unit (ECU) model in an experimentally validated engine simulation platform. Results show a significant reduction in Nitrogen Oxides (\nox) emissions and a slight decrease in the injected fuel quantity while maintaining the same load. In addition, the imitative NMPC has a similar performance as the NMPC but with a two orders of magnitude reduction of the computation time.
△ Less
Submitted 4 August, 2022; v1 submitted 31 March, 2022;
originally announced April 2022.
-
Deep Reinforcement Learning for Data-Driven Adaptive Scanning in Ptychography
Authors:
Marcel Schloz,
Johannes Müller,
Thomas C. Pekin,
Wouter Van den Broek,
Christoph T. Koch
Abstract:
We present a method that lowers the dose required for a ptychographic reconstruction by adaptively scanning the specimen, thereby providing the required spatial information redundancy in the regions of highest importance. The proposed method is built upon a deep learning model that is trained by reinforcement learning (RL), using prior knowledge of the specimen structure from training data sets. W…
▽ More
We present a method that lowers the dose required for a ptychographic reconstruction by adaptively scanning the specimen, thereby providing the required spatial information redundancy in the regions of highest importance. The proposed method is built upon a deep learning model that is trained by reinforcement learning (RL), using prior knowledge of the specimen structure from training data sets. We show that equivalent low-dose experiments using adaptive scanning outperform conventional ptychography experiments in terms of reconstruction resolution.
△ Less
Submitted 29 March, 2022;
originally announced March 2022.
-
Hybrid Parallelization of Euler-Lagrange Simulations Based on MPI-3 Shared Memory
Authors:
Patrick Kopper,
Stephen Copplestone,
Marcel Pfeiffer,
Christian Koch,
Stefanos Fasoulas,
Andrea Beck
Abstract:
The use of Euler-Lagrange methods on unstructured grids extends their application area to more versatile setups. However, the lack of a regular topology limits the scalability of distributed parallel methods, especially for routines that perform a physical search in space. One of the most prominent slowdowns is the search for halo elements in physical space for the purpose of runtime communication…
▽ More
The use of Euler-Lagrange methods on unstructured grids extends their application area to more versatile setups. However, the lack of a regular topology limits the scalability of distributed parallel methods, especially for routines that perform a physical search in space. One of the most prominent slowdowns is the search for halo elements in physical space for the purpose of runtime communication avoidance. In this work, we present a new communication-free halo element search algorithm utilizing the MPI-3 shared memory model. This novel method eliminates the severe performance bottleneck of many-to-many communication during initialization compared to the distributed parallelization approach and extends the possible applications beyond those achievable with the previous approach. Building on these data structures, we then present methods for efficient particle emission, scalable deposition schemes for particle-field coupling, and latency hiding approaches. The scaling performance of the proposed algorithms is validated through plasma dynamics simulations of an open-source framework on a massively parallel system, demonstrating an efficiency of up to 80% on 131000 cores.
△ Less
Submitted 25 March, 2022;
originally announced March 2022.
-
Which programming languages do hackers use? A survey at the German Chaos Computer Club
Authors:
Christian Koch,
Katharina Müller,
Eldar Sultanow
Abstract:
There are numerous articles about the programming languages most commonly used by hackers. Among them, however, there are hardly any scientific studies. One reason might be that hackers mainly operate anonymously and are difficult to reach. This paper aims to shed light on this interesting and relevant research question. In order to find answers, we conducted a survey among the members of the Germ…
▽ More
There are numerous articles about the programming languages most commonly used by hackers. Among them, however, there are hardly any scientific studies. One reason might be that hackers mainly operate anonymously and are difficult to reach. This paper aims to shed light on this interesting and relevant research question. In order to find answers, we conducted a survey among the members of the German Chaos Computer Club. As one of the world's largest organisations for information security and hacking, the club provides a good basis for our study. We examine the question of which programming languages are used by hackers as well as the importance of the programming language for their work. The paper offers first insights into the topic and can provide a starting point for further research.
△ Less
Submitted 23 March, 2022;
originally announced March 2022.
-
Increasing ion yield circular dichroism in femtosecond photoionisation using optimal control theory
Authors:
Manel Mondelo-Martell,
Daniel Basilewitsch,
Hendrike Braun,
Christiane P. Koch,
Daniel M. Reich
Abstract:
We investigate how optimal control theory can be used to improve Circular Dichroism (CD) signals for A--band of fenchone measured via the photoionization yield upon further excitation. These transitions are electric dipole forbidden to first order, which translates into low population transfer to the excited state (~8%) but also allows for a clearer interplay between electric and magnetic transiti…
▽ More
We investigate how optimal control theory can be used to improve Circular Dichroism (CD) signals for A--band of fenchone measured via the photoionization yield upon further excitation. These transitions are electric dipole forbidden to first order, which translates into low population transfer to the excited state (~8%) but also allows for a clearer interplay between electric and magnetic transition dipole moments, which are of the same order of magnitude. Using a model including the electronic ground and excited A state as well as all permanent and transition multipole moments up to the electric quadrupole, we find that the absolute CD signal of randomly oriented molecules can be increased by a factor 3.5 when using shaped laser pulses, with the anisotropy parameter g increasing from 0.06 to 1. Our insights provide additional evidence on how optimal control can assist in amplifying chiral signatures via interactions of permanent and transition multipole moments.
△ Less
Submitted 18 February, 2022;
originally announced February 2022.
-
A Matheuristic Approach for Solving a Simultaneous Lot Sizing and Scheduling Problem with Client Prioritization in Tire Industry
Authors:
Cyril Koch,
Taha Arbaoui,
Yassine Ouazene,
Farouk Yalaoui,
Humbert De Brunier,
Nicolas Jaunet,
Antoine De Wulf
Abstract:
This paper introduces an integrated lot sizing and scheduling problem inspired from a real-world application in off-the-road tire industry. This problem considers the assignment of different items on parallel machines with complex eligibility constraints within a finite planning horizon. It also considers a large panel of specific constraints such as: backordering, a limited number of setups, upst…
▽ More
This paper introduces an integrated lot sizing and scheduling problem inspired from a real-world application in off-the-road tire industry. This problem considers the assignment of different items on parallel machines with complex eligibility constraints within a finite planning horizon. It also considers a large panel of specific constraints such as: backordering, a limited number of setups, upstream resources saturation and customers prioritization. A novel mixed integer formulation is proposed with the objective of optimizing different normalized criteria related to the inventory and service level performance. Based on this mathematical formulation, a problem-based matheuristic method that solves the lot sizing and assignment problems separately is proposed to solve the industrial case. A computational study and sensitivity analysis are carried out based on real-world data with up to 170 products, 70 unrelated parallel machines and 42 periods. The obtained results show the effectiveness of the proposed approach on improving the company's solution. Indeed, the two most important KPIs for the management have been optimized of respectively 32% for the backorders and 13% for the overstock. Moreover, the computational time have been reduced significantly.
△ Less
Submitted 21 January, 2022;
originally announced January 2022.
-
The Query Complexity of Certification
Authors:
Guy Blanc,
Caleb Koch,
Jane Lange,
Li-Yang Tan
Abstract:
We study the problem of {\sl certification}: given queries to a function $f : \{0,1\}^n \to \{0,1\}$ with certificate complexity $\le k$ and an input $x^\star$, output a size-$k$ certificate for $f$'s value on $x^\star$. This abstractly models a central problem in explainable machine learning, where we think of $f$ as a blackbox model that we seek to explain the predictions of.
For monotone func…
▽ More
We study the problem of {\sl certification}: given queries to a function $f : \{0,1\}^n \to \{0,1\}$ with certificate complexity $\le k$ and an input $x^\star$, output a size-$k$ certificate for $f$'s value on $x^\star$. This abstractly models a central problem in explainable machine learning, where we think of $f$ as a blackbox model that we seek to explain the predictions of.
For monotone functions, a classic local search algorithm of Angluin accomplishes this task with $n$ queries, which we show is optimal for local search algorithms. Our main result is a new algorithm for certifying monotone functions with $O(k^8 \log n)$ queries, which comes close to matching the information-theoretic lower bound of $Ω(k \log n)$. The design and analysis of our algorithm are based on a new connection to threshold phenomena in monotone functions.
We further prove exponential-in-$k$ lower bounds when $f$ is non-monotone, and when $f$ is monotone but the algorithm is only given random examples of $f$. These lower bounds show that assumptions on the structure of $f$ and query access to it are both necessary for the polynomial dependence on $k$ that we achieve.
△ Less
Submitted 6 April, 2022; v1 submitted 19 January, 2022;
originally announced January 2022.
-
Robustness against Read Committed for Transaction Templates with Functional Constraints
Authors:
Brecht Vandevoort,
Bas Ketsman,
Christoph Koch,
Frank Neven
Abstract:
The popular isolation level Multiversion Read Committed (RC) trades some of the strong guarantees of serializability for increased transaction throughput. Sometimes, transaction workloads can be safely executed under RC obtaining serializability at the lower cost of RC. Such workloads are said to be robust against RC. Previous work has yielded a tractable procedure for deciding robustness against…
▽ More
The popular isolation level Multiversion Read Committed (RC) trades some of the strong guarantees of serializability for increased transaction throughput. Sometimes, transaction workloads can be safely executed under RC obtaining serializability at the lower cost of RC. Such workloads are said to be robust against RC. Previous work has yielded a tractable procedure for deciding robustness against RC for workloads generated by transaction programs modeled as transaction templates. An important insight of that work is that, by more accurately modeling transaction programs, we are able to recognize larger sets of workloads as robust. In this work, we increase the modeling power of transaction templates by extending them with functional constraints, which are useful for capturing data dependencies like foreign keys. We show that the incorporation of functional constraints can identify more workloads as robust that otherwise would not be. Even though we establish that the robustness problem becomes undecidable in its most general form, we show that various restrictions on functional constraints lead to decidable and even tractable fragments that can be used to model and test for robustness against RC for realistic scenarios.
△ Less
Submitted 22 December, 2023; v1 submitted 13 January, 2022;
originally announced January 2022.
-
Engineering Strong Beamsplitter Interaction between Bosonic Modes via Quantum Optimal Control Theory
Authors:
Daniel Basilewitsch,
Yaxing Zhang,
S. M. Girvin,
Christiane P. Koch
Abstract:
In continuous-variable quantum computing with qubits encoded in the infinite-dimensional Hilbert space of bosonic modes, it is a difficult task to realize strong and on-demand interactions between the qubits. One option is to engineer a beamsplitter interaction for photons in two superconducting cavities by driving an intermediate superconducting circuit with two continuous-wave drives, as demonst…
▽ More
In continuous-variable quantum computing with qubits encoded in the infinite-dimensional Hilbert space of bosonic modes, it is a difficult task to realize strong and on-demand interactions between the qubits. One option is to engineer a beamsplitter interaction for photons in two superconducting cavities by driving an intermediate superconducting circuit with two continuous-wave drives, as demonstrated in a recent experiment. Here, we show how quantum optimal control theory (OCT) can be used in a systematic way to improve the beamsplitter interaction between the two cavities. We find that replacing the two-tone protocol by a three-tone protocol accelerates the effective beamsplitter rate between the two cavities. The third tone's amplitude and frequency are determined by gradient-free optimization and make use of cavity-transmon sideband couplings. We show how to further improve the three-tone protocol via gradient-based optimization while keeping the optimized drives experimentally feasible. Our work exemplifies how to use OCT to systematically improve practical protocols in quantum information applications.
△ Less
Submitted 20 April, 2022; v1 submitted 30 November, 2021;
originally announced November 2021.
-
Detecting Slag Formations with Deep Convolutional Neural Networks
Authors:
Christian von Koch,
William Anzén,
Max Fischer,
Raazesh Sainudiin
Abstract:
We investigate the ability to detect slag formations in images from inside a Grate-Kiln system furnace with two deep convolutional neural networks. The conditions inside the furnace cause occasional obstructions of the camera view. Our approach suggests dealing with this problem by introducing a convLSTM-layer in the deep convolutional neural network. The results show that it is possible to achiev…
▽ More
We investigate the ability to detect slag formations in images from inside a Grate-Kiln system furnace with two deep convolutional neural networks. The conditions inside the furnace cause occasional obstructions of the camera view. Our approach suggests dealing with this problem by introducing a convLSTM-layer in the deep convolutional neural network. The results show that it is possible to achieve sufficient performance to automate the decision of timely countermeasures in the industrial operational setting. Furthermore, the addition of the convLSTM-layer results in fewer outlying predictions and a lower running variance of the fraction of detected slag in the image time series.
△ Less
Submitted 13 October, 2021;
originally announced October 2021.
-
Lie algebra for rotational subsystems of a driven asymmetric top
Authors:
Eugenio Pozzoli,
Monika Leibscher,
Mario Sigalotti,
Ugo Boscain,
Christiane P. Koch
Abstract:
We present an analytical approach to construct the Lie algebra of finite-dimensional subsystems of the driven asymmetric top rotor. Each rotational level is degenerate due to the isotropy of space, and the degeneracy increases with rotational excitation. For a given rotational excitation, we determine the nested commutators between drift and drive Hamiltonians using a graph representation. We then…
▽ More
We present an analytical approach to construct the Lie algebra of finite-dimensional subsystems of the driven asymmetric top rotor. Each rotational level is degenerate due to the isotropy of space, and the degeneracy increases with rotational excitation. For a given rotational excitation, we determine the nested commutators between drift and drive Hamiltonians using a graph representation. We then generate the Lie algebra for subsystems with arbitrary rotational excitation using an inductive argument.
△ Less
Submitted 7 October, 2021;
originally announced October 2021.