-
Experimental realisation of a universal inverse-design magnonic device
Authors:
Noura Zenbaa,
Claas Abert,
Fabian Majcen,
Michael Kerber,
Rostyslav O. Serha,
Sebastian Knauer,
Qi Wang,
Thomas Schrefl,
Dieter Suess,
Andrii V. Chumak
Abstract:
In the field of magnonics, which uses magnons, the quanta of spin waves, for energy-efficient data processing, significant progress has been made leveraging the capabilities of the inverse design concept. This approach involves defining a desired functionality and employing a feedback-loop algorithm to optimise the device design. In this study, we present the first experimental demonstration of a…
▽ More
In the field of magnonics, which uses magnons, the quanta of spin waves, for energy-efficient data processing, significant progress has been made leveraging the capabilities of the inverse design concept. This approach involves defining a desired functionality and employing a feedback-loop algorithm to optimise the device design. In this study, we present the first experimental demonstration of a reconfigurable, lithography-free, and simulation-free inverse-design device capable of implementing various RF components. The device features a square array of independent direct current loops that generate a complex reconfigurable magnetic medium atop a Yttrium-Iron-Garnet (YIG) rectangular film for data processing in the gigahertz range. Showcasing its versatility, the device addresses inverse problems using two algorithms to create RF notch filters and demultiplexers. Additionally, the device holds promise for binary, reservoir, and neuromorphic computing applications.
△ Less
Submitted 3 July, 2024; v1 submitted 26 March, 2024;
originally announced March 2024.
-
Magnetic anisotropy and GGG substrate stray field in YIG films down to millikelvin temperatures
Authors:
Rostyslav O. Serha,
Andrey A. Voronov,
David Schmoll,
Roman Verba,
Khrystyna O. Levchenko,
Sabri Koraltan,
Kristýna Davídková,
Barbora Budinska,
Qi Wang,
Oleksandr V. Dobrovolskiy,
Michal Urbánek,
Morris Lindner,
Timmy Reimann,
Carsten Dubs,
Carlos Gonzalez-Ballestero,
Claas Abert,
Dieter Suess,
Dmytro A. Bozhko,
Sebastian Knauer,
Andrii V. Chumak
Abstract:
Quantum magnonics investigates the quantum-mechanical properties of magnons such as quantum coherence or entanglement for solid-state quantum information technologies at the nanoscale. The most promising material for quantum magnonics is the ferrimagnetic yttrium iron garnet (YIG), which hosts magnons with the longest lifetimes. YIG films of the highest quality are grown on a paramagnetic gadolini…
▽ More
Quantum magnonics investigates the quantum-mechanical properties of magnons such as quantum coherence or entanglement for solid-state quantum information technologies at the nanoscale. The most promising material for quantum magnonics is the ferrimagnetic yttrium iron garnet (YIG), which hosts magnons with the longest lifetimes. YIG films of the highest quality are grown on a paramagnetic gadolinium gallium garnet (GGG) substrate. The literature has reported that ferromagnetic resonance (FMR) frequencies of YIG/GGG decrease at temperatures below 50 K despite the increase in YIG magnetization. We investigated a 97 nm-thick YIG film grown on 500 $\mathrmμ$m-thick GGG substrate through a series of experiments conducted at temperatures as low as 30 mK, and using both analytical and numerical methods. Our findings suggest that the primary factor contributing to the FMR frequency shift is the stray magnetic field created by the partially magnetized GGG substrate. This stray field is antiparallel to the applied external field and is highly inhomogeneous, reaching up to 40 mT in the center of the sample. At temperatures below 500 mK, the GGG field exhibits a saturation that cannot be described by the standard Brillouin function for a paramagnet. Including the calculated GGG field in the analysis of the FMR frequency versus temperature dependence allowed the determination of the cubic and uniaxial anisotropies. We find that the total anisotropy increases more than three times with the decrease in temperature down to 2 K. Our findings enable accurate predictions of the YIG/GGG magnetic systems behavior at low and ultra-low millikelvin temperatures, crucial for develo** quantum magnonic devices.
△ Less
Submitted 19 February, 2024;
originally announced February 2024.
-
Network Satisfaction Problems Solved by k-Consistency
Authors:
Manuel Bodirsky,
Simon Knäuer
Abstract:
We show that the problem of deciding for a given finite relation algebra A whether the network satisfaction problem for A can be solved by the k-consistency procedure, for some natural number k, is undecidable. For the important class of finite relation algebras A with a normal representation, however, the decidability of this problem remains open. We show that if A is symmetric and has a flexible…
▽ More
We show that the problem of deciding for a given finite relation algebra A whether the network satisfaction problem for A can be solved by the k-consistency procedure, for some natural number k, is undecidable. For the important class of finite relation algebras A with a normal representation, however, the decidability of this problem remains open. We show that if A is symmetric and has a flexible atom, then the question whether NSP(A) can be solved by k-consistency, for some natural number k, is decidable (even in polynomial time in the number of atoms of A). This result follows from a more general sufficient condition for the correctness of the k-consistency procedure for finite symmetric relation algebras. In our proof we make use of a result of Alexandr Kazda about finite binary conservative structures.
△ Less
Submitted 25 April, 2023;
originally announced April 2023.
-
Propagating spin-wave spectroscopy in nanometer-thick YIG films at millikelvin temperatures
Authors:
Sebastian Knauer,
Kristýna Davídková,
David Schmoll,
Rostyslav O. Serha,
Andrey Voronov,
Qi Wang,
Roman Verba,
Oleksandr V. Dobrovolskiy,
Morris Lindner,
Timmy Reimann,
Carsten Dubs,
Michal Urbánek,
Andrii V. Chumak
Abstract:
Performing propagating spin-wave spectroscopy of thin films at millikelvin temperatures is the next step towards the realisation of large-scale integrated magnonic circuits for quantum applications. Here we demonstrate spin-wave propagation in a $100\,\mathrm{nm}$-thick yttrium-iron-garnet film at the temperatures down to $45 \,\mathrm{mK}$, using stripline nanoantennas deposited on YIG surface fo…
▽ More
Performing propagating spin-wave spectroscopy of thin films at millikelvin temperatures is the next step towards the realisation of large-scale integrated magnonic circuits for quantum applications. Here we demonstrate spin-wave propagation in a $100\,\mathrm{nm}$-thick yttrium-iron-garnet film at the temperatures down to $45 \,\mathrm{mK}$, using stripline nanoantennas deposited on YIG surface for the electrical excitation and detection. The clear transmission characteristics over the distance of $10\,μ\mathrm{m}$ are measured and the subtracted spin-wave group velocity and the YIG saturation magnetisation agree well with the theoretical values. We show that the gadolinium-gallium-garnet substrate influences the spin-wave propagation characteristics only for the applied magnetic fields beyond $75\,\mathrm{mT}$, originating from a GGG magnetisation up to $47 \,\mathrm{kA/m}$ at $45 \,\mathrm{mK}$. Our results show that the developed fabrication and measurement methodologies enable the realisation of integrated magnonic quantum nanotechnologies at millikelvin temperatures.
△ Less
Submitted 22 January, 2023; v1 submitted 5 December, 2022;
originally announced December 2022.
-
Generation of Spin-Wave Pulses by Inverse Design
Authors:
Silvia Casulleras,
Sebastian Knauer,
Qi Wang,
Oriol Romero-Isart,
Andrii V. Chumak,
Carlos Gonzalez-Ballestero
Abstract:
The development of fast magnonic information processing nanodevices requires operating with short spin-wave pulses, but, the shorter the pulses, the more affected they are by information loss due to broadening and dispersion. The capability of engineering spin-wave pulses and controlling their propagation could solve this problem. Here, we provide a method to generate linear spin-wave pulses with…
▽ More
The development of fast magnonic information processing nanodevices requires operating with short spin-wave pulses, but, the shorter the pulses, the more affected they are by information loss due to broadening and dispersion. The capability of engineering spin-wave pulses and controlling their propagation could solve this problem. Here, we provide a method to generate linear spin-wave pulses with a desired spatial-temporal profile in magnonic waveguides based on inverse design. As relevant examples, we theoretically predict that both rectangular and self-compressing spin-wave pulses can be generated in state-of-the-art waveguides with fidelities >96% using narrow stripline antennas. The method requires minimal computational overhead and is universal, i.e., it applies to arbitrary targeted pulse shapes, type of waves (exchange or dipolar), waveguide materials, and waveguide geometries. It can also be extended to more complex magnonic structures. Our results could lead to the utilization of large-scale magnonic circuits for classical and quantum information processing.
△ Less
Submitted 14 September, 2022;
originally announced September 2022.
-
Meaning of the splitting process for the transition to self-sustained turbulence in a magnetized cylindrical plasma
Authors:
Stefan Knauer,
Chanho Moon,
Thomas Schleyerbach,
Shigeru Inagaki,
Nils Fahrenkamp,
Akihide Fujisawa,
Peter Manz
Abstract:
When turbulent structures split more frequently before they decay, persistent turbulence forms in neutral fluid shear flows. Whether this concept can be extended to linear magnetized plasmas is investigated here and compared to the behavior of the pipe flow. With increasing control parameter the dynamics in the magnetized plasmas is known to undergo several changes from a quasiperiodic to a phase…
▽ More
When turbulent structures split more frequently before they decay, persistent turbulence forms in neutral fluid shear flows. Whether this concept can be extended to linear magnetized plasmas is investigated here and compared to the behavior of the pipe flow. With increasing control parameter the dynamics in the magnetized plasmas is known to undergo several changes from a quasiperiodic to a phase locked to a weakly turbulent regime. When the phase-locked regime breaks down, the splitting time approaches the decreasing lifetime reflecting self-sustained turbulence, as known from the pipe flow.
△ Less
Submitted 28 June, 2022;
originally announced June 2022.
-
Roadmap on Spin-Wave Computing
Authors:
A. V. Chumak,
P. Kabos,
M. Wu,
C. Abert,
C. Adelmann,
A. Adeyeye,
J. Åkerman,
F. G. Aliev,
A. Anane,
A. Awad,
C. H. Back,
A. Barman,
G. E. W. Bauer,
M. Becherer,
E. N. Beginin,
V. A. S. V. Bittencourt,
Y. M. Blanter,
P. Bortolotti,
I. Boventer,
D. A. Bozhko,
S. A. Bunyaev,
J. J. Carmiggelt,
R. R. Cheenikundil,
F. Ciubotaru,
S. Cotofana
, et al. (91 additional authors not shown)
Abstract:
Magnonics is a field of science that addresses the physical properties of spin waves and utilizes them for data processing. Scalability down to atomic dimensions, operations in the GHz-to-THz frequency range, utilization of nonlinear and nonreciprocal phenomena, and compatibility with CMOS are just a few of many advantages offered by magnons. Although magnonics is still primarily positioned in the…
▽ More
Magnonics is a field of science that addresses the physical properties of spin waves and utilizes them for data processing. Scalability down to atomic dimensions, operations in the GHz-to-THz frequency range, utilization of nonlinear and nonreciprocal phenomena, and compatibility with CMOS are just a few of many advantages offered by magnons. Although magnonics is still primarily positioned in the academic domain, the scientific and technological challenges of the field are being extensively investigated, and many proof-of-concept prototypes have already been realized in laboratories. This roadmap is a product of the collective work of many authors that covers versatile spin-wave computing approaches, conceptual building blocks, and underlying physical phenomena. In particular, the roadmap discusses the computation operations with Boolean digital data, unconventional approaches like neuromorphic computing, and the progress towards magnon-based quantum computing. The article is organized as a collection of sub-sections grouped into seven large thematic sections. Each sub-section is prepared by one or a group of authors and concludes with a brief description of the current challenges and the outlook of the further development of the research directions.
△ Less
Submitted 30 October, 2021;
originally announced November 2021.
-
Stabilization of a nonlinear bullet coexisting with a Bose-Einstein condensate in a rapidly cooled magnonic system driven by a spin-orbit torque
Authors:
Michael Schneider,
David Breitbach,
Rostyslav O. Serha,
Qi Wang,
Morteza Mohseni,
Alexander A. Serga,
Andrei N. Slavin,
Vasyl S. Tiberkevich,
Björn Heinz,
Thomas Brächer,
Bert Lägel,
Carsten Dubs,
Sebastian Knauer,
Oleksandr V. Dobrovolskiy,
Philipp Pirro,
Burkard Hillebrands,
Andrii V. Chumak
Abstract:
We have recently shown that injection of magnons into a magnetic dielectric via the spin-orbit torque (SOT) effect in the adjacent layer of a heavy metal subjected to the action of short (0.1 $μ$s) current pulses allows for control of a magnon Bose-Einstein Condensate (BEC). Here, the BEC was formed in the process of rapid cooling (RC), when the electric current heating the sample is abruptly term…
▽ More
We have recently shown that injection of magnons into a magnetic dielectric via the spin-orbit torque (SOT) effect in the adjacent layer of a heavy metal subjected to the action of short (0.1 $μ$s) current pulses allows for control of a magnon Bose-Einstein Condensate (BEC). Here, the BEC was formed in the process of rapid cooling (RC), when the electric current heating the sample is abruptly terminated. In the present study, we show that the application of a longer (1.0 $μ$s) electric current pulse triggers the formation of a nonlinear localized magnonic bullet below the linear magnon spectrum. After pulse termination, the magnon BEC, as before, is formed at the bottom of the linear spectrum, but the nonlinear bullet continues to exist, stabilized for additional 30 ns by the same process of RC-induced magnon condensation. Our results suggest that a stimulated condensation of excess magnons to all highly populated magnonic states occurs.
△ Less
Submitted 28 June, 2021;
originally announced June 2021.
-
On Logics and Homomorphism Closure
Authors:
Manuel Bodirsky,
Thomas Feller,
Simon Knäuer,
Sebastian Rudolph
Abstract:
Predicate logic is the premier choice for specifying classes of relational structures. Homomorphisms are key to describing correspondences between relational structures. Questions concerning the interdependencies between these two means of characterizing (classes of) structures are of fundamental interest and can be highly non-trivial to answer. We investigate several problems regarding the homomo…
▽ More
Predicate logic is the premier choice for specifying classes of relational structures. Homomorphisms are key to describing correspondences between relational structures. Questions concerning the interdependencies between these two means of characterizing (classes of) structures are of fundamental interest and can be highly non-trivial to answer. We investigate several problems regarding the homomorphism closure (homclosure) of the class of all (finite or arbitrary) models of logical sentences: membership of structures in a sentence's homclosure; sentence homclosedness; homclosure characterizability in a logic; normal forms for homclosed sentences in certain logics. For a wide variety of fragments of first- and second-order predicate logic, we clarify these problems' computational properties.
△ Less
Submitted 29 June, 2021; v1 submitted 24 April, 2021;
originally announced April 2021.
-
Cherenkov radiation of spin waves by ultra-fast moving magnetic flux quanta
Authors:
O. V. Dobrovolskiy,
Q. Wang,
D. Yu. Vodolazov,
B. Budinska,
S. Knauer,
R. Sachser,
M. Huth,
A. I. Buzdin
Abstract:
Despite theoretical predictions for a Cherenkov-type radiation of spin waves (magnons) by various propagating magnetic perturbations, fast-enough moving magnetic field stimuli have not been available so far. Here, we experimentally realize the Cherenkov radiation of spin waves in a Co-Fe magnonic conduit by fast-moving (>1 km/s) magnetic flux quanta (Abrikosov vortices) in an adjacent Nb-C superco…
▽ More
Despite theoretical predictions for a Cherenkov-type radiation of spin waves (magnons) by various propagating magnetic perturbations, fast-enough moving magnetic field stimuli have not been available so far. Here, we experimentally realize the Cherenkov radiation of spin waves in a Co-Fe magnonic conduit by fast-moving (>1 km/s) magnetic flux quanta (Abrikosov vortices) in an adjacent Nb-C superconducting strip. The radiation is evidenced by the microwave detection of spin waves propagating a distance of 2 micrometers from the superconductor and it is accompanied by a magnon Shapiro step in its current-voltage curve. The spin-wave excitation is unidirectional and monochromatic, with sub-40 nm wavelengths determined by the period of the vortex lattice. The phase-locking of the vortex lattice with the excited spin wave limits the vortex velocity and reduces the dissipation in the superconductor.
△ Less
Submitted 13 February, 2023; v1 submitted 18 March, 2021;
originally announced March 2021.
-
Control of the Bose-Einstein Condensation of Magnons by the Spin-Hall Effect
Authors:
Michael Schneider,
David Breitbach,
Rostyslav O. Serha,
Qi Wang,
Alexander A. Serga,
Andrei N. Slavin,
Vasyl S. Tiberkevich,
Björn Heinz,
Bert Lägel,
Thomas Brächer,
Carsten Dubs,
Sebastian Knauer,
Oleksandr V. Dobrovolskiy,
Philipp Pirro,
Burkard Hillebrands,
Andrii V. Chumak
Abstract:
Previously, it has been shown that rapid cooling of yttrium-iron-garnet (YIG)/platinum (Pt) nano structures, preheated by an electric current sent through the Pt layer, leads to overpopulation of a magnon gas and to subsequent formation of a Bose-Einstein condensate (BEC) of magnons. The spin Hall effect (SHE), which creates a spin-polarized current in the Pt layer, can inject or annihilate magnon…
▽ More
Previously, it has been shown that rapid cooling of yttrium-iron-garnet (YIG)/platinum (Pt) nano structures, preheated by an electric current sent through the Pt layer, leads to overpopulation of a magnon gas and to subsequent formation of a Bose-Einstein condensate (BEC) of magnons. The spin Hall effect (SHE), which creates a spin-polarized current in the Pt layer, can inject or annihilate magnons depending on the electric current and applied field orientations. Here we demonstrate that the injection or annihilation of magnons via the SHE can prevent or promote the formation of a rapid cooling induced magnon BEC. Depending on the current polarity, a change in the BEC threshold of -8% and +6% was detected. These findings demonstrate a new method to control macroscopic quantum states, paving the way for their application in spintronic devices.
△ Less
Submitted 22 September, 2021; v1 submitted 26 February, 2021;
originally announced February 2021.
-
Engineered magnetization and exchange stiffness in direct-write Co-Fe nanoelements
Authors:
S. A. Bunyaev,
B. Budinska,
R. Sachser,
Q. Wang,
K. Levchenko,
S. Knauer,
A. V. Bondarenko,
M. Urbanek,
K. Y. Guslienko,
A. V. Chumak,
M. Huth,
G. N. Kakazei,
O. V. Dobrovolskiy
Abstract:
Media with engineered magnetization are essential building blocks in superconductivity, magnetism and magnon spintronics. However, the established thin-film and lithographic techniques insufficiently suit the realization of planar components with on-demand-tailored magnetization in the lateral dimension. Here, we demonstrate the engineering of the magnetic properties of CoFe-based nanodisks fabric…
▽ More
Media with engineered magnetization are essential building blocks in superconductivity, magnetism and magnon spintronics. However, the established thin-film and lithographic techniques insufficiently suit the realization of planar components with on-demand-tailored magnetization in the lateral dimension. Here, we demonstrate the engineering of the magnetic properties of CoFe-based nanodisks fabricated by the mask-less technique of focused electron beam induced deposition (FEBID). The material composition in the nanodisks is tuned \emph{in-situ} via the e-beam waiting time in the FEBID process and their post-growth irradiation with Ga ions. The magnetization $M_s$ and exchange stiffness $A$ of the disks are deduced from perpendicular ferromagnetic resonance measurements. The achieved $M_s$ variation in the broad range from $720$ emu/cm$^3$ to $1430$ emu/cm$^3$ continuously bridges the gap between the $M_s$ values of such widely used magnonic materials as permalloy and CoFeB. The presented approach paves a way towards nanoscale 2D and 3D systems with controllable and space-varied magnetic properties.
△ Less
Submitted 2 December, 2020;
originally announced December 2020.
-
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
Authors:
Manuel Bodirsky,
Simon Knäuer,
Sebastian Rudolph
Abstract:
We characterise the sentences in Monadic Second-order Logic (MSO) that are over finite structures equivalent to a Datalog program, in terms of an existential pebble game. We also show that for every class C of finite structures that can be expressed in MSO and is closed under homomorphisms, and for all integers l,k, there exists a canonical Datalog program Pi of width (l,k) in the sense of Feder a…
▽ More
We characterise the sentences in Monadic Second-order Logic (MSO) that are over finite structures equivalent to a Datalog program, in terms of an existential pebble game. We also show that for every class C of finite structures that can be expressed in MSO and is closed under homomorphisms, and for all integers l,k, there exists a canonical Datalog program Pi of width (l,k) in the sense of Feder and Verdi. The same characterisations also hold for Guarded Second-order Logic (GSO), which properly extends MSO. To prove our results, we show that every class C in GSO whose complement is closed under homomorphisms is a finite union of constraint satisfaction problems (CSPs) of countably categorical structures. The intersection of MSO and Datalog is known to contain the class of nested monadically defined queries (Nemodeq); likewise, we show that the intersection of GSO and Datalog contains all problems that can be expressed by the more expressive language of nested guarded queries. Yet, by exploiting our results, we can show that neither of the two query languages can serve as a characterization, as we exhibit a query in the intersection of MSO and Datalog that is not expressible in nested guarded queries.
△ Less
Submitted 24 May, 2024; v1 submitted 12 October, 2020;
originally announced October 2020.
-
The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom
Authors:
Manuel Bodirsky,
Simon Knäuer
Abstract:
Robin Hirsch posed in 1996 the 'Really Big Complexity Problem': classify the computational complexity of the network satisfaction problem for all finite relation algebras A. We provide a complete classification for the case that A is symmetric and has a flexible atom; in this case, the problem is NP-complete or in P. The classification task can be reduced to the case where A is integral. If a fini…
▽ More
Robin Hirsch posed in 1996 the 'Really Big Complexity Problem': classify the computational complexity of the network satisfaction problem for all finite relation algebras A. We provide a complete classification for the case that A is symmetric and has a flexible atom; in this case, the problem is NP-complete or in P. The classification task can be reduced to the case where A is integral. If a finite integral relation algebra has a flexible atom, then it has a normal representation B. We can then study the computational complexity of the network satisfaction problem of A using the universal-algebraic approach, via an analysis of the polymorphisms of B. We also use a Ramsey-type result of Nešetřil and Rödl and a complexity dichotomy result of Bulatov for conservative finite-domain constraint satisfaction problems.
△ Less
Submitted 5 January, 2023; v1 submitted 27 August, 2020;
originally announced August 2020.
-
Learning models of quantum systems from experiments
Authors:
Antonio A. Gentile,
Brian Flynn,
Sebastian Knauer,
Nathan Wiebe,
Stefano Paesani,
Christopher E. Granade,
John G. Rarity,
Raffaele Santagati,
Anthony Laing
Abstract:
An isolated system of interacting quantum particles is described by a Hamiltonian operator. Hamiltonian models underpin the study and analysis of physical and chemical processes throughout science and industry, so it is crucial they are faithful to the system they represent. However, formulating and testing Hamiltonian models of quantum systems from experimental data is difficult because it is imp…
▽ More
An isolated system of interacting quantum particles is described by a Hamiltonian operator. Hamiltonian models underpin the study and analysis of physical and chemical processes throughout science and industry, so it is crucial they are faithful to the system they represent. However, formulating and testing Hamiltonian models of quantum systems from experimental data is difficult because it is impossible to directly observe which interactions the quantum system is subject to. Here, we propose and demonstrate an approach to retrieving a Hamiltonian model from experiments, using unsupervised machine learning. We test our methods experimentally on an electron spin in a nitrogen-vacancy interacting with its spin bath environment, and numerically, finding success rates up to 86%. By building agents capable of learning science, which recover meaningful representations, we can gain further insight on the physics of quantum systems.
△ Less
Submitted 14 February, 2020;
originally announced February 2020.
-
ASNP: a tame fragment of existential second-order logic
Authors:
Manuel Bodirsky,
Simon Knäuer,
Florian Starke
Abstract:
Amalgamation SNP (ASNP) is a fragment of existential second-order logic that strictly contains binary connected MMSNP of Feder and Vardi and binary guarded monotone SNP of Bienvenu, ten Cate, Lutz, and Wolter; it is a promising candidate for an expressive subclass of NP that exhibits a complexity dichotomy. We show that ASNP has a complexity dichotomy if and only if the infinite-domain dichotomy c…
▽ More
Amalgamation SNP (ASNP) is a fragment of existential second-order logic that strictly contains binary connected MMSNP of Feder and Vardi and binary guarded monotone SNP of Bienvenu, ten Cate, Lutz, and Wolter; it is a promising candidate for an expressive subclass of NP that exhibits a complexity dichotomy. We show that ASNP has a complexity dichotomy if and only if the infinite-domain dichotomy conjecture holds for constraint satisfaction problems for first-order reducts of binary finitely bounded homogeneous structures. For such CSPs, powerful universal-algebraic hardness conditions are known that are conjectured to describe the border between NP-hard and polynomial-time tractable CSPs. The connection to CSPs also implies that every ASNP sentence can be evaluated in polynomial time on classes of finite structures of bounded treewidth. We show that the syntax of ASNP is decidable. The proof relies on the fact that for classes of finite binary structures given by finitely many forbidden substructures, the amalgamation property is decidable.
△ Less
Submitted 28 January, 2020; v1 submitted 22 January, 2020;
originally announced January 2020.
-
Hardness of Network Satisfaction for Relation Algebras with Normal Representations
Authors:
Manuel Bodirsky,
Simon Knäuer
Abstract:
We study the computational complexity of the general network satisfaction problem for a finite relation algebra $A$ with a normal representation $B$. If $B$ contains a non-trivial equivalence relation with a finite number of equivalence classes, then the network satisfaction problem for $A$ is NP-hard. As a second result, we prove hardness if $B$ has domain size at least three and contains no non-…
▽ More
We study the computational complexity of the general network satisfaction problem for a finite relation algebra $A$ with a normal representation $B$. If $B$ contains a non-trivial equivalence relation with a finite number of equivalence classes, then the network satisfaction problem for $A$ is NP-hard. As a second result, we prove hardness if $B$ has domain size at least three and contains no non-trivial equivalence relations but a symmetric atom $a$ with a forbidden triple $(a,a,a)$, that is, $a \not\leq a \circ a$. We illustrate how to apply our conditions on two small relation algebras.
△ Less
Submitted 17 February, 2020; v1 submitted 18 December, 2019;
originally announced December 2019.
-
Twin-beam sub-shot-noise raster-scanning microscope with a hybrid detection scheme
Authors:
J. Sabines-Chesterking,
A. R. McMillan,
P. A. Moreau,
S. K. Joshi,
S. Knauer,
E. Johnston,
J. G. Rarity,
J. C. F. Matthews
Abstract:
By exploiting the quantised nature of light, we demonstrate a sub-shot-noise scanning optical transmittance microscope. Our microscope demonstrates, with micron scale resolution, a factor of improvement in precision of 1.76(9) in transmittance estimation gained per probe photon relative to an optimal classical version at the same optical power. This would allow us to observe photosensitive samples…
▽ More
By exploiting the quantised nature of light, we demonstrate a sub-shot-noise scanning optical transmittance microscope. Our microscope demonstrates, with micron scale resolution, a factor of improvement in precision of 1.76(9) in transmittance estimation gained per probe photon relative to an optimal classical version at the same optical power. This would allow us to observe photosensitive samples with nearly twice the precision,without sacrificing image resolution or increasing optical power to improve signal-to-noise ratio. Our setup uses correlated twin-beams produced by parametric down-conversion, and a hybrid detection scheme comprising photon-counting-based feed-forward and a highly efficient CCD camera.
△ Less
Submitted 12 June, 2019;
originally announced June 2019.
-
Magnetic-field-learning using a single electronic spin in diamond with one-photon-readout at room temperature
Authors:
Raffaele Santagati,
Antonio A. Gentile,
Sebastian Knauer,
Simon Schmitt,
Stefano Paesani,
Christopher Granade,
Nathan Wiebe,
Christian Osterkamp,
Liam P. McGuinness,
Jianwei Wang,
Mark G. Thompson,
John G. Rarity,
Fedor Jelezko,
Anthony Laing
Abstract:
Nitrogen-vacancy (NV) centres in diamond are appealing nano-scale quantum sensors for temperature, strain, electric fields and, most notably, for magnetic fields. However, the cryogenic temperatures required for low-noise single-shot readout that have enabled the most sensitive NV-magnetometry reported to date, are impractical for key applications, e.g. biological sensing. Overcoming the noisy rea…
▽ More
Nitrogen-vacancy (NV) centres in diamond are appealing nano-scale quantum sensors for temperature, strain, electric fields and, most notably, for magnetic fields. However, the cryogenic temperatures required for low-noise single-shot readout that have enabled the most sensitive NV-magnetometry reported to date, are impractical for key applications, e.g. biological sensing. Overcoming the noisy readout at room-temperature has until now demanded repeated collection of fluorescent photons, which increases the time-cost of the procedure thus reducing its sensitivity. Here we show how machine learning can process the noisy readout of a single NV centre at room-temperature, requiring on average only one photon per algorithm step, to sense magnetic field strength with a precision comparable to those reported for cryogenic experiments. Analysing large data sets from NV centres in bulk diamond, we report absolute sensitivities of $60$ nT s$^{1/2}$ including initialisation, readout, and computational overheads. We show that dephasing times can be simultaneously estimated, and that time-dependent fields can be dynamically tracked at room temperature. Our results dramatically increase the practicality of early-term single spin sensors.
△ Less
Submitted 25 July, 2018;
originally announced July 2018.
-
Experimental Quantum Hamiltonian Learning
Authors:
Jianwei Wang,
Stefano Paesani,
Raffaele Santagati,
Sebastian Knauer,
Antonio A. Gentile,
Nathan Wiebe,
Maurangelo Petruzzella,
Jeremy L. O'Brien,
John G. Rarity,
Anthony Laing,
Mark G. Thompson
Abstract:
Efficiently characterising quantum systems, verifying operations of quantum devices and validating underpinning physical models, are central challenges for the development of quantum technologies and for our continued understanding of foundational physics. Machine-learning enhanced by quantum simulators has been proposed as a route to improve the computational cost of performing these studies. Her…
▽ More
Efficiently characterising quantum systems, verifying operations of quantum devices and validating underpinning physical models, are central challenges for the development of quantum technologies and for our continued understanding of foundational physics. Machine-learning enhanced by quantum simulators has been proposed as a route to improve the computational cost of performing these studies. Here we interface two different quantum systems through a classical channel - a silicon-photonics quantum simulator and an electron spin in a diamond nitrogen-vacancy centre - and use the former to learn the latter's Hamiltonian via Bayesian inference. We learn the salient Hamiltonian parameter with an uncertainty of approximately $10^{-5}$. Furthermore, an observed saturation in the learning algorithm suggests deficiencies in the underlying Hamiltonian model, which we exploit to further improve the model itself. We go on to implement an interactive version of the protocol and experimentally show its ability to characterise the operation of the quantum photonic device. This work demonstrates powerful new quantum-enhanced techniques for investigating foundational physical models and characterising quantum technologies.
△ Less
Submitted 15 March, 2017;
originally announced March 2017.
-
Laser writing of coherent colour centres in diamond
Authors:
Yu-Chen Chen,
Patrick S. Salter,
Sebastian Knauer,
Laiyi Weng,
Angelo C. Frangeskou,
Colin J. Stephen,
Philip R. Dolan,
Sam Johnson,
Ben L. Green,
Gavin W. Morley,
Mark E. Newton,
John G. Rarity,
Martin J. Booth,
Jason M. Smith
Abstract:
Optically active point defects in crystals have gained widespread attention as photonic systems that can find use in quantum information technologies. However challenges remain in the placing of individual defects at desired locations, an essential element of device fabrication. Here we report the controlled generation of single nitrogen-vacancy (NV) centres in diamond using laser writing. The use…
▽ More
Optically active point defects in crystals have gained widespread attention as photonic systems that can find use in quantum information technologies. However challenges remain in the placing of individual defects at desired locations, an essential element of device fabrication. Here we report the controlled generation of single nitrogen-vacancy (NV) centres in diamond using laser writing. The use of aberration correction in the writing optics allows precise positioning of vacancies within the diamond crystal, and subsequent annealing produces single NV centres with up to 45% success probability, within about 200 nm of the desired position. Selected NV centres fabricated by this method display stable, coherent optical transitions at cryogenic temperatures, a pre-requisite for the creation of distributed quantum networks of solid-state qubits. The results illustrate the potential of laser writing as a new tool for defect engineering in quantum technologies.
△ Less
Submitted 16 June, 2016;
originally announced June 2016.
-
A charged quantum dot micropillar system for deterministic light matter interactions
Authors:
Petros Androvitsaneas,
Andrew B. Young,
Chritian Schneider,
Sebastian Maier,
Martin Kamp,
Sven Höfling,
Sebastian Knauer,
Edmund Harbord,
Cheng-Yong Hu,
John G. Rarity,
Ruth Oulton
Abstract:
Quantum dots (QDs) are semiconductor nanostructures in which a three dimensional potential trap produces an electronic quantum confinement, thus mimicking the behaviour of single atomic dipole-like transitions. However unlike atoms, QDs can be incorporated into solid state photonic devices such as cavities or waveguides that enhance the light-matter interaction. A near unit efficiency light-matter…
▽ More
Quantum dots (QDs) are semiconductor nanostructures in which a three dimensional potential trap produces an electronic quantum confinement, thus mimicking the behaviour of single atomic dipole-like transitions. However unlike atoms, QDs can be incorporated into solid state photonic devices such as cavities or waveguides that enhance the light-matter interaction. A near unit efficiency light-matter interaction is essential for deterministic, scalable quantum information (QI) devices. In this limit, a single photon input into the device will undergo a large rotation of the polarization of the light field due to the strong interaction with the QD. In this paper we measure a macroscopic ($\sim6^o$) phase shift of light as a result of the interaction with a negatively charged QD coupled to a low quality-factor (Q$\sim290$) pillar microcavity. This unexpectedly large rotation angle demonstrates this simple low Q-factor design would enable near deterministic light-matter interactions.
△ Less
Submitted 27 November, 2015;
originally announced November 2015.
-
Experimental Optimum Maximum-Confidence Discrimination and Optimum Unambiguous Discrimination of Two Mixed Single-Photon States
Authors:
Gesine A. Steudle,
Sebastian Knauer,
Ulrike Herzog,
Erik Stock,
Vladimir A. Haisler,
Dieter Bimberg,
Oliver Benson
Abstract:
We present an experimental implementation of optimum measurements for quantum state discrimination. Optimum maximum-confidence discrimination and optimum unambiguous discrimination of two mixed single-photon polarization states were performed. For the latter the states of rank two in a four-dimensional Hilbert space are prepared using both path and polarization encoding. Linear optics and single p…
▽ More
We present an experimental implementation of optimum measurements for quantum state discrimination. Optimum maximum-confidence discrimination and optimum unambiguous discrimination of two mixed single-photon polarization states were performed. For the latter the states of rank two in a four-dimensional Hilbert space are prepared using both path and polarization encoding. Linear optics and single photons from a true single-photon source based on a semiconductor quantum dot are utilized.
△ Less
Submitted 17 May, 2011;
originally announced May 2011.