-
A new upper limit on the axion-photon coupling with an extended CAST run with a Xe-based Micromegas detector
Authors:
CAST Collaboration,
K. Altenmüller,
V. Anastassopoulos,
S. Arguedas-Cuendis,
S. Aune,
J. Baier,
K. Barth,
H. Bräuninger,
G. Cantatore,
F. Caspers,
J. F. Castel,
S. A. Çetin,
F. Christensen,
C. Cogollos,
T. Dafni,
M. Davenport,
T. A. Decker,
K. Desch,
D. Díez-Ibáñez,
B. Döbrich,
E. Ferrer-Ribas,
H. Fischer,
W. Funk,
J. Galán,
J. A. García
, et al. (40 additional authors not shown)
Abstract:
Hypothetical axions provide a compelling explanation for dark matter and could be emitted from the hot solar interior. The CERN Axion Solar Telescope (CAST) has been searching for solar axions via their back conversion to X-ray photons in a 9-T 10-m long magnet directed towards the Sun. We report on an extended run with the IAXO (International Axion Observatory) pathfinder detector, doubling the p…
▽ More
Hypothetical axions provide a compelling explanation for dark matter and could be emitted from the hot solar interior. The CERN Axion Solar Telescope (CAST) has been searching for solar axions via their back conversion to X-ray photons in a 9-T 10-m long magnet directed towards the Sun. We report on an extended run with the IAXO (International Axion Observatory) pathfinder detector, doubling the previous exposure time. The detector was operated with a xenon-based gas mixture for part of the new run, providing technical insights for future detector configurations in IAXO. No counts are detected in the 95\% signal-encircling region during the new run, while one is expected. The new data improve the axion-photon coupling limit to 5.7$\times 10^{-11}\,$GeV$^{-1}$ at 95\% C.L., the most restrictive experimental limit to date.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
Provably Better Explanations with Optimized Aggregation of Feature Attributions
Authors:
Thomas Decker,
Ananta R. Bhattarai,
**dong Gu,
Volker Tresp,
Florian Buettner
Abstract:
Using feature attributions for post-hoc explanations is a common practice to understand and verify the predictions of opaque machine learning models. Despite the numerous techniques available, individual methods often produce inconsistent and unstable results, putting their overall reliability into question. In this work, we aim to systematically improve the quality of feature attributions by comb…
▽ More
Using feature attributions for post-hoc explanations is a common practice to understand and verify the predictions of opaque machine learning models. Despite the numerous techniques available, individual methods often produce inconsistent and unstable results, putting their overall reliability into question. In this work, we aim to systematically improve the quality of feature attributions by combining multiple explanations across distinct methods or their variations. For this purpose, we propose a novel approach to derive optimal convex combinations of feature attributions that yield provable improvements of desired quality criteria such as robustness or faithfulness to the model behavior. Through extensive experiments involving various model architectures and popular feature attribution techniques, we demonstrate that our combination strategy consistently outperforms individual methods and existing baselines.
△ Less
Submitted 7 June, 2024;
originally announced June 2024.
-
Does Your Model Think Like an Engineer? Explainable AI for Bearing Fault Detection with Deep Learning
Authors:
Thomas Decker,
Michael Lebacher,
Volker Tresp
Abstract:
Deep Learning has already been successfully applied to analyze industrial sensor data in a variety of relevant use cases. However, the opaque nature of many well-performing methods poses a major obstacle for real-world deployment. Explainable AI (XAI) and especially feature attribution techniques promise to enable insights about how such models form their decision. But the plain application of suc…
▽ More
Deep Learning has already been successfully applied to analyze industrial sensor data in a variety of relevant use cases. However, the opaque nature of many well-performing methods poses a major obstacle for real-world deployment. Explainable AI (XAI) and especially feature attribution techniques promise to enable insights about how such models form their decision. But the plain application of such methods often fails to provide truly informative and problem-specific insights to domain experts. In this work, we focus on the specific task of detecting faults in rolling element bearings from vibration signals. We propose a novel and domain-specific feature attribution framework that allows us to evaluate how well the underlying logic of a model corresponds with expert reasoning. Utilizing the framework we are able to validate the trustworthiness and to successfully anticipate the generalization ability of different well-performing deep learning models. Our methodology demonstrates how signal processing tools can effectively be used to enhance Explainable AI techniques and acts as a template for similar problems.
△ Less
Submitted 19 October, 2023;
originally announced October 2023.
-
Explaining Deep Neural Networks for Bearing Fault Detection with Vibration Concepts
Authors:
Thomas Decker,
Michael Lebacher,
Volker Tresp
Abstract:
Concept-based explanation methods, such as Concept Activation Vectors, are potent means to quantify how abstract or high-level characteristics of input data influence the predictions of complex deep neural networks. However, applying them to industrial prediction problems is challenging as it is not immediately clear how to define and access appropriate concepts for individual use cases and specif…
▽ More
Concept-based explanation methods, such as Concept Activation Vectors, are potent means to quantify how abstract or high-level characteristics of input data influence the predictions of complex deep neural networks. However, applying them to industrial prediction problems is challenging as it is not immediately clear how to define and access appropriate concepts for individual use cases and specific data types. In this work, we investigate how to leverage established concept-based explanation techniques in the context of bearing fault detection with deep neural networks trained on vibration signals. Since bearings are prevalent in almost every rotating equipment, ensuring the reliability of intransparent fault detection models is crucial to prevent costly repairs and downtimes of industrial machinery. Our evaluations demonstrate that explaining opaque models in terms of vibration concepts enables human-comprehensible and intuitive insights about their inner workings, but the underlying assumptions need to be carefully validated first.
△ Less
Submitted 17 October, 2023;
originally announced October 2023.
-
Towards Scenario-based Safety Validation for Autonomous Trains with Deep Generative Models
Authors:
Thomas Decker,
Ananta R. Bhattarai,
Michael Lebacher
Abstract:
Modern AI techniques open up ever-increasing possibilities for autonomous vehicles, but how to appropriately verify the reliability of such systems remains unclear. A common approach is to conduct safety validation based on a predefined Operational Design Domain (ODD) describing specific conditions under which a system under test is required to operate properly. However, collecting sufficient real…
▽ More
Modern AI techniques open up ever-increasing possibilities for autonomous vehicles, but how to appropriately verify the reliability of such systems remains unclear. A common approach is to conduct safety validation based on a predefined Operational Design Domain (ODD) describing specific conditions under which a system under test is required to operate properly. However, collecting sufficient realistic test cases to ensure comprehensive ODD coverage is challenging. In this paper, we report our practical experiences regarding the utility of data simulation with deep generative models for scenario-based ODD validation. We consider the specific use case of a camera-based rail-scene segmentation system designed to support autonomous train operation. We demonstrate the capabilities of semantically editing railway scenes with deep generative models to make a limited amount of test data more representative. We also show how our approach helps to analyze the degree to which a system complies with typical ODD requirements. Specifically, we focus on evaluating proper operation under different lighting and weather conditions as well as while transitioning between them.
△ Less
Submitted 16 October, 2023;
originally announced October 2023.
-
The Thousand Faces of Explainable AI Along the Machine Learning Life Cycle: Industrial Reality and Current State of Research
Authors:
Thomas Decker,
Ralf Gross,
Alexander Koebler,
Michael Lebacher,
Ronald Schnitzer,
Stefan H. Weber
Abstract:
In this paper, we investigate the practical relevance of explainable artificial intelligence (XAI) with a special focus on the producing industries and relate them to the current state of academic XAI research. Our findings are based on an extensive series of interviews regarding the role and applicability of XAI along the Machine Learning (ML) lifecycle in current industrial practice and its expe…
▽ More
In this paper, we investigate the practical relevance of explainable artificial intelligence (XAI) with a special focus on the producing industries and relate them to the current state of academic XAI research. Our findings are based on an extensive series of interviews regarding the role and applicability of XAI along the Machine Learning (ML) lifecycle in current industrial practice and its expected relevance in the future. The interviews were conducted among a great variety of roles and key stakeholders from different industry sectors. On top of that, we outline the state of XAI research by providing a concise review of the relevant literature. This enables us to provide an encompassing overview covering the opinions of the surveyed persons as well as the current state of academic research. By comparing our interview results with the current research approaches we reveal several discrepancies. While a multitude of different XAI approaches exists, most of them are centered around the model evaluation phase and data scientists. Their versatile capabilities for other stages are currently either not sufficiently explored or not popular among practitioners. In line with existing work, our findings also confirm that more efforts are needed to enable also non-expert users' interpretation and understanding of opaque AI models with existing methods and frameworks.
△ Less
Submitted 11 October, 2023;
originally announced October 2023.
-
Quantum amplitude estimation with error mitigation for time-evolving probabilistic networks
Authors:
M. C. Braun,
T. Decker,
N. Hegemann,
S. F. Kerstan,
C. Maier,
J. Ulmanis
Abstract:
We present a method to model a discretized time evolution of probabilistic networks on gate-based quantum computers. We consider networks of nodes, where each node can be in one of two states: good or failed. In each time step, probabilities are assigned for each node to fail (switch from good to failed) or to recover (switch from failed to good). Furthermore, probabilities are assigned for failin…
▽ More
We present a method to model a discretized time evolution of probabilistic networks on gate-based quantum computers. We consider networks of nodes, where each node can be in one of two states: good or failed. In each time step, probabilities are assigned for each node to fail (switch from good to failed) or to recover (switch from failed to good). Furthermore, probabilities are assigned for failing nodes to trigger the failure of other, good nodes. Our method can evaluate arbitrary network topologies for any number of time steps. We can therefore model events such as cascaded failure and avalanche effects which are inherent to financial networks, payment and supply chain networks, power grids, telecommunication networks and others. Using quantum amplitude estimation techniques, we are able to estimate the probability of any configuration for any set of nodes over time. This allows us, for example, to determine the probability of the first node to be in the good state after the last time step, without the necessity to track intermediate states. We present the results of a low-depth quantum amplitude estimation on a simulator with a realistic noise model. We also present the results for running this example on the AQT quantum computer system PINE. Finally, we introduce an error model that allows us to improve the results from the simulator and from the experiments on the PINE system.
△ Less
Submitted 29 March, 2023;
originally announced March 2023.
-
Towards optimization under uncertainty for fundamental models in energy markets using quantum computers
Authors:
M. C. Braun,
T. Decker,
N. Hegemann,
S. F. Kerstan,
F. Lorenz
Abstract:
We present a method to formulate the unit commitment problem in energy production as quadratic unconstrained binary optimization (QUBO) problem, which can be solved by classical algorithms and quantum computers. We suggest a first approach to consider uncertainties in the renewable energy supply, power demand and machine failures. We show how to find cost-saving solutions of the UCP under these un…
▽ More
We present a method to formulate the unit commitment problem in energy production as quadratic unconstrained binary optimization (QUBO) problem, which can be solved by classical algorithms and quantum computers. We suggest a first approach to consider uncertainties in the renewable energy supply, power demand and machine failures. We show how to find cost-saving solutions of the UCP under these uncertainties on quantum computers. We also conduct a study with different problem sizes and we compare results of simulated annealing with results from quantum annealing machines.
△ Less
Submitted 3 January, 2023;
originally announced January 2023.
-
Error Resilient Quantum Amplitude Estimation from Parallel Quantum Phase Estimation
Authors:
M. C. Braun,
T. Decker,
N. Hegemann,
S. F. Kerstan
Abstract:
We show how phase and amplitude estimation algorithms can be parallelized. This can reduce the gate depth of the quantum circuits to that of a single Grover operator with a small overhead. Further, we show that for quantum amplitude estimation, the parallelization can lead to vast improvements in resilience against quantum errors. The resilience is not caused by the lower gate depth, but by the st…
▽ More
We show how phase and amplitude estimation algorithms can be parallelized. This can reduce the gate depth of the quantum circuits to that of a single Grover operator with a small overhead. Further, we show that for quantum amplitude estimation, the parallelization can lead to vast improvements in resilience against quantum errors. The resilience is not caused by the lower gate depth, but by the structure of the algorithm. Even in cases with errors that make it impossible to read out the exact or approximate solutions from conventional amplitude estimation, our parallel approach provided the correct solution with high probability. The results on error resilience hold for the standard version and for low depth versions of quantum amplitude estimation. Methods presented are subject of a patent application [Quantum computing device: Patent application EP 21207022.1].
△ Less
Submitted 16 December, 2022; v1 submitted 4 April, 2022;
originally announced April 2022.
-
A Quantum Algorithm for the Sensitivity Analysis of Business Risks
Authors:
M. C. Braun,
T. Decker,
N. Hegemann,
S. F. Kerstan,
C. Schäfer
Abstract:
We present a novel use case for quantum computation: the sensitivity analysis for a risk model used at Deutsche Börse Group. Such an analysis is computationally too expensive to perform on classical computers. We show in detail how the risk model and its analysis can be implemented as a quantum circuit. We test small scale versions of the model in simulation and find that the expected quadratic sp…
▽ More
We present a novel use case for quantum computation: the sensitivity analysis for a risk model used at Deutsche Börse Group. Such an analysis is computationally too expensive to perform on classical computers. We show in detail how the risk model and its analysis can be implemented as a quantum circuit. We test small scale versions of the model in simulation and find that the expected quadratic speedup compared to the classical implementation used at Deutsche Börse Group can be realized. Full scale production usage would be possible with less than 200 error corrected qubits. Our quantum algorithm introduces unitary but imperfect oracles which use Quantum Amplitude Estimation to detect and mark states. This construction should be of general interest and we present theoretical results regarding the performance of Grover's search algorithm with imperfect oracles.
△ Less
Submitted 9 March, 2021;
originally announced March 2021.
-
Towards systems tissue engineering: elucidating the dynamics, spatial coordination, and individual cells driving emergent behaviors
Authors:
Matthew S Hall,
Joseph T Decker,
Lonnie D Shea
Abstract:
Biomaterial systems have allowed for the in vitro production of complex, emergent tissue behaviors that were not possible with conventional 2D culture systems allowing for analysis of the normal development as well as disease processes. We propose that the path towards develo** the design parameters for biomaterial systems lies with identifying the molecular drivers of emergent behavior through…
▽ More
Biomaterial systems have allowed for the in vitro production of complex, emergent tissue behaviors that were not possible with conventional 2D culture systems allowing for analysis of the normal development as well as disease processes. We propose that the path towards develo** the design parameters for biomaterial systems lies with identifying the molecular drivers of emergent behavior through leveraging technological advances in systems biology, including single cell omics, genetic engineering, and high content imaging. This research focus, which we term systems tissue engineering, can uniquely interrogate the mechanisms by which complex tissue behaviors emerge with the potential to capture the contribution of i) dynamic regulation of tissue development and dysregulation, ii) single cell heterogeneity and the function of rare cell types, and iii) the spatial distribution and structure of individual cells and cell types within a tissue. Collectively, systems tissue engineering can facilitate the identification of biomaterial design parameters that will accelerate basic science discovery and translation.
△ Less
Submitted 15 October, 2019;
originally announced October 2019.
-
New CAST Limit on the Axion-Photon Interaction
Authors:
CAST collaboration,
V. Anastassopoulos,
S. Aune,
K. Barth,
A. Belov,
H. Brauninger,
G. Cantatore,
J. M. Carmona,
J. F. Castel,
S. A. Cetin,
F. Christensen,
J. I. Collar,
T. Dafni,
M. Davenport,
T. A. Decker,
A. Dermenev,
K. Desch,
C. Eleftheriadis,
G. Fanourakis,
E. Ferrer-Ribas,
H. Fischer,
J. A. Garcia,
A. Gardikiotis,
J. G. Garza,
E. N. Gazis
, et al. (42 additional authors not shown)
Abstract:
During 2003--2015, the CERN Axion Solar Telescope (CAST) has searched for $a\toγ$ conversion in the 9 T magnetic field of a refurbished LHC test magnet that can be directed toward the Sun. In its final phase of solar axion searches (2013--2015), CAST has returned to evacuated magnet pipes, which is optimal for small axion masses. The absence of a significant signal above background provides a worl…
▽ More
During 2003--2015, the CERN Axion Solar Telescope (CAST) has searched for $a\toγ$ conversion in the 9 T magnetic field of a refurbished LHC test magnet that can be directed toward the Sun. In its final phase of solar axion searches (2013--2015), CAST has returned to evacuated magnet pipes, which is optimal for small axion masses. The absence of a significant signal above background provides a world leading limit of $g_{aγ} < 0.66 \times 10^{-10} {\rm GeV}^{-1}$ (95% C.L.) on the axion-photon coupling strength for $m_a \lesssim 0.02$ eV. Compared with the first vacuum phase (2003--2004), the sensitivity was vastly increased with low-background x-ray detectors and a new x-ray telescope. These innovations also serve as pathfinders for a possible next-generation axion helioscope.
△ Less
Submitted 20 December, 2017; v1 submitted 5 May, 2017;
originally announced May 2017.
-
Infrared properties of micromachined vanadium oxide thin films
Authors:
Martin Rees,
Haifei Wang,
Thomas Decker,
Robinson L. Smith
Abstract:
This paper discusses questions of synthesizing and pressing vanadium oxides to create film-forming materials that can be used in producing optical coatings. Based on the film-forming materials thus created, technological processes have been developed for fabricating coatings from vanadium dioxide by two methods of producing thin films: vacuum evaporation and magnetron sputtering. Questions of usin…
▽ More
This paper discusses questions of synthesizing and pressing vanadium oxides to create film-forming materials that can be used in producing optical coatings. Based on the film-forming materials thus created, technological processes have been developed for fabricating coatings from vanadium dioxide by two methods of producing thin films: vacuum evaporation and magnetron sputtering. Questions of using films made from vanadium oxide in optical instrumentation are considered.
△ Less
Submitted 28 February, 2017;
originally announced March 2017.
-
A Micromegas-based low-background x-ray detector coupled to a slumped-glass telescope for axion research
Authors:
F. Aznar,
J. Castel,
F. E. Christensen,
T. Dafni,
T. A. Decker,
E. Ferrer-Ribas,
J. A. Garcia,
I. Giomataris,
J. G. Gracia,
C. J. Hailey,
R. M. Hill,
F. J. Iguaz,
I. G. Irastorza,
A. C. Jakobsen,
G. Luzon,
H. Mirallas,
T. Papaevangelou,
M. J. Pivovaroff,
J. Ruz,
T. Vafeiadis,
J. K. Vogel
Abstract:
We report on the design, construction and operation of a low background x-ray detection line composed of a shielded Micromegas (micromesh gaseous structure) detector of the microbulk technique. The detector is made from radiopure materials and is placed at the focal point of a $\sim$~5 cm diameter, 1.3 m focal-length, cone-approximation Wolter I x-ray telescope (XRT) comprised of thermally-formed…
▽ More
We report on the design, construction and operation of a low background x-ray detection line composed of a shielded Micromegas (micromesh gaseous structure) detector of the microbulk technique. The detector is made from radiopure materials and is placed at the focal point of a $\sim$~5 cm diameter, 1.3 m focal-length, cone-approximation Wolter I x-ray telescope (XRT) comprised of thermally-formed (or "slumped") glass substrates deposited with multilayer coatings. The system has been conceived as a technological pathfinder for the future International Axion Observatory (IAXO), as it combines two of the techniques (optic and detector) proposed in the conceptual design of the project. It is innovative for two reasons: it is the first time an x-ray optic has been designed and fabricated specifically for axion research, and the first time a Micromegas detector has been operated with an x-ray optic. The line has been installed at one end of the CERN Axion Solar Telescope (CAST) magnet and is currently looking for solar axions. The combination of the XRT and Micromegas detector provides the best signal-to-noise ratio obtained so far by any detection system of the CAST experiment with a background rate of 5.4$\times$10$^{-3}\;$counts per hour in the energy region-of-interest and signal spot area.
△ Less
Submitted 21 September, 2015;
originally announced September 2015.
-
Low Background Micromegas in CAST
Authors:
J. G. Garza,
S. Aune,
D. Calvet,
J. F. Castel,
F. E. Christensen,
T. Dafni,
M. Davenport,
T. Decker,
E. Ferrer-Ribas,
J. Galán,
J. A. García,
I. Giomataris,
R. M. Hill,
F. J. Iguaz,
I. G. Irastorza,
A. C. Jakobsen,
D. Jourde,
H. Mirallas,
I. Ortega,
T. Papaevangelou,
M. J. Pivovaroff,
J. Ruz,
A. Tomás,
T. Vafeiadis,
J. K. Vogel
Abstract:
Solar axions could be converted into x-rays inside the strong magnetic field of an axion helioscope, triggering the detection of this elusive particle. Low background x-ray detectors are an essential component for the sensitivity of these searches. We report on the latest developments of the Micromegas detectors for the CERN Axion Solar Telescope (CAST), including technological pathfinder activiti…
▽ More
Solar axions could be converted into x-rays inside the strong magnetic field of an axion helioscope, triggering the detection of this elusive particle. Low background x-ray detectors are an essential component for the sensitivity of these searches. We report on the latest developments of the Micromegas detectors for the CERN Axion Solar Telescope (CAST), including technological pathfinder activities for the future International Axion Observatory (IAXO). The use of low background techniques and the application of discrimination algorithms based on the high granularity of the readout have led to background levels below 10$^{-6}$ counts/keV/cm$^2$/s, more than a factor 100 lower than the first generation of Micromegas detectors. The best levels achieved at the Canfranc Underground Laboratory (LSC) are as low as 10$^{-7}$ counts/keV/cm$^2$/s, showing good prospects for the application of this technology in IAXO. The current background model, based on underground and surface measurements, is presented, as well as the strategies to further reduce the background level. Finally, we will describe the R&D paths to achieve sub-keV energy thresholds, which could broaden the physics case of axion helioscopes.
△ Less
Submitted 17 March, 2015;
originally announced March 2015.
-
An efficient quantum algorithm for finding hidden parabolic subgroups in the general linear group
Authors:
Thomas Decker,
Gábor Ivanyos,
Raghav Kulkarni,
Youming Qiao,
Miklos Santha
Abstract:
In the theory of algebraic groups, parabolic subgroups form a crucial building block in the structural studies. In the case of general linear groups over a finite field $F_q$, given a sequence of positive integers $n_1, ..., n_k$, where $n=n_1+...+n_k$, a parabolic subgroup of parameter $(n_1, ..., n_k)$ in $GL_n(F_q)$ is a conjugate of the subgroup consisting of block lower triangular matrices wh…
▽ More
In the theory of algebraic groups, parabolic subgroups form a crucial building block in the structural studies. In the case of general linear groups over a finite field $F_q$, given a sequence of positive integers $n_1, ..., n_k$, where $n=n_1+...+n_k$, a parabolic subgroup of parameter $(n_1, ..., n_k)$ in $GL_n(F_q)$ is a conjugate of the subgroup consisting of block lower triangular matrices where the $i$th block is of size $n_i$. Our main result is a quantum algorithm of time polynomial in $\log q$ and $n$ for solving the hidden subgroup problem in $GL_n(F_q)$, when the hidden subgroup is promised to be a parabolic subgroup. Our algorithm works with no prior knowledge of the parameter of the hidden parabolic subgroup. Prior to this work, such an efficient quantum algorithm was only known for the case $n=2$ (A. Denney, C. Moore, and A. Russell (2010), Quantum Inf. Comput., Vol. 10, pp. 282-291), and for minimal parabolic subgroups (Borel subgroups), for the case when $q$ is not much smaller than $n$ (G. Ivanyos: Quantum Inf. Comput., Vol. 12, pp. 661-669).
△ Less
Submitted 2 November, 2014; v1 submitted 25 June, 2014;
originally announced June 2014.
-
Polynomial time quantum algorithms for certain bivariate hidden polynomial problems
Authors:
Thomas Decker,
Peter Hoyer,
Gabor Ivanyos,
Miklos Santha
Abstract:
We present a new method for solving the hidden polynomial graph problem (HPGP) which is a special case of the hidden polynomial problem (HPP). The new approach yields an efficient quantum algorithm for the bivariate HPGP even when the input consists of several level set superpositions, a more difficult version of the problem than the one where the input is given by an oracle. For constant degree,…
▽ More
We present a new method for solving the hidden polynomial graph problem (HPGP) which is a special case of the hidden polynomial problem (HPP). The new approach yields an efficient quantum algorithm for the bivariate HPGP even when the input consists of several level set superpositions, a more difficult version of the problem than the one where the input is given by an oracle. For constant degree, the algorithm is polylogarithmic in the size of the base field. We also apply the results to give an efficient quantum algorithm for the oracle version of the HPP for an interesting family of bivariate hidden functions. This family includes diagonal quadratic forms and elliptic curves.
△ Less
Submitted 8 October, 2013; v1 submitted 7 May, 2013;
originally announced May 2013.
-
Hidden Symmetry Subgroup Problems
Authors:
Thomas Decker,
Gábor Ivanyos,
Miklos Santha,
Pawel Wocjan
Abstract:
We advocate a new approach of addressing hidden structure problems and finding efficient quantum algorithms. We introduce and investigate the Hidden Symmetry Subgroup Problem (HSSP), which is a generalization of the well-studied Hidden Subgroup Problem (HSP). Given a group acting on a set and an oracle whose level sets define a partition of the set, the task is to recover the subgroup of symmetrie…
▽ More
We advocate a new approach of addressing hidden structure problems and finding efficient quantum algorithms. We introduce and investigate the Hidden Symmetry Subgroup Problem (HSSP), which is a generalization of the well-studied Hidden Subgroup Problem (HSP). Given a group acting on a set and an oracle whose level sets define a partition of the set, the task is to recover the subgroup of symmetries of this partition inside the group. The HSSP provides a unifying framework that, besides the HSP, encompasses a wide range of algebraic oracle problems, including quadratic hidden polynomial problems. While the HSSP can have provably exponential quantum query complexity, we obtain efficient quantum algorithms for various interesting cases. To achieve this, we present a general method for reducing the HSSP to the HSP, which works efficiently in several cases related to symmetries of polynomials. The HSSP therefore connects in a rather surprising way certain hidden polynomial problems with the HSP. Using this connection, we obtain the first efficient quantum algorithm for the hidden polynomial problem for multivariate quadratic polynomials over fields of constant characteristic. We also apply the new methods to polynomial function graph problems and present an efficient quantum procedure for constant degree multivariate polynomials over any field. This result improves in several ways the currently known algorithms.
△ Less
Submitted 18 January, 2012; v1 submitted 12 July, 2011;
originally announced July 2011.
-
How much is a quantum controller controlled by the controlled system?
Authors:
Dominik Janzing,
Thomas Decker
Abstract:
We consider unitary transformations on a bipartite system A x B. To what extent entails the ability to transmit information from A to B the ability to transfer information in the converse direction? We prove a dimension-dependent lower bound on the classical channel capacity C(A<--B) in terms of the capacity C(A-->B) for the case that the bipartite unitary operation consists of controlled local…
▽ More
We consider unitary transformations on a bipartite system A x B. To what extent entails the ability to transmit information from A to B the ability to transfer information in the converse direction? We prove a dimension-dependent lower bound on the classical channel capacity C(A<--B) in terms of the capacity C(A-->B) for the case that the bipartite unitary operation consists of controlled local unitaries on B conditioned on basis states on A. This can be interpreted as a statement on the strength of the inevitable backaction of a quantum system on its controller.
If the local operations are given by the regular representation of a finite group G we have C(A-->B)=log |G| and C(A<--B)=log N where N is the sum over the degrees of all inequivalent representations. Hence the information deficit C(A-->B)-C(A<--B) between the forward and the backward capacity depends on the "non-abelianness" of the control group. For regular representations, the ratio between backward and forward capacities cannot be smaller than 1/2. The symmetric group S_n reaches this bound asymptotically. However, for the general case (without group structure) all bounds must depend on the dimensions since it is known that the ratio can tend to zero.
△ Less
Submitted 20 August, 2007; v1 submitted 10 August, 2007;
originally announced August 2007.
-
The Optimal Single Copy Measurement for the Hidden Subgroup Problem
Authors:
Dave Bacon,
Thomas Decker
Abstract:
The optimization of measurements for the state distinction problem has recently been applied to the theory of quantum algorithms with considerable successes, including efficient new quantum algorithms for the non-abelian hidden subgroup problem. Previous work has identified the optimal single copy measurement for the hidden subgroup problem over abelian groups as well as for the non-abelian prob…
▽ More
The optimization of measurements for the state distinction problem has recently been applied to the theory of quantum algorithms with considerable successes, including efficient new quantum algorithms for the non-abelian hidden subgroup problem. Previous work has identified the optimal single copy measurement for the hidden subgroup problem over abelian groups as well as for the non-abelian problem in the setting where the subgroups are restricted to be all conjugate to each other. Here we describe the optimal single copy measurement for the hidden subgroup problem when all of the subgroups of the group are given with equal a priori probability. The optimal measurement is seen to be a hybrid of the two previously discovered single copy optimal measurements for the hidden subgroup problem.
△ Less
Submitted 22 January, 2008; v1 submitted 29 June, 2007;
originally announced June 2007.
-
Efficient Quantum Algorithm for Identifying Hidden Polynomials
Authors:
Thomas Decker,
Jan Draisma,
Pawel Wocjan
Abstract:
We consider a natural generalization of an abelian Hidden Subgroup Problem where the subgroups and their cosets correspond to graphs of linear functions over a finite field F with d elements. The hidden functions of the generalized problem are not restricted to be linear but can also be m-variate polynomial functions of total degree n>=2.
The problem of identifying hidden m-variate polynomials…
▽ More
We consider a natural generalization of an abelian Hidden Subgroup Problem where the subgroups and their cosets correspond to graphs of linear functions over a finite field F with d elements. The hidden functions of the generalized problem are not restricted to be linear but can also be m-variate polynomial functions of total degree n>=2.
The problem of identifying hidden m-variate polynomials of degree less or equal to n for fixed n and m is hard on a classical computer since Omega(sqrt{d}) black-box queries are required to guarantee a constant success probability. In contrast, we present a quantum algorithm that correctly identifies such hidden polynomials for all but a finite number of values of d with constant probability and that has a running time that is only polylogarithmic in d.
△ Less
Submitted 2 September, 2008; v1 submitted 8 June, 2007;
originally announced June 2007.
-
Efficient Quantum Algorithm for Hidden Quadratic and Cubic Polynomial Function Graphs
Authors:
Thomas Decker,
Pawel Wocjan
Abstract:
We introduce the Hidden Polynomial Function Graph Problem as a natural generalization of an abelian Hidden Subgroup Problem (HSP) where the subgroups and their cosets correspond to graphs of linear functions over the finite field F_p. For the Hidden Polynomial Function Graph Problem the functions are not restricted to be linear but can also be multivariate polynomial functions of higher degree.…
▽ More
We introduce the Hidden Polynomial Function Graph Problem as a natural generalization of an abelian Hidden Subgroup Problem (HSP) where the subgroups and their cosets correspond to graphs of linear functions over the finite field F_p. For the Hidden Polynomial Function Graph Problem the functions are not restricted to be linear but can also be multivariate polynomial functions of higher degree.
For a fixed number of indeterminates and bounded total degree the Hidden Polynomial Function Graph Problem is hard on a classical computer as its black box query complexity is polynomial in p. In contrast, this problem can be reduced to a quantum state identification problem so that the resulting quantum query complexity does not depend on p. For univariate polynomials we construct a von Neumann measurement for distinguishing the states. We relate the success probability and the implementation of this measurement to certain classical problems involving polynomial equations. We present an efficient algorithm for hidden quadratic and cubic function graphs by establishing that the success probability of the measurement is lower bounded by a constant and that it can be implemented efficiently.
△ Less
Submitted 16 May, 2007; v1 submitted 21 March, 2007;
originally announced March 2007.
-
A low background Micromegas detector for the CAST experiment
Authors:
P. Abbon,
S. Andriamonje,
S. Aune,
D. Besin,
S. Cazaux,
P. Contrepois,
T. Dafni,
T. Decker,
N. Duportail,
G. Fanourakis,
E. Ferrer Ribas,
T. Geralis,
A. Giganon,
I. Giomataris,
M. Gros,
R. Hill,
I. G. Irastorza,
K. Kousouris,
J. Morales,
M. Pivovaroff,
M. Riallot,
R. Soufli,
K. Zachariadou,
G. Zaffanela
Abstract:
A low background Micromegas detector has been operating on the CAST experiment at CERN for the search of solar axions during the first phase of the experiment (2002-2004). The detector operated efficiently and achieved a very low level of background rejection ($5\times 10^{-5}$ counts keV$^{-1}$cm$^{-2}$s$^{-1}$) thanks to its good spatial and energy resolution as well as the low radioactivity m…
▽ More
A low background Micromegas detector has been operating on the CAST experiment at CERN for the search of solar axions during the first phase of the experiment (2002-2004). The detector operated efficiently and achieved a very low level of background rejection ($5\times 10^{-5}$ counts keV$^{-1}$cm$^{-2}$s$^{-1}$) thanks to its good spatial and energy resolution as well as the low radioactivity materials used in the construction of the detector. For the second phase of the experiment (2005-2007), the detector will be upgraded by adding a shielding and including focusing optics. These improvements should allow for a background rejection better than two orders of magnitude.
△ Less
Submitted 28 October, 2005;
originally announced October 2005.
-
Symmetric measurements attaining the accessible information
Authors:
Thomas Decker
Abstract:
A theorem of Davies states that for symmetric quantum states there exists a symmetric POVM maximizing the mutual information. To apply this theorem the representation of the symmetry group has to be irreducible. We obtain a similar yet weaker result for reducible representations. We apply our results to the double trines ensemble and show numerically that for this ensemble the pretty good measur…
▽ More
A theorem of Davies states that for symmetric quantum states there exists a symmetric POVM maximizing the mutual information. To apply this theorem the representation of the symmetry group has to be irreducible. We obtain a similar yet weaker result for reducible representations. We apply our results to the double trines ensemble and show numerically that for this ensemble the pretty good measurement is optimal.
△ Less
Submitted 19 September, 2005;
originally announced September 2005.
-
Minimally-disturbing Heisenberg-Weyl symmetric measurements using hard-core collisions of Schrödinger particles
Authors:
Dominik Janzing,
Thomas Decker
Abstract:
In a previous paper we have presented a general scheme for the implementation of symmetric generalized measurements (POVMs) on a quantum computer. This scheme is based on representation theory of groups and methods to decompose matrices that intertwine two representations. We extend this scheme in such a way that the measurement is minimally disturbing, i.e., it changes the state vector \ketΨ of…
▽ More
In a previous paper we have presented a general scheme for the implementation of symmetric generalized measurements (POVMs) on a quantum computer. This scheme is based on representation theory of groups and methods to decompose matrices that intertwine two representations. We extend this scheme in such a way that the measurement is minimally disturbing, i.e., it changes the state vector \ketΨ of the system to \sqrtΠ \ketΨ where Πis the positive operator corresponding to the measured result.
Using this method, we construct quantum circuits for measurements with Heisenberg-Weyl symmetry. A continuous generalization leads to a scheme for optimal simultaneous measurements of position and momentum of a Schr"odinger particle moving in one dimension such that the outcomes satisfy Δx Δp \geq \hbar.
The particle to be measured collides with two probe particles, one for the position and the other for the momentum measurement. The position and momentum resolution can be tuned by the entangled joint state of the probe particles which is also generated by a collision with hard-core potential. The parameters of the POVM can then be controlled by the initial widths of the wave functions of the probe particles. We point out some formal similarities and differences to simultaneous measurements of quadrature amplitudes in quantum optics.
△ Less
Submitted 4 July, 2006; v1 submitted 11 July, 2005;
originally announced July 2005.
-
Implementation of group-covariant POVMs by orthogonal measurements
Authors:
Thomas Decker,
Dominik Janzing,
Martin Roetteler
Abstract:
We consider group-covariant positive operator valued measures (POVMs) on a finite dimensional quantum system. Following Neumark's theorem a POVM can be implemented by an orthogonal measurement on a larger system. Accordingly, our goal is to find an implementation of a given group-covariant POVM by a quantum circuit using its symmetry. Based on representation theory of the symmetry group we devel…
▽ More
We consider group-covariant positive operator valued measures (POVMs) on a finite dimensional quantum system. Following Neumark's theorem a POVM can be implemented by an orthogonal measurement on a larger system. Accordingly, our goal is to find an implementation of a given group-covariant POVM by a quantum circuit using its symmetry. Based on representation theory of the symmetry group we develop a general approach for the implementation of group-covariant POVMs which consist of rank-one operators. The construction relies on a method to decompose matrices that intertwine two representations of a finite group. We give several examples for which the resulting quantum circuits are efficient. In particular, we obtain efficient quantum circuits for a class of POVMs generated by Weyl-Heisenberg groups. These circuits allow to implement an approximative simultaneous measurement of the position and crystal momentum of a particle moving on a cyclic chain.
△ Less
Submitted 7 July, 2004;
originally announced July 2004.
-
Quantum circuits for single-qubit measurements corresponding to platonic solids
Authors:
Thomas Decker,
Dominik Janzing,
Thomas Beth
Abstract:
Each platonic solid defines a single-qubit positive operator valued measure (POVM) by interpreting its vertices as points on the Bloch sphere. We construct simple circuits for implementing this kind of measurements and other simple types of symmetric POVMs on one qubit. Each implementation consists of a discrete Fourier transform and some elementary quantum operations followed by an orthogonal m…
▽ More
Each platonic solid defines a single-qubit positive operator valued measure (POVM) by interpreting its vertices as points on the Bloch sphere. We construct simple circuits for implementing this kind of measurements and other simple types of symmetric POVMs on one qubit. Each implementation consists of a discrete Fourier transform and some elementary quantum operations followed by an orthogonal measurement in the computational basis.
△ Less
Submitted 19 August, 2003;
originally announced August 2003.
-
Measuring 4-local n-qubit observables could probabilistically solve PSPACE
Authors:
Pawel Wocjan,
Dominik Janzing,
Thomas Decker,
Thomas Beth
Abstract:
We consider a hypothetical apparatus that implements measurements for arbitrary 4-local quantum observables A on n qubits. The apparatus implements the ``measurement algorithm'' after receiving a classical description of A. We show that a few precise measurements, applied to a basis state would provide a probabilistic solution of PSPACE problems. The error probability decreases exponentially wit…
▽ More
We consider a hypothetical apparatus that implements measurements for arbitrary 4-local quantum observables A on n qubits. The apparatus implements the ``measurement algorithm'' after receiving a classical description of A. We show that a few precise measurements, applied to a basis state would provide a probabilistic solution of PSPACE problems. The error probability decreases exponentially with the number of runs if the measurement accuracy is of the order of the spectral gaps of A.
Moreover, every decision problem which can be solved on a quantum computer in T time steps can be encoded into a 4-local observable such that the solution requires only measurements of accuracy O(1/T).
Provided that BQP<>PSPACE, our result shows that efficient algorithms for precise measurements of general 4-local observables cannot exist. We conjecture that the class of physically existing interactions is large enough to allow the conclusion that precise energy measurements for general many-particle systems require control algorithms with high complexity.
△ Less
Submitted 1 August, 2003;
originally announced August 2003.
-
Performing joint measurements and transformations on several qubits by operating on a single control qubit
Authors:
Dominik Janzing,
Thomas Decker,
Thomas Beth
Abstract:
An n-qubit quantum register can in principle be completely controlled by operating on a single qubit that interacts with the register via an appropriate fixed interaction. We consider a hypothetical system consisting of n spin-1/2 nuclei that interact with an electron spin via a magnetic interaction. We describe algorithms that measure non-trivial joint observables on the register by acting on t…
▽ More
An n-qubit quantum register can in principle be completely controlled by operating on a single qubit that interacts with the register via an appropriate fixed interaction. We consider a hypothetical system consisting of n spin-1/2 nuclei that interact with an electron spin via a magnetic interaction. We describe algorithms that measure non-trivial joint observables on the register by acting on the control spin only. For large n this is not an efficient model for universal quantum computation but it can be modified to an efficient one if one allows n possible positions of the control particle.
This toy model of measurements illustrates in which way specific interactions between the register and a probe particle support specific types of joint measurements in the sense that some joint observables can be measured by simple sequences of operations on the probe particle.
△ Less
Submitted 23 July, 2002;
originally announced July 2002.