-
First demonstration of a post-quantum key-exchange with a nanosatellite
Authors:
Simon M. Burkhardt,
Ayesha Reezwana,
Tanvirul Islam,
Willi Meier,
Alexander Ling,
Christoph F. Wildfeuer
Abstract:
We demonstrate a post-quantum key-exchange with the nanosatellite SpooQy-1 in low Earth orbit using Kyber-512, a lattice-based key-encapsulation mechanism and a round three finalist in the NIST PQC standardization process. Our firmware solution runs on an on-board computer that is based on the Atmel AVR32 RISC microcontroller, a widely used platform for nanosatellites. We uploaded the new firmware…
▽ More
We demonstrate a post-quantum key-exchange with the nanosatellite SpooQy-1 in low Earth orbit using Kyber-512, a lattice-based key-encapsulation mechanism and a round three finalist in the NIST PQC standardization process. Our firmware solution runs on an on-board computer that is based on the Atmel AVR32 RISC microcontroller, a widely used platform for nanosatellites. We uploaded the new firmware with a 436.2 MHz UHF link using the CubeSat Space Protocol (CSP) and performed the steps of the key exchange in several passes over Switzerland. The shared secret key generated in this experiment could potentially be used to encrypt RF links with AES-256. This implementation demonstrates the feasibility of a quantum-safe authenticated key-exchange and encryption system on SWaP constrained nanosatellites.
△ Less
Submitted 2 June, 2022;
originally announced June 2022.
-
Focusing Knowledge-based Graph Argument Mining via Topic Modeling
Authors:
Patrick Abels,
Zahra Ahmadi,
Sophie Burkhardt,
Benjamin Schiller,
Iryna Gurevych,
Stefan Kramer
Abstract:
Decision-making usually takes five steps: identifying the problem, collecting data, extracting evidence, identifying pro and con arguments, and making decisions. Focusing on extracting evidence, this paper presents a hybrid model that combines latent Dirichlet allocation and word embeddings to obtain external knowledge from structured and unstructured data. We study the task of sentence-level argu…
▽ More
Decision-making usually takes five steps: identifying the problem, collecting data, extracting evidence, identifying pro and con arguments, and making decisions. Focusing on extracting evidence, this paper presents a hybrid model that combines latent Dirichlet allocation and word embeddings to obtain external knowledge from structured and unstructured data. We study the task of sentence-level argument mining, as arguments mostly require some degree of world knowledge to be identified and understood. Given a topic and a sentence, the goal is to classify whether a sentence represents an argument in regard to the topic. We use a topic model to extract topic- and sentence-specific evidence from the structured knowledge base Wikidata, building a graph based on the cosine similarity between the entity word vectors of Wikidata and the vector of the given sentence. Also, we build a second graph based on topic-specific articles found via Google to tackle the general incompleteness of structured knowledge bases. Combining these graphs, we obtain a graph-based model which, as our evaluation shows, successfully capitalizes on both structured and unstructured data.
△ Less
Submitted 3 February, 2021;
originally announced February 2021.
-
Rule Extraction from Binary Neural Networks with Convolutional Rules for Model Validation
Authors:
Sophie Burkhardt,
Jannis Brugger,
Nicolas Wagner,
Zahra Ahmadi,
Kristian Kersting,
Stefan Kramer
Abstract:
Most deep neural networks are considered to be black boxes, meaning their output is hard to interpret. In contrast, logical expressions are considered to be more comprehensible since they use symbols that are semantically close to natural language instead of distributed representations. However, for high-dimensional input data such as images, the individual symbols, i.e. pixels, are not easily int…
▽ More
Most deep neural networks are considered to be black boxes, meaning their output is hard to interpret. In contrast, logical expressions are considered to be more comprehensible since they use symbols that are semantically close to natural language instead of distributed representations. However, for high-dimensional input data such as images, the individual symbols, i.e. pixels, are not easily interpretable. We introduce the concept of first-order convolutional rules, which are logical rules that can be extracted using a convolutional neural network (CNN), and whose complexity depends on the size of the convolutional filter and not on the dimensionality of the input. Our approach is based on rule extraction from binary neural networks with stochastic local search. We show how to extract rules that are not necessarily short, but characteristic of the input, and easy to visualize. Our experiments show that the proposed approach is able to model the functionality of the neural network while at the same time producing interpretable logical rules.
△ Less
Submitted 15 December, 2020;
originally announced December 2020.
-
Symmetry, stability, and computation of degenerate lasing modes
Authors:
David Liu,
Bo Zhen,
Li Ge,
Felipe Hernandez,
Adi Pick,
Stephan Burkhardt,
Matthias Liertzer,
Stefan Rotter,
Steven G. Johnson
Abstract:
We present a general method to obtain the stable lasing solutions for the steady-state ab-initio lasing theory (SALT) for the case of a degenerate symmetric laser in two dimensions (2d). We find that under most regimes (with one pathological exception), the stable solutions are clockwise and counterclockwise circulating modes, generalizing previously known results of ring lasers to all 2d rotation…
▽ More
We present a general method to obtain the stable lasing solutions for the steady-state ab-initio lasing theory (SALT) for the case of a degenerate symmetric laser in two dimensions (2d). We find that under most regimes (with one pathological exception), the stable solutions are clockwise and counterclockwise circulating modes, generalizing previously known results of ring lasers to all 2d rotational symmetry groups. Our method uses a combination of semi-analytical solutions close to lasing threshold and numerical solvers to track the lasing modes far above threshold. Near threshold, we find closed-form expressions for both circulating modes and other types of lasing solutions as well as for their linearized Maxwell--Bloch eigenvalues, providing a simple way to determine their stability without having to do a full nonlinear numerical calculation. Above threshold, we show that a key feature of the circulating mode is its "chiral" intensity pattern, which arises from spontaneous symmetry-breaking of mirror symmetry, and whose symmetry group requires that the degeneracy persists even when nonlinear effects become important. Finally, we introduce a numerical technique to solve the degenerate SALT equations far above threshold even when spatial discretization artificially breaks the degeneracy.
△ Less
Submitted 24 February, 2017; v1 submitted 5 November, 2016;
originally announced November 2016.
-
Steady-state ab-initio laser theory for lasers with fully or nearly degenerate resonator modes
Authors:
Stephan Burkhardt,
Matthias Liertzer,
Dmitry O. Krimer,
Stefan Rotter
Abstract:
We investigate the range of validity of the recently developed steady-state ab-initio laser theory (SALT). While very efficient in describing various microlasers, SALT is conventionally believed not to be applicable to lasers featuring fully or nearly degenerate pairs of resonator modes above the lasing threshold. Here we demonstrate how SALT can indeed be extended to describe such cases as well,…
▽ More
We investigate the range of validity of the recently developed steady-state ab-initio laser theory (SALT). While very efficient in describing various microlasers, SALT is conventionally believed not to be applicable to lasers featuring fully or nearly degenerate pairs of resonator modes above the lasing threshold. Here we demonstrate how SALT can indeed be extended to describe such cases as well, with the effect that we significantly broaden the theory's scope. In particular, we show how to use SALT in conjunction with a linear stability analysis to obtain stable single-mode lasing solutions that involve a degenerate mode pair. Our flexible and efficient approach is tested on one-dimensional ring lasers as well as on two-dimensional microdisk lasers with broken symmetry.
△ Less
Submitted 12 March, 2015;
originally announced March 2015.
-
Landau-Zener transitions in the presence of harmonic noise
Authors:
Matthias Kraft,
Stephan Burkhardt,
Riccardo Mannella,
Sandro Wimberger
Abstract:
We study the influence of off-diagonal harmonic noise on transitions in a Landau-Zener model. We demonstrate that the harmonic noise can change the transition probabilities substantially and that its impact depends strongly on the characteristic frequency of the noise. In the underdamped regime of the noise process, its effect is compared with the one of a deterministic sinusoidally oscillating fu…
▽ More
We study the influence of off-diagonal harmonic noise on transitions in a Landau-Zener model. We demonstrate that the harmonic noise can change the transition probabilities substantially and that its impact depends strongly on the characteristic frequency of the noise. In the underdamped regime of the noise process, its effect is compared with the one of a deterministic sinusoidally oscillating function. While altering the properties of the noise process allows one to engineer the transitions probabilities, driving the system with a deterministic sinusoidal function can result in larger and more controlled changes of the transition probability. This may be relevant for realistic implementations of our model with Bose-Einstein condensates in noise-driven optical lattices.
△ Less
Submitted 7 March, 2013;
originally announced March 2013.
-
Noise assisted transport in the Wannier-Stark system
Authors:
Stephan Burkhardt,
Matthias Kraft,
Riccardo Mannella,
Sandro Wimberger
Abstract:
We investigated how the presence of an additional lattice potential, driven by a harmonic noise process, changes the transition rate from the ground band to the first excited band in a Wannier-Stark system. Alongside numerical simulations, we present two models that capture the essential features of the dynamics. The first model uses a noise-driven Landau-Zener approximation and describes the shor…
▽ More
We investigated how the presence of an additional lattice potential, driven by a harmonic noise process, changes the transition rate from the ground band to the first excited band in a Wannier-Stark system. Alongside numerical simulations, we present two models that capture the essential features of the dynamics. The first model uses a noise-driven Landau-Zener approximation and describes the short time evolution of the full system very well. The second model assumes that the noise process' correlation time is much larger than the internal timescale of the system, yet it allows for good estimates of the observed transition rates and gives a simple interpretation of the dynamics. One of the central results is that we obtain a way to control the interband transitions with the help of the second lattice. This could readily be realized in state-of-the-art experiments using either Bose-Einstein condensates or optical pulses in engineered potentials.
△ Less
Submitted 6 February, 2013;
originally announced February 2013.