-
Listen to the Waves: Using a Neuronal Model of the Human Auditory System to Predict Ocean Waves
Authors:
Artur Matysiak,
Volker Roeber,
Henrik Kalisch,
Reinhard König,
Patrick J. C. May
Abstract:
Artificial neural networks (ANNs) have evolved from the 1940s primitive models of brain function to become tools for artificial intelligence. They comprise many units, artificial neurons, interlinked through weighted connections. ANNs are trained to perform tasks through learning rules that modify the connection weights. With these rules being in the focus of research, ANNs have become a branch of…
▽ More
Artificial neural networks (ANNs) have evolved from the 1940s primitive models of brain function to become tools for artificial intelligence. They comprise many units, artificial neurons, interlinked through weighted connections. ANNs are trained to perform tasks through learning rules that modify the connection weights. With these rules being in the focus of research, ANNs have become a branch of machine learning develo** independently from neuroscience. Although likely required for the development of truly intelligent machines, the integration of neuroscience into ANNs has remained a neglected proposition.
Here, we demonstrate that designing an ANN along biological principles results in drastically improved task performance. As a challenging real-world problem, we choose real-time ocean-wave prediction which is essential for various maritime operations. Motivated by the similarity of ocean waves measured at a single location to sound waves arriving at the eardrum, we redesign an echo state network to resemble the brain's auditory system. This yields a powerful predictive tool which is computationally lean, robust with respect to network parameters, and works efficiently across a wide range of sea states. Our results demonstrate the advantages of integrating neuroscience with machine learning and offer a tool for use in the production of green energy from ocean waves.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
Classical simulation of non-Gaussian bosonic circuits
Authors:
Beatriz Dias,
Robert Koenig
Abstract:
We propose efficient classical algorithms which (strongly) simulate the action of bosonic linear optics circuits applied to superpositions of Gaussian states. Our approach relies on an augmented covariance matrix formalism to keep track of relative phases between individual terms in a linear combination. This yields an exact simulation algorithm whose runtime is polynomial in the number of modes a…
▽ More
We propose efficient classical algorithms which (strongly) simulate the action of bosonic linear optics circuits applied to superpositions of Gaussian states. Our approach relies on an augmented covariance matrix formalism to keep track of relative phases between individual terms in a linear combination. This yields an exact simulation algorithm whose runtime is polynomial in the number of modes and the size of the circuit, and quadratic in the number of terms in the superposition. We also present a faster approximate randomized algorithm whose runtime is linear in this number. Our main building blocks are a formula for the triple overlap of three Gaussian states and a fast algorithm for estimating the norm of a superposition of Gaussian states up to a multiplicative error. Our construction borrows from earlier work on simulating quantum circuits in finite-dimensional settings, including, in particular, fermionic linear optics with non-Gaussian initial states and Clifford computations with non-stabilizer initial states. It provides algorithmic access to a practically relevant family of non-Gaussian bosonic circuits.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
How to fault-tolerantly realize any quantum circuit with local operations
Authors:
Shin Ho Choe,
Robert Koenig
Abstract:
We show how to realize a general quantum circuit involving gates between arbitrary pairs of qubits by means of geometrically local quantum operations and efficient classical computation. We prove that circuit-level local stochastic noise modeling an imperfect implementation of our derived schemes is equivalent to local stochastic noise in the original circuit. Our constructions incur a constant-fa…
▽ More
We show how to realize a general quantum circuit involving gates between arbitrary pairs of qubits by means of geometrically local quantum operations and efficient classical computation. We prove that circuit-level local stochastic noise modeling an imperfect implementation of our derived schemes is equivalent to local stochastic noise in the original circuit. Our constructions incur a constant-factor increase in the quantum circuit depth and a polynomial overhead in the number of qubits: To execute an arbitrary quantum circuit on $n$ qubits, we give a 3D quantum fault-tolerance architecture involving $O(n^{3/2} \log^3 n)$ qubits, and a quasi-2D architecture using $O(n^2 \log^3 n)$ qubits. Applied to recent fault-tolerance constructions, this gives a fault-tolerance threshold theorem for universal quantum computations with local operations, a polynomial qubit overhead and a quasi-polylogarithmic depth overhead. More generally, our transformation dispenses with the need for considering the locality of operations when designing schemes for fault-tolerant quantum information processing.
△ Less
Submitted 21 February, 2024;
originally announced February 2024.
-
A colossal advantage: 3D-local noisy shallow quantum circuits defeat unbounded fan-in classical circuits
Authors:
Libor Caha,
Xavier Coiteux-Roy,
Robert Koenig
Abstract:
We present a computational problem with the following properties: (i) Every instance can be solved with near-certainty by a constant-depth quantum circuit using only nearest-neighbor gates in 3D even when its implementation is corrupted by noise. (ii) Any constant-depth classical circuit composed of unbounded fan-in AND, OR, as well as NOT gates, i.e., an AC0-circuit, of size smaller than a certai…
▽ More
We present a computational problem with the following properties: (i) Every instance can be solved with near-certainty by a constant-depth quantum circuit using only nearest-neighbor gates in 3D even when its implementation is corrupted by noise. (ii) Any constant-depth classical circuit composed of unbounded fan-in AND, OR, as well as NOT gates, i.e., an AC0-circuit, of size smaller than a certain subexponential, fails to solve a uniformly random instance with probability greater than a certain constant. Such an advantage against unbounded fan-in classical circuits was previously only known in the noise-free case or without locality constraints. We overcome these limitations, proposing a quantum advantage demonstration amenable to experimental realizations. Subexponential circuit-complexity lower bounds have traditionally been referred to as exponential. We use the term colossal since our fault-tolerant 3D architecture resembles a certain Roman monument.
△ Less
Submitted 14 December, 2023;
originally announced December 2023.
-
Observation of a drift-driven local transport regime in the island divertor of Wendelstein 7-X
Authors:
E Flom,
D M Kriete,
M Krychowiak,
N Maaziz,
V Perseo,
F Reimold,
O Schmitz,
V Winters,
F Henke,
D Gradic,
R König,
the W7-X Team
Abstract:
Measurements of the poloidal electron density and temperature distribution in the W7-X island divertor reveal the existence of two distinct scrape-off layer transport regimes. At low and intermediate densities, $T_e$ profiles across the magnetic island are hollow, with a minimum at the island O-point. Above a threshold density $\overline{n}_e \approx 5 \times 10^{19}$ m$^{-3}$, the local minimum v…
▽ More
Measurements of the poloidal electron density and temperature distribution in the W7-X island divertor reveal the existence of two distinct scrape-off layer transport regimes. At low and intermediate densities, $T_e$ profiles across the magnetic island are hollow, with a minimum at the island O-point. Above a threshold density $\overline{n}_e \approx 5 \times 10^{19}$ m$^{-3}$, the local minimum vanishes and the $T_e$ profiles become monotonic. At the lowest studied densities, the hollow $T_e$ profiles imply an electrostatic field of up to $\textbf{E}_r \sim 6$ kV/m, which can induce $\textbf{E} \times \textbf{B}$ drifts around the island, with drift velocities of up to $\sim3$ km/s. These $\textbf{E} \times \textbf{B}$ drifts result in strong convective heat transport poloidally around the island, binormal to the magnetic field, which supports the hollow radial temperature profile and hence provides a positive feedback to the electric field. Above the threshold density, these drifts strongly diminish, presumably due to increased anomalous diffusion, which causes the profile hollowness and therefore also the radial electric field to strongly diminish. This argument is supported by comparison to EMC3-EIRENE modeling and an analytical transport analyses showing that an additional, non-diffusive transport channel is required to maintain the profile hollowness up to the densities seen in experiment, and that a poloidal drift transport channel supports such hollowness only up to certain densities.
△ Less
Submitted 2 December, 2023;
originally announced December 2023.
-
Analysis of the neutral fluxes in the divertor region of Wendelstein 7-X under attached and detached conditions using EMC3-EIRENE
Authors:
Dieter Boeyaerta,
Yuhe Feng,
Heinke Frerichs,
Thierry Kremeyer,
Dirk Naujoks,
Felix Reimold,
Oliver Schmitz,
Victoria Winters,
Sergey Bozhenkov,
Joris Fellinger,
Marcin Jakubowski,
Ralf König,
Maciej Krychowiak,
Valeria Perseo,
Georg Schlisio,
Uwe Wenzel,
W7-X team
Abstract:
This paper analyzes the neutral fluxes in the divertor region of the W7-X standard configuration for different input powers, both under attached and detached conditions. The performed analysis is conducted through EMC3-EIRENE simulations. They show the importance of the horizontal divertor to generate neutrals, and resolve the neutral plugging in the divertor region. Simulations of detached cases…
▽ More
This paper analyzes the neutral fluxes in the divertor region of the W7-X standard configuration for different input powers, both under attached and detached conditions. The performed analysis is conducted through EMC3-EIRENE simulations. They show the importance of the horizontal divertor to generate neutrals, and resolve the neutral plugging in the divertor region. Simulations of detached cases show a decrease in the number of generated neutrals compared to the attached simulations, in addition to a higher fraction of the ion flux arriving on the baffles during detachment. As the ionization takes place further inside the plasma during detachment, a larger percentage of the generated neutral particles leave the divertor as neutrals. The leakage in the poloidal and toroidal direction increases, just as the fraction of collected particles at the pum** gap. The fraction of pumped particles increases with a factor two, but stays below one percent. This demonstrates that detachment with the current target geometry, although it improves the power exhaust, is not yet leading to an increased particle exhaust.
△ Less
Submitted 14 November, 2023;
originally announced November 2023.
-
Limitations of local update recovery in stabilizer-GKP codes: a quantum optimal transport approach
Authors:
Robert König,
Cambyse Rouzé
Abstract:
Local update recovery seeks to maintain quantum information by applying local correction maps alternating with and compensating for the action of noise. Motivated by recent constructions based on quantum LDPC codes in the finite-dimensional setting, we establish an analytic upper bound on the fault-tolerance threshold for concatenated GKP-stabilizer codes with local update recovery. Our bound appl…
▽ More
Local update recovery seeks to maintain quantum information by applying local correction maps alternating with and compensating for the action of noise. Motivated by recent constructions based on quantum LDPC codes in the finite-dimensional setting, we establish an analytic upper bound on the fault-tolerance threshold for concatenated GKP-stabilizer codes with local update recovery. Our bound applies to noise channels that are tensor products of one-mode beamsplitters with arbitrary environment states, capturing, in particular, photon loss occurring independently in each mode. It shows that for loss rates above a threshold given explicitly as a function of the locality of the recovery maps, encoded information is lost at an exponential rate. This extends an early result by Razborov from discrete to continuous variable (CV) quantum systems.
To prove our result, we study a metric on bosonic states akin to the Wasserstein distance between two CV density functions, which we call the bosonic Wasserstein distance. It can be thought of as a CV extension of a quantum Wasserstein distance of order 1 recently introduced by De Palma et al. in the context of qudit systems, in the sense that it captures the notion of locality in a CV setting. We establish several basic properties, including a relation to the trace distance and diameter bounds for states with finite average photon number. We then study its contraction properties under quantum channels, including tensorization, locality and strict contraction under beamsplitter-type noise channels. Due to the simplicity of its formulation, and the established wide applicability of its finite-dimensional counterpart, we believe that the bosonic Wasserstein distance will become a versatile tool in the study of CV quantum systems.
△ Less
Submitted 28 September, 2023;
originally announced September 2023.
-
Effect of hyperparameters on variable selection in random forests
Authors:
Cesaire J. K. Fouodo,
Lea L. Kronziel,
Inke R. König,
Silke Szymczak
Abstract:
Random forests (RFs) are well suited for prediction modeling and variable selection in high-dimensional omics studies. The effect of hyperparameters of the RF algorithm on prediction performance and variable importance estimation have previously been investigated. However, how hyperparameters impact RF-based variable selection remains unclear. We evaluate the effects on the Vita and the Boruta var…
▽ More
Random forests (RFs) are well suited for prediction modeling and variable selection in high-dimensional omics studies. The effect of hyperparameters of the RF algorithm on prediction performance and variable importance estimation have previously been investigated. However, how hyperparameters impact RF-based variable selection remains unclear. We evaluate the effects on the Vita and the Boruta variable selection procedures based on two simulation studies utilizing theoretical distributions and empirical gene expression data. We assess the ability of the procedures to select important variables (sensitivity) while controlling the false discovery rate (FDR). Our results show that the proportion of splitting candidate variables (mtry.prop) and the sample fraction (sample.fraction) for the training dataset influence the selection procedures more than the drawing strategy of the training datasets and the minimal terminal node size. A suitable setting of the RF hyperparameters depends on the correlation structure in the data. For weakly correlated predictor variables, the default value of mtry is optimal, but smaller values of sample.fraction result in larger sensitivity. In contrast, the difference in sensitivity of the optimal compared to the default value of sample.fraction is negligible for strongly correlated predictor variables, whereas smaller values than the default are better in the other settings. In conclusion, the default values of the hyperparameters will not always be suitable for identifying important variables. Thus, adequate values differ depending on whether the aim of the study is optimizing prediction performance or variable selection.
△ Less
Submitted 13 September, 2023;
originally announced September 2023.
-
Classical simulation of non-Gaussian fermionic circuits
Authors:
Beatriz Dias,
Robert Koenig
Abstract:
We propose efficient algorithms for classically simulating fermionic linear optics operations applied to non-Gaussian initial states. By gadget constructions, this provides algorithms for fermionic linear optics with non-Gaussian operations. We argue that this problem is analogous to that of simulating Clifford circuits with non-stabilizer initial states: Algorithms for the latter problem immediat…
▽ More
We propose efficient algorithms for classically simulating fermionic linear optics operations applied to non-Gaussian initial states. By gadget constructions, this provides algorithms for fermionic linear optics with non-Gaussian operations. We argue that this problem is analogous to that of simulating Clifford circuits with non-stabilizer initial states: Algorithms for the latter problem immediately translate to the fermionic setting. Our construction is based on an extension of the covariance matrix formalism which permits to efficiently track relative phases in superpositions of Gaussian states. It yields simulation algorithms with polynomial complexity in the number of fermions, the desired accuracy, and certain quantities capturing the degree of non-Gaussianity of the initial state. We study one such quantity, the fermionic Gaussian extent, and show that it is multiplicative on tensor products when the so-called fermionic Gaussian fidelity is. We establish this property for the tensor product of two arbitrary pure states of four fermions with positive parity.
△ Less
Submitted 6 May, 2024; v1 submitted 24 July, 2023;
originally announced July 2023.
-
EfficientAD: Accurate Visual Anomaly Detection at Millisecond-Level Latencies
Authors:
Kilian Batzner,
Lars Heckler,
Rebecca König
Abstract:
Detecting anomalies in images is an important task, especially in real-time computer vision applications. In this work, we focus on computational efficiency and propose a lightweight feature extractor that processes an image in less than a millisecond on a modern GPU. We then use a student-teacher approach to detect anomalous features. We train a student network to predict the extracted features o…
▽ More
Detecting anomalies in images is an important task, especially in real-time computer vision applications. In this work, we focus on computational efficiency and propose a lightweight feature extractor that processes an image in less than a millisecond on a modern GPU. We then use a student-teacher approach to detect anomalous features. We train a student network to predict the extracted features of normal, i.e., anomaly-free training images. The detection of anomalies at test time is enabled by the student failing to predict their features. We propose a training loss that hinders the student from imitating the teacher feature extractor beyond the normal images. It allows us to drastically reduce the computational cost of the student-teacher model, while improving the detection of anomalous features. We furthermore address the detection of challenging logical anomalies that involve invalid combinations of normal local features, for example, a wrong ordering of objects. We detect these anomalies by efficiently incorporating an autoencoder that analyzes images globally. We evaluate our method, called EfficientAD, on 32 datasets from three industrial anomaly detection dataset collections. EfficientAD sets new standards for both the detection and the localization of anomalies. At a latency of two milliseconds and a throughput of six hundred images per second, it enables a fast handling of anomalies. Together with its low error rate, this makes it an economical solution for real-world applications and a fruitful basis for future research.
△ Less
Submitted 8 February, 2024; v1 submitted 25 March, 2023;
originally announced March 2023.
-
Single-qubit gate teleportation provides a quantum advantage
Authors:
Libor Caha,
Xavier Coiteux-Roy,
Robert Koenig
Abstract:
Gate-teleportation circuits are arguably among the most basic examples of computations believed to provide a quantum computational advantage: In seminal work [Quantum Inf. Comput., 4(2):134--145], Terhal and DiVincenzo have shown that these circuits elude simulation by efficient classical algorithms under plausible complexity-theoretic assumptions. Here we consider possibilistic simulation [Phys.…
▽ More
Gate-teleportation circuits are arguably among the most basic examples of computations believed to provide a quantum computational advantage: In seminal work [Quantum Inf. Comput., 4(2):134--145], Terhal and DiVincenzo have shown that these circuits elude simulation by efficient classical algorithms under plausible complexity-theoretic assumptions. Here we consider possibilistic simulation [Phys. Rev. A 106, 062430 (2022)], a particularly weak form of this task where the goal is to output any string appearing with non-zero probability in the output distribution of the circuit. We show that even for single-qubit Clifford-gate-teleportation circuits this simulation problem cannot be solved by constant-depth classical circuits with bounded fan-in gates. Our results are unconditional and are obtained by a reduction to the problem of computing the parity, a well-studied problem in classical circuit complexity.
△ Less
Submitted 28 May, 2023; v1 submitted 28 September, 2022;
originally announced September 2022.
-
Long-range data transmission in a fault-tolerant quantum bus architecture
Authors:
Shin Ho Choe,
Robert Koenig
Abstract:
We propose a scheme for fault-tolerant long-range entanglement generation at the ends of a rectangular array of qubits of length $R$ and a square cross section of size $d\times d$ with $d=O(\log R)$. Up to an efficiently computable Pauli correction, the scheme generates a maximally entangled state of two qubits using a depth-$6$ circuit consisting of nearest-neighbor Clifford gates and local measu…
▽ More
We propose a scheme for fault-tolerant long-range entanglement generation at the ends of a rectangular array of qubits of length $R$ and a square cross section of size $d\times d$ with $d=O(\log R)$. Up to an efficiently computable Pauli correction, the scheme generates a maximally entangled state of two qubits using a depth-$6$ circuit consisting of nearest-neighbor Clifford gates and local measurements only. Compared with existing fault-tolerance schemes for quantum communication, the protocol is distinguished by its low latency: starting from a product state, the entangled state is prepared in a time $O(t_{\textrm{local}})$ determined only by the local gate and measurement operation time $t_{\textrm{local}}$. Furthermore, the requirements on local repeater stations are minimal: Each repeater uses only $Θ(\log^2 R)$ qubits with a lifetime of order $O(t_{\textrm{local}})$. We prove a converse bound $Ω(\log R)$ on the number of qubits per repeater among all low-latency schemes for fault-tolerant quantum communication over distance $R$. Furthermore, all operations within a repeater are local when the qubits are arranged in a square lattice.
The noise-resilience of our scheme relies on the fault-tolerance properties of the underlying cluster state. We give a full error analysis, establishing a fault-tolerance threshold against general (circuit-level) local stochastic noise affecting preparation, entangling operations and measurements. This includes, in particular, errors correlated in time and space. Our conservative analytical estimates are surprisingly optimistic, suggesting that the scheme is suited for long-range entanglement generation both in and between near-term quantum computing devices.
△ Less
Submitted 20 September, 2022;
originally announced September 2022.
-
Green Accelerated Hoeffding Tree
Authors:
Eva Garcia-Martin,
Albert Bifet,
Niklas Lavesson,
Rikard König,
Henrik Linusson
Abstract:
State-of-the-art machine learning solutions mainly focus on creating highly accurate models without constraints on hardware resources. Stream mining algorithms are designed to run on resource-constrained devices, thus a focus on low power and energy and memory-efficient is essential. The Hoeffding tree algorithm is able to create energy-efficient models, but at the cost of less accurate trees in c…
▽ More
State-of-the-art machine learning solutions mainly focus on creating highly accurate models without constraints on hardware resources. Stream mining algorithms are designed to run on resource-constrained devices, thus a focus on low power and energy and memory-efficient is essential. The Hoeffding tree algorithm is able to create energy-efficient models, but at the cost of less accurate trees in comparison to their ensembles counterpart. Ensembles of Hoeffding trees, on the other hand, create a highly accurate forest of trees but consume five times more energy on average. An extension that tried to obtain similar results to ensembles of Hoeffding trees was the Extremely Fast Decision Tree (EFDT). This paper presents the Green Accelerated Hoeffding Tree (GAHT) algorithm, an extension of the EFDT algorithm with a lower energy and memory footprint and the same (or higher for some datasets) accuracy levels. GAHT grows the tree setting individual splitting criteria for each node, based on the distribution of the number of instances over each particular leaf. The results show that GAHT is able to achieve the same competitive accuracy results compared to EFDT and ensembles of Hoeffding trees while reducing the energy consumption up to 70%.
△ Less
Submitted 6 May, 2022;
originally announced May 2022.
-
Adaptive constant-depth circuits for manipulating non-abelian anyons
Authors:
Sergey Bravyi,
Isaac Kim,
Alexander Kliesch,
Robert Koenig
Abstract:
We consider Kitaev's quantum double model based on a finite group $G$ and describe quantum circuits for (a) preparation of the ground state, (b) creation of anyon pairs separated by an arbitrary distance, and (c) non-destructive topological charge measurement. We show that for any solvable group $G$ all above tasks can be realized by constant-depth adaptive circuits with geometrically local unitar…
▽ More
We consider Kitaev's quantum double model based on a finite group $G$ and describe quantum circuits for (a) preparation of the ground state, (b) creation of anyon pairs separated by an arbitrary distance, and (c) non-destructive topological charge measurement. We show that for any solvable group $G$ all above tasks can be realized by constant-depth adaptive circuits with geometrically local unitary gates and mid-circuit measurements. Each gate may be chosen adaptively depending on previous measurement outcomes. Constant-depth circuits are well suited for implementation on a noisy hardware since it may be possible to execute the entire circuit within the qubit coherence time. Thus our results could facilitate an experimental study of exotic phases of matter with a non-abelian particle statistics. We also show that adaptiveness is essential for our circuit construction. Namely, task (b) cannot be realized by non-adaptive constant-depth local circuits for any non-abelian group $G$. This is in a sharp contrast with abelian anyons which can be created and moved over an arbitrary distance by a depth-$1$ circuit composed of generalized Pauli gates.
△ Less
Submitted 28 September, 2022; v1 submitted 4 May, 2022;
originally announced May 2022.
-
Twisted hybrid algorithms for combinatorial optimization
Authors:
Libor Caha,
Alexander Kliesch,
Robert Koenig
Abstract:
Proposed hybrid algorithms encode a combinatorial cost function into a problem Hamiltonian and optimize its energy by varying over a set of states with low circuit complexity. Classical processing is typically only used for the choice of variational parameters following gradient descent. As a consequence, these approaches are limited by the descriptive power of the associated states.
We argue th…
▽ More
Proposed hybrid algorithms encode a combinatorial cost function into a problem Hamiltonian and optimize its energy by varying over a set of states with low circuit complexity. Classical processing is typically only used for the choice of variational parameters following gradient descent. As a consequence, these approaches are limited by the descriptive power of the associated states.
We argue that for certain combinatorial optimization problems, such algorithms can be hybridized further, thus harnessing the power of efficient non-local classical processing. Specifically, we consider combining a quantum variational ansatz with a greedy classical post-processing procedure for the MaxCut-problem on $3$-regular graphs. We show that the average cut-size produced by this method can be quantified in terms of the energy of a modified problem Hamiltonian. This motivates the consideration of an improved algorithm which variationally optimizes the energy of the modified Hamiltonian. We call this a twisted hybrid algorithm since the additional classical processing step is combined with a different choice of variational parameters. We exemplify the viability of this method using the quantum approximate optimization algorithm (QAOA), giving analytic lower bounds on the expected approximation ratios achieved by twisted QAOA. These show that the necessary non-locality of the quantum ansatz can be reduced compared to the original QAOA: We find that for levels $p=2,\ldots, 6$, the level $p$ can be reduced by one while roughly maintaining the expected approximation ratio. This reduces the circuit depth by $4$ and the number of variational parameters by $2$.
△ Less
Submitted 1 March, 2022;
originally announced March 2022.
-
Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion
Authors:
Jason R. Koenig,
Oded Padon,
Sharon Shoham,
Alex Aiken
Abstract:
We present a PDR/IC3 algorithm for finding inductive invariants with quantifier alternations. We tackle scalability issues that arise due to the large search space of quantified invariants by combining a breadth-first search strategy and a new syntactic form for quantifier-free bodies. The breadth-first strategy prevents inductive generalization from getting stuck in regions of the search space th…
▽ More
We present a PDR/IC3 algorithm for finding inductive invariants with quantifier alternations. We tackle scalability issues that arise due to the large search space of quantified invariants by combining a breadth-first search strategy and a new syntactic form for quantifier-free bodies. The breadth-first strategy prevents inductive generalization from getting stuck in regions of the search space that are expensive to search and focuses instead on lemmas that are easy to discover. The new syntactic form is well-suited to lemmas with quantifier alternations by allowing both limited conjunction and disjunction in the quantifier-free body, while carefully controlling the size of the search space. Combining the breadth-first strategy with the new syntactic form results in useful inductive bias by prioritizing lemmas according to: (i) well-defined syntactic metrics for simple quantifier structures and quantifier-free bodies, and (ii) the empirically useful heuristic of preferring lemmas that are fast to discover. On a benchmark suite of primarily distributed protocols and complex Paxos variants, we demonstrate that our algorithm can solve more of the most complicated examples than state-of-the-art techniques.
△ Less
Submitted 9 December, 2021;
originally announced December 2021.
-
ARCH-Elites: Quality-Diversity for Urban Design
Authors:
Theodoros Galanos,
Antonios Liapis,
Georgios N. Yannakakis,
Reinhard Koenig
Abstract:
This paper introduces ARCH-Elites, a MAP-Elites implementation that can reconfigure large-scale urban layouts at real-world locations via a pre-trained surrogate model instead of costly simulations. In a series of experiments, we generate novel urban designs for two real-world locations in Boston, Massachusetts. Combining the exploration of a possibility space with real-time performance evaluation…
▽ More
This paper introduces ARCH-Elites, a MAP-Elites implementation that can reconfigure large-scale urban layouts at real-world locations via a pre-trained surrogate model instead of costly simulations. In a series of experiments, we generate novel urban designs for two real-world locations in Boston, Massachusetts. Combining the exploration of a possibility space with real-time performance evaluation creates a powerful new paradigm for architectural generative design that can extract and articulate design intelligence.
△ Less
Submitted 18 April, 2021;
originally announced April 2021.
-
Oscillator-to-oscillator codes do not have a threshold
Authors:
Lisa Hänggli,
Robert Koenig
Abstract:
It is known that continuous variable quantum information cannot be protected against naturally occurring noise using Gaussian states and operations only. Noh et al. (PRL 125:080503, 2020) proposed bosonic oscillator-to-oscillator codes relying on non-Gaussian resource states as an alternative, and showed that these encodings can lead to a reduction of the effective error strength at the logical le…
▽ More
It is known that continuous variable quantum information cannot be protected against naturally occurring noise using Gaussian states and operations only. Noh et al. (PRL 125:080503, 2020) proposed bosonic oscillator-to-oscillator codes relying on non-Gaussian resource states as an alternative, and showed that these encodings can lead to a reduction of the effective error strength at the logical level as measured by the variance of the classical displacement noise channel. An oscillator-to-oscillator code embeds K logical bosonic modes (in an arbitrary state) into N physical modes by means of a Gaussian N-mode unitary and N-K auxiliary one-mode Gottesman-Kitaev-Preskill-states.
Here we ask if - in analogy to qubit error-correcting codes - there are families of oscillator-to-oscillator codes with the following threshold property: They allow to convert physical displacement noise with variance below some threshold value to logical noise with variance upper bounded by any (arbitrary) constant. We find that this is not the case if encoding unitaries involving a constant amount of squeezing and maximum likelihood error decoding are used. We show a general lower bound on the logical error probability which is only a function of the amount of squeezing and independent of the number of modes. As a consequence, any physically implementable family of oscillator-to-oscillator codes combined with maximum likelihood error decoding does not admit a threshold.
△ Less
Submitted 20 January, 2022; v1 submitted 10 February, 2021;
originally announced February 2021.
-
Hybrid quantum-classical algorithms for approximate graph coloring
Authors:
Sergey Bravyi,
Alexander Kliesch,
Robert Koenig,
Eugene Tang
Abstract:
We show how to apply the recursive quantum approximate optimization algorithm (RQAOA) to MAX-$k$-CUT, the problem of finding an approximate $k$-vertex coloring of a graph. We compare this proposal to the best known classical and hybrid classical-quantum algorithms. First, we show that the standard (non-recursive) QAOA fails to solve this optimization problem for most regular bipartite graphs at an…
▽ More
We show how to apply the recursive quantum approximate optimization algorithm (RQAOA) to MAX-$k$-CUT, the problem of finding an approximate $k$-vertex coloring of a graph. We compare this proposal to the best known classical and hybrid classical-quantum algorithms. First, we show that the standard (non-recursive) QAOA fails to solve this optimization problem for most regular bipartite graphs at any constant level $p$: the approximation ratio achieved by QAOA is hardly better than assigning colors to vertices at random. Second, we construct an efficient classical simulation algorithm which simulates level-$1$ QAOA and level-$1$ RQAOA for arbitrary graphs. In particular, these hybrid algorithms give rise to efficient classical algorithms, and no benefit arising from the use of quantum mechanics is to be expected. Nevertheless, they provide a suitable testbed for assessing the potential benefit of hybrid algorithm: We use the simulation algorithm to perform large-scale simulation of level-$1$ QAOA and RQAOA with up to $300$ qutrits applied to ensembles of randomly generated $3$-colorable constant-degree graphs. We find that level-$1$ RQAOA is surprisingly competitive: for the ensembles considered, its approximation ratios are often higher than those achieved by the best known generic classical algorithm based on rounding an SDP relaxation. This suggests the intriguing possibility that higher-level RQAOA may be a potentially useful algorithm for NISQ devices.
△ Less
Submitted 28 March, 2022; v1 submitted 26 November, 2020;
originally announced November 2020.
-
A Hybrid Approach for 6DoF Pose Estimation
Authors:
Rebecca König,
Bertram Drost
Abstract:
We propose a method for 6DoF pose estimation of rigid objects that uses a state-of-the-art deep learning based instance detector to segment object instances in an RGB image, followed by a point-pair based voting method to recover the object's pose. We additionally use an automatic method selection that chooses the instance detector and the training set as that with the highest performance on the v…
▽ More
We propose a method for 6DoF pose estimation of rigid objects that uses a state-of-the-art deep learning based instance detector to segment object instances in an RGB image, followed by a point-pair based voting method to recover the object's pose. We additionally use an automatic method selection that chooses the instance detector and the training set as that with the highest performance on the validation set. This hybrid approach leverages the best of learning and classic approaches, using CNNs to filter highly unstructured data and cut through the clutter, and a local geometric approach with proven convergence for robust pose estimation. The method is evaluated on the BOP core datasets where it significantly exceeds the baseline method and is the best fast method in the BOP 2020 Challenge.
△ Less
Submitted 11 November, 2020;
originally announced November 2020.
-
Enhanced noise resilience of the surface-GKP code via designed bias
Authors:
Lisa Hänggli,
Margret Heinze,
Robert Koenig
Abstract:
We study the code obtained by concatenating the standard single-mode Gottesman-Kitaev-Preskill (GKP) code with the surface code. We show that the noise tolerance of this surface-GKP code with respect to (Gaussian) displacement errors improves when a single-mode squeezing unitary is applied to each mode assuming that the identification of quadratures with logical Pauli operators is suitably modifie…
▽ More
We study the code obtained by concatenating the standard single-mode Gottesman-Kitaev-Preskill (GKP) code with the surface code. We show that the noise tolerance of this surface-GKP code with respect to (Gaussian) displacement errors improves when a single-mode squeezing unitary is applied to each mode assuming that the identification of quadratures with logical Pauli operators is suitably modified. We observe noise-tolerance thresholds of up to $σ\approx 0.58$ shift-error standard deviation when the surface code is decoded without using GKP syndrome information. In contrast, prior results by Fukui et al. and Vuillot et al. report a threshold between $σ\approx 0.54$ and $σ\approx 0.55$ for the standard (toric-, respectively) surface-GKP code. The modified surface-GKP code effectively renders the mode-level physical noise asymmetric, biasing the logical-level noise on the GKP-qubits. The code can thus benefit from the resilience of the surface code against biased noise. We use the approximate maximum likelihood decoding algorithm of Bravyi et al. to obtain our threshold estimates. Throughout, we consider an idealized scenario where measurements are noiseless and GKP states are ideal. Our work demonstrates that Gaussian encodings of individual modes can enhance concatenated codes.
△ Less
Submitted 1 April, 2020;
originally announced April 2020.
-
Heat and particle flux detachment with stable plasma conditions in the Wendelstein 7-X stellarator fusion experiment
Authors:
Marcin Jakubowski,
Ralf König,
Oliver Schmitz,
Yuhe Feng,
Maciej Krychowiak,
Matthias Otte,
Felix Reimold,
Andreas Dinklage,
Peter Drewelow,
Florian Effenberg,
Yu Gao,
Holger Niemann,
Georg Schlisio,
Andrea Pavone,
Thomas Sunn Pedersen,
Uwe Wenzel,
Daihong Zhang,
Sebastijan Brezinsek,
Sergey Bozhenkov,
Kai Jakob Brunner,
Daniel Carralero,
Ken Hammond,
Golo Fuchert,
Jens Knauer,
Andreas Langenberg
, et al. (8 additional authors not shown)
Abstract:
Reduction of particle and heat fluxes to plasma facing components is critical to achieve stable conditions for both the plasma and the plasma material interface in magnetic confinement fusion experiments. A stable and reproducible plasma state in which the heat flux is almost completely removed from the material surfaces was discovered recently in the Wendelstein 7-X stellarator experiment. At the…
▽ More
Reduction of particle and heat fluxes to plasma facing components is critical to achieve stable conditions for both the plasma and the plasma material interface in magnetic confinement fusion experiments. A stable and reproducible plasma state in which the heat flux is almost completely removed from the material surfaces was discovered recently in the Wendelstein 7-X stellarator experiment. At the same time also particle fluxes are reduced such that material erosion can be mitigated. Sufficient neutral pressure was reached to maintain stable particle exhaust for density control in this plasma state. This regime could be maintained for up to 28 seconds with a minimum feedback control.
△ Less
Submitted 10 January, 2020; v1 submitted 7 January, 2020;
originally announced January 2020.
-
Oriented Boxes for Accurate Instance Segmentation
Authors:
Patrick Follmann,
Rebecca König
Abstract:
State-of-the-art instance-aware semantic segmentation algorithms use axis-aligned bounding boxes as an intermediate processing step to infer the final instance mask output. This often leads to coarse and inaccurate mask proposals due to the following reasons: Axis-aligned boxes have a high background to foreground pixel-ratio, there is a strong variation of mask targets with respect to the underly…
▽ More
State-of-the-art instance-aware semantic segmentation algorithms use axis-aligned bounding boxes as an intermediate processing step to infer the final instance mask output. This often leads to coarse and inaccurate mask proposals due to the following reasons: Axis-aligned boxes have a high background to foreground pixel-ratio, there is a strong variation of mask targets with respect to the underlying box, and neighboring instances frequently reach into the axis-aligned bounding box of the instance mask of interest. In this work, we overcome these problems by proposing to use oriented boxes as the basis to infer instance masks. We show that oriented instance segmentation improves the mask predictions, especially when objects are diagonally aligned, touching, or overlap** each other. We evaluate our model on the D2S and Screws datasets and show that we can significantly improve the mask accuracy by 10% and 12% mAP compared to instance segmentation using axis-aligned bounding boxes, respectively. On the newly introduced Pill Bags dataset we outperform the baseline using only 10% of the mask annotations.
△ Less
Submitted 13 March, 2020; v1 submitted 18 November, 2019;
originally announced November 2019.
-
A new laser-ranged satellite for General Relativity and Space Geodesy II. Monte Carlo Simulations and covariance analyses of the LARES 2 Experiment
Authors:
Ignazio Ciufolini,
Erricos C. Pavlis,
Giampiero Sindoni,
John Ries,
Antonio Paolozzi,
Rolf Koenig,
Richard Matzner
Abstract:
In the previous paper we have introduced the LARES 2 space experiment. The LARES 2 laser-ranged satellite is planned for a launch in 2019 with the new VEGA C launch vehicle of the Italian Space Agency (ASI), ESA and ELV. The main objectives of the LARES 2 experiment are accurate measurements of General Relativity, gravitational and fundamental physics and accurate determinations in space geodesy a…
▽ More
In the previous paper we have introduced the LARES 2 space experiment. The LARES 2 laser-ranged satellite is planned for a launch in 2019 with the new VEGA C launch vehicle of the Italian Space Agency (ASI), ESA and ELV. The main objectives of the LARES 2 experiment are accurate measurements of General Relativity, gravitational and fundamental physics and accurate determinations in space geodesy and geodynamics. In particular LARES 2 is aimed to achieve a very accurate test of frame-dragging, an intriguing phenomenon predicted by General Relativity. Here we report the results of Monte Carlo simulations and covariance analyses fully confirming an error budget of a few parts in one thousand in the measurement of frame-dragging with LARES 2 as calculated in our previous paper.
△ Less
Submitted 12 November, 2019;
originally announced November 2019.
-
A new laser-ranged satellite for General Relativity and space geodesy: I. An introduction to the LARES2 space experiment
Authors:
Ignazio Ciufolini,
Antonio Paolozzi,
Erricos C. Pavlis,
Giampiero Sindoni,
Rolf Koenig,
John C. Ries,
Richard Matzner,
Vahe Gurzadyan,
Roger Penrose,
David Rubincam,
Claudio Paris
Abstract:
We introduce the LARES 2 space experiment recently approved by the Italian Space Agency (ASI). The LARES 2 satellite is planned for launch in 2019 with the new VEGA C launch vehicle of ASI, ESA and ELV. The orbital analysis of LARES 2 experiment will be carried out by our international science team of experts in General Relativity, theoretical physics, space geodesy and aerospace engineering. The…
▽ More
We introduce the LARES 2 space experiment recently approved by the Italian Space Agency (ASI). The LARES 2 satellite is planned for launch in 2019 with the new VEGA C launch vehicle of ASI, ESA and ELV. The orbital analysis of LARES 2 experiment will be carried out by our international science team of experts in General Relativity, theoretical physics, space geodesy and aerospace engineering. The main objectives of the LARES 2 experiment are gravitational and fundamental physics, including accurate measurements of General Relativity, in particular a test of frame-dragging aimed at achieving an accuracy of a few parts in a thousand, i.e., aimed at improving by about an order of magnitude the present state-of-the-art and forthcoming tests of this general relativistic phenomenon. LARES 2 will also achieve determinations in space geodesy. LARES 2 is an improved version of the LAGEOS 3 experiment, proposed in 1984 to measure frame-dragging and analyzed in 1989 by a joint ASI and NASA study.
△ Less
Submitted 25 October, 2019;
originally announced October 2019.
-
"Reply to A comment on A test of general relativity using the LARES and LAGEOS satellites and a GRACE Earth gravity model, by I. Ciufolini et al."
Authors:
Ciufolini,
Ignazio,
Erricos C. Pavlis,
John Ries,
Richard Matzner,
Rolf Koenig,
Antonio Paolozzi,
Giampiero Sindoni,
Vahe Gurzadyan,
Roger Penrose,
Claudio Paris
Abstract:
In 2016, we published "A test of general relativity using the LARES and LAGEOS satellites and a GRACE Earth gravity model. Measurement of Earth's dragging of inertial frames [1]", a measurement of frame-dragging, a fundamental prediction of Einstein's theory of General Relativity, using the laser-ranged satellites LARES, LAGEOS and LAGEOS 2. The formal error, or precision, of our test was about 0.…
▽ More
In 2016, we published "A test of general relativity using the LARES and LAGEOS satellites and a GRACE Earth gravity model. Measurement of Earth's dragging of inertial frames [1]", a measurement of frame-dragging, a fundamental prediction of Einstein's theory of General Relativity, using the laser-ranged satellites LARES, LAGEOS and LAGEOS 2. The formal error, or precision, of our test was about 0.2% of frame-dragging, whereas the systematic error was estimated to be about 5%. In the 2017 paper "A comment on "A test of general relativity using the LARES and LAGEOS satellites and a GRACE Earth gravity model by I. Ciufolini et al." "by L. Iorio [2] (called I2017 in the following), it was incorrectly claimed that, when comparing different Earth gravity field models, the systematic error in our test due to the Earth's even zonal harmonics of degree 6, 8, 10 could be aslarge as 15%, 6% and 36%, respectively. Furthermore, I2017 contains other, also incorrect, claims about the number of necessary significant decimal digits of the coefficients used in our test (claimed to be nine), in order to eliminate the largest uncertainties in the even zonals of degree 2 and 4, and about the non-repeatability of our test. Here we analyze and rebut those claims in I2017.
△ Less
Submitted 22 October, 2019;
originally announced October 2019.
-
An Improved Test of the General Relativistic Effect of Frame-Dragging Using the LARES and LAGEOS Satellites
Authors:
Ignazio Ciufolini,
Antonio Paolozzi,
Erricos C. Pavlis,
Giampiero Sindoni,
John Ries,
Richard Matzner,
Rolf Koenig,
Claudio Paris,
Vahe Gurzadyan,
Roger Penrose
Abstract:
We report the improved test of frame-dragging, an intriguing phenomenon predicted by Einstein's General Relativity, obtained using 7 years of Satellite Laser Ranging (SLR) data of the satellite LARES (ASI, 2012) and 26 years of SLR data of LAGEOS (NASA, 1976) and LAGEOS 2 (ASI and NASA, 1992). We used the static part and temporal variations of the Earth gravity field obtained by the space geodesy…
▽ More
We report the improved test of frame-dragging, an intriguing phenomenon predicted by Einstein's General Relativity, obtained using 7 years of Satellite Laser Ranging (SLR) data of the satellite LARES (ASI, 2012) and 26 years of SLR data of LAGEOS (NASA, 1976) and LAGEOS 2 (ASI and NASA, 1992). We used the static part and temporal variations of the Earth gravity field obtained by the space geodesy mission GRACE (NASA and DLR) and in particular the static Earth's gravity field model GGM05S augmented by a model for the 7-day temporal variations of the lowest degree Earth spherical harmonics. We used the orbital estimator GEODYN (NASA). We measured frame-dragging to be equal to 0.9910 +/- 0.02, where 1 is the theoretical prediction of General Relativity normalized to its frame-dragging value and +/- 0.02 is the estimated systematic error due to modelling errors in the orbital perturbations, mainly due to the errors in the Earth's gravity field determination. Therefore, our measurement confirms the prediction of General Relativity for frame-dragging with a few percent uncertainty.
△ Less
Submitted 24 October, 2019; v1 submitted 22 October, 2019;
originally announced October 2019.
-
Obstacles to State Preparation and Variational Optimization from Symmetry Protection
Authors:
Sergey Bravyi,
Alexander Kliesch,
Robert Koenig,
Eugene Tang
Abstract:
Local Hamiltonians with topological quantum order exhibit highly entangled ground states that cannot be prepared by shallow quantum circuits. Here, we show that this property may extend to all low-energy states in the presence of an on-site $\mathbb{Z}_2$ symmetry. This proves a version of the No Low-Energy Trivial States (NLTS) conjecture for a family of local Hamiltonians with symmetry protected…
▽ More
Local Hamiltonians with topological quantum order exhibit highly entangled ground states that cannot be prepared by shallow quantum circuits. Here, we show that this property may extend to all low-energy states in the presence of an on-site $\mathbb{Z}_2$ symmetry. This proves a version of the No Low-Energy Trivial States (NLTS) conjecture for a family of local Hamiltonians with symmetry protected topological order. A surprising consequence of this result is that the Goemans-Williamson algorithm outperforms the Quantum Approximate Optimization Algorithm (QAOA) for certain instances of MaxCut, at any constant level. We argue that the locality and symmetry of QAOA severely limits its performance. To overcome these limitations, we propose a non-local version of QAOA, and give numerical evidence that it significantly outperforms standard QAOA for frustrated Ising models on random 3-regular graphs.
△ Less
Submitted 20 October, 2019;
originally announced October 2019.
-
Satellite Laser-Ranging as a Probe of Fundamental Physics
Authors:
Ignazio Ciufolini,
Richard Matzner,
Antonio Paolozzi,
Erricos C. Pavlis,
Giampiero Sindoni,
John Ries,
Vahe Gurzadyan,
Rolf Koenig
Abstract:
Satellite laser-ranging is successfully used in space geodesy, geodynamics and Earth sciences; and to test fundamental physics and specific features of General Relativity. We present a confirmation to approximately one part in a billion of the fundamental weak equivalence principle (uniqueness of free fall) in the Earth's gravitational field, obtained with three laser-ranged satellites, at previou…
▽ More
Satellite laser-ranging is successfully used in space geodesy, geodynamics and Earth sciences; and to test fundamental physics and specific features of General Relativity. We present a confirmation to approximately one part in a billion of the fundamental weak equivalence principle (uniqueness of free fall) in the Earth's gravitational field, obtained with three laser-ranged satellites, at previously untested range and with previously untested materials. The weak equivalence principle is at the foundation of General Relativity and of most gravitational theories.
△ Less
Submitted 30 June, 2019;
originally announced July 2019.
-
Quantum advantage with noisy shallow circuits in 3D
Authors:
Sergey Bravyi,
David Gosset,
Robert Koenig,
Marco Tomamichel
Abstract:
Prior work has shown that there exists a relation problem which can be solved with certainty by a constant-depth quantum circuit composed of geometrically local gates in two dimensions, but cannot be solved with high probability by any classical constant depth circuit composed of bounded fan-in gates. Here we provide two extensions of this result. Firstly, we show that a separation in computationa…
▽ More
Prior work has shown that there exists a relation problem which can be solved with certainty by a constant-depth quantum circuit composed of geometrically local gates in two dimensions, but cannot be solved with high probability by any classical constant depth circuit composed of bounded fan-in gates. Here we provide two extensions of this result. Firstly, we show that a separation in computational power persists even when the constant-depth quantum circuit is restricted to geometrically local gates in one dimension. The corresponding quantum algorithm is the simplest we know of which achieves a quantum advantage of this type. It may also be more practical for future implementations. Our second, main result, is that a separation persists even if the shallow quantum circuit is corrupted by noise. We construct a relation problem which can be solved with near certainty using a noisy constant-depth quantum circuit composed of geometrically local gates in three dimensions, provided the noise rate is below a certain constant threshold value. On the other hand, the problem cannot be solved with high probability by a noise-free classical circuit of constant depth. A key component of the proof is a quantum error-correcting code which admits constant-depth logical Clifford gates and single-shot logical state preparation. We show that the surface code meets these criteria. To this end, we provide a protocol for single-shot logical state preparation in the surface code which may be of independent interest.
△ Less
Submitted 2 April, 2019;
originally announced April 2019.
-
How to Authenticate MQTT Sessions Without Channel- and Broker Security
Authors:
Reto E. Koenig,
Lukas Laederach,
Cédric von Allmen
Abstract:
This paper describes a new but state-of-the-art approach to provide authenticity in mqtt sessions using the means of zero-knowledge-proofs. This approach completely voids session hijacking for the mqtt protocol and provides authenticity without the need for any network-security nor channel-security nor broker-based predefined ACLs. The presented approach does not require the broker to keep any sec…
▽ More
This paper describes a new but state-of-the-art approach to provide authenticity in mqtt sessions using the means of zero-knowledge-proofs. This approach completely voids session hijacking for the mqtt protocol and provides authenticity without the need for any network-security nor channel-security nor broker-based predefined ACLs. The presented approach does not require the broker to keep any secrets for session handling, what so ever. Moreover, it allows the clientID, which represents the identification for a session, to be publicly known. The presented approach allows completely anonymous but authentic sessions, hence the broker does not need any a priori knowledge of the client-party. As it is especially targeted for applications within the world of IoT, the presented approach is tuned to require only the minimum in extra power in terms of energy and space. The approach does not introduce any new concept, but simply fusions a state-of-the-art cryptographic zero knowledge proof of identity with the existing MQTT-5 specification. Thus no protocol extension is required in order to provide the targeted security properties. The described approach is completely agnostic to the application layer at the client side and is only required during mqtt-session establishment.
△ Less
Submitted 25 January, 2020; v1 submitted 31 March, 2019;
originally announced April 2019.
-
Typical entanglement for Gaussian states
Authors:
Motohisa Fukuda,
Robert Koenig
Abstract:
We consider ensembles of bipartite states resulting from a random passive Gaussian unitary applied to a fiducial pure Gaussian state. We show that the symplectic spectra of the reduced density operators concentrate around that of a thermal state with the same energy. This implies, in particular, concentration of the entanglement entropy as well as other entropy measures. Our work extends earlier r…
▽ More
We consider ensembles of bipartite states resulting from a random passive Gaussian unitary applied to a fiducial pure Gaussian state. We show that the symplectic spectra of the reduced density operators concentrate around that of a thermal state with the same energy. This implies, in particular, concentration of the entanglement entropy as well as other entropy measures. Our work extends earlier results on the typicality of entanglement beyond the two ensembles and the reduced purity measure considered in [A. Serafini, O. C. O. Dahlsten, D. Gross, and M. B. Plenio, J. Phys. A: Math. Theor., 40(31):9551 (2007)].
△ Less
Submitted 29 November, 2019; v1 submitted 11 March, 2019;
originally announced March 2019.
-
RTNI - A symbolic integrator for Haar-random tensor networks
Authors:
Motohisa Fukuda,
Robert Koenig,
Ion Nechita
Abstract:
We provide a computer algebra package called Random Tensor Network Integrator (RTNI). It allows to compute averages of tensor networks containing multiple Haar-distributed random unitary matrices and deterministic symbolic tensors. Such tensor networks are represented as multigraphs, with vertices corresponding to tensors or random unitaries and edges corresponding to tensor contractions. Input an…
▽ More
We provide a computer algebra package called Random Tensor Network Integrator (RTNI). It allows to compute averages of tensor networks containing multiple Haar-distributed random unitary matrices and deterministic symbolic tensors. Such tensor networks are represented as multigraphs, with vertices corresponding to tensors or random unitaries and edges corresponding to tensor contractions. Input and output spaces of random unitaries may be subdivided into arbitrary tensor factors, with dimensions treated symbolically. The algorithm implements the graphical Weingarten calculus and produces a weighted sum of tensor networks representing the average over the unitary group. We illustrate the use of this algorithmic tool on some examples from quantum information theory, including entropy calculations for random tensor network states as considered in toy models for holographic duality. Mathematica and Python implementations are supplied.
△ Less
Submitted 22 February, 2019;
originally announced February 2019.
-
Quantum Error-Detection at Low Energies
Authors:
Martina Gschwendtner,
Robert Koenig,
Burak Şahinoğlu,
Eugene Tang
Abstract:
Motivated by the close relationship between quantum error-correction, topological order, the holographic AdS/CFT duality, and tensor networks, we initiate the study of approximate quantum error-detecting codes in matrix product states (MPS). We first show that using open-boundary MPS to define boundary to bulk encoding maps yields at most constant distance error-detecting codes. These are degenera…
▽ More
Motivated by the close relationship between quantum error-correction, topological order, the holographic AdS/CFT duality, and tensor networks, we initiate the study of approximate quantum error-detecting codes in matrix product states (MPS). We first show that using open-boundary MPS to define boundary to bulk encoding maps yields at most constant distance error-detecting codes. These are degenerate ground spaces of gapped local Hamiltonians. To get around this no-go result, we consider excited states, i.e., we use the excitation ansatz to construct encoding maps: these yield error-detecting codes with distance $Ω(n^{1-ν})$ for any $ν\in (0,1)$ and $Ω(\log n)$ encoded qubits. This shows that gapped systems contain $-$ within isolated energy bands $-$ error-detecting codes spanned by momentum eigenstates. We also consider the gapless Heisenberg-XXX model, whose energy eigenstates can be described via Bethe ansatz tensor networks. We show that it contains $-$ within its low-energy eigenspace $-$ an error-detecting code with the same parameter scaling. All these codes detect arbitrary $d$-local (not necessarily geometrically local) errors even though they are not permutation-invariant. This suggests that a wide range of naturally occurring many-body systems possess intrinsic error-detecting features.
△ Less
Submitted 12 June, 2019; v1 submitted 6 February, 2019;
originally announced February 2019.
-
Empowering individual trait prediction using interactions
Authors:
Damian Gola,
Inke R. König
Abstract:
One component of precision medicine is to construct prediction models with their predictive ability as high as possible, e.g. to enable individual risk prediction. In genetic epidemiology, complex diseases have a polygenic basis and a common assumption is that biological and genetic features affect the outcome under consideration via interactions. In the case of omics data, the use of standard app…
▽ More
One component of precision medicine is to construct prediction models with their predictive ability as high as possible, e.g. to enable individual risk prediction. In genetic epidemiology, complex diseases have a polygenic basis and a common assumption is that biological and genetic features affect the outcome under consideration via interactions. In the case of omics data, the use of standard approaches such as generalized linear models may be suboptimal and machine learning methods are appealing to make individual predictions. However, most of these algorithms focus mostly on main or marginal effects of the single features in a dataset. On the other hand, the detection of interacting features is an active area of research in the realm of genetic epidemiology. One big class of algorithms to detect interacting features is based on the multifactor dimensionality reduction (MDR). Here, we extend the model-based MDR (MB-MDR), a powerful extension of the original MDR algorithm, to enable interaction empowered individual prediction. Using a comprehensive simulation study we show that our new algorithm can use information hidden in interactions more efficiently than two other state-of-the-art algorithms, namely the Random Forest and Elastic Net, and clearly outperforms these if interactions are present. The performance of these algorithms is comparable if no interactions are present. Further, we show that our new algorithm is applicable to real data by comparing the performance of the three algorithms on a dataset of rheumatoid arthritis cases and healthy controls. As our new algorithm is not only applicable to biological/genetic data but to all datasets with discrete features, it may have practical implications in other applications as well, and we made our method available as an R package.
△ Less
Submitted 25 January, 2019;
originally announced January 2019.
-
Machine learning approaches to understand the influence of urban environments on human's physiological response
Authors:
Varun Kumar Ojha,
Danielle Griego,
Saskia Kuliga,
Martin Bielik,
Peter Bus,
Charlotte Schaeben,
Lukas Treyer,
Matthias Standfest,
Sven Schneider,
Reinhard Konig,
Dirk Donath,
Gerhard Schmitt
Abstract:
This research proposes a framework for signal processing and information fusion of spatial-temporal multi-sensor data pertaining to understanding patterns of humans physiological changes in an urban environment. The framework includes signal frequency unification, signal pairing, signal filtering, signal quantification, and data labeling. Furthermore, this paper contributes to human-environment in…
▽ More
This research proposes a framework for signal processing and information fusion of spatial-temporal multi-sensor data pertaining to understanding patterns of humans physiological changes in an urban environment. The framework includes signal frequency unification, signal pairing, signal filtering, signal quantification, and data labeling. Furthermore, this paper contributes to human-environment interaction research, where a field study to understand the influence of environmental features such as varying sound level, illuminance, field-of-view, or environmental conditions on humans' perception was proposed. In the study, participants of various demographic backgrounds walked through an urban environment in Zurich, Switzerland while wearing physiological and environmental sensors. Apart from signal processing, four machine learning techniques, classification, fuzzy rule-based inference, feature selection, and clustering, were applied to discover relevant patterns and relationship between the participants' physiological responses and environmental conditions. The predictive models with high accuracies indicate that the change in the field-of-view corresponds to increased participant arousal. Among all features, the participants' physiological responses were primarily affected by the change in environmental conditions and field-of-view.
△ Less
Submitted 10 December, 2018;
originally announced December 2018.
-
Universal Uhrig dynamical decoupling for bosonic systems
Authors:
Margret Heinze,
Robert Koenig
Abstract:
We construct efficient deterministic dynamical decoupling schemes protecting continuous variable degrees of freedom. Our schemes target decoherence induced by quadratic system-bath interactions with analytic time-dependence. We show how to suppress such interactions to $N$-th order using only $N$ pulses. Furthermore, we show to homogenize a $2^m$-mode bosonic system using only $(N+1)^{2m+1}$ pulse…
▽ More
We construct efficient deterministic dynamical decoupling schemes protecting continuous variable degrees of freedom. Our schemes target decoherence induced by quadratic system-bath interactions with analytic time-dependence. We show how to suppress such interactions to $N$-th order using only $N$ pulses. Furthermore, we show to homogenize a $2^m$-mode bosonic system using only $(N+1)^{2m+1}$ pulses, yielding - up to $N$-th order - an effective evolution described by non-interacting harmonic oscillators with identical frequencies. The decoupled and homogenized system provides natural decoherence-free subspaces for encoding quantum information. Our schemes only require pulses which are tensor products of single-mode passive Gaussian unitaries and SWAP gates between pairs of modes.
△ Less
Submitted 2 April, 2019; v1 submitted 16 October, 2018;
originally announced October 2018.
-
Jointly constrained semidefinite bilinear programming with an application to Dobrushin curves
Authors:
Stefan Huber,
Robert Koenig,
Marco Tomamichel
Abstract:
We propose a branch-and-bound algorithm for minimizing a bilinear functional of the form \[ f(X,Y) = \mathrm{tr}((X\otimes Y)Q)+\mathrm{tr}(AX)+\mathrm{tr}(BY) , \] of pairs of Hermitian matrices $(X,Y)$ restricted by joint semidefinite programming constraints. The functional is parametrized by self-adjoint matrices $Q$, $A$ and $B$. This problem generalizes that of a bilinear program, where $X$ a…
▽ More
We propose a branch-and-bound algorithm for minimizing a bilinear functional of the form \[ f(X,Y) = \mathrm{tr}((X\otimes Y)Q)+\mathrm{tr}(AX)+\mathrm{tr}(BY) , \] of pairs of Hermitian matrices $(X,Y)$ restricted by joint semidefinite programming constraints. The functional is parametrized by self-adjoint matrices $Q$, $A$ and $B$. This problem generalizes that of a bilinear program, where $X$ and $Y$ belong to polyhedra. The algorithm converges to a global optimum and yields upper and lower bounds on its value in every step. Various problems in quantum information theory can be expressed in this form. As an example application, we compute Dobrushin curves of quantum channels, giving upper bounds on classical coding with energy constraints.
△ Less
Submitted 9 August, 2018;
originally announced August 2018.
-
Approximation algorithms for quantum many-body problems
Authors:
Sergey Bravyi,
David Gosset,
Robert Koenig,
Kristan Temme
Abstract:
We discuss classical algorithms for approximating the largest eigenvalue of quantum spin and fermionic Hamiltonians based on semidefinite programming relaxation methods. First, we consider traceless $2$-local Hamiltonians $H$ describing a system of $n$ qubits. We give an efficient algorithm that outputs a separable state whose energy is at least $λ_{\max}/O(\log n)$, where $λ_{\max}$ is the maximu…
▽ More
We discuss classical algorithms for approximating the largest eigenvalue of quantum spin and fermionic Hamiltonians based on semidefinite programming relaxation methods. First, we consider traceless $2$-local Hamiltonians $H$ describing a system of $n$ qubits. We give an efficient algorithm that outputs a separable state whose energy is at least $λ_{\max}/O(\log n)$, where $λ_{\max}$ is the maximum eigenvalue of $H$. We also give a simplified proof of a theorem due to Lieb that establishes the existence of a separable state with energy at least $λ_{\max}/9$. Secondly, we consider a system of $n$ fermionic modes and traceless Hamiltonians composed of quadratic and quartic fermionic operators. We give an efficient algorithm that outputs a fermionic Gaussian state whose energy is at least $λ_{\max}/O(n\log n)$. Finally, we show that Gaussian states can vastly outperform Slater determinant states commonly used in the Hartree-Fock method. We give a simple family of Hamiltonians for which Gaussian states and Slater determinants approximate $λ_{\max}$ within a fraction $1-O(n^{-1})$ and $O(n^{-1})$ respectively.
△ Less
Submitted 6 August, 2018;
originally announced August 2018.
-
Continuum limits of homogeneous binary trees and the Thompson group
Authors:
Alexander Kliesch,
Robert Koenig
Abstract:
Tree tensor network descriptions of critical quantum spin chains are empirically known to reproduce correlation functions matching CFT predictions in the continuum limit. It is natural to seek a more complete correspondence, additionally incorporating dynamics. On the CFT side, this is determined by a representation of the diffeomorphism group of the circle. In a remarkable series of papers, Jones…
▽ More
Tree tensor network descriptions of critical quantum spin chains are empirically known to reproduce correlation functions matching CFT predictions in the continuum limit. It is natural to seek a more complete correspondence, additionally incorporating dynamics. On the CFT side, this is determined by a representation of the diffeomorphism group of the circle. In a remarkable series of papers, Jones outlined a research program where the Thompson group T takes the role of the latter in the discrete setting, and representations of T are constructed from certain elements of a subfactor planar algebra. He also showed that for a particular example of such a construction, this approach only yields - in the continuum limit - a representation which is highly discontinuous and hence unphysical. Here we show that the same issue arises generically when considering tree tensor networks: the set of coarse-graining maps yielding discontinuous representations has full measure in the set of all isometries. This extends Jones' no-go example to typical elements of the so-called tensor planar algebra. We also identify an easily verified necessary condition for a continuous limit to exist. This singles out a particular class of tree tensor networks. Our considerations apply to recent approaches for introducing dynamics in holographic codes.
△ Less
Submitted 13 May, 2018;
originally announced May 2018.
-
Learning to See the Invisible: End-to-End Trainable Amodal Instance Segmentation
Authors:
Patrick Follmann,
Rebecca König,
Philipp Härtinger,
Michael Klostermann
Abstract:
Semantic amodal segmentation is a recently proposed extension to instance-aware segmentation that includes the prediction of the invisible region of each object instance. We present the first all-in-one end-to-end trainable model for semantic amodal segmentation that predicts the amodal instance masks as well as their visible and invisible part in a single forward pass. In a detailed analysis, we…
▽ More
Semantic amodal segmentation is a recently proposed extension to instance-aware segmentation that includes the prediction of the invisible region of each object instance. We present the first all-in-one end-to-end trainable model for semantic amodal segmentation that predicts the amodal instance masks as well as their visible and invisible part in a single forward pass. In a detailed analysis, we provide experiments to show which architecture choices are beneficial for an all-in-one amodal segmentation model. On the COCO amodal dataset, our model outperforms the current baseline for amodal segmentation by a large margin. To further evaluate our model, we provide two new datasets with ground truth for semantic amodal segmentation, D2S amodal and COCOA cls. For both datasets, our model provides a strong baseline performance. Using special data augmentation techniques, we show that amodal segmentation on D2S amodal is possible with reasonable performance, even without providing amodal training data.
△ Less
Submitted 24 April, 2018;
originally announced April 2018.
-
MVTec D2S: Densely Segmented Supermarket Dataset
Authors:
Patrick Follmann,
Tobias Böttger,
Philipp Härtinger,
Rebecca König,
Markus Ulrich
Abstract:
We introduce the Densely Segmented Supermarket (D2S) dataset, a novel benchmark for instance-aware semantic segmentation in an industrial domain. It contains 21,000 high-resolution images with pixel-wise labels of all object instances. The objects comprise groceries and everyday products from 60 categories. The benchmark is designed such that it resembles the real-world setting of an automatic che…
▽ More
We introduce the Densely Segmented Supermarket (D2S) dataset, a novel benchmark for instance-aware semantic segmentation in an industrial domain. It contains 21,000 high-resolution images with pixel-wise labels of all object instances. The objects comprise groceries and everyday products from 60 categories. The benchmark is designed such that it resembles the real-world setting of an automatic checkout, inventory, or warehouse system. The training images only contain objects of a single class on a homogeneous background, while the validation and test sets are much more complex and diverse. To further benchmark the robustness of instance segmentation methods, the scenes are acquired with different lightings, rotations, and backgrounds. We ensure that there are no ambiguities in the labels and that every instance is labeled comprehensively. The annotations are pixel-precise and allow using crops of single instances for articial data augmentation. The dataset covers several challenges highly relevant in the field, such as a limited amount of training data and a high diversity in the test and validation sets. The evaluation of state-of-the-art object detection and instance segmentation methods on D2S reveals significant room for improvement.
△ Less
Submitted 25 July, 2018; v1 submitted 23 April, 2018;
originally announced April 2018.
-
Coherent state coding approaches the capacity of non-Gaussian bosonic channels
Authors:
Stefan Huber,
Robert Koenig
Abstract:
The additivity problem asks if the use of entanglement can boost the information-carrying capacity of a given channel beyond what is achievable by coding with simple product states only. This has recently been shown not to be the case for phase-insensitive one-mode Gaussian channels, but remains unresolved in general. Here we consider two general classes of bosonic noise channels, which include ph…
▽ More
The additivity problem asks if the use of entanglement can boost the information-carrying capacity of a given channel beyond what is achievable by coding with simple product states only. This has recently been shown not to be the case for phase-insensitive one-mode Gaussian channels, but remains unresolved in general. Here we consider two general classes of bosonic noise channels, which include phase-insensitive Gaussian channels as special cases: these are beamsplitters with general, potentially non-Gaussian environment states and classical noise channels with general probabilistic noise. We show that additivity violations, if existent, are rather minor for all these channels: the maximal gain in classical capacity is bounded by a constant independent of the input energy. Our proof shows that coding by simple classical modulation of coherent states is close to optimal.
△ Less
Submitted 9 April, 2018; v1 submitted 18 October, 2017;
originally announced October 2017.
-
Correcting coherent errors with surface codes
Authors:
Sergey Bravyi,
Matthias Englbrecht,
Robert Koenig,
Nolan Peard
Abstract:
We study how well topological quantum codes can tolerate coherent noise caused by systematic unitary errors such as unwanted $Z$-rotations. Our main result is an efficient algorithm for simulating quantum error correction protocols based on the 2D surface code in the presence of coherent errors. The algorithm has runtime $O(n^2)$, where $n$ is the number of physical qubits. It allows us to simulat…
▽ More
We study how well topological quantum codes can tolerate coherent noise caused by systematic unitary errors such as unwanted $Z$-rotations. Our main result is an efficient algorithm for simulating quantum error correction protocols based on the 2D surface code in the presence of coherent errors. The algorithm has runtime $O(n^2)$, where $n$ is the number of physical qubits. It allows us to simulate systems with more than one thousand qubits and obtain the first error threshold estimates for several toy models of coherent noise. Numerical results are reported for storage of logical states subject to $Z$-rotation errors and for logical state preparation with general $SU(2)$ errors. We observe that for large code distances the effective logical-level noise is well-approximated by random Pauli errors even though the physical-level noise is coherent. Our algorithm works by map** the surface code to a system of Majorana fermions.
△ Less
Submitted 5 October, 2017;
originally announced October 2017.
-
Quantum advantage with shallow circuits
Authors:
Sergey Bravyi,
David Gosset,
Robert Koenig
Abstract:
We prove that constant-depth quantum circuits are more powerful than their classical counterparts. To this end we introduce a non-oracular version of the Bernstein-Vazirani problem which we call the 2D Hidden Linear Function problem. An instance of the problem is specified by a quadratic form q that maps n-bit strings to integers modulo four. The goal is to identify a linear boolean function which…
▽ More
We prove that constant-depth quantum circuits are more powerful than their classical counterparts. To this end we introduce a non-oracular version of the Bernstein-Vazirani problem which we call the 2D Hidden Linear Function problem. An instance of the problem is specified by a quadratic form q that maps n-bit strings to integers modulo four. The goal is to identify a linear boolean function which describes the action of q on a certain subset of n-bit strings. We prove that any classical probabilistic circuit composed of bounded fan-in gates that solves the 2D Hidden Linear Function problem with high probability must have depth logarithmic in n. In contrast, we show that this problem can be solved with certainty by a constant-depth quantum circuit composed of one- and two-qubit gates acting locally on a two-dimensional grid.
△ Less
Submitted 3 April, 2017;
originally announced April 2017.
-
Generalized Log-Majorization and Multivariate Trace Inequalities
Authors:
Fumio Hiai,
Robert Koenig,
Marco Tomamichel
Abstract:
We show that recent multivariate generalizations of the Araki-Lieb-Thirring inequality and the Golden-Thompson inequality [Sutter, Berta, and Tomamichel, Comm. Math. Phys. (2016)] for Schatten norms hold more generally for all unitarily invariant norms and certain variations thereof. The main technical contribution is a generalization of the concept of log-majorization which allows us to treat maj…
▽ More
We show that recent multivariate generalizations of the Araki-Lieb-Thirring inequality and the Golden-Thompson inequality [Sutter, Berta, and Tomamichel, Comm. Math. Phys. (2016)] for Schatten norms hold more generally for all unitarily invariant norms and certain variations thereof. The main technical contribution is a generalization of the concept of log-majorization which allows us to treat majorization with regards to logarithmic integral averages of vectors of singular values.
△ Less
Submitted 10 December, 2017; v1 submitted 7 September, 2016;
originally announced September 2016.
-
On quantum additive Gaussian noise channels
Authors:
Martin Idel,
Robert Koenig
Abstract:
We give necessary and sufficient conditions for a Gaussian quantum channel to have a dilation involving a passive, i.e., number-preserving unitary. We then establish a normal form of such channels: any passively dilatable channel is the result of applying passive unitaries to the input and output of a Gaussian additive channel. The latter combine the state of the system with that of the environmen…
▽ More
We give necessary and sufficient conditions for a Gaussian quantum channel to have a dilation involving a passive, i.e., number-preserving unitary. We then establish a normal form of such channels: any passively dilatable channel is the result of applying passive unitaries to the input and output of a Gaussian additive channel. The latter combine the state of the system with that of the environment by means of a multi-mode beamsplitter.
△ Less
Submitted 26 April, 2017; v1 submitted 15 August, 2016;
originally announced August 2016.
-
LARES Satellite Thermal Forces and a Test of General Relativity
Authors:
Richard Matzner,
Phuc Nguyen,
Jason Brooks,
Ignazio Ciufolini,
Antonio Paolozzi,
Erricos C. Pavlis,
Rolf Koenig,
John Ries,
Vahe Gurzadyan,
Roger Penrose,
Giampiero Sindoni,
Claudio Paris,
Harutyun Khachatryan,
Sergey Mirzoyan
Abstract:
We summarize a laser-ranged satellite test of frame-dragging, a prediction of General Relativity, and then concentrate on the estimate of thermal thrust, an important perturbation affecting the accuracy of the test. The frame dragging study analysed 3.5 years of data from the LARES satellite and a longer period of time for the two LAGEOS satellites. Using the gravity field GGM05S obtained via the…
▽ More
We summarize a laser-ranged satellite test of frame-dragging, a prediction of General Relativity, and then concentrate on the estimate of thermal thrust, an important perturbation affecting the accuracy of the test. The frame dragging study analysed 3.5 years of data from the LARES satellite and a longer period of time for the two LAGEOS satellites. Using the gravity field GGM05S obtained via the Grace mission, which measures the Earth's gravitational field, the prediction of General Relativity is confirmed with a 1-$σ$ formal error of 0.002, and a systematic error of 0.05. The result for the value of the frame dragging around the Earth is $μ$ = 0.994, compared to $μ$ = 1 predicted by General Relativity. The thermal force model assumes heat flow from the sun (visual) and from Earth (IR) to the satellite core and to the fused silica reflectors on the satellite, and reradiation into space. For a roughly current epoch (days 1460 - 1580 after launch) we calculate an average along-track drag of -0.50 $pm/s^{2}$.
△ Less
Submitted 23 September, 2016; v1 submitted 29 July, 2016;
originally announced July 2016.
-
Geometric inequalities from phase space translations
Authors:
Stefan Huber,
Robert Koenig,
Anna Vershynina
Abstract:
We establish a quantum version of the classical isoperimetric inequality relating the Fisher information and the entropy power of a quantum state. The key tool is a Fisher information inequality for a state which results from a certain convolution operation: the latter maps a classical probability distribution on phase space and a quantum state to a quantum state. We show that this inequality also…
▽ More
We establish a quantum version of the classical isoperimetric inequality relating the Fisher information and the entropy power of a quantum state. The key tool is a Fisher information inequality for a state which results from a certain convolution operation: the latter maps a classical probability distribution on phase space and a quantum state to a quantum state. We show that this inequality also gives rise to several related inequalities whose counterparts are well-known in the classical setting: in particular, it implies an entropy power inequality for the mentioned convolution operation as well as the isoperimetric inequality, and establishes concavity of the entropy power along trajectories of the quantum heat diffusion semigroup. As an application, we derive a Log-Sobolev inequality for the quantum Ornstein-Uhlenbeck semigroup, and argue that it implies fast convergence towards the fixed point for a large class of initial states.
△ Less
Submitted 15 February, 2017; v1 submitted 28 June, 2016;
originally announced June 2016.
-
Preparing topologically ordered states by Hamiltonian interpolation
Authors:
Xiaotong Ni,
Fernando Pastawski,
Beni Yoshida,
Robert Koenig
Abstract:
We study the preparation of topologically ordered states by interpolating between an initial Hamiltonian with a unique product ground state and a Hamiltonian with a topologically degenerate ground state space. By simulating the dynamics for small systems, we numerically observe a certain stability of the prepared state as a function of the initial Hamiltonian. For small systems or long interpolati…
▽ More
We study the preparation of topologically ordered states by interpolating between an initial Hamiltonian with a unique product ground state and a Hamiltonian with a topologically degenerate ground state space. By simulating the dynamics for small systems, we numerically observe a certain stability of the prepared state as a function of the initial Hamiltonian. For small systems or long interpolation times, we argue that the resulting state can be identified by computing suitable effective Hamiltonians. For effective anyon models, this analysis singles out the relevant physical processes and extends the study of the splitting of the topological degeneracy by Bonderson. We illustrate our findings using Kitaev's Majorana chain, effective anyon chains, the toric code and Levin-Wen string-net models.
△ Less
Submitted 31 March, 2016;
originally announced April 2016.