-
Mechanical detection of nuclear decays
Authors:
Jiaxiang Wang,
T. W. Penny,
Juan Recoaro,
Benjamin Siegel,
Yu-Han Tseng,
David C. Moore
Abstract:
We report the detection of individual nuclear $α$ decays through the mechanical recoil of the entire micron-sized particle in which the decaying nuclei are embedded. Momentum conservation ensures that such measurements are sensitive to any particles emitted in the decay, including neutral particles that may otherwise evade detection with existing techniques. Detection of the minuscule recoil of an…
▽ More
We report the detection of individual nuclear $α$ decays through the mechanical recoil of the entire micron-sized particle in which the decaying nuclei are embedded. Momentum conservation ensures that such measurements are sensitive to any particles emitted in the decay, including neutral particles that may otherwise evade detection with existing techniques. Detection of the minuscule recoil of an object more than $10^{12}$ times more massive than the emitted particles is made possible by recently developed techniques in levitated optomechanics, which enable high-precision optical control and measurement of the mechanical motion of optically trapped particles. Observation of a change in the net charge of the particle coincident with the recoil allows decays to be identified with background levels at the micro-Becquerel level. The techniques developed here may find use in fields ranging from nuclear forensics to dark matter and neutrino physics.
△ Less
Submitted 8 July, 2024; v1 submitted 18 January, 2024;
originally announced February 2024.
-
Quantum Sensors for High Energy Physics
Authors:
Aaron Chou,
Kent Irwin,
Reina H. Maruyama,
Oliver K. Baker,
Chelsea Bartram,
Karl K. Berggren,
Gustavo Cancelo,
Daniel Carney,
Clarence L. Chang,
Hsiao-Mei Cho,
Maurice Garcia-Sciveres,
Peter W. Graham,
Salman Habib,
Roni Harnik,
J. G. E. Harris,
Scott A. Hertel,
David B. Hume,
Rakshya Khatiwada,
Timothy L. Kovachy,
Noah Kurinsky,
Steve K. Lamoreaux,
Konrad W. Lehnert,
David R. Leibrandt,
Dale Li,
Ben Loer
, et al. (17 additional authors not shown)
Abstract:
Strong motivation for investing in quantum sensing arises from the need to investigate phenomena that are very weakly coupled to the matter and fields well described by the Standard Model. These can be related to the problems of dark matter, dark sectors not necessarily related to dark matter (for example sterile neutrinos), dark energy and gravity, fundamental constants, and problems with the Sta…
▽ More
Strong motivation for investing in quantum sensing arises from the need to investigate phenomena that are very weakly coupled to the matter and fields well described by the Standard Model. These can be related to the problems of dark matter, dark sectors not necessarily related to dark matter (for example sterile neutrinos), dark energy and gravity, fundamental constants, and problems with the Standard Model itself including the Strong CP problem in QCD. Resulting experimental needs typically involve the measurement of very low energy impulses or low power periodic signals that are normally buried under large backgrounds. This report documents the findings of the 2023 Quantum Sensors for High Energy Physics workshop which identified enabling quantum information science technologies that could be utilized in future particle physics experiments, targeting high energy physics science goals.
△ Less
Submitted 3 November, 2023;
originally announced November 2023.
-
SuperGaN: Synthesis of NbTiN/GaN/NbTiN Tunnel Junctions
Authors:
Michael Cyberey,
Scott Hinton,
Christopher Moore,
Robert M. Weikle,
Arthur Lichtenberger
Abstract:
Nb-based circuits have broad applications in quantum-limited photon detectors, low-noise parametric amplifiers, superconducting digital logic circuits, and low-loss circuits for quantum computing. The current state-of-the-art approach for superconductor-insulator-superconductor (SIS) junction material is the Gurvitch trilayer process based on magnetron sputtering of Nb electrodes with Al-Oxide or…
▽ More
Nb-based circuits have broad applications in quantum-limited photon detectors, low-noise parametric amplifiers, superconducting digital logic circuits, and low-loss circuits for quantum computing. The current state-of-the-art approach for superconductor-insulator-superconductor (SIS) junction material is the Gurvitch trilayer process based on magnetron sputtering of Nb electrodes with Al-Oxide or AlN tunnel barriers grown on an Al overlayer. However, a current limitation of elemental Nb-based circuits is the low-loss operation of THz circuits operating above the 670 GHz gap frequency of Nb and operation at higher temperatures for projects with a strict power budget, such as space-based applications.
NbTiN is an alternative higher energy gap material and we have previously reported on the first NbTiN/AlN/NbTiN superconducting-insulating-superconducting (SIS) junctions with an epitaxially grown AlN tunnel barrier. One drawback of a directly grown tunnel barrier compared to thermal oxidation or plasma nitridation is control of the barrier thickness and uniformity across a substrate, leading to variations in current density (Jc). Semiconductor barriers with smaller barrier heights enable thicker tunnel barriers for a given Jc. GaN is an alternative semiconductor material with a closed-packed Wurtzite crystal structure similar to AlN and it can be epitaxially grown as a tunnel barrier using the Reactive Bias Target Ion Beam Deposition (RBTIBD) technique. This work presents the preliminary results of the first reported high-quality NbTiN/GaN/NbTiN heterojunctions with underdamped SIS I(V) characteristics.
△ Less
Submitted 26 September, 2023;
originally announced September 2023.
-
Collision-resolved pressure sensing
Authors:
Daniel S. Barker,
Daniel Carney,
Thomas W. LeBrun,
David C. Moore,
Jacob M. Taylor
Abstract:
Heat and pressure are ultimately transmitted via quantized degrees of freedom, like gas particles and phonons. While a continuous Brownian description of these noise sources is adequate to model measurements with relatively long integration times, sufficiently precise measurements can resolve the detailed time dependence coming from individual bath-system interactions. We propose the use of nanome…
▽ More
Heat and pressure are ultimately transmitted via quantized degrees of freedom, like gas particles and phonons. While a continuous Brownian description of these noise sources is adequate to model measurements with relatively long integration times, sufficiently precise measurements can resolve the detailed time dependence coming from individual bath-system interactions. We propose the use of nanomechanical devices operated with impulse readout sensitivity around the ``standard quantum limit'' to sense ultra-low gas pressures by directly counting the individual collisions of gas particles on a sensor. We illustrate this in two paradigmatic model systems: an optically levitated nanobead and a tethered membrane system in a phononic bandgap shield.
△ Less
Submitted 17 March, 2023;
originally announced March 2023.
-
Searches for massive neutrinos with mechanical quantum sensors
Authors:
Daniel Carney,
Kyle G. Leach,
David C. Moore
Abstract:
The development of quantum optomechanics now allows mechanical sensors with femtogram masses to be controlled and measured in the quantum regime. If the mechanical element contains isotopes that undergo nuclear decay, measuring the recoil of the sensor following the decay allows reconstruction of the total momentum of all emitted particles, including any neutral particles that may escape detection…
▽ More
The development of quantum optomechanics now allows mechanical sensors with femtogram masses to be controlled and measured in the quantum regime. If the mechanical element contains isotopes that undergo nuclear decay, measuring the recoil of the sensor following the decay allows reconstruction of the total momentum of all emitted particles, including any neutral particles that may escape detection in traditional detectors. As an example, for weak nuclear decays the momentum of the emitted neutrino can be reconstructed on an event-by-event basis. We present the concept that a single nanometer-scale, optically levitated sensor operated with sensitivity near the standard quantum limit can search for heavy sterile neutrinos in the keV-MeV mass range with sensitivity significantly beyond existing constraints. We also comment on the possibility that mechanical sensors operated well into the quantum regime might ultimately reach the sensitivities required to provide an absolute measurement of the mass of the light neutrino states.
△ Less
Submitted 13 February, 2023; v1 submitted 12 July, 2022;
originally announced July 2022.
-
MAQRO -- BPS 2023 Research Campaign Whitepaper
Authors:
Rainer Kaltenbaek,
Markus Arndt,
Markus Aspelmeyer,
Peter F. Barker,
Angelo Bassi,
James Bateman,
Alessio Belenchia,
Joel Bergé,
Sougato Bose,
Claus Braxmaier,
Bruno Christophe,
Garrett D. Cole,
Catalina Curceanu,
Animesh Datta,
Maxime Debiossac,
Uroš Delić,
Lajos Diósi,
Andrew A. Geraci,
Stefan Gerlich,
Christine Guerlin,
Gerald Hechenblaikner,
Antoine Heidmann,
Sven Herrmann,
Klaus Hornberger,
Ulrich Johann
, et al. (21 additional authors not shown)
Abstract:
The objective of the proposed MAQRO mission is to harness space for achieving long free-fall times, extreme vacuum, nano-gravity, and cryogenic temperatures to test the foundations of physics in macroscopic quantum experiments. This will result in the development of novel quantum sensors and a means to probe the foundations of quantum physics at the interface with gravity. Earlier studies showed t…
▽ More
The objective of the proposed MAQRO mission is to harness space for achieving long free-fall times, extreme vacuum, nano-gravity, and cryogenic temperatures to test the foundations of physics in macroscopic quantum experiments. This will result in the development of novel quantum sensors and a means to probe the foundations of quantum physics at the interface with gravity. Earlier studies showed that the proposal is feasible but that several critical challenges remain, and key technologies need to be developed. These new technologies will open up the potential for achieving additional science objectives. The proposed research campaign aims to advance the state of the art and to perform the first macroscopic quantum experiments in space. Experiments on the ground, in micro-gravity, and in space will drive the proposed research campaign during the current decade to enable the implementation of MAQRO within the subsequent decade.
△ Less
Submitted 3 February, 2022;
originally announced February 2022.
-
Coherent scattering of low mass dark matter from optically trapped sensors
Authors:
Gadi Afek,
Daniel Carney,
David C. Moore
Abstract:
We propose a search for low mass dark matter particles through momentum recoils caused by their scattering from trapped, nm-scale objects. Our projections show that even with a modest array of fg-mass sensors, parameter-space beyond the reach of existing experiments can be explored. The case of smaller, ag-mass sensors is also analyzed - where dark matter can coherently scatter from the entire sen…
▽ More
We propose a search for low mass dark matter particles through momentum recoils caused by their scattering from trapped, nm-scale objects. Our projections show that even with a modest array of fg-mass sensors, parameter-space beyond the reach of existing experiments can be explored. The case of smaller, ag-mass sensors is also analyzed - where dark matter can coherently scatter from the entire sensor - enabling a large enhancement in the scattering cross-section relative to interactions with single nuclei. Large arrays of such sensors have the potential to explore new parameter space down to dark matter masses as low as 10 keV. If recoils from dark matter are detected by such sensors, their inherent directional sensitivity would allow an unambiguous identification of a dark matter signal.
△ Less
Submitted 9 March, 2022; v1 submitted 5 November, 2021;
originally announced November 2021.
-
Control and measurement of electric dipole moments in levitated optomechanics
Authors:
Gadi Afek,
Fernando Monteiro,
Benjamin Siegel,
Jiaxiang Wang,
Sarah Dickson,
Juan Recoaro,
Molly Watts,
David C. Moore
Abstract:
Levitated optomechanical systems are rapidly becoming leading tools for precision sensing, enabling a high level of control over the sensor's center of mass motion, rotation and electric charge state. Higher-order multipole moments in the charge distribution, however, remain a major source of backgrounds. By applying controlled precessive torques to the dipole moment of a levitated microsphere in…
▽ More
Levitated optomechanical systems are rapidly becoming leading tools for precision sensing, enabling a high level of control over the sensor's center of mass motion, rotation and electric charge state. Higher-order multipole moments in the charge distribution, however, remain a major source of backgrounds. By applying controlled precessive torques to the dipole moment of a levitated microsphere in vacuum, we demonstrate cancellation of dipole-induced backgrounds by 2 orders of magnitude. We measure the dipole moments of ng-mass spheres and determine their scaling with sphere size, finding that the dominant torques arise from induced dipole moments related to dielectric-loss properties of the SiO$_2$ spheres. Control of multipole moments in the charge distribution of levitated sensors is a key requirement to sufficiently reduce background sources in future applications.
△ Less
Submitted 26 October, 2021; v1 submitted 9 August, 2021;
originally announced August 2021.
-
Trapped electrons and ions as particle detectors
Authors:
Daniel Carney,
Hartmut Häffner,
David C. Moore,
Jacob M. Taylor
Abstract:
Electrons and ions trapped with electromagnetic fields have long served as important high-precision metrological instruments, and more recently have also been proposed as a platform for quantum information processing. Here we point out that these systems can also be used as highly sensitive detectors of passing charged particles, due to the combination of their extreme charge-to-mass ratio and low…
▽ More
Electrons and ions trapped with electromagnetic fields have long served as important high-precision metrological instruments, and more recently have also been proposed as a platform for quantum information processing. Here we point out that these systems can also be used as highly sensitive detectors of passing charged particles, due to the combination of their extreme charge-to-mass ratio and low-noise quantum readout and control. In particular, these systems can be used to detect energy depositions many orders of magnitude below typical ionization scales. As illustrations, we suggest some applications in particle physics. We outline a non-destructive time-of-flight measurement capable of sub-eV energy resolution for slowly moving, collimated particles. We also show that current devices can be used to provide competitive sensitivity to models where ambient dark matter particles carry small electric millicharges $\ll e$. Our calculations may also be useful in the characterization of noise in quantum computers coming from backgrounds of charged particles.
△ Less
Submitted 5 August, 2021; v1 submitted 12 April, 2021;
originally announced April 2021.
-
Searching for new physics using optically levitated sensors
Authors:
David C. Moore,
Andrew A. Geraci
Abstract:
We describe a variety of searches for new physics beyond the Standard Model of particle physics which may be enabled in the coming years by the use of optically levitated masses in high vacuum. Such systems are expected to reach force and acceleration sensitivities approaching (and possibly eventually exceeding) the standard quantum limit over the next decade. For new forces or phenomena that coup…
▽ More
We describe a variety of searches for new physics beyond the Standard Model of particle physics which may be enabled in the coming years by the use of optically levitated masses in high vacuum. Such systems are expected to reach force and acceleration sensitivities approaching (and possibly eventually exceeding) the standard quantum limit over the next decade. For new forces or phenomena that couple to mass, high precision sensing using objects with masses in the fg-ng range have significant discovery potential for new physics. Such applications include tests of fundamental force laws, searches for non-neutrality of matter, high-frequency gravitational wave detectors, dark matter searches, and tests of quantum foundations using massive objects.
△ Less
Submitted 14 January, 2021; v1 submitted 30 August, 2020;
originally announced August 2020.
-
Mechanical Quantum Sensing in the Search for Dark Matter
Authors:
Daniel Carney,
Gordan Krnjaic,
David C. Moore,
Cindy A. Regal,
Gadi Afek,
Sunil Bhave,
Benjamin Brubaker,
Thomas Corbitt,
Jonathan Cripe,
Nicole Crisosto,
Andrew Geraci,
Sohitri Ghosh,
Jack G. E. Harris,
Anson Hook,
Edward W. Kolb,
Jonathan Kunjummen,
Rafael F. Lang,
Tongcang Li,
Tongyan Lin,
Zhen Liu,
Joseph Lykken,
Lorenzo Magrini,
Jack Manley,
Nobuyuki Matsumoto,
Alissa Monte
, et al. (10 additional authors not shown)
Abstract:
Numerous astrophysical and cosmological observations are best explained by the existence of dark matter, a mass density which interacts only very weakly with visible, baryonic matter. Searching for the extremely weak signals produced by this dark matter strongly motivate the development of new, ultra-sensitive detector technologies. Paradigmatic advances in the control and readout of massive mecha…
▽ More
Numerous astrophysical and cosmological observations are best explained by the existence of dark matter, a mass density which interacts only very weakly with visible, baryonic matter. Searching for the extremely weak signals produced by this dark matter strongly motivate the development of new, ultra-sensitive detector technologies. Paradigmatic advances in the control and readout of massive mechanical systems, in both the classical and quantum regimes, have enabled unprecedented levels of sensitivity. In this white paper, we outline recent ideas in the potential use of a range of solid-state mechanical sensing technologies to aid in the search for dark matter in a number of energy scales and with a variety of coupling mechanisms.
△ Less
Submitted 13 August, 2020;
originally announced August 2020.
-
Force and acceleration sensing with optically levitated nanogram masses at microkelvin temperatures
Authors:
Fernando Monteiro,
Wenqiang Li,
Gadi Afek,
Chang-ling Li,
Michael Mossman,
David C. Moore
Abstract:
This paper demonstrates cooling of the center-of-mass motion of 10 $μ$m-diameter optically levitated silica spheres to an effective temperature of $50\pm22 μ$K, achieved by minimizing the technical pointing noise of the trap** laser. This low noise leads to an acceleration and force sensitivity of $95\pm41$ n$g/\sqrt{\mathrm{Hz}}$ ($g = 9.8$ m/s$^2$) and $0.95\pm0.11$ aN$/\sqrt{\mathrm{Hz}}$, re…
▽ More
This paper demonstrates cooling of the center-of-mass motion of 10 $μ$m-diameter optically levitated silica spheres to an effective temperature of $50\pm22 μ$K, achieved by minimizing the technical pointing noise of the trap** laser. This low noise leads to an acceleration and force sensitivity of $95\pm41$ n$g/\sqrt{\mathrm{Hz}}$ ($g = 9.8$ m/s$^2$) and $0.95\pm0.11$ aN$/\sqrt{\mathrm{Hz}}$, respectively, at frequencies near 50 Hz. This force sensitivity is comparable to that demonstrated for optically levitated nanospheres that are $10^4$ times less massive, corresponding to an acceleration sensitivity that is several orders of magnitude better. It is further shown that under these conditions the spheres remain stably trapped at pressures of $\sim 10^{-7}$ mbar with no active cooling for periods longer than a day. Feedback cooling is still necessary in the moderate-pressure regime, motivating a comprehensive study of the loss mechanisms of the microspheres and providing better understanding of the requirements for feedback-free optical trap** in vacuum. This work can enable high-sensitivity searches for accelerations and forces acting on micron-sized masses, including those that could be produced by new physics beyond the Standard Model.
△ Less
Submitted 29 January, 2020;
originally announced January 2020.
-
A window into NV center kinetics via repeated annealing and spatial tracking of thousands of individual NV centers
Authors:
Srivatsa Chakravarthi,
Chris Moore,
April Opsvig,
Christian Pederson,
Emma Hunt,
Andrew Ivanov,
Ian Christen,
Scott Dunham,
Kai-Mei C Fu
Abstract:
Knowledge of the nitrogen-vacancy center formation kinetics in diamond is critical to engineering sensors and quantum information devices based on this defect. Here we utilize the longitudinal tracking of single NV centers to elucidate NV defect kinetics during high-temperature annealing from 800-1100 $^\circ$C in high-purity chemical-vapor-deposition diamond. We observe three phenomena which can…
▽ More
Knowledge of the nitrogen-vacancy center formation kinetics in diamond is critical to engineering sensors and quantum information devices based on this defect. Here we utilize the longitudinal tracking of single NV centers to elucidate NV defect kinetics during high-temperature annealing from 800-1100 $^\circ$C in high-purity chemical-vapor-deposition diamond. We observe three phenomena which can coexist: NV formation, NV quenching, and NV orientation changes. Of relevance to NV-based applications, a 6 to 24-fold enhancement in the NV density, in the absence of sample irradiation, is observed by annealing at 980 $^\circ$C, and NV orientation changes are observed at 1050 $^\circ$C. With respect to the fundamental understanding of defect kinetics in ultra-pure diamond, our results indicate a significant vacancy source can be activated for NV creation between 950-980 $^\circ$C and suggests that native hydrogen from NVH$_y$ complexes plays a dominant role in NV quenching, in agreement with recent {\it ab initio} calculations. Finally, the direct observation of orientation changes allows us to estimate an NV diffusion barrier of 5.1~eV.
△ Less
Submitted 23 November, 2019; v1 submitted 17 July, 2019;
originally announced July 2019.
-
Optical Rotation of Levitated Spheres in High Vacuum
Authors:
Fernando Monteiro,
Sumita Ghosh,
Elizabeth C. van Assendelft,
David C. Moore
Abstract:
A circularly polarized laser beam is used to levitate and control the rotation of microspheres in high vacuum. At low pressure, rotation frequencies as high as 6 MHz are observed for birefringent vaterite spheres, limited by centrifugal stresses. Due to the extremely low dam** in high vacuum, controlled optical rotation of amorphous SiO$_2$ spheres is also observed at rates above several MHz. At…
▽ More
A circularly polarized laser beam is used to levitate and control the rotation of microspheres in high vacuum. At low pressure, rotation frequencies as high as 6 MHz are observed for birefringent vaterite spheres, limited by centrifugal stresses. Due to the extremely low dam** in high vacuum, controlled optical rotation of amorphous SiO$_2$ spheres is also observed at rates above several MHz. At $10^{-7}$ mbar, a dam** time of $6\times10^4$ s is measured for a $10\ μ$m diameter SiO$_2$ sphere. No additional dam** mechanisms are observed above gas dam**, indicating that even longer dam** times may be possible with operation at lower pressure. The controlled optical rotation of microspheres at MHz frequencies with low dam**, including for materials that are not intrinsically birefringent, provides a new tool for performing precision measurements using optically levitated systems.
△ Less
Submitted 12 March, 2018;
originally announced March 2018.
-
Optical levitation of 10 nanogram spheres with nano-$g$ acceleration sensitivity
Authors:
Fernando Monteiro,
Sumita Ghosh,
Adam Getzels Fine,
David C. Moore
Abstract:
We demonstrate optical levitation of SiO$_2$ spheres with masses ranging from 0.1 to 30 nanograms. In high vacuum, we observe that the measured acceleration sensitivity improves for larger masses and obtain a sensitivity of $0.4 \times 10^{-6}\ g/\sqrt{\mathrm{Hz}}$ for a 12 ng sphere, more than an order of magnitude better than previously reported for optically levitated masses. In addition, thes…
▽ More
We demonstrate optical levitation of SiO$_2$ spheres with masses ranging from 0.1 to 30 nanograms. In high vacuum, we observe that the measured acceleration sensitivity improves for larger masses and obtain a sensitivity of $0.4 \times 10^{-6}\ g/\sqrt{\mathrm{Hz}}$ for a 12 ng sphere, more than an order of magnitude better than previously reported for optically levitated masses. In addition, these techniques permit long integration times and a mean acceleration of $(-0.7\pm2.4\,[stat] \pm 0.2\,[syst])\times ~ 10^{-9}\,g$ is measured in $1.4\times 10^4$~s. Spheres larger than 10~ng are found to lose mass in high vacuum where heating due to absorption of the trap** laser dominates radiative cooling. This absorption constrains the maximum size of spheres that can be levitated and allows a measurement of the absorption of the trap** light for the commercially available spheres tested here. Spheres consisting of material with lower absorption may allow larger objects to be optically levitated in high vacuum.
△ Less
Submitted 4 May, 2018; v1 submitted 13 November, 2017;
originally announced November 2017.
-
Time evolution of interacting bosons through squeezing Hamiltonians
Authors:
Chester Moore,
David Edward Bruschi
Abstract:
We study the full time evolution of one- and two-mode bosonic quantum systems that interact through single- and two-mode squeezing Hamiltonians. We establish that the single- and two-mode cases are formally equivalent, leading to the same differential equations encoding the full time evolution. These differential equations can be easily employed in any application. We analytically predict a dramat…
▽ More
We study the full time evolution of one- and two-mode bosonic quantum systems that interact through single- and two-mode squeezing Hamiltonians. We establish that the single- and two-mode cases are formally equivalent, leading to the same differential equations encoding the full time evolution. These differential equations can be easily employed in any application. We analytically predict a dramatic transition in the population of the modes when the coupling takes a specific critical value, leading to exponential growth of the excitation population. We discuss the validity, scope and generality of our results.
△ Less
Submitted 17 May, 2018; v1 submitted 8 January, 2016;
originally announced January 2016.
-
Quantum Fourier sampling, Code Equivalence, and the quantum security of the McEliece and Sidelnikov cryptosystems
Authors:
Hang Dinh,
Cristopher Moore,
Alexander Russell
Abstract:
The Code Equivalence problem is that of determining whether two given linear codes are equivalent to each other up to a permutation of the coordinates. This problem has a direct reduction to a nonabelian hidden subgroup problem (HSP), suggesting a possible quantum algorithm analogous to Shor's algorithms for factoring or discrete log. However, we recently showed that in many cases of interest---in…
▽ More
The Code Equivalence problem is that of determining whether two given linear codes are equivalent to each other up to a permutation of the coordinates. This problem has a direct reduction to a nonabelian hidden subgroup problem (HSP), suggesting a possible quantum algorithm analogous to Shor's algorithms for factoring or discrete log. However, we recently showed that in many cases of interest---including Goppa codes---solving this case of the HSP requires rich, entangled measurements. Thus, solving these cases of Code Equivalence via Fourier sampling appears to be out of reach of current families of quantum algorithms.
Code equivalence is directly related to the security of McEliece-type cryptosystems in the case where the private code is known to the adversary. However, for many codes the support splitting algorithm of Sendrier provides a classical attack in this case. We revisit the claims of our previous article in the light of these classical attacks, and discuss the particular case of the Sidelnikov cryptosystem, which is based on Reed-Muller codes.
△ Less
Submitted 18 November, 2011;
originally announced November 2011.
-
Approximate Representations and Approximate Homomorphisms
Authors:
Cristopher Moore,
Alexander Russell
Abstract:
Approximate algebraic structures play a defining role in arithmetic combinatorics and have found remarkable applications to basic questions in number theory and pseudorandomness. Here we study approximate representations of finite groups: functions f:G -> U_d such that Pr[f(xy) = f(x) f(y)] is large, or more generally Exp_{x,y} ||f(xy) - f(x)f(y)||^2$ is small, where x and y are uniformly random e…
▽ More
Approximate algebraic structures play a defining role in arithmetic combinatorics and have found remarkable applications to basic questions in number theory and pseudorandomness. Here we study approximate representations of finite groups: functions f:G -> U_d such that Pr[f(xy) = f(x) f(y)] is large, or more generally Exp_{x,y} ||f(xy) - f(x)f(y)||^2$ is small, where x and y are uniformly random elements of the group G and U_d denotes the unitary group of degree d. We bound these quantities in terms of the ratio d / d_min where d_min is the dimension of the smallest nontrivial representation of G. As an application, we bound the extent to which a function f : G -> H can be an approximate homomorphism where H is another finite group. We show that if H's representations are significantly smaller than G's, no such f can be much more homomorphic than a random function.
We interpret these results as showing that if G is quasirandom, that is, if d_min is large, then G cannot be embedded in a small number of dimensions, or in a less-quasirandom group, without significant distortion of G's multiplicative structure. We also prove that our bounds are tight by showing that minors of genuine representations and their polar decompositions are essentially optimal approximate representations.
△ Less
Submitted 30 September, 2010;
originally announced September 2010.
-
The McEliece Cryptosystem Resists Quantum Fourier Sampling Attacks
Authors:
Hang Dinh,
Cristopher Moore,
Alexander Russell
Abstract:
Quantum computers can break the RSA and El Gamal public-key cryptosystems, since they can factor integers and extract discrete logarithms. If we believe that quantum computers will someday become a reality, we would like to have \emph{post-quantum} cryptosystems which can be implemented today with classical computers, but which will remain secure even in the presence of quantum attacks.
In this…
▽ More
Quantum computers can break the RSA and El Gamal public-key cryptosystems, since they can factor integers and extract discrete logarithms. If we believe that quantum computers will someday become a reality, we would like to have \emph{post-quantum} cryptosystems which can be implemented today with classical computers, but which will remain secure even in the presence of quantum attacks.
In this article we show that the McEliece cryptosystem over \emph{well-permuted, well-scrambled} linear codes resists precisely the attacks to which the RSA and El Gamal cryptosystems are vulnerable---namely, those based on generating and measuring coset states. This eliminates the approach of strong Fourier sampling on which almost all known exponential speedups by quantum algorithms are based. Specifically, we show that the natural case of the Hidden Subgroup Problem to which the McEliece cryptosystem reduces cannot be solved by strong Fourier sampling, or by any measurement of a coset state. We start with recent negative results on quantum algorithms for Graph Isomorphism, which are based on particular subgroups of size two, and extend them to subgroups of arbitrary structure, including the automorphism groups of linear codes. This allows us to obtain the first rigorous results on the security of the McEliece cryptosystem in the face of quantum adversaries, strengthening its candidacy for post-quantum cryptography.
△ Less
Submitted 15 October, 2010; v1 submitted 13 August, 2010;
originally announced August 2010.
-
Circuit partitions and #P-complete products of inner products
Authors:
Cristopher Moore,
Alexander Russell
Abstract:
We present a simple, natural #P-complete problem. Let G be a directed graph, and let k be a positive integer. We define q(G;k) as follows. At each vertex v, we place a k-dimensional complex vector x_v. We take the product, over all edges (u,v), of the inner product <x_u,x_v>. Finally, q(G;k) is the expectation of this product, where the x_v are chosen uniformly and independently from all vectors…
▽ More
We present a simple, natural #P-complete problem. Let G be a directed graph, and let k be a positive integer. We define q(G;k) as follows. At each vertex v, we place a k-dimensional complex vector x_v. We take the product, over all edges (u,v), of the inner product <x_u,x_v>. Finally, q(G;k) is the expectation of this product, where the x_v are chosen uniformly and independently from all vectors of norm 1 (or, alternately, from the Gaussian distribution). We show that q(G;k) is proportional to G's cycle partition polynomial, and therefore that it is #P-complete for any k>1.
△ Less
Submitted 13 January, 2010;
originally announced January 2010.
-
Bounds on the quantum satisfiability threshold
Authors:
Sergey Bravyi,
Cristopher Moore,
Alexander Russell
Abstract:
Quantum k-SAT is the problem of deciding whether there is a n-qubit state which is perpendicular to a set of vectors, each of which lies in the Hilbert space of k qubits. Equivalently, the problem is to decide whether a particular type of local Hamiltonian has a ground state with zero energy. We consider random quantum k-SAT formulas with n variables and m = αn clauses, and ask at what value of αt…
▽ More
Quantum k-SAT is the problem of deciding whether there is a n-qubit state which is perpendicular to a set of vectors, each of which lies in the Hilbert space of k qubits. Equivalently, the problem is to decide whether a particular type of local Hamiltonian has a ground state with zero energy. We consider random quantum k-SAT formulas with n variables and m = αn clauses, and ask at what value of αthese formulas cease to be satisfiable. We show that the threshold for random quantum 3-SAT is at most 3.594. For comparison, convincing arguments from statistical physics suggest that the classical 3-SAT threshold is α\approx 4.267. For larger k, we show that the quantum threshold is a constant factor smaller than the classical one. Our bounds work by determining the generic rank of the satisfying subspace for certain gadgets, and then using the technique of differential equations to analyze various algorithms that partition the hypergraph into a collection of these gadgets. Our use of differential equation to establish upper bounds on a satisfiability threshold appears to be novel, and our techniques may apply to various classical problems as well.
△ Less
Submitted 18 September, 2014; v1 submitted 7 July, 2009;
originally announced July 2009.
-
Approximating the Permanent via Nonabelian Determinants
Authors:
Cristopher Moore,
Alexander Russell
Abstract:
Celebrated work of Jerrum, Sinclair, and Vigoda has established that the permanent of a {0,1} matrix can be approximated in randomized polynomial time by using a rapidly mixing Markov chain. A separate strand of the literature has pursued the possibility of an alternate, purely algebraic, polynomial-time approximation scheme. These schemes work by replacing each 1 with a random element of an alg…
▽ More
Celebrated work of Jerrum, Sinclair, and Vigoda has established that the permanent of a {0,1} matrix can be approximated in randomized polynomial time by using a rapidly mixing Markov chain. A separate strand of the literature has pursued the possibility of an alternate, purely algebraic, polynomial-time approximation scheme. These schemes work by replacing each 1 with a random element of an algebra A, and considering the determinant of the resulting matrix. When A is noncommutative, this determinant can be defined in several ways. We show that for estimators based on the conventional determinant, the critical ratio of the second moment to the square of the first--and therefore the number of trials we need to obtain a good estimate of the permanent--is (1 + O(1/d))^n when A is the algebra of d by d matrices. These results can be extended to group algebras, and semi-simple algebras in general. We also study the symmetrized determinant of Barvinok, showing that the resulting estimator has small variance when d is large enough. However, for constant d--the only case in which an efficient algorithm is known--we show that the critical ratio exceeds 2^{n} / n^{O(d)}. Thus our results do not provide a new polynomial-time approximation scheme for the permanent. Indeed, they suggest that the algebraic approach to approximating the permanent faces significant obstacles.
We obtain these results using diagrammatic techniques in which we express matrix products as contractions of tensor products. When these matrices are random, in either the Haar measure or the Gaussian measure, we can evaluate the trace of these products in terms of the cycle structure of a suitably random permutation. In the symmetrized case, our estimates are then derived by a connection with the character theory of the symmetric group.
△ Less
Submitted 9 June, 2009;
originally announced June 2009.
-
Finding conjugate stabilizer subgroups in PSL(2; q) and related groups
Authors:
Aaron Denney,
Cristopher Moore,
Alexander Russell
Abstract:
We reduce a case of the hidden subgroup problem (HSP) in SL(2; q), PSL(2; q), and PGL(2; q), three related families of finite groups of Lie type, to efficiently solvable HSPs in the affine group AGL(1; q). These groups act on projective space in an almost 3-transitive way, and we use this fact in each group to distinguish conjugates of its Borel (upper triangular) subgroup, which is also the sta…
▽ More
We reduce a case of the hidden subgroup problem (HSP) in SL(2; q), PSL(2; q), and PGL(2; q), three related families of finite groups of Lie type, to efficiently solvable HSPs in the affine group AGL(1; q). These groups act on projective space in an almost 3-transitive way, and we use this fact in each group to distinguish conjugates of its Borel (upper triangular) subgroup, which is also the stabilizer subgroup of an element of projective space. Our observation is mainly group-theoretic, and as such breaks little new ground in quantum algorithms. Nonetheless, these appear to be the first positive results on the HSP in finite simple groups such as PSL(2; q).
△ Less
Submitted 13 January, 2010; v1 submitted 15 September, 2008;
originally announced September 2008.
-
A classical one-way function to confound quantum adversaries
Authors:
Cristopher Moore,
Alexander Russell,
Umesh Vazirani
Abstract:
The promise of quantum computation and its consequences for complexity-theoretic cryptography motivates an immediate search for cryptosystems which can be implemented with current technology, but which remain secure even in the presence of quantum computers. Inspired by recent negative results pertaining to the nonabelian hidden subgroup problem, we present here a classical algebraic function…
▽ More
The promise of quantum computation and its consequences for complexity-theoretic cryptography motivates an immediate search for cryptosystems which can be implemented with current technology, but which remain secure even in the presence of quantum computers. Inspired by recent negative results pertaining to the nonabelian hidden subgroup problem, we present here a classical algebraic function $f_V(M)$ of a matrix $M$ which we believe is a one-way function secure against quantum attacks. Specifically, inverting $f_V$ reduces naturally to solving a hidden subgroup problem over the general linear group (which is at least as hard as the hidden subgroup problem over the symmetric group). We also demonstrate a reduction from Graph Isomorphism to the problem of inverting $f_V$; unlike Graph Isomorphism, however, the function $f_V$ is random self-reducible and therefore uniformly hard.
These results suggest that, unlike Shor's algorithm for the discrete logarithm--which is, so far, the only successful quantum attack on a classical one-way function--quantum attacks based on the hidden subgroup problem are unlikely to work. We also show that reconstructing any entry of $M$, or the trace of $M$, with nonnegligible advantage is essentially as hard as inverting $f_V$. Finally, $f_V$ can be efficiently computed and the number of output bits is less than $1+ε$ times the number of input bits for any $ε> 0$.
△ Less
Submitted 19 January, 2007; v1 submitted 16 January, 2007;
originally announced January 2007.
-
On the impossibility of a quantum sieve algorithm for graph isomorphism: unconditional results
Authors:
Cristopher Moore,
Alexander Russell,
Piotr Sniady
Abstract:
It is known that any quantum algorithm for Graph Isomorphism that works within the framework of the hidden subgroup problem (HSP) must perform highly entangled measurements across Ω(n \log n) coset states. One of the only known models for how such a measurement could be carried out efficiently is Kuperberg's algorithm for the HSP in the dihedral group, in which quantum states are adaptively comb…
▽ More
It is known that any quantum algorithm for Graph Isomorphism that works within the framework of the hidden subgroup problem (HSP) must perform highly entangled measurements across Ω(n \log n) coset states. One of the only known models for how such a measurement could be carried out efficiently is Kuperberg's algorithm for the HSP in the dihedral group, in which quantum states are adaptively combined and measured according to the decomposition of tensor products into irreducible representations. This ``quantum sieve'' starts with coset states, and works its way down towards representations whose probabilities differ depending on, for example, whether the hidden subgroup is trivial or nontrivial.
In this paper we show that no such approach can produce a polynomial-time quantum algorithm for Graph Isomorphism. Specifically, we consider the natural reduction of Graph Isomorphism to the HSP over the the wreath product S_n\wr Z_2. Using a recently proved bound on the irreducible characters of S_n, we show that no algorithm in this family can solve Graph Isomorphism in less than e^{Ω(\sqrt{n})} time, no matter what adaptive rule it uses to select and combine quantum states. In particular, algorithms of this type can offer essentially no improvement over the best known classical algorithms, which run in time e^{O(\sqrt{n \log n})}.
△ Less
Submitted 7 April, 2007; v1 submitted 12 December, 2006;
originally announced December 2006.
-
On the Impossibility of a Quantum Sieve Algorithm for Graph Isomorphism
Authors:
Cristopher Moore,
Alexander Russell
Abstract:
It is known that any quantum algorithm for Graph Isomorphism that works within the framework of the hidden subgroup problem (HSP) must perform highly entangled measurements across Omega(n log n) coset states. One of the only known models for how such a measurement could be carried out efficiently is Kuperberg's algorithm for the HSP in the dihedral group, in which quantum states are adaptively c…
▽ More
It is known that any quantum algorithm for Graph Isomorphism that works within the framework of the hidden subgroup problem (HSP) must perform highly entangled measurements across Omega(n log n) coset states. One of the only known models for how such a measurement could be carried out efficiently is Kuperberg's algorithm for the HSP in the dihedral group, in which quantum states are adaptively combined and measured according to the decomposition of tensor products into irreducible representations. This ``quantum sieve'' starts with coset states, and works its way down towards representations whose probabilities differ depending on, for example, whether the hidden subgroup is trivial or nontrivial.
In this paper we give strong evidence that no such approach can succeed for Graph Isomorphism. Specifically, we consider the natural reduction of Graph Isomorphism to the HSP over the the wreath product S_n \wr Z_2. We show, modulo a group-theoretic conjecture regarding the asymptotic characters of the symmetric group, that no matter what rule we use to adaptively combine quantum states, there is a constant b > 0 such that no algorithm in this family can solve Graph Isomorphism in e^{b sqrt{n}} time. In particular, such algorithms are essentially no better than the best known classical algorithms, whose running time is e^{O(sqrt{n \log n})}.
△ Less
Submitted 18 September, 2006;
originally announced September 2006.
-
Quantum Algorithms for Simon's Problem Over General Groups
Authors:
Gorjan Alagic,
Cristopher Moore,
Alexander Russell
Abstract:
Daniel Simon's 1994 discovery of an efficient quantum algorithm for solving the hidden subgroup problem (HSP) over Z_2^n provided one of the first algebraic problems for which quantum computers are exponentially faster than their classical counterparts. In this paper, we study the generalization of Simon's problem to arbitrary groups. Fixing a finite group G, this is the problem of recovering an…
▽ More
Daniel Simon's 1994 discovery of an efficient quantum algorithm for solving the hidden subgroup problem (HSP) over Z_2^n provided one of the first algebraic problems for which quantum computers are exponentially faster than their classical counterparts. In this paper, we study the generalization of Simon's problem to arbitrary groups. Fixing a finite group G, this is the problem of recovering an involution m = (m_1, ..., m_n) in G^n from an oracle f with the property that f(x) = f(xy) iff y equals m or the identity. In the current parlance, this is the hidden subgroup problem (HSP) over groups of the form G^n, where G is a nonabelian group of constant size, and where the hidden subgroup is either trivial or has order two. Although groups of the form G^n have a simple product structure, they share important representation-theoretic properties with the symmetric groups S_n, where a solution to the HSP would yield a quantum algorithm for Graph Isomorphism. In particular, solving their HSP with the so-called ``standard method'' requires highly entangled measurements on the tensor product of many coset states. Here we give quantum algorithms with time complexity 2^O(sqrt(n log n)) that recover hidden involutions m = (m_1, ..., m_n) in G^n where, as in Simon's problem, each m_i is either the identity or the conjugate of a known element k, and there is a character X of G for which X(k) = -X(1)$. Our approach combines the general idea behind Kuperberg's sieve for dihedral groups with the ``missing harmonic'' approach of Moore and Russell. These are the first nontrivial hidden subgroup algorithms for group families that require highly entangled multiregister Fourier sampling.
△ Less
Submitted 25 January, 2007; v1 submitted 28 March, 2006;
originally announced March 2006.
-
Tight Results on Multiregister Fourier Sampling: Quantum Measurements for Graph Isomorphism Require Entanglement
Authors:
Cristopher Moore,
Alexander Russell
Abstract:
We establish a general method for proving bounds on the information that can be extracted via arbitrary entangled measurements on tensor products of hidden subgroup coset states. When applied to the symmetric group, the method yields an Omega(n log n) lower bound on the number of coset states over which we must perform an entangled measurement in order to obtain non-negligible information about…
▽ More
We establish a general method for proving bounds on the information that can be extracted via arbitrary entangled measurements on tensor products of hidden subgroup coset states. When applied to the symmetric group, the method yields an Omega(n log n) lower bound on the number of coset states over which we must perform an entangled measurement in order to obtain non-negligible information about a hidden involution. These results are tight to within a multiplicative constant and apply, in particular, to the case relevant for the Graph Isomorphism problem.
Part of our proof was obtained after learning from Hallgren, Roetteler, and Sen that they had obtained similar results.
△ Less
Submitted 15 November, 2005;
originally announced November 2005.
-
Strong Fourier Sampling Fails over $G^n$
Authors:
Gorjan Alagic,
Cristopher Moore,
Alexander Russell
Abstract:
We present a negative result regarding the hidden subgroup problem on the powers $G^n$ of a fixed group $G$. Under a condition on the base group $G$, we prove that strong Fourier sampling cannot distinguish some subgroups of $G^n$. Since strong sampling is in fact the optimal measurement on a coset state, this shows that we have no hope of efficiently solving the hidden subgroup problem over the…
▽ More
We present a negative result regarding the hidden subgroup problem on the powers $G^n$ of a fixed group $G$. Under a condition on the base group $G$, we prove that strong Fourier sampling cannot distinguish some subgroups of $G^n$. Since strong sampling is in fact the optimal measurement on a coset state, this shows that we have no hope of efficiently solving the hidden subgroup problem over these groups with separable measurements on coset states (that is, using any polynomial number of single-register coset state experiments). Base groups satisfying our condition include all nonabelian simple groups. We apply our results to show that there exist uniform families of nilpotent groups whose normal series factors have constant size and yet are immune to strong Fourier sampling.
△ Less
Submitted 6 November, 2005;
originally announced November 2005.
-
Quantum Measurements for Graph Isomorphism Require Entanglement: Tight Results on Multiregister Fourier Sampling (Withdrawn)
Authors:
Cristopher Moore,
Alexander Russell
Abstract:
This article has been withdrawn by the authors.
This article has been withdrawn by the authors.
△ Less
Submitted 2 November, 2005; v1 submitted 31 October, 2005;
originally announced October 2005.
-
Explicit Multiregister Measurements for Hidden Subgroup Problems
Authors:
Cristopher Moore,
Alexander Russell
Abstract:
We present an explicit measurement in the Fourier basis that solves an important case of the Hidden Subgroup Problem, including the case to which Graph Isomorphism reduces. This entangled measurement uses $k=\log_2 |G|$ registers, and each of the $2^k$ subsets of the registers contributes some information. While this does not, in general, yield an efficient algorithm, it generalizes the relation…
▽ More
We present an explicit measurement in the Fourier basis that solves an important case of the Hidden Subgroup Problem, including the case to which Graph Isomorphism reduces. This entangled measurement uses $k=\log_2 |G|$ registers, and each of the $2^k$ subsets of the registers contributes some information. While this does not, in general, yield an efficient algorithm, it generalizes the relationship between Subset Sum and the HSP in the dihedral group, and sheds some light on how quantum algorithms for Graph Isomorphism might work.
△ Less
Submitted 2 June, 2006; v1 submitted 8 April, 2005;
originally announced April 2005.
-
The Power of Strong Fourier Sampling: Quantum Algorithms for Affine Groups and Hidden Shifts
Authors:
Cristopher Moore,
Daniel Rockmore,
Alexander Russell,
Leonard J. Schulman
Abstract:
Many quantum algorithms, including Shor's celebrated factoring and discrete log algorithms, proceed by reduction to a Hidden Subgroup problem, in which an unknown subgroup H of a group G must be determined from a uniform superposition on a left coset of H. These hidden subgroup problems are typically solved by Fourier sampling. When G is nonabelian, two important variants of Fourier sampling hav…
▽ More
Many quantum algorithms, including Shor's celebrated factoring and discrete log algorithms, proceed by reduction to a Hidden Subgroup problem, in which an unknown subgroup H of a group G must be determined from a uniform superposition on a left coset of H. These hidden subgroup problems are typically solved by Fourier sampling. When G is nonabelian, two important variants of Fourier sampling have been identified: the weak standard method, where only representation names are measured, and the strong standard method, where full measurement (i.e., the row and column of the representation, in a suitably chosen basis) occurs. It has remained open whether the strong standard method is indeed stronger. In this article, we settle this question in the affirmative. We show that hidden subgroups H of the q-hedral groups, i.e., semidirect products Z_q \ltimes Z_p where q | (p-1), and in particular the affine groups A_p, can be information-theoretically reconstructed using the strong standard method. Moreover, if |H| = p/ \polylog(p), these subgroups can be fully reconstructed with a polynomial amount of quantum and classical computation. We show that, for some q, neither the ``forgetful'' abelian method nor measuring in a random basis succeeds, even information-theoretically. Thus, at least for some groups, it is crucial to use the full power of representation theory: namely, to measure the high-dimensional representations in an adapted basis that respects the group's subgroup structure. We apply our algorithm for the hidden subgroup problem to new families of cryptographically motivated Hidden Shift problems, generalizing work of van Dam, Hallgren and Ip on shifts of multiplicative characters.
△ Less
Submitted 9 March, 2005;
originally announced March 2005.
-
For Distinguishing Conjugate Hidden Subgroups, the Pretty Good Measurement is as Good as it Gets
Authors:
Cristopher Moore,
Alexander Russell
Abstract:
Recently Bacon, Childs and van Dam showed that the ``pretty good measurement'' (PGM) is optimal for the Hidden Subgroup Problem on the dihedral group D_n in the case where the hidden subgroup is chosen uniformly from the n involutions. We show that, for any group and any subgroup H, the PGM is the optimal one-register experiment in the case where the hidden subgroup is a uniformly random conjuga…
▽ More
Recently Bacon, Childs and van Dam showed that the ``pretty good measurement'' (PGM) is optimal for the Hidden Subgroup Problem on the dihedral group D_n in the case where the hidden subgroup is chosen uniformly from the n involutions. We show that, for any group and any subgroup H, the PGM is the optimal one-register experiment in the case where the hidden subgroup is a uniformly random conjugate of H. We go on to show that when H forms a Gel'fand pair with its parent group, the PGM is the optimal measurement for any number of registers. In both cases we bound the probability that the optimal measurement succeeds. This generalizes the case of the dihedral group, and includes a number of other examples of interest.
△ Less
Submitted 20 May, 2005; v1 submitted 31 January, 2005;
originally announced January 2005.
-
The Symmetric Group Defies Strong Fourier Sampling: Part II
Authors:
Cristopher Moore,
Alexander Russell
Abstract:
Part I of this paper showed that the hidden subgroup problem over the symmetric group--including the special case relevant to Graph Isomorphism--cannot be efficiently solved by strong Fourier sampling, even if one may perform an arbitrary POVM on the coset state. In this paper, we extend these results to entangled measurements. Specifically, we show that the hidden subgroup problem on the symmet…
▽ More
Part I of this paper showed that the hidden subgroup problem over the symmetric group--including the special case relevant to Graph Isomorphism--cannot be efficiently solved by strong Fourier sampling, even if one may perform an arbitrary POVM on the coset state. In this paper, we extend these results to entangled measurements. Specifically, we show that the hidden subgroup problem on the symmetric group cannot be solved by any POVM applied to pairs of coset states. In particular, these hidden subgroups cannot be determined by any polynomial number of one- or two-register experiments on coset states.
△ Less
Submitted 30 September, 2005; v1 submitted 12 January, 2005;
originally announced January 2005.
-
The Symmetric Group Defies Strong Fourier Sampling: Part I
Authors:
Cristopher Moore,
Alexander Russell,
Leonard J. Schulman
Abstract:
We resolve the question of whether Fourier sampling can efficiently solve the hidden subgroup problem. Specifically, we show that the hidden subgroup problem over the symmetric group cannot be efficiently solved by strong Fourier sampling, even if one may perform an arbitrary POVM on the coset state. Our results apply to the special case relevant to the Graph Isomorphism problem.
We resolve the question of whether Fourier sampling can efficiently solve the hidden subgroup problem. Specifically, we show that the hidden subgroup problem over the symmetric group cannot be efficiently solved by strong Fourier sampling, even if one may perform an arbitrary POVM on the coset state. Our results apply to the special case relevant to the Graph Isomorphism problem.
△ Less
Submitted 14 October, 2005; v1 submitted 12 January, 2005;
originally announced January 2005.
-
Generic Quantum Fourier Transforms
Authors:
Cristopher Moore,
Daniel Rockmore,
Alexander Russell
Abstract:
The quantum Fourier transform (QFT) is the principal algorithmic tool underlying most efficient quantum algorithms. We present a generic framework for the construction of efficient quantum circuits for the QFT by ``quantizing'' the separation of variables technique that has been so successful in the study of classical Fourier transform computations. Specifically, this framework applies the exist…
▽ More
The quantum Fourier transform (QFT) is the principal algorithmic tool underlying most efficient quantum algorithms. We present a generic framework for the construction of efficient quantum circuits for the QFT by ``quantizing'' the separation of variables technique that has been so successful in the study of classical Fourier transform computations. Specifically, this framework applies the existence of computable Bratteli diagrams, adapted factorizations, and Gel'fand-Tsetlin bases to offer efficient quantum circuits for the QFT over a wide variety a finite Abelian and non-Abelian groups, including all group families for which efficient QFTs are currently known and many new group families. Moreover, the method gives rise to the first subexponential-size quantum circuits for the QFT over the linear groups GL_k(q), SL_k(q), and the finite groups of Lie type, for any fixed prime power q.
△ Less
Submitted 9 April, 2003;
originally announced April 2003.
-
The Hidden Subgroup Problem in Affine Groups: Basis Selection in Fourier Sampling
Authors:
Cristopher Moore,
Daniel Rockmore,
Alexander Russell,
Leonard Schulman
Abstract:
Many quantum algorithms, including Shor's celebrated factoring and discrete log algorithms, proceed by reduction to a hidden subgroup problem, in which a subgroup H of a group G must be determined from a quantum state y uniformly supported on a left coset of H. These hidden subgroup problems are then solved by Fourier sampling: the quantum Fourier transform of y is computed and measured. When th…
▽ More
Many quantum algorithms, including Shor's celebrated factoring and discrete log algorithms, proceed by reduction to a hidden subgroup problem, in which a subgroup H of a group G must be determined from a quantum state y uniformly supported on a left coset of H. These hidden subgroup problems are then solved by Fourier sampling: the quantum Fourier transform of y is computed and measured. When the underlying group is non-Abelian, two important variants of the Fourier sampling paradigm have been identified: the weak standard method, where only representation names are measured, and the strong standard method, where full measurement occurs. It has remained open whether the strong standard method is indeed stronger, that is, whether there are hidden subgroups that can be reconstructed via the strong method but not by the weak, or any other known, method. In this article, we settle this question in the affirmative. We show that hidden subgroups of semidirect products of Z_p by Z_q, where q divides (p-1) and q = p / polylog(p), can be efficiently determined by the strong standard method. Furthermore, the weak standard method and the ``forgetful'' Abelian method are insufficient for these groups. We extend this to an information-theoretic solution for the hidden subgroup problem over semidirect products of Z_p by \Z_q where q divides (p-1) and, in particular, the Affine groups A_p. Finally, we prove a closure property for the class of groups over which the hidden subgroup problem can be solved efficiently.
△ Less
Submitted 24 February, 2003; v1 submitted 20 November, 2002;
originally announced November 2002.
-
Quantum and Stochastic Branching Programs of Bounded Width
Authors:
Farid Ablayev,
Cristopher Moore,
Chris Pollett
Abstract:
In this paper we show that one qubit polynomial time computations are at least as powerful as $\NC^1$ circuits. More precisely, we define syntactic models for quantum and stochastic branching programs of bounded width and prove upper and lower bounds on their power. We show any $\NC^1$ language can be accepted exactly by a width-2 quantum branching program of polynomial length, in contrast to th…
▽ More
In this paper we show that one qubit polynomial time computations are at least as powerful as $\NC^1$ circuits. More precisely, we define syntactic models for quantum and stochastic branching programs of bounded width and prove upper and lower bounds on their power. We show any $\NC^1$ language can be accepted exactly by a width-2 quantum branching program of polynomial length, in contrast to the classical case where width 5 is necessary unless $\NC^1=\ACC$. This separates width-2 quantum programs from width-2 doubly stochastic programs as we show the latter cannot compute the middle bit of multiplication. Finally, we show that bounded-width quantum and stochastic programs can be simulated by classical programs of larger but bounded width, and thus are in $\NC^1$. The change in the revised version is the addition of the syntactic condition.
△ Less
Submitted 3 January, 2004; v1 submitted 30 January, 2002;
originally announced January 2002.
-
Counting, Fanout, and the Complexity of Quantum ACC
Authors:
Frederic Green,
Steven Homer,
Cristopher Moore,
Christopher Pollett
Abstract:
We propose definitions of $\QAC^0$, the quantum analog of the classical class $\AC^0$ of constant-depth circuits with AND and OR gates of arbitrary fan-in, and $\QACC[q]$, the analog of the class $\ACC[q]$ where $\Mod_q$ gates are also allowed. We prove that parity or fanout allows us to construct quantum $\MOD_q$ gates in constant depth for any $q$, so $\QACC[2] = \QACC$. More generally, we sho…
▽ More
We propose definitions of $\QAC^0$, the quantum analog of the classical class $\AC^0$ of constant-depth circuits with AND and OR gates of arbitrary fan-in, and $\QACC[q]$, the analog of the class $\ACC[q]$ where $\Mod_q$ gates are also allowed. We prove that parity or fanout allows us to construct quantum $\MOD_q$ gates in constant depth for any $q$, so $\QACC[2] = \QACC$. More generally, we show that for any $q,p > 1$, $\MOD_q$ is equivalent to $\MOD_p$ (up to constant depth). This implies that $\QAC^0$ with unbounded fanout gates, denoted $\QACwf^0$, is the same as $\QACC[q]$ and $\QACC$ for all $q$. Since $\ACC[p] \ne \ACC[q]$ whenever $p$ and $q$ are distinct primes, $\QACC[q]$ is strictly more powerful than its classical counterpart, as is $\QAC^0$ when fanout is allowed. This adds to the growing list of quantum complexity classes which are provably more powerful than their classical counterparts.
We also develop techniques for proving upper bounds for $\QACC^0$ in terms of related language classes. We define classes of languages $\EQACC$, $\NQACC$ and $\BQACC_{\rats}$. We define a notion of $\log$-planar $\QACC$ operators and show the appropriately restricted versions of $\EQACC$ and $\NQACC$ are contained in $¶/\poly$. We also define a notion of $\log$-gate restricted $\QACC$ operators and show the appropriately restricted versions of $\EQACC$ and $\NQACC$ are contained in $\TC^0$.
△ Less
Submitted 4 June, 2001;
originally announced June 2001.
-
Quantum Walks on the Hypercube
Authors:
Cristopher Moore,
Alexander Russell
Abstract:
Recently, it has been shown that one-dimensional quantum walks can mix more quickly than classical random walks, suggesting that quantum Monte Carlo algorithms can outperform their classical counterparts. We study two quantum walks on the n-dimensional hypercube, one in discrete time and one in continuous time. In both cases we show that the quantum walk mixes in (π/4)n steps, faster than the O(…
▽ More
Recently, it has been shown that one-dimensional quantum walks can mix more quickly than classical random walks, suggesting that quantum Monte Carlo algorithms can outperform their classical counterparts. We study two quantum walks on the n-dimensional hypercube, one in discrete time and one in continuous time. In both cases we show that the quantum walk mixes in (π/4)n steps, faster than the O(n log n) steps required by the classical walk. In the continuous-time case, the probability distribution is {\em exactly} uniform at this time. More importantly, these walks expose several subtleties in the definition of mixing time for quantum walks. Even though the continuous-time walk has an O(n) instantaneous mixing time at which it is precisely uniform, it never approaches the uniform distribution when the stop** time is chosen randomly as in [AharonovAKV2001]. Our analysis treats interference between terms of different phase more carefully than is necessary for the walk on the cycle; previous general bounds predict an exponential, rather than linear, mixing time for the hypercube.
△ Less
Submitted 28 April, 2001;
originally announced April 2001.
-
The physical limits of communication
Authors:
Michael Lachmann,
M. E. J. Newman,
Cristopher Moore
Abstract:
It has been well-known since the pioneering work of Claude Shannon in the 1940s that a message transmitted with optimal efficiency over a channel of limited bandwidth is indistinguishable from random noise to a receiver who is unfamiliar with the language in which the message is written. In this letter we demonstrate an equivalent result about electromagnetic transmissions. We show that when ele…
▽ More
It has been well-known since the pioneering work of Claude Shannon in the 1940s that a message transmitted with optimal efficiency over a channel of limited bandwidth is indistinguishable from random noise to a receiver who is unfamiliar with the language in which the message is written. In this letter we demonstrate an equivalent result about electromagnetic transmissions. We show that when electromagnetic radiation is used as the transmission medium, the most information-efficient format for a given message is indistinguishable from black-body radiation to a receiver who is unfamiliar with that format. The characteristic temperature of the radiation is set by the amount of energy used to make the transmission. If information is not encoded in the direction of the radiation, but only its timing, energy or polarization, then the most efficient format has the form of a one-dimensional black-body spectrum which is easily distinguished from the three-dimensional case.
△ Less
Submitted 30 July, 1999;
originally announced July 1999.
-
Quantum Circuits: Fanout, Parity, and Counting
Authors:
Cristopher Moore
Abstract:
We propose definitions of QAC^0, the quantum analog of the classical class AC^0 of constant-depth circuits with AND and OR gates of arbitrary fan-in, and QACC^0[q], where n-ary Mod-q gates are also allowed. We show that it is possible to make a `cat' state on n qubits in constant depth if and only if we can construct a parity or Mod-2 gate in constant depth; therefore, any circuit class that can…
▽ More
We propose definitions of QAC^0, the quantum analog of the classical class AC^0 of constant-depth circuits with AND and OR gates of arbitrary fan-in, and QACC^0[q], where n-ary Mod-q gates are also allowed. We show that it is possible to make a `cat' state on n qubits in constant depth if and only if we can construct a parity or Mod-2 gate in constant depth; therefore, any circuit class that can fan out a qubit to n copies in constant depth also includes QACC^0[2]. In addition, we prove the somewhat surprising result that parity or fanout allows us to construct Mod-q gates in constant depth for any q, so QACC^0[2] = QACC^0. Since ACC^0[p] != ACC^0[q] whenever p and q are mutually prime, QACC^0[2] is strictly more powerful than its classical counterpart, as is QAC^0 when fanout is allowed.
△ Less
Submitted 16 March, 1999; v1 submitted 12 March, 1999;
originally announced March 1999.
-
Parallel Quantum Computation and Quantum Codes
Authors:
Cristopher Moore,
Martin Nilsson
Abstract:
We propose a definition of QNC, the quantum analog of the efficient parallel class NC. We exhibit several useful gadgets and prove that various classes of circuits can be parallelized to logarithmic depth, including circuits for encoding and decoding standard quantum error-correcting codes, or more generally any circuit consisting of controlled-not gates, controlled pi-shifts, and Hadamard gates…
▽ More
We propose a definition of QNC, the quantum analog of the efficient parallel class NC. We exhibit several useful gadgets and prove that various classes of circuits can be parallelized to logarithmic depth, including circuits for encoding and decoding standard quantum error-correcting codes, or more generally any circuit consisting of controlled-not gates, controlled pi-shifts, and Hadamard gates. Finally, while we note the Quantum Fourier Transform can be parallelized to linear depth, we conjecture that an even simpler `staircase' circuit cannot be parallelized to less than linear depth, and might be used to prove that QNC < QP.
△ Less
Submitted 17 August, 1998;
originally announced August 1998.
-
Some Notes on Parallel Quantum Computation
Authors:
Cristopher Moore,
Martin Nilsson
Abstract:
We exhibit some simple gadgets useful in designing shallow parallel circuits for quantum algorithms. We prove that any quantum circuit composed entirely of controlled-not gates or of diagonal gates can be parallelized to logarithmic depth, while circuits composed of both cannot. Finally, while we note the Quantum Fourier Transform can be parallelized to linear depth, we exhibit a simple quantum…
▽ More
We exhibit some simple gadgets useful in designing shallow parallel circuits for quantum algorithms. We prove that any quantum circuit composed entirely of controlled-not gates or of diagonal gates can be parallelized to logarithmic depth, while circuits composed of both cannot. Finally, while we note the Quantum Fourier Transform can be parallelized to linear depth, we exhibit a simple quantum circuit related to it that we believe cannot be parallelized to less than linear depth, and therefore might be used to prove that QNC < QP.
△ Less
Submitted 29 April, 1998; v1 submitted 14 April, 1998;
originally announced April 1998.
-
Another Way to Perform the Quantum Fourier Transform in Linear Parallel Time
Authors:
Cristopher Moore
Abstract:
This paper has been withdrawn.
This paper has been withdrawn.
△ Less
Submitted 20 January, 1998; v1 submitted 19 January, 1998;
originally announced January 1998.
-
Quantum Automata and Quantum Grammars
Authors:
Cristopher Moore,
James P. Crutchfield
Abstract:
To study quantum computation, it might be helpful to generalize structures from language and automata theory to the quantum case. To that end, we propose quantum versions of finite-state and push-down automata, and regular and context-free grammars. We find analogs of several classical theorems, including pum** lemmas, closure properties, rational and algebraic generating functions, and Greiba…
▽ More
To study quantum computation, it might be helpful to generalize structures from language and automata theory to the quantum case. To that end, we propose quantum versions of finite-state and push-down automata, and regular and context-free grammars. We find analogs of several classical theorems, including pum** lemmas, closure properties, rational and algebraic generating functions, and Greibach normal form. We also show that there are quantum context-free languages that are not context-free.
△ Less
Submitted 16 July, 1997;
originally announced July 1997.