-
Upward Translation of Optimal and P-Optimal Proof Systems in the Boolean Hierarchy over NP
Authors:
Fabian Egidy,
Christian Glaßer,
Martin Herold
Abstract:
We study the existence of optimal and p-optimal proof systems for classes in the Boolean hierarchy over $\mathrm{NP}$. Our main results concern $\mathrm{DP}$, i.e., the second level of this hierarchy:
If all sets in $\mathrm{DP}$ have p-optimal proof systems, then all sets in $\mathrm{coDP}$ have p-optimal proof systems. The analogous implication for optimal proof systems fails relative to an or…
▽ More
We study the existence of optimal and p-optimal proof systems for classes in the Boolean hierarchy over $\mathrm{NP}$. Our main results concern $\mathrm{DP}$, i.e., the second level of this hierarchy:
If all sets in $\mathrm{DP}$ have p-optimal proof systems, then all sets in $\mathrm{coDP}$ have p-optimal proof systems. The analogous implication for optimal proof systems fails relative to an oracle.
As a consequence, we clarify such implications for all classes $\mathcal{C}$ and $\mathcal{D}$ in the Boolean hierarchy over $\mathrm{NP}$: either we can prove the implication or show that it fails relative to an oracle. Furthermore, we show that the sets $\mathrm{SAT}$ and $\mathrm{TAUT}$ have p-optimal proof systems, if and only if all sets in the Boolean hierarchy over $\mathrm{NP}$ have p-optimal proof systems which is a new characterization of a conjecture studied by Pudlák.
△ Less
Submitted 21 September, 2023; v1 submitted 28 April, 2023;
originally announced April 2023.
-
Non-intrusive surrogate modelling using sparse random features with applications in crashworthiness analysis
Authors:
Maternus Herold,
Anna Veselovska,
Jonas Jehle,
Felix Krahmer
Abstract:
Efficient surrogate modelling is a key requirement for uncertainty quantification in data-driven scenarios. In this work, a novel approach of using Sparse Random Features for surrogate modelling in combination with self-supervised dimensionality reduction is described. The method is compared to other methods on synthetic and real data obtained from crashworthiness analyses. The results show a supe…
▽ More
Efficient surrogate modelling is a key requirement for uncertainty quantification in data-driven scenarios. In this work, a novel approach of using Sparse Random Features for surrogate modelling in combination with self-supervised dimensionality reduction is described. The method is compared to other methods on synthetic and real data obtained from crashworthiness analyses. The results show a superiority of the here described approach over state of the art surrogate modelling techniques, Polynomial Chaos Expansions and Neural Networks.
△ Less
Submitted 29 December, 2022;
originally announced December 2022.
-
deSpeckNet: Generalizing Deep Learning Based SAR Image Despeckling
Authors:
Adugna G. Mullissa,
Diego Marcos,
Devis Tuia,
Martin Herold,
Johannes Reiche
Abstract:
Deep learning (DL) has proven to be a suitable approach for despeckling synthetic aperture radar (SAR) images. So far, most DL models are trained to reduce speckle that follows a particular distribution, either using simulated noise or a specific set of real SAR images, limiting the applicability of these methods for real SAR images with unknown noise statistics. In this paper, we present a DL met…
▽ More
Deep learning (DL) has proven to be a suitable approach for despeckling synthetic aperture radar (SAR) images. So far, most DL models are trained to reduce speckle that follows a particular distribution, either using simulated noise or a specific set of real SAR images, limiting the applicability of these methods for real SAR images with unknown noise statistics. In this paper, we present a DL method, deSpeckNet1, that estimates the speckle noise distribution and the despeckled image simultaneously. Since it does not depend on a specific noise model, deSpeckNet generalizes well across SAR acquisitions in a variety of landcover conditions. We evaluated the performance of deSpeckNet on single polarized Sentinel-1 images acquired in Indonesia, The Democratic Republic of Congo and The Netherlands, a single polarized ALOS-2/PALSAR-2 image acquired in Japan and an Iceye X2 image acquired in Germany. In all cases, deSpeckNet was able to effectively reduce speckle and restore
△ Less
Submitted 5 December, 2020;
originally announced December 2020.
-
Cellular automaton decoders of topological quantum memories in the fault tolerant setting
Authors:
M. Herold,
M. J. Kastoryano,
E. T. Campbell,
J. Eisert
Abstract:
Active error decoding and correction of topological quantum codes - in particular the toric code - remains one of the most viable routes to large scale quantum information processing. In contrast, passive error correction relies on the natural physical dynamics of a system to protect encoded quantum information. However, the search is ongoing for a completely satisfactory passive scheme applicable…
▽ More
Active error decoding and correction of topological quantum codes - in particular the toric code - remains one of the most viable routes to large scale quantum information processing. In contrast, passive error correction relies on the natural physical dynamics of a system to protect encoded quantum information. However, the search is ongoing for a completely satisfactory passive scheme applicable to locally-interacting two-dimensional systems. Here, we investigate dynamical decoders that provide passive error correction by embedding the decoding process into local dynamics. We propose a specific discrete time cellular-automaton decoder in the fault tolerant setting and provide numerical evidence showing that the logical qubit has a survival time extended by several orders of magnitude over that of a bare unencoded qubit. We stress that (asynchronous) dynamical decoding gives rise to a Markovian dissipative process. We hence equate cellular-automaton decoding to a fully dissipative topological quantum memory, which removes errors continuously. In this sense, uncontrolled and unwanted local noise can be corrected for by a controlled local dissipative process. We analyze the required resources, commenting on additional polylogarithmic factors beyond those incurred by an ideal constant resource dynamical decoder.
△ Less
Submitted 30 June, 2017; v1 submitted 17 November, 2015;
originally announced November 2015.
-
An Open Solution to Provide Personalized Feedback for Building Energy Management
Authors:
Andrea Monacchi,
Fabio Versolatto,
Manuel Herold,
Dominik Egarter,
Andrea M. Tonello,
Wilfried Elmenreich
Abstract:
The integration of renewable energy sources increases the complexity in mantaining the power grid. In particular, the highly dynamic nature of generation and consumption demands for a better utilization of energy resources, which seen the cost of storage infrastructure, can only be achieved through demand-response. Accordingly, the availability of energy and potential overload situations can be re…
▽ More
The integration of renewable energy sources increases the complexity in mantaining the power grid. In particular, the highly dynamic nature of generation and consumption demands for a better utilization of energy resources, which seen the cost of storage infrastructure, can only be achieved through demand-response. Accordingly, the availability of energy and potential overload situations can be reflected using a price signal. The effectiveness of this mechanism arises from the flexibility of device operation, which is nevertheless heavily reliant on the exchange of information between the grid and its consumers. In this paper, we investigate the capability of an interactive energy management system to timely inform users on energy usage, in order to promote an optimal use of local resources. In particular, we analyze data being collected in several households in Italy and Austria to gain insights into usage behavior and drive the design of more effective systems. The outcome is the formulation of energy efficiency policies for residential buildings, as well as the design of an energy management system, consisting of hardware measurement units and a management software. The Mjölnir framework, which we release for open use, provides a platform where various feedback concepts can be implemented and assessed. This includes widgets displaying disaggregated and aggregated consumption information, as well as daily production and tailored advices. The formulated policies were implemented as an advisor widget able to autonomously analyze usage and provide tailored energy feedback.
△ Less
Submitted 6 May, 2015;
originally announced May 2015.
-
Cellular-automaton decoders for topological quantum memories
Authors:
Michael Herold,
Earl T. Campbell,
Jens Eisert,
Michael J. Kastoryano
Abstract:
We introduce a new framework for constructing topological quantum memories, by recasting error recovery as a dynamical process on a field generating cellular automaton. We envisage quantum systems controlled by a classical hardware composed of small local memories, communicating with neighbours, and repeatedly performing identical simple update rules. This approach does not require any global oper…
▽ More
We introduce a new framework for constructing topological quantum memories, by recasting error recovery as a dynamical process on a field generating cellular automaton. We envisage quantum systems controlled by a classical hardware composed of small local memories, communicating with neighbours, and repeatedly performing identical simple update rules. This approach does not require any global operations or complex decoding algorithms. Our cellular automata draw inspiration from classical field theories, with a Coulomb-like potential naturally emerging from the local dynamics. For a 3D automaton coupled to a 2D toric code, we present evidence of an error correction threshold above 6.1% for uncorrelated noise. A 2D automaton equipped with a more complex update rule yields a threshold above 8.2%. Our framework provides decisive new tools in the quest for realising a passive dissipative quantum memory.
△ Less
Submitted 27 October, 2015; v1 submitted 9 June, 2014;
originally announced June 2014.
-
Tropical orbit spaces and the moduli spaces of elliptic tropical curves
Authors:
Matthias Herold
Abstract:
We give a definition of tropical orbit spaces and their morphisms. We show that, under certain conditions, the weighted number of preimages of a point in the target of such a morphism does not depend on the choice of this point. We equip the moduli spaces of elliptic tropical curves with a structure of tropical orbit space and, using our results on tropical orbit spaces, simplify the known proof…
▽ More
We give a definition of tropical orbit spaces and their morphisms. We show that, under certain conditions, the weighted number of preimages of a point in the target of such a morphism does not depend on the choice of this point. We equip the moduli spaces of elliptic tropical curves with a structure of tropical orbit space and, using our results on tropical orbit spaces, simplify the known proof of the fact that the weighted number of plane elliptic tropical curves of degree d with fixed j-invariant which pass through 3d-1 points in general position in $\RR^2$ is independent of the choice of a configuration of points.
△ Less
Submitted 8 November, 2009;
originally announced November 2009.
-
Excess of EGRET Galactic Gamma Ray Data interpreted as Dark Matter Annihilation
Authors:
W. de Boer,
M. Herold,
C. Sander,
V. Zhukov,
A. V. Gladyshev,
D. I. Kazakov
Abstract:
The diffuse galactic EGRET gamma ray data show a clear excess for energies above 1 GeV in comparison with the expectations from conventional galactic models. The excess is seen with the same spectrum in all sky directions, as expected for Dark Matter (DM) annihilation. This hypothesis is investigated in detail. The energy spectrum of the excess is used to limit the WIMP mass to the 50-100 GeV ra…
▽ More
The diffuse galactic EGRET gamma ray data show a clear excess for energies above 1 GeV in comparison with the expectations from conventional galactic models. The excess is seen with the same spectrum in all sky directions, as expected for Dark Matter (DM) annihilation. This hypothesis is investigated in detail. The energy spectrum of the excess is used to limit the WIMP mass to the 50-100 GeV range, while the sky maps are used to determine the halo structure, which is consistent with a triaxial isothermal halo with additional enhancement of Dark Matter in the disc. The latter is strongly correlated with the ring of stars around our galaxy at a distance of 14 kpc, thought to originate from the tidal disruption of a dwarf galaxy. It is shown that this ring of DM with a mass of $\approx 2\cdot 10^{11} M_\odot$ causes the mysterious change of slope in the rotation curve at $R=1.1R_0$ and the large local surface density of the disc. The total mass of the halo is determined to be $3\cdot 10^{12} M_\odot$. A cuspy profile is definitely excluded to describe the gamma ray data. These signals of Dark Matter Annihilation are compatible with Supersymmetry for boost factors of 20 upwards and have a statistical significance of more than $10σ$ in comparison with the conventional galactic model. The latter combined with all features mentioned above provides an intriguing hint that the EGRET excess is indeed a signal from Dark Matter Annihilation.
△ Less
Submitted 19 August, 2004; v1 submitted 15 August, 2004;
originally announced August 2004.
-
Indirect Evidence for Neutralinos as Dark Matter
Authors:
W. de Boer,
M. Herold,
C. Sander,
V. Zhukov
Abstract:
From the relic density measurement by WMAP the WIMP annihilation cross section can be determined in a model independent way. If the WIMPS are postulated to be the neutralinos of Supersymmetry, then only a limited region of the supersymmetric parameter space matches this annihilation cross section. It is shown that the resulting positrons, antiprotons and gamma rays from the neutralino annihilati…
▽ More
From the relic density measurement by WMAP the WIMP annihilation cross section can be determined in a model independent way. If the WIMPS are postulated to be the neutralinos of Supersymmetry, then only a limited region of the supersymmetric parameter space matches this annihilation cross section. It is shown that the resulting positrons, antiprotons and gamma rays from the neutralino annihilation (mainly into b-bbar quark pairs) provide the correct shape and order of magnitude for the missing gamma and hard positron fluxes in the Galactic Models and are consistent with antiproton production.
△ Less
Submitted 2 December, 2003;
originally announced December 2003.
-
Indirect Evidence for the Supersymmetric Nature of Dark Matter from the Combined Data on Galactic Positrons, Antiprotons and Gamma Rays
Authors:
W. de Boer,
M. Herold,
C. Sander,
V. Zhukov
Abstract:
Two new observations have strengthened the case for the supersymmetric nature of the Cold Dark Matter component in our universe: First, it was shown that new data on the nuclear abundance, B/C - and 10Be/9Be ratios constrain the diffusion parameters in Galactic Models so strongly, that they lead to a clear deficiency in the production of diffuse hard gamma rays, antiprotons and hard positrons, i…
▽ More
Two new observations have strengthened the case for the supersymmetric nature of the Cold Dark Matter component in our universe: First, it was shown that new data on the nuclear abundance, B/C - and 10Be/9Be ratios constrain the diffusion parameters in Galactic Models so strongly, that they lead to a clear deficiency in the production of diffuse hard gamma rays, antiprotons and hard positrons, if no anomalous sources or anomalous energy dependence of the diffusion coefficients are postulated. Second, from the precise relic density measurement by WMAP the WIMP annihilation cross section can be determined in a model independent way. If the WIMPS are postulated to be the neutralinos of Supersymmetry, then only a limited region of parameter space matches this annihilation cross section. It is shown that the resulting positrons, antiprotons and gamma rays from the neutralino annihilation (mainly into b-quarks) provide the correct shape and magnitude for the missing fluxes in the Galactic Models.
The probability of a global fit to the galactic spectra of diffuse gamma rays, positrons and antiprotons improves from about 10^{-8} to 0.5, if Dark Matter, as predicted by Supersymmetry,is taken into account. This corresponds to about 6 sigma evidence for the supersymmetric nature of Dark Matter in case of Gaussian errors.
△ Less
Submitted 3 September, 2003;
originally announced September 2003.
